title: Mutually disjoint, maximally commuting set of physical observables for optimum state determination

abstract: We consider the state determination problem using Mutually Unbiased Bases(MUBs). For spin-1, spin-3/2 and spin-2 systems, analogous to Pauli operators of spin-1/2 system, which are experimentally implementable and correspond to the optimum measurement in characterizing the density matrix, we describe a procedure to construct an orthonormal set of operators from MUBs. The constructed operators are maximally commuting, can be physically realized, and correspond to physical observables. The method of construction is general enough to allow for extensions to higher-dimensional spin systems and arbitrary density matrices in finite dimensions for which MUBs are known to exist.


title: Boltzmann Diffusive Limit with Maxwell Boundary Condition

abstract: Based on a recent $L^{6}-L^{\infty}$ approach, validity of diffusive limit is established for both steady and unsteady Boltzmann equation in the presence of the classical Maxwell boundary condition for a full arrange of the accommodation coefficient $0 \leq \alpha \leq 1$. A general stretching method is developed to control bouncing trajectories for the specular reflection with $\alpha=0$ in the hydrodynamic limit, and refined estimates uniform with respect to $0 \leq \alpha\leq 1$ for the macroscopic distribution $\mathbf{P}f$ are derived.


title: Carleman estimate and an inverse source problem for the Kelvin-Voigt model for viscoelasticity

abstract: We consider the Kelvin-Voigt model for the viscoelasticity, and prove a Carleman estimate for functions without compact supports. Then we apply the Carleman estimate to prove the Lipschitz stability in determining a spatial varying function in an external source term of Kelvin-Voigt model by a single measurement. Finally as a related system, we consider an isothermal compressible fluid system and apply the Carleman estimate to establish the Lipschitz stability for an inverse source problem for the compressible fluid system.


title: A Deeply Bound Dibaryon is Incompatible with Neutron Stars and Supernovae

abstract: We study the effect of a dibaryon, S, in the mass range 1860 MeV < m_S < 2054 MeV, which is heavy enough not to disturb the stability of nuclei and light enough to possibly be cosmologically metastable. Such a deeply bound state can act as a baryon sink in regions of high baryon density and temperature. We find that the ambient conditions encountered inside a newly born neutron star are likely to sustain a sufficient population of hyperons to ensure that a population of S dibaryons can equilibrate in less than a few seconds. This would be catastrophic for the stability of neutron stars and the observation of neutrino emission from the proto-neutron star of Supernova 1987A over ~ O(10)s. A deeply bound dibaryon is therefore incompatible with the observed supernova explosion, unless the cross section for S production is severely suppressed.


title: Sorting and filtering as effective rational choice procedures

abstract: Many online shops offer functionality that help their customers navigate the available alternatives. For instance, options to filter and to sort goods are wide-spread. In this paper we show that sorting and filtering can be used by rational consumers to find their most preferred choice -- quickly. We characterize the preferences which can be expressed through filtering and sorting and show that these preferences exhibit a simple and intuitive logical structure.


title: On Fatou and Julia sets of foliations

abstract: The Fatou-Julia decomposition is significant in the study of iterations of holomorphic mappings. Such a decomposition can be also considered for foliations in a unified manner. Although the decomposition will be fundamental in the study, it is not easy to decide the decomposition. In this article, we give a sufficient condition for open sets to be contained in Fatou sets. We also discuss relations between Fatou--Julia decompositions and minimal sets.


title: Ab-initio dielectric response function of diamond and other relevant high pressure phases of carbon

abstract: The electronic structure and dielectric properties of the diamond, body centered cubic diamond (bc8), and hexagonal diamond (lonsdaleite) phases of carbon are computed using density functional theory and many-body perturbation theory with the emphasis on the excitonic picture of the solid phases relevant in the regimes of high-pressure physics and warm dense matter. We also discuss the capabilities of reproducing the inelastic x-ray scattering spectra in comparison with the existing models in light of recent x-ray scattering experiments on carbon and carbon bearing materials in the Megabar range.


title: A Categorical Construction of Bachmann-Howard Fixed Points

abstract: Peter Aczel has given a categorical construction for fixed points of normal functors, i.e. dilators which preserve initial segments. For a general dilator $X\mapsto T_X$ we cannot expect to obtain a well-founded fixed point, as the order type of $T_X$ may always exceed the order type of $X$. In the present paper we show how to construct a Bachmann-Howard fixed point of $T$, i.e. an order $\operatorname{BH}(T)$ with an "almost" order preserving collapse $\vartheta:T_{\operatorname{BH}(T)}\rightarrow\operatorname{BH}(T)$. Building on previous work, we show that $\Pi^1_1$-comprehension is equivalent to the assertion that $\operatorname{BH}(T)$ is well-founded for any dilator $T$.


title: Selling Information

abstract: I consider the monopolistic pricing of informational good. A buyer's willingness to pay for information is from inferring the unknown payoffs of actions in decision making. A monopolistic seller and the buyer each observes a private signal about the payoffs. The seller's signal is binary and she can commit to sell any statistical experiment of her signal to the buyer. Assuming that buyer's decision problem involves rich actions, I characterize the profit maximizing menu. It contains a continuum of experiments, each containing different amount of information. I also find a complementarity between buyer's private information and information provision: when buyer's private signal is more informative, the optimal menu contains more informative experiments.


title: Exploring rotational resonance in elastic metamaterial plates to realize doubly negative property

abstract: We report the realization of simultaneously negative effective mass density and shear modulus in a single-phase asymmetric double-sided pillared metamaterial. The negative effective mass density is achieved by the combination of bending and compressional resonances of one pillar whereas the rotational resonance of the other pillar leads to the negative effective shear modulus. The coupling between these two pillars is investigated to describe the formation of the doubly negative property. Then, a pillared system featuring chirality is designed in order to make efficient the excitation of the rotational vibration, the occurrence of which is demonstrated by the transmission spectrum. Finally, numerical simulations of the zero-index refraction are carried out to prove the occurrence of the doubly negative property.


title: Spin-triplet $f$-wave pairing in twisted bilayer graphene near 1/4 filling

abstract: We investigate the twisted bilayer graphene by a two-orbital Hubbard model on the honeycomb lattice. The model is studied near 1/4 band filling by using the singular-mode functional renormalization group theory. Spin-triplet $f$-wave pairing is found from weak to moderate coupling limit of the local interactions, and is associated with the Hund's rule coupling and incommensurate spin fluctuations at moderate momenta.


title: Structural Target Controllability of Undirected Networks

abstract: In this paper, we study the target controllability problem of networked dynamical systems, in which we are tasked to steer a subset of network states towards a desired objective. More specifically, we derive necessary and sufficient conditions for the structural target controllability problem of linear time-invariant (LTI) systems with symmetric state matrices, such as undirected dynamical networks with unknown link weights. To achieve our goal, we first characterize the generic rank of symmetrically structured matrices, as well as the modes of any numerical realization. Subsequently, we provide a graph-theoretic necessary and sufficient condition for the structural controllability of undirected networks with multiple control nodes. Finally, we derive a graph-theoretic necessary and sufficient condition for structural target controllability of undirected networks. Remarkably, apart from the standard reachability condition, only local topological information is needed for the verification of structural target controllability.


title: Computable Aspects of the Bachmann-Howard Principle

abstract: We have previously established that $\Pi^1_1$-comprehension is equivalent to the statement that every dilator has a well-founded Bachmann-Howard fixed point, over $\mathbf{ATR_0}$. In the present paper we show that the base theory can be lowered to $\mathbf{RCA_0}$. We also show that the minimal Bachmann-Howard fixed point of a dilator $T$ can be represented by a notation system $\vartheta(T)$, which is computable relative to $T$. The statement that $\vartheta(T)$ is well-founded for any dilator $T$ will still be equivalent to $\Pi^1_1$-comprehension. Thus the latter is split into the computable transformation $T\mapsto\vartheta(T)$ and a statement about the preservation of well-foundedness, over a system of computable mathematics.


title: A generalized financial time series forecasting model based on automatic feature engineering using genetic algorithms and support vector machine

abstract: We propose the genetic algorithm for time window optimization, which is an embedded genetic algorithm (GA), to optimize the time window (TW) of the attributes using feature selection and support vector machine. This GA is evolved using the results of a trading simulation, and it determines the best TW for each technical indicator. An appropriate evaluation was conducted using a walk-forward trading simulation, and the trained model was verified to be generalizable for forecasting other stock data. The results show that using the GA to determine the TW can improve the rate of return, leading to better prediction models than those resulting from using the default TW.


title: Ultrafast infrared spectroscopy with single molecular ions

abstract: We propose a method to investigate the vibrational dynamics of single polyatomic molecular ions confined in a Paul trap. Quantum logic techniques are employed to detect the recoil of single photon absorption events in the molecule via a co-trapped atomic ion. In particular, the recoil is mapped onto the electronic state of the atom which can be read out with high fidelity. This recoil detection serves as the basis for a pump-probe scheme to investigate ultrafast molecular dynamics, such as intra-molecular vibrational redistribution. The total recoil from the interaction with a sequence of ultrafast laser pulses with the molecular vibration is measured. This work discusses the experimental requirements and expected performance for multiple molecular ions with masses ranging from 17 to 165 Dalton.


title: Structured Sparsity Promoting Functions

abstract: Motivated by the minimax concave penalty based variable selection in high-dimensional linear regression, we introduce a simple scheme to construct structured semiconvex sparsity promoting functions from convex sparsity promoting functions and their Moreau envelopes. Properties of these functions are developed by leveraging their structure. In particular, we provide sparsity guarantees for the general family of functions. We further study the behavior of the proximity operators of several special functions including indicator functions of closed convex sets, piecewise quadratic functions, and the linear combinations of them. To demonstrate these properties, several concrete examples are presented and existing instances are featured as special cases.


title: On a Convex Logic Fragment for Learning and Reasoning

abstract: In this paper we introduce the convex fragment of {\L}ukasiewicz Logic and discuss its possible applications in different learning schemes. Indeed, the provided theoretical results are highly general, because they can be exploited in any learning framework involving logical constraints. The method is of particular interest since the fragment guarantees to deal with convex constraints, which are shown to be equivalent to a set of linear constraints. Within this framework, we are able to formulate learning with kernel machines as well as collective classification as a quadratic programming problem.


title: Ion energy and angular distributions in low-pressure capacitive oxygen RF discharges driven by tailored voltage waveforms

abstract: We investigate the energy and angular distributions of the ions reaching the electrodes in low-pressure, capacitively coupled oxygen radio-frequency discharges. These distributions, as well as the possibilities of the independent control of the ion flux and the ion energy are analysed for different types of excitation: single- and classical dual-frequency, as well as valleys- and sawtooth-type waveforms. The studies are based on kinetic, particle-based simulations that reveal the physics of these discharges in great details. The conditions cover weakly collisional to highly collisional domains of ion transport via the electrode sheaths. Analytical models are also applied to understand the features of the energy and angular distribution functions.


title: A note on the diameter of convex polytope

abstract: This short note extends a recent result (Bonifas et al, On sub-determinants and the diameter of polyhedra, Discrete Computational Geometry, 52, 2014) of an upper bound of the diameter of a convex polytope defined by an integer matrix to a similar upper bound of the diameter of a convex polytope defined by a real matrix. It also shows, by an example, that the new bound may be better than the ones of Bonifas et al.


title: Visual Diagnostics for Deep Reinforcement Learning Policy Development

abstract: Modern vision-based reinforcement learning techniques often use convolutional neural networks (CNN) as universal function approximators to choose which action to take for a given visual input. Until recently, CNNs have been treated like black-box functions, but this mindset is especially dangerous when used for control in safety-critical settings. In this paper, we present our extensions of CNN visualization algorithms to the domain of vision-based reinforcement learning. We use a simulated drone environment as an example scenario. These visualization algorithms are an important tool for behavior introspection and provide insight into the qualities and flaws of trained policies when interacting with the physical world. A video may be seen at https://sites.google.com/view/drlvisual .


title: TeV-PeV neutrino-nucleon cross section measurement with 5 years of IceCube data

abstract: We present a novel analysis method for the determination of the neutrino-nucleon Deep Inelastic Scattering (DIS) cross section in the TeV - PeV energy range utilizing neutrino absorption by the Earth. We analyze five years of data collected with the complete IceCube detector from May 2011 to May 2016. This analysis focuses on electromagnetic and hadronic showers (cascades) mainly induced by electron and tau neutrinos. The applied event selection features high background rejection (< 10% background contamination below 60 TeV, background free above 60 TeV) of atmospheric muons and high signal efficiency (~ 80%). The final neutrino sample consists of 4808 events, with 402 events above 10 TeV reconstructed energy. An unfolding method was applied to enable the mapping from reconstructed cascade parameters such as energy and zenith to true neutrino variables. The analysis was performed assuming isotropic astrophysical neutrino flux, in seven energy bins, and in two zenith bins ("down-going" from the south-hemisphere and "up-going" from the north-hemisphere). The ratio of down-going to up-going events (which are absorbed by the Earth at high energies) is sensitive to the neutrino-nucleon cross section but insensitive to the astrophysical neutrino flux uncertainties.


title: Generalized Content-Preserving Warps for Image Stitching

abstract: Local misalignment caused by global homography is a common issue in image stitching task. Content-Preserving Warping (CPW) is a typical method to deal with this issue, in which geometric and photometric constraints are imposed to guide the warping process. One of its essential condition however, is colour consistency, and an elusive goal in real world applications. In this paper, we propose a Generalized Content-Preserving Warping (GCPW) method to alleviate this problem. GCPW extends the original CPW by applying a colour model that expresses the colour transformation between images locally, thus meeting the photometric constraint requirements for effective image stitching. We combine the photometric and geometric constraints and jointly estimate the colour transformation and the warped mesh vertexes, simultaneously. We align images locally with an optimal grid mesh generated by our GCPW method. Experiments on both synthetic and real images demonstrate that our new method is robust to colour variations, outperforming other state-of-the-art CPW-based image stitching methods.


title: Adversarial Reinforcement Learning for Observer Design in Autonomous Systems under Cyber Attacks

abstract: Complex autonomous control systems are subjected to sensor failures, cyber-attacks, sensor noise, communication channel failures, etc. that introduce errors in the measurements. The corrupted information, if used for making decisions, can lead to degraded performance. We develop a framework for using adversarial deep reinforcement learning to design observer strategies that are robust to adversarial errors in information channels. We further show through simulation studies that the learned observation strategies perform remarkably well when the adversary's injected errors are bounded in some sense. We use neural network as function approximator in our studies with the understanding that any other suitable function approximating class can be used within our framework.


title: Turbulent and AO corrected Point-Spread-Function as convolutive orders of the phase Power-Spectral-Density

abstract: Ground-based astronomy is severely limited by the atmospheric turbulence, resulting in a large Point-Spread-Function (PSF) and poor imaging resolution. Even imaging with Adaptive Optics (AO) cannot completely correct the aberrated wavefront, and a residual turbulence still corrupts the observation. Thus the consequences of the turbulence on the PSF is of first interest when building any ground-based telescope. The Power Spectral Density (PSD) of a spatially stationary turbulent phase carries all the information needed for describing the long-exposure PSF. We then develop an analytical description of the long-exposure PSF as a series expansion of the aberrated phase PSD. Our description of the PSF given the PSD of the phase is a simple theoretical way to describe the impact of turbulence on the PSF. We also show accordance with previous papers when restricting our model to its first expansion order. Finally we derive applications of our formula to some particular cases, such as Kolmogorov or von-K\'arm\'an models, or the AO correction impact on the PSF.


title: Studying Deformations of Fuchsian Representations with Higgs Bundles

abstract: This is a survey article whose main goal is to explain how many components of the character variety of a closed surface are either deformation spaces of representations into the maximal compact subgroup or deformation spaces of certain Fuchsian representations. This latter family is of particular interest and is related to the field of higher Teichm\"uller theory. Our main tool is the theory of Higgs bundles. We try to develop the general theory of Higgs bundles for real groups and indicate where subtleties arise. However, the main emphasis is placed on concrete examples which are our motivating objects. In particular, we do not prove any of the foundational theorems, rather we state them and show how they can be used to prove interesting statements about components of the character variety. We have also not spent any time developing the tools (harmonic maps) which define the bridge between Higgs bundles and the character variety. For this side of the story we refer the reader to the survey article of Q. Li [arXiv:1809.05747].


title: Wilson coefficients for Higgs boson production and decoupling relations to $\mathcal{O}\left(\alpha_s^4\right)$

abstract: An important ingredient for the calculation of Higgs boson properties in the infinite top quark mass limit is the knowledge of the effective coupling between the Higgs bosons and gluons, i.e. the Wilson coefficients $C_H$ and $C_{HH}$ for one and two Higgs bosons, respectively. In this work we calculate for the first time $C_{HH}$ to four loops in a direct, diagrammatic way, discussing in detail all issues arising due to the renormalization of operator products. Furthermore, we also calculate the Wilson coefficient $C_H$ for the coupling of a single Higgs boson to gluons as well as all four loop decoupling relations in QCD with general SU$(N_c)$ colour factors. The latter are related to $C_H$ and $C_{HH}$ via low-energy theorems.


title: Overdamped limit of generalized stochastic Hamiltonian systems for singular interaction potentials

abstract: First weak solutions of generalized stochastic Hamiltonian systems (gsHs) are constructed via essential m-dissipativity of their generators on a suitable core. For a scaled gsHs we prove convergence of the corresponding semigroups and tightness of the weak solutions. This yields convergence in law of the scaled gsHs to a distorted Brownian motion. In particular, the results confirm the convergence of the Langevin dynamics in the overdamped regime to the overdamped Langevin equation. The proofs work for a large class of (singular) interaction potentials including, e.g., potentials of Lennard--Jones type.


title: Non-equilibrium time evolution and rephasing in the quantum sine-Gordon model

abstract: We discuss the non-equilibrium time evolution of the phase field in the sine-Gordon model using two very different approaches: the truncated Wigner approximation and the truncated conformal space approach. We demonstrate that the two approaches agree for a period covering the first few oscillations, thereby giving a solid theoretical prediction in the framework of sine-Gordon model, which is thought to describe the dynamics of two bosonic condensates in quasi-one-dimensional traps coupled via a Josephson tunneling term. We conclude, however, that the recently observed phase-locking behavior cannot be explained in terms of homogeneous sine-Gordon dynamics, which hints at the role of other degrees of freedom or inhomogeneity in the experimental system.


title: Phase transition in random tensors with multiple independent spikes

abstract: Consider a spiked random tensor obtained as a mixture of two components: noise in the form of a symmetric Gaussian $p$-tensor for $p\geq 3$ and signal in the form of a symmetric low-rank random tensor. The latter is defined as a linear combination of $k$ independent symmetric rank-one random tensors, referred to as spikes, with weights referred to as signal-to-noise ratios (SNRs). The entries of the vectors that determine the spikes are i.i.d. sampled from general probability distributions supported on bounded subsets of $\mathbb{R}$. This work focuses on the problem of detecting the presence of these spikes, and establishes the phase transition of this detection problem for any fixed $k \geq 1$. In particular, it shows that for a set of relatively low SNRs it is impossible to distinguish between the spiked and non-spiked Gaussian tensors. Furthermore, in the interior of the complement of this set, where at least one of the $k$ SNRs is relatively high, these two tensors are distinguishable by the likelihood ratio test. In addition, when the total number of low-rank components, $k$, of the $p$-tensor of size $N$ grows in the order $o(N^{(p-2)/4})$ as $N$ tends to infinity, the problem exhibits an analogous phase transition. This theory for spike detection is also shown to imply that recovery of the spikes by the minimum mean square error exhibits the same phase transition. The main methods used in this work arise from the study of mean field spin glass models, where the phase transition thresholds are identified as the critical inverse temperatures distinguishing the high and low-temperature regimes of the free energies. In particular, our result formulates the first full characterization of the high temperature regime for vector-valued spin glass models with independent coordinates.

categories: math.PR cs.IT math-ph math.IT math.MP math.ST stat.TH


title: Explicit arithmetic intersection theory and computation of N\'eron-Tate heights

abstract: We describe a general algorithm for computing intersection pairings on arithmetic surfaces. We have implemented our algorithm for curves over $\mathbb Q$, and we show how to use it to compute regulators for a number of Jacobians of smooth plane quartics, and to numerically verify the conjecture of Birch and Swinnerton-Dyer for the Jacobian of the split Cartan curve of level 13, up to squares.


title: On the combinatorics of last passage percolation in a quarter square and $\mathrm{GOE}^2$ fluctuations

abstract: In this note we give a(nother) combinatorial proof of an old result of Baik--Rains: that for appropriately considered independent geometric weights, the generating series for last passage percolation polymers in a $2n \times n \times n$ quarter square (point-to-half-line-reflected geometry) splits as the product of two simpler generating series---that for last passage percolation polymers in a point-to-line geometry and that for last passage percolation in a point-to-point-reflected (half-space) geometry, the latter both in an $n \times n \times n$ triangle. As a corollary, for iid geometric random variables---of parameter $q$ off-diagonal and parameter $\sqrt{q}$ on the diagonal---we see that the last passage percolation time in said quarter square obeys Tracy--Widom $\mathrm{GOE}^2$ fluctuations in the large $n$ limit as both the point-to-line and the point-to-point-reflected geometries have known GOE fluctuations. This is a discrete analogue of a celebrated Baik--Rains theorem (the limit $q \to 0$) and more recently of results from Bisi's PhD thesis (the limit $q \to 1$).


title: Entanglement detachment in fermionic systems

abstract: This article introduces and discusses the concept of entanglement detachment. Under some circumstances, enlarging a few couplings of a Hamiltonian can effectively detach a (possibly disjoint) block within the ground state. This detachment is characterized by a sharp decrease in the entanglement entropy between block and environment, and leads to an increase of the internal correlations between the (possibly distant) sites of the block. We provide some examples of this detachment in free fermionic systems. The first example is an edge-dimerized chain, where the second and penultimate hoppings are increased. In that case, the two extreme sites constitute a block which disentangles from the rest of the chain. Further examples are given by (a) a superlattice which can be detached from a 1D chain, and (b) a star-graph, where the extreme sites can be detached or not depending on the presence of an external magnetic field, in analogy with the Aharonov-Bohm effect. We characterize these detached blocks by their reduced matrices, specially through their entanglement spectrum and entanglement Hamiltonian.


title: Generating Laguerre expansion coefficients by solving a one-dimensional transport equation

abstract: Spectral methods based on integral transforms may be efficiently used to solve differential equations in some special cases. This paper considers a different approach in which algorithms are proposed to calculate integral Laguerre transform by solving a one-dimensional transport equation. In contrast to the direct calculation of improper integrals of rapidly oscillating functions, these procedures make it possible to calculate the expansion coefficients of a Laguerre series expansion with better stability, higher accuracy, and less computational burden.


title: Analysis of Convergence for the Newton Method in DC Microgrids

abstract: The power flow is a non-linear problem that requires a Newton's method to be solved in dc microgrids with constant power terminals. This paper presents sufficient conditions for the quadratic convergence of the Newton's method in this type of grids. The classic Newton method as well as an approximated Newton Method are analyzed in both master-slave and island operation with droop controls. Requirements for the convergence as well as for the existence and uniqueness of the solution starting from voltages close to 1pu are presented. Computational results complement this theoretical analysis.


title: Nonconvex Demixing From Bilinear Measurements

abstract: We consider the problem of demixing a sequence of source signals from the sum of noisy bilinear measurements. It is a generalized mathematical model for blind demixing with blind deconvolution, which is prevalent across the areas of dictionary learning, image processing, and communications. However, state-of- the-art convex methods for blind demixing via semidefinite programming are computationally infeasible for large-scale problems. Although the existing nonconvex algorithms are able to address the scaling issue, they normally require proper regularization to establish optimality guarantees. The additional regularization yields tedious algorithmic parameters and pessimistic convergence rates with conservative step sizes. To address the limitations of existing methods, we thus develop a provable nonconvex demixing procedure viaWirtinger flow, much like vanilla gradient descent, to harness the benefits of regularization-free fast convergence rate with aggressive step size and computational optimality guarantees. This is achieved by exploiting the benign geometry of the blind demixing problem, thereby revealing that Wirtinger flow enforces the regularization-free iterates in the region of strong convexity and qualified level of smoothness, where the step size can be chosen aggressively.


title: Revisiting RGEs for general gauge theories

abstract: We revisit the renormalisation group equations (RGE) for general renormalisable gauge theories at one- and two-loop accuracy. We identify and correct various mistakes in the literature for the $\beta$-functions of the dimensionful Lagrangian parameters (the fermion mass, the bilinear and trilinear scalar couplings) as well as the dimensionless quartic scalar couplings. There are two sources for these discrepancies. Firstly, the known expressions for the scalar couplings assume a diagonal wave-function renormalisation which is not appropriate for models with mixing in the scalar sector. Secondly, the dimensionful parameters have been derived in the literature using a dummy field method which we critically re-examine, obtaining revised expressions for the $\beta$-function of the fermion mass. We perform an independent cross-check using well-tested supersymmetric RGEs which confirms our results. The numerical impact of the changes in the $\beta$-function for the fermion mass terms is illustrated using a toy model with a heavy vector-like fermion pair coupled to a scalar gauge singlet. Unsurprisingly, the correction to the running of the fermion mass becomes sizeable for large Yukawa couplings of the order of O(1). Furthermore, we demonstrate the importance of the correction to the $\beta$-functions of the scalar quartic couplings using a general type-III Two-Higgs-Doublet-Model. All the corrected expressions have been implemented in updated versions of the Mathematica package SARAH and the Python package PyR@TE.


title: Generative x-vectors for text-independent speaker verification

abstract: Speaker verification (SV) systems using deep neural network embeddings, so-called the x-vector systems, are becoming popular due to its good performance superior to the i-vector systems. The fusion of these systems provides improved performance benefiting both from the discriminatively trained x-vectors and generative i-vectors capturing distinct speaker characteristics. In this paper, we propose a novel method to include the complementary information of i-vector and x-vector, that is called generative x-vector. The generative x-vector utilizes a transformation model learned from the i-vector and x-vector representations of the background data. Canonical correlation analysis is applied to derive this transformation model, which is later used to transform the standard x-vectors of the enrollment and test segments to the corresponding generative x-vectors. The SV experiments performed on the NIST SRE 2010 dataset demonstrate that the system using generative x-vectors provides considerably better performance than the baseline i-vector and x-vector systems. Furthermore, the generative x-vectors outperform the fusion of i-vector and x-vector systems for long-duration utterances, while yielding comparable results for short-duration utterances.


title: Semiclassical spectral analysis of Toeplitz operators on symplectic manifolds: the case of discrete wells

abstract: We consider Toeplitz operators associated with the renormalized Bochner-Laplacian on high tensor powers of a positive line bundle on a compact symplectic manifold. We study the asymptotic behavior, in the semiclassical limit, of low-lying eigenvalues and the corresponding eigenfunctions of a self-adjoint Toeplitz operator under assumption that its principal symbol has a non-degenerate minimum with discrete wells. As an application, we prove upper bounds for low-lying eigenvalues of the Bochner-Laplacian in the semiclassical limit.


title: Visual Speech Language Models

abstract: Language models (LM) are very powerful in lipreading systems. Language models built upon the ground truth utterances of datasets learn grammar and structure rules of words and sentences (the latter in the case of continuous speech). However, visual co-articulation effects in visual speech signals damage the performance of visual speech LM's as visually, people do not utter what the language model expects. These models are commonplace but while higher-order N-gram LM's may improve classification rates, the cost of this model is disproportionate to the common goal of developing more accurate classifiers. So we compare which unit would best optimize a lipreading (visual speech) LM to observe their limitations. We compare three units; visemes (visual speech units) \cite{lan2010improving}, phonemes (audible speech units), and words.


title: Unravelling the infrared transient VVV-WIT-06: the case for an origin in a classical nova

abstract: The enigmatic near-infrared transient VVV-WIT-06 underwent a large amplitude eruption of unclear origin in July 2013. Based on its lightcurve properties and late-time post-outburst spectra various possibilities have been proposed in the literature for the origin of the object viz. a Type I supernova, a classical nova (CN) and a violent stellar merger event. We show that out of these possibilities, an origin in a CN outburst convincingly explains the observed properties of VVV-WIT-06. We estimate that the absolute K band magnitude of the nova at maximum was M$_K$ = -8.2 $\pm$ 0.5, its distance d = 13.35 $\pm$ 2.18 kpc and the extinction A$_V$ = 15.0 $\pm$ 0.55 magnitudes.


title: Supervised Autonomous Locomotion and Manipulation for Disaster Response with a Centaur-like Robot

abstract: Mobile manipulation tasks are one of the key challenges in the field of search and rescue (SAR) robotics requiring robots with flexible locomotion and manipulation abilities. Since the tasks are mostly unknown in advance, the robot has to adapt to a wide variety of terrains and workspaces during a mission. The centaur-like robot Centauro has a hybrid legged-wheeled base and an anthropomorphic upper body to carry out complex tasks in environments too dangerous for humans. Due to its high number of degrees of freedom, controlling the robot with direct teleoperation approaches is challenging and exhausting. Supervised autonomy approaches are promising to increase quality and speed of control while keeping the flexibility to solve unknown tasks. We developed a set of operator assistance functionalities with different levels of autonomy to control the robot for challenging locomotion and manipulation tasks. The integrated system was evaluated in disaster response scenarios and showed promising performance.


title: Approximate solutions of vector fields and an application to Denjoy-Carleman regularity of solutions of a nonlinear PDE

abstract: In this paper we study microlocal regularity of a $\mathcal{C}^2$ solution $u$ of the equation \begin{equation*} u_t = f(x,t,u,u_x), \end{equation*} where $f(x,t,\zeta_0, \zeta)$ is ultradifferentiable in the variables $(x,t)\in \mathbb{R}^{N} \times \mathbb{R}$ and holomorphic in the variables $(\zeta_0,\zeta) \in \mathbb{C} \times \mathbb{C}^{N}$. We proved that if $\mathcal{C}^{\mathcal{M}}$ is a regular Denjoy-Carleman class (including the quasianalytic case) then: \begin{equation*} \mathrm{WF}_\mathcal{M} (u)\subset \mathrm{Char}(L^u), \end{equation*} where $\mathrm{WF}_\mathcal{M}(u)$ is the Denjoy-Carleman wave-front set of $u$ and $\mathrm{Char}(L^u)$ is the characteristic set of the linearized operator $L^u$: \begin{equation*} L^u = \dfrac{\partial}{\partial t} - \sum_{j=1}^{N}\frac{\partial f}{\partial\zeta_j}(x,t,u,u_x)\dfrac{\partial}{\partial x_j}. \end{equation*}


title: Discrete Derivative Asymptotics of the $\beta$-Hermite Eigenvalues

abstract: We consider the asymptotics of the difference between the empirical measures of the $\beta$-Hermite tridiagonal matrix and its minor. We prove that this difference has a deterministic limit and Gaussian fluctuations. Through a correspondence between measures and continual Young diagrams, this deterministic limit is identified with the Vershik-Kerov-Logan-Shepp curve. Moreover, the Gaussian fluctuations are identified with a sectional derivative of the Gaussian free field.


title: On Geometric Quantum Confinement in Grushin-type Manifolds

abstract: We study the problem of so-called geometric quantum confinement in a class of two-dimensional incomplete Riemannian manifold with metric of Grushin type. We employ a constant-fibre direct integral scheme, in combination with Weyl's analysis in each fibre, thus fully characterising the regimes of presence and absence of essential self-adjointness of the associated Laplace-Beltrami operator.


title: Competing evolutionary paths in growing populations with applications to multidrug resistance

abstract: Investigating the emergence of a particular cell type is a recurring theme in models of growing cellular populations. The evolution of resistance to therapy is a classic example. Common questions are: when does the cell type first occur, and via which sequence of steps is it most likely to emerge? For growing populations, these questions can be formulated in a general framework of branching processes spreading through a graph from a root to a target vertex. Cells have a particular fitness value on each vertex and can transition along edges at specific rates. Vertices represents cell states, say \mic{genotypes }or physical locations, while possible transitions are acquiring a mutation or cell migration. We focus on the setting where cells at the root vertex have the highest fitness and transition rates are small. Simple formulas are derived for the time to reach the target vertex and for the probability that it is reached along a given path in the graph. We demonstrate our results on \mic{several scenarios relevant to the emergence of drug resistance}, including: the orderings of resistance-conferring mutations in bacteria and the impact of imperfect drug penetration in cancer.


title: Disconnectedness properties of Hyperspaces

abstract: Let $X$ be a Hausdorff space and let $\mathcal{H}$ be one of the hyperspaces $CL(X)$, $\mathcal{K}(X)$, $\mathcal{F}(X)$ or $\mathcal{F}_n(X)$ ($n$ a positive integer) with the Vietoris topology. We study the following disconnectedness properties for $\mathcal{H}$: extremal disconnectedness, being a $F^\prime$-space, $P$-space or weak $P$-space and hereditary disconnectedness. Our main result states: if $X$ is Hausdorff and $F\subset X$ is a closed subset such that $(a)$ both $F$ and $X-F$ are totally disconnected, $(b)$ the quotient $X/F$ is hereditarily disconnected, then $\mathcal{K}(X)$ is hereditarily disconnected. We also show an example proving that this result cannot be reversed.


title: The Close AGN Reference Survey (CARS): SOFIA detects spatially-resolved [CII] emission in the luminous AGN HE0433-1028

abstract: We report spatially-resolved [CII]$\lambda 158$ $\mu$m observations of HE 0433-1028, which is the first detection of a nearby luminous AGN (redshift 0.0355) with FIFI-LS onboard the airborne observatory SOFIA. We compare the spatially-resolved star formation tracers [CII], as provided by our SOFIA observations, and H$\alpha$ from MUSE optical integral-field spectroscopy. We find that the [CII] emission is mainly matching the extended star formation as traced by the extinction-corrected H$\alpha$ line emission but some additional flux is present. While a larger sample is needed to statistically confirm our findings and investigate possible dependencies on AGN luminosity and star formation rate, our study underlines the necessity of collecting a spatially-resolved optical-FIR dataset for nearby AGNs, and shows that it is technically feasible to collect such datasets with FIFI-LS onboard SOFIA.


title: New Concept for Electron Beam-Dump Experiment Utilizing Directional WIMP Detector

abstract: Light dark matter in the context of dark sector theories is an attractive candidate for the dark matter thought to make up the bulk of the mass of our universe. We explore here the possibility of using a low-pressure, negative-ion, time projection chamber detector to search for light dark matter behind the beam dump of an electron accelerator. The sensitivity of a 10 m long detector is several orders of magnitude better than existing limits. This sensitivity includes regions of parameter space where light dark matter is predicted to have a required relic density consistent with measured dark matter density. Backgrounds at shallow depth will need to be considered carefully. However, several signatures exist, including a powerful directional signature, which will allow a detection even in the presence of backgrounds.


title: Atmospheric mass loss due to giant impacts: the importance of the thermal component for hydrogen-helium envelopes

abstract: Systems of close-in super-Earths display striking diversity in planetary bulk density and composition. Giant impacts are expected to play a role in the formation of many of these worlds. Previous works, focused on the mechanical shock caused by a giant impact, have shown that these impacts can eject large fractions of the planetary envelope, offering a partial explanation for the observed spread in exoplanet compositions. Here, we examine the thermal consequences of giant impacts, and show that the atmospheric loss caused by these effects can significantly exceed that caused by mechanical shocks for hydrogen-helium (H/He) envelopes. When a giant impact occurs, part of the impact energy is converted into thermal energy, heating the rocky core and the envelope. We find that the ensuing thermal expansion of the envelope can lead to a period of sustained, rapid mass loss through a Parker wind, resulting in the partial or complete erosion of the H/He envelope. The fraction of the envelope lost depends on the planet's orbital distance from its host star and its initial thermal state, and hence age. Planets closer to their host stars are more susceptible to thermal atmospheric loss triggered by impacts than ones on wider orbits. Similarly, younger planets, with rocky cores which are still hot and molten from formation, suffer greater atmospheric loss. This is especially interesting because giant impacts are expected to occur $10{-}100~\mathrm{Myr}$ after formation. For planets where the thermal energy of the core is much greater than the envelope energy, the impactor mass required for significant atmospheric removal is $M_\mathrm{imp} / M_p \sim \mu / \mu_c \sim 0.1$, approximately the ratio of the heat capacities of the envelope and core. When the envelope energy dominates the total energy budget, complete loss can occur when the impactor mass is comparable to the envelope mass.


title: Integrable models with twist function and affine Gaudin models

abstract: This thesis deals with a class of integrable field theories called models with twist function. The main examples of such models are integrable non-linear sigma models, such as the Principal Chiral Model, and their deformations. A first obtained result is the proof that the so-called Bi-Yang-Baxter model, which is a two-parameter deformation of the Principal Chiral Model, is also a model with twist function. It is then shown that inhomogeneous Yang-Baxter type deformations modify certain global symmetries of the undeformed model into Poisson-Lie symmetries. Another chapter concerns the construction of an infinite number of local charges in involution for all integrable sigma models and their deformations : this result is based on the general formalism shared by all these models as field theories with twist function. The second part of the thesis concerns Gaudin models. These are integrable models associated with Lie algebras. In particular, field theories with twist function are related to Gaudin models associated with affine Lie algebras. A standard approach for studying the spectrum of quantum Gaudin models over finite algebras is the one of Feigin-Frenkel-Reshetikhin. In this thesis, generalisations of this approach are conjectured, motivated and tested. One of them deals with the so-called cyclotomic finite Gaudin models. The second one concerns the Gaudin models associated with affine Lie algebras.


title: Quantum corrections to the Classical Statistical Approximation for the expanding quantum field

abstract: We found the deviation of the equation of state from ultrarelativistic one due to quantum corrections for a nonequilibrium longitudinally expanding scalar field. Relaxation of highly excited quantum field is usually described in terms of Classical Statistical Approximation (CSA). However, the expansion of the system reduces the applicability of such a semiclassical approach as the CSA making quantum corrections important. We calculate the evolution of the trace of the energy-momentum tensor within the Keldysh-Schwinger framework for static and longitudinal expanding geometries. We provide analytical and numerical arguments for the appearance of the nontrivial intermediate regime where quantum corrections are significant.


title: Spaces of Remote Points

abstract: Given a Tychonoff space $X$, let $\varrho(X)$ be the set of remote points of $X$. We view $\varrho(X)$ as a topological space. In this paper we assume that $X$ is metrizable and ask for conditions on $Y$ so that $\varrho(X)$ is homeomorphic to $\varrho(Y)$. This question has been studied before by R. G. Woods and C. Gates. We give some results of the following type: if $X$ has topological property $\mathbf{P}$ and $\varrho(X)$ is homeomorphic to $\varrho(Y)$, then $Y$ also has $\mathbf{P}$. We also characterize the remote points of the rationals and irrationals up to some restrictions. Further, we show that $\varrho(X)$ and $\varrho(Y)$ have open dense homeomorphic subspaces if $X$ and $Y$ are both nowhere locally compact, completely metrizable and share the same cellular type, a cardinal invariant we define.


title: Non-meager $P$-filters are Countable Dense Homogeneous

abstract: We prove that if $\mathcal{F}$ is a non-meager $P$-filter, then both $\mathcal{F}$ and ${}^\omega\mathcal{F}$ are countable dense homogeneous spaces.


title: Rational Impatience Admission Control in 5G-sliced Networks: Shall I Bide my Slice Opportunity?

abstract: Recently, the specifications of the fifth generation (5G) of mobile networks have been released witnessing the industrial interest around the novel network slicing concept. This context is further enriched by the evolution of an emerging type of public cloud environment: the Slice-as-a-Service (SlaaS). Infrastructure providers or network operators deploy different admission strategy while processing network slice requests issued by infrastructure tenants based on service level agreements (SLAs) and current (and predicted) resource availability. However, when the service demand will reasonably get dense, congestions of slice requests may occur leading to long waiting periods. This may turn into impatient tenant behaviors that mitigate potential loss. This paper studies the rational strategies of impatient tenants waiting in queue-based slice admission control system, proving mathematically and empirically the benefits of allowing infrastructure provider to share its information with the upcoming tenants.


title: Countable Dense Homogeneity and the Double Arrow Space

abstract: Let $\mathbb{A}$ denote the Alexandroff-Urysohn double arrow space. We prove the following results: (a) $\mathbb{A}\times{}^\omega{2}$ is not countable dense homogeneous; (b) ${}^{\omega}{\mathbb{A}}$ is not countable dense homogeneous; (c) $\mathbb{A}$ has exactly $\mathfrak{c}$ types of countable dense subsets. These results answer questions by Arhangel'ski\u\i, Hru\v{s}\'ak and van Mill.


title: Experimental Study of Collective Pedestrian Dynamics

abstract: We report on two series of experiments, conducted in the frame of two different collaborations designed to study how pedestrians adapt their trajectories and velocities in groups or crowds. Strong emphasis is put on the motivations for the chosen protocols and the experimental implementation. The first series deals with pattern formation, interactions between pedestrians, and decision-making in pedestrian groups at low to medium densities. In particular, we show how pedestrians adapt their headways in single-file motion depending on the (prescribed) leader's velocity. The second series of experiments focuses on static crowds at higher densities, a situation that can be critical in real life and in which the pedestrians' choices of motion are strongly constrained sterically. More precisely, we study the crowd's response to its crossing by a pedestrian or a cylindrical obstacle of 74cm in diameter. In the latter case, for a moderately dense crowd, we observe displacements that quickly decay with the minimal distance to the obstacle, over a lengthscale of the order of the meter.


title: Arithmetic hyperbolicity: automorphisms and persistence

abstract: We show that if the automorphism group of a projective variety is torsion, then it is finite. Motivated by Lang's conjecture on rational points of hyperbolic varieties, we use this to prove that a projective variety with only finitely many rational points has only finitely many automorphisms. Moreover, we investigate to what extent finiteness of $S$-integral points on a variety over a number field persists over finitely generated fields. To this end, we introduce the class of mildly bounded varieties and prove a general criterion for proving this persistence.


title: Countable dense homogeneity and $\lambda$-sets

abstract: We show that all sufficiently nice $\lambda$-sets are countable dense homogeneous ($\mathsf{CDH}$). From this fact we conclude that for every uncountable cardinal $\kappa \le \mathfrak{b}$ there is a countable dense homogeneous metric space of size $\kappa$. Moreover, the existence of a meager in itself countable dense homogeneous metric space of size $\kappa$ is equivalent to the existence of a $\lambda$-set of size $\kappa$. On the other hand, it is consistent with the continuum arbitrarily large that every $\mathsf{CDH}$ metric space has size either $\omega_1$ or size $\mathfrak c$. An example of a Baire $\mathsf{CDH}$ metric space which is not completely metrizable is presented. Finally, answering a question of Arhangel'skii and van Mill we show that that there is a compact non-metrizable $\mathsf{CDH}$ space in ZFC.


title: The Massive and Distant Clusters of WISE Survey. I: Survey Overview and a Catalog of >2000 Galaxy Clusters at z~1

abstract: We present the Massive and Distant Clusters of WISE Survey (MaDCoWS), a search for galaxy clusters at 0.7<z<1.5 based upon data from the Wide-field Infrared Survey Explorer (WISE) mission. MaDCoWS is the first cluster survey capable of discovering massive clusters at these redshifts over the full extragalactic sky. The search is divided into two regions -- the region of the extragalactic sky covered by Pan-STARRS (Dec>-30 degrees) and the remainder of the southern extragalactic sky at Dec<-30 degrees for which shallower optical data from SuperCOSMOS Sky Survey are available. In this paper we describe the search algorithm, characterize the sample, and present the first MaDCoWS data release -- catalogs of the 2433 highest amplitude detections in the WISE--Pan-STARRS region and the 250 highest amplitude detections in the WISE--SuperCOSMOS region. A total of 1723 of the detections from the WISE--Pan-STARRS sample have also been observed with the Spitzer Space Telescope, providing photometric redshifts and richnesses, and an additional 64 detections within the WISE--SuperCOSMOS region also have photometric redshifts and richnesses. Spectroscopic redshifts for 38 MaDCoWS clusters with IRAC photometry demonstrate that the photometric redshifts have an uncertainty of $\sigma_z/(1+z)\sim0.036$. Combining the richness measurements with Sunyaev-Zel'dovich observations of MaDCoWS clusters, we also present a preliminary mass-richness relation that can be used to infer the approximate mass distribution of the full sample. The estimated median mass for the WISE--Pan-STARRS catalog is $M_{500}=1.6^{+0.7}_{-0.8}\times10^{14} \mathrm{M}_\odot$, with the Sunyaev-Zel'dovich data confirming that we detect clusters with masses up to $M_{500}\sim5\times10^{14} \mathrm{M}_\odot$ $(M_{200}\sim10^{15} \mathrm{M}_\odot)$.


title: Fully nonlinear integro-differential equations with deforming kernels

abstract: We develop a regularity theory for integro-differential equations with kernels deforming in space like sections of a convex solution of a Monge-Amp\`{e}re equation. We prove an ABP estimate and a Harnack inequality and derive H\"{o}lder and $C^{1,\alpha}$ regularity results for solutions.


title: Twinning-induced pseudoelastic behavior in (MoW)$_{85}$(TaTi)$_{7.5}$Zr$_{7.5}$

abstract: We provide a critical atomistic evidence of pseudoelastic behavior in complex solid-solution BCC Mo-W-Ta-Ti-Zr alloy. Prior to this work, only limited single-crystal BCC solids of pure metals and quaternary alloys have shown pseudoelastic behavior at low temperatures and high strain rates. The deformation mechanisms investigated using classical molecular simulations under tensile-compressive loading reveal temperature-dependent pseudoelastic behavior aided by twinning during the loading-unloading cycle. The pseudoelasticity is found to be independent of loading directions with identical cyclic deformation characteristics during uniaxial loading. Additionally, temperature variation from 77 to 1500 K enhances the elastic strain recovery in the alloy.


title: Branch-and-bound for bi-objective integer programming

abstract: In bi-objective integer optimization the optimal result corresponds to a set of non-dominated solutions. We propose a generic bi-objective branch-and-bound algorithm that uses a problem-independent branching rule exploiting available integer solutions and takes advantage of integer objective coefficients. The developed algorithm is applied to bi-objective facility location problems, to the bi-objective set covering problem, as well as to the bi-objective team orienteering problem with time windows. In the latter case, lower bound sets are computed by means of column generation. Comparison to state-of-the-art exact algorithms shows the effectiveness of the proposed branch-and-bound algorithm.


title: Matching in Dynamic Imbalanced Markets

abstract: We study dynamic matching in exchange markets with easy- and hard-to-match agents. A greedy policy, which attempts to match agents upon arrival, ignores the positive externality that waiting agents generate by facilitating future matchings. We prove that this trade-off between a ``thicker'' market and faster matching vanishes in large markets; A greedy policy leads to shorter waiting times, and more agents matched than any other policy. We empirically confirm these findings in data from the National Kidney Registry. Greedy matching achieves as many transplants as commonly-used policies (1.6\% more than monthly-batching), and shorter patient waiting times.


title: Two types of variational integrators and their equivalence

abstract: In this paper, we introduce two types of variational integrators, one originating from the discrete Hamilton's principle while the other from Galerkin variational approach. It turns out that these variational integrators are equivalent to each other when they are used for integrating the classical mechanical system with Lagrangian function $L(q,\dot{q})=\frac{1}{2}\dot{q}^TM\dot{q}-U(q)$ ($M$ is an invertible symmetric constant matrix). They are symplectic, symmetric, possess super-convergence order $2s$ (which depends on the degree of the approximation polynomials), and can be related to continuous-stage partitioned Runge-Kutta methods.


abstract: The main objective of this paper is to give a characterization in terms of Lyapunov functions for trichotomy with growth rates of evolution operators in Banach spaces.


title: A Bayesian Approach for Inferring Local Causal Structure in Gene Regulatory Networks

abstract: Gene regulatory networks play a crucial role in controlling an organism's biological processes, which is why there is significant interest in developing computational methods that are able to extract their structure from high-throughput genetic data. A typical approach consists of a series of conditional independence tests on the covariance structure meant to progressively reduce the space of possible causal models. We propose a novel efficient Bayesian method for discovering the local causal relationships among triplets of (normally distributed) variables. In our approach, we score the patterns in the covariance matrix in one go and we incorporate the available background knowledge in the form of priors over causal structures. Our method is flexible in the sense that it allows for different types of causal structures and assumptions. We apply the approach to the task of inferring gene regulatory networks by learning regulatory relationships between gene expression levels. We show that our algorithm produces stable and conservative posterior probability estimates over local causal structures that can be used to derive an honest ranking of the most meaningful regulatory relationships. We demonstrate the stability and efficacy of our method both on simulated data and on real-world data from an experiment on yeast.


title: On $(h,k,\mu,\nu)$-trichotomy of evolution operators in Banach spaces

abstract: The paper considers some concepts of trichotomy with different growth rates for evolution operators in Banach spaces. Connections between these concepts and characterizations in terms of Lyapunov- type norms are given.


title: An implicit function theorem for Lipschitz mappings into metric spaces

abstract: We prove a version of the implicit function theorem for Lipschitz mappings $f:\mathbb{R}^{n+m}\supset A \to X$ into arbitrary metric spaces. As long as the pull-back of the Hausdorff content $\mathcal{H}_{\infty}^n$ by $f$ has positive upper $n$-density on a set of positive Lebesgue measure, then, there is a local diffeomorphism $G$ in $\mathbb{R}^{n+m}$ and a Lipschitz map $\pi:X\to \mathbb{R}^n$ such that $\pi\circ f\circ G^{-1}$, when restricted to a certain subset of $A$ of positive measure, is a the orthogonal projection of $\mathbb{R}^{n+m}$ onto the first $n$-coordinates. This may be seen as a qualitative version of a similar result of Azzam and Schul. The main tool in our proof is the metric change of variables introduced in a paper of Hajlasz and Malekzadeh.


title: Dendrites and symmetric products

abstract: For a given continuum $X$ and a natural number $n,$ we consider the hyperspace $F_n(X)$ of all nonempty subsets of $X$ with at most $n$ points, metrized by the Hausdorff metric. In this paper we show that if $X$ is a dendrite whose set of end points is closed, $n \in \mathbb{N}$ and $Y$ is a continuum such that the hyperspaces $F_n(X)$ and $F_n(Y)$ are homeomorphic, then $Y$ is a dendrite whose set of end points is closed.


title: Finding k-Dissimilar Paths with Minimum Collective Length

abstract: Shortest path computation is a fundamental problem in road networks. However, in many real-world scenarios, determining solely the shortest path is not enough. In this paper, we study the problem of finding k-Dissimilar Paths with Minimum Collective Length (kDPwML), which aims at computing a set of paths from a source s to a target t such that all paths are pairwise dissimilar by at least \theta and the sum of the path lengths is minimal. We introduce an exact algorithm for the kDPwML problem, which iterates over all possible s-t paths while employing two pruning techniques to reduce the prohibitively expensive computational cost. To achieve scalability, we also define the much smaller set of the simple single-via paths, and we adapt two algorithms for kDPwML queries to iterate over this set. Our experimental analysis on real road networks shows that iterating over all paths is impractical, while iterating over the set of simple single-via paths can lead to scalable solutions with only a small trade-off in the quality of the results.


title: Final-state interactions of the Higgs boson in quark-gluon matter

abstract: In the first version of this paper \cite{dEnterria:2018bqi}, we presented a study of the final-state interactions of the Higgs boson in the hot and dense quark-gluon systems produced in pp, pPb, and PbPb collisions at CERN LHC and FCC energies. By computing the leading-order diagrams of the Higgs-parton scattering cross sections in perturbative QCD, and by embedding the produced Higgs bosons in an expanding quark-gluon medium modeled with 2D+1 viscous hydrodynamics with various QCD equations of state, we presented estimates of the expected scalar boson yields as functions of transverse momentum $p_{\rm T}^{H}$, and produced medium space-time size. A moderate suppression of the scalar boson yields was predicted due to medium-enhanced $H\to gg,q\bar{q}$ decays, in detriment of the $H\to\gamma\gamma, 4\ell$ channels that are typically used to observe the Higgs particle. After our work appeared, J. Ghiglieri and U. Wiedemann \cite{Ghiglieri:2019lzz} have presented thermal-field-theory calculations that indicate that the $H\to gg,q\bar{q}$ partial decays widths remain basically unaffected by interactions with surrounding partons in the kinematic range of relevance of our study. Such a theoretical result, in contradiction with our estimates, has brought us to revisit our calculations and to realize of the quantitative importance of thermal virtual corrections, neglected in our first work, that are as large as the real ones and of opposite sign. Such virtual corrections significantly reduce the Higgs-parton "absorption" cross sections originally computed in Ref. \cite{dEnterria:2018bqi}, and make the Higgs boson suppression negligible in the kinematic regime considered.


title: Advancing Multi-Accented LSTM-CTC Speech Recognition using a Domain Specific Student-Teacher Learning Paradigm

abstract: Non-native speech causes automatic speech recognition systems to degrade in performance. Past strategies to address this challenge have considered model adaptation, accent classification with a model selection, alternate pronunciation lexicon, etc. In this study, we consider a recurrent neural network (RNN) with connectionist temporal classification (CTC) cost function trained on multi-accent English data including US (Native), Indian and Hispanic accents. We exploit dark knowledge from a model trained with the multi-accent data to train student models under the guidance of both a teacher model and CTC cost of target transcription. We show that transferring knowledge from a single RNN-CTC trained model toward a student model, yields better performance than the stand-alone teacher model. Since the outputs of different trained CTC models are not necessarily aligned, it is not possible to simply use an ensemble of CTC teacher models. To address this problem, we train accent specific models under the guidance of a single multi-accent teacher, which results in having multiple aligned and trained CTC models. Furthermore, we train a student model under the supervision of the accent-specific teachers, resulting in an even further complementary model, which achieves +20.1% relative Character Error Rate (CER) reduction compared to the baseline trained without any teacher. Having this effective multi-accent model, we can achieve further improvement for each accent by adapting the model to each accent. Using the accent specific model's outputs to regularize the adapting process (i.e., a knowledge distillation version of Kullback-Leibler (KL) divergence) results in even superior performance compared to the conventional approach using general teacher models.


title: Optimal distributed control of an extended model of tumor growth with logarithmic potential

abstract: This paper is intended to tackle the control problem associated with an extended phase field system of Cahn-Hilliard type that is related to a tumor growth model. This system has been investigated in previous contributions from the viewpoint of well-posedness and asymptotic analyses. Here, we aim to extend the mathematical studies around this system by introducing a control variable and handling the corresponding control problem. We try to keep the potential as general as possible, focusing our investigation towards singular potentials, such as the logarithmic one. We establish the existence of optimal control, the Lipschitz continuity of the control-to-state mapping and even its Fr\'echet differentiability in suitable Banach spaces. Moreover, we derive the first-order necessary conditions that an optimal control has to satisfy.


title: Face enumeration on flag complexes and flag spheres

abstract: We give a survey on the recent results and problems on the face enumeration of flag complexes and flag simplicial spheres, with an emphasis on the characterization of face vectors of flag complexes, several lower-bound type of conjectures including the Charney-Davis conjecture and Gal's conjecture, and the upper bound conjecture for flag spheres and pseudomanifolds.


title: Local manipulation of quantum magnetism in 1D ultracold Fermi gases across narrow resonances

abstract: Effective range is a quantity to characterize the energy dependence in two-body scattering strength, and is widely used in cold atomic systems especially across narrow resonances. Here we show that the effective range can significantly modify the magnetic property of one-dimensional (1D) spin-$1/2$ fermions in the strongly repulsive regime. In particular, the effective range breaks the large spin degeneracy in the hard-core limit, and induces a Heisenberg exchange term in the spin chain that is much more sensitive to the local density than that induced by the bare coupling. With an external harmonic trap, this leads to a very rich magnetic pattern where the anti-ferromagnetic (AFM) and ferromagnetic (FM) correlations can coexist and distribute in highly tunable regions across the trap. Finally, we propose to detect the range-induced magnetic order in the tunneling experiment. Our results can be directly tested in 1D Fermi gases across narrow resonance, and suggest a convenient route towards the local manipulation of quantum magnetism in cold atoms.


title: Exponential sum estimates over prime fields

abstract: In this paper, we prove some extensions of recent results given by Shkredov and Shparlinski on multiple character sums for some general families of polynomials over prime fields. The energies of polynomials in two and three variables are our main ingredients.


title: Bias behaviour and antithetic sampling in mean-field particle approximations of SDEs nonlinear in the sense of McKean

abstract: In this paper, we prove that the weak error between a stochastic differential equation with nonlinearity in the sense of McKean given by moments and its approximation by the Euler discretization with time-step h of a system of N interacting particles is O(1/N + h). We provide numerical experiments confirming this behaviour and showing that it extends to more general mean-field interaction and study the efficiency of the antithetic sampling technique on the same examples.


title: Albumentations: fast and flexible image augmentations

abstract: Data augmentation is a commonly used technique for increasing both the size and the diversity of labeled training sets by leveraging input transformations that preserve output labels. In computer vision domain, image augmentations have become a common implicit regularization technique to combat overfitting in deep convolutional neural networks and are ubiquitously used to improve performance. While most deep learning frameworks implement basic image transformations, the list is typically limited to some variations and combinations of flipping, rotating, scaling, and cropping. Moreover, the image processing speed varies in existing tools for image augmentation. We present Albumentations, a fast and flexible library for image augmentations with many various image transform operations available, that is also an easy-to-use wrapper around other augmentation libraries. We provide examples of image augmentations for different computer vision tasks and show that Albumentations is faster than other commonly used image augmentation tools on the most of commonly used image transformations. The source code for Albumentations is made publicly available online at https://github.com/albu/albumentations


title: On solvability of integro-differential equations

abstract: A class of (possibly) degenerate integro-differential equations of parabolic type is considered, which includes the Kolmogorov equations for jump diffusions. Existence and uniqueness of the solutions are established in Bessel potential spaces and in Sobolev-Slobodeckij spaces. Generalisations to stochastic integro-differential equations, arising in filtering theory of jump diffusions, will be given in a forthcoming paper.


title: Do the Spirits Rise?

abstract: A nonlocal gravity model based on $\frac1{\square} R$ achieves the phenomenological goals of generating cosmic acceleration without dark energy and of suppressing the growth of perturbations compared to the $\Lambda$CDM model. Although the localized version of this model possesses a scalar ghost, the nonlocal version does not suffer from any obvious problem with ghosts. Here we study the possibility that the scalar ghost mode might be excited through time evolution, even though it is initially absent. We present strong evidence that this does not happen.


title: Parametric randomization, complex symplectic factorizations, and quadratic-exponential functionals for Gaussian quantum states

abstract: This paper combines probabilistic and algebraic techniques for computing quantum expectations of operator exponentials (and their products) of quadratic forms of quantum variables in Gaussian states. Such quadratic-exponential functionals (QEFs) resemble quantum statistical mechanical partition functions with quadratic Hamiltonians and are also used as performance criteria in quantum risk-sensitive filtering and control problems for linear quantum stochastic systems. We employ a Lie-algebraic correspondence between complex symplectic matrices and quadratic-exponential functions of system variables of a quantum harmonic oscillator. The complex symplectic factorizations are used together with a parametric randomization of the quasi-characteristic or moment-generating functions according to an auxiliary classical Gaussian distribution. This reduces the QEF to an exponential moment of a quadratic form of classical Gaussian random variables with a complex symmetric matrix and is applicable to recursive computation of such moments.


title: Constraining the Outflow Structure of the Binary Neutron Star Merger Event GW170817 with Markov-Chain Monte Carlo Analysis

abstract: The multi-wavelength non-thermal emission from the binary neutron star (BNS) merger GW170817 has raised a heated debate concerning the post-merger outflow structure. Both a relativistic structured jet viewed off-axis and a mildly relativistic quasi-spherical outflow can explain the observational data of GW170817 up to ~260 days. We utilize a physically motivated analytic two-parameter model called the "boosted fireball" for the outflow structure after it has expanded far from the merger site and has entered the self-similar coasting phase. This model consists of a family of outflows with a structure varying smoothly between a highly collimated ultra-relativistic jet and an isotropic fireball. We simulate the dynamical evolution, starting with "boosted fireball" initial conditions, of 240 outflows using the moving-mesh relativistic hydrodynamics code JET to follow their evolution through the afterglow phase. We compute nearly 2,000,000 synchrotron spectra from the hydrodynamic simulations using the standard synchrotron radiation model. By making use of scaling relations in the hydrodynamic and radiation equations, we develop a synthetic light curve generator with an efficient sampling speed. This allows us to fit the observational data by performing Markov-Chain Monte Carlo (MCMC) analysis in a 8-dimensional parameter space, consisting of hydrodynamic parameters, radiation parameters and observational parameters. Our results favor the relativistic structured jet, with a jet opening angle ~5 deg and Lorentz factor ~175, viewed from an off-axis angle of 27(+9-3) deg. Due to parameter degeneracies, we find broad distributions for the explosion energy E_0, the circumburst density n_0, epsilon_e and epsilon_B. The combination of a high n_0 and a low epsilon_B can also produce a good fit, indicating that an extremely low n_0 may not be required for GW170817.


title: Device-to-Device Secure Coded Caching

abstract: This paper studies device to device (D2D) coded-caching with information theoretic security guarantees. A broadcast network consisting of a server, which has a library of files, and end users equipped with cache memories, is considered. Information theoretic security guarantees for confidentiality are imposed upon the files. The server populates the end user caches, after which D2D communications enable the delivery of the requested files. Accordingly, we require that a user must not have access to files it did not request, i.e., secure caching. First, a centralized coded caching scheme is provided by jointly optimizing the cache placement and delivery policies. Next, a decentralized coded caching scheme is developed that does not require the knowledge of the number of active users during the caching phase. Both schemes utilize non-perfect secret sharing and one-time pad keying, to guarantee secure caching. Furthermore, the proposed schemes provide secure delivery as a side benefit, i.e., any external entity which overhears the transmitted signals during the delivery phase cannot obtain any information about the database files. The proposed schemes provide the achievable upper bound on the minimum delivery sum rate. Lower bounds on the required transmission sum rate are also derived using cut-set arguments indicating the multiplicative gap between the lower and upper bounds. Numerical results indicate that the gap vanishes with increasing memory size. Overall, the work demonstrates the effectiveness of D2D communications in cache-aided systems even when confidentiality constraints are imposed at the participating nodes and against external eavesdroppers.


title: Labyrinth: Compiling Imperative Control Flow to Parallel Dataflows

abstract: Parallel dataflow systems have become a standard technology for large-scale data analytics. Complex data analysis programs in areas such as machine learning and graph analytics often involve control flow, i.e., iterations and branching. Therefore, systems for advanced analytics should include control flow constructs that are efficient and easy to use. A natural approach is to provide imperative control flow constructs similar to those of mainstream programming languages: while-loops, if-statements, and mutable variables, whose values can change between iteration steps. However, current parallel dataflow systems execute programs written using imperative control flow constructs by launching a separate dataflow job after every control flow decision (e.g., for every step of a loop). The performance of this approach is suboptimal, because (a) launching a dataflow job incurs scheduling overhead; and (b) it prevents certain optimizations across iteration steps. In this paper, we introduce Labyrinth, a method to compile programs written using imperative control flow constructs to a single dataflow job, which executes the whole program, including all iteration steps. This way, we achieve both efficiency and ease of use. We also conduct an experimental evaluation, which shows that Labyrinth has orders of magnitude smaller per-iteration-step overhead than launching new dataflow jobs, and also allows for significant optimizations across iteration steps.


title: MNIST Dataset Classification Utilizing k-NN Classifier with Modified Sliding-window Metric

abstract: The MNIST dataset of the handwritten digits is known as one of the commonly used datasets for machine learning and computer vision research. We aim to study a widely applicable classification problem and apply a simple yet efficient K-nearest neighbor classifier with an enhanced heuristic. We evaluate the performance of the K-nearest neighbor classification algorithm on the MNIST dataset where the $L2$ Euclidean distance metric is compared to a modified distance metric which utilizes the sliding window technique in order to avoid performance degradation due to slight spatial misalignments. The accuracy metric and confusion matrices are used as the performance indicators to compare the performance of the baseline algorithm versus the enhanced sliding window method and results show significant improvement using this proposed method.


title: $L^{p}$-solutions of the Navier-Stokes equation with fractional Brownian noise

abstract: We study the Navier-Stokes equations on a smooth bounded domain $D\subset \mathbb R^d$ ($d=2$ or 3), under the effect of an additive fractional Brownian noise. We show local existence and uniqueness of a mild $L^p$-solution for $p>d$.


title: On the Learning Dynamics of Deep Neural Networks

abstract: While a lot of progress has been made in recent years, the dynamics of learning in deep nonlinear neural networks remain to this day largely misunderstood. In this work, we study the case of binary classification and prove various properties of learning in such networks under strong assumptions such as linear separability of the data. Extending existing results from the linear case, we confirm empirical observations by proving that the classification error also follows a sigmoidal shape in nonlinear architectures. We show that given proper initialization, learning expounds parallel independent modes and that certain regions of parameter space might lead to failed training. We also demonstrate that input norm and features' frequency in the dataset lead to distinct convergence speeds which might shed some light on the generalization capabilities of deep neural networks. We provide a comparison between the dynamics of learning with cross-entropy and hinge losses, which could prove useful to understand recent progress in the training of generative adversarial networks. Finally, we identify a phenomenon that we baptize gradient starvation where the most frequent features in a dataset prevent the learning of other less frequent but equally informative features.


title: Towards a Generic Diver-Following Algorithm: Balancing Robustness and Efficiency in Deep Visual Detection

abstract: This paper explores the design and development of a class of robust diver-following algorithms for autonomous underwater robots. By considering the operational challenges for underwater visual tracking in diverse real-world settings, we formulate a set of desired features of a generic diver following algorithm. We attempt to accommodate these features and maximize general tracking performance by exploiting the state-of-the-art deep object detection models. We fine-tune the building blocks of these models with a goal of balancing the trade-off between robustness and efficiency in an onboard setting under real-time constraints. Subsequently, we design an architecturally simple Convolutional Neural Network (CNN)-based diver-detection model that is much faster than the state-of-the-art deep models yet provides comparable detection performances. In addition, we validate the performance and effectiveness of the proposed diver-following modules through a number of field experiments in closed-water and open-water environments.


title: A new Fibonacci identity and its associated summation identities

abstract: We derive a new Fibonacci identity. This single identity subsumes important known identities such as those of Catalan, Ruggles, Halton and others, as well as standard general identities found in the books by Vajda, Koshy and others. We also derive several binomial and ordinary summation identities arising from this identity; in particular we obtain a generalization of Halton's general Fibonacci identity.


title: Assessment of ionospheric activity tolerances for Epoch of Reionisation science with the Murchison Widefield Array

abstract: Structure imprinted in foreground extragalactic point sources by ionospheric refraction has the potential to contaminate Epoch of Reionisation (EoR) power spectra of the 21~cm emission line of neutral hydrogen. The alteration of the spatial and spectral structure of foreground measurements due to total electron content (TEC) gradients in the ionosphere create a departure from the expected sky signal. We present a general framework for understanding the signatures of ionospheric behaviour in the two-dimensional (2D) neutral hydrogen power spectrum measured by a low-frequency radio interferometer. Two primary classes of ionospheric behaviour are considered, corresponding to dominant modes observed in Murchison Widefield Array (MWA) EoR data; namely, anisotropic structured wave behaviour, and isotropic turbulence. Analytic predictions for power spectrum bias due to this contamination are computed, and compared with simulations. We then apply the ionospheric metric described in Jordan et al. (2017) to study the impact of ionospheric structure on MWA data, by dividing MWA EoR datasets into classes with good and poor ionospheric conditions, using sets of matched 30-minute observations from 2014 September. The results are compared with the analytic and simulated predictions, demonstrating the observed bias in the power spectrum when the ionosphere is active (displays coherent structures or isotropic turbulence). The analysis demonstrates that unless ionospheric activity can be quantified and corrected, active data should not be included in EoR analysis in order to avoid systematic biases in cosmological power spectra. When data are corrected with a model formed from the calibration information, bias reduces below the expected 21~cm signal level. Data are considered `quiet' when the median measured source position offsets are less than 10-15~arcseconds.


title: Pan-disease clustering analysis of the trend of period prevalence

abstract: For all diseases, prevalence has been carefully studied. In the "classic" paradigm, the prevalence of different diseases has usually been studied separately. Accumulating evidences have shown that diseases can be "correlated". The joint analysis of prevalence of multiple diseases can provide important insights beyond individual-disease analysis, however, has not been well conducted. In this study, we take advantage of the uniquely valuable Taiwan National Health Insurance Research Database (NHIRD), and conduct a pan-disease analysis of period prevalence trend. The goal is to identify clusters within which diseases share similar period prevalence trends. For this purpose, a novel penalization pursuit approach is developed, which has an intuitive formulation and satisfactory properties. In data analysis, the period prevalence values are computed using records on close to 1 million subjects and 14 years of observation. For 405 diseases, 35 nontrivial clusters (with sizes larger than one) and 27 trivial clusters (with sizes one) are identified. The results differ significantly from those of the alternatives. A closer examination suggests that the clustering results have sound interpretations. This study is the first to conduct a pan-disease clustering analysis of prevalence trend using the uniquely valuable NHIRD data and can have important value in multiple aspects.


title: Error-Control-Coding Assisted Imaging

abstract: Error-control-coding (ECC) techniques are widely used in modern digital communication systems to minimize the effect of noisy channels on the quality of received signals. Motivated by the fact that both communication and imaging can be considered as an information transfer process, in this paper we demonstrate that ECC could yield significant improvements in the image quality by reducing the effect of noise in the physical process of image acquisition. In the demonstrated approach, the object is encoded by ECC structured light fields generated by a digital-micromirror-device (DMD) while its image is obtained by decoding the received signal collected by a bucket-detector (BD). By applying a Luby Transform (LT) code as an example, our proof-of-concept experiment validates that the object image can be effectively reconstructed while errors induced by noisy reception can be significantly reduced. The demonstrated approach informs a new imaging technique: ECC assisted imaging, which can be scaled into applications such as remote sensing, spectroscopy and biomedical imaging.


title: Non-invasive imaging through thin scattering layers with broadband illumination

abstract: Memory-effect-based methods have been demonstrated to be feasible to observe hidden objects through thin scattering layers, even from a single-shot speckle pattern. However, most of the existing methods are performed with narrowband illumination or require point light-sources adjacent to the hidden objects as the references, to make an invasive pre-calibration of the imaging system. Here, inspired by the shift-and-add algorithm, we propose that by randomly selecting and averaging different sub-regions of the speckle patterns, an image pattern resembling the autocorrelation (we call it R-autocorrelation) of the hidden object can be extracted. By performing numerical simulations and experiments, we demonstrate that comparing with true autocorrelation, the pattern of R-autocorrelation has a significantly lower background and higher contrast, which enables better reconstructions of hidden objects, especially in the case of broadband illumination, or even with white-light.


title: Aberrated dark-field imaging systems

abstract: We study generalized dark-field imaging systems. These are a subset of linear shift-invariant optical imaging systems, that exhibit arbitrary aberrations, and for which normally-incident plane-wave input yields zero output. We write down the theory for the forward problem of imaging coherent scalar optical fields using such arbitrarily-aberrated dark-field systems, and give numerical examples. The associated images may be viewed as a form of dark-field Gabor holography, utilizing arbitrary outgoing Green functions as generalized Huygens-type wavelets, and with the Young-type boundary wave forming the holographic reference.


title: A HWENO Reconstruction Based High-order Compact Gas-kinetic Scheme on Unstructured Meshes

abstract: As an extension of previous fourth-order compact gas kinetic scheme (GKS) on structured meshes (Ji et al. 2018), this work is about the development of a third-order compact GKS on unstructured meshes for the compressible Euler and Navier-Stokes solutions. Based on the time accurate high-order gas-kinetic evolution solution at a cell interface, the time dependent gas distribution function in GKS provides not only the flux function and its time derivative at a cell interface, but also the time accurate flow variables there at next time level. As a result, besides updating the conservative flow variables inside each control volume through the interface fluxes, the cell averaged first-order spatial derivatives of flow variables in the cell can be also obtained using the updated flow variables at the cell interfaces around that cell through the divergence theorem. Therefore, with the flow variables and their first-order spatial derivatives inside each cell, the Hermite WENO (HWENO) techniques can be naturally implemented for the compact high-order reconstruction at the beginning of a new time step. Following the reconstruction method in (Zhu et al. 2018), a new HWENO reconstruction on triangular meshes is designed in the current scheme. Combined with a two-stage temporal discretization and second-order gas-kinetic flux function, a third-order spatial and temporal accuracy in the current compact scheme can be achieved. Accurate solutions can be obtained for both inviscid and viscous flows without sensitive dependence on the quality of triangular meshes. The robustness of the scheme has been validated as well through the cases with strong shocks in the hypersonic viscous flow simulations.


title: Recommendations from the Ad Hoc Committee on SETI Nomenclature

abstract: The Ad Hoc Committee on SETI Nomenclature was convened at the suggestion of Frank Drake after the Decoding Alien Intelligence Workshop at the SETI Institute in March 2018. The purpose of the committee was to recommend standardized definitions for terms, especially those that are used inconsistently in the literature and the scientific community. The committee sought to recommend definitions and terms that are a compromise among several desirable but occasionally inconsistent properties for such terms: 1) Consistency with the historical literature and common use in the field; 2) Consistency with the present literature and common use in the field; 3) Precision of meaning; 4) Consistency with the natural (i.e. everyday, non-jargon) meanings of terms; 5) Compatibility with non-English terms and definitions. The definitions in this report are restricted to technical, SETI contexts, where they may have jargon senses different from their everyday senses. In many cases we include terms only to deprecate them (in the sense of "to withdraw official support for or discourage the use of...in favor of a newer or better alternative", Merriam-Webster sense 4). This is a consensus document that the committee members all endorse; however, in many cases the individual members have (or have expressed in the past) more nuanced opinions on these terms that are not fully reflected here, for instance Alm\'ar (2008, Acta Astronautica, 68, 351), Denning (2008, NASA-SP-2009-4802 Ch. 3 pp.63-124), and Wright (2018, arXiv:1803.06972).


title: FRAGE: Frequency-Agnostic Word Representation

abstract: Continuous word representation (aka word embedding) is a basic building block in many neural network-based models used in natural language processing tasks. Although it is widely accepted that words with similar semantics should be close to each other in the embedding space, we find that word embeddings learned in several tasks are biased towards word frequency: the embeddings of high-frequency and low-frequency words lie in different subregions of the embedding space, and the embedding of a rare word and a popular word can be far from each other even if they are semantically similar. This makes learned word embeddings ineffective, especially for rare words, and consequently limits the performance of these neural network models. In this paper, we develop a neat, simple yet effective way to learn \emph{FRequency-AGnostic word Embedding} (FRAGE) using adversarial training. We conducted comprehensive studies on ten datasets across four natural language processing tasks, including word similarity, language modeling, machine translation and text classification. Results show that with FRAGE, we achieve higher performance than the baselines in all tasks.


title: HDTCat: let's make HDT scale

abstract: HDT (Header, Dictionary, Triples) is a serialization for RDF. HDT has become very popular in the last years because it allows to store RDF data with a small disk footprint, while remaining at the same time queriable. For this reason HDT is often used when scalability becomes an issue. Once RDF data is serialized into HDT, the disk footprint to store it and the memory footprint to query it are very low. However, generating HDT files from raw text RDF serializations (like N-Triples) is a time-consuming and (especially) memory-consuming task. In this publication we present HDTCat, an algorithm and command line tool to join two HDT files with low memory footprint. HDTCat can be used in a divide-and-conquer strategy to generate HDT files from huge datasets using a low-memory footprint.


title: The wide binary fraction of solar-type stars: emergence of metallicity dependence at a < 200 AU

abstract: We combine a catalog of wide binaries constructed from Gaia DR2 with [Fe/H] abundances from wide-field spectroscopic surveys to quantify how the binary fraction varies with metallicity over separations $50 \lesssim s/{\rm AU} \lesssim 50,000$. At a given distance, the completeness of the catalog is independent of metallicity, making it straightforward to constrain intrinsic variation with [Fe/H]. The wide binary fraction is basically constant with [Fe/H] at large separations ($s \gtrsim 250$\,AU) but becomes quite rapidly anti-correlated with [Fe/H] at smaller separations: for $50 < s/{\rm AU} < 100$, the binary fraction at $\rm [Fe/H] = -1$ exceeds that at $\rm [Fe/H] = 0.5$ by a factor of 3, an anti-correlation almost as strong as that found for close binaries with $a < 10$ AU. Interpreted in terms of models where disk fragmentation is more efficient at low [Fe/H], our results suggest that $100 < a/{\rm AU} < 200$ is the separation below which a significant fraction of binaries formed via fragmentation of individual gravitationally unstable disks rather than through turbulent core fragmentation. We provide a public catalog of 8,407 binaries within 200 pc with spectroscopically-determined [Fe/H] for at least one component.


title: Uplifting Runaways

abstract: We find a mechanism by which antibranes placed in a warped deformed conifold throat can destroy the stabilization of the size of the sphere at the tip, collapsing it to zero size. This conifold destabilization mechanism can be avoided by turning on a large amount of flux on the sphere, but tadpole cancelation makes this incompatible with a hierarchy of scales in a Type IIB flux compactification. This indicates that antibrane uplift cannot be used to construct stable de Sitter vacua with a small cosmological constant in perturbative String Theory. The values of V and V' for these KKLT-like scenarios can be parametrically small, but we find that V'/V is still consistent with the de Sitter swampland conjecture. Our results also suggest that there should exist a Klebanov-Strassler black hole, holographically dual to a deconfined phase with spontaneously broken chiral symmetry.


title: Entangling detectors in anti-de Sitter space

abstract: We examine in $(2+1)$-dimensional anti-de Sitter (AdS) space the phenomena of entanglement harvesting - the process in which a pair of detectors (two-level atoms) extract entanglement from a quantum field through local interactions with the field. We begin by reviewing the Unruh-DeWitt detector and its interaction with a real scalar field in the vacuum state, as well as the entanglement harvesting protocol in general. We then examine how the entanglement harvested by a pair of such detectors depends on their spacetime trajectory, separation, spacetime curvature, and boundary conditions satisfied by the field. The harvested entanglement is interpreted as an indicator of field entanglement between the localized regions where the detectors interact with the field, and thus this investigation allows us to probe indirectly the entanglement structure of the AdS vacuum. We find an island of separability for specific values of the detectors' energy gap and separation at intermediate values of the AdS length for which entanglement harvesting is not possible; an analogous phenomena is observed in AdS$_4$, to which we compare and contrast our results. In the process we examine how the transition probability of a single detector, as a proxy for local fluctuations of the field, depends on spacetime curvature, its location in AdS space, and boundary conditions satisfied by the field.