title: Anomalies in (2+1)D fermionic topological phases and (3+1)D path integral state sums for fermionic SPTs

abstract: Given a (2+1)D fermionic topological order and a symmetry fractionalization class for a global symmetry group $G$, we show how to construct a (3+1)D topologically invariant path integral for a fermionic $G$ symmetry-protected topological state ($G$-FSPT) in terms of an exact combinatorial state sum. This provides a general way to compute anomalies in (2+1)D fermionic symmetry-enriched topological states of matter. Equivalently, our construction provides an exact (3+1)D combinatorial state sum for a path integral of any FSPT that admits a symmetry-preserving gapped boundary, including the (3+1)D topological insulators and superconductors in class AII, AIII, DIII, and CII that arise in the free fermion classification. Our construction uses the fermionic topological order (characterized by a super-modular tensor category) and symmetry fractionalization data to define a (3+1)D path integral for a bosonic theory that hosts a non-trivial emergent fermionic particle, and then condenses the fermion by summing over closed 3-form $\mathbb{Z}_2$ background gauge fields. This procedure involves a number of non-trivial higher-form anomalies associated with Fermi statistics and fractional quantum numbers that need to be appropriately canceled off with a Grassmann integral that depends on a generalized spin structure. We show how our construction reproduces the $\mathbb{Z}_{16}$ anomaly indicator for time-reversal symmetric topological superconductors with ${\bf T}^2 = (-1)^F$. Mathematically, with standard technical assumptions, this implies that our construction gives a combinatorial state sum on a triangulated 4-manifold that can distinguish all $\mathbb{Z}_{16}$ $\mathrm{Pin}^+$ smooth bordism classes. As such, it contains the topological information encoded in the eta invariant of the pin$^+$ Dirac operator, thus giving an example of a state sum TQFT that can distinguish exotic smooth structure.

categories: cond-mat.str-el hep-th math-ph math.GT math.MP math.QA


title: Accelerating Large-Scale-Structure data analyses by emulating Boltzmann solvers and Lagrangian Perturbation Theory

abstract: The linear matter power spectrum is an essential ingredient in all theoretical models for interpreting large-scale-structure observables. Although Boltzmann codes such as CLASS or CAMB are very efficient at computing the linear spectrum, the analysis of data usually requires $10^4$-$10^6$ evaluations, which means this task can be the most computationally expensive aspect of data analysis. Here, we address this problem by building a neural network emulator that provides the linear theory (total and cold) matter power spectrum in about one millisecond with 0.2% (0.5%) accuracy over redshifts $z \le 3$ ($z \le 9$), and scales $10^{-4} \le k \, [h {\rm Mpc^{-1}}] < 50$. We train this emulator with more than 200,000 measurements, spanning a broad cosmological parameter space that includes massive neutrinos and dynamical dark energy. We show that the parameter range and accuracy of our emulator is enough to get unbiased cosmological constraints in the analysis of a Euclid-like weak lensing survey. Complementing this emulator, we train 15 other emulators for the cross-spectra of various linear fields in Eulerian space, as predicted by 2nd-order Lagrangian Perturbation theory, which can be used to accelerate perturbative bias descriptions of galaxy clustering. Our emulators are specially designed to be used in combination with emulators for the nonlinear matter power spectrum and for baryonic effects, all of which are publicly available at http://www.dipc.org/bacco.


title: Axion Production in Pulsar Magnetosphere Gaps

abstract: Pulsar magnetospheres admit non-stationary vacuum gaps that are characterized by non-vanishing ${\bf{E}} \cdot {\bf{B}}$. The vacuum gaps play an important role in plasma production and electromagnetic wave emission. We show that these gaps generate axions whose energy is set by the gap oscillation frequency. The density of axions produced in a gap can be several orders of magnitude greater than the ambient dark matter density. In the strong pulsar magnetic field, a fraction of these axions may convert to photons, giving rise to broadband radio signals. We show that dedicated observations of nearby pulsars with radio telescopes (FAST) and interferometers (SKA) can probe axion-photon couplings that are a few orders of magnitude lower than current astrophysical bounds.


title: Stellar hardening of massive black hole binaries: the impact of the host rotation

abstract: Massive black hole binaries (MBHBs) with masses of ~ 10^4 to ~ 10^10 of solar masses are one of the main targets for currently operating and forthcoming space-borne gravitational wave observatories. In this paper, we explore the effect of the stellar host rotation on the bound binary hardening efficiency, driven by three-body stellar interactions. As seen in previous studies, we find that the centre of mass (CoM) of a prograde MBHB embedded in a rotating environment starts moving on a nearly circular orbit about the centre of the system shortly after the MBHB binding. In our runs, the oscillation radius is approximately 0.25 ( approximately 0.1) times the binary influence radius for equal mass MBHBs (MBHBs with mass ratio 1:4). Conversely, retrograde binaries remain anchored about the centre of the host. The binary shrinking rate is twice as fast when the binary CoM exhibits a net orbital motion, owing to a more efficient loss cone repopulation even in our spherical stellar systems. We develop a model that captures the CoM oscillations of prograde binaries; we argue that the CoM angular momentum gain per time unit scales with the internal binary angular momentum, so that most of the displacement is induced by stellar interactions occurring around the time of MBHB binding, while the subsequent angular momentum enhancement gets eventually quashed by the effect of dynamical friction. The effect of the background rotation on the MBHB evolution may be relevant for LISA sources, that are expected to form in significantly rotating stellar systems.


title: One-loop corrections to light neutrino masses in gauged U(1) extensions of the standard model

abstract: We consider gauged U(1) extensions of the standard model of particle physics with three right-handed sterile neutrinos and a singlet scalar. The neutrinos obtain mass via the type I seesaw mechanism. We compute the one loop corrections to the elements of the tree level mass matrix of the light neutrinos and show explicitly the cancellation of the gauge dependent terms. We present a general formula for the gauge independent, finite one-loop corrections for arbitrary number new U(1) groups, new complex scalars and sterile neutrinos. We estimate the size of the corrections relative to the tree level mass matrix in a particular extension, the super-weak model.


title: Supersymmetric solitons and a degeneracy of solutions in AdS/CFT

abstract: We study Lorentzian supersymmetric configurations in $D=4$ and $D=5$ gauged $\mathcal{N}=2$ supergravity. We show that there are smooth $1/2$ BPS solutions which are asymptotically AdS$_{4}$ and AdS$_{5}$ with a planar boundary, a compact spacelike direction and with a Wilson line on that circle. There are solitons where the $S^{1}$ shrinks smoothly to zero in the interior, with a magnetic flux through the circle determined by the Wilson line, which are AdS analogues of the Melvin fluxtube. There is also a solution with a constant gauge field, which is pure AdS. Both solutions preserve half of the supersymmetries at a special value of the Wilson line. There is a phase transition between these two saddle-points as a function of the Wilson line precisely at the supersymmetric point. Thus, the supersymmetric solutions are degenerate, at least at the supergravity level. We extend this discussion to one of the Romans solutions in four dimensions when the Euclidean boundary is $S^{1}\times\Sigma_{g}$ where $\Sigma_{g}$ is a Riemann surface with genus $g > 0$. We speculate that the supersymmetric state of the CFT on the boundary is dual to a superposition of the two degenerate geometries.


title: BV solutions for a hydrodynamic model of flocking--type with all-to-all interaction kernel

abstract: We consider a hydrodynamic model of flocking-type with all-to-all interaction kernel in one-space dimension and establish global existence of entropy weak solutions with concentration to the Cauchy problem for any BV initial data that has finite total mass confined in a bounded interval and initial density uniformly positive therein. In addition, under a suitable condition on the initial data, we show that entropy weak solutions with concentration admit time-asymptotic flocking.


title: Receiver-Device-Independent Quantum Key Distribution

abstract: We present protocols for quantum key distribution in a prepare-and-measure setup with an asymmetric level of trust. While the device of the sender (Alice) is partially characterized, the receiver's (Bob's) device is treated as a black-box. The security of the protocols is based on the assumption that Alice's prepared states have limited overlaps, but no explicit bound on the Hilbert space dimension is required. The protocols are immune to attacks on the receiver's device, such as blinding attacks. The users can establish a secret key while continuously monitoring the correct functioning of their devices through observed statistics. We report a proof-of-principle demonstration, involving mostly off-the-shelf equipment, as well as a high-efficiency superconducting nanowire detector. A positive key rate is demonstrated over a 4.8 km low-loss optical fiber with finite-key analysis. The prospects of implementing these protocols over longer distances is discussed.


title: Unsupervised Layered Image Decomposition into Object Prototypes

abstract: We present an unsupervised learning framework for decomposing images into layers of automatically discovered object models. Contrary to recent approaches that model image layers with autoencoder networks, we represent them as explicit transformations of a small set of prototypical images. Our model has three main components: (i) a set of object prototypes in the form of learnable images with a transparency channel, which we refer to as sprites; (ii) differentiable parametric functions predicting occlusions and transformation parameters necessary to instantiate the sprites in a given image; (iii) a layered image formation model with occlusion for compositing these instances into complete images including background. By jointly learning the sprites and occlusion/transformation predictors to reconstruct images, our approach not only yields accurate layered image decompositions, but also identifies object categories and instance parameters. We first validate our approach by providing results on par with the state of the art on standard multi-object synthetic benchmarks (Tetrominoes, Multi-dSprites, CLEVR6). We then demonstrate the applicability of our model to real images in tasks that include clustering (SVHN, GTSRB), cosegmentation (Weizmann Horse) and object discovery from unfiltered social network images. To the best of our knowledge, our approach is the first layered image decomposition algorithm that learns an explicit and shared concept of object type, and is robust enough to be applied to real images.


title: The dynamic evolution of swelling in nickel concentrated solid solution alloys through in situ property monitoring

abstract: Defects and microstructural features spanning the atomic level to the microscale play deterministic roles in the expressed properties of materials. Yet studies of material evolution in response to environmental stimuli most often correlate resulting performance with one dominant microstructural feature only. Here, the dynamic evolution of swelling in a series of Ni-based concentrated solid solution alloys under high-temperature irradiation exposure is observed using continuous, in situ measurements of thermoelastic properties in bulk specimens. Unlike traditional evaluation techniques which account only for volumetric porosity identified using electron microscopy, direct property evaluation provides an integrated response across all defect length scales. In particular, the evolution in elastic properties during swelling is found to depend significantly on the entire size spectrum of defects, from the nano- to meso-scales, some of which are not resolvable in imaging. Observed changes in thermal transport properties depend sensitively on the partitioning of electronic and lattice thermal conductivity. This emerging class of in situ experiments, which directly measure integrated performance in relevant conditions, provides unique insight into material dynamics otherwise unavailable using traditional methods.


title: EXP: N-body integration using basis function expansions

abstract: We present the N-body simulation techniques in EXP. EXP uses empirically-chosen basis functions to expand the potential field of an ensemble of particles. Unlike other basis function expansions, the derived basis functions are adapted to an input mass distribution, enabling accurate expansion of highly non-spherical objects, such as galactic discs. We measure the force accuracy in three models, one based on a spherical or aspherical halo, one based on an exponential disc, and one based on a bar-based disc model. We find that EXP is as accurate as a direct-summation or tree-based calculation, and in some ways is better, while being considerably less computationally intensive. We discuss optimising the computation of the basis function representation. We also detail numerical improvements for performing orbit integrations, including timesteps.


title: Electrical conductivity in the Hubbard model: orbital effects of magnetic field

abstract: Calculation of conductivity in the Hubbard model is a challenging task. Recent years have seen much progress in this respect and numerically exact solutions are now possible in certain regimes. In this paper we discuss the calculation of conductivity for the square lattice Hubbard model in the presence of a perpendicular magnetic field, focusing on orbital effects. We present the relevant formalism in all detail and in full generality, and then discuss the simplifications that arise at the level of the dynamical mean field theory (DMFT). We prove that the Kubo bubble preserves gauge and translational invariance, and that in the DMFT the vertex corrections cancel regardless of the magnetic field. We present the DMFT results for the spectral function and both the longitudinal and Hall conductivity in several regimes of parameters. We analyze thoroughly the quantum oscillations of the longitudinal conductivity and identify a high-frequency oscillation component, arising as a combined effect of scattering and temperature, in line with recent experimental observations in moir\'e systems.


title: LIDAR and Position-Aided mmWave Beam Selection with Non-local CNNs and Curriculum Training

abstract: Efficient millimeter wave (mmWave) beam selection in vehicle-to-infrastructure (V2I) communication is a crucial yet challenging task due to the narrow mmWave beamwidth and high user mobility. To reduce the search overhead of iterative beam discovery procedures, contextual information from light detection and ranging (LIDAR) sensors mounted on vehicles has been leveraged by data-driven methods to produce useful side information. In this paper, we propose a lightweight neural network (NN) architecture along with the corresponding LIDAR preprocessing, which significantly outperforms previous works. Our solution comprises multiple novelties that improve both the convergence speed and the final accuracy of the model. In particular, we define a novel loss function inspired by the knowledge distillation idea, introduce a curriculum training approach exploiting line-of-sight (LOS)/non-line-of-sight (NLOS) information, and we propose a non-local attention module to improve the performance for the more challenging NLOS cases. Simulation results on benchmark datasets show that, utilizing solely LIDAR data and the receiver position, our NN-based beam selection scheme can achieve 79.9% throughput of an exhaustive beam sweeping approach without any beam search overhead and 95% by searching among as few as 6 beams. In a typical mmWave V2I scenario, our proposed method considerably reduces the beam search time required to achieve a desired throughput, in comparison with the inverse fingerprinting and hierarchical beam selection schemes.


title: Tidal Disruption Events

abstract: The concept of stars being tidally ripped apart and consumed by a massive black hole (MBH) lurking in the center of a galaxy first captivated theorists in the late 1970's. The observational evidence for these rare but illuminating phenomena for probing otherwise dormant MBHs, first emerged in archival searches of the soft X-ray ROSAT All-Sky Survey in the 1990's; but has recently accelerated with the increasing survey power in the optical time domain, with tidal disruption events (TDEs) now regarded as a class of optical nuclear transients with distinct spectroscopic features. Multiwavelength observations of TDEs have revealed panchromatic emission, probing a wide range of scales, from the innermost regions of the accretion flow, to the surrounding circumnuclear medium. I review the current census of 56 TDEs reported in the literature, and their observed properties can be summarized as follows: $\bullet$ The optical light curves follow a power-law decline from peak that scales with the inferred central black hole mass as expected for the fallback rate of the stellar debris, but the rise time does not. $\bullet$ The UV/optical and soft X-ray thermal emission come from different spatial scales, and their intensity ratio has a large dynamic range, and is highly variable, providing important clues as to what is powering the two components. $\bullet$ They can be grouped into three spectral classes, and those with Bowen fluorescence line emission show a preference for a hotter and more compact line-emitting region, while those with only He II emission lines are the rarest class.


title: MuyGPs: Scalable Gaussian Process Hyperparameter Estimation Using Local Cross-Validation

abstract: Gaussian processes (GPs) are non-linear probabilistic models popular in many applications. However, na\"ive GP realizations require quadratic memory to store the covariance matrix and cubic computation to perform inference or evaluate the likelihood function. These bottlenecks have driven much investment in the development of approximate GP alternatives that scale to the large data sizes common in modern data-driven applications. We present in this manuscript MuyGPs, a novel efficient GP hyperparameter estimation method. MuyGPs builds upon prior methods that take advantage of the nearest neighbors structure of the data, and uses leave-one-out cross-validation to optimize covariance (kernel) hyperparameters without realizing a possibly expensive likelihood. We describe our model and methods in detail, and compare our implementations against the state-of-the-art competitors in a benchmark spatial statistics problem. We show that our method outperforms all known competitors both in terms of time-to-solution and the root mean squared error of the predictions.


title: Direct photons emission rate and electric conductivity in twice anisotropic QGP holographic model with first-order phase transition

abstract: The electric conductivity and direct photons emission rate are considered in the holographic theory with two types of anisotropy. The electric conductivity is derived in two different ways, and their equivalence for the twice anisotropic theory is shown. Numerical calculations of the electric conductivity were done for Einstein-dilaton-three-Maxwell holographic model [29]. The dependence of the conductivity on the temperature, the chemical potential, the external magnetic field, and the spatial anisotropy of the heavy-ions collision (HIC) is studied. The electric conductivity jumps near the first-order phase transition are observed. This effect is similar to the jumps of holographic entanglement that were studied previously.


title: The missing link in gravitational-wave astronomy: A summary of discoveries waiting in the decihertz range

abstract: Since 2015 the gravitational-wave observations of LIGO and Virgo have transformed our understanding of compact-object binaries. In the years to come, ground-based gravitational-wave observatories such as LIGO, Virgo, and their successors will increase in sensitivity, discovering thousands of stellar-mass binaries. In the 2030s, the space-based LISA will provide gravitational-wave observations of massive black holes binaries. Between the $\sim 10$-$10^3~\mathrm{Hz}$ band of ground-based observatories and the $\sim10^{-4}$-$10^{-1}~\mathrm{Hz}$ band of LISA lies the uncharted decihertz gravitational-wave band. We propose a Decihertz Observatory to study this frequency range, and to complement observations made by other detectors. Decihertz observatories are well suited to observation of intermediate-mass ($\sim10^2$-$10^4 M_\odot$) black holes; they will be able to detect stellar-mass binaries days to years before they merge, providing early warning of nearby binary neutron star mergers and measurements of the eccentricity of binary black holes, and they will enable new tests of general relativity and the Standard Model of particle physics. Here we summarise how a Decihertz Observatory could provide unique insights into how black holes form and evolve across cosmic time, improve prospects for both multimessenger astronomy and multiband gravitational-wave astronomy, and enable new probes of gravity, particle physics and cosmology.


title: Variable oxygen emission from the accretion disk of Mrk 110

abstract: Six XMM-Newton observations of the bright narrow line Seyfert 1, Mrk 110, from 2004-2020, are presented. The analysis of the grating spectra from the Reflection Grating Spectrometer (RGS) reveals a broad component of the He-like Oxygen (OVII) line, with a full width at half maximum (FWHM) of $15900\pm1800$ km s$^{-1}$ measured in the mean spectrum. The broad OVII line in all six observations can be modelled with a face-on accretion disk profile, where from these profiles the inner radius of the line emission is inferred to lie between about 20-100 gravitational radii from the black hole. The derived inclination angle, of about 10 degrees, is consistent with studies of the optical Broad Line Region in Mrk 110. The line also appears variable and for the first time, a significant correlation is measured between the OVII flux and the continuum flux from both the RGS and EPIC-pn data. Thus the line responds to the continuum, being brightest when the continuum flux is highest, similar to the reported behaviour of the optical HeII line. The density of the line emitting gas is estimated to be $n_{\rm e}\sim10^{14}$ cm$^{-3}$, consistent with an origin in the accretion disk.


title: The peculiar nebula Simeis 57: II. Distance, nature and excitation

abstract: Simeis 57 (HS 191) is an optically bright nebula in the Cygnus X region with a peculiar appearance that suggests an outflow from a rotating source. Newly obtained observations and archival data reveal Simeis 57 as a low-density ($n_{e}\,\sim\,100$ cm$^{-3}$) nebula with an east-to-west excitation gradient. The extinction of the nebula is $A_{V}\,\leq$ 2 mag. The nebula is recognizable but not prominent in mid- and far-infrared images. In its direction, half a dozen small CO clouds have been identified at $V_{LSR}$ = + 5 km s$^{-1}$. One of these coincides with both the optical nebula and a second CO cloud at the nebular velocity $V_{LSR}\,\approx$ -10 km $^{-1}$. No luminous stars are embedded in these molecular clouds, nor are any obscured by them and no sufficiently luminous stars are found in the immediate vicinity of the nebula. Instead, all available data points to the evolved star HD 193793 = WR 140 (an O4-5 supergiant and WC7 Wolf-Rayet binary) as the source of excitation, notwithstanding its large separation of $50'$, about 25 pc at the stellar distance of 1.7 kpc. Simeis 57 appears to be a part of a larger structure surrounding the HI void centered on HD 193793.


title: Crack Semantic Segmentation using the U-Net with Full Attention Strategy

abstract: Structures suffer from the emergence of cracks, therefore, crack detection is always an issue with much concern in structural health monitoring. Along with the rapid progress of deep learning technology, image semantic segmentation, an active research field, offers another solution, which is more effective and intelligent, to crack detection Through numerous artificial neural networks have been developed to address the preceding issue, corresponding explorations are never stopped improving the quality of crack detection. This paper presents a novel artificial neural network architecture named Full Attention U-net for image semantic segmentation. The proposed architecture leverages the U-net as the backbone and adopts the Full Attention Strategy, which is a synthesis of the attention mechanism and the outputs from each encoding layer in skip connection. Subject to the hardware in training, the experiments are composed of verification and validation. In verification, 4 networks including U-net, Attention U-net, Advanced Attention U-net, and Full Attention U-net are tested through cell images for a competitive study. With respect to mean intersection-over-unions and clarity of edge identification, the Full Attention U-net performs best in verification, and is hence applied for crack semantic segmentation in validation to demonstrate its effectiveness.


title: One more proof of the first linear programming bound for binary codes and two conjectures

abstract: We give one more proof of the first linear programming bound for binary codes, following the line of work initiated by Friedman and Tillich. The new argument is somewhat similar to previous proofs, but we believe it to be both simpler and more intuitive. Moreover, it provides the following 'geometric' explanation for the bound. A binary code with minimal distance $\delta n$ is small because the projections of the characteristic functions of its elements on the subspace spanned by the Walsh-Fourier characters of weight up to $\left(\frac 12 - \sqrt{\delta(1-\delta)}\right) \cdot n$ are essentially independent. Hence the cardinality of the code is bounded by the dimension of the subspace. We present two conjectures, suggested by the new proof, one for linear and one for general binary codes which, if true, would lead to an improvement of the first linear programming bound. The conjecture for linear codes is related to and is influenced by conjectures of H\r{a}stad and of Kalai and Linial. We verify the conjectures for the (simple) cases of random linear codes and general random codes.


title: Universal magnetic oscillations of DC conductivity in the incoherent regime of correlated systems

abstract: Using the dynamical mean field theory we investigate the magnetic field dependence of DC conductivity in the Hubbard model on the square lattice, fully taking into account the orbital effects of the field introduced via the Peierls substitution. In addition to the conventional Shubnikov-de Haas quantum oscillations, associated with the coherent cyclotron motion of quasiparticles and the presence of a well-defined Fermi surface, we find an additional oscillatory component with a higher frequency that corresponds to the total area of the Brillouin zone. These paradigm-breaking oscillations appear at elevated temperature. This finding is in excellent qualitative agreement with the recent experiments on graphene superlattices. We elucidate the key roles of the off-diagonal elements of the current vertex and the incoherence of electronic states, and explain the trends with respect to temperature and doping.


title: User-centric Cell-free Massive MIMO Networks: A Survey of Opportunities, Challenges and Solutions

abstract: Densification of network base stations is indispensable to achieve the stringent Quality of Service (QoS) requirements of future mobile networks. However, with a dense deployment of transmitters, interference management becomes an arduous task. To solve this issue, exploring radically new network architectures with intelligent coordination and cooperation capabilities is crucial. This survey paper investigates the emerging user-centric cell-free massive Multiple-input multiple-output (MIMO) network architecture that sets a foundation for future mobile networks. Such networks use a dense deployment of distributed units (DUs) to serve users; the crucial difference from the traditional cellular paradigm is that a specific serving cluster of DUs is defined for each user. This framework provides macro diversity, power efficiency, interference management, and robust connectivity. Most importantly, the user-centric approach eliminates cell edges, thus contributing to uniform coverage and performance for users across the network area. We present here a guide to the key challenges facing the deployment of this network scheme and contemplate the solutions being proposed for the main bottlenecks facing cell-free communications. Specifically, we survey the literature targeting the fronthaul, then we scan the details of the channel estimation required, resource allocation, delay, and scalability issues. Furthermore, we highlight some technologies that can provide a management platform for this scheme such as distributed software-defined network (SDN). Our article serves as a check point that delineates the current status and indicates future directions for this area in a comprehensive manner.

categories: cs.IT cs.NI cs.SY eess.SP eess.SY math.IT


title: Analytic exploration of safe basins in a benchmark problem of forced escape

abstract: The paper presents an analytical approach for predicting the safe basins (SB) in a plane of initial conditions (IC) for escape of classical particle from the potential well under harmonic forcing. The solution is based on the approximation of isolated resonance, which reduces the dynamics to conservative flow on a two-dimensional resonance manifold (RM). Such a reduction allows easy distinction between escaping and non-escaping ICs. As a benchmark potential, we choose a common parabolic-quartic well with truncation at varying energy levels. The method allows accurate predictions of the SB boundaries for relatively low forcing amplitudes. The derived SBs demonstrate an unexpected set of properties, including decomposition into two disjoint zones in the IC plane for a certain range of parameters. The latter peculiarity stems from two qualitatively different escape mechanisms on the RM. For higher forcing values, the accuracy of the analytic predictions decreases to some extent due to the inaccuracies of the basic isolated resonance approximation, but mainly due to the erosion of the SB boundaries caused by the secondary resonances. Nevertheless, even in this case the analytic approximation can serve as a viable initial guess for subsequent numeric estimation of the SB boundaries.


title: Numerical analysis of a self-similar turbulent flow in Bose--Einstein condensates

abstract: We study a self-similar solution of the kinetic equation describing weak wave turbulence in Bose-Einstein condensates. This solution presumably corresponds to an asymptotic behavior of a spectrum evolving from a broad class of initial data, and it features a non-equilibrium finite-time condensation of the wave spectrum $n(\omega)$ at the zero frequency $\omega$. The self-similar solution is of the second kind, and it satisfies boundary conditions corresponding to a nonzero constant spectrum (with all its derivative being zero) at $\omega=0$ and a power-law asymptotic $n(\omega) \to \omega^{-x}$ at $\omega \to \infty \;\; x\in \mathbb{R}^+$. Finding it amounts to solving a nonlinear eigenvalue problem, i.e. finding the value $x^*$ of the exponent $x$ for which these two boundary conditions can be satisfied simultaneously. To solve this problem we develop a new high-precision algorithm based on Chebyshev approximations and double exponential formulas for evaluating the collision integral, as well as the iterative techniques for solving the integro-differential equation for the self-similar shape function. This procedures allow to achieve a solution with accuracy $\approx 4.7 \%$ which is realized for $x^* \approx 1.22$.


title: A note on the differentiability of Palmer's topological equivalence for discrete systems

abstract: A linear system of difference equations and a nonlinear perturbation are considered. We propose sufficient conditions to ensure that the homeomorphism of topological equivalence between them is actually a $C^1$ diffeomorphism. These conditions consider that the linear part satisfies a dichotomy on the positive half-line, while the perturbation satisfies boundness and Lipschitzness conditions, and anothers that are tailored for our goal. The family of dichotomies that we study consider (but are not limited to) the exponential and nonuniform exponential dichotomies. We discuss the possibility of extending this result to a higher class of differentiability.


title: Cathode to Target Simulations for Scorpius: I. Simulation Codes and Models

abstract: The new Scorpius linear induction electron accelerator is under development for multi-pulse flash radiography of large, explosively-driven hydrodynamic experiments. Beam physics from the cathode to the target was examined with computer simulations, including envelope, ray-trace, and particle-in cell (PIC) codes. Beam instabilities investigated included beam breakup (BBU), image displacement, diocotron, parametric envelope, ion hose, and the resistive wall instability. Beam corkscrew motion and emittance growth from beam mismatch were also studied. The results of these simulations is documented in a series of reports. In this report the computer codes and physical models used for these simulations are described. The conclusion of this study is that Scorpius will produce and accelerate a beam with radiographic quality equivalent to the present accelerators at Los Alamos National Laboratory if the same engineering standards and construction details are upheld.


title: A Novel Approximate Hamming Weight Computing for Spiking Neural Networks: an FPGA Friendly Architecture

abstract: Hamming weights of sparse and long binary vectors are important modules in many scientific applications, particularly in spiking neural networks that are of our interest. To improve both area and latency of their FPGA implementations, we propose a method inspired from synaptic transmission failure for exploiting FPGA lookup tables to compress long input vectors. To evaluate the effectiveness of this approach, we count the number of `1's of the compressed vector using a simple linear adder. We classify the compressors into shallow ones with up to two levels of lookup tables and deep ones with more than two levels. The architecture generated by this approach shows up to 82% and 35% reductions for different configurations of shallow compressors in area and latency respectively. Moreover, our simulation results show that calculating the Hamming weight of a 1024-bit vector of a spiking neural network by the use of only deep compressors preserves the chaotic behavior of the network while slightly impacts on the learning performance.


title: Efficient SPARQL Autocompletion via SPARQL

abstract: We show how to achieve fast autocompletion for SPARQL queries on very large knowledge bases. At any position in the body of a SPARQL query, the autocompletion suggests matching subjects, predicates, or objects. The suggestions are context-sensitive in the sense that they lead to a non-empty result and are ranked by their relevance to the part of the query already typed. The suggestions can be narrowed down by prefix search on the names and aliases of the desired subject, predicate, or object. All suggestions are themselves obtained via SPARQL queries, which we call autocompletion queries. For existing SPARQL engines, these queries are impractically slow on large knowledge bases. We present various algorithmic and engineering improvements of an existing SPARQL engine such that these autocompletion queries are executed efficiently. We provide an extensive evaluation of a variety of suggestion methods on three large knowledge bases, including Wikidata (6.9B triples). We explore the trade-off between the relevance of the suggestions and the processing time of the autocompletion queries. We compare our results with two widely used SPARQL engines, Virtuoso and Blazegraph. On Wikidata, we achieve fully sensitive suggestions with sub-second response times for over 90% of a large and diverse set of thousands of autocompletion queries. Materials for full reproducibility, an interactive evaluation web app, and a demo are available on: https://ad.informatik.uni-freiburg.de/publications .


title: Parameterized (Modular) Counting and Cayley Graph Expanders

abstract: We study the problem $\#\mathrm{EdgeSub}(\Phi)$ of counting $k$-edge subgraphs satisfying a given graph property $\Phi$ in a large host graph $G$. Building upon the breakthrough result of Curticapean, Dell and Marx (STOC 17), we express the number of such subgraphs as a finite linear combination of graph homomorphism counts and derive the complexity of computing this number by studying its coefficients. Our approach relies on novel constructions of low-degree Cayley graph expanders of $p$-groups, which might be of independent interest. The properties of those expanders allow us to analyse the coefficients in the aforementioned linear combinations over the field $\mathbb{F}_p$ which gives us significantly more control over the cancellation behaviour of the coefficients. Our main result is an exhaustive and fine-grained complexity classification of $\#\mathrm{EdgeSub}(\Phi)$ for minor-closed properties $\Phi$, closing the missing gap in previous work by Roth, Schmitt and Wellnitz (ICALP 21). Additionally, we observe that our methods also apply to modular counting. Among others, we investigate the problems of modular counting of paths, cycles, forests and matroid bases. In the course of our investigations we also provide an exhaustive parameterized complexity classification for the problem of counting graph homomorphisms modulo a prime $p$.


title: Single photoelectron identification with Incom LAPPD 38

abstract: Incom Inc. Large Area Picosecond Photodetector (LAPPD) 38 has been tested at Jefferson Lab to identify single-photoelectron signals to assess the potential of this type of device for future applications in Cherenkov light detection. Single-photoelectron signals were clearly detected if a tight collimation of photons impinging on the photocathode was used compared to the pixelation of the charge collection signal board.


title: Syzygies of $\mathbb{P}^{1}\times \mathbb{P}^{1}$: data and conjectures

abstract: We provide a number of new conjectures and questions concerning the syzygies of $\mathbb{P}^1\times \mathbb{P}^1$. The conjectures are based on computing the graded Betti tables and related data for large number of different embeddings of $\mathbb{P}^1\times \mathbb{P}^1$. These computations utilize linear algebra over finite fields and high-performance computing.


title: $\textit{Herschel}$ Photometric Observations of $\mathrm{L{\small{ITTLE}}}$ $\mathrm{T{\small{HINGS}}}$ Dwarf Galaxies

abstract: We present here far-infrared photometry of galaxies in a sample that is relatively unexplored at these wavelengths: low-metallicity dwarf galaxies with moderate star formation rates. Four dwarf irregular galaxies from the $\mathrm{L{\small{ITTLE}}}$ $\mathrm{T{\small{HINGS}}}$ survey are considered, with deep $\textit{Herschel}$ PACS and SPIRE observations at 100 $\mu$m, 160 $\mu$m, 250 $\mu$m, 350 $\mu$m, and 500 $\mu$m. Results from modified-blackbody fits indicate that these galaxies have low dust masses and cooler dust temperatures than more actively star-forming dwarfs, occupying the lowest $L_\mathrm{TIR}$ and $M_\mathrm{dust}$ regimes seen among these samples. Dust-to-gas mass ratios of $\sim$10$^{-5}$ are lower, overall, than in more massive and active galaxies, but are roughly consistent with the broken power law relation between the dust-to-gas ratio and metallicity found for other low-metallicity systems. Chemical evolution modeling suggests that these dwarf galaxies are likely forming very little dust via stars or grain growth, and have very high dust destruction rates.


title: Quantum-accelerated imaging of N stars

abstract: Imaging point sources with low angular separation near or below the Rayleigh criterion is important in astronomy, e.g., in the search for habitable exoplanets near stars. However, the measurement time required to resolve stars in the sub-Rayleigh region via traditional direct imaging is usually prohibitive. Here we propose quantum-accelerated imaging (QAI) to significantly reduce the measurement time using an information-theoretic approach. QAI achieves quantum acceleration by adaptively learning optimal measurements from data to maximize Fisher information per detected photon. Our approach can be implemented experimentally by linear-projection instruments followed by a single-photon detector array. We estimate the position, brightness and the number of unknown stars $10\sim100$ times faster than direct imaging with the same aperture. QAI is scalable to large number of incoherent point sources and can find widespread applicability beyond astronomy to high-speed imaging, fluorescence microscopy and efficient optical read-out of qubits.


title: Querying multiple sets of $p$-values through composed hypothesis testing

abstract: Motivation: Combining the results of different experiments to exhibit complex patterns or to improve statistical power is a typical aim of data integration. The starting point of the statistical analysis often comes as sets of p-values resulting from previous analyses, that need to be combined in a flexible way to explore complex hypotheses, while guaranteeing a low proportion of false discoveries. Results: We introduce the generic concept of composed hypothesis, which corresponds to an arbitrary complex combination of simple hypotheses. We rephrase the problem of testing a composed hypothesis as a classification task, and show that finding items for which the composed null hypothesis is rejected boils down to fitting a mixture model and classify the items according to their posterior probabilities. We show that inference can be efficiently performed and provide a thorough classification rule to control for type I error. The performance and the usefulness of the approach are illustrated on simulations and on two different applications. The method is scalable, does not require any parameter tuning, and provided valuable biological insight on the considered application cases. Availability: The QCH methodology is implemented in the qch R package hosted on CRAN.


title: D-VAL: An automatic functional equivalence validation tool for planning domain models

abstract: This paper introduces an approach to validate the functional equivalence of planning domain models. Validating the functional equivalence of planning domain models is the problem of formally confirming that two planning domain models can be used to solve the same set of problems for any set of objects. The need for techniques to validate the functional equivalence of planning domain models has been highlighted in previous research and has applications in model learning, development and extension. We prove the soundness and completeness of our method. We also develop D-VAL, an automatic functional equivalence validation tool for planning domain models. Empirical evaluation shows that D-VAL validates the functional equivalence of all examined domains in less than 43 seconds. Additionally, we provide a benchmark to evaluate the feasibility and performance of this and future related work.


title: Parent grain reconstruction from partially or fully transformed microstructures in MTEX

abstract: A versatile generic framework for parent grain reconstruction from fully or partially transformed child microstructures was integrated into the open-source crystallographic toolbox MTEX. The framework extends traditional parent grain reconstruction, phase transformation and variant analysis to all parent-child crystal symmetry combinations. The inherent versatility of the universally applicable parent grain reconstruction methods, and the ability to conduct in-depth variant analysis are showcased via example workflows that can be programmatically modified by users to suit their specific applications. This is highlighted by three applications namely, $\alpha$-to-$\gamma$ reconstruction in a lath martensitic steel, $\alpha$-to-$\beta$ reconstruction in a Ti alloy, and a two-step reconstruction from $\alpha$-to-$\varepsilon$-to-$\gamma$ in a twinning and transformation -induced plasticity steel. Advanced orientation relationship discovery and analysis options, including variant analysis, is demonstrated via the add-on function library, ORTools.


title: Lithium-salt-based deep eutectic solvents: Importance of glass formation and rotation-translation coupling for the ionic charge transport

abstract: Lithium-salt-based deep eutectic solvents, where the only cation is Li+, are promising candidates as electrolytes in electrochemical energy-storage devices like batteries. We have performed broadband dielectric spectroscopy on three such systems, covering a broad temperature and dynamic range that extends from the low-viscosity liquid around room temperature down to the glassy state approaching the glass-transition temperature. We detect a relaxational process that can be ascribed to dipolar reorientational dynamics and exhibits the clear signatures of glassy freezing. We find that the temperature dependence of the ionic dc conductivity and its room-temperature value also are governed by the glassy dynamics of these systems, depending, e.g., on the glass-transition temperature and fragility. Compared to the previously investigated corresponding systems, containing choline chloride instead of a lithium salt, both the reorientational and ionic dynamics are significantly reduced due to variations of the glass-transition temperature and the higher ionic potential of the lithium ions. These lithium-based deep eutectic solvents partly exhibit significant decoupling of the dipolar reorientational and the ionic translational dynamics and approximately follow a fractional Debye-Stokes-Einstein relation, leading to an enhancement of the dc conductivity, especially at low temperatures. The presented results clearly reveal the importance of decoupling effects and of the typical glass-forming properties of these systems for the technically relevant room-temperature conductivity.


title: Numerical simulations of macrospicule jets under energy imbalance conditions in the solar atmosphere

abstract: Using numerical simulations, we study the effects of thermal conduction and radiative cooling on the formation and evolution of solar jets with some macrospicules features. We initially assume that the solar atmosphere is rarely in equilibrium through energy imbalance. Therefore, we test whether the background flows resulting from an imbalance between thermal conduction and radiative cooling influence the jets' behavior. In this particular scenario, we trigger the formation of the jets by launching a vertical velocity pulse localized at the upper chromosphere for the following test cases: i) adiabatic case; ii) thermal conduction case; iii) radiative cooling case; iv) thermal conduction + radiative cooling case. According to the test results, the addition of the thermal conduction results in smaller and hotter jets than in the adiabatic case. On the other hand, the radiative cooling dissipates the jet after reaching the maximum height ($\approx$ 5.5 Mm), making it shorter and colder than in the adiabatic and thermal conduction cases. Besides, the flow generated by the radiative cooling is more substantial than the caused by thermal conduction. Despite the energy imbalance of the solar atmosphere background, the simulated jet shows morphological features of macrospicules. Furthermore, the velocity pulse steepens into a shock that propagates upward into a solar corona that maintains its initial temperature. The shocks generate the jets with a quasi-periodical behavior that follows a parabolic path on time-distance plots consistent with macrospicule jets' observed dynamics.


title: Pseudogap phase and fractionalization: Predictions for Josephson junction setup

abstract: The pseudogap regime of the underdoped cuprates arguably remains one of the most enigmatic phenomena of correlated quantum matter. Recent theoretical ideas suggest that a pair density wave (PDW) or a "fractionalized PDW" could be a key ingredient for the understanding of the pseudogap physics. These ideas are to be contrasted to the scenario where charge density wave order and superconductivity coexist at low temperatures. In this paper, we present a few tests to compare the two scenarios in a Josephson junction setup. For a PDW scenario, we observe a beat-like structure of AC Josephson current. The additional frequencies for the AC Josephson current appear at the half-odd integer multiple of the standard Josephson frequency. We can extract the modulation wavevector of the PDW state by studying the average Josephson current. Furthermore, the usual sharp Shapiro steps break down. In contrast, these signatures are absent for the simple coexistence of orders. Any detection of such signatures in a similar experimental setup will strongly support the PDW scenario for the pseudogap phase.


title: The origin and evolution of magnetic white dwarfs in close binary stars

abstract: The origin of magnetic fields in white dwarfs remains a fundamental unresolved problem in stellar astrophysics. In particular, the very different fractions of strongly (exceeding 1 MG) magnetic white dwarfs in evolutionarily linked populations of close white dwarf binary stars cannot be reproduced by any scenario suggested so far. Strongly magnetic white dwarfs are absent among detached white dwarf binary stars that are younger than approximately 1 Gyr. In contrast, in semi-detached cataclysmic variables in which the white dwarf accretes from a low-mass star companion, more than one third host a strongly magnetic white dwarf. Here we present binary star evolutionary models that include the spin evolution of accreting white dwarfs and crystallization of their cores, as well as magnetic field interactions between both stars. We show that a crystallization- and rotation-driven dynamo similar to those working in planets and low-mass stars can generate strong magnetic fields in the white dwarfs in cataclysmic variables which explains their large fraction among the observed population. When the magnetic field generated in the white dwarfs connects with that of the secondary stars, synchronization torques and reduced angular momentum loss cause the binary to detach for a relatively short period of time. The few known strongly magnetic white dwarfs in detached binaries, including AR Sco, are in this detached phase.


title: A stochastic framework for atomistic fracture

abstract: We present a stochastic modeling framework for atomistic propagation of a Mode I surface crack, with atoms interacting according to the Lennard-Jones interatomic potential at zero temperature. Specifically, we invoke the Cauchy-Born rule and the maximum entropy principle to infer probability distributions for the parameters of the interatomic potential. We then study how uncertainties in the parameters propagate to the quantities of interest relevant to crack propagation, namely, the critical stress intensity factor and the lattice trapping range. For our numerical investigation, we rely on an automated version of the so-called numerical-continuation enhanced flexible boundary (NCFlex) algorithm.


title: Simultaneous estimation of segmented telescope phasing errors and non-common path aberrations from adaptive optics corrected images

abstract: We investigate the focal plane wavefront sensing technique, known as Phase Diversity, at the scientific focal plane of a segmented mirror telescope with an adaptive optics (AO) system. We specifically consider an optical system imaging a point source in the context of (i) an artificial source within the telescope structure and (ii) from AO-corrected images of a bright star. From our simulations, we reliably disentangle segmented telescope phasing errors from non-common path aberrations (NCPA) for both a theoretical source and on-sky, AO-corrected images where we have simulated the Keck/NIRC2 system. This quantification from on-sky images is appealing, as it's sensitive to the cumulative wavefront perturbations of the entire optical train; disentanglement of phasing errors and NCPA is therefore critical, where any potential correction to the primary mirror from an estimate must contain minimal NCPA contributions. Our estimates require a one-minute sequence of short-exposure, AO-corrected images; by exploiting a slight modification to the AO-loop, we find that 75 defocused images produces reliable estimates. We demonstrate a correction from our estimates to the primary and deformable mirror results in a wavefront error reduction of up to 67% and 65% for phasing errors and NCPA, respectively. If the segment phasing errors on the Keck primary are on the order of ~130 nm RMS, we show we can improve the H-band Strehl ratio by up to 10% by using our algorithm. We conclude our technique works well to estimate NCPA alone from on-sky images, suggesting it is a promising method for any AO-system.


title: STDP and the distribution of preferred phases in the whisker system

abstract: Rats and mice use their whiskers to probe the environment. By rhythmically swiping their whiskers back and forth they can detect the existence of an object, locate it, and identify its texture. Localization can be accomplished by inferring the position of the whisker. Rhythmic neurons that track the phase of the whisking cycle encode information about the azimuthal location of the whisker. These neurons are characterized by preferred phases of firing that are narrowly distributed. Consequently, pooling the rhythmic signal from several upstream neurons is expected to result in a much narrower distribution of preferred phases in the downstream population, which however has not been observed empirically. Here, we show how spike-timing-dependent plasticity (STDP) can provide a solution to this conundrum. We investigated the effect of STDP on the utility of a neural population to transmit rhythmic information downstream using the framework of a modeling study. We found that under a wide range of parameters, STDP facilitated the transfer of rhythmic information despite the fact that all the synaptic weights remained dynamic. As a result, the preferred phase of the downstream neuron was not fixed, but rather drifted in time at a drift velocity that depended on the preferred phase, thus inducing a distribution of preferred phases. We further analyzed how the STDP rule governs the distribution of preferred phases in the downstream population. This link between the STDP rule and the distribution of preferred phases constitutes a natural test for our theory.


title: Optical phonon modes, static and high frequency dielectric constants, and effective electron mass parameter in cubic In$_2$O$_3$

abstract: A complete set of all optical phonon modes predicted by symmetry for bixbyite structure indium oxide is reported here from a combination of far-infrared and infrared spectroscopic ellipsometry, as well as first principle calculations. Dielectric function spectra measured on high quality, marginally electrically conductive melt grown single bulk crystals are obtained on a wavelength-by-wavelength (a.k.a. point-by-point) basis and by numerical reduction of a subtle free charge carrier Drude model contribution. A four-parameter semi-quantum model is applied to determine all sixteen pairs of infrared-active transverse and longitudinal optical phonon modes, including the high-frequency dielectric constant, $\varepsilon_{\infty}=4.05\pm 0.05$. The Lyddane-Sachs-Teller relation then gives access to the static dielectric constant, $\varepsilon_{\mathrm{DC}}=10.55\pm 0.07$. All experimental results are in excellent agreement with our density functional theory calculations and with previously reported values, where existent. We also perform optical Hall effect measurements and determine for the unintentionally doped $n$-type sample a free electron density of $n=(2.81 \pm 0.01)\times 10^{17}$~cm$^{-3}$, mobility of $\mu=(112 \pm 3)$~cm$^{2}$/(Vs), and an effective mass parameter of $(0.208\pm0.006)m_e$. Density and mobility parameters compare very well with results of electrical Hall effect measurements. Our effective mass parameter, which is measured independently of any other experimental technique, represents the bottom curvature of the $\Gamma$ point in In$_2$O$_3$ in agreement with previous extrapolations. We use terahertz spectroscopic ellipsometry to measure the quasi-static response of In$_2$O$_3$, and our model validates the static dielectric constant obtained from the Lyddane-Sachs-Teller relation.


title: Browder's Theorem with General Parameter Space

abstract: Browder (1960) proved that for every continuous function $F : X \times Y \to Y$, where $X$ is the unit interval and $Y$ is a nonempty, convex, and compact subset of $\dR^n$, the set of fixed points of $F$, defined by $C_F := \{ (x,y) \in X \times Y \colon F(x,y)=y\}$ has a connected component whose projection to the first coordinate is $X$. We extend this result to the case where $X$ is a connected and compact Hausdorff space.


title: $L^p$-bounds for semigroups generated by non-elliptic quadratic differential operators

abstract: In this note, we establish $L^p$-bounds for the semigroup $e^{-tq^w(x,D)}$, $t \ge 0$, generated by a quadratic differential operator $q^w(x,D)$ on $\mathbb{R}^n$ that is the Weyl quantization of a complex-valued quadratic form $q$ defined on the phase space $\mathbb{R}^{2n}$ with non-negative real part $\textrm{Re} \, q \ge 0$ and trivial singular space. Specifically, we show that $e^{-tq^w(x,D)}$ is bounded $L^p(\mathbb{R}^n) \rightarrow L^q(\mathbb{R}^n)$ for all $t > 0$ whenever $1 \le p \le q \le \infty$, and we prove bounds on $||e^{-tq^w(x,D)}||_{L^p \rightarrow L^q}$ in both the large $t \gg 1$ and small $0 < t \ll 1$ time regimes. Regarding $L^p \rightarrow L^q$ bounds for the evolution semigroup at large times, we show that $||e^{-tq^w(x,D)}||_{L^p \rightarrow L^q}$ is exponentially decaying as $t \rightarrow \infty$, and we determine the precise rate of exponential decay, which is independent of $(p,q)$. At small times $0 < t \ll 1$, we establish bounds on $||e^{-tq^w(x,D)}||_{L^p \rightarrow L^q}$ for $(p,q)$ with $1 \le p \le q \le \infty$ that are polynomial in $t^{-1}$.


title: A holistic approach for cross-platform software development

abstract: Cross-platform development solutions can help to make software available on different devices and platforms. But these are normally restricted to preconfigured platforms and consider that each individual solution is equal or similar to each other. As a result, developers have to resort to native development and build individual solutions, one for each device/platform, that cooperate to deliver the desired global functionality. This article presents an approach that takes advantage of existing solutions and have support for extending and including new platforms, and distributing functionality across devices. The approach is based on a general-purpose language that raises the abstraction level in order to keep the software free from platform details. Automatic transformations produce executable code that can be properly divided and deployed separately into different platforms. The proposed approach was evaluated in four ways. In the first evaluation, an existing cross-platform system was recreated using the approach. The second and third evaluations was conducted with expert and novice developers, who tested the approach in practice. The fourth evaluation introduced support for cross-platform testing. Results have brought evidence supporting the following main contributions: use of a single environment, the ability to reuse similar concepts between platforms and the potential to reduce costs.


title: Optimal Execution with Quadratic Variation Inventories

abstract: The first half of the paper is devoted to description and implementation of statistical tests arguing for the presence of a Brownian component in the inventories and wealth processes of individual traders. We use intra-day data from the Toronto Stock Exchange to provide empirical evidence of this claim. We work with regularly spaced time intervals, as well as with asynchronously observed data. The tests reveal with high significance the presence of a non-zero Brownian motion component. The second half of the paper is concerned with the analysis of trader behaviors throughout the day. We extend the theoretical analysis of an existing optimal execution model to accommodate the presence of It\^o inventory processes, and we compare empirically the optimal behavior of traders in such fitted models, to their actual behavior as inferred from the data.


title: Learning in Feedforward Neural Networks Accelerated by Transfer Entropy

abstract: Current neural networks architectures are many times harder to train because of the increasing size and complexity of the used datasets. Our objective is to design more efficient training algorithms utilizing causal relationships inferred from neural networks. The transfer entropy (TE) was initially introduced as an information transfer measure used to quantify the statistical coherence between events (time series). Later, it was related to causality, even if they are not the same. There are only few papers reporting applications of causality or TE in neural networks. Our contribution is an information-theoretical method for analyzing information transfer between the nodes of feedforward neural networks. The information transfer is measured by the TE of feedback neural connections. Intuitively, TE measures the relevance of a connection in the network and the feedback amplifies this connection. We introduce a backpropagation type training algorithm that uses TE feedback connections to improve its performance.


title: Sensitivity of void mediated failure to geometric design features of porous metals

abstract: Material produced by current metal additive manufacturing processes is susceptible to variable performance due to imprecise control of internal porosity, surface roughness, and conformity to designed geometry. Using a double U-notched specimen, we investigate the interplay of nominal geometry and porosity in determining ductile failure characteristics during monotonic tensile loading. We simulate the effects of distributed porosity on plasticity and damage using a statistical model based on populations of pores visible in computed tomography scans and additional sub-threshold voids required to match experimental observations of deformation and failure. We interpret the simulation results from a physical viewpoint and provide statistical models of the probability of failure near stress concentrations. We provide guidance for designs where material defects could cause unexpected failures depending on the relative importance of these defects with respect to features of the nominal geometry.


title: Moonshine: An Online Randomness Distiller for Zero-Involvement Authentication

abstract: Context-based authentication is a method for transparently validating another device's legitimacy to join a network based on location. Devices can pair with one another by continuously harvesting environmental noise to generate a random key with no user involvement. However, there are gaps in our understanding of the theoretical limitations of environmental noise harvesting, making it difficult for researchers to build efficient algorithms for sampling environmental noise and distilling keys from that noise. This work explores the information-theoretic capacity of context-based authentication mechanisms to generate random bit strings from environmental noise sources with known properties. Using only mild assumptions about the source process's characteristics, we demonstrate that commonly-used bit extraction algorithms extract only about 10% of the available randomness from a source noise process. We present an efficient algorithm to improve the quality of keys generated by context-based methods and evaluate it on real key extraction hardware. Moonshine is a randomness distiller which is more efficient at extracting bits from an environmental entropy source than existing methods. Our techniques nearly double the quality of keys as measured by the NIST test suite, producing keys that can be used in real-world authentication scenarios.


title: Vortex beams of atoms and molecules

abstract: Angular momentum plays a central role in a multitude of phenomena in quantum mechanics, recurring in every length scale from the microscopic interactions of light and matter to the macroscopic behavior of superfluids. Vortex beams, carrying intrinsic orbital angular momentum (OAM), are now regularly generated with elementary particles such as photons and electrons, and harnessed for numerous applications including microscopy and communication. Untapped possibilities remain hidden in vortices of non-elementary particles, as their composite structure can lead to coupling of OAM with internal degrees of freedom. However, thus far, the creation of a vortex beam of a non-elementary particle has never been demonstrated experimentally. We present the first vortex beams of atoms and molecules, formed by diffracting supersonic beams of helium atoms and dimers, respectively, off binary masks made from transmission gratings. By achieving large particle coherence lengths and nanometric grating features, we observe a series of vortex rings corresponding to different OAM states in the accumulated images of particles impacting a detector. This method is general and can be applied to most atomic and molecular gases. Our results may open new frontiers in atomic physics, utilizing the additional degree of freedom of OAM to probe collisions and alter fundamental interactions.


title: Nonparametric tests of independence for circular data based on trigonometric moments

abstract: We introduce nonparametric tests of independence for bivariate circular data based on trigonometric moments. Our contributions lie in (i) proposing nonparametric tests that are locally and asymptotically optimal against bivariate cosine von Mises alternatives and (ii) extending these tests, via the empirical characteristic function, to obtain consistent tests against broader sets of alternatives, eventually being omnibus. We thus provide a collection of trigonometric-based tests of varying generality and known optimalities. The large-sample behaviours of the tests under the null and alternative hypotheses are obtained, while simulations show that the new tests are competitive against previous proposals. Two data applications in astronomy and forest science illustrate the usage of the tests.


title: A stroll through the loop-tree duality

abstract: The Loop-Tree Duality (LTD) theorem is an innovative technique to deal with multi-loop scattering amplitudes, leading to integrand-level representations over an Euclidean space. In this article, we review the last developments concerning this framework, focusing on the manifestly causal representation of multi-loop Feynman integrals and scattering amplitudes, and the definition of dual local counter-terms to cancel infrared singularities.


title: Formation of $\bar{\rm{H}}^+$ via three body attachment of $\rm{e}^+$ to $\bar{\rm{H}}$

abstract: The formation of positive ions of antihydrogen $\bar{\rm{H}}^+$ via the three body reaction (i) $\rm{e}^+ + \rm{e}^- + \bar{\rm{H}} \rightarrow \rm{e}^- + \bar{\rm{H}}^+$ is considered. In reaction (i), free positrons $\rm{e}^+$ are incident on antihydrogen $\bar{\rm{H}}$ embedded in a gas of low-energy ($\sim $ meV) electrons and, due to the positron-electron interaction, a positron is attached to $\bar{\rm{H}}$ whereas an electron carries away the energy excess. We compare reaction (i) with two radiative attachment mechanisms. One of them is (ii) spontaneous radiative attachment, in which the ion is formed due to spontaneous emission of a photon by a positron incident on $\bar{\rm{H}}$. The other is (iii) two-center dileptonic attachment which takes place in the presence of a neighboring atom B and in which an incident positron is attached to $\bar{\rm{H}}$ via resonant transfer of energy to B with its subsequent relaxation through spontaneous radiative decay. It is shown that reaction (i) can strongly dominate over mechanisms (ii) and (iii) for positron energies below $0.1$ eV. It is also shown that at the energies considered reaction (i) will not be influenced by annihilation and that the reaction $\rm{e}^+ + \rm{e}^+ + \bar{\rm{H}} \rightarrow \rm{e}^+ + \bar{\rm{H}}^+$ has a vanishingly small rate compared to reaction (i).


title: AttendSeg: A Tiny Attention Condenser Neural Network for Semantic Segmentation on the Edge

abstract: In this study, we introduce \textbf{AttendSeg}, a low-precision, highly compact deep neural network tailored for on-device semantic segmentation. AttendSeg possesses a self-attention network architecture comprising of light-weight attention condensers for improved spatial-channel selective attention at a very low complexity. The unique macro-architecture and micro-architecture design properties of AttendSeg strike a strong balance between representational power and efficiency, achieved via a machine-driven design exploration strategy tailored specifically for the task at hand. Experimental results demonstrated that the proposed AttendSeg can achieve segmentation accuracy comparable to much larger deep neural networks with greater complexity while possessing a significantly lower architecture and computational complexity (requiring as much as >27x fewer MACs, >72x fewer parameters, and >288x lower weight memory requirements), making it well-suited for TinyML applications on the edge.


title: The Logic of Graph Neural Networks

abstract: Graph neural networks (GNNs) are deep learning architectures for machine learning problems on graphs. It has recently been shown that the expressiveness of GNNs can be characterised precisely by the combinatorial Weisfeiler-Leman algorithms and by finite variable counting logics. The correspondence has even led to new, higher-order GNNs corresponding to the WL algorithm in higher dimensions. The purpose of this paper is to explain these descriptive characterisations of GNNs.


title: Properness of the global-to-local map for algebraic groups with toric connected component and other finiteness properties

abstract: This is a companion paper to our previous work, where we proved the finiteness of the Tate-Shafarevich group for an arbitrary torus $T$ over a finitely generated field $K$ with respect to any divisorial set $V$ of places of $K$. Here, we extend this result to any $K$-group $D$ whose connected component is a torus (for the same $V$), and as a consequence obtain a finiteness result for the local-to-global conjugacy of maximal tori in reductive groups over finitely generated fields. Moreover, we prove the finiteness of the Tate-Shafarevich group for tori over function fields $K$ of normal varieties defined over base fields of characteristic zero and satisfying Serre's condition (F), in which case $V$ consists of the discrete valuations associated with the prime divisors on the variety (geometric places). In this situation, we also establish the finiteness of the number of $K$-isomorphism classes of algebraic $K$-tori of a given dimension having good reduction at all $v \in V$, and then discuss ways of extending this result to positive characteristic. Finally, we prove the finiteness of the number of isomorphism classes of forms of an absolutely almost simple group defined over the function field of a complex surface that have good reduction at all geometric places.


title: Revisiting freeze-in dark matter from renormalizable operators

abstract: In this conference paper we summarise the findings of a recent study, where the impact of the ultra-relativistic regime on the production of a feebly interacting dark matter particle is considered. As its population accumulates over the thermal history, we inspected thoroughly the temperature window $T \gg M$, which has been previously neglected in the context of dark matter models with renormalizable operators. At high temperatures, and for the model considered in our work, the production rate of the feebly interacting particle is driven by multiple soft scatterings, as well as $2 \to 2$ processes, that can give a large contribution to the dark matter energy density.


title: A weakening Compton hump and soft X-ray excess detected in the Seyfert-1 galaxy MCG-02-58-22

abstract: We have carried out an extensive X-ray spectral study of the bare Seyfert-1 galaxy MCG--02--58--22 to ascertain the nature of the X-ray reprocessing media, using observations from Suzaku (2009) and simultaneous observations from XMM-Newton and NuSTAR (2016) . The most significant results of our investigation are: 1. The primary X-ray emission from the corona is constant in these observations, both in terms of the power law slope ($\Gamma=1.80$) and luminosity ($L_{2-10 \rm keV}= 2.55\times 10^{44} $ erg/s). 2. The soft excess flux decreased by a factor of two in 2016, the Compton hump weakened/vanished in 2016, and the narrow FeK$\alpha$ emission line became marginally broad ($\sigma=0.35\pm0.08$ keV) and its flux doubled in 2016. 3. From physical model fits we find that the normalization of the narrow component of the FeK$\alpha$ line does not change in the two epochs, although the Compton hump vanishes in the same time span. Since the primary X-ray continuum does not change, we presume that any changes in the reprocessed emission must arise due to changes in the reprocessing media. Our primary conclusions are: A. The vanishing of the Compton hump in 2016 can probably be explained by a dynamic clumpy torus which is infalling/outflowing, or by a polar torus wind. B. The torus in this AGN possibly has two structures: an equatorial toroidal disk (producing the narrow FeK$\alpha$ emission) and a polar component (producing the variable Compton hump), C. The reduction of the soft-excess flux by half and increase in the FeK$\alpha$ flux by a factor of two in the same period cannot be adequately explained by ionized disk reflection model alone.


title: Cluster-driven Graph Federated Learning over Multiple Domains

abstract: Federated Learning (FL) deals with learning a central model (i.e. the server) in privacy-constrained scenarios, where data are stored on multiple devices (i.e. the clients). The central model has no direct access to the data, but only to the updates of the parameters computed locally by each client. This raises a problem, known as statistical heterogeneity, because the clients may have different data distributions (i.e. domains). This is only partly alleviated by clustering the clients. Clustering may reduce heterogeneity by identifying the domains, but it deprives each cluster model of the data and supervision of others. Here we propose a novel Cluster-driven Graph Federated Learning (FedCG). In FedCG, clustering serves to address statistical heterogeneity, while Graph Convolutional Networks (GCNs) enable sharing knowledge across them. FedCG: i) identifies the domains via an FL-compliant clustering and instantiates domain-specific modules (residual branches) for each domain; ii) connects the domain-specific modules through a GCN at training to learn the interactions among domains and share knowledge; and iii) learns to cluster unsupervised via teacher-student classifier-training iterations and to address novel unseen test domains via their domain soft-assignment scores. Thanks to the unique interplay of GCN over clusters, FedCG achieves the state-of-the-art on multiple FL benchmarks.


title: Scalable Semi-supervised Landmark Localization for X-ray Images using Few-shot Deep Adaptive Graph

abstract: Landmark localization plays an important role in medical image analysis. Learning based methods, including CNN and GCN, have demonstrated the state-of-the-art performance. However, most of these methods are fully-supervised and heavily rely on manual labeling of a large training dataset. In this paper, based on a fully-supervised graph-based method, DAG, we proposed a semi-supervised extension of it, termed few-shot DAG, \ie five-shot DAG. It first trains a DAG model on the labeled data and then fine-tunes the pre-trained model on the unlabeled data with a teacher-student SSL mechanism. In addition to the semi-supervised loss, we propose another loss using JS divergence to regulate the consistency of the intermediate feature maps. We extensively evaluated our method on pelvis, hand and chest landmark detection tasks. Our experiment results demonstrate consistent and significant improvements over previous methods.


title: Assimilating X- and S-band Radar Data for a Heavy Precipitation Event in Italy

abstract: During the night between 9 and 10 September 2017, multiple flash floods associated to a heavy-precipitation event affected the town of Livorno, located in Tuscany, Italy. Accumulated precipitation exceeding 200 mm in two hours, associated with a return period higher than 200 years, caused all the largest streams of the Livorno municipality to flood several areas of the town. We used the limited-area Weather Research and Forecasting (WRF) model, in a convection-permitting setup, to reconstruct the extreme event leading to the flash floods. We evaluated possible forecasting improvements emerging from the assimilation of local ground stations and X- and S-band radar data into the WRF, using the configuration operational at the meteorological center of Tuscany region (LaMMA) at the time of the event. Simulations were verified against weather station observations, through an innovative method aimed at disentangling the positioning and intensity errors of precipitation forecasts. By providing more accurate descriptions of the low-level flow and a better assessment of the atmospheric water vapour, the results demonstrate that assimilating radar data improved the quantitative precipitation forecasts.


title: Text2Video: Text-driven Talking-head Video Synthesis with Personalized Phoneme-Pose Dictionary

abstract: With the advance of deep learning technology, automatic video generation from audio or text has become an emerging and promising research topic. In this paper, we present a novel approach to synthesize video from the text. The method builds a phoneme-pose dictionary and trains a generative adversarial network (GAN) to generate video from interpolated phoneme poses. Compared to audio-driven video generation algorithms, our approach has a number of advantages: 1) It only needs a fraction of the training data used by an audio-driven approach; 2) It is more flexible and not subject to vulnerability due to speaker variation; 3) It significantly reduces the preprocessing, training and inference time. We perform extensive experiments to compare the proposed method with state-of-the-art talking face generation methods on a benchmark dataset and datasets of our own. The results demonstrate the effectiveness and superiority of our approach.


title: Thom's gradient conjecture for parabolic systems and the Yang-Mills flow

abstract: In [8], the gradient conjecture of R. Thom was proven for gradient flows of analytic functions on $\mathbb{R}^n$. This result means that the secant at a limit point converges, so that the flow cannot spiral forever. Once the trajectory becomes sufficiently close to a critical point, the flow becomes a simple scaling. Their paper is also significant in the number of auxiliary results they prove about the convergence behaviour of gradient flows, on the way to proving their main result. Many gradient flows of interest occur on infinite-dimensional function spaces. And of considerable research interest today are geometric flows with a gauge or diffeomorphism symmetry. We show that the corresponding gradient conjecture holds also for parabolic flows on Hilbert spaces, and for the extensively studied Yang-Mills flow.


title: Modelling Urban Dynamics with Multi-Modal Graph Convolutional Networks

abstract: Modelling the dynamics of urban venues is a challenging task as it is multifaceted in nature. Demand is a function of many complex and nonlinear features such as neighborhood composition, real-time events, and seasonality. Recent advances in Graph Convolutional Networks (GCNs) have had promising results as they build a graphical representation of a system and harness the potential of deep learning architectures. However, there has been limited work using GCNs in a temporal setting to model dynamic dependencies of the network. Further, within the context of urban environments, there has been no prior work using dynamic GCNs to support venue demand analysis and prediction. In this paper, we propose a novel deep learning framework which aims to better model the popularity and growth of urban venues. Using a longitudinal dataset from location technology platform Foursquare, we model individual venues and venue types across London and Paris. First, representing cities as connected networks of venues, we quantify their structure and note a strong community structure in these retail networks, an observation that highlights the interplay of cooperative and competitive forces that emerge in local ecosystems of retail businesses. Next, we present our deep learning architecture which integrates both spatial and topological features into a temporal model which predicts the demand of a venue at the subsequent time-step. Our experiments demonstrate that our model can learn spatio-temporal trends of venue demand and consistently outperform baseline models. Relative to state-of-the-art deep learning models, our model reduces the RSME by ~ 28% in London and ~ 13% in Paris. Our approach highlights the power of complex network measures and GCNs in building prediction models for urban environments. The model could have numerous applications within the retail sector to better model venue demand and growth.


title: Topological charge density wave in monolayer NbSe2

abstract: Despite the progress made in successful prediction of many classes of weakly-correlated topological materials, it is not clear how a topological order can emerge from interacting orders and whether or not a charge ordered topological state can exist in a two-dimensional (2D) material. Here, through first-principles modeling and analysis, we identify a 2$\times$2 charge density wave (CDW) phase in monolayer $2H$-NbSe$_2$ that harbors coexisting quantum spin Hall (QSH) insulator, topological crystalline insulator (TCI) and topological nodal line (TNL) semimetal states. The topology in monolayer NbSe$_2$ is driven by the formation of the CDW and the associated symmetry-breaking periodic lattice distortions and not via a pre-existing topology. Our finding of an emergent triple-topological state in monolayer $2H$-NbSe$_2$ will offer novel possibilities for exploring connections between different topologies and a unique materials platform for controllable CDW-induced topological states for potential applications in quantum electronics and spintronics and Majorana-based quantum computing.


title: A Novel Real-Time Energy Management Strategy for Grid-Supporting Microgrid: Enabling Flexible Trading Power

abstract: In recent years, there has been significant growth of distributed energy resources (DERs) penetration in the power grid. The stochastic and intermittent features of variable DERs such as roof top photovoltaic (PV) bring substantial uncertainties to the grid on the consumer end and weaken the grid reliability. In addition, the fact that numerous DERs are widespread in the grid makes it hard to monitor and manage DERs. To address this challenge, this paper proposes a novel real-time grid-supporting energy management (GSEM) strategy for grid-supporting microgrid (MG). This strategy can not only properly manage DERs in a MG but also enable DERs to provide grid services, which enables a MG to be grid-supporting via flexible trading power. The proposed GSEM strategy is based on a 2-step optimization which includes a routine economic dispatch (ED) step and an acceptable trading power range determination step. Numerical simulations demonstrate the performance of the proposed GSEM strategy which enables the grid operator to have a dispatch choice of trading power with MG and enhance the reliability and resilience of the main grid.


title: Optogenetic control of intracellular flows and cell migration: a comprehensive mathematical analysis with a minimal active gel model

abstract: The actin cytoskeleton of cells is in continuous motion due to both polymerization of new filaments and their contraction by myosin II molecular motors. Through adhesion to the substrate, such intracellular flow can be converted into cell migration. Recently, optogenetics has emerged as a new powerful experimental method to control both actin polymerization and myosin II contraction. While optogenetic control of polymerization can initiate cell migration by generating protrusion, it is less clear if and how optogenetic control of contraction can also affect cell migration. Here we analyze the latter situation using a minimal variant of active gel theory into which we include optogenetic activation as a spatiotemporally constrained perturbation. The model can describe the symmetrical flow of the actomyosin system observed in optogenetic experiments, but not the long-lasting polarization required for cell migration. Motile solutions become possible if cytoskeletal polymerization is included through the boundary conditions. Optogenetic activation of contraction can then initiate locomotion in a symmetrically spreading cell and strengthen motility in an asymmetrically polymerizing one. If designed appropriately, it can also arrest motility even for protrusive boundaries.


title: Metallic nanostructures as electronic billiards for nonlinear terahertz photonics

abstract: Optical properties of metallic nanoparticles are most often considered in terms of plasmons, the coupled states of light and quasi-free electrons. Here we predict that confinement of electrons inside the nanostructure leads to another, very different, type of resonance, which determines the optical properties in the frequency range significantly below the plasmonic resonance. We demonstrate that closely placed confinement-induces resonances typically join into a single composite "super-resonance" which produces giant nonlinearity at low frequencies. Our simulations show how such nonlinearities can be used for efficient down-conversion of optical pump to terahertz and mid-infrared frequencies in sub-micrometer devices based on nanoparticle composites. We discuss the interaction of these quantum-confinement-induced resonances with the conventional plasmonic ones, as well as the unusual quantum level statistics, adapting here the paradigms of the electronic billiard theory.


title: A monopole invariant for families of contact structures

abstract: We use monopole Floer homology to study the topology of the space of contact structures on a $3$-manifold which are isotopic to a fixed one. Our main tool is a generalization of the contact invariant to an invariant of families, and we establish a foundational result that describes its interaction with the module structure in the Floer theory. We apply this to study the existence of families of non-zero degree for several examples, such as Brieskorn homology spheres and surgeries on the Figure Eight knot. More generally, our techniques provide obstructions to the homological triviality of a natural fibration over the $2$-sphere with total space given by the space of contact structures.


title: Keypoint Transformer: Solving Joint Identification in Challenging Hands and Object Interactions for Accurate 3D Pose Estimation

abstract: We propose a robust and accurate method for estimating the 3D poses of two hands in close interaction from a single color image. This is a very challenging problem, as large occlusions and many confusions between the joints may happen. State-of-the-art methods solve this problem by regressing a heatmap for each joint, which requires solving two problems simultaneously: localizing the joints and recognizing them. In this work, we propose to separate these tasks by relying on a CNN to first localize joints as 2D keypoints, and on self-attention between the CNN features at these keypoints to associate them with the corresponding hand joint. The resulting architecture, which we call "Keypoint Transformer", is highly efficient as it achieves state-of-the-art performance with roughly half the number of model parameters on the InterHand2.6M dataset. We also show it can be easily extended to estimate the 3D pose of an object manipulated by one or two hands with high performance. Moreover, we created a new dataset of more than 75,000 images of two hands manipulating an object fully annotated in 3D and will make it publicly available.


title: Test Smell Detection Tools: A Systematic Mapping Study

abstract: Test smells are defined as sub-optimal design choices developers make when implementing test cases. Hence, similar to code smells, the research community has produced numerous test smell detection tools to investigate the impact of test smells on the quality and maintenance of test suites. However, little is known about the characteristics, type of smells, target language, and availability of these published tools. In this paper, we provide a detailed catalog of all known, peer-reviewed, test smell detection tools. We start with performing a comprehensive search of peer-reviewed scientific publications to construct a catalog of 22 tools. Then, we perform a comparative analysis to identify the smell types detected by each tool and other salient features that include programming language, testing framework support, detection strategy, and adoption, among others. From our findings, we discover tools that detect test smells in Java, Scala, Smalltalk, and C++ test suites, with Java support favored by most tools. These tools are available as command-line and IDE plugins, among others. Our analysis also shows that most tools overlap in detecting specific smell types, such as General Fixture. Further, we encounter four types of techniques these tools utilize to detect smells. We envision our study as a one-stop source for researchers and practitioners in determining the tool appropriate for their needs. Our findings also empower the community with information to guide future tool development.


title: Tuna: A Static Analysis Approach to Optimizing Deep Neural Networks

abstract: We introduce Tuna, a static analysis approach to optimizing deep neural network programs. The optimization of tensor operations such as convolutions and matrix multiplications is the key to improving the performance of deep neural networks. Many deep learning model optimization mechanisms today use dynamic analysis, which relies on experimental execution on a target device to build a data-driven cost model of the program. The reliance on dynamic profiling not only requires access to target hardware at compilation time but also incurs significant cost in machine resources. We introduce an approach that profiles the program by constructing features based on the target hardware characteristics in order. We use static analysis of the relative performance of tensor operations to optimize the deep learning program. Experiments show that our approach can achieve up to 11x performance compared to dynamic profiling based methods with the same compilation time.


title: The intersection theory of the moduli stack of vector bundles on $\mathbb{P}^1$

abstract: We determine the integral Chow and cohomology rings of the moduli stack $\mathcal{B}_{r,d}$ of rank $r$, degree $d$ vector bundles on $\mathbb{P}^1$ bundles. We first show that the rational Chow ring $A_{\mathbb{Q}}^*(\mathcal{B}_{r,d})$ is a free $\mathbb{Q}$-algebra on $2r+1$ generators. The isomorphism class of this ring happens to be independent of $d$. Then, we prove that the integral Chow ring $A^*(\mathcal{B}_{r,d})$ is torsion-free and provide multiplicative generators for $A^*(\mathcal{B}_{r,d})$ as a subring of $A_{\mathbb{Q}}^*(\mathcal{B}_{r,d})$. From this description, we see that $A^*(\mathcal{B}_{r,d})$ is not finitely generated as a $\mathbb{Z}$-algebra. Finally, the cohomology ring of $\mathcal{B}_{r,d}$ is isomorphic to its Chow ring.


title: AGORA: Avatars in Geography Optimized for Regression Analysis

abstract: While the accuracy of 3D human pose estimation from images has steadily improved on benchmark datasets, the best methods still fail in many real-world scenarios. This suggests that there is a domain gap between current datasets and common scenes containing people. To obtain ground-truth 3D pose, current datasets limit the complexity of clothing, environmental conditions, number of subjects, and occlusion. Moreover, current datasets evaluate sparse 3D joint locations corresponding to the major joints of the body, ignoring the hand pose and the face shape. To evaluate the current state-of-the-art methods on more challenging images, and to drive the field to address new problems, we introduce AGORA, a synthetic dataset with high realism and highly accurate ground truth. Here we use 4240 commercially-available, high-quality, textured human scans in diverse poses and natural clothing; this includes 257 scans of children. We create reference 3D poses and body shapes by fitting the SMPL-X body model (with face and hands) to the 3D scans, taking into account clothing. We create around 14K training and 3K test images by rendering between 5 and 15 people per image using either image-based lighting or rendered 3D environments, taking care to make the images physically plausible and photoreal. In total, AGORA consists of 173K individual person crops. We evaluate existing state-of-the-art methods for 3D human pose estimation on this dataset and find that most methods perform poorly on images of children. Hence, we extend the SMPL-X model to better capture the shape of children. Additionally, we fine-tune methods on AGORA and show improved performance on both AGORA and 3DPW, confirming the realism of the dataset. We provide all the registered 3D reference training data, rendered images, and a web-based evaluation site at https://agora.is.tue.mpg.de/.


title: What is Going on Inside Recurrent Meta Reinforcement Learning Agents?

abstract: Recurrent meta reinforcement learning (meta-RL) agents are agents that employ a recurrent neural network (RNN) for the purpose of "learning a learning algorithm". After being trained on a pre-specified task distribution, the learned weights of the agent's RNN are said to implement an efficient learning algorithm through their activity dynamics, which allows the agent to quickly solve new tasks sampled from the same distribution. However, due to the black-box nature of these agents, the way in which they work is not yet fully understood. In this study, we shed light on the internal working mechanisms of these agents by reformulating the meta-RL problem using the Partially Observable Markov Decision Process (POMDP) framework. We hypothesize that the learned activity dynamics is acting as belief states for such agents. Several illustrative experiments suggest that this hypothesis is true, and that recurrent meta-RL agents can be viewed as agents that learn to act optimally in partially observable environments consisting of multiple related tasks. This view helps in understanding their failure cases and some interesting model-based results reported in the literature.


title: Thermodynamic stability of hard sphere crystals in dimensions 3 through 10

abstract: Although much is known about the metastable liquid branch of hard spheres--from low dimension $d$ up to ${d\to\infty}$--its crystal counterpart remains largely unexplored for $d>3$. In particular, it is unclear whether the crystal phase is thermodynamically stable in high dimensions and thus whether a mean-field theory of crystals can ever be exact. In order to determine the stability range of hard sphere crystals, their equation of state is here estimated from numerical simulations, and fluid-crystal coexistence conditions are determined using a generalized Frenkel-Ladd scheme to compute absolute crystal free energies. The results show that the crystal phase is stable at least up to $d=10$, and the dimensional trends suggest that crystal stability likely persists well beyond that point.


title: Borel Edge Colorings for Finite Dimensional Groups

abstract: We study the potential of Borel asymptotic dimension, a tool introduced recently in arXiv:2009.06721, to help produce Borel edge colorings of Schreier graphs generated by Borel group actions. We find that it allows us to recover the classical bound of Vizing in certain cases, and also use it to exactly determine the Borel edge chromatic number for free actions of abelian groups.


title: Turing Completeness and Sid Meier's Civilization

abstract: We prove that three strategy video games from the Sid Meier's Civilization series: Sid Meier's Civilization: Beyond Earth, Sid Meier's Civilization V, and Sid Meier's Civilization VI, are Turing complete. We achieve this by building three universal Turing machines-one for each game-using only the elements present in the games, and using their internal rules and mechanics as the transition function. The existence of such machines imply that under the assumptions made, the games are undecidable. We show constructions of these machines within a running game session, and we provide a sample execution of an algorithm-the three-state Busy Beaver-with one of our machines.