title: Bulk-boundary-defect correspondence at disclinations in rotation-symmetric topological insulators and superconductors

abstract: We study a link between the ground-state topology and the topology of the lattice via the presence of anomalous states at disclinations -- topological lattice defects that violate a rotation symmetry only locally. We first show the existence of anomalous disclination states, such as Majorana zero-modes or helical electronic states, in second-order topological phases by means of Volterra processes. Using the framework of topological crystals to construct $d$-dimensional crystalline topological phases with rotation and translation symmetry, we then identify all contributions to $(d-2)$-dimensional anomalous disclination states from weak and first-order topological phases. We perform this procedure for all Cartan symmetry classes of topological insulators and superconductors in two and three dimensions and determine whether the correspondence between bulk topology, boundary signatures, and disclination anomaly is unique.


title: Geodesic Geometry on Graphs

abstract: We investigate a graph theoretic analog of geodesic geometry. In a graph $G=(V,E)$ we consider a system of paths $\mathcal{P}=\{P_{u,v}|u,v\in V\}$ where $P_{u,v}$ connects vertices $u$ and $v$. This system is consistent in that if vertices $y, z$ are in $P_{u,v}$, then the sub-path of $P_{u,v}$ between them coincides with $P_{y,z}$. A map $w: E\to(0,\infty)$ is said to induce $\mathcal{P}$ if for every $u, v\in V$ the path $P_{u,v}$ is $w$-geodesic. We say that $G$ is metrizable if every consistent path system is induced by some such $w$. As we show, metrizable graphs are very rare, whereas there exist infinitely many $2$-connected metrizable graphs.


title: Subdiffusion in a 1D Anderson insulator with random dephasing: Finite-size scaling, Griffiths effects, and possible implications for many-body localization

abstract: We study transport in a one-dimensional boundary-driven Anderson insulator (the XX spin chain with onsite disorder) with randomly positioned onsite dephasing, observing a transition from diffusive to subdiffusive spin transport below a critical density of sites with dephasing. This model is intended to mimic the passage of an excitation through (many-body) insulating regions or ergodic bubbles, therefore providing a toy model for the diffusion-subdiffusion transition observed in the disordered Heisenberg model [1]. We also present the exact solution of a semiclassical model of conductors and insulators introduced in Ref. 2, which exhibits both diffusive and subdiffusive phases, and qualitatively reproduces the results of the quantum system. The critical properties of both models, when passing from diffusion to subdiffusion, are interpreted in terms of "Griffiths effects". We show that the finite-size scaling comes from the interplay of three characteristic lengths: one associated with disorder (the localization length), one with dephasing, and the third with the percolation problem defining large, rare, insulating regions. We conjecture that the latter, which grows logarithmically with system size, may potentially be responsible for the fact that heavy-tailed resistance distributions typical of Griffiths effects have not been observed in subdiffusive interacting systems.


title: A Cleanroom in a Glovebox

abstract: The exploration of new materials, novel quantum phases, and devices requires ways to prepare cleaner samples with smaller feature sizes. Initially, this meant the use of a cleanroom that limits the amount and size of dust particles. However, many materials are highly sensitive to oxygen and water in the air. Furthermore, the ever-increasing demand for a quantum workforce, trained and able to use the equipment for creating and characterizing materials, calls for a dramatic reduction in the cost to create and operate such facilities. To this end, we present our cleanroom-in-a-glovebox, a system which allows for the fabrication and characterization of devices in an inert argon atmosphere. We demonstrate the ability to perform a wide range of characterization as well as fabrication steps, without the need for a dedicated room, all in an argon environment. Connection to a vacuum suitcase is also demonstrated to enable receiving from and transfer to various ultra-high vacuum (UHV) equipment including molecular-beam epitaxy (MBE) and scanning tunneling microscopy (STM).


title: Gapless state of interacting Majorana fermions in a strain-induced Landau level

abstract: Mechanical strain can generate a pseudo-magnetic field, and hence Landau levels (LL), for low energy excitations of quantum matter in two dimensions. We study the collective state of the fractionalised Majorana fermions arising from residual generic spin interactions in the central LL, where the projected Hamiltonian reflects the spin symmetries in intricate ways: emergent U(1) and particle-hole symmetries forbid any bilinear couplings, leading to an intrinsically strongly interacting system; also, they allow the definition of a filling fraction, which is fixed at 1/2. We argue that the resulting many-body state is gapless within our numerical accuracy, implying ultra-short-ranged spin correlations, while chirality correlators decay algebraically. This amounts to a Kitaev `non-Fermi' spin liquid, and shows that interacting Majorana Fermions can exhibit intricate behaviour akin to fractional quantum Hall physics in an insulating magnet.


title: Deep Learning Gauss-Manin Connections

abstract: The Gauss-Manin connection of a family of hypersurfaces governs the change of the period matrix along the family. This connection can be complicated even when the equations defining the family look simple. When this is the case, it is computationally expensive to compute the period matrices of varieties in the family via homotopy continuation. We train neural networks that can quickly and reliably guess the complexity of the Gauss-Manin connection of a pencil of hypersurfaces. As an application, we compute the periods of 96% of smooth quartic surfaces in projective 3-space whose defining equation is a sum of five monomials; from the periods of these quartic surfaces, we extract their Picard numbers and the endomorphism fields of their transcendental lattices.


title: Indirect searches for dark matter bound state formation and level transitions

abstract: Indirect searches for dark matter (DM) have conventionally been applied to the products of DM annihilation or decay. If DM couples to light force carriers, however, it can be captured into bound states via dissipation of energy that may yield detectable signals. We extend the indirect searches to DM bound state formation and transitions between bound levels, and constrain the emission of unstable dark photons. Our results significantly refine the predicted signal flux that could be observed in experiments. As a concrete example, we use Fermi-LAT dwarf spheroidal observations to obtain constraints in terms of the dark photon mass and energy which we use to search for the formation of stable or unstable bound states.


title: Dominant Reaction Pathways by Quantum Computing

abstract: Characterizing thermally activated transitions in high-dimensional rugged energy surfaces is a very challenging task for classical computers. Here, we develop a quantum annealing scheme to solve this problem. First, the task of finding the most probable transition paths in configuration space is reduced to a shortest-path problem defined on a suitable weighted graph. Next, this optimization problem is mapped into finding the ground state of a generalized Ising model. A finite-size scaling analysis suggests this task may be solvable efficiently by a quantum annealing machine. Our approach leverages on the quantized nature of qubits to describe transitions between different system's configurations. Since it does not involve any lattice space discretization, it paves the way towards future biophysical applications of quantum computing based on realistic all-atom models.


title: Is there evidence for a hotter Universe?

abstract: The measurement of present-day temperature of the Cosmic Microwave Background (CMB), $T_0 = 2.72548 \pm 0.00057$ K (1$\sigma$), made by the Far-InfraRed Absolute Spectrophotometer (FIRAS), is one of the most precise measurements ever made in Cosmology. On the other hand, estimates of the Hubble Constant, $H_0$, obtained from measurements of the CMB temperature fluctuations assuming the standard $\Lambda$CDM model exhibit a large ($4.1\sigma$) tension when compared with low-redshift, model-independent observations. Recently, some authors argued that a slightly change in $T_0$ could alleviate or solve the $H_0$-tension problem. Here, we investigate evidence for a hotter or colder universe by performing an independent analysis from currently available temperature-redshift $T(z)$ measurements. Our analysis (parametric and non-parametric) shows a good agreement with the FIRAS measurement and a discrepancy of $\gtrsim 1.9\sigma$ from the $T_0$ values required to solve the $H_0$ tension. This result reinforces the idea that a solution of the $H_0$-tension problem in fact requires either a better understanding of the systematic errors on the $H_0$ measurements or new physics.


title: Kibble-Zurek mechanism from different angles: The transverse XY model and subleading scalings

abstract: The Kibble-Zurek mechanism describes the saturation of critical scaling upon dynamically approaching a phase transition. This is a consequence of the breaking of adiabaticity due to the scale set by the slow drive. By driving the gap parameter, this can be used to determine the leading critical exponents. But this is just the `tip of the iceberg': Driving more general couplings allows one to activate the entire universal spectrum of critical exponents. Here we establish this phenomenon and its observable phenomenology for the quantum phase transitions in an analytically solvable minimal model and the experimentally relevant transverse XY model. The excitation density is shown to host the sequence of exponents including the subleading ones in the asymptotic scaling behavior by a proper design of the geometry of the driving protocol in the phase diagram. The case of a parallel drive relative to the phase boundary can still lead to the breaking of adiabaticity, and exposes the subleading exponents in the clearest way. Complementarily to disclosing universal information, we extract the restrictions due to the non-universal content of the models onto the extent of the subleading scalings regimes.


title: Constraining Scalar-Tensor Modified Gravity with Gravitational Waves and Large Scale Structure Surveys

abstract: The first multi-messenger gravitational wave event has had a transformative effect on the space of modified gravity models. In this paper we study the enhanced tests of gravity that are possible with a future set of gravitational wave standard siren events. We perform MCMC constraint forecasts for parameters in Horndeski scalar-tensor theories. In particular, we focus on the complementarity of gravitational waves with electromagnetic large-scale structure data from galaxy surveys. We find that the addition of fifty low redshift ($z \lesssim 0.2$) standard sirens from the advanced LIGO network offers only a modest improvement (a factor 1.1 -- 1.3, where 1.0 is no improvement) over existing constraints from electromagnetic observations of large-scale structures. In contrast, high redshift (up to $z \sim 10$) standard sirens from the future LISA satellite will improve constraints on the time evolution of the Planck mass in Horndeski theories by a factor $\sim 5$. By simulating different scenarios, we find this improvement to be robust to marginalisation over unknown merger inclination angles and to variation between three plausible models for the merger source population.


title: Experimental density radiography of Wudalianchi volcano with cosmic ray muons

abstract: Muon radiography is a promising technique to image the internal density structures upto a few hundred meters scale, such as tunnels, pyramids and volcanos, by measuring the flux attenuation of cosmic ray muons after trvaling through these targets. In this study, we conducted an experimantal cosmic ray muon radiography of the Wudalianchi volcano in northeast China for imaging its internal density structures. The muon detector used in this study is made of plastic scintillator and silicon photomultiplier. After about one and a half month observation for the Laoheishan volcano cone in the Wudalianchi volcano, from September 23rd to November 10th, 2019, more than 3 million muon tracks passing the data selection criteria are obtained. Based on the muon observations and the high-resoluiton topography from aerial photogrammetry by unmanned aerial vehicle, the relative density image of the Laoheishan volcano cone is obtained. The experiment in this study is the first muon radiography of volcano performed in China, and the results suggest the feasibility of radiography technique based on plastic scintillator muon detector. As a new passive geophysical imaging method, cosmic ray muon radiography could become a promising method to obtain the high-resoution 2-D and 3-D density structures for shallow geological targets.


title: Strong Calcium Emission Indicates that the Ultraviolet-Flashing Type Ia SN 2019yvq was the Result of a Sub-Chandrasekhar Mass Double-Detonation Explosion

abstract: We present nebular spectra of the Type Ia supernova (SN Ia) SN 2019yvq, which had a bright flash of blue and ultraviolet light after exploding, followed by a rise similar to other SNe Ia. Although SN 2019yvq displayed several other rare characteristics such as persistent high ejecta velocity near peak brightness, it was not especially peculiar and if the early "excess" emission were not observed, it would likely be included in cosmological samples. The excess flux can be explained by several different physical models linked to the details of the progenitor system and explosion mechanism. Each has unique predictions for the optically thin emission at late times. In our nebular spectra, we detect strong [Ca II] $\lambda\lambda$7291, 7324 and Ca NIR triplet emission, consistent with a double-detonation explosion. We do not detect H, He, or [O I] emission, predictions for some single-degenerate progenitor systems and violent white dwarf mergers. The amount of swept-up H or He is <2.8 x 10^-4 and 2.4 x 10^-4 Msun, respectively. Aside from strong Ca emission, the SN 2019yvq nebular spectrum is similar to those of typical SNe Ia with the same light-curve shape. Comparing to double-detonation models, we find that the Ca emission is consistent with a model with a total progenitor mass of 1.15 Msun. However, we note that a lower progenitor mass better explains the early light-curve and peak luminosity. The unique properties of SN 2019yvq suggest that thick He-shell double-detonations only account for $1.1^{+2.1}_{-1.1}\%$ of the total "normal" SN Ia rate. SN 2019yvq is one of the best examples yet that multiple progenitor channels appear necessary to reproduce the full diversity of "normal" SNe Ia.


title: Neural Temporal Point Processes For Modelling Electronic Health Records

abstract: The modelling of Electronic Health Records (EHRs) has the potential to drive more efficient allocation of healthcare resources, enabling early intervention strategies and advancing personalised healthcare. However, EHRs are challenging to model due to their realisation as noisy, multi-modal data occurring at irregular time intervals. To address their temporal nature, we treat EHRs as samples generated by a Temporal Point Process (TPP), enabling us to model what happened in an event with when it happened in a principled way. We gather and propose neural network parameterisations of TPPs, collectively referred to as Neural TPPs. We perform evaluations on synthetic EHRs as well as on a set of established benchmarks. We show that TPPs significantly outperform their non-TPP counterparts on EHRs. We also show that an assumption of many Neural TPPs, that the class distribution is conditionally independent of time, reduces performance on EHRs. Finally, our proposed attention-based Neural TPP performs favourably compared to existing models, whilst aligning with real world interpretability requirements, an important step towards a component of clinical decision support systems.


title: Anisotropic micropolar fluids subject to a uniform microtorque: the stable case

abstract: We study a three-dimensional, incompressible, viscous, micropolar fluid with anisotropic microstructure on a periodic domain. Subject to a uniform microtorque, this system admits a unique nontrivial equilibrium. We prove that when the microstructure is inertially oblate (i.e. pancake-like) this equilibrium is nonlinearly asymptotically stable. Our proof employs a nonlinear energy method built from the natural energy dissipation structure of the problem. Numerous difficulties arise due to the dissipative-conservative structure of the problem. Indeed, the dissipation fails to be coercive over the energy, which itself is weakly coupled in the sense that, while it provides estimates for the fluid velocity and microstructure angular velocity, it only provides control of two of the six components of the microinertia tensor. To overcome these problems, our method relies on a delicate combination of two distinct tiers of energy-dissipation estimates, together with transport-like advection-rotation estimates for the microinertia. When combined with a quantitative rigidity result for the microinertia, these allow us to deduce the existence of global-in-time decaying solutions near equilibrium.


title: Characterizing divergence and thickness in right-angled Coxeter groups

abstract: We completely classify the possible divergence functions for right-angled Coxeter groups (RACGs). In particular, we show that the divergence of any such group is either polynomial, exponential or infinite. We prove that a RACG is strongly thick of order k if and only if its divergence function is a polynomial of degree k+1. Moreover, we show that the exact divergence function of a RACG can easily be computed from its defining graph by an invariant we call the hypergraph index.


title: Index Coding at the WiFi Edge: An Implementation Study for Video Delivery

abstract: HTTP based video streaming has become the de facto standard for video content delivery across different video streaming services. However, video content delivery continues to be challenged at the wireless edge by inadequate and highly variable bandwidth. In this paper, we describe WiCode, a platform that improves HTTP based video content delivery at the WiFi edge. WiCode uses coded delivery at the WiFi AP to reduce data transmissions in order to improve the perceived performance of video streaming at the users. WiCode performs index coding on video segments to reduce the number of bits transmitted. Further, it also performs index coding on UDP packets that are retransmitted to reduce the number of bits transmitted. This paper describes the design and implementation of WiCode, and the practical gains achievable due to employing coded delivery in a real system taking into account the overheads introduced by WiCode. The WiCode module at the client side is a browser plugin that does not require any client side device configuration changes. We also show the effect of variable and fixed length segment size on the perceived performance of WiCode.


title: Linguistic Taboos and Euphemisms in Nepali

abstract: Languages across the world have words, phrases, and behaviors -- the taboos -- that are avoided in public communication considering them as obscene or disturbing to the social, religious, and ethical values of society. However, people deliberately use these linguistic taboos and other language constructs to make hurtful, derogatory, and obscene comments. It is nearly impossible to construct a universal set of offensive or taboo terms because offensiveness is determined entirely by different factors such as socio-physical setting, speaker-listener relationship, and word choices. In this paper, we present a detailed corpus-based study of offensive language in Nepali. We identify and describe more than 18 different categories of linguistic offenses including politics, religion, race, and sex. We discuss 12 common euphemisms such as synonym, metaphor and circumlocution. In addition, we introduce a manually constructed data set of over 1000 offensive and taboo terms popular among contemporary speakers. This in-depth study of offensive language and resource will provide a foundation for several downstream tasks such as offensive language detection and language learning.


title: Brans-Dicke theory in Bondi-Sachs form: Asymptotically flat solutions, asymptotic symmetries and gravitational-wave memory effects

abstract: Gravitational-wave memory effects are identified by their distinctive effects on families of freely falling observers: after a burst of waves pass by their locations, memory effects can cause lasting relative displacements of the observers. These effects are closely related to the infrared properties of gravity and other massless field theories, including their asymptotic symmetries and conserved quantities. In this paper, we investigate the connection between memory effects, symmetries, and conserved quantities in Brans-Dicke theory. We compute the field equations in Bondi coordinates, and we define a set of boundary conditions that represent asymptotically flat solutions in this context. Next, we derive the asymptotic symmetry group of these spacetimes, and we find that it is the same as the Bondi-Metzner-Sachs group in general relativity. Because there is an additional polarization of gravitational waves in Brans-Dicke theory, we compute the memory effects associated with this extra polarization (the so-called "breathing" mode). This breathing mode produces a uniform expansion (or contraction) of a ring of freely falling observers. After these breathing gravitational waves pass by the observers' locations, there are two additional memory effects that depend on their initial displacements and relative velocities. Neither of these additional memory effects seems to be related to asymptotic symmetries or conserved quantities; rather, they are determined by the properties of the nonradiative region before and after the bursts of the scalar field and the gravitational waves. We discuss the properties of these regions necessary to support nontrivial breathing-mode-type memory effects.


title: Parton distribution functions from lattice QCD using Bayes-Gauss-Fourier transforms

abstract: We present a new method, based on Gaussian process regression, for reconstructing the continuous $x$-dependence of parton distribution functions (PDFs) from quasi-PDFs computed using lattice QCD. We examine the origin of the unphysical oscillations seen in current lattice calculations of quasi-PDFs and develop a nonparametric fitting approach to take the required Fourier transform. The method is tested on one ensemble of maximally twisted mass fermions with two light quarks. We find that with our approach oscillations of the quasi-PDF are drastically reduced. However, the final effect on the light-cone PDFs is small. This finding suggests that the deviation seen between current lattice QCD results and phenomenological determinations cannot be attributed solely on the Fourier transform.


title: Energy Efficient Fog based Healthcare Monitoring Infrastructure

abstract: Recent advances in mobile technologies and cloud computing services have inspired the development of cloud-based real-time health monitoring systems. However, the transfer of health-related data to the cloud contributes to the burden on the networking infrastructures, leading to high latency and increased power consumption. Fog computing is introduced to relieve this burden by bringing services to the users proximity. This study proposes a new fog computing architecture for health monitoring applications based on a Gigabit Passive Optical Network (GPON) access network. An Energy-Efficient Fog Computing (EEFC) model is developed using Mixed Integer Linear Programming (MILP) to optimize the number and location of fog devices at the network edge to process and analyze the health data for energy-efficient fog computing. The performance of the EEFC model at low data rates and high data rates health applications is studied. The outcome of the study reveals that a total energy saving of 36% and 52% are attained via processing and analysis the health data at the fog in comparison to conventional processing and analysis at the central cloud for low data rate application and high data rate application, respectively. We also developed a real-time heuristic; Energy Optimized Fog Computing (EOFC) heuristic, with energy consumption performance approaching the EEFC model. Furthermore, we examined the energy efficiency improvements under different scenarios of devices idle power consumption and traffic volume.


title: Efficient minimum word error rate training of RNN-Transducer for end-to-end speech recognition

abstract: In this work, we propose a novel and efficient minimum word error rate (MWER) training method for RNN-Transducer (RNN-T). Unlike previous work on this topic, which performs on-the-fly limited-size beam-search decoding and generates alignment scores for expected edit-distance computation, in our proposed method, we re-calculate and sum scores of all the possible alignments for each hypothesis in N-best lists. The hypothesis probability scores and back-propagated gradients are calculated efficiently using the forward-backward algorithm. Moreover, the proposed method allows us to decouple the decoding and training processes, and thus we can perform offline parallel-decoding and MWER training for each subset iteratively. Experimental results show that this proposed semi-on-the-fly method can speed up the on-the-fly method by 6 times and result in a similar WER improvement (3.6%) over a baseline RNN-T model. The proposed MWER training can also effectively reduce high-deletion errors (9.2% WER-reduction) introduced by RNN-T models when EOS is added for endpointer. Further improvement can be achieved if we use a proposed RNN-T rescoring method to re-rank hypotheses and use external RNN-LM to perform additional rescoring. The best system achieves a 5% relative improvement on an English test-set of real far-field recordings and a 11.6% WER reduction on music-domain utterances.


title: BRST-Lagrangian Double Copy of Yang-Mills Theory

abstract: We show that the double copy of gauge theory amplitudes to $\mathcal{N}=0$ supergravity amplitudes extends from tree level to loop level. We first explain that color-kinematic duality is a condition for the Becchi-Rouet-Stora-Tyutin operator and the action of a field theory with cubic interaction terms to double copy to a consistent gauge theory. We then apply this argument to Yang-Mills theory, where color-kinematic duality is known to be satisfied onshell at tree level. Finally, we show that the latter restriction can only lead to terms that can be absorbed in a sequence of field redefinitions, rendering the double copied action equivalent to $\mathcal{N}=0$ supergravity.


title: The Spectral Approach to Linear Rational Expectations Models

abstract: This paper considers linear rational expectations models in the frequency domain. The paper characterizes existence and uniqueness of solutions to particular as well as generic systems. The set of all solutions to a given system is shown to be a finite dimensional affine space in the frequency domain. It is demonstrated that solutions can be discontinuous with respect to the parameters of the models in the context of non-uniqueness, invalidating mainstream frequentist and Bayesian methods. The ill-posedness of the problem motivates regularized solutions with theoretically guaranteed uniqueness, continuity, and even differentiability properties.


title: Spin-momentum entanglement in a Bose-Einstein condensate

abstract: Entanglement is at the core of quantum information processing and may prove essential for quantum speed-up. Inspired by both theoretical and experimental studies of spin-momentum coupling in systems of ultra-cold atoms, we investigate the entanglement between the spin and momentum degrees of freedom of an optically trapped BEC of $^{87}$Rb atoms. We consider entanglement that arises due to the coupling of these degrees of freedom induced by Raman and radio-frequency fields and examine its dependence on the coupling parameters by evaluating von Neumann entropy as well as concurrence as measures of the entanglement attained. Our calculations reveal that under proper experimental conditions significant spin-momentum entanglement can be obtained, with von Neumann entropy of 80% of the maximum attainable value. Our analysis sheds some light on the prospects of using BECs for quantum information applications.


title: Ion drift instability in a strongly coupled collisional complex plasma

abstract: We investigate the low-frequency wave mode associated with heavy particles and its instability in a collisional complex plasma with drifting ions. The effect of the ion drift on the sound velocity of this mode is discussed. The general condition of the instability is derived for subthermal ion drifts, taking into account strong coupling of the particle component. As a general tendency, strong coupling effects reduce the sound velocity and facilitate the occurrence of the ion drift instability. A wide parameter range is considered from the weakly collisional to strongly collisional regimes for the ion and particle components. The chosen plasma parameters are representative to the PK-4 experiment, currently operational on board the International Space Station.


title: Supporting Safe Decision Making Through Holistic System-Level Representations & Monitoring -- A Summary and Taxonomy of Self-Representation Concepts for Automated Vehicles

abstract: The market introduction of automated vehicles has motivated intense research efforts into the safety of automated vehicle systems. Unlike driver assistance systems, SAE Level 3+ systems are not only responsible for executing (parts of) the dynamic driving task (DDT), but also for monitoring the automation system's performance at all times. Key components to fulfill these surveillance tasks are system monitors which can assess the system's performance at runtime, e.g. to activate fallback modules in case of partial system failures. In order to implement reasonable monitoring strategies for an automated vehicle, holistic system-level approaches are required, which make use of sophisticated internal system models. In this paper we present definitions and an according taxonomy, subsuming such models as a vehicle's self-representation and highlight the terms' roles in a scene and situation representation. Holistic system-level monitoring does not only provide the possibility to use monitors for the activation of fallbacks. In this paper we argue, why holistic system-level monitoring is a crucial step towards higher levels of automation, and give an example how it also enables the system to react to performance loss at a tactical level by providing input for decision making.


title: SPAM: Stateless Permutation of Application Memory

abstract: In this paper, we propose the Stateless Permutation of Application Memory (SPAM), a software defense that enables fine-grained data permutation for C programs. The key benefits include resilience against attacks that directly exploit software errors (i.e., spatial and temporal memory safety violations) in addition to attacks that exploit hardware vulnerabilities such as ColdBoot, RowHammer or hardware side-channels to disclose or corrupt memory using a single cohesive technique. Unlike prior work, SPAM is stateless by design making it automatically applicable to multi-threaded applications. We implement SPAM as an LLVM compiler pass with an extension to the compiler-rt runtime. We evaluate it on the C subset of the SPEC2017 benchmark suite and three real-world applications: the Nginx web server, the Duktape Javascript interpreter, and the WolfSSL cryptographic library. We further show SPAM's scalability by running a multi-threaded benchmark suite. SPAM has greater security coverage and comparable performance overheads to state-of-the-art software techniques for memory safety on contemporary x86_64 processors. Our security evaluation confirms SPAM's effectiveness in preventing intra/inter spatial/temporal memory violations by making the attacker success chances as low as 1/16!.


title: A first look at the IP eXchange Ecosystem

abstract: The IPX Network interconnects about 800 Mobile Network Operators (MNOs) worldwide and a range of other service providers (such as cloud and content providers). It forms the core that enables global data roaming while supporting emerging applications, from VoLTE and video streaming to IoT verticals. This paper presents the first characterization of this, so-far opaque, IPX ecosystem and a first-of-its-kind in-depth analysis of ann IPX Provider (IPX-P). The IPX Network is a private network formed by a small set of tightly interconnected IPX-Ps. We analyze an operational dataset from a large IPX-P that includes BGP data as well as statistics from signaling. We shed light on the structure of the IPX Network as well as on the temporal, structural and geographic features of the IPX traffic. Our results are a first step in understanding the IPX Network at its core, key to fully understand the global mobile Internet.


title: Compatible ideals in Gorenstein rings

abstract: Suppose $R$ is a $\mathbb{Q}$-Gorenstein $F$-finite and $F$-pure ring of prime characteristic $p>0$. We show that if $I\subseteq R$ is a compatible ideal (with all $p^{-e}$-linear maps) then there exists a module finite extension $R\to S$ such that the ideal $I$ is the sum of images of all $R$-linear maps $S\to R$.


title: Optimal control of COVID-19 infection rate considering social costs

abstract: The COVID-19 pandemic has posed a policy making crisis where efforts to slow down or end the pandemic conflict with economic priorities. This paper provides mathematical analysis of optimal disease control policies with idealized compartmental models for disease propagation and simplistic models of social and economic costs. Two locally optimal control strategies are found and categorized as `suppression' and `mitigation' strategies. We analyze how these strategies change when we incorporate vaccination into the model and find a new optimal `delay-mitigation' strategy.


title: Parametrization of the angular distribution of Cherenkov light in air showers

abstract: The Cherenkov light produced in air showers largely contributes to the signal observed in ground-based gamma-ray and cosmic-ray observatories. Yet, no description of this phenomenon is available covering both regions of small and large angles to the shower axis. To fill this gap, a parametrization of the angular distribution of Cherenkov photons is performed in terms of a physically-motivated parametric function. Model parameters are constrained using simulated gamma-ray and proton showers with energies in the TeV to EeV region. As a result, a new parametrization is obtained that improves the precision of previous works. Results presented here can be used in the reconstruction of showers with imaging Cherenkov telescopes as well as in the reconstruction of shower profiles with fluorescence detectors.


title: Subsampled directed-percolation models explain scaling relations experimentally observed in the brain

abstract: Recent experimental results on spike avalanches measured in the urethane-anesthetized rat cortex have revealed scaling relations that indicate a phase transition at a specific level of cortical firing rate variability. The scaling relations point to critical exponents whose values differ from those of a branching process, which has been the canonical model employed to understand brain criticality. This suggested that a different model, with a different phase transition, might be required to explain the data. Here we show that this is not necessarily the case. By employing two different models belonging to the same universality class as the branching process (mean-field directed percolation) and treating the simulation data exactly like experimental data, we reproduce most of the experimental results. We find that subsampling the model and adjusting the time bin used to define avalanches (as done with experimental data) are sufficient ingredients to change the apparent exponents of the critical point. Moreover, experimental data is only reproduced within a very narrow range in parameter space around the phase transition.

categories: q-bio.NC cond-mat.dis-nn cond-mat.stat-mech nlin.AO physics.bio-ph


title: The structure of the co-orbital stable regions as a function of the mass ratio

abstract: Although the search for extra-solar co-orbital bodies has not had success so far, it is believed that they must be as common as they are in the Solar System. Co-orbital systems have been widely studied, and there are several works on stability and even on formation. However, for the size and location of the stable regions, authors usually describe their results but do not provide a way to find them without numerical simulations, and, in most cases, the mass ratio value range is small. In the current work, we study the structure of co-orbital stable regions for a wide range of mass ratio systems and built empirical equations to describe them. It allows estimating the size and location of co-orbital stable regions from a few system's parameters. Thousands of massless particles were distributed in the co-orbital region of a massive secondary body and numerically simulated for a wide range of mass ratios ($\mu$) adopting the planar circular restricted three-body problem. The results show that the horseshoe regions upper limit is between $9.539 \times 10^{-4} < \mu < 1.192 \times 10^{-3}$, which correspond to a minimum angular distance from the secondary to the separatrix between $27.239^{o} $ and $27.802^{o} $. We also found that the limit to exist stability in the co-orbital region is about $\mu = 2.3313 \times 10^{-2}$, much smaller than the value predicted by the linear theory. Polynomial functions to describe the stable region parameters were found, and they represent estimates of the angular and radial widths of the co-orbital stable regions for any system with $9.547 \times 10^{-5} \leq \mu \leq 2.331 \times 10^{-2}$.


title: DyPy: A Python Library for Simulating Matrix-Form Games

abstract: Evolutionary Game Theory (EGT) simulations are used to model populations undergoing biological and cultural evolution in a range of fields, from biology to economics to linguistics. In this paper we present DyPy, an open source Python package that can perform evolutionary simulations for any matrix form game for three common evolutionary dynamics: Moran, Wright-Fisher and Replicator. We discuss the basic components of this package and illustrate how it can be used to run a variety of simulations. Our package allows a user to run such simulations fairly easily without much prior Python knowledge. We hope that this will be a great asset to researchers in a number of different fields.


title: Corner Proposal Network for Anchor-free, Two-stage Object Detection

abstract: The goal of object detection is to determine the class and location of objects in an image. This paper proposes a novel anchor-free, two-stage framework which first extracts a number of object proposals by finding potential corner keypoint combinations and then assigns a class label to each proposal by a standalone classification stage. We demonstrate that these two stages are effective solutions for improving recall and precision, respectively, and they can be integrated into an end-to-end network. Our approach, dubbed Corner Proposal Network (CPN), enjoys the ability to detect objects of various scales and also avoids being confused by a large number of false-positive proposals. On the MS-COCO dataset, CPN achieves an AP of 49.2% which is competitive among state-of-the-art object detection methods. CPN also fits the scenario of computational efficiency, which achieves an AP of 41.6%/39.7% at 26.2/43.3 FPS, surpassing most competitors with the same inference speed. Code is available at https://github.com/Duankaiwen/CPNDet


title: A slice refinement of B\"okstedt periodicity

abstract: Let $R$ be a perfectoid ring. Hesselholt and Bhatt-Morrow-Scholze have identified the Postnikov filtration on $\mathrm{THH}(R;\mathbb Z_p)$: it is concentrated in even degrees, generated by powers of the B\"okstedt generator $\sigma$, generalizing classical B\"okstedt periodicity for $R=\mathbb F_p$. We study an equivariant generalization of the Postnikov filtration, the *regular slice filtration*, on $\mathrm{THH}(R;\mathbb Z_p)$. The slice filtration is again concentrated in even degrees, generated by $RO(\mathbb T)$-graded classes which can loosely be thought of as the *norms* of $\sigma$. The slices are expressible as $RO(\mathbb T)$-graded suspensions of Mackey functors obtained from the Witt Mackey functor. We obtain a sort of filtration by $q$-factorials. A key ingredient, which may be of independent interest, is a close connection between the Hill-Yarnall characterization of the slice filtration and Ansch\"utz-le Bras' $q$-deformation of Legendre's formula.


title: Linear semi-infinite programming approach for entanglement quantification

abstract: We explore the dual problem of the convex roof construction by identifying it as a linear semi-infinite programming (LSIP) problem. Using the LSIP theory, we show the absence of a duality gap between primal and dual problems, even if the entanglement quantifier is not continuous, and prove that the set of optimal solutions is non-empty and bounded. In addition, we implement a central cutting-plane algorithm for LSIP to quantify entanglement between three qubits. The algorithm has global convergence property and gives lower bounds on the entanglement measure for non-optimal feasible points. As an application, we use the algorithm for calculating the convex roof of the three-tangle and $\pi$-tangle measures for families of states with low and high ranks. As the $\pi$-tangle measure quantifies the entanglement of W states, we apply the values of the two quantifiers to distinguish between the two different types of genuine three-qubit entanglement.


title: Multi-Level Local SGD for Heterogeneous Hierarchical Networks

abstract: We propose Multi-Level Local SGD, a distributed gradient method for learning a smooth, non-convex objective in a heterogeneous multi-level network. Our network model consists of a set of disjoint sub-networks, with a single hub and multiple worker nodes; further, worker nodes may have different operating rates. The hubs exchange information with one another via a connected, but not necessarily complete communication network. In our algorithm, sub-networks execute a distributed SGD algorithm, using a hub-and-spoke paradigm, and the hubs periodically average their models with neighboring hubs. We first provide a unified mathematical framework that describes the Multi-Level Local SGD algorithm. We then present a theoretical analysis of the algorithm; our analysis shows the dependence of the convergence error on the worker node heterogeneity, hub network topology, and the number of local, sub-network, and global iterations. We back up our theoretical results via simulation-based experiments using both convex and non-convex objectives.


title: Stark time crystals: Symmetry breaking in space and time

abstract: The compelling original idea of a time crystal has referred to a structure that repeats in time as well as in space, an idea that has attracted significant interest recently. While obstructions to realize such structures became apparent early on, focus has shifted to seeing a symmetry breaking in time in periodically driven systems, a property of systems referred to as discrete time crystals. In this work, we introduce Stark time crystals based on a type of localization that is created in the absence of any spatial disorder. We argue that Stark time crystals constitute a phase of matter coming very close to the original idea and exhibit a symmetry breaking in space and time. Complementing a comprehensive discussion of the physics of the problem, we move on to elaborating on possible practical applications and argue that the physical demands of witnessing genuine signatures of many-body localization in large systems may be lessened in such physical systems.


title: The look-elsewhere effect from a unified Bayesian and frequentist perspective

abstract: When searching over a large parameter space for anomalies such as events, peaks, objects, or particles, there is a large probability that spurious signals with seemingly high significance will be found. This is known as the look-elsewhere effect and is prevalent throughout cosmology, (astro)particle physics, and beyond. To avoid making false claims of detection, one must account for this effect when assigning the statistical significance of an anomaly. This is typically accomplished by considering the trials factor, which is generally computed numerically via potentially expensive simulations. In this paper we develop a continuous generalization of the Bonferroni and Sidak corrections by applying the Laplace approximation to evaluate the Bayes factor, and in turn relating the trials factor to the prior-to-posterior volume ratio. We use this to define a test statistic whose frequentist properties have a simple interpretation in terms of the global $p$-value, or statistical significance. We apply this method to various physics-based examples and show it to work well for the full range of $p$-values, i.e. in both the asymptotic and non-asymptotic regimes. We also show that this method naturally accounts for other model complexities such as additional degrees of freedom, generalizing Wilks' theorem. This provides a fast way to quantify statistical significance in light of the look-elsewhere effect, without resorting to expensive simulations.

categories: physics.data-an astro-ph.CO astro-ph.IM hep-ex stat.AP


title: Existence of mASD connections on 4-manifolds with cylindrical ends

abstract: Taubes' gluing theorems establish the existence of ASD connections on closed, oriented 4-manifolds. We extend these gluing results to the mASD connections of Morgan-Mrowka-Ruberman on oriented 4-manifolds with cylindrical ends. As a corollary, we obtain an ASD-existence result in the presence of degenerate asymptotic flat connections.


title: Economic Reality, Economic Media and Individuals' Expectations

abstract: This paper investigates the relationship between economic media sentiment and individuals' expetations and perceptions about economic conditions. We test if economic media sentiment Granger-causes individuals' expectations and opinions concerning economic conditions, controlling for macroeconomic variables. We develop a measure of economic media sentiment using a supervised machine learning method on a data set of Swedish economic media during the period 1993-2017. We classify the sentiment of 179,846 media items, stemming from 1,071 unique media outlets, and use the number of news items with positive and negative sentiment to construct a time series index of economic media sentiment. Our results show that this index Granger-causes individuals' perception of macroeconomic conditions. This indicates that the way the economic media selects and frames macroeconomic news matters for individuals' aggregate perception of macroeconomic reality.


title: Deep Learning for DOA Estimation in MIMO Radar Systems via Emulation of Large Antenna Arrays

abstract: We present a MUSIC-based Direction of Arrival (DOA) estimation strategy using small antenna arrays, via employing deep learning for reconstructing the signals of a virtual large antenna array. Not only does the proposed strategy deliver significantly better performance than simply plugging the incoming signals into MUSIC, but surprisingly, the performance is also better than directly using an actual large antenna array with MUSIC for high angle ranges and low test SNR values. We further analyze the best choice for the training SNR as a function of the test SNR, and observe dramatic changes in the behavior of this function for different angle ranges.


title: CPAS: the UK's National Machine Learning-based Hospital Capacity Planning System for COVID-19

abstract: The coronavirus disease 2019 (COVID-19) global pandemic poses the threat of overwhelming healthcare systems with unprecedented demands for intensive care resources. Managing these demands cannot be effectively conducted without a nationwide collective effort that relies on data to forecast hospital demands on the national, regional, hospital and individual levels. To this end, we developed the COVID-19 Capacity Planning and Analysis System (CPAS) - a machine learning-based system for hospital resource planning that we have successfully deployed at individual hospitals and across regions in the UK in coordination with NHS Digital. In this paper, we discuss the main challenges of deploying a machine learning-based decision support system at national scale, and explain how CPAS addresses these challenges by (1) defining the appropriate learning problem, (2) combining bottom-up and top-down analytical approaches, (3) using state-of-the-art machine learning algorithms, (4) integrating heterogeneous data sources, and (5) presenting the result with an interactive and transparent interface. CPAS is one of the first machine learning-based systems to be deployed in hospitals on a national scale to address the COVID-19 pandemic - we conclude the paper with a summary of the lessons learned from this experience.


title: Large Scale Subject Category Classification of Scholarly Papers with Deep Attentive Neural Networks

abstract: Subject categories of scholarly papers generally refer to the knowledge domain(s) to which the papers belong, examples being computer science or physics. Subject category information can be used for building faceted search for digital library search engines. This can significantly assist users in narrowing down their search space of relevant documents. Unfortunately, many academic papers do not have such information as part of their metadata. Existing methods for solving this task usually focus on unsupervised learning that often relies on citation networks. However, a complete list of papers citing the current paper may not be readily available. In particular, new papers that have few or no citations cannot be classified using such methods. Here, we propose a deep attentive neural network (DANN) that classifies scholarly papers using only their abstracts. The network is trained using 9 million abstracts from Web of Science (WoS). We also use the WoS schema that covers 104 subject categories. The proposed network consists of two bi-directional recurrent neural networks followed by an attention layer. We compare our model against baselines by varying the architecture and text representation. Our best model achieves micro-F1 measure of 0.76 with F1 of individual subject categories ranging from 0.50-0.95. The results showed the importance of retraining word embedding models to maximize the vocabulary overlap and the effectiveness of the attention mechanism. The combination of word vectors with TFIDF outperforms character and sentence level embedding models. We discuss imbalanced samples and overlapping categories and suggest possible strategies for mitigation. We also determine the subject category distribution in CiteSeerX by classifying a random sample of one million academic papers.


title: Concentration of positive ground state solutions for critical Kirchhoff equation with competing potentials

abstract: In this paper, we consider the following singularly perturbed Kirchhoff equation \begin{equation*} -(\varepsilon^2a+\varepsilon b\int_{\mathbb{R}^3}|\nabla u|^2dx)\Delta u+V(x)u=P(x)|u|^{p-2}u+Q(x)|u|^4u,\quad x\in\mathbb{R}^3, \end{equation*} where $\varepsilon>0$ is a small parameter, $a, b > 0$ are constants, $p\in(4,6)$ and $V, P, Q$ are potential functions satisfying some competing conditions. We prove the existence of a positive ground state solution by using variational methods, and we determine a concrete set related to the potentials $V,P$ and $Q$ as the concentration position of these ground state solutions as $\varepsilon\to0$.


title: GRIP: A Graph Neural Network Accelerator Architecture

abstract: We present GRIP, a graph neural network accelerator architecture designed for low-latency inference. AcceleratingGNNs is challenging because they combine two distinct types of computation: arithmetic-intensive vertex-centric operations and memory-intensive edge-centric operations. GRIP splits GNN inference into a fixed set of edge- and vertex-centric execution phases that can be implemented in hardware. We then specialize each unit for the unique computational structure found in each phase.For vertex-centric phases, GRIP uses a high performance matrix multiply engine coupled with a dedicated memory subsystem for weights to improve reuse. For edge-centric phases, GRIP use multiple parallel prefetch and reduction engines to alleviate the irregularity in memory accesses. Finally, GRIP supports severalGNN optimizations, including a novel optimization called vertex-tiling which increases the reuse of weight data.We evaluate GRIP by performing synthesis and place and route for a 28nm implementation capable of executing inference for several widely-used GNN models (GCN, GraphSAGE, G-GCN, and GIN). Across several benchmark graphs, it reduces 99th percentile latency by a geometric mean of 17x and 23x compared to a CPU and GPU baseline, respectively, while drawing only 5W.


title: On using Product-Specific Schema.org from Web Data Commons: An Empirical Set of Best Practices

abstract: Schema.org has experienced high growth in recent years. Structured descriptions of products embedded in HTML pages are now not uncommon, especially on e-commerce websites. The Web Data Commons (WDC) project has extracted schema.org data at scale from webpages in the Common Crawl and made it available as an RDF `knowledge graph' at scale. The portion of this data that specifically describes products offers a golden opportunity for researchers and small companies to leverage it for analytics and downstream applications. Yet, because of the broad and expansive scope of this data, it is not evident whether the data is usable in its raw form. In this paper, we do a detailed empirical study on the product-specific schema.org data made available by WDC. Rather than simple analysis, the goal of our study is to devise an empirically grounded set of best practices for using and consuming WDC product-specific schema.org data. Our studies reveal six best practices, each of which is justified by experimental data and analysis.


title: Multiplicity of solutions for a class of critical Schr\"odinger-Poisson system with two parameters

abstract: We study a class of critical Schr\"odinger-Poisson system of the form \begin{equation*} \begin{cases} -\Delta u+\lambda V(x)u+\phi u=\mu |u|^{p-2}u+|u|^{4}u& \quad x\in \mathbb{R}^3,\\ -\Delta \phi=u^2&\quad x\in \mathbb{R}^3,\\ \end{cases} \end{equation*} where $\lambda, \mu>0$ are two parameters, $p\in(4,6)$ and $V$ satisfies some potential well conditions. By using the variational arguments, we prove the existence of positive ground state solutions for $\lambda$ large enough and $\mu>0$, and their asymptotical behavior as $\lambda\to\infty$. Moreover, by using Ljusternik-Schnirelmann theory, we obtain the existence of multiple positive solutions if $\lambda$ is large and $\mu$ is small.


title: Chest X-ray Report Generation through Fine-Grained Label Learning

abstract: Obtaining automated preliminary read reports for common exams such as chest X-rays will expedite clinical workflows and improve operational efficiencies in hospitals. However, the quality of reports generated by current automated approaches is not yet clinically acceptable as they cannot ensure the correct detection of a broad spectrum of radiographic findings nor describe them accurately in terms of laterality, anatomical location, severity, etc. In this work, we present a domain-aware automatic chest X-ray radiology report generation algorithm that learns fine-grained description of findings from images and uses their pattern of occurrences to retrieve and customize similar reports from a large report database. We also develop an automatic labeling algorithm for assigning such descriptors to images and build a novel deep learning network that recognizes both coarse and fine-grained descriptions of findings. The resulting report generation algorithm significantly outperforms the state of the art using established score metrics.


title: Finslerian geodesics on Fr\'{e}chet manifolds

abstract: We establish a framework, namely, nuclear bounded Fr\'{e}chet manifolds endowed with Riemann-Finsler structures to study geodesic curves on certain infinite dimensional manifolds such as the manifold of Riemannian metrics on a closed manifold. We prove on these manifolds geodesics exist locally and they are length minimizing in a sense. Moreover, we show that a curve on these manifolds is geodesic if and only if it satisfies a collection of Euler-Lagrange equations. As an application, without much difficulty, we prove that the solution to the Ricci flow on an Einstein manifold is not geodesic.


title: Information Behavior During the Covid-19 Crisis in German-Speaking Countries

abstract: This paper explores the impact of the Covid-19 crisis at the level of individual information behavior, based on an online survey among 308 participants from the German-speaking countries Austria, Germany and Switzerland in April and May 2020. The results show first that the Covid-19 crisis has led to an increased demand for reliable information. This goes alongside a significant increased use of public broadcasting, newspapers and information provided by public organizations. Second, the majority (84%) of the participants reported being satisfied with the information supply during the Covid-19 crisis. Participants who were less satisfied with the information supply used reliable sources significantly less frequently, specifically public television, national newspapers and information provided by public organizations. Third, the amount of Covid-19-related information led some participants to a feeling of information overload, which resulted in a reduction of information seeking and media use.


title: Adaptive LiDAR Sampling and Depth Completion using Ensemble Variance

abstract: This work considers the problem of depth completion, with or without image data, where an algorithm may measure the depth of a prescribed limited number of pixels. The algorithmic challenge is to choose pixel positions strategically and dynamically to maximally reduce overall depth estimation error. This setting is realized in daytime or nighttime depth completion for autonomous vehicles with a programmable LiDAR. Our method uses an ensemble of predictors to define a sampling probability over pixels. This probability is proportional to the variance of the predictions of ensemble members, thus highlighting pixels that are difficult to predict. By additionally proceeding in several prediction phases, we effectively reduce redundant sampling of similar pixels. Our ensemble-based method may be implemented using any depth-completion learning algorithm, such as a state-of-the-art neural network, treated as a black box. In particular, we also present a simple and effective Random Forest-based algorithm, and similarly use its internal ensemble in our design. We conduct experiments on the KITTI dataset, using the neural network algorithm of Ma et al. and our Random Forest based learner for implementing our method. The accuracy of both implementations exceeds the state of the art. Compared with a random or grid sampling pattern, our method allows a reduction by a factor of 4-10 in the number of measurements required to attain the same accuracy.


title: Isotopy graphs of Latin tableaux

abstract: Latin tableaux are a generalization of Latin squares, which first appeared in the early 2000's in a paper of Chow, Fan, Goemans, and Vondr\'{a}k. Here, we extend the notion of isotopy, a permutation group action, from Latin squares to Latin tableaux. We define isotopy graphs for Latin tableaux, which encode the structure of orbits under the isotopy action, and investigate the relationship between the shape of a Latin tableau and the structure of its isotopy graph. Our main result shows that for any positive integer $d$, there is a Latin tableau whose isotopy graph is a $d$-dimensional cube. We show that most isotopy graphs are triangle-free, and we give a characterization of all the Latin tableaux for which the isotopy graph contains a triangle. We also give a formula for the degree of a vertex of each component of an isotopy graph which depends on both the shape of the Latin Tableaux and the filling.


title: Exact Quantized Momentum Eigenvalues and Eigenstates of a General Potential Model

abstract: We obtain the quantized momentum eigenvalues, $P_n$ , and the momentum eigenstates for the space-like Schr\"odinger equation, the Feinberg-Horodecki equation, with the general potential which is constructed by the temporal counterpart of the spatial form of these potentials. The present work is illustrated with two special cases of the general form: time-dependent Wei-Hua Oscillator and time-dependent Manning-Rosen potential. We also plot the variations of the general molecular potential with its two special cases and their momentum states for few quantized states against the screening parameter.


title: Sparse Sachdev-Ye-Kitaev model, quantum chaos and gravity duals

abstract: We study a sparse Sachdev-Ye-Kitaev (SYK) model with $N$ Majoranas where only $\sim k N$ independent matrix elements are non-zero. We identify a minimum $k \gtrsim 1$ for quantum chaos to occur by a level statistics analysis. The spectral density in this region, and for a larger $k$, is still given by the Schwarzian prediction of the dense SYK model, though with renormalized parameters. Similar results are obtained for a beyond linear scaling with $N$ of the number of non-zero matrix elements. This is a strong indication that this is the minimum connectivity for the sparse SYK model to still have a quantum gravity dual. We also find an intriguing exact relation between the leading correction to moments of the spectral density due to sparsity and the leading $1/d$ correction of Parisi's U(1) lattice gauge theory in a $d$ dimensional hypercube. In the $k \to 1$ limit, different disorder realizations of the sparse SYK model show emergent random matrix statistics that for fixed $N$ can be in any universality class of the ten-fold way. The agreement with random matrix statistics is restricted to short range correlations, no more than a few level spacings, in particular in the tail of the spectrum. In addition, emergent discrete global symmetries in most of the disorder realizations for $k$ slightly below one give rise to $2^m$-fold degenerate spectra, with $m$ being a positive integer. For $k =3/4$, we observe a large number of such emergent global symmetries with a maximum $2^8$-fold degenerate spectra for $N = 26$.


title: Learned Pre-Processing for Automatic Diabetic Retinopathy Detection on Eye Fundus Images

abstract: Diabetic Retinopathy is the leading cause of blindness in the working-age population of the world. The main aim of this paper is to improve the accuracy of Diabetic Retinopathy detection by implementing a shadow removal and color correction step as a preprocessing stage from eye fundus images. For this, we rely on recent findings indicating that application of image dehazing on the inverted intensity domain amounts to illumination compensation. Inspired by this work, we propose a Shadow Removal Layer that allows us to learn the pre-processing function for a particular task. We show that learning the pre-processing function improves the performance of the network on the Diabetic Retinopathy detection task.


title: Saliency Prediction with External Knowledge

abstract: The last decades have seen great progress in saliency prediction, with the success of deep neural networks that are able to encode high-level semantics. Yet, while humans have the innate capability in leveraging their knowledge to decide where to look (e.g. people pay more attention to familiar faces such as celebrities), saliency prediction models have only been trained with large eye-tracking datasets. This work proposes to bridge this gap by explicitly incorporating external knowledge for saliency models as humans do. We develop networks that learn to highlight regions by incorporating prior knowledge of semantic relationships, be it general or domain-specific, depending on the task of interest. At the core of the method is a new Graph Semantic Saliency Network (GraSSNet) that constructs a graph that encodes semantic relationships learned from external knowledge. A Spatial Graph Attention Network is then developed to update saliency features based on the learned graph. Experiments show that the proposed model learns to predict saliency from the external knowledge and outperforms the state-of-the-art on four saliency benchmarks.


title: Characterizing the Effect of Sentence Context on Word Meanings: Mapping Brain to Behavior

abstract: Semantic feature models have become a popular tool for prediction and interpretation of fMRI data. In particular, prior work has shown that differences in the fMRI patterns in sentence reading can be explained by context-dependent changes in the semantic feature representations of the words. However, whether the subjects are aware of such changes and agree with them has been an open question. This paper aims to answer this question through a human-subject study. Subjects were asked to judge how the word change from their generic meaning when the words were used in specific sentences. The judgements were consistent with the model predictions well above chance. Thus, the results support the hypothesis that word meaning change systematically depending on sentence context.


title: Three chapters on Cremona groups

abstract: In the first part of this article, we answer a question of I. Dolgachev, which is related to the following problem: given a birational map $f\in\mathrm{Bir}(\mathbb{P}^m_\mathbf{k})$ and a linear projective map $A\in\mathrm{PGL}_{m+1}(\mathbf{k})$, when is $A\circ f$ regularizable? Dolgachev's initial question is whether this may happen for all $A$ in $\mathrm{PGL}_{m+1}(\mathbf{k})$, and the answer is negative. We then look at the sequence $n\mapsto\mathrm{deg}\, f^n$, $f\in\mathrm{Bir}(\mathbb{P}^2_\mathbf{k})$. We show that there is no constraint on the sequence $n\mapsto\mathrm{deg}\, f^n-\mathrm{deg}\, f^{n-1}$ for small values of $n$. Finally we study the degree of pencils of curves which are invariant by a birational map. When f is a Halphen or Jonqui\`eres twist, we prove that this degree is bounded by a function of $\mathrm{deg}\, f$. We derive corollaries on the structure of conjugacy classes, and their properties with respect to the Zariski topology of $\mathrm{Bir}(\mathbb{P}^2_\mathbf{k})$.


title: Microwave coherent spectroscopy of ultracold thulium atoms

abstract: Recently, the thulium atom was cooled down to the Bose-Einstein condensation temperature, thus opening a pathway to quantum simulation with this atom. However, successful simulations require instruments to control and readout states of the atom as well as the ability to control the interaction between either different species or different states of the same type of species. In this paper, we provide an experimental demonstration of high-fidelity (over 93%) manipulation of the ground state magnetic sublevels of thulium, which utilizes a simple and efficient design of a microwave (MW) antenna. The coherence time and dephasing rate of the energetically highest hyperfine level of the ground state were also examined.


title: Robust Similarity and Distance Learning via Decision Forests

abstract: Canonical distances such as Euclidean distance often fail to capture the appropriate relationships between items, subsequently leading to subpar inference and prediction. Many algorithms have been proposed for automated learning of suitable distances, most of which employ linear methods to learn a global metric over the feature space. While such methods offer nice theoretical properties, interpretability, and computationally efficient means for implementing them, they are limited in expressive capacity. Methods which have been designed to improve expressiveness sacrifice one or more of the nice properties of the linear methods. To bridge this gap, we propose a highly expressive novel decision forest algorithm for the task of distance learning, which we call Similarity and Metric Random Forests (SMERF). We show that the tree construction procedure in SMERF is a proper generalization of standard classification and regression trees. Thus, the mathematical driving forces of SMERF are examined via its direct connection to regression forests, for which theory has been developed. Its ability to approximate arbitrary distances and identify important features is empirically demonstrated on simulated data sets. Last, we demonstrate that it accurately predicts links in networks.


title: Polynomial interpolation of modular forms for Hecke groups

abstract: Extending work of J. Raleigh, we compute polynomials $P_{n,F}(x)$ associated to certain families $F = \{f_m\}_{m = 3, 4, ...}$ of modular forms for Hecke groups $G(\lambda_m)$ with the property that $P_{n,F}(m)$ is the $n^{th}$ coefficient in the Fourier expansion of $f_m$. We express the $P_{n,F}$ in terms of the Fourier expansions of well-known Hauptmoduln, or in terms of certain divisor-sums. By studying the complex roots of the $P_n$, we relate them to Lehmer's question about Ramanujan's tau function. We review the theory of triangle functions and Hecke's theory of modular forms in order to establish a basis for our code, some of which originates in the dissertation of J. Leo. The article is an account of numerical experiments; the only theorems in it belong to work by others that we review as described above.


title: On Bergman's Diamond Lemma for Ring Theory

abstract: This expository and review paper deals with the Diamond Lemma for ring theory, which is proved in the first section of G. M. Bergman, The Diamond Lemma for Ring Theory, Advances in Mathematics, 29 (1978), pp. 178-218. No originality of the present note is claimed on the part of the author, except for some suggestions and figures. Throughout this paper, I shall mostly use Bergman's expressions in his paper. In Remarks and Notes, the reader will find some useful information on this topic.


title: Functorial resolution except for toroidal locus. Toroidal compactification

abstract: Let $X$ be any variety in characteristic zero. Let $V \subset X$ be an open subset that has toroidal singularities. We show the existence of a canonical desingularization of $X$ except for V. It is a morphism $f: Y \to X$ , which does not modify the subset $ V $ and transforms $X$ into a toroidal embedding $Y$, with singularities extending those on $V$. Moreover, the exceptional divisor has simple normal crossings on $Y$. The theorem naturally generalizes the Hironaka canonical desingularization. It does not modify the nonsingular locus $V$ and transforms $X$ into a nonsingular variety $Y$. The proof uses, in particular, the canonical desingularization of logarithmic varieties recently proved by Abramovich -Temkin-Wlodarczyk. It also relies on the established here canonical functorial desingularization of locally toric varieties with an unmodified open toroidal subset. As an application, we show the existence of a toroidal equisingular compactification of toroidal varieties. All the results here can be linked to a simple functorial combinatorial desingularization algorithm developed in this paper.


title: A Bayesian Hierarchical Network for Combining Heterogeneous Data Sources in Medical Diagnoses

abstract: Computer-Aided Diagnosis has shown stellar performance in providing accurate medical diagnoses across multiple testing modalities (medical images, electrophysiological signals, etc.). While this field has typically focused on fully harvesting the signal provided by a single (and generally extremely reliable) modality, fewer efforts have utilized imprecise data lacking reliable ground truth labels. In this unsupervised, noisy setting, the robustification and quantification of the diagnosis uncertainty become paramount, thus posing a new challenge: how can we combine multiple sources of information -- often themselves with vastly varying levels of precision and uncertainty -- to provide a diagnosis estimate with confidence bounds? Motivated by a concrete application in antibody testing, we devise a Stochastic Expectation-Maximization algorithm that allows the principled integration of heterogeneous, and potentially unreliable, data types. Our Bayesian formalism is essential in (a) flexibly combining these heterogeneous data sources and their corresponding levels of uncertainty, (b) quantifying the degree of confidence associated with a given diagnostic, and (c) dealing with the missing values that typically plague medical data. We quantify the potential of this approach on simulated data, and showcase its practicality by deploying it on a real COVID-19 immunity study.


title: Fractional semilinear optimal control: optimality conditions, convergence, and error analysis

abstract: We adopt the integral definition of the fractional Laplace operator and analyze an optimal control problem for a fractional semilinear elliptic partial differential equation (PDE); control constraints are also considered. We establish the well-posedness of fractional semilinear elliptic PDEs and analyze regularity properties and suitable finite element discretizations. Within the setting of our optimal control problem, we derive the existence of optimal solutions as well as first and second order optimality conditions; regularity estimates for the optimal variables are also analyzed. We devise a fully discrete scheme that approximates the control variable with piecewise constant functions; the state and adjoint equations are discretized with continuous piecewise linear finite elements. We analyze convergence properties of discretizations and derive a priori error estimates.


title: On the transition of the Rayleigh-Taylor instability in 2d water waves

abstract: In this paper we prove the existence of water waves with sign-changing Taylor sign coefficients, that is, the strong Taylor sign holds initially, while breaks down at a later time, and vice versa. Such a phenomenon can be regarded as the transition between the stable and unstable regime in the sense of Rayleigh-Taylor of water waves. As a byproduct, we prove the sharp wellposedness of 2d water waves in Gevrey-2 spaces.


title: A Proposed Access Control-Based Privacy Preservation Model to Share Healthcare Data in Cloud

abstract: Healthcare data in cloud computing facilitates the treatment of patients efficiently by sharing information about personal health data between the healthcare providers for medical consultation. Furthermore, retaining the confidentiality of data and patients' identity is a another challenging task. This paper presents the concept of an access control-based (AC) privacy preservation model for the mutual authentication of users and data owners in the proposed digital system. The proposed model offers a high-security guarantee and high efficiency. The proposed digital system consists of four different entities, user, data owner, cloud server, and key generation center (KGC). This approach makes the system more robust and highly secure, which has been verified with multiple scenarios. Besides, the proposed model consisted of the setup phase, key generation phase, encryption phase, validation phase, access control phase, and data sharing phase. The setup phases are run by the data owner, which takes input as a security parameter and generates the system master key and security parameter. Then, in the key generation phase, the private key is generated by KGC and is stored in the cloud server. After that, the generated private key is encrypted. Then, the session key is generated by KGC and granted to the user and cloud server for storing, and then, the results are verified in the validation phase using validation messages. Finally, the data is shared with the user and decrypted at the user-end. The proposed model outperforms other methods with a maximal genuine data rate of 0.91.


title: Gravitational time dilation, free fall, and matter waves

abstract: We demonstrate that a de Broglie wave of a particle in a gravitational field turns towards the region of a smaller gravitational potential, causing the particle to fall. This turning is caused by clocks running slower in the smaller potential. We use the analogy of ocean waves that are slower in shallower water and turn towards beaches. This approach explains the free fall qualitatively and quantitatively without postulating motion along geodesics and with only elementary algebra.


title: On the optimality of upper estimates near blow-up in quasilinear Keller--Segel systems

abstract: Solutions $(u, v)$ to the chemotaxis system \begin{align*} \begin{cases} u_t = \nabla \cdot ( (u+1)^{m-1} \nabla u - u (u+1)^{q-1} \nabla v), \\ \tau v_t = \Delta v - v + u \end{cases} \end{align*} in a ball $\Omega \subset \mathbb R^n$, $n \ge 2$, wherein $m, q \in \mathbb R$ and $\tau \in \{0, 1\}$ are given parameters with $m - q > -1$, cannot blow up in finite time provided $u$ is uniformly-in-time bounded in $L^p(\Omega)$ for some $p > p_0 := \frac n2 (1 - (m - q))$. For radially symmetric solutions, we show that, if $u$ is only bounded in $L^{p_0}(\Omega)$ and the technical condition $m > \frac{n-2 p_0}{n}$ is fulfilled, then, for any $\alpha > \frac{n}{p_0}$, there is $C > 0$ with \begin{align*} u(x, t) \leq C |x|^{-\alpha} \qquad \text{for all $x \in \Omega$ and $t \in (0, T_{\max})$}, \end{align*} $T_{\max} \in (0, \infty]$ denoting the maximal existence time. This is essentially optimal in the sense that, if this estimate held for any $\alpha < \frac{n}{p_0}$, then $u$ would already be bounded in $L^{p}(\Omega)$ for some $p > p_0$. Moreover, we also give certain upper estimates for chemotaxis systems with nonlinear signal production, even without any additional boundedness assumptions on $u$. The proof is mainly based on deriving pointwise gradient estimates for solutions of the Poisson or heat equation with a source term uniformly-in-time bounded in $L^{p_0}(\Omega)$.


title: Quantum proportional-integral (PI) control

abstract: Feedback control is an essential component of many modern technologies and provides a key capability for emergent quantum technologies. We extend existing approaches of direct feedback control in which the controller applies a function directly proportional to the output signal (P feedback), to strategies in which feedback determined by an integrated output signal (I feedback), and to strategies in which feedback consists of a combination of P and I terms. The latter quantum PI feedback constitutes the analog of the widely used proportional-integral feedback of classical control. All of these strategies are experimentally feasible and require no complex state estimation. We apply the resulting formalism to two canonical quantum feedback control problems, namely, generation of an entangled state of two remote qubits, and stabilization of a harmonic oscillator under thermal noise under conditions of arbitrary measurement efficiency. These two problems allow analysis of the relative benefits of P, I, and PI feedback control. We find that for the two-qubit remote entanglement generation the best strategy can be a combined PI strategy when the measurement efficiency is less than one. In contrast, for harmonic state stabilization we find that P feedback shows the best performance when actuation of both position and momentum feedback is possible, while when only actuation of position is available, I feedback consistently shows the best performance, although feedback delay is shown to improve the performance of a P strategy here.


title: Improving Lesion Segmentation for Diabetic Retinopathy using Adversarial Learning

abstract: Diabetic Retinopathy (DR) is a leading cause of blindness in working age adults. DR lesions can be challenging to identify in fundus images, and automatic DR detection systems can offer strong clinical value. Of the publicly available labeled datasets for DR, the Indian Diabetic Retinopathy Image Dataset (IDRiD) presents retinal fundus images with pixel-level annotations of four distinct lesions: microaneurysms, hemorrhages, soft exudates and hard exudates. We utilize the HEDNet edge detector to solve a semantic segmentation task on this dataset, and then propose an end-to-end system for pixel-level segmentation of DR lesions by incorporating HEDNet into a Conditional Generative Adversarial Network (cGAN). We design a loss function that adds adversarial loss to segmentation loss. Our experiments show that the addition of the adversarial loss improves the lesion segmentation performance over the baseline.


title: A Probabilistic Spectral Analysis of Multivariate Real-Valued Nonstationary Signals

abstract: A class of multivariate spectral representations for real-valued nonstationary random variables is introduced, which is characterised by a general complex Gaussian distribution. In this way, the temporal signal properties -- harmonicity, wide-sense stationarity and cyclostationarity -- are designated respectively by the mean, Hermitian variance and pseudo-variance of the associated time-frequency representation (TFR). For rigour, the estimators of the TFR distribution parameters are derived within a maximum likelihood framework and are shown to be statistically consistent, owing to the statistical identifiability of the proposed distribution parametrization. By virtue of the assumed probabilistic model, a generalised likelihood ratio test (GLRT) for nonstationarity detection is also proposed. Intuitive examples demonstrate the utility of the derived probabilistic framework for spectral analysis in low-SNR environments.


title: Solar Flare Arcade Modelling: Bridging the gap from 1D to 3D Simulations of Optically Thin Radiation

abstract: Solar flares are 3D phenomenon but modelling a flare in 3D, including many of the important processes in the chromosphere, is a computational challenge. Accurately modelling the chromosphere is important, even if the transition region and corona are the areas of interest, due to the flow of energy, mass, and radiation through the interconnected layers. We present a solar flare arcade model, that aims to bridge the gap between 1D and 3D modelling. Our approach is limited to the synthesis of optically thin emission. Using observed active region loop structures in a 3D domain we graft simulated 1D flare atmospheres onto each loop, synthesise the emission and then project that emission onto to the 2D observational plane. Emission from SDO/AIA, GOES/XRS, and IRIS/SG Fe XXI 1354.1A was forward modelled. We analyse the temperatures, durations, mass flows, and line widths associated with the flare, finding qualitative agreement but certain quantitative differences. Compared to observations, the Doppler shifts are of similar magnitude but decay too quickly. They are not as ordered, containing a larger amount of scatter compared to observations. The duration of gradual phase emission from GOES and AIA emission is also too short. Fe XXI lines are broadened, but not sufficiently. These findings suggest that additional physics is required in our model. The arcade model that we show here as a proof-of-concept can be extended to investigate other lines and global aspects of solar flares, providing a means to better test the coronal response to models of flare energy injection.


title: When are braid groups of manifolds K\"ahler?

abstract: Sometime ago, we showed that a pure Artin braid group is not K\"ahler, i.e. it is not the fundamental group of a compact K\"ahler manifold. This used a result of Bressler, Ramachandran and the author that K\"ahler groups cannot be too "big". The goal here is to study the problem of K\"ahlerness for other braid groups. The main result is that, with some trivial exceptions, the pure braid group of a Riemann surface with at least 2 strands is never K\"ahler. In some cases the proof uses the previous strategy, for others it plays off some homological properties of braid groups established beforehand against consequences of the Beauville-Catanese-Siu theorem. The braid group of a projective manifold of complex dimension 2 or more is shown to the fundamental group of a projective manifold, and hence K\"ahler.


title: Poisson QMLE for change-point detection in general integer-valued time series models

abstract: We consider together the retrospective and the sequential change-point detection in a general class of integer-valued time series. The conditional mean of the process depends on a parameter $\theta^*$ which may change over time. We propose procedures which are based on the Poisson quasi-maximum likelihood estimator of the parameter, and where the updated estimator is computed without the historical observations in the sequential framework. For both the retrospective and the sequential detection, the test statistics converge to some distributions obtained from the standard Brownian motion under the null hypothesis of no change and diverge to infinity under the alternative; that is, these procedures are consistent. Some results of simulations as well as real data application are provided.


title: Limits to Rest-Frame Ultraviolet Emission From Far-Infrared-Luminous z~6 Quasar Hosts

abstract: We report on a Hubble Space Telescope search for rest-frame ultraviolet emission from the host galaxies of five far-infrared-luminous $z\simeq{}6$ quasars and the $z=5.85$ hot-dust free quasar SDSS J0005-0006. We perform 2D surface brightness modeling for each quasar using a Markov-Chain Monte-Carlo estimator, to simultaneously fit and subtract the quasar point source in order to constrain the underlying host galaxy emission. We measure upper limits for the quasar host galaxies of $m_J>22.7$ mag and $m_H>22.4$ mag, corresponding to stellar masses of $M_\ast<2\times10^{11}M_\odot$. These stellar mass limits are consistent with the local $M_{\textrm{BH}}$-$M_\ast$ relation. Our flux limits are consistent with those predicted for the UV stellar populations of $z\simeq6$ host galaxies, but likely in the presence of significant dust ($\langle A_{\mathrm{UV}}\rangle\simeq 2.6$ mag). We also detect a total of up to 9 potential $z\simeq6$ quasar companion galaxies surrounding five of the six quasars, separated from the quasars by 1.4''-3.2'', or 8.4-19.4 kpc, which may be interacting with the quasar hosts. These nearby companion galaxies have UV absolute magnitudes of -22.1 to -19.9 mag, and UV spectral slopes $\beta$ of -2.0 to -0.2, consistent with luminous star-forming galaxies at $z\simeq6$. These results suggest that the quasars are in dense environments typical of luminous $z\simeq6$ galaxies. However, we cannot rule out the possibility that some of these companions are foreground interlopers. Infrared observations with the James Webb Space Telescope will be needed to detect the $z\simeq6$ quasar host galaxies and better constrain their stellar mass and dust content.


title: Additive Tensor Decomposition Considering Structural Data Information

abstract: Tensor data with rich structural information becomes increasingly important in process modeling, monitoring, and diagnosis. Here structural information is referred to structural properties such as sparsity, smoothness, low-rank, and piecewise constancy. To reveal useful information from tensor data, we propose to decompose the tensor into the summation of multiple components based on different structural information of them. In this paper, we provide a new definition of structural information in tensor data. Based on it, we propose an additive tensor decomposition (ATD) framework to extract useful information from tensor data. This framework specifies a high dimensional optimization problem to obtain the components with distinct structural information. An alternating direction method of multipliers (ADMM) algorithm is proposed to solve it, which is highly parallelable and thus suitable for the proposed optimization problem. Two simulation examples and a real case study in medical image analysis illustrate the versatility and effectiveness of the ATD framework.


title: Calibration of Google Trends Time Series

abstract: Google Trends is a tool that allows researchers to analyze the popularity of Google search queries across time and space. In a single request, users can obtain time series for up to 5 queries on a common scale, normalized to the range from 0 to 100 and rounded to integer precision. Despite the overall value of Google Trends, rounding causes major problems, to the extent that entirely uninformative, all-zero time series may be returned for unpopular queries when requested together with more popular queries. We address this issue by proposing Google Trends Anchor Bank (G-TAB), an efficient solution for the calibration of Google Trends data. Our method expresses the popularity of an arbitrary number of queries on a common scale without being compromised by rounding errors. The method proceeds in two phases. In the offline preprocessing phase, an "anchor bank" is constructed, a set of queries spanning the full spectrum of popularity, all calibrated against a common reference query by carefully chaining together multiple Google Trends requests. In the online deployment phase, any given search query is calibrated by performing an efficient binary search in the anchor bank. Each search step requires one Google Trends request, but few steps suffice, as we demonstrate in an empirical evaluation. We make our code publicly available as an easy-to-use library at https://github.com/epfl-dlab/GoogleTrendsAnchorBank.


title: Resource-rational Task Decomposition to Minimize Planning Costs

abstract: People often plan hierarchically. That is, rather than planning over a monolithic representation of a task, they decompose the task into simpler subtasks and then plan to accomplish those. Although much work explores how people decompose tasks, there is less analysis of why people decompose tasks in the way they do. Here, we address this question by formalizing task decomposition as a resource-rational representation problem. Specifically, we propose that people decompose tasks in a manner that facilitates efficient use of limited cognitive resources given the structure of the environment and their own planning algorithms. Using this model, we replicate several existing findings. Our account provides a normative explanation for how people identify subtasks as well as a framework for studying how people reason, plan, and act using resource-rational representations.


title: Quantum Embedded Superstates

abstract: Optical supercavity modes (superstates), i.e., hybrid modes emerging from the strong coupling of two nonorthogonal modes of an open cavity, can support ultranarrow lines in scattering spectra associated with quasi bound states in the continuum (quasi-BIC). These modes are of great interest for sensing applications as they enable compact systems with unprecedented sensitivity. However, these quasi-BIC sensors obey the shot-noise limit, which may be overcome only in quantum sensors. Here, we unveil that a three-level quantum system (e.g., atom, quantum dot, superconducting qubit) can be tailored to support the quantum analog of an embedded superstate with an unboundedly narrow emission line in the strong coupling regime. Remarkably, we demonstrate that the coupling of such a system with a cavity (e.g., plasmonic or dielectric nanoparticle, microcavity, microwave resonator) enables sensing properties with significantly reduced noise. Our results can be applied to a plethora of quantum platforms from microwave superconductors to cold atoms and quantum dots, opening interesting opportunities for quantum sensing and computing.


title: Continuous phase transitions on Galton-Watson trees

abstract: Distinguishing between continuous and first-order phase transitions is a major challenge in random discrete systems. We study the topic for events with recursive structure on Galton-Watson trees. For example, let $\mathcal{T}_1$ be the event that a Galton-Watson tree is infinite, and let $\mathcal{T}_2$ be the event that it contains an infinite binary tree starting from its root. These events satisfy similar recursive properties: $\mathcal{T}_1$ holds if and only if $\mathcal{T}_1$ holds for at least one of the trees initiated by children of the root, and $\mathcal{T}_2$ holds if and only if $\mathcal{T}_2$ holds for at least two of these trees. The probability of $\mathcal{T}_1$ has a continuous phase transition, increasing from 0 when the mean of the child distribution increases above 1. On the other hand, the probability of $\mathcal{T}_2$ has a first-order phase transition, jumping discontinuously to a nonzero value at criticality. Given the recursive property satisfied by the event, we describe the critical child distributions where a continuous phase transition takes place. In many cases, we also characterize the event undergoing the phase transition.


title: Measuring internal forces in single-stranded DNA: Application to a DNA force clamp

abstract: We present a new method for calculating internal forces in DNA structures using coarse-grained models and demonstrate its utility with the oxDNA model. The instantaneous forces on individual nucleotides are explored and related to model potentials, and using our framework, internal forces are calculated for two simple DNA systems and for a recently-published nanoscopic force clamp. Our results highlight some pitfalls associated with conventional methods for estimating internal forces, which are based on elastic polymer models, and emphasise the importance of carefully considering secondary structure and ionic conditions when modelling the elastic behaviour of single-stranded DNA. Beyond its relevance to the DNA nanotechnological community, we expect our approach to be broadly applicable to calculations of internal force in a variety of structures -- from DNA to protein -- and across other coarse-grained simulation models.


title: se(3)-TrackNet: Data-driven 6D Pose Tracking by Calibrating Image Residuals in Synthetic Domains

abstract: Tracking the 6D pose of objects in video sequences is important for robot manipulation. This task, however, introduces multiple challenges: (i) robot manipulation involves significant occlusions; (ii) data and annotations are troublesome and difficult to collect for 6D poses, which complicates machine learning solutions, and (iii) incremental error drift often accumulates in long term tracking to necessitate re-initialization of the object's pose. This work proposes a data-driven optimization approach for long-term, 6D pose tracking. It aims to identify the optimal relative pose given the current RGB-D observation and a synthetic image conditioned on the previous best estimate and the object's model. The key contribution in this context is a novel neural network architecture, which appropriately disentangles the feature encoding to help reduce domain shift, and an effective 3D orientation representation via Lie Algebra. Consequently, even when the network is trained only with synthetic data can work effectively over real images. Comprehensive experiments over benchmarks - existing ones as well as a new dataset with significant occlusions related to object manipulation - show that the proposed approach achieves consistently robust estimates and outperforms alternatives, even though they have been trained with real images. The approach is also the most computationally efficient among the alternatives and achieves a tracking frequency of 90.9Hz.


title: Robust Image Retrieval-based Visual Localization using Kapture

abstract: Visual localization tackles the challenge of estimating the camera pose from images by using correspondence analysis between query images and a map. This task is computation and data intensive which poses challenges on thorough evaluation of methods on various datasets. However, in order to further advance in the field, we claim that robust visual localization algorithms should be evaluated on multiple datasets covering a broad domain variety. To facilitate this, we introduce kapture, a new, flexible, unified data format and toolbox for visual localization and structure-from-motion (SFM). It enables easy usage of different datasets as well as efficient and reusable data processing. To demonstrate this, we present a versatile pipeline for visual localization that facilitates the use of different local and global features, 3D data (e.g. depth maps), non-vision sensor data (e.g. IMU, GPS, WiFi), and various processing algorithms. Using multiple configurations of the pipeline, we show the great versatility of kapture in our experiments. Furthermore, we evaluate our methods on eight public datasets where they rank top on all and first on many of them. To foster future research, we release code, models, and all datasets used in this paper in the kapture format open source under a permissive BSD license. github.com/naver/kapture, github.com/naver/kapture-localization