title: Machine Learning for Error Correction with Natural Redundancy

abstract: The persistent storage of big data requires advanced error correction schemes. The classical approach is to use error correcting codes (ECCs). This work studies an alternative approach, which uses the redundancy inherent in data itself for error correction. This type of redundancy, called Natural Redundancy (NR), is abundant in many types of uncompressed or even compressed files. The complex structures of Natural Redundancy, however, require machine learning techniques. In this paper, we study two fundamental approaches to use Natural Redundancy for error correction. The first approach, called Representation-Oblivious, requires no prior knowledge on how data are represented or compressed in files. It uses deep learning to detect file types accurately, and then mine Natural Redundancy for soft decoding. The second approach, called Representation-Aware, assumes that such knowledge is known and uses it for error correction. Furthermore, both approaches combine the decoding based on NR and ECCs. Both experimental results and analysis show that such an integrated scheme can substantially improve the error correction performance.


title: Deep Reinforcement Learning meets Graph Neural Networks: exploring a routing optimization use case

abstract: Deep Reinforcement Learning (DRL) has shown a dramatic improvement in decision-making and automated control problems. Consequently, DRL represents a promising technique to efficiently solve many relevant optimization problems (e.g., routing) in self-driving networks. However, existing DRL-based solutions applied to networking fail to generalize, which means that they are not able to operate properly when applied to network topologies not observed during training. This lack of generalization capability significantly hinders the deployment of DRL technologies in production networks. This is because state-of-the-art DRL-based networking solutions use standard neural networks (e.g., fully connected, convolutional), which are not suited to learn from information structured as graphs. In this paper, we integrate Graph Neural Networks (GNN) into DRL agents and we design a problem specific action space to enable generalization. GNNs are Deep Learning models inherently designed to generalize over graphs of different sizes and structures. This allows the proposed GNN-based DRL agent to learn and generalize over arbitrary network topologies. We test our DRL+GNN agent in a routing optimization use case in optical networks and evaluate it on 180 and 232 unseen synthetic and real-world network topologies respectively. The results show that the DRL+GNN agent is able to outperform state-of-the-art solutions in topologies never seen during training.


title: Pathways towards 30% efficient single-junction perovskite solar cells and the role of mobile ions

abstract: Perovskite semiconductors have demonstrated outstanding external luminescence quantum yields, enabling high power conversion efficiencies (PCE). However, the precise conditions to advance to an efficiency regime above monocrystalline silicon cells are not well understood. Here, we establish a simulation model that well describes efficient p-i-n type perovskite solar cells and a range of different experiments. We then study important device and material parameters and we find that an efficiency regime of 30% can be unlocked by optimizing the built-in potential across the perovskite layer by using either highly doped (10^19 cm-3), thick transport layers (TLs) or ultrathin undoped TLs, e.g. self-assembled monolayers. Importantly, we only consider parameters that have been already demonstrated in recent literature, that is a bulk lifetime of 10 us, interfacial recombination velocities of 10 cm/s, a perovskite bandgap of 1.5 eV and an EQE of 95%. A maximum efficiency of 31% is predicted for a bandgap of 1.4 eV. Finally, we demonstrate that the relatively high mobile ion density does not represent a significant barrier to reach this efficiency regime. Thus, the results of this paper promise continuous PCE improvements until perovskites may become the most efficient single-junction solar cell technology in the near future.


title: On the Global Optima of Kernelized Adversarial Representation Learning

abstract: Adversarial representation learning is a promising paradigm for obtaining data representations that are invariant to certain sensitive attributes while retaining the information necessary for predicting target attributes. Existing approaches solve this problem through iterative adversarial minimax optimization and lack theoretical guarantees. In this paper, we first study the "linear" form of this problem i.e., the setting where all the players are linear functions. We show that the resulting optimization problem is both non-convex and non-differentiable. We obtain an exact closed-form expression for its global optima through spectral learning and provide performance guarantees in terms of analytical bounds on the achievable utility and invariance. We then extend this solution and analysis to non-linear functions through kernel representation. Numerical experiments on UCI, Extended Yale B and CIFAR-100 datasets indicate that, (a) practically, our solution is ideal for "imparting" provable invariance to any biased pre-trained data representation, and (b) empirically, the trade-off between utility and invariance provided by our solution is comparable to iterative minimax optimization of existing deep neural network based approaches. Code is available at https://github.com/human-analysis/Kernel-ARL


title: Celestial Operator Products of Gluons and Gravitons

abstract: The operator product expansion (OPE) on the celestial sphere of conformal primary gluons and gravitons is studied. Asymptotic symmetries imply recursion relations between products of operators whose conformal weights differ by half-integers. It is shown, for tree-level Einstein-Yang-Mills theory, that these recursion relations are so constraining that they completely fix the leading celestial OPE coefficients in terms of the Euler beta function. The poles in the beta functions are associated with conformally soft currents.


title: Modeling Sequences with Quantum States: A Look Under the Hood

abstract: Classical probability distributions on sets of sequences can be modeled using quantum states. Here, we do so with a quantum state that is pure and entangled. Because it is entangled, the reduced densities that describe subsystems also carry information about the complementary subsystem. This is in contrast to the classical marginal distributions on a subsystem in which information about the complementary system has been integrated out and lost. A training algorithm based on the density matrix renormalization group (DMRG) procedure uses the extra information contained in the reduced densities and organizes it into a tensor network model. An understanding of the extra information contained in the reduced densities allow us to examine the mechanics of this DMRG algorithm and study the generalization error of the resulting model. As an illustration, we work with the even-parity dataset and produce an estimate for the generalization error as a function of the fraction of the dataset used in training.


title: Electronic Band Structure and Superconducting Properties of SnAs

abstract: We report comprehensive study of physical properties of the binary superconductor compound SnAs. The electronic band structure of SnAs was investigated using both angle-resolved photoemission spectroscopy (ARPES) in a wide binding energy range and density functional theory (DFT) within generalized gradient approximation (GGA). The DFT/GGA calculations were done including spin-orbit coupling for both bulk and (111) slab crystal structures. Comparison of the DFT/GGA band dispersions with ARPES data shows that (111) slab much better describes ARPES data than just bulk bands. Superconducting properties of SnAs were studied experimentally by specific heat, magnetic susceptibility, magnetotransport measurements and Andreev reflection spectroscopy. Temperature dependences of the superconducting gap and of the specific heat were found to be well consistent with those expected for the single band BCS superconductors with an isotropic s-wave order parameter. Despite spin-orbit coupling is present in SnAs, our data shows no signatures of a potential unconventional superconductivity, and the characteristic BCS ratio $2\Delta/T_c = 3.48 - 3.73$ is very close to the BCS value in the weak coupling limit.


title: Quantum error correction codes and absolutely maximally entangled states

abstract: For every stabiliser $N$-qudit absolutely maximally entangled state, we present a method for determining the stabiliser generators and logical operators of a corresponding quantum error correction code. These codes encode $k$ qudits into $N-k$ qudits, with $k\leq \left \lfloor{N/2} \right \rfloor$, where the local dimension $d$ is prime. We use these methods to analyse the concatenation of such quantum codes and link this procedure to entanglement swapping. Using our techniques, we investigate the spread of quantum information on a tensor network code formerly used as a toy model for the AdS/CFT correspondence. In this network, we show how corrections arise to the Ryu-Takayanagi formula in the case of entangled input state, and that the bound on the entanglement entropy of the boundary state is saturated for absolutely maximally entangled input states.


title: Gaze Gestures and Their Applications in human-computer interaction with a head-mounted display

abstract: A head-mounted display (HMD) is a portable and interactive display device. With the development of 5G technology, it may become a general-purpose computing platform in the future. Human-computer interaction (HCI) technology for HMDs has also been of significant interest in recent years. In addition to tracking gestures and speech, tracking human eyes as a means of interaction is highly effective. In this paper, we propose two UnityEyes-based convolutional neural network models, UEGazeNet and UEGazeNet*, which can be used for input images with low resolution and high resolution, respectively. These models can perform rapid interactions by classifying gaze trajectories (GTs), and a GTgestures dataset containing data for 10,200 "eye-painting gestures" collected from 15 individuals is established with our gaze-tracking method. We evaluated the performance both indoors and outdoors and the UEGazeNet can obtaine results 52\% and 67\% better than those of state-of-the-art networks. The generalizability of our GTgestures dataset using a variety of gaze-tracking models is evaluated, and an average recognition rate of 96.71\% is obtained by our method.


title: Bridging the Knowledge Gap: Enhancing Question Answering with World and Domain Knowledge

abstract: In this paper we present OSCAR (Ontology-based Semantic Composition Augmented Regularization), a method for injecting task-agnostic knowledge from an Ontology or knowledge graph into a neural network during pretraining. We evaluated the impact of including OSCAR when pretraining BERT with Wikipedia articles by measuring the performance when fine-tuning on two question answering tasks involving world knowledge and causal reasoning and one requiring domain (healthcare) knowledge and obtained 33:3%, 18:6%, and 4% improved accuracy compared to pretraining BERT without OSCAR and obtaining new state-of-the-art results on two of the tasks.


title: Designer Monte Carlo Simulation for Gross-Neveu Transition

abstract: In this manuscript, we study quantum criticality of Dirac fermions via large-scale numerical simulations, focusing on the Gross-Neveu-Yukawa(GNY) chiral-Ising quantum critical point with critical bosonic modes coupled with Dirac fermions. We show that finite-size effects at this quantum critical point can be efficiently minimized via model design, which maximizes the ultraviolet cutoff and at the same time places the bare control parameters closer to the nontrivial fixed point to better expose the critical region. Combined with the efficient self-learning quantum Monte Carlo algorithm, which enables non-local update of the bosonic field, we find that moderately-large system size (up to $16\times 16$) is already sufficient to produce robust scaling behavior and critical exponents.The conductance of the Dirac fermions is also calculated and its frequency dependence is found to be consistent with the scaling behavior predicted by the conformal field theory. The methods and model-design principles developed for this study can be generalized to other fermionic QCPs, and thus provide a promising direction for controlled studies of strongly-correlated itinerant systems.


title: H\"older kernel estimates for Robin operators and Dirichlet-to-Neumann operators

abstract: Consider the elliptic operator \[ A = - \sum_{k,l=1}^d \partial_k \, c_{kl} \, \partial_l + \sum_{k=1}^d a_k \, \partial_k - \sum_{k=1}^d \partial_k \, b_k + a_0 \] on a bounded connected open set $\Omega \subset {\bf R}^d$ with Lipschitz boundary conditions, where $c_{kl} \in L_\infty(\Omega,{\bf R})$ and $a_k,b_k,a_0 \in L_\infty(\Omega,{\bf C})$, subject to Robin boundary conditions $\partial_\nu u + \beta \, {\rm Tr}\, u = 0$, where $\beta \in L_\infty(\partial \Omega, {\bf C})$ is complex valued. Then we show that the kernel of the semigroup generated by $-A$ satisfies Gaussian estimates and H\"older Gaussian estimates. If all coefficients and the function $\beta$ are real valued, then we prove Gaussian lower bounds. Finally, if $\Omega$ is of class $C^{1+\kappa}$ with $\kappa > 0$, $c_{kl} = c_{lk}$ is H\"older continuous, $a_k = b_k = 0$ and $a_0$ is real valued, then we show that the kernel of the semigroup associated to the Dirichlet-to-Neumann operator corresponding to $A$ has H\"older Poisson bounds.


title: Nonperturbative theory of power spectrum in complex systems

abstract: The power spectrum analysis of spectral fluctuations in complex wave and quantum systems has emerged as a useful tool for studying their internal dynamics. In this paper, we formulate a nonperturbative theory of the power spectrum for complex systems whose eigenspectra -- not necessarily of the random-matrix-theory (RMT) type -- posses stationary level spacings. Motivated by potential applications in quantum chaology, we apply our formalism to calculate the power spectrum in a tuned circular ensemble of random $N \times N$ unitary matrices. In the limit of infinite-dimensional matrices, the exact solution produces a universal, parameter-free formula for the power spectrum, expressed in terms of a fifth Painlev\'e transcendent. The prediction is expected to hold universally, at not too low frequencies, for a variety of quantum systems with completely chaotic classical dynamics and broken time-reversal symmetry. On the mathematical side, our study brings forward a conjecture for a double integral identity involving a fifth Painlev\'e transcendent.

categories: math-ph cond-mat.dis-nn hep-th math.MP nlin.CD quant-ph


title: A new family of triangulations of $\mathbb{R}P^d$

abstract: We construct a family of PL triangulations of the $d$-dimensional real projective space $\mathbb{R}P^d$ on $\Theta((\frac{1+\sqrt{5}}{2})^{d+1})$ vertices for every $d\geq 1$. This improves a construction due to K\"{u}hnel on $2^{d+1}-1$ vertices.


title: Matrix Means and a Novel High-Dimensional Shrinkage Phenomenon

abstract: Many statistical settings call for estimating a population parameter, most typically the population mean, based on a sample of matrices. The most natural estimate of the population mean is the arithmetic mean, but there are many other matrix means that may behave differently, especially in high dimensions. Here we consider the matrix harmonic mean as an alternative to the arithmetic matrix mean. We show that in certain high-dimensional regimes, the harmonic mean yields an improvement over the arithmetic mean in estimation error as measured by the operator norm. Counter-intuitively, studying the asymptotic behavior of these two matrix means in a spiked covariance estimation problem, we find that this improvement in operator norm error does not imply better recovery of the leading eigenvector. We also show that a Rao-Blackwellized version of the harmonic mean is equivalent to a linear shrinkage estimator studied previously in the high-dimensional covariance estimation literature, while applying a similar Rao-Blackwellization to regularized sample covariance matrices yields a novel nonlinear shrinkage estimator. Simulations complement the theoretical results, illustrating the conditions under which the harmonic matrix mean yields an empirically better estimate.


title: Some geometric correspondences for homothetic navigation

abstract: In this paper, we provide conceptional explanations for the geodesic and Jacobi field correspondences for homothetic navigation, and then let them guide us to the shortcuts to some well known flag curvature and S-curvature formulas. They also help us directly see the local correspondence between isoparametric functions or isoparametric hypersurfaces, which generalizes the classification works of Q. He and her coworkers for isoparametric hypersurfaces in Randers space forms and Funk spaces.


title: Temperature-dependent magnetocrystalline anisotropy of rare earth/transition metal permanent magnets from first principles: The light RCo$_5$ (R=Y, La-Gd) intermetallics

abstract: Computational design of more efficient rare earth/transition metal (RE-TM) permanent magnets requires accurately calculating the magnetocrystalline anisotropy (MCA) at finite temperature, since this property places an upper bound on the coercivity. Here, we present a first-principles methodology to calculate the MCA of RE-TM magnets which fully accounts for the effects of temperature on the underlying electrons. The itinerant electron TM magnetism is described within the disordered local moment picture, and the localized RE-4f magnetism is described within crystal field theory. We use our model, which is free of adjustable parameters, to calculate the MCA of the RCo$_5$ (R=Y, La-Gd) magnet family for temperatures 0--600 K. We correctly find a huge uniaxial anisotropy for SmCo$_5$ (21.3 MJm$^{-3}$ at 300 K) and two finite temperature spin reorientation transitions for NdCo$_5$. The calculations also demonstrate dramatic valency effects in CeCo$_5$ and PrCo$_5$. Our calculations provide quantitative, first-principles insight into several decades of RE-TM experimental studies.


title: Real-time Phase Conjugation of Vector Vortex Beams

abstract: Vector vortex beams have played a fundamental role in the better understanding of coherence and polarization. They are described by spatially inhomogeneous polarization states, which present a rich optical mode structure that has attracted much attention for applications in optical communications, imaging, spectroscopy and metrology. However, this complex mode structure can be quite detrimental when propagation effects such as turbulence and birefringence perturb the beam. Optical phase conjugation has been proposed as a method to recover an optical beam from perturbations. Here we demonstrate full phase conjugation of vector vortex beams using three-wave mixing. Our scheme exploits a fast non-linear process that can be conveniently controlled via the pump beam. Our results pave the way for sophisticated, practical applications of vector beams.


title: On the Interplay Between Exposure Misclassification and Informative Cluster Size

abstract: In this paper we study the impact of exposure misclassification when cluster size is potentially informative (i.e., related to outcomes) and when misclassification is differential by cluster size. First, we show that misclassification in an exposure related to cluster size can induce informativeness when cluster size would otherwise be non-informative. Second, we show that misclassification that is differential by informative cluster size can not only attenuate estimates of exposure effects but even inflate or reverse the sign of estimates. To correct for bias in estimating marginal parameters, we propose two frameworks: (i) an observed likelihood approach for joint marginalized models of cluster size and outcomes and (ii) an expected estimating equations approach. Although we focus on estimating marginal parameters, a corollary is that the observed likelihood approach permits valid inference for conditional parameters as well. Using data from the Nurses Health Study II, we compare the results of the proposed correction methods when applied to motivating data on the multigenerational effect of in-utero diethylstilbestrol exposure on attention-deficit/hyperactivity disorder in 106,198 children of 47,450 nurses.


title: Non-Hermitian scattering on a tight-binding lattice

abstract: We analyze the scattering dynamics and spectrum of a quantum particle on a tight-binding lattice subject to a non-Hermitian (purely imaginary) local potential. The reflection, transmission and absorption coefficients are studied as a function of the strength of this absorbing potential. The system is found to have an exceptional point at a certain strength of the potential. Unusually, all (or nearly all) of the spectrum pairs up into mutually coalescing eigenstate pairs at this exceptional point. At large potential strengths, the absorption coefficient decreases and the effect of the imaginary potential is similar to that of a real potential. We quantify this similarity by utilizing properties of a localized eigenstate.


title: Machine learning and glioma imaging biomarkers

abstract: Aim: To review how machine learning (ML) is applied to imaging biomarkers in neuro-oncology, in particular for diagnosis, prognosis, and treatment response monitoring. Materials and Methods: The PubMed and MEDLINE databases were searched for articles published before September 2018 using relevant search terms. The search strategy focused on articles applying ML to high-grade glioma biomarkers for treatment response monitoring, prognosis, and prediction. Results: Magnetic resonance imaging (MRI) is typically used throughout the patient pathway because routine structural imaging provides detailed anatomical and pathological information and advanced techniques provide additional physiological detail. Using carefully chosen image features, ML is frequently used to allow accurate classification in a variety of scenarios. Rather than being chosen by human selection, ML also enables image features to be identified by an algorithm. Much research is applied to determining molecular profiles, histological tumour grade, and prognosis using MRI images acquired at the time that patients first present with a brain tumour. Differentiating a treatment response from a post-treatment-related effect using imaging is clinically important and also an area of active study (described here in one of two Special Issue publications dedicated to the application of ML in glioma imaging). Conclusion: Although pioneering, most of the evidence is of a low level, having been obtained retrospectively and in single centres. Studies applying ML to build neuro-oncology monitoring biomarker models have yet to show an overall advantage over those using traditional statistical methods. Development and validation of ML models applied to neuro-oncology require large, well-annotated datasets, and therefore multidisciplinary and multi-centre collaborations are necessary.


title: Beyond Fortune 500: Women in a Global Network of Directors

abstract: In many countries, the representation of women on corporate boards of directors has become a topic of intense political debate. Social networking plays a crucial role in the appointment to a board so that an informed debate requires knowing where women are located in the network of directors. One way to quantify the network is by studying the links created by serving on the same board and by joint appointments on multiple boards. We analyse a network of $\approx 320\,000$ board members of $36\,000$ companies traded on stock exchanges all over the world, focusing specifically on the position of women in the network. Women only have $\approx 9-13\%$ of all seats, but they are not marginalised. Applying metrics from social network analysis, we find that their influence is close to that of men. We do not find evidence to support previous claims that women play the role of "queen bees" that exclude other women from similar positions.


title: Decentralized Heading Control with Rate Constraints using Pulse-Coupled Oscillators

abstract: Decentralized heading control is crucial for robotic network operations such as surveillance, exploration, and cooperative construction. However, few results consider decentralized heading control when the speed of heading adjustment is restricted. In this paper, we propose a simple hybrid-dynamical model based on pulse-coupled oscillators for decentralized heading control in mobile robots while accounting for the constraint on the rate of heading change. The pulse-coupled oscillator model is effective in coordinating the phase of oscillator networks and hence is promising for robotic heading coordination given that both phase and heading evolve on the same one-dimensional torus. However, existing pulse-coupled oscillator results require the phase adjustment to be instantaneous, which cannot hold for robot heading adjustment due to physical limitations. We propose a generalization to the standard pulse-coupled oscillator model to allow for the phase to adjust at a finite rate, yet still have the oscillator network converge to the desired state, making our approach applicable to robotic heading coordination under rate constraints. We provide rigorous mathematical proof for the achievement of both synchronized and desynchronized heading relationships, and experimentally verify the results using extensive tests on a multi-robot platform.


title: Symmetry Breaking and Link Homologies I

abstract: Given a compact connected Lie group G endowed with root datum, and an element w in the corresponding Artin braid group for G, we describe a filtered G-equivariant stable homotopy type, up to a notion of quasi-equivalence. We call this homotopy type Strict Broken Symmetries, sB(w). As the name suggests, sB(w) is constructed from the stack of principal G-connections on a circle, whose symmetry is broken between consecutive arcs in a manner prescribed by a presentation of w. We show that sB(w) is independent of the choice of presentation of w, and also satisfies Markov type properties. Specializing to the case of the unitary group G = U(r), these properties imply that sB(w) is an invariant of the link L obtained by closing the r-stranded braid w. As such, we denote it by sB(L). In the follow up to this article, we will show that the construction of strict broken symmetries allows us to incorporate twistings. Under suitable conditions, U(r)-equivariant (twisted) cohomology theories EU(r) applied to sB(L) give rise to a spectral sequence of link invariants converging to the cohomology of the direct limit of the filtration of sB(L). For instance we describe Triply-graded link homology as the E2-term in the spectral sequence one obtains on applying Borel-equivariant singular cohomology HU(r) to sB(L). We also study a universal twist of HU(r). Here one recovers sl(n)-link homologies for any value of n (depending on the choice of specialization of the universal twist).


title: Symmetry Breaking and Link Homologies II

abstract: In the first part of this paper, we constructed a filtered U(r)-equivariant stable homotopy type called the spectrum of strict broken symmetries sB(L) of links L given by closing a braid with r strands. Evaluating this filtered spectrum on suitable U(r)-equivariant cohomology theories gives rise to a spectral sequence of link invariants that converges to the cohomology of the limiting spectrum. In this paper, we evaluate our construction on Borel equivariant singular cohomology HU(r). We show that the E_2-term of the spectral sequence is isomorphic to an unreduced verision of triply-graded link homology. More precisely, we show that the E_1-term of the spectral sequence is isomorphic to the Hochschild-homology of Soergel bimodules that was shown by M. Khovanov in to compute triply-graded link homology. We also set up the theory that allows for evaluating our construction on equivariant cohomologies that are twisted by adjoint-equivariant local systems on U(r). This allows us to apply Borel equivariant cohomology twisted by a universal power series p(x) with coefficients given by formal variables, and no constant term. The specialization of p(x) to x^n gives rise to a link homology that has recently been shown by T. Mej{\i}a Gomez to be isomorphic to sl(n)-link homology. In other words, the power series p(x) can be interpreted as the (differential of the) universal potential function with no linear term, in the language of matrix factorizations.


title: Surface composition and properties of Ganymede: Updates from ground-based observations with the near-infrared imaging spectrometer SINFONI/VLT/ESO

abstract: Ganymede's surface exhibits great geological diversity, with old dark terrains, expressed through the surface composition, which is known to be dominated by two constituents: H2O-ice and an unidentified darkening agent. In this paper, new investigations of the composition of Ganymede's surface at global scale are presented. The analyses are derived from the linear spectral modeling of a high spectral resolution dataset, acquired with the near-infrared ground-based integral field spectrometer SINFONI of the VLT. We find that the Oren-Nayar (1994) model, generalizing the Lambert's law for rough surfaces, produces excellent photometric corrections. Modeling confirms that Ganymede's surface composition is dominated by H2O-ice, mostly crystalline, as well as a darkening agent, but it also highlights the necessity of secondary species to better fit the measurements: sulfuric acid hydrate and salts. A latitudinal gradient and a hemispherical dichotomy are the strongest spatial patterns observed for the darkening agent, the H2O-ice, and the sulfuric acid: the darkening agent is the major compound at the equator and mid-latitudes, especially on the trailing hemisphere, while the H2O-ice and the sulfuric acid are mostly located at high latitudes and on the leading hemisphere. This anti-correlation is likely a consequence of the bombardment of the constituents in the Jovian magnetosphere which are more intense at higher latitudes. Furthermore, the modeling confirms that polar caps are enriched in small, fresh, H2O-ice grains while equatorial regions are composed of larger grains. Finally, the spatial distribution of the salts is neither related to the Jovian magnetospheric bombardment nor the craters. These species are mostly detected on bright grooved terrains surrounding darker areas. Endogenous processes, such as freezing of upwelling fluids in the ice shell, may explain this distribution.


title: Design and characterization of a single photoelectron calibration system for the NectarCAM camera of the medium-sized telescopes of the Cherenkov Telescope Array

abstract: In this work, we describe the optical properties of the single photoelectron (SPE) calibration system designed for NectarCAM, a camera proposed for the Medium Sized Telescopes (MST) of the Cherenkov Telescope Array (CTA). One of the goals of the SPE system, as integral part of the NectarCAM camera, consists in measuring with high accuracy the gain of its photo-detection chain. The SPE system is based on a white painted screen where light pulses are injected through a fishtail light guide from a dedicated flasher. The screen - placed 15 mm away from the focal plane - is mounted on an XY motorization that allows movements over all the camera plane. This allows in-situ measurements of the SPE spectra via a complete scan of the 1855 photo-multiplier tubes (PMTs) of NectarCAM. This calibration process will enable the reduction of the systematic uncertainties on the energy reconstruction of $\gamma$-rays coming from distant astronomical sources and detected by CTA.


title: Psychometric Analysis of Forensic Examiner Behavior

abstract: Forensic science often involves the comparison of crime-scene evidence to a known-source sample to determine if the evidence and the reference sample came from the same source. Even as forensic analysis tools become increasingly objective and automated, final source identifications are often left to individual examiners' interpretation of the evidence. Each source identification relies on judgements about the features and quality of the crime-scene evidence that may vary from one examiner to the next. The current approach to characterizing uncertainty in examiners' decision-making has largely centered around the calculation of error rates aggregated across examiners and identification tasks, without taking into account these variations in behavior. We propose a new approach using IRT and IRT-like models to account for differences among examiners and additionally account for the varying difficulty among source identification tasks. In particular, we survey some recent advances (Luby, 2019a) in the application of Bayesian psychometric models, including simple Rasch models as well as more elaborate decision tree models, to fingerprint examiner behavior.


title: A Semiconductor Topological Photonic Ring Resonator

abstract: Unidirectional photonic edge states arise at the interface between two topologically-distinct photonic crystals. Here, we demonstrate a micron-scale GaAs photonic ring resonator, created using a spin Hall-type topological photonic crystal waveguide. Embedded InGaAs quantum dots are used to probe the mode structure of the device. We map the spatial profile of the resonator modes, and demonstrate control of the mode confinement through tuning of the photonic crystal lattice parameters. The intrinsic chirality of the edge states makes them of interest for applications in integrated quantum photonics, and the resonator represents an important building block towards the development of such devices with embedded quantum emitters.


title: Target Space Entanglement Entropy

abstract: We define a notion of target space entanglement entropy. Rather than partitioning the base space on which the theory is defined, we consider partitions of the target space. This is the physical case of interest for first-quantized theories, such as worldsheet string theory. We associate to each subregion of the target space a suitably chosen sub-algebra of observables $\mathcal{A}$. The entanglement entropy is calculated as the entropy of the density matrix restricted to $\mathcal{A}$. As an example, we illustrate our framework by computing spatial entanglement in first-quantized many-body quantum mechanics. The algebra $\mathcal{A}$ is chosen to reproduce the entanglement entropy obtained by embedding the state in the fixed particle sub-sector of the second-quantized Hilbert space. We then generalize our construction to the quantum field-theoretical setting.


title: Proceedings of The Magnificent CE$\nu$NS Workshop 2018

abstract: The Magnificent CE$\nu$NS Workshop (2018) was held November 2 & 3 of 2018 on the University of Chicago campus and brought together theorists, phenomenologists, and experimentalists working in numerous areas but sharing a common interest in the process of coherent elastic neutrino-nucleus scattering (CE$\nu$NS). This is a collection of abstract-like summaries of the talks given at the meeting, including links to the slides presented. This document and the slides from the meeting provide an overview of the field and a snapshot of the robust CE$\nu$NS-related efforts both planned and underway.

categories: hep-ex astro-ph.IM hep-ph nucl-ex physics.ins-det


title: Deciphering neural circuits for Caenorhabditis elegans behavior by computations and perturbations to genome and connectome

abstract: {\it Caenorhabditis elegans} nematode worms are the only animals with the known detailed neural connectivity diagram, well characterized genomics, and relatively simple quantifiable behavioral output. With this in mind, many researchers view this animal as the best candidate for a systems biology approach, where one can integrate molecular and cellular knowledge to gain global understanding of worm's behavior. This work reviews some research in this direction, emphasizing computational perspective, and points out some successes and challenges to meet this lofty goal.


title: Identifying Network Ties from Panel Data: Theory and an Application to Tax Competition

abstract: Social interactions determine many economic behaviors, but information on social ties does not exist in most publicly available and widely used datasets. We present results on the identification of social networks from observational panel data that contains no information on social ties between agents. In the context of a canonical social interactions model, we provide sufficient conditions under which the social interactions matrix, endogenous and exogenous social effect parameters are all globally identified. While this result is relevant across different estimation strategies, we then describe how high-dimensional estimation techniques can be used to estimate the interactions model based on the Adaptive Elastic Net GMM method. We employ the method to study tax competition across US states. We find the identified social interactions matrix implies tax competition differs markedly from the common assumption of competition between geographically neighboring states, providing further insights for the long-standing debate on the relative roles of factor mobility and yardstick competition in driving tax setting behavior across states. Most broadly, our identification and application show the analysis of social interactions can be extended to economic realms where no network data exists.


title: A Lucas-Lehmer approach to generalised Lebesgue-Ramanujan-Nagell equations

abstract: We describe a computationally efficient approach to resolving equations of the form $C_1x^2 + C_2 = y^n$ in coprime integers, for fixed values of $C_1$, $C_2$ subject to further conditions. We make use of a factorisation argument and the Primitive Divisor Theorem due to Bilu, Hanrot and Voutier.


title: An Exponential Learning Rate Schedule for Deep Learning

abstract: Intriguing empirical evidence exists that deep learning can work well with exoticschedules for varying the learning rate. This paper suggests that the phenomenon may be due to Batch Normalization or BN, which is ubiquitous and provides benefits in optimization and generalization across all standard architectures. The following new results are shown about BN with weight decay and momentum (in other words, the typical use case which was not considered in earlier theoretical analyses of stand-alone BN. 1. Training can be done using SGD with momentum and an exponentially increasing learning rate schedule, i.e., learning rate increases by some $(1 +\alpha)$ factor in every epoch for some $\alpha >0$. (Precise statement in the paper.) To the best of our knowledge this is the first time such a rate schedule has been successfully used, let alone for highly successful architectures. As expected, such training rapidly blows up network weights, but the net stays well-behaved due to normalization. 2. Mathematical explanation of the success of the above rate schedule: a rigorous proof that it is equivalent to the standard setting of BN + SGD + StandardRate Tuning + Weight Decay + Momentum. This equivalence holds for other normalization layers as well, Group Normalization, LayerNormalization, Instance Norm, etc. 3. A worked-out toy example illustrating the above linkage of hyper-parameters. Using either weight decay or BN alone reaches global minimum, but convergence fails when both are used.


title: An experimental platform for gathering user behavioural data via browser APIs

abstract: Websites are capable of learning a wide range of information about the platform on which a browser is executing. One major source of such information is the set of standardised Application Programming Interfaces (APIs) provided within the browser, which can be accessed by JavaScript downloaded by a website; this information can then either be used by the JavaScript or sent back to the originating site. As has been widely discussed, much of this information can threaten user privacy. The main purpose of this paper is to document a publicly available platform designed to enable further investigation of one class of such threats, namely those based on analysing user behavioural data. The platform has two main components: a Chrome extension that gathers user keystroke and mouse data via browser APIs, and server software that collects and stores this data for subsequent experimentation.


title: Constraints on primordial magnetic fields from magnetically-induced perturbations: current status and future perspectives with LiteBIRD and future ground based experiments

abstract: We present the constraints on the amplitude of magnetic fields generated prior to the recombination using CMB temperature and polarization anisotropy data from Planck 2018 release, alone and in combination with those from BICEP2/Keck array and the South Pole Telescope. We model the fields with a generic parametrization and we make no assumptions on their origin in order to provide general constraints on their characteristics. The analysis updates the former corresponding Planck 2015 results both on data and numerical implementation. We then perform forecasts for the next generation of CMB experiments such as LiteBIRD satellite alone and in combination with future ground based experiments.


title: Linguistic evaluation of German-English Machine Translation using a Test Suite

abstract: We present the results of the application of a grammatical test suite for German$\rightarrow$English MT on the systems submitted at WMT19, with a detailed analysis for 107 phenomena organized in 14 categories. The systems still translate wrong one out of four test items in average. Low performance is indicated for idioms, modals, pseudo-clefts, multi-word expressions and verb valency. When compared to last year, there has been a improvement of function words, non-verbal agreement and punctuation. More detailed conclusions about particular systems and phenomena are also presented.


title: Deeply virtual Compton Scattering off $^4$He

abstract: Deeply virtual Compton scattering is a fascinating process which can provide a tomographic view of nuclei and bound nucleons. The first experimental results for $^4$He targets, recently released at Jefferson Lab, have been analyzed here in a rigorous Impulse Approximation scenario. For both the coherent and incoherent channels of the process, the main experimental observables have been written in terms of state-of-the-art models of the nuclear spectral function and of the parton structure of the bound proton. A good overall agreement with the data is obtained. The calculation shows that a comparison of our conventional results with future precise data can expose novel quark and gluon effects in nuclei.


title: Creativity in Robot Manipulation with Deep Reinforcement Learning

abstract: Deep Reinforcement Learning (DRL) has emerged as a powerful control technique in robotic science. In contrast to control theory, DRL is more robust in the thorough exploration of the environment. This capability of DRL generates more human-like behaviour and intelligence when applied to the robots. To explore this capability, we designed challenging manipulation tasks to observe robots strategy to handle complex scenarios. We observed that robots not only perform tasks successfully, but also transpire a creative and non intuitive solution. We also observed robot's persistence in tasks that are close to success and its striking ability in discerning to continue or give up.


title: Fine-grained evaluation of German-English Machine Translation based on a Test Suite

abstract: We present an analysis of 16 state-of-the-art MT systems on German-English based on a linguistically-motivated test suite. The test suite has been devised manually by a team of language professionals in order to cover a broad variety of linguistic phenomena that MT often fails to translate properly. It contains 5,000 test sentences covering 106 linguistic phenomena in 14 categories, with an increased focus on verb tenses, aspects and moods. The MT outputs are evaluated in a semi-automatic way through regular expressions that focus only on the part of the sentence that is relevant to each phenomenon. Through our analysis, we are able to compare systems based on their performance on these categories. Additionally, we reveal strengths and weaknesses of particular systems and we identify grammatical phenomena where the overall performance of MT is relatively low.


title: Localization transition in the Discrete Non-Linear Schr\"odinger Equation: ensembles inequivalence and negative temperatures

abstract: We present a detailed account of a first-order localization transition in the Discrete Nonlinear Schr\"odinger Equation, where the localized phase is associated to the high energy region in parameter space. We show that, due to ensemble inequivalence, this phase is thermodynamically stable only in the microcanonical ensemble. In particular, we obtain an explicit expression of the microcanonical entropy close to the transition line, located at infinite temperature. This task is accomplished making use of large-deviation techniques, that allow us to compute, in the limit of large system size, also the subleading corrections to the microcanonical entropy. These subleading terms are crucial ingredients to account for the first-order mechanism of the transition, to compute its order parameter and to predict the existence of negative temperatures in the localized phase. All of these features can be viewed as signatures of a thermodynamic phase where the translational symmetry is broken spontaneously due to a condensation mechanism yielding energy fluctuations far away from equipartition: actually they prefer to participate in the formation of nonlinear localized excitations (breathers), typically containing a macroscopic fraction of the total energy.


title: Biomolecular NMR at 1.2 GHz

abstract: The development of new superconducting ceramic materials, which maintain the superconductivity at very intense magnetic fields, has prompted the development of a new generation of highly homogeneous high field magnets that has trespassed the magnetic field attainable with the previous generation of instruments. But how can biomolecular NMR benefit from this? In this work, we review a few of the notable applications that, we expect, will be blooming thanks to this newly available technology.


title: Baryon dominated ultra-diffuse galaxies

abstract: By means of interferometic 21-cm observations and a 3D kinematic modeling technique, we study the gas kinematics of six HI-rich ultra-diffuse galaxies (UDGs). We derive robust circular velocities and baryonic masses, that allow us to study the position of our UDGs with respect to the baryonic Tully-Fisher relation (BTFR). Somewhat surprisingly, we find that these galaxies are strong outliers from the BTFR, rotating too slowly for their baryonic mass. Moreover, their position in the circular velocity--baryonic mass plane implies that they have a baryon fraction inside their virial radii compatible with the cosmological mean, meaning that they have no "missing baryons". Unexpectedly, the dynamics of our galaxies are dominated by the baryons, leaving small room for dark matter inside their discs.


title: Stationary solutions to the stochastic Burgers equation on the line

abstract: We consider invariant measures for the stochastic Burgers equation on $\mathbb{R}$, forced by the derivative of a spacetime-homogeneous Gaussian noise that is white in time and smooth in space. An invariant measure is indecomposable, or extremal, if it cannot be represented as a convex combination of other invariant measures. We show that for each $a\in\mathbb{R}$, there is a unique indecomposable law of a spacetime-stationary solution with mean $a$, in a suitable function space. We also show that solutions starting from spatially-decaying perturbations of mean-$a$ periodic functions converge in law to the extremal space-time stationary solution with mean $a$ as time goes to infinity.


title: Partial Exponential Stability Analysis of Slow-fast Systems via Periodic Averaging

abstract: This paper presents some new criteria for partial exponential stability of a slow-fast nonlinear system with a fast scalar variable using periodic averaging methods. Unlike classical averaging techniques, we construct an averaged system by averaging over this fast scalar variable instead of the time variable. We then show that partial exponential stability of the averaged system implies partial exponential stability of the original one. As some intermediate results, we also obtain a new converse Lyapunov theorem and some perturbation theorems for partially exponentially stable systems. We then apply our established criteria to study remote synchronization of Kuramoto-Sakaguchi oscillators coupled by a star network with two peripheral nodes. We analytically show that detuning the natural frequency of the central mediating oscillator can increase the robustness of the remote synchronization against phase shifts.


title: Celestial Mechanics and Polarization Optics of the Kordylewski Dust Cloud in the Earth-Moon Lagrange Point L5 Part I. 3D Celestial Mechanical Modelling of Dust Cloud Formation

abstract: Since the discovery in 1772 of the triangular Lagrange points L4 and L5 in the gravitational field of two bodies moving under the sole influence of mutual gravitational forces, astronomers found a large number of minor celestial bodies around these points of the Sun-Jupiter, Sun-Earth, Sun-Mars and Sun-Neptune systems. The L4 and L5 points of the Earth and Moon may be empty due to the gravitational perturbation of the Sun. However, in 1961 Kordylewski found two bright patches near the L5 point, which may refer to an accumulation of interplanetary particles. Since that time this formation is called the Kordylewski dust cloud (KDC). Until now only a very few computer simulations studied the formation and characteristics of the KDC. To fill this gap, we investigated a three-dimensional four-body problem consisting of the Sun, Earth, Moon and one test particle, 1860000 times separately. We mapped the size and shape of the conglomeratum of particles not escaped from the system sooner than an integration time of 3650 days around L5. Polarimetric observations of a possible KDC around L5 are presented in the second part of this paper.


title: Root Mean Square Layer Normalization

abstract: Layer normalization (LayerNorm) has been successfully applied to various deep neural networks to help stabilize training and boost model convergence because of its capability in handling re-centering and re-scaling of both inputs and weight matrix. However, the computational overhead introduced by LayerNorm makes these improvements expensive and significantly slows the underlying network, e.g. RNN in particular. In this paper, we hypothesize that re-centering invariance in LayerNorm is dispensable and propose root mean square layer normalization, or RMSNorm. RMSNorm regularizes the summed inputs to a neuron in one layer according to root mean square (RMS), giving the model re-scaling invariance property and implicit learning rate adaptation ability. RMSNorm is computationally simpler and thus more efficient than LayerNorm. We also present partial RMSNorm, or pRMSNorm where the RMS is estimated from p% of the summed inputs without breaking the above properties. Extensive experiments on several tasks using diverse network architectures show that RMSNorm achieves comparable performance against LayerNorm but reduces the running time by 7%~64% on different models. Source code is available at https://github.com/bzhangGo/rmsnorm.


title: Fine-grained evaluation of Quality Estimation for Machine translation based on a linguistically-motivated Test Suite

abstract: We present an alternative method of evaluating Quality Estimation systems, which is based on a linguistically-motivated Test Suite. We create a test-set consisting of 14 linguistic error categories and we gather for each of them a set of samples with both correct and erroneous translations. Then, we measure the performance of 5 Quality Estimation systems by checking their ability to distinguish between the correct and the erroneous translations. The detailed results are much more informative about the ability of each system. The fact that different Quality Estimation systems perform differently at various phenomena confirms the usefulness of the Test Suite.


title: On the zeros of non-analytic random periodic signals

abstract: In this paper, we investigate the local universality of the number of zeros of a random periodic signal of the form $S_n(t)=\sum_{k=1}^n a_k f(k t)$, where $f$ is a $2\pi-$periodic function satisfying weak regularity conditions and where the coefficients $a_k$ are i.i.d. random variables, that are centered with unit variance. In particular, our results hold for continuous piecewise linear functions. We prove that the number of zeros of $S_n(t)$ in a shrinking interval of size $1/n$ converges in law as $n$ goes to infinity to the number of zeros of a Gaussian process whose explicit covariance only depends on the function $f$ and not on the common law of the random coefficients $(a_k)$. As a byproduct, this entails that the point measure of the zeros of $S_n(t)$ converges in law to an explicit limit on the space of locally finite point measures on $\mathbb R$ endowed with the vague topology. The standard tools involving the regularity or even the analyticity of $f$ to establish such kind of universality results are here replaced by some high-dimensional Berry-Esseen bounds recently obtained in [CCK17]. The latter allow us to prove functional CLT's in $C^1$ topology in situations where usual criteria can not be applied due to the lack of regularity.


title: A Survey on Recent Advancements for AI Enabled Radiomics in Neuro-Oncology

abstract: Artificial intelligence (AI) enabled radiomics has evolved immensely especially in the field of oncology. Radiomics provide assistancein diagnosis of cancer, planning of treatment strategy, and predictionof survival. Radiomics in neuro-oncology has progressed significantly inthe recent past. Deep learning has outperformed conventional machinelearning methods in most image-based applications. Convolutional neu-ral networks (CNNs) have seen some popularity in radiomics, since theydo not require hand-crafted features and can automatically extract fea-tures during the learning process. In this regard, it is observed that CNNbased radiomics could provide state-of-the-art results in neuro-oncology,similar to the recent success of such methods in a wide spectrum ofmedical image analysis applications. Herein we present a review of the most recent best practices and establish the future trends for AI enabled radiomics in neuro-oncology.


title: Celestial Mechanics and Polarization Optics of the Kordylewski Dust Cloud in the Earth-Moon Lagrange Point L5 Part II. Imaging Polarimetric Observation: New Evidence for the Existence of Kordylewski Dust Cloud

abstract: Telescopes mounted with polarizers can study the neutral points of the Earths atmosphere, the solar corona, the surface of planets/moons of the Solar System, distant stars, galaxies and nebulae. These examples demonstrate well that polarimetry is a useful technique to gather astronomical information from spatially extended phenomena. There are two enigmatic celestial objects that can also effectively be studied with imaging polarimetry, namely the Kordylewski dust clouds (KDCs) positioned around the L4 and L5 triangular Lagrangian libration points of the Earth-Moon system. Although in 1961 the Polish astronomer, Kazimierz Kordylewski had observed two bright patches near the L5 point with photography, many astronomers assume that these dust clouds do not exist, because the gravitational perturbation of the Sun, solar wind and other planets may disrupt the stabilizing effect of the L4 and L5 Lagrange points of the Earth and Moon. Using ground-born imaging polarimetry, we present here new observational evidence for the existence of the KDC around the L5 point of the Earth-Moon system. Excluding artefacts induced by the telescope, cirrus clouds or condensation trails of airplanes, the only explanation remains the polarized scattering of sunlight on the particles collected around the L5 point. By our polarimetric detection of the KDC we think it is appropriate to reconsider the pioneering photometric observation of Kordylewski. Our polarimetric evidence is supported by the results of simulation of dust cloud formation in the L5 point of the Earth-Moon system presented in the first part of this paper.


title: Dirac electron behavior and NMR evidence for topological band inversion in ZrTe5

abstract: We report $^{125}$Te NMR measurements of the topological quantum material ZrTe$_5$. Spin-lattice relaxation results, well-explained by a theoretical model of Dirac electron systems, reveal that the topological characteristic of ZrTe$_5$ is $T$-dependent, changing from weak topological insulator to strong topological insulator as temperature increases. Electronic structure calculations confirm this ordering, the reverse of what has been proposed. NMR results demonstrate a gapless Dirac semimetal state occurring at a Lifshitz transition temperature, $T_c=85$ K in our crystals. We demonstrate that the changes in NMR shift at $T_c$ also provide direct evidence of band inversion when the topological phase transition occurs.


title: Spectral properties of some complex Jacobi matrices

abstract: We study spectral properties of bounded and unbounded complex Jacobi matrices. In particular, we formulate conditions assuring that the spectrum of the studied operators is continuous on some subsets of the complex plane and we provide uniform asymptotics of their generalised eigenvectors. We illustrate our results by considering complex perturbations of real Jacobi matrices belonging to several classes: asymptotically periodic, periodically modulated and the blend of these two. Moreover, we provide conditions implying existence of a unique closed extension. The method of the proof is based on the analysis of a generalisation of shifted Tur\'an determinants to the complex setting.


title: Universal Marginaliser for Deep Amortised Inference for Probabilistic Programs

abstract: Probabilistic programming languages (PPLs) are powerful modelling tools which allow to formalise our knowledge about the world and reason about its inherent uncertainty. Inference methods used in PPL can be computationally costly due to significant time burden and/or storage requirements; or they can lack theoretical guarantees of convergence and accuracy when applied to large scale graphical models. To this end, we present the Universal Marginaliser (UM), a novel method for amortised inference, in PPL. We show how combining samples drawn from the original probabilistic program prior with an appropriate augmentation method allows us to train one neural network to approximate any of the corresponding conditional marginal distributions, with any separation into latent and observed variables, and thus amortise the cost of inference. Finally, we benchmark the method on multiple probabilistic programs, in Pyro, with different model structure.


title: MLQA: Evaluating Cross-lingual Extractive Question Answering

abstract: Question answering (QA) models have shown rapid progress enabled by the availability of large, high-quality benchmark datasets. Such annotated datasets are difficult and costly to collect, and rarely exist in languages other than English, making training QA systems in other languages challenging. An alternative to building large monolingual training datasets is to develop cross-lingual systems which can transfer to a target language without requiring training data in that language. In order to develop such systems, it is crucial to invest in high quality multilingual evaluation benchmarks to measure progress. We present MLQA, a multi-way aligned extractive QA evaluation benchmark intended to spur research in this area. MLQA contains QA instances in 7 languages, namely English, Arabic, German, Spanish, Hindi, Vietnamese and Simplified Chinese. It consists of over 12K QA instances in English and 5K in each other language, with each QA instance being parallel between 4 languages on average. MLQA is built using a novel alignment context strategy on Wikipedia articles, and serves as a cross-lingual extension to existing extractive QA datasets. We evaluate current state-of-the-art cross-lingual representations on MLQA, and also provide machine-translation-based baselines. In all cases, transfer results are shown to be significantly behind training-language performance.


title: Hidden Unit Specialization in Layered Neural Networks: ReLU vs. Sigmoidal Activation

abstract: We study layered neural networks of rectified linear units (ReLU) in a modelling framework for stochastic training processes. The comparison with sigmoidal activation functions is in the center of interest. We compute typical learning curves for shallow networks with K hidden units in matching student teacher scenarios. The systems exhibit sudden changes of the generalization performance via the process of hidden unit specialization at critical sizes of the training set. Surprisingly, our results show that the training behavior of ReLU networks is qualitatively different from that of networks with sigmoidal activations. In networks with K >= 3 sigmoidal hidden units, the transition is discontinuous: Specialized network configurations co-exist and compete with states of poor performance even for very large training sets. On the contrary, the use of ReLU activations results in continuous transitions for all K: For large enough training sets, two competing, differently specialized states display similar generalization abilities, which coincide exactly for large networks in the limit K to infinity.


title: Robust Platoon Control in Mixed Traffic Flow Based on Tube Model Predictive Control

abstract: The design of cooperative adaptive cruise control is critical in mixed traffic flow, where connected and automated vehicles (CAVs) and human-driven vehicles (HDVs) coexist. Compared with pure CAVs, the major challenge is how to handle the prediction uncertainty of HDVs, which can cause significant state deviation of CAVs from planned trajectories. In most existing studies, model predictive control (MPC) is utilized to replan CAVs' trajectories to mitigate the deviation at each time step. However, as the replan process is usually conducted by solving an optimization problem with information through inter-vehicular communication, MPC methods suffer from heavy computational and communicational burdens. To address this limitation, a robust platoon control framework is proposed based on tube MPC in this paper. The prediction uncertainty is dynamically mitigated by the feedback control and restricted inside a set with a high probability. When the uncertainty exceeds the set or additional external disturbance emerges, the feedforward control is triggered to plan a ``tube'' (a sequence of the set), which can bound CAVs' actual trajectories. As the replan process is usually not required, the proposed method is much more efficient regarding computation and communication, compared with the MPC method. Comprehensive simulations are provided to validate the effectiveness of the proposed framework.


title: Adaptive Trade-Offs in Off-Policy Learning

abstract: A great variety of off-policy learning algorithms exist in the literature, and new breakthroughs in this area continue to be made, improving theoretical understanding and yielding state-of-the-art reinforcement learning algorithms. In this paper, we take a unifying view of this space of algorithms, and consider their trade-offs of three fundamental quantities: update variance, fixed-point bias, and contraction rate. This leads to new perspectives of existing methods, and also naturally yields novel algorithms for off-policy evaluation and control. We develop one such algorithm, C-trace, demonstrating that it is able to more efficiently make these trade-offs than existing methods in use, and that it can be scaled to yield state-of-the-art performance in large-scale environments.


title: Conditional Importance Sampling for Off-Policy Learning

abstract: The principal contribution of this paper is a conceptual framework for off-policy reinforcement learning, based on conditional expectations of importance sampling ratios. This framework yields new perspectives and understanding of existing off-policy algorithms, and reveals a broad space of unexplored algorithms. We theoretically analyse this space, and concretely investigate several algorithms that arise from this framework.


title: Entropy dissipation for degenerate stochastic differential equations via sub-Riemannian density manifold

abstract: We study the dynamical behaviors of degenerate stochastic differential equations (SDEs). We select an auxiliary Fisher information functional as the Lyapunov functional. Using generalized Fisher information, we conduct the Lyapunov exponential convergence analysis of degenerate SDEs. We derive the convergence rate condition by generalized Gamma calculus. Examples of the generalized Bochner's formula are provided in the Heisenberg group, displacement group, and Martinet sub-Riemannian structure. We show that the generalized Bochner's formula follows a generalized second-order calculus of Kullback-Leibler divergence in density space embedded with a sub-Riemannian type optimal transport metric.


title: Using Whole Document Context in Neural Machine Translation

abstract: In Machine Translation, considering the document as a whole can help to resolve ambiguities and inconsistencies. In this paper, we propose a simple yet promising approach to add contextual information in Neural Machine Translation. We present a method to add source context that capture the whole document with accurate boundaries, taking every word into account. We provide this additional information to a Transformer model and study the impact of our method on three language pairs. The proposed approach obtains promising results in the English-German, English-French and French-English document-level translation tasks. We observe interesting cross-sentential behaviors where the model learns to use document-level information to improve translation coherence.


title: Imperial College London Submission to VATEX Video Captioning Task

abstract: This paper describes the Imperial College London team's submission to the 2019' VATEX video captioning challenge, where we first explore two sequence-to-sequence models, namely a recurrent (GRU) model and a transformer model, which generate captions from the I3D action features. We then investigate the effect of dropping the encoder and the attention mechanism and instead conditioning the GRU decoder over two different vectorial representations: (i) a max-pooled action feature vector and (ii) the output of a multi-label classifier trained to predict visual entities from the action features. Our baselines achieved scores comparable to the official baseline. Conditioning over entity predictions performed substantially better than conditioning on the max-pooled feature vector, and only marginally worse than the GRU-based sequence-to-sequence baseline.


title: MAVEN: Multi-Agent Variational Exploration

abstract: Centralised training with decentralised execution is an important setting for cooperative deep multi-agent reinforcement learning due to communication constraints during execution and computational tractability in training. In this paper, we analyse value-based methods that are known to have superior performance in complex environments [43]. We specifically focus on QMIX [40], the current state-of-the-art in this domain. We show that the representational constraints on the joint action-values introduced by QMIX and similar methods lead to provably poor exploration and suboptimality. Furthermore, we propose a novel approach called MAVEN that hybridises value and policy-based methods by introducing a latent space for hierarchical control. The value-based agents condition their behaviour on the shared latent variable controlled by a hierarchical policy. This allows MAVEN to achieve committed, temporally extended exploration, which is key to solving complex multi-agent tasks. Our experimental results show that MAVEN achieves significant performance improvements on the challenging SMAC domain [43].


title: Chern-Simons dualities with multiple flavors at large $N$

abstract: We study $U(N)_k$ Chern-Simons theory coupled to fundamental fermions and scalars in a large $N$ `t Hooft limit. We compute the thermal free energy at high temperature, as well as two- and three-point functions of simple gauge-invariant operators. Our findings support various dualities between Chern-Simons-matter theories with $\mathcal{N}=0,1,$ and $2$ supersymmetry.


title: Excess risk bounds in robust empirical risk minimization

abstract: This paper investigates robust versions of the general empirical risk minimization algorithm, one of the core techniques underlying modern statistical methods. Success of the empirical risk minimization is based on the fact that for a "well-behaved" stochastic process $\left\{ f(X), \ f\in \mathcal F\right\}$ indexed by a class of functions $f\in \mathcal F$, averages $\frac{1}{N}\sum_{j=1}^N f(X_j)$ evaluated over a sample $X_1,\ldots,X_N$ of i.i.d. copies of $X$ provide good approximation to the expectations $\mathbb E f(X)$ uniformly over large classes $f\in \mathcal F$. However, this might no longer be true if the marginal distributions of the process are heavy-tailed or if the sample contains outliers. We propose a version of empirical risk minimization based on the idea of replacing sample averages by robust proxies of the expectation, and obtain high-confidence bounds for the excess risk of resulting estimators. In particular, we show that the excess risk of robust estimators can converge to $0$ at fast rates with respect to the sample size. We discuss implications of the main results to the linear and logistic regression problems, and evaluate the numerical performance of proposed methods on simulated and real data.


title: LOST: A flexible framework for semi-automatic image annotation

abstract: State-of-the-art computer vision approaches rely on huge amounts of annotated data. The collection of such data is a time consuming process since it is mainly performed by humans. The literature shows that semi-automatic annotation approaches can significantly speed up the annotation process by the automatic generation of annotation proposals to support the annotator. In this paper we present a framework that allows for a quick and flexible design of semi-automatic annotation pipelines. We show that a good design of the process will speed up the collection of annotations. Our contribution is a new approach to image annotation that allows for the combination of different annotation tools and machine learning algorithms in one process. We further present potential applications of our approach. The source code of our framework called LOST (Label Objects and Save Time) is available at: https://github.com/l3p-cv/lost.


title: Embodiment dictates learnability in neural controllers

abstract: Catastrophic forgetting continues to severely restrict the learnability of controllers suitable for multiple task environments. Efforts to combat catastrophic forgetting reported in the literature to date have focused on how control systems can be updated more rapidly, hastening their adjustment from good initial settings to new environments, or more circumspectly, suppressing their ability to overfit to any one environment. When using robots, the environment includes the robot's own body, its shape and material properties, and how its actuators and sensors are distributed along its mechanical structure. Here we demonstrate for the first time how one such design decision (sensor placement) can alter the landscape of the loss function itself, either expanding or shrinking the weight manifolds containing suitable controllers for each individual task, thus increasing or decreasing their probability of overlap across tasks, and thus reducing or inducing the potential for catastrophic forgetting.


title: TeV acceleration in a Matryoshka plasma channel

abstract: Plasma-based accelerators offer accelerating fields orders of magnitude higher than conventional radio-frequency cavities. However, these accelerating fields are typically coupled with strong focusing fields, which can result in significant radiative energy loss at high energies. In this work, we present a new accelerator configuration, the Matryoshka channel, a hollow plasma channel stabilized by a hollow plasma filament. We demonstrate that the absence of on-axis focusing plasma fields greatly reduces radiation losses, allowing acceleration to the TeV frontier.


title: Searching for supersymmetry and its avatars

abstract: {\it Why continue looking for supersymmetry?} Over and above the aesthetic and theoretical motivations from string theory, there are several longstanding phenomenological motivations for TeV-scale supersymmetry such as the electroweak scale, and the lightest supersymmetric particle (LSP) as cold dark matter. Run~1 of the LHC has actually provided three extra motivations, namely the stabilization of the electroweak vacuum, and successful predictions for the Higgs mass and couplings. {\it How to look for it?} There are several examples of emergent supersymmetry, the most recent being on the surfaces of topological insulators, and some sort of effective supersymmetry could be useful for boosting the power of laser arrays. At the LHC, attention is moving towards signatures that had previously been neglected, such as long-lived charged particles - which might be an opportunity for the MoEDAL experiment.


title: First-order contributions to the partial temperatures in binary granular suspensions at low density

abstract: The Boltzmann kinetic equation is considered to evaluate the first-order contributions $T_i^{(1)}$ to the partial temperatures in binary granular suspensions at low density. The influence of the surrounding gas on the solid particles is modeled via a drag force proportional to the particle velocity plus a stochastic Langevin-like term. The Boltzmann equation is solved by means of the Chapman--Enskog expansion around the local version of the reference homogeneous base state. To first-order in spatial gradients, the coefficients $T_i^{(1)}$ are computed by considering the leading terms in a Sonine polynomial expansion. In addition, the influence of $T_i^{(1)}$ on the first-order contribution $\zeta^{(1)}$ to the cooling rate is also assessed. Our results show that the magnitude of both $T_i^{(1)}$ and $\zeta^{(1)}$ can be relevant for some values of the parameter space of the system.


title: AREA: Adaptive Reference-set Based Evolutionary Algorithm for Multiobjective Optimisation

abstract: Population-based evolutionary algorithms have great potential to handle multiobjective optimisation problems. However, these algorithms depends largely on problem characteristics, and there is a need to improve their performance for a wider range of problems. References, which are often specified by the decision maker's preference in different forms, are a very effective method to improve the performance of algorithms but have not been fully explored in literature. This paper proposes a novel framework for effective use of references to strengthen algorithms. This framework considers references as search targets which can be adjusted based on the information collected during the search. The proposed framework is combined with new strategies, such as reference adaptation and adaptive local mating, to solve different types of problems. The proposed algorithm is compared with state of the arts on a wide range of problems with diverse characteristics. The comparison and extensive sensitivity analysis demonstrate that the proposed algorithm is competitive and robust across different types of problems studied in this paper.


title: Neural Network Design for Energy-Autonomous AI Applications using Temporal Encoding

abstract: Neural Networks (NNs) are steering a new generation of artificial intelligence (AI) applications at the micro-edge. Examples include wireless sensors, wearables and cybernetic systems that collect data and process them to support real-world decisions and controls. For energy autonomy, these applications are typically powered by energy harvesters. As harvesters and other power sources which provide energy autonomy inevitably have power variations, the circuits need to robustly operate over a dynamic power envelope. In other words, the NN hardware needs to be able to function correctly under unpredictable and variable supply voltages. In this paper, we propose a novel NN design approach using the principle of pulse width modulation (PWM). PWM signals represent information with their duty cycle values which may be made independent of the voltages and frequencies of the carrier signals. We design a PWM-based perceptron which can serve as the fundamental building block for NNs, by using an entirely new method of realising arithmetic in the PWM domain. We analyse the proposed approach building from a 3x3 perceptron circuit to a complex multi-layer NN. Using handwritten character recognition as an exemplar of AI applications, we demonstrate the power elasticity, resilience and efficiency of the proposed NN design in the presence of functional and parametric variations including large voltage variations in the power supply.


title: Asymptotic behavior of global vortex rings

abstract: In this paper, we are concerned with nonlinear desingularization of steady vortex rings in $\mathbb{R}^3$ with given general nonlinearity $f$. Using the improved vorticity method, we construct a family of steady vortex rings which constitute a desingularization of the classical circular vortex filament in the whole space. The requirements on $f$ are very general, and $f$ may have a simple discontinuity at the origin. Some qualitative and asymptotic properties are also established.


title: On Constructing a Knowledge Base of Chinese Criminal Cases

abstract: We are developing a knowledge base over Chinese judicial decision documents to facilitate landscape analyses of Chinese Criminal Cases. We view judicial decision documents as a mixed-granularity semi-structured text where different levels of the text carry different semantic constructs and entailments. We use a combination of context-sensitive grammar, dependency parsing and discourse analysis to extract a formal and interpretable representation of these documents. Our knowledge base is developed by constructing associations between different elements of these documents. The interpretability is contributed in part by our formal representation of the Chinese criminal laws, also as semi-structured documents. The landscape analyses utilize these two representations and enable a law researcher to ask legal pattern analysis queries.


title: Nobeyama 45-m Mapping Observations toward Orion A.I. Molecular Outflows

abstract: We conducted an exploration of 12CO molecular outflows in the Orion A giant molecular cloud to investigate outflow feedback using 12CO (J = 1-0) and 13CO (J = 1-0) data obtained by the Nobeyama 45-m telescope. In the region excluding the center of OMC 1, we identified 44 12CO (including 17 newly detected) outflows based on the unbiased and systematic procedure of automatically determining the velocity range of the outflows and separating the cloud and outflow components. The optical depth of the 12CO emission in the detected outflows is estimated to be approximately 5. The total momentum and energy of the outflows, corrected for optical depth, are estimated to be 1.6 x 10 2 M km s-1 and 1.5 x 10 46 erg, respectively. The momentum and energy ejection rate of the outflows are estimated to be 36% and 235% of the momentum and energy dissipation rates of the cloud turbulence, respectively. Furthermore, the ejection rates of the outflows are comparable to those of the expanding molecular shells estimated by Feddersen et al. (2018, ApJ, 862, 121). Cloud turbulence cannot be sustained by the outflows and shells unless the energy conversion efficiency is as high as 20%.


title: Efficient Implementation of LMS Adaptive Filter based FECG Extraction on an FPGA

abstract: In this paper, the field programmable gate array (FPGA) implementation of a fetal heart rate (FHR) monitoring system is presented. The system comprises of a preprocessing unit to remove various types of noise, followed by a fetal electrocardiogram (FECG) extraction unit and an FHR detection unit. In order to improve the precision and accuracy of the arithmetic operations, a floating point unit is developed. A least mean squares algorithm based adaptive filter (LMS-AF) is used for the purpose of FECG extraction. Two different architectures, namely series and parallel, are proposed for the LMS-AF, with the series architecture targeting lower utilization of hardware resources, and the parallel architecture enabling less convergence time and lower power consumption. The results show that it effectively detects the R peaks in the extracted FECG with a sensitivity of 95.74% to 100% and a specificity of 100%. The parallel architecture shows upto 85.88% reduction in the convergence time for non-invasive FECG database while the series architecture shows 27.41% reduction in the number of flip flops used when compared with the existing FPGA implementations of various FECG extraction methods. It also shows an increase of 2 to 7.51% in accuracy when compared to previous works.


title: Self-supervised Learning for ECG-based Emotion Recognition

abstract: We present an electrocardiogram (ECG) -based emotion recognition system using self-supervised learning. Our proposed architecture consists of two main networks, a signal transformation recognition network and an emotion recognition network. First, unlabelled data are used to successfully train the former network to detect specific pre-determined signal transformations in the self-supervised learning step. Next, the weights of the convolutional layers of this network are transferred to the emotion recognition network, and two dense layers are trained in order to classify arousal and valence scores. We show that our self-supervised approach helps the model learn the ECG feature manifold required for emotion recognition, performing equal or better than the fully-supervised version of the model. Our proposed method outperforms the state-of-the-art in ECG-based emotion recognition with two publicly available datasets, SWELL and AMIGOS. Further analysis highlights the advantage of our self-supervised approach in requiring significantly less data to achieve acceptable results.


title: Actor-Critic Provably Finds Nash Equilibria of Linear-Quadratic Mean-Field Games

abstract: We study discrete-time mean-field Markov games with infinite numbers of agents where each agent aims to minimize its ergodic cost. We consider the setting where the agents have identical linear state transitions and quadratic cost functions, while the aggregated effect of the agents is captured by the population mean of their states, namely, the mean-field state. For such a game, based on the Nash certainty equivalence principle, we provide sufficient conditions for the existence and uniqueness of its Nash equilibrium. Moreover, to find the Nash equilibrium, we propose a mean-field actor-critic algorithm with linear function approximation, which does not require knowing the model of dynamics. Specifically, at each iteration of our algorithm, we use the single-agent actor-critic algorithm to approximately obtain the optimal policy of the each agent given the current mean-field state, and then update the mean-field state. In particular, we prove that our algorithm converges to the Nash equilibrium at a linear rate. To the best of our knowledge, this is the first success of applying model-free reinforcement learning with function approximation to discrete-time mean-field Markov games with provable non-asymptotic global convergence guarantees.


title: Increasing the accuracy of laser flash analysis using numerical algorithms robust to noise and systematic errors

abstract: The laser flash method is highly regarded due to its applicability to a wide temperature range, from cryogenic temperatures to the melting point of refractory metals, and to extreme environments involving radioactive or hazardous materials. Although instruments implementing this method are mostly produced on a commercial basis by major manufacturers, there is always room for improvement both in terms of experimental methods and data treatment procedures. The measurement noise, either due to the detector performance or electromagnetic interferences, presents a significant problem when accurate determination of thermal properties is desired. Noise resilience of the laser flash method is rarely mentioned in published literature; there are currently no data treatment procedures which could guarantee adequate performance under any operating conditions. In this paper, a computational framework combining finite-difference solutions of the heat conduction problem with nonlinear optimization techniques based on the use of quasi-Newton direction search and stochastic linear search with the Wolfe conditions is presented. The application of this framework to data with varying level of noise is considered. Finally, cross-verification and validation using an external standard, a commercial and an in-house built laser flash instrument are presented. The open-source software implementing the described computational method is benchmarked against its industrial counterpart.

categories: physics.app-ph cond-mat.mtrl-sci physics.comp-ph physics.data-an physics.ins-det


title: Performance Analysis on Visible Light Communications With Multi-Eavesdroppers and Practical Amplitude Constraint

abstract: In this paper the secure performance for the visible light communication (VLC) system with multiple eavesdroppers is studied. By considering the practical amplitude constraint instead of an average power constraint in the VLC system, the closed-form expressions for the upper and the lower bounds of the secrecy outage probability and the average secrecy capacity are derived. Since the locations for both legitimate receiver and eavesdroppers are unknown as well as random, the stochastic geometry method is introduced for problem formulation. Moreover, accurate expressions with a low computational complexity are obtained with the rigorous derivation. Simulation results verify the correctness of our theoretical analysis.


title: A polynomial-time scheduling approach to minimise idle energy consumption: an application to an industrial furnace

abstract: This article presents a novel scheduling approach to minimise the energy consumption of a machine during its idle periods. In the scheduling domain, it is common to model the behaviour of the machine by defining a small set of machine modes, e.g. "on", "off" and "stand-by". Then the transitions between the modes are represented by a static transition graph. In this paper, we argue that this type of model might be too restrictive for some types of machines (e.g. the furnaces). For such machines, we propose to employ the complete time-domain dynamics and integrate it into an idle energy function. This way, the scheduling algorithm can exploit the full knowledge about the machine dynamics with minimised energy consumption encapsulated in this function. In this paper, we study a scheduling problem, where the tasks characterised by release times and deadlines are scheduled in the given order such that the idle energy consumption of the machine is minimised. We show that this problem can be solved in polynomial time whenever the idle energy function is concave. To highlight the practical applicability, we analyse a heat-intensive system employing a steel-hardening furnace. We derive an energy optimal control law, and the corresponding idle energy function, for the bilinear system model approximating the dynamics of the furnace (and possibly other heat-intensive systems). Further, we prove that the idle energy function is, indeed, concave in this case. Therefore, the proposed scheduling algorithm can be used. Numerical experiments show that by using our approach, combining both the optimal control and optimal scheduling, higher energy savings can be achieved, compared to the state-of-the-art scheduling approaches.


title: Mitigation of Cascading Outages Using a Dynamic Interaction Graph-Based Optimal Power Flow Model

abstract: Online decision support for effective mitigation actions against propagating cascading outages in a power grid still poses a big challenge to grid operators. This paper proposes an online mitigation strategy against cascading outages using an optimal power flow model based on a Dynamic Interaction Graph. For a given power grid, its interaction graph, also called an interaction model, was proposed in recent literature, which is composed of components and links that have large contributions to outage propagation. Differing from a conventional interaction graph, a Dynamic Interaction Graph can adaptively update its parameters with changes of grid topology and hence is more accurate in online identification of the most vulnerable transmission lines and likely outage propagation paths for mitigation. Further, the paper introduces an optimal power flow model based on the proposed Dynamic Interaction Graph for determining the optimal control strategy to maintain transfer margins of vulnerable transmission lines and effectively mitigate outage propagation. The numerical results on the IEEE 118-bus system demonstrate the effectiveness of the proposed models and associated control strategy.


title: Data-driven charging strategies for grid-beneficial, customer-oriented and battery-preserving electric mobility

abstract: Electric Vehicle (EV) penetration and renewable energies enables synergies between energy supply, vehicle users, and the mobility sector. However, also new issues arise for car manufacturers: During charging and discharging of EV batteries a degradation (battery aging) occurs that correlates with a value depreciation of the entire EV. As EV users' satisfaction depends on reliable and value-stable products, car manufacturers offer charging assistants for simplified and sustainable EV usage by considering individual customer needs and battery aging. Hitherto models to quantify battery aging have limited practicability due to a complex execution. Data-driven methods hold feasible alternatives for SOH estimation. However, the existing approaches barely use user-related data. By means of a linear and a neural network regression model, we first estimate the energy consumption for driving considering individual driving styles and environmental conditions. In following work, the consumption model trained on data from batteries without degradation can be used to estimate the energy consumption for EVs with aged batteries. A discrepancy between the estimation and the real consumption indicates a battery aging caused by increased internal losses. We then target to evaluate the influence of charging strategies on battery degradation.


title: Strata of differentials of the second kind, positivity and irreducibility of certain Hurwitz spaces

abstract: We consider two applications of the strata of differentials of the second kind (all residues equal to zero) with fixed multiplicities of zeros and poles: Positivity: In genus $g=0$ we show any associated divisorial projection to $\overline{\mathcal{M}}_{0,n}$ is $F$-nef and hence conjectured to be nef. We compute the class for all genus when the divisorial projection forgets only simple zeros and show in these cases the genus $g=0$ projections are indeed nef. Hurwitz spaces: We show the Hurwitz spaces of degree $d$, genus $g$ covers of $\mathbb{P}^1$ with pure branching (one ramified point over the branch point) at all but possibly one branch point are irreducible if there are at least $3g+d-1$ simple branch points or $d-3$ simple branch points when $g=0$.


title: DTC ultrafilters on groups

abstract: We say that an ultrafilter on an infinite group $G$ is DTC if it determines the topological centre of the semigroup $\beta G$. We prove that DTC ultrafilters do not exist for virtually BFC groups, and do exist for the countable groups that are not virtually FC. In particular, an infinite finitely generated group is virtually abelian if and only if it does not admit a DTC ultrafilter.


title: Revisiting the Stability of Quadratic Poincar\'e Gauge Gravity

abstract: Poincar\'e gauge theories provide an approach to gravity based on the gauging of the Poincar\'e group, whose homogeneous part generates curvature while the translational sector gives rise to torsion. In this note we revisit the stability of the widely studied quadratic theories within this framework. We analyse the presence of ghosts without fixing any background by obtaining the relevant interactions in an exact post-Riemannian expansion. We find that the axial sector of the theory exhibits ghostly couplings to the graviton sector that render the theory unstable. Remarkably, imposing the absence of these pathological couplings results in a theory where either the axial sector or the torsion trace becomes a ghost. We conclude that imposing ghost-freedom generically leads to a non-dynamical torsion. We analyse however two special choices of parameters that allow a dynamical scalar in the torsion and obtain the corresponding effective action where the dynamics of the scalar is apparent. These special cases are shown to be equivalent to a generalised Brans-Dicke theory and a Holst Lagrangian with a dynamical Barbero-Immirzi pseudoscalar field respectively. The two sectors can co-exist giving a bi-scalar theory. Finally, we discuss how the ghost nature of the vector sector can be avoided by including additional dimension four operators.


title: Re-entrant melting of sodium, magnesium, and aluminum: General trend

abstract: Re-entrant melting (in which a substance's melting point starts to decrease beyond a certain pressure) is believed to be an unusual phenomenon. Among the elements, it has so far only been observed in a very limited number of species, e.g., the alkali metals. Our density functional theory calculations reveal that this behavior actually extends beyond alkali metals to include magnesium, which also undergoes re-entrant melting, though at the much higher pressure of ~300 GPa. We find that the origin of re-entrant melting is the faster softening of interatomic interactions in the liquid phase than in the solid, as pressure rises. We propose a simple approach to estimate pressure-volume relations and show that this characteristic softening pattern is widely observed in metallic elements. We verify this prediction in the case of aluminum by finding re-entrant melting at ~4000 GPa. These results suggest that re-entrant melting may be a more universal feature than previously thought.


title: Charged Complexity and the Thermofield Double State

abstract: We establish a systematic framework for studying quantum computational complexity of Gaussian states of charged systems based on Nielsen's geometric approach. We use this framework to examine the effect of a chemical potential on the dynamics of complexity. As an example, we consider the complexity of a charged thermofield double state constructed from two free massive complex scalar fields in the presence of a chemical potential. We show that this state factorizes between positively and negatively charged modes and demonstrate that this fact can be used to relate it, for each momentum mode separately, to two uncharged thermofield double states with shifted temperatures and times. We evaluate the complexity of formation for the charged thermofield double state, both numerically and in certain analytic expansions. We further present numerical results for the time dependence of complexity. We compare various aspects of these results to those obtained in holography for charged black holes.


title: Zero-magnetic-field Hall effects in artificially corrugated bilayer graphene

abstract: The ability to engineer the electronic band structure and, more strikingly, to access new exotic phase of matter has been the cornerstone of the advance of science and technology. Twisting van der Waals materials to form moir\'e superlattice is a powerful paradigm and can drive graphene from a normal metallic state into an insulating, superconducting, or ferromagnetic states. Here, we present a new route to create non-trivial band structure and consequently an exotic phase of matter via lithographically patterned strain (lattice deformation). This method is used to realize an artificially corrugated bilayer graphene wherein the real-space and momentum-space pseudo-magnetic fields (Berry curvatures) coexist and have nontrivial properties, namely, the Berry curvature dipole. This new class of condensed-matter systems enables us to observe the so-called nonlinear anomalous Hall effect and a new type of Hall effect without breaking the time-reversal symmetry. Such artificial material system and our approach to unconventional electronic states may open an avenue of geometrical and/or topological quantum phenomena as well as that of band engineering in van der Waals crystals.