title: Asymptotic expansions of eigenvalues by both the Crouzeix-Raviart and enriched Crouzeix-Raviart elements

abstract: Asymptotic expansions are derived for eigenvalues produced by both the Crouzeix-Raviart element and the enriched Crouzeix--Raviart element. The expansions are optimal in the sense that extrapolation eigenvalues based on them admit a fourth order convergence provided that exact eigenfunctions are smooth enough. The major challenge in establishing the expansions comes from the fact that the canonical interpolation of both nonconforming elements lacks a crucial superclose property, and the nonconformity of both elements. The main idea is to employ the relation between the lowest-order mixed Raviart--Thomas element and the two nonconforming elements, and consequently make use of the superclose property of the canonical interpolation of the lowest-order mixed Raviart--Thomas element. To overcome the difficulty caused by the nonconformity, the commuting property of the canonical interpolation operators of both nonconforming elements is further used, which turns the consistency error problem into an interpolation error problem. Then, a series of new results are obtained to show the final expansions.


title: Fast Decoder for Overloaded Uniquely Decodable Synchronous Optical CDMA

abstract: In this paper, we propose a fast decoder algorithm for uniquely decodable (errorless) code sets for overloaded synchronous optical code-division multiple-access (O-CDMA) systems. The proposed decoder is designed in a such a way that the users can uniquely recover the information bits with a very simple decoder, which uses only a few comparisons. Compared to maximum-likelihood (ML) decoder, which has a high computational complexity for even moderate code lengths, the proposed decoder has much lower computational complexity. Simulation results in terms of bit error rate (BER) demonstrate that the performance of the proposed decoder for a given BER requires only 1-2 dB higher signal-to-noise ratio (SNR) than the ML decoder.


title: Uniquely Decodable Ternary Codes for Synchronous CDMA Systems

abstract: In this paper, we consider the problem of recursively designing uniquely decodable ternary code sets for highly overloaded synchronous code-division multiple-access (CDMA) systems. The proposed code set achieves larger number of users $K < K_{max}^t$ than any other known state-of-the-art ternary codes that offer low-complexity decoders in the noisy transmission. Moreover, we propose a simple decoder that uses only a few comparisons and can allow the user to uniquely recover the information bits. Compared to maximum likelihood (ML) decoder, which has a high computational complexity for even moderate code length, the proposed decoder has much lower computational complexity. We also derived the computational complexity of the proposed recursive decoder analytically. Simulation results show that the performance of the proposed decoder is almost as good as the ML decoder.


title: clusterNOR: A NUMA-Optimized Clustering Framework

abstract: Clustering algorithms are iterative and have complex data access patterns that result in many small random memory accesses. The performance of parallel implementations suffer from synchronous barriers for each iteration and skewed workloads. We rethink the parallelization of clustering for modern non-uniform memory architectures (NUMA) to maximizes independent, asynchronous computation. We eliminate many barriers, reduce remote memory accesses, and maximize cache reuse. We implement the 'Clustering NUMA Optimized Routines' (clusterNOR) extensible parallel framework that provides algorithmic building blocks. The system is generic, we demonstrate nine modern clustering algorithms that have simple implementations. clusterNOR includes (i) in-memory, (ii) semi-external memory, and (iii) distributed memory execution, enabling computation for varying memory and hardware budgets. For algorithms that rely on Euclidean distance, clusterNOR defines an updated Elkan's triangle inequality pruning algorithm that uses asymptotically less memory so that it works on billion-point data sets. clusterNOR extends and expands the scope of the 'knor' library for k-means clustering by generalizing underlying principles, providing a uniform programming interface and expanding the scope to hierarchical and linear algebraic classes of algorithms. The compound effect of our optimizations is an order of magnitude improvement in speed over other state-of-the-art solutions, such as Spark's MLlib and Apple's Turi.


title: Multiple Scales in the Simulation of Ion Channels and Proteins

abstract: Computation of biological processes creates great promise for everyday life and great challenges for physical scientists. Simulations of molecular dynamics appeal to biologists as a natural extension of structural biology. Once biologists see a structure, they want to see it move. Molecular biology shows that a few atoms, often messenger ions like Ca$^{2+}$, control biological function on the scale of cells, sometimes organisms. Enormously concentrated ions (~20 M) in protein channels and enzymes can control important characteristics of living systems, just as highly concentrated ions near electrodes control important characteristics of electrochemical systems. The scale differences needed to simulate all the atoms of biological cells are $10^7$ in linear dimension, $10^{21}$ in three dimensions, $10^{9}$ in resolution, $10^{11}$ in time, and $10^{13}$ in particle number (to deal with concentrations of Ca$^{2+}$). $\mathbf{These}$ $\mathbf{scales}$ $\mathbf{must}$ $\mathbf{be}$ $\mathbf{dealt}$ $\mathbf{with}$ $\mathbf{simultaneously}$ if the simulation is to deal with most biological functions. We suggest a computational approach using explicit multiscale analysis instead of implicit simulation of all scales. Successful computation of ions concentrated in special places may be a significant step to understanding the defining characteristics of biological and electrochemical systems.


title: Joint Downlink Scheduling for File Placement and Delivery in Cache-Assisted Wireless Networks with Finite File Lifetime

abstract: In this paper, downlink transmission scheduling of popular files is optimized with the assistance of wireless cache nodes. Specifically, the requests of each file, which is further divided into a number of segments, are modeled as a Poisson point process within its finite lifetime. Two downlink transmission modes are considered: (1) the base station reactively multicasts the file segments to the requesting users and selected cache nodes; (2) the base station proactively multicasts some file segments to the selected cache nodes without requests. The cache nodes with decoded file segments can help to offload the traffic via other spectrum. Without the proactive multicast, we formulate the downlink transmission resource minimization as a dynamic programming problem with random stage number, which can be approximated via a finite-horizon Markov decision process (MDP) with fixed stage number. To address the prohibitively huge state space, we propose a low-complexity scheduling policy by linearly approximating the value functions of the MDP, where the bound on the approximation error is derived. Moreover, we propose a learning-based algorithm to evaluate the approximated value functions for unknown geographical distribution of requesting users. Finally, given the above reactive multicast policy, a proactive multicast policy is introduced to exploit the temporal diversity of shadowing effect. It is shown by simulation that the proposed low-complexity reactive multicast policy can significantly reduce the resource consumption at the base station, and the proactive multicast policy can further improve the performance.


title: Quantum Electronic Circuit Simulation of Generalized sine-Gordon Models

abstract: Investigation of strongly interacting, nonlinear quantum field theories (QFT-s) remains one of the outstanding challenges of modern physics. Here, we describe analog quantum simulators for nonlinear QFT-s using mesoscopic superconducting circuit lattices. Using the Josephson effect as the source of nonlinear interaction, we investigate generalizations of the quantum sine-Gordon model. In particular, we consider a two-field generalization, the double sine-Gordon model. In contrast to the sine-Gordon model, this model can be purely quantum integrable, when it does not admit a semi-classical description - a property that is generic to many multi-field QFT-s. The primary goal of this work is to investigate different thermodynamic properties of the double sine-Gordon model and propose experiments that can capture its subtle quantum integrability. First, we analytically compute the mass-spectrum and the ground state energy in the presence of an external `magnetic' field using Bethe ansatz and conformal perturbation theory. Second, we calculate the thermodynamic Bethe ansatz equations for the model and analyze its finite temperature properties. Third, we propose experiments to verify the theoretical predictions.


title: Post-Minkowskian solution for the small-deflection motion of test particles in Kerr-Newman spacetime

abstract: We derive the second-order post-Minkowskian solution for the small-deflection motion of test particles in the external field of the Kerr-Newman black hole via an iterative method. The analytical results are exhibited in the coordinate system constituted by the particles' initial velocity unit vector, impact vector, and their cross-product. The achieved formulas explicitly give the dependences of the particles' trajectory and velocity on the time once their initial position and velocity are specified, and can be applied not only to a massive particle, but also to a photon as well.


title: Gauge dependence and multiplicative renormalization of Yang-Mills theory with matter fields

abstract: In the paper, within the background field method, the renormalization and the gauge dependence is studied as for an SU(2) Yang-Mills theory with multiplets of spinor and scalar fields. By extending the quantum action of the BV-formalism with an extra fermion vector field and a constant fermion parameter, the multiplicative character of the renormalizability is proven. The renormalization of all the physical parameters of the theory under consideration is shown to be gauge-independent.


title: Optimality Conditions for Nonconvex Variational Problems with Integral Constraints in Banach Spaces

abstract: This paper exemplifies that saturation is an indispensable structure on measure spaces to obtain the existence and characterization of solutions to nonconvex variational problems with integral constraints in Banach spaces and their dual spaces. We provide a characterization of optimality via the maximum principle for the Hamiltonian and an existence result without the purification of relaxed controls, in which the Lyapunov convexity theorem in infinite dimensions under the saturation hypothesis on the underlying measure space plays a crucial role. We also demonstrate that the existence of solutions for certain class of primitives is necessary and sufficient for the measure space to be saturated.


title: On generalised p-valent non-bazilavec functions of order

abstract: In this paper, we introduce a subclass of p-valent non-bazilavec functions of order. Some subordination relations and the inequality properties of p-valent functions are discussed. The results presented here generalize and improve some known results.


title: Time-dependent generator coordinate method study of mass-asymmetric fission of actinides

abstract: Low-energy positive and negative parity collective states in the equilibrium minimum, and the dynamics of induced fission of actinide nuclei are investigated in a unified theoretical framework based on the generator coordinate method (GCM) with the Gaussian overlap approximation (GOA). The collective potential and inertia tensor, both at zero and finite temperature, are computed using the self-consistent multidimensionally constrained relativistic mean field (MDC-RMF) model, based on the energy density functional DD-PC1. Pairing correlations are treated in the BCS approximation with a separable pairing force of finite range. A collective quadrupole-octupole Hamiltonian characterized by zero-temperature axially-symmetric deformation energy surface and perturbative cranking inertia tensor, is used to model the low-lying excitation spectrum. The fission fragment charge distributions are obtained by propagating the initial collective states in time with the time-dependent GCM+GOA that uses the same quadrupole-octupole Hamiltonian, but with the collective potential and inertia tensor computed at finite temperature. The illustrative charge yields of $^{228}$Th, $^{234}$U, $^{240}$Pu, $^{244}$Cm, and $^{250}$Cf are in very good agreement with experiment, and the predicted mass asymmetry is consistent with the result of a recent microscopic study that has attributed the distribution (peak) of the heavier-fragment nuclei to shell-stabilized octupole deformations.


title: Ternary Representation of Stochastic Change and the Origin of Entropy and Its Fluctuations

abstract: A change in a stochastic system has three representations: Probabilistic, statistical, and informational: (i) is based on random variable $u(\omega)\to\tilde{u}(\omega)$; this induces (ii) the probability distributions $F_u(x)\to F_{\tilde{u}}(x)$, $x\in\mathbb{R}^n$; and (iii) a change in the probability measure $\mathbb{P}\to\tilde{\mathbb{P}}$ under the same observable $u(\omega)$. In the informational representation a change is quantified by the Radon-Nikodym derivative $\ln\left( \frac{ d \tilde{\mathbb{P}}}{ d\mathbb{P}}(\omega)\right)=-\ln\left(\frac{ d F_u}{ d F_{\tilde{u}}}(x)\right)$ when $x=u(\omega)$. Substituting a random variable into its own density function creates a fluctuating entropy whose expectation has been given by Shannon. Informational representation of a deterministic transformation on $\mathbb{R}^n$ reveals entropic and energetic terms, and the notions of configurational entropy of Boltzmann and Gibbs, and potential of mean force of Kirkwood. Mutual information arises for correlated $u(\omega)$ and $\tilde{u}(\omega)$; and a nonequilibrium thermodynamic entropy balance equation is identified.

categories: cond-mat.stat-mech cs.IT math-ph math.IT math.MP


title: Vector Gaussian CEO Problem Under Logarithmic Loss

abstract: In this paper, we study the vector Gaussian Chief Executive Officer (CEO) problem under logarithmic loss distortion measure. Specifically, $K \geq 2$ agents observe independently corrupted Gaussian noisy versions of a remote vector Gaussian source, and communicate independently with a decoder or CEO over rate-constrained noise-free links. The CEO wants to reconstruct the remote source to within some prescribed distortion level where the incurred distortion is measured under the logarithmic loss penalty criterion. We find an explicit characterization of the rate-distortion region of this model. For the proof of this result, we obtain an outer bound on the region of the vector Gaussian CEO problem by means of a technique that relies on the de Bruijn identity and the properties of Fisher information. The approach is similar to Ekrem-Ulukus outer bounding technique for the vector Gaussian CEO problem under quadratic distortion measure, for which it was there found generally non-tight; but it is shown here to yield a complete characterization of the region for the case of logarithmic loss measure. Also, we show that Gaussian test channels with time-sharing exhaust the Berger-Tung inner bound, which is optimal. Furthermore, we also show that the established result under logarithmic loss provides an outer bound for a quadratic vector Gaussian CEO problem with determinant constraint, for which we characterize the optimal rate-distortion region.


title: A comprehensive phase diagram for logistic populations in fluctuating environment

abstract: Population dynamics reflects an underlying birth-death process, where the rates associated with different events may depend on external environmental conditions and on the population density. A whole family of simple and popular deterministic models (like logistic growth) support a transcritical bifurcation point between an extinction phase and an active phase. Here we provide a comprehensive analysis of the phases of that system, taking into account both the endogenous demographic noise (random birth and death events) and the effect of environmental stochasticity that causes variations in birth and death rates. Three phases are identified: in the inactive phase the mean time to extinction $T$ is independent of the carrying capacity $N$, and scales logarithmically with the initial population size. In the power-law phase $T \sim N^q$ and the exponential phase $T \sim exp(\alpha N)$. All three phases and the transitions between them are studied in detail. The breakdown of the continuum approximation is identified inside the power-law phase, and the accompanied changes in decline modes are analyzed. The applicability of the emerging picture to the analysis of ecological timeseries and to the management of conservation efforts is briefly discussed.


title: Dependent choice as a termination principle

abstract: We introduce a new formulation of the axiom of dependent choice that can be viewed as an abstract termination principle, which generalises the recursive path orderings used to establish termination of rewrite systems. We consider several variants of our termination principle, and relate them to general termination theorems in the literature.


title: Laguerre-Angelesco multiple orthogonal polynomials on an $r$-star

abstract: We investigate the type I and type II multiple orthogonal polynomials on an $r$-star with weight function $|x|^{\beta}e^{-x^r}$, with $\beta>-1$. Each measure $\mu_j$, for $1\leq j \leq r$, is supported on the semi-infinite interval $[0,\omega^{j-1}\infty)$ with $\omega=e^{2\pi i/r}$. For both the type I and the type II polynomials we give explicit expressions, the coefficients in the recurrence relation, the differential equation and we obtain the asymptotic zero distribution of the polynomials on the diagonal. Also, we give the connection between the Laguerre-Angelesco polynomials and the Jacobi-Angelesco polynomials on an $r$-star.


title: Semiparametric CRB and Slepian-Bangs formulas for Complex Elliptically Symmetric Distributions

abstract: The main aim of this paper is to extend the semiparametric inference methodology, recently investigated for Real Elliptically Symmetric (RES) distributions, to Complex Elliptically Symmetric (CES) distributions. The generalization to the complex field is of fundamental importance in all practical applications that exploit the complex representation of the acquired data. Moreover, the CES distributions has been widely recognized as a valuable and general model to statistically describe the non-Gaussian behaviour of datasets originated from a wide variety of physical measurement processes. The paper is divided in two parts. In the first part, a closed form expression of the constrained Semiparametric Cram\'{e}r-Rao Bound (CSCRB) for the joint estimation of complex mean vector and complex scatter matrix of a set of CES-distributed random vectors is obtained by exploiting the so-called \textit{Wirtinger} or $\mathbb{C}\mathbb{R}$-\textit{calculus}. The second part deals with the derivation of the semiparametric version of the Slepian-Bangs formula in the context of the CES model. Specifically, the proposed Semiparametric Slepian-Bangs (SSB) formula provides us with a useful and ready-to-use expression of the Semiparametric Fisher Information Matrix (SFIM) for the estimation of a parameter vector parametrizing the complex mean and the complex scatter matrix of a CES-distributed vector in the presence of unknown, nuisance, density generator. Furthermore, we show how to exploit the derived SSB formula to obtain the semiparametric counterpart of the Stochastic CRB for Direction of Arrival (DOA) estimation under a random signal model assumption. Simulation results are also provided to clarify the theoretical findings and to demonstrate their usefulness in common array processing applications.


title: Conformal dimensions in the large charge sectors at the O(4) Wilson-Fisher fixed point

abstract: We study the O(4) Wilson-Fisher fixed point in 2+1 dimensions in fixed large-charge sectors identified by products of two spin-j representations $(j_L, j_R)$. Using effective field theory we derive a formula for the conformal dimensions $D(j_L, j_R)$ of the leading operator in terms of two constants, $c_{3/2}$ and $c_{1/2}$, when the sum $j_L + j_R$ is much larger than the difference $|j_L-j_R|$. We compute $D(j_L,j_R)$ when $j_L = j_R$ with Monte Carlo calculations in a discrete formulation of the O(4) lattice field theory, and show excellent agreement with the predicted formula and estimate $c_{3/2}=1.068(4)$ and $c_{1/2}=0.083(3)$.


title: A general approach to quenching and galactic conformity

abstract: We develop a conceptual framework and methodology to study the drivers of the quenching of galaxies, including the drivers of galactic conformity. The framework is centred on the statistic $\Delta$, which is defined as the difference between the observed star-formation state of a galaxy, and a prediction of its state based on an empirical model of quenching. In particular, this work uses the average quenching effects of stellar mass and local density to construct an empirical model of quenching. $\Delta$ is therefore a residual which reflects the effects of drivers of quenching not captured by stellar mass and local density, or so-called 'hidden variables'. Through a toy model, we explore how the statistical properties of $\Delta$ can be used to learn about the internal and external hidden variables which control the quenching of a sample of galaxies. We then apply this analysis to a sample of local galaxies and find that, after accounting for the average quenching effects of stellar mass and local density, $\Delta$ remains correlated out to separations of 3 Mpc. Furthermore, we find that external hidden variables remain important for driving the residual quenching of low-mass galaxies, while the residual quenching of high-mass galaxies is driven mostly by internal properties. These results, along with a similar analysis of a semi-analytical mock catalogue, suggest that it is necessary to consider halo-related properties as candidates for hidden variables. A preliminary halo-based analysis indicates that much of the correlation of $\Delta$ can be attributed to the physics associated with individual haloes.


title: Identification of the Long Stellar Stream of the Prototypical Massive Globular Cluster $\omega$ Centauri

abstract: Omega Centauri is the most massive globular cluster of the Milky Way, and possesses many peculiar properties. In particular, the cluster contains distinct multiple stellar populations, with a large spread in metallicity and different kinematics as a function of light elements abundance, implying that it formed over an extended period of time. This has lead to the suggestion that $\omega$ Cen is the remnant core of an accreted dwarf galaxy. If this scenario is correct, $\omega$ Cen should be tidally limited, and one should expect to find tidal debris spread along its orbit. Here we use N-body simulations to show that the recently-discovered `Fimbulthul' structure, identified in the second data release (DR2) of the Gaia mission, is the long sought-for tidal stream of $\omega$ Cen, extending up to $28\deg$ from the cluster. Follow-up high-resolution spectroscopy of 5 stars in the stream show that they are closely-grouped in velocity, and have metallicities consistent with having originated in that cluster. Guided by our N-body simulations, we devise a selection filter that we apply to Gaia data to also uncover the portion of the stream in the highly-contaminated and crowded field within $10\deg$ of $\omega$ Cen. Further modelling of the stream may help to constrain the dynamical history of the dwarf galaxy progenitor of this disrupting system and guide future searches for its remnant stars in the Milky Way.


title: Stringy Effects and the Role of the Singularity in Holographic Complexity

abstract: There has been considerable recent interest in holographic complexity. The two leading conjectures on this subject hold that the quantum complexity of the boundary thermofield double state should be dual to either the volume of the Einstein-Rosen bridge connecting the two sides (CV conjecture) or to the action of the Wheeler-de-Witt patch of the bulk spacetime (CA conjecture). Although these conjectures are frequently studied in the context of pure Einstein gravity, from the perspective of string theory it is also natural to consider models of gravity in which general relativity is perturbed by higher powers of the Riemann tensor, suppressed by powers of the string length; in a holographic context, these corrections are dual to corrections in inverse powers of the 't Hooft coupling. In this paper, we investigate the CV and CA conjectures in two stringy models of higher-curvature gravity. We find that the CV complexification rate remains well-behaved, but conversely that these corrections induce new divergences in the CA complexification rate that are absent in pure Einstein gravity. These divergences are intrinsically linked to the singularity, and appear to be generic in higher curvature theories. To the best of our knowledge, infinities originating at the singularity have not yet been observed elsewhere in the literature. We argue that these divergences imply that, in the CA picture, the complexification rate of the boundary theory is a nonanalytic function of the 't Hooft coupling.


title: Tidal Disruption Event Disks around Supermassive Black Holes: Disk Warp and Inclination Evolution

abstract: After the Tidal Disruption Event (TDE) of a star around a SuperMassive Black Hole (SMBH), the bound stellar debris rapidly forms an accretion disk. If the accretion disk is not aligned with the spinning SMBH's equatorial plane, the disk will be driven into Lense-Thirring precession around the SMBH's spin axis, possibly affecting the TDE's light curve. We carry out an eigenmode analysis of such a disk to understand how the disk's warp structure, precession, and inclination evolution are influenced by the disk's and SMBH's properties. We find an oscillatory warp may develop as a result of strong non-Keplarian motion near the SMBH. The global disk precession frequency matches the Lense-Thirring precession frequency of a rigid disk around a spinning black hole within a factor of a few when the disk's accretion rate is high, but deviates significantly at low accretion rates. Viscosity aligns the disk with the SMBH's equatorial plane over timescales of days to years, depending on the disk's accretion rate, viscosity, and SMBH's mass. We also examine the effect of fall-back material on the warp evolution of TDE disks, and find that the fall-back torque aligns the TDE disk with the SMBH's equatorial plane in a few to tens of days for the parameter space investigated. Our results place constraints on models of TDE emission which rely on the changing disk orientation with respect to the line of sight to explain observations.


title: Evolution of supernovae-driven superbubbles with conduction and cooling

abstract: We use spherically symmetric hydrodynamic simulations to study the dynamical evolution and internal structure of superbubbles (SBs) driven by clustered supernovae (SNe), focusing on the effects of thermal conduction and cooling in the interface between the hot bubble interior and cooled shell. Our simulations employ an effective diffusivity to account for turbulent mixing from nonlinear instabilities that are not captured in 1D. The conductive heat flux into the shell is balanced by a combination of cooling in the interface and evaporation of shell gas into the bubble interior. This evaporation increases the density, and decreases the temperature, of the SB interior by more than an order of magnitude relative to simulations without conduction. However, most of the energy conducted into the interface is immediately lost to cooling, reducing the evaporative mass flux required to balance conduction. As a result, the evaporation rate is typically a factor of $\sim$3-30 lower than predicted by the classical similarity solution of Weaver et al. (1977), which neglects cooling. Blast waves from the first $\sim$30 SNe remain supersonic in the SB interior because reduced evaporation from the interface lowers the mass they sweep up in the hot interior. Updating the Weaver solution to include cooling, we construct a new analytic model to predict the cooling rate, evaporation rate, and temporal evolution of SBs. The cooling rate, and hence the hot gas mass, momentum, and energy delivered by SBs, is set by the ambient ISM density and the efficiency of nonlinear mixing at the bubble/shell interface.


title: Passive galaxies in the early Universe: ALMA confirmation of z~3-5 candidates in the CANDELS GOODS-South field

abstract: The selection of red, passive galaxies in the early Universe is very challenging, especially beyond z~3, and it is crucial to constrain theoretical modelling of the processes responsible for their rapid assembly and abrupt shut-down of the star formation. We present here the analysis of ALMA archival observations of 26 out of the 30 galaxies in the deep CANDELS GOODS-South field that we identified as passive at z~3-5 by means of a careful and conservative SED fitting analysis. ALMA data are used to verify the potential contamination from red, dusty but star--forming sources that could enter the sample due to similar optical--nearIR colours. With the exception of a few marginal detections at <3sigma, we could only infer upper limits, both on individual sources and on the stacks. We translated the ALMA continuum measurements into corresponding SFRs, using a variety of far-IR models. These SFRs are compared with those predicted by secondary star-forming solutions of the optical fits and with the expected position of the star formation Main Sequence. This analysis confirms the passive nature of 9 candidates with high confidence and suggests that the classification is correct for at least half of the sample in a statistical sense. For the remaining sources the analysis remain inconclusive because available ALMA data is not deep enough, although the stacking results corroborate their passive nature. Despite the uncertainties, this work provides decisive support to the existence of passive galaxies beyond z~3.


title: Higgs Oscillations in time-resolved Optical Conductivity

abstract: Driving superconductors out of equilibrium is a promising avenue to study their equilibrium properties as well as to control the superconducting state. Non-equilibrium superconductors are often studied using time resolved optical conductivity measurements. Thus, the characterization of a superconducting state in a pump driven non-equilibrium state requires careful attention in the time domain. We calculate time-resolved optical conductivity of a pumped superconducting state using a non-equilibrium Keldysh approach. Through functional derivation, the optical conductivity is obtained with full vertex corrections and used to characterize the transient superconducting state. The transient optical conductivity shows the suppression of the superconducting order parameter in the time domain. The subsequent recovery of the order parameter exhibits oscillatory behavior that corresponds to the Higgs amplitude mode, and may be seen in several parts of the spectrum.


title: $\textit{Ab Initio}$ Mismatched Interface Theory of Graphene on $\alpha$-RuCl$_3$: Doping and Magnetism

abstract: Recent developments in twisted and lattice-mismatched bilayers have revealed a rich phase space of van der Waals systems and generated excitement. Among these systems are heterobilayers which can offer new opportunities to control van der Waals systems with strong in plane correlations such as spin-orbit-assisted Mott insulator $\alpha$-RuCl$_3$. Nevertheless, a theoretical $\textit{ab initio}$ framework for mismatched heterobilayers without even approximate periodicity is sorely lacking. We propose a general strategy for calculating electronic properties of such systems, mismatched interface theory (MINT), and apply it to the graphene/$\alpha$-RuCl$_{3}$ (GR/$\alpha$-RuCl$_{3}$) heterostructure. Using MINT, we predict uniform doping of 4.77$\%$ from graphene to $\alpha$-RuCl$_3$ and magnetic interactions in $\alpha$-RuCl$_3$ to shift the system toward the Kitaev point. Hence we demonstrate that MINT can guide targeted materialization of desired model systems and discuss recent experiments on GR/$\alpha$-RuCl$_{3}$ heterostructures.


title: Lattice gauge theories and string dynamics in Rydberg atom quantum simulators

abstract: Gauge theories are the cornerstone of our understanding of fundamental interactions among particles. Their properties are often probed in dynamical experiments, such as those performed at ion colliders and high-intensity laser facilities. Describing the evolution of these strongly coupled systems is a formidable challenge for classical computers, and represents one of the key open quests for quantum simulation approaches to particle physics phenomena. Here, we show how recent experiments done on Rydberg atom chains naturally realize the real-time dynamics of a lattice gauge theory at system sizes at the boundary of classical computational methods. We prove that the constrained Hamiltonian dynamics induced by strong Rydberg interactions maps exactly onto the one of a $U(1)$ lattice gauge theory. Building on this correspondence, we show that the recently observed anomalously slow dynamics corresponds to a string-inversion mechanism, reminiscent of the string-breaking typically observed in gauge theories. This underlies the generality of this slow dynamics, which we illustrate in the context of one-dimensional quantum electrodynamics on the lattice. Within the same platform, we propose a set of experiments that generically show long-lived oscillations, including the evolution of particle-antiparticle pairs. Our work shows that the state of the art for quantum simulation of lattice gauge theories is at 51 qubits, and connects the recently observed slow dynamics in atomic systems to archetypal phenomena in particle physics

categories: cond-mat.quant-gas cond-mat.stat-mech hep-lat quant-ph


title: 21 cm cosmology and spin temperature reduction via spin-dependent dark matter interactions

abstract: The EDGES low-band experiment has measured an absorption feature in the cosmic microwave background radiation (CMB), corresponding to the 21 cm hyperfine transition of hydrogen at redshift $z \simeq 17$, before the era of cosmic reionization. The amplitude of this absorption is connected to the ratio of singlet and triplet hyperfine states in the hydrogen gas, which can be parametrized by a spin temperature. The EDGES result suggests that the spin temperature is lower than the expected temperatures of both the CMB and the hydrogen gas. A variety of mechanisms have been proposed in order to explain this signal, for example by lowering the kinetic temperature of the hydrogen gas via dark matter interactions. We introduce an alternative mechanism, by which a sub-GeV dark matter particle with spin-dependent coupling to nucleons or electrons can cause hyperfine transitions and lower the spin temperature directly, with negligible reduction of the kinetic temperature of the hydrogen gas. We consider a model with an asymmetric dark matter fermion and a light pseudo-vector mediator. Significant reduction of the spin temperature by this simple model is excluded, most strongly by coupling constant bounds coming from stellar cooling. Perhaps an alternative dark sector model, subject to different sets of constraints, can lower the spin temperature by the same mechanism.


title: N = 5, 6, 7, 8: Nested hypothesis tests and truncation dependence of $|V_{cb}|$

abstract: The determination of $|V_{cb}|$ from exclusive semileptonic $B\to D^*\ell\nu$ decays is sensitive to the choice of form factor parametrization. Larger $|V_{cb}|$ values are obtained fitting the BGL versus the CLN parametrization to recent Belle measurements. For the BGL parametrization, published fits use different numbers of parameters. We propose a method based on nested hypothesis tests to determine the optimal number of BGL parameters to fit the data, and find that six parameters are optimal to fit the Belle tagged and unfolded measurement. We further explore the differences between fits that use different numbers of parameters. The fits which yield $|V_{cb}|$ values in better agreement with determinations from inclusive semileptonic decays, tend to exhibit tensions with heavy quark symmetry expectations. These have to be resolved before the determinations of $|V_{cb}|$ from exclusive and inclusive decays can be considered understood.


title: The MOSDEF Survey: Kinematic and Structural Evolution of Star-Forming Galaxies at $1.4\leq z\leq 3.8$

abstract: We present ionized gas kinematics for 681 galaxies at $z\sim 1.4-3.8$ from the MOSFIRE Deep Evolution Field survey, measured using models which account for random galaxy-slit misalignments together with structural parameters derived from CANDELS Hubble Space Telescope (HST) imaging. Kinematics and sizes are used to derive dynamical masses. Baryonic masses are estimated from stellar masses and inferred gas masses from dust-corrected star formation rates (SFRs) and the Kennicutt-Schmidt relation. We measure resolved rotation for 105 galaxies. For the remaining 576 galaxies we use models based on HST imaging structural parameters together with integrated velocity dispersions and baryonic masses to statistically constrain the median ratio of intrinsic ordered to disordered motion, $V/\sigma_{V,0}$. We find that $V/\sigma_{V,0}$ increases with increasing stellar mass and decreasing specific SFR (sSFR). These trends may reflect marginal disk stability, where systems with higher gas fractions have thicker disks. For galaxies with detected rotation we assess trends between their kinematics and mass, sSFR, and baryon surface density ($\Sigma_{\mathrm{bar},e}$). Intrinsic dispersion correlates most with $\Sigma_{\mathrm{bar},e}$ and velocity correlates most with mass. By comparing dynamical and baryonic masses, we find that galaxies at $z\sim 1.4-3.8$ are baryon dominated within their effective radii ($R_E$), with Mdyn/Mbaryon increasing over time. The inferred baryon fractions within $R_E$, $f_{\mathrm{bar}}$, decrease over time, even at fixed mass, size, or surface density. At fixed redshift, $f_{\mathrm{bar}}$ does not appear to vary with stellar mass but increases with decreasing $R_E$ and increasing $\Sigma_{\mathrm{bar},e}$. For galaxies at $z\geq2$, the median inferred baryon fractions generally exceed 100%. We discuss possible explanations and future avenues to resolve this tension.


title: SILVERRUSH. VIII. Spectroscopic Identifications of Early Large Scale Structures with Protoclusters Over 200 Mpc at z~6-7: Strong Associations of Dusty Star-Forming Galaxies

abstract: We have obtained three-dimensional maps of the universe in $\sim200\times200\times80$ comoving Mpc$^3$ (cMpc$^3$) volumes each at $z=5.7$ and $6.6$ based on a spectroscopic sample of 179 galaxies that achieves $\gtrsim80$\% completeness down to the Ly$\alpha$ luminosity of $\log(L_{\rm Ly\alpha}/[\mathrm{erg\ s^{-1}}])=43.0$, based on our Keck and Gemini observations and the literature. The maps reveal filamentary large-scale structures and two remarkable overdensities made out of at least 44 and 12 galaxies at $z=5.692$ (z57OD) and $z=6.585$ (z66OD), respectively, making z66OD the most distant overdensity spectroscopically confirmed to date with $>10$ spectroscopically confirmed galaxies. We compare spatial distributions of submillimeter galaxies at $z\simeq 4-6$ with our $z=5.7$ galaxies forming the large-scale structures, and detect a $99.97\%$ signal of cross correlation, indicative of a clear coincidence of dusty star-forming galaxy and dust unobscured galaxy formation at this early epoch. The galaxies in z57OD and z66OD are actively forming stars with star formation rates (SFRs) $\gtrsim5$ times higher than the main sequence, and particularly the SFR density in z57OD is 10 times higher than the cosmic average at the redshift (a.k.a. the Madau-Lilly plot). Comparisons with numerical simulations suggest that z57OD and z66OD are protoclusters that are progenitors of the present-day clusters with halo masses of $\sim10^{14}\ \mathrm{M_\odot}$.


title: S-PASS/ATCA: a window on the magnetic universe in the southern hemisphere

abstract: We present S-PASS/ATCA, the first wide-band radio polarimetry survey of compact sources in the southern sky. We describe how we selected targets for observations with the Australia Telescope Compact Array (ATCA) in the 16 cm band (1.3 - 3.1 GHz), our observing and calibration strategy, how we analysed the data, and how we tested the quality of the data. The data are made publicly available. The survey contains on average one source per five square degrees and has an angular resolution at 2.2 GHz of ~ 2'x1'. Sources with |RM|s > 150 rad m-2 are seen towards the Galactic plane and bright Hii regions, but are rare elsewhere on the sky. Sightlines that are separated by up to 3' show very similar RMs. Based on this observation, we argue that the Galactic foreground is the dominant contributor to RM, confirming previous results, and that the sources must have very simple distributions of Faraday-rotating and synchrotron-emitting media. Many sources that emit at a single RM have a spectral index in linear polarization that is (very) different from the spectral index in Stokes I. Analysing ratios of flux densities Q/I and U/I (to correct for spectral index effects) then leads to erroneous results. About 80 per cent of sightlines in our survey are dominated by emission at only one RM. Therefore, RMs that were determined previously from narrow-band observations at these frequencies are still safe to use.


title: Metastability in Quadratic Gravity

abstract: Quadratic gravity is a UV completion of general relativity, which also solves the hierarchy problem. The presence of 4 derivatives implies via the Ostrogradsky theorem that the $classical$ Hamiltonian is unbounded from below. Here we solve this issue by showing that the relevant solutions are not unstable but metastable. When the energies are much below a threshold (that is high enough to describe the whole cosmology) runaways are avoided. Remarkably, the chaotic inflation theory of initial conditions ensures that such bound is satisfied and we work out testable implications for the early universe. The possible instability occurring when the bound is violated not only is compatible with cosmology but would also explain why we live in a homogeneous and isotropic universe.


title: Modern stellar spectroscopy caveats

abstract: Multiple codes are available to derive atmospheric parameters and individual chemical abundances from high-resolution spectra of AFGKM stars. Almost all spectroscopists have their own preferences regarding which code and method to use. But the intrinsic differences between codes and methods lead to complex systematics that depend on multiple variables such as the selected spectral regions and the radiative transfer code used. I expand iSpec, a popular open-source spectroscopic tool, to support the most well-known radiative transfer codes and assess their similarities and biases when using multiple set-ups based on the equivalent-width method and the synthetic spectral-fitting technique (interpolating from a pre-computed grid of spectra or synthesizing with interpolated model atmospheres). This work shows that systematic differences on atmospheric parameters and abundances between most of the codes can be reduced when using the same method and executing a careful spectral feature selection. However, it may not be possible to ignore the remaining differences, depending on the particular case and the required precision. Regarding methods, equivalent-width-based and spectrum-fitting analyses exhibit large differences that are caused by their intrinsic differences, which is significant given the popularity of these two methods. The results help to identify the key caveats of modern spectroscopy that all scientists should be aware of before trusting their own results or being tempted to combine atmospheric parameters and abundances from the literature.


title: Can intrinsic alignments of elongated low-mass galaxies be used to map the cosmic web at high redshift?

abstract: Hubble Space Telescope observations show that low-mass ($M_*=10^9-10^{10}M_{\odot}$) galaxies at high redshift ($z=1.0-2.5$) tend to be elongated (prolate) rather than disky (oblate) or spheroidal. This is explained in zoom-in cosmological hydrodynamical simulations by the fact that these galaxies are forming in cosmic web filaments where accretion happens preferentially along the direction of elongation. We ask whether the elongated morphology of these galaxies allows them to be used as effective tracers of cosmic web filaments at high redshift via their intrinsic alignments. Using mock lightcones and spectroscopically-confirmed galaxy pairs from the CANDELS survey, we test two types of alignments: (1) between the galaxy major axis and the direction to nearby galaxies of any mass, and (2) between the major axes of nearby pairs of low-mass, likely prolate, galaxies. The mock lightcones predict strong signals in 3D real space, 3D redshift space, and 2D projected redshift space for both types of alignments (assuming prolate galaxy orientations are the same as those of their host prolate halos), but we do not detect significant alignment signals in CANDELS observations. However, we show that spectroscopic redshifts have been obtained for only a small fraction of highly elongated galaxies, and accounting for spectroscopic incompleteness and redshift errors significantly degrades the 2D mock signal. This may partly explain the alignment discrepancy and highlights one of several avenues for future work.


title: Magnetic fields and extraordinarily bright radio emission in the X-ray faint galaxy group MRC 0116+111

abstract: MRC 0116+111 is a nearby ($z=0.132$) poor galaxy group, which was previously known for exhibiting a bright diffuse radio emission with no central point-like source, presumably related to a past activity of the active galactic nucleus (AGN) in its central cD galaxy. Here, we present an X-ray observation ($\sim$30 ks of cleaned XMM-Newton/EPIC exposure) of this system, allowing us for the first time a detailed comparison between the thermal and non-thermal components of its intragroup medium (IGrM). Remarkably, we find that the radio-to-X-ray luminosity ratio is among the highest ever observed for a diffuse extragalactic source so far, while the extent of the observed radio emission is about three times larger than its observed soft X-ray emission. Although powerful AGN activity may have disturbed the dynamics of the thermal IGrM in the form of turbulence, possibly re-energising part of the relativistic electron population, the gas properties lie within the $L_X$-$T$ scaling relation established previously for other groups. The upper limit we find for the non-thermal inverse-Compton X-ray emission translates into a surprisingly high lower limit for the volume-averaged magnetic field of the group ($\ge$4.3 $\mu$G). Finally, we discuss some interesting properties of a distant ($z \simeq 0.525$) galaxy cluster serendipitously discovered in our EPIC field of view.


title: Tensors for tending to tensions in $ \tau $ decays

abstract: We propose a manifestly gauge invariant effective tensor operator that can account for the $ CP $ asymmetry anomaly in $ \tau $ decays, contrary to the claim made in literature. Additionally, this operator can also help in resolving the long-standing discrepancy in the value of $ V_{us} $ extracted from inclusive $ \tau $ decays. By construction, the operator evades bounds from neutron electric dipole moment, while keeping the extraction of $ V_{us} $ from exclusive $ \tau $ decays unaffected. We explicitly provide a renormalizable model of flavor symmetries that yields the desired effective tensor operator.


title: Ruling out 3 keV warm dark matter using 21 cm-EDGES data

abstract: Weakly interacting cold dark matter (CDM) particles, which are otherwise extremely successful in explaining various cosmological observations, exhibit a number of problems on small scales. One possible way of solving these problems is to invoke (so-called) warm dark matter (WDM) particles with masses $m_x \sim$ keV. Since the formation of structure is delayed in such WDM models, it is natural to expect that they can be constrained using observations related to the first stars, e.g., the 21 cm signal from cosmic dawn. In this work, we use a detailed galaxy formation model, Delphi, to calculate the 21 cm signal at high-redshifts and compare this to the recent EDGES observations. We find that while CDM and 5 keV WDM models can obtain a 21 cm signal within the observed redshift range, reproducing the amplitude of the observations requires the introduction of an excess radio background. On the other hand, WDM models with $m_x \leq 3$ keV can be ruled out since they are unable to match either the redshift range or the amplitude of the EDGES signal, irrespective of the parameters used. Comparable to values obtained from the low-redshift Lyman Alpha forest, our results extend constraints on the WDM particle to an era inaccessible by any other means; additional forthcoming 21 cm data from the era of cosmic dawn will be crucial in refining such constraints.


title: Geometric responses of the Pfaffian state

abstract: We define and study the Pfaffian state on Riemann surfaces with arbitrary metrics and an inhomogeneous magnetic field and derive its universal transport coefficients. Following a path integral approach, we compute the generating functional which encodes the linear response of the system to a variation of the background metric and the magnetic field and use it to compute the leading and sub-leading corrections to the charge density in a large-$N$ expansion. We also present the first derivation of gravitational anomaly contribution at O$(k^6)$ to the static structure factor for the Pfaffian state in the long wavelength limit.


title: Extremely Low Molecular Gas Content in a Compact, Quiescent Galaxy at z=1.522

abstract: One of the greatest challenges to theoretical models of massive galaxy formation is the regulation of star formation at early times. The relative roles of molecular gas expulsion, depletion, and stabilization are uncertain as direct observational constraints of the gas reservoirs in quenched or quenching galaxies at high redshift are scant. We present ALMA observations of CO(2-1) in a massive ($\log M_{\star}/M_{\odot}=11.2$), recently quenched galaxy at $z=1.522$. The optical spectrum of this object shows strong Balmer absorption lines, which implies that star formation ceased $\sim$0.8 Gyr ago. We do not detect CO(2-1) line emission, placing an upper limit on the molecular $\mathrm{H_2}$ gas mass of 1.1$\times10^{10}\,M_{\odot}$. The implied gas fraction is $f_{\rm{H_2}}{\equiv M_{H_2}/M_{\star}}<7\%$, $\sim10\times$ lower than typical star forming galaxies at similar stellar masses at this redshift, among the lowest gas fractions at this specific star formation rate at any epoch, and the most stringent constraint on the gas contents of a $z>1$ passive galaxy to date. Our observations show that the depletion of $\mathrm{H_2}$ from the interstellar medium of quenched objects can be both efficient and fairly complete, in contrast to recent claims of significant cold gas in recently quenched galaxies. We explore the variation in observed gas fractions in high-$z$ galaxies and show that galaxies with high stellar surface density have low $f_{\rm{H_2}}$, similar to recent correlations between specific star formation rate and stellar surface density.


title: Dynamic Maintenance of the Lower Envelope of Pseudo-Lines

abstract: We present a fully dynamic data structure for the maintenance of lower envelopes of pseudo-lines. The structure has $O(\log^2 n)$ update time and $O(\log n)$ vertical ray shooting query time. To achieve this performance, we devise a new algorithm for finding the intersection between two lower envelopes of pseudo-lines in $O(\log n)$ time, using \emph{tentative} binary search; the lower envelopes are special in that at $x=-\infty$ any pseudo-line contributing to the first envelope lies below every pseudo-line contributing to the second envelope. The structure requires $O(n)$ storage space.


title: Anomaly Detection for an E-commerce Pricing System

abstract: Online retailers execute a very large number of price updates when compared to brick-and-mortar stores. Even a few mis-priced items can have a significant business impact and result in a loss of customer trust. Early detection of anomalies in an automated real-time fashion is an important part of such a pricing system. In this paper, we describe unsupervised and supervised anomaly detection approaches we developed and deployed for a large-scale online pricing system at Walmart. Our system detects anomalies both in batch and real-time streaming settings, and the items flagged are reviewed and actioned based on priority and business impact. We found that having the right architecture design was critical to facilitate model performance at scale, and business impact and speed were important factors influencing model selection, parameter choice, and prioritization in a production environment for a large-scale system. We conducted analyses on the performance of various approaches on a test set using real-world retail data and fully deployed our approach into production. We found that our approach was able to detect the most important anomalies with high precision.


title: 3d Abelian Gauge Theories at the Boundary

abstract: A four-dimensional Abelian gauge field can be coupled to a 3d CFT with a $U(1)$ symmetry living on a boundary. This coupling gives rise to a continuous family of boundary conformal field theories (BCFT) parametrized by the gauge coupling $\tau$ in the upper-half plane and by the choice of the CFT in the decoupling limit $\tau \to \infty$. Upon performing an $SL(2,\mathbb{Z})$ transformation in the bulk and going to the decoupling limit in the new frame, one finds a different 3d CFT on the boundary, related to the original one by Witten's $SL(2, \mathbb{Z})$ action [1]. In particular the cusps on the real $\tau$ axis correspond to the 3d gauging of the original CFT. We study general properties of this BCFT. We show how to express bulk one and two-point functions, and the hemisphere free-energy, in terms of the two-point functions of the boundary electric and magnetic currents. We then consider the case in which the 3d CFT is one Dirac fermion. Thanks to 3d dualities this BCFT is mapped to itself by a bulk $S$ transformation, and it also admits a decoupling limit which gives the $O(2)$ model on the boundary. We compute scaling dimensions of boundary operators and the hemisphere free-energy up to two loops. Using an $S$-duality improved ansatz, we extrapolate the perturbative results and find good approximations to the observables of the $O(2)$ model. We also consider examples with other theories on the boundary, such as large-$N_f$ Dirac fermions --for which the extrapolation to strong coupling can be done exactly order-by-order in $1/N_f$-- and a free complex scalar.


title: Critical spin-$\frac{1}{2}$ tetramer compound CuInVO$_5$: Exploring the vicinity of two multimerized singlet states

abstract: Using the density-matrix renormalization group technique, we study a one-dimensional spin-$\frac{1}{2}$ Heisenberg chain consisting of coupled tetramers as an effective spin model for copper vanadate CuInVO$_5$. We obtain the ground-state phase diagram as a function of intra-tetramer and inter-tetramer exchange interactions, exhibiting two multimerized valence-bond-solid (VBS) phases : one is characterized by the formation of tetramer-singlet units; the other by the formation of dimer-singlet pairs. We show that the finite spin gaps in both the VBS phases smoothly vanish at the phase boundary: a second order phase transition defining a quantum critical point (QCP). The phase boundary is also captured by the fact that the central charge is unity at the phase boundary and zero otherwise in the thermodynamic limit. We further demonstrate that the experimental magnetization curve (which starts increasing with zero or tiny field) can be reasonably explained only by assuming the exchange parameters of CuInVO$_5$ to be very close to the phase boundary. Thus, we argue that CuInVO$_5$ may be a first example material which at ambient pressure stands near a QCP between two VBS phases. By varying the balance of exchange interactions with pressure, a transition from N\'eel to either of the VBS phases could be observed.


title: More than just a wrinkle: A wave-like pattern in radial velocity vs. angular momentum from Gaia Data

abstract: We present a newly found wave--like pattern in mean Galactocentric radial velocity U_g vs. guiding centre radius R_g or angular momentum L_z of stars in the RV subsample of Gaia DR2. The short-wave pattern has a wavelength of order 1.2 kpc in R_g or 285 kpc km/s in L_z. The pattern shows only weak changes with Galactocentric radius R and little change in strength in particular with the vertical energy E_z of the stars or respectively the distance to the Galactic plane |z|. The pattern is to first order symmetric around the plane, i.e. has no significant odd terms in z. There is weak phase shift with the pattern moving towards slightly lower L_z (i.e. trailing) with |z| and E_z. However, we observe a highly significant phase shift in Galactic azimuth phi, which is different for different peaks. The peak around L_z ~ 2100 kpc km/s only shows a weak change with galactic azimuth, while the rest of the pattern shows a clearly detectable shift of d L_z /d phi = (200 +/- 22) kpc km/s/rad. If we consider all peaks to belong to the same pattern, this would suggest a wavenumber m = 4. We further find that the wave-like pattern in U_g appears to be related to the W vs. L_z pattern detected in Gaia DR1. A comparison of the U_g-L_z wave pattern with changes of U_g vs. R, which have been previously discussed, suggests that the latter can be understood as just the U_g-L_z pattern washed out by blurring (i.e. orbital excursions around their guiding-centre) of disc stars.


title: Infinities within Finitely Supported Structures

abstract: The theory of finitely supported algebraic structures is related to Pitts theory of nominal sets (by equipping finitely supported sets with finitely supported internal algebraic laws). It represents a reformulation of Zermelo Fraenkel set theory obtained by requiring every set theoretical construction to be finitely supported according to a certain action of a group of permutations of some basic elements named atoms. Its main purpose is to let us characterize infinite algebraic structures, defined involving atoms, only by analyzing their finite supports. The first goal of this paper is to define and study different kinds of infinities and the notion of `cardinality' in the framework of finitely supported structures. We present several properties of infinite cardinalities. Some of these properties are extended from the non-atomic Zermelo Fraenkel set theory into the world of atomic objects with finite support, while other properties are specific to finitely supported structures. We also compare alternative definitions of `infinite finitely supported set', and we finally provide a characterization of finitely supported countable sets.


title: Darboux-Jouanolou Integrability for Arbitrary Fields

abstract: We prove a Darboux-Jouanolou type theorem on the algebraic integrability of differential 1-forms over arbitrary fields.


title: Candidates for non-rectangular constrained Willmore minimizers

abstract: For every $\;b>1\;$ fixed, we explicitly construct $1$-dimensional families of embedded constrained Willmore tori parametrized by their conformal class $\;(a,b)$\; with $\; a \sim_b 0^+\;$ deforming the homogenous torus \;$f^b$ of conformal class \;$(0,b).$ The variational vector field at $f^b$ is hereby given by a non-trivial zero direction of a penalized Willmore stability operator which we show to coincide with a double point of the corresponding spectral curve. Further, we characterize for $b \sim 1$, $b \neq 1$ and $a \sim_b 0^+$ the family obtained by opening the "smallest" double point on the spectral curve which is heuristically the direction with the smallest increase of Willmore energy at $f^b$. Indeed we show in \cite{HelNdi1} that these candidates minimize the Willmore energy in their respective conformal class for $b \sim 1$, $b \neq 1$ and $a \sim_b 0^+.$


title: Compact graphings

abstract: Graphings are special bounded-degree graphs on probability spaces, representing limits of graph sequences that are convergent in a local or local-global sense. We describe a procedure for turning the underlying space into a compact metric space, where the edge set is closed and nearby points have nearby graph neighborhoods.


title: The State of Sparsity in Deep Neural Networks

abstract: We rigorously evaluate three state-of-the-art techniques for inducing sparsity in deep neural networks on two large-scale learning tasks: Transformer trained on WMT 2014 English-to-German, and ResNet-50 trained on ImageNet. Across thousands of experiments, we demonstrate that complex techniques (Molchanov et al., 2017; Louizos et al., 2017b) shown to yield high compression rates on smaller datasets perform inconsistently, and that simple magnitude pruning approaches achieve comparable or better results. Additionally, we replicate the experiments performed by (Frankle & Carbin, 2018) and (Liu et al., 2018) at scale and show that unstructured sparse architectures learned through pruning cannot be trained from scratch to the same test set performance as a model trained with joint sparsification and optimization. Together, these results highlight the need for large-scale benchmarks in the field of model compression. We open-source our code, top performing model checkpoints, and results of all hyperparameter configurations to establish rigorous baselines for future work on compression and sparsification.


title: Magic Numbers for the Photoelectron Anisotropy in Li-Doped Dimethyl Ether Clusters

abstract: Photoelectron velocity map imaging of Li(CH$_3$OCH$_3$)$_n$ clusters (1 $\leq$ n $\leq$ 175) is used to search for magic numbers related to the photoelectron anisotropy. Comparison with density functional calculations reveals magic numbers at n=4, 5, and 6, resulting from the symmetric charge distribution with high s-character of the highest occupied molecular orbital. Since each of these three cluster sizes correspond to the completion of a first coordination shell, they can be considered as 'isomeric motifs of the first coordination shell'. Differences in the photoelectron anisotropy, the vertical ionization energies and the enthalpies of vaporization between Li(CH$_3$OCH$_3$)$_n$ and Na(CH$_3$OCH$_3$)$_n$ can be rationalized in terms of differences in their solvation shells, atomic ionization energies, polarizabilities, metal-oxygen bonds, ligand-ligand interactions, and by cooperative effects.


title: Privacy-Preserving Average Consensus via State Decomposition

abstract: Average consensus underpins key functionalities of distributed systems ranging from distributed information fusion, decision-making, distributed optimization, to load balancing and decentralized control. Existing distributed average consensus algorithms require each node to exchange and disclose state information to its neighbors, which is undesirable in cases where the state is private or contains sensitive information. In this paper, we propose a novel approach that avoids disclosing individual state information in average consensus by letting each node decompose its state into two sub-states. For each node, one of the two sub-states involves in computation and inter-node interactions as if it were the original state, while the other sub-state interacts only with the first sub-state of the same node, being completely invisible to other nodes. The initial values of the two sub-states are chosen randomly but with their mean fixed to the initial value of the original state, which is key to guarantee convergence to the desired consensus value. In direct contrast to differential-privacy based privacy-preserving average-consensus approaches which enable privacy by compromising accuracy in the consensus value, the proposed approach can guarantee convergence to the \emph{exact} desired value without any error. Not only is the proposed approach able to prevent the disclosure of a node's initial state to honest-but-curious neighbors, it can also provide protection against inference by external eavesdroppers able to wiretap communication links. Numerical simulations demonstrate the effectiveness of the approach and its advantages over state-of-the-art counterparts.


title: Chandra-HETGS Characterization of an Outflowing Wind in the accreting millisecond pulsar IGR J17591-2342

abstract: IGR J17591-2342 is an accreting millisecond X-ray pulsar discovered in 2018 August in scans of the Galactic bulge and center by the INTEGRAL X-ray and gamma-ray observatory. It exhibited an unusual outburst profile with multiple peaks in the X-ray, as observed by several X-ray satellites over three months. Here we present observations of this source performed in the X-ray/gamma-ray and near infrared domains, and focus on a simultaneous observation performed with the Chandra-High Energy Transmission Gratings Spectrometer (HETGS) and the Neutron Star Interior Composition Explorer (NICER). HETGS provides high resolution spectra of the Si-edge region, which yield clues as to the source's distance and reveal evidence (at 99.999% significance) of an outflow with a velocity of $\mathrm{2\,800\,km\,s^{-1}}$. We demonstrate good agreement between the NICER and HETGS continua, provided that one properly accounts for the differing manners in which these instruments view the dust scattering halo in the source's foreground. Unusually, we find a possible set of Ca lines in the HETGS spectra (with significances ranging from 97.0% to 99.7%). We hypothesize that IGR J17591-2342 is a neutron star low mass X-ray binary at a distance of the Galactic bulge or beyond that may have formed from the collapse of a white dwarf system in a rare, calcium rich Type Ib supernova explosion.


title: A Nested K-Nearest Prognostic Approach for Microwave Precipitation Phase Detection over Snow Cover

abstract: Monitoring changes of precipitation phase from space is important for understanding the mass balance of Earth's cryosphere in a changing climate. This paper examines a Bayesian nearest neighbor approach for prognostic detection of precipitation and its phase using passive microwave observations from the Global Precipitation Measurement (GPM) satellite. The method uses the weighted Euclidean distance metric to search through an a priori database populated with coincident GPM radiometer and radar observations as well as ancillary snow-cover data. The algorithm performance is evaluated using data from GPM official precipitation products, ground-based radars, and high-fidelity simulations from the Weather Research and Forecasting model. Using the presented approach, we demonstrate that the hit probability of terrestrial precipitation detection can reach to 0.80, while the probability of false alarm remains below 0.11. The algorithm demonstrates higher skill in detecting snowfall than rainfall, on average by 10 percent. In particular, the probability of precipitation detection and its solid phase increases by 11 and 8 percent, over dry snow cover, when compared to other surface types. The main reason is found to be related to the ability of the algorithm in capturing the signal of increased liquid water content in snowy clouds over radiometrically cold snow-covered surfaces


title: Effect of pressure on the order-disorder phase transitions of $B$-cations in $AB'_{1/2}B''_{1/2}$O$_3$ perovskites

abstract: Perovskite-like oxides $AB'_{1/2}B''_{1/2}$O$_3$ may experience different ordering degrees of $B$-cations, that can be varied by suitable synthesis conditions or post-synthesis treatment. In this work the earlier proposed statistical model of order-disorder phase transitions of $B$-cations is extended to account for the effect of pressure. Depending on composition, pressure is found to either increase or decrease the order-disorder phase transition temperature. The change of transition temperature due to pressure in many cases reaches several hundreds of kelvin at pressures accessible in laboratory, which may significantly change the atomic ordering degree. The work is intended to help determining how pressure influences the degree of atomic ordering and stimulate research of the effect of pressure on atomic order-disorder phase transitions in perovskites.


title: Time-reversal Symmetry in Antenna Theory

abstract: Here, I discuss some implications of the time-reversal invariance of lossless radiating systems. I highlight that time-reversal symmetry provides a rather intuitive explanation for the conditions of polarization and impedance matching of a receiving antenna. Furthermore, I describe a solution to generate the time-reversed electromagnetic field through the illumination of a matched receiving antenna with a Herglotz wave.


title: Tile-Based Joint Caching and Delivery of $360^o$ Videos in Heterogeneous Networks

abstract: The recent surge of applications involving the use of $360^o$ video challenges mobile networks infrastructure, as $360^o$ video files are of significant size, and current delivery and edge caching architectures are unable to guarantee their timely delivery. In this paper, we investigate the problem of joint collaborative content-aware caching and delivery of $360^o$ videos in a video on demand setting. The proposed scheme takes advantage of $360^o$ video encoding in multiple tiles and layers to make fine-grained decisions regarding which tiles to cache in each Small Base Station (SBS), and where to deliver them from to the end users, as users may reside in the coverage area of multiple SBSs. This permits to cache the most popular tiles in the SBSs, while the remaining tiles may be obtained through the backhaul. In addition, we explicitly consider the time delivery constraints to ensure continuous video playback. To reduce the computational complexity of the optimization problem, we simplify it by introducing a fairness constraint. This allows us to split the original problem into subproblems corresponding to Groups of Pictures (GoP). Each of the subproblems is then solved with the method of Lagrange partial relaxation. Finally, we evaluate the performance of the proposed method for various system parameters and compare it with schemes that do not consider $360^o$ video encoding into multiple tiles and quality layers, as well as with two variants of the proposed method one that considers layered encoding and SBSs collaboration and another that uses tiles encoding but with no SBSs collaboration. The results showcase the benefits coming from caching and delivery decisions on per tile basis and the importance of exploiting SBSs collaboration.


title: Utility Mining Across Multi-Dimensional Sequences

abstract: Knowledge extraction from database is the fundamental task in database and data mining community, which has been applied to a wide range of real-world applications and situations. Different from the support-based mining models, the utility-oriented mining framework integrates the utility theory to provide more informative and useful patterns. Time-dependent sequence data is commonly seen in real life. Sequence data has been widely utilized in many applications, such as analyzing sequential user behavior on the Web, influence maximization, route planning, and targeted marketing. Unfortunately, all the existing algorithms lose sight of the fact that the processed data not only contain rich features (e.g., occur quantity, risk, profit, etc.), but also may be associated with multi-dimensional auxiliary information, e.g., transaction sequence can be associated with purchaser profile information. In this paper, we first formulate the problem of utility mining across multi-dimensional sequences, and propose a novel framework named MDUS to extract Multi-Dimensional Utility-oriented Sequential useful patterns. Two algorithms respectively named MDUS_EM and MDUS_SD are presented to address the formulated problem. The former algorithm is based on database transformation, and the later one performs pattern joins and a searching method to identify desired patterns across multi-dimensional sequences. Extensive experiments are carried on five real-life datasets and one synthetic dataset to show that the proposed algorithms can effectively and efficiently discover the useful knowledge from multi-dimensional sequential databases. Moreover, the MDUS framework can provide better insight, and it is more adaptable to real-life situations than the current existing models.


title: Duality between density function and value function with applications in constrained optimal control and Markov Decision Process

abstract: Density function describes the density of states in the state space of a dynamic system or a Markov Decision Process (MDP). Its evolution follows the Liouville equation. We show that the density function is the dual of the value function in the optimal control problems. By utilizing the duality, constraints that are hard to enforce in the primal value function optimization such as safety constraints in robot navigation, traffic capacity constraints in traffic flow control can be posed on the density function, and the constrained optimal control problem can be solved with a primal-dual algorithm that alternates between the primal and dual optimization. The primal optimization follows the standard optimal control algorithm with a perturbation term generated by the density constraint, and the dual problem solves the Liouville equation to get the density function under a fixed control strategy and updates the perturbation term. Moreover, the proposed method can be extended to the case with exogenous disturbance, and guarantee robust safety under the worst-case disturbance. We apply the proposed method to three examples, a robot navigation problem and a traffic control problem in sim, and a segway control problem with experiment.


title: Beyond Frequency: Utility Mining with Varied Item-Specific Minimum Utility

abstract: Utility-oriented mining which integrates utility theory and data mining is a useful tool for understanding economic consumer behavior. Traditional algorithms for mining high-utility patterns (HUPs) applies a single/uniform minimum high-utility threshold (minutil) to obtain the set of HUPs, but in some real-life circumstances, some specific products may bring lower utilities compared with others, but their profit may offer some vital information. However, if minutil is set high, the patterns with low minutil are missed; if minutil is set low, the number of patterns becomes unmanageable. In this paper, an efficient one-phase utility-oriented pattern mining algorithm, called HIMU, is proposed for mining HUPs with varied item-specific minimum utility. A novel tree structure called a multiple item utility set-enumeration tree (MIU-tree), the global sorted and the conditional downward closure properties are introduced in HIMU. In addition, we extended the compact utility-list structure to keep the necessary information, and thus this one-phase HIMU model greatly reduces the computational costs and memory requirements. Moreover, two pruning strategies are then extended to enhance the performance. We conducted extensive experiments in several synthetic and real-world datasets; the results indicates that the designed one-phase HIMU algorithm can address the "rare item problem" and has better performance than the state-of-the-art algorithms in terms of runtime, memory usage, and scalability. Furthermore, the enhanced algorithms outperform the non-optimized HIMU approach.


title: Stellar Parameters for Pulsating B Star Candidates in the Kepler Field

abstract: The field of asteroseismology has enjoyed a large swath of data coming from recent missions (e.g., CoRoT, Kepler, K2). This wealth of new data has allowed the field to expand beyond the previous limitation of a few extremely bright and evolved stars. Asteroseismology relies on accurate surface measurements for boundary conditions, but the predicted physical parameters in the Kepler Input Catalog (KIC) are unreliable for hot stars. We present stellar parameters of 25 candidate pulsating B star candidates in the Kepler field. We use blue optical spectra to measure the projected rotational velocity (V sini), effective temperature (Teff), and surface gravity (logg) using TLUSTY and Kurucz ATLAS9 model atmospheres. We find a large discrepancy between our spectroscopically derived parameters and those derived from photometry in the KIC and Gaia Data Release 2 (DR2). Using spectral energy distributions, we also measure the radii of these stars and later calculate the luminosities and masses. We find the extinctions (AV ) of these stars to be consistent with zero, which is expected for stars of high Galactic latitude.


title: Utility-driven Data Analytics on Uncertain Data

abstract: Modern Internet of Things (IoT) applications generate massive amounts of data, much of it in the form of objects/items of readings, events, and log entries. Specifically, most of the objects in these IoT data contain rich embedded information (e.g., frequency and uncertainty) and different level of importance (e.g., unit utility of items, interestingness, cost, risk, or weight). Many existing approaches in data mining and analytics have limitations such as only the binary attribute is considered within a transaction, as well as all the objects/items having equal weights or importance. To solve these drawbacks, a novel utility-driven data analytics algorithm named HUPNU is presented, to extract High-Utility patterns by considering both Positive and Negative unit utilities from Uncertain data. The qualified high-utility patterns can be effectively discovered for risk prediction, manufacturing management, decision-making, among others. By using the developed vertical Probability-Utility list with the Positive-and-Negative utilities structure, as well as several effective pruning strategies. Experiments showed that the developed HUPNU approach performed great in mining the qualified patterns efficiently and effectively.


title: A Unified Access Control Model for Calibration Traceability in Safety-Critical IoT

abstract: Calibration plays an important role in ensuring device accuracy within safety-critical IoT deployments. The process of calibration involves a number of parties which must collaborate to support calibration. Calibration checks often precede safety-critical operations such as preparing a robot for surgery, requiring inter-party interaction to complete checks. At the same time, the parties involved in a calibration ecosystem may share an adversarial relationship with a subset of other parties. For instance, a surgical robot manufacturer may wish to hide the identities of third-parties from the operator (hospital), in order to maintain confidentiality of business relationships around its robot products. Thus, information flows that reveal who-calibrates-for-whom need to be managed to ensure confidentiality. Similarly, information about what-is-being-calibrated and how-often-it-is-calibrated may compromise operational confidentiality. For example, calibration-verification of connected medical devices may reveal the timing of surgical procedures and compromise PII when combined with other meta information. We show that the challenge of managing information flows between the parties involved in calibration cannot be met by any of the classical access control models, as any one of them or a simple conjunction of a subset such as the lattice model fails to meet the desired access control requirements. We demonstrate that a new unified access control model that combines BIBA, BLP, and Chinese Walls holds rich promise. We study the case for unification, system properties, and develop an XACML-based authorisation framework which enforces the unified model. Upon evaluation against a baseline simple conjunction of the three models individually, our unified model outperforms this, demonstrating it is capable of solving the novel access control challenges thrown up by digital-calibration supply chains.


title: On a model for internal waves in rotating fluids

abstract: In this paper a rotating two-fluid model for the propagation of internal waves is introduced. The model can be derived from a rotating-fluid problem by including gravity effects or from a nonrotating one by adding rotational forces in the dispersion balance. The physical regime of validation is discussed and mathematical properties of the new system, concerning well-posedness, conservation laws and existence of solitary-wave solutions, are analyzed.


title: PolyDroid: Learning-Driven Specialization of Mobile Applications

abstract: The increasing prevalence of mobile apps has led to a proliferation of resource usage scenarios in which they are deployed. This motivates the need to specialize mobile apps based on diverse and varying preferences of users. We propose a system, called PolyDroid, for automatically specializing mobile apps based on user preferences. The app developer provides a number of candidate configurations, called reductions, that limit the resource usage of the original app. The key challenge underlying PolyDroid concerns learning the quality of user experience under different reductions. We propose an active learning technique that requires few user experiments to determine the optimal reduction for a given resource usage specification. On a benchmark suite comprising 20 diverse, open-source Android apps, we demonstrate that on average, PolyDroid obtains more than 85% of the optimal performance using just two user experiments.


title: A game-theoretic analysis of DoS attacks on driverless vehicles

abstract: Driverless vehicles are expected to form the foundation of future connected transport infrastructure. A key weakness of connected vehicles is their vulnerability to physical-proximity attacks such as sensor saturation attacks. It is natural to study whether such attacks can be used to disrupt swarms of autonomous vehicles used as part of a large fleet providing taxi and courier delivery services. In this paper, we start to examine the strategic options available to attackers and defenders (autonomous-fleet operators) in such conflicts. We find that attackers have the upper hand in most cases and are able to carry out crippling denial-of-service attacks on fleets, by leveraging the inherent deficiencies of road networks identified by techniques from graph analysis. Experimental results on ten cities using real-world courier traces shows that most cities will require upgraded infrastructure to defend driverless vehicles against denial-of-service attacks. We found several hidden costs that impact equipment designers and operators of driverless vehicles - not least, that road-networks need to be redesigned for robustness against attacks thus raising some fundamental questions about the benefits.


title: MOJAVE. XVII. Jet Kinematics and Parent Population Properties of Relativistically Beamed Radio-Loud Blazars

abstract: We present results from a parsec-scale jet kinematics study of 409 bright radio-loud AGNs based on 15 GHz VLBA data obtained between 1994 August 31 and 2016 December 26 as part of the 2cm VLBA survey and MOJAVE programs. We tracked 1744 individual bright features in 382 jets over at least five epochs. A majority (59%) of the best-sampled jet features showed evidence of accelerated motion at the >3sigma level. Although most features within a jet typically have speeds within ~40% of a characteristic median value, we identified 55 features in 42 jets that had unusually slow pattern speeds, nearly all of which lie within 4 pc (100 pc de-projected) of the core feature. Our results combined with other speeds from the literature indicate a strong correlation between apparent jet speed and synchrotron peak frequency, with the highest jet speeds being found only in low-peaked AGNs. Using Monte Carlo simulations, we find best fit parent population parameters for a complete sample of 174 quasars above 1.5 Jy at 15 GHz. Acceptable fits are found with a jet population that has a simple unbeamed power law luminosity function incorporating pure luminosity evolution, and a power law Lorentz factor distribution ranging from 1.25 to 50 with slope -1.4 +- 0.2. The parent jets of the brightest radio quasars have a space density of 261 +- 19 Gpc$^{-3}$ and unbeamed 15 GHz luminosities above ~$10^{24.5}$ W/Hz, consistent with FR II class radio galaxies.


title: Verification of Non-Linear Specifications for Neural Networks

abstract: Prior work on neural network verification has focused on specifications that are linear functions of the output of the network, e.g., invariance of the classifier output under adversarial perturbations of the input. In this paper, we extend verification algorithms to be able to certify richer properties of neural networks. To do this we introduce the class of convex-relaxable specifications, which constitute nonlinear specifications that can be verified using a convex relaxation. We show that a number of important properties of interest can be modeled within this class, including conservation of energy in a learned dynamics model of a physical system; semantic consistency of a classifier's output labels under adversarial perturbations and bounding errors in a system that predicts the summation of handwritten digits. Our experimental evaluation shows that our method is able to effectively verify these specifications. Moreover, our evaluation exposes the failure modes in models which cannot be verified to satisfy these specifications. Thus, emphasizing the importance of training models not just to fit training data but also to be consistent with specifications.


title: Simulating the structural diversity of carbon clusters across the planar to fullerene transition

abstract: Together with the second generation REBO reactive potential, replica-exchange molecular dynamics simulations coupled with systematic quenching were used to generate a broad set of isomers for neutral C$_n$ clusters with $n=24$, 42, and 60. All the minima were sorted in energy and analyzed using order parameters to monitor the evolution of their structural and chemical properties. The structural diversity measured by the fluctuations in these various indicators is found to increase significantly with energy, the number of carbon rings, especially 6-membered, exhibiting a monotonic decrease in favor of low-coordinated chains and branched structures. A systematic statistical analysis between the various parameters indicates that energetic stability is mainly driven by the amount of sp$^2$ hybridization, more than any geometrical parameter. The astrophysical relevance of these results is discussed in the light of the recent detection of C$_{60}$ and C$_{60}^+$ fullerenes in the interstellar medium.


title: Compound atom-ion Josephson junction: Effects of finite temperature and ion motion

abstract: We consider a degenerate Bose gas confined in a double-well potential in interaction with a trapped ion in one dimension and investigate the impact of two relevant sources of imperfections in experiments on the system dynamics: ion motion and thermal excitations of the bosonic ensemble. Particularly, their influence on the entanglement generation between the spin state of the moving ion and the atomic ensemble is analyzed. We find that the detrimental effects of the ion motion on the entanglement protocol can be mitigated by properly choosing the double-well parameters as well as timings of the protocol. Furthermore, thermal excitations of the bosons affect significantly the system's tunneling and self-trapping dynamics at moderate temperatures; i.e., thermal occupation of a few double-well quanta reduces the protocol performance by about 10%. Hence, we conclude that finite temperature is the main source of decoherence in such junctions and we demonstrate the possibility to entangle the condensate motion with the ion vibrational state.


title: Stochastic Modelling of the Flow-Front Evolution in a Vacuum Assisted Resin Transfer Moulding Process with Missing Data

abstract: The real-time fault monitoring and control of the Vacuum Assisted Resin Transfer Moulding (VARTM) production process requires a knowledge of the position of the epoxy flow-front inside the mould. Therefore, a fast and accurate flow-front tracking system capable of combining the underlying physics of the flow-front dynamics with the measured data is highly prized. Stochastic differential equations (SDEs) based grey-box models deliver a good trade-off between high fidelity models and data-driven black-box models for designing such a flow-front position tracking system. In this paper, we propose a simple yet novel coupled SDE based spatiotemporal grey-box model of the flow-front dynamics in case of missing sensor information. The proposed method uses the finite difference approximation of the spatial domain of the flow-front for estimating spatial flow pattern of the epoxy. Furthermore, to accommodate for the missing sensor data, we utilise a modified version of the continuous-discrete extended Kalman filter (CD-EKF) based estimation framework for SDEs that takes into consideration the effective dimension of the measurement space during the identification process. The performance of the method is evaluated for various common sensor faults scenarios at different levels of measurement noise and sampling rates.


title: Unsupervised learning-based long-term superpixel tracking

abstract: Finding correspondences between structural entities decomposing images is of high interest for computer vision applications. In particular, we analyze how to accurately track superpixels - visual primitives generated by aggregating adjacent pixels sharing similar characteristics - over extended time periods relying on unsupervised learning and temporal integration. A two-step video processing pipeline dedicated to long-term superpixel tracking is proposed. First, unsupervised learning-based superpixel matching provides correspondences between consecutive and distant frames using new context-rich features extended from greyscale to multi-channel and forward-backward consistency contraints. Resulting elementary matches are then combined along multi-step paths running through the whole sequence with various inter-frame distances. This produces a large set of candidate long-term superpixel pairings upon which majority voting is performed. Video object tracking experiments demonstrate the accuracy of our elementary estimator against state-of-the-art methods and proves the ability of multi-step integration to provide accurate long-term superpixel matches compared to usual direct and sequential integration.


title: On Reachability Problems for Low-Dimensional Matrix Semigroups

abstract: We consider the Membership and the Half-Space Reachability problems for matrices in dimensions two and three. Our first main result is that the Membership Problem is decidable for finitely generated sub-semigroups of the Heisenberg group over rational numbers. Furthermore, we prove two decidability results for the Half-Space Reachability Problem. Namely, we show that this problem is decidable for sub-semigroups of $\mathrm{GL}(2,\mathbb{Z})$ and of the Heisenberg group over rational numbers.


title: Stochastic Particle Production in a de Sitter Background

abstract: We explore non-adiabatic particle production in a de Sitter universe for a scalar spectator field, by allowing the effective mass $m^2(t)$ of this field and the cosmic time interval between non-adiabatic events to vary stochastically. Two main scenarios are considered depending on the (non-stochastic) mass $M$ of the spectator field: the conformal case with $M^2=2H^2$, and the case of a massless field. We make use of the transfer matrix formalism to parametrize the evolution of the system in terms of the "occupation number", and two phases associated with the transfer matrix; these are used to construct the evolution of the spectator field. Assuming short-time interactions approximated by Dirac-delta functions, we numerically track the change of these parameters and the field in all regimes: sub- and super-horizon with weak and strong scattering. In all cases a log-normally distributed field amplitude is observed, and the logarithm of the field amplitude approximately satisfies the properties of a Wiener process outside the horizon. We derive a Fokker-Planck equation for the evolution of the transfer matrix parameters, which allows us to calculate analytically non-trivial distributions and moments in the weak-scattering limit.


title: MisGAN: Learning from Incomplete Data with Generative Adversarial Networks

abstract: Generative adversarial networks (GANs) have been shown to provide an effective way to model complex distributions and have obtained impressive results on various challenging tasks. However, typical GANs require fully-observed data during training. In this paper, we present a GAN-based framework for learning from complex, high-dimensional incomplete data. The proposed framework learns a complete data generator along with a mask generator that models the missing data distribution. We further demonstrate how to impute missing data by equipping our framework with an adversarially trained imputer. We evaluate the proposed framework using a series of experiments with several types of missing data processes under the missing completely at random assumption.


title: Convolutional Neural Networks for Automatic Meter Reading

abstract: In this paper, we tackle Automatic Meter Reading (AMR) by leveraging the high capability of Convolutional Neural Networks (CNNs). We design a two-stage approach that employs the Fast-YOLO object detector for counter detection and evaluates three different CNN-based approaches for counter recognition. In the AMR literature, most datasets are not available to the research community since the images belong to a service company. In this sense, we introduce a new public dataset, called UFPR-AMR dataset, with 2,000 fully and manually annotated images. This dataset is, to the best of our knowledge, three times larger than the largest public dataset found in the literature and contains a well-defined evaluation protocol to assist the development and evaluation of AMR methods. Furthermore, we propose the use of a data augmentation technique to generate a balanced training set with many more examples to train the CNN models for counter recognition. In the proposed dataset, impressive results were obtained and a detailed speed/accuracy trade-off evaluation of each model was performed. In a public dataset, state-of-the-art results were achieved using less than 200 images for training.


title: Short-term Road Traffic Prediction based on Deep Cluster at Large-scale Networks

abstract: Short-term road traffic prediction (STTP) is one of the most important modules in Intelligent Transportation Systems (ITS). However, network-level STTP still remains challenging due to the difficulties both in modeling the diverse traffic patterns and tacking high-dimensional time series with low latency. Therefore, a framework combining with a deep clustering (DeepCluster) module is developed for STTP at largescale networks in this paper. The DeepCluster module is proposed to supervise the representation learning in a visualized way from the large unlabeled dataset. More specifically, to fully exploit the traffic periodicity, the raw series is first split into a number of sub-series for triplets generation. The convolutional neural networks (CNNs) with triplet loss are utilized to extract the features of shape by transferring the series into visual images. The shape-based representations are then used for road segments clustering. Thereafter, motivated by the fact that the road segments in a group have similar patterns, a model sharing strategy is further proposed to build recurrent NNs (RNNs)-based predictions through a group-based model (GM), instead of individual-based model (IM) in which one model are built for one road exclusively. Our framework can not only significantly reduce the number of models and cost, but also increase the number of training data and the diversity of samples. In the end, we evaluate the proposed framework over the network of Liuli Bridge in Beijing. Experimental results show that the DeepCluster can effectively cluster the road segments and GM can achieve comparable performance against the IM with less number of models.


title: Analyzing Data Selection Techniques with Tools from the Theory of Information Losses

abstract: In this paper, we present and illustrate some new tools for rigorously analyzing training data selection methods. These tools focus on the information theoretic losses that occur when sampling data. We use this framework to prove that two methods, Facility Location Selection and Transductive Experimental Design, reduce these losses. These are meant to act as generalizable theoretical examples of applying the field of Information Theoretic Deep Learning Theory to the fields of data selection and active learning. Both analyses yield insight into their respective methods and increase their interpretability. In the case of Transductive Experimental Design, the provided analysis greatly increases the method's scope as well.