title: Towards Low-carbon Power Networks: Optimal Integration of Renewable Energy Sources and Hydrogen Storage

abstract: This paper proposes a new optimization model and solution method for determining optimal locations and sizing of renewable energy sources and hydrogen storage in a power network. We obtain these strategic decisions based on the multi-period alternating current optimal power (AC OPF) flow problem that considers the uncertainty of renewable output, electricity demand, and electricity prices. We develop a second-order cone programming approach within a Benders decomposition framework to provide globally optimal solutions. To the best of our knowledge, our paper is the first to propose a systematic optimization framework based on AC OPF that jointly analyzes power network, renewable, and hydrogen storage interactions in order to provide optimal locations and sizing decisions of renewables and hydrogen storage. In a test case, we show that the joint integration of renewable sources and hydrogen storage and consideration of the AC OPF model significantly reduces the operational cost of the power network. In turn, our findings can provide quantitative insights to decision-makers on how to integrate renewable sources and hydrogen storage under different settings of the hydrogen selling price, renewable curtailment costs, emission tax prices, and conversion efficiency.


title: High precision in CKM unitarity tests in $b$ and $c$ decays

abstract: This article surveys the important questions attached to unitarity tests of the Cabibbo-Kobayashi-Maskawa matrix, with a focus on the direct determinations of the magnitude of CKM matrix elements. The current CKM anomalies are discussed and the clear-cut prospects at LHCb and Belle II envisaged. The anticipated precision on $C\!P$-conserving and $C\!P$-violating observables at the projected upgrades of the LHCb and Belle~II experiments is examined from the point of view of the search for New Physics in $B$-meson mixing, addressing the bottlenecks in precision for the interpretation of the measurements for future experiments and highlighting the related theoretical and experimental challenges. The vibrant prospects at future $e^+e^-$ colliders running at the $Z^0$ pole and $W^+W^-$ are eventually discussed.


title: Energy-Aware Planning-Scheduling for Autonomous Aerial Robots

abstract: In this paper, we present an online planning-scheduling approach for battery-powered autonomous aerial robots. The approach consists of simultaneously planning a coverage path and scheduling onboard computational tasks. We further derive a novel variable coverage motion robust to airborne constraints and an empirically motivated energy model. The model includes the energy contribution of the schedule based on an automatic computational energy modeling tool. Our experiments show how an initial flight plan is adjusted online as a function of the available battery, accounting for uncertainty. Our approach remedies possible in-flight failure in case of unexpected battery drops, e.g., due to adverse atmospheric conditions, and increases the overall fault tolerance.


title: Efficient Prior Publication Identification for Open Source Code

abstract: Free/Open Source Software (FOSS) enables large-scale reuse of preexisting software components. The main drawback is increased complexity in software supply chain management. A common approach to tame such complexity is automated open source compliance, which consists in automating the verication of adherence to various open source management best practices about license obligation fulllment, vulnerability tracking, software composition analysis, and nearby concerns.We consider the problem of auditing a source code base to determine which of its parts have been published before, which is an important building block of automated open source compliance toolchains. Indeed, if source code allegedly developed in house is recognized as having been previously published elsewhere, alerts should be raised to investigate where it comes from and whether this entails that additional obligations shall be fullled before product shipment.We propose an ecient approach for prior publication identication that relies on a knowledge base of known source code artifacts linked together in a global Merkle direct acyclic graph and a dedicated discovery protocol. We introduce swh-scanner, a source code scanner that realizes the proposed approach in practice using as knowledge base Software Heritage, the largest public archive of source code artifacts. We validate experimentally the proposed approach, showing its eciency in both abstract (number of queries) and concrete terms (wall-clock time), performing benchmarks on 16 845 real-world public code bases of various sizes, from small to very large.


title: Quivers and path semigroups characterized by locality conditions

abstract: The notion of locality semigroups was recently introduced with motivation from locality in convex geometry and quantum field theory. We show that there is a natural correspondence between locality sets and quivers which leads to a concrete class of locality semigroups given by the paths of quivers. Further these path semigroups from paths are precisely the free objects in the category of locality semigroups with a rigid condition. This characterization gives a universal property of path algebras and at the same time a combinatorial realization of free rigid locality semigroups.


title: Majorization requires infinitely many second laws

abstract: Majorization is a fundamental model of uncertainty with several applications in areas ranging from thermodynamics to entanglement theory, and constitutes one of the pillars of the resource-theoretic approach to physics. Here, we improve on its relation to measurement apparatuses. In particular, after discussing what the proper notion of second law in this scenario is, we show that, for a sufficiently large state space, any family of entropy-like functions constituting a second law must be countably infinite. Moreover, we provide an analogous result for a variation of majorization known as thermo-majorization which, in fact, does not require any constraint on the state space provided the equilibrium distribution is not uniform. Lastly, we discuss the applicability of our results to molecular diffusion and catalytic majorization. In this regard, we consider a variation of majorization used in plasma physics as a model of molecular diffusion and show that no finite family of entropy-like functions constituting a second law of molecular diffusion exists. Moreover, we show how our results are useful when dealing with a conjecture regarding catalytic majorization (i.e. trumping). In particular, we show that the sort of characterizations of trumping that have been considered before require an infinite family of real-valued functions.


title: Grain boundary stresses in elastic materials

abstract: A simple analytical model of intergranular normal stresses is proposed for a general elastic polycrystalline material with arbitrary shaped and randomly oriented grains under uniform loading. The model provides algebraic expressions for the local grain-boundary-normal stress and the corresponding uncertainties, as a function of the grain-boundary type, its inclination with respect to the direction of external loading and material-elasticity parameters. The knowledge of intergranular normal stresses is a necessary prerequisite in any local damage modeling approach, e.g., to predict the intergranular stress-corrosion cracking, grain-boundary sliding or fatigue-crack-initiation sites in structural materials. The model is derived in a perturbative manner, starting with the exact solution of a simple setup and later successively refining it to account for higher order complexities of realistic polycrystalline materials. In the simplest scenario, a bicrystal model is embedded in an isotropic elastic medium and solved for uniaxial loading conditions, assuming 1D Reuss and Voigt approximations on different length scales. In the final iteration, the grain boundary becomes a part of a 3D structure consisting of five 1D chains with arbitrary number of grains and surrounded by an anisotropic elastic medium. Constitutive equations can be solved for arbitrary uniform loading, for any grain-boundary type and choice of elastic polycrystalline material. At each iteration, the algebraic expressions for the local grain-boundary-normal stress, along with the corresponding statistical distributions, are derived and their accuracy systematically verified and validated against the finite element simulation results of different Voronoi microstructures.


title: 3D Interacting Hand Pose Estimation by Hand De-occlusion and Removal

abstract: Estimating 3D interacting hand pose from a single RGB image is essential for understanding human actions. Unlike most previous works that directly predict the 3D poses of two interacting hands simultaneously, we propose to decompose the challenging interacting hand pose estimation task and estimate the pose of each hand separately. In this way, it is straightforward to take advantage of the latest research progress on the single-hand pose estimation system. However, hand pose estimation in interacting scenarios is very challenging, due to (1) severe hand-hand occlusion and (2) ambiguity caused by the homogeneous appearance of hands. To tackle these two challenges, we propose a novel Hand De-occlusion and Removal (HDR) framework to perform hand de-occlusion and distractor removal. We also propose the first large-scale synthetic amodal hand dataset, termed Amodal InterHand Dataset (AIH), to facilitate model training and promote the development of the related research. Experiments show that the proposed method significantly outperforms previous state-of-the-art interacting hand pose estimation approaches. Codes and data are available at https://github.com/MengHao666/HDR.


title: Lie groups and Chern-Simons Theory

abstract: Witten introduced classical Chern-Simons theory to topology in 1989, when he defined an invariant for knots in 3-manifolds by an integral over a certain infinite-dimensional space, which up to today have not been entirely understood. However, they motivated lots of interesting questions and results in knot theory and low-dimensional topology, as well as the development of entirely new fields. These are lecture notes for a course in Lie groups and Chern-Simons Theory aimed at graduate students.


title: The Rotation Period Distribution in the Young Open Cluster NGC 6709

abstract: Open clusters serve as a useful tool for calibrating models of the relationship between mass, rotation, and age for stars with an outer convection zone due to the homogeneity of the stars within the cluster. Cluster to cluster comparisons are essential to determine whether the universality of spin down relations holds. NGC 6709 is selected as a young open cluster for which no rotation periods of members have previously been obtained. This cluster is at a distance of over 1 kpc and has two red giant members. Isochrones place the age of the cluster at around 150 Myr, or approximately the same age as the Pleiades. Photometry is obtained over a multi-month observing season at the robotic observatory STELLA. After basic processing, PSF photometry was derived using Daophot II, and a suite of related software allowed us to create time series of relative magnitude changes for each star. Four time series analysis methods are then applied to these light curves to obtain rotation periods for members stars. We obtain for the first time rotation periods for 45 FGK cluster members of NGC 6709. We compare our rotation periods to Gaia EDR3 colors and find a slow-rotating sequence with increasing rotation periods towards redder stars and a smaller clump of rapid rotators that have not yet joined this sequence. NGC 6709 has rotation periods very similar to that of another Pleiades-age open cluster, NGC 2516.


title: Two Dimensional Multigap Superconductivity in Bulk 2H-TaSSe

abstract: Superconducting transition metal dichalcogenides emerged as a prime candidate for topological superconductivity. This work presents a detailed investigation of superconducting and transport properties on 2H-TaSeS single crystals using magnetization, transport, and specific heat measurements. These measurements suggest multigap anisotropic superconductivity with the upper critical field, breaking Pauli limiting field in both in-plane and out-of-plane directions. The angle dependence of the upper critical field suggests 2-dimensional superconducting nature in bulk 2H- TaSeS.


title: Full normalization for mouse pairs

abstract: We develop the theory of meta-iteration trees, that is, iteration trees whose base "model" is itself an ordinary iteration tree. We prove a comparison theorem for meta-iteration strategies parallel to the one for ordinary iteration strategies, and use it to show that the iteration strategy component of a mouse pair condenses to itself under weak tree embeddings. These constitute a class of embeddings between iteration trees that is significantly larger than the class of embeddings mentioned in the definition of mouse pair. We then use this very strong hull condensation property of mouse pairs to show that every iterate of a mouse pair is an iterate via a single $\lambda$-tight, normal iteration tree, and that the associated tail strategies are independent of how the iterate was reached.


title: A wind environment and Lorentz factors of tens explain gamma-ray bursts X-ray plateau

abstract: Gamma-ray bursts (GRBs) are known to have the most relativistic jets, with initial Lorentz factors in the order of a few hundreds. Many GRBs display an early X-ray light-curve plateau, which was not theoretically expected and therefore puzzled the community for many years. Here, we show that this observed signal is naturally obtained within the classical GRB "fireball" model, provided that the initial Lorentz factor is rather a few tens, and the expansion occurs into a medium-low density "wind". The range of Lorentz factors in GRB jets is thus much wider than previously thought and bridges an observational gap between mildly relativistic jets inferred in active galactic nuclei, to highly relativistic jets deduced in few extreme GRBs. Furthermore, long GRB progenitors are either not Wolf-Rayet stars, or the wind properties during the final stellar evolution phase are different than at earlier times. We discuss several testable predictions of this model.


abstract: The development of compact and energy-efficient wearable sensors has led to an increase in the availability of biosignals. To analyze these continuously recorded, and often multidimensional, time series at scale, being able to conduct meaningful unsupervised data segmentation is an auspicious target. A common way to achieve this is to identify change-points within the time series as the segmentation basis. However, traditional change-point detection algorithms often come with drawbacks, limiting their real-world applicability. Notably, they generally rely on the complete time series to be available and thus cannot be used for real-time applications. Another common limitation is that they poorly (or cannot) handle the segmentation of multidimensional time series. Consequently, the main contribution of this work is to propose a novel unsupervised segmentation algorithm for multidimensional time series named Latent Space Unsupervised Semantic Segmentation (LS-USS), which was designed to work easily with both online and batch data. When comparing LS-USS against other state-of-the-art change-point detection algorithms on a variety of real-world datasets, in both the offline and real-time setting, LS-USS systematically achieves on par or better performances.


title: Matching Triangles and Triangle Collection: Hardness based on a Weak Quantum Conjecture

abstract: Classically, for many computational problems one can conclude time lower bounds conditioned on the hardness of one or more of key problems: k-SAT, 3SUM and APSP. More recently, similar results have been derived in the quantum setting conditioned on the hardness of k-SAT and 3SUM. This is done using fine-grained reductions, where the approach is to (1) select a key problem $X$ that, for some function $T$, is conjectured to not be solvable by any $O(T(n)^{1-\epsilon})$ time algorithm for any constant $\epsilon > 0$ (in a fixed model of computation), and (2) reduce $X$ in a fine-grained way to these computational problems, thus giving (mostly) tight conditional time lower bounds for them. Interestingly, for Delta-Matching Triangles and Triangle Collection, classical hardness results have been derived conditioned on hardness of all three mentioned key problems. More precisely, it is proven that an $n^{3-\epsilon}$ time classical algorithm for either of these two graph problems would imply faster classical algorithms for k-SAT, 3SUM and APSP, which makes Delta-Matching Triangles and Triangle Collection worthwhile to study. In this paper, we show that an $n^{1.5-\epsilon}$ time quantum algorithm for either of these two graph problems would imply faster quantum algorithms for k-SAT, 3SUM, and APSP. We first formulate a quantum hardness conjecture for APSP and then present quantum reductions from k-SAT, 3SUM, and APSP to Delta-Matching Triangles and Triangle Collection. Additionally, based on the quantum APSP conjecture, we are also able to prove quantum lower bounds for a matrix problem and many graph problems. The matching upper bounds follow trivially for most of them, except for Delta-Matching Triangles and Triangle Collection for which we present quantum algorithms that require careful use of data structures and Ambainis' variable time search.


title: Distinguishing Dark Matter, Modified Gravity, and Modified Inertia with the Inner and Outer Parts of Galactic Rotation Curves

abstract: The missing gravity in galaxies requires dark matter, or alternatively a modification of gravity or inertia. These theoretical possibilities of fundamental importance may be distinguished by the statistical relation between the observed centripetal acceleration of particles in orbital motion and the expected Newtonian acceleration from the observed distribution of baryons in galaxies. Here predictions of cold dark matter halos, modified gravity, and modified inertia are compared and tested by a statistical sample of galaxy rotation curves from the Spitzer Photometry and Accurate Rotation Curves (SPARC) database. Modified gravity under an estimated mean external field correctly predicts the observed statistical relation of accelerations from both the inner and outer parts of rotation curves. Taken at face value there is a $6.9\sigma$ difference between the inner and outer parts on an acceleration plane which would be inconsistent with current proposals of modified inertia. Removing galaxies with possible systematic concerns such as central bulges or special inclinations does not change this trend. Cold dark matter halos predict a systematically deviating relation from the observed one. All aspects of rotation curves are most naturally explained by modified gravity.


title: Exact computation of heat capacities for active particles on a graph

abstract: The notion of a nonequilibrium heat capacity is important for bio-energetics and for calorimetry of active materials more generally. It centers around the notion of excess heat or excess work dissipated during a quasistatic relaxation between different nonequilibrium conditions. We give exact results for active random walks moving in an energy landscape on a graph, based on calculations employing the matrix-tree and matrix-forest theorems. That graphical method applies to any Markov jump process under the physical condition of local detailed balance, and is not restricted to the examples given in this paper.


title: PPSZ is better than you think

abstract: PPSZ, for long time the fastest known algorithm for $k$-SAT, works by going through the variables of the input formula in random order; each variable is then set randomly to $0$ or $1$, unless the correct value can be inferred by an efficiently implementable rule (like small-width resolution; or being implied by a small set of clauses). We show that PPSZ performs exponentially better than previously known, for all $k \geq 3$. For Unique-$3$-SAT we bound its running time by $O(1.306973^{n})$, which is somewhat better than the algorithm of Hansen, Kaplan, Zamir, and Zwick, which runs in time $O(1.306995^n)$. Before that, the best known upper bound for Unique-$3$-SAT was $O(1.3070319^n)$. All improvements are achieved without changing the original PPSZ. The core idea is to pretend that PPSZ does not process the variables in uniformly random order, but according to a carefully designed distribution. We write "pretend" since this can be done without any actual change to the algorithm.


title: Clustering and flocking of repulsive chiral active particles with non-reciprocal couplings

abstract: Recently, non-reciprocal systems have become a focus of growing interest. Examples occur in soft and active matter, but also in engineered quantum materials and neural (brain) networks. Here, we investigate the impact of non-reciprocity on the collective behavior of a system of (dry) chiral active matter. Specifically, we consider a mixture of "circle swimmers" with steric interactions and non-reciprocal alignment couplings. Based on hydrodynamic equations which we derive from a set of Langevin equations, we explore the interplay of non-reciprocity, finite size, and chirality. We first consider, as a reference, one-species systems with reciprocal couplings. Based on a linear stability analysis and numerical simulations, we here observe three different types of collective behavior, that is, flocking, motility-induced phase separation, and a combination of both. Turning then to a non-reciprocal system, we find that non-reciprocity can turn otherwise stationary instabilities into oscillatory ones, affect the relative orientation of flocks, and, crucially, change the general type of instability. This illustrates the drastic impact of non-reciprocity and chirality on the emergent collective dynamics of active matter systems, with potentially far-reaching biological implications.


title: On the proper time of the earthquake source

abstract: The concept of proper time, which is different from universal time, has been introduced into the physics of earthquakes. The global activity of strong earthquakes was chosen as the object of study. We consider the sequence of earthquakes as a random process of the Poisson type. Comparatively weak earthquakes are used as the underground clock, the ticking of which marks the course of proper time. The Poisson distribution is compared with the distributions for two sequences of strong earthquakes. One of the sequences is ordered by calendar time, and the second by proper time. The result of the test showed that the distribution of events ordered by proper time is closer to the Poisson distribution than the distribution of events ordered by calendar time. We explain this by non-stationarity, which is an immanent property of the Earth's lithosphere.


title: Qualitative study of a geodynamical rate-and-state model for elastoplastic shear flows in crustal faults

abstract: The Dieterich-Ruina rate-and-state friction model is transferred to a bulk variant and the state variable (aging) influencing the dissipation mechanism is here combined also with a damage influencing standardly the elastic response. As the aging has a separate dynamics, the overall model does not have a standard variational structure. A one-dimensional model is investigated as far as the steady-state existence, localization of the ataclastic core, and its time response, too. Computational experiments with a damage-free variant show stick-slip behavior (i.e. seismic cycles of tectonic faults) as well as stable slip under very large velocities.


title: RealFlow: EM-based Realistic Optical Flow Dataset Generation from Videos

abstract: Obtaining the ground truth labels from a video is challenging since the manual annotation of pixel-wise flow labels is prohibitively expensive and laborious. Besides, existing approaches try to adapt the trained model on synthetic datasets to authentic videos, which inevitably suffers from domain discrepancy and hinders the performance for real-world applications. To solve these problems, we propose RealFlow, an Expectation-Maximization based framework that can create large-scale optical flow datasets directly from any unlabeled realistic videos. Specifically, we first estimate optical flow between a pair of video frames, and then synthesize a new image from this pair based on the predicted flow. Thus the new image pairs and their corresponding flows can be regarded as a new training set. Besides, we design a Realistic Image Pair Rendering (RIPR) module that adopts softmax splatting and bi-directional hole filling techniques to alleviate the artifacts of the image synthesis. In the E-step, RIPR renders new images to create a large quantity of training data. In the M-step, we utilize the generated training data to train an optical flow network, which can be used to estimate optical flows in the next E-step. During the iterative learning steps, the capability of the flow network is gradually improved, so is the accuracy of the flow, as well as the quality of the synthesized dataset. Experimental results show that RealFlow outperforms previous dataset generation methods by a considerably large margin. Moreover, based on the generated dataset, our approach achieves state-of-the-art performance on two standard benchmarks compared with both supervised and unsupervised optical flow methods. Our code and dataset are available at https://github.com/megvii-research/RealFlow


title: Multi-Level Fine-Tuning, Data Augmentation, and Few-Shot Learning for Specialized Cyber Threat Intelligence

abstract: Gathering cyber threat intelligence from open sources is becoming increasingly important for maintaining and achieving a high level of security as systems become larger and more complex. However, these open sources are often subject to information overload. It is therefore useful to apply machine learning models that condense the amount of information to what is necessary. Yet, previous studies and applications have shown that existing classifiers are not able to extract specific information about emerging cybersecurity events due to their low generalization ability. Therefore, we propose a system to overcome this problem by training a new classifier for each new incident. Since this requires a lot of labelled data using standard training methods, we combine three different low-data regime techniques - transfer learning, data augmentation, and few-shot learning - to train a high-quality classifier from very few labelled instances. We evaluated our approach using a novel dataset derived from the Microsoft Exchange Server data breach of 2021 which was labelled by three experts. Our findings reveal an increase in F1 score of more than 21 points compared to standard training methods and more than 18 points compared to a state-of-the-art method in few-shot learning. Furthermore, the classifier trained with this method and 32 instances is only less than 5 F1 score points worse than a classifier trained with 1800 instances.


title: Classical magnetization of a four-dimensional Platonic solid

abstract: The 600-cell is a regular 4-polytope that is a four-dimensional analog of a Platonic solid. Three-dimensional Platonic solids with icosahedral $I_h$-symmetry have been shown to have a discontinuous ground-state magnetization response in an external field at the classical and quantum level, when spins mounted on their vertices interact according to the antiferromagnetic Heisenberg model. The discontinuities are not due to anisotropy in spin space, but rather to the special connectivity of the molecules. Here the nearest-neighbor antiferromagnetic XX and Heisenberg models in a magnetic field are considered for classical spins mounted on the 120 vertices of the 600-cell. The ground-state magnetization response is rich, characterized by six magnetization discontinuities in the XX case, and six magnetization and three susceptibility discontinuities in the Heisenberg case. This demonstrates that going from three to four spatial dimensions enriches the ground-state magnetization response.


title: Axion-Photon Interaction from Nonminimal Dimension-5 Lorentz-Violating Operators

abstract: In this paper, we discuss various possible schemes for the perturbative generation of the axion-photon interaction term in different Lorentz-breaking extensions of QED, involving operators with mass dimensions up to 5. We demonstrate explicitly that there are only a few schemes allowing to generate a finite axion-photon interaction term from one-loop radiative corrections, and within all these schemes, the generated term turns out to be ambiguous.


title: New Decoding of Reed-Solomon Codes Based on FFT and Modular Approach

abstract: Decoding algorithms for Reed--Solomon (RS) codes are of great interest for both practical and theoretical reasons. In this paper, an efficient algorithm, called the modular approach (MA), is devised for solving the Welch--Berlekamp (WB) key equation. By taking the MA as the key equation solver, we propose a new decoding algorithm for systematic RS codes. For $(n,k)$ RS codes, where $n$ is the code length and $k$ is the code dimension, the proposed decoding algorithm has both the best asymptotic computational complexity $O(n\log(n-k) + (n-k)\log^2(n-k))$ and the smallest constant factor achieved to date. By comparing the number of field operations required, we show that when decoding practical RS codes, the new algorithm is significantly superior to the existing methods in terms of computational complexity. When decoding the $(4096, 3584)$ RS code defined over $\mathbb{F}_{2^{12}}$, the new algorithm is 10 times faster than a conventional syndrome-based method. Furthermore, the new algorithm has a regular architecture and is thus suitable for hardware implementation.


title: JWST/MIRI coronagraphic performances as measured on-sky

abstract: Characterization of directly imaged exoplanets is one of the most eagerly anticipated science functions of the James Webb Space Telescope. MIRI, the mid-IR instrument has the capability to provide unique spatially resolved photometric data points in a spectral range never achieved so far for such objects. We aim to present the very first on-sky contrast measurements of the MIRI's coronagraphs. In addition to a classical Lyot coronagraph at the longest wavelength, this observing mode implements the concept of the four quadrant phase mask for the very first time in a space telescope. We observed single stars together with a series of reference stars to measure raw contrasts as they are delivered on the detector, as well as reference subtracted contrasts. MIRI's coronagraphs achieve raw contrasts greater than $10^3$ at the smallest angular separations (within $1''$) and about $10^5$ further out (beyond $5\sim6''$). Subtracting the residual diffracted light left unattenuated by the coronagraph has the potential to bring the final contrast down to the background and detector limited noise floor at most angular separations (a few times $10^4$ at less than $1''$). MIRI coronagraphs behave as expected from simulations. In particular the raw contrasts for all four coronagraphs are fully consistent with the diffractive model. Contrasts obtained with subtracting reference stars also meet expectations and are fully demonstrated for two four quadrant phase masks (F1065C and F1140C). The worst contrast, measured at F1550C, is very likely due to a variation of the phase aberrations at the primary mirror during the observations, and not an issue of the coronagraph itself. We did not perform reference star subtraction with the Lyot mask at F2300C, but we anticipate that it would bring the contrast down to the noise floor.


title: Emotion Separation and Recognition from a Facial Expression by Generating the Poker Face with Vision Transformers

abstract: Representation learning and feature disentanglement have recently attracted much research interests in facial expression recognition. The ubiquitous ambiguity of emotion labels is detrimental to those methods based on conventional supervised representation learning. Meanwhile, directly learning the mapping from a facial expression image to an emotion label lacks explicit supervision signals of facial details. In this paper, we propose a novel FER model, called Poker Face Vision Transformer or PF-ViT, to separate and recognize the disturbance-agnostic emotion from a static facial image via generating its corresponding poker face without the need for paired images. Here, we regard an expressive face as the comprehensive result of a set of facial muscle movements on one's poker face (i.e., emotionless face), inspired by Facial Action Coding System. The proposed PF-ViT leverages vanilla Vision Transformers, and are firstly pre-trained as Masked Autoencoders on a large facial expression dataset without emotion labels, obtaining excellent representations. It mainly consists of five components: 1) an encoder mapping the facial expression to a complete representation, 2) a separator decomposing the representation into an emotional component and an orthogonal residue, 3) a generator that can reconstruct the expressive face and synthesize the poker face, 4) a discriminator distinguishing the fake face produced by the generator, trained adversarially with the encoder and generator, 5) a classification head recognizing the emotion. Quantitative and qualitative results demonstrate the effectiveness of our method, which trumps the state-of-the-art methods on four popular FER testing sets.


title: Test-based Patch Clustering for Automatically-Generated Patches Assessment

abstract: Previous studies have shown that Automated Program Repair (APR) techniques suffer from the overfitting problem. Overfitting happens when a patch is run and the test suite does not reveal any error, but the patch actually does not fix the underlying bug or it introduces a new defect that is not covered by the test suite. Therefore, the patches generated by APR tools need to be validated by human programmers, which can be very costly, and prevents APR tools adoption in practice.Our work aims at increasing developer trust in automated patch generation by minimizing the number of plausible patches that they have to review, thereby reducing the time required to find a correct patch. We introduce a novel light-weight test-based patch clustering approach called xTestCluster, which clusters patches based on their dynamic behavior. xTestCluster is applied after the patch generation phase in order to analyze the generated patches from one or more repair tools. The novelty of xTestCluster lies in using information from execution of newly generated test cases to cluster patches generated by multiple APR approaches. A cluster is formed with patches that fail on the same generated test cases. The output from xTestCluster gives developers a) a way of reducing the number of patches to analyze, as they can focus on analyzing a sample of patches from each cluster, b) additional information attached to each patch. After analyzing 1910 plausible patches from 25 Java APR tools, our results show that xTestCluster is able to reduce the number of patches to review and analyze with a median of 50%. xTestCluster can save a significant amount of time for developers that have to review the multitude of patches generated by APR tools, and provides them with new test cases that show the differences in behavior between generated patches.


title: Optical modelling of single and multilayer 2D materials and heterostructures

abstract: Bidimensional materials are ideally viewed as having no thickness, as their name suggests. Their optical response have been previously modelled by a purely bidimensional surface current or by a very thin film with some contradictory results. The advent of multilayer stacks of bidimensional materials and combinations of different materials in vertical van der Waals heterostructures highlights however that these materials have a finite thickness. In this article, we propose a new model that reconciles both approaches and we show how volume properties of stacked bidimensional layers can be calculated from the bidimensional response of each individual layer, and conversely. In our approach, each bidimensionnal layers is surrounded by vacuum and described as a kind of transfer matrix with intrinsic parameters that do not depend on the external medium. This provides a link between continuous thin films and discrete layers. We show how to model heterostructures of bidimensional materials and identify the parameters of the current sheet that represents the bidimensional material in the zero-thickness limit, namely the in-plane surface susceptibility and the out-of-plane displacement susceptibility. We show that our unified model is perfectly compatible with existing ellipsometric data with the same reliability as the existing interface model but with different values of the surface susceptibility or bulk dielectric function. We discuss in details the origin of the discrepancies and show that our approach allows to determine intrinsic properties of the bidimensional materials with the advantage that multilayer and monolayer systems are described in a same framework.


title: Cannibals in the thick disk II -- Radial-velocity monitoring of the young alpha-rich stars

abstract: Determining ages of stars for reconstructing the history of the Milky Way remains one of the most difficult tasks in astrophysics. This involves knowing when it is possible to relate the stellar mass with its age and when it is not. The young $\alpha-$rich (YAR) stars present such a case in which we are still not sure about their ages because they are relatively massive, implying young ages, but their abundances are $\alpha-$enhanced, which implies old ages. We report the results from new observations from a long-term radial-velocity-monitoring campaign complemented with high-resolution spectroscopy, as well as new astrometry and seismology of a sample of 41 red giants from the third version of APOKASC, which includes YAR stars. The aim is to better characterize the YAR stars in terms of binarity, mass, abundance trends, and kinematic properties.The radial velocities of HERMES, APOGEE, and Gaia were combined to determine the binary fraction among YAR stars. In combination with their mass estimate, evolutionary status, chemical composition, and kinematic properties, it allowed us to better constrain the nature of these objects. We found that stars with $\mathrm{M} < 1 \mathrm{M}_\odot$ were all single, whereas stars with $\mathrm{M} > 1 \mathrm{M}_\odot$ could be either single or binary. This is in agreement with theoretical predictions of population synthesis models. Studying their [C/N], [C/Fe], and [N/Fe], trends with mass, it became clear that many YAR stars do not follow the APOKASC stars, favoring the scenario that most of them are the product of mass transfer. Abr.


title: Maslov S^{1} Bundles and Maslov Data

abstract: In this paper we consider the Maslov S^{1}bundles of a symplectic manifold (M,\omega), which refer to both the determinant bundle (denoted by \Gamma_{J}) of the unitary frame bundle and the bundle \Gamma_{J}^{2}=\Gamma_{J}\big/\{\pm1\}. The sympletic action of a compact Lie group G on M can be lifted to group actions on the principal S^{1} bundles \Gamma_{J} and \Gamma_{J}^{2}. In this work we study the interplay between the geometry of the Maslov S^{1} bundles and the dynamics of the group action on M. We show that when M is a homogeneous G-space and the first real Chern class c_{\Gamma} is nonvanishing, \Gamma_{J} and \Gamma_{J}^{2} are also homogeneous G-spaces. We also show that when [\omega]=r\cdot c_{\Gamma} for some real number r, then the G action is Hamiltonian and the Hamiltonians assume particular forms. In the end, we study a function called the \beta-Maslov data of a symplectic S^{1} action with respect to a connection 1-form \beta on \Gamma_{J}^{2}, which serves as the nonintegrable version of the notion of Maslov indices when \Gamma_{J}^{2} is not a trivial bundle.


title: Propagation of Partially Coherent Light in non-Hermitian Lattices

abstract: Band theory for partially coherent light is introduced by using the formalism of second-order classical coherence theory under paraxial approximation. It is demonstrated that the cross-spectral density function, describing correlations between pairs of points in the field, can have bands and gaps and form a correlation band structure. The propagation of a partially coherent beam in non-Hermitian periodic structures is considered to elucidate the interplay between the degree of coherence and the gain/loss present in the lattice. We apply the formalism to study partially coherent Bloch oscillations in lattices having parity-time symmetry and demonstrate that the oscillations can be sustained in such media but they are strongly dependent upon the spatial correlations of the beam. A transition between breathing and oscillating modes is shown to be induced by the degree of spatial coherence.


title: Agency problem and mean field system of agents with moral hazard, synergistic effects and accidents

abstract: We investigate the existence of an optimal policy to monitor a mean field systems of agents managing a risky project under moral hazard with accidents modeled by L\'evy processes magnified by the law of the project. We provide a general method to find both a mean field equilibrium for the agents and the optimal compensation policy under general, sufficient and necessary assumptions on all the parameters. We formalize the problem as a bilevel optimization with the probabilistic version of a mean field games which can be reduced to a controlled McKean-Vlasov SDE with jumps. We apply our results to an optimal energy demand-response problem with a crowd of consumers subjected to power cut/shortage when the variability of the energy consumption is too high under endogenous or exogenous strains. In this example, we get explicit solution to the mean field game and to the McKean-Vlasov equation with jumps


title: Layer-refined Graph Convolutional Networks for Recommendation

abstract: Recommendation models utilizing Graph Convolutional Networks (GCNs) have achieved state-of-the-art performance, as they can integrate both the node information and the topological structure of the user-item interaction graph. However, these GCN-based recommendation models not only suffer from over-smoothing when stacking too many layers but also bear performance degeneration resulting from the existence of noise in user-item interactions. In this paper, we first identify a recommendation dilemma of over-smoothing and solution collapsing in current GCN-based models. Specifically, these models usually aggregate all layer embeddings for node updating and achieve their best recommendation performance within a few layers because of over-smoothing. Conversely, if we place learnable weights on layer embeddings for node updating, the weight space will always collapse to a fixed point, at which the weighting of the ego layer almost holds all. We propose a layer-refined GCN model, dubbed LayerGCN, that refines layer representations during information propagation and node updating of GCN. Moreover, previous GCN-based recommendation models aggregate all incoming information from neighbors without distinguishing the noise nodes, which deteriorates the recommendation performance. Our model further prunes the edges of the user-item interaction graph following a degree-sensitive probability instead of the uniform distribution. Experimental results show that the proposed model outperforms the state-of-the-art models significantly on four public datasets with fast training convergence. The implementation code of the proposed method is available at https://github.com/enoche/ImRec.


title: Do Artificial Intelligence Systems Understand?

abstract: Are intelligent machines really intelligent? Is the underlying philosophical concept of intelligence satisfactory for describing how the present systems work? Is understanding a necessary and sufficient condition for intelligence? If a machine could understand, should we attribute subjectivity to it? This paper addresses the problem of deciding whether the so-called "intelligent machines" are capable of understanding, instead of merely processing signs. It deals with the relationship between syntaxis and semantics. The main thesis concerns the inevitability of semantics for any discussion about the possibility of building conscious machines, condensed into the following two tenets: "If a machine is capable of understanding (in the strong sense), then it must be capable of combining rules and intuitions"; "If semantics cannot be reduced to syntaxis, then a machine cannot understand." Our conclusion states that it is not necessary to attribute understanding to a machine in order to explain its exhibited "intelligent" behavior; a merely syntactic and mechanistic approach to intelligence as a task-solving tool suffices to justify the range of operations that it can display in the current state of technological development.


title: Hollow-core fibers with reduced surface roughness and ultralow loss in the short-wavelength range

abstract: While optical fibers display excellent performances in the infrared, visible and ultraviolet ranges remain poorly addressed by them. Obtaining better fibers for the short-wavelength range has been restricted, in all fiber optics, by scattering processes. In hollow-core fibers, the scattering loss arises from the core roughness and represents the limiting factor in reducing their loss regardless of the fiber cladding confinement power. To attain fibers performing at short wavelengths, it is paramount developing means to minimize the height variations on the fiber microstructure boundaries. Here, we report on the reduction of the core surface roughness of hollow-core fibers by modifying their fabrication technique. In the novel process proposed herein, counter directional gas fluxes are applied within the fiber holes during fabrication to attain an increased shear rate on its microstructure. The effect of the process on the surface roughness has been quantified by optical profilometry and the results showed that the root-mean-square surface roughness has been reduced from 0.40 nm to 0.15 nm. The improvement in the fiber core surface quality entailed fibers with ultralow loss in the short-wavelength range. We report on fibers with record loss values as low as 50 dB/km at 290 nm, 9.7 dB/km at 369 nm, 5.0 dB/km at 480 nm, and 1.8 dB/km at 719 nm. The results reveal this new approach as a promising path for the development of hollow-core fibers guiding at short wavelengths with loss that can potentially be orders of magnitude lower than the ones achievable with their silica-core counterparts.


title: Classification via score-based generative modelling

abstract: In this work, we investigated the application of score-based gradient learning in discriminative and generative classification settings. Score function can be used to characterize data distribution as an alternative to density. It can be efficiently learned via score matching, and used to flexibly generate credible samples to enhance discriminative classification quality, to recover density and to build generative classifiers. We analysed the decision theories involving score-based representations, and performed experiments on simulated and real-world datasets, demonstrating its effectiveness in achieving and improving binary classification performance, and robustness to perturbations, particularly in high dimensions and imbalanced situations.


title: Exponential moments for disk counting statistics at the hard edge of random normal matrices

abstract: We consider the multivariate moment generating function of the disk counting statistics of a model Mittag-Leffler ensemble in the presence of a hard wall. Let $n$ be the number of points. We focus on two regimes: (a) the ``hard edge regime" where all disk boundaries are at a distance of order $\frac{1}{n}$ from the hard wall, and (b) the ``semi-hard edge regime" where all disk boundaries are at a distance of order $\frac{1}{\sqrt{n}}$ from the hard wall. As $n \to + \infty$, we prove that the moment generating function enjoys asymptotics of the form \begin{align*} & \exp \bigg(C_{1}n + C_{2}\ln n + C_{3} + \frac{C_{4}}{\sqrt{n}} + \mathcal{O}(n^{-\frac{3}{5}})\bigg), & & \mbox{for the hard edge}, \\ & \exp \bigg(C_{1}n + C_{2}\sqrt{n} \hspace{0.12cm} + C_{3} + \frac{C_{4}}{\sqrt{n}} + \mathcal{O}\bigg(\frac{(\ln n)^{4}}{n}\bigg)\bigg), & & \mbox{for the semi-hard edge}. \end{align*} In both cases, we determine the constants $C_{1},\dots,C_{4}$ explicitly. We also derive precise asymptotic formulas for all joint cumulants of the disk counting function, and establish several central limit theorems. Surprisingly, and in contrast to the ``bulk", ``soft edge" and ``semi-hard edge" regimes, the second and higher order cumulants of the disk counting function in the ``hard edge" regime are proportional to $n$ and not to $\sqrt{n}$.


title: On moments of integrals with respect to Markov additive processes and of Markov modulated generalized Ornstein-Uhlenbeck processes

abstract: We establish sufficient conditions for the existence, and derive explicit formulas for the $\kappa$'th moments, $\kappa \geq 1$, of Markov modulated generalized Ornstein-Uhlenbeck processes as well as their stationary distributions. In particular, the running mean, the autocovariance function, and integer moments of the stationary distribution are derived in terms of the characteristics of the driving Markov additive process. Our derivations rely on new general results on moments of Markov additive processes and (multidimensional) integrals with respect to Markov additive processes.


title: Visual Speech-Aware Perceptual 3D Facial Expression Reconstruction from Videos

abstract: The recent state of the art on monocular 3D face reconstruction from image data has made some impressive advancements, thanks to the advent of Deep Learning. However, it has mostly focused on input coming from a single RGB image, overlooking the following important factors: a) Nowadays, the vast majority of facial image data of interest do not originate from single images but rather from videos, which contain rich dynamic information. b) Furthermore, these videos typically capture individuals in some form of verbal communication (public talks, teleconferences, audiovisual human-computer interactions, interviews, monologues/dialogues in movies, etc). When existing 3D face reconstruction methods are applied in such videos, the artifacts in the reconstruction of the shape and motion of the mouth area are often severe, since they do not match well with the speech audio. To overcome the aforementioned limitations, we present the first method for visual speech-aware perceptual reconstruction of 3D mouth expressions. We do this by proposing a "lipread" loss, which guides the fitting process so that the elicited perception from the 3D reconstructed talking head resembles that of the original video footage. We demonstrate that, interestingly, the lipread loss is better suited for 3D reconstruction of mouth movements compared to traditional landmark losses, and even direct 3D supervision. Furthermore, the devised method does not rely on any text transcriptions or corresponding audio, rendering it ideal for training in unlabeled datasets. We verify the efficiency of our method through exhaustive objective evaluations on three large-scale datasets, as well as subjective evaluation with two web-based user studies.


title: Multi-temporal speckle reduction with self-supervised deep neural networks

abstract: Speckle filtering is generally a prerequisite to the analysis of synthetic aperture radar (SAR) images. Tremendous progress has been achieved in the domain of single-image despeckling. Latest techniques rely on deep neural networks to restore the various structures and textures peculiar to SAR images. The availability of time series of SAR images offers the possibility of improving speckle filtering by combining different speckle realizations over the same area. The supervised training of deep neural networks requires ground-truth speckle-free images. Such images can only be obtained indirectly through some form of averaging, by spatial or temporal integration, and are imperfect. Given the potential of very high quality restoration reachable by multi-temporal speckle filtering, the limitations of ground-truth images need to be circumvented. We extend a recent self-supervised training strategy for single-look complex SAR images, called MERLIN, to the case of multi-temporal filtering. This requires modeling the sources of statistical dependencies in the spatial and temporal dimensions as well as between the real and imaginary components of the complex amplitudes. Quantitative analysis on datasets with simulated speckle indicates a clear improvement of speckle reduction when additional SAR images are included. Our method is then applied to stacks of TerraSAR-X images and shown to outperform competing multi-temporal speckle filtering approaches. The code of the trained models is made freely available on the Gitlab of the IMAGES team of the LTCI Lab, T\'el\'ecom Paris Institut Polytechnique de Paris (https://gitlab.telecom-paris.fr/ring/multi-temporal-merlin/).


title: Seeing moir\'e: convolutional network learning applied to twistronics

abstract: Moir\'e patterns made of two-dimensional (2D) materials represent highly tunable electronic Hamiltonians, allowing a wide range of quantum phases to emerge in a single material. Current modeling techniques for moir\'e electrons requires significant technical work specific to each material, impeding large-scale searches for useful moir\'e materials. In order to address this difficulty, we have developed a material-agnostic machine learning approach and test it here on prototypical one-dimensional (1D) moir\'e tight-binding models. We utilize the stacking dependence of the local density of states (SD-LDOS) to convert information about electronic bandstructure into physically relevant images. We then train a neural network that successfully predicts moir\'e electronic structure from the easily computed SD-LDOS of aligned bilayers. This network can satisfactorily predict moir\'e electronic structures, even for materials that are not included in its training data.


title: A non-distributive logic for semiconcepts of a context and its modal extension with semantics based on Kripke contexts

abstract: A non-distributive two-sorted hypersequent calculus \textbf{PDBL} and its modal extension \textbf{MPDBL} are proposed for the classes of pure double Boolean algebras and pure double Boolean algebras with operators respectively. A relational semantics for \textbf{PDBL} is next proposed, where any formula is interpreted as a semiconcept of a context. For \textbf{MPDBL}, the relational semantics is based on Kripke contexts, and a formula is interpreted as a semiconcept of the underlying context. The systems are shown to be sound and complete with respect to the relational semantics. Adding appropriate sequents to \textbf{MPDBL} results in logics with semantics based on reflexive, symmetric or transitive Kripke contexts. One of these systems is a logic for topological pure double Boolean algebras. It is demonstrated that, using \textbf{PDBL}, the basic notions and relations of conceptual knowledge can be expressed and inferences involving negations can be obtained. Further, drawing a connection with rough set theory, lower and upper approximations of semiconcepts of a context are defined. It is then shown that, using the formulae and sequents involving modal operators in \textbf{MPDBL}, these approximation operators and their properties can be captured.


title: Ly{\alpha} Halos around [O III]-Selected Galaxies in HETDEX

abstract: We present extended Lyman-{\alpha} (Ly{\alpha}) emission out to 800 kpc of 1034 [O III]-selected galaxies at redshifts 1.9<z<2.35 using the Hobby-Eberly Telescope Dark Energy Experiment (HETDEX). The locations and redshifts of the galaxies are taken from the 3D-HST survey. The median-stacked surface brightness profile of Ly{\alpha} emission of the [O III]-selected galaxies agrees well with that of 968 bright Ly{\alpha}-emitting galaxies (LAEs) at r>40 kpc from the galaxy centers. The surface brightness in the inner parts (r<10 kpc) around the [O III]-selected galaxies, however, is ten times fainter than that of the LAEs. Our results are consistent with the notion that photons dominating the outer regions of the Ly{\alpha} halos are not produced in the central galaxies but originate outside of them.


title: Efficient Emission Reduction Through Dynamic Supply Mode Selection

abstract: We study the inbound supply mode and inventory management decision making for a company that sells an assortment of products. Stochastic demand for each product arrives periodically and unmet demand is backlogged. Each product has two distinct supply modes that may be different suppliers or different transport modes from the same supplier. These supply modes differ in terms of their carbon emissions, speed, and costs. The company needs to decide when to ship how much using which supply mode such that total holding, backlog, and procurement costs are minimized while the emissions associated with different supply modes across the assortment remains below a certain target level. Since the optimal policy for this inventory system is highly complex, we assume that shipment decisions for each product are governed by a dual-index policy. This policy dynamically prescribes shipment quantities with both supply modes based on the on-hand inventory, the backlog, and the products that are still in-transit. We formulate this decision problem as a mixed integer linear program that we solve through Dantzig-wolfe decomposition. We benchmark our decision model against two state-of-the-art approaches in a large test-bed based on real-life carbon emissions data. Relative to our decision model, the first benchmark lacks the flexibility to dynamically ship products with two supply modes while the second benchmark makes supply mode decisions for each product individually rather than holistically for the entire assortment. Our computational experiment shows that our decision model can outperform the first and second benchmark by up to 15 and 40 percent, respectively, for realistic targets for carbon emission reduction.


title: Zero-Shot Video Captioning with Evolving Pseudo-Tokens

abstract: We introduce a zero-shot video captioning method that employs two frozen networks: the GPT-2 language model and the CLIP image-text matching model. The matching score is used to steer the language model toward generating a sentence that has a high average matching score to a subset of the video frames. Unlike zero-shot image captioning methods, our work considers the entire sentence at once. This is achieved by optimizing, during the generation process, part of the prompt from scratch, by modifying the representation of all other tokens in the prompt, and by repeating the process iteratively, gradually improving the specificity and comprehensiveness of the generated sentence. Our experiments show that the generated captions are coherent and display a broad range of real-world knowledge. Our code is available at: https://github.com/YoadTew/zero-shot-video-to-text


title: Interplay of magnetic order and ferroelasticity in the spin-orbit coupled antiferromagnet K$_2$ReCl$_6$

abstract: The magnetic and structural phase transitions occurring in K$_2$ReCl$_6$ were studied by macroscopic and microscopic techniques. Structural phase transitions associated with rotations of the ReCl$_6$ octahedra lower the symmetry from cubic to monoclinic, form ferroelastic domains, and are visible in susceptibility, specific heat and thermal expansion measurements. In the antiferromagnetically ordered state slightly below $T_{\rm N}$=12\,K these domains can be rearranged by a magnetic field inducing a relative elongation of the polydomain crystal parallel to the field of 0.6\%. At zero field the magnetic structure in K$_2$ReCl$_6$ does not exhibit a weak ferromagnetic component, but at large magnetic field a distinct magnetic structure with a finite weak ferromagnetic component is stabilized. High magnetic fields rearrange the domains in the crystal to align the weak ferromagnetic moment parallel to the field. The altered domain structure with the crystal elongation is abruptly suppressed at lower temperature but persists upon heating to well above $T_{\rm N}$. However, heating above the lowest structural phase transition and successive cooling restore the initial shape.


title: Physiology-based simulation of the retinal vasculature enables annotation-free segmentation of OCT angiographs

abstract: Optical coherence tomography angiography (OCTA) can non-invasively image the eye's circulatory system. In order to reliably characterize the retinal vasculature, there is a need to automatically extract quantitative metrics from these images. The calculation of such biomarkers requires a precise semantic segmentation of the blood vessels. However, deep-learning-based methods for segmentation mostly rely on supervised training with voxel-level annotations, which are costly to obtain. In this work, we present a pipeline to synthesize large amounts of realistic OCTA images with intrinsically matching ground truth labels; thereby obviating the need for manual annotation of training data. Our proposed method is based on two novel components: 1) a physiology-based simulation that models the various retinal vascular plexuses and 2) a suite of physics-based image augmentations that emulate the OCTA image acquisition process including typical artifacts. In extensive benchmarking experiments, we demonstrate the utility of our synthetic data by successfully training retinal vessel segmentation algorithms. Encouraged by our method's competitive quantitative and superior qualitative performance, we believe that it constitutes a versatile tool to advance the quantitative analysis of OCTA images.


title: DeVIS: Making Deformable Transformers Work for Video Instance Segmentation

abstract: Video Instance Segmentation (VIS) jointly tackles multi-object detection, tracking, and segmentation in video sequences. In the past, VIS methods mirrored the fragmentation of these subtasks in their architectural design, hence missing out on a joint solution. Transformers recently allowed to cast the entire VIS task as a single set-prediction problem. Nevertheless, the quadratic complexity of existing Transformer-based methods requires long training times, high memory requirements, and processing of low-single-scale feature maps. Deformable attention provides a more efficient alternative but its application to the temporal domain or the segmentation task have not yet been explored. In this work, we present Deformable VIS (DeVIS), a VIS method which capitalizes on the efficiency and performance of deformable Transformers. To reason about all VIS subtasks jointly over multiple frames, we present temporal multi-scale deformable attention with instance-aware object queries. We further introduce a new image and video instance mask head with multi-scale features, and perform near-online video processing with multi-cue clip tracking. DeVIS reduces memory as well as training time requirements, and achieves state-of-the-art results on the YouTube-VIS 2021, as well as the challenging OVIS dataset. Code is available at https://github.com/acaelles97/DeVIS.


title: Two Sides of the Same Coin: Exploiting the Impact of Identifiers in Neural Code Comprehension

abstract: Previous studies have demonstrated that neural code comprehension models are vulnerable to identifier naming. By renaming as few as one identifier in the source code, the models would output completely irrelevant results, indicating that identifiers can be misleading for model prediction. However, identifiers are not completely detrimental to code comprehension, since the semantics of identifier names can be related to the program semantics. Well exploiting the two opposite impacts of identifiers is essential for enhancing the robustness and accuracy of neural code comprehension, and still remains under-explored. In this work, we propose to model the impact of identifiers from a novel causal perspective, and propose a counterfactual reasoning-based framework named CREAM. CREAM explicitly captures the misleading information of identifiers through multi-task learning in the training stage, and reduces the misleading impact by counterfactual inference in the inference stage. We evaluate CREAM on three popular neural code comprehension tasks, including function naming, defect detection and code classification. Experiment results show that CREAM not only significantly outperforms baselines in terms of robustness (e.g., +37.9% on the function naming task at F1 score), but also achieve improved results on the original datasets (e.g., +0.5% on the function naming task at F1 score).


title: Adjoints and second adjoints of almost Dunford-Pettis operators

abstract: First we prove that the second adjoint of every bounded linear operator taking values in a Dedekind $\sigma$-complete Banach lattice containing a copy of $\ell_\infty$ is almost Dunford-Pettis. Next we extend some known results concerning conditions on the Banach lattices $E$ and $F$ under which the adjoint $T^\ast$ and the second adjoint $T^{\ast \ast}$ of any positive almost Dunford-Pettis operator $T : E \longrightarrow F$ are almost Dunford-Pettis. Finally, we prove when $T^\ast$ and $T^{\ast \ast}$ are almost Dunford-Pettis for any (non necessarily almost Dunford-Pettis) $T$ that is either bounded, regular, order bounded or weakly compact.


title: Strong structural and electronic coupling in metavalent PbS moire superlattices

abstract: Moire superlattices are twisted bilayer materials, in which the tunable interlayer quantum confinement offers access to new physics and novel device functionalities. Previously, moire superlattices were built exclusively using materials with weak van der Waals interactions and synthesizing moire superlattices with strong interlayer chemical bonding was considered to be impractical. Here using lead sulfide (PbS) as an example, we report a strategy for synthesizing of moire superlattices coupled by strong chemical bonding. We use water-soluble ligands as a removable template to obtain free-standing ultra-thin PbS nanosheets and assemble them into direct-contact bilayers with various twist angles. Atomic-resolution imaging shows the moire periodic structural reconstruction at superlattice interface, due to the strong metavalent coupling. Electron energy loss spectroscopy and theoretical calculations collectively reveal the twist angle26 dependent electronic structure, especially the emergent separation of flat bands at small twist angles. The localized states of flat bands are similar to well-arranged quantum dots, promising an application in devices. This study opens a new door to the exploration of deep energy modulations within moire superlattices alternative to van der Waals twistronics.


title: Tseng's Algorithm with Extrapolation from the Past Endowed with Variable Metrics and Error Terms

abstract: In this paper, we propose a variable metric version of Tseng's algorithm (the forward-backward-forward algorithm: FBF) combined with extrapolation from the past that includes error terms for finding a zero of the sum of a maximally monotone operator and a monotone Lipschitzian operator in Hilbert spaces. This can be seen as the optimistic gradient descent ascent (OGDA) algorithm endowed with variable metrics and error terms. Primal-dual algorithms are also proposed for monotone inclusion problems involving compositions with linear operators. The primal-dual problem occurring in image deblurring demonstrates an application of our theoretical results.


title: Inference skipping for more efficient real-time speech enhancement with parallel RNNs

abstract: Deep neural network (DNN) based speech enhancement models have attracted extensive attention due to their promising performance. However, it is difficult to deploy a powerful DNN in real-time applications because of its high computational cost. Typical compression methods such as pruning and quantization do not make good use of the data characteristics. In this paper, we introduce the Skip-RNN strategy into speech enhancement models with parallel RNNs. The states of the RNNs update intermittently without interrupting the update of the output mask, which leads to significant reduction of computational load without evident audio artifacts. To better leverage the difference between the voice and the noise, we further regularize the skipping strategy with voice activity detection (VAD) guidance, saving more computational load. Experiments on a high-performance speech enhancement model, dual-path convolutional recurrent network (DPCRN), show the superiority of our strategy over strategies like network pruning or directly training a smaller model. We also validate the generalization of the proposed strategy on two other competitive speech enhancement models.


title: Polarity-dependent electro-wetting or -dewetting on a conductive silicon substrate

abstract: We demonstrate droplet manipulation using electric signals to induce the liquid to wet or dewet on a hydrophilic conductive substrate in the air without adding layers. In this phenomenon, the contact angle changes more than 15{\deg} or -20{\deg} by using the ionic surfactant mediated droplets, with only \pm3 volts of the actuation voltage.


title: Categorifications of ${\textsf {QSym}}$ using supercharacter theories and a new basis for ${\textsf {NSym}}_{\mathbb{C}(q,t)}$

abstract: Let us fix a positive integer $\nu>1$. For each positive integer $n>1$, we consider a normal supercharacter theory $\mathcal{S}_n$ of $G_n$, where $G_n$ is the direct-product of $n-1$ copies of the cyclic group of order $\nu$. Then we endow $\bigoplus_{n \ge 0} \textsf{scf}(\mathcal{S}_n)$, the direct-product of supercharacter function spaces, with the Hopf algebra structure that is isomorphic to the Hopf algebra $\textsf{QSym}$ of quasisymmetric functions. Furthermore, we compute the structure constants of the Hopf algebra thus obtained for the basis consisting of superclass identifier functions. Using our categorifications, we study a new basis for the Hopf algebra $\textsf{NSym}_{\mathbb{C}(q,t)}$ of noncommutative symmetric functions over the rational function field $\mathbb{C}(q,t)$ in commuting variables $q$ and $t$, with an emphasis on the structure constants of $\textsf{NSym}_{\mathbb{C}(q,t)}$ for this basis. Some interesting applications are also obtained via the specializations of $q$ and $t$.


title: Fast strategies for multi-temporal speckle reduction of Sentinel-1 GRD images

abstract: Reducing speckle and limiting the variations of the physical parameters in Synthetic Aperture Radar (SAR) images is often a key-step to fully exploit the potential of such data. Nowadays, deep learning approaches produce state of the art results in single-image SAR restoration. Nevertheless, huge multi-temporal stacks are now often available and could be efficiently exploited to further improve image quality. This paper explores two fast strategies employing a single-image despeckling algorithm, namely SAR2SAR, in a multi-temporal framework. The first one is based on Quegan filter and replaces the local reflectivity pre-estimation by SAR2SAR. The second one uses SAR2SAR to suppress speckle from a ratio image encoding the multi-temporal information under the form of a "super-image", i.e. the temporal arithmetic mean of a time series. Experimental results on Sentinel-1 GRD data show that these two multi-temporal strategies provide improved filtering results while adding a limited computational cost.


title: Transport properties of the QCD medium

abstract: I present an overview of recent developments in the microscopic description of the quark-gluon plasma. I will concentrate on medium-induced emission and transverse momentum broadening. These are two key ingredients of the theory of jet modifications in the QCD medium and of the kinetic theory used for transport and thermalisation. The main focus is on progress towards a better understanding of theory and of its uncertainties.


title: Pushing the room temperature continous-wave operation limit of GaSb-based interband cascade lasers beyond 6 $\mu$m

abstract: We present GaSb-based interband cascade lasers emitting at a center wavelength of 6.12 $\mu$m at 20$^\circ$C in continuous-wave operation up to a maximum operating temperature of 40$^\circ$C. Pulsed measurements based on broad area devices show improved performance by applying the recently published approach of adjusting the GaInSb layer thickness in the active region to reduce the valence intersubband absorption. The W-quantum well design adjustment and the optimization of the electron injector, to rebalance the electron and hole concentrations in the active quantum wells, improved the device performance, yielding room temperature current densities as low as 0.5 kA/cm$^2$ for broad area devices under pulsed operation. As a direct result of this improvement the long wavelength limit for GaSb-based ICLs in continuous wave operation could be extended. For an epi-side down mounted 23 $\mu$m wide and 2 mm long device with 9 active stages and high-reflectivity back facet the threshold power is below 1 W and the optical output power is over 25 mW at 20$^\circ$C in continuous-wave mode. Such low-threshold and low-power consumption interband cascade lasers are especially attractive for mobile and compact sensing systems.


title: Enhanced nonlinear optomechanics in a coupled-mode photonic crystal device

abstract: The nonlinear component of the optomechanical interaction between light and mechanical vibration promises many exciting classical and quantum mechanical applications, but is generally weak. Here we demonstrate enhancement of nonlinear optomechanical measurement of mechanical motion by using pairs of coupled optical and mechanical modes in a photonic crystal device. In the same device we show linear optomechanical measurement with a strongly reduced input power and reveal how both enhancements are related. Our design exploits anisotropic mechanical elasticity to create strong coupling between mechanical modes while not changing optical properties. Additional thermo-optic tuning of the optical modes is performed with an auxiliary laser and a thermally-optimised device design. We envision broad use of this enhancement scheme in multimode phonon lasing, two-phonon heralding and eventually nonlinear quantum optomechanics.


title: The integration theory of curved absolute homotopy Lie algebras

abstract: The main goal of this thesis is to develop the integration theory of curved homotopy Lie algebras. In the first chapter, we develop the operadic calculus needed: we encode non-necessarily conilpotent coalgebras with operads and introduce their dual notion of an algebra over a cooperad, which we call "absolute algebras". The first sections of this chapter are a state of the art, and the last three sections are made of original results. In the second chapter, we develop the new theory of curved operadic calculus, which allows us to encode curved types of algebras with curved operads. Finally, in the third chapter, we develop the integration theory of curved absolute homotopy Lie algebras using the tools introduced in the first two chapters. This new approach allows us to obtain applications to deformation theory and rational homotopy theory.


title: Citation models and research evaluation

abstract: Citations in science are being studied from several perspectives. On the one hand, there are approaches such as scientometrics and the science of science, which take a more quantitative perspective. In this chapter I briefly review some of the literature on citations, citation distributions and models of citations. These citations feature prominently in another part of the literature which is dealing with research evaluation and the role of metrics and indicators in that process. Here I briefly review part of the discussion in research evaluation. This also touches on the subject of how citations relate to peer review. Finally, I try to integrate the two literatures with the aim of clarifying what I believe the two can learn from each other. The fundamental problem in research evaluation is that research quality is unobservable. This has consequences for conclusions that we can draw from quantitative studies of citations and citation models. The term "indicators" is a relevant concept in this context, which I try to clarify. Causality is important for properly understanding indicators, especially when indicators are used in practice: when we act on indicators, we enter causal territory. Even when an indicator might have been valid, through its very use, the consequences of its use may invalidate it. By combining citation models with proper causal reasoning and acknowledging the fundamental problem about unobservable research quality, we may hope to make progress.


title: Near Real-Time Distributed State Estimation via AI/ML-Empowered 5G Networks

abstract: Fifth-Generation (5G) networks have a potential to accelerate power system transition to a flexible, softwarized, data-driven, and intelligent grid. With their evolving support for Machine Learning (ML)/Artificial Intelligence (AI) functions, 5G networks are expected to enable novel data-centric Smart Grid (SG) services. In this paper, we explore how data-driven SG services could be integrated with ML/AI-enabled 5G networks in a symbiotic relationship. We focus on the State Estimation (SE) function as a key element of the energy management system and focus on two main questions. Firstly, in a tutorial fashion, we present an overview on how distributed SE can be integrated with the elements of the 5G core network and radio access network architecture. Secondly, we present and compare two powerful distributed SE methods based on: i) graphical models and belief propagation, and ii) graph neural networks. We discuss their performance and capability to support a near real-time distributed SE via 5G network, taking into account communication delays.


title: Rethinking the Reference-based Distinctive Image Captioning

abstract: Distinctive Image Captioning (DIC) -- generating distinctive captions that describe the unique details of a target image -- has received considerable attention over the last few years. A recent DIC work proposes to generate distinctive captions by comparing the target image with a set of semantic-similar reference images, i.e., reference-based DIC (Ref-DIC). It aims to make the generated captions can tell apart the target and reference images. Unfortunately, reference images used by existing Ref-DIC works are easy to distinguish: these reference images only resemble the target image at scene-level and have few common objects, such that a Ref-DIC model can trivially generate distinctive captions even without considering the reference images. To ensure Ref-DIC models really perceive the unique objects (or attributes) in target images, we first propose two new Ref-DIC benchmarks. Specifically, we design a two-stage matching mechanism, which strictly controls the similarity between the target and reference images at object-/attribute- level (vs. scene-level). Secondly, to generate distinctive captions, we develop a strong Transformer-based Ref-DIC baseline, dubbed as TransDIC. It not only extracts visual features from the target image, but also encodes the differences between objects in the target and reference images. Finally, for more trustworthy benchmarking, we propose a new evaluation metric named DisCIDEr for Ref-DIC, which evaluates both the accuracy and distinctiveness of the generated captions. Experimental results demonstrate that our TransDIC can generate distinctive captions. Besides, it outperforms several state-of-the-art models on the two new benchmarks over different metrics.


title: The defect formula

abstract: In this paper we present a characterization for the defect of a simple algebraic extensions of valued fields. This characterization generalizes the known result for the henselian case, namely that the defect is the product of the relative degrees of limit augmentations. The main tool used here is the graded algebra associated to a valuation on a polynomial ring. Let $\kh$ be a henselization of a valued field $K$. Another relevant result proved in this paper is that for every valuation $\muh$ on $\khx$, with restriction $\mu$ on $\kx$, the corresponding map $\mathcal G_\mu\hk\mathcal G_{\muh}$ of graded algebras is an isomorphism.


title: On Controller Tuning with Time-Varying Bayesian Optimization

abstract: Changing conditions or environments can cause system dynamics to vary over time. To ensure optimal control performance, controllers should adapt to these changes. When the underlying cause and time of change is unknown, we need to rely on online data for this adaptation. In this paper, we will use time-varying Bayesian optimization (TVBO) to tune controllers online in changing environments using appropriate prior knowledge on the control objective and its changes. Two properties are characteristic of many online controller tuning problems: First, they exhibit incremental and lasting changes in the objective due to changes to the system dynamics, e.g., through wear and tear. Second, the optimization problem is convex in the tuning parameters. Current TVBO methods do not explicitly account for these properties, resulting in poor tuning performance and many unstable controllers through over-exploration of the parameter space. We propose a novel TVBO forgetting strategy using Uncertainty-Injection (UI), which incorporates the assumption of incremental and lasting changes. The control objective is modeled as a spatio-temporal Gaussian process (GP) with UI through a Wiener process in the temporal domain. Further, we explicitly model the convexity assumptions in the spatial dimension through GP models with linear inequality constraints. In numerical experiments, we show that our model outperforms the state-of-the-art method in TVBO, exhibiting reduced regret and fewer unstable parameter configurations.


title: Fitting a Multi-modal Density by Dynamic Programming

abstract: We consider the problem of fitting a probability density function when it is constrained to have a given number of modal intervals. We propose a dynamic programming approach to solving this problem numerically. When this number is not known, we provide several data-driven ways for selecting it. We perform some numerical experiments to illustrate our methodology.


title: Solving the Batch Stochastic Bin Packing Problem in Cloud: A Chance-constrained Optimization Approach

abstract: This paper investigates a critical resource allocation problem in the first party cloud: scheduling containers to machines. There are tens of services and each service runs a set of homogeneous containers with dynamic resource usage; containers of a service are scheduled daily in a batch fashion. This problem can be naturally formulated as Stochastic Bin Packing Problem (SBPP). However, traditional SBPP research often focuses on cases of empty machines, whose objective, i.e., to minimize the number of used machines, is not well-defined for the more common reality with nonempty machines. This paper aims to close this gap. First, we define a new objective metric, Used Capacity at Confidence (UCaC), which measures the maximum used resources at a probability and is proved to be consistent for both empty and nonempty machines, and reformulate the SBPP under chance constraints. Second, by modeling the container resource usage distribution in a generative approach, we reveal that UCaC can be approximated with Gaussian, which is verified by trace data of real-world applications. Third, we propose an exact solver by solving the equivalent cutting stock variant as well as two heuristics-based solvers -- UCaC best fit, bi-level heuristics. We experimentally evaluate these solvers on both synthetic datasets and real application traces, demonstrating our methodology's advantage over traditional SBPP optimal solver minimizing the number of used machines, with a low rate of resource violations.


title: Adaptive Graph-Based Feature Normalization for Facial Expression Recognition

abstract: Facial Expression Recognition (FER) suffers from data uncertainties caused by ambiguous facial images and annotators' subjectiveness, resulting in excursive semantic and feature covariate shifting problem. Existing works usually correct mislabeled data by estimating noise distribution, or guide network training with knowledge learned from clean data, neglecting the associative relations of expressions. In this work, we propose an Adaptive Graph-based Feature Normalization (AGFN) method to protect FER models from data uncertainties by normalizing feature distributions with the association of expressions. Specifically, we propose a Poisson graph generator to adaptively construct topological graphs for samples in each mini-batches via a sampling process, and correspondingly design a coordinate descent strategy to optimize proposed network. Our method outperforms state-of-the-art works with accuracies of 91.84% and 91.11% on the benchmark datasets FERPlus and RAF-DB, respectively, and when the percentage of mislabeled data increases (e.g., to 20%), our network surpasses existing works significantly by 3.38% and 4.52%.


title: Predictors for high frequency processes based on rational polynomials approximation of periodic exponentials

abstract: The paper presents linear integral predictors for continuous time high-frequency signals with a a finite spectrum gap. The predictors are based on approximation of a complex valued periodic exponential (complex sinusoid) by rational polynomials.

categories: stat.ME cs.IT math.IT math.OC math.PR math.ST stat.TH


title: Globally optimal and scalable $N$-way matching of astronomy catalogs

abstract: Building on previous Bayesian approaches, we introduce a novel formulation of probabilistic cross-identification, where detections are directly associated to (hypothesized) astronomical objects in a globally optimal way. We show that this new method scales better for processing multiple catalogs than enumerating all possible candidates, especially in the limit of crowded fields, which is the most challenging observational regime for new-generation astronomy experiments such as the Rubin Observatory Legacy Survey of Space and Time (LSST). Here we study simulated catalogs where the ground-truth is known and report on the statistical and computational performance of the method. The paper is accompanied by a public software tool to perform globally optimal catalog matching based on directional data.


title: Optimism in Face of a Context: Regret Guarantees for Stochastic Contextual MDP

abstract: We present regret minimization algorithms for stochastic contextual MDPs under minimum reachability assumption, using an access to an offline least square regression oracle. We analyze three different settings: where the dynamics is known, where the dynamics is unknown but independent of the context and the most challenging setting where the dynamics is unknown and context-dependent. For the latter, our algorithm obtains regret bound of $\widetilde{O}( (H+{1}/{p_{min}})H|S|^{3/2}\sqrt{|A|T\log(\max\{|\mathcal{G}|,|\mathcal{P}|\}/\delta)})$ with probability $1-\delta$, where $\mathcal{P}$ and $\mathcal{G}$ are finite and realizable function classes used to approximate the dynamics and rewards respectively, $p_{min}$ is the minimum reachability parameter, $S$ is the set of states, $A$ the set of actions, $H$ the horizon, and $T$ the number of episodes. To our knowledge, our approach is the first optimistic approach applied to contextual MDPs with general function approximation (i.e., without additional knowledge regarding the function class, such as it being linear and etc.). We present a lower bound of $\Omega(\sqrt{T H |S| |A| \ln(|\mathcal{G}|)/\ln(|A|)})$, on the expected regret which holds even in the case of known dynamics. Lastly, we discuss an extension of our results to CMDPs without minimum reachability, that obtains $\widetilde{O}(T^{3/4})$ regret.


title: Development of a novel, windowless, amorphous selenium based photodetector for use in liquid noble detectors

abstract: Detection of the vacuum ultraviolet (VUV) scintillation light produced by liquid noble elements is a central challenge in order to fully exploit the available timing, topological, and calorimetric information in detectors leveraging these media. In this paper, we characterize a novel, windowless amorphous selenium based photodetector with direct sensitivity to VUV light. We present here the manufacturing and experimental setup used to operate this detector at low transport electric fields (2.7-5.2 V/$\mu$m) and across a wide range of temperatures (77K-290K). This work shows that the first proof-of-principle device windowless amorphous selenium is robust under cryogenic conditions, responsive to VUV light at cryogenic temperatures, and preserves argon purity. These findings motivate a continued exploration of amorphous selenium devices for simultaneous detection of scintillation light and ionization charge in noble element detectors.


title: Integral surface based Second Order Sliding Mode Controller design for Inverted Pendulum with PD SMC Compensation

abstract: Stabilization of a nonlinear single stage inverted pendulum is a complicated control problem, as nonlinearity is present inherently and external factors affect the equilibrium position. In this paper, a PD sliding mode controller is connected with Second order PI (Proportional+Integral) sliding mode controller, which is designed to improve the performance for nonlinear state differential equations with unknown parameters. This paper throws light on the sliding surface design and highlights the important features of multiplexing sliding mode control inputs resulting in robustness and higher convergence of output, through extensive mathematical modeling. Simulations and experimental application is done on the system to evaluate the controller for performance, complexity of implementation and also on the impact of the nonlinear IP system on its stability.


title: Design of Sliding Mode PID Controller with Improved reaching laws for Nonlinear Systems

abstract: In this thesis, advanced design technique in sliding mode control (SMC) is presented with focus on PID (Proportional-Integral-Derivative) type Sliding surfaces based Sliding mode control with improved power rate exponential reaching law for Non-linear systems using Modified Particle Swarm Optimization (MPSO). To handle large non-linearities directly, sliding mode controller based on PID-type sliding surface has been designed in this work, where Integral term ensures fast finite convergence time. The controller parameter for various modified structures can be estimated using Modified PSO, which is used as an offline optimization technique. Various reaching law were implemented leading to the proposed improved exponential power rate reaching law, which also improves the finite convergence time. To implement the proposed algorithm, nonlinear mathematical model has to be decrypted without linearizing, and used for the simulation purposes. Their performance is studied using simulations to prove the proposed behavior. The problem of chattering has been overcome by using boundary method and also second order sliding mode method. PI-type sliding surface based second order sliding mode controller with PD surface based SMC compensation is also proposed and implemented. The proposed algorithms have been analyzed using Lyapunov stability criteria. The robustness of the method is provided using simulation results including disturbance and 10% variation in system parameters. Finally process control based hardware is implemented (conical tank system).


title: Reduced-order modeling for Ablowitz-Ladik equation

abstract: In this paper, reduced-order models (ROMs) are constructed for the Ablowitz-Ladik equation (ALE), an integrable semi-discretization of the nonlinear Schr\"{o}dinger equation (NLSE) with and without damping. Both ALEs are non-canonical conservative and dissipative Hamiltonian systems with the Poisson matrix, depending quadratically on the state variables and with quadratic Hamiltonian. The full-order solutions are obtained with the energy preserving midpoint rule for the conservative ALE and exponential midpoint rule for the dissipative ALE. The reduced-order solutions are constructed intrusively by preserving the skew-symmetric structure of the reduced non-canonical Hamiltonian system by applying proper orthogonal decomposition with the Galerkin projection. For an efficient offline-online decomposition of the ROMs, the quadratic nonlinear terms of the Poisson matrix are approximated by the discrete empirical interpolation method. The computation of the reduced-order solutions is further accelerated by the use of tensor techniques. Preservation of the Hamiltonian and momentum for the conservative ALE, and preservation of dissipation properties of the dissipative ALE, guarantee the long-term stability of soliton solutions.


title: Mutual Intolerance Effect in Entangled Qubit Pairs

abstract: Analysis of the recently proposed thought experiment with the path entangled photon pairs is extended here to spin entangled electron pairs. The detailed comparison of the two cases showed the range of distinctions and similarities in their monitoring. The general results contradict the Concurrency Rule stating that intimately linked characteristics of a simple system must change concurrently under changing conditions. Instead, the analysis showed that the systems coherence, while changing continuously with entanglement strength on the global scale, remains zero on the local level. This effect, common for bi photons and bi fermions, can be named total mutual intolerance between local and global coherence. We can thus predict mutual intolerance as a general effect for all pairs of entangled qubits regardless of their physical nature. Key words: Bi photon, bi fermion, entanglement, correlations, coherence transfer


title: Proactive Distributed Constraint Optimization of Heterogeneous Incident Vehicle Teams

abstract: Traditionally, traffic incident management (TIM) programs coordinate the deployment of emergency resources to immediate incident requests without accommodating the interdependencies on incident evolutions in the environment. However, ignoring inherent interdependencies on the evolution of incidents in the environment while making current deployment decisions is shortsighted, and the resulting naive deployment strategy can significantly worsen the overall incident delay impact on the network. The interdependencies on incident evolution in the environment, including those between incident occurrences, and those between resource availability in near-future requests and the anticipated duration of the immediate incident request, should be considered through a look-ahead model when making current-stage deployment decisions. This study develops a new proactive framework based on the distributed constraint optimization problem (DCOP) to address the above limitations, overcoming conventional TIM models that cannot accommodate the dependencies in the TIM problem. Furthermore, the optimization objective is formulated to incorporate Unmanned Aerial Vehicles (UAVs). The UAVs' role in TIM includes exploring uncertain traffic conditions, detecting unexpected events, and augmenting information from roadway traffic sensors. Robustness analysis of our model for multiple TIM scenarios shows satisfactory performance using local search exploration heuristics. Overall, our model reports a significant reduction in total incident delay compared to conventional TIM models. With UAV support, we demonstrate a further decrease in the overall incident delay through the shorter response time of emergency vehicles, and a reduction in uncertainties associated with the estimated incident delay impact.


title: Numerical convergence of a Telegraph Predator-Prey System

abstract: The numerical convergence of a Telegraph Predator-Prey system is studied. This system of partial differential equations (PDEs) can describe various biological systems with reactive, diffusive and delay effects. Initially, our problem is mathematically modeled. Then, the PDEs system is discretized using the Finite Difference method, obtaining a system of equations in the explicit form in time and implicit form in space. The consistency of the Telegraph Predator-Prey system discretization was verified. Next, the von Neumann stability conditions were calculated for a Predator-Prey system with reactive terms and for a Telegraph system with delay. For our Telegraph Predator-Prey system, through numerical experiments, it was verified tat the mesh refinement and the model parameters (reactive constants, diffusion coefficient and delay term) determine the stability/instability conditions of the model. Keywords: Telegraph-Diffusive-Reactive System. Maxwell-Cattaneo Delay. Discretization Consistency. Von Neumann Stability. Numerical Experimentation.