title: Metric completion of $Diff([0,1])$ with the $H1$ right-invariant metric

abstract: We consider the group of smooth increasing diffeomorphisms Diff on the unit interval endowed with the right-invariant $H^1$ metric. We compute the metric completion of this space which appears to be the space of increasing maps of the unit interval with boundary conditions at $0$ and $1$. We compute the lower-semicontinuous envelope associated with the length minimizing geodesic variational problem. We discuss the Eulerian and Lagrangian formulation of this relaxation and we show that smooth solutions of the EPDiff equation are length minimizing for short times.


title: Nakedly singular counterpart of Schwarzschild's incompressible star. A barotropic continuity condition in the center

abstract: A static sphere of incompressible fluid with uniform proper energy density is considered as an example of exact star-like solution with weakened central regularity conditions characteristic of a nakedly singular spherical vaccuum solution. The solution is a singular counterpart of the Schwarzschild's interior solution. The initial condition in the center for general barotropic equations of state is established.


title: Fingerprint matching of beyond-WIMP dark matter: neural network approach

abstract: Galactic-scale structure is of particular interest since it provides important clues to dark matter properties and its observation is improving. Weakly interacting massive particles (WIMPs) behave as cold dark matter on galactic scales, while beyond-WIMP candidates suppress galactic-scale structure formation. Suppression in the linear matter power spectrum has been conventionally characterized by a single parameter, the thermal warm dark matter mass. On the other hand, the shape of suppression depends on the underlying mechanism. It is necessary to introduce multiple parameters to cover a wide range of beyond-WIMP models. Once multiple parameters are introduced, it becomes harder to share results from one side to the other. In this work, we propose adopting neural network technique to facilitate the communication between the two sides. To demonstrate how to work out in a concrete manner, we consider a simplified model of light feebly interacting massive particles.


title: Verification and Control of Turn-Based Probabilistic Real-Time Games

abstract: Quantitative verification techniques have been developed for the formal analysis of a variety of probabilistic models, such as Markov chains, Markov decision process and their variants. They can be used to produce guarantees on quantitative aspects of system behaviour, for example safety, reliability and performance, or to help synthesise controllers that ensure such guarantees are met. We propose the model of turn-based probabilistic timed multi-player games, which incorporates probabilistic choice, real-time clocks and nondeterministic behaviour across multiple players. Building on the digital clocks approach for the simpler model of probabilistic timed automata, we show how to compute the key measures that underlie quantitative verification, namely the probability and expected cumulative price to reach a target. We illustrate this on case studies from computer security and task scheduling.


title: Intermediate efficiency of some weighted goodness-of-fit statistics

abstract: This paper compares the Anderson-Darling and some Eicker-Jaeschke statistics to the classical unweighted Kolmogorov-Smirnov statistic. The goal is to provide a quantitative comparison of such tests and to study real possibilities of using them to detect departures from the hypothesized distribution that occur in the tails. This contribution covers the case when under the alternative a moderately large portion of probability mass is allocated towards the tails. It is demonstrated that the approach allows for tractable, analytic comparison between the given test and the benchmark, and for reliable quantitative evaluation of weighted statistics. Finite sample results illustrate the proposed approach and confirm the theoretical findings. In the course of the investigation we also prove that a slight and natural modification of the solution proposed by Borovkov and Sycheva (1968) leads to a statistic which is a member of Eicker-Jaeschke class and can be considered an attractive competitor of the very popular supremum-type Anderson-Darling statistic.


title: Quantum radiation reaction in aligned crystals beyond the local constant field approximation

abstract: We report on experimental spectra of photons radiated by 50 GeV positrons crossing silicon single crystals of thicknesses 1.1 mm, 2.0 mm, 4.2 mm, and 6.2 mm at sufficiently small angles to the (110) planes that their motion effectively is governed by the continuum crystal potential. The experiment covers a new regime of interaction where each positron emits several hard photons, whose recoil are not negligible and which are formed on lengths where the variation of the crystal field cannot be ignored. As a result neither the single-photon semiclassical theory of Baier et al. nor the conventional cascade approach to multiple hard photon emissions (quantum radiation reaction) based on the local constant field approximation are able to reproduce the experimental results. After developing a theoretical scheme which incorporates the essential physical features of the experiments, i.e., multiple emissions, photon recoil and background field variation within the radiation formation length, we show that it provides results in convincing agreement with the data.


title: Backward It{\^o}-Ventzell and stochastic interpolation formulae

abstract: We present a novel backward It{\^o}-Ventzell formula and an extension of the Aleeksev-Gr\"obner interpolating formula to stochastic flows. We also present some natural spectral conditions that yield direct and simple proofs of time uniform estimates of the difference between the two stochastic flows when their drift and diffusion functions are not the same, yielding what seems to be the first results of this type for this class of anticipative models. We illustrate the impact of these results in the context of diffusion perturbation theory, interacting diffusions and discrete time approximations


title: Spatiotemporal Stabilization of Locally PT-symmetric Semiconductor Lasers

abstract: We provide a feasible and compact scheme to control and stabilize the spatiotemporal dynamics of BAS lasers. The proposal is based on the ability of non-Hermitian potentials with given local symmetries to manage the flow of light. A local PT-symmetric configuration allows to control, enhance and localize the generated light. We impose a pump modulation, with a central symmetry axis which induces in-phase gain and refractive index modulations due to the Henry factor. Both modulations are, in turn, spatially dephased by an appropriate index profile to yield to a local PT-symmetry within the modified BAS laser. Such local PT-symmetry potential induces an inward mode coupling, accumulating the light generated from the entire active layer at the central symmetry axis, which ensures spatial regularization and temporal stability. By an exhaustive exploration of the modulation parameters, we show a significant improvement of the intensity concentration, stability and brightness of the emitted beam. This approach produces a two-fold benefit: light localization into a narrow beam emission and the control over the spatiotemporal dynamics, improving the laser performance.


title: Existence, regularity, asymptotic decay and radiality of solutions to some extension problems

abstract: Supposing only that $\displaystyle\lim_{t \to 0} \frac{f(t)}{t} = 0$ and $\displaystyle\lim_{t \to \infty} \frac{f(t)}{t^{p}} = 0$, for some $p \in \left(1,\frac{N+1}{N-1}\right)$, we prove that solutions to the extension problem \begin{equation*}\left\{ \begin{array}{rcll} -\Delta u+ m^2u &=& 0, &\mbox{in} \ \ \mathbb{R}^{N+1}_{+} \\ -\frac{\partial u}{\partial{x}} (0,y)& =& f(u(0,y)), & y \in \mathbb{R}^{N}, \end{array}\right. \end{equation*} and also to the extension Hartree problem \begin{equation*} \left\{\begin{aligned} -\Delta u +m^2u&=0, &&\mbox{in} \ \mathbb{R}^{N+1}_+,\\ -\displaystyle\frac{\partial u}{\partial x}(0,y)&=-V_\infty u(0,y)+\left(\frac{1}{|y|^{N-\alpha}}*F(u(0,y))\right)f(u(0,y)) &&\mbox{in} \ \mathbb{R}^{N}\end{aligned}\right. \end{equation*} are radially symmetric in $\mathbb{R}^N$. In the last problem, $V_\infty>0$ is a constant and $F$ the primitive of $f$. Under the same hypotheses, regularity and exponential decay of solutions to the first problem is also proved and, supposing the traditional Ambrosetti-Rabinowitz condition, also existence of a ground state solution.


title: Generation of hybrid maximally entangled states in a one-dimensional quantum walk

abstract: We study the generation of hybrid entanglement in a one-dimensional quantum walk. In particular, we explore the preparation of maximally entangled states between position and spin degrees of freedom. We address it as an optimization problem, where the cost function is the Schmidt norm. We then benchmark the algorithm and compare the generation of entanglement between the Hadamard quantum walk, the random quantum walk and the optimal quantum walk. Finally, we discuss an experimental scheme with a photonic quantum walk in the orbital angular momentum of light. The experimental measurement of entanglement can be achieved with quantum state tomography.


title: Mean shape of the human limbus

abstract: Purpose: To characterize the mean topographical shape of the human limbus of a normal eye and ascertain whether it depends on age and refractive power. Setting: Academic institution. Design: Prospective case series. Methods: 74 subjects aged from 20 to 84 years and with no previous ocular surgeries were included in this study. The left eye was measured four times with a corneo scleral topographer (Eye Surface Profiler). From the raw anterior eye height data of each measurement, topographical limbus was demarcated and fitted in three dimensions to a circle, an ellipse and a Fourier series. Root mean square error (RMSE) was calculated to evaluate the goodness of fit. In addition, white to white (WTW) corneal diameter was taken from the readings of the measuring device and compared with the topographical limbus. For statistical analysis, subjects were grouped as young and older, and also according their equivalent sphere correction. Results: From the considered models, second order Fourier series resulted in the most accurate model to describe the shape of the human limbus. The difference between the topographical limbus diameter and the WTW corneal diameter amounted on average and standard deviation to 0.33 mm and 0.24 mm. Statistically significant differences among eye quadrants were found. No statistically significant difference in horizontal and vertical meridian between age groups (P=0.71 and P=0.082, respectively) or between myopes and emmetropes (P=0.78 and P=0.68, respectively) were found. Conclusions: Human limbus is not symmetrical and its shape is subject dependent but not related to age and eye refractive power.


title: Precision measurements on the $^{138}$Ba$^+$ $6s^2S_{1/2}-5d^2D_{5/2}$ clock transition

abstract: Measurement of the $^{138}$Ba$^+$ ${}^2S_{1/2} - {}^2D_{5/2}$ clock transition frequency and $D_{5/2}$ Land\'e $g_J$ factor are reported. The clock transition frequency $\nu_{\mathrm{Ba}^+}=170\,126\,432\,449\,333.31\pm(0.39)_\mathrm{stat}\pm(0.29)_\mathrm{sys}\,$Hz, is obtained with accuracy limited by the frequency calibration of the maser used as a reference oscillator. The Land\'{e} $g_J$-factor for the ${}^2D_{5/2}$ level is determined to be $g_{D}=1.200\,367\,39(24)$, which is a 30-fold improvement on previous measurements. The $g$-factor measurements are corrected for an ac-magnetic field from trap-drive-induced currents in the electrodes, and data taken over a range of magnetic fields underscores the importance of accounting for this systematic.


title: Uncertainty Modeling and Analysis of the European X-ray Free Electron Laser Cavities Manufacturing Process

abstract: This paper reports on comprehensive efforts on uncertainty quantification and global sensitivity analysis for accelerator cavity design. As a case study object the TESLA shaped superconducting cavities, as produced for the European X-ray Free Electron Laser (EXFEL), are selected. The choice for these cavities is explained by the available measurement data that can be leveraged to substantiate the simulation model. Each step of the manufacturing chain is documented together with the involved uncertainties. Several of these steps are mimicked on the simulation side, e.g. by introducing a random eigenvalue problem. The uncertainties are then quantified numerically and in particular the sensitivities give valuable insight into the systems behavior. We also compare these findings to purely statistical studies carried out for the manufactured cavities. More advanced, adaptive, surrogate modeling techniques are adopted, which are crucial to incorporate a large number of uncertain parameters. The main contribution is the detailed comparison and fusion of measurement results for the EXFEL cavities on the one hand and simulation based uncertainty studies on the other hand. After introducing the quantities of physical interest for accelerator cavities and the Maxwell eigenvalue problem, the details on the manufacturing of the EXFEL cavities and measurements are reported. This is followed by uncertainty modeling with quantification studies.


title: Non-uniform Bounds in the Poisson Approximation with Applications to Informational Distances. I

abstract: We explore asymptotically optimal bounds for deviations of Bernoulli convolutions from the Poisson limit in terms of the Shannon relative entropy and the Pearson $\chi^2$-distance. The results are based on proper non-uniform estimates for densities. They deal with models of non-homogeneous, non-degenerate Bernoulli distributions.


title: Strain and thickness effects on magnetocrystalline anisotropy of CoFe(011) films

abstract: We investigate MCA of CoFe(011) thin films as a function of strength of strain and film thickness has been studied. It is elucidated that perpendicular magnetocystalline anisotropy (MCA) energy (EMCA) is getting stronger with compressed xy-plane lattice constant while in-plane MCA is become an easy-axis by tensile strain on xy-plane. The reason of the EMCA behaviors can be explained by features of electronic structures.


title: Modeling discontinuous potential distributions using the finite volume method, and application to liquid metal batteries

abstract: The electrical potential in a battery jumps at each electrode-electrolyte interface. We present a model for computing three-dimensional current and potential distributions, which accounts for such internal voltage jumps. Within the framework of the finite volume method we discretize the Laplace and gradient operators such that they account for internal jump boundary conditions. After implementing a simple battery model in OpenFOAM we validate it using an analytical test case, and show its capabilities by simulating the current distribution and discharge curve of a Li||Bi liquid metal battery.


title: Query-based Deep Improvisation

abstract: In this paper we explore techniques for generating new music using a Variational Autoencoder (VAE) neural network that was trained on a corpus of specific style. Instead of randomly sampling the latent states of the network to produce free improvisation, we generate new music by querying the network with musical input in a style different from the training corpus. This allows us to produce new musical output with longer-term structure that blends aspects of the query to the style of the network. In order to control the level of this blending we add a noisy channel between the VAE encoder and decoder using bit-allocation algorithm from communication rate-distortion theory. Our experiments provide new insight into relations between the representational and structural information of latent states and the query signal, suggesting their possible use for composition purposes.


title: Non-Uniform Bounds in the Poisson Approximation with Applications to Informational Distances. II

abstract: We explore asymptotically optimal bounds for deviations of distributions of independent Bernoulli random variables from the Poisson limit in terms of the Shannon relative entropy and R\'enyi/Tsallis relative distances (including Pearson's $\chi^2$). This part generalizes the results obtained in Part I and removes any constraints on the parameters of the Bernoulli distributions.


title: New partial symmetries from group algebras for lepton mixing

abstract: Recent stringent experiment data of neutrino oscillations induces partial symmetries such as $Z_{2}$, $Z_{2}\times CP$ to derive lepton mixing patterns. New partial symmetries expressed with elements of group algebras are studied. A specific lepton mixing pattern could correspond to a set of equivalent elements of a group algebra. The transformation which interchanges the elements could express a residual $CP$ symmetry. Lepton mixing matrices from $S_{3}$ group algebras are of the trimaximal form with the $\mu-\tau$ reflection symmetry. Accordingly, elements of $S_{3}$ group algebras are equivalent to $Z_{2}\times CP$. Comments on $S_{4}$ group algebras are given. The predictions of $Z_{2}\times CP$ broken from the group $S_{4}$ with the generalized $CP$ symmetry are also obtained from elements of $S_{4}$ group algebras.


title: $n$-VDD: Location Privacy Protection Based on Voronoi-Delaunay Duality

abstract: To date, location privacy protection is a critical issue in Location-Based Services (LBS). In this work, we propose a novel geometric framework based on the classical discrete geometric structure, the Voronoi-Delaunay duality (VDD). We utilize the fact that the user location cannot be recovered if only given an irregular $n$-sided Voronoi cell around it, and the anonymity zone is the intersection of all the parallel strips perpendicular to and bounded by $n$ Voronoi edges. The irregular Voronoi cell and its variations can be used as the concealing space to hide the user location or the region of interest and submitted to the LBS server. Within this framework, we propose multiple typical anonymizing models by introducing irregularity to the convex regular VDD structure by shifting the interior Voronoi cell, exterior Delaunay polygon, sector rays, or their combinations. The proposed methods are efficient by taking advantage of the VDD principle where main computations are linear line-line intersections. Experiments with various parameters demonstrate the efficiency and efficacy of the proposed $n$-VDD framework.


title: Performance Enhancement of Hybrid SWIPT Protocol for Cooperative NOMA Downlink Transmission

abstract: Time splitting and power splitting incorporating, a hybrid Simultaneous Wireless Information and Power Transfer (SWIPT) based cooperative Non-Orthogonal Multiple Access (CNOMA) protocol is considered in this paper. Cell center user of the CNOMA system acts as a relay to enhance the reliability of the cell edge user (CEU). SWIPT is considered to empower the relay operation to avoid the battery draining issue. To enhance the system performance in terms of ergodic sum capacity (ESC) and outage probabilities (OP), an integration of CNOMA strategy and hybrid SWIPT protocol for the downlink (DL) transmission is proposed here. By utilizing the idle link of hybrid SWIPT protocol an enhanced hybrid SWIPT protocol is proposed here to enhance the performance of CNOMA DL transmission. Moreover, Maximal ratio combining is utilized as a diversity combining technique at CEU to enhance the performance as well. The performance of the proposed protocol is examined in terms of ergodic sum capacity, outage probabilities and energy efficiency. Finally, the analytical results are justified by the Monte-Carlo simulation. Numerical results demonstrate that the proposed protocol with effective CNOMA strategy achieves superior performance than HS-CNOMA with selection combining.


title: Finite-dimensional modules of the universal Racah algebra and the universal additive DAHA of type $(C_1^\vee,C_1)$

abstract: Assume that $\mathbb F$ is an algebraically closed field with characteristic zero. The universal Racah algebra $\Re$ is a unital associative $\mathbb F$-algebra defined by generators and relations. The generators are $A,B, C, D$ and the relations state that $$ [A,B]=[B,C]=[C,A]=2D $$ and each of \begin{gather*} [A,D]+AC-BA, \qquad [B,D]+BA-CB, \qquad [C,D]+CB-AC \end{gather*} is central in $\Re$. The universal additive DAHA (double affine Hecke algebra) $\mathfrak H$ of type $(C_1^\vee,C_1)$ is a unital associative $\mathbb F$-algebra generated by $t_0,t_1,t_0^\vee,t_1^\vee$ and the relations state that $$ t_0+t_1+t_0^\vee+t_1^\vee=-1 $$ and each of $t_0^2, t_1^2, t_0^{\vee 2}, t_1^{\vee 2}$ is central in $\mathfrak H$. Each $\mathfrak H$-module is an $\Re$-module by pulling back via the algebra homomorphism $\Re\to \mathfrak H$ given by \begin{eqnarray*} A &\mapsto & \frac{(t_1^\vee+t_0^\vee)(t_1^\vee+t_0^\vee+2)}{4}, \\ B &\mapsto & \frac{(t_1+t_1^\vee)(t_1+t_1^\vee+2)}{4}, \\ C &\mapsto & \frac{(t_0^\vee+t_1)(t_0^\vee+t_1+2)}{4}. \end{eqnarray*} Let $V$ denote any finite-dimensional irreducible $\mathfrak H$-module. The set of $\Re$-submodules of $V$ forms a lattice under the inclusion partial order. We classify the lattices that arise by this construction. As a consequence, the $\Re$-module $V$ is completely reducible if and only if $t_0$ is diagonalizable on $V$.


title: On the fuzzy maximal covering location problem

abstract: In this paper studies the maximal covering location problem, assuming imprecise knowledge of all data involved. The considered problem is modeled from a fuzzy perspective producing suitable fuzzy Pareto solutions. Some properties of the fuzzy model are studied, which validate the equivalent mixed-binary linear multiobjective formulation proposed. A solution algorithm is developed, based on the augmented weighted Tchebycheff method, which produces solutions of guaranteed Pareto optimality. The effectiveness of the algorithm has been tested with a series of computational experiments, whose numerical results are presented and analyzed


title: Topological constraints for Stein fillings of tight structures on lens spaces

abstract: In this article we give a sharp upper bound on the possible values of the Euler characteristic for a minimal symplectic filling of a tight contact structure on a lens space. This estimate is obtained by looking at the topology of the spaces involved, extending this way what we already knew from the universally tight case to the virtually overtwisted one. As a lower bound, we prove that virtually overtwisted structures on lens spaces never bound Stein rational homology balls. Then we turn our attention to covering maps: since an overtwisted disk lifts to an overtwisted disk, all the coverings of a universally tight structure are themselves tight. The situation is less clear when we consider virtually overtwisted structures. By starting with such a structure on a lens space, we know that this lifts to an overtwisted structure on $S^3$, but what happens to all the other intermediate coverings? We give necessary conditions for these lifts to still be tight, and deduce some information about the fundamental groups of the possible Stein fillings of certain virtually overtwisted structures.


title: Supernilpotent Taylor algebras are nilpotent

abstract: We develop the theory of the higher commutator for Taylor varieties. A new higher commutator operation called the hypercommutator is defined using a type of invariant relation called a higher dimensional congruence. The hypercommutator is shown to be symmetric and satisfy an inequality relating nested terms. For a Taylor algebra the term condition higher commutator and the hypercommutator are equal when evaluated at a constant tuple, and it follows that every supernilpotent Taylor algebra is nilpotent. We end with a characterization of congruence meet-semidistributive varieties in terms of the neutrality of the higher commutator.


title: Uniform preconditioners for problems of positive order

abstract: Using the framework of operator or Cald\'{e}ron preconditioning, uniform preconditioners are constructed for elliptic operators of order $2s \in [0,2]$ discretized with continuous finite (or boundary) elements. The cost of the preconditioner is the cost of the application an elliptic opposite order operator discretized with discontinuous or continuous finite elements on the same mesh, plus minor cost of linear complexity. Herewith the construction of a so-called dual mesh is avoided.


title: Deep Polyphonic ADSR Piano Note Transcription

abstract: We investigate a late-fusion approach to piano transcription, combined with a strong temporal prior in the form of a handcrafted Hidden Markov Model (HMM). The network architecture under consideration is compact in terms of its number of parameters and easy to train with gradient descent. The network outputs are fused over time in the final stage to obtain note segmentations, with an HMM whose transition probabilities are chosen based on a model of attack, decay, sustain, release (ADSR) envelopes, commonly used for sound synthesis. The note segments are then subject to a final binary decision rule to reject too weak note segment hypotheses. We obtain state-of-the-art results on the MAPS dataset, and are able to outperform other approaches by a large margin, when predicting complete note regions from onsets to offsets.


title: Addendum to: A Theoretical Study of Top-Mass Measurements at the LHC Using NLO+PS Generators of Increasing Accuracy

abstract: This paper is a follow-up of Ref.~\cite{Ravasio:2018lzi}, where we studied the impact of next-to-leading order calculations merged with parton shower generators (NLO+PS) of increasing accuracy in the extraction of the top mass at hadron colliders. Here we examined results obtained with the older (fortran-based) shower generators Pythia6.4 and Herwig6.5. Our findings are in line with what we found in our previous paper with the new, c++-based, generators Pythia8.2 and Herwig7.1.


title: Quantum limit to nonequilibrium heat-engine performance imposed by strong system-reservoir coupling

abstract: We show that finite system-reservoir coupling imposes a distinct quantum limit on the performance of a non-equilibrium quantum heat engine. Even in the absence of quantum friction along the isentropic strokes, finite system-reservoir coupling induces correlations that result in the generation of coherence between the energy eigenstates of the working system. This coherence acts to hamper the engine's power output, as well as the efficiency with which it can convert heat into useful work, and cannot be captured by a standard Born-Markov analysis of the system-reservoir interactions.


title: Some results about permutation properties of a kind of binomials over finite fields

abstract: Permutation polynomials have many applications in finite fields theory, coding theory, cryptography, combinatorial design, communication theory, and so on. Permutation binomials of the form $x^{r}(x^{q-1}+a)$ over $\mathbb{F}_{q^2}$ have been studied before, K. Li, L. Qu and X. Chen proved that they are permutation polynomials if and only if $r=1$ and $a^{q+1}\not=1$. In this paper, we consider the same binomial, but over finite fields $\mathbb{F}_{q^3}$ and $\mathbb{F}_{q^e}$. Two different kinds of methods are employed, and some partial results are obtained for them.


title: A proof of Shelah's eventual categoricity conjecture and an extension to accessible categories with directed colimits

abstract: We provide a proof, in $ZFC$, of Shelah's eventual categoricity conjecture for abstract elementary classes (AEC's). Moreover, assuming in addition the Singular Cardinal Hypothesis ($SCH$), we prove a direct generalization to the more general context of accessible categories with directed colimits. If $\mathcal{K}$ is such a category, we show that there is a cardinal $\mu$ such that if $\mathcal{K}$ is $\lambda$-categorical for some $\lambda \geq \mu$ (i.e., it has only one object of internal size $\lambda$ up to isomorphism), then $\mathcal{K}$ is eventually categorical (i.e., it is $\lambda'$-categorical for every $\lambda' \geq \mu$). When considering cardinalities of models of infinitary theories $\mathbb{T}$ of $\mathcal{L}_{\kappa, \theta}$ that axiomatize $\mathcal{K}$, the result implies, under $SCH$, the following infinitary version of Morley's categoricity theorem: let $S$ be the class of cardinals $\lambda$ which are of cofinality at least $\theta$ but are not successors of cardinals of cofinality less than $\theta$. Then, if $\mathbb{T}$ is a $\mathcal{L}_{\kappa, \theta}$ theory whose models have directed colimits and it is $\lambda$-categorical for some $\lambda \geq \mu$ in $S$, then it is $\lambda'$-categorical for every $\lambda' \geq \mu$ in $S$; moreover, we also exhibit an example that shows that the exceptions in the class $S$ are needed. Along the way we also prove Grossberg conjecture, according to which categoricity in a high enough cardinal implies eventual amalgamation. We establish this result in AEC's and, assuming in addition $SCH$, in the more general context of accessible categories whose morphisms are monomorphisms.


title: Recent diboson and multiboson results in ATLAS

abstract: Recent measurements of the associated production of two or three massive vector bosons in proton-proton collisions at the Large Hadron Collider, collected by the ATLAS detector at a centre-of-mass energy of $\sqrt{s} = 13$ TeV, are reported. The diboson analyses target the production and decay modes $WW\rightarrow e\nu_e\mu\nu_\mu$, $WZ \rightarrow \ell^{\prime} \nu \ell \ell\,(\ell = e, \mu)$, $ZZ \rightarrow \ell\ell\nu\nu$, and the $4\ell$ final state. Fiducial inclusive cross sections are compared to state-of-the-art Standard Model calculations and several unfolded differential distributions are measured. In the $WZ$ channel, the helicities of the $W$ and $Z$ bosons are probed. Results are interpreted in terms of limits on anomalous gauge couplings in the framework of effective field theories. Finally, the first evidence for the production of three massive vector bosons ($WWW$, $WWZ$, $WZZ$) is presented.


title: Comparison radius and mean topological dimension: $\mathbb{Z}^d$-actions

abstract: Consider a minimal free topological dynamical system $(X, T, \mathbb{Z}^d)$. It is shown that the comparison radius of the crossed product C*-algebra $\mathrm{C}(X) \rtimes \mathbb{Z}^d$ is at most the half of the mean topological dimension of $(X, T, \mathbb{Z}^d)$. As a consequence, the C*-algebra $\mathrm{C}(X) \rtimes \mathbb{Z}^d$ is classifiable if $(X, T, \mathbb{Z}^d)$ has zero mean dimension.


title: Comparison radius and mean topological dimension: Rokhlin property, comparison of open sets, and subhomogeneous C*-algebras

abstract: Let $(X, \Gamma)$ be a free minimal dynamical system, where $X$ is a compact separable Hausdorff space and $\Gamma$ is a discrete amenable group. It is shown that, if $(X, \Gamma)$ has a version of Rokhlin property (uniform Rokhlin property) and if $\mathrm{C}(X)\rtimes\Gamma$ has a Cuntz comparison on open sets, then the comparison radius of the crossed product C*-algebra $\mathrm{C}(X) \rtimes \Gamma$ is at most half of the mean topological dimension of $(X, \Gamma)$. These two conditions are shown to be satisfied if $\Gamma = \mathbb Z$ or if $(X, \Gamma)$ is an extension of a free Cantor system and $\Gamma$ has subexponential growth. The main tools being used are Cuntz comparison of diagonal elements of a subhomogeneous C*-algebra and small subgroupoids.


title: Preservation theorems for strong first-order logics

abstract: We prove preservation theorems for $\mathcal{L}_{\omega_1, G}$, the countable fragment of Vaught's closed game logic. These are direct generalizations of the theorems of \L{}o\'s-Tarski (resp. Lyndon) on sentences of $\mathcal{L}_{\omega_1, \omega}$ preserved by substructures (resp. homomorphic images). The solution, in $ZFC$, only uses general features and can be extended to several variants of other strong first-order logic that do not satisfy the interpolation theorem; instead, the results on infinitary definability are used. This solves an open problem dating back to 1977. Another consequence of our approach is the equivalence of the Vop\v{e}nka principle and a general definability theorem on subsets preserved by homomorphisms.


title: Lepton non-universality in $B$-decays in the minimal leptoquark gauge model

abstract: The anomalies in semileptonic $B$-decays are often attributed to new physics scenarios featuring leptoquark degrees of freedom. Attempts to accommodate all the deviations at once usually result in an elaborate model building way beyond the minimal scenarios containing the desired degrees of freedom. However, as it is far from clear whether all these signals (if any) survives the future experimental scrutiny, in this contribution we decided to take the opposite standpoint and review the actual room available for various $B$-decay anomalies within the very minimal low-energy leptoquark gauge model based on the $SU(4)_{C}\otimes SU(2)_{L}\otimes U(1)_{R}$ symmetry group.


title: MarZIC: A Marginal mediation model for Zero-Inflated Compositional mediators with applications to microbiome data

abstract: The human microbiome can contribute to pathogeneses of many complex diseases by mediating disease-leading causal pathways. However, standard mediation analysis methods are not adequate to analyze the microbiome as a mediator due to the excessive number of zero-valued sequencing reads in the data that is compounded by its compositional structure. The two main challenges raised by the zero-inflated data structure are: (a) disentangling the mediation effect induced by the point mass at zero; and (b) identifying the observed zero-valued data points that are actually not zero (i.e., false zeros). We develop a novel marginal mediation analysis method under the potential-outcomes framework to fill this gap and show the marginal model can also account for the compositional structure. The mediation effect can be decomposed into two components that are inherent to the two-part nature of zero-inflated distributions. With probabilistic models to account for observing zeros, we also address the challenge with false zeros. A comprehensive simulation study and the application in a real microbiome study showcase our approach in comparison with existing approaches.


title: Reconstruction-free quantum sensing of arbitrary waveforms

abstract: We present a protocol for directly detecting time-dependent magnetic field waveforms with a quantum two-level system. Our method is based on a differential refocusing of segments of the waveform using spin echoes. The sequence can be repeated to increase the sensitivity to small signals. The frequency bandwidth is intrinsically limited by the duration of the refocusing pulses. We demonstrate detection of arbitrary waveforms with $\sim 20 {\rm ns}$ time resolution and $\sim 4\mu{\rm T}/\sqrt{\rm Hz}$ field sensitivity using the electronic spin of a single nitrogen-vacancy center in diamond.


title: Bounds on the Dimension of the Brill-Noether Schemes of Rank Two Bundles

abstract: The aim of this note is to find upper bounds on the dimension of Brill-Noether locus' inside the moduli space of rank two vector bundles on a smooth algebraic curve. We deduce some consequences of these bounds.


title: A web application for the design of multi-arm clinical trials

abstract: Multi-arm designs provide an effective means of evaluating several treatments within the same clinical trial. Given the large number of treatments now available for testing in many disease areas, it has been argued that their utilisation should increase. However, for any given clinical trial there are numerous possible multi-arm designs that could be used, and choosing between them can be a difficult task. This task is complicated further by a lack of available easy-to-use software for designing multi-arm trials. To aid the wider implementation of multi-arm clinical trial designs, we have developed a web application for sample size calculation when using a variety of popular multiple comparison corrections. Furthermore, the application supports sample size calculation to control several varieties of power, as well as the determination of optimised arm-wise allocation ratios. It is built using the Shiny package in the R programming language, is free to access on any device with an internet browser, and requires no programming knowledge to use. The application provides the core information required by statisticians and clinicians to review the operating characteristics of a chosen multi-arm clinical trial design. We hope that it will assist with the future utilisation of such designs in practice.


title: Challenges for Verifying and Validating Scientific Software in Computational Materials Science

abstract: Many fields of science rely on software systems to answer different research questions. For valid results researchers need to trust the results scientific software produces, and consequently quality assurance is of utmost importance. In this paper we are investigating the impact of quality assurance in the domain of computational materials science (CMS). Based on our experience in this domain we formulate challenges for validation and verification of scientific software and their results. Furthermore, we describe directions for future research that can potentially help dealing with these challenges.


title: Domination above r-independence: does sparseness help?

abstract: Inspired by the potential of improving tractability via gap- or above-guarantee parametrisations, we investigate the complexity of Dominating Set when given a suitable lower-bound witness. Concretely, we consider being provided with a maximal r-independent set X (a set in which all vertices have pairwise distance at least r + 1) along the input graph G which, for r >= 2, lower-bounds the minimum size of any dominating set of G. In the spirit of gap-parameters, we consider a parametrisation by the size of the 'residual' set R := V (G) \ N [X]. Our work aims to answer two questions: How does the constant r affect the tractability of the problem and does the restriction to sparse graph classes help here? For the base case r = 2, we find that the problem is paraNP -complete even in apex- and bounded-degree graphs. For r = 3, the problem is W[2]-hard for general graphs but in FPT for nowhere dense classes and it admits a linear kernel for bounded expansion classes. For r >= 4, the parametrisation becomes essentially equivalent to the natural parameter, the size of the dominating set.


title: A Key to Your Heart: Biometric Authentication Based on ECG Signals

abstract: In recent years, there has been a shift of interest towards the field of biometric authentication, which proves the identity of the user using their biological characteristics. We explore a novel biometric based on the electrical activity of the human heart in the form of electrocardiogram (ECG) signals. In order to explore the stability of ECG as a biometric, we collect data from 55 participants over two sessions with a period of 4 months in between. We also use a consumer-grade ECG monitor that is more affordable and usable than a medical-grade counterpart. Using a standard approach to evaluate our classifier, we obtain error rates of 2.4% for data collected within one session and 9.7% for data collected across two sessions. The experimental results suggest that ECG signals collected using a consumer-grade monitor can be successfully used for user authentication.


title: VM Image Repository and Distribution Models for Federated Clouds: State of the Art, Possible Directions and Open Issues

abstract: The emerging trend of Federated Cloud models enlist virtualization as a significant concept to offer a large scale distributed Infrastructure as a Service collaborative paradigm to end users. Virtualization leverage Virtual Machines (VM) instantiated from user specific templates labelled as VM Images (VMI). To this extent, the rapid provisioning of VMs with varying user requests ensuring Quality of Service (QoS) across multiple cloud providers largely depends upon the image repository architecture and distribution policies. We discuss the possible state-of-art in VMI storage repository and distribution mechanisms for efficient VM provisioning in federated clouds. In addition, we present and compare various representative systems in this realm. Furthermore, we define a design space, identify current limitations, challenges and open trends for VMI repositories and distribution techniques within federated infrastructure.


title: Towards Optimality Preserving Aggregation for Scheduling Distributed Energy Resources

abstract: Scheduling the power exchange between a population of heterogeneous distributed energy resources and the corresponding upper-level system is an important control problem in power systems. A key challenge is the large number of (partially uncertain) parameters and decision variables that increase the computational burden and that complicate the structured consideration of uncertainties. Reducing the number of decision variables by means of aggregation can alleviate these issues. However, despite the frequent use of aggregation for storage, few works in the literature provide formal justification. In the present paper, we investigate aggregation of heterogeneous (storage) devices with time-varying power and energy constraints. In particular, we propose mild conditions on the constraints of each device guaranteeing the applicability of an aggregated model in scheduling without any loss of optimality in comparison to the complete problem. We conclude with a discussion of limitations and possible extensions of our findings.


title: Quantum Approach to Fast Protein-Folding Time

abstract: In the traditional random-conformational-search model, various hypotheses with a series of meta-stable intermediate states were often proposed to resolve the Levinthal paradox. Here we introduce a quantum strategy to formulate protein folding as a quantum walk on a definite graph, which provides us a general framework without making hypotheses. Evaluating it by the mean of first passage time, we find that the folding time via our quantum approach is much shorter than the one obtained via classical random walks. This idea is expected to evoke more insights for future studies.

categories: physics.bio-ph cond-mat.soft cond-mat.stat-mech quant-ph


title: The size Ramsey number of graphs with bounded treewidth

abstract: A graph $G$ is Ramsey for a graph $H$ if every 2-colouring of the edges of $G$ contains a monochromatic copy of $H$. We consider the following question: if $H$ has bounded treewidth, is there a `sparse' graph $G$ that is Ramsey for $H$? Two notions of sparsity are considered. Firstly, we show that if the maximum degree and treewidth of $H$ are bounded, then there is a graph $G$ with $O(|V(H)|)$ edges that is Ramsey for $H$. This was previously only known for the smaller class of graphs $H$ with bounded bandwidth. On the other hand, we prove that the treewidth of a graph $G$ that is Ramsey for $H$ cannot be bounded in terms of the treewidth of $H$ alone. In fact, the latter statement is true even if the treewidth is replaced by the degeneracy and $H$ is a tree.


title: Optimal transport, gradient estimates, and pathwise Brownian coupling on spaces with variable Ricci bounds

abstract: Given a metric measure space $(X,\mathsf{d},\mathfrak{m})$ and a lower semicontinuous, lower bounded function $k\colon X\to\mathbb{R}$, we prove the equivalence of the synthetic approaches to Ricci curvature at $x\in X$ being bounded from below by $k(x)$ in terms of $\bullet$ the Bakry-\'Emery estimate $\Delta\Gamma(f)/2 - \Gamma(f,\Delta f) \geq k\,\Gamma(f)$ in an appropriate weak formulation, and $\bullet$ the curvature-dimension condition $\mathrm{CD}(k,\infty)$ in the sense Lott-Sturm-Villani with variable $k$. Moreover, for all $p\in(1,\infty)$, these properties hold if and only if the perturbed $p$-transport cost \begin{equation*} W_p^{\underline{k}}(\mu_1,\mu_2,t):=\inf_{(\mathsf{b}^1,\mathsf{b}^2)} \mathbb{E}\Big[\mathrm{e}^{\int_0^{2t} p \underline{k}\left(\mathsf{b}^1_{r}, \mathsf{b}^2_{r}\right)/2\,\mathrm{d} r} \mathsf{d}^p\!\left(\mathsf{b}^1_{2t},\mathsf{b}^2_{2t} \right)\!\Big]^{1/p} \end{equation*} is nonincreasing in $t$. The infimum here is taken over pairs of coupled Brownian motions $\mathsf{b}^1$ and $\mathsf{b}^2$ on $X$ with given initial distributions $\mu_1$ and $\mu_2$, respectively, and $\underline{k}(x,y) := \inf_\gamma \int_0^1 k(\gamma_s)\,\mathrm{d} s$ denotes the "average" of $k$ along geodesics $\gamma$ connecting $x$ and $y$. Furthermore, for any pair of initial distributions $\mu_1$ and $\mu_2$ on $X$, we prove the existence of a pair of coupled Brownian motions $\mathsf{b}^1$ and $\mathsf{b}^2$ such that a.s. for every $s,t\in[0,\infty)$ with $s\leq t$, we have \begin{equation*} \mathsf{d}\!\left(\mathsf{b}_t^1,\mathsf{b}_t^2\right)\leq \mathrm{e}^{-\int_s^t \underline{k}\left(\mathsf{b}_r^1,\mathsf{b}_r^2\right)/2\,\mathrm{d} r} \mathsf{d}\!\left(\mathsf{b}_s^1,\mathsf{b}_s^2\right)\!. \end{equation*}


title: Electronic structure and Magneto-transport in MoS$_2$/Phosphorene van der Waals heterostructure

abstract: The time-dependent spin current mediated spin transfer torque behaviour has been investigated via scattering formalism within density functional theory framework supported by Green's function. Quantum magnetotransport characteristics have been revealed in a model semiconducting MoS$_2$/phosphorene van der Waals heterostructure. The dynamics of spin current channelized heterolayer transport has been studied with rotational variation in magnetization angle. It is observed that the time-dependent spin transport torque remains invariant irrespective of magnetization angle direction. The polarized spin-current is persistent with the external magnetic field for potential applicability towards spintronics.


title: A Two Dimensional Tunneling Resistance Transmission Line Model for Nanoscale Parallel Electrical Contacts

abstract: Contact resistance and current crowding are important to nanoscale electrical contacts. In this paper, we present a self-consistent model to characterize partially overlapped parallel contacts with varying specific contact resistivity along the contact length. For parallel tunneling contacts formed between contacting members separated by a thin insulating gap, we examine the local voltage-dependent variation of potential barrier height and tunneling current along the contact length, by solving the lumped circuit transmission line model (TLM) equations coupled with the tunneling current self consistently. The current and voltage distribution along the parallel tunneling contacts and their overall contact resistance are analyzed in detail, for various input voltage, electrical contact dimension, and material properties (i.e. work function, sheet resistance of the contact members, and permittivity of the insulating layer). It is found the existing one-dimensional (1D) tunneling junction models become less reliable when the tunneling layer thickness becomes smaller or the applied voltage becomes larger. In these regimes, the proposed self-consistent model may provide a more accurate evaluation of the parallel tunneling contacts. This work provides insights on the design, and potential engineering, of nanoscale electrical contacts with controlled current distribution and contact resistance via engineered spatially varying contact layer properties and geometry.


title: CMB tensions with low-redshift $H_0$ and $S_8$ measurements: impact of a redshift-dependent type-Ia supernovae intrinsic luminosity

abstract: With the recent increase in precision of our cosmological datasets, measurements of $\Lambda$CDM model parameter provided by high- and low-redshift observations started to be in tension, i.e., the obtained values of such parameters were shown to be significantly different in a statistical sense. In~this work we tackle the tension on the value of the Hubble parameter, $H_0$, and the weighted amplitude of matter fluctuations, $S_8$, obtained from local or low-redshift measurements and from cosmic microwave background (CMB) observations. We combine the main approaches previously used in the literature by extending the cosmological model and accounting for extra systematic uncertainties. With such analysis we aim at exploring non standard cosmological models, implying deviation from a cosmological constant driven acceleration of the Universe expansion, in the presence of additional uncertainties in measurements. In more detail, we reconstruct the Dark Energy equation of state as a function of redshift, while we study the impact of type-Ia supernovae (SNIa) redshift-dependent astrophysical systematic effects on these tensions. We consider a SNIa intrinsic luminosity dependence on redshift due to the star formation rate in its environment, or the metallicity of the progenitor. We find that the $H_0$ and $S_8$ tensions can be significantly alleviated, or~even removed, if we account for varying Dark Energy for SNIa and CMB data. However, the tensions remain when we add baryon acoustic oscillations (BAO) data into the analysis, even after the addition of extra SNIa systematic uncertainties. This points towards the need of either new physics beyond late-time Dark Energy, or other unaccounted systematic effects (particulary in BAO measurements), to fully solve the present tensions.


title: Pentaquarks

abstract: The field of exotic spectroscopy is extremely rich and productive. Several observations and searches for pentaquark states have been performed in the last 4 years, starting from the LHCb observation in 2015. This is still quite a recent discovery, and possibly the beginning of a new era in both observation of new states and understanding of the QCD binding mechanisms. The most recent results from LHCb and Belle are presented regarding measurements and searches for charm, strange and beauty pentaquarks, along with an introduction on phenomenology of multiquark states.


title: Bosonic superfluid transport in a quantum point contact

abstract: We present a microscopic theory of heat and particle transport of an interacting, low temperature Bose-Einstein condensate in a quantum point contact. We show that, in contrast to charged, fermionic superconductors, bosonic systems feature tunneling processes of condensate elements, leading to the presence of odd-order harmonics in the AC Josephson current. A crucial role is played by an anomalous tunneling process where condensate elements are coherently converted into phonon excitations, leading to even-order harmonics in the AC currents as well as a DC contribution. At low bias, we find dissipative components obeying Ohm's law, and bias-independent nondissipative components, in sharp contrast to fermionic superconductors. Analyzing the DC contribution, we find zero thermopower and Lorenz number at zero temperature, a breakdown of the bosonic Wiedemann-Franz law. These results highlight importance of the anomalous tunneling process inherent to charge neutral superfluids. The consequences could readily be observed in existing cold-atom transport setups.


title: Cylindrically Symmetric Spiraling Accretion in Power-law and Logarithmic Potentials

abstract: We study cylindrically symmetric steady-state accretion of polytropic test matter spiraling onto the symmetry axis in power-law and logarithmic potentials. The model allows one to qualitatively understand the accretion process in a symmetry different from that of the classical Bondi accretion. We study the integral curves as level lines of some Hamiltonian and also apply this method to Bondi accretion. The isothermal solutions in power-law potentials (as well as in any radius-dependent potential) can be expressed in exact form in terms of the Lambert W function, while in the case of logarithmic potential, exact solutions can be found for any polytropic exponent.


title: Direct micro-structuring of Si(111) surfaces through nanosecond-laser Bessel beams

abstract: We present here a nanosecond laser ablation of Si(111) wafer with diffraction-free (Bessel-$J_0$) beams. First, the Axicon a conical shaped optical element for beam shaping is characterized with a visible and infrared light sources. Then, ablation profiles are obtained with Bessel beams generated for $\alpha=1^{\circ}$ and $\alpha=20^{\circ}$ base angles, then they are characterized via a Scanning Electron, an Atomic Force and an Optical Interferometric Microscopes. Experimental results compared with theoretical predictions obtained by using Bessel functions. Results show that Bessel beams give possibility of straightforward micro-structuring of Si(111) samples because the only central spot of Bessel beams could damage the surface provided that the laser pulse energy becomes in energy-range we found in our experiments. Moreover, our results clearly indicate that reduced HAZ area due to thermal expansion in ns pulse regime are natural outcome of Bessel beams as opposed to Gauss beams of same spot size. Lastly, nanosecond pulses indicate two-ablation regimes regarding the pulse energy, the quality of structures can be enhanced by using high quality Gauss beams ($M^{2}\approx1$) and the size of fabricated structures can be much reduced by using larger base angle of Axicon (such as $\alpha=40^{\circ}$) in our scheme.


title: Heating of the Solar Wind by Ion Acoustic Waves

abstract: Calculations are made of the energy supplied to the solar wind by the rapid decay of density fluctuations, identified as ion acoustic waves. It is shown that this process supplies an appreciable fraction, perhaps nearly all, of the observed heating of the solar wind. This process may be an important step in the conversion of magnetic turbulence to particle energy


title: Graphene wormhole trapped by external magnetic field

abstract: In this work we study the behavior of massless fermions in a graphene wormhole and in the presence of an external magnetic field. The graphene wormhole is made from two sheets of graphene that play the roles of asymptotically flat spaces connected through a carbon nanotube with a zig-zag boundary. We solve the massless Dirac equation in this geometry and analyze its wave function. We show that the energy spectra of these solutions exhibit similar behavior to Landau levels.


title: Heegner points in Coleman families

abstract: We construct two-parameter analytic families of Galois cohomology classes interpolating the etale Abel--Jacobi images of generalised Heegner cycles, with both the modular form and Grossencharacter varying in p-adic families.


title: Fat-triangle linkage and kite-linked graphs

abstract: For a multigraph $H$, a graph $G$ is $H$-linked if every injective mapping $\phi: V(H)\to V(G)$ can be extended to an $H$-subdivision in $G$. We study the minimum connectivity required for a graph to be $H$-linked. A $k$-fat-triangle $F_k$ is a multigraph with three vertices and a total of $k$ edges. We determine a sharp connectivity requirement for a graph to be $F_k$-linked. In particular, any $k$-connected graph is $F_k$-linked when $F_k$ is connected. A kite is the graph obtained from $K_4$ by removing two edges at a vertex. As a nontrivial application of $F_k$-linkage, we then prove that every $8$-connected graph is kite-linked, which shows that the required connectivity for a graph to be kite-linked is $7$ or $8$.


title: Explainable Fact Checking with Probabilistic Answer Set Programming

abstract: One challenge in fact checking is the ability to improve the transparency of the decision. We present a fact checking method that uses reference information in knowledge graphs (KGs) to assess claims and explain its decisions. KGs contain a formal representation of knowledge with semantic descriptions of entities and their relationships. We exploit such rich semantics to produce interpretable explanations for the fact checking output. As information in a KG is inevitably incomplete, we rely on logical rule discovery and on Web text mining to gather the evidence to assess a given claim. Uncertain rules and facts are turned into logical programs and the checking task is modeled as an inference problem in a probabilistic extension of answer set programs. Experiments show that the probabilistic inference enables the efficient labeling of claims with interpretable explanations, and the quality of the results is higher than state of the art baselines.


title: Black-Box Inference for Non-Linear Latent Force Models

abstract: Latent force models are systems whereby there is a mechanistic model describing the dynamics of the system state, with some unknown forcing term that is approximated with a Gaussian process. If such dynamics are non-linear, it can be difficult to estimate the posterior state and forcing term jointly, particularly when there are system parameters that also need estimating. This paper uses black-box variational inference to jointly estimate the posterior, designing a multivariate extension to local inverse autoregressive flows as a flexible approximater of the system. We compare estimates on systems where the posterior is known, demonstrating the effectiveness of the approximation, and apply to problems with non-linear dynamics, multi-output systems and models with non-Gaussian likelihoods.


title: PhD thesis "Extreme value statistics of strongly correlated systems: fermions, random matrices and random walks"

abstract: In this thesis, we study three physically relevant models of strongly correlated random variables: trapped fermions, random matrices and random walks. In the first part, we show several exact mappings between the ground state of a trapped Fermi gas and ensembles of random matrix theory. The Fermi gas is inhomogeneous in the trapping potential and in particular there is a finite edge beyond which its density vanishes. Going beyond standard semi-classical techniques (such as local density approximation), we develop a precise description of the spatial statistics close to the edge. This description holds for a large universality class of hard edge potentials. We apply these results to compute the statistics of the position of the fermion the farthest away from the centre of the trap, the number of fermions in a given domain (full counting statistics) and the related bipartite entanglement entropy. Our analysis also provides solutions to open problems of extreme value statistics in random matrix theory. We obtain for instance a complete description of the fluctuations of the largest eigenvalue in the complex Ginibre ensemble. In the second part of the thesis, we study extreme value questions for random walks. We consider the gap statistics, which requires to take explicitly into account the discreteness of the process. This question cannot be solved using the convergence of the process to its continuous counterpart, the Brownian motion. We obtain explicit analytical results for the gap statistics of the walk with a Laplace distribution of jumps and provide numerical evidence suggesting the universality of these results.


title: Electron parallel closures for arbitrary collisionality

abstract: Electron parallel closures for heat flow, viscosity, and friction force are expressed as kernel-weighted integrals of thermodynamic drives, the temperature gradient, relative electron-ion flow velocity, and flow-velocity gradient. Simple, fitted kernel functions are obtained for arbitrary collisionality from the 6400 moment solution and the asymptotic behavior in the collisionless limit. The fitted kernels circumvent having to solve higher order moment equations in order to close the electron fluid equations. For this reason, the electron parallel closures provide a useful and general tool for theoretical and computational models of astrophysical and laboratory plasmas.


title: Stability of Biskyrmions in Centrosymmetric Magnetic Films

abstract: Motivated by the observation of biskyrmions in centrosymmetric magnetic films (Yu et al. Nature Communications 2014, Wang et al. Advanced Materials 2016), we investigate analytically and numerically the stability of biskyrmions in films of finite thickness, taking into account the nearest-neighbor exchange interaction, perpendicular magnetic anisotropy (PMA), dipole-dipole interaction (DDI), and the discreteness of the atomic lattice. The biskyrmion is characterized by the topological charge $Q=2$, the spatial scale $\lambda$, and another independent length $d$ that can be interpreted as a separation of two $Q=1$ skyrmions inside a $Q=2$ topological defect in the background of uniform magnetization. We find that biskyrmions with $d$ of order $\lambda$ can be stabilized by the magnetic field within a certain range of the ratio of PMA to DDI in a film having a sufficient number of atomic layers $N_{z}$. The shape of biskyrmions has been obtained by the numerical minimization of the energy of interacting spins in a $1000\times1000\times N_{z}$ atomic lattice. It is close to the exact solution of Belavin-Polyakov model when $d$ is below the width of the ferromagnetic domain wall. We compute the magnetic moment of a biskyrmion and discuss ways of creating biskyrmions in experiment.


title: A co-reflection of cubical sets into simplicial sets with applications to model structures

abstract: We show that the category of simplicial sets is a co-reflective subcategory of the category of cubical sets with connections, with the inclusion given by a version of the straightening functor. We show that using the co-reflector, one can transfer any cofibrantly generated model structure in which cofibrations are monomorphisms to cubical sets, thus obtaining cubical analogues of the Quillen and Joyal model structures.


title: Beam-energy dependence of identified two-particle angular correlations in Au+Au collisions at RHIC

abstract: The two-particle angular correlation functions, $R_2$, of pions, kaons, and protons in Au+Au collisions at $\sqrt{s_{NN}}=$ 7.7, 11.5, 14.5, 19.6, 27, 39, 62.4, and 200 GeV were measured by the STAR experiment at RHIC. These correlations were measured for both like-sign and unlike-sign charge combinations and versus the centrality. The correlations of pions and kaons show the expected near-side ({\it i.e.}, at small relative angles) peak resulting from short-range mechanisms. The amplitudes of these short-range correlations decrease with increasing beam energy. However, the proton correlation functions exhibit strong anticorrelations in the near-side region. This behavior is observed for the first time in an A+A collision system. The observed anticorrelation is $p_{T}$-independent and decreases with increasing beam energy and centrality. The experimental results are also compared to the Monte Carlo models UrQMD, Hijing, and AMPT.


title: Continual Reinforcement Learning with Diversity Exploration and Adversarial Self-Correction

abstract: Deep reinforcement learning has made significant progress in the field of continuous control, such as physical control and autonomous driving. However, it is challenging for a reinforcement model to learn a policy for each task sequentially due to catastrophic forgetting. Specifically, the model would forget knowledge it learned in the past when trained on a new task. We consider this challenge from two perspectives: i) acquiring task-specific skills is difficult since task information and rewards are not highly related; ii) learning knowledge from previous experience is difficult in continuous control domains. In this paper, we introduce an end-to-end framework namely Continual Diversity Adversarial Network (CDAN). We first develop an unsupervised diversity exploration method to learn task-specific skills using an unsupervised objective. Then, we propose an adversarial self-correction mechanism to learn knowledge by exploiting past experience. The two learning procedures are presumably reciprocal. To evaluate the proposed method, we propose a new continuous reinforcement learning environment named Continual Ant Maze (CAM) and a new metric termed Normalized Shorten Distance (NSD). The experimental results confirm the effectiveness of diversity exploration and self-correction. It is worthwhile noting that our final result outperforms baseline by 18.35% in terms of NSD, and 0.61 according to the average reward.


title: Quantification of quantum dynamics with input-output games

abstract: Recent developments surrounding resource theories have shown that any quantum state or measurement resource, with respect to a convex (and compact) set of resourceless objects, provides an advantage in a tailored subchannel or state discrimination task, respectively. Here we show that an analogous, more general result is also true in the case of dynamical quantum resources, i.e., channels and instruments. In the scenario we consider, the tasks associated to a resource are input-output games. The advantage a resource provides in these games is naturally quantified by a generalized robustness measure. We illustrate our approach by applying it to a broad collection of examples, including classical and measure-and-prepare channels, measurement and channel incompatibility, LOCC operations, and steering, as well as discussing its applicability to other resources in, e.g., quantum thermodynamics. We finish by showing that our approach generalizes to higher-order dynamics where it can be used, for example, to witness causal properties of supermaps.


title: Hybrid CMOS detectors for the Lynx x-ray surveyor high definition x-ray imager

abstract: X-ray hybrid CMOS detectors (HCDs) are a promising candidate for future x-ray missions requiring high throughput and fine angular resolution along with large field-of-view, such as the high-definition x-ray imager (HDXI) instrument on the Lynx x-ray surveyor mission concept. These devices offer fast readout capability, low power consumption, and radiation hardness while maintaining high detection efficiency from 0.2 to 10 keV. In addition, x-ray hybrid CMOS sensors may be fabricated with small pixel sizes to accommodate high-resolution optics and have shown great improvements in recent years in noise and spectral resolution performance. In particular, 12.5-{\mu}m pitch prototype devices that include in-pixel correlated double sampling capability and crosstalk eliminating capacitive transimpedance amplifiers, have been fabricated and tested. These detectors have achieved read noise as low as 5.4 e-, and we measure the best energy resolution to be 148 eV (2.5%) at 5.9 keV and 78 eV (14.9%) at 0.53 keV. We will describe the characterization of these prototype small-pixel x-ray HCDs, and we will discuss their applicability to the HDXI instrument on Lynx.


title: Mitigating Bias in Algorithmic Hiring: Evaluating Claims and Practices

abstract: There has been rapidly growing interest in the use of algorithms in hiring, especially as a means to address or mitigate bias. Yet, to date, little is known about how these methods are used in practice. How are algorithmic assessments built, validated, and examined for bias? In this work, we document and analyze the claims and practices of companies offering algorithms for employment assessment. In particular, we identify vendors of algorithmic pre-employment assessments (i.e., algorithms to screen candidates), document what they have disclosed about their development and validation procedures, and evaluate their practices, focusing particularly on efforts to detect and mitigate bias. Our analysis considers both technical and legal perspectives. Technically, we consider the various choices vendors make regarding data collection and prediction targets, and explore the risks and trade-offs that these choices pose. We also discuss how algorithmic de-biasing techniques interface with, and create challenges for, antidiscrimination law.


title: Applications of Backscatter Communications for Healthcare Networks

abstract: Backscatter communication is expected to help in revitalizing the domain of healthcare through its myriad applications. From on-body sensors to in-body implants and miniature embeddable devices, there are many potential use cases that can leverage the miniature and low-powered nature of backscatter devices. However, the existing literature lacks a comprehensive study that provides a distilled review of the latest studies on backscatter communications from the healthcare perspective. Thus, with the objective to promote the utility of backscatter communication in healthcare, this paper aims to identify specific applications of backscatter systems. A detailed taxonomy of recent studies and gap analysis for future research directions are provided in this work. Finally, we conduct measurements at 590 MHz in different propagation environments with the in-house designed backscatter device. The link budget results show the promise of backscatter devices to communicate over large distances for indoor environments which demonstrates its potential in the healthcare system.


title: Pushing the limit of quantum transport simulations

abstract: Simulations of quantum transport in coherent conductors have evolved into mature techniques that are used in fields of physics ranging from electrical engineering to quantum nanoelectronics and material science. The most efficient general-purpose algorithms have a computational cost that scales as $L^{6 \dots 7}$ in 3D, which on the one hand is a substantial improvement over older algorithms, but on the other hand still severely restricts the size of the simulation domain, limiting the usefulness of simulations through strong finite-size effects. Here, we present a novel class of algorithms that, for certain systems, allows to directly access the thermodynamic limit. Our approach, based on the Green's function formalism for discrete models, targets systems which are mostly invariant by translation, i.e. invariant by translation up to a finite number of orbitals and/or quasi-1D electrodes and/or the presence of edges or surfaces. Our approach is based on an automatic calculation of the poles and residues of series expansions of the Green's function in momentum space. This expansion allows to integrate analytically in one momentum variable. We illustrate our algorithms with several applications: devices with graphene electrodes that consist of half an infinite sheet; Friedel oscillation calculations of infinite 2D systems in presence of an impurity; quantum spin Hall physics in presence of an edge; the surface of a Weyl semi-metal in presence of impurities and electrodes connected to the surface. In this last example, we study the conduction through the Fermi arcs of the topological material and its resilience to the presence of disorder. Our approach provides a practical route for simulating 3D bulk systems or surfaces as well as other setups that have so far remained elusive.


title: Universal Approximation of Input-Output Maps by Temporal Convolutional Nets

abstract: There has been a recent shift in sequence-to-sequence modeling from recurrent network architectures to convolutional network architectures due to computational advantages in training and operation while still achieving competitive performance. For systems having limited long-term temporal dependencies, the approximation capability of recurrent networks is essentially equivalent to that of temporal convolutional nets (TCNs). We prove that TCNs can approximate a large class of input-output maps having approximately finite memory to arbitrary error tolerance. Furthermore, we derive quantitative approximation rates for deep ReLU TCNs in terms of the width and depth of the network and modulus of continuity of the original input-output map, and apply these results to input-output maps of systems that admit finite-dimensional state-space realizations (i.e., recurrent models).


title: Breathing Mode of a Skyrmion on a Lattice

abstract: The breathing mode of a skyrmion, corresponding to coupled oscillations of its size and chirality angle is studied numerically for a conservative classical-spin system on a $500\times500$ lattice. The dependence of the oscillation frequency on the magnetic field is computed. It is linear at small fields, reaches maximum on increasing the field, then sharply tends to zero as the field approaches the threshold above which the skyrmion loses stability and collapses. Physically transparent analytical model is developed that explains the results qualitatively and provides the field dependence of the oscillation frequency that is close to the one computed numerically. It is shown that a large-amplitude breathing motion in which the skyrmion chirality angle $\gamma$ is rotating in one direction is strongly damped and quickly ends by the skyrmion collapse. To the contrary, smaller-amplitude breathing motion in which $\gamma$ oscillates is undamped.


title: Faster FPT Algorithm for 5-Path Vertex Cover

abstract: The problem of $d$-Path Vertex Cover, $d$-PVC lies in determining a subset $F$ of vertices of a given graph $G=(V,E)$ such that $G \setminus F$ does not contain a path on $d$ vertices. The paths we aim to cover need not to be induced. It is known that the $d$-PVC problem is NP-complete for any $d \ge 2$. When parameterized by the size of the solution $k$, 5-PVC has direct trivial algorithm with $\mathcal{O}(5^kn^{\mathcal{O}(1)})$ running time and, since $d$-PVC is a special case of $d$-Hitting Set, an algorithm running in $\mathcal{O}(4.0755^kn^{\mathcal{O}(1)})$ time is known. In this paper we present an iterative compression algorithm that solves the 5-PVC problem in $\mathcal{O}(4^kn^{\mathcal{O}(1)})$ time.


title: Characteristic cycles, micro local packets and packets with cohomology

abstract: Relying on work of Kashiwara-Schapira and Schmid-Vilonen, we describe the behaviour of characteristic cycles with respect to the operation of geometric induction, the geometric counterpart of taking parabolic or cohomological induction in representation theory. By doing this, we are able to describe to some extent the characteristic cycle associated to an induced representation, in terms of the characteristic cycle of the representation being induced. More precisely, under the hypothesis that the infinitesimal character is regular (and dominant), we show that the characteristic cycle of an induced representation splits in two terms. We describe the first term precisely, but we are not able to do the same for the second one. What we are able to say, is that this second term is supported on the boundary of the space generated by the inclusion in the flag variety of $G$, of the flag variety of the Levi subgroup. As a consequence, we prove that the cohomology packets defined by Adams and Johnson are micro-packets, that is to say that the cohomological constructions of Adams-Johnson are particular cases of the sheaf-theoretic ones of Adams-Barbasch-Vogan.


title: Long Term Logarithmic Annealing in p-MNOS RADFETs and Renormalization of Relaxation Parameters

abstract: It was experimentally shown that annealing (fading) of the pMNOS based dosimeters has close to logarithmic temporal dependence during and after irradiation. The results are shown to be consistent with the previously proposed model.

categories: physics.app-ph nucl-ex physics.ins-det physics.space-ph


title: On two-signed solutions to a second order semi-linear parabolic partial differential equation with non-Lipschitz nonlinearity

abstract: In this paper, we establish the existence of a 1-parameter family of spatially inhomogeneous radially symmetric classical self-similar solutions to a Cauchy problem for a semi-linear parabolic PDE with non-Lipschitz nonlinearity and trivial initial data. Specifically we establish well-posedness for an associated initial value problem for a singular two-dimensional non-autonomous dynamical system with non-Lipschitz nonlinearity. Additionally, we establish that solutions to the initial value problem converge algebraically to the origin and oscillate as $\eta\to \infty$.


title: Hierarchical Gating Networks for Sequential Recommendation

abstract: The chronological order of user-item interactions is a key feature in many recommender systems, where the items that users will interact may largely depend on those items that users just accessed recently. However, with the tremendous increase of users and items, sequential recommender systems still face several challenging problems: (1) the hardness of modeling the long-term user interests from sparse implicit feedback; (2) the difficulty of capturing the short-term user interests given several items the user just accessed. To cope with these challenges, we propose a hierarchical gating network (HGN), integrated with the Bayesian Personalized Ranking (BPR) to capture both the long-term and short-term user interests. Our HGN consists of a feature gating module, an instance gating module, and an item-item product module. In particular, our feature gating and instance gating modules select what item features can be passed to the downstream layers from the feature and instance levels, respectively. Our item-item product module explicitly captures the item relations between the items that users accessed in the past and those items users will access in the future. We extensively evaluate our model with several state-of-the-art methods and different validation metrics on five real-world datasets. The experimental results demonstrate the effectiveness of our model on Top-N sequential recommendation.


title: FlipTest: Fairness Testing via Optimal Transport

abstract: We present FlipTest, a black-box technique for uncovering discrimination in classifiers. FlipTest is motivated by the intuitive question: had an individual been of a different protected status, would the model have treated them differently? Rather than relying on causal information to answer this question, FlipTest leverages optimal transport to match individuals in different protected groups, creating similar pairs of in-distribution samples. We show how to use these instances to detect discrimination by constructing a "flipset": the set of individuals whose classifier output changes post-translation, which corresponds to the set of people who may be harmed because of their group membership. To shed light on why the model treats a given subgroup differently, FlipTest produces a "transparency report": a ranking of features that are most associated with the model's behavior on the flipset. Evaluating the approach on three case studies, we show that this provides a computationally inexpensive way to identify subgroups that may be harmed by model discrimination, including in cases where the model satisfies group fairness criteria.


title: Ion parallel closures

abstract: Ion parallel closures are obtained for arbitrary atomic weights and charge numbers. For arbitrary collisionality, the heat flow and viscosity are expressed as kernel-weighted integrals of the temperature and flow-velocity gradients. Simple, fitted kernel functions are obtained from the 1600 parallel moment solution and the asymptotic behavior in the collisionless limit. The fitted kernel parameters are tabulated for various temperature ratios of ions to electrons. The closures can be used conveniently without solving the kinetic equation or higher order moment equations in closing ion fluid equations.


title: A Sieve for Twin Primes

abstract: We present an algorithm analogous to the sieve of Eratosthenes that produces the list of twin primes. Next, we count the number of twin primes resulting from the construction with two different heuristic arguments. The first method is essentially the same as the one in Hardy and Wright. However, the second method is novel. It results in the same asymptotic formula but it uses a simpler correction factor than theirs. Though we have no theory for the accuracy of our estimates, we compute them both without and with the correction factor and they turn out to be close to the actual counts up to 8009.


title: On the Properties of Monocyclic Systems, and others related to them

abstract: Translation of Ludwig Boltzmann's paper "\"Uber die Eigenschaften monozyklischer und anderer damit verwandter Systeme" Crelles Journal 98. S. 68-94. 1884 u. 1885 from German into English. In this foundational paper Boltzmann introduced two key concepts into statistical mechanics. The first is the statistical ensemble. This includes what are now known as the micro-canonical and canonical ensembles, albeit under different names. The second is the concept of ergodic systems, or ergodicity, which has played an important if contentious part in the foundations of statistical mechanics.


title: Versatile linkage: a family of space-conserving strategies for agglomerative hierarchical clustering

abstract: Agglomerative hierarchical clustering can be implemented with several strategies that differ in the way elements of a collection are grouped together to build a hierarchy of clusters. Here we introduce versatile linkage, a new infinite system of agglomerative hierarchical clustering strategies based on generalized means, which go from single linkage to complete linkage, passing through arithmetic average linkage and other clustering methods yet unexplored such as geometric linkage and harmonic linkage. We compare the different clustering strategies in terms of cophenetic correlation, mean absolute error, and also tree balance and space distortion, two new measures proposed to describe hierarchical trees. Unlike the $\beta$-flexible clustering system, we show that the versatile linkage family is space-conserving.


title: Disentangled Skill Embeddings for Reinforcement Learning

abstract: We propose a novel framework for multi-task reinforcement learning (MTRL). Using a variational inference formulation, we learn policies that generalize across both changing dynamics and goals. The resulting policies are parametrized by shared parameters that allow for transfer between different dynamics and goal conditions, and by task-specific latent-space embeddings that allow for specialization to particular tasks. We show how the latent-spaces enable generalization to unseen dynamics and goals conditions. Additionally, policies equipped with such embeddings serve as a space of skills (or options) for hierarchical reinforcement learning. Since we can change task dynamics and goals independently, we name our framework Disentangled Skill Embeddings (DSE).


title: Multidimensional Dominance Drawings

abstract: Let $G$ be a DAG with $n$ vertices and $m$ edges. Two vertices $u,v$ are incomparable if $u$ doesn't reach $v$ and vice versa. We denote by \emph{width} of a DAG $G$, $w_G$, the maximum size of a set of incomparable vertices of $G$. In this paper we present an algorithm that computes a dominance drawing of a DAG G in $k$ dimensions, where $w_G \le k \le \frac{n}{2}$. The time required by the algorithm is $O(kn)$, with a precomputation time of $O(km)$, needed to compute a \emph{compressed transitive closure} of $G$, and extra $O(n^2w_G)$ or $O(n^3)$ time, if we want $k=w_G$. Our algorithm gives a tighter bound to the dominance dimension of a DAG. As corollaries, a new family of graphs having a 2-dimensional dominance drawing and a new upper bound to the dimension of a partial order are obtained. We also introduce the concept of transitive module and dimensional neck, $w_N$, of a DAG $G$ and we show how to improve the results given previously using these concepts.


title: Electron parallel closures for various ion charge numbers

abstract: Electron parallel closures for the ion charge number $Z=1$ [J.-Y. Ji and E. D. Held, Phys. Plasmas \textbf{21}, 122116 (2014)] are extended for $1\le Z\le10$. Parameters are computed for various $Z$ with the same form of the $Z=1$ kernels adopted. The parameters are smoothly varying in $Z$ and hence can be used to interpolate parameters and closures for noninteger, effective ion charge numbers.


title: $\text{#NFA}$ admits an FPRAS: Efficient Enumeration, Counting, and Uniform Generation for Logspace Classes

abstract: In this work, we study two simple yet general complexity classes, based on logspace Turing machines, which provide a unifying framework for efficient query evaluation in areas like information extraction and graph databases, among others. We investigate the complexity of three fundamental algorithmic problems for these classes: enumeration, counting and uniform generation of solutions, and show that they have several desirable properties in this respect. Both complexity classes are defined in terms of non-deterministic logspace transducers (NL transducers). For the first class, we consider the case of unambiguous NL transducers, and we prove constant delay enumeration, and both counting and uniform generation of solutions in polynomial time. For the second class, we consider unrestricted NL transducers, and we obtain polynomial delay enumeration, approximate counting in polynomial time, and polynomial-time randomized algorithms for uniform generation. More specifically, we show that each problem in this second class admits a fully polynomial-time randomized approximation scheme (FPRAS) and a polynomial-time Las Vegas algorithm for uniform generation. Interestingly, the key idea to prove these results is to show that the fundamental problem $\text{#NFA}$ admits an FPRAS, where $\text{#NFA}$ is the problem of counting the number of strings of length $n$ (given in unary) accepted by a non-deterministic finite automaton (NFA). While this problem is known to be $\text{#P}$-complete and, more precisely, $\text{SpanL}$-complete, it was open whether this problem admits an FPRAS. In this work, we solve this open problem, and obtain as a welcome corollary that every function in $\text{SpanL}$ admits an FPRAS.


title: Noncommuting conserved quantities in quantum many-body thermalization

abstract: In statistical mechanics, a small system exchanges conserved quantities---heat, particles, electric charge, etc.---with a bath. The small system thermalizes to the canonical ensemble, or the grand canonical ensemble, etc., depending on the conserved quantities. The conserved quantities are represented by operators usually assumed to commute with each other. This assumption was removed within quantum-information-theoretic (QI-theoretic) thermodynamics recently. The small system's long-time state was dubbed ``the non-Abelian thermal state (NATS).'' We propose an experimental protocol for observing a system thermalize to the NATS. We illustrate with a chain of spins, a subset of which form the system of interest. The conserved quantities manifest as spin components. Heisenberg interactions push the conserved quantities between the system and the effective bath, the rest of the chain. We predict long-time expectation values, extending the NATS theory from abstract idealization to finite systems that thermalize with finite couplings for finite times. Numerical simulations support the analytics: The system thermalizes to the NATS, rather than to the canonical prediction. Our proposal can be implemented with ultracold atoms, nitrogen-vacancy centers, trapped ions, quantum dots, and perhaps nuclear magnetic resonance. This work introduces noncommuting conserved quantities from QI-theoretic thermodynamics into quantum many-body physics: atomic, molecular, and optical physics and condensed matter.


title: Classical Glasses, Black Holes, and Strange Quantum Liquids

abstract: From the dynamics of a broad class of classical mean-field glass models one may obtain a quantum model with finite zero-temperature entropy, a quantum transition at zero temperature, and a time-reparametrization (quasi-)invariance in the dynamical equations for correlations. The low eigenvalue spectrum of the resulting quantum model is directly related to the structure and exploration of metastable states in the landscape of the original classical glass model. This mapping reveals deep connections between classical glasses and the properties of SYK-like models.

categories: hep-th cond-mat.dis-nn cond-mat.stat-mech cond-mat.str-el


title: Accommodating three low-scale anomalies (g-2, Lamb shift, and Atomki) in the framed standard model

abstract: The framed standard model (FSM) predicts a $0^+$ boson with mass around 20 MeV in the "hidden sector", which mixes at tree level with the standard Higgs $h_W$ and hence acquires small couplings to quarks and leptons which can be calculated in the FSM apart from the mixing parameter $\rho_{Uh}$. The exchange of this mixed state $U$ will contribute to $g - 2$ and to the Lamb shift. By adjusting $\rho_{Uh}$ alone, it is found that the FSM can satisfy all present experimental bounds on the $g - 2$ and Lamb shift anomalies for $\mu$ and $e$, and for the latter for both hydrogen and deuterium. The FSM predicts also a $1^-$ boson in the "hidden sector" with a mass of 17 MeV, that is, right on top of the Atomki anomaly $X$. This mixes with the photon at 1-loop level and couples thereby like a dark photon to quarks and leptons. It is however a compound state and is thought likely to possess additional compound couplings to hadrons. By adjusting the mixing parameter and the $X$'s compound coupling to nucleons, the FSM can reproduce the production rate of the $X$ in beryllium decay as well as satisfy all the bounds on $X$ listed so far in the literature. The above two results are consistent in that the $U$, being $0^+$, does not contribute to the Atomki anomaly if parity and angular momentum are conserved, while $X$, though contributing to $g - 2$ and Lamb shift, has smaller couplings than $U$ and can, at first instance, be neglected there. Despite the tentative nature of the 3 anomalies in experiment and of the FSM as theory, the accommodation of the former in the latter has strengthened the credibility of both. If this FSM interpretation were correct, it would change the whole aspect of the anomalies from just curiosities to windows into a vast hitherto hidden sector comprising at least in part the dark matter which makes up the bulk of our universe.


title: Modeling and Forecasting Art Movements with CGANs

abstract: Conditional Generative Adversarial Networks~(CGAN) are a recent and popular method for generating samples from a probability distribution conditioned on latent information. The latent information often comes in the form of a discrete label from a small set. We propose a novel method for training CGANs which allows us to condition on a sequence of continuous latent distributions $f^{(1)}, \ldots, f^{(K)}$. This training allows CGANs to generate samples from a sequence of distributions. We apply our method to paintings from a sequence of artistic movements, where each movement is considered to be its own distribution. Exploiting the temporal aspect of the data, a vector autoregressive (VAR) model is fitted to the means of the latent distributions that we learn, and used for one-step-ahead forecasting, to predict the latent distribution of a future art movement $f^{{(K+1)}}$. Realisations from this distribution can be used by the CGAN to generate "future" paintings. In experiments, this novel methodology generates accurate predictions of the evolution of art. The training set consists of a large dataset of past paintings. While there is no agreement on exactly what current art period we find ourselves in, we test on plausible candidate sets of present art, and show that the mean distance to our predictions is small.


title: Guaranteed Validity for Empirical Approaches to Adaptive Data Analysis

abstract: We design a general framework for answering adaptive statistical queries that focuses on providing explicit confidence intervals along with point estimates. Prior work in this area has either focused on providing tight confidence intervals for specific analyses, or providing general worst-case bounds for point estimates. Unfortunately, as we observe, these worst-case bounds are loose in many settings --- often not even beating simple baselines like sample splitting. Our main contribution is to design a framework for providing valid, instance-specific confidence intervals for point estimates that can be generated by heuristics. When paired with good heuristics, this method gives guarantees that are orders of magnitude better than the best worst-case bounds. We provide a Python library implementing our method.


title: A Novel Landau-de Gennes Model with Quartic Elastic Terms

abstract: Within the framework of the generalized Landau-de Gennes theory, we identify a $Q$-tensor-based energy that reduces to the four-constant Oseen-Frank energy when it is considered over orientable uniaxial nematic states. Although the commonly considered version of the Landau-de Gennes theory has an elastic contribution that is at most cubic in components of the $Q$-tensor and their derivatives, the alternative offered here is quartic in these variables. One clear advantage of our approach over the cubic theory is that the associated minimization problem is well-posed for a significantly wider choice of elastic constants. In particular, quartic energy can be used to model nematic-to-isotropic phase transitions for highly disparate elastic constants. In addition to proving well-posedness of the proposed version of the Landau-de Gennes theory, we establish a rigorous connection between this theory and its Oseen-Frank counterpart via a $\Gamma$-convergence argument in the limit of vanishing nematic correlation length. We also prove strong convergence of the associated minimizers.


title: Depletion force between disordered linear macromolecules

abstract: When two macromolecules come very near in a fluid, the surrounding molecules, having finite volume, are less likely to get in between. This leads to a pressure difference manifesting as an entropic attraction, called depletion force. Here we calculate the density profile of liquid molecules surrounding a disordered rigid macromolecules modelled as a random arrangement of hard spheres on a linear backbone. We analytically determine the position dependence of the depletion force between two such disordered molecules by calculating the free energy of the system. We then use molecular dynamics simulations to obtain the depletion force between stiff disordered polymers as well as flexible ones and compare the two against each other. We also show how the disorder averaging can be handled starting from the inhomogenous RISM equations.

categories: cond-mat.soft cond-mat.dis-nn cond-mat.mes-hall cond-mat.stat-mech physics.chem-ph


title: Trade-offs in Large-Scale Distributed Tuplewise Estimation and Learning

abstract: The development of cluster computing frameworks has allowed practitioners to scale out various statistical estimation and machine learning algorithms with minimal programming effort. This is especially true for machine learning problems whose objective function is nicely separable across individual data points, such as classification and regression. In contrast, statistical learning tasks involving pairs (or more generally tuples) of data points - such as metric learning, clustering or ranking do not lend themselves as easily to data-parallelism and in-memory computing. In this paper, we investigate how to balance between statistical performance and computational efficiency in such distributed tuplewise statistical problems. We first propose a simple strategy based on occasionally repartitioning data across workers between parallel computation stages, where the number of repartitioning steps rules the trade-off between accuracy and runtime. We then present some theoretical results highlighting the benefits brought by the proposed method in terms of variance reduction, and extend our results to design distributed stochastic gradient descent algorithms for tuplewise empirical risk minimization. Our results are supported by numerical experiments in pairwise statistical estimation and learning on synthetic and real-world datasets.


title: Theory of the Frequency Principle for General Deep Neural Networks

abstract: Along with fruitful applications of Deep Neural Networks (DNNs) to realistic problems, recently, some empirical studies of DNNs reported a universal phenomenon of Frequency Principle (F-Principle): a DNN tends to learn a target function from low to high frequencies during the training. The F-Principle has been very useful in providing both qualitative and quantitative understandings of DNNs. In this paper, we rigorously investigate the F-Principle for the training dynamics of a general DNN at three stages: initial stage, intermediate stage, and final stage. For each stage, a theorem is provided in terms of proper quantities characterizing the F-Principle. Our results are general in the sense that they work for multilayer networks with general activation functions, population densities of data, and a large class of loss functions. Our work lays a theoretical foundation of the F-Principle for a better understanding of the training process of DNNs.


title: Intrinsic noise, Delta-Notch signalling and delayed reactions promote sustained, coherent, synchronised oscillations in the presomitic mesoderm

abstract: Using a stochastic individual-based modelling approach, we examine the role that Delta-Notch signalling plays in the regulation of a robust and reliable somite segmentation clock. We find that not only can Delta-Notch signalling synchronise noisy cycles of gene expression in adjacent cells in the presomitic mesoderm (as is known), but it can also amplify and increase the coherence of these cycles. We examine some of the shortcomings of deterministic approaches to modelling these cycles and demonstrate how intrinsic noise can play an active role in promoting sustained oscillations, giving rise to noise-induced quasi-cycles. Finally, we explore how translational/transcriptional delays can result in the cycles in neighbouring cells oscillating in anti-phase and we study how this effect relates to the propagation of noise-induced stochastic waves.