title: Electron-positron pair production in oscillating electric fields with double-pulse structure

abstract: Electron-positron pair production from vacuum in a strong electric field oscillating in time is studied. The field is assumed to consist of two consecutive pulses, with variable time delay in between. Pair production probabilities are obtained by numerical solution of the corresponding time-dependent Dirac equation. Considering symmetric field configurations comprising two identical pulses, we show that the pulse distance strongly affects the momentum spectra of produced particles and even the total production probability. Conversely, in a highly asymmetric situation when the field contains low-intensity prepulse and high-intensity main pulse, we identify a range of field parameters where the prepulse despite its weakness can leave visible traces in the particle spectra.


title: Semiclassical limit to the Vlasov equation with inverse power law potentials

abstract: We consider mixed quasi-free states describing $N$ fermions in the mean-field limit. In this regime, the time evolution is governed by the nonlinear Hartree equation. In the large $N$ limit, we study the convergence towards the classical Vlasov equation. Under integrability and regularity assumptions on the initial state, we prove strong convergence in trace and Hilbert-Schmidt norm and provide explicit bounds on the convergence rate for a class of singular potentials of the form $V(x)=|x|^{-\alpha}$, for $\alpha\in(0,1/2)$.


title: Investigation of Relevant Distribution System Representation with DG for Voltage Stability Margin Assessment

abstract: This paper emphasizes the importance of including the unbalance in the distribution networks for stability studies in power systems. The paper aims to: discuss the various simulation methods for power system analysis; highlight the need for modeling unbalanced distribution system for accurate load margin assessment; demonstrate the influence of net-load unbalance (NLU) on voltage stability margin (VSM). We also share a T&D co-simulation interface with commercial power system solvers. The distribution system is evolving rapidly with high proliferation of distributed energy resources (DERs); these are not guaranteed to proliferate in a balanced manner and uncertainty resulting due to these DERs is well acknowledged. These uncertainties cannot be captured or visualized without representing the distribution system in detail along with the transmission system. We show the impact of proliferation of DERs in various 3-phase proportions on voltage stability margin through T&D co-simulation. We also study the impact of volt/VAR control on voltage stability margin. This analysis is only possible by representing the distribution system in detail through T&D co-simulation. Higher percentage of net-load unbalance (NLU) in distribution system aggravates the stability margin of the distribution system which can further negatively impact the overall stability margin of the system.


title: Joint effect of advection, diffusion, and capillary attraction on the spatial structure of particle depositions from evaporating droplets

abstract: A simplified model is developed, which allows us to perform computer simulations of the particles transport in an evaporating droplet with a contact line pinned to a hydrophilic substrate. The model accounts for advection in the droplet, diffusion and particle attraction by capillary forces. On the basis of the simulations, we analyze the physical mechanisms of forming of individual chains of particles inside the annular sediment. The parameters chosen correspond to the experiments of Park and Moon [Langmuir 22, 3506 (2006)], where an annular deposition and snakelike chains of colloid particles have been identified. The annular sediment is formed by advection and diffusion transport. We find that the close packing of the particles in the sediment is possible if the evaporation time exceeds the characteristic time of diffusion-based ordering. We show that the chains are formed by the end of the evaporation process due to capillary attraction of particles in the region bounded by a fixing radius, where the local droplet height is comparable to the particle size. At the beginning of the evaporation, the annular deposition is shown to expand faster than the fixing radius moves. However, by the end of the process, the fixing radius rapidly outreaches the expanding inner front of the ring. The snakelike chains are formed at this final stage when the fixing radius moves toward the symmetry axis.


title: Some remarks on associated random fields, random measures and point processes

abstract: In this paper, we first show that for a countable family of random elements taking values in a partially ordered Polish space (POP), association (both positive and negative) of all finite dimensional marginals implies that of the infinite sequence. Our proof proceeds via Strassen's theorem for stochastic domination and thus avoids the assumption of normally ordered on the product space as needed for positive association in [Lindqvist 1988]. We use these results to show on Polish spaces that finite dimensional negative association implies negative association of the random measure and negative association is preserved under weak convergence of random measures. The former provides a simpler proof in the most general setting of Polish spaces complementing the recent proofs in [Poinas et al. 2017] and [Lyons 2014] which restrict to point processes in Euclidean spaces and locally compact Polish spaces respectively. We also provide some examples of associated random measures which shall illustrate our results as well.


title: Inflation driven by massive vector fields with derivative self-interactions

abstract: Inspired by the Generalized Proca Theory, we study a vector-tensor model of inflation with massive vector fields and derivative self-interactions. The action under consideration contains a usual Maxwell-like kinetic term, a general potential term and a term with non-minimal derivative coupling between the vector field and gravity, via the dual Riemann tensor. In this theory, the last term contains a free parameter, $\lambda$, which quantifies the non-minimal derivative coupling. In this scenario, taking into account a spatially flat FRW universe and a general vector field, we obtain the general expressions for the equation of motion and the total energy momentum tensor. Choosing a Proca-type potential, a suitable inflationary regimen driven by massive vector fields is studied. In this model, the isotropy of expansion is guaranteed by considering a triplet of orthogonal vector fields. In order to obtain an inflationary solution with this model, the quasi de Sitter expansion was considered. In this case the vector field behaves as a constant. Finally, slow roll analysis is performed and slow-roll conditions are defined for this model, which, for suitable constraints of the model parameters, can give the required number of e-folds for sufficient inflation.


title: On the optimality of the Monte-Carlo estimator

abstract: We prove that on an atomless probability space, the worst-case mean squared error of the Monte-Carlo estimator is minimal if the random points are chosen independently.


title: $L^\gamma$-PageRank for Semi-Supervised Learning

abstract: PageRank for Semi-Supervised Learning has shown to leverage data structures and limited tagged examples to yield meaningful classification. Despite successes, classification performance can still be improved, particularly in cases of fuzzy graphs or unbalanced labeled data. To address such limitations, a novel approach based on powers of the Laplacian matrix $L^\gamma$ ($\gamma > 0$), referred to as $L^\gamma$-PageRank, is proposed. Its theoretical study shows that it operates on signed graphs, where nodes belonging to one same class are more likely to share positive edges while nodes from different classes are more likely to be connected with negative edges. It is shown that by selecting an optimal $\gamma$, classification performance can be significantly enhanced. A procedure for the automated estimation of the optimal $\gamma$, from a unique observation of data, is devised and assessed. Experiments on several datasets demonstrate the effectiveness of both $L^\gamma$-PageRank classification and the optimal $\gamma$ estimation.


title: The Skipping Behavior of Users of Music Streaming Services and its Relation to Musical Structure

abstract: The behavior of users of music streaming services is investigated from the point of view of the temporal dimension of individual songs; specifically, the main object of the analysis is the point in time within a song at which users stop listening and start streaming another song ("skip"). The main contribution of this study is the ascertainment of a correlation between the distribution in time of skipping events and the musical structure of songs. It is also shown that such distribution is not only specific to the individual songs, but also independent of the cohort of users and, under stationary conditions, date of observation. Finally, user behavioral data is used to train a predictor of the musical structure of a song solely from its acoustic content; it is shown that the use of such data, available in large quantities to music streaming services, yields significant improvements in accuracy over the customary fashion of training this class of algorithms, in which only smaller amounts of hand-labeled data are available.


title: On Learning from Ghost Imaging without Imaging

abstract: Computational ghost imaging is an imaging technique in which an object is imaged from light collected using a single-pixel detector with no spatial resolution. Recently, ghost cytometry has been proposed for a high-speed cell-classification method that involves ghost imaging and machine learning in flow cytometry. Ghost cytometry skips the reconstruction of cell images from signals and directly used signals for cell-classification because this reconstruction is what creates the bottleneck in the high-speed analysis. In this paper, we provide theoretical analysis for learning from ghost imaging without imaging.


title: Superpixel-based Color Transfer

abstract: In this work, we propose a fast superpixel-based color transfer method (SCT) between two images. Superpixels enable to decrease the image dimension and to extract a reduced set of color candidates. We propose to use a fast approximate nearest neighbor matching algorithm in which we enforce the match diversity by limiting the selection of the same superpixels. A fusion framework is designed to transfer the matched colors, and we demonstrate the improvement obtained over exact matching results. Finally, we show that SCT is visually competitive compared to state-of-the-art methods.


title: On Finite $1$-Dimensional Cellular Automata: Reversibility and Semi-reversibility

abstract: Reversibility of a one-dimensional finite cellular automaton (CA) is dependent on lattice size. A finite CA can be reversible for a set of lattice sizes. On the other hand, reversibility of an infinite CA, which is decided by exploring the rule only, is different in its kind from that of finite CA. Can we, however, link the reversibility of finite CA to that of infinite CA? In order to address this issue, we introduce a new notion, named semi-reversibility. We classify the CAs into three types with respect to reversibility property -- reversible, semi-reversible and strictly irreversible. A tool, reachability tree, has been used to decide the reversibility class of any CA. Finally, relation among the existing cases of reversibility is established.


title: Point-ellipse and some other exotic configurations

abstract: In this paper we introduce point-ellipse configurations and point-conic configurations. We study some of their basic properties and describe two interesting families of balanced point-ellipse, respectively point-conic $6$-configurations. The construction of the first family is based on Carnot's theorem, whilst the construction of the second family is based on the Cartesian product of two regular polygons. Finally, we investigate a point-ellipse configuration based on the regular $24$-cell.


title: From the Hartree equation to the Vlasov-Poisson system: strong convergence for a class of mixed states

abstract: We consider the evolution of $N$ fermions interacting through a Coulomb or gravitational potential in the mean-field limit as governed by the nonlinear Hartree equation with Coulomb or gravitational interaction. In the limit of large $N$, we study the convergence in trace norm towards the classical Vlasov-Poisson equation for a special class of mixed quasi-free states.


title: A duality principle for non-convex optimization in $\mathbb{R}^n$

abstract: This article develops a duality principle for a class of optimization problems in $\mathbb{R}^n$. The results are obtained based on standard tools of convex analysis and on a well known result of Toland for D.C. optimization. Global sufficient optimality conditions are also presented as well as relations between the critical points of the primal and dual formulations. Finally we formally prove there is no duality gap between the primal and dual formulations in a local extremal context.


title: Computing the Scope of Applicability for Acquired Task Knowledge in Experience-Based Planning Domains

abstract: Experience-based planning domains have been proposed to improve problem solving by learning from experience. They rely on acquiring and using task knowledge, i.e., activity schemata, for generating solutions to problem instances in a class of tasks. Using Three-Valued Logic Analysis (TVLA), we extend previous work to generate a set of conditions that determine the scope of applicability of an activity schema. The inferred scope is a bounded representation of a set of problems of potentially unbounded size, in the form of a 3-valued logical structure, which is used to automatically find an applicable activity schema for solving task problems. We validate this work in two classical planning domains.


title: On the Perturbation of Self-Organized Urban Street Networks

abstract: We investigate urban street networks as a whole within the frameworks of information physics and statistical physics. Urban street networks are envisaged as evolving social systems subject to a Boltzmann-mesoscopic entropy conservation. For self-organized urban street networks, our paradigm has already allowed us to recover the effectively observed scale-free distribution of roads and to foresee the distribution of junctions. The entropy conservation is interpreted as the conservation of the surprisal of the city-dwellers for their urban street network. In view to extend our investigations to other urban street networks, we consider to perturb our model for self-organized urban street networks by adding an external surprisal drift. We obtain the statistics for slightly drifted self-organized urban street networks. Besides being practical and manageable, this statistics separates the macroscopic evolution scale parameter from the mesoscopic social parameters. This opens the door to observational investigations on the universality of the evolution scale parameter. Ultimately, we argue that the strength of the external surprisal drift might be an indicator for the disengagement of the city-dwellers for their city.


title: Dynamics Concentration of Large-Scale Tightly-Connected Networks

abstract: The ability to achieve coordinated behavior --engineered or emergent-- on networked systems has attracted widespread interest over several fields. This has led to remarkable advances on the development of a theoretical understanding of the conditions under which agents within a network can reach agreement (consensus) or develop coordinated behaviors such as synchronization. However, fewer advances have been made toward explaining another commonly observed phenomena in tightly-connected networks systems: output responses of nodes in the networks are almost identical to each other despite heterogeneity in their individual dynamics. In this paper, we leverage tools from high-dimensional probability to provide an initial answer to this phenomena. More precisely, we show that for linear networks of nodal random transfer functions, as the network size and connectivity grows, every node in the network follows the same response to an input or disturbance --irrespectively of the source of this input. We term this behavior as dynamics concentration since it stems from the fact that the network transfer matrix uniformly converges in probability, i.e., it concentrates, to a unique dynamic response determined by the distribution of the random transfer function of each node. We further discuss the implications of our analysis in the context of model reduction and robustness, and provide numerical evidence that similar phenomena occur in small deterministic networks over a properly defined frequency band.


title: Regularity/Controllability/Observability of an NDS with Descriptor Form Subsystems and Generalized LFTs

abstract: This paper investigates regularity, controllability and observability for a networked dynamic system (NDS) with its subsystems being described in a descriptor form and system matrices of each subsystem being represented by a generalized linear fractional transformation (GLFT) of its parameters. Except a well-posedness condition, no any other constraints are put on either parameters or connections of a subsystem. Based on the Kronecker canonical form (KCF) of a matrix pencil, some matrix rank based necessary and sufficient conditions are established respectively for the regularity and complete controllability/observability of the NDS, in which the associated matrix depends affinely on both subsystem parameters and subsystem connections. These conditions keep the property that all the involved numerical computations are performed on each subsystem independently, which is attractive in the analysis and synthesis of a large scale NDS. Moreover, some explicit and easily checkable requirements are derived for subsystem dynamics/parameters with which a completely controllable/observable NDS can be constructed more easily.


title: Evaluation of Convolution Sums entailing mixed Divisor Functions for a Class of Levels

abstract: Let $0< n,\alpha,\beta\in\mathbb{N}$ be such that $\gcd{(\alpha,\beta)}=1$. We carry out the evaluation of the convolution sums $\underset{\substack{ {(k,l)\in\mathbb{N}^{2}} \\ {\alpha\,k+\beta\,l=n} } }{\sum}\sigma(k)\sigma_{3}(l)$ and $\underset{\substack{ {(k,l)\in\mathbb{N}^{2}} \\ {\alpha\,k+\beta\,l=n} } }{\sum}\sigma_{3}(k)\sigma(l)$ for all levels $\alpha\beta\in\mathbb{N}$, by using in particular modular forms. We next apply convolution sums belonging to this class of levels to determine formulae for the number of representations of a positive integer $n$ by the quadratic forms in twelve variables $\underset{i=1}{\overset{12}{\sum}}x_{i}^{2}$ when the level $\alpha\beta\equiv 0\pmod{4}$, and $\underset{i=1}{\overset{6}{\sum}}\,(\,x_{2i-1}^{2}+ x_{2i-1}x_{2i} + x_{2i}^{2}\,)$ when the level $\alpha\beta\equiv 0\pmod{3}$. Our approach is then illustrated by explicitly evaluating the convolution sum for $\alpha\beta=3$, $4$, $6$, $7$, $8$, $9$, $12$, $14$, $15$, $16$, $18$, $20$, $21$, $27$, $32$. These convolution sums are then applied to determine explicit formulae for the number of representations of a positive integer $n$ by quadratic forms in twelve variables.


title: Existence of relativistic dynamics for two directly interacting Dirac particles in 1+3 dimensions

abstract: Here we prove the existence and uniqueness of solutions of a class of integral equations describing two Dirac particles in 1+3 dimensions with direct interactions. This class of integral equations arises naturally as a relativistic generalization of the integral version of the two-particle Schr\"odinger equation. Crucial use of a multi-time wave function $\psi(x_1,x_2)$ with $x_1,x_2 \in \mathbb{R}^4$ is made. A central feature is the time delay of the interaction. Our main result is an existence and uniqueness theorem for a Minkowski half space, meaning that Minkowski spacetime is cut off before $t=0$. We furthermore show that the solutions are determined by Cauchy data at the initial time; however, no Cauchy problem is admissible at other times. A second result is to extend the first one to particular FLRW spacetimes with a Big Bang singularity, using the conformal invariance of the Dirac equation in the massless case. This shows that the cutoff at $t=0$ can arise naturally and be fully compatible with relativity. We thus obtain a class of interacting, manifestly covariant and rigorous models in 1+3 dimensions.


title: Cryogenic characterization of 28nm FD-SOI ring oscillators with energy efficiency optimization

abstract: Extensive electrical characterization of ring oscillators (ROs) made in high-$\kappa$ metal gate 28nm Fully-Depleted Silicon-on- Insulator (FD-SOI) technology is presented for a set of temperatures between 296 and 4.3K. First, delay per stage ($\tau_P$), static current ($I_{STAT}$), and dynamic current ($I_{DYN}$) are analyzed for the case of the increase of threshold voltage ($V_{TH}$) observed at low temperature. Then, the same analysis is performed by compensating $V_{TH}$ to a constant, temperature independent value through forward body-biasing (FBB). Energy efficiency optimization is proposed for different supply voltages ($V_{DD}$) in order to find an optimal operating point combining both high RO frequencies and low power dissipation. We show that the Energy-Delay product ($EDP$) can be significantly reduced at low temperature by applying a forward body bias voltage ($V_{FBB}$). We demonstrate that outstanding performance of RO in terms of speed ($\tau_P$=37ps) and static power (7nA/stage) can be achieved at 4.3K with $V_{DD}$ reduced down to 0.325V.


title: Multi-target detection with application to cryo-electron microscopy

abstract: We consider the multi-target detection problem of recovering a set of signals that appear multiple times at unknown locations in a noisy measurement. In the low noise regime, one can estimate the signals by first detecting occurrences, then clustering and averaging them. In the high noise regime however, neither detection nor clustering can be performed reliably, so that strategies along these lines are destined to fail. Notwithstanding, using autocorrelation analysis, we show that the impossibility to detect and cluster signal occurrences in the presence of high noise does not necessarily preclude signal estimation. Specifically, to estimate the signals, we derive simple relations between the autocorrelations of the observation and those of the signals. These autocorrelations can be estimated accurately at any noise level given a sufficiently long measurement. To recover the signals from the observed autocorrelations, we solve a set of polynomial equations through nonlinear least-squares. We provide analysis regarding well-posedness of the task, and demonstrate numerically the effectiveness of the method in a variety of settings. The main goal of this work is to provide theoretical and numerical support for a recently proposed framework to image 3-D structures of biological macromolecules using cryo-electron microscopy in extreme noise levels.


title: Deep Distribution Regression

abstract: Due to their flexibility and predictive performance, machine-learning based regression methods have become an important tool for predictive modeling and forecasting. However, most methods focus on estimating the conditional mean or specific quantiles of the target quantity and do not provide the full conditional distribution, which contains uncertainty information that might be crucial for decision making. In this article, we provide a general solution by transforming a conditional distribution estimation problem into a constrained multi-class classification problem, in which tools such as deep neural networks. We propose a novel joint binary cross-entropy loss function to accomplish this goal. We demonstrate its performance in various simulation studies comparing to state-of-the-art competing methods. Additionally, our method shows improved accuracy in a probabilistic solar energy forecasting problem.


title: Photon flux determination of a liquid-metal jet x-ray source by means of photon scattering

abstract: Liquid-metal jet X-ray sources promise to deliver high photon fluxes, which are unprecedented for laboratory based X-ray sources, because the regenerating liquid-metal anode is less sensitive to damage caused by an increased electron beam power density. For some quantitative X-ray analysis techniques, knowledge of the absolute photon flux is needed. However, a precise experimental determination of the photon flux of high-performance X-ray sources is challenging, because a direct measurement results in significant dead time losses in the detector or could even harm the detector. Indirect determinations rely on data base values of attenuation or scattering cross sections leading to large uncertainties. In this study we present an experimental determination of the photon flux of a liquid-metal jet X-ray source by means of elastic and inelastic photon scattering. Our approach allows for referencing the unpolarized output radiation of the liquid-metal jet X-ray source to polarized synchrotron radiation in a simple setup. Absolute photon fluxes per solid angle are presented with a detailed uncertainty budget for the characteristic emission lines of Ga K$\alpha$ and In K$\alpha$ for two different acceleration voltages of the X-ray source. For a nominal setting of 200 W (70 kV, 2.857 mA) the determined values for Ga K$\alpha$ and In K$\alpha$ are 6.0(5)$\times 10^{12}$ s$^{-1}$sr$^{-1}$ and 3.8(4)$\times 10^{11}$ s$^{-1}$sr$^{-1}$, respectively.


title: Nonlocal gradient operators with a nonspherical interaction neighborhood and their applications

abstract: Nonlocal gradient operators are prototypical nonlocal differential operators thatare very important in the studies of nonlocal models. One of the simplest variational settings for such studies is the nonlocal Dirichlet energies wherein the energy densities are quadratic in the nonlocal gradients. There have been earlier studies to illuminate the link between the coercivity of the Dirichlet energies and the interaction strengths of radially symmetric kernels that constitute nonlocal gradient operators in the form of integral operators. In this work we adopt a different perspective and focus on nonlocal gradient operators with a non-spherical interaction neighborhood. We show that the truncation of the spherical interaction neighborhood to a half sphere helps making nonlocal gradient operators well-defined and the associated nonlocal Dirichlet energies coercive. These become possible, unlike the case with full spherical neighborhoods, without any extra assumption on the strengths of the kernels near the origin. We then present some applications of the nonlocal gradient operators with non-spherical interaction neighborhoods. These include nonlocal linear models in mechanics such as nonlocal isotropic linear elasticity and nonlocal Stokes equations, and a nonlocal extension of the Helmholtz decomposition.


title: Bayesian/Graphoid intersection property for factorisation spaces

abstract: We remark that Pearl's Graphoid intersection property, also called intersection property in Bayesian networks, is a particular case of a general intersection property, in the sense of intersection of coverings, for factorisation spaces, also coined as factorisation models, factor graphs or by Lauritzen in his reference book 'Graphical Models' as hierarchical model subspaces. A particular case of this intersection property appears in Lauritzen's book as a consequence of the decomposition into interaction subspaces; the novel proof that we give of this result allows us to extend it in the most general setting. It also allows us to give a direct and new proof of the Hammersley-Clifford theorem transposing and reducing it to a corresponding statement for graphs, justifying formally the geometric intuition of independency, and extending it to non finite graphs. This intersection property is the starting point for a generalization of the decomposition into interaction subspaces to collections of vector spaces.

categories: math.ST cs.IT math.IT physics.data-an stat.TH


title: ASTRO2020 White Paper: JWST: Probing the Epoch of Reionization with a Wide Field Time-Domain Survey

abstract: A major scientific goal of JWST is to probe the epoch of re-ionization of the Universe at z above 6, and up to 20 and beyond. At these redshifts, galaxies are just beginning to form and the observable objects are early black holes, supernovae, and cosmic infrared background. The JWST has the necessary sensitivity to observe these targets individually, but a public deep and wide science enabling survey in the wavelength range from 2-5 $\mu$m is needed to discover these black holes and supernovae and to cover the area large enough for cosmic infrared background to be reliably studied. This enabling survey will also discover a large number of other transients and enable sciences such as supernova cosmology up to z $\sim$ 5, star formation history at high redshift through supernova explosions, faint stellar objects in the Milky Way, and galaxy evolution up to z approaching 10. The results of this survey will also serve as an invaluable target feeder for the upcoming era of ELT and SKA.


title: Conformally Coupled Tachyonic Dark Energy

abstract: We present and study a conformally coupled dark energy model, characterised by an interaction between a tachyon field $\phi$, with an inverse square potential $V (\phi)$, and the matter sector. A detailed analysis of the cosmological outcome reveals different possibilities, in contrast with the previously studied uncoupled model, for which there exists only one stable critical point that gives late-time acceleration of the Universe. The introduction of the coupling translates into an energy exchange between the fluids. We find the interesting possibility of the emergence of a new fixed point, which is a scaling solution and an attractor of the system. In this case, it is possible to describe an everlasting Universe with $\Omega_{\phi} \simeq 0.7$, therefore alleviating the cosmic coincidence problem. However, we find that, in order for the evolution to be cosmologically viable, there is the need to introduce one uncoupled matter species, dominant at early times.


title: Demarcating Geographic Regions using Community Detection in Commuting Networks with Significant Self-Loops

abstract: We develop a method to identify statistically significant communities in a weighted network with a high proportion of self-looping weights. We use this method to find overlapping agglomerations of U.S. counties by representing inter-county commuting as a weighted network. We identify three types of communities; non-nodal, nodal and monads, which correspond to different types of regions. The results suggest that traditional regional delineations that rely on ad hoc thresholds do not account for important and pervasive connections that extend far beyond expected metropolitan boundaries or megaregions.


title: Pure temporal dispersion for aberration free ultrafast time-stretch applications

abstract: Photonic time-stretch overcomes the speed limitation of conventional digitizers, and enables the observation of non-repetitive and statistically rare phenomena that occur on short timescales. In most of the time-stretch applications, large temporal dispersion is highly desired to satisfy the far-field diffraction regime. However, most conventional spatial disperser or chirped fiber Bragg grating are constrained by its spatial volume, which can be overcome by the ultra-low-loss dispersive fiber, as an ideal medium for large temporal dispersion , while it suffers from the third-order dispersion and aberrations. In this paper, an optical phase conjugation based third-order dispersion compensation scheme is introduced, with accumulated dispersion and eliminated third dispersion, and achieved negative and positive 3400-ps2 pure temporal dispersion of over 30-nm bandwidth. Leveraging this pure temporal dispersion, up to 2% temporal aberrations have been eliminated; furthermore, a Fourier domain spectroscopy has achieved a record 15000 optical effective resolvable points, with non-degraded 2-pm resolution over 30-nm range


title: Audiovisual Speaker Tracking using Nonlinear Dynamical Systems with Dynamic Stream Weights

abstract: Data fusion plays an important role in many technical applications that require efficient processing of multimodal sensory observations. A prominent example is audiovisual signal processing, which has gained increasing attention in automatic speech recognition, speaker localization and related tasks. If appropriately combined with acoustic information, additional visual cues can help to improve the performance in these applications, especially under adverse acoustic conditions. A dynamic weighting of acoustic and visual streams based on instantaneous sensor reliability measures is an efficient approach to data fusion in this context. This paper presents a framework that extends the well-established theory of nonlinear dynamical systems with the notion of dynamic stream weights for an arbitrary number of sensory observations. It comprises a recursive state estimator based on the Gaussian filtering paradigm, which incorporates dynamic stream weights into a framework closely related to the extended Kalman filter. Additionally, a convex optimization approach to estimate oracle dynamic stream weights in fully observed dynamical systems utilizing a Dirichlet prior is presented. This serves as a basis for a generic parameter learning framework of dynamic stream weight estimators. The proposed system is application-independent and can be easily adapted to specific tasks and requirements. A study using audiovisual speaker tracking tasks is considered as an exemplary application in this work. An improved tracking performance of the dynamic stream weight-based estimation framework over state-of-the-art methods is demonstrated in the experiments.


title: Single photoionization of the Kr-like Rb II ion in the photon energy range 22 - 46.0 eV

abstract: Single photoionization cross sections for Kr-like Rb$^+$ ions are reported in the energy (wavelength) range 22 eV (564 \AA) to 46 eV (270 \AA). Theoretical cross section calculations for this {\it trans}-Fe element are compared with measurements from the ASTRID radiation facility in Aarhus, Denmark and the dual laser plasma (DLP) technique, at respectively 40 meV and 35 meV FWHM energy resolution. In the photon energy region 22 - 32 eV the spectrum is dominated by excitation autoionizing resonance states. Above 32 eV the cross section exhibit classic Fano window resonances features, which are analysed and discussed. Large-scale theoretical photoionization cross-section calculations, performed using a Dirac Coulomb $R$-matrix approximation are bench marked against these high resolution experimental results. Comparison of the theoretical work with the experimental studies allowed the identification of resonance features and their parameters in the spectra in addition to contributions from excited metastable states of the Rb$^+$ ions.


title: Altcoin-Bitcoin Arbitrage

abstract: We give an algorithm and source code for a cryptoasset statistical arbitrage alpha based on a mean-reversion effect driven by the leading momentum factor in cryptoasset returns discussed in https://ssrn.com/abstract=3245641. Using empirical data, we identify the cross-section of cryptoassets for which this altcoin-Bitcoin arbitrage alpha is significant and discuss it in the context of liquidity considerations as well as its implications for cryptoasset trading.


title: Illuminating the dark universe with a very high density galaxy redshift survey over a wide area

abstract: The nature of dark energy remains a profound mystery 20 years after the discovery of cosmic acceleration. A very high number density galaxy redshift survey over a wide area (HD GRS Wide) spanning the redshift range of 0.5<z<4 using the same tracer, carried out using massively parallel wide field multi-object slit spectroscopy from space, will provide definitive dark energy measurements with minimal observational systematics by design. The HD GRS Wide will illuminate the nature of dark energy, and lead to revolutionary advances in particle physics and cosmology. It will also trace the cosmic web of dark matter and provide key insight into large-scale structure in the Universe. The required observational facility can be established as part of the probe portfolio by NASA within the next decade.


title: Completeness of the ZX-Calculus

abstract: The ZX-Calculus is a graphical language for diagrammatic reasoning in quantum mechanics and quantum information theory. It comes equipped with an equational presentation. We focus here on a very important property of the language: completeness, which roughly ensures the equational theory captures all of quantum mechanics. We first improve on the known-to-be-complete presentation for the so-called Clifford fragment of the language - a restriction that is not universal - by adding some axioms. Thanks to a system of back-and-forth translation between the ZX-Calculus and a third-party complete graphical language, we prove that the provided axiomatisation is complete for the first approximately universal fragment of the language, namely Clifford+T. We then prove that the expressive power of this presentation, though aimed at achieving completeness for the aforementioned restriction, extends beyond Clifford+T, to a class of diagrams that we call linear with Clifford+T constants. We use another version of the third-party language - and an adapted system of back-and-forth translation - to complete the language for the ZX-Calculus as a whole, that is, with no restriction. We briefly discuss the added axioms, and finally, we provide a complete axiomatisation for an altered version of the language which involves an additional generator, making the presentation simpler.


title: Span observables - "When is a foraging rabbit no longer hungry?"

abstract: Be $X_t$ a random walk. We study its span $S$, i.e. the size of the domain visited up to time $t$. We want to know the probability that $S$ reaches $1$ for the first time, as well as the density of the span given $t$. Analytical results are presented, and checked against numerical simulations. We then generalize this to include drift, and one or two reflecting boundaries. We also derive the joint probability of the maximum and minimum of a process. Our results are based on the diffusion propagator with reflecting or absorbing boundaries, for which a set of useful formulas is derived.


title: On the invalidity of "negative mass" description of the dark sector

abstract: It is shown that the concept of "negative mass" introduced by Farnes (2018) to describe the dark sector within a unifying theory with the negative cosmological constant contradicts both the essence of the General Relativity and the available observational data. A viable model with modified weak-field General Relativity is mentioned.


title: Metastability and exit problems for systems of stochastic reaction-diffusion equations

abstract: In this paper we develop a metastability theory for a class of stochastic reaction-diffusion equations exposed to small multiplicative noise. We consider the case where the unperturbed reaction-diffusion equation features multiple asymptotically stable equilibria. When the system is exposed to small stochastic perturbations, it is likely to stay near one equilibrium for a long period of time, but will eventually transition to the neighborhood of another equilibrium. We are interested in studying the exit time from the full domain of attraction (in a function space) surrounding an equilibrium and therefore do not assume that the domain of attraction features uniform attraction to the equilibrium. This means that the boundary of the domain of attraction is allowed to contain saddles and limit cycles. Our method of proof is purely infinite dimensional, i.e., we do not go through finite dimensional approximations. In addition, we address the multiplicative noise case and we do not impose gradient type of assumptions on the nonlinearity. We prove large deviations logarithmic asymptotics for the exit time and for the exit shape, also characterizing the most probable set of shapes of solutions at the time of exit from the domain of attraction.


title: What Makes Research Software Sustainable? An Interview Study With Research Software Engineers

abstract: Software is now a vital scientific instrument, providing the tools for data collection and analysis across disciplines from bioinformatics and computational physics, to the humanities. The software used in research is often home-grown and bespoke: it is constructed for a particular project, and rarely maintained beyond this, leading to rapid decay, and frequent `reinvention of the wheel'. Understanding how to develop sustainable research software, such that it is suitable for future reuse, is therefore of interest to both researchers and funders, but how to achieve this remains an open question. Here we report the results of an interview study examining how research software engineers -- the people actively developing software in an academic research environment -- subjectively define software sustainability. Thematic analysis of the data reveals two interacting dimensions: \emph{intrinsic sustainability}, which relates to internal qualities of software, such as modularity, encapsulation and testability, and \emph{extrinsic sustainability}, concerning cultural and organisational factors, including how software is resourced, supported and shared. Research software engineers believe an increased focus on quality and discoverability are key factors in increasing the sustainability of academic research software.


title: On the formalization of Asynchronous First Passage Algorithms

abstract: The formalization of First Passage schemes is revisited and the emerging of a conceptual contradiction is underlined. We then show why, despite such a contradiction, the numerical results are not explicitly affected. Through a different formalization of the problem, we recast the current principles of the algorithm in a more solid conceptual framework, and numerical evidence gives further justification to our claims.


title: Rutile GeO2: an ultrawide-band-gap semiconductor with ambipolar doping

abstract: Ultra-wide-band-gap (UWBG) semiconductors have tremendous potential to advance electronic devices as device performance improves superlinearly with increasing gap. Ambipolar doping, however, has been a major challenge for UWBG materials as dopant ionization energy and charge compensation generally increase with increasing band gap and significantly limit the semiconductor devices that can currently be realized. Using hybrid density functional theory, we demonstrate rutile germanium oxide (r-GeO2) to be an alternative UWBG (4.68 eV) material that can be ambipolarly doped. We identify SbGe, AsGe, and FO as possible donors with low ionization energies and propose growth conditions to avoid charge compensation by deep acceptors such as VGe and NO. On the other hand, acceptors such as AlGe have relatively large ionization energies (0.45 eV) due to the formation of localized hole polarons and are likely to be passivated by VO, Gei, and self-interstitials. Yet, we find that the co-incorporation of AlGe with interstitial H can increase the solubility limit of Al and enable hole conduction in the impurity band. Our results show that r-GeO2 is a promising UWBG semiconductor that can overcome current doping challenges and enable the next generation of power electronics devices.


title: A lending scheme for a system of interconnected banks with probabilistic constraints of failure

abstract: We derive a closed form solution for an optimal control problem related to an interbank lending schemes subject to terminal probability constraints on the failure of banks which are interconnected through a financial network. The derived solution applies to a real banks network by obtaining a general solution when the aforementioned probability constraints are assumed for all the banks. We also present a direct method to compute the systemic relevance parameter for each bank within the network.


title: Normal 6-edge-colorings of some bridgeless cubic graphs

abstract: In an edge-coloring of a cubic graph, an edge is poor or rich, if the set of colors assigned to the edge and the four edges adjacent it, has exactly five or exactly three distinct colors, respectively. An edge is normal in an edge-coloring if it is rich or poor in this coloring. A normal $k$-edge-coloring of a cubic graph is an edge-coloring with $k$ colors such that each edge of the graph is normal. We denote by $\chi'_{N}(G)$ the smallest $k$, for which $G$ admits a normal $k$-edge-coloring. Normal edge-colorings were introduced by Jaeger in order to study his well-known Petersen Coloring Conjecture. It is known that proving $\chi'_{N}(G)\leq 5$ for every bridgeless cubic graph is equivalent to proving Petersen Coloring Conjecture. Moreover, Jaeger was able to show that it implies classical conjectures like Cycle Double Cover Conjecture and Berge-Fulkerson Conjecture. Recently, two of the authors were able to show that any simple cubic graph admits a normal $7$-edge-coloring, and this result is best possible. In the present paper, we show that any claw-free bridgeless cubic graph, permutation snark, tree-like snark admits a normal $6$-edge-coloring. Finally, we show that any bridgeless cubic graph $G$ admits a $6$-edge-coloring such that at least $\frac{7}{9}\cdot |E|$ edges of $G$ are normal.


title: Lattice Valuations: a Generalisation of Measure and Integral

abstract: Measure and integral are two closely related, but distinct objects of study. Nonetheless, they are both real-valued lattice valuations: order preserving real-valued functions $\phi$ on a lattice $L$ which are modular, i.e., $\phi(x)+{\phi}(y) = \phi(x\wedge y)+{\phi}(x\vee y)$ for all $x,y \in L$. We unify measure and integral by developing a theory for lattice valuations. We allow these lattice valuations to take their values from the reals, or any suitable ordered Abelian group.


title: Using Machine Learning and Big Data Analytics to Prioritize Outpatients in HetNets

abstract: In this paper, we introduce machine learning approaches that are used to prioritize outpatients (OP) according to their current health state, resulting in self-optimizing heterogeneous networks (HetNet) that intelligently adapt according to users' needs. We use a na\"ive Bayesian classifier to analyze data acquired from OPs' medical records, alongside data from medical Internet of Things (IoT) sensors that provide the current state of the OP. We use this machine learning algorithm to calculate the likelihood of a life-threatening medical condition, in this case an imminent stroke. An OP is assigned high-powered resource blocks (RBs) according to the seriousness of their current health state, enabling them to remain connected and send their critical data to the designated medical facility with minimal delay. Using a mixed integer linear programming formulation (MILP), we present two approaches to optimizing the uplink side of a HetNet in terms of user-RB assignment: a Weighted Sum Rate Maximization (WSRMax) approach and a Proportional Fairness (PF) approach. Using these approaches, we illustrate the utility of the proposed system in terms of providing reliable connectivity to medical IoT sensors, enabling the OPs to maintain the quality and speed of their connection. Moreover, we demonstrate how system response can change according to alterations in the OPs' medical conditions.


title: Encoding complex fields by using a phase-only optical element: mitigation of pixel crosstalk effects

abstract: In this letter we report on the effects of pixel crosstalk on the experimental realization of a reported encoding method (Opt. Lett. 39, 1740 (2014)) with PA-LCoS SLMs. We found that, under Nyquist limit condition, about 70% of a single pixel cell can generate unexpected phase modulation. In order to approach uniform phase modulation, and consequently improve the quality of measured amplitude and phase images, a generalized sampling scheme is proposed. To corroborate our proposal, proper experiments were carried out. On this point, a particular implementation of the well-established phase shifting technique allows us to measure the retrieved complex field by using just a single camera.


title: Inferring Personalized Bayesian Embeddings for Learning from Heterogeneous Demonstration

abstract: For assistive robots and virtual agents to achieve ubiquity, machines will need to anticipate the needs of their human counterparts. The field of Learning from Demonstration (LfD) has sought to enable machines to infer predictive models of human behavior for autonomous robot control. However, humans exhibit heterogeneity in decision-making, which traditional LfD approaches fail to capture. To overcome this challenge, we propose a Bayesian LfD framework to infer an integrated representation of all human task demonstrators by inferring human-specific embeddings, thereby distilling their unique characteristics. We validate our approach is able to outperform state-of-the-art techniques on both synthetic and real-world data sets.


title: MSG-GAN: Multi-Scale Gradients for Generative Adversarial Networks

abstract: While Generative Adversarial Networks (GANs) have seen huge successes in image synthesis tasks, they are notoriously difficult to adapt to different datasets, in part due to instability during training and sensitivity to hyperparameters. One commonly accepted reason for this instability is that gradients passing from the discriminator to the generator become uninformative when there isn't enough overlap in the supports of the real and fake distributions. In this work, we propose the Multi-Scale Gradient Generative Adversarial Network (MSG-GAN), a simple but effective technique for addressing this by allowing the flow of gradients from the discriminator to the generator at multiple scales. This technique provides a stable approach for high resolution image synthesis, and serves as an alternative to the commonly used progressive growing technique. We show that MSG-GAN converges stably on a variety of image datasets of different sizes, resolutions and domains, as well as different types of loss functions and architectures, all with the same set of fixed hyperparameters. When compared to state-of-the-art GANs, our approach matches or exceeds the performance in most of the cases we tried.


title: Model Independent analysis of MeV scale dark matter: I. Cosmological constraints

abstract: Recent results from several direct detection experiments have imposed severe constraints on the multi-GeV mass window for various dark matter (DM) models. However, many of these experiments are not sensitive to MeV scale DM as the corresponding recoil energies are, largely, lower than the detector thresholds. We reexamine the light scalar DM in a model-independent approach. In this first of a two-part work, we develop an appropriate methodology to determine the effective coupling of such a DM to hadrons, thereby allowing for the determination of the corresponding annihilation rates. We find that while the parameter space can be constrained using cosmological and astrophysical observations, a significantly large fraction is still viable. In the companion paper, we study the sensitivity of both direct detection experiments as well as colliders to such a DM.


title: Electric Switching of the Charge-Density-Wave and Normal Metallic Phases in Tantalum Disulfide Thin-Film Devices

abstract: We report on switching among three charge-density-wave phases - commensurate, nearly commensurate, incommensurate - and the high-temperature normal metallic phase in thin-film 1T-TaS2 devices induced by application of an in-plane electric field. The electric switching among all phases has been achieved over a wide temperature range, from 77 K to 400 K. The low-frequency electronic noise spectroscopy has been used as an effective tool for monitoring the transitions, particularly the switching from the incommensurate charge-density-wave phase to the normal metal phase. The noise spectral density exhibits sharp increases at the phase transition points, which correspond to the step-like changes in resistivity. Assignment of the phases is consistent with low-field resistivity measurements over the temperature range from 77 K to 600 K. Analysis of the experimental data and calculations of heat dissipation suggest that Joule heating plays a dominant role in the electric-field induced transitions in the tested 1T-TaS2 devices on Si/SiO2 substrates. The possibility of electrical switching among four different phases of 1T-TaS2 is a promising step toward nanoscale device applications. The results also demonstrate the potential of noise spectroscopy for investigating and identifying phase transitions in materials.


title: Explicitly correlated wavefunctions of the ground state and the lowest quintuplet state of the carbon atom

abstract: Variational, nonrelativisitic energies have been calculated for the ground state ($^3P_g$) and the lowest quintuplet state ($^5S_u$) of the carbon atom, with wavefunctions expressed in the basis of symmetry-projected, explicitly correlated Gaussian (ECG) lobe functions. New exact limits of these energies have been estimated, amounting to $-37.844906(4)$ and $-37.691751(2)$ hartree. With finite nuclear masses and leading, scalar relativistic corrections included, respective experimental excitation energy of $^{12}C$ has been reproduced with accuracy of about 7 cm$^{-1}$.


title: On the estimate of distance traveled by a particle in a disk-like vortex patch

abstract: We consider the incompressible two-dimensional Euler equation in the plane in the case when its initial vorticity is the characteristic function of a bounded open set. We show that the travel distance grows linearly for most of fluid particles initially placed on the set when the area of the symmetric difference between the set and a disk is small enough.


title: A Game-Theoretic Framework for Autonomous Vehicles Velocity Control: Bridging Microscopic Differential Games and Macroscopic Mean Field Games

abstract: This paper proposes an efficient computational framework for longitudinal velocity control of a large number of autonomous vehicles (AVs) and develops a traffic flow theory for AVs. Instead of hypothesizing explicitly how AVs drive, our goal is to design future AVs as rational, utility-optimizing agents that continuously select optimal velocity over a period of planning horizon. With a large number of interacting AVs, this design problem can become computationally intractable. This paper aims to tackle such a challenge by employing mean field approximation and deriving a mean field game (MFG) as the limiting differential game with an infinite number of agents. The proposed micro-macro model allows one to define individuals on a microscopic level as utility-optimizing agents while translating rich microscopic behaviors to macroscopic models. Different from existing studies on the application of MFG to traffic flow models, the present study offers a systematic framework to apply MFG to autonomous vehicle velocity control. The MFG-based AV controller is shown to mitigate traffic jam faster than the LWR-based controller. MFG also embodies classical traffic flow models with behavioral interpretation, thereby providing a new traffic flow theory for AVs.


title: Is the stellar mass-stellar metallicity relation universal in the Milky Way satellites and beyond?

abstract: Observations reveal a universal stellar mass-stellar metallicity relation (MZR) existing in Local Group dwarfs of different types, $Z_*\propto M_*^{\alpha}$ with $\alpha=0.30\pm0.02$. In this work, we investigate the "universality" of the MZRs for both satellites and central galaxies in a large number of different host dark matter halos covering a large mass range of $10^9$-$10^{15}h^{-1}M_\odot$, by using a semianalytical galaxy formation and evolution model. We obtain the following results. (1) The exponents ($\alpha$) for the MZRs of the satellites in halos with the same mass as the Milky Way halo but different individual assembly histories are mostly $\sim$0.2-0.4, i.e., having a scatter of $\sim 0.2$; and the scatter of $\alpha$ increases with decreasing halo masses. (2) The MZR relations are changed little by the variation of halo masses and the classification between central galaxies and satellites, if many halos with the same mass are stacked together. (3) A double power law exists in the MZR relations for both central galaxies and stacked satellites, with $\alpha\sim$0.2-0.4 at $10^3M_\odot< M_*<10^{8} M_\odot$ and a relatively higher $\alpha\sim0.5$ at $10^8M_\odot<M_*<10^{11}M_\odot$. (4) The high-mass satellites ($M_*>10^8M_\odot$) existing mostly in high-mass halos can lead to an apparent increase of $\alpha$ (from $\sim0.2$ to $\sim0.4$) with increasing host halo masses shown in the single power law fitting results of stacked satellites. The universality of the MZR suggests the common physical processes in stellar formation and chemical evolution of galaxies can be unified over a large range of galaxy masses and halo masses.


title: Robust Matrix Completion via Maximum Correntropy Criterion and Half Quadratic Optimization

abstract: Robust matrix completion aims to recover a low-rank matrix from a subset of noisy entries perturbed by complex noises, where traditional methods for matrix completion may perform poorly due to utilizing $l_2$ error norm in optimization. In this paper, we propose a novel and fast robust matrix completion method based on maximum correntropy criterion (MCC). The correntropy based error measure is utilized instead of using $l_2$-based error norm to improve the robustness to noises. Using the half-quadratic optimization technique, the correntropy based optimization can be transformed to a weighted matrix factorization problem. Then, two efficient algorithms are derived, including alternating minimization based algorithm and alternating gradient descend based algorithm. The proposed algorithms do not need to calculate singular value decomposition (SVD) at each iteration. Further, the adaptive kernel selection strategy is proposed to accelerate the convergence speed as well as improve the performance. Comparison with existing robust matrix completion algorithms is provided by simulations, showing that the new methods can achieve better performance than existing state-of-the-art algorithms.


title: Deep learning enabled multi-wavelength spatial coherence microscope for the classification of malaria-infected stages with limited labelled data size

abstract: Malaria is a life-threatening mosquito-borne blood disease, hence early detection is very crucial for health. The conventional method for the detection is a microscopic examination of Giemsa-stained blood smears, which needs a highly trained skilled technician. Automated classifications of different stages of malaria still a challenging task, especially having poor sensitivity in detecting the early trophozoite and late trophozoite or schizont stage with limited labelled datasize. The study aims to develop a fast, robust and fully automated system for the classification of different stages of malaria with limited data size by using the pre-trained convolutional neural networks (CNNs) as a classifier and multi-wavelength to increase the sample size. We also compare our customized CNN with other well-known CNNs and shows that our network have a comparable performance with less computational time. We believe that our proposed method can be applied to other limited labelled biological datasets.


title: Constraining compact star properties with nuclear saturation parameters

abstract: A set of hadronic equations of state (EoSs) derived from relativistic density functional theory and constrained by terrestrial experiments, astrophysical observations, in particular by the GW170817 event, and chiral effective field theory ($\chi$EFT) of neutron matter is used to explore the sensitivity of the EoS parameterization on the few nuclear matter characteristics defined at the saturation density. We find that the gross properties of compact stars are most sensitive to the isoscalar skewness coefficient $Q_{\text{sat}}$ and the isovector slope coefficient $L_{\text{sym}}$ around saturation density, since the higher order coefficients, such as $K_{\text{sym}}$, are fixed by our model. More specifically, (i) among these $Q_{\text{sat}}$ is the dominant parameter controlling both the maximum mass and the radii of compact stars while $L_{\rm sym}$ is constrained somewhat by $\chi$EFT of neutron matter; (ii) massive enough ($M\sim 2.0~M_{\odot})$ compact stars featuring both hyperons and $\Delta$ resonances can be obtained if the value of $Q_{\text{sat}}$ is large enough; (iii) the emergence of $\Delta$'s reduces the radius of a canonical mass ($M\sim 1.4~M_{\odot})$ compact star thus easing the tension between the predictions of the relativistic density functionals and the inferences from the X-ray observation of nearby isolated neutron stars.


title: Extinction rate of continuous state branching processes in critical L\'evy environments

abstract: We study the speed of extinction of continuous state branching processes in a L\'evy environment, where the associated L\'evy process oscillates. Assuming that the L\'evy process satisfies the Spitzer's condition and the existence of some exponential moments, we extend recent results where the associated branching mechanism was stable. Our study relies on the path analysis of the process together with its environment, when this latter is conditioned to have a non negative running infimum. This approach is inspired from the discrete setting with i.i.d. environment studied in (Afanasyev et al. 2005).


title: Stochastic Beams and Where to Find Them: The Gumbel-Top-k Trick for Sampling Sequences Without Replacement

abstract: The well-known Gumbel-Max trick for sampling from a categorical distribution can be extended to sample $k$ elements without replacement. We show how to implicitly apply this 'Gumbel-Top-$k$' trick on a factorized distribution over sequences, allowing to draw exact samples without replacement using a Stochastic Beam Search. Even for exponentially large domains, the number of model evaluations grows only linear in $k$ and the maximum sampled sequence length. The algorithm creates a theoretical connection between sampling and (deterministic) beam search and can be used as a principled intermediate alternative. In a translation task, the proposed method compares favourably against alternatives to obtain diverse yet good quality translations. We show that sequences sampled without replacement can be used to construct low-variance estimators for expected sentence-level BLEU score and model entropy.


title: Diffusion dynamics of supercooled water modeled with the cage-jump motion and hydrogen-bond rearrangement

abstract: The slow dynamics of glass-forming liquids is generally ascribed to the cage-jump motion. In the cage-jump picture, a molecule remains in a cage formed by neighboring molecules, and after a sufficiently long time, it jumps to escape from the original position by cage-breaking. The clarification of the cage-jump motion is therefore linked to unraveling the fundamental element of the slow dynamics. Here, we develop a cage-jump model for the dynamics of supercooled water. The caged and jumping states of a water molecule are introduced with respect to the hydrogen-bond (H-bond) rearrangement process, and describe the motion in supercooled states. It is then demonstrated from the molecular dynamics simulation of the TIP4P/2005 model that the characteristic length and time scales of cage-jump motions provide a good description of the self-diffusion constant that is determined in turn from the long-time behavior of the mean square displacement. Our cage-jump model thus enables to connect between H-bond dynamics and molecular diffusivity.


title: Maximum Cut Parameterized by Crossing Number

abstract: Given an edge-weighted graph $G$ on $n$ nodes, the NP-hard Max-Cut problem asks for a node bipartition such that the sum of edge weights joining the different partitions is maximized. We propose a fixed-parameter tractable algorithm parameterized by the number $k$ of crossings in a given drawing of $G$. Our algorithm achieves a running time of $O(2^k \cdot p(n + k))$, where $p$ is the polynomial running time for planar Max-Cut. The only previously known similar algorithm [8] is restricted to 1-planar graphs (i.e., at most one crossing per edge) and its dependency on $k$ is of order $3^k$ . A direct consequence of our result is that Max-Cut is fixed-parameter tractable w.r.t. the crossing number, even without a given drawing. Moreover, the results naturally carry over to the minor crossing number.


title: In-plane anisotropic faceting of ultralarge and thin single-crystalline colloidal SnS nanosheets

abstract: The colloidal synthesis of large thin two-dimensional (2D) nanosheets is fascinating but challenging, since the growth along the lateral and vertical dimensions need to be controlled independently. In-plane anisotropy in 2D nanosheets is attracting more attention as well. We present a new synthesis for large colloidal single-crystalline SnS nanosheets with the thicknesses down to 7 nm and lateral sizes up to 8 um. The synthesis uses trioctylphosphine-S (TOP-S) as sulfur source and oleic acid (with or without TOP) as ligands. Upon adjusting the capping ligand amount, the growth direction can be switched between anisotropic directions (armchair and zigzag) and isotropic directions ("ladder" directions), leading to an edge-morphology anisotropy. This is the first report on solution-phase synthesis of large thin SnS NSs with tunable edge faceting. Furthermore, electronic transport measurements show strong dependency on the crystallographic directions confirming structural anisotropy.


title: Macroscopically Aligned Carbon Nanotubes as a Refractory Platform for Hyperbolic Thermal Emitters

abstract: Refractory nanophotonics, or nanophotonics at high temperatures, can revolutionize many applications, including data storage and waste heat recovery. In particular, nanophotonic devices made from hyperbolic materials are promising due to their nearly infinite photonic density of states (PDOS). However, it is challenging to achieve a prominent PDOS in existing refractory hyperbolic materials, especially in a broad spectral range. Here, we demonstrate that macroscopic films and architectures of aligned carbon nanotubes work as excellent refractory hyperbolic materials. We found that aligned carbon nanotubes are thermally stable up to $1600^{\circ}$C and exhibit extreme anisotropy - metallic in one direction and insulating in the other two directions. Such extreme anisotropy makes this system a hyperbolic material with an exceptionally large PDOS over a broadband spectrum range (longer than $4.3\mu$m) in the midinfrared, exhibiting strong resonances in deeply sub-wavelength-sized cavities. We observed polarized, spectrally selective thermal emission from aligned carbon nanotube films as well as indefinite cavities of aligned carbon nanotubes with volume as small as $\sim\lambda^3/700$ operating at $700^{\circ}$C . These experiments suggest that aligned carbon nanotubes possess naturally large PDOS that leads to thermal photon densities enhanced by over two orders of magnitude, making them a promising refractory nanophotonics platform.


title: On polynomial-time solvable linear Diophantine problems

abstract: We obtain a polynomial-time algorithm that, given input (A, b), where A=(B|N) is an integer mxn matrix, m<n, with nonsingular mxm submatrix B and b is an m-dimensional integer vector, finds a nonnegative integer solution to the system Ax=b or determines that no such solution exists, provided that b is located sufficiently "deep" in the cone generated by the columns of B. This result improves on some of the previously known conditions that guarantee polynomial-time solvability of linear Diophantine problems.


title: Splitting of the homology of the punctured mapping class group

abstract: Let $\Gamma_{g,1}^m$ be the mapping class group of the orientable surface $\Sigma_{g,1}^m$ of genus $g$ with one parametrised boundary curve and $m$ permutable punctures; when $m=0$ we omit it from the notation. Let $\beta_{m}(\Sigma_{g,1})$ be the braid group on $m$ strands of the surface $\Sigma_{g,1}$. We prove that $H_*(\Gamma_{g,1}^m;\mathbb{Z}_2)\cong H_*(\Gamma_{g,1};H_*(\beta_{m}(\Sigma_{g,1});\mathbb{Z}_2))$. The main ingredient is the computation of $H_*(\beta_{m}(\Sigma_{g,1});\mathbb{Z}_2)$ as a symplectic representation of $\Gamma_{g,1}$.


title: Strong and weak divergence of exponential and linear-implicit Euler approximations for stochastic partial differential equations with superlinearly growing nonlinearities

abstract: The explicit Euler scheme and similar explicit approximation schemes (such as the Milstein scheme) are known to diverge strongly and numerically weakly in the case of one-dimensional stochastic ordinary differential equations with superlinearly growing nonlinearities. It remained an open question whether such a divergence phenomenon also holds in the case of stochastic partial differential equations with superlinearly growing nonlinearities such as stochastic Allen-Cahn equations. In this work we solve this problem by proving that full-discrete exponential Euler and full-discrete linear-implicit Euler approximations diverge strongly and numerically weakly in the case of stochastic Allen-Cahn equations. This article also contains a short literature overview on existing numerical approximation results for stochastic differential equations with superlinearly growing nonlinearities.


title: The massless Einstein-Boltzmann system with a conformal-gauge singularity in an FLRW background

abstract: We obtain finite-time existence for the massless Boltzmann equation, with a range of soft cross-sections, in an FLRW background with data given at the initial singularity. In the case of positive cosmological constant we obtain long-time existence in proper-time for small data as a corollary.


title: Analysis of Privacy Policies to Enhance Informed Consent (Extended Version)

abstract: In this report, we present an approach to enhance informed consent for the processing of personal data. The approach relies on a privacy policy language used to express, compare and analyze privacy policies. We describe a tool that automatically reports the privacy risks associated with a given privacy policy in order to enhance data subjects' awareness and to allow them to make more informed choices. The risk analysis of privacy policies is illustrated with an IoT example.


title: Kazhdan-Lusztig representations and Whittaker space of some genuine representations

abstract: We prove a formula for the dimension of Whittaker functionals of irreducible constituents of a regular unramified genuine principal series for covering groups. The formula explicitly relates such dimension to the Kazhdan-Lusztig representations associated with certain right cells of the Weyl group. We also state a refined version of the formula, which is proved under some natural assumption. The refined formula is also verified unconditionally in several important cases.


title: Attention-Based Structural-Plasticity

abstract: Catastrophic forgetting/interference is a critical problem for lifelong learning machines, which impedes the agents from maintaining their previously learned knowledge while learning new tasks. Neural networks, in particular, suffer plenty from the catastrophic forgetting phenomenon. Recently there has been several efforts towards overcoming catastrophic forgetting in neural networks. Here, we propose a biologically inspired method toward overcoming catastrophic forgetting. Specifically, we define an attention-based selective plasticity of synapses based on the cholinergic neuromodulatory system in the brain. We define synaptic importance parameters in addition to synaptic weights and then use Hebbian learning in parallel with backpropagation algorithm to learn synaptic importances in an online and seamless manner. We test our proposed method on benchmark tasks including the Permuted MNIST and the Split MNIST problems and show competitive performance compared to the state-of-the-art methods.


title: On-demand semiconductor source of entangled photons which simultaneously has high fidelity, efficiency, and indistinguishability

abstract: An outstanding goal in quantum optics and scalable photonic quantum technology is to develop a source that each time emits one and only one entangled photon pair with simultaneously high entanglement fidelity, extraction efficiency, and photon indistinguishability. By coherent two-photon excitation of a single InGaAs quantum dot coupled to a circular Bragg grating bullseye cavity with broadband high Purcell factor up to 11.3, we generate entangled photon pairs with a state fidelity of 0.90(1), pair generation rate of 0.59(1), pair extraction efficiency of 0.62(6), and photon indistinguishability of 0.90(1) simultaneously. Our work will open up many applications in high-efficiency multi-photon experiments and solid-state quantum repeaters.


title: Maximum Supercooling Studies in Ti39.5Zr39.5Ni21 and Zr80Pt20 - Connecting Liquid Structure and the Nucleation Barrier

abstract: Almost three quarters of a century ago, Charles Frank proposed that the deep supercooling observed in metallic liquids is due to icosahedral short-range order (ISRO), which is incompatible with the long-range order of crystal phases. Some evidence in support of this hypothesis has been published previously. However, those studies were based on a small population of maximum supercooling measurements before the onset of crystallization. Here, the results of a systematic statistical study of several hundred maximum supercooling measurements on Ti39.5Zr39.5Ni21 and Zr80Pt20 liquids are presented. Previous X-Ray and neutron scattering studies have shown that the structures of these liquid alloys contain significant amounts of ISRO. The results presented here show a small work of critical cluster formation (W* = 31 - 40 kBT) from the analysis of the supercooling data for the Ti39.5Zr39.5Ni21 liquid, which crystallizes to a metastable icosahedral quasicrystal. A much larger value (W* = 60 - 99 kBT) was obtained for the Zr80Pt20 liquid, which does not crystallize to an icosahedral quasicrystal. Taken together, these results significantly strengthen the validity of Frank's hypothesis.


title: On the Solution Calculation of Nonlinear Ordinary Differential Equations via Exact Quadratization

abstract: We show a general method allowing the solution calculation, in the form of a power series, for a very large class of nonlinear Ordinary Differential Equations (ODEs), namely the real analytic $\sigma\pi$-ODEs (and, more in general, the real analytic $\sigma\pi$-{\it reducible} ODEs) in many indeterminates, characterized by an ODE-function given by generalized polynomials of the indeterminates and their derivatives, i.e. functions formally polynomial with exponents, though the exponent can be any real number. The solution method consists in reducing the ODE to a certain canonical quadratic ODE, with a larger number of indeterminates, whose solutions include, as sub-solutions, the original solutions, and for which a recursive formula is shown, giving all coefficients of the solution power series directly from the ODE parameters. The reduction method is named {\it exact quadratization} and was formerly introduced in another our article, where we considered explicit ODEs only. In the present paper, which is self-contained to a large extent, we review and complete the theory of exact quadratization by solving issues, such as for instance the {\it globality} of the quadratization, that had remained open, and also extend it to the more general case of an implicitly defined ODE. Finally, we argue that the result can be seen as a partial solution of a differential version of the 22nd Hilbert's problem.


title: Analysis of terahertz wave nonlinear reflection by an array of double silicon elements placed on a metal substrate

abstract: We demonstrate results of a simulation of nonlinear reflection of intensive terahertz radiation from a silicon-on-metal metasurface involving an excitation of a high-Q trapped mode resonance. Conditions are presented to observe effects of bistability and hysteresis of nonlinear reflection.


title: Universal scaling of conserved charge in the stochastic diffusion dynamics

abstract: In this paper, we explore the Kibble-Zurek scaling of the conserved charge, using the stachastic diffusion dynamics. After determining the characteristic scales $\tau_{kz}$ and $l_{kz}$ and properly rescaling the traditional correlation function and cumulant, we construct universal functions for both the two-point correlation function $C(y_1-y_2;\tau)$ and second-order cumulant $K(\Delta y,\tau)$ of the conserved charge in the critical regime, which are insensitive to the initial temperature and a parameter in the mapping between 3D Ising model and the hot QCD system near the critical point.


title: A Search for High-Frequency Coronal Brightness Variations in the 21 August 2017 Total Solar Eclipse

abstract: We report on a search for short-period intensity variations in the green-line FeXIV 530.3 nm emission from the solar corona during the 21 August 2017 total eclipse viewed from Idaho in the United States. Our experiment was performed with a much more sensitive detection system, and with better spatial resolution, than on previous occasions (1999 and 2001 eclipses), allowing fine details of quiet coronal loops and an active-region loop system to be seen. A guided 200-mm-aperture Schmidt-Cassegrain telescope was used with a state-of-the-art CCD camera having 16-bit intensity discrimination and a field-of-view 0.43 degree x 0.43 degree that encompassed approximately one third of the visible corona. The camera pixel size was 1.55 arcseconds, while the seeing during the eclipse enabled features of approx. 2 arcseconds (1450 km on the Sun) to be resolved. A total of 429 images were recorded during a 122.9 second portion of the totality at a frame rate of 3.49 images per second. In the analysis, we searched particularly for short-period intensity oscillations and travelling waves, since theory predicts fast-mode magneto-hydrodynamic (MHD) waves with short periods may be important in quiet coronal and active-region heating. Allowing first for various instrumental and photometric effects, we used a wavelet technique to search for periodicities in some 404 000 pixels in the frequency range 0.5-1.6 Hz (periods: 2 second to 0.6 second). We also searched for travelling waves along some 65 coronal structures. However, we found no statistically significant evidence in either. This negative result considerably refines the limit that we obtained from our previous analyses, and it indicates that future searches for short-period coronal waves may be better directed towards Doppler shifts as well as intensity oscillations.


title: Band Structure and Spin-Orbital Texture of the (111)-KTaO3 Two-Dimensional Electron Gas

abstract: Two-dimensional electron gases (2DEGs) in oxides show great potential for discovering new physical phenomena and at the same time hold promise for electronic applications. In this work we use angle resolved photoemission to determine the electronic structure of a 2DEG stabilized in the (111)-oriented surface of the strong spin orbit coupling material KTaO3. Our measurements reveal multiple sub-bands that emerge as a consequence of quantum confinement and form a six-fold symmetric Fermi surface. This electronic structure is well reproduced by self-consistent tight-binding supercell calculations. Based on these calculations we determine the spin and orbital texture of the 2DEG. We show that the 2DEG Fermi surface is derived from bulk J = 3/2 states and exhibits an unconventional anisotropic Rashba-like lifting of the spin-degeneracy. Spin-momentum locking holds only for high symmetry directions and a strong out-of-plane spin component renders the spin-texture three-fold symmetric. We find that the average spin-splitting on the Fermi surface is an order of magnitude larger than in SrTiO3, which should translate into an enhancement in the spin-orbitronic response of (111)-KTaO3 2DEG based devices.


title: Performance of missing transverse momentum reconstruction in proton-proton collisions at $\sqrt{s} =$ 13 TeV using the CMS detector

abstract: The performance of missing transverse momentum (${\vec p}_{\mathrm{T}}^\mathrm{miss}$) reconstruction algorithms for the CMS experiment is presented, using proton-proton collisions at a center-of-mass energy of 13 TeV, collected at the CERN LHC in 2016. The data sample corresponds to an integrated luminosity of 35.9 fb$^{-1}$. The results include measurements of the scale and resolution of ${\vec p}_{\mathrm{T}}^\mathrm{miss}$, and detailed studies of events identified with anomalous ${\vec p}_{\mathrm{T}}^\mathrm{miss}$. The performance is presented of a ${\vec p}_{\mathrm{T}}^\mathrm{miss}$ reconstruction algorithm that mitigates the effects of multiple proton-proton interactions, using the "pileup per particle identification" method. The performance is shown of an algorithm used to estimate the compatibility of the reconstructed ${\vec p}_{\mathrm{T}}^\mathrm{miss}$ with the hypothesis that it originates from resolution effects.


title: Gravitational backreaction simulations of simple cosmic string loops

abstract: We present the results of computational gravitational backreaction on simple models of cosmic string loops. These results give us insight into the general behavior of cusps and kinks on loops, in addition to other features of evolution. Kinks are rounded off via an asymmetric and divergent correction to the string direction. The result is that cusps emerge in the place of kinks but the resulting smooth string section has a small amount of energy. Existing cusps persist, but quickly lose strength as backreaction removes energy from the string surrounding the cusp. Both kinks and cusps have their location in space shifted slightly with each oscillation.


title: Photon induced processes in semi-central nucleus-nucleus collisions

abstract: We calculate total and differential cross sections for $J/\psi$ photoproduction in ultrarelativistic lead-lead collisions at the LHC energy $\sqrt{s_{NN}}=2.76$ TeV. We use a simple model based on vector dominance picture and multiple scattering of the hadronic ($c \bar c$) state in a cold nucleus. In our analysis we use Glauber formulae for calculating $\sigma_{tot,J/\psi Pb}$ which is a building block of our model. For semi-central collisions a modification of the photon flux is necessary. We discuss how to effectively correct photon fluxes for geometry effects. We try to estimate the cross sections for different centrality bins and for $J/\psi$ mesons emitted in forward rapidity range ($2.5<y<4$) corresponding to the ALICE experimental results. We discuss similar analysis for dilepton production in ultrarelativistic heavy-ion collisions at very low pair transverse momenta, $P_T\leq 0.15$\,GeV. We investigate the interplay of thermal radiation with photon annihilation processes, $\gamma \gamma \to l^+ l^-$, due to the coherent electromagnetic fields of the colliding nuclei. For the thermal radiation, we employ the emission from the QGP and hadronic phases with in-medium vector spectral functions. We first verify that the combination of photon fusion, thermal radiation and final-state hadron decays gives a fair description of the low-$P_T$ invariant-mass as well as $P_T$ distributions as measured recently by the STAR collaboration in $\sqrt{s_{NN}}$=200\,GeV Au+Au collisions for different centralities. The coherent contribution dominates in peripheral collisions, while thermal radiation shows a significantly stronger increase with centrality. We also provide predictions for the ALICE experiment at the LHC. The resulting excitation function reveals a nontrivial interplay of photoproduction and thermal radiation.


title: Modified log-Sobolev inequalities for strongly log-concave distributions

abstract: We show that the modified log-Sobolev constant for a natural Markov chain which converges to an $r$-homogeneous strongly log-concave distribution is at least $1/r$. Applications include a sharp mixing time bound for the bases-exchange walk for matroids, and a concentration bound for Lipschitz functions over these distributions.


title: Routing-Based Delivery in Combination-Type Networks with Random Topology

abstract: The coded caching scheme proposed by Maddah-Ali and Niesen (MAN) transmits coded multicast messages to users equipped with caches and it is known to be optimal within a constant factor. This work extends this caching scheme to two-hop relay networks with one main server with access to a library of $N$ files, and $H$ relays communicating with $K$ users with cache, each of which is connected to a random subset of relays. This topology can be considered as a generalized version of a celebrated family of networks, referred to as combination networks. Our approach is simply based on routing MAN packets through the network. The optimization of the routing can be formulated as a Linear Program (LP). In addition, to reduce the computation complexity, a dynamic algorithm is proposed to approach the LP solution. Numerical simulations show that the proposed scheme outperforms the existing caching schemes for this class of networks.


title: A quantum-classical duality and emergent space-time

abstract: We consider the quantum partition function for a system of quantum spinors and then derive an equivalent (or dual) classical partition function for some scalar degrees of freedom. The coupling between scalars is non-trivial (e.g. a model on 2-sphere configuration space), but the locality structure of the dual system is preserved, in contrast to the imaginary time formalism. We also show that the measure of integration in the classical partition function can be formally expressed through relativistic Green's functions which suggests a possible mechanism for the emergence of a classical space-time from anti-commutativity of quantum operators.


title: Lifting coarse homotopies

abstract: Coarse geometry, and in particular coarse homotopy theory, has proven to be a powerful tool for approaching problems in geometric group theory and higher index theory. In this paper, we continue to develop theory in this area by proving a Coarse Lifting Lemma with respect to a certain class of bornologous surjective maps. This class is wide enough to include quotients by coarsely discontinuous group actions, which allows us to obtain results concerning the coarse fundamental group of quotients which are analogous to classical topological results for the fundamental group. As an application, we compute the fundamental group of metric cones over negatively curved compact Riemannian manifolds.


title: Discovery potential of multi-ton xenon detectors in neutrino electromagnetic properties

abstract: Next-generation xenon detectors with multi-ton-year exposure are powerful direct probes of dark matter candidates, in particular the favorite weakly-interacting massive particles. Coupled with the features of low thresholds and backgrounds, they are also excellent telescopes of solar neutrinos. In this paper, we study the discovery potential of ton-scale xenon detectors in electromagnetic moments of solar neutrinos. Relevant neutrino-atom scattering processes are calculated by applying a state-of-the-arts atomic many-body method--relativistic random phase approximation (RRPA). Limits on these moments are derived from existing data and estimated with future experiment specifications. With one ton-year exposure, XENON-1T can improve the effective milli-charge constraint by a factor two. With LZ and DARWIN, the projected improvement on the solar neutrino effective milli-charge(magnetic moment) is around 7(2) times smaller than the current bound. If LZ can keep the same background level and push the electron recoil threshold to 0.5 keV, the projected improvement on milli-charge(magnetic moment) is about 10(3) times smaller than the current bound.


title: On extension of quantum channels and operations to the space of relatively bounded operators

abstract: We analyse possibility to extend a quantum operation (sub-unital normal CP linear map on the algebra $B(H)$ of bounded operators on a separable Hilbert space $H$) to the space of all operators on $H$ relatively bounded w.r.t. a given positive unbounded operator. We show that a quantum operation $\,\Phi\,$ can be uniquely extended to a bounded linear operator on the Banach space of all $\sqrt{G}$-bounded operators on $H$ provided that the operation $\Phi$ is $G$-limited: the predual operation $\Phi_*$ maps the set of positive trace class operators $\rho$ with finite $\mathrm{Tr}\rho G$ into itself. Assuming that $G$ has discrete spectrum of finite multiplicity we prove that for a wide class of quantum operations the existence of the above extension implies the $G$-limited property. Applications to the theory of Bosonic Gaussian channels are considered.

categories: math-ph math.FA math.MP math.OA quant-ph


title: Strong cliques and forbidden cycles

abstract: Given a graph $G$, the strong clique number $\omega_2'(G)$ of $G$ is the cardinality of a largest collection of edges every pair of which are incident or connected by an edge in $G$. We study the strong clique number of graphs missing some set of cycle lengths. For a graph $G$ of large enough maximum degree $\Delta$, we show among other results the following: $\omega_2'(G)\le5\Delta^2/4$ if $G$ is triangle-free; $\omega_2'(G)\le3(\Delta-1)$ if $G$ is $C_4$-free; $\omega_2'(G)\le\Delta^2$ if $G$ is $C_{2k+1}$-free for some $k\ge 2$. These bounds are attained by natural extremal examples. Our work extends and improves upon previous work of Faudree, Gy\'arf\'as, Schelp and Tuza (1990), Mahdian (2000) and Faron and Postle (2019). We are motivated by the corresponding problems for the strong chromatic index.


title: A Homological Approach to Belief Propagation and Bethe Approximations

abstract: We introduce a differential complex of local observables given a decomposition of a global set of random variables into subsets. Its boundary operator allows us to define a transport equation equivalent to Belief Propagation. This definition reveals a set of conserved quantities under Belief Propagation and gives new insight on the relationship of its equilibria with the critical points of Bethe free energy.


title: Are My Invariants Valid? A Learning Approach

abstract: Ensuring that a program operates correctly is a difficult task in large, complex systems. Enshrining invariants -- desired properties of correct execution -- in code or comments can support maintainability and help sustain correctness. Tools that can automatically infer and recommend invariants can thus be very beneficial. However, current invariant-suggesting tools, such as Daikon, suffer from high rates of false positives, in part because they only leverage traced program values from available test cases, rather than directly exploiting knowledge of the source code per se. We propose a machine-learning approach to judging the validity of invariants, specifically of method pre- and post-conditions, based directly on a method's source code. We introduce a new, scalable approach to creating labeled invariants: using programs with large test-suites, we generate Daikon invariants using traces from subsets of these test-suites, and then label these as valid/invalid by cross-validating them with held-out tests. This process induces a large set of labels that provide a form of noisy supervision, which is then used to train a deep neural model, based on gated graph neural networks. Our model learns to map the lexical, syntactic, and semantic structure of a given method's body into a probability that a candidate pre- or post-condition on that method's body is correct and is able to accurately label invariants based on the noisy signal, even in cross-project settings. Most importantly, it performs well on a hand-curated dataset of invariants.


title: Characterization of P-groups By Sum of Element Orders

abstract: Let $G$ be a finite group. Then we denote $\psi(G) = \sum_{x\in G}o(x)$ where $o(x)$ is the order of the element $x$ in $G$. In this paper we characterize some finite $p$-groups ($p$ a prime) by $\psi$ and their orders.


title: Boundary non-crossing probabilities of Gaussian processes: sharp bounds and asymptotics

abstract: We study boundary non-crossing probabilities $$ P_{f,u} := \mathrm P\big(\forall t\in \mathbb T\ X_t + f(t)\le u(t)\big) $$ for continuous centered Gaussian process $X$ indexed by some arbitrary compact separable metric space $\mathbb T$. We obtain both upper and lower bounds for $P_{f,u}$. The bounds are matching in the sense that they lead to precise logarithmic asymptotics for the large-drift case $P_{y f,u}$, $y \to+\infty$, which are two-term approximations (up to $o(y)$). The asymptotics are formulated in terms of the solution $\tilde f$ to the constrained optimization problem $$ \|h\|_{\mathbb H_X}\to \min, \quad h\in \mathbb H_X, h\ge f $$ in the reproducing kernel Hilbert space $\mathbb H_X$ of $X$. Several applications of the results are further presented.


title: High-dimensional nonparametric density estimation via symmetry and shape constraints

abstract: We tackle the problem of high-dimensional nonparametric density estimation by taking the class of log-concave densities on $\mathbb{R}^p$ and incorporating within it symmetry assumptions, which facilitate scalable estimation algorithms and can mitigate the curse of dimensionality. Our main symmetry assumption is that the super-level sets of the density are $K$-homothetic (i.e. scalar multiples of a convex body $K \subseteq \mathbb{R}^p$). When $K$ is known, we prove that the $K$-homothetic log-concave maximum likelihood estimator based on $n$ independent observations from such a density has a worst-case risk bound with respect to, e.g., squared Hellinger loss, of $O(n^{-4/5})$, independent of $p$. Moreover, we show that the estimator is adaptive in the sense that if the data generating density admits a special form, then a nearly parametric rate may be attained. We also provide worst-case and adaptive risk bounds in cases where $K$ is only known up to a positive definite transformation, and where it is completely unknown and must be estimated nonparametrically. Our estimation algorithms are fast even when $n$ and $p$ are on the order of hundreds of thousands, and we illustrate the strong finite-sample performance of our methods on simulated data.


title: Effect of size polydispersity on the pitch of nanorod cholesterics

abstract: Many nanoparticle-based chiral liquid crystals are composed of polydisperse rod-shaped particles with considerable spread in size or shape, affecting the mesoscale chiral properties in, as yet, unknown ways. Using an algebraic interpretation of Onsager-Straley theory for twisted nematics, we investigate the role of length polydispersity on the pitch of nanorod-based cholesterics with a continuous length polydispersity, and find that polydispersity enhances the twist elastic modulus, $K_{2}$, of the cholesteric material without affecting the effective helical amplitude, $K_{t}$. In addition, for the infinitely large average aspect ratios considered here, the dependence of the pitch on the overall rod concentration is completely unaffected by polydispersity. For a given concentration, the increase in twist elastic modulus (and reduction of the helical twist) may be up to 50% for strong size polydispersity, irrespective of the shape of the unimodal length distribution. We also demonstrate that the twist reduction is reinforced in bimodal distributions, by doping a polydisperse cholesteric with very long rods. Finally, we identify a subtle, non-monotonic change of the pitch across the isotropic-cholesteric biphasic region.


title: Observation of a Correlation Between Internal friction and Urbach Energy in Amorphous Oxides Thin Films

abstract: We have investigated by spectroscopic ellipsometry (SE, 190-1700 nm) the optical properties of uniform, amorphous thin films of Ta2O5 and Nb2O5 as deposited and after annealing, and after so-called "doping" with Ti atoms which leads to mixed oxides. Ta2O5 and Ti:Ta2O5 are currently used as high-index components in Bragg reflectors for Gravitational Wave Detectors. Parallel to the optical investigation, we measured the mechanical energy dissipation of the same coatings, through the so-called "loss angle" phi = Q^-1, which quantifies the energy loss in materials. By applying the well-known Cody-Lorentz model in the analysis of SE data we have been able to derive accurate information on the fundamental absorption edge through important parameters related to the electronic density of states, such as the optical gap (E_g) and the energy width of the exponential Urbach tail (the Urbach energy E_U). We have found that E_U is neatly reduced by suitable annealing as is also perceptible from direct inspection of SE data. Ti-doping also points to a minor decrease of E_U. The reduction of E_U parallels a lowering of the mechanical losses quantified by the loss angle phi. The correlation highlights that both the electronic states responsible of Urbach tail and the internal friction are sensitive to a self-correlation of defects on a medium-range scale, which is promoted by annealing and in our case, to a lesser extent, by doping. These observations may contribute to a better understanding of the relationship between structural and mechanical properties in amorphous oxides.


title: Accumulation charts for instant-runoff elections

abstract: We propose a new graphical format for instant-runoff voting election results. We call this proposal an "accumulation chart." This model, a modification of standard bar charts, is easy to understand, clearly indicates the winner, depicts the instant-runoff algorithm, and summarizes the votes cast. Moreover, it includes the pedigree of each accumulated vote and gives a clear depiction of candidates' coalitions.