title: Intrinsic anomalous Hall effect in Ni-substituted magnetic Weyl semimetal Co3Sn2S2

abstract: Topological materials have recently attracted considerable attention among materials scientists as their properties are predicted to be protected against perturbations such as lattice distortion and chemical substitution. However, any experimental proof of such robustness is still lacking. In this study, we experimentally demonstrate that the topological properties of the ferromagnetic kagome compound Co3Sn2S2 are preserved upon Ni substitution. We systematically vary the Ni content in Co3Sn2S2 single crystals and study their magnetic and anomalous transport properties. For the intermediate Ni substitution, we observe a remarkable increase in the coercive field while still maintaining significant anomalous Hall conductivity. The large anomalous Hall conductivity of these compounds is intrinsic, consistent with first-principle calculations, which proves its topological origin. Our results can guide further studies on the chemical tuning of topological materials for better understanding.


title: A Bayesian Approach to Conversational Recommendation Systems

abstract: We present a conversational recommendation system based on a Bayesian approach. A probability mass function over the items is updated after any interaction with the user, with information-theoretic criteria optimally shaping the interaction and deciding when the conversation should be terminated and the most probable item consequently recommended. Dedicated elicitation techniques for the prior probabilities of the parameters modeling the interactions are derived from basic structural judgements. Such prior information can be combined with historical data to discriminate items with different recommendation histories. A case study based on the application of this approach to \emph{stagend.com}, an online platform for booking entertainers, is finally discussed together with an empirical analysis showing the advantages in terms of recommendation quality and efficiency.


title: On Termination of Transactions over Semantic Document Models

abstract: We consider the framework of Document Modeling, which lays the formal basis for representing the document lifecycle in Business Process Management systems. We formulate document models in the scope of the logic-based Semantic Modeling language and study the question whether transactions given by a document model terminate on any input. We show that in general this problem is undecidable and formulate sufficient conditions, which guarantee decidability and polynomial boundedness of effects of transactions.


title: Imaging the breakdown of ohmic transport in graphene

abstract: Ohm's law describes the proportionality of current density and electric field. In solid-state conductors, Ohm's law emerges due to electron scattering processes that relax the electrical current. Here, we use nitrogen-vacancy center magnetometry to directly image the local breakdown of Ohm's law in a narrow constriction fabricated in a high mobility graphene monolayer. Ohmic flow is visible at room temperature as current concentration on the constriction edges, with flow profiles entirely determined by sample geometry. However, as the temperature is lowered below 200 K, the current concentrates near the constriction center. The change in the flow pattern is consistent with a crossover from diffusive to viscous electron transport dominated by electron-electron scattering processes that do not relax current.


title: Strong coupling of exciton-polaritons in a bulk GaN planar waveguide: quantifiying the coupling strength

abstract: We investigate the demonstration and quantification of the strong coupling between excitons and guided photons in a GaN slab waveguide. The dispersions of waveguide polaritons are measured from T=6~K to 300~K through gratings. They are carefully analyzed within four models based on different assumptions, in order to assess the strong coupling regime. We prove that the guided photons and excitons are strongly coupled at all investigated temperatures, with a small $(11 \%)$ dependence on the temperature. However the values of the Rabi splitting strongly vary among the four models: the "coupled oscillator" model over-estimates the coupling; the analytical "Elliott-Tanguy" model precisely describes the dielectric susceptibility of GaN near the excitonic transition, leading to a Rabi splitting equal to $82 \pm 10 \ meV$ for TE0 modes; the experimental ellipsometry-based model leads to smaller values of $55 \pm 6 \ meV.$ We evidence that for waveguides including active layers with large oscillator strengths, as required for room-temperature polaritonic devices, a strong bending of the modes dispersion is not necessarily the signature of the strong-coupling, which requires for its reliable assessment a precise analysis of the material dielectric susceptibility.


title: Fast Generation of High Fidelity RGB-D Images by Deep-Learning with Adaptive Convolution

abstract: Using the raw data from consumer-level RGB-D cameras as input, we propose a deep-learning based approach to efficiently generate RGB-D images with completed information in high resolution. To process the input images in low resolution with missing regions, new operators for adaptive convolution are introduced in our deep-learning network that consists of three cascaded modules -- the completion module, the refinement module and the super-resolution module. The completion module is based on an architecture of encoder-decoder, where the features of input raw RGB-D will be automatically extracted by the encoding layers of a deep neural-network. The decoding layers are applied to reconstruct the completed depth map, which is followed by a refinement module to sharpen the boundary of different regions. For the super-resolution module, we generate RGB-D images in high resolution by multiple layers for feature extraction and a layer for up-sampling. Benefited from the adaptive convolution operators newly proposed in this paper, our results outperform the existing deep-learning based approaches for RGB-D image complete and super-resolution. As an end-to-end approach, high fidelity RGB-D images can be generated efficiently at the rate of around 21 frames per second.


title: The Complexity of Binary Matrix Completion Under Diameter Constraints

abstract: We thoroughly study a novel but basic combinatorial matrix completion problem: Given a binary incomplete matrix, fill in the missing entries so that every pair of rows in the resulting matrix has a Hamming distance within a specified range. We obtain an almost complete picture of the complexity landscape regarding the distance constraints and the maximum number of missing entries in any row. We develop polynomial-time algorithms for maximum diameter three based on Deza's theorem [Discret. Math. 1973] from extremal set theory. We also prove NP-hardness for diameter at least four. For the number of missing entries per row, we show polynomial-time solvability when there is only one and NP-hardness when there can be at least two. In many of our algorithms, we heavily rely on Deza's theorem to identify sunflower structures. This paves the way towards polynomial-time algorithms which are based on finding graph factors and solving 2-SAT instances.


title: Real-time forecasts of the 2019-nCoV epidemic in China from February 5th to February 24th, 2020

abstract: The initial cluster of severe pneumonia cases that triggered the 2019-nCoV epidemic was identified in Wuhan, China in December 2019. While early cases of the disease were linked to a wet market, human-to-human transmission has driven the rapid spread of the virus throughout China. The ongoing outbreak presents a challenge for modelers, as limited data are available on the early growth trajectory, and the epidemiological characteristics of the novel coronavirus are yet to be fully elucidated. We provide timely short-term forecasts of the cumulative number of confirmed reported cases in Hubei province, the epicenter of the epidemic, and for the overall trajectory in China, excluding the province of Hubei. We collect daily reported cumulative case data for the 2019-nCoV outbreak for each Chinese province from the National Health Commission of China. Here, we provide 5, 10, and 15 day forecasts for five consecutive days, February 5th through February 9th, with quantified uncertainty based on a generalized logistic growth model, the Richards growth model, and a sub-epidemic wave model. Our most recent forecasts reported here based on data up until February 9, 2020, largely agree across the three models presented and suggest an average range of 7,409-7,496 additional cases in Hubei and 1,128-1,929 additional cases in other provinces within the next five days. Models also predict an average total cumulative case count between 37,415 - 38,028 in Hubei and 11,588 - 13,499 in other provinces by February 24, 2020. Mean estimates and uncertainty bounds for both Hubei and other provinces have remained relatively stable in the last three reporting dates (February 7th - 9th). Our forecasts suggest that the containment strategies implemented in China are successfully reducing transmission and that the epidemic growth has slowed in recent days.


title: AlignNet: A Unifying Approach to Audio-Visual Alignment

abstract: We present AlignNet, a model that synchronizes videos with reference audios under non-uniform and irregular misalignments. AlignNet learns the end-to-end dense correspondence between each frame of a video and an audio. Our method is designed according to simple and well-established principles: attention, pyramidal processing, warping, and affinity function. Together with the model, we release a dancing dataset Dance50 for training and evaluation. Qualitative, quantitative and subjective evaluation results on dance-music alignment and speech-lip alignment demonstrate that our method far outperforms the state-of-the-art methods. Project video and code are available at https://jianrenw.github.io/AlignNet.


title: HushRelay: A Privacy-Preserving, Efficient, and Scalable Routing Algorithm for Off-Chain Payments

abstract: Payment channel networks (PCN) are used in cryptocurrencies to enhance the performance and scalability of off-chain transactions. Except for opening and closing of a payment channel, no other transaction requests accepted by a PCN are recorded in the Blockchain. Only the parties which have opened the channel will know the exact amount of fund left at a given instant. In real scenarios, there might not exist a single path which can enable transfer of high value payments. For such cases, splitting up the transaction value across multiple paths is a better approach. While there exists several approaches which route transactions via several paths, such techniques are quite inefficient, as the decision on the number of splits must be taken at the initial phase of the routing algorithm (e.g., SpeedyMurmur [42]). Algorithms which do not consider the residual capacity of each channel in the network are susceptible to failure. Other approaches leak sensitive information, and are quite computationally expensive [28]. To the best of our knowledge, our proposed scheme HushRelay is an efficient privacy preserving routing algorithm, taking into account the funds left in each channel, while splitting the transaction value across several paths. Comparing the performance of our algorithm with existing routing schemes on real instances (e.g., Ripple Network), we observed that HushRelay attains a success ratio of 1, with an execution time of 2.4 sec. However, SpeedyMurmur [42] attains a success ratio of 0.98 and takes 4.74 sec when the number of landmarks is 6. On testing our proposed routing algorithm on the Lightning Network, a success ratio of 0.99 is observed, having an execution time of 0.15 sec, which is 12 times smaller than the time taken by SpeedyMurmur.


title: Packed Ultra-wideband Mapping Array (PUMA): Astro2020 RFI Response

abstract: The Packed Ultra-wideband Mapping Array (PUMA) is a proposed low-resolution transit interferometric radio telescope operating over the frequency range 200 - 1100MHz. Its rich science portfolio will include measuring structure in the universe from redshift z = 0.3 to 6 using 21cm intensity mapping, detecting one million fast radio bursts, and monitoring thousands of pulsars. It will allow PUMA to advance science in three different areas of physics (the physics of dark energy, the physics of cosmic inflation and time-domain astrophysics). This document is a response to a request for information (RFI) by the Panel on Radio, Millimeter, and Submillimeter Observations from the Ground (RMS) of the Decadal Survey on Astronomy and Astrophysics 2020. We present the science case of PUMA, the development path and major risks to the project.


title: Jet-shaped geometrically modified light curves of core collapse supernovae

abstract: We build three simple bipolar ejecta models for core collapse supernovae (CCSNe), as expected when the explosion is driven by strong jets, and show that for an observer located in the equatorial plane of the ejecta, the light curve has a rapid luminosity decline, and even an abrupt drop. In calculating the geometrically modified photosphere we assume that the ejecta has an axisymmetrical structure composed of an equatorial ejecta and faster polar ejecta, and has a uniform effective temperature. At early times the photosphere in the polar ejecta grows faster than the equatorial one, leading to higher luminosity relative to a spherical explosion. The origin of the extra radiated energy is the jets. At later times the optical depth decreases faster in the polar ejecta, and the polar photosphere becomes hidden behind the equatorial ejecta for an observer in the equatorial plane, leading to a rapid luminosity decline. For a model where the jets inflate two low-density polar bubbles, the luminosity decline might be abrupt. This model enables us to fit the abrupt decline in the light curve of SN 2018don.


title: Intersubband transition engineering in the conduction band of asymmetric coupled Ge/SiGe quantum wells

abstract: : n-type Ge/SiGe asymmetric-coupled quantum wells represent the building block of a variety of nanoscale quantum devices, including recently proposed designs for a silicon-based THz quantum cascade laser. In this paper, we combine structural and spectroscopic experiments on 20-module superstructures, each featuring two Ge wells coupled through a Ge-rich tunnel barrier, as a function of the geometry parameters of the design and the P dopant concentration. Through the comparison of THz spectroscopic data with numerical calculations of intersubband optical absorption resonances, we demonstrated that it is possible to tune by design the energy and the spatial overlap of quantum confined subbands in the conduction band of the heterostructures. The high structural/interface quality of the samples and the control achieved on subband hybridization are the promising starting point towards a working electrically pumped light-emitting device.


title: NP Reasoning in the Monotone $\mu$-Calculus

abstract: Satisfiability checking for monotone modal logic is known to be (only) NP-complete. We show that this remains true when the logic is extended with aconjunctive and alternation-free fixpoint operators as well as the universal modality; the resulting logic -- the aconjunctive alternation-free monotone $\mu$-calculus with the universal modality -- contains both concurrent propositional dynamic logic (CPDL) and the alternation-free fragment of game logic as fragments. We obtain our result from a characterization of satisfiability by means of B\"uchi games with polynomially many Eloise nodes.


title: Structure-Property Maps with Kernel Principal Covariates Regression

abstract: Data analyses based on linear methods constitute the simplest, most robust, and transparent approaches to the automatic processing of large amounts of data for building supervised or unsupervised machine learning models. Principal covariates regression (PCovR) is an underappreciated method that interpolates between principal component analysis and linear regression, and can be used to conveniently reveal structure-property relations in terms of simple-to-interpret, low-dimensional maps. Here we provide a pedagogic overview of these data analysis schemes, including the use of the kernel trick to introduce an element of non-linearity, while maintaining most of the convenience and the simplicity of linear approaches. We then introduce a kernelized version of PCovR and a sparsified extension, and demonstrate the performance of this approach in revealing and predicting structure-property relations in chemistry and materials science, showing a variety of examples including elemental carbon, porous silicate frameworks, organic molecules, amino acid conformers, and molecular materials.

categories: stat.ML cond-mat.mtrl-sci cs.LG physics.chem-ph


title: Predictions for the hydrogen-free ejecta of pulsational pair-instability supernovae

abstract: Present time-domain astronomy efforts will unveil a variety of rare transients. We focus here on pulsational pair-instability evolution, which can result in signatures observable with electromagnetic and gravitational waves. We simulate grids of bare helium stars to characterize the resulting black hole (BH) masses and ejecta composition, velocity, and thermal state. The stars do not react "elastically" to the thermonuclear explosion: there is not a one-to-one correspondence between pair-instability driven ignition and mass ejections, causing ambiguity in what is an observable pulse. In agreement with previous studies, we find that for carbon-oxygen core masses 28Msun< M_CO<30.5Msun the explosions are not strong enough to affect the surface. With increasing mass, they first cause large radial expansion (30.5Msun<M_CO<31.4Msun), and finally, also mass ejection episodes (M_CO>31.4Msun). The lowest mass to be fully disrupted in a pair-instability supernova is M_CO=57Msun. Models with M_CO>121Msun reach the photodisintegration regime, resulting in BHs with M_BH>125Msun. If the pulsating models produce BHs via (weak) explosions, the previously-ejected material might be hit by the blast wave. We characterize the H-free circumstellar material from the pulsational pair-instability of helium cores assuming simply that the ejecta maintain a constant velocity after ejection. Our models produce He-rich ejecta with mass 10^{-3}Msun<M_CSM<40Msun. These ejecta are typically launched at a few thousand \kms and reach distances of ~10^{12}-10^{15} cm before core-collapse. The delays between mass ejection events and the final collapse span a wide and mass-dependent range (from sub-hour to 10^4 years), and the shells ejected can also collide with each other. The range of properties we find suggests a possible connection with (some) type Ibn supernovae.


title: Almost separable spaces

abstract: We have defined almost separable space. We show that like separability, almost separability is $c$ productive and converse also true under some restrictions. We establish a Baire Category theorem like result in Hausdorff, Pseudocompacts spaces. We investigate few relationships among separability, almost separability, sequential separability, strongly sequential separability.


title: Efficient Structure-preserving Support Tensor Train Machine

abstract: An increasing amount of collected data are high-dimensional multi-way arrays (tensors), and it is crucial for efficient learning algorithms to exploit this tensorial structure as much as possible. The ever-present curse of dimensionality for high dimensional data and the loss of structure when vectorizing the data motivates the use of tailored low-rank tensor classification methods. In the presence of small amounts of training data, kernel methods offer an attractive choice as they provide the possibility for a nonlinear decision boundary. We develop the Tensor Train Multi-way Multi-level Kernel (TT-MMK), which combines the simplicity of the Canonical Polyadic decomposition, the classification power of the Dual Structure-preserving Support Vector Machine, and the reliability of the Tensor Train (TT) approximation. We show by experiments that the TT-MMK method is usually more reliable computationally, less sensitive to tuning parameters, and gives higher prediction accuracy in the SVM classification when benchmarked against other state-of-the-art techniques.


title: Extreme values of geodesic periods on arithmetic hyperbolic surfaces

abstract: Given a closed geodesic on a compact arithmetic hyperbolic surface, we show the existence of a sequence of Laplacian eigenfunctions whose integrals along the geodesic exhibit nontrivial growth. Via Waldspurger's formula we deduce a lower bound for central values of Rankin--Selberg L-functions of Maass forms times theta series associated to real quadratic fields.


title: Anomalous solutions to nonlinear hyperbolic equations

abstract: The behavior of sufficiently regular solutions to semilinear hyperbolic equations has attracted a great deal of attention in the past decades, concerning local/global existence, finite time blow-up, critical exponents, and propagation of singularities. Solutions of lower regularity may exhibit unexpected (anomalous) propagation of singularities. The purpose of this paper is to present various striking examples that seemingly have not been addressed in the literature so far. The key issue is the interpretation of the nonlinear operations.


title: Results on the algebraic matroid of the determinantal variety

abstract: We make progress towards characterizing the algebraic matroid of the determinantal variety defined by the minors of fixed size of a matrix of variables. Our main result is a novel family of base sets of the matroid, which characterizes the matroid in special cases. Our approach relies on the combinatorial notion of relaxed supports of linkage matching fields that we introduce, our interpretation of the problem of completing a matrix of bounded rank from a subset of its entries as a linear section problem on the Grassmannian, and a connection that we draw with a class of local coordinates on the Grassmannian described by Sturmfels and Zelevinsky in 1993.


title: Using Automated Theorem Provers for Mistake Diagnosis in the Didactics of Mathematics

abstract: The Diproche system, an automated proof checker for natural language proofs specifically adapted to the context of exercises for beginner's students similar to the Naproche system by Koepke, Schr\"oder, Cramer and others, uses a modification of an automated theorem prover which uses common formal fallacies intead of sound deduction rules for mistake diagnosis. We briefly describe the concept of such an `Anti-ATP' and explain the basic techniques used in its implementation.


title: Formation of a fast "lane" for positional transition in a microparticle-suspended nematic liquid crystal cell

abstract: In this paper, based on the numerical calculation of total energy utilizing the Green's function method, we found that the external electric field applied to a microparticle-suspended nematic liquid crystal cell, if reaching a critical value, combined with its direction, surface anchoring feature and molecular dielectric anisotropy, is possible to create an anisotropic "bubble" around the microparticle with a vertical fast "lane", in which the microparticle can, driven by the asymmetric buoyant force, vertically move swiftly from the cell's midplane to a new equilibrium position, triggering a positional transition discovered by the author previously. Such a new equilibrium position is decided via a competition between the buoyant force and the effective force built upon the microparticle by the elastic energy gradient along the "lane". The threshold value of external field, depends on thickness $L$ and Frank elastic constant $K$ and slightly on the microparticle size and density, in a Fr\'{e}edericksz-like manner, but by a factor. For a nematic liquid crystal cell with planar surface alignment, a bistable equilibrium structure for the transition is found when the direction of the applied electric field is (a) perpendicular to the two plates of the cell with positive molecular dielectric anisotropy, or (b) parallel to the two plates and the anchoring direction of the cell with negative molecular dielectric anisotropy. Except for the formation of a vertical fast "lane", when the electric field applied is parallel to both the two plates and perpendicular to the anchoring direction, the microparticle suspended in the nematic liquid crystal tends to be trapped in the midplane, regardless of the sign of the molecular dielectric anisotropy. Such phenomenon also occurs for negative molecular dielectric anisotropy while the external is applied perpendicular to the two plates.


title: Bouncing, chasing or pausing: asymmetric collisions of active droplets

abstract: Chemically-active droplets exhibit complex avoiding trajectories. While heterogeneity is inevitable in active matter experiments, it is mostly overlooked in their modelling. Exploiting its geometric simplicity, we fully-resolve the head-on collision of two swimming droplets of different radii and demonstrate that even a small contrast in size critically conditions their collision and subsequent dynamics. We identify three fundamentally-different regimes. The resulting high sensitivity of pairwise collisions is expected to profoundly affect their collective dynamics.

categories: physics.flu-dyn cond-mat.soft physics.bio-ph physics.chem-ph


title: Exact results relating spin-orbit interactions in two dimensional strongly correlated systems

abstract: A 2D square, two-bands, strongly correlated and non-integrable system is analysed exactly in the presence of many-body spin-orbit interactions via the method of Positive Semidefinite Operators. The deduced exact ground states in the high concentration limit are strongly entangled, and given by the spin-orbit coupling are ferromagnetic and present an enhanced carrier mobility, which substantially differs for different spin projections. The described state emerges in a restricted parameter space region, which however is clearly accessible experimentally. The exact solutions are provided via the solution of a matching system of equations containing 74 coupled, non-linear and complex algebraic equations. In our knowledge, other exact results for 2D interacting systems with spin-orbit interactions are not present in the literature.


title: Dynamics on Multiple Potential Energy Surfaces: Quantitative Studies of Elementary Processes Relevant to Hypersonics

abstract: The determination of thermal and vibrational relaxation rates of triatomic systems suitable for application in hypersonic model calculations is discussed. For this, potential energy surfaces for ground and electronically excited state species need to be computed and represented with high accuracy and quasiclassical or quantum nuclear dynamics simulations provide the basis for determining the relevant rates. These include thermal reaction rates, state-to-state cross-sections, or vibrational relaxation rates. For exemplary systems - [NNO], [NOO], and [CNO] - all individual steps are described and a literature overview for them is provided. Finally, as some of these quantities involve considerable computational expense, for the example of state-to-state cross sections the construction of an efficient model based on neural networks is discussed. All such data is required and being used in more coarse-grained computational fluid dynamics simulations.


title: How dynamics constrains probabilities in general probabilistic theories

abstract: We introduce a general framework for analysing general probabilistic theories, which emphasises the distinction between the dynamical and probabilistic structures of a system. The dynamical structure is the set of pure states together with the action of the reversible dynamics, whilst the probabilistic structure determines the measurements and the outcome probabilities. For transitive dynamical structures whose dynamical group and stabiliser subgroup form a Gelfand pair we show that all probabilistic structures are rigid (cannot be infinitesimally deformed) and are in one-to-one correspondence with the spherical representations of the dynamical group. We apply our methods to classify all probabilistic structures when the dynamical structure is that of complex Grassmann manifolds acted on by the unitary group. This is a generalisation of quantum theory where the pure states, instead of being represented by one-dimensional subspaces of a complex vector space, are represented by subspaces of a fixed dimension larger than one. We also show that systems with compact two-point homogeneous dynamical structures (i.e. every pair of pure states with a given distance can be reversibly transformed to any other pair of pure states with the same distance), which include systems corresponding to Euclidean Jordan Algebras, all have rigid probabilistic structures.


title: A dark state of Chern bands: Designing flat bands with higher Chern number

abstract: We introduce a scheme by which flat bands with higher Chern number $\vert C\vert>1$ can be designed in ultracold gases through a coherent manipulation of Bloch bands. Inspired by quantum-optics methods, our approach consists in creating a "dark Bloch band" by coupling a set of source bands through resonant processes. Considering a $\Lambda$ system of three bands, the Chern number of the dark band is found to follow a simple sum rule in terms of the Chern numbers of the source bands: $C_D\!=\!C_1+C_2-C_3$. Altogether, our dark-state scheme realizes a nearly flat Bloch band with predictable and tunable Chern number $C_D$. We illustrate our method based on a $\Lambda$ system, formed of the bands of the Harper-Hofstadter model, which leads to a nearly flat Chern band with $C_D\!=\!2$. We explore a realistic sequence to load atoms into the dark Chern band, as well as a probing scheme based on Hall drift measurements. Dark Chern bands offer a practical platform where exotic fractional quantum Hall states could be realized in ultracold gases.


title: Predicting the speed of epidemics spreading on networks

abstract: Global transport and communication networks enable information, ideas and infectious diseases now to spread at speeds far beyond what has historically been possible. To effectively monitor, design, or intervene in such epidemic-like processes, there is a need to predict the speed of a particular contagion in a particular network, and to distinguish between nodes that are more likely to become infected sooner or later during an outbreak. Here, we study these quantities using a message-passing approach to derive simple and effective predictions which are validated against epidemic simulations on a variety of real-world networks with good agreement. In addition to individualized predictions for different nodes, we find an overall sudden transition from low density to almost full network saturation as the contagion develops in time. Our theory is developed and explained in the setting of simple contagions on tree-like networks, but we are also able to show how the method extends remarkably well to complex contagions and highly clustered networks.


title: QPEP: A QUIC-Based Approach to Encrypted Performance Enhancing Proxies for High-Latency Satellite Broadband

abstract: Satellite broadband services are critical infrastructures enabling advanced technologies to function in the most remote regions of the globe. However, status-quo services are often unencrypted by default and vulnerable to eavesdropping attacks. In this paper, we challenge the historical perception that over-the-air security must trade off with TCP performance in high-latency satellite networks due to the deep-packet inspection requirements of Performance Enhancing Proxies (PEPs). After considering why prior work in this area has failed to find wide adoption, we present an open-source encrypted-by-default PEP - QPEP - which seeks to address these issues. QPEP is built around the open QUIC standard and designed so individual customers may adopt it without ISP involvement. QPEP's performance is assessed through simulations in a replicable docker-based testbed. Across many benchmarks and network conditions, QPEP is found to avoid the perceived security-encryption trade-off in PEP design. Compared to unencrypted PEP implementations, QPEP reduces average page load times by more than 30% while also offering over-the-air privacy. Compared to the traditional VPN encryption available to customers today, QPEP more than halves average page load times. Together, these experiments lead to the conclusion that QPEP represents a promising new approach to protecting modern satellite broadband connections.


title: Euler Equations on General Planar Domains

abstract: We obtain a general sufficient condition on the geometry of possibly singular planar domains that guarantees global uniqueness for any weak solution to the Euler equations on them whose vorticity is bounded and initially constant near the boundary. This condition is only slightly more restrictive than exclusion of corners with angles greater than $\pi$ and, in particular, is satisfied by all convex domains. The main ingredient in our approach is showing that constancy of the vorticity near the boundary is preserved for all time because Euler particle trajectories on these domains, even for general bounded solutions, cannot reach the boundary in finite time. We then use this to show that no vorticity can be created by the boundary of such possibly singular domains for general bounded solutions. We also show that our condition is essentially sharp in this sense by constructing domains that come arbitrarily close to satisfying it, and on which particle trajectories can reach the boundary in finite time. In addition, when the condition is satisfied, we find sharp bounds on the asymptotic rate of the fastest possible approach of particle trajectories to the boundary.


title: On the Effective Capacity of an Underwater Acoustic Channel under Impersonation Attack

abstract: This paper investigates the impact of authentication on effective capacity (EC) of an underwater acoustic (UWA) channel. Specifically, the UWA channel is under impersonation attack by a malicious node (Eve) present in the close vicinity of the legitimate node pair (Alice and Bob); Eve tries to inject its malicious data into the system by making Bob believe that she is indeed Alice. To thwart the impersonation attack by Eve, Bob utilizes the distance of the transmit node as the feature/fingerprint to carry out feature-based authentication at the physical layer. Due to authentication at Bob, due to lack of channel knowledge at the transmit node (Alice or Eve), and due to the threshold-based decoding error model, the relevant dynamics of the considered system could be modelled by a Markov chain (MC). Thus, we compute the state-transition probabilities of the MC, and the moment generating function for the service process corresponding to each state. This enables us to derive a closed-form expression of the EC in terms of authentication parameters. Furthermore, we compute the optimal transmission rate (at Alice) through gradient-descent (GD) technique and artificial neural network (ANN) method. Simulation results show that the EC decreases under severe authentication constraints (i.e., more false alarms and more transmissions by Eve). Simulation results also reveal that the (optimal transmission rate) performance of the ANN technique is quite close to that of the GD method.


title: Generic nonsingular Poisson suspension is of type $III_1$

abstract: It is shown that for a dense $G_\delta$-subset of the subgroup of nonsingular transformations (of a standard infinite $\sigma$-finite measure space) whose Poisson suspensions are nonsingular, the corresponding Poisson suspensions are ergodic and of Krieger's type $III_1$.


title: Compressive Learning of Generative Networks

abstract: Generative networks implicitly approximate complex densities from their sampling with impressive accuracy. However, because of the enormous scale of modern datasets, this training process is often computationally expensive. We cast generative network training into the recent framework of compressive learning: we reduce the computational burden of large-scale datasets by first harshly compressing them in a single pass as a single sketch vector. We then propose a cost function, which approximates the Maximum Mean Discrepancy metric, but requires only this sketch, which makes it time- and memory-efficient to optimize.


title: Regret Bounds for Noise-Free Kernel-Based Bandits

abstract: Kernel-based bandit is an extensively studied black-box optimization problem, in which the objective function is assumed to live in a known reproducing kernel Hilbert space. While nearly optimal regret bounds (up to logarithmic factors) are established in the noisy setting, surprisingly, less is known about the noise-free setting (when the exact values of the underlying function is accessible without observation noise). We discuss several upper bounds on regret; none of which seem order optimal, and provide a conjecture on the order optimal regret bound.


title: EncDBDB: Searchable Encrypted, Fast, Compressed, In-Memory Database using Enclaves

abstract: Data confidentiality is an important requirement for clients when outsourcing databases to the cloud. Trusted execution environments, such as Intel SGX, offer an efficient, hardware-based solution to this cryptographic problem. Existing solutions are not optimized for column-oriented, in-memory databases and pose impractical memory requirements on the enclave. We present EncDBDB, a novel approach for client-controlled encryption of a column-oriented, in-memory databases allowing range searches using an enclave. EncDBDB offers nine encrypted dictionaries, which provide different security, performance and storage efficiency tradeoffs for the data. It is especially suited for complex, read-oriented, analytic queries, e.g., as present in data warehouses. The computational overhead compared to plaintext processing is within a millisecond even for databases with millions of entries and the leakage is limited. Compressed encrypted data requires less space than a corresponding plaintext column. Furthermore, the resulting code - and data - in the enclave is very small reducing the potential for security-relevant implementation errors and side-channel leakages.


title: Fingerprinting quantum emitters in hexagonal boron nitride using strain

abstract: Two dimensional van der Waals crystals and their heterostructures provide an exciting alternative to bulk wide bandgap semiconductors as hosts of single photon emitters. Amongst different layered materials, bright and robust defect-based single photon emitters have been observed within hexagonal boron nitride, a layered wide-bandgap semiconductor. Despite research efforts to date, the identities of the deep defects responsible for quantum emissions in hexagonal boron nitride remain unknown. In this theoretical work, I demonstrate that the strain-induced changes in emission frequencies depend on: (i) the detailed nature of the defect states involved in the optical excitations, and (ii) the rich boron chemistry that results in complex interactions between boron atoms. As each defect shows a distinct response to the strain, it can be used not only to tune emission frequencies, but also to identify the quantum emitters in hexagonal boron nitride.


title: Parameterized Complexity of Two-Interval Pattern Problem

abstract: A \emph{2-interval} is the union of two disjoint intervals on the real line. Two 2-intervals $D_1$ and $D_2$ are \emph{disjoint} if their intersection is empty (i.e., no interval of $D_1$ intersects any interval of $D_2$). There can be three different relations between two disjoint 2-intervals; namely, preceding ($<$), nested ($\sqsubset$) and crossing ($\between$). Two 2-intervals $D_1$ and $D_2$ are called \emph{$R$-comparable} for some $R\in\{<,\sqsubset,\between\}$, if either $D_1RD_2$ or $D_2RD_1$. A set $\mathcal{D}$ of disjoint 2-intervals is $\mathcal{R}$-comparable, for some $\mathcal{R}\subseteq\{<,\sqsubset,\between\}$ and $\mathcal{R}\neq\emptyset$, if every pair of 2-intervals in $\mathcal{R}$ are $R$-comparable for some $R\in\mathcal{R}$. Given a set of 2-intervals and some $\mathcal{R}\subseteq\{<,\sqsubset,\between\}$, the objective of the \emph{2-interval pattern problem} is to find a largest subset of 2-intervals that is $\mathcal{R}$-comparable. The 2-interval pattern problem is known to be $W[1]$-hard when $|\mathcal{R}|=3$ and $NP$-hard when $|\mathcal{R}|=2$ (except for $\mathcal{R}=\{<,\sqsubset\}$, which is solvable in quadratic time). In this paper, we fully settle the parameterized complexity of the problem by showing it to be $W[1]$-hard for both $\mathcal{R}=\{\sqsubset,\between\}$ and $\mathcal{R}=\{<,\between\}$ (when parameterized by the size of an optimal solution); this answers an open question posed by Vialette [Encyclopedia of Algorithms, 2008].


title: Fundamental Limits of Biometric Identification Systems with Strong Secrecy

abstract: The fundamental limits of biometric identification systems under a strong secrecy criterion are investigated. In the previous studies of this scenario, the fundamental trade-off among secrecy, template, privacy- and secrecy-leakages has been revealed in the case where there is only one user, while the case of multiple users has not been discussed yet. In this study, we consider the system with exponentially many users, and we characterize the capacity region of the rate tuples including the user (identification) rate under the strong secrecy criterion. In the achievability proof, we derive a new method to incorporate multiple users by extending the random binning for one user's case. The obtained result shows that the characterization of the capacity region does not vary regardless of the weak or strong secrecy criterion in terms of secrecy-leakage.


title: A sparse version of Reznick's Positivstellensatz

abstract: If $f$ is a positive definite form, Reznick's Positivstellensatz [Mathematische Zeitschrift. 220 (1995), pp. 75--97] states that there exists $k\in\mathbf{N}$ such that ${\| x \|^{2k}_2}f$ is a sum of squares of polynomials. Assuming that $f$ can be written as a sum of forms $\sum_{l=1}^p f_l$, where each $f_l$ depends on a subset of the initial variables, and assuming that these subsets satisfy the so-called running intersection property, we provide a sparse version of Reznick's Positivstellensatz. Namely, there exists $k \in \mathbf{N}$ such that $f=\sum_{l = 1}^p {{\sigma_l}/{H_l^{k}}}$, where $\sigma_l$ is a sum of squares of polynomials, $H_l$ is a uniform polynomial denominator, and both polynomials $\sigma_l,H_l$ involve the same variables as $f_l$, for each $l=1,\dots,p$. In other words, the sparsity pattern of $f$ is also reflected in this sparse version of Reznick's certificate of positivity. We next use this result to also obtain positivity certificates for (i) polynomials nonnegative on the whole space and (ii) polynomials nonnegative on a (possibly non-compact) basic semialgebraic set, assuming that the input data satisfy the running intersection property. Both are sparse versions of a positivity certificate due to Putinar and Vasilescu.


title: Hurwitz Actions on Reflection Factorizations in Complex Reflection Group $G_6$

abstract: We show that in the complex reflection group $G_6$, reflection factorizations of a Coxeter element that have the same length and multiset of conjugacy classes are in the same Hurwitz orbit. This confirms one case of a conjecture of Lewis and Reiner.


title: Existence, regularity and uniqueness of weak solutions with bounded magnetic fields to the steady Hall-MHD system

abstract: Under the condition of small external forces, we obtain existence of a weak solution of the steady Hall-MHD system with H\"{o}lder continuous magnetic field. We also established regularity of weak solutions provided that magnetic fields are bounded. For sufficiently small external forces, uniqueness result is also established.


title: Component Analysis for Visual Question Answering Architectures

abstract: Recent research advances in Computer Vision and Natural Language Processing have introduced novel tasks that are paving the way for solving AI-complete problems. One of those tasks is called Visual Question Answering (VQA). A VQA system must take an image and a free-form, open-ended natural language question about the image, and produce a natural language answer as the output. Such a task has drawn great attention from the scientific community, which generated a plethora of approaches that aim to improve the VQA predictive accuracy. Most of them comprise three major components: (i) independent representation learning of images and questions; (ii) feature fusion so the model can use information from both sources to answer visual questions; and (iii) the generation of the correct answer in natural language. With so many approaches being recently introduced, it became unclear the real contribution of each component for the ultimate performance of the model. The main goal of this paper is to provide a comprehensive analysis regarding the impact of each component in VQA models. Our extensive set of experiments cover both visual and textual elements, as well as the combination of these representations in form of fusion and attention mechanisms. Our major contribution is to identify core components for training VQA models so as to maximize their predictive performance.


title: Development of modeling and control strategies for an approximated Gaussian process

abstract: The Gaussian process (GP) model, which has been extensively applied as priors of functions, has demonstrated excellent performance. The specification of a large number of parameters affects the computational efficiency and the feasibility of implementation of a control strategy. We propose a linear model to approximate GPs; this model expands the GP model by a series of basis functions. Several examples and simulation studies are presented to demonstrate the advantages of the proposed method. A control strategy is provided with the proposed linear model.


title: A novel route to cyclic dominance in voluntary social dilemmas

abstract: Cooperation is the backbone of modern human societies, making it a priority to understand how successful cooperation-sustaining mechanisms operate. Cyclic dominance, a non-transitive setup comprising at least three strategies wherein the first strategy overrules the second which overrules the third which, in turn, overrules the first strategy, is known to maintain bio-diversity, drive competition between bacterial strains, and preserve cooperation in social dilemmas. Here, we present a novel route to cyclic dominance in voluntary social dilemmas by adding to the traditional mix of cooperators, defectors, and loners, a fourth player type, risk-averse hedgers, who enact tit-for-tat upon paying a hedging cost to avoid being exploited. When this cost is sufficiently small, cooperators, defectors, and hedgers enter a loop of cyclic dominance that preserves cooperation even under the most adverse conditions. In contrast, when the hedging cost is large, hedgers disappear, consequently reverting to the traditional interplay of cooperators, defectors, and loners. In the interim region of hedging costs, complex evolutionary dynamics ensues, prompting transitions between states with two, three, or four competing strategies. Our results thus reveal that voluntary participation is but one pathway to sustained cooperation via cyclic dominance.


title: Analysis of Dutch Master Paintings with Convolutional Neural Networks

abstract: Trained on the works of an artist under study and visually comparable works of other artists, convolutional neural networks can identify forgeries and provide attributions. They can also assign classification probabilities within a painting, revealing mixed authorship and identifying regions painted by different hands.


title: A Scalable Photonic Computer Solving the Subset Sum Problem

abstract: The subset sum problem is a typical NP-complete problem that is hard to solve efficiently in time due to the intrinsic superpolynomial-scaling property. Increasing the problem size results in a vast amount of time consuming in conventionally available computers. Photons possess the unique features of extremely high propagation speed, weak interaction with environment and low detectable energy level, therefore can be a promising candidate to meet the challenge by constructing an a photonic computer computer. However, most of optical computing schemes, like Fourier transformation, require very high operation precision and are hard to scale up. Here, we present a chip built-in photonic computer to efficiently solve the subset sum problem. We successfully map the problem into a waveguide network in three dimensions by using femtosecond laser direct writing technique. We show that the photons are able to sufficiently dissipate into the networks and search all the possible paths for solutions in parallel. In the case of successive primes the proposed approach exhibits a dominant superiority in time consumption even compared with supercomputers. Our results confirm the ability of light to realize a complicated computational function that is intractable with conventional computers, and suggest the subset sum problem as a good benchmarking platform for the race between photonic and conventional computers on the way towards "photonic supremacy".


title: Towards Energy Positive Sensing using Kinetic Energy Harvesters

abstract: Conventional systems for motion context detection rely on batteries to provide the energy required for sampling a motion sensor. Batteries, however, have limited capacity and, once depleted, have to be replaced or recharged. Kinetic Energy Harvesting (KEH) allows to convert ambient motion and vibration into usable electricity and can enable batteryless, maintenance free operation of motion sensors. The signal from a KEH transducer correlates with the underlying motion and may thus directly be used for context detection, saving space, cost and energy by omitting the accelerometer. Previous work uses the open circuit or the capacitor voltage for sensing without using the harvested energy to power a load. In this paper, we propose to use other sensing points in the KEH circuit that offer information rich sensing signals while the energy from the harvester is used to power a load. We systematically analyse multiple sensing signals available in different KEH architectures and compare their performance in a transport mode detection case study. To this end, we develop four hardware prototypes, conduct an extensive measurement campaign and use the data to train and evaluate different classifiers. We show that sensing the harvesting current signal from a transducer can be energy positive, delivering up to ten times as much power as it consumes for signal acquisition, while offering comparable detection accuracy to the accelerometer signal for most of the considered transport modes.


title: Weak-Coupling, Strong-Coupling and Large-Order Parametrization of the Hypergeometric-Meijer Approximants

abstract: Without Borel or Pad$\acute{e}$ techniques, we show that for a divergent series with $n!$ large-order growth factor, the set of Hypergeometric series $_{k+1}F_{k-1}$ represents suitable approximants for which there exist no free parameters. The divergent $_{k+1}F_{k-1}$ series are then resummed via their representation in terms of the Meijer-G function. The choice of $_{k+1}F_{k-1}$ accelerates the convergence even with only weak-coupling information as input. For more acceleration of the convergence, we employ the strong-coupling and large-order information. We obtained a new constraint that relates the difference of numerator and denominator parameters in the Hypergeometric approximant to one of the large-order parameters. To test the validity of that constraint, we employed it to obtain the exact partition function of the zero-dimensional $\phi^4$ scalar field theory. The algorithm is also applied for the resummation of the ground state energies of $\phi_{0+1}^{4}$ and $i\phi_{0+1}^{3}$ scalar field theories. We get accurate results for the whole coupling space and the precision is improved systematically in using higher orders. Precise results for the critical exponents of the $O(4)$-symmetric field model in three dimensions have been obtained from resummation of the recent six-loops order of the corresponding perturbation series. The recent seven-loops order for the $\beta$-function of the $\phi^{4}_{3+1}$ field theory has been resummed which shows non-existence of fixed points. The first resummation result of the seven-loop series representing the fractal dimension of the two-dimensional self-avoiding polymer is presented here where we get a very accurate value of $d_f=1.3307$ compared to its exact value ($4/3\approx1.3333$).


title: Deep Representation Learning for Dynamical Systems Modeling

abstract: Proper states' representations are the key to the successful dynamics modeling of chaotic systems. Inspired by recent advances of deep representations in various areas such as natural language processing and computer vision, we propose the adaptation of the state-of-art Transformer model in application to the dynamical systems modeling. The model demonstrates promising results in trajectories generation as well as in the general attractors' characteristics approximation, including states' distribution and Lyapunov exponent.

categories: math.DS cs.LG cs.NA math.NA nlin.CD physics.comp-ph


title: Observation of a new baryon state in the $\Lambda_b^0\pi^+\pi^-$ mass spectrum

abstract: A new baryon state is observed in the $\Lambda_b^0\pi^+\pi^-$ mass spectrum with high significance using a data sample of $pp$ collisions, collected with the LHCb detector at centre-of-mass energies $\sqrt{s}=7, 8$ and 13TeV, corresponding to an integrated luminosity of 9fb$^{-1}$. The mass and natural width of the new state are measured to be \begin{eqnarray*} m & = & 6072.3 \pm 2.9 \pm 0.6 \pm 0.2 MeV\,, \Gamma & = & 72 \pm 11 \pm 2 MeV\,, \end{eqnarray*} where the first uncertainty is statistical and the second systematic. The third uncertainty for the mass is due to imprecise knowledge of the $\Lambda_b^0$ baryon mass. The new state is consistent with the first radial excitation of the $\Lambda_b^0$ baryon, the $\Lambda_b(2S)^0$ resonance. Updated measurements of the masses and the upper limits on the natural widths of the previously observed $\Lambda_b(5912)^0$ and $\Lambda_b(5920)^0$ states are also reported.


title: Least-squares Solutions of Eighth-order Boundary Value Problems using the Theory of Functional Connections

abstract: This paper shows how to obtain highly accurate solutions of eighth-order boundary-value problems of linear and nonlinear ordinary differential equations. The presented method is based on the Theory of Functional Connections, and is solved in two steps. First, the Theory of Functional Connections analytically embeds the differential equation constraints into a candidate function (called a $constrained \, expression$) that contains a function that the user is free to choose. This expression always satisfies the constraints, no matter what the free function is. Second, the free-function is expanded as a linear combination of orthogonal basis functions with unknown coefficients. The constrained expression (and its derivatives) are then substituted into the eighth-order differential equation, transforming the problem into an unconstrained optimization problem where the coefficients in the linear combination of orthogonal basis functions are the optimization parameters. These parameters are then found by linear/nonlinear least-squares. The solution obtained from this method is a highly accurate analytical approximation of the true solution. Comparisons with alternative methods appearing in literature validate the proposed approach.


title: New method for evaluating fitness using the waist-to-height ratio among Korean adults

abstract: Objectives: This paper introduces a new method for evaluating fitness and determining effective exercises for reducing abdominal obesity in Korean adults using the new kind of waist-to-height ratio (WHT2R). Materials and Methods: The body mass index (BMI), body shape index (ABSI), and two other waist-to-height ratios (WHT.5R, WHTR) were considered as possible contenders for the WHT2R. The correlation coefficients were calculated by correlation analyses between the indices and four fitness tests for comparison. The LMV (lump mean value) and FSPW (fitness sensitivity percentage to WHT2R) were introduced to find the association between fitness and abdominal obesity using a linear regression method and to use as an indicator for the effective control of abdominal obesity. Results: The WHT2R is more suitable for assessing fitness than the other indices and can be controlled effectively by decreasing the 10-m shuttle run score for both males and females. Conclusions: The WHT2R can be used as a possible contender for evaluating fitness and is an effective indicator for the reduction of abdominal obesity. The LMV and FSPW can be used to establish personal exercise aims.


title: Machine-Learning-Based Diagnostics of EEG Pathology

abstract: Machine learning (ML) methods have the potential to automate clinical EEG analysis. They can be categorized into feature-based (with handcrafted features), and end-to-end approaches (with learned features). Previous studies on EEG pathology decoding have typically analyzed a limited number of features, decoders, or both. For a I) more elaborate feature-based EEG analysis, and II) in-depth comparisons of both approaches, here we first develop a comprehensive feature-based framework, and then compare this framework to state-of-the-art end-to-end methods. To this aim, we apply the proposed feature-based framework and deep neural networks including an EEG-optimized temporal convolutional network (TCN) to the task of pathological versus non-pathological EEG classification. For a robust comparison, we chose the Temple University Hospital (TUH) Abnormal EEG Corpus (v2.0.0), which contains approximately 3000 EEG recordings. The results demonstrate that the proposed feature-based decoding framework can achieve accuracies on the same level as state-of-the-art deep neural networks. We find accuracies across both approaches in an astonishingly narrow range from 81--86\%. Moreover, visualizations and analyses indicated that both approaches used similar aspects of the data, e.g., delta and theta band power at temporal electrode locations. We argue that the accuracies of current binary EEG pathology decoders could saturate near 90\% due to the imperfect inter-rater agreement of the clinical labels, and that such decoders are already clinically useful, such as in areas where clinical EEG experts are rare. We make the proposed feature-based framework available open source and thus offer a new tool for EEG machine learning research.


title: Aliphatic hydrocarbon content of the interstellar dust

abstract: In the interstellar medium, carbon is distributed between the gas and solid phases. However, while about half of the expected carbon abundance can be accounted for in the gas phase, there is considerable uncertainty as to the amount incorporated in interstellar dust. The aliphatic component of the carbonaceous dust is of particular interest because it produces a significant 3.4 $\mu$m absorption feature when viewed against a background radiation source. The optical depth of the 3.4 $\mu$m absorption feature is related to the number of aliphatic carbon C-H bonds along the line of sight. It is possible to estimate the column density of carbon locked up in the aliphatic hydrocarbon component of interstellar dust from quantitative analysis of the 3.4 $\mu$m interstellar absorption feature providing that the absorption coefficient of aliphatic hydrocarbons incorporated in the interstellar dust is known. We generated laboratory analogues of interstellar dust by experimentally mimicking interstellar/circumstellar conditions. The resultant spectra of these dust analogues closely match those from astronomical observations. The measurements of the absorption coefficient of aliphatic hydrocarbons incorporated in the analogues were carried out by a procedure which combined FTIR and $^{13}$C NMR spectroscopies. The absorption coefficients obtained for both interstellar analogues were found to be in close agreement (4.76(8) $\times$ 10$^{-18}$ cm group$^{-1}$ and 4.69(14) $\times$ 10$^{-18}$ cm group$^{-1}$), less than half those obtained in studies using small aliphatic molecules. The results thus obtained permit direct calibration of the astronomical observations, providing rigorous estimates of the amount of aliphatic carbon in the interstellar medium.


title: High order derivatives of Boltzmann microcanonical entropy with an additional conserved quantity

abstract: In this article, using a known method, a computation is performed of the derivatives of the microcanonical entropy, with respect to the energy up to the 4-th order, using a Laplace transform technique, and adapted it to the case where the total momentum is conserved. The outcome of this computation answers a theoretical question concerning the description of thermodynamics associated with a Hamiltonian flow in presence of an additional conserved quantity besides energy. This is also of practical interest in numerical simulations of the microcanonical thermodynamics associated to classical Hamiltonian flows.


title: Band-limited maximizers for a Fourier extension inequality on the circle, II

abstract: Among the class of functions on the circle with Fourier modes up to degree 120, constant functions are the unique real-valued maximizers for the endpoint Tomas-Stein inequality.


title: EFX Exists for Three Agents

abstract: We study the problem of distributing a set of indivisible items among agents with additive valuations in a $\mathit{fair}$ manner. The fairness notion under consideration is Envy-freeness up to any item (EFX). Despite significant efforts by many researchers for several years, the existence of EFX allocations has not been settled beyond the simple case of two agents. In this paper, we show constructively that an EFX allocation always exists for three agents. Furthermore, we falsify the conjecture by Caragiannis et al. by showing an instance with three agents for which there is a partial EFX allocation (some items are not allocated) with higher Nash welfare than that of any complete EFX allocation.


title: Parameterizing Branch-and-Bound Search Trees to Learn Branching Policies

abstract: Branch and Bound (B&B) is the exact tree search method typically used to solve Mixed-Integer Linear Programming problems (MILPs). Learning branching policies for MILP has become an active research area, with most works proposing to imitate the strong branching rule and specialize it to distinct classes of problems. We aim instead at learning a policy that generalizes across heterogeneous MILPs: our main hypothesis is that parameterizing the state of the B&B search tree can aid this type of generalization. We propose a novel imitation learning framework, and introduce new input features and architectures to represent branching. Experiments on MILP benchmark instances clearly show the advantages of incorporating an explicit parameterization of the state of the search tree to modulate the branching decisions, in terms of both higher accuracy and smaller B&B trees. The resulting policies significantly outperform the current state-of-the-art method for "learning to branch" by effectively allowing generalization to generic unseen instances.


title: An Optimal Decentralized $(\Delta + 1)$-Coloring Algorithm

abstract: Consider the following simple coloring algorithm for a graph on $n$ vertices. Each vertex chooses a color from $\{1, \dotsc, \Delta(G) + 1\}$ uniformly at random. While there exists a conflicted vertex choose one such vertex uniformly at random and recolor it with a randomly chosen color. This algorithm was introduced by Bhartia et al. [MOBIHOC'16] for channel selection in WIFI-networks. We show that this algorithm always converges to a proper coloring in expected $O(n \log \Delta)$ steps, which is optimal and proves a conjecture of Chakrabarty and Supinski [SOSA'20].


title: Symmetry classification of scalar Ito equations with multiplicative noise

abstract: We provide a symmetry classification of scalar stochastic equations with multiplicative noise. These equations can be integrated by means of the Kozlov procedure, by passing to symmetry adapted variables.


title: Over-the-Air Adversarial Flickering Attacks against Video Recognition Networks

abstract: Deep neural networks for video classification, just like image classification networks, may be subjected to adversarial manipulation. The main difference between image classifiers and video classifiers is that the latter usually use temporal information contained within the video. In this work we present a manipulation scheme for fooling video classifiers by introducing a flickering temporal perturbation that in some cases may be unnoticeable by human observers and is implementable in the real world. After demonstrating the manipulation of action classification of single videos, we generalize the procedure to make universal adversarial perturbation, achieving high fooling ratio. In addition, we generalize the universal perturbation and produce a temporal-invariant perturbation, which can be applied to the video without synchronizing the perturbation to the input. The attack was implemented on several target models and the transferability of the attack was demonstrated. These properties allow us to bridge the gap between simulated environment and real-world application, as will be demonstrated in this paper for the first time for an over-the-air flickering attack.


title: Effective Floquet Hamiltonians for periodically-driven twisted bilayer graphene

abstract: We derive effective Floquet Hamiltonians for twisted bilayer graphene driven by circularly polarized light in two different regimes beyond the weak-drive, high frequency regime. First, we consider a driving protocol relevant for experiments with frequencies smaller than the bandwidth and weak amplitudes and derive an effective Hamiltonian, which through a symmetry analysis, provides analytical insight into the rich effects of the drive. We find that circularly polarized light at low frequencies can selectively decrease the strength of AA-type interlayer hopping while leaving the AB-type unaffected. Then, we consider the intermediate frequency, and intermediate-strength drive regime. We provide a compact and accurate effective Hamiltonian which we compare with the Van Vleck expansion and demonstrate that it provides a significantly improved representation of the exact quasienergies. Finally, we discuss the effect of the drive on the symmetries, Fermi velocity and the gap of the Floquet flat bands.


title: A $\mathcal{C}^k$-Seeley-Extension-Theorem for Bastiani's Differential Calculus

abstract: We generalize a classical extension result by Seeley in the context of Bastiani's differential calculus to infinite dimensions. The construction follows Seeley's original approach, but is significantly more involved as not only $C^k$-maps (for $k\in \mathbb{N}\cup\{\infty\}$) on (subsets of) half spaces are extended, but also continuous extensions of their differentials to some given piece of boundary of the domains under consideration. A further feature of the generalization is that we construct families of extension operators (instead of only one single extension operator) that fulfill certain compatibility (and continuity) conditions. Various applications are discussed as well.


title: Wi-Fi Channel Saturation as a Mechanism to Improve Passive Capture of Bluetooth Through Channel Usage Restriction

abstract: Bluetooth is a short-range wireless technology that provides audio and data links between personal smartphones and playback devices, such as speakers, headsets and car entertainment systems. Since its introduction in 2001, security researchers have suggested that the protocol is weak, and prone to a variety of attacks against its authentication, link management and encryption schemes. Key researchers in the field have suggested that reliable passive sniffing of Bluetooth traffic would enable the practical application of a range of currently hypothesised attacks. Restricting Bluetooth's frequency hopping behaviour by manipulation of the available channels, in order to make brute force attacks more effective has been a frequently proposed avenue of future research from the literature. This paper has evaluated the proposed approach in a series of experiments using the software defined radio tools and custom hardware developed by the Ubertooth project. The work concludes that the mechanism suggested by previous researchers may not deliver the proposed improvements, but describes an as yet undocumented interaction between Bluetooth and Wi-Fi technologies which may provide a Denial of Service attack mechanism.


title: Effect of graphene and carbon-nitride nanofillers on the thermal transport properties of polymer nanocomposites: A combined molecular dynamics and finite element study

abstract: Low thermal conductivity of polymers, which is one of the considerable drawbacks of commonly used composite structures, has been the focus of many researchers aiming to achieve high-performance polymer-based nanocomposites through the inclusion of highly thermally conductive fillers inside the polymer matrices. Thus, in the present study, a multiscale scheme using non-equilibrium molecular dynamics (NEMD) and finite element (FE) method is developed to explore the impact of different nano-sized fillers (carbon-nitride and graphene) on the effective thermal conductivity of polyethylene-based nanocomposites. We show that the thermal conductivity of amorphous polyethylene at room temperature using the reactive bond order (REBO) interatomic potential is nearly 0.36 0.05W/mK. Also, the atomistic results predict that, compared to the C3N and graphene nanosheets, the C2N nanofilm presents a much stronger interfacial thermal conductance (ITC) with polyethylene. Furthermore, the results indicate that the effective thermal conductivity values of C2N-polyethylene, C3N-polyethylene, and graphene-polyethylene nanocomposite, at constant volume fractions of 1%, are about 0.47, 0.56, and 0.74 W/mK, respectively. In other words, the results of our models reveal that the thermal conductivity of fillers is the dominant factor that defines the effective thermal conductivity of nanocomposites.


title: Classification of Canonical Del Pezzo Orders

abstract: We classify del Pezzo non-commutative surfaces that are finite over their centres and have no worse than canonical singularities. Using the minimal model program, we introduce the minimal model of such surfaces. We first classify the minimal models and then give the classification of these surfaces in general. This presents a complementary result and method to the classification of del Pezzo orders over projective surfaces given by Chan and Kulkarni in 2003


title: Parallel Batch-dynamic Trees via Change Propagation

abstract: The dynamic trees problem is to maintain a forest subject to edge insertions and deletions while facilitating queries such as connectivity, path weights, and subtree weights. Dynamic trees are a fundamental building block of a large number of graph algorithms. Although traditionally studied in the single-update setting, dynamic algorithms capable of supporting batches of updates are increasingly relevant today due to the emergence of rapidly evolving dynamic datasets. Since processing updates on a single processor is often unrealistic for large batches of updates, designing parallel batch-dynamic algorithms that achieve provably low span is important for many applications. In this work, we design the first work-efficient parallel batch-dynamic algorithm for dynamic trees that is capable of supporting both path queries and subtree queries, as well as a variety of non-local queries. To achieve this, we propose a framework for algorithmically dynamizing static round-synchronous algorithms that allows us to obtain parallel batch-dynamic algorithms with good bounds on their work and span. In our framework, the algorithm designer can apply the technique to any suitably defined static algorithm. We then obtain theoretical guarantees for algorithms in our framework by defining the notion of a computation distance between two executions of the underlying algorithm. Our dynamic trees algorithm is obtained by applying our dynamization framework to the parallel tree contraction algorithm of Miller and Reif, and then performing a novel analysis of the computation distance of this algorithm under batch updates. We show that $k$ updates can be performed in $O(k \log(1+n/k))$ work in expectation, which matches an existing algorithm of Tseng et al. while providing support for a substantially larger number of queries and applications.


title: Rigidity, counting and equidistribution of quaternionic Cartan chains

abstract: We prove an analog of Cartan's theorem, saying that the chain-preserving transformations of the boundary of the quaternionic hyperbolic spaces are projective transformations. We give a counting and equidistribution result for the orbits of arithmetic chains in the quaternionic Heisenberg group.


title: Recursed is not Recursive: A Jarring Result

abstract: Recursed is a 2D puzzle platform video game featuring treasure chests that, when jumped into, instantiate a room that can later be exited (similar to function calls), optionally generating a jar that returns back to that room (similar to continuations). We prove that Recursed is RE-complete and thus undecidable (not recursive) by a reduction from the Post Correspondence Problem. Our reduction is "practical": the reduction from PCP results in fully playable levels that abide by all constraints governing levels (including the 15x20 room size) designed for the main game. Our reduction is also "efficient": a Turing machine can be simulated by a Recursed level whose size is linear in the encoding size of the Turing machine and whose solution length is polynomial in the running time of the Turing machine.


title: Tan-concavity property for Lagrangian phase operators and applications to the tangent Lagrangian phase flow

abstract: We explore the tan-concavity of the Lagrangian phase operator for the study of the deformed Hermitian Yang-Mills (dHYM) metrics. This new property compensates for the lack of concavity of the Lagrangian phase operator as long as the metric is almost calibrated. As an application, we introduce the tangent Lagrangian phase flow (TLPF) on the space of almost calibrated $(1,1)$-forms that fits into the GIT framework for dHYM metrics recently discovered by Collins-Yau. The TLPF has some special properties that are not seen for the line bundle mean curvature flow (i.e. the mirror of the Lagrangian mean curvature flow for graphs). We show that the TLPF starting from any initial data exists for all positive time. Moreover, we show that the TLPF converges smoothly to a dHYM metric assuming the existence of a $C$-subsolution, which gives a new proof for the existence of dHYM metrics in the highest branch.


title: Inferring the flow properties of epithelial tissues from their geometry

abstract: Amorphous materials exhibit complex material proprteties with strongly nonlinear behaviors. Below a yield stress they behave as plastic solids, while they start to yield above a critical stress $\Sigma_c$. A key quantity controlling plasticity which is, however, hard to measure is the density $P(x)$ of weak spots, where $x$ is the additional stress required for local plastic failure. In the thermodynamic limit $P(x)\sim x^\theta$ is singular at $x= 0$ in the solid phase below the yield stress $\Sigma_c$. This singularity is related to the presence of system spannig avalanches of plastic events. Here we address the question if the density of weak spots and the flow properties of a material can be determined from the geometry of an amporphous structure alone. We show that a vertex model for cell packings in tissues exhibits the phenomenology of plastic amorphous systems. As the yield stress is approached from above, the strain rate vanishes and the avalanches size $S$ and their duration $\tau$ diverge. We then show that in general, in materials where the energy functional depend on topology, the value $x$ is proportional to the length $L$ of a bond that vanishes in a plastic event. For this class of models $P(x)$ is therefore readily measurable from geometry alone. Applying this approach to a quantification of the cell packing geometry in the developing wing epithelium of the fruit fly, we find that in this tissue $P(L)$ exhibits a power law with exponents similar to those found numerically for a vertex model in its solid phase. This suggests that this tissue exhibits plasticity and non-linear material properties that emerge from collective cell behaviors and that these material properties govern developmental processes. Our approach based on the relation between topology and energetics suggests a new route to outstanding questions associated with the yielding transition.


title: Hyperfine and quadrupole interactions for Dy isotopes in DyPc$_2$ molecules

abstract: Nuclear spin levels play an important role in understanding magnetization dynamics and implementation and control of quantum bits in lanthanide-based single-molecule magnets. We investigate the hyperfine and nuclear quadrupole interactions for $^{161}$Dy and $^{163}$Dy nucleus in anionic DyPc$_2$ (Pc=phthalocyanine) single-molecule magnets, using multiconfigurational ab-initio methods (beyond density-functional theory) including spin-orbit interaction. The two isotopes of Dy are chosen because the others have zero nuclear spin. Both isotopes have the nuclear spin $I=5/2$, although the magnitude and sign of the nuclear magnetic moment differ from each other. The large energy gap between the electronic ground and first-excited Kramers doublets, allows us to map the microscopic hyperfine and quadrupole interaction Hamiltonian onto an effective Hamiltonian with an electronic pseudo-spin $S_{\rm eff}=1/2$ that corresponds to the ground Kramers doublet. Our ab-initio calculations show that the coupling between the nuclear spin and electronic orbital angular momentum contributes the most to the hyperfine interaction and that both the hyperfine and nuclear quadrupole interactions for $^{161}$Dy and $^{163}$Dy nucleus are much smaller than those for $^{159}$Tb nucleus in TbPc$_2$ single-molecule magnets. The calculated separations of the electronic-nuclear levels are comparable to experimental data reported for $^{163}$DyPc$_2$. We demonstrate that hyperfine interaction for Dy Kramers ion leads to tunnel splitting (or quantum tunneling of magnetization) at zero field. This effect does not occur for TbPc$_2$ single-molecule magnets. The magnetic field values of the avoided level crossings for $^{161}$DyPc$_2$ and $^{163}$DyPc$_2$ are found to be noticeably different, which can be observed from experiment.


title: On the Convergence Theory of Debiased Model-Agnostic Meta-Reinforcement Learning

abstract: We consider Model-Agnostic Meta-Learning (MAML) methods for Reinforcement Learning (RL) problems, where the goal is to find a policy using data from several tasks represented by Markov Decision Processes (MDPs) that can be updated by one step of stochastic policy gradient for the realized MDP. In particular, using stochastic gradients in MAML update steps is crucial for RL problems since computation of exact gradients requires access to a large number of possible trajectories. For this formulation, we propose a variant of the MAML method, named Stochastic Gradient Meta-Reinforcement Learning (SG-MRL), and study its convergence properties. We derive the iteration and sample complexity of SG-MRL to find an $\epsilon$-first-order stationary point, which, to the best of our knowledge, provides the first convergence guarantee for model-agnostic meta-reinforcement learning algorithms. We further show how our results extend to the case where more than one step of stochastic policy gradient method is used at test time. Finally, we empirically compare SG-MRL and MAML in several deep RL environments.


title: Towards a realistic GaAs-spin qubit device for a classical error-corrected quantum memory

abstract: Based on numerically-optimized real-device gates and parameters we study the performance of the phase-flip (repetition) code on a linear array of Gallium Arsenide (GaAs) quantum dots hosting singlet-triplet qubits. We first examine the expected performance of the code using simple error models of circuit-level and phenomenological noise, reporting, for example, a circuit-level depolarizing noise threshold of approximately 3%. We then perform density-matrix simulations using a maximum-likelihood and minimum-weight matching decoder to study the effect of real-device dephasing, read-out error, quasi-static as well as fast gate noise. Considering the trade-off between qubit read-out error and dephasing time (T2) over measurement time, we identify a sub-threshold region for the phase-flip code which lies within experimental reach.


title: Flexible non-parametric regression models for compositional data

abstract: Compositional data arise in many real-life applications and versatile methods for properly analyzing this type of data in the regression context are needed. When parametric assumptions do not hold or are difficult to verify, non-parametric regression models can provide a convenient alternative method for prediction. To this end, we consider an extension to the classical $k$--$NN$ regression, termed $\alpha$--$k$--$NN$ regression, that yields a highly flexible non-parametric regression model for compositional data through the use of the $\alpha$-transformation. Unlike many of the recommended regression models for compositional data, zeros values (which commonly occur in practice) are not problematic and they can be incorporated into the proposed models without modification. Extensive simulation studies and real-life data analyses highlight the advantage of using these non-parametric regressions for complex relationships between the compositional response data and Euclidean predictor variables. Both suggest that $\alpha$--$k$--$NN$ regression can lead to more accurate predictions compared to current regression models which assume a, sometimes restrictive, parametric relationship with the predictor variables. In addition, the $\alpha$--$k$--$NN$ regression, in contrast to current regression techniques, enjoys a high computational efficiency rendering it highly attractive for use with large scale, massive, or big data.


title: Regret Bounds for Discounted MDPs

abstract: Reinforcement learning (RL) has traditionally been understood from an episodic perspective; the concept of non-episodic RL, where there is no restart and therefore no reliable recovery, remains elusive. A fundamental question in non-episodic RL is how to measure the performance of a learner and derive algorithms to maximize such performance. Conventional wisdom is to maximize the difference between the average reward received by the learner and the maximal long-term average reward. In this paper, we argue that if the total time budget is relatively limited compared to the complexity of the environment, such comparison may fail to reflect the finite-time optimality of the learner. We propose a family of measures, called $\gamma$-regret, which we believe to better capture the finite-time optimality. We give motivations and derive lower and upper bounds for such measures. Note: A follow-up work (arXiv:2010.00587) has improved both our lower and upper bound, the gap is now closed at $\tilde{\Theta}\left(\frac{\sqrt{SAT}}{(1 - \gamma)^{\frac{1}{2}}}\right)$.


title: List-Decodable Subspace Recovery: Dimension Independent Error in Polynomial Time

abstract: In list-decodable subspace recovery, the input is a collection of $n$ points $\alpha n$ (for some $\alpha \ll 1/2$) of which are drawn i.i.d. from a distribution $\mathcal{D}$ with a isotropic rank $r$ covariance $\Pi_*$ (the \emph{inliers}) and the rest are arbitrary, potential adversarial outliers. The goal is to recover a $O(1/\alpha)$ size list of candidate covariances that contains a $\hat{\Pi}$ close to $\Pi_*$. Two recent independent works (Raghavendra-Yau, Bakshi-Kothari 2020) gave the first efficient algorithm for this problem. These results, however, obtain an error that grows with the dimension (linearly in [RY] and logarithmically in BK) at the cost of quasi-polynomial running time) and rely on \emph{certifiable anti-concentration} - a relatively strict condition satisfied essentially only by the Gaussian distribution. In this work, we improve on these results on all three fronts: \emph{dimension-independent} error via a faster fixed-polynomial running time under less restrictive distributional assumptions. Specifically, we give a $poly(1/\alpha) d^{O(1)}$ time algorithm that outputs a list containing a $\hat{\Pi}$ satisfying $\|\hat{\Pi} -\Pi_*\|_F \leq O(1/\alpha)$. Our result only needs $\mathcal{D}$ to have \emph{certifiably hypercontractive} degree 2 polynomials. As a result, in addition to Gaussians, our algorithm applies to the uniform distribution on the hypercube and $q$-ary cubes and arbitrary product distributions with subgaussian marginals. Prior work (Raghavendra and Yau, 2020) had identified such distributions as potential hard examples as such distributions do not exhibit strong enough anti-concentration. When $\mathcal{D}$ satisfies certifiable anti-concentration, we obtain a stronger error guarantee of $\|\hat{\Pi}-\Pi_*\|_F \leq \eta$ for any arbitrary $\eta > 0$ in $d^{O(poly(1/\alpha) + \log (1/\eta))}$ time.


title: Steering ultracold reactions through long-lived transient intermediates

abstract: Controlling the pathways and outcomes of reactions is a broadly pursued goal in chemistry. In gas phase reactions, this is typically achieved by manipulating the properties of the reactants, including their translational energy, orientation, and internal quantum state. In contrast, here we influence the pathway of a reaction via its intermediate complex, which is generally too short-lived to be affected by external processes. In particular, the ultracold preparation of potassium-rubidium (KRb) reactants leads to a long-lived intermediate complex (K$_2$Rb$_2^*$), which allows us to steer the reaction away from its nominal ground-state pathway onto a newly identified excited-state pathway using a laser source at 1064 nm, a wavelength commonly used to confine ultracold molecules. Furthermore, by monitoring the change in the complex population after the sudden removal of the excitation light, we directly measure the lifetime of the complex to be $360 \pm 30$ ns, in agreement with our calculations based on the Rice-Ramsperger-Kassel-Marcus (RRKM) statistical theory. Our results shed light on the origin of the two-body loss widely observed in ultracold molecule experiments. Additionally, the long complex lifetime, coupled with the observed photo-excitation pathway, opens up the possibility to spectroscopically probe the structure of the complex with high resolution, thus elucidating the reaction dynamics.


title: Online Learning of the Kalman Filter with Logarithmic Regret

abstract: In this paper, we consider the problem of predicting observations generated online by an unknown, partially observed linear system, which is driven by stochastic noise. For such systems the optimal predictor in the mean square sense is the celebrated Kalman filter, which can be explicitly computed when the system model is known. When the system model is unknown, we have to learn how to predict observations online based on finite data, suffering possibly a non-zero regret with respect to the Kalman filter's prediction. We show that it is possible to achieve a regret of the order of $\mathrm{poly}\log(N)$ with high probability, where $N$ is the number of observations collected. Our work is the first to provide logarithmic regret guarantees for the widely used Kalman filter. This is achieved using an online least-squares algorithm, which exploits the approximately linear relation between future observations and past observations. The regret analysis is based on the stability properties of the Kalman filter, recent statistical tools for finite sample analysis of system identification, and classical results for the analysis of least-squares algorithms for time series. Our regret analysis can also be applied for state prediction of the hidden state, in the case of unknown noise statistics but known state-space basis. A fundamental technical contribution is that our bounds hold even for the class of non-explosive systems, which includes the class of marginally stable systems, which was an open problem for the case of online prediction under stochastic noise.


title: The Hodge realization of the polylogarithm on the product of multiplicative groups

abstract: The purpose of this article is to describe explicitly the polylogarithm class in absolute Hodge cohomology of a product of multiplicative groups, in terms of the Bloch-Wigner-Ramakrishnan polylogarithm functions. We will use the logarithmic Dolbeault complex defined by Burgos to calculate the corresponding absolute Hodge cohomology groups.


title: Time-inhomogeneous Gaussian stochastic volatility models: Large deviations and super roughness

abstract: We introduce time-inhomogeneous stochastic volatility models, in which the volatility is described by a nonnegative function of a Volterra type continuous Gaussian process that may have very rough sample paths. The main results obtained in the paper are sample path and small-noise large deviation principles for the log-price process in a time-inhomogeneous super rough Gaussian model under very mild restrictions. We use these results to study the asymptotic behavior of binary barrier options, exit time probability functions, and call options.


title: Joint distribution of eigenvalues of Hecke and Casimir operators for Hilbert Maass forms

abstract: Let $F$ be a totally real number field, $\mathcal{O}_{F}$ the ring of integers, $\mathfrak a$ and $\mathfrak I$ integral ideals and let $\chi$ a character of $\mathbb{A}_F^\times/F^\times$. For each prime ideal $\mathfrak{p}$ in $\mathcal{O}_{F}$, $\mathfrak{p}\nmid \mathfrak{I}$ let $T_{\mathfrak{p}}$ be the Hecke operator acting on the space of Maass cusp forms on $L^2(\mathrm{GL}_{2}(F) \backslash \mathrm{GL}_{2}(\mathbb{A}_F))$. In this paper we investigate the distribution of joint eigenvalues of the Hecke operators $T_{\mathfrak{p}}$ and of the Casimir operators $C_{j}$ in each archimedean component of $F$, for $1\le j \le d$. Summarily, we prove that given a family of expanding compact subsets $\Omega_{t}$ of $\mathbb{R}^{d}$ as $t \rightarrow \infty$, and an interval $I_{\mathfrak{p}} \subseteq [-2,2]$, then, if $\mathfrak{p} \nmid \mathfrak{I}$ is a square in the narrow class group of $F$, there are infinitely many automorphic forms having eigenvalues of $T_{\mathfrak{p}}$ in $I_{\mathfrak{p}}$, distributed on $I_{\mathfrak{p}}$ according to a polynomial multiple of the Sato-Tate measure and having their Casimir eigenvalues in the region $\Omega_{t}$, distributed according to the Plancherel measure.


title: Weighted Empirical Risk Minimization: Sample Selection Bias Correction based on Importance Sampling

abstract: We consider statistical learning problems, when the distribution $P'$ of the training observations $Z'_1,\; \ldots,\; Z'_n$ differs from the distribution $P$ involved in the risk one seeks to minimize (referred to as the test distribution) but is still defined on the same measurable space as $P$ and dominates it. In the unrealistic case where the likelihood ratio $\Phi(z)=dP/dP'(z)$ is known, one may straightforwardly extends the Empirical Risk Minimization (ERM) approach to this specific transfer learning setup using the same idea as that behind Importance Sampling, by minimizing a weighted version of the empirical risk functional computed from the 'biased' training data $Z'_i$ with weights $\Phi(Z'_i)$. Although the importance function $\Phi(z)$ is generally unknown in practice, we show that, in various situations frequently encountered in practice, it takes a simple form and can be directly estimated from the $Z'_i$'s and some auxiliary information on the statistical population $P$. By means of linearization techniques, we then prove that the generalization capacity of the approach aforementioned is preserved when plugging the resulting estimates of the $\Phi(Z'_i)$'s into the weighted empirical risk. Beyond these theoretical guarantees, numerical results provide strong empirical evidence of the relevance of the approach promoted in this article.


title: A Receding-Horizon MDP Approach for Performance Evaluation of Moving Target Defense in Networks

abstract: In this paper, we study the problem of assessing the effectiveness of a proactive defense-by-detection policy with a network-based moving target defense. We model the network system using a probabilistic attack graph--a graphical security model. Given a network system with a proactive defense strategy, an intelligent attacker needs to perform reconnaissance repeatedly to learn about the locations of intrusion detection systems and re-plan optimally to reach the target while avoiding detection. To compute the attacker's strategy for security evaluation, we develop a receding-horizon planning algorithm using a risk-sensitive Markov decision process with a time-varying reward function. Finally, we implement both defense and attack strategies in a synthetic network and analyze how the frequency of network randomization and the number of detection systems can influence the success rate of the attacker. This study provides insights for designing proactive defense strategies against online and multi-stage attacks by a resourceful attacker.


title: Multi-Agent Reinforcement Learning and Human Social Factors in Climate Change Mitigation

abstract: Many complex real-world problems, such as climate change mitigation, are intertwined with human social factors. Climate change mitigation, a social dilemma made difficult by the inherent complexities of human behavior, has an impact at a global scale. We propose applying multi-agent reinforcement learning (MARL) in this setting to develop intelligent agents that can influence the social factors at play in climate change mitigation. There are ethical, practical, and technical challenges that must be addressed when deploying MARL in this way. In this paper, we present these challenges and outline an approach to address them. Understanding how intelligent agents can be used to impact human social factors is important to prevent their abuse and can be beneficial in furthering our knowledge of these complex problems as a whole. The challenges we present are not limited to our specific application but are applicable to broader MARL. Thus, developing MARL for social factors in climate change mitigation helps address general problems hindering MARL's applicability to other real-world problems while also motivating discussion on the social implications of MARL deployment.


title: Universal Atom Interferometer Simulator -- Elastic Scattering Processes

abstract: In this article, we introduce a universal simulator covering all regimes of matter wave light-pulse elastic scattering. Applied to atom interferometry as a study case, this simulator solves the atom-light diffraction problem in the elastic case i.e. when the internal state of the atoms remains unchanged. Taking this perspective, the light-pulse beam splitting is interpreted as a space- and time-dependent external potential. In a shift from the usual approach based on a system of momentum-space ordinary differential equations, our position-space treatment is flexible and scales favourably for realistic cases where the light fields have an arbitrary complex spatial behaviour rather than being mere plane waves. Moreover, the numerical package we developed is effortlessly extended to the problem class of trapped and interacting geometries, which have no simple formulation in the usual framework of momentum-space ordinary differential equations. We check the validity of our model by revisiting several case studies relevant to the precision atom interferometry community. We retrieve analytical solutions when they exist and extend the analysis to more complex parameter ranges in a cross-regime fashion. The flexibility of the approach, the insight it gives, its numerical scalability and accuracy make it an exquisite tool to design, understand and quantitatively analyse metrology-oriented matter-wave interferometry experiments.


title: Self-explaining AI as an alternative to interpretable AI

abstract: The ability to explain decisions made by AI systems is highly sought after, especially in domains where human lives are at stake such as medicine or autonomous vehicles. While it is often possible to approximate the input-output relations of deep neural networks with a few human-understandable rules, the discovery of the double descent phenomena suggests that such approximations do not accurately capture the mechanism by which deep neural networks work. Double descent indicates that deep neural networks typically operate by smoothly interpolating between data points rather than by extracting a few high level rules. As a result, neural networks trained on complex real world data are inherently hard to interpret and prone to failure if asked to extrapolate. To show how we might be able to trust AI despite these problems we introduce the concept of self-explaining AI. Self-explaining AIs are capable of providing a human-understandable explanation of each decision along with confidence levels for both the decision and explanation. For this approach to work, it is important that the explanation actually be related to the decision, ideally capturing the mechanism used to arrive at the explanation. Finally, we argue it is important that deep learning based systems include a "warning light" based on techniques from applicability domain analysis to warn the user if a model is asked to extrapolate outside its training distribution. For a video presentation of this talk see https://www.youtube.com/watch?v=Py7PVdcu7WY& .