title: Halperin states can produce any filling fractions

abstract: We study bilayer Fractional Quantum Hall State also known as Halperin state. We prove that for any filling fractions (positive rational numbers), there are infinite solutions that imply that infinite topological states are corresponding to any given filling fraction. Our results can apply to any charge vectors.


title: Gated Convolutional Bidirectional Attention-based Model for Off-topic Spoken Response Detection

abstract: Off-topic spoken response detection, the task aiming at predicting whether a response is off-topic for the corresponding prompt, is important for an automated speaking assessment system. In many real-world educational applications, off-topic spoken response detectors are required to achieve high recall for off-topic responses not only on seen prompts but also on prompts that are unseen during training. In this paper, we propose a novel approach for off-topic spoken response detection with high off-topic recall on both seen and unseen prompts. We introduce a new model, Gated Convolutional Bidirectional Attention-based Model (GCBiA), which applies bi-attention mechanism and convolutions to extract topic words of prompts and key-phrases of responses, and introduces gated unit and residual connections between major layers to better represent the relevance of responses and prompts. Moreover, a new negative sampling method is proposed to augment training data. Experiment results demonstrate that our novel approach can achieve significant improvements in detecting off-topic responses with extremely high on-topic recall, for both seen and unseen prompts.


title: Computing for the DUNE Long-Baseline Neutrino Oscillation Experiment

abstract: This is a talk given at Computers in High Energy Physics in Adelaide, South Australia, Australia in November 2019. It is partially intended to explain the context of DUNE Computing for computing specialists. The DUNE collaboration consists of over 180 institutions from 33 countries. The experiment is in preparation now with commissioning of the first 10kT fiducial volume Liquid Argon TPC expected over the period 2025-2028 and a long data taking run with 4 modules expected from 2029 and beyond. An active prototyping program is already in place with a short test beam run with a 700T, 15,360 channel prototype of single-phase readout at the neutrino platform at CERN in late 2018 and tests of a similar sized dual-phase detector scheduled for mid-2019. The 2018 test beam run was a valuable live test of our computing model. The detector produced raw data at rates of up to ~2GB/s. These data were stored at full rate on tape at CERN and Fermilab and replicated at sites in the UK and Czech Republic. In total 1.2 PB of raw data from beam and cosmic triggers were produced and reconstructed during the six week test beam run. Baseline predictions for the full DUNE detector data, starting in the late 2020's are 30-60 PB of raw data per year. In contrast to traditional HEP computational problems, DUNE's Liquid Argon TPC data consist of simple but very large (many GB) 2D data objects which share many characteristics with astrophysical images. This presents opportunities to use advances in machine learning and pattern recognition as a frontier user of High Performance Computing facilities capable of massively parallel processing.


title: Developable B-spline surface generation from control rulings

abstract: An intuitive design method is proposed for generating developable ruled B-spline surfaces from a sequence of straight line segments indicating the surface shape. The first and last line segments are enforced to be the head and tail ruling lines of the resulting surface while the interior lines are required to approximate rulings on the resulting surface as much as possible. This manner of developable surface design is conceptually similar to the popular way of the freeform curve and surface design in the CAD community, observing that a developable ruled surface is a single parameter family of straight lines. This new design mode of the developable surface also provides more flexibility than the widely employed way of developable surface design from two boundary curves of the surface. The problem is treated by numerical optimization methods with which a particular level of distance error is allowed. We thus provide an effective tool for creating surfaces with a high degree of developability when the input control rulings do not lie in exact developable surfaces. We consider this ability as the superiority over analytical methods in that it can deal with arbitrary design inputs and find practically useful results.


title: X-Ray: Mechanical Search for an Occluded Object by Minimizing Support of Learned Occupancy Distributions

abstract: For applications in e-commerce, warehouses, healthcare, and home service, robots are often required to search through heaps of objects to grasp a specific target object. For mechanical search, we introduce X-Ray, an algorithm based on learned occupancy distributions. We train a neural network using a synthetic dataset of RGBD heap images labeled for a set of standard bounding box targets with varying aspect ratios. X-Ray minimizes support of the learned distribution as part of a mechanical search policy in both simulated and real environments. We benchmark these policies against two baseline policies on 1,000 heaps of 15 objects in simulation where the target object is partially or fully occluded. Results suggest that X-Ray is significantly more efficient, as it succeeds in extracting the target object 82% of the time, 15% more often than the best-performing baseline. Experiments on an ABB YuMi robot with 20 heaps of 25 household objects suggest that the learned policy transfers easily to a physical system, where it outperforms baseline policies by 15% in success rate with 17% fewer actions. Datasets, videos, and experiments are available at https://sites.google.com/berkeley.edu/x-ray.


title: Optical surface plasmons at a metal-crystal interface with the Drude-Lorentz model for material permittivity

abstract: The theory of surface electromagnetic waves (SEMWs) propagating at optical frequencies along the interface of an isotropic noble metal [e.g., gold (Au)] and a uniaxial crystal [e.g., Rutile (TiO$_2$)] is revisited with the Drude-Lorentz (DL) model for the complex dielectric material permittivity $(\epsilon_p)$. The latter accounts for the contributions of both the \textit{intraband} transitions of the free electrons and the multiple \textit{interband} transitions of the bound electrons in metals. The propagation characteristics of the wave vectors and wave frequency of SEMWs, the hybridization factors, i.e., the amplitude ratios between the transverse-electric (TE) and transverse-magnetic (TM) modes in the isotropic metal, and between the ordinary and extraordinary modes in the uniaxial substrate are studied numerically. It is found that the results are significantly modified from those with the Drude model for $\epsilon_p$, especially in the short-wavelength spectra ($\lambda\lesssim500$ nm) and with a small deviation of the orientation of the optical axis. The excitation of such SEMWs can have novel applications in transportation of EM signals in a specified direction at optical frequencies ($\sim $ PHz).


title: Sums of three squares in Q(sqrt(3)), and in Q(sqrt(17))

abstract: The numbers of representations of totally positive integers as sums of three integer squares in $\mathbf{Q}(\sqrt{3})$ and in $\mathbf{Q}(\sqrt{17})$, are studied by using Shimura lifting map of Hilbert modular forms. We show the following results. In case of $\mathbf{Q}(\sqrt{3})$, a totally positive integer $a+b\sqrt{3}$ is represented as a sum of three integer squares if and only if $b$ is even. In case of $\mathbf{Q}(\sqrt{17})$, a totally positive integer is represented as a sum of three integer squares if and only if it is not in the form $\pi_{2}^{2e}\pi_{2}'^{2e'}\mu$ with $\mu\equiv7\pmod{\pi_{2}^{3}}$ or $\mu\equiv7\pmod{\pi_{2}'^{3}}$ where $\pi_{2},\pi_{2}'$ are prime elements with $2=\pi_{2}\pi_{2}'$. A similar result as Gauss's three squares theorem in both cases of $\mathbf{Q}(\sqrt{3})$ and $\mathbf{Q}(\sqrt{17})$, and as its application, tables of class numbers of their totally imaginary extensions are given.


title: Consistent Calibration of Economic Scenario Generators: The Case for Conditional Simulation

abstract: Economic Scenario Generators (ESGs) simulate economic and financial variables forward in time for risk management and asset allocation purposes. It is often not feasible to calibrate the dynamics of all variables within the ESG to historical data alone. Calibration to forward-information such as future scenarios and return expectations is needed for stress testing and portfolio optimization, but no generally accepted methodology is available. This paper introduces the Conditional Scenario Simulator, which is a framework for consistently calibrating simulations and projections of economic and financial variables both to historical data and forward-looking information. The framework can be viewed as a multi-period, multi-factor generalization of the Black-Litterman model, and can embed a wide array of financial and macroeconomic models. Two practical examples demonstrate this in a frequentist and Bayesian setting.


title: Learning as Reinforcement: Applying Principles of Neuroscience for More General Reinforcement Learning Agents

abstract: A significant challenge in developing AI that can generalize well is designing agents that learn about their world without being told what to learn, and apply that learning to challenges with sparse rewards. Moreover, most traditional reinforcement learning approaches explicitly separate learning and decision making in a way that does not correspond to biological learning. We implement an architecture founded in principles of experimental neuroscience, by combining computationally efficient abstractions of biological algorithms. Our approach is inspired by research on spike-timing dependent plasticity, the transition between short and long term memory, and the role of various neurotransmitters in rewarding curiosity. The Neurons-in-a-Box architecture can learn in a wholly generalizable manner, and demonstrates an efficient way to build and apply representations without explicitly optimizing over a set of criteria or actions. We find it performs well in many environments including OpenAI Gym's Mountain Car, which has no reward besides touching a hard-to-reach flag on a hill, Inverted Pendulum, where it learns simple strategies to improve the time it holds a pendulum up, a video stream, where it spontaneously learns to distinguish an open and closed hand, as well as other environments like Google Chrome's Dinosaur Game.


title: Dark, Beyond Deep: A Paradigm Shift to Cognitive AI with Humanlike Common Sense

abstract: Recent progress in deep learning is essentially based on a "big data for small tasks" paradigm, under which massive amounts of data are used to train a classifier for a single narrow task. In this paper, we call for a shift that flips this paradigm upside down. Specifically, we propose a "small data for big tasks" paradigm, wherein a single artificial intelligence (AI) system is challenged to develop "common sense", enabling it to solve a wide range of tasks with little training data. We illustrate the potential power of this new paradigm by reviewing models of common sense that synthesize recent breakthroughs in both machine and human vision. We identify functionality, physics, intent, causality, and utility (FPICU) as the five core domains of cognitive AI with humanlike common sense. When taken as a unified concept, FPICU is concerned with the questions of "why" and "how", beyond the dominant "what" and "where" framework for understanding vision. They are invisible in terms of pixels but nevertheless drive the creation, maintenance, and development of visual scenes. We therefore coin them the "dark matter" of vision. Just as our universe cannot be understood by merely studying observable matter, we argue that vision cannot be understood without studying FPICU. We demonstrate the power of this perspective to develop cognitive AI systems with humanlike common sense by showing how to observe and apply FPICU with little training data to solve a wide range of challenging tasks, including tool use, planning, utility inference, and social learning. In summary, we argue that the next generation of AI must embrace "dark" humanlike common sense for solving novel tasks.


title: Taming the Expressiveness and Programmability of Graph Analytical Queries

abstract: Graph database has enjoyed a boom in the last decade, and graph queries accordingly gain a lot of attentions from both the academia and industry. We focus on analytical queries in this paper. While analyzing existing domain-specific languages (DSLs) for analytical queries regarding the perspectives of completeness, expressiveness and programmability, we find out that none of existing work has achieved a satisfactory coverage of these perspectives. Motivated by this, we propose the \flash DSL, which is named after the three primitive operators Filter, LocAl and PuSH. We prove that \flash is Turing complete (completeness), and show that it achieves both good expressiveness and programmability for analytical queries. We provide an implementation of \flash based on code generation, and compare it with native C++ codes and existing DSL using representative queries. The experiment results demonstrate \flash's expressiveness, and its capability of programming complex algorithms that achieve satisfactory runtime.


title: The Shafarevich conjecture for hypersurfaces in abelian varieties

abstract: Faltings proved that there are finitely many abelian varieties of genus $g$ over a number field $K$, with good reduction outside a finite set of primes $S$. Fixing one of these abelian varieties $A$, we prove that there are finitely many smooth hypersurfaces in $A$, with good reduction outside $S$, representing a given ample class in the N\'eron-Severi group of $A$, up to translation, as long as the dimension of $A$ is at least $4$. Our approach builds on the approach of arXiv:1807.02721 which studies $p$-adic variations of Hodge structure to turn finiteness results for $p$-adic Galois representations into geometric finiteness statements. A key new ingredient is an approach to proving big monodromy for the variations of Hodge structure arising from the middle cohomology of these hypersurfaces using the Tannakian theory of sheaf convolution on abelian varieties.


title: Coherent Raman pulses with quantum-randomized polarization

abstract: We demonstrate the generation of coherent Stokes pulses with randomized linear-polarization in diamond, when the pump wave-vector and linear polarization were oriented along the $[110]$ and $[1\bar{1}0]$ axes respectively. In this configuration the excitation of multiple Raman modes produces isotropic gain, preventing the Stokes pulse from acquiring a deterministic orientation and is instead randomized by the zero-point motion of the crystal. Experimental polarization measurements were consistent with an independent, identical distribution with an estimated entropy rate of 6.67 bits per pulse.


title: Extending DeepSDF for automatic 3D shape retrieval and similarity transform estimation

abstract: Recent advances in computer graphics and computer vision have found successful application of deep neural network models for 3D shapes based on signed distance functions (SDFs) that are useful for shape representation, retrieval, and completion. However, this approach has been limited by the need to have query shapes in the same canonical scale and pose as those observed during training, restricting its effectiveness on real world scenes. We present a formulation to overcome this issue by jointly estimating shape and similarity transform parameters. We conduct experiments to demonstrate the effectiveness of this formulation on synthetic and real datasets and report favorable comparisons to the state of the art. Finally, we also emphasize the viability of this approach as a form of 3D model compression.


title: Role of electron scattering on the high-order harmonic generation from solids

abstract: We extend the semi-classical trajectory description for the high-order harmonic generation~(HHG) from solids by integrating the effect of electron-scattering. Comparing the extended semi-classical trajectory model with a one-dimensional quantum mechanical simulation, we find that the multi-plateau feature of the HHG spectrum is formed by Umklapp scattering under the electron-hole acceleration dynamics by laser fields. Furthermore, by tracing the scattered trajectories in real-space, the model fairly describes the emitted photon energy and the emission timing of the HHG even in the higher plateau regions. We further consider the loss of trajectories by scattering processes with a mean-free-path approximation and evaluate the HHG cutoff energy as a function of laser wavelength. As a result, we find that the trajectory loss by scattering causes the wavelength independence of the HHG from solids.


title: Adaptation of a Lexical Organization for Social Engineering Detection and Response Generation

abstract: We present a paradigm for extensible lexicon development based on Lexical Conceptual Structure to support social engineering detection and response generation. We leverage the central notions of ask (elicitation of behaviors such as providing access to money) and framing (risk/reward implied by the ask). We demonstrate improvements in ask/framing detection through refinements to our lexical organization and show that response generation qualitatively improves as ask/framing detection performance improves. The paradigm presents a systematic and efficient approach to resource adaptation for improved task-specific performance.


title: Black-White Array: A New Data Structure for Dynamic Data Sets

abstract: A new array based data structure named black-white array (BWA) is introduced as an effective and efficient alternative to the list or tree based data structures for dynamic data set. It consists of two sub-arrays, one white and one black of half of the size of the white. Both of them are conceptually partitioned into segments of different ranks with the sizes grow in geometric sequence. The layout of BWA allows easy calculation of the meta-data about the segments, which are used extensively in the algorithms for the basic operations of the dynamic sets. The insertion of a sequence of unordered numbers into BWA takes amortized time logarithmic to the length of the sequence. It is also proven that when the searched or deleted value is present in the BWA, the asymptotic amortized cost for the operations is O(log(n)); otherwise, the time will fall somewhere between O(log(n)) and O(log^2(n)). It is shown that the state variable total, which records the number of values in the BWA captures the dynamics of state transition of BWA. This fact is exploited to produce concise, easy- to-understand, and efficient coding for the operations. As it uses arrays as the underlying structure for dynamic set, a BWA need neither the space to store the pointers referencing other data nodes nor the time to chase the pointers as with any linked data structures. A C++ implementation of the BWA is completed. The performance data were gathered and plotted, which confirmed the theoretic analysis. The testing results showed that the amortized time for the insert, search, and delete operations is all just between 105.949 and 5720.49 nanoseconds for BWAs of sizes ranging from 210 to 229 under various conditions.


title: Theory and numerics for Chen's flow of curves

abstract: In this article we study Chen's flow of curves from theoreical and numerical perspectives. We investigate two settings: that of closed immersed $\omega$-circles, and immersed lines satisfying a cocompactness condition. In each of the settings our goal is to find geometric conditions that allow us to understand the global behaviour of the flow: for the cocompact case, the condition is straightforward and the argument is largely standard. For the closed case however, the argument is quite complex. The flow shrinks every initial curve to a point if it does not become singular beforehand, and we must identify a condition to ensure this behaviour as well as identify the point in order to perform the requisite rescaling. We are able to successfully conduct a full analysis of the rescaling under a curvature condition. The analysis resembles the case of the mean curvature flow more than other fourth-order curvature flow such as the elastic flow or the curve diffusion flow, despite the lack of maximum and comparison principles. Our work is informed by a numerical study of the flow, and we include a section that explains the algorithms used and gives some further simulations.


title: Euler Turbulence and thermodynamic equilibrium

abstract: We perform a unique direct numerical simulation of Euler turbulence using delta-correlated velocity field as an initial condition, and report a full range of $k^2$ and $k$ energy spectra for 3D and 2D flows respectively, zero energy flux, and Maxwell-Boltzmann distribution for the velocity field. These are direct verification of the predictions of the absolute equilibrium theory of turbulence. For a coherent vortex as an initial condition, Euler turbulence transitions from a mixture of nonequilibrium-equilibrium state to a equilibrium state through a process called thermalization. In this letter, we present a model for thermalization in Euler turbulence.

categories: physics.flu-dyn astro-ph.SR cond-mat.stat-mech nlin.CD


title: Asynchronous Byzantine Approximate Consensus in Directed Networks

abstract: In this work, we study the approximate consensus problem in asynchronous message-passing networks where some nodes may become Byzantine faulty. We answer an open problem raised by Tseng and Vaidya, 2012, proposing the first algorithm of optimal resilience for directed networks. Interestingly, our results show that the tight condition on the underlying communication networks for asynchronous Byzantine approximate consensus coincides with the tight condition for synchronous Byzantine exact consensus. Our results can be viewed as a non-trivial generalization of the algorithm by Abraham et al., 2004, which applies to the special case of complete networks. The tight condition and techniques identified in the paper shed light on the fundamental properties for solving approximate consensus in asynchronous directed networks.


title: Ground-state properties of dilute spinless fermions in fractional dimensions

abstract: We analyze zero-temperature universal properties of the simplest Galilean-invariant model of spinless low-dimensional fermions with short-range two-body interactions. In particular, it is shown that after proper renormalization of the coupling constant, even the dilute system possesses rich phase diagram that includes the superfluid state and the metastable `upper branch' behavior.


title: Colonoscope tracking method based on shape estimation network

abstract: This paper presents a colonoscope tracking method utilizing a colon shape estimation method. CT colonography is used as a less-invasive colon diagnosis method. If colonic polyps or early-stage cancers are found, they are removed in a colonoscopic examination. In the colonoscopic examination, understanding where the colonoscope running in the colon is difficult. A colonoscope navigation system is necessary to reduce overlooking of polyps. We propose a colonoscope tracking method for navigation systems. Previous colonoscope tracking methods caused large tracking errors because they do not consider deformations of the colon during colonoscope insertions. We utilize the shape estimation network (SEN), which estimates deformed colon shape during colonoscope insertions. The SEN is a neural network containing long short-term memory (LSTM) layer. To perform colon shape estimation suitable to the real clinical situation, we trained the SEN using data obtained during colonoscope operations of physicians. The proposed tracking method performs mapping of the colonoscope tip position to a position in the colon using estimation results of the SEN. We evaluated the proposed method in a phantom study. We confirmed that tracking errors of the proposed method was enough small to perform navigation in the ascending, transverse, and descending colons.


title: Airborne LiDAR Point Cloud Classification with Graph Attention Convolution Neural Network

abstract: Airborne light detection and ranging (LiDAR) plays an increasingly significant role in urban planning, topographic mapping, environmental monitoring, power line detection and other fields thanks to its capability to quickly acquire large-scale and high-precision ground information. To achieve point cloud classification, previous studies proposed point cloud deep learning models that can directly process raw point clouds based on PointNet-like architectures. And some recent works proposed graph convolution neural network based on the inherent topology of point clouds. However, the above point cloud deep learning models only pay attention to exploring local geometric structures, yet ignore global contextual relationships among all points. In this paper, we present a graph attention convolution neural network (GACNN) that can be directly applied to the classification of unstructured 3D point clouds obtained by airborne LiDAR. Specifically, we first introduce a graph attention convolution module that incorporates global contextual information and local structural features. Based on the proposed graph attention convolution module, we further design an end-to-end encoder-decoder network, named GACNN, to capture multiscale features of the point clouds and therefore enable more accurate airborne point cloud classification. Experiments on the ISPRS 3D labeling dataset show that the proposed model achieves a new state-of-the-art performance in terms of average F1 score (71.5\%) and a satisfying overall accuracy (83.2\%). Additionally, experiments further conducted on the 2019 Data Fusion Contest Dataset by comparing with other prevalent point cloud deep learning models demonstrate the favorable generalization capability of the proposed model.


title: Neural-trust-region algorithm for unconstrained optimization (Part 1)

abstract: In this paper (part 1), we describe a derivative-free trust-region method for solving unconstrained optimization problems. We will discuss a method when we relax the model order assumption and use artificial neural network techniques to build a computationally relatively inexpensive model. We directly find an estimate of the objective function minimizer without explicitly constructing a model function. Therefore, we need to have the neural-network model derivatives, which can be obtained simply through a back-propagation process.


title: Intelligent Reflecting Surface-Aided Backscatter Communications

abstract: We introduce a novel system setup where a backscatter device operates in the presence of an intelligent reflecting surface (IRS). In particular, we study the bistatic backscatter communication (BackCom) system assisted by an IRS. The phase shifts at the IRS are optimized jointly with the transmit beamforming vector of the carrier emitter to minimize the transmit power consumption at the carrier emitter whilst guaranteeing a required BackCom performance. The unique channel characteristics arising from multiple reflections at the IRS render the optimization problem highly non-convex. Therefore, we jointly utilize the minorization-maximization algorithm and the semidefinite relaxation technique to present an approximate solution for the optimal IRS phase shift design. We also extend our analytical results to the monostatic BackCom system. Numerical results indicate that the introduction of the IRS brings about considerable reductions in transmit power, even with moderate IRS sizes, which can be translated to range increases over the non-IRS-assisted BackCom system.


title: Exterior Schwarzschild initial data for degenerate apparent horizons

abstract: In this note we show that if $g$ is a smooth Riemannian metric on $\mathbb{S}^2$ such that the first eigenvalue of the operator $L_g:=-\Delta_g +K_g$ satisfies $\lambda_1(L_g)=0$ then $(\mathbb{S}^2, g)$ arises as an apparent horizon in an asymptotically flat initial data set with ADM mass arbitrarily close to the associated Hawking mass $\sqrt{\text{area}(\mathbb{S}^2, g)/16\pi}$. In particular, this determines the Bartnik quasilocal mass (introduced by Bartnik \cite{Bartnik} in 1989) associated with $(\mathbb{S}^2, g)$ in this setting. We prove these by modifying the construction of Mantoulidis-Schoen \cite{MS} who proved the same results in the case $\lambda_1(L_g)>0$. It follows that $\lambda_1(g)\geq 0$ is necessary and sufficient for $(\mathbb{S}^2, g)$ to arise from an apparent horizon in an asyptotically flat space-time under the dominant energy condition and in the time symmetric setting, and that the Bartnik mass of the horizon is $\sqrt{\text{area}(\mathbb{S}^2, g)/16\pi}$.


title: Semantic Correspondence via 2D-3D-2D Cycle

abstract: Visual semantic correspondence is an important topic in computer vision and could help machine understand objects in our daily life. However, most previous methods directly train on correspondences in 2D images, which is end-to-end but loses plenty of information in 3D spaces. In this paper, we propose a new method on predicting semantic correspondences by leveraging it to 3D domain and then project corresponding 3D models back to 2D domain, with their semantic labels. Our method leverages the advantages in 3D vision and can explicitly reason about objects self-occlusion and visibility. We show that our method gives comparative and even superior results on standard semantic benchmarks. We also conduct thorough and detailed experiments to analyze our network components. The code and experiments are publicly available at https://github.com/qq456cvb/SemanticTransfer.


title: S3Library: Automatically Eliminating C/C++ Buffer Overflow using Compatible Safer Libraries

abstract: Annex K of C11, bounds-checking interfaces, recently introduced a set of alternative functions to mitigate buffer overflows, primarily those caused by string/memory functions. However, poor compatibility limits their adoption. Failure oblivious computing can eliminate the possibility that an attacker can exploit memory errors to corrupt the address space and significantly increase the availability of systems. In this paper, we present S3Library (Saturation-Memory-Access Safer String Library), which is compatible with the standard C library in terms of function signature. Our technique automatically replaces unsafe deprecated memory/string functions with safer versions that perform bounds checking and eliminate buffer overflows via boundless memory. S3Library employs MinFat, a very compact pointer representation following the Less is More principle, to encode metadata into unused upper bits within pointers. In addition, S3Library utilizes Saturation Memory Access to eliminate illegal memory accesses into boundless padding area. Even if an out-of-bounds access is made, the fault program will not be interrupted. We implement our scheme within the LLVM framework on X86-64 and evaluate our approach on correctness, security, runtime performance and availability.


title: Securing Internet Applications from Routing Attacks

abstract: Attacks on Internet routing are typically viewed through the lens of availability and confidentiality, assuming an adversary that either discards traffic or performs eavesdropping. Yet, a strategic adversary can use routing attacks to compromise the security of critical Internet applications like Tor, certificate authorities, and the bitcoin network. In this paper, we survey such application-specific routing attacks and argue that both application-layer and network-layer defenses are essential and urgently needed. While application-layer defenses are easier to deploy in the short term, we hope that our work serves to provide much needed momentum for the deployment of network-layer defenses.


title: Modulation induced splitting of the magnetic resonance

abstract: The splitting of magnetic resonance induced by a linearly polarized frequency comb is presented for Hanle experimental configuration. The experiment is carried out with thermal Rubidium atoms in an anti-relaxation coated glass cell. The observed splitting corresponds to steady-state behaviour of the system over an integrated time scale that is longer than the modulation frequency. The splitting is only observed for dark resonances, with left and right circularly polarized light simultaneously coupled to the atomic system. The missing alternate split components at single photon resonance is consistent with the theoretical calculation. The different components of the split profile have distinct response to the direction of the transverse magnetic field. The response is captured by the theoretical calculation and the underlying physical mechanism is discussed. These studies will be useful in metrology and advancement of vector atomic magnetometer.


title: Optimal Experimental Design for Mathematical Models of Hematopoiesis

abstract: The hematopoietic system has a highly regulated and complex structure in which cells are organized to successfully create and maintain new blood cells. Feedback regulation is crucial to tightly control this system, but the specific mechanisms by which control is exerted are not completely understood. In this work, we aim to uncover the underlying mechanisms in hematopoiesis by conducting perturbation experiments, where animal subjects are exposed to an external agent in order to observe the system response and evolution. Developing a proper experimental design for these studies is an extremely challenging task. To address this issue, we have developed a novel Bayesian framework for optimal design of perturbation experiments. We model the numbers of hematopoietic stem and progenitor cells in mice that are exposed to a low dose of radiation. We use a differential equations model that accounts for feedback and feedforward regulation. A significant obstacle is that the experimental data are not longitudinal, rather each data point corresponds to a different animal. This model is embedded in a hierarchical framework with latent variables that capture unobserved cellular population levels. We select the optimum design based on the amount of information gain, measured by the Kullback-Leibler divergence between the probability distributions before and after observing the data. We evaluate our approach using synthetic and experimental data. We show that a proper design can lead to better estimates of model parameters even with relatively few subjects. Additionally, we demonstrate that the model parameters show a wide range of sensitivities to design options. Our method should allow scientists to find the optimal design by focusing on their specific parameters of interest and provide insight to hematopoiesis. Our approach can be extended to more complex models where latent components are used.


title: Measurement of the branching fraction ${\cal B}(\bar B^0\to D^{*+}\ell^-\bar\nu_\ell)$ with early Belle II data

abstract: We measure the branching fractions for the decays $\bar{B}^0 \to D^{*+} e^{-} \bar{\nu}_e$ and $\bar{B}^0 \to D^{*+} \mu^{-} \bar{\nu}_\mu$ using $8.70 \pm 0.09~{\rm fb}^{-1}$ of data collected by the Belle II experiment at the SuperKEKB asymmetric-energy $e^+ e^-$ collider. Candidate signal decays are reconstructed with the subsequent decays $D^{*+}\to D^0 \pi^+$ and $D^0\to K^-\pi^+$. We obtain the results ${\cal B}(\bar{B}^0 \to D^{*+} e^{-} \bar{\nu}_e)$ = $(4.55\pm0.14(\mathrm{stat})\pm0.35 (\mathrm{syst})) \%$ and ${\cal B}(\bar{B}^0 \to D^{*+} \mu^{-} \bar{\nu}_\mu)$ = $(4.84\pm 0.13(\mathrm{stat})\pm0.37(\mathrm{syst})) \%$, in agreement with the world averages. The measurements serve to validate the full chain of detector operation and calibration, data collection and processing, and production of physics results in the case of semileptonic $B$-meson decays.


title: OGLE-2017-BLG-0406: ${\it Spitzer}$ Microlens Parallax Reveals Saturn-mass Planet orbiting M-dwarf Host in the Inner Galactic Disk

abstract: We report the discovery and analysis of the planetary microlensing event OGLE-2017-BLG-0406, which was observed both from the ground and by the ${\it Spitzer}$ satellite in a solar orbit. At high magnification, the anomaly in the light curve was densely observed by ground-based-survey and follow-up groups, and it was found to be explained by a planetary lens with a planet/host mass ratio of $q=7.0 \times 10^{-4}$ from the light-curve modeling. The ground-only and ${\it Spitzer}$-"only" data each provide very strong one-dimensional (1-D) constraints on the 2-D microlens parallax vector $\bf{\pi_{\rm E}}$. When combined, these yield a precise measurement of $\bf{\pi_{\rm E}}$, and so of the masses of the host $M_{\rm host}=0.56\pm0.07\,M_\odot$ and planet $M_{\rm planet} = 0.41 \pm 0.05\,M_{\rm Jup}$. The system lies at a distance $D_{\rm L}=5.2 \pm 0.5 \ {\rm kpc}$ from the Sun toward the Galactic bulge, and the host is more likely to be a disk population star according to the kinematics of the lens. The projected separation of the planet from the host is $a_{\perp} = 3.5 \pm 0.3 \ {\rm au}$, i.e., just over twice the snow line. The Galactic-disk kinematics are established in part from a precise measurement of the source proper motion based on OGLE-IV data. By contrast, the ${\it Gaia}$ proper-motion measurement of the source suffers from a catastrophic $10\,\sigma$ error.


title: A Generalized Dimming Control Scheme for Visible Light Communications

abstract: A novel dimming control scheme, termed as generalized dimming control (GDC), is proposed for visible light communication (VLC) systems. The proposed GDC scheme achieves dimming control by simultaneously adjusting the intensity of transmitted symbols and the number of active elements in a space-time matrix. Both the indices of the active elements in each space-time matrix and the modulated constellation symbols are used to carry information. Since illumination is deemed as the prior task of VLC, an incremental algorithm for index mapping is proposed for achieving target optical power and uniform illumination. Next, GDC having the optimal activation pattern is investigated to further improve the bit-error rate (BER) performance. In particular, the BER performance of GDC is analyzed using the union bound technique. Based on the analytical BER bound, the optimal activation pattern of GDC scheme with the minimum BER criterion (GDC-MBER) is obtained by exhaustively searching all conditional pairwise error probabilities. However, since GDC-MBER requires high search complexity, two low-complexity GDC schemes having the maximum free distance criterion (GDCMFD) are proposed. The first GDC-MFD scheme, coined as GDC-MFD1, reduces the computational complexity by deriving a lower bound of the free distance based on Rayleigh-Ritz theorem. Based on the time-invariance characteristics of the VLC channel, GDC-MFD2 is proposed to further reduce the required computation efforts. Simulation and numerical results show that GDC-MBER, GDC-MFD1 and GDC-MFD2 have similar BER performance, and they can achieve 2 dB performance gains over conventional hybrid dimming control scheme and 7 dB performance gains over digital dimming control schemes.


title: Modulation of probe signal in coherent phonon detection revisited: Analytical and first-principles computational analyses

abstract: Modulation of probe signal in pump-probe measurements of coherent phonons in dielectrics, with and without spectral resolution, are investigated theoretically taking diamond as an example. Analytical investigation as well as first-principles calculations based on time-dependent density functional theory is utilized to clarify the mechanism of the modulation of the probe signals. Boundary and bulk effects are investigated systematically, putting emphasis on the phase relation between the modulation and the atomic motion of the coherent phonon. They are summarized as follows: Modulation by the boundary effect is in phase with the coherent phonon amplitude, while that by the bulk effect shows $\pi/2$ phase difference. Strong frequency dependence appears in the modulation by the bulk effect, while no frequency dependence by the boundary effect. First-principles calculations support the reliability of the analytical result.


title: Operando direct observation of spin states correlated with device performance in perovskite solar cells

abstract: Perovskite solar cells are one of the most attracting cells because of remarkably improved power conversion efficiency (PCE) recently. Toward their practical application, it is important not only to increase the PCE but also to elucidate the deterioration mechanism. Here, we present operando direct observation of spin states in the cells using electron spin resonance (ESR) spectroscopy in order to investigate the operation and deterioration mechanisms from a microscopic viewpoint. By simultaneous measurements of solar-cell and ESR characteristics of the same cell, the spin states in the hole-transport material (HTM) spiro-OMeTAD are demonstrated to be changed at the molecular level, which varies the device performance under device operation. These variations are ascribed to the change of hole transport by charge-carrier scatterings and filling of deep trapping levels in the HTM, and to interfacial electric dipole layers formed at the HTM interfaces. In addition, reverse electron transfer from TiO2 layer to the HTM layer is directly demonstrated at the molecular level under ultraviolet light irradiation, which causes the decrease in the HTM doping effect. Thus, conducting such operando microscopic investigation on the internal states in the cells would be useful to obtain a new further guideline for improving the device performance and durability.


title: Stochastic primal dual fixed point method for composite optimization

abstract: In this paper we propose a stochastic primal dual fixed point method (SPDFP) for solving the sum of two proper lower semi-continuous convex function and one of which is composite. The method is based on the primal dual fixed point method (PDFP) proposed in [7] that does not require subproblem solving. Under some mild condition, the convergence is established based on two sets of assumptions: bounded and unbounded gradients and the convergence rate of the expected error of iterate is of the order O(k^{\alpha}) where k is iteration number and \alpha \in (0, 1]. Finally, numerical examples on graphic Lasso and logistic regressions are given to demonstrate the effectiveness of the proposed algorithm.


title: On the Data Fight Between Cities and Mobility Providers

abstract: E-Scooters are changing transportation habits. In an attempt to oversee scooter usage, the Los Angeles Department of Transportation has put forth a specification that requests detailed data on scooter usage from scooter companies. In this work, we first argue that L.A.'s data request for using a new specification is not warranted as proposed use cases can be met by already existing specifications. Second, we show that even the existing specification, that requires companies to publish real-time data of parked scooters, puts the privacy of individuals using the scooters at risk. We then propose an algorithm that enables formal privacy and utility guarantees when publishing parked scooters data, allowing city authorities to meet their use cases while preserving riders' privacy.


title: CatSIM: A Categorical Image Similarity Metric

abstract: We introduce CatSIM, a new similarity metric for binary and multinary two- and three-dimensional images and volumes. CatSIM uses a structural similarity image quality paradigm and is robust to small perturbations in location so that structures in similar, but not entirely overlapping, regions of two images are rated higher than using simple matching. The metric can also compare arbitrary regions inside images. CatSIM is evaluated on artificial data sets, image quality assessment surveys and two imaging applications


title: Edge mode bifurcations of two-dimensional topological lasers

abstract: Topological lasers are of growing interest as a way to achieve disorder-robust single mode lasing using arrays of coupled resonators. We study lasing in a two-dimensional coupled resonator lattice exhibiting transitions between trivial and topological phases, which allows us to systematically characterize the lasing modes throughout a topological phase. We show that, unlike conventional topological robustness that requires a sufficiently large bulk band gap, bifurcations in topological edge mode lasing can occur even when the band gap is maximized. We show that linear mode bifurcations from single mode to multi-mode lasing can occur deep within the topological phase, sensitive to both the pump shape and lattice geometry. We suggest ways to suppress these bifurcations and preserve single edge mode lasing.


title: On the integration of Shapley-Scarf housing markets

abstract: We study the welfare consequences of merging Shapley--Scarf markets. Market integration can lead to large welfare losses and make the vast majority of agents worse-off, but is on average welfare-enhancing and makes all agents better off ex-ante. The number of agents harmed by integration is a minority when all markets are small or agents' preferences are highly correlated.


title: Warming Early Mars with Climate Cycling: The Effect of CO2-H2 Collision-induced Absorption

abstract: Explaining the evidence for surface liquid water on early Mars has been a challenge for climate modelers, as the sun was ~30% less luminous during the late-Noachian. We propose that the additional greenhouse forcing of CO2-H2 collision-induced absorption is capable of bringing the surface temperature above freezing and can put early Mars into a limit-cycling regime. Limit cycles occur when insolation is low and CO2 outgassing rates are unable to balance with the rapid drawdown of CO2 during warm weathering periods. Planets in this regime will alternate between global glaciation and transient warm climate phases. This mechanism is capable of explaining the geomorphological evidence for transient warm periods in the martian record. Previous work has shown that collision-induced absorption of CO2-H2 was capable of deglaciating early Mars, but only with high H2 outgassing rates (greater than ~600 Tmol/yr) and at high surface pressures (between 3 to 4 bars). We used new theoretically derived collision-induced absorption coefficients for CO2-H2 to reevaluate the climate limit cycling hypothesis for early Mars. Using the new and stronger absorption coefficients in our 1-dimensional radiative convective model as well as our energy balance model, we find that limit cycling can occur with an H2 outgassing rate as low as ~300 Tmol/yr at surface pressures below 3 bars. Our results agree more closely with paleoparameters for early martian surface pressure and hydrogen abundance.


title: On the role of reduced wind mass-loss rate in enabling exoplanets to shape planetary nebulae

abstract: We use the stellar evolution code MESA-binary and follow the evolution of three exoplanets and two brown dwarfs (BDs) to determine their potential role in the future evolution of their parent star on the red giant branch (RGB) and on the asymptotic giant branch (AGB). We limit this study to exoplanets and BDs with orbits that have semi-major axis of 1AU<a0<20AU, a high eccentricity, e0>0.25, and having a parent star of mass M>1Mo. We find that the star HIP 75458 will engulf its planet HIP 75458 b during its RGB phase. The planet will remove the envelope and terminate the RGB evolution, leaving a bare helium core of mass 0.4Mo that will evolve to form a helium white dwarf. Only in one system out of five, the planet beta Pic c will enter the envelope of its parent star during the AGB phase. For that to occur, we have to reduce the wind mass-loss rate by a factor of about four from its commonly used value. This strengthens an early conclusion, which was based on exoplanets with circular orbits, that states that to have a non-negligible fraction of AGB stars that engulf planets we should consider lower wind mass-loss rates of isolated AGB stars (before they are spun-up by a companion). Such an engulfed planet might lead to the shaping of the AGB mass-loss geometry to form an elliptical planetary nebula.


title: Geodesic and orthogeodesic identities on hyperbolic surfaces

abstract: The lengths of geodesics on hyperbolic surfaces satisfy intriguing equations, known as identities, relating these lengths to geometric quantities of the surface. This paper is about a large family of identities that relate lengths of closed geodesics and orthogeodesics to boundary lengths or number of cusps. These include, as particular cases, identities due to Basmajian, to McShane and to Mirzakhani and Tan-Wong-Zhang. In stark contrast to previous identities, the identities presented here include the lengths taken among all closed geodesics.


title: Isotropy and Log-Concave Polynomials: Accelerated Sampling and High-Precision Counting of Matroid Bases

abstract: We define a notion of isotropy for discrete set distributions. If $\mu$ is a distribution over subsets $S$ of a ground set $[n]$, we say that $\mu$ is in isotropic position if $P[e \in S]$ is the same for all $e\in [n]$. We design a new approximate sampling algorithm that leverages isotropy for the class of distributions $\mu$ that have a log-concave generating polynomial; this class includes determinantal point processes, strongly Rayleigh distributions, and uniform distributions over matroid bases. We show that when $\mu$ is in approximately isotropic position, the running time of our algorithm depends polynomially on the size of the set $S$, and only logarithmically on $n$. When $n$ is much larger than the size of $S$, this is significantly faster than prior algorithms, and can even be sublinear in $n$. We then show how to transform a non-isotropic $\mu$ into an equivalent approximately isotropic form with a polynomial-time preprocessing step, accelerating subsequent sampling times. The main new ingredient enabling our algorithms is a class of negative dependence inequalities that may be of independent interest. As an application of our results, we show how to approximately count bases of a matroid of rank $k$ over a ground set of $n$ elements to within a factor of $1+\epsilon$ in time $ O((n+1/\epsilon^2)\cdot poly(k, \log n))$. This is the first algorithm that runs in nearly linear time for fixed rank $k$, and achieves an inverse polynomially low approximation error.


title: Notes on multiple superconducting phases in UTe$_2$ ---Third transition---

abstract: A three-component Ginzburg-Landau theory for a triplet pairing is developed to understand the observed multiple phases in a new superconductor UTe$_2$ under pressure. Near the critical pressure $P_{\rm cr}$=0.2GPa where all components are perfectly degenerate the three successive superconducting transitions are predicted to occur. The $p$-wave pairing symmetry realized in UTe$_2$ is characterized by non-unitarity and chirality with point nodes, thus time reversal symmetry spontaneously broken.


title: Development of a fragment kinetic Monte Carlo method for efficient prediction of ionic diffusion in perovskite crystals

abstract: A massively parallel kinetic Monte Carlo (kMC) approach is proposed for simulating ionic migration in a crystal system by introducing the atomic fragmentation scheme (fragment kMC). The fragment kMC method achieved a reasonable parallel efficiency with 1728 central processing unit (CPU) cores, and the method enables the simulation of ionic diffusion in $\mu$m-scale perovskite crystals. To demonstrate the feasibility of the proposed approach, the fragment kMC method was applied to predict the diffusion coefficients of hydrogen and oxygen in SrTiO$_{(3-x)}$H$_x$ and BaTiO$_{(3-x)}$H$_x$ system. Finally, the fragment kMC method was customized for $\mu$-scale BaTiO$_3$ simulation under an applied bias voltage, and oxygen diffusion in BaTiO$_3$ model was evaluated. The respective grain sizes are sub-nanometre, and we conclude that the proposed fragment kMC method can be applied to calculate the extent of ionic migration in $\mu$-scale materials with fully atomistic simulation models at a reasonable computational cost.


title: Fractionalized Quasiparticles in Dense Baryonic Matter

abstract: I discuss a novel scenario on how baryonic matter could turn into a Fermi liquid of fractionalized baryons driven by high density inside compact stars. It involves the "hidden" local vector bosons $\rho$ and $\omega$ together with the "hidden" scale symmetry dilaton $\chi$, both taken to be "dual" to the quarks and gluons of QCD in the sense of quark $\leftrightarrow$ hadron duality and offers a possibility, exploiting the "Cheshire Cat Principle", to unify the "dichotomy" of baryons described in terms of skyrmions and fractional quantum Hall (FQH) droplets {\it and} to explore how the baryonic matter could behave as density goes way beyond the normal nuclear matter density to the density regime where "deconfined" quarks are presumed to figure. The question is raised as to whether the fractionalized characteristics of the "stuff" -- whatever they are -- can be "probed" in the dense star core of compact stars.


title: Rapid Mixing of Glauber Dynamics up to Uniqueness via Contraction

abstract: For general antiferromagnetic 2-spin systems, including the hardcore model and the antiferromagnetic Ising model, there is an $\mathsf{FPTAS}$ for the partition function on graphs of maximum degree $\Delta$ when the infinite regular tree lies in the uniqueness region by Li et al. (2013). Moreover, in the tree non-uniqueness region, Sly (2010) showed that there is no $\mathsf{FPRAS}$ to estimate the partition function unless $\mathsf{NP}=\mathsf{RP}$. The algorithmic results follow from the correlation decay approach due to Weitz (2006) or the polynomial interpolation approach developed by Barvinok (2016). However the running time is only polynomial for constant $\Delta$. For the hardcore model, recent work of Anari et al. (2020) establishes rapid mixing of the simple single-site Markov chain known as the Glauber dynamics in the tree uniqueness region. Our work simplifies their analysis of the Glauber dynamics by considering the total pairwise influence of a fixed vertex $v$ on other vertices, as opposed to the total influence on $v$, thereby extending their work to all 2-spin models and improving the mixing time. More importantly our proof ties together the three disparate algorithmic approaches: we show that contraction of the tree recursions with a suitable potential function, which is the primary technique for establishing efficiency of Weitz's correlation decay approach and Barvinok's polynomial interpolation approach, also establishes rapid mixing of the Glauber dynamics. We emphasize that this connection holds for all 2-spin models (both antiferromagnetic and ferromagnetic), and existing proofs for correlation decay or polynomial interpolation immediately imply rapid mixing of Glauber dynamics. Our proof utilizes that the graph partition function divides that of Weitz's self-avoiding walk trees, leading to new tools for analyzing influence of vertices.


title: High-throughput GPU layered decoder of multi-edge type low density parity check codes in continuous-variable quantum key distribution systems

abstract: The decoding throughput in the postprocessing is one of the bottlenecks for a continuous-variable quantum key distribution (CV-QKD) system. In this paper, we propose a layered decoder to decode quasi-cyclic multi-edge type LDPC (QC-METLDPC) codes based on graphic processing unit (GPU) in continuous-variable quantum key distribution (CV-QKD) systems. We optimize the storage method of the parity check matrix, merge the sub-matrices which are unrelated, and decode multiple codewords in parallel on GPU. Simulation results demonstrate that the average decoding speed of LDPC codes with three typical code rates, i.e., 0.1, 0.05 and 0.02, is up to 64.11Mbits/s, 48.65Mbits/s and 39.51Mbits/s, respectively, when decoding 128 codewords of length 106 simultaneously without early termination.


title: Simple: A pedagogic tool for nuclear reactions and particle interactions with matter

abstract: Nuclear and particle physics are the core components of most undergraduate and postgraduate physics courses worldwide. While few fundamental concepts like particle counting and detector characterisation are taught in tandem with laboratory sessions, advanced techniques like cross-section measurement, track reconstruction, etc., are usually not taught extensively. At the same time, modern particle physics experiments require students to have advanced skills in statistical treatment of data, which cannot be covered in detail in the regular coursework. A software named Simple has been developed to simulate particle physics experiments, based on which, skills necessary for particle physics studies can be easily imparted. Simple is based on Geant4 libraries, widely used by the high energy physics community to simulate particle interactions with matter. Unlike Geant4, Simple is designed to be a standalone application requiring no prior programming knowledge to run a simulation and the time consuming compilation step is also avoided. In this paper, the features of this software along with few sample simulations are presented. Though the emphasis of this paper is on the use of Simple as a pedagogical aid, this application can also be used as a general purpose simulation framework for particle physics analyses.


title: Magnetically driven short-range order can explain anomalous measurements in CrCoNi

abstract: The presence, nature, and impact of chemical short-range order in the multi-principal element alloy CrCoNi are all topics of current interest and debate. First-principles calculations reveal that its origins are fundamentally magnetic, involving repulsion between like-spin Co-Cr and Cr-Cr pairs that is complemented by the formation of a magnetically aligned sublattice of second-nearest-neighbor Cr atoms. Ordering models following these principles are found to predict otherwise anomalous experimental measurements concerning both net magnetization and atomic volumes across a range of compositions. In addition to demonstrating the impact of magnetic interactions and resulting chemical rearrangement, the possible explanation of experiments would imply that short-range order of this type is far more prevalent than previously realized.


title: Effects of the COVID-19 Pandemic on Population Mobility under Mild Policies: Causal Evidence from Sweden

abstract: Sweden has adopted far less restrictive social distancing policies than most countries following the COVID-19 pandemic. This paper uses data on all mobile phone users, from one major Swedish mobile phone network, to examine the impact of the Coronavirus outbreak under the Swedish mild recommendations and restrictions regime on individual mobility and if changes in geographical mobility vary over different socio-economic strata. Having access to data for January-March in both 2019 and 2020 enables the estimation of causal effects of the COVID-19 outbreak by adopting a Difference-in-Differences research design. The paper reaches four main conclusions: (i) The daytime population in residential areas increased significantly (64 percent average increase); (ii) The daytime presence in industrial and commercial areas decreased significantly (33 percent average decrease); (iii) The distance individuals move from their homes during a day was substantially reduced (38 percent decrease in the maximum distance moved and 36 percent increase in share of individuals who move less than one kilometer from home); (iv) Similar reductions in mobility were found for residents in areas with different socioeconomic and demographic characteristics. These results show that mild government policies can compel people to adopt social distancing behavior.


title: Convergence analysis of direct minimization and self-consistent iterations

abstract: This article is concerned with the numerical solution of subspace optimization problems, consisting of minimizing a smooth functional over the set of orthogonal projectors of fixed rank. Such problems are encountered in particular in electronic structure calculation (Hartree-Fock and Kohn-Sham Density Functional Theory -DFT- models). We compare from a numerical analysis perspective two simple representatives, the damped self-consistent field (SCF) iterations and the gradient descent algorithm, of the two classes of methods competing in the field: SCF and direct minimization methods. We derive asymptotic rates of convergence for these algorithms and analyze their dependence on the spectral gap and other properties of the problem. Our theoretical results are complemented by numerical simulations on a variety of examples, from toy models with tunable parameters to realistic Kohn-Sham computations. We also provide an example of chaotic behavior of the simple SCF iterations for a nonquadratic functional.


title: Deep Exposure Fusion with Deghosting via Homography Estimation and Attention Learning

abstract: Modern cameras have limited dynamic ranges and often produce images with saturated or dark regions using a single exposure. Although the problem could be addressed by taking multiple images with different exposures, exposure fusion methods need to deal with ghosting artifacts and detail loss caused by camera motion or moving objects. This paper proposes a deep network for exposure fusion. For reducing the potential ghosting problem, our network only takes two images, an underexposed image and an overexposed one. Our network integrates together homography estimation for compensating camera motion, attention mechanism for correcting remaining misalignment and moving pixels, and adversarial learning for alleviating other remaining artifacts. Experiments on real-world photos taken using handheld mobile phones show that the proposed method can generate high-quality images with faithful detail and vivid color rendition in both dark and bright areas.


title: Further Evidence Towards the Multiplicative 1-2-3 Conjecture

abstract: The product version of the 1-2-3 Conjecture, introduced by Skowronek-Kazi{\'o}w in 2012, states that, a few obvious exceptions apart, all graphs can be 3-edge-labelled so that no two adjacent vertices get incident to the same product of labels. To date, this conjecture was mainly verified for complete graphs and 3-colourable graphs. As a strong support to the conjecture, it was also proved that all graphs admit such 4-labellings. In this work, we investigate how a recent proof of the multiset version of the 1-2-3 Conjecture by Vu{\v c}kovi{\'c} can be adapted to prove results on the product version. We prove that 4-chromatic graphs verify the product version of the 1-2-3 Conjecture. We also prove that for all graphs we can design 3-labellings that almost have the desired property. This leads to a new problem, that we solve for some graph classes.


title: Calculation of $d$-wave Feshbach resonance in $^{87}$Rb-$^{85}$Rb cold collisions by a multichannel computational method

abstract: We calculate recently observed $d$-wave Feshbach resonance [Phys. Rev. Lett. {\bf 119}, 203402 (2017)] and associated triplet structure in $^{87}$Rb-$^{85}$Rb cold collisions. We resort to a computational technique combining some features of close-coupling (CC) and $R$-matrix theory. In the long-range part, we numerically calculate a pair of base or reference functions for each channel ignoring all interchannel couplings, ensuring the linear independence of these base functions. The short-range part of the wave function is calculated by CC method. The multichannel wave functions are obtained by matching the short- and long-range parts at a suitably chosen matching point. We first verify the method by calculating cold collisional properties of $^{85}$Rb and $^6$Li in the presence of external magnetic fields tuned across specific $s$-wave Feshbach resonances and thereby reproducing known results. Our numerical results on the $d$-wave resonance agree reasonably well with the experimental ones. Furthermore, our method enables one to readily construct the real space Green functions in order to calculate perturbatively the effects of any residual inter-channel couplings in the long range.


title: On the L\'evy constants of Sturmian continued fractions

abstract: The L\'evy constant of an irrational real number is defined by the exponential growth rate of the sequence of denominators of the principal convergents in its continued fraction expansion. Any quadratic irrational has an ultimately periodic continued fraction expansion and it is well-known that this implies the existence of a L\'evy constant. Let $a, b$ be distinct positive integers. If the sequence of partial quotients of an irrational real number is a Sturmian sequence over $\{a, b\}$, then it has a L\'evy constant, which depends only on $a$, $b$, and the slope of the Sturmian sequence, but not on its intercept. We show that the set of L\'evy constants of irrational real numbers whose sequence of partial quotients is periodic or Sturmian is equal to the whole interval $[\log ((1+\sqrt 5)/2 ), + \infty)$.


title: The Number of Singular Fibers in Hyperelliptic Lefschetz Fibrations

abstract: We consider complex surfaces, viewed as smooth $4$-dimensional manifolds, that admit hyperelliptic Lefschetz fibrations over the $2$-sphere. In this paper, we show that the minimal number of singular fibers of such fibrations is equal to $2g+4$ for even $g\geq4$. For odd $g\geq7$, we show that the number is greater than or equal to $2g+6$. Moreover, we discuss the minimal number of singular fibers in all hyperelliptic Lefschetz fibrations over the $2$-sphere as well.


title: Ultra Thin Films of Yttrium Iron Garnet with Very Low Damping: A Review

abstract: Thin Yttrium Iron Garnet (YIG) is a promising material for integrated magnonics. In order to introduce YIG into nanofabrication processes it is necessary to fabricate very thin YIG films with a thickness well below 100 nm while retaining the extraordinary magnetic properties of the material, especially its long magnon lifetime and spin wave propagation length. Here, we give a brief introduction into the topic and we review and discuss the various results published over the last decade in this area. Especially for ultrathin films it turns out that pulsed layer deposition and sputtering are the most promising candidates. In addition, we discuss the application of room temperature deposition and annealing for lift-off based nanopatterning and the properties of nanostructures obtained by this method over the past years.


title: The State and Fate of Linguistic Diversity and Inclusion in the NLP World

abstract: Language technologies contribute to promoting multilingualism and linguistic diversity around the world. However, only a very small number of the over 7000 languages of the world are represented in the rapidly evolving language technologies and applications. In this paper we look at the relation between the types of languages, resources, and their representation in NLP conferences to understand the trajectory that different languages have followed over time. Our quantitative investigation underlines the disparity between languages, especially in terms of their resources, and calls into question the "language agnostic" status of current models and systems. Through this paper, we attempt to convince the ACL community to prioritise the resolution of the predicaments highlighted here, so that no language is left behind.


title: Coherency vector formalism for polarimetric transformations

abstract: Despite the virtues of Jones and Mueller formalisms for the representation of the polarimetric properties, for some purposes in both Optics and SAR Polarimetry, the concept of coherency vector associated with a nondepolarizing medium has proven to be an useful mathematical structure that inherits certain symmetries underlying the nature of linear polarimetric transformations of the states of polarization of light caused by its interaction with material media. While the Jones and Mueller matrices of a serial combination of devices are given by the respective conventional matrix products, the composition of coherency vectors of such serial combinations requires a specific and unconventional mathematical rule. In this work, a vector product of coherency vectors is presented that satisfies, in a meaningful and consistent manner, the indicated requirements. As a result, a new algebraic formalism is built where the representation of polarization states of electromagnetic waves through Stokes vectors is preserved, while nondepolarizing media are represented by coherency vectors and general media are represented by coherency matrices generated by partially coherent compositions of the coherency vectors of the components.


title: Three-layer Approach to Detect Anomalies in Industrial Environments based on Machine Learning

abstract: This paper introduces a general approach to design a tailored solution to detect rare events in different industrial applications based on Internet of Things (IoT) networks and machine learning algorithms. We propose a general framework based on three layers (physical, data and decision) that defines the possible designing options so that the rare events/anomalies can be detected ultra-reliably. This general framework is then applied in a well-known benchmark scenario, namely Tennessee Eastman Process. We then analyze this benchmark under three threads related to data processes: acquisition, fusion and analytics. Our numerical results indicate that: (i) event-driven data acquisition can significantly decrease the number of samples while filtering measurement noise, (ii) mutual information data fusion method can significantly decrease the variable spaces and (iii) quantitative association rule mining method for data analytics is effective for the rare event detection, identification and diagnosis. These results indicates the benefits of an integrated solution that jointly considers the different levels of data processing following the proposed general three layer framework, including details of the communication network and computing platform to be employed.


title: Electro-Chemo-Mechanical Modeling of Solid-State Batteries

abstract: Solid-state batteries (SSBs) have recently been proposed as promising alternatives to conventional Li-ion batteries because of their high level of safety and power density. The engineering of SSBs requires comprehensive modeling of their physics and electrochemistry with an emphasis on the interfacial processes, including electrochemical stability and mechanical stresses. In this article, continuum-scale simulations are chosen as the modeling framework to study such properties. A comprehensive continuum model is constructed for the simulation of the electro-chemo-mechanical (ECM) response of an SSB that resolves the bulk transportation of charged species and their interfacial transfer kinetics. It also studies the formation of space charge layers (SCLs) at interfaces and the development of interfacial stresses. The results suggest that the SCLs and the charge transfer kinetics are intertwined. The emergence of the SCLs and the depletion of reactants increases the charge transfer overpotential. We have also studied the coupling between electrochemistry and mechanics at interfaces, the results of which indicate that the strong electric fields originating at interfaces yield significant stresses. We, thereby, highlight the necessity of considering the ECM coupling in the SCLs when modeling an SSB.


title: Dynamic Matching Algorithms in Practice

abstract: In recent years, significant advances have been made in the design and analysis of fully dynamic maximal matching algorithms. However, these theoretical results have received very little attention from the practical perspective. Few of the algorithms are implemented and tested on real datasets, and their practical potential is far from understood. In this paper, we attempt to bridge the gap between theory and practice that is currently observed for the fully dynamic maximal matching problem. We engineer several algorithms and empirically study those algorithms on an extensive set of dynamic instances.


title: Exponential stabilization of the semilinear heat equation with nonlocal boundary conditions

abstract: The present work is devoted to the problem of boundary stabilization of the semilinear 1-D heat equation with nonlocal boundary conditions. The stabilizing controller is finite-dimensional, linear, given in an explicit form, involving only the eigenfunctions of the Laplace operator with nonlocal boundary conditions.


title: Detection loophole in measurement-device-independent entanglement witness

abstract: There always exists an entanglement witness for every entangled quantum state. Negativity of the expectation value of an entanglement witness operator guarantees entanglement of the corresponding state, given that the measurement devices involved are perfect, i.e., the performed measurements actually constitute the witness operator for the state under consideration. In a realistic situation, there are two possible ways of measurements to drive the process away from the ideal one. Firstly, wrong measurements may be performed, and secondly, while the measurement operators are implemented correctly, the detection process is noisy. Entanglement witnesses are prone to both of these imperfections. The concept of measurement-device-independent entanglement witnesses was introduced to remove the first problem. We analyze the "detection loophole" in the context of measurement-device-independent entanglement witnesses, which deal with the second problem of imprecise measurements. We obtain an upper bound on the entanglement witness function in the measurement-device-independent entanglement witness scenario, below which entanglement is guaranteed for given non-ideal detector efficiencies, that can involve both lost events and dark counts.


title: Blow-up phenomena for positive solutions of semilinear diffusion equations in a half-space: the influence of the dispersion kernel

abstract: We consider the semilinear diffusion equation $\partial$ t u = Au + |u| $\alpha$ u in the half-space R N + := R N --1 x (0, +$\infty$), where A is a linear diffusion operator, which may be the classical Laplace operator, or a fractional Laplace operator, or an appropriate non regularizing nonlocal operator. The equation is supplemented with an initial data u(0, x) = u 0 (x) which is nonnegative in the half-space R N + , and the Dirichlet boundary condition u(t, x ' , 0) = 0 for x ' $\in$ R N --1. We prove that if the symbol of the operator A is of order a|$\xi$| $\beta$ near the origin $\xi$ = 0, for some $\beta$ $\in$ (0, 2], then any positive solution of the semilinear diffusion equation blows up in finite time whenever 0 < $\alpha$ $\le$ $\beta$/(N + 1). On the other hand, we prove existence of positive global solutions of the semilinear diffusion equation in a half-space when $\alpha$ > $\beta$/(N + 1). Notice that in the case of the half-space, the exponent $\beta$/(N + 1) is smaller than the so-called Fujita exponent $\beta$/N in R N. As a consequence we can also solve the blow-up issue for solutions of the above mentioned semilinear diffusion equation in the whole of R N , which are odd in the x N direction (and thus sign changing).


title: Integration with filters

abstract: We introduce a notion of integration defined from filters over families of finite sets. This procedure corresponds to determining the average value of functions whose range lies in any algebraic structure in which finite averages make sense. The average values so determined lie in a proper extension of the range of the original functions. The most relevant scenario involves algebraic structures that extend the field of rational numbers; hence, it is possible to associate to the filter integral an upper and lower standard part. These numbers can be interpreted as upper and lower bounds on the average value of the function that one expects to observe empirically. We discuss the main properties of the filter integral and we show that it is expressive enough to represent every real integral. As an application, we define a geometric measure on an infinite-dimensional vector space that overcomes some of the known limitations valid for real-valued measures. We also discuss how the filter integral can be applied to the problem of non-Archimedean integration, and we develop the iteration theory for these integrals.


title: Scaling Limits of Crossing Probabilities in Metric Graph GFF

abstract: We consider metric graph Gaussian free field (GFF) defined on polygons of $\delta\mathbb{Z}^2$ with alternating boundary data. The crossing probabilities for level-set percolation of metric graph GFF have scaling limits. When the boundary data is well-chosen, the scaling limits of crossing probabilities can be explicitly constructed as "fusion" of multiple SLE$_4$ pure partition functions.


title: Supersymmetric quantum mechanics to study the 16.8 MeV resonance state of $^{9}$B

abstract: The study of a high-lying resonant state of $^{9}$B is carried out using supersymmetric quantum mechanics (SQM). The resulting isospectral potentials are very deep and narrow and the generated wave functions identify the resonance at 16.84 MeV with a width of 69 keV. The present work shows that SQM can be successfully applied for detection of high-lying resonances in unstable nuclei.


title: The Geometry of Uniqueness, Sparsity and Clustering in Penalized Estimation

abstract: We provide a necessary and sufficient condition for the uniqueness of penalized least-squares estimators whose penalty term is given by a norm with a polytope unit ball, covering a wide range of methods including SLOPE, PACS, fused, clustered and classical LASSO as well as the related method of basis pursuit. We consider a strong type of uniqueness that is relevant for statistical problems. The uniqueness condition is geometric and involves how the row span of the design matrix intersects the faces of the dual norm unit ball, which for SLOPE is given by the signed permutahedron. Further considerations based this condition also allow to derive results on sparsity and clustering features. In particular, we define the notion of a SLOPE pattern to describe both sparsity and clustering properties of this method and also provide a geometric characterization of accessible SLOPE patterns.


title: A Minimal Model of the Interaction of Social and Individual learning

abstract: Social, supervised, learning from others might amplify individual, possibly unsupervised, learning by individuals, and might underlie the development and evolution of culture. We studied a minimal model of the interaction of individual unsupervised and social supervised learning by interacting agents. Agents attempted to learn to track a hidden fluctuation "source", which, linearly mixed with other masking fluctuations, generated observable input vectors. Learning was driven either solely by direct observation of inputs (unsupervised, Hebbian) or, in addition, by observation of another agent's output (supervised, Delta rule). To enhance biological realism, the learning rules were made slightly connection-inspecific, so that incorrect learning sometimes occurs. We found that social interaction can foster both correct and incorrect learning. Useful social learning therefore presumably involves additional factors some of which we outline.


title: Low-Complexity Detection of Multiweight Permutation Modulation Space-Time Block Codes for Indoor Visible Light Communication

abstract: In this paper, the spectral efficiency of permutation modulation-based multiple input multiple output (MIMO) visible light communication is improved using systematically designed, multiweight codeword matrices. Soft-decision, low-complexity detection schemes are then designed for the receiver and compared with the maximum likelihood (ML) detection method. Bit error rate (BER) results show the soft-decision detection algorithm is able to decode the transmitted information without knowledge of the channel state information. This enables the mobile receiver decode information while within the field of view of the transmitter unit. The BER results also show a close match with the ML detection in some codebooks and the performance of the soft-decision decoder is evaluated for different positions of the receiver in an indoor environment.


title: WASP-4 transit timing variation from a comprehensive set of 129 transits

abstract: We homogeneously reanalyse $124$ transit light curves for the WASP-4 b hot Jupiter. This set involved new observations secured in 2019 and nearly all observations mentioned in the literature, including high-accuracy GEMINI/GMOS transmission spectroscopy of 2011-2014 and TESS observations of 2018. The analysis confirmed a nonlinear TTV trend with $P/|\dot P|\sim (17-30)$ Myr (1-sigma range), implying only half of the initial decay rate estimation. The trend significance is at least $3.4$-sigma in the agressively conservative treatment. Possible radial acceleration due to unseen companions is not revealed in Doppler data covering seven years 2007-2014, and radial acceleration of $-15$ m s$^{-1}$yr$^{-1}$ reported in a recent preprint by another team is not confirmed. If present, it is a very nonlinear RV variation. Assuming that the entire TTV is tidal in nature, the tidal quality factor $Q_\star'\sim (4.5-8.5)\cdot 10^4$ does not reveal a convincing disagreement with available theory predictions.


title: A walk with Goodstein

abstract: Goodstein's principle is arguably the first purely number-theoretic statement known to be independent of Peano arithmetic. It involves sequences of natural numbers which at first appear to grow very quickly, but eventually decrease to zero. These sequences are defined relative to a notation system based on exponentiation for the natural numbers. In this article, we explore notions of optimality for such notation systems and apply them to the classical Goodstein process, to a weaker variant based on multiplication rather than exponentiation, and to a stronger variant based on the Ackermann function. In particular, we introduce the notion of base-change maximality, and show how it leads to far-reaching extensions of Goodstein's result.


title: Frobenius-Perron Theory of Representations of Quivers

abstract: The Frobenius-Perron theory of an endofunctor of a category was introduced in recent years [12, 13]. We apply this theory to monoidal (or tensor) triangulated structures of quiver representations.


title: COVID-19 Time-series Prediction by Joint Dictionary Learning and Online NMF

abstract: Predicting the spread and containment of COVID-19 is a challenge of utmost importance that the broader scientific community is currently facing. One of the main sources of difficulty is that a very limited amount of daily COVID-19 case data is available, and with few exceptions, the majority of countries are currently in the "exponential spread stage," and thus there is scarce information available which would enable one to predict the phase transition between spread and containment. In this paper, we propose a novel approach to predicting the spread of COVID-19 based on dictionary learning and online nonnegative matrix factorization (online NMF). The key idea is to learn dictionary patterns of short evolution instances of the new daily cases in multiple countries at the same time, so that their latent correlation structures are captured in the dictionary patterns. We first learn such patterns by minibatch learning from the entire time-series and then further adapt them to the time-series by online NMF. As we progressively adapt and improve the learned dictionary patterns to the more recent observations, we also use them to make one-step predictions by the partial fitting. Lastly, by recursively applying the one-step predictions, we can extrapolate our predictions into the near future. Our prediction results can be directly attributed to the learned dictionary patterns due to their interpretability.


title: Position and attitude determination by integrated GPS/SINS/TS for feed support system of FAST

abstract: In this paper, a new measurement system based on integration method is presented,which can provide all-weather dependability and higher precision for the measurement of FAST's feed support system. The measurement system consists of three types of measuring equipments, and a processing software with the core data fusion algorithm. The Strapdown Inertial Navigation System(SINS) can autonomously measure the position, speed and attitude of the carrier. Its own shortcoming is the measurement data diverges rapidly over time. SINS must combine the Global Positioning System(GPS) and the Total Station(TS) to obtain high-precision measurement data. Kalman filtering algorithm is adopted for the integration measurement system, which is an optimal algorithm to estimate the measurement errors. To evaluate the performance, series of tests are carried out. For the feed cabin, the maximum RMS of the position is 14.56mm, the maximum RMS of the attitude is 0.095{\deg}, these value are less than 15mm and 0.1{\deg} as the precision for measuring the feed cabin. For the Stewart manipulator, the maximum RMS of the position is 2.99mm, the maximum RMS of the at titude is 0.093{\deg}, these value are less than 3mm and 0.1{\deg} as the precision for measuring the Stewart manipulator. As a result, the new measurement meets the requirement of measurement precision for FAST's feed support system.


title: Machine learnt approximations to the bridge function yield improved closures for the Ornstein-Zernike equation

abstract: A key challenge for soft materials design and coarse-graining simulations is determining interaction potentials between components that give rise to desired condensed-phase structures. In theory, the Ornstein-Zernike equation provides an elegant framework for solving this inverse problem. Pioneering work in liquid state theory derived analytical closures for the framework. However, these analytical closures are approximations, valid only for specific classes of interaction potentials. In this work, we combine the physics of liquid state theory with machine learning to infer a closure directly from simulation data. The resulting closure is more accurate than commonly used closures across a broad range of interaction potentials. We show for two examples of a prototypical inverse design problem, fitting a coarse-grained simulation potential, that our approach leads to improved one-step inversion.


title: Chiral active hexatics: Giant number fluctuations, waves and destruction of order

abstract: Active materials, composed of internally driven particles, have properties that are qualitatively distinct from matter at thermal equilibrium. However, the most spectacular departures from equilibrium phase behaviour are thought to be confined to systems with polar or nematic asymmetry. In this paper, we show that such departures are also displayed in more symmetric phases such as hexatics if, in addition, the constituent particles have chiral asymmetry. We show that chiral active hexatics whose rotation rate does not depend on density have giant number fluctuations. If the rotation rate depends on density, the giant number fluctuations are suppressed due to a novel orientation-density sound mode with a linear dispersion which propagates even in the overdamped limit. However, we demonstrate that beyond a finite but large lengthscale, a chirality and activity-induced relevant nonlinearity invalidates the predictions of the linear theory and destroys the hexatic order. In addition, we show that activity modifies the interactions between defects in the active chiral hexatic phase, making them non-mutual. Finally, to demonstrate the generality of a chiral active hexatic phase we show that it results from the melting of chiral active crystals in finite systems.


title: Anomalous pressure dependence of the electronic transport and anisotropy in SrIrO3 films

abstract: Iridate oxides display exotic physical properties that arise from the interplay between a large spin-orbit coupling and electron correlations. Here, we present a comprehensive study of the effects of hydrostatic pressure on the electronic transport properties of SrIrO3 (SIO), a system that has recently attracted a lot of attention as potential correlated Dirac semimetal. Our investigations on untwinned thin films of SIO reveal that the electrical resistivity of this material is intrinsically anisotropic and controlled by the orthorhombic distortion of the perovskite unit cell. These effects provide another evidence for the strong coupling between the electronic and lattice degrees of freedom in this class of compounds. Upon increasing pressure, a systematic increase of the transport anisotropies is observed. The anomalous pressure-induced changes of the resistivity cannot be accounted for by the pressure dependence of the density of the electron charge carriers, as inferred from Hall effect measurements. Moreover, pressure-induced rotations of the IrO6 octahedra likely occur within the distorted perovskite unit cell and affect electron mobility of this system.


title: Intermediate Goodstein principles

abstract: The original Goodstein process proceeds by writing natural numbers in nested exponential $k$-normal form, then successively raising the base to $k+1$ and subtracting one from the end result. Such sequences always reach zero, but this fact is unprovable in Peano arithmetic. In this paper we instead consider notations for natural numbers based on the Ackermann function. We define three new Goodstein processes, obtaining new independence results for $ {\sf ACA}_0$, ${\sf ACA}_0'$ and ${\sf ACA}_0^+$, theories of second order arithmetic related to the existence of Turing jumps.


title: The life cycle of radio galaxies in the LOFAR Lockman Hole field

abstract: Radio galaxies are known to go through cycles of activity, where phases of apparent quiescence can be followed by repeated activity of the central supermassive black hole. A better understanding of this cycle is crucial for ascertaining the energetic impact that the jets have on the host galaxy, but little is known about it. We used deep LOFAR images at 150 MHz of the Lockman Hole extragalactic field to select a sample of 158 radio sources with sizes $> 60^{\prime\prime}$ in different phases of their jet life cycle. Using a variety of criteria (e.g. core prominence combined with low-surface brightness of the extended emission and steep spectrum of the central region) we selected a subsample of candidate restarted radio galaxies representing between 13% and 15% of the 158 sources of the main sample. We compare their properties to the rest of the sample, which consists of remnant candidates and active radio galaxies. Optical identifications and characterisations of the host galaxies indicate similar properties for candidate restarted, remnant, and active radio galaxies, suggesting that they all come from the same parent population. The fraction of restarted radio galaxies is slightly higher with respect to remnants, suggesting that the restarted phase can often follow after a relatively short remnant phase (the duration of the remnant phase being a few times 10$^{7}$ years). This confirms that the remnant and restarted phases are integral parts of the life cycle of massive elliptical galaxies. A preliminary investigation does not suggest a strong dependence of this cycle on the environment surrounding any given galaxy.


title: Combinatorial universality in three-speed ballistic annihilation

abstract: We consider a one-dimensional system of particles, moving at constant velocities chosen independently according to a symmetric distribution on $\{-1,0,+1\}$, and annihilating upon collision -- with, in case of triple collision, a uniformly random choice of survivor among the two moving particles. When the system contains infinitely many particles, whose starting locations are given by a renewal process, a phase transition was proved to happen (see arXiv:1811.08709) as the density of static particles crosses the value $1/4$. Remarkably, this critical value, along with certain other statistics, was observed not to depend on the distribution of interdistances. In the present paper, we investigate further this universality by proving a stronger statement about a finite system of particles with fixed, but randomly shuffled, interdistances. We give two proofs, one by an induction allowing explicit computations, and one by a more direct comparison. This result entails a new nontrivial independence property that in particular gives access to the density of surviving static particles at a given time in the infinite model. Finally, in the asymmetric case, further similar independence properties are proved to keep holding, including a striking property of gamma distributed interdistances that contrasts with the general behavior.


title: A framework of nonequilibrium statistical mechanics. I. Role and type of fluctuations

abstract: Understanding the fluctuations by which phenomenological evolution equations with thermodynamic structure can be enhanced is the key to a general framework of nonequilibrium statistical mechanics. These fluctuations provide an idealized representation of microscopic details. We consider fluctuation-enhanced equations associated with Markov processes and elaborate the general recipes for evaluating dynamic material properties, which characterize force-flux constitutive laws, by statistical mechanics. Markov processes with continuous trajectories are conveniently characterized by stochastic differential equations and lead to Green-Kubo-type formulas for dynamic material properties. Markov processes with discontinuous jumps include transitions over energy barriers with the rates calculated by Kramers. We describe a unified approach to Markovian fluctuations and demonstrate how the appropriate type of fluctuations (continuous versus discontinuous) is reflected in the mathematical structure of the phenomenological equations.


title: A framework of nonequilibrium statistical mechanics. II. Coarse-graining

abstract: For a given thermodynamic system, and a given choice of coarse-grained state variables, the knowledge of a force-flux constitutive law is the basis for any nonequilibrium modeling. In the first paper of this series we established how, by a generalization of the classical fluctuation-dissipation theorem (FDT), the structure of a constitutive law is directly related to the distribution of the fluctuations of the state variables. When these fluctuations can be expressed in terms of diffusion processes, one may use Green-Kubo-type coarse-graining schemes to find the constitutive laws. In this paper we propose a coarse-graining method that is valid when the fluctuations are described by means of general Markov processes, which include diffusions as a special case. We prove the success of the method by numerically computing the constitutive law for a simple chemical reaction $A \rightleftarrows B$. Furthermore, we show that one cannot find a consistent constitutive law by any Green-Kubo-like scheme.


title: Specialisation of the Galois groupoid of a vector field

abstract: We prove lower semicontinuity of the Galois groupoid of a vector field dependingon parameters. Apply to Painlev{\'e} equations, this result can be used to compute theirsGalois groupoids for general values of parameters.


title: Spectroscopic realization of large surface gap in a doped magnetic topological insulator

abstract: Realization of the quantum anomalous Hall effect and axion electrodynamics in topological materials are among the paradigmatic phenomena in condensed matter physics. Recently, signatures of both phases are observed to exist in thin films of MnBi$_2$Te$_4$, a stoichiometric antiferromagnetic topological insulator. Direct evidence of the bulk topological magnetoelectric response in an axion insulator requires an energy gap at its topological surface state (TSS). However, independent spectroscopic experiments revealed that such a surface gap is absent, or much smaller than previously thought, in MnBi$_2$Te$_4$. Here, we utilize angle resolved photoemission spectroscopy and density functional theory calculations to demonstrate that a sizable TSS gap unexpectedly exists in Sb-doped MnBi$_2$Te$_4$. This gap is found to be topologically nontrivial, insensitive to the bulk antiferromagnetic-paramagnetic transition, while enlarges along with increasing Sb concentration. Our work shows that Mn(Bi$_{1-x}$Sb$_x$)$_2$Te$_4$ is a potential platform to observe the key features of the high-temperature axion insulator state, such as the topological magnetoelectric responses and half-integer quantum Hall effects.


title: Compositionality and Generalization in Emergent Languages

abstract: Natural language allows us to refer to novel composite concepts by combining expressions denoting their parts according to systematic rules, a property known as \emph{compositionality}. In this paper, we study whether the language emerging in deep multi-agent simulations possesses a similar ability to refer to novel primitive combinations, and whether it accomplishes this feat by strategies akin to human-language compositionality. Equipped with new ways to measure compositionality in emergent languages inspired by disentanglement in representation learning, we establish three main results. First, given sufficiently large input spaces, the emergent language will naturally develop the ability to refer to novel composite concepts. Second, there is no correlation between the degree of compositionality of an emergent language and its ability to generalize. Third, while compositionality is not necessary for generalization, it provides an advantage in terms of language transmission: The more compositional a language is, the more easily it will be picked up by new learners, even when the latter differ in architecture from the original agents. We conclude that compositionality does not arise from simple generalization pressure, but if an emergent language does chance upon it, it will be more likely to survive and thrive.