title: Spatial Non-Locality Induced Non-Markovian EIT in a Single Giant Atom

abstract: In recent experiments, electromagnetically induced transparency (EIT) were observed with giant atoms, but nothing unconventional were found from the transmission spectra. In this letter, we show that unconventional EIT does exist in giant atoms, and indicate why it has not been observed so far. Different from these existing works, this letter presents a consistent theory including a real space method and a time delayed master equation for observing unconventional EIT. We discover that this phenomenon is a quantum effect which cannot be correctly described in a semi-classical way as those in recent works. Our theory shows that it can be observed when the time delay between two neighboring coupling points is comparable to the relaxation time of the atom, which is crucial for a future experimental observation. This new phenomenon results from inherent non-locality of the giant atom, which physically forces propagating fields to be standing waves in space and the atom exhibiting retardations in time. Our theory establishes a framework for application of nonlocal systems to quantum information processing.


title: On the Continuity of Bounded Weak Solutions to Parabolic Equations and Systems with Quadratic Growth in Gradients

abstract: We establish the pointwise continuity of bounded weak solutions to of a class of scalar parabolic equations and strongly coupled parabolic systems. Our approach to the regularity theory of parabolic scalar equations is quite elementary and its applications to strongly coupled systems does not require higher $L^p$ integrability of derivatives.


title: Adaptive Inference through Early-Exit Networks: Design, Challenges and Directions

abstract: DNNs are becoming less and less over-parametrised due to recent advances in efficient model design, through careful hand-crafted or NAS-based methods. Relying on the fact that not all inputs require the same amount of computation to yield a confident prediction, adaptive inference is gaining attention as a prominent approach for pushing the limits of efficient deployment. Particularly, early-exit networks comprise an emerging direction for tailoring the computation depth of each input sample at runtime, offering complementary performance gains to other efficiency optimisations. In this paper, we decompose the design methodology of early-exit networks to its key components and survey the recent advances in each one of them. We also position early-exiting against other efficient inference solutions and provide our insights on the current challenges and most promising future directions for research in the field.


title: Improvements of the programmable quantum current generator for better traceability of electrical current measurements

abstract: A programmable quantum current generator based on the application of Ohm's law to quantum voltage and resistance standards has demonstrated a realization of the ampere from the elementary charge with a $10^{-8}$ relative uncertainty [J. Brun-Picard et al. PRX 6, 041051, 2016]. Here, we report on improvements of the device leading to a noise reduction of the generated quantized current. The improved quantum current generator is used to calibrate different ammeters with lower measurement uncertainties. Besides, measurements of its quantized current using a calibrated Ultrastable Low-Noise Current Amplifier (ULCA) have shown that the realizations of the ampere at PTB (Physikalisch-Technische Bundesanstalt) and LNE (Laboratoire national de m\'{e}trologie et d'essais) in the range $\pm50$ $\mu$A agreed to -3.7 parts in $10^{7}$ with a combined standard uncertainty of 3.1 parts in $10^{7}$ (coverage factor $k_\mathrm{c}=1$).


title: Contamination Bias in Linear Regressions

abstract: We study regressions with multiple treatments and a set of controls that is flexible enough to purge omitted variable bias. We show that these regressions generally fail to estimate convex averages of heterogeneous treatment effects -- instead, estimates of each treatment's effect are contaminated by non-convex averages of the effects of other treatments. We discuss three estimation approaches that avoid such contamination bias, including the targeting of easiest-to-estimate weighted average effects. A re-analysis of nine empirical applications finds economically and statistically meaningful contamination bias in observational studies; contamination bias in experimental studies is more limited due to smaller variability in propensity scores.


title: Towards a Framework for Nonlinear Predictive Control using Derivative-Free Optimization

abstract: The use of derivative-based solvers to compute solutions to optimal control problems with non-differentiable cost or dynamics often requires reformulations or relaxations that complicate the implementation or increase computational complexity. We present an initial framework for using the derivative-free Mesh Adaptive Direct Search (MADS) algorithm to solve Nonlinear Model Predictive Control problems with non-differentiable features without the need for reformulation. The MADS algorithm performs a structured search of the input space by simulating selected system trajectories and computing the subsequent cost value. We propose handling the path constraints and the Lagrange cost term by augmenting the system dynamics with additional states to compute the violation and cost value alongside the state trajectories, eliminating the need for reconstructing the state trajectories in a separate phase. We demonstrate the practicality of this framework by solving a robust rocket control problem, where the objective is to reach a target altitude as close as possible, given a system with uncertain parameters. This example uses a non-differentiable cost function and simulates two different system trajectories simultaneously, with each system having its own free final time.


title: K-shell ionization cross sections of Cu, Zn and Ge by 3-5 MeV/U Si-ion bombardment

abstract: The K x-ray spectra of different targets (Cu, Zn, and Ge) induced by 3 to 5 MeV/u Si projectile ions have been measured to determine the K-shell ionization cross-section. A significant difference is observed between the measurements and theoretical estimates, where the theoretical ones are about 28-35% of the experimental results. Such difference is reduced to a good extent 51-56% if multiple ionization effects are taken into account. Remaining discrepancy may be attributed to the electron capture contribution.


title: Scientometric engineering: Exploring citation dynamics via arXiv eprints

abstract: Scholarly communications have been rapidly integrated into digitised and networked open ecosystems, where preprint servers have played a pivotal role in accelerating the knowledge transfer processes. However, quantitative evidence is scarce regarding how this paradigm shift beyond the traditional journal publication system has affected the dynamics of collective attention on science. To address this issue, we investigate the citation data of more than 1.5 million eprints on arXiv (https://arxiv.org/) and analyse the long-term citation trend for each discipline involved. We find that the typical growth and obsolescence patterns vary across disciplines, reflecting different publication and communication practices. The results provide unique evidence on the attention dynamics shaped by the research community today, including the dramatic growth and fast obsolescence of Computer Science eprints, which has not been captured in previous studies relying on the citation data of journal papers. Subsequently, we develop a quantitatively-and-temporally normalised citation index with an approximately normal distribution, which is useful for comparing citational attention across disciplines and time periods. Further, we derive a stochastic model consistent with the observed quantitative and temporal characteristics of citation growth and obsolescence. The findings and the developed framework open a new avenue for understanding the nature of citation dynamics.

categories: cs.DL cs.CY cs.SI physics.soc-ph stat.AP


title: On a convexity property of tensor products of irreducible, rational representations of $SL(n)$

abstract: The aim of this note is to point out a convexity property with respect to the root lattice for the support of the highest weights that occur in a tensor product of irreducible rational representations of $SL(n)$ over the complex numbers. The observation is a consequence of the convexity properties of the saturation cone and the validity of the saturation conjecture for $SL(n)$.


title: Improving parametric mass modelling of lensing clusters through a perturbative approach

abstract: We present a new method to model the mass distribution of galaxy clusters that combines a parametric and a free-form approach to reconstruct cluster cores with strong lensing constraints. It aims at combining the advantages of both approaches, by keeping the robustness of the parametric component with an increased flexibility thanks to a free-form surface of B-spline functions. We demonstrate the capabilities of this new approach on the simulated cluster Hera, which has been used to evaluate lensing codes for the analysis of the Frontier Fields clusters. The method leads to better reproduction of the constraints, with an improvement by a factor $\sim3-4$ on the root-mean-square error on multiple-image positions, when compared to parametric-only approaches. The resulting models show a better accuracy in the reconstruction of the amplitude of the convergence field while conserving a high fidelity on other lensing observables already well reproduced. We make this method publicly available through its implementation in the Lenstool software.


title: $\mathcal{PT}$ symmetry-protected exceptional cones and analogue Hawking radiation

abstract: Non-Hermitian Hamiltonians, which effectively describe dissipative systems, and analogue gravity models, which simulate properties of gravitational objects, comprise seemingly different areas of current research. Here, we investigate the interplay between the two by relating parity-time-symmetric dissipative Weyl-type Hamiltonians to analogue Schwarzschild black holes emitting Hawking radiation. We show that the exceptional points of these Hamiltonians form tilted cones mimicking the behavior of the light cone of a radially infalling observer approaching a black hole horizon. We further investigate the presence of tunneling processes, reminiscent of those happening in black holes, in a concrete example model. We interpret the non-trivial result as the purely thermal contribution to analogue Hawking radiation in a Schwarzschild black hole. Assuming that our particular Hamiltonian models a photonic crystal, we discuss the concrete nature of the analogue Hawking radiation in this particular setup.


title: Estimation of Optimal Dynamic Treatment Assignment Rules under Policy Constraints

abstract: This paper studies statistical decisions for dynamic treatment assignment problems. Many policies involve dynamics in their treatment assignments where treatments are sequentially assigned to individuals across multiple stages and the effect of treatment at each stage is usually heterogeneous with respect to the prior treatments, past outcomes, and observed covariates. We consider estimating an optimal dynamic treatment rule that guides the optimal treatment assignment for each individual at each stage based on the individual's history. This paper proposes an empirical welfare maximization approach in a dynamic framework. The approach estimates the optimal dynamic treatment rule using data from an experimental or quasi-experimental study. The paper proposes two estimation methods: one solves the treatment assignment problem at each stage through backward induction, and the other solves the whole dynamic treatment assignment problem simultaneously across all stages. We derive finite-sample upper bounds on worst-case average welfare regrets for the proposed methods and show $1/\sqrt{n}$-minimax convergence rates. We also modify the simultaneous estimation method to incorporate intertemporal budget/capacity constraints.


title: Role of Surface Gravity Waves in Aquaplanet Ocean Climates

abstract: We present a set of idealised numerical experiments of a solstitial aquaplanet ocean and examine the thermodynamic and dynamic implications of surface gravity waves (SGWs) upon its mean state. The aquaplanet's oceanic circulation is dominated by an equatorial zonal jet and four Ekman driven meridional overturning circulation (MOC) cells aligned with the westerly atmospheric jet streams and easterly trade winds in both hemispheres. Including SGW parameterization (representing modulations of air-sea momentum fluxes, Langmuir circulation and Stokes-Coriolis force) increases mixed layer vertical momentum diffusivity by approx. 40% and dampens surface momentum fluxes by approx. 4%. The correspondingly dampened MOC impacts the oceanic density structure to 1 km depth by lessening the large-scale advective transports of heat and salt, freshening the equatorial latitudes (where evaporation minus precipitation [E-P] is negative) and increasing salinity in the subtropics (where E-P is positive) by approx. 1%. The midlatitude pycnocline in both hemispheres is deepened by the inclusion of SGWs. Including SGWs into the aquaplanet ocean model acts to increase mixed layer depth by approx. 10% (up to 20% in the wintertime in midlatitudes), decrease vertical shear in the upper 200 m and alter local midlatitude buoyancy frequency. Generally, the impacts of SGWs upon the aquaplanet ocean are found to be consistent across cooler and warmer climates. We suggest that the implications of these simulations could be relevant to understanding future projections of SGW climate, exoplanetary oceans, and the dynamics of the Southern Ocean mixed layer.

categories: physics.ao-ph astro-ph.EP physics.flu-dyn physics.geo-ph


title: Collision of elastic drop with thin cylinder

abstract: The collision of water and elastic liquid drops with a thin cylinder (thread) is studied. The droplet flight trajectory and the cylinder axis are mutually perpendicular. Attention is focused on the difference between collisions of water drops and drops of elastic fluids. In the experiments, the drop diameter was 3 mm, the diameter of horizontal stainless steel cylinders was 0.4 and 0.8 mm. The drops were formed by slowly pumping liquid through a vertical stainless steel capillary with an outer diameter of 0.8 mm, from which droplets were periodically detached under the action of gravity. The droplet velocity before collision was defined by the distance between the capillary cut and the target (cylinder); in experiments, this distance was approximately 5, 10, and 20 mm. The drop velocities before impact are estimated in the range of 0.2-0.5 m/s. The collision process was monitored by high-speed video recording methods with a frame rate of 240 and 960 Hz. The test liquids were water and aqueous solutions of polyacrylamide of molecular weight 11 million and concentrations of 100 and 1000 ppm (PAM-100 and PAM-1k). Experiments have shown that, depending on the drop impact height and polymer concentration, different scenarios of a drop collision with a thin cylinder are possible: a short-term recoil of a drop from an obstacle, a drop flowing around a cylindrical obstacle while maintaining the continuity of the drop, the breakup of a drop into two secondary drops, one of which can continue flight and the other one is captured by the cylinder, or both secondary droplets continue to fly, the drop also can be captured by the cylinder, until the impact of the next drop(s) forces the accumulated drop detach from the cylinder. Numerical modeling satisfactorily reproduces the phenomena observed in the experiment.


title: Traversable Wormholes in General Relativity

abstract: In [J. Blazquez-Salcedo, C. Knoll, E. Radu, Phys. Rev. Lett. 126 (2021) no.10, 101102] asymptotically flat traversable wormhole solutions were obtained in the Einstein-Dirac-Maxwell theory without using phantom matter. The normalizable numerical solutions found therein require a peculiar behavior at the throat: the mirror symmetry relatively the throat leads to the nonsmoothness of gravitational and matter fields. In particular, one must postulate changing of the sign of the fermionic charge density at the throat, requiring coexistence of particle and antiparticles without annihilation and posing a membrane of matter at the throat with specific properties. Apparently this kind of configuration could not exist in nature. We show that there are wormhole solutions, which are asymmetric relative the throat and endowed by smooth gravitational and matter fields, thereby being free from all the above problems. This indicates that such wormhole configurations could also be supported in a realistic scenario.


title: Dark exciton-exciton annihilation in monolayer WSe$_2$

abstract: The exceptionally strong Coulomb interaction in semiconducting transition-metal dichalcogenides (TMDs) gives rise to a rich exciton landscape consisting of bright and dark exciton states. At elevated densities, excitons can interact through exciton-exciton annihilation (EEA), an Auger-like recombination process limiting the efficiency of optoelectronic applications. Although EEA is a well-known and particularly important process in atomically thin semiconductors determining exciton lifetimes and affecting transport at elevated densities, its microscopic origin has remained elusive. In this joint theory-experiment study combining microscopic and material-specific theory with time- and temperature-resolved photoluminescence measurements, we demonstrate the key role of dark intervalley states that are found to dominate the EEA rate in monolayer WSe$_2$. We reveal an intriguing, characteristic temperature dependence of Auger scattering in this class of materials with an excellent agreement between theory and experiment. Our study provides microscopic insights into the efficiency of technologically relevant Auger scattering channels within the remarkable exciton landscape of atomically thin semiconductors.


title: Towards Defending against Adversarial Examples via Attack-Invariant Features

abstract: Deep neural networks (DNNs) are vulnerable to adversarial noise. Their adversarial robustness can be improved by exploiting adversarial examples. However, given the continuously evolving attacks, models trained on seen types of adversarial examples generally cannot generalize well to unseen types of adversarial examples. To solve this problem, in this paper, we propose to remove adversarial noise by learning generalizable invariant features across attacks which maintain semantic classification information. Specifically, we introduce an adversarial feature learning mechanism to disentangle invariant features from adversarial noise. A normalization term has been proposed in the encoded space of the attack-invariant features to address the bias issue between the seen and unseen types of attacks. Empirical evaluations demonstrate that our method could provide better protection in comparison to previous state-of-the-art approaches, especially against unseen types of attacks and adaptive attacks.


title: Exploiting auto-encoders and segmentation methods for middle-level explanations of image classification systems

abstract: A central issue addressed by the rapidly growing research area of eXplainable Artificial Intelligence (XAI) is to provide methods to give explanations for the behaviours of Machine Learning (ML) non-interpretable models after the training. Recently, it is becoming more and more evident that new directions to create better explanations should take into account what a good explanation is to a human user. This paper suggests taking advantage of developing an XAI framework that allows producing multiple explanations for the response of image a classification system in terms of potentially different middle-level input features. To this end, we propose an XAI framework able to construct explanations in terms of input features extracted by auto-encoders. We start from the hypothesis that some autoencoders, relying on standard data representation approaches, could extract more salient and understandable input properties, which we call here \textit{Middle-Level input Features} (MLFs), for a user with respect to raw low-level features. Furthermore, extracting different types of MLFs through different type of autoencoders, different types of explanations for the same ML system behaviour can be returned. We experimentally tested our method on two different image datasets and using three different types of MLFs. The results are encouraging. Although our novel approach was tested in the context of image classification, it can potentially be used on other data types to the extent that auto-encoders to extract humanly understandable representations can be applied.


title: FlexibleDecay: An automated calculator of scalar decay widths

abstract: We present FlexibleDecay, a tool to calculate decays of scalars in a broad class of BSM models. The tool aims for high precision particularly in the case of Higgs boson decays. In the case of scalar and pseudoscalar Higgs boson decays the known higher order SM QED, QCD and EW effects are taken into account where possible. The program works in a modified $\bar{\text{MS}}$ scheme that exhibits a decoupling property with respect to heavy BSM physics, with BSM parameters themselves treated in the $\bar{\text{MS}}/\bar{\text{DR}}$-scheme allowing for an easy connection to high scale tests for, e.g., perturbativity and vacuum stability, and the many observable calculations readily available in $\bar{\text{MS}}/\bar{\text{DR}}$ programs. Pure BSM effects are taken into account at the leading order, including all one-loop contributions to loop-induced processes. The program is implemented as an extension to FlexibleSUSY, which determines the mass spectrum for arbitrary BSM models, and does not require any extra configuration from the user. We compare our predictions for Higgs decays in the SM, singlet extended SM, type II THDM, CMSSM and MRSSM, as well as for squark decays in the CMSSM against a selection of publicly available tools. The numerical differences between our and other programs are explained. The release of FlexibleDecay officially deprecates the old effective couplings routines in FlexibleSUSY.


title: AdaptOver: Adaptive Overshadowing Attacks in Cellular Networks

abstract: In cellular networks, attacks on the communication link between a mobile device and the core network significantly impact privacy and availability. Up until now, fake base stations have been required to execute such attacks. Since they require a continuously high output power to attract victims, they are limited in range and can be easily detected both by operators and dedicated apps on users' smartphones. This paper introduces AdaptOver - a MITM attack system designed for cellular networks, specifically for LTE and 5G-NSA. AdaptOver allows an adversary to decode, overshadow (replace) and inject arbitrary messages over the air in either direction between the network and the mobile device. Using overshadowing, AdaptOver can cause a persistent ($\geq$ 12h) DoS or a privacy leak by triggering a UE to transmit its persistent identifier (IMSI) in plain text. These attacks can be launched against all users within a cell or specifically target a victim based on its phone number. We implement AdaptOver using a software-defined radio and a low-cost amplification setup. We demonstrate the effects and practicality of the attacks on a live operational LTE and 5G-NSA network with a wide range of smartphones. Our experiments show that AdaptOver can launch an attack on a victim more than 3.8km away from the attacker. Given its practicability and efficiency, AdaptOver shows that existing countermeasures that are focused on fake base stations are no longer sufficient, marking a paradigm shift for designing security mechanisms in cellular networks.


title: Heating in Magnetar Crusts from Electron Captures

abstract: The persistent thermal luminosity of magnetars and their outbursts suggest the existence of some internal heat sources located in their outer crust. The compression of matter accompanying the decay of the magnetic field may trigger exothermic electron captures and, possibly, pycnonuclear fusions of light elements that may have been accreted onto the surface from the fallback of supernova debris, from a disk or from the interstellar medium. This scenario bears some resemblance to deep crustal heating in accreting neutron stars, although the matter composition and the thermodynamic conditions are very different. The maximum possible amount of heat that can be released by each reaction and their locations are determined analytically taking into account the Landau--Rabi quantization of electron motion. Numerical results are also presented using experimental, as well as theoretical nuclear data. Whereas the heat deposited is mainly determined by atomic masses, the locations of the sources are found to be very sensitive to the magnetic field strength, thus providing a new way of probing the internal magnetic field of magnetars. Most sources are found to be concentrated at densities $10^{10}-10^{11}$ g cm$^{-3}$ with heat power $W^\infty\sim 10^{35}-10^{36}$ erg/s, as found empirically by comparing cooling simulations with observed thermal luminosity. The change of magnetic field required to trigger the reactions is shown to be consistent with the age of known magnetars. This suggests that electron captures and pycnonuclear fusion reactions may be a viable heating mechanism in magnetars. The present results provide consistent microscopic inputs for neutron star cooling simulations, based on the same model as that underlying the Brussels-Montreal unified equations of state.


title: Fuzzy propositional configuration logics

abstract: We introduce and investigate a weighted propositional configuration logic over De Morgan algebras. This logic is able to describe software architectures with quantitative features such as the uncertainty of the interactions that occur in the architecture. We deal with the equivalence problem of formulas in our logic by proving that every formula can be written in a specific form. To our surprise, there are formulas which are equivalent only over specific De Morgan algebras. We provide examples of formulas in our logic which describe well-known software architectures equipped with quantitative features.


title: Hermite Polynomial Features for Private Data Generation

abstract: Kernel mean embedding is a useful tool to represent and compare probability measures. Despite its usefulness, kernel mean embedding considers infinite-dimensional features, which are challenging to handle in the context of differentially private data generation. A recent work proposes to approximate the kernel mean embedding of data distribution using finite-dimensional random features, which yields analytically tractable sensitivity. However, the number of required random features is excessively high, often ten thousand to a hundred thousand, which worsens the privacy-accuracy trade-off. To improve the trade-off, we propose to replace random features with Hermite polynomial features. Unlike the random features, the Hermite polynomial features are ordered, where the features at the low orders contain more information on the distribution than those at the high orders. Hence, a relatively low order of Hermite polynomial features can more accurately approximate the mean embedding of the data distribution compared to a significantly higher number of random features. As demonstrated on several tabular and image datasets, Hermite polynomial features seem better suited for private data generation than random Fourier features.


title: Dark Matter Effects on Compact Binary Stars

abstract: As compact binary star systems move inside the halo of the galaxies, they interact with dark matter particles. The interaction between dark matter particles and baryonic matter causes dark matter particles to lose some part of their kinetic energy. Once dark matter particles lose part of their kinetic energy, they are gravitationally bound to stars, and stars start to absorb dark matter particles from the halo. The absorption of dark matter particles inside compact binary systems increases the mass of the binary components, and then the total mass of the binary systems increases as well. According to Kepler's third law, increased mass through this way can affect other physical parameters (e.g., semi-major axes and orbital periods) of these systems too. We estimate the period change of some known compact binary systems due to the accretion of dark matter particles into them. We investigate the effects of different dark matter particle candidates with masses in the range $\simeq 10^{-9} - 10^{5} \: (GeV.c^{-2})$ and dark matter density as high as the dark matter density near the Galactic central regions. We find that the estimated change of period due to the accretion of dark matter particles into compact binary systems can be as large as the measured values for these systems.


title: Topology of Quantum Gaussian States and Operations

abstract: As is well-known in the context of topological insulators and superconductors, short-range-correlated fermionic pure Gaussian states with fundamental symmetries are systematically classified by the periodic table. We revisit this topic from a quantum-information-inspired operational perspective without referring to any Hamiltonians, and apply the formalism to bosonic Gaussian states as well as (both fermionic and bosonic) locality-preserving unitary Gaussian operations. We find that while bosonic Gaussian states are all trivial, there exist nontrivial bosonic Gaussian operations that cannot be continuously deformed into the identity under the locality and symmetry constraint. Moreover, we unveil unexpectedly complicated relations between fermionic Gaussian states and operations, pointing especially out that some of the former can be disentangled by the latter under the same symmetry constraint, while some cannot. In turn, we find that some topological operations are genuinely dynamical, in the sense that they cannot create any topological states from a trivial one, yet they are not connected to the identity. The notions of disentanglability and genuinely dynamical topology can be unified in a general picture of unitary-to-state homomorphism, and apply equally to interacting topological phases and quantum cellular automata.

categories: quant-ph cond-mat.mes-hall cond-mat.stat-mech math-ph math.MP


title: Searching for Saturn's X-rays during a rare Jupiter Magnetotail Crossing using Chandra

abstract: Every 19 years, Saturn passes through Jupiter's 'flapping' magnetotail. Here, we report Chandra X-ray observations of Saturn planned to coincide with this rare planetary alignment and to analyse Saturn's magnetospheric response when transitioning to this unique parameter space. We analyse three Director's Discretionary Time (DDT) observations from the High Resolution Camera (HRC-I) on-board Chandra, taken on November 19, 21 and 23 2020 with the aim to find auroral and/or disk emissions. We infer the conditions in the kronian system by looking at coincident soft X-ray solar flux data from the Geostationary Operational Environmental Satellite (GOES) and Hubble Space Telescope (HST) observations of Saturn's ultraviolet (UV) auroral emissions. The large Saturn-Sun-Earth angle during this time would mean that most flares from the Earth-facing side of the Sun would not have impacted Saturn. We find no significant detection of Saturn's disk or auroral emissions in any of our observations. We calculate the 3$\sigma$ upper band energy flux of Saturn during this time to be 0.9 - 3.04 $\times$ 10$^{14}$ erg cm$^{-2}$ s$^{-1}$ which agrees with fluxes found from previous modelled spectra of the disk emissions. We conclude by discussing the implications of this non-detection and how it is imperative that the next fleet of X-ray telescope (such as Athena and the Lynx mission concept) continue to observe Saturn with their improved spatial and spectral resolution and very enhanced sensitivity to help us finally solve the mysteries behind Saturn's apparently elusive X-ray aurora.


title: The Librator: A new dynamical regime for nonlinear microelectromechanical devices

abstract: We present a novel mode of operation for Duffing-type nonlinear microelectromechanical (MEMS) devices whereby a self-sustained multi-frequency output is generated. This new librator regime creates a limit cycle around a dynamical fixed point, i.e. around fixed points within the rotating frame, whereas a traditional oscillator generates a limit cycle around a static fixed point. The librator limit cycles thus created do not change the global topology of the rotating frame phase space, but are constrained by it. Due to the Duffing nonlinearity different types of limit cycles may be generated within the same phase space, with each type possessing distinct dynamical features. Transitioning between these limit cycles requires crossing homoclinic bifurcations, which is done without generating chaos as the phase space dynamics are two dimensional. This work opens the possibility to the creation of a librator network in analogy with oscillator network, however this can be done in a single MEMS device.


title: Salient Object Ranking with Position-Preserved Attention

abstract: Instance segmentation can detect where the objects are in an image, but hard to understand the relationship between them. We pay attention to a typical relationship, relative saliency. A closely related task, salient object detection, predicts a binary map highlighting a visually salient region while hard to distinguish multiple objects. Directly combining two tasks by post-processing also leads to poor performance. There is a lack of research on relative saliency at present, limiting the practical applications such as content-aware image cropping, video summary, and image labeling. In this paper, we study the Salient Object Ranking (SOR) task, which manages to assign a ranking order of each detected object according to its visual saliency. We propose the first end-to-end framework of the SOR task and solve it in a multi-task learning fashion. The framework handles instance segmentation and salient object ranking simultaneously. In this framework, the SOR branch is independent and flexible to cooperate with different detection methods, so that easy to use as a plugin. We also introduce a Position-Preserved Attention (PPA) module tailored for the SOR branch. It consists of the position embedding stage and feature interaction stage. Considering the importance of position in saliency comparison, we preserve absolute coordinates of objects in ROI pooling operation and then fuse positional information with semantic features in the first stage. In the feature interaction stage, we apply the attention mechanism to obtain proposals' contextualized representations to predict their relative ranking orders. Extensive experiments have been conducted on the ASR dataset. Without bells and whistles, our proposed method outperforms the former state-of-the-art method significantly. The code will be released publicly available.


title: A class of boundary conditions for time-discrete Green-Naghdi equations with bathymetry

abstract: This work is devoted to the structure of the time-discrete Green-Naghdi equations including bathymetry. We use the projection structure of the equations to characterize homogeneous and inhomogeneous boundary conditions for which the semi-discrete equations are well-posed. This structure allows us to propose efficient and robust numerical treatment of the boundary conditions that ensures entropy stability of the scheme by construction. Numerical evidence is provided to illustrate that our approach is suitable for situations of practical interest that are not covered by existing theory.


title: One is the loneliest number: multiplicity in cool dwarfs

abstract: Stars in multiple systems offer a unique opportunity to learn about stellar formation and evolution. As they settle down into stable configurations, multiple systems occur in a variety of hierarchies and a wide range of separations between the components. We examine 11 known and 11 newly discovered multiple systems including at least one M dwarf with the latest astrometric data from Gaia Early Data Release 3 (EDR3). We find that the individual components of systems at very wide separations are often multiple systems themselves.


title: IChannels: Exploiting Current Management Mechanisms to Create Covert Channels in Modern Processors

abstract: To operate efficiently across a wide range of workloads with varying power requirements, a modern processor applies different current management mechanisms, which briefly throttle instruction execution while they adjust voltage and frequency to accommodate for power-hungry instructions (PHIs) in the instruction stream. Doing so 1) reduces the power consumption of non-PHI instructions in typical workloads and 2) optimizes system voltage regulators' cost and area for the common use case while limiting current consumption when executing PHIs. However, these mechanisms may compromise a system's confidentiality guarantees. In particular, we observe that multilevel side-effects of throttling mechanisms, due to PHI-related current management mechanisms, can be detected by two different software contexts (i.e., sender and receiver) running on 1) the same hardware thread, 2) co-located Simultaneous Multi-Threading (SMT) threads, and 3) different physical cores. Based on these new observations on current management mechanisms, we develop a new set of covert channels, IChannels, and demonstrate them in real modern Intel processors (which span more than 70% of the entire client and server processor market). Our analysis shows that IChannels provides more than 24x the channel capacity of state-of-the-art power management covert channels. We propose practical and effective mitigations to each covert channel in IChannels by leveraging the insights we gain through a rigorous characterization of real systems.


title: Koszul Gorenstein algebras from Cohen-Macaulay simplicial complexes

abstract: We associate with every pure flag simplicial complex $\Delta$ a standard graded Gorenstein $\mathbb{F}$-algebra $R_{\Delta}$ whose homological features are largely dictated by the combinatorics and topology of $\Delta$. As our main result, we prove that the residue field $\mathbb{F}$ has a $k$-step linear $R_{\Delta}$-resolution if and only if $\Delta$ satisfies Serre's condition $(S_k)$ over $\mathbb{F}$, and that $R_{\Delta}$ is Koszul if and only if $\Delta$ is Cohen-Macaulay over $\mathbb{F}$. Moreover, we show that $R_{\Delta}$ has a quadratic Gr\"{o}bner basis if and only if $\Delta$ is shellable. We give two applications: first, we construct quadratic Gorenstein $\mathbb{F}$-algebras which are Koszul if and only if the characteristic of $\mathbb{F}$ is not in any prescribed set of primes. Finally, we prove that whenever $R_{\Delta}$ is Koszul the coefficients of its $\gamma$-vector alternate in sign, settling in the negative an algebraic generalization of a conjecture by Charney and Davis.


title: Choice Logics and Their Computational Properties

abstract: Qualitative Choice Logic (QCL) and Conjunctive Choice Logic (CCL) are formalisms for preference handling, with especially QCL being well established in the field of AI. So far, analyses of these logics need to be done on a case-by-case basis, albeit they share several common features. This calls for a more general choice logic framework, with QCL and CCL as well as some of their derivatives being particular instantiations. We provide such a framework, which allows us, on the one hand, to easily define new choice logics and, on the other hand, to examine properties of different choice logics in a uniform setting. In particular, we investigate strong equivalence, a core concept in non-classical logics for understanding formula simplification, and computational complexity. Our analysis also yields new results for QCL and CCL. For example, we show that the main reasoning task regarding preferred models is $\Theta^p_2$-complete for QCL and CCL, while being $\Delta^p_2$-complete for a newly introduced choice logic.


title: Reynolds stress scaling in the near-wall region of wall-bounded flows

abstract: A new scaling is derived that yields a Reynolds number independent profile for all components of the Reynolds stress in the near-wall region of wall bounded flows, including channel, pipe and boundary layer flows. The scaling demonstrates the important role played by the wall shear stress fluctuations and how the large eddies determine the Reynolds number dependence of the near-wall turbulence behavior.


title: A model for star formation in cosmological simulations of galaxy formation

abstract: We present a new model to describe the star formation process in galaxies, which includes the description of the different gas phases -- molecular, atomic, and ionized -- together with its metal content. The model, which will be coupled to cosmological simulations of galaxy formation, will be used to investigate the relation between the star formation rate (SFR) and the formation of molecular hydrogen. The model follows the time evolution of the molecular, atomic and ionized phases in a gas cloud and estimates the amount of stellar mass formed, by solving a set of five coupled differential equations. As expected, we find a positive, strong correlation between the molecular fraction and the initial gas density, which manifests in a positive correlation between the initial gas density and the SFR of the cloud.


title: Detecting mesoscale structures by surprise

abstract: The importance of identifying the presence of mesoscale structures in complex networks can be hardly overestimated. So far, much attention has been devoted to the detection of communities, bipartite and core-periphery structures on binary networks: such an effort has led to the definition of a unified framework based upon the score function called surprise, i.e. a p-value that can be assigned to any given partition of nodes, on both undirected and directed networks. Here, we aim at making a step further, by extending the entire framework to the weighted case: after reviewing the application of the surprise-based formalism to the detection of binary mesoscale structures, we present a suitable generalization of it for detecting weighted mesoscale structures, a topic that has received much less attention. To this aim, we analyze four variants of the surprise; from a technical point of view, this amounts at employing four variants of the hypergeometric distribution: the binomial one for the detection of binary communities, the multinomial one for the detection of binary "bimodular" structures and their negative counterparts for the detection of communities and "bimodular" structures on weighted networks. On top of that, we define two "enhanced" variants of surprise, able to encode both binary and weighted constraints and whose definition rests upon two suitable generalizations of the hypergeometric distribution itself. As a result, we present a general, statistically-grounded approach to detect mesoscale structures on networks via a unified, suprise-based framework. To illustrate the performance of our methods, we, first, test them on a variety of well-established, synthetic benchmarks and, then, apply them to several real-world networks, i.e. social, economic, financial and ecological ones. Moreover, we attach to the paper a Python code implementing all the considered variants of surprise.


title: Isoparametric hypersurfaces of conic Finsler manifolds

abstract: In this paper, we introduce isoparametric functions and isoparametric hypersurfaces in conic Finsler spaces. We find that in a conic Minkowski space, besides the conic Minkowski hyperplanes, conic Minkowski hyperspheres and conic Minkowski cylinders, which are all isoparametric hypersurfaces, there are probably other isoparametric hypersurfaces, such as helicoids. Moreover, we give a complete classification of isoparametric hypersurfaces in kropina spaces with constant flag curvature.


title: Multiple Kernel Representation Learning on Networks

abstract: Learning representations of nodes in a low dimensional space is a crucial task with numerous interesting applications in network analysis, including link prediction, node classification, and visualization. Two popular approaches for this problem are matrix factorization and random walk-based models. In this paper, we aim to bring together the best of both worlds, towards learning node representations. In particular, we propose a weighted matrix factorization model that encodes random walk-based information about nodes of the network. The benefit of this novel formulation is that it enables us to utilize kernel functions without realizing the exact proximity matrix so that it enhances the expressiveness of existing matrix decomposition methods with kernels and alleviates their computational complexities. We extend the approach with a multiple kernel learning formulation that provides the flexibility of learning the kernel as the linear combination of a dictionary of kernels in data-driven fashion. We perform an empirical evaluation on real-world networks, showing that the proposed model outperforms baseline node embedding algorithms in downstream machine learning tasks.


title: Towards Training Stronger Video Vision Transformers for EPIC-KITCHENS-100 Action Recognition

abstract: With the recent surge in the research of vision transformers, they have demonstrated remarkable potential for various challenging computer vision applications, such as image recognition, point cloud classification as well as video understanding. In this paper, we present empirical results for training a stronger video vision transformer on the EPIC-KITCHENS-100 Action Recognition dataset. Specifically, we explore training techniques for video vision transformers, such as augmentations, resolutions as well as initialization, etc. With our training recipe, a single ViViT model achieves the performance of 47.4\% on the validation set of EPIC-KITCHENS-100 dataset, outperforming what is reported in the original paper by 3.4%. We found that video transformers are especially good at predicting the noun in the verb-noun action prediction task. This makes the overall action prediction accuracy of video transformers notably higher than convolutional ones. Surprisingly, even the best video transformers underperform the convolutional networks on the verb prediction. Therefore, we combine the video vision transformers and some of the convolutional video networks and present our solution to the EPIC-KITCHENS-100 Action Recognition competition.


title: HEAP -- The autonomous walking excavator

abstract: The demand and the potential for automation in the construction sector is unmatched, particularly for increasing environmental sustainability, improving worker safety and reducing labor shortages. We have developed an autonomous walking excavator - based one of the most versatile machines found on construction sites - as one way to begin fulfilling this potential. This article describes the process of converting an off-the-shelf construction machine into an autonomous robotic system. First we outline the necessary sensing equipment for full autonomy and the novel actuation of the legs, and compare three different complementary actuation principles for the excavator's arm. Second, we solve the state estimation problem for a general wheeled-legged robot. Beside kinematic measurements, it includes GNSS-RTK, to absolutely reference the machine on a construction site. Third, we developed individual controllers for driving, chassis balancing and arm motions allowing for fully autonomous operation. Lastly, we highlight the machine's potential in four different real-world applications, e.g. autonomous trench digging, autonomous assembly of dry stone walls, autonomous forestry work and semi-autonomous teleoperation. On top, we also share some development insights and possible future research directions.


title: Guest Editorial: Overview of the Special Issue and a Dialog on Starshades

abstract: This special issue is dedicated to starshades: science, engineering, technology and programmatics. Our reasons for organizing this special issue are several fold. First as a new technology and with research accomplished in many institutions, recent results are widely scattered in the literature. As such, we see great value in co-locating many of the most recent results. This guest editorial summarizes the 19 contributed papers as the result of a special call for papers. Since this is a rapidly maturing technology, we wanted to co-locate a primer with the most current work in the field. It is hoped that this primer will provide a tutorial to the starshade concept and pathway to the literature not in this issue. In doing so, we hope to widen the starshade community in terms of engineering and scientific engagements. This tutorial takes the form of a dialog, where frequently asked questions are answered.


title: Quickest change detection with unknown parameters: Constant complexity and near optimality

abstract: We consider the quickest change detection problem where both the parameters of pre- and post- change distributions are unknown, which prevents the use of classical simple hypothesis testing. Without additional assumptions, optimal solutions are not tractable as they rely on some minimax and robust variant of the objective. As a consequence, change points might be detected too late for practical applications (in economics, health care or maintenance for instance). Available constant complexity techniques typically solve a relaxed version of the problem, deeply relying on very specific probability distributions and/or some very precise additional knowledge. We consider a totally different approach that leverages the theoretical asymptotic properties of optimal solutions to derive a new scalable approximate algorithm with near optimal performance that runs~in~$\mathcal{O}(1)$, adapted to even more complex Markovian settings.


title: Gauge-invariant gravitational waves in matter beyond linearized gravity

abstract: Modeling the propagation of gravitational waves (GWs) through matter is complicated by the gauge freedom of linearized gravity in that once nonlinearities are taken into consideration, gauge artifacts can cause spurious acceleration of the matter. To eliminate these artifacts, we propose how to keep the theory of dispersive GWs gauge-invariant beyond the linear approximation and, in particular, obtain an unambiguous gauge-invariant expression for the energy--momentum of a GW in dispersive medium. Using analytic tools from plasma physics, we propose an exactly gauge-invariant ``quasilinear'' theory, in which GWs are governed by linear equations and also affect the background metric on scales large compared to their wavelength. As a corollary, the gauge-invariant geometrical optics of linear dispersive GWs in a general background is formulated. As an example, we show how the well-known properties of vacuum GWs are naturally and concisely yielded by our theory in a manifestly gauge-invariant form. We also show how the gauge invariance can be maintained within a given accuracy to an arbitrary order in the GW amplitude. These results are intended to form a physically meaningful framework for studying dispersive GWs in matter.


title: Unraveling the role of the magnetic anisotropy on thermoelectric response: a theoretical and experimental approach

abstract: Magnetic anisotropies have key role to taylor magnetic behavior in ferromagnetic systems. Further, they are also essential elements to manipulate the thermoelectric response in Anomalous Nernst (ANE) and Longitudinal Spin Seebeck systems (LSSE). We propose here a theoretical approach and explore the role of magnetic anisotropies on the magnetization and thermoelectric response of noninteracting multidomain ferromagnetic systems. The magnetic behavior and the thermoelectric curves are calculated from a modified Stoner Wohlfarth model for an isotropic system, a uniaxial magnetic one, as well as for a system having a mixture of uniaxial and cubic magnetocrystalline magnetic anisotropies. It is verified remarkable modifications of the magnetic behavior with the anisotropy and it is shown that the thermoelectric response is strongly affected by these changes. Further, the fingerprints of the energy contributions to the thermoelectric response are disclosed. To test the robustness of our theoretical approach, we engineer films having the specific magnetic properties and compare directly experimental data with theoretical results. Thus, experimental evidence is provided to confirm the validity of our theoretical approach. The results go beyond the traditional reports focusing on magnetically saturated films and show how the thermoelectric effect behaves during the whole magnetization curve. Our findings reveal a promising way to explore the ANE and LSSE effects as a powerful tool to study magnetic anisotropies, as well as to employ systems with magnetic anisotropy as sensing or elements in technological applications.


title: Apartness, sharp elements, and the Scott topology of domains

abstract: Working constructively, we study continuous directed complete posets (dcpos) and the Scott topology. Our two primary novelties are a notion of intrinsic apartness and a notion of sharp elements. Being apart is a positive formulation of being unequal, similar to how inhabitedness is a positive formulation of nonemptiness. To exemplify sharpness, we note that a lower real is sharp if and only if it is located. Our first main result is that for a large class of continuous dcpos, the Bridges-V\^i\c{t}\v{a} apartness topology and the Scott topology coincide. Although we cannot expect a tight or cotransitive apartness on nontrivial dcpos, we prove that the intrinsic apartness is both tight and cotransitive when restricted to the sharp elements of a continuous dcpo. These include the strongly maximal elements, as studied by Smyth and Heckmann. We develop the theory of strongly maximal elements highlighting its connection to sharpness and the Lawson topology. Finally, we illustrate the intrinsic apartness, sharpness and strong maximality by considering several natural examples of continuous dcpos: the Cantor and Baire domains, the partial Dedekind reals, the lower reals and finally, an embedding of Cantor space into an exponential of lifted sets.


title: Multi-layered Network Exploration via Random Walks: From Offline Optimization to Online Learning

abstract: Multi-layered network exploration (MuLaNE) problem is an important problem abstracted from many applications. In MuLaNE, there are multiple network layers where each node has an importance weight and each layer is explored by a random walk. The MuLaNE task is to allocate total random walk budget $B$ into each network layer so that the total weights of the unique nodes visited by random walks are maximized. We systematically study this problem from offline optimization to online learning. For the offline optimization setting where the network structure and node weights are known, we provide greedy based constant-ratio approximation algorithms for overlapping networks, and greedy or dynamic-programming based optimal solutions for non-overlapping networks. For the online learning setting, neither the network structure nor the node weights are known initially. We adapt the combinatorial multi-armed bandit framework and design algorithms to learn random walk related parameters and node weights while optimizing the budget allocation in multiple rounds, and prove that they achieve logarithmic regret bounds. Finally, we conduct experiments on a real-world social network dataset to validate our theoretical results.


title: Automating Induction by Reflection

abstract: Despite recent advances in automating theorem proving in full first-order theories, inductive reasoning still poses a serious challenge to state-of-the-art theorem provers. The reason for that is that in first-order logic induction requires an infinite number of axioms, which is not a feasible input to a computer-aided theorem prover requiring a finite input. Mathematical practice is to specify these infinite sets of axioms as axiom schemes. Unfortunately these schematic definitions cannot be formalized in first-order logic, and therefore not supported as inputs for first-order theorem provers. In this work we introduce a new method, inspired by the field of axiomatic theories of truth, that allows to express schematic inductive definitions, in the standard syntax of multi-sorted first-order logic. Further we test the practical feasibility of the method with state-of-the-art theorem provers, comparing it to solvers' native techniques for handling induction. This paper is an extended version of the LFMTP 21 submission with the same title.


title: Spatial modelling of COVID-19 incident cases using Richards' curve: an application to the Italian regions

abstract: We introduce an extended generalised logistic growth model for discrete outcomes, in which a network structure can be specified to deal with spatial dependence and time dependence is dealt with using an Auto-Regressive approach. A major challenge concerns the specification of the network structure, crucial to consistently estimate the canonical parameters of the generalised logistic curve, e.g. peak time and height. Parameters are estimated under the Bayesian framework, using the {\texttt{ Stan}} probabilistic programming language. The proposed approach is motivated by the analysis of the first and second wave of COVID-19 in Italy, i.e. from February 2020 to July 2020 and from July 2020 to December 2020, respectively. We analyse data at the regional level and, interestingly enough, prove that substantial spatial and temporal dependence occurred in both waves, although strong restrictive measures were implemented during the first wave. Accurate predictions are obtained, improving those of the model where independence across regions is assumed.


title: Offline Inverse Reinforcement Learning

abstract: The objective of offline RL is to learn optimal policies when a fixed exploratory demonstrations data-set is available and sampling additional observations is impossible (typically if this operation is either costly or rises ethical questions). In order to solve this problem, off the shelf approaches require a properly defined cost function (or its evaluation on the provided data-set), which are seldom available in practice. To circumvent this issue, a reasonable alternative is to query an expert for few optimal demonstrations in addition to the exploratory data-set. The objective is then to learn an optimal policy w.r.t. the expert's latent cost function. Current solutions either solve a behaviour cloning problem (which does not leverage the exploratory data) or a reinforced imitation learning problem (using a fixed cost function that discriminates available exploratory trajectories from expert ones). Inspired by the success of IRL techniques in achieving state of the art imitation performances in online settings, we exploit GAN based data augmentation procedures to construct the first offline IRL algorithm. The obtained policies outperformed the aforementioned solutions on multiple OpenAI gym environments.


title: An Approximate Coupled Cluster Theory via Nonlinear Dynamics and Synergetics: the Adiabatic Decoupling Conditions

abstract: The coupled cluster iteration scheme is analysed as a multivariate discrete-time map using nonlinear dynamics and synergetics. The nonlinearly coupled set of equations to determine the cluster amplitudes are driven by a fraction of the entire set of the cluster amplitudes. These driver amplitudes enslave all other amplitudes through a synergistic inter-relationship, where the latter class of amplitudes behave as the auxiliary variables. The driver and the auxiliary variables exhibit vastly different time scales of relaxation during the iteration process to reach the fixed points. The fast varying auxiliary amplitudes are small in magnitude, while the driver amplitudes are large, and they have a much longer time scale of relaxation. Exploiting their difference in relaxation time-scale, we employ an adiabatic decoupling approximation, where each of the fast relaxing auxiliary modes are expressed as unique functional of the principal amplitudes. This results in a tremendous reduction in the independent degrees of freedom. On the other hand, only the driver amplitudes are determined accurately via exact coupled cluster equations. We will demonstrate that the iteration scheme has an order of magnitude reduction in computational scaling than the conventional scheme. With a few pilot numerical examples, we would demonstrate that this scheme can achieve very high accuracy with significant savings in computational time.


title: Phase-Resolved Spectroscopy of the Magnetar SGR J1745-2900 Based on Data from the NuSTAR Observatory

abstract: The magnetar SGR J1745-2900 located in the vicinity of the supermassive black hole Sgr A$^{\star}$ was detected during its X-ray outburst with the Swifht/XRT telescope in April 2013. For several months after its detection the source was observed with the NuSTAR observatory, which allowed pulsations with a period $\sim3.76$ s to be recorded. Using these observations, we have studied in detail the dependence of the pulse profile and the pulsed fraction on the energy and intensity of the magnetar. The pulsed fraction in the 3-5 and 5-10 keV energy bands is shown to be 40-50%, slightly increasing with decreasing flux. We have performed phase-resolved spectroscopy for the source in the energy band from 3 to $\sim$40 keV and show that the temperature of the emitting regions remains fairly stable during the pulse, while their apparent size changes significantly with phase.


title: Magnetic properties of the quasi two-dimensional centered honeycomb antiferromagnet GdInO$_3$

abstract: The crystal structure and magnetic property of the single crystalline hexagonal rare-earth indium oxides GdInO$_3$ have been studied by combing experiments and model calculations. The two inequivalent Gd$^{3+}$ ions form the centered honeycomb lattice, which consists of honeycomb and triangular sublattices. The dc magnetic susceptibility and specific heat measurements suggest two antiferromagnetic phase transitions at $T_\textrm{N1}$ = 2.3 K and $T_\textrm{N2}$ = 1.02 K. An inflection point is observed in the isothermal magnetization curve, which implies an up-up-down phase with a 1/3 magnetization plateau. We also observe a large magnetic entropy change originated from the magnetic frustration in GdInO$_3$. By considering a classical spin Hamiltonian, we establish the ground state phase diagram, which suggests that GdInO$_3$ has a weak easy-axis anisotropy and is close to the equilateral triangular-lattice system. The theoretical ground-state phase diagram may be used as a reference in NMR, ESR, or $\mu$SR experiments in future.


title: $m$th roots of $H$-selfadjoint matrices over the quaternions

abstract: The complex matrix representation for a quaternion matrix is used in this paper to find necessary and sufficient conditions for the existence of an $H$-selfadjoint $m$th root of a given $H$-selfadjoint quaternion matrix. In the process, when such an $H$-selfadjoint $m$th root exists, its construction is also given.


title: Towards fully-fledged quantum and classical communication over deployed fiber with up-conversion module

abstract: Quantum key distribution (QKD), the distribution of quantum secured keys useful for data encryption, is expected to have a crucial impact in the next decades. However, although the notable achievements accomplished in the last twenty years, many practical and serious challenges are limiting the full deployment of this novel quantum technology in the current telecommunication infrastructures. In particular, the co-propagation of quantum signals and high-speed data traffic within the same optical fiber, is not completely resolved, due to the intrinsic noise caused by the high intensity of the classical signals. As a consequence, current co-propagation schemes limit the amount of classical optical power in order to reduce the overall link noise. However, this ad-hoc solution restrains the overall range of possibilities for a large-scale QKD deployment. Here, we propose and demonstrate a new method, based on up-conversion assisted receiver, for co-propagating classical light and QKD signals. In addition, we compare the performances of this scheme with an off-the-shelf quantum receiver, equipped with a standard InGaAs detector, over different lengths of an installed fiber link. Our proposal exhibits higher tolerance for noise in comparison to the standard receiver, thus enabling the distribution of secret keys in the condition of 4 dB-higher classical power.


title: Operationalizing Complex Causes: A Pragmatic View of Mediation

abstract: We examine the problem of causal response estimation for complex objects (e.g., text, images, genomics). In this setting, classical \emph{atomic} interventions are often not available (e.g., changes to characters, pixels, DNA base-pairs). Instead, we only have access to indirect or \emph{crude} interventions (e.g., enrolling in a writing program, modifying a scene, applying a gene therapy). In this work, we formalize this problem and provide an initial solution. Given a collection of candidate mediators, we propose (a) a two-step method for predicting the causal responses of crude interventions; and (b) a testing procedure to identify mediators of crude interventions. We demonstrate, on a range of simulated and real-world-inspired examples, that our approach allows us to efficiently estimate the effect of crude interventions with limited data from new treatment regimes.


title: On the Cover and Pombra Gaussian Feedback Capacity: Complete Sequential Characterizations via a Sufficient Statistic

abstract: The main objective of this paper is to derive a new sequential characterization of the Cover and Pombra \cite{cover-pombra1989} characterization of the $n-$finite block or transmission feedback information ($n$-FTFI) capacity, which clarifies several issues of confusion and incorrect interpretation of results in literature. The optimal channel input processes of the new equivalent sequential characterizations are expressed as functionals of a sufficient statistic and a Gaussian orthogonal innovations process. From the new representations follows that the Cover and Pombra characterization of the $n-$FTFI capacity is expressed as a functional of two generalized matrix difference Riccati equations (DRE) of filtering theory of Gaussian systems. This contradicts results which are redundant in the literature, and illustrates the fundamental complexity of the feedback capacity formula.


title: Higgs mode stabilization by photo-induced long-range interactions in a superconductor

abstract: We show that low-lying excitations of a 2D BCS superconductor are significantly altered when coupled to an externally driven cavity, which induces controllable long-range attractive interactions between the electrons. We find that they combine non-linearly with intrinsic local interactions to increase the Bogoliubov quasiparticle excitation energies, thus enlarging the superconducting gap. The long-range nature of the driven-cavity-induced attraction qualitatively changes the collective excitations of the superconductor. Specifically, they lead to the appearance of additional collective excitations of the excitonic modes. Furthermore, the Higgs mode is pushed into the gap and now lies below the Bogoliubov quasiparticle continuum such that it cannot decay into quasiparticles. This way, the Higgs mode's lifetime is greatly enhanced.


title: Automated charting of the visual space of insect compound eyes

abstract: This paper describes the automatic measurement of the spatial organization of the visual axes of insect compound eyes, which consist of several thousands of visual units called ommatidia. Each ommatidium samples the optical information from a small solid angle, with an approximately Gaussian-distributed sensitivity (half-width of the order of one degree) centered around a visual axis. Together, the ommatidia gather the optical information from virtually the full surroundings. The spatial distribution of the visual axes thus determines the eye's spatial resolution. Knowledge of the optical organization of a compound eye and its visual acuity is crucial for quantitative studies of the neural processing of visual information. Here we present an automated procedure for mapping a compound eye's visual axes, using an intrinsic optical phenomenon, the pseudopupil. We outline the optomechanical setup for scanning insect eyes, and use experimental results obtained from a housefly, Musca domestica, to illustrate the steps in the measurement procedure.


title: Dissipative Kerr solitons in semiconductor ring lasers

abstract: Dissipative Kerr solitons are self-organized optical waves arising from the interplay between Kerr effect and dispersion. They can form spontaneously in nonlinear microresonators pumped with an external continuous-wave laser, which provides the parametric gain for the proliferation of an ultrastable frequency comb. These miniaturized and battery driven microcombs have become a disruptive technology for precision metrology, broadband telecommunication and ultrafast optical ranging. In this work, we report on the first experimental observation of dissipative Kerr solitons generated in a ring cavity with a fast semiconductor gain medium. The moderate quality factor of the ring cavity is compensated by the giant resonant Kerr nonlinearity of a quantum cascade laser, which is more than a million times larger than in Si3N4. By engineering the dispersion of the cavity, we observe the formation of bright dissipative Kerr solitons in the mid-infrared range. Soliton formation appears after an abrupt symmetry breaking between the two lasing directions of the ring cavity. The pump field of the soliton is generated by direct electrical driving and closely resembles the soliton Cherenkov radiation observed in passive microcombs. Two independent techniques shed light on the waveform and coherence of the solitons and confirm a pulse width of approximately 3 ps. Our results extend the spectral range of soliton microcombs to mid-infrared wavelengths and will lead to integrated, battery driven and turnkey spectrometers in the molecular fingerprint region.


title: Entanglement between a telecom photon and an on-demand multimode solid-state quantum memory

abstract: Entanglement between photons at telecommunication wavelengths and long-lived quantum memories is one of the fundamental requirements of long-distance quantum communication. Quantum memories featuring on-demand read-out and multimode operation are additional precious assets that will benefit the communication rate. In this work we report the first demonstration of entanglement between a telecom photon and a collective spin excitation in a multimode solid-state quantum memory. Photon pairs are generated through widely non-degenerate parametric down-conversion, featuring energy-time entanglement between the telecom-wavelength idler and a visible signal photon. The latter is stored in a Pr$^{3+}$:Y$_2$SiO$_5$ crystal as a spin wave using the full Atomic Frequency Comb scheme. We then recall the stored signal photon and analyze the entanglement using the Franson scheme. We measure conditional fidelities of $92(2)\%$ for excited-state storage, enough to violate a CHSH inequality, and $77(2)\%$ for spin-wave storage. Taking advantage of the on-demand read-out from the spin state, we extend the entanglement storage in the quantum memory for up to 47.7~$\mu$s, which could allow for the distribution of entanglement between quantum nodes separated by distances of up to 10 km.


title: Learning Pseudo-Backdoors for Mixed Integer Programs

abstract: We propose a machine learning approach for quickly solving Mixed Integer Programs (MIP) by learning to prioritize a set of decision variables, which we call pseudo-backdoors, for branching that results in faster solution times. Learning-based approaches have seen success in the area of solving combinatorial optimization problems by being able to flexibly leverage common structures in a given distribution of problems. Our approach takes inspiration from the concept of strong backdoors, which corresponds to a small set of variables such that only branching on these variables yields an optimal integral solution and a proof of optimality. Our notion of pseudo-backdoors corresponds to a small set of variables such that only branching on them leads to faster solve time (which can be solver dependent). A key advantage of pseudo-backdoors over strong backdoors is that they are much amenable to data-driven identification or prediction. Our proposed method learns to estimate the solver performance of a proposed pseudo-backdoor, using a labeled dataset collected on a set of training MIP instances. This model can then be used to identify high-quality pseudo-backdoors on new MIP instances from the same distribution. We evaluate our method on the generalized independent set problems and find that our approach can efficiently identify high-quality pseudo-backdoors. In addition, we compare our learned approach against Gurobi, a state-of-the-art MIP solver, demonstrating that our method can be used to improve solver performance.


title: Global Context Enhanced Graph Neural Networks for Session-based Recommendation

abstract: Session-based recommendation (SBR) is a challenging task, which aims at recommending items based on anonymous behavior sequences. Almost all the existing solutions for SBR model user preference only based on the current session without exploiting the other sessions, which may contain both relevant and irrelevant item-transitions to the current session. This paper proposes a novel approach, called Global Context Enhanced Graph Neural Networks (GCE-GNN) to exploit item transitions over all sessions in a more subtle manner for better inferring the user preference of the current session. Specifically, GCE-GNN learns two levels of item embeddings from session graph and global graph, respectively: (i) Session graph, which is to learn the session-level item embedding by modeling pairwise item-transitions within the current session; and (ii) Global graph, which is to learn the global-level item embedding by modeling pairwise item-transitions over all sessions. In GCE-GNN, we propose a novel global-level item representation learning layer, which employs a session-aware attention mechanism to recursively incorporate the neighbors' embeddings of each node on the global graph. We also design a session-level item representation learning layer, which employs a GNN on the session graph to learn session-level item embeddings within the current session. Moreover, GCE-GNN aggregates the learnt item representations in the two levels with a soft attention mechanism. Experiments on three benchmark datasets demonstrate that GCE-GNN outperforms the state-of-the-art methods consistently.


title: Agile wide-field imaging with selective high resolution

abstract: Wide-field and high-resolution (HR) imaging is essential for various applications such as aviation reconnaissance, topographic mapping and safety monitoring. The existing techniques require a large-scale detector array to capture HR images of the whole field, resulting in high complexity and heavy cost. In this work, we report an agile wide-field imaging framework with selective high resolution that requires only two detectors. It builds on the statistical sparsity prior of natural scenes that the important targets locate only at small regions of interests (ROI), instead of the whole field. Under this assumption, we use a short-focal camera to image wide field with a certain low resolution, and use a long-focal camera to acquire the HR images of ROI. To automatically locate ROI in the wide field in real time, we propose an efficient deep-learning based multiscale registration method that is robust and blind to the large setting differences (focal, white balance, etc) between the two cameras. Using the registered location, the long-focal camera mounted on a gimbal enables real-time tracking of the ROI for continuous HR imaging. We demonstrated the novel imaging framework by building a proof-of-concept setup with only 1181 gram weight, and assembled it on an unmanned aerial vehicle for air-to-ground monitoring. Experiments show that the setup maintains 120$^{\circ}$ wide field-of-view (FOV) with selective 0.45$mrad$ instantaneous FOV.


title: Metric-Affine Version of Myrzakulov $F(R,T,Q, {\cal T})$ Gravity and Cosmological Applications

abstract: We derive the full set of field equations for the Metric-Affine version of the Myrzakulov gravity model and also extend this family of theories to a broader one. More specifically, we consider theories whose gravitational Lagrangian is given by $F(R,T,Q, {\cal T},{\cal D})$ where $T$, $Q$ are the torsion and non-metricity scalars, ${\cal T}$ is the trace of the energy-momentum tensor and ${\cal D}$ the divergence of the dilation current. We then consider the linear case of the aforementioned theory and assuming a cosmological setup we obtain the modified Friedmann equations. In addition, focusing on the vanishing non-metricity sector and considering matter coupled to torsion we obtain the complete set of equations describing the cosmological behaviour of this model along with solutions.


title: Diagnostic capabilities of spectropolarimetric observations for understanding solar phenomena I. Zeeman-sensitive photospheric lines

abstract: Future ground-based telescopes will expand our capabilities for simultaneous multi-line polarimetric observations in a wide range of wavelengths, from the near-ultraviolet to the near-infrared. This creates a strong demand to compare candidate spectral lines to establish a guideline of the lines that are most appropriate for each observation target. We focused in this first work on Zeeman-sensitive photospheric lines in the visible and infrared. We first examined their polarisation signals and response functions using a 1D semi-empirical atmosphere. Then we studied the spatial distribution of the line core intensity and linear and circular polarisation signals using a realistic 3D numerical simulation. We ran inversions of synthetic profiles, and we compared the heights at which we obtain a high correlation between the input and the inferred atmosphere. We also used this opportunity to revisit the atomic information we have on these lines and computed the broadening cross-sections due to collisions with neutral hydrogen atoms for all the studied spectral lines. The results reveal that four spectral lines stand out from the rest for quiet-Sun and network conditions: Fe I 5250.2, 6302, 8468, and 15648 A. The first three form higher in the atmosphere, and the last line is mainly sensitive to the atmospheric parameters at the bottom of the photosphere. However, as they reach different heights, we strongly recommend using at least one of the first three candidates together with the Fe I 15648 A line to optimise our capabilities for inferring the thermal and magnetic properties of the lower atmosphere.


title: Continuous orbit equivalence for automorphismhi systems of equivalence relations

abstract: We introduce notions of continuous orbit equivalence and strong (respective, weak) continuous orbit equivalence for automorphism systems of \'{e}tale equivalence relations, and characterize them in terms of the semi-direct product groupoids, as well as their reduced groupoid $C^*$-algebras and the associated $C^*$-automorphism systems of group actions or coactions on them. In particular, we study topological rigidity of expansive automorphism actions on compact (connected) metrizable groups


title: Design and Implementation of 5G eHealth Systems, Technologies, Use Cases and Future Challenges

abstract: Fifth generation (5G) aims to connect massive devices with even higher reliability, lower latency and even faster transmission speed, which are vital for implementing the e-health systems. However, the current efforts on 5G e-health systems are still not enough to accomplish its full blueprint. In this article, we first discuss the related technologies from physical layer, upper layer and cross layer perspectives on designing the 5G e-health systems. We afterwards elaborate two use cases according to our implementations, i.e., 5G e-health systems for remote health and 5G e-health systems for Covid-19 pandemic containment. We finally envision the future research trends and challenges of 5G e-health systems.


title: Who Is the Strongest Enemy? Towards Optimal and Efficient Evasion Attacks in Deep RL

abstract: Evaluating the worst-case performance of a reinforcement learning (RL) agent under the strongest/optimal adversarial perturbations on state observations (within some constraints) is crucial for understanding the robustness of RL agents. However, finding the optimal adversary is challenging, in terms of both whether we can find the optimal attack and how efficiently we can find it. Existing works on adversarial RL either use heuristics-based methods that may not find the strongest adversary, or directly train an RL-based adversary by treating the agent as a part of the environment, which can find the optimal adversary but may become intractable in a large state space. This paper introduces a novel attacking method to find the optimal attacks through collaboration between a designed function named "actor" and an RL-based learner named "director". The actor crafts state perturbations for a given policy perturbation direction, and the director learns to propose the best policy perturbation directions. Our proposed algorithm, PA-AD, is theoretically optimal and significantly more efficient than prior RL-based works in environments with large state spaces. Empirical results show that our proposed PA-AD universally outperforms state-of-the-art attacking methods in various Atari and MuJoCo environments. By applying PA-AD to adversarial training, we achieve state-of-the-art empirical robustness in multiple tasks under strong adversaries. The codebase is released at https://github.com/umd-huang-lab/paad_adv_rl.


title: A Data-driven Optimization of First-order Regular Perturbation Coefficients for Fiber Nonlinearities

abstract: We study the performance of gradient-descent optimization to estimate the coefficients of the discrete-time first-order regular perturbation (FRP). With respect to numerically computed coefficients, the optimized coefficients yield a model that (i) extends the FRP range of validity, and (ii) reduces the model's complexity.


title: Concavity of minimal $L^2$ integrals related to multipler ideal sheaves

abstract: In this note, we present the concavity of the minimal $L^2$ integrals related to multiplier ideals sheaves on Stein manifolds. As applications, we obtain a necessary condition for the concavity degenerating to linearity, a characterization for 1-dimensional case, and a characterization for the equality in 1-dimensional optimal $L^{2}$ extension problem to hold.


title: Monodromic nilpotent singular points with odd Andreev number and the center problem

abstract: Given a nilpotent singular point of a planar vector field, its monodromy is associated with its Andreev number $n$. The parity of $n$ determines whether the existence of an inverse integrating factor implies that the singular point is a nilpotent center. For $n$ odd, this is not always true. We give a characterization for a family of systems having Andreev number $n$ such that the center problem cannot be solved by the inverse integrating factor method. Moreover, we study general properties of this family, determining necessary center conditions for every $n$ and solving the center problem in the case $n=3$.


title: PEBBLE: Feedback-Efficient Interactive Reinforcement Learning via Relabeling Experience and Unsupervised Pre-training

abstract: Conveying complex objectives to reinforcement learning (RL) agents can often be difficult, involving meticulous design of reward functions that are sufficiently informative yet easy enough to provide. Human-in-the-loop RL methods allow practitioners to instead interactively teach agents through tailored feedback; however, such approaches have been challenging to scale since human feedback is very expensive. In this work, we aim to make this process more sample- and feedback-efficient. We present an off-policy, interactive RL algorithm that capitalizes on the strengths of both feedback and off-policy learning. Specifically, we learn a reward model by actively querying a teacher's preferences between two clips of behavior and use it to train an agent. To enable off-policy learning, we relabel all the agent's past experience when its reward model changes. We additionally show that pre-training our agents with unsupervised exploration substantially increases the mileage of its queries. We demonstrate that our approach is capable of learning tasks of higher complexity than previously considered by human-in-the-loop methods, including a variety of locomotion and robotic manipulation skills. We also show that our method is able to utilize real-time human feedback to effectively prevent reward exploitation and learn new behaviors that are difficult to specify with standard reward functions.


title: Markov-Switching State-Space Models with Applications to Neuroimaging

abstract: State-space models (SSM) with Markov switching offer a powerful framework for detecting multiple regimes in time series, analyzing mutual dependence and dynamics within regimes, and asserting transitions between regimes. These models however present considerable computational challenges due to the exponential number of possible regime sequences to account for. In addition, high dimensionality of time series can hinder likelihood-based inference. This paper proposes novel statistical methods for Markov-switching SSMs using maximum likelihood estimation, Expectation-Maximization (EM), and parametric bootstrap. We develop solutions for initializing the EM algorithm, accelerating convergence, and conducting inference that are ideally suited to massive spatio-temporal data such as brain signals. We evaluate these methods in simulations and present applications to EEG studies of epilepsy and of motor imagery. All proposed methods are implemented in a MATLAB toolbox available at https://github.com/ddegras/switch-ssm.


title: Order-Agnostic Cross Entropy for Non-Autoregressive Machine Translation

abstract: We propose a new training objective named order-agnostic cross entropy (OaXE) for fully non-autoregressive translation (NAT) models. OaXE improves the standard cross-entropy loss to ameliorate the effect of word reordering, which is a common source of the critical multimodality problem in NAT. Concretely, OaXE removes the penalty for word order errors, and computes the cross entropy loss based on the best possible alignment between model predictions and target tokens. Since the log loss is very sensitive to invalid references, we leverage cross entropy initialization and loss truncation to ensure the model focuses on a good part of the search space. Extensive experiments on major WMT benchmarks show that OaXE substantially improves translation performance, setting new state of the art for fully NAT models. Further analyses show that OaXE alleviates the multimodality problem by reducing token repetitions and increasing prediction confidence. Our code, data, and trained models are available at https://github.com/tencent-ailab/ICML21_OAXE.


title: Semi-supervised lane detection with Deep Hough Transform

abstract: Current work on lane detection relies on large manually annotated datasets. We reduce the dependency on annotations by leveraging massive cheaply available unlabelled data. We propose a novel loss function exploiting geometric knowledge of lanes in Hough space, where a lane can be identified as a local maximum. By splitting lanes into separate channels, we can localize each lane via simple global max-pooling. The location of the maximum encodes the layout of a lane, while the intensity indicates the the probability of a lane being present. Maximizing the log-probability of the maximal bins helps neural networks find lanes without labels. On the CULane and TuSimple datasets, we show that the proposed Hough Transform loss improves performance significantly by learning from large amounts of unlabelled images.


title: ST++: Make Self-training Work Better for Semi-supervised Semantic Segmentation

abstract: Self-training via pseudo labeling is a conventional, simple, and popular pipeline to leverage unlabeled data. In this work, we first construct a strong baseline of self-training (namely ST) for semi-supervised semantic segmentation via injecting strong data augmentations (SDA) on unlabeled images to alleviate overfitting noisy labels as well as decouple similar predictions between the teacher and student. With this simple mechanism, our ST outperforms all existing methods without any bells and whistles, e.g., iterative re-training. Inspired by the impressive results, we thoroughly investigate the SDA and provide some empirical analysis. Nevertheless, incorrect pseudo labels are still prone to accumulate and degrade the performance. To this end, we further propose an advanced self-training framework (namely ST++), that performs selective re-training via prioritizing reliable unlabeled images based on holistic prediction-level stability. Concretely, several model checkpoints are saved in the first stage supervised training, and the discrepancy of their predictions on the unlabeled image serves as a measurement for reliability. Our image-level selection offers holistic contextual information for learning. We demonstrate that it is more suitable for segmentation than common pixel-wise selection. As a result, ST++ further boosts the performance of our ST. Code is available at https://github.com/LiheYoung/ST-PlusPlus.


title: Multiple simultaneous solution representations in a population based evolutionary algorithm

abstract: The representation used for solutions in optimization can have a significant impact on the performance of the optimization method. Traditional population based evolutionary methods have homogeneous populations where all solutions use the same representation. If different representations are to be considered, different runs are required to investigate the relative performance. In this paper, we illustrate the use of a population based evolutionary method, Fresa, inspired by the propagation of Strawberry plants, which allows for multiple representations to co-exist in the population. Fresa is implemented in the Julia language. Julia provides dynamic typing and multiple dispatch. In multiple dispatch, the function invoked is determined, dynamically at run time, by the types of the arguments passed to it. This enables a generic implementation of key steps in the plant propagation algorithm which allows for a heterogeneous population. The search procedure then leads to a competition between representations automatically. A simple case study from the design of operating conditions for a batch reactor system is used to illustrate heterogeneous population based search.


title: Searching for new physics during gravitational waves propagation

abstract: The direct detection of gravitational waves by ground-based interferometers opened an unprecedented channel to probe alternative theories of gravitation. Several theories predict a dispersion of the gravitational waves during their propagation, distorting the signals observed by LIGO and Virgo compared to their predictions from general relativity. Such dispersion could induce a modification of the luminosity distance inferred with gravitational radiation with regards to electromagnetic radiation. By analysing two multimessenger events, we set constraints on a large class of proposed theories, including extra-dimensional and scalar-tensor theories. The multimessenger events are the binary neutron star merger GW170817 associated to GRB170817A, and the binary black hole merger GW190521 with postulated candidate electromagnetic counterpart ZTF19abanrhr. Without relying on multimessenger emission, a class of proposed theories predict a frequency-dependent dispersion of the gravitational waves breaking Lorentz invariance. By analysing 31 GW events from binary-black holes coalescence, we constrain several coefficients parameterising Lorentz violation, including the best constraint on the graviton mass.


title: On the rational approximation of Markov functions,with applications to the computation of Markovfunctions of Toeplitz matrices

abstract: We investigate the problem of approximating the matrix function $f(A)$ by $r(A)$, with $f$ a Markov function, $r$ a rational interpolant of $f$, and $A$ a symmetric Toeplitz matrix. In a first step, we obtain a new upper bound for the relative interpolation error $1-r/f$ on the spectral interval of $A$. By minimizing this upper bound over all interpolation points, we obtain a new, simple and sharp a priori bound for the relative interpolation error. We then consider three different approaches of representing and computing the rational interpolant $r$. Theoretical and numerical evidence is given that any of these methods for a scalar argument allows to achieve high precision, even in the presence of finite precision arithmetic. We finally investigate the problem of efficiently evaluating $r(A)$, where it turns out that the relative error for a matrix argument is only small if we use a partial fraction decomposition for $r$ following Antoulas and Mayo. An important role is played by a new stopping criterion which ensures to automatically find the degree of $r$ leading to a small error, even in presence of finite precision arithmetic.


title: Resource allocation problems with expensive function evaluations

abstract: The resource allocation problem is among the classical problems in operations research, and has been studied extensively for decades. However, current solution approaches are not able to efficiently handle problems with expensive function evaluations, which can occur in a variety of applications. We study the integer resource allocation problem with expensive function evaluations, for both convex and non-convex separable cost functions. We present several solution methods, both heuristics and exact methods, that aim to limit the number of function evaluations. The methods are compared in numerical experiments using both randomly generated instances and instances from two resource allocation problems occurring in radiation therapy planning. Results show that the presented solution methods compare favorably against existing derivative free optimization solvers.


title: A Communication Layer for Integrated Sensors and Robotic ecology Solutions to Ambient Intelligence

abstract: This paper presents a communication framework built to simplify the construction of robotic ecologies, i.e., networks of heterogeneous computational nodes interfaced with sensors, actuators, and mobile robots. Building integrated ambient intelligence (AmI) solutions out of such a wide range of heterogeneous devices is a key requirement for a range of application domains, such as home automation, logistic, security and Ambient Assisted Living (AAL). This goal is challenging since these ecologies need to adapt to changing environments and especially when they include tiny embedded devices with limited computational resources. We discuss a number of requirements characterizing this type of systems and illustrate how they have been addressed in the design of the new communication framework. The most distinguishing aspect of our frameworks is the transparency with which the same communication features are offered across heterogeneous programming languages and operating systems under a consistent API. Finally, we illustrate how the framework has been used to bind together and to support the operations of all the components of adaptive robotic ecologies in two real-world test-beds.


title: Local smoothing and Hardy spaces for Fourier integral operators

abstract: We show that the Hardy spaces for Fourier integral operators form natural spaces of initial data when applying $\ell^{p}$-decoupling inequalities to local smoothing for the wave equation. This yields new local smoothing estimates which, in a quantified manner, improve the bounds in the local smoothing conjecture on $\mathbb{R}^{n}$ for $p\geq 2(n+1)/(n-1)$, and complement them for $2<p<2(n+1)/(n-1)$. These estimates are invariant under application of Fourier integral operators, and they are essentially sharp.


title: Learning normal form autoencoders for data-driven discovery of universal,parameter-dependent governing equations

abstract: Complex systems manifest a small number of instabilities and bifurcations that are canonical in nature, resulting in universal pattern forming characteristics as a function of some parametric dependence. Such parametric instabilities are mathematically characterized by their universal un-foldings, or normal form dynamics, whereby a parsimonious model can be used to represent the dynamics. Although center manifold theory guarantees the existence of such low-dimensional normal forms, finding them has remained a long standing challenge. In this work, we introduce deep learning autoencoders to discover coordinate transformations that capture the underlying parametric dependence of a dynamical system in terms of its canonical normal form, allowing for a simple representation of the parametric dependence and bifurcation structure. The autoencoder constrains the latent variable to adhere to a given normal form, thus allowing it to learn the appropriate coordinate transformation. We demonstrate the method on a number of example problems, showing that it can capture a diverse set of normal forms associated with Hopf, pitchfork, transcritical and/or saddle node bifurcations. This method shows how normal forms can be leveraged as canonical and universal building blocks in deep learning approaches for model discovery and reduced-order modeling.