title: Measuring the Input Rank in Global Supply Networks

abstract: We introduce the Input Rank as a measure of relevance of direct and indirect suppliers in Global Value Chains. We conceive an intermediate input to be more relevant for a downstream buyer if a decrease in that input's productivity affects that buyer more. In particular, in our framework, the relevance of any input depends: i) on the network position of the supplier relative to the buyer, ii) the patterns of intermediate inputs vs labor intensities connecting the buyer and the supplier, iii) and the competitive pressures along supply chains. After we compute the Input Rank from both U.S. and world Input-Output tables, we provide useful insights on the crucial role of services inputs as well as on the relatively higher relevance of domestic suppliers and suppliers coming from regionally integrated partners. Finally, we test that the Input Rank is a good predictor of vertical integration choices made by 20,489 U.S. parent companies controlling 154,836 subsidiaries worldwide.


title: A hybrid discontinuous Galerkin method for transport equations on networks

abstract: We discuss the mathematical modeling and numerical discretization of transport problems on one-dimensional networks. Suitable coupling conditions are derived that guarantee conservation of mass across network junctions and dissipation of a mathematical energy which allows to prove existence of unique solutions. We then consider the space discretization by a hybrid discontinuous Galerkin method which provides a suitable upwind mechanism to handle the transport problem and allows to incorporate the coupling conditions in a natural manner. In addition, the method inherits mass conservation and stability of the continuous problem. Order optimal convergence rates are established and illustrated by numerical tests.


title: Optimal Multistage Group Testing Algorithm for 3 Defectives

abstract: Group testing is a well-known search problem that consists in detecting of $s$ defective members of a set of $t$ samples by carrying out tests on properly chosen subsets of samples. In classical group testing the goal is to find all defective elements by using the minimal possible number of tests in the worst case. In this work, a multistage group testing problem is considered. Our goal is to construct a multistage search procedure, having asymptotically the same number of tests as the optimal adaptive algorithm. We propose a new approach to designing multistage algorithms, which allows us to construct a 5-stage algorithm for finding 3 defectives with the optimal number $3\log_2t(1+o(1))$ of tests.


title: Estimating the reach of a manifold via its convexity defect function

abstract: The reach of a submanifold is a crucial regularity parameter for manifold learning and geometric inference from point clouds. This paper relates the reach of a submanifold to its convexity defect function. Using the stability properties of convexity defect functions, along with some new bounds and the recent submanifold estimator of Aamari and Levrard [Ann. Statist. 47 177-204 (2019)], an estimator for the reach is given. A uniform expected loss bound over a C^k model is found. Lower bounds for the minimax rate for estimating the reach over these models are also provided. The estimator almost achieves these rates in the C^3 and C^4 cases, with a gap given by a logarithmic factor.


title: Wind Collision and Accretion Simulations of the Massive Binary System HD 166734

abstract: We run hydrodynamic simulations which follow the colliding winds structure of the massive binary system HD 166734 along its binary orbit, and show that close to periastron passage the secondary wind is suppressed and the secondary accretes mass from the primary wind. The system consists two blue supergiants with masses of $M_1 \approx 39.5 ~\rm{M_\odot}$ and $M_2 \approx 30.5 ~\rm{M_\odot}$, on a $P \simeq 34.538 ~\rm{days}$ orbit with eccentricity of $e \approx 0.618$. This close O-O binary with high eccentricity is observed through its orbit in the X-rays, where it shows an unusual long minimum close to periastron passage. We use advanced simulations with wind acceleration and prescription treatment of accretion and simulate the entire orbit at high resolution that captures the instabilities in the winds. We find that the colliding wind structure is unstable even at apastron. As the stars approach periastron passage the secondary wind is quenched by the primary wind and the accretion onto the secondary begins. The accretion phase lasts for $\simeq 12 ~\rm{days}$, and the amount of accreted mass per cycle we obtain is $M_{\rm{acc}} \simeq 1.3 \cdot 10^{-8} ~\rm{M_\odot}$. The accretion phase can account for the observed decline in X-ray emission from the system.


title: Bound states in the continuum and exceptional points in dielectric waveguide equipped with a metal grating

abstract: Bound states in the continuum (BICs) and exceptional points (EPs) have been the subjects of recent intensive research as they exhibit exotic phenomena that are significant for both fundamental physics and practical applications. We investigated the emergence of the Friedrich-Wintgen (FW) type BIC and the EP in a dielectric waveguide comprising a metal grating, focusing on their dependence on the grating thickness. The BIC emerges at a branch near the anti-crossing formed of the two waveguide modes, for a grating of any thickness. With the grating-thickness change, the anti-crossing gap varies and the branch at which the BIC appears flips. We show that, when the slit is single mode, the BIC appears at the crossing between the two waveguide modes in the empty-lattice (zero slit-width) limit, while the results satisfy the criteria for the branch at which the BIC appears in the previous reports. In addition, we find that the EP appears near the BIC in the same device only on selecting the grating thickness. The BIC and EP in the dielectric waveguide comprising a metal grating, particularly with such tunability, are expected to result in the development of functional and high-performance photonic devices in addition to being a platform for the fundamental research of non-Hermitian systems.


title: Close inspection of plasmon excitations in cuprate superconductors

abstract: Recently resonant inelastic x-ray scattering experiments reported fine details of the charge excitations around the in-plane momentum ${\bf q}_{\parallel}=(0,0)$ for various doping rates in electron-doped cuprates ${\rm La_{2-x}Ce_xCuO_4}$. We find that those new experimental data are well captured by acoustic-like plasmon excitations in a microscopic study of the layered $t$-$J$ model with the long-range Coulomb interaction. The acoustic-like plasmon is not a usual plasmon typical to the two-dimensional system, but has a small gap proportional to the interlayer hopping $t_z$.


title: ARAACOM: ARAbic Algerian Corpus for Opinion Mining

abstract: Nowadays, it is no more needed to do an enormous effort to distribute a lot of forms to thousands of people and collect them, then convert this from into electronic format to track people opinion about some subjects. A lot of web sites can today reach a large spectrum with less effort. The majority of web sites suggest to their visitors to leave backups about their feeling of the site or events. So, this makes for us a lot of data which need powerful mean to exploit. Opinion mining in the web becomes more and more an attracting task, due the increasing need for individuals and societies to track the mood of people against several subjects of daily life (sports, politics, television,...). A lot of works in opinion mining was developed in western languages especially English, such works in Arabic language still very scarce. In this paper, we propose our approach, for opinion mining in Arabic Algerian news paper. CCS CONCEPTS $\bullet$Information systems~Sentiment analysis $\bullet$ Computing methodologies~Natural language processing


title: Search for proton decay into three charged leptons in 0.37 megaton-years exposure of the Super-Kamiokande

abstract: A search for proton decay into three charged leptons has been performed by using 0.37$\,$Mton$\cdot$years of data collected in Super-Kamiokande. All possible combinations of electrons, muons and their anti-particles consistent with charge conservation were considered as decay modes. No significant excess of events has been found over the background, and lower limits on the proton lifetime divided by the branching ratio have been obtained. The limits range between $9.2\times10^{33}$ to $3.4\times10^{34}$ years at 90$\,$% confidence level, improving by more than an order of magnitude upon limits from previous experiments. A first limit has been set for the $p\rightarrow\mu^-e^+e^+$ mode.


title: A Real-Time Approach for Chance-Constrained Motion Planning with Dynamic Obstacles

abstract: Uncertain dynamic obstacles, such as pedestrians or vehicles, pose a major challenge for optimal robot navigation with safety guarantees. Previous work on motion planning has followed two main strategies to provide a safe bound on an obstacle's space: a polyhedron, such as a cuboid, or a nonlinear differentiable surface, such as an ellipsoid. The former approach relies on disjunctive programming, which has a relatively high computational cost that grows exponentially with the number of obstacles. The latter approach needs to be linearized locally to find a tractable evaluation of the chance constraints, which dramatically reduces the remaining free space and leads to over-conservative trajectories or even unfeasibility. In this work, we present a hybrid approach that eludes the pitfalls of both strategies while maintaining the original safety guarantees. The key idea consists in obtaining a safe differentiable approximation for the disjunctive chance constraints bounding the obstacles. The resulting nonlinear optimization problem is free of chance constraint linearization and disjunctive programming, and therefore, it can be efficiently solved to meet fast real-time requirements with multiple obstacles. We validate our approach through mathematical proof, simulation and real experiments with an aerial robot using nonlinear model predictive control to avoid pedestrians.


title: A Neural Architecture for Person Ontology population

abstract: A person ontology comprising concepts, attributes and relationships of people has a number of applications in data protection, didentification, population of knowledge graphs for business intelligence and fraud prevention. While artificial neural networks have led to improvements in Entity Recognition, Entity Classification, and Relation Extraction, creating an ontology largely remains a manual process, because it requires a fixed set of semantic relations between concepts. In this work, we present a system for automatically populating a person ontology graph from unstructured data using neural models for Entity Classification and Relation Extraction. We introduce a new dataset for these tasks and discuss our results.


title: Security and Privacy in Vehicular Social Networks

abstract: We surveyed and presented the state-of-the-art VC systems, security and privacy architectures and technologies, emphasizing on security and privacy challenges and their solutions for P2P interactions in VSNs towards standardization and deployment. We note that beyond safety applications that have drawn a lot of attention in VC systems, there is significant and rising interest in vehicle-to-vehicle interaction for a range of transportation efficiency and infotainment applications, notably LBS as well as a gamut of services by mobile providers. While this enriches the VC systems and the user experience, security and privacy concerns are also intensified. This is especially so, considering (i) the privacy risk from the exposure of the users to the service providers, and (ii) the security risk from the interaction with malicious or selfish and thus misbehaving users or infrastructure. We showed existing solutions can in fact evolve and address the VSN-specific challenges, and improve or even accelerate the adoption of VSN applications.


title: Hydrodynamic Inverse Faraday Effect in Two Dimensional Electron Liquid

abstract: We show that a small conducting object, such as a nanosphere or a nanoring, embedded into or placed in the vicinity of the two-dimensional electron liquid (2DEL) and subjected to a circularly polarized electromagnetic radiation induces ``twisted'' plasmonic oscillations in the adjacent 2DEL. The oscillations are rectified due to the hydrodynamic nonlinearities leading to the helicity sensitive circular dc current and to a magnetic moment. This hydrodynamic inverse Faraday effect (HIFE) can be observed at room temperature in different materials. The HIFE is dramatically enhanced in a periodic array of the nanospheres forming a resonant plasmonic coupler. Such a coupler exposed to a circularly polarized wave converts the entire 2DEL into a vortex state. Hence, the twisted plasmonic modes support resonant plasmonic-enhanced gate-tunable optical magnetization. Due to the interference of the plasmonic and Drude contributions, the resonances have an asymmetric Fano-like shape. These resonances present a signature of the 2DEL properties not affected by contacts and interconnects and, therefore, providing the most accurate information about the 2DEL properties. In particular, the widths of the resonances encode direct information about the momentum relaxation time and viscosity of the 2DEL.


title: Subjective Knowledge and Reasoning about Agents in Multi-Agent Systems

abstract: Though a lot of work in multi-agent systems is focused on reasoning about knowledge and beliefs of artificial agents, an explicit representation and reasoning about the presence/absence of agents, especially in the scenarios where agents may be unaware of other agents joining in or going offline in a multi-agent system, leading to partial knowledge/asymmetric knowledge of the agents is mostly overlooked by the MAS community. Such scenarios lay the foundations of cases where an agent can influence other agents' mental states by (mis)informing them about the presence/absence of collaborators or adversaries. In this paper, we investigate how Kripke structure-based epistemic models can be extended to express the above notion based on an agent's subjective knowledge and we discuss the challenges that come along.


title: Comparing the isomorphism types of equivalence structures and preorders

abstract: A general theme of computable structure theory is to investigate when structures have copies of a given complexity $\Gamma$. We discuss such problem for the case of equivalence structures and preorders. We show that there is a $\Pi^0_1$ equivalence structure with no $\Sigma^0_1$ copy, and in fact that the isomorphism types realized by the $\Pi^0_1$ equivalence structures coincide with those realized by the $\Delta^0_2$ equivalence structures. We also construct a $\Sigma^0_1$ preorder with no $\Pi^0_1$ copy.


title: Mapping algebras and the Adams spectral sequence

abstract: The $E_2$-term of the Adams spectral sequence for $\mathbf{Y}$ may be described in terms of its cohomology $E^\ast \mathbf{Y}$, together with the action of the primary operations $E^\ast \mathbf{E}$ on it, for ring spectra such as $\mathbf{E} = \mathbf{H}\mathbb{F}_p$. We show how the higher terms of the spectral sequence can be similarly described in terms of the higher order truncated $\mathbf{E}$-mapping algebra for $\mathbf{Y}$ $\; - \;$ that is truncations of the function spectra $\operatorname{Fun}(\mathbf{Y}, \mathbf{M})$ for various $\mathbf{E}$-modules $\mathbf{M}$, equipped with the action of $\operatorname{Fun}(\mathbf{M}, \mathbf{M}')$ on them.


title: Spontaneous motion of a camphor particle with a triangular modification from a circle

abstract: The spontaneous motion of a camphor particle with a slight modification from a circle is investigated. The effect of the shape on the motion is examined by the perturbation method. We introduce a slight $n$-mode modification from a circle, where the profile is described by $r = R(1 + \epsilon \cos n\theta)$ in polar coordinates. The results predict that a camphor particle with an $n=3$ mode modification from a circle, i.e., a triangular modification, moves in the direction of a corner for a small particle, while it moves in the direction of a side for a large particle. The numerical simulation results well reproduce the theoretical prediction. The present study will help understand the effect of the particle shape on spontaneous motion.


title: Correlation between crystal purity and the charge density wave in 1$T$-VSe$_2$

abstract: We examine the charge density wave (CDW) properties of 1$T$-VSe$_{2}$ crystals grown by chemical vapour transport (CVT) under varying conditions. Specifically, we find that by lowering the growth temperature ($T_{\mathrm{g}}$ $<$ 630$^{\circ}$C), there is a significant increase in both the CDW transition temperature and the residual resistance ratio (RRR) obtained from electrical transport measurements. Using x-ray photoelectron spectroscopy (XPS), we correlate the observed CDW properties with stoichiometry and the nature of defects. In addition, we have optimized a method to grow ultra-high purity 1$T$-VSe$_{2}$ crystals with a CDW transition temperature, $T_{\mathrm{CDW}}$ = (112.7 $\pm$ 0.8) K and maximum residual resistance ratio (RRR) $\approx$ 49, which is the highest reported thus far. This work highlights the sensitivity of the CDW in 1$T$-VSe$_{2}$ to defects and overall stoichiometry, and the importance of controlling the crystal growth conditions of strongly-correlated transition metal dichalcogenides.


title: Effect of high temperature annealing (T > 1650{\deg}C) on the morphological and electrical properties of p-type implanted 4H-SiC layers

abstract: This work reports on the effect of high temperature annealing on the electrical properties of p-type implanted 4H-SiC. Ion implantations of Aluminium (Al) at different energies (30 - 200 keV) were carried out to achieve 300 nm thick acceptor box profiles with a concentration of about 1020 at/cm3. The implanted samples were annealed at high temperatures (1675-1825 {\deg}C). Morphological analyses of the annealed samples revealed only a slight increase of the surface roughness RMS up to 1775{\deg}C, while this increase becomes more significant at 1825{\deg}C (RMS=1.2nm). Room temperature Hall measurements resulted in a hole concentration in the range 0.65-1.34x1018/cm3 and mobility values in the order of 21-27 cm2V-1s-1. The temperature dependent electrical measurements allowed to estimate an activation energy of the Al-implanted specie of about 110 meV (for the post-implantation annealing at 1675{\deg}C) and a fraction of active p-type Al-dopant ranging between 39% and 56%. The results give useful indications for the fabrication of 4H-SiC JBS and MOSFETs.


title: Ultrafast polarization-modulation transient spectroscopy to study electronic excited state dynamics in solutions and cells

abstract: A novel polarization-modulation transient method has been developed for studying fast anisotropic relaxation in electronic excited states of polyatomic and biologically relevant molecules under excitation with femtosecond laser pulses. The method is based on the modulation of pump beam polarization with a photo-elastic modulator and detection of an anisotropic contribution to the transient signal by a highly-sensitive demodulation balanced scheme. The method was tested on aqueous solution of coenzyme NADH (nicotin-amideadenine-dinucleotide) pumped at 360 nm and probed at 720 nm. Anisotropic vibrational relaxation and rotational diffusion have been observed in the subpicosecond time domain. The method significantly enhances the accuracy of transient measurements and allows for recording of high-quality signals at low energy (a nJ) pump pulses.


title: IoT Content Object Security with OSCORE and NDN: A First Experimental Comparison

abstract: The emerging Internet of Things (IoT) challenges the end-to-end transport of the Internet by low power lossy links and gateways that perform protocol translations. Protocols such as CoAP or MQTT-SN are degraded by the overhead of DTLS sessions, which in common deployment protect content transfer only up to the gateway. To preserve content security end-to-end via gateways and proxies, the IETF recently developed Object Security for Constrained RESTful Environments (OSCORE), which extends CoAP with content object security features commonly known from Information Centric Networks (ICN). This paper presents a comparative analysis of protocol stacks that protect request-response transactions. We measure protocol performances of CoAP over DTLS, OSCORE, and the information-centric Named Data Networking (NDN) protocol on a large-scale IoT testbed in single- and multi-hop scenarios. Our findings indicate that (a) OSCORE improves on CoAP over DTLS in error-prone wireless regimes due to omitting the overhead of maintaining security sessions at endpoints, and (b) NDN attains superior robustness and reliability due to its intrinsic network caches and hop-wise retransmissions.


title: Energy Deposition due to Secondary Particles in The Helical Undulator Wall at ILC-250GeV

abstract: In the future, International Linear Collider (ILC), a helical undulator based polarized positron source is expected to be chosen. A high energy electron beam passes through a superconducting helical undulator in order to create circularly polarized photons which will be directed to a conversion target, the result of which, will be electron-positron pairs. The resulting positron beam is longitudinally polarized. In order to produce the required number of positrons in ILC250 the full undulator length is needed. Since the photons are created with an opening angle and traveling through a 320 m long undulator, it is expected that the superconducting undulator vacuum will be hit by the photons. Photon masks are needed to be inserted in the undulator line to keep the power deposition in the vacuum below the acceptable limit which is 1W/m. A detailed study of the power deposition in the vacuum and masks is needed in order to design the photon masks. This paper describes the power deposition in the undulator vacuum due to secondary particles assuming an ideal undulator. In addition, the mask model is proposed.


title: Optimal binning: mathematical programming formulation

abstract: The optimal binning is the optimal discretization of a variable into bins given a discrete or continuous numeric target. We present a rigorous and extensible mathematical programming formulation for solving the optimal binning problem for a binary, continuous and multi-class target type, incorporating constraints not previously addressed. For all three target types, we introduce a convex mixed-integer programming formulation. Several algorithmic enhancements, such as automatic determination of the most suitable monotonic trend via a Machine-Learning-based classifier and implementation aspects are thoughtfully discussed. The new mathematical programming formulations are carefully implemented in the open-source python library OptBinning.


title: ResDepth: Learned Residual Stereo Reconstruction

abstract: We propose an embarrassingly simple but very effective scheme for high-quality dense stereo reconstruction: (i) generate an approximate reconstruction with your favourite stereo matcher; (ii) rewarp the input images with that approximate model; (iii) with the initial reconstruction and the warped images as input, train a deep network to enhance the reconstruction by regressing a residual correction; and (iv) if desired, iterate the refinement with the new, improved reconstruction. The strategy to only learn the residual greatly simplifies the learning problem. A standard Unet without bells and whistles is enough to reconstruct even small surface details, like dormers and roof substructures in satellite images. We also investigate residual reconstruction with less information and find that even a single image is enough to greatly improve an approximate reconstruction. Our full model reduces the mean absolute error of state-of-the-art stereo reconstruction systems by >50%, both in our target domain of satellite stereo and on stereo pairs from the ETH3D benchmark.


title: Existence and percolation results for stopped germ-grain models with unbounded velocities

abstract: We investigate the existence and first percolation properties of general stopped germ-grain models. They are defined via a random set of germs generated by a homogeneous planar Poisson point process in $\mathbf{R}^{2}$. From each germ, a grain, composed by a random number of branches, grows. This grain stops to grow whenever one of its branches hits another grain. The classical and historical example is the line segment model for which the grains are segments growing in a random direction in $ [0,2\pi)$ with random velocity. In the bilateral line segment model the segments grow in both directions. Other examples are considered here such as the Brownian model where the branches are simply given by independent Brownian motions in $\mathbf{R}^{2}$. The existence of such dynamics for an infinite number of germs is not obvious and our first result ensures it in a very general setting. In particular the existence of the line segment model is proved as soon as the random velocity admits a moment of order 4 which extends the result by Daley et al (Theorem 4.3 in \cite{daley2014two}) for bounded velocity. Our result covers also the Brownian dynamic model. In a second part of the paper, we show that the line segment model with random velocity admitting a super exponential moment does not percolate. This improves a recent result (Theorem 3.2 \cite{coupier2016absence}) in the case of bounded velocity.


title: Neural dynamics under active inference: plausibility and efficiency of information processing

abstract: Active inference is a normative framework for explaining behaviour under the free energy principle -- a theory of self-organisation originating in neuroscience. It specifies neuronal dynamics for state-estimation in terms of a descent on (variational) free energy -- a measure of the fit between an internal (generative) model and sensory observations. The free energy gradient is a prediction error -- plausibly encoded in the average membrane potentials of neuronal populations. Conversely, the expected probability of a state can be expressed in terms of neuronal firing rates. We show that this is consistent with current models of neuronal dynamics and establish face validity by synthesising plausible electrophysiological responses. We then show that these neuronal dynamics approximate natural gradient descent, a well-known optimisation algorithm from information geometry that follows the steepest descent of the objective in information space. We compare the information length of belief updating in both schemes, a measure of the distance traveled in information space that has a direct interpretation in terms of metabolic cost. We show that neural dynamics under active inference are metabolically efficient and suggest that neural representations in biological agents may evolve by approximating steepest descent in information space towards the point of optimal inference.


title: Characterization of rattling in relation to thermal conductivity: ordered half-Heusler semiconductors

abstract: The factors that affect the thermal conductivity of semiconductors is a topic of great scientific interest, especially in relation to thermoelectrics. Key developments have been the concept of the phonon-glass-electron-crystal (PGEC) and the related idea of rattling to achieve this. We use first principles phonon and thermal conductivity calculations in order to explore the concept of rattling for stoichiometric ordered half-Heusler compounds. These compounds can be regarded as filled zinc blende materials, and the filling atom could be viewed as a rattler if it is weakly bound. We use two simple metrics, one related to the frequency and the other to bond frustration and anharmonicity. We find that both measures correlate with thermal conductivity. This suggests that both may be useful in screening materials for low thermal conductivity.


title: Oscillation tomography of the Earth with solar neutrinos and future experiments

abstract: We study in details the Earth matter effects on the boron neutrinos from the Sun using recently developed 3D models of the Earth. The models have a number of new features of the density profiles, in particular, a substantial deviation from spherical symmetry. In this connection, we further elaborate on relevant aspects of oscillations ($\epsilon^2$ corrections, adiabaticity violation, entanglement, {\it etc.}) and the attenuation effect. The night excesses of the $\nu e-$ and $\nu N-$ events and the Day-Night asymmetries, $A_{ND}$, are presented in terms of the matter potential and the generalized energy resolution functions. The energy dependences of the cross-section and the flux improve the resolution, and consequently, sensitivity to remote structures of the profiles. The nadir angle ($\eta$) dependences of $A_{ND}$ are computed for future detectors DUNE, THEIA, Hyper-Kamiokande, and MICA at the South pole. Perspectives of the oscillation tomography of the Earth with the boron neutrinos are discussed. Next-generation detectors will establish the integrated day-night asymmetry with high confidence level. They can give some indications of the $\eta-$ dependence of the effect, but will discriminate among different models at most at the $(1 - 2)\sigma$ level. For high-level discrimination, the MICA-scale experiments are needed. MICA can detect the ice-soil borders and perform unique tomography of Antarctica.


title: United for Change: Deliberative Coalition Formation to Change the Status Quo

abstract: We study a setting in which a community wishes to identify a strongly supported proposal from a space of alternatives, in order to change the status quo. We describe a deliberation process in which agents dynamically form coalitions around proposals that they prefer over the status quo. We formulate conditions on the space of proposals and on the ways in which coalitions are formed that guarantee deliberation to succeed, that is, to terminate by identifying a proposal with the largest possible support. Our results provide theoretical foundations for the analysis of deliberative processes such as the ones that take place in online systems for democratic deliberation support.


title: Heavy-Tailed Branching Random Walks on Multidimensional Lattices. A Moment Approach

abstract: We study a continuous-time branching random walk on the lattice $\mathbb{Z}^{d}$, $d\in \mathbb{N}$, with a single source of branching, that is the lattice point where the birth and death of particles can occur. The random walk is assumed to be homogeneous, symmetric and irreducible but, in contrast to previous investigations, the random walk transition intensities $a(x,y)$ decrease as $|y-x|^{-(d+\alpha)}$ for $|y-x|\to \infty$, where $\alpha\in(0,2)$, that leads to an infinite variance of the random walk jumps. The~mechanism of the birth and death of particles at the source is governed by a continuous-time Bienaym\'e-Galton-Watson branching process. The source intensity is characterized by a certain parameter $\beta$. We calculate the long-time asymptotic behaviour for all integer moments for the number of particles at each lattice point and for the total population size. With respect to the parameter $\beta$ a non-trivial critical point $\beta_c>0$ is found for every $d\geq 1$. In particular, if $\beta>\beta_{c}$ the evolutionary operator generated a behaviour of the first moment for the number of particles has a positive eigenvalue. The existence of a positive eigenvalue yields an exponential growth in $t$ of the particle numbers in the case $\beta>\beta_c$ called \emph{supercritical}. Classification of the branching random walk treated as \emph{subcritical} ($\beta<\beta_c$) or \emph{critical} ($\beta=\beta_c$) for the heavy-tailed random walk jumps is more complicated than for a random walk with a finite variance of jumps. We study the asymptotic behaviour of all integer moments of a number of particles at any point $y\in\mathbb{Z}^d$ and of the particle population on $\mathbb{Z}^d$ according to the ratio $d/\alpha$.


title: Thermodynamics of Optical Bloch Equations

abstract: Optical Bloch Equations (OBE) describe the coherent exchange of energy between a quantum bit (qubit) and a quasi-resonant driving field in the presence of a thermal bath. Despite it being an ubiquitous process in quantum technologies, a sound thermodynamic analysis is still missing. We hereby provide such an analysis, by deriving the relevant framework from first principles. Building on a microscopic model of the bath, we first express heat, work and entropy production for the closed qubit-bath system where these definitions are unambiguous. We coarse-grain the obtained expressions, using a methodology similar to the derivation of the dynamical master equation and giving rise to consistent expressions of the First and Second Law. We verify that long coarse graining times yield the Floquet Master Equation and its already known thermodynamic description. Conversely, short coarse-graining times yield the OBE and its consistent thermodynamic framework, whose variables explicitly depend on the quantum coherences in the qubit's energy basis. These quantum signatures in the heat and in the entropy production flows allow us to characterize a genuinely quantum non-equilibrium situation, where the coherences created by the driving field are continuously erased by the bath. Our findings can be readily extended to larger open quantum systems. They carry the seeds for future thermodynamic analyses of quantum gates and the design of quantum engines in the strong coherent driving regime.


title: ManyModalQA: Modality Disambiguation and QA over Diverse Inputs

abstract: We present a new multimodal question answering challenge, ManyModalQA, in which an agent must answer a question by considering three distinct modalities: text, images, and tables. We collect our data by scraping Wikipedia and then utilize crowdsourcing to collect question-answer pairs. Our questions are ambiguous, in that the modality that contains the answer is not easily determined based solely upon the question. To demonstrate this ambiguity, we construct a modality selector (or disambiguator) network, and this model gets substantially lower accuracy on our challenge set, compared to existing datasets, indicating that our questions are more ambiguous. By analyzing this model, we investigate which words in the question are indicative of the modality. Next, we construct a simple baseline ManyModalQA model, which, based on the prediction from the modality selector, fires a corresponding pre-trained state-of-the-art unimodal QA model. We focus on providing the community with a new manymodal evaluation set and only provide a fine-tuning set, with the expectation that existing datasets and approaches will be transferred for most of the training, to encourage low-resource generalization without large, monolithic training sets for each new task. There is a significant gap between our baseline models and human performance; therefore, we hope that this challenge encourages research in end-to-end modality disambiguation and multimodal QA models, as well as transfer learning. Code and data available at: https://github.com/hannandarryl/ManyModalQA


title: Spin transport in a one-dimensional quantum wire

abstract: We analyze the spin transport through a finite-size one-dimensional interacting wire connected to noninteracting leads. By combining renormalization-group arguments with other analytic considerations such as the memory function technique and instanton tunneling, we find the temperature dependence of the spin conductance in different parameter regimes in terms of interactions and the wire length. The temperature dependence is found to be nonmonotonic. In particular, the system approaches perfect spin conductance at zero temperature for both attractive and repulsive interactions, in contrast with the static spin conductivity. We discuss the connection of our results to recent experiments with ultracold atoms and compare the theoretical prediction to experimental data in the parameter regime where temperature is the largest energy scale.


title: Relativistic hypernuclear compact stars with calibrated equations of state

abstract: Within the covariant density functional theory of hypernuclear matter we build a series of equations of state for hypernuclear compact stars, by calibrating the coupling constants of the $\Xi$-hyperon to the experimental binding energy of the single-$\Xi$ hypernuclei $^{15}_{\Xi^-}$C and $^{12}_{\Xi^-}$Be. Coupling constants of the $\Lambda$-hyperon to nucleons have been calibrated on a vast collection of experimental data on single $\Lambda$-hypernuclei and we employ those values. Uncertainties on the couplings of the $\Sigma$-hyperon to nuclear matter, due to lack of experimental data, are accounted for by allowing for a wide variation of the well depth of $\Sigma$ at rest in symmetric saturated nuclear matter. To account for uncertainties in the nucleonic sector at densities much larger than the saturation density, a rich collection of parametrizations is employed, some of them in agreement with existing constraints from nuclear physics and astrophysics. Neutron star properties are investigated with all these calibrated equations of state. The effects of the presence of hyperons on the radius, on the tidal deformability, on the moment of inertia, and on the nucleonic direct Urca process are discussed. The sensitivity of the hyperonic direct Urca processes to uncertainties in the nucleonic and hyperonic sectors is also addressed. It is shown that the relative variations of the radius, tidal deformability and moment of inertia from the values that characterize purely nucleonic stars are linearly correlated with the strangeness fraction. The maximum radius deviation, obtained for most massive neutron stars, is $\approx 10\%$. The reduction of the maximum mass, triggered by nucleation of strangeness, is estimated at $\approx 15 - 20\%$, out of which 5\% comes from insufficient information on the $\Sigma$-hyperon interactions.


title: The dynamics of a domain wall in ferrimagnets driven by spin-transfer torque

abstract: The spin-transfer-torque-driven (STT-driven) dynamics of a domain wall in an easy-axis rare-earth transition-metal ferrimagnet is investigated theoretically and numerically in the vicinity of the angular momentum compensation point $T_A$, where the net spin density vanishes. The particular focus is given on the unusual interaction of the antiferromagnetic dynamics of a ferrimagnetic domain wall and the adiabatic component of STT, which is absent in antiferromagnets but exists in the ferrimagnets due to the dominant coupling of conduction electrons to transition-metal spins. Specifically, we first show that the STT-induced domain-wall velocity changes its sign across $T_A$ due to the sign change of the net spin density, giving rise to a phenomenon unique to ferrimagnets that can be used to characterize $T_A$ electrically. It is also shown that the frequency of the STT-induced domain-wall precession exhibits its maximum at $T_A$ and it can approach the spin-wave gap at sufficiently high currents. Lastly, we report a numerical observation that, as the current density increases, the domain-wall velocity starts to deviate from the linear-response result, calling for a more comprehensive theory for the domain-wall dynamics in ferrimagnets driven by a strong current.


title: A numerically stable algorithm for integrating Bayesian models using Markov melding

abstract: When statistical analyses consider multiple data sources, Markov melding provides a method for combining the source-specific Bayesian models. Markov melding joins together submodels that have a common quantity. One challenge is that the prior for this quantity can be implicit, and its prior density must be estimated. We show that error in this density estimate makes the two-stage Markov chain Monte Carlo sampler employed by Markov melding unstable and unreliable. We propose a robust two-stage algorithm that estimates the required prior marginal self-density ratios using weighted samples, dramatically improving accuracy in the tails of the distribution. The stabilised version of the algorithm is pragmatic and provides reliable inference. We demonstrate our approach using an evidence synthesis for inferring HIV prevalence, and an evidence synthesis of A/H1N1 influenza.


title: Ageing of an oscillator due to frequency switching

abstract: If an oscillator is driven by a force that switches between two frequencies, the dynamics it exhibits depends on the precise manner of switching. Here we take a one-dimensional oscillator and consider scenarios in which switching occurs: (i) between two driving forces which have different frequencies, or (ii) as a single forcing whose frequency switches between two values. The difference is subtle, but entirely changes the long term behaviour, and concerns whether the switch can be expressed linearly or nonlinearly in terms of a discontinuous quantity (such as a sign or Heaviside step function that represents the switch between frequencies). In scenario (i) the oscillator has a stable periodic orbit, and the system can be described as a Filippov system. In scenario (ii) the oscillator exhibits hidden dynamics, which lies outside the theory of Filippov's systems, and causes the system to be increasingly (as time passes) dominated by sliding along the frequency-switching threshold, and in particular if periodic orbits do exist, they too exhibit sliding. We show that the behaviour persists, at least asymptotically, if the systems are regularized (i.e. if the switch is modelled as a smooth transition in the manner of (i) or (ii)).


title: Axiomatizing Maximal Progress and Discrete Time

abstract: Milner's complete proof system for observational congruence is crucially based on the possibility to equate $\tau$ divergent expressions to non-divergent ones by means of the axiom $recX. (\tau.X + E) = recX. \tau. E$. In the presence of a notion of priority, where, e.g., actions of type $\delta$ have a lower priority than silent $\tau$ actions, this axiom is no longer sound. Such a form of priority is, however, common in timed process algebra, where, due to the interpretation of $\delta$ as a time delay, it naturally arises from the maximal progress assumption. We here present our solution, based on introducing an auxiliary operator $pri(E)$ defining a "priority scope", to the long time open problem of axiomatizing priority using standard observational congruence: we provide a complete axiomatization for a basic process algebra with priority and (unguarded) recursion. We also show that, when the setting is extended by considering static operators of a discrete time calculus, an axiomatization that is complete over (a characterization of) finite-state terms can be developed by re-using techniques devised in the context of a cooperation with Prof. Jos Baeten.


title: Loci of 3-periodics in an Elliptic Billiard: why so many ellipses?

abstract: A triangle center such as the incenter, barycenter, etc., is specified by a function thrice- and cyclically applied on sidelengths and/or angles. Consider the 1d family of 3-periodics in the elliptic billiard, and the loci of its triangle centers. Some will sweep ellipses, and others higher-degree algebraic curves. We propose two rigorous methods to prove if the locus of a given center is an ellipse: one based on computer algebra, and another based on an algebro-geometric method. We also prove that if the triangle center function is rational on sidelengths, the locus is algebraic


title: Planning an Efficient and Robust Base Sequence for a Mobile Manipulator Performing Multiple Pick-and-place Tasks

abstract: In this paper, we address efficiently and robustly collecting objects stored in different trays using a mobile manipulator. A resolution complete method, based on precomputed reachability database, is proposed to explore collision-free inverse kinematics (IK) solutions and then a resolution complete set of feasible base positions can be determined. This method approximates a set of representative IK solutions that are especially helpful when solving IK and checking collision are treated separately. For real world applications, we take into account the base positioning uncertainty and plan a sequence of base positions that reduce the number of necessary base movements for collecting the target objects, the base sequence is robust in that the mobile manipulator is able to complete the part-supply task even there is certain deviation from the planned base positions. Our experiments demonstrate both the efficiency compared to regular base sequence and the feasibility in real world applications.


title: Radially polarized light beams from spin-forbidden dark excitons and trions in monolayer WSe$_2$

abstract: The rich optical properties of transition metal dichalcogenide monolayers (TMD-MLs) render these materials promising candidates for the design of new optoelectronic devices. Despite the large number of excitonic complexes in TMD-MLs, the main focus has been put on optically bright neutral excitons. Spin-forbidden dark excitonic complexes have been addressed for basic science purposes, but not for applications. We report on spin-forbidden dark excitonic complexes in ML WSe$_2$ as an ideal system for the facile generation of radially polarized light beams. Furthermore, the spatially resolved polarization of photoluminescence beams can be exploited for basic research on excitons in two-dimensional materials.


title: Binding events through the mutual synchronization of spintronic nano-neurons

abstract: The brain naturally binds events from different sources in unique concepts. It is hypothesized that this process occurs through the transient mutual synchronization of neurons located in different regions of the brain when the stimulus is presented. This mechanism of binding through synchronization can be directly implemented in neural networks composed of coupled oscillators. To do so, the oscillators must be able to mutually synchronize for the range of inputs corresponding to a single class, and otherwise remain desynchronized. Here we show that the outstanding ability of spintronic nano-oscillators to mutually synchronize and the possibility to precisely control the occurrence of mutual synchronization by tuning the oscillator frequencies over wide ranges allows pattern recognition. We demonstrate experimentally on a simple task that three spintronic nano-oscillators can bind consecutive events and thus recognize and distinguish temporal sequences. This work is a step forward in the construction of neural networks that exploit the non-linear dynamic properties of their components to perform brain-inspired computations.


title: Profunctor optics and traversals

abstract: Optics are bidirectional accessors of data structures; they provide a powerful abstraction of many common data transformations. This abstraction is compositional thanks to a representation in terms of profunctors endowed with an algebraic structure called Tambara module. There exists a general definition of optic in terms of coends that, after some elementary application of the Yoneda lemma, particularizes in each one of the basic optics. Traversals used to be the exception; we show an elementary derivation of traversals and discuss some other new derivations for optics. We relate our characterization of traversals to the previous ones showing that the coalgebras of a comonad that represents and split into shape and contents are traversable functors. The representation of optics in terms of profunctors has many different proofs in the literature; we discuss two ways of proving it, generalizing both to the case of mixed optics for an arbitrary action. Categories of optics can be seen as Eilenberg-Moore categories for a monad described by Pastro and Street. This gives us two different approaches to composition between profunctor optics of different families: using distributive laws between the monads defining them, and using coproducts of monads. The second one is the one implicitly used in Haskell programming; but we show that a refinement of the notion of optic is required in order to model it faithfully. We provide experimental implementations of a library of optics in Haskell and partial Agda formalizations of the profunctor representation theorem.


title: On Schur problem and Kostka numbers

abstract: We reconsider the two related problems: distribution of the diagonal elements of a Hermitian n x n matrix of known eigenvalues (Schur) and determination of multiplicities of weights in a given irreducible representation of SU(n) (Kostka). It is well known that the former yields a semi-classical picture of the latter. We present explicit expressions for low values of n that complement those given in the literature, recall some exact (non asymptotic) relation between the two problems, comment on the limiting procedure whereby Kostka numbers are obtained from Littlewood-Richardson coefficients, and finally extend these considerations to the case of the B2 algebra, with a few novel conjectures.


title: Attention! A Lightweight 2D Hand Pose Estimation Approach

abstract: Vision based human pose estimation is an non-invasive technology for Human-Computer Interaction (HCI). Direct use of the hand as an input device provides an attractive interaction method, with no need for specialized sensing equipment, such as exoskeletons, gloves etc, but a camera. Traditionally, HCI is employed in various applications spreading in areas including manufacturing, surgery, entertainment industry and architecture, to mention a few. Deployment of vision based human pose estimation algorithms can give a breath of innovation to these applications. In this letter, we present a novel Convolutional Neural Network architecture, reinforced with a Self-Attention module that it can be deployed on an embedded system, due to its lightweight nature, with just 1.9 Million parameters. The source code and qualitative results are publicly available.


title: The vertex algebras $\mathcal R^{(p)}$ and $\mathcal V^{(p)}$

abstract: The vertex algebras $V^{(p)}$ and $R^{(p)}$ introduced in [2] are very interesting relatives of the famous triplet algebras of logarithmic CFT. The algebra $V^{(p)}$ (respectively, $R^{(p)}$) is a large extension of the simple affine vertex algebra $L_k(\mathfrak{sl}_2)$ (respectively, $L_k(\mathfrak{sl}_2)$ times a Heisenberg algebra), at level $k=-2+1/p$ for positive integer $p$. In this paper, we derive structural results of these algebras and prove various conjectures coming from representation theory and physics. We show that SU(2) acts as automorphisms on $V^{(p)}$ and we decompose $V^{(p)}$ as an $L_k(\mathfrak{sl}_2)$-module and $R^{(p)}$ as an $L_k(\mathfrak{gl}_2)$-module. The decomposition of $V^{(p)}$ shows that $V^{(p)}$ is the large level limit of a corner vertex algebra appearing in the context of S-duality. We also show that the quantum Hamiltonian reduction of $V^{(p)}$ is the logarithmic doublet algebra $A^{(p)}$ introduced in [12], while the reduction of $R^{(p)}$ yields the $B^{(p)}$-algebra of [39]. Conversely, we realize $V^{(p)}$ and $R^{(p)}$ from $A^{(p)}$ and $B^{(p)}$ via a procedure that deserves to be called inverse quantum Hamiltonian reduction. As a corollary, we obtain that the category $KL_{k}$ of ordinary $L_k(\mathfrak{sl}_2)$-modules at level $k=-2+1/p$ is a rigid vertex tensor category equivalent to a twist of the category Rep$(SU(2))$. This finally completes rigid braided tensor category structures for $L_k(\mathfrak{sl}_2)$ at all levels $k$. We also establish a uniqueness result of certain vertex operator algebra extensions and use this result to prove that both $R^{(p)}$ and $B^{(p)}$ are certain non-principal W-algebras of type $A$ at boundary admissible levels. The same uniqueness result also shows that $R^{(p)}$ and $B^{(p)}$ are the chiral algebras of Argyres-Douglas theories of type $(A_1, D_{2p})$ and $(A_1, A_{2p-3})$.


title: On Last-Layer Algorithms for Classification: Decoupling Representation from Uncertainty Estimation

abstract: Uncertainty quantification for deep learning is a challenging open problem. Bayesian statistics offer a mathematically grounded framework to reason about uncertainties; however, approximate posteriors for modern neural networks still require prohibitive computational costs. We propose a family of algorithms which split the classification task into two stages: representation learning and uncertainty estimation. We compare four specific instances, where uncertainty estimation is performed via either an ensemble of Stochastic Gradient Descent or Stochastic Gradient Langevin Dynamics snapshots, an ensemble of bootstrapped logistic regressions, or via a number of Monte Carlo Dropout passes. We evaluate their performance in terms of \emph{selective} classification (risk-coverage), and their ability to detect out-of-distribution samples. Our experiments suggest there is limited value in adding multiple uncertainty layers to deep classifiers, and we observe that these simple methods strongly outperform a vanilla point-estimate SGD in some complex benchmarks like ImageNet.


title: Universal Translationally-Invariant Hamiltonians

abstract: In this work we extend the notion of universal quantum Hamiltonians to the setting of translationally-invariant systems. We present a construction that allows a two-dimensional spin lattice with nearest-neighbour interactions, open boundaries, and translational symmetry to simulate any local target Hamiltonian---i.e. to reproduce the whole of the target system within its low-energy subspace to arbitrarily-high precision. Since this implies the capability to simulate non-translationally-invariant many-body systems with translationally-invariant couplings, any effect such as characteristics commonly associated to systems with external disorder, e.g. many-body localization, can also occur within the low-energy Hilbert space sector of translationally-invariant systems. Then we sketch a variant of the universal lattice construction optimized for simulating translationally-invariant target Hamiltonians. Finally we prove that qubit Hamiltonians consisting of Heisenberg or XY interactions of varying interaction strengths restricted to the edges of a connected translationally-invariant graph embedded in $\mathbb{R}^D$ are universal, and can efficiently simulate any geometrically local Hamiltonian in $\mathbb{R}^D$.


title: TLT-school: a Corpus of Non Native Children Speech

abstract: This paper describes "TLT-school" a corpus of speech utterances collected in schools of northern Italy for assessing the performance of students learning both English and German. The corpus was recorded in the years 2017 and 2018 from students aged between nine and sixteen years, attending primary, middle and high school. All utterances have been scored, in terms of some predefined proficiency indicators, by human experts. In addition, most of utterances recorded in 2017 have been manually transcribed carefully. Guidelines and procedures used for manual transcriptions of utterances will be described in detail, as well as results achieved by means of an automatic speech recognition system developed by us. Part of the corpus is going to be freely distributed to scientific community particularly interested both in non-native speech recognition and automatic assessment of second language proficiency.


title: Degree bounds for modular covariants

abstract: Let $V,W$ be representations of a cyclic group $G$ of prime order $p$ over a field $k$ of characteristic $p$. The module of covariants $k[V,W]^G$ is the set of $G$-equivariant polynomial maps $V \rightarrow W$, and is a module over $k[V]^G$. We give a formula for the Noether bound $\beta(k[V,W]^G,k[V]^G)$, i.e. the minimal degree $d$ such that $k[V,W]^G$ is generated over $k[V]^G$ by elements of degree at most $d$.


title: Contextualized Embeddings in Named-Entity Recognition: An Empirical Study on Generalization

abstract: Contextualized embeddings use unsupervised language model pretraining to compute word representations depending on their context. This is intuitively useful for generalization, especially in Named-Entity Recognition where it is crucial to detect mentions never seen during training. However, standard English benchmarks overestimate the importance of lexical over contextual features because of an unrealistic lexical overlap between train and test mentions. In this paper, we perform an empirical analysis of the generalization capabilities of state-of-the-art contextualized embeddings by separating mentions by novelty and with out-of-domain evaluation. We show that they are particularly beneficial for unseen mentions detection, especially out-of-domain. For models trained on CoNLL03, language model contextualization leads to a +1.2% maximal relative micro-F1 score increase in-domain against +13% out-of-domain on the WNUT dataset


title: New Properties of Triangular Orbits in Elliptic Billiards

abstract: New invariants in the one-dimensional family of 3-periodic orbits in the elliptic billiard were introduced by the authors in "Can the Elliptic Billiard Still Surprise Us?" (2020), Math. Intelligencer, 42(1): 6--17, some of which were generalized to $N>3$. Invariants mentioned there included ratios of radii and/or areas, sum of angle cosines, and a special stationary circle. Here we present some of the proofs omitted there as well as a few new related facts.


title: Building high accuracy emulators for scientific simulations with deep neural architecture search

abstract: Computer simulations are invaluable tools for scientific discovery. However, accurate simulations are often slow to execute, which limits their applicability to extensive parameter exploration, large-scale data analysis, and uncertainty quantification. A promising route to accelerate simulations by building fast emulators with machine learning requires large training datasets, which can be prohibitively expensive to obtain with slow simulations. Here we present a method based on neural architecture search to build accurate emulators even with a limited number of training data. The method successfully accelerates simulations by up to 2 billion times in 10 scientific cases including astrophysics, climate science, biogeochemistry, high energy density physics, fusion energy, and seismology, using the same super-architecture, algorithm, and hyperparameters. Our approach also inherently provides emulator uncertainty estimation, adding further confidence in their use. We anticipate this work will accelerate research involving expensive simulations, allow more extensive parameters exploration, and enable new, previously unfeasible computational discovery.

categories: stat.ML cs.LG physics.ao-ph physics.comp-ph physics.plasm-ph


title: Bures-Wasserstein geometry for positive-definite Hermitian matrices and their trace-one subset

abstract: In his classical argument, Rao derives the Riemannian distance corresponding to the Fisher metric using a mapping between the space of positive measures and Euclidean space. He obtains the Hellinger distance on the full space of measures and the Fisher distance on the subset of probability measures. In order to highlight the interplay between Fisher theory and quantum information theory, we extend this construction to the space of positive-definite Hermitian matrices using Riemannian submersions and quotient manifolds. The analog of the Hellinger distance turns out to be the Bures-Wasserstein (BW) distance, a distance measure appearing in optimal transport, quantum information, and optimisation theory. First we present an existing derivation of the Riemannian metric and geodesics associated with this distance. Subsequently, we present a novel derivation of the Riemannian distance and geodesics for this metric on the subset of trace-one matrices, analogous to the Fisher distance for probability measures.


title: Depthwise Non-local Module for Fast Salient Object Detection Using a Single Thread

abstract: Recently deep convolutional neural networks have achieved significant success in salient object detection. However, existing state-of-the-art methods require high-end GPUs to achieve real-time performance, which makes them hard to adapt to low-cost or portable devices. Although generic network architectures have been proposed to speed up inference on mobile devices, they are tailored to the task of image classification or semantic segmentation, and struggle to capture intra-channel and inter-channel correlations that are essential for contrast modeling in salient object detection. Motivated by the above observations, we design a new deep learning algorithm for fast salient object detection. The proposed algorithm for the first time achieves competitive accuracy and high inference efficiency simultaneously with a single CPU thread. Specifically, we propose a novel depthwise non-local moudule (DNL), which implicitly models contrast via harvesting intra-channel and inter-channel correlations in a self-attention manner. In addition, we introduce a depthwise non-local network architecture that incorporates both depthwise non-local modules and inverted residual blocks. Experimental results show that our proposed network attains very competitive accuracy on a wide range of salient object detection datasets while achieving state-of-the-art efficiency among all existing deep learning based algorithms.


title: Removing Multi-frame Gaussian Noise by Combining Patch-based Filters with Optical Flow

abstract: Patch-based approaches such as 3D block matching (BM3D) and non-local Bayes (NLB) are widely accepted filters for removing Gaussian noise from single-frame images. In this work, we propose three extensions for these filters when there exist multiple frames of the same scene. The first of them employs reference patches on every frame instead of a commonly used single reference frame method, thus utilizing the complete available information. The remaining two techniques use a separable spatio-temporal filter to reduce interactions between dissimilar regions, hence mitigating artifacts. In order to deal with non-registered datasets we combine all our extensions with robust optical flow computation. Two of our proposed multi-frame filters outperform existing extensions on most occasions by a significant margin while also being competitive with a state-of-the-art neural network-based technique. Moreover, one of these two strategies is the fastest among all due to its separable design.


title: Resonant Precession Modulation Based Magnetic Field Receivers

abstract: Antenna technology provides the crucial interface between electronic devices and electromagnetic waves required for wireless communications. This technology has operated under largely the same general principles for over a century, resulting in stagnation of advancements in modern times and fundamentally limiting the extent to which potential applications of wireless communications may be realized. Herein we propose a novel concept for antenna operation employing the nonlinear precession dynamics of subatomic spins. An electromagnetic wave incident on a precessing spin will serve to modulate the spin frequency of precession. Antennas operating based on a detection of these spin dynamics are then able to fully characterize the incident wave while achieving substantial amplifications, higher sensitivities, and smaller form factors as compared to conventional antennas. A preliminary experimental implementation of the proposed concept establishes its feasibility and is already able to demonstrate significant amplification and size benefits.


title: Flory-like Statistics of Fracture in Fiber Bundle Model as obtained via Kolmogorov Dispersion for Turbulence: A conjecture

abstract: It has long been conjectured that (rapid) fracture propagation dynamics in materials and turbulent motion of fluids are two manifestations of the same physical process. The universality class of turbulence (Kolmogorov dispersion in particular) had been conjectured to be identifiable with the Flory statistics for linear polymers (self-avoiding walks on lattices). These help us to relate fracture statistics to those of linear polymers (Flory statistics). The statistics of fracture in the Fiber Bundle Model (FBM) are now well studied and many exact results are now available for the equal load-sharing (ELS) scheme. Yet, the correlation length exponent in this model was missing and we show here how the correspondence between fracture statistics and the Flory mapping of Kolmogorov statistics for turbulence helps us to make a conjecture about the value of the correlation length exponent for fracture in the ELS limit of FBM, and also about the upper critical dimension. Besides, the fracture avalanche size exponent values in lower dimensions (as estimated from such mapping to Flory statistics) also compare well with the observations.


title: Nonequilibrium Green's function's approach to the calculation of work statistics

abstract: The calculation of work distributions in a quantum many-body system is of significant importance and also of formidable difficulty in the field of nonequilibrium quantum statistical mechanics. To solve this problem, inspired by Schwinger-Keldysh formalism, we propose the contour-integral formulation of the work statistics. Based on this contour integral, we show how to do the perturbation expansion of the characteristic function of work (CFW) and obtain the approximate expression of the CFW to the second order of the work parameter for an arbitrary system under a perturbative protocol. We also demonstrate the validity of fluctuation theorems by utilizing the Kubo-Martin-Schwinger condition. Finally, we use noninteracting identical particles in a forced harmonic potential as an example to demonstrate the powerfulness of our approach.


title: Chirotopes of Random Points in Space are Realizable on a Small Integer Grid

abstract: We prove that with high probability, a uniform sample of $n$ points in a convex domain in $\mathbb{R}^d$ can be rounded to points on a grid of step size proportional to $1/n^{d+1+\epsilon}$ without changing the underlying chirotope (oriented matroid). Therefore, chirotopes of random point sets can be encoded with $O(n\log n)$ bits. This is in stark contrast to the worst case, where the grid may be forced to have step size $1/2^{2^{\Omega(n)}}$ even for $d=2$. This result is a high-dimensional generalization of previous results on order types of random planar point sets due to Fabila-Monroy and Huemer (2017) and Devillers, Duchon, Glisse, and Goaoc (2018).


title: Algorithms for Tensor Network Contraction Ordering

abstract: Contracting tensor networks is often computationally demanding. Well-designed contraction sequences can dramatically reduce the contraction cost. We explore the performance of simulated annealing and genetic algorithms, two common discrete optimization techniques, to this ordering problem. We benchmark their performance as well as that of the commonly-used greedy search on physically relevant tensor networks. Where computationally feasible, we also compare them with the optimal contraction sequence obtained by an exhaustive search. We find that the algorithms we consider consistently outperform a greedy search given equal computational resources, with an advantage that scales with tensor network size. We compare the obtained contraction sequences and identify signs of highly non-local optimization, with the more sophisticated algorithms sacrificing run-time early in the contraction for better overall performance.

categories: cs.NE cs.NA math.NA physics.comp-ph quant-ph


title: Soundness-preserving composition of synchronously and asynchronously interacting workflow net components

abstract: In this paper, we propose a compositional approach to constructing correct formal models of information systems from correct models of interacting components. Component behavior is represented using workflow nets - a class of Petri nets. Interactions among components are encoded in an additional interface net. The proposed approach is used to model and compose synchronously and asynchronously interacting workflow nets. Using Petri net morphisms and their properties, we prove that the composition of interacting workflow nets preserves the correctness of components and of an interface.


title: On Arithmetic Progressions of Powers in Cyclotomic Polynomials

abstract: We determine necessary conditions for when powers corresponding to positive/negative coefficients of $\Phi_{n}$ are in arithmetic progression. When $n = pq$ for any primes $q>p>2$, our conditions are also sufficient. Finally, we generalize the result when $n = pq$ to the so-called inclusion-exclusion polynomials first introduced by Bachman.


title: Representation of $\frac{1}{2}(F_n-1)(F_{n+1}-1)$ and $\frac{1}{2}(F_n-1)(F_{n+2}-1)$

abstract: Let $a, b\in \mathbb{N}$ be relatively prime. We consider $(a-1)(b-1)/2$, which arises in the study of the $pq$-th cyclotomic polynomial, where $p,q$ are distinct primes. We prove two possible representations of $(a-1)(b-1)/2$ as nonnegative, integral linear combinations of $a$ and $b$. Surprisingly, for each pair $(a,b)$, only one of the two representations exists and the representation is also unique. We then investigate the representations of $(F_n-1)(F_{n+1}-1)/2$ and $(F_n-1)(F_{n+2}-1)/2$, where $F_i$ is the $i^{th}$ Fibonacci number, and observe several nice patterns.


title: A Twist of a Ramanujan Identity

abstract: Ramanujan wrote the following identity \begin{align*} \sqrt{2 \left(1 - \frac{1}{3^2}\right) \left(1 - \frac{1}{7^2}\right) \left(1 - \frac{1}{11^2}\right) \left(1 - \frac{1}{19^2}\right)} \ = \ \left(1 + \frac{1}{7}\right) \left(1 + \frac{1}{11}\right) \left(1 + \frac{1}{19}\right), \end{align*} on which Berndt asked "Is this an isolated result, or are there other identities of this type?". Reb\'ak provided formulas that generate many similar identities and believed that the curious identity is related to the reciprocal of the Landau-Ramanujan constant. In a previous work, Chu examined necessary and sufficient conditions for the integers in the identity and proved that there are only finitely many such identities. In this note, we twist the identity to have infinitely many Ramanujan-type identities.


title: A Hardware-in-the-Loop Evaluation of the Impact of the V2X Channel on the Traffic-Safety Versus Efficiency Trade-offs

abstract: Vehicles are increasingly becoming connected and short-range wireless communications promise to introduce a radical change in the drivers' behaviors. Among the main use cases, the intersection management is surely one of those that could mostly impact on both traffic safety and efficiency. In this work, we consider an intersection collision warning application and exploit an hardware-in-the-loop (HIL) platform to verify the impact on the risk of accidents as well as the average time to travel a given distance. Besides including real ITS-G5 compliant message exchanges, the platform also includes a channel emulator with real signals. Results show that the risk of collisions can be drastically reduced, with an overall trade-off between safety and traffic efficiency. At the same time, it is shown that the presence of real channel conditions cannot guarantee the same condition of zero-risk as with ideal channel propagation, remarking the importance of channel conditions and signal processing.


title: Boltzmann Physical Kinetic for Deep Bed Filtration: Homogenization by solving operator equation in Hilbert space

abstract: This paper develops a modified version of the Boltzmann equation for micro-scale particulate flow with capture and diffusion that describes the colloidal-suspension-nano transport in porous media. An equivalent sink term is introduced into the kinetic equation instead of non-zero initial data, resulting in the solution of an operator equation in the Fourier space and an exact homogenization. The upper scale equation is obtained in closed form together with explicit formulae for the large-scale model coefficients in terms of the micro-scale parameters. The upscaling reveals the delay in particle transport if compared with the carrier water velocity, which is a collective effect of the particle capture and diffusion. The derived governing equation generalizes the current models for suspension-colloidal-nano transport in porous media.


title: Adiabatic invariants for the FPUT and Toda chain in the thermodynamic limit

abstract: We consider the Fermi-Pasta-Ulam-Tsingou (FPUT) chain composed by $N \gg 1$ particles and periodic boundary conditions, and endow the phase space with the Gibbs measure at small temperature $\beta^{-1}$. Given a fixed ${1\leq m \ll N}$, we prove that the first $m$ integrals of motion of the periodic Toda chain are adiabatic invariants of FPUT (namely they are approximately constant along the Hamiltonian flow of the FPUT) for times of order $\beta$, for initial data in a set of large measure. We also prove that special linear combinations of the harmonic energies are adiabatic invariants of the FPUT on the same time scale, whereas they become adiabatic invariants for all times for the Toda dynamics.


title: Momentum map images of representation spaces of quivers

abstract: We consider the base change action on real or complex representation spaces of quivers and the associated momentum map for a maximal compact subgroup of the base change group, as introduced by A. King. We give an explicit description of the momentum map image in terms of recursively defined inequalities on eigenvalues of Hermitian operators. Moreover, we characterize when the momentum map image is maximal possible, respectively of positive volume.


title: Bifurcation and stability of downflowing gyrotactic micro-organism suspensions in a vertical pipe

abstract: In the experiment that first demonstrated gyrotactic behaviour of bottom-heavy swimming microalgae (e.g. Chlamydomonas), Kessler (Nature, vol. 313, 1985, pp. 218-220) showed that a beam-like structure, often referred to as a gyrotactic plume, would spontaneously appear from a suspension of gyrotactic swimmers in a downflowing pipe. Such a plume is prone to an instability to form blips. This work models the gyrotactic plume as a steady parallel basic state and its subsequent breakdown into blips as an instability, employing both the Generalised Taylor Dispersion (GTD) theory and the Fokker-Planck model for comparison. Upon solving for the basic state, it is discovered that the steady plume solution undergoes sophisticated bifurcations. When there is no net flow, there exists a non-trivial solution of the plume structure other than the stationary uniform suspension, stemming from a transcritical bifurcation with the average cell concentration. When a net downflow is prescribed, there exists a cusp bifurcation. Furthermore, there is a critical concentration, at which the cell concentration at the centre would blow up for the GTD model. The subsequent stability analysis using the steady plume solution shows that the Fokker-Planck model is inconsistent with what was experimentally observed, as it predicts stabilisation of axisymmetric blips at high concentration of the plume and destabilisation of the first non-axisymmetric mode at low flow rates.


title: ESRGAN+ : Further Improving Enhanced Super-Resolution Generative Adversarial Network

abstract: Enhanced Super-Resolution Generative Adversarial Network (ESRGAN) is a perceptual-driven approach for single image super resolution that is able to produce photorealistic images. Despite the visual quality of these generated images, there is still room for improvement. In this fashion, the model is extended to further improve the perceptual quality of the images. We have designed a novel block to replace the one used by the original ESRGAN. Moreover, we introduce noise inputs to the generator network in order to exploit stochastic variation. The resulting images present more realistic textures. The code is available at https://github.com/ncarraz/ESRGANplus .


title: Optimal stationary markings

abstract: Many specific problems ranging from theoretical probability to applications in statistical physics, combinatorial optimization and communications can be formulated as an optimal tuning of local parameters in large systems of interacting particles. Using the framework of stationary point processes in the Euclidean space, we pose it as a problem of an optimal stationary marking of a given stationary point process. The quality of a given marking is evaluated in terms of scores calculated in a covariant manner for all points in function of the proposed marked configuration. In the absence of total order of the configurations of scores, we identify intensity-optimality and local optimality as two natural ways for defining optimal stationary marking. We derive tightness and integrability conditions under which intensity-optimal markings exist and further stabilization conditions making them equivalent to locally optimal ones. We present examples motivating the proposed, general framework. Finally, we discuss various possible approaches leading to uniqueness results.


title: Active Learning over DNN: Automated Engineering Design Optimization for Fluid Dynamics Based on Self-Simulated Dataset

abstract: Optimizing fluid-dynamic performance is an important engineering task. Traditionally, experts design shapes based on empirical estimations and verify them through expensive experiments. This costly process, both in terms of time and space, may only explore a limited number of shapes and lead to sub-optimal designs. In this research, a test-proven deep learning architecture is applied to predict the performance under various restrictions and search for better shapes by optimizing the learned prediction function. The major challenge is the vast amount of data points Deep Neural Network (DNN) demands, which is improvident to simulate. To remedy this drawback, a Frequentist active learning is used to explore regions of the output space that DNN predicts promising. This operation reduces the number of data samples demanded from ~8000 to 625. The final stage, a user interface, made the model capable of optimizing with given user input of minimum area and viscosity. Flood fill is used to define a boundary area function so that the optimal shape does not bypass the minimum area. Stochastic Gradient Langevin Dynamics (SGLD) is employed to make sure the ultimate shape is optimized while circumventing the required area. Jointly, shapes with extremely low drags are found explored by a practical user interface with no human domain knowledge and modest computation overhead.


title: Macroscopic Manifestation of Domain-wall Magnetism and Magnetoelectric Effect in a N\'eel-type Skyrmion Host

abstract: We report a magnetic state in GaV$_4$Se$_8$ which emerges exclusively in samples with mesoscale polar domains and not in polar mono-domain crystals. Its onset is accompanied with a sharp anomaly in the magnetic susceptibility and the magnetic torque, distinct from other anomalies observed also in polar mono-domain samples upon transitions between the cycloidal, the N\'eel-type skyrmion lattice and the ferromagnetic states. We ascribe this additional transition to the formation of magnetic textures localized at structural domain walls, where the magnetic interactions change stepwise and spin textures with different spiral planes, hosted by neighbouring domains, need to be matched. A clear anomaly in the magneto-current indicates that the domain-wall-confined magnetic states also have strong contributions to the magnetoelectric response. We expect polar domain walls to commonly host such confined magnetic edge states, especially in materials with long wavelength magnetic order.


title: DArT, a detector for measuring the 39Ar depletion factor

abstract: One of the most powerful techniques for direct detection of dark matter via elastic scattering of galactic WIMPs is the use of liquid argon time projection chambers. Atmospheric argon (AAr) has a naturally occurring radioactive isotope, \ar{}, of cosmogenic origin. The use of argon extracted from underground wells, deprived of \ar{}, is key to the physics potential of these experiments. The DarkSide-20k (DS-20k) dark matter search experiment will operate with 50 tonnes of radio-pure underground argon (UAr), extracted from the Urania plant in Cortez (USA) and purified in the Aria distillation plant (Sardinia, Italy). Assessing the radio-purity of UAr in terms of \ar{} is crucial for the success of DS-20k, as well as for future experiments of the Global Argon Dark Matter Collaboration (GADMC), and will be done with the experiment named \dia{}. DArT is a small chamber that will contain the argon under test. The detector will be immersed in the LAr active volume of the ArDM detector, located at the Canfranc Underground Laboratory (LSC) in Spain, which will act as active veto for background events coming from photons from detector materials and surrounding rock radioactivity.


title: Spectroscopies and electron microscopies unravel the origin of the first colour photographs

abstract: The first colours photographs were created by a process introduced by Edmond Becquerel in 1848. The nature of these photochromatic images colours motivated a debate between scientists during the 19th century, which is still not settled. We present the results of chemical analysis (EDX, HAXPES and EXAFS) and morphology studies (SEM, STEM) aiming at explaining the optical properties of the photochromatic images (UV-visible spectroscopy and low loss EELS). We rule out the two hypotheses (pigment and interferences) that have prevailed since 1848, respectively based on variations in the oxidation degree of the compound forming the sensitized layer and periodically spaced photolytic silver planes. A study of the silver nanoparticles dispersions contained in the coloured layers showed specific localizations and size distributions of the nanoparticles for each colour. These results allow us to formulate a plasmonic hypothesis on the origin of the photochromatic images colours.


title: A family of $q$-congruences modulo the square of a cyclotomic polynomial

abstract: Using Watson's terminating $_8\phi_7$ transformation formula, we prove a family of $q$-congruences modulo the square of a cyclotomic polynomial, which were originally conjectured by the author and Zudilin [J. Math. Anal. Appl. 475 (2019), 1636--646]. As an application, we deduce two supercongruences modulo $p^4$ ($p$ is an odd prime) and their $q$-analogues. This also partially confirms a special case of Swisher's (H.3) conjecture.


title: Asymptotically Weyl almost periodic functions in Lebesgue spaces with variable exponents

abstract: In this paper, we introduce and analyze several different notions of Weyl almost periodic functions and Weyl ergodic components in Lebesgue spaces with variable exponent $L^{p(x)}.$ We investigate the invariance of (asymptotical) Weyl almost periodicity with variable exponent under the actions of convolution products, providing also some illustrative applications to abstract fractional differential inclusions in Banach spaces. The introduced classes of generalized (asymptotically) Weyl almost periodic functions are new even in the case that the function $p(x)$ has a constant value $p\geq 1,$ provided that the functions $\phi(x)$ and $F(l,t)$ under our consideration satisfy $\phi(x)\neq x$ or $F(l,t)\neq l^{(-1)/p}.$


title: Rotational Quantum Beat Lasing Without Inversion

abstract: In standard lasers, light amplification requires population inversion between an upper and a lower state to break the reciprocity between absorption and stimulated emission. However, in a medium prepared in a specific superposition state, quantum interference may fully suppress absorption while leaving stimulated emission intact, opening the possibility of lasing without inversion. Here we show that lasing without inversion arises naturally during propagation of intense femtosecond laser pulses in air. It is triggered by the combination of molecular ionization and molecular alignment, both unavoidable in intense light fields. The effect could enable inversionless amplification of broadband radiation in many molecular gases, opening unusual opportunities for remote sensing.


title: Lee-Yang-inspired energy-density functional including contributions from $p$-wave scattering

abstract: The ELYO functional proposed in [M. Grasso, D. Lacroix, and C. J. Yang, Phys. Rev. C \textbf{95}, 054327 (2017)] belongs to the family of energy-density functionals (EDFs) inspired by effective-field theories (EFTs) and constrained by \textit{ab--initio} pseudo-data. We present here an extension of this EDF which also accounts for the first $p$-wave term appearing in the low-density expansion from which it derives. It is shown that this enrichment of the ansatz on which the functional is based leads to a significant improvement of the description of neutronic systems, especially in regimes besides the pseudo--data set employed to adjust the parameters. As an illustrative application, the mass-radius relation of neutron stars is considered. In contrast to its initial version, the new functional predicts values which are qualitatively consistent with recent observations.


title: The Convergence of Finite-Averaging of AIMD for Distributed Heterogeneous Resource Allocations

abstract: In several social choice problems, agents collectively make decisions over the allocation of multiple divisible and heterogeneous resources with capacity constraints to maximize utilitarian social welfare. The agents are constrained through computational or communication resources or privacy considerations. In this paper, we analyze the convergence of a recently proposed distributed solution that allocates such resources to agents with minimal communication. It is based on the randomized additive-increase and multiplicative-decrease (AIMD) algorithm. The agents are not required to exchange information with each other, but little with a central agent that keeps track of the aggregate resource allocated at a time. We formulate the time-averaged allocations over finite window size and model the system as a Markov chain with place-dependent probabilities. Furthermore, we show that the time-averaged allocations vector converges to a unique invariant measure, and also, the ergodic property holds.


title: Riemann problem for the light pulses in optical fibers for the generalized Chen-Lee-Liu equation

abstract: We provide the classification of possible wave structures evolving from initially discontinuous profiles for the photon fluid propagating in a normal dispersion fiber. The dynamics of light field is described by the generalized Chen-Lee-Liu equation, which belongs to the family of the nonlinear Schr\"odinger equations with a self-steepening type term appearing due to retardation of the fiber material response to variations of the electromagnetic signal. This equation is also used in investigations of the dynamics of modulated waves propagating through a single nonlinear transmission network. We describe its periodic solutions and the corresponding Whitham modulation equations. The wave patterns generated by the initial parameter profiles are composed of different building blocks which are presented in detail. It is shown that evolution dynamics in this case is much richer than that for the nonlinear Schr\"odinger equation. Complete classification of possible wave structures is given for all possible jump conditions at the discontinuity. Our analytic results are confirmed by numerical simulations.


title: Experiments on Manual Thesaurus based Query Expansion for Ad-hoc Monolingual Gujarati Information Retrieval Tasks

abstract: In this paper, we present the experimental work done on Query Expansion (QE) for retrieval tasks of Gujarati text documents. In information retrieval, it is very difficult to estimate the exact user need, query expansion adds terms to the original query, which provides more information about the user need. There are various approaches to query expansion. In our work, manual thesaurus based query expansion was performed to evaluate the performance of widely used information retrieval models for Gujarati text documents. Results show that query expansion improves the recall of text documents.


title: Measurement-Device-Independent Quantum Key Distribution with Leaky Sources

abstract: Measurement-device-independent quantum key distribution (MDI-QKD) can remove all detection side-channels from quantum communication systems. The security proofs require, however, that certain assumptions on the sources are satisfied. This includes, for instance, the requirement that there is no information leakage from the transmitters of the senders, which unfortunately is very difficult to guarantee in practice. In this paper we relax this unrealistic assumption by presenting a general formalism to prove the security of MDI-QKD with leaky sources. With this formalism, we analyze the finite-key security of two prominent MDI-QKD schemes - a symmetric three-intensity decoy-state MDI-QKD protocol and a four-intensity decoy-state MDI-QKD protocol - and determine their robustness against information leakage from both the intensity modulator and the phase modulator of the transmitters. Our work shows that MDI-QKD is feasible within a reasonable time frame of signal transmission given that the sources are sufficiently isolated. Thus, it provides an essential reference for experimentalists to ensure the security of experimental implementations of MDI-QKD in the presence of information leakage.


title: Cold gas and dust: Hunting spiral-like structures in early-type galaxies

abstract: Observations of neutral hydrogen (HI) and molecular gas show that 50% of all nearby early-type galaxies (ETGs) contain some cold gas. Molecular gas is always found in small gas discs in the central region of the galaxy, while neutral hydrogen is often distributed in a low-column density disc or ring typically extending well beyond the stellar body. Dust is frequently found in ETGs as well. The goal of our study is to understand the link between dust and cold gas in nearby ETGs as a function of HI content. We analyse deep optical $g-r$ images obtained with the MegaCam camera at the Canada-France-Hawaii Telescope for a sample of 21 HI-rich and 41 HI-poor ETGs. We find that all HI-rich galaxies contain dust seen as absorption. Moreover, in 57 percent of these HI-rich galaxies, the dust is distributed in a large-scale spiral pattern. Although the dust detection rate is relatively high in the HI-poor galaxies ($\sim$59 percent), most of these systems exhibit simpler dust morphologies without any evidence of spiral structures. We find that the HI-rich galaxies possess more complex dust morphology extending to almost two times larger radii than HI-poor objects. We measured the dust content of the galaxies from the optical colour excess and find that HI-rich galaxies contain six times more dust (in mass) than HI-poor ones. In order to maintain the dust structures in the galaxies, continuous gas accretion is needed, and the substantial HI gas reservoirs in the outer regions of ETGs can satisfy this need for a long time. We find that there is a good correspondence between the observed masses of the gas and dust, and it is also clear that dust is present in regions further than 3~Reff. Our findings indicate an essential relation between the presence of cold gas and dust in ETGs and offer a way to study the interstellar medium in more detail than what is possible with HI observations.


title: Training Neural Network Controllers Using Control Barrier Functions in the Presence of Disturbances

abstract: Control Barrier Functions (CBF) have been recently utilized in the design of provably safe feedback control laws for nonlinear systems. These feedback control methods typically compute the next control input by solving an online Quadratic Program (QP). Solving QP in real-time can be a computationally expensive process for resource constraint systems. In this work, we propose to use imitation learning to learn Neural Network-based feedback controllers which will satisfy the CBF constraints. In the process, we also develop a new class of High Order CBF for systems under external disturbances. We demonstrate the framework on a unicycle model subject to external disturbances, e.g., wind or currents.


title: Maximum Likelihood Estimation of Spatially Varying Coefficient Models for Large Data with an Application to Real Estate Price Prediction

abstract: In regression models for spatial data, it is often assumed that the marginal effects of covariates on the response are constant over space. In practice, this assumption might often be questionable. In this article, we show how a Gaussian process-based spatially varying coefficient (SVC) model can be estimated using maximum likelihood estimation (MLE). In addition, we present an approach that scales to large data by applying covariance tapering. We compare our methodology to existing methods such as a Bayesian approach using the stochastic partial differential equation (SPDE) link, geographically weighted regression (GWR), and eigenvector spatial filtering (ESF) in both a simulation study and an application where the goal is to predict prices of real estate apartments in Switzerland. The results from both the simulation study and application show that the MLE approach results in increased predictive accuracy and more precise estimates. Since we use a model-based approach, we can also provide predictive variances. In contrast to existing model-based approaches, our method scales better to data where both the number of spatial points is large and the number of spatially varying covariates is moderately-sized, e.g., above ten.


title: Stratified cross-validation for unbiased and privacy-preserving federated learning

abstract: Large-scale collections of electronic records constitute both an opportunity for the development of more accurate prediction models and a threat for privacy. To limit privacy exposure new privacy-enhancing techniques are emerging such as federated learning which enables large-scale data analysis while avoiding the centralization of records in a unique database that would represent a critical point of failure. Although promising regarding privacy protection, federated learning prevents using some data-cleaning algorithms thus inducing new biases. In this work we focus on the recurrent problem of duplicated records that, if not handled properly, may cause over-optimistic estimations of a model's performances. We introduce and discuss stratified cross-validation, a validation methodology that leverages stratification techniques to prevent data leakage in federated learning settings without relying on demanding deduplication algorithms.


title: Current-assisted Raman activation of the Higgs mode in superconductors

abstract: The Higgs mode in superconductors is a scalar mode without electric or magnetic dipole moment. Thus, it is commonly believed that its excitation is restricted to a nonlinear two-photon Raman process. However, recent efforts have shown that a linear excitation in the presence of a supercurrent is possible, resulting in a new resonant enhancement at $\Omega=2\Delta$ with the driving light frequency $\Omega$ and the energy of the Higgs mode $2\Delta$. This is in contrast to the usual $2\Omega = 2\Delta$ resonance condition found in nonlinear third-harmonic generation experiments. In this communication, we show that such a linear excitation can still be described as an effective Raman two-photon process, with one photon at $\omega=2\Delta$ and one virtual photon at $\omega=0$ which represents the dc supercurrent. At the same time we demonstrate that a straightforward infrared activation with a single photon excitation is negligible. Moreover, we give a general context to our theory, providing an explanation for how the excitation of the Higgs mode in both THz quench and drive experiments can be understood within a conventional difference-frequency generation or sum-frequency generation process, respectively. In such a picture, the observed new resonance condition $\Omega = 2\Delta$ is just a special case. With the same approach, we further discuss another recent experiment, where we find a suppression of odd order higher harmonics in the presence of a dc supercurrent.


title: Local Policy Optimization for Trajectory-Centric Reinforcement Learning

abstract: The goal of this paper is to present a method for simultaneous trajectory and local stabilizing policy optimization to generate local policies for trajectory-centric model-based reinforcement learning (MBRL). This is motivated by the fact that global policy optimization for non-linear systems could be a very challenging problem both algorithmically and numerically. However, a lot of robotic manipulation tasks are trajectory-centric, and thus do not require a global model or policy. Due to inaccuracies in the learned model estimates, an open-loop trajectory optimization process mostly results in very poor performance when used on the real system. Motivated by these problems, we try to formulate the problem of trajectory optimization and local policy synthesis as a single optimization problem. It is then solved simultaneously as an instance of nonlinear programming. We provide some results for analysis as well as achieved performance of the proposed technique under some simplifying assumptions.