title: full-FORCE: A Target-Based Method for Training Recurrent Networks

abstract: Trained recurrent networks are powerful tools for modeling dynamic neural computations. We present a target-based method for modifying the full connectivity matrix of a recurrent network to train it to perform tasks involving temporally complex input/output transformations. The method introduces a second network during training to provide suitable "target" dynamics useful for performing the task. Because it exploits the full recurrent connectivity, the method produces networks that perform tasks with fewer neurons and greater noise robustness than traditional least-squares (FORCE) approaches. In addition, we show how introducing additional input signals into the target-generating network, which act as task hints, greatly extends the range of tasks that can be learned and provides control over the complexity and nature of the dynamics of the trained, task-performing network.


title: Building a Dynamical Network Model from Neural Spiking Data: Application of Poisson Likelihood

abstract: Research showed that, the information transmitted in biological neurons is encoded in the instants of successive action potentials or their firing rate. In addition to that, in-vivo operation of the neuron makes measurement difficult and thus continuous data collection is restricted. Due to those reasons, classical mean square estimation techniques that are frequently used in neural network training is very difficult to apply. In such situations, point processes and related likelihood methods may be beneficial. In this study, we will present how one can apply certain methods to use the stimulus-response data obtained from a neural process in the mathematical modeling of a neuron. The study is theoretical in nature and it will be supported by simulations. In addition it will be compared to a similar study performed on the same network model.


title: Photoassociation spectroscopy of ultracold $^{173}$Yb atoms near the intercombination line

abstract: We report on photoassociation (PA) spectroscopy of a degenerate Fermi gas of $^{173}$Yb atoms near the dissociation limit of the spin-forbidden ${^1}S_0-{^3}P_1$ intercombination transition. An atom-loss spectrum is measured from a trapped sample for a spectral range down to $-1$~GHz with respect to the $f=5/2 \rightarrow f^\prime=7/2$ atomic resonance. The spectrum shows eighty PA resonances, revealing the high nuclear spin nature of the system. We investigate the Zeeman effect on the spectrum near a detuning of $-0.8$~GHz, where we examine the quantum numbers of the Zeeman levels using various two-component spin mixture samples. Finally, we measure the atom loss rate under PA light for several pronounced PA resonances.


title: Modelling Power Network: State Estimation and Correction

abstract: It is presented a simple algorithm for power network state estimation and correction (fault detection) employing standard methodology.


title: Generalized Pauli constraints in small atoms

abstract: The natural occupation numbers of fermionic systems are subject to non-trivial constraints, which include and extend the original Pauli principle. A recent mathematical breakthrough has clarified their mathematical structure and has opened up the possibility of a systematic analysis. Early investigations have found evidence that these constraints are exactly saturated in several physically relevant systems, e.g., in a certain electronic state of the Beryllium atom. It has been suggested that in such cases, the constraints, rather than the details of the Hamiltonian, dictate the system's qualitative behaviour. Here, we revisit this question with state-of-the-art numerical methods for small atoms. We find that the constraints are, in fact, not exactly saturated, but that they lie much closer to the surface defined by the constraints than the geometry of the problem would suggest. While the results seem incompatible with the statement that the generalized Pauli constraints drive the behaviour of these systems, they suggest that the qualitatively correct wave-function expansions can in some systems already be obtained on the basis of a limited number of Slater determinants, which is in line with numerical evidence from quantum chemistry.


title: The inner mass power spectrum of galaxies using strong gravitational lensing: beyond linear approximation

abstract: In the last decade the detection of individual massive dark matter sub-halos has been possible using potential correction formalism in strong gravitational lens imaging. Here we propose a statistical formalism to relate strong gravitational lens surface brightness anomalies to the lens potential fluctuations arising from dark matter distribution in the lens galaxy. We consider these fluctuations as a Gaussian random field in addition to the unperturbed smooth lens model. This is very similar to weak lensing formalism and we show that in this way we can measure the power spectrum of these perturbations to the potential. We test the method by applying it to simulated mock lenses of different geometries and by performing an MCMC analysis of the theoretical power spectra. This method can measure density fluctuations in early type galaxies on scales of 1-10 kpc at typical rms-levels of a percent, using a single lens system observed with the Hubble Space Telescope with typical signal-to-noise ratios obtained in a single orbit.


title: Vector fields and moduli of canonically polarized surfaces in positive characteristic

abstract: This paper investigates the geometry of smooth canonically polarized surfaces defined over a field of positive characteristic which have a nontrivial global vector field, and the implications that the existence of such surfaces has in the moduli problem of canonically polarized surfaces. In particular, an explicit real valued function f(x) is obtained such that if $X$ is a smooth canonically polarized surface defined over an algebraically closed field of characteristic p>0 such that $K_X^2 <f(p)$, then $X$ is unirational and the order of its algebraic fundamental group is at most two. As a consequence of this result, large classes of canonically polarized surfaces are identified whose moduli stack is Deligne-Mumford, a property that does not hold in general in positive characteristic.


title: Deeper, Broader and Artier Domain Generalization

abstract: The problem of domain generalization is to learn from multiple training domains, and extract a domain-agnostic model that can then be applied to an unseen domain. Domain generalization (DG) has a clear motivation in contexts where there are target domains with distinct characteristics, yet sparse data for training. For example recognition in sketch images, which are distinctly more abstract and rarer than photos. Nevertheless, DG methods have primarily been evaluated on photo-only benchmarks focusing on alleviating the dataset bias where both problems of domain distinctiveness and data sparsity can be minimal. We argue that these benchmarks are overly straightforward, and show that simple deep learning baselines perform surprisingly well on them. In this paper, we make two main contributions: Firstly, we build upon the favorable domain shift-robust properties of deep learning methods, and develop a low-rank parameterized CNN model for end-to-end DG learning. Secondly, we develop a DG benchmark dataset covering photo, sketch, cartoon and painting domains. This is both more practically relevant, and harder (bigger domain shift) than existing benchmarks. The results show that our method outperforms existing DG alternatives, and our dataset provides a more significant DG challenge to drive future research.


title: Radio Polarisation Study of High Rotation Measure AGNs

abstract: As radio polarised emission from astrophysical objects traverse through foreground magnetised plasma, the physical conditions along the lines of sight are encrypted in the form of Rotation Measure (RM). We performed broadband spectro-polarimetric observations of high Rotation Measure (|RM| >~ 300 rad m-2) sources away from the Galactic plane (|b| > 10 deg) selected from the NVSS RM catalogue. The main goals are to verify the NVSS RM values, which could be susceptible to n{\pi}-ambiguity, as well as to identify the origin of the extreme RM values. We show that 40 % of our sample suffer from n{\pi}-ambiguity in the NVSS RM catalogue. There are also hints of RM variabilities over ~20 years epoch for most of our sources, as revealed by comparing the RM values of the two studies in the same frequency ranges after correcting for n{\pi}-ambiguity. At last, we demonstrate the possibility of applying QU-fitting to study the ambient media of AGNs.


title: Weak magnetic anisotropy in GdRh$_2$Si$_2$ studied by magnetic resonance

abstract: The antiferromagnetically (AFM) ordered state of GdRh$_{2}$Si$_{2}$ which consists of AFM-stacked ferromagnetic layers is investigated by magnetic resonance spectroscopy. The almost isotropic Gd$^{3+}$ paramagnetic resonance becomes anisotropic in the AFM ordered region below 107 K. The emerging internal anisotropic exchange-fields are still small enough to allow an investigation of their magnetization dynamics by using a standard microwave-frequency magnetic resonance technique. We could characterize this anisotropy in detail in the ferromagnetic layers of the excitation at 9 and 34 GHz. We derived a resonance condition for the AFM ordered phase to describe the weak in-plane anisotropic behaviour in combination with a mean-field analysis.


title: Operator estimates for the crushed ice problem

abstract: Let $\Delta_{\Omega_\varepsilon}$ be the Dirichlet Laplacian in the domain $\Omega_\varepsilon:=\Omega\setminus\left(\cup_i D_{i \varepsilon}\right)$. Here $\Omega\subset\mathbb{R}^n$ and $\{D_{i \varepsilon}\}_{i}$ is a family of tiny identical holes ("ice pieces") distributed periodically in $\mathbb{R}^n$ with period $\varepsilon$. We denote by $\mathrm{cap}(D_{i \varepsilon})$ the capacity of a single hole. It was known for a long time that $-\Delta_{\Omega_\varepsilon}$ converges to the operator $-\Delta_{\Omega}+q$ in strong resolvent sense provided the limit $q:=\lim_{\varepsilon\to 0} \mathrm{cap}(D_{i\varepsilon}) \varepsilon^{-n}$ exists and is finite. In the current contribution we improve this result deriving estimates for the rate of convergence in terms of operator norms. As an application, we establish the uniform convergence of the corresponding semi-groups and (for bounded $\Omega$) an estimate for the difference of the $k$-th eigenvalue of $-\Delta_{\Omega_\varepsilon}$ and $-\Delta_{\Omega_\varepsilon}+q$. Our proofs relies on an abstract scheme for studying the convergence of operators in varying Hilbert spaces developed previously by the second author.


title: Superfluid motion and drag-force cancellation in a fluid of light

abstract: Quantum fluids of light merge many-body physics and nonlinear optics, through the study of light propagation in a nonlinear medium under the shine of quantum hydrodynamics. One of the most outstanding evidence of light behaving as an interacting fluid is its ability to carry itself as a superfluid. Here, we report a direct experimental detection of the transition to superfluidity in the flow of a fluid of light past an obstacle in a bulk nonlinear crystal. In this cavityless all- optical system, we extract a direct optical analog of the drag force exerted by the fluid of light and measure the associated displacement of the obstacle. Both quantities drop to zero in the superfluid regime characterized by a suppression of long-range radiation from the obstacle. The experimental capability to shape both the flow and the potential landscape paves the way for simulation of quantum transport in complex systems.


title: Existence of Weak Solutions for a Diffuse Interface Model for Two-Phase Flow with Surfactants

abstract: Two-phase flow of two Newtonian incompressible viscous fluids with a soluble surfactant and different densities of the fluids can be modeled within the diffuse interface approach. We consider a Navier-Stokes/Cahn-Hilliard type system coupled to non-linear diffusion equations that describe the diffusion of the surfactant in the bulk phases as well as along the diffuse interface. Moreover, the surfactant concentration influences the free energy and therefore the surface tension of the diffuse interface. For this system existence of weak solutions globally in time for general initial data is proved. To this end a two-step approximation is used that consists of a regularization of the time continuous system in the first and a time-discretization in the second step.


title: The equation solvability problem over nilpotent Mal'cev algebras

abstract: By a result of Horv\'ath the equation solvability problem over finite nilpotent groups and rings is in P. We generalize his result, showing that the equation solvability over every finite supernilpotent Mal'cev algebra is in P. We also give an example of a nilpotent, but not supernilpotent Mal'cev algebra, whose identity checking problem is coNP-complete.


title: Modification of Moment-Based Tail Index Estimator: Sums versus Maxima

abstract: In this paper we continue the investigation of the SRCEN estimator of the extreme value index $\gamma$ (or the tail index $\alpha=1/\gamma$) proposed in \cite{MCE} for $\gamma>1/2$. We propose a new estimator based on the local maximum. This, in fact, is a modification of the SRCEN estimator to the case $\gamma>0$. We establish the consistency and asymptotic normality of the newly proposed estimator for i.i.d. data. Also, a short discussion on the comparison of the estimators is included.


title: Rigidity of warped cones and coarse geometry of expanders

abstract: We study the geometry of warped cones over free, minimal isometric group actions and related constructions of expander graphs. We prove a rigidity theorem for the coarse geometry of such warped cones: Namely, if a group has no abelian factors, then two such warped cones are quasi-isometric if and only if the actions are finite covers of conjugate actions. As a consequence, we produce continuous families of non-quasi-isometric expanders and superexpanders. The proof relies on the use of coarse topology for warped cones, such as a computation of their coarse fundamental groups.


title: Importance of isobar density distributions on the chiral magnetic effect search

abstract: Under the approximate chiral symmetry restoration, quark interactions with topological gluon fields in quantum chromodynamics can induce chirality imbalance and parity violation in local domains. An electric charge separation ({\sc cs}) could be generated along the direction of a strong magnetic field ({\bf B}), a phenomenon called the chiral magnetic effect ({\sc cme}). {\sc cs} measurements by azimuthal correlators are contaminated by a major background from elliptic flow anisotropy ($v_2$). Isobaric $^{96}_{44}$Ru+$^{96}_{44}$Ru and $^{96}_{40}$Zr+$^{96}_{40}$Zr collisions have been proposed to identify the {\sc cme} (expected to differ between the two systems) out of the background (expected to be almost the same). We show, by using the density-functional calculated proton and neutron distributions, that these expectations may not hold as originally anticipated, because the two systems may have sizable differences in eccentricity and $v_2$ and because their difference in {\bf B} may suffer from large uncertainties.


title: Homogenization of a class of one-dimensional nonconvex viscous Hamilton-Jacobi equations with random potential

abstract: We prove the homogenization of a class of one-dimensional viscous Hamilton-Jacobi equations with random Hamiltonians that are nonconvex in the gradient variable. Due to the special form of the Hamiltonians, the solutions of these PDEs with linear initial conditions have representations involving exponential expectations of controlled Brownian motion in a random potential. The effective Hamiltonian is the asymptotic rate of growth of these exponential expectations as time goes to infinity and is explicit in terms of the tilted free energy of (uncontrolled) Brownian motion in a random potential. The proof involves large deviations, construction of correctors which lead to exponential martingales, and identification of asymptotically optimal policies.


title: Finger Based Techniques for Nonvisual Touchscreen Text Entry

abstract: This research proposes Finger Based Technique (FBT) for non-visual touch screen device interaction designed for blind users. Based on the proposed technique, the blind user can access virtual keys based on finger holding positions. Three different models have been proposed. They are Single Digit Finger-Digit Input (FDI), Double Digit FDI for digital text entry, and Finger-Text Input (FTI) for normal text entry. All the proposed models were implemented with voice feedback while enabling touch as the input gesture. The models were evaluated with 7 blind participants with Samsung Galaxy S2 apparatus. The results show that Single Digit FDI is substantially faster and more accurate than Double Digit FDI and iPhone voice-over. FTI also looks promising for text entry. Our study also reveals 11 accessible regions to place widgets for quick access by blind users in flat touch screen based smartphones. Identification of these accessible regions will promote dynamic interactions for blind users and serve as a usability design framework for touch screen applications.


title: Stability of nonlinear wave patterns to the bipolar Vlasov-Poisson-Boltzmann system

abstract: The main purpose of the present paper is to investigate the nonlinear stability of viscous shock waves and rarefaction wave for bipolar Vlasov-Poisson-Boltzmann (VPB) system. To this end, motivated by the micro-macro decomposition to the Boltzmann equation in [21, 23], we first set up a new micro-macro decomposition around the local Maxwellian related to the bipolar VPB system and give a unified framework to study the nonlinear stability of the basic wave patterns to the system. Then, as the applications of this new decomposition, the time-asymptotic stability of the two typical nonlinear wave patterns, viscous shock waves and rarefaction wave, are proved for the 1D bipolar Vlasov-Poisson-Boltzmann system. More precisely, it is first proved that the linear superposition of two Boltzmann shock profiles in the first and third characteristic fields is nonlinearly stable to the 1D bipolar VPB system up to some suitable shifts without the zero macroscopic mass conditions on the initial perturbations. Then the time-asymptotic stability of rarefaction wave fan to compressible Euler equations is proved to 1D bipolar VPB system. These two results are concerned with the nonlinear stability of wave patterns for Boltzmann equation coupled with additional (electric) forces, which together with spectral analysis made in [18] sheds light on understanding the complicated dynamic behaviors around the wave patterns in the transportation of charged particles under the binary collisions, mutual interactions, and the effect of the electrostatic potential forces.


title: Theoretical Computer Science for the Working Category Theorist

abstract: Theoretical computer science discusses foundational issues about computations. It asks and answers questions such as "What is a computation?", "What is computable?", "What is efficiently computable?","What is information?", "What is random?", "What is an algorithm?", etc. We will present many of the major themes and theorems with the basic language of category theory. Surprisingly, many interesting theorems and concepts of theoretical computer science are easy consequences of functoriality and composition when you look at the right categories and functors connecting them.


title: On Variants of Network Flow Stability

abstract: We consider a general stable flow problem in a directed and capacitated network, where each vertex has a strict preference list over the incoming and outgoing edges. A flow is stable if no group of vertices forming a path can mutually benefit by rerouting the flow. Motivated by applications in supply chain networks, we generalize the traditional Kirchhoff's law, requiring the outflow is equal to the inflow at every nonterminal node, to a monotone piecewise linear relationship between the inflows and the outflows. We show the existence of a stable flow using Scarf's Lemma, and provide a polynomial time algorithm to find such a stable flow. We further show that finding a minimum cost generalized stable network is NP-hard, while the problem is polynomial time solvable for the traditional stable flow satisfying Kirchhoff's law.


title: The Unruh Quantum Otto Engine

abstract: We introduce a quantum heat engine performing an Otto cycle by using the thermal properties of the quantum vacuum. Since Hawking and Unruh, it has been established that the vacuum space, either near a black hole or for an accelerated observer, behaves as a bath of thermal radiation. In this work, we present a fully quantum Otto cycle, which relies on the Unruh effect for a single quantum bit (qubit) in contact with quantum vacuum fluctuations. By using the notions of quantum thermodynamics and perturbation theory we obtain that the quantum vacuum can exchange heat and produce work on the qubit. Moreover, we obtain the efficiency and derive the conditions to have both a thermodynamic and a kinematic cycle in terms of the initial populations of the excited state, which define a range of allowed accelerations for the Unruh engine.


title: Observation of Feshbach resonances between alkali and closed-shell atoms

abstract: Magnetic Feshbach resonances are an invaluable tool for controlling ultracold atoms and molecules. They can be used to tune atomic interactions and have been used extensively to explore few- and many-body phenomena. They can also be used for magnetoassociation, in which pairs of atoms are converted into molecules by ramping an applied magnetic field across a resonance. Pairs of open-shell atoms, such as the alkalis, chromium, and some lanthanides, exhibit broad resonances because the corresponding molecule has multiple electronic states. However, molecules formed between alkali and closed-shell atoms have only one electronic state and no broad resonances. Narrow resonances have been predicted in such systems, but until now have eluded observation. Here we present the first observation of magnetic Feshbach resonances in a system containing a closed-shell atom, Sr, interacting with an alkali atom, Rb. These resonances pave the way to creating an ultracold gas of strongly polar, open-shell molecules, which will open up new possibilities for designing quantum many-body systems and for tests of fundamental symmetries.


title: Characterizing in-text citations in scientific articles: A large-scale analysis

abstract: We report characteristics of in-text citations in over five million full text articles from two large databases - the PubMed Central Open Access subset and Elsevier journals - as functions of time, textual progression, and scientific field. The purpose of this study is to understand the characteristics of in-text citations in a detailed way prior to pursuing other studies focused on answering more substantive research questions. As such, we have analyzed in-text citations in several ways and report many findings here. Perhaps most significantly, we find that there are large field-level differences that are reflected in position within the text, citation interval (or reference age), and citation counts of references. In general, the fields of Biomedical and Health Sciences, Life and Earth Sciences, and Physical Sciences and Engineering have similar reference distributions, although they vary in their specifics. The two remaining fields, Mathematics and Computer Science and Social Science and Humanities, have different reference distributions from the other three fields and between themselves. We also show that in all fields the numbers of sentences, references, and in-text mentions per article have increased over time, and that there are field-level and temporal differences in the numbers of in-text mentions per reference. A final finding is that references mentioned only once tend to be much more highly cited than those mentioned multiple times.


title: Design, Fabrication, and Characterization of Ta2O5 Photonic Strip Waveguides

abstract: Efficient coupling of single quantum emitters to guided optical modes of integrated optical devices is of high importance for applications in quantum information science as well as in the field of sensing. Here we present the design and fabrication of a platform for on-chip experiments based on dielectric optical single-mode waveguides(Ta2O5 on SiO2). The design of the waveguide is optimized for broadband (600-800 nm) evanescent coupling to a single quantum emitter (expected efficiency: up to 36%) and efficient off-chip coupling to single-mode optical fibers using inverted tapers. First test samples exhibit propagation losses below 1.8 dB/mm and off-chip coupling efficiencies exceeding 57%. These results are promising for efficient coupling of solid state quantum emitters like NV- and SiV-centers to a single optical mode of a nanoscale waveguide.


title: A Method for Discriminating Between Dark Matter Models and MOND Modified Inertia via Galactic Rotation Curves

abstract: Dark Matter (DM) and Modified Newtonian Dynamics (MOND) models of rotationally supported galaxies lead to curves with different geometries in $(g_{N},g_{tot})$-space ($g2$-space). Here $g_{tot}$ is the total acceleration and $g_{N}$ is the acceleration as obtained from the baryonic matter via Newtonian dynamics. In MOND modified inertia (MI) models the curves in $g2$-space are closed with zero area and so curve segments at radii $r\geq r_{N}$ (large radii) and $r< r_{N}$ (small radii) coincide, where $r_{N}$ is the radius where $g_N$ is greatest. In DM models with cored density profiles where $g_{tot}$ is also zero at the galactic centre, the curves are again closed, but the area of the closed curves are in general non-zero because the curve segments at radii $r\geq r_{N}$ and $r<r_{N}$ do not coincide. Finally in DM models with cuspy density profiles such as the NFW profile where $g_{tot}$ is formally non-zero at the galactic origin the curves are open, and again the curve segments at radii $r\geq r_{N}$ and $r< r_{N}$ do not coincide. We develop a test of whether data at small and large radii coincide and investigate rotation curves from the SPARC database in order to discriminate between the above geometries. Due to loosely quantified systematic uncertainties we do not underline the result of the test, but instead conclude that the test illustrates the relevance of this type of analysis and demonstrate the ability to discriminate between the considered DM and MI models in this way.


title: Influence of Magnetic Scattering on Superfluidity of 3He in Nematic Aerogel

abstract: We report results of experiments with superfluid 3He confined in aerogels with parallel strands which lead to anisotropic scattering of 3He quasiparticles. We vary boundary conditions for the scattering by covering the strands by different numbers of atomic 4He layers and observe that the superfluid phase diagram and the nature of superfluid phases strongly depend on the coverage. We assume that the main reason of these phenomena is a magnetic channel of the scattering which becomes important at low coverages. Our results show that the magnetic channel also may be important in other Fermi systems with the triplet pairing.


title: Verification of spent nuclear fuel in sealed dry storage casks via measurements of cosmic ray muon scattering

abstract: Most of the plutonium in the world resides inside spent nuclear reactor fuel rods. This high-level radioactive waste is commonly held in long-term storage within large, heavily shielded casks. Currently, international nuclear safeguards inspectors have no stand-alone method of verifying the amount of reactor fuel stored within a sealed cask. Here we demonstrate experimentally that measurements of the scattering angles of cosmic ray muons which pass through a storage cask can be used to determine if spent fuel assemblies are missing without opening the cask. This application of technology and methods commonly used in high-energy particle physics provides a potential solution to this long-standing problem in international nuclear safeguards.


title: Measurement of Optical Orbital and Spin Angular Momentum: Implications for Photon Angular Momentum

abstract: The expression for the total angular momentum carried by a laser optical vortex beam, splits, in the paraxial approximation, into two terms which seem to represent orbital and spin angular momentum respectively. There are, however, two very different competing versions of the formula for the spin angular momentum, one based on the use of the Poynting vector, as in classical electrodynamics, the other related to the canonical expression for the angular momentum which occurs in Quantum Electrodynamic. I analyze the possibility that a sufficiently sensitive optical measurement could decide which of these corresponds to the actual physical angular momentum carried by the beam.


title: Theoretical analysis of Casimir and thermal Casimir effect in stationary space-time

abstract: We investigate Casimir effect as well as thermal Casimir effect for a pair of parallel perfectly plates placed in general stationary space-time background. It is found that the Casimir energy is influenced by the 00-component of metric and the corresponding quantity in dragging frame. We give a scheme to renormalize thermal correction to free energy in curved space-time. It is shown that the thermal corrections to Casimir thermodynamic quantities not only depend on the proper temperature and proper geometrical parameters of the plates, but also on the determinant of space-time metric.


title: Thermal Casimir Effect in Kerr Space-time

abstract: We investigate the thermal Casimir effect of a massless scalar field for two parallel plates moving in the equatorial orbit in Kerr space-time. Under the assumption that the typical cavity size is much smaller than the orbital radius, proposed by Sorge, we deduce the analytical expression of the renormalized free energy in this curved space-time. We also get the analytical representation for the renormalized internal energy, and find that there is a thermal correction to the Casimir energy, which depends on the proper temperature and the proper geometrical parameters of the plates. The asymptotic behavior of the Casimir free energy, entropy and internal energy at low temperature is also investigated.


title: Stability of the Superposition of a Viscous Contact Wave with two Rarefaction Waves to the bipolar Vlasov-Poisson-Boltzmann System

abstract: We investigate the nonlinear stability of the superposition of a viscous contact wave and two rarefaction waves for one-dimensional bipolar Vlasov-Poisson-Boltzmann (VPB) system, which can be used to describe the transportation of charged particles under the additional electrostatic potential force. Based on a new micro-macro type decomposition around the local Maxwellian related to the bipolar VPB system in our previous work [26], we prove that the superposition of a viscous contact wave and two rarefaction waves is time-asymptotically stable to 1D bipolar VPB system under some smallness conditions on the initial perturbations and wave strength, which implies that this typical composite wave pattern is nonlinearly stable under the combined effects of the binary collisions, the electrostatic potential force, and the mutual interactions of different charged particles. Note that this is the first result about the nonlinear stability of the combination of two different wave patterns for the Vlasov-Poisson-Boltzmann system.


title: Coexistence of Terrestrial and Aerial Users in Cellular Networks

abstract: Enabling the integration of aerial mobile users into existing cellular networks would make possible a number of promising applications. However, current cellular networks have not been designed to serve aerial users, and hence an exploration of design parameters is required in order to allow network providers to modify their current infrastructure. As a first step in this direction, this paper provides an in-depth analysis of the coverage probability of the downlink of a cellular network that serves both aerial and ground users. We present an exact mathematical characterization of the coverage probability, which includes the effect of base stations (BSs) height, antenna pattern and drone altitude for various type of urban environments. Interestingly, our results show that the favorable propagation conditions that aerial users enjoys due to its altitude is also their strongest limiting factor, as it leaves them vulnerable to interference. This negative effect can be substantially reduced by optimizing the flying altitude, the base station height and antenna down-tilt. Moreover, lowering the base station height and increasing down-tilt angle are in general beneficial for both terrestrial and aerial users, pointing out a possible path to enable their coexistence.


title: Seeing the unseeable

abstract: The Event Horizon Telescope, an Earth-sized interferometer, aims to capture an image of a black hole's event horizon to test the theory of general relativity and probe accretion processes.


title: Quantum phase transitions to topological Haldane phases in spin-one chains studied by linked-cluster expansions

abstract: We use linked-cluster expansions to analyze the quantum phase transitions between symmetry unbroken trivial and topological Haldane phases in two different spin-one chains. The first model is the spin-one Heisenberg chain in the presence of a single-ion anisotropy while the second one is the dimerized spin-one Heisenberg chain. For both models we determine the ground-state energy and the one-particle gap inside the non-topological phase as a high-order series using perturbative continuous unitary transformations. Extrapolations of the gap series are applied to locate the quantum critical point and to extract the associated critical exponent. We find that this approach works unsatisfactory for the anisotropic chain, since the quality of the extrapolation appears insufficient due to the large correlation length exponent. In contrast, extrapolation schemes display very good convergence for the gap closing in the case of the dimerized spin-one Heisenberg chain.


title: Stein's method for negatively associated random variables with applications to second order stationary random fields

abstract: Let $\boldsymbol{\xi}=(\xi_1,\ldots,\xi_m)$ be a negatively associated mean zero random vector with components that obey the bound $|\xi_i| \le B, i=1,\ldots,m$, and whose sum $W = \sum_{i=1}^m \xi_i$ has variance 1, the bound \[ d_1\big({\cal L}(W),{\cal L}(Z)\big) \le 5B - 5.2\sum_{i \not = j} \sigma_{ij}. \] is obtained where $Z$ has the standard normal distribution and $d_1(\cdot,\cdot)$ is the $L^1$ metric. The result is extended to the multidimensional case with the $L^1$ metric replaced by a smooth functions metric. Applications to second order stationary random fields with exponential decreasing covariance are also presented.


title: Verification of Binarized Neural Networks via Inter-Neuron Factoring

abstract: We study the problem of formal verification of Binarized Neural Networks (BNN), which have recently been proposed as a energy-efficient alternative to traditional learning networks. The verification of BNNs, using the reduction to hardware verification, can be even more scalable by factoring computations among neurons within the same layer. By proving the NP-hardness of finding optimal factoring as well as the hardness of PTAS approximability, we design polynomial-time search heuristics to generate factoring solutions. The overall framework allows applying verification techniques to moderately-sized BNNs for embedded devices with thousands of neurons and inputs.


title: The structure of multiplicative tilings of the real line

abstract: Suppose $\Omega, A \subseteq \RR\setminus\Set{0}$ are two sets, both of mixed sign, that $\Omega$ is Lebesgue measurable and $A$ is a discrete set. We study the problem of when $A \cdot \Omega$ is a (multiplicative) tiling of the real line, that is when almost every real number can be uniquely written as a product $a\cdot \omega$, with $a \in A$, $\omega \in \Omega$. We study both the structure of the set of multiples $A$ and the structure of the tile $\Omega$. We prove strong results in both cases. These results are somewhat analogous to the known results about the structure of translational tiling of the real line. There is, however, an extra layer of complexity due to the presence of sign in the sets $A$ and $\Omega$, which makes multiplicative tiling roughly equivalent to translational tiling on the larger group $\ZZ_2 \times \RR$.


title: Skew and linearized Reed-Solomon codes and maximum sum rank distance codes over any division ring

abstract: Reed-Solomon codes and Gabidulin codes have maximum Hamming distance and maximum rank distance, respectively. A general construction using skew polynomials, called skew Reed-Solomon codes, has already been introduced in the literature. In this work, we introduce a linearized version of such codes, called linearized Reed-Solomon codes. We prove that they have maximum sum-rank distance. Such distance is of interest in multishot network coding or in singleshot multi-network coding. To prove our result, we introduce new metrics defined by skew polynomials, which we call skew metrics, we prove that skew Reed-Solomon codes have maximum skew distance, and then we translate this scenario to linearized Reed-Solomon codes and the sum-rank metric. The theories of Reed-Solomon codes and Gabidulin codes are particular cases of our theory, and the sum-rank metric extends both the Hamming and rank metrics. We develop our theory over any division ring (commutative or non-commutative field). We also consider non-zero derivations, which give new maximum rank distance codes over infinite fields not considered before.


title: Distinguishing charged Higgs bosons from different representations at the LHC

abstract: Extending the Standard Model (SM) scalar sector via one or multiple Higgs field(s) in higher representation brings one or more charged Higgs bosons in the spectrum. Some of these gauge representations with appropriate hypercharge can bring up doubly charged Higgs boson and can be easily distinguished from the existing models with only singly charged Higgs boson. In this study we focus on distinguishing the singly charged Higgs bosons from different representations, viz. doublets and triplets of $SU(2)_L$ gauge group. We consider a supersymmetric extension of SM with a gauge singlet and $SU(2)_L$ triplet with $Y=0$ as a benchmark scenario with the possibility of rich phenomenology due to existence of light pseudoscalar for $Z_3$ symmetric superpotential. A detailed collider simulation considering all the SM backgrounds has been carried out in order to classify the final states which are favourable to charged Higgs boson from one particular representation than others. We show that such different representations can be probed an distinguished via looking at single charged Higgs boson phenomenology at the LHC with 14 TeV center of mass energy within $\sim 50$ fb$^{-1}$ of integrated luminosity.


title: Improved robust model selection methods for the Levy nonparametric regression in continuous time

abstract: In this paper we develop the James - Stein improved estimation method for a nonparametric periodic function observed with the Levy noises in continuous time. An adaptive model selection procedure based on the improved weighted least square estimates is constructed. The improvement effect for the nonparametric models is obtained. It turns out that in the nonasymptotic studies the accuracy improvement for nonparametric problems is more significantly than for the parametric one. Moreover, sharp oracle inequalities for the robust risks have been shown and the efficiency property for the improved model selection procedure has been established in the adaptive setting.


title: Handwritten digit string recognition by combination of residual network and RNN-CTC

abstract: Recurrent neural network (RNN) and connectionist temporal classification (CTC) have showed successes in many sequence labeling tasks with the strong ability of dealing with the problems where the alignment between the inputs and the target labels is unknown. Residual network is a new structure of convolutional neural network and works well in various computer vision tasks. In this paper, we take advantage of the architectures mentioned above to create a new network for handwritten digit string recognition. First we design a residual network to extract features from input images, then we employ a RNN to model the contextual information within feature sequences and predict recognition results. At the top of this network, a standard CTC is applied to calculate the loss and yield the final results. These three parts compose an end-to-end trainable network. The proposed new architecture achieves the highest performances on ORAND-CAR-A and ORAND-CAR-B with recognition rates 89.75% and 91.14%, respectively. In addition, the experiments on a generated captcha dataset which has much longer string length show the potential of the proposed network to handle long strings.


title: Toward Multidiversified Ensemble Clustering of High-Dimensional Data: From Subspaces to Metrics and Beyond

abstract: The rapid emergence of high-dimensional data in various areas has brought new challenges to current ensemble clustering research. To deal with the curse of dimensionality, recently considerable efforts in ensemble clustering have been made by means of different subspace-based techniques. However, besides the emphasis on subspaces, rather limited attention has been paid to the potential diversity in similarity/dissimilarity metrics. It remains a surprisingly open problem in ensemble clustering how to create and aggregate a large population of diversified metrics, and furthermore, how to jointly investigate the multi-level diversity in the large populations of metrics, subspaces, and clusters in a unified framework. To tackle this problem, this paper proposes a novel multidiversified ensemble clustering approach. In particular, we create a large number of diversified metrics by randomizing a scaled exponential similarity kernel, which are then coupled with random subspaces to form a large set of metric-subspace pairs. Based on the similarity matrices derived from these metric-subspace pairs, an ensemble of diversified base clusterings can thereby be constructed. Further, an entropy-based criterion is utilized to explore the cluster-wise diversity in ensembles, based on which three specific ensemble clustering algorithms are presented by incorporating three types of consensus functions. Extensive experiments are conducted on 30 high-dimensional datasets, including 18 cancer gene expression datasets and 12 image/speech datasets, which demonstrate the superiority of our algorithms over the state-of-the-art. The source code is available at https://github.com/huangdonghere/MDEC.


title: Universal partial sums of Taylor series as functions of the centre of expansion

abstract: V. Nestoridis conjectured that if $\Omega$ is a simply connected subset of $\mathbb{C}$ that does not contain $0$ and $S(\Omega)$ is the set of all functions $f\in \mathcal{H}(\Omega)$ with the property that the set $\left\{T_N(f)(z)\coloneqq\sum_{n=0}^N\dfrac{f^{(n)}(z)}{n!} (-z)^n : N = 0,1,2,\dots \right\}$ is dense in $\mathcal{H}(\Omega)$, then $S(\Omega)$ is a dense $G_\delta$ set in $\mathcal{H}(\Omega)$. We answer the conjecture in the affirmative in the special case where $\Omega$ is an open disc $D(z_0,r)$ that does not contain $0$.


title: Topological Scott Convergence Theorem

abstract: Recently, J. D. Lawson encouraged the domain theory community to consider the scientific program of developing domain theory in the wider context of $T_0$ spaces instead of restricting to posets. In this paper, we respond to this calling with an attempt to formulate a topological version of the Scott Convergence Theorem, i.e., an order-theoretic characterisation of those posets for which the Scott-convergence $\mathcal{S}$ is topological. To do this, we make use of the $\mathcal{ID}$ replacement principle to create topological analogues of well-known domain-theoretic concepts, e.g., $\mathcal{I}$-continuous spaces correspond to continuous posets, as $\mathcal{I}$-convergence corresponds to $\mathcal{S}$-convergence. In this paper, we consider two novel topological concepts, namely, the $\mathcal{I}$-stable spaces and the $\mathcal{DI}$ spaces, and as a result we obtain some necessary (respectively, sufficient) conditions under which the convergence structure $\mathcal{I}$ is topological.


title: Coincident General Relativity

abstract: The metric-affine variational principle is applied to generate teleparallel and symmetric teleparallel theories of gravity. From the latter is discovered an exceptional class which is consistent with a vanishing affine connection. Based on this remarkable property, this work proposes a simpler geometrical formulation of General Relativity that is oblivious to the affine spacetime structure, thus fundamentally depriving gravity of any inertial character. The resulting theory is described by the Hilbert action purged from the boundary term and is more robustly underpinned by the spin-2 field theory, where an extra symmetry is now manifest, possibly related to the double copy structure of the gravity amplitudes. This construction also provides a novel starting point for modified gravity theories, and the paper presents new and simple generalisations where analytical self-accelerating cosmological solutions arise naturally in the early and late time universe.


title: On classes of graphs with strongly sublinear separators

abstract: For real numbers c,epsilon>0, let G_{c,epsilon} denote the class of graphs G such that each subgraph H of G has a balanced separator of order at most c|V(H)|^{1-epsilon}. A class of graphs has strongly sublinear separators if it is a subclass of G_{c,epsilon} for some c,epsilon>0. We investigate properties of such graph classes, leading in particular to an approximate algorithm to determine membership in G_{c,epsilon}: there exist c'>0 such that for each input graph G, this algorithm in polynomial time determines either that G belongs to G_{c',epsilon^2/160}, or that G does not belong to G_{c,epsilon}.


title: Broadening of the chiral critical region in a hydrodynamically expanding medium

abstract: We investigate higher cumulants of the sigma field as the chiral order parameter at the QCD phase transition. We derive a thermodynamic expression for the skewness and kurtosis from susceptibilities and use these to determine $S\sigma$ and $\kappa\sigma^2$ for the sigma field in equilibrium. In a next step, we study the behavior of these cumulants in both an equilibrated static medium and an expanding medium resembling the hydrodynamic stage of a heavy-ion collision. For the latter one, we find a significant broadening of the critical region.


title: Topological invariant for two-dimensional open systems

abstract: We study the topology of two-dimensional open systems in terms of the Green's function. The Ishikawa-Matsuyama formula for the integer topological invariant is applied in open systems, which indicates the number difference of gapless edge bands arising from the poles and zeros of the Green's function. Meanwhile, we define another topological invariant via the single-particle density matrix, which works for general gapped systems and is equivalent to the former for the case of weak coupling to an environment. We also discuss two applications. For time-reversal-invariant insulators, the ${Z}_{2}$ index can be expressed by the invariant of each spin subsystem. As a second application, we consider the proximity effect when an ordinary insulator is coupled to a topological insulator.


title: Exact solution for growth-induced large bending deformation of a hyperelastic plate

abstract: In this paper, the growth-induced bending deformation of a thin hyperelastic plate is studied. For a plane-strain problem, the governing PDE system is formulated, which is composed of the mechanical equilibrium equations, the constraint equation and the boundary conditions. By adopting a gradient growth field with the growth value changes linearly along the thickness direction, the exact solution to the governing PDE system can be derived. With the obtained solution, some important features of the bending deformation in the plate can be found and the effects of the different growth parameters can be revealed. This exact solution can serve as a benchmark one for testing the correctness of numerical schemes and approximate plate models in growth theory.


title: CMB spectral distortions as a novel way to probe the small-scale structure problems

abstract: In this work we consider CMB spectral distortions as a probe of dark matter microphysics in the early universe. We demonstrate that future experiments such as PRISM have the potential to distinguish between scenarios which offer solutions to the small-scale problems of CDM cosmology.


title: The M\"obius function of permutations with an indecomposable lower bound

abstract: We show that the M\"obius function of an interval in a permutation poset where the lower bound is sum (resp. skew) indecomposable depends solely on the sum (resp. skew) indecomposable permutations contained in the upper bound, and that this can simplify the calculation of the M\"obius sum. For increasing oscillations, we give a recursion for the M\"obius sum which only involves evaluating simple inequalities.


title: Numerical homogenization for indefinite H(curl)-problems

abstract: In this paper, we present a numerical homogenization scheme for indefinite, time-harmonic Maxwell's equations involving potentially rough (rapidly oscillating) coefficients. The method involves an $\mathbf{H}(\mathrm{curl})$-stable, quasi-local operator, which allows for a correction of coarse finite element functions such that order optimal (w.r.t. the mesh size) error estimates are obtained. To that end, we extend the procedure of [D. Gallistl, P. Henning, B. Verf\"urth, Numerical homogenization of H(curl)-problems, arXiv:1706.02966, 2017] to the case of indefinite problems. In particular, this requires a careful analysis of the well-posedness of the corrector problems as well as the numerical homogenization scheme.


title: Four-body central configurations with one pair of opposite sides parallel

abstract: We study four-body central configurations with one pair of opposite sides parallel. We use a novel constraint to write the central configuration equations in this special case, using distances as variables. We prove that, for a given ordering of the mutual distances, a trapezoidal central configuration must have a certain partial ordering of the masses. We also show that if opposite masses of a four-body trapezoidal central configuration are equal, then the configuration has a line of symmetry and it must be a kite. In contrast to the general four-body case, we show that if the two adjacent masses bounding the shortest side are equal, then the configuration must be an isosceles trapezoid, and the remaining two masses must also be equal.


title: Site-Occupation Embedding Theory using Bethe Ansatz Local Density Approximations

abstract: Site-occupation embedding theory (SOET) is an alternative formulation of density-functional theory (DFT) for model Hamiltonians where the fully-interacting Hubbard problem is mapped, in principle exactly, onto an impurity-interacting (rather than a non-interacting) one. It provides a rigorous framework for combining wavefunction (or Green function) based methods with DFT. In this work, exact expressions for the per-site energy and double occupation of the uniform Hubbard model are derived in the context of SOET. As readily seen from these derivations, the so-called bath contribution to the per-site correlation energy is, in addition to the latter, the key density functional quantity to model in SOET. Various approximations based on Bethe ansatz and perturbative solutions to the Hubbard and single impurity Anderson models are constructed and tested on a one-dimensional ring. The self-consistent calculation of the embedded impurity wavefunction has been performed with the density matrix renormalization group method. It has been shown that promising results are obtained in specific regimes of correlation and density. Possible further developments have been proposed in order to provide reliable embedding functionals and potentials.


title: Hubbard-Stratonovich-like Transformations for Few-Body Interactions

abstract: Through the development of many-body methodology and algorithms, it has become possible to describe quantum systems composed of a large number of particles with great accuracy. Essential to all these methods is the application of auxiliary fields via the Hubbard-Stratonovich transformation. This transformation effectively reduces two-body interactions to interactions of one particle with the auxiliary field, thereby improving the computational scaling of the respective algorithms. The relevance of collective phenomena and interactions grows with the number of particles. For many theories, e.g. Chiral Perturbation Theory, the inclusion of three-body forces has become essential in order to further increase the accuracy on the many-body level. In this proceeding, the analytical framework for establishing a Hubbard-Stratonovich-like transformation, which allows for the systematic and controlled inclusion of contact three- and more-body interactions, is presented.


title: Group Sequential Clinical Trial Designs for Normally Distributed Outcome Variables

abstract: In a group sequential clinical trial, accumulated data are analysed at numerous time-points in order to allow early decisions about a hypothesis of interest. These designs have historically been recommended for their ethical, administrative and economic benefits. In this work, we discuss a collection of new Stata commands for computing the stopping boundaries and required group size of various classical group sequential designs, assuming a normally distributed outcome variable. Following this, we demonstrate how the performance of several designs can be compared graphically.


title: Completeness for vector lattices

abstract: The notion of unboundedly order converges has been recieved recently a particular attention by several authors. The main result of the present paper shows that the notion is efficient and deserves that care. It states that a vector lattice is universally complete if and only if it is unboundedly order complete. Another notion of completeness will be treated is the notion of sup-completion introduced by Donner.


title: Grand Challenges of Traceability: The Next Ten Years

abstract: In 2007, the software and systems traceability community met at the first Natural Bridge symposium on the Grand Challenges of Traceability to establish and address research goals for achieving effective, trustworthy, and ubiquitous traceability. Ten years later, in 2017, the community came together to evaluate a decade of progress towards achieving these goals. These proceedings document some of that progress. They include a series of short position papers, representing current work in the community organized across four process axes of traceability practice. The sessions covered topics from Trace Strategizing, Trace Link Creation and Evolution, Trace Link Usage, real-world applications of Traceability, and Traceability Datasets and benchmarks. Two breakout groups focused on the importance of creating and sharing traceability datasets within the research community, and discussed challenges related to the adoption of tracing techniques in industrial practice. Members of the research community are engaged in many active, ongoing, and impactful research projects. Our hope is that ten years from now we will be able to look back at a productive decade of research and claim that we have achieved the overarching Grand Challenge of Traceability, which seeks for traceability to be always present, built into the engineering process, and for it to have "effectively disappeared without a trace". We hope that others will see the potential that traceability has for empowering software and systems engineers to develop higher-quality products at increasing levels of complexity and scale, and that they will join the active community of Software and Systems traceability researchers as we move forward into the next decade of research.


title: Neumann Type Integrable Reduction to the Negative-Order Coupled Harry--Dym Hierarchy

abstract: Based on the Lax compatibility, the negative-order coupled Harry--Dym (ncHD) hierarchy depending upon one parameter $\alpha$ is retrieved in the Lenard scheme, which includes the two-component Camassa--Holm (2CH) equation as a special member with $\alpha=-\frac14$. By using a symmetric constraint, it is found that only in the case of $\alpha>1$ the ncHD hierarchy can be reduced to a family of backward Neumann type systems by separating the temporal and spatial variables on the tangent bundle of a unit sphere. The resultant backward Neumann type systems are proved to be completely integrable in the Liouville sense via a Lax equation. Finally, for $\alpha>1$, the relation between the ncHD hierarchy and the backward Neumann type systems is established, where the involutive solutions of backward Neumann type systems yield the finite parametric solutions to the ncHD hierarchy.


title: MSC: A Dataset for Macro-Management in StarCraft II

abstract: Macro-management is an important problem in StarCraft, which has been studied for a long time. Various datasets together with assorted methods have been proposed in the last few years. But these datasets have some defects for boosting the academic and industrial research: 1) There're neither standard preprocessing, parsing and feature extraction procedures nor predefined training, validation and test set in some datasets. 2) Some datasets are only specified for certain tasks in macro-management. 3) Some datasets are either too small or don't have enough labeled data for modern machine learning algorithms such as deep neural networks. So most previous methods are trained with various features, evaluated on different test sets from the same or different datasets, making it difficult to be compared directly. To boost the research of macro-management in StarCraft, we release a new dataset MSC based on the platform SC2LE. MSC consists of well-designed feature vectors, pre-defined high-level actions and final result of each match. We also split MSC into training, validation and test set for the convenience of evaluation and comparison. Besides the dataset, we propose a baseline model and present initial baseline results for global state evaluation and build order prediction, which are two of the key tasks in macro-management. Various downstream tasks and analyses of the dataset are also described for the sake of research on macro-management in StarCraft II. Homepage: https://github.com/wuhuikai/MSC.


title: Generalized Cusps in Real Projective Manifolds: Classification

abstract: A generalized cusp $C$ is diffeomorphic to $[0,\infty)$ times a closed Euclidean manifold. Geometrically $C$ is the quotient of a properly convex domain by a lattice, $\Gamma$, in one of a family of affine groups $G(\psi)$, parameterized by a point $\psi$ in the (dual closed) Weyl chamber for $SL(n+1,\mathbb{R})$, and $\Gamma$ determines the cusp up to equivalence. These affine groups correspond to certain fibered geometries, each of which is a bundle over an open simplex with fiber a horoball in hyperbolic space, and the lattices are classified by certain Bieberbach groups plus some auxiliary data. The cusp has finite Busemann measure if and only if $G(\psi)$ contains unipotent elements. There is a natural underlying Euclidean structure on $C$ unrelated to the Hilbert metric.


title: A Semi-Automatic Method for History Matching using Sequential Monte Carlo

abstract: The aim of the history matching method is to locate non-implausible regions of the parameter space of complex deterministic or stochastic models by matching model outputs with data. It does this via a series of waves where at each wave an emulator is fitted to a small number of training samples. An implausibility measure is defined which takes into account the closeness of simulated and observed outputs as well as emulator uncertainty. As the waves progress, the emulator becomes more accurate so that training samples are more concentrated on promising regions of the space and poorer parts of the space are rejected with more confidence. Whilst history matching has proved to be useful, existing implementations are not fully automated and some ad-hoc choices are made during the process, which involves user intervention and is time consuming. This occurs especially when the non-implausible region becomes small and it is difficult to sample this space uniformly to generate new training points. In this article we develop a sequential Monte Carlo (SMC) algorithm for implementing history matching that is semi-automated. Our novel SMC approach reveals that the history matching method yields a non-implausible region that can be multi-modal, highly irregular and very difficult to sample uniformly. Our SMC approach offers a much more reliable sampling of the non-implausible space, which requires additional computation compared to other approaches used in the literature.


title: Steamworlds: atmospheric structure and critical mass of planets accreting icy pebbles

abstract: In the core accretion model, gas-giant planets first form a solid core, which then accretes gas from a protoplanetary disk when the core exceeds a critical mass. Here, we model the atmosphere of a core that grows by accreting ice-rich pebbles. The ice fraction of pebbles evaporates in warm regions of the atmosphere, saturating it with water vapor. Excess water precipitates to lower altitudes. Beneath an outer radiative region, the atmosphere is convective, following a moist adiabat in saturated regions due to water condensation and precipitation. Atmospheric mass, density and temperature increase with core mass. For nominal model parameters, planets with core masses (ice + rock) between 0.08 and 0.16 Earth masses have surface temperatures between 273 K and 647 K and form an ocean. In more massive planets, water exists as a super-critical convecting fluid mixed with gas from the disk. Typically, the core mass reaches a maximum (the critical mass) as a function of the total mass when the core is 2-5 Earth masses. The critical mass depends in a complicated way on pebble size, mass flux, and dust opacity due to the occasional appearance of multiple core-mass maxima. The core mass for an atmosphere of 50 percent hydrogen and helium may be a more robust indicator of the onset of gas accretion. This mass is typically 1-3 Earth masses for pebbles that are 50 percent ice by mass, increasing with opacity and pebble flux, and decreasing with pebble ice/rock ratio.


title: Stack Overflow Considered Harmful? The Impact of Copy&Paste on Android Application Security

abstract: Online programming discussion platforms such as Stack Overflow serve as a rich source of information for software developers. Available information include vibrant discussions and oftentimes ready-to-use code snippets. Anecdotes report that software developers copy and paste code snippets from those information sources for convenience reasons. Such behavior results in a constant flow of community-provided code snippets into production software. To date, the impact of this behaviour on code security is unknown. We answer this highly important question by quantifying the proliferation of security-related code snippets from Stack Overflow in Android applications available on Google Play. Access to the rich source of information available on Stack Overflow including ready-to-use code snippets provides huge benefits for software developers. However, when it comes to code security there are some caveats to bear in mind: Due to the complex nature of code security, it is very difficult to provide ready-to-use and secure solutions for every problem. Hence, integrating a security-related code snippet from Stack Overflow into production software requires caution and expertise. Unsurprisingly, we observed insecure code snippets being copied into Android applications millions of users install from Google Play every day. To quantitatively evaluate the extent of this observation, we scanned Stack Overflow for code snippets and evaluated their security score using a stochastic gradient descent classifier. In order to identify code reuse in Android applications, we applied state-of-the-art static analysis. Our results are alarming: 15.4% of the 1.3 million Android applications we analyzed, contained security-related code snippets from Stack Overflow. Out of these 97.9% contain at least one insecure code snippet.


title: On the dimension effect of regularized linear discriminant analysis

abstract: This paper studies the dimension effect of the linear discriminant analysis (LDA) and the regularized linear discriminant analysis (RLDA) classifiers for large dimensional data where the observation dimension $p$ is of the same order as the sample size $n$. More specifically, built on properties of the Wishart distribution and recent results in random matrix theory, we derive explicit expressions for the asymptotic misclassification errors of LDA and RLDA respectively, from which we gain insights of how dimension affects the performance of classification and in what sense. Motivated by these results, we propose adjusted classifiers by correcting the bias brought by the unequal sample sizes. The bias-corrected LDA and RLDA classifiers are shown to have smaller misclassification rates than LDA and RLDA respectively. Several interesting examples are discussed in detail and the theoretical results on dimension effect are illustrated via extensive simulation studies.


title: Geometric and spectral properties of causal maps

abstract: We study the random planar map obtained from a critical, finite variance, Galton-Watson plane tree by adding the horizontal connections between successive vertices at each level. This random graph is closely related to the well-known causal dynamical triangulation that was introduced by Ambj{\o}rn and Loll and has been studied extensively by physicists. We prove that the horizontal distances in the graph are smaller than the vertical distances, but only by a subpolynomial factor: The diameter of the set of vertices at level $n$ is both $o(n)$ and $n^{1-o(1)}$. This enables us to prove that the spectral dimension of the infinite version of the graph is almost surely equal to 2, and consequently that the random walk is diffusive almost surely. We also initiate an investigation of the case in which the offspring distribution is critical and belongs to the domain of attraction of an $\alpha$-stable law for $\alpha \in (1,2)$, for which our understanding is much less complete.


title: Bayesian Propensity Scores for High-Dimensional Causal Inference: A Comparison of Drug-Eluting to Bare-Metal Coronary Stents

abstract: High-dimensional data can be useful for causal inference by providing many confounders that may bolster the plausibility of the ignorability assumption. Propensity score methods are powerful tools for causal inference, are popular in health care research, and are particularly useful for high-dimensional data. Recent interest has surrounded a Bayesian formulation of these methods in order to flexibly estimate propensity scores and summarize posterior quantities while incorporating variance from the (potentially high-dimensional) treatment model. We discuss methods for Bayesian propensity score analysis of binary treatments, focusing on modern methods for high-dimensional Bayesian regression and the propagation of uncertainty from the treatment regression. We introduce a novel and simple estimator for the average treatment effect that capitalizes on conjugancy of the beta and binomial distributions. Through simulations, we show the utility of horseshoe priors and Bayesian additive regression trees paired with our new estimator, while demonstrating the importance of including variance from the treatment and outcome models. Cardiac stent data with almost 500 confounders and 9000 patients illustrate approaches and compare among existing frequentist alternatives.


title: Dynamics of quantum causal structures

abstract: It was recently suggested that causal structures are both dynamical, because of general relativity, and indefinite, due to quantum theory. The process matrix formalism furnishes a framework for quantum mechanics on indefinite causal structures, where the order between operations of local laboratories is not definite (e.g. one cannot say whether operation in laboratory A occurs before or after operation in laboratory B). Here we develop a framework for "dynamics of causal structures", i.e. for transformations of process matrices into process matrices. We show that, under continuous and reversible transformations, the causal order between operations is always preserved. However, the causal order between a subset of operations can be changed under continuous yet nonreversible transformations. An explicit example is that of the quantum switch, where a party in the past affects the causal order of operations of future parties, leading to a transition from a channel from A to B, via superposition of causal orders, to a channel from B to A. We generalise our framework to construct a hierarchy of quantum maps based on transformations of process matrices and transformations thereof.


title: Sharp estimates on the first Dirichlet eigenvalue of nonlinear elliptic operators via maximum principle

abstract: In this paper we study optimal lower and upper bounds for functionals involving the first Dirichlet eigenvalue $\lambda_{F}(p,\Omega)$ of the anisotropic $p$-Laplacian, $1<p<+\infty$. Our aim is to enhance how, by means of the $\mathcal P$-function method, it is possible to get several sharp estimates for $\lambda_{F}(p,\Omega)$ in terms of several geometric quantities associated to the domain. The $\mathcal P$-function method is based on a maximum principle for a suitable function involving the eigenfunction and its gradient.


title: Implementing universal nonadiabatic holonomic quantum gates with transmons

abstract: Geometric phases are well known to be noise-resilient in quantum evolutions/operations. Holonomic quantum gates provide us with a robust way towards universal quantum computation, as these quantum gates are actually induced by nonabelian geometric phases. Here we propose and elaborate how to efficiently implement universal nonadiabatic holonomic quantum gates on simpler superconducting circuits, with a single transmon serving as a qubit. In our proposal, an arbitrary single-qubit holonomic gate can be realized in a single-loop scenario, by varying the amplitudes and phase difference of two microwave fields resonantly coupled to a transmon, while nontrivial two-qubit holonomic gates may be generated with a transmission-line resonator being simultaneously coupled to the two target transmons in an effective resonant way. Moreover, our scenario may readily be scaled up to a two-dimensional lattice configuration, which is able to support large scalable quantum computation, paving the way for practically implementing universal nonadiabatic holonomic quantum computation with superconducting circuits.


title: Re-examining the $X(4630)$ resonance in the reaction $e^+e^-\rightarrow \Lambda^+_c\bar\Lambda^-_c$

abstract: The reaction $e^+e^-\rightarrow \Lambda^+_c\bar\Lambda^-_c$ is investigated at energies close to the threshold with emphasis on the role played by the $X(4630)$ resonance. The interaction in the final $\Lambda^+_c \bar\Lambda^-_c$ system, constructed within chiral effective field theory and supplemented by a pole diagram that represents a bare $X(4630)$ resonance, is taken into account rigorously. The pole parameters of the $X(4630)$ are extracted and found to be compatible with the ones of the $X(4660)$ resonance that have been established in the reaction $e^+e^- \to \pi^+\pi^-\psi(2S)$. The actual result for the $X(4630)$ is $M = (4652.5\pm 3.4)$ MeV and $\Gamma = (62.6\pm 5.6)$ MeV. Predictions for the $\Lambda^+_c$ electromagnetic form factors in the timelike region are presented.


title: Laser-driven quantum magnonics and THz dynamics of the order parameter in antiferromagnets

abstract: The impulsive generation of two-magnon modes in antiferromagnets by femtosecond optical pulses, so-called femto-nanomagnons, leads to coherent longitudinal oscillations of the antiferromagnetic order parameter that cannot be described by a thermodynamic Landau-Lifshitz approach. We argue that this dynamics is triggered as a result of a laser-induced modification of the exchange interaction. In order to describe the oscillations we have formulated a quantum mechanical description in terms of magnon pair operators and coherent states. Such an approach allowed us to} derive an effective macroscopic equation of motion for the temporal evolution of the antiferromagnetic order parameter. An implication of the latter is that the photo-induced spin dynamics represents a macroscopic entanglement of pairs of magnons with femtosecond period and nanometer wavelength. By performing magneto-optical pump-probe experiments with 10 femtosecond resolution in the cubic KNiF$_3$ and the uniaxial K$_2$NiF$_4$ collinear Heisenberg antiferromagnets, we observed coherent oscillations at the frequency of 22 THz and 16 THz, respectively. The detected frequencies as a function of the temperature ideally fit the two-magnon excitation up to the N\'eel point. The experimental signals are described as dynamics of magnetic linear dichroism due to longitudinal oscillations of the antiferromagnetic vector.


title: Island Loss for Learning Discriminative Features in Facial Expression Recognition

abstract: Over the past few years, Convolutional Neural Networks (CNNs) have shown promise on facial expression recognition. However, the performance degrades dramatically under real-world settings due to variations introduced by subtle facial appearance changes, head pose variations, illumination changes, and occlusions. In this paper, a novel island loss is proposed to enhance the discriminative power of the deeply learned features. Specifically, the IL is designed to reduce the intra-class variations while enlarging the inter-class differences simultaneously. Experimental results on four benchmark expression databases have demonstrated that the CNN with the proposed island loss (IL-CNN) outperforms the baseline CNN models with either traditional softmax loss or the center loss and achieves comparable or better performance compared with the state-of-the-art methods for facial expression recognition.


title: Controllability in tunable chains of coupled harmonic oscillators

abstract: We prove that temporal control of the strengths of springs connecting $N$ harmonic oscillators in a chain provides complete access to all Gaussian states of $N-1$ collective modes. The proof relies on the construction of a suitable basis of cradle modes for the system. An iterative algorithm to reach any desired Gaussian state requires at most $3N(N-1)/2$ operations. We illustrate this capability by engineering squeezed pseudo-phonon states - highly non-local, strongly correlated states that may result from various nonlinear processes. Tunable chains of coupled harmonic oscillators can be implemented by a number of current state-of-the-art experimental platforms, including cold atoms in lattice potentials, arrays of mechanical micro-oscillators, and coupled optical waveguides.


title: Los agujeros negros y las ondas del Doctor Einstein

abstract: We describe the main scientific developments that lead LIGO project to the detection of the gravitational waves: general relativity, black holes and gravitational waves predictions; numerical relativity and the collision and coalescence simulations of binary black holes and the development of different kind of gravitational wave detectors. Most important, this detection is confirming the existence of the enigmatic black holes.


title: Advanced Satellite-based Frequency Transfer at the 10^{-16} Level

abstract: Advanced satellite-based frequency transfers by TWCP and IPPP have been performed between NICT and KRISS. We confirm that the disagreement between them is less than 1x10^{-16} at an averaging time of several days. Additionally, an intercontinental frequency ratio measurement of Sr and Yb optical lattice clocks was directly performed by TWCP. We achieved an uncertainty at the mid-10^{-16} level after a total measurement time of 12 hours. The frequency ratio was consistent with the recently reported values within the uncertainty.


title: The complexity of general-valued CSPs seen from the other side

abstract: The constraint satisfaction problem (CSP) is concerned with homomorphisms between two structures. For CSPs with restricted left-hand side structures, the results of Dalmau, Kolaitis, and Vardi [CP'02], Grohe [FOCS'03/JACM'07], and Atserias, Bulatov, and Dalmau [ICALP'07] establish the precise borderline of polynomial-time solvability (subject to complexity-theoretic assumptions) and of solvability by bounded-consistency algorithms (unconditionally) as bounded treewidth modulo homomorphic equivalence. The general-valued constraint satisfaction problem (VCSP) is a generalisation of the CSP concerned with homomorphisms between two valued structures. For VCSPs with restricted left-hand side valued structures, we establish the precise borderline of polynomial-time solvability (subject to complexity-theoretic assumptions) and of solvability by the $k$-th level of the Sherali-Adams LP hierarchy (unconditionally). We also obtain results on related problems concerned with finding a solution and recognising the tractable cases; the latter has an application in database theory.


title: Radio synchrotron spectra of star-forming galaxies

abstract: The radio continuum spectra of 14 star-forming galaxies are investigated by fitting nonthermal (synchrotron) and thermal (free-free) radiation laws. The underlying radio continuum measurements cover a frequency range of ~325 MHz to 24.5 GHz (32 GHz in case of M82). It turns out that most of these synchrotron spectra are not simple power-laws, but are best represented by a low-frequency spectrum with a mean slope alpha_nth = 0.59 +/- 0.20 (S_nu ~ nu^-alpha), and by a break or an exponential decline in the frequency range of 1 - 12 GHz. Simple power-laws or mildly curved synchrotron spectra lead to unrealistically low thermal flux densities, and/or to strong deviations from the expected optically thin free-free spectra with slope alpha_th = 0.10 in the fits. The break or cutoff energies are in the range of 1.5 - 7 GeV. We briefly discuss the possible origin of such a cutoff or break. If the low-frequency spectra obtained here reflect the injection spectrum of cosmic-ray electrons, they comply with the mean spectral index of Galactic supernova remnants. A comparison of the fitted thermal flux densities with the (foreground-corrected) Halpha fluxes yields the extinction, which increases with metallicity. The fraction of thermal emission is higher than believed hitherto, especially at high frequencies, and is highest in the dwarf galaxies of our sample, which we interpret in terms of a lack of containment in these low-mass systems, or a time effect caused by a very young starburst.


title: Fluid Mechanics of Liquid Metal Batteries

abstract: The design and performance of liquid metal batteries, a new technology for grid-scale energy storage, depend on fluid mechanics because the battery electrodes and electrolytes are entirely liquid. Here we review prior and current research on the fluid mechanics of liquid metal batteries, pointing out opportunities for future studies. Because the technology in its present form is just a few years old, only a small number of publications have so far considered liquid metal batteries specifically. We hope to encourage collaboration and conversation by referencing as many of those publications as possible here. Much can also be learned by linking to extensive prior literature considering phenomena observed or expected in liquid metal batteries, including thermal convection, magnetoconvection, Marangoni flow, interface instabilities, the Tayler instability, and electro-vortex flow. We focus on phenomena, materials, length scales, and current densities relevant to the liquid metal battery designs currently being commercialized. We try to point out breakthroughs that could lead to design improvements or make new mechanisms important.


title: On the Schr\"odinger-Born-Infeld system

abstract: In this paper we study a system which we propose as a model to describe the interaction between matter and electromagnetic field from a dualistic point of view. This system arises from a suitable coupling of the Schr\"odinger and the Born-Infeld lagrangians, this latter replacing the role that, classically, is played by the Maxwell lagrangian. We use a variational approach to find an electrostatic radial ground state solution by means of suitable estimates on the functional of the action.


title: Estimates for Dirichlet-to-Neumann maps as integro-differential operators

abstract: Some linear integro-differential operators have old and classical representations as the Dirichlet-to-Neumann operators for linear elliptic equations, such as the 1/2-Laplacian or the generator of the boundary process of a reflected diffusion. In this work, we make some extensions of this theory to the case of a \emph{nonlinear} Dirichlet-to-Neumann mapping that is constructed using a solution to a \emph{fully nonlinear} elliptic equation in a given domain, mapping Dirichlet data to its normal derivative of the resulting solution. Here we begin the process of giving detailed information about the L\'evy measures that will result from the integro-differential representation of the Dirichlet-to-Neumann mapping. We provide new results about both linear and nonlinear Dirichlet-to-Neumann mappings. Information about the L\'evy measures is important if one hopes to use recent advancements of the integro-differential theory to study problems involving Dirichlet-to-Neumann mappings.


title: The Architecture of the GW Ori Young Triple Star System and Its Disk: Dynamical Masses, Mutual Inclinations, and Recurrent Eclipses

abstract: We present spatially and spectrally resolved Atacama Large Millimeter/submillimeter Array (ALMA) observations of gas and dust orbiting the pre-main sequence hierarchical triple star system GW Ori. A forward-modeling of the ${}^{13}$CO and C${}^{18}$O $J$=2-1 transitions permits a measurement of the total stellar mass in this system, $5.29 \pm 0.09\,M_\odot$, and the circum-triple disk inclination, $137.6 \pm 2.0^\circ$. Optical spectra spanning a 35 year period were used to derive new radial velocities and, coupled with a spectroscopic disentangling technique, revealed that the A and B components of GW Ori form a double-lined spectroscopic binary with a $241.50\pm0.05$ day period; a tertiary companion orbits that inner pair with a $4218\pm50$ day period. Combining the results from the ALMA data and the optical spectra with three epochs of astrometry in the literature, we constrain the individual stellar masses in the system ($M_\mathrm{A} \approx 2.7\,M_\odot$, $M_\mathrm{B} \approx 1.7\,M_\odot$, $M_\mathrm{C} \approx 0.9\,M_\odot$) and find strong evidence that at least one (and likely both) stellar orbital planes are misaligned with the disk plane by as much as $45^\circ$. A $V$-band light curve spanning 30 years reveals several new $\sim$30 day eclipse events 0.1-0.7~mag in depth and a 0.2 mag sinusoidal oscillation that is clearly phased with the AB-C orbital period. Taken together, these features suggest that the A-B pair may be partially obscured by material in the inner disk as the pair approaches apoastron in the hierarchical orbit. Lastly, we conclude that stellar evolutionary models are consistent with our measurements of the masses and basic photospheric properties if the GW Ori system is $\sim$1 Myr old.


title: Optimization of the $H_\infty$-norm of Dynamic Flow Networks

abstract: In this paper, we study the $H_\infty$-norm of linear systems over graphs, which is used to model distribution networks. In particular, we aim to minimize the $H_\infty$-norm subject to allocation of the weights on the edges. The optimization problem is formulated with LMI (Linear-Matrix-Inequality) constraints. For distribution networks with one port, i.e., SISO systems, we show that the $H_\infty$-norm coincides with the effective resistance between the nodes in the port. Moreover, we derive an upper bound of the $H_\infty$-norm, which is in terms of the algebraic connectivity of the graph on which the distribution network is defined.


title: Fast Flow Volume Estimation

abstract: The increasing popularity of jumbo frames means growing variance in the size of packets transmitted in modern networks. Consequently, network monitoring tools must maintain explicit traffic volume statistics rather than settle for packet counting as before. We present constant time algorithms for volume estimations in streams and sliding windows, which are faster than previous work. Our solutions are formally analyzed and are extensively evaluated over multiple real-world packet traces as well as synthetic ones. For streams, we demonstrate a run-time improvement of up to 2.4X compared to the state of the art. On sliding windows, we exhibit a memory reduction of over 100X on all traces and an asymptotic runtime improvement to a constant. Finally, we apply our approach to hierarchical heavy hitters and achieve an empirical 2.4-7X speedup.


title: Tests of Gravity with Future Space-Based Experiments

abstract: Future space-based tests of relativistic gravitation-laser ranging to Phobos, accelerometers in orbit, and optical networks surrounding Earth-will constrain the theory of gravity with unprecedented precision by testing the inverse-square law, the strong and weak equivalence principles, and the deflection and time-delay of light by massive bodies. In this paper, we estimate the bounds that could be obtained on alternative gravity theories that use screening mechanisms to suppress deviations from general relativity in the solar system: chameleon, symmetron, and galileon models. We find that space-based tests of the parameterized post-Newtonian parameter $\gamma$ will constrain chameleon and symmetron theories to new levels in the solar system, and that tests of the inverse-square law using laser ranging to Phobos will provide the most stringent constraints on galileon theories to date. We end by discussing the potential for constraining these theories using upcoming tests of the weak equivalence principle, and conclude that further theoretical modeling is required in order to fully utilize the data.


title: Comparison of Gaussian process modeling software

abstract: Gaussian process fitting, or kriging, is often used to create a model from a set of data. Many available software packages do this, but we show that very different results can be obtained from different packages even when using the same data and model. We describe the parameterization, features, and optimization used by eight different fitting packages that run on four different platforms. We then compare these eight packages using various data functions and data sets, revealing that there are stark differences between the packages. In addition to comparing the prediction accuracy, the predictive variance--which is important for evaluating precision of predictions and is often used in stopping criteria--is also evaluated.


title: Occupation measure methods for modelling and analysis of biological hybrid automata

abstract: Mechanistic models in biology often involve numerous parameters about which we do not have direct experimental information. The traditional approach is to fit these parameters using extensive numerical simulations (e.g. by the Monte-Carlo method), and eventually revising the model if the predictions do not correspond to the actual measurements. In this work we propose a methodology for hybrid automaton model revision, when new type of functions are needed to capture time varying parameters. To this end, we formulate a hybrid optimal control problem with intermediate points as successive infinite-dimensional linear programs (LP) on occupation measures. Then, these infinite-dimensional LPs are solved using a hierarchy of semidefinite relaxations. The whole procedure is exposed on a recent model for haemoglobin production in erythrocytes.


title: Drop Trampoline

abstract: Rigid superhydrophobic materials have the ability to repel millimetric water drops, in typically 10 ms. Yet, most natural water-repellent materials can be deformed by impacting drops. To test the effect of deformability, we perform impacts of non-wetting drops onto thin ($\sim$ 10 \micro m), circular PDMS membranes. The bouncing mechanism is markedly modified compared to that on a rigid material: the liquid leaves the substrate as it is kicked upwards by the membrane. We show that the rebound is controlled by an interplay between the dynamics of the drop and that of the soft substrate, so that we can continuously vary the contact time by playing on the membrane's characteristics and reduce it up to 70\%.


title: Short Maturity Forward Start Asian Options in Local Volatility Models

abstract: We study the short maturity asymptotics for prices of forward start Asian options under the assumption that the underlying asset follows a local volatility model. We obtain asymptotics for the cases of out-of-the-money, in-the-money, and at-the-money, considering both fixed strike and floating Asian options. The exponential decay of the price of an out-of-the-money forward start Asian option is handled using large deviations theory, and is controlled by a rate function which is given by a double-layer optimization problem. In the Black-Scholes model, the calculation of the rate function is simplified further to the solution of a non-linear equation. We obtain closed form for the rate function, as well as its asymptotic behaviors when the strike is extremely large, small, or close to the initial price of the underlying asset.


title: Counterparty Trading Limits Revisited:CSAs, IM, SwapAgent(r), from PFE to PFL

abstract: The utility of Potential Future Exposure (PFE) for counterparty trading limits is being challenged by new market developments, notably widespread regulatory Initial Margin (using 99% 10-day exposure), and netting of trade and collateral flows. However PFE has pre-existing challenges w.r.t. portfolios/distributions, collateralization, netting set seniority, and overlaps with CVA. We introduce Potential Future Loss (PFL) which combines expected shortfall (ES) and loss given default (LGD) as a replacement for PFE. With two additional variants Adjusted PFL (aPFL) and Protected Adjusted PFL (paPFL) these deal with both new and pre-existing challenges. We provide a theoretical background and numerical examples.


title: The weighted horizontal linear complementarity problem on a Euclidean Jordan algebra

abstract: A weighted complementarity problem (wCP) is to find a pair of vectors belonging to the intersection of a manifold and a cone such that the product of the vectors in a certain algebra equals a given weight vector. If the weight vector is zero, we get a complementarity problem. Examples of such problems include the Fisher market equilibrium problem and the linear programming and weighted centering problem. In this paper we consider the weighted horizontal linear complementarity problem (wHLCP) in the setting of Euclidean Jordan algebras and establish some existence and uniqueness results. For a pair of linear transformations on a Euclidean Jordan algebra, we introduce the concepts of R_0, R, and P properties and discuss the solvability of wHLCPs under nonzero (topological) degree conditions. A uniqueness result is stated in the setting of R^n. We show how our results naturally lead to interior point systems.


title: Random Projection and Its Applications

abstract: Random Projection is a foundational research topic that connects a bunch of machine learning algorithms under a similar mathematical basis. It is used to reduce the dimensionality of the dataset by projecting the data points efficiently to a smaller dimensions while preserving the original relative distance between the data points. In this paper, we are intended to explain random projection method, by explaining its mathematical background and foundation, the applications that are currently adopting it, and an overview on its current research perspective.


title: Optimal Vertex Fault Tolerant Spanners (for fixed stretch)

abstract: A $k$-spanner of a graph $G$ is a sparse subgraph $H$ whose shortest path distances match those of $G$ up to a multiplicative error $k$. In this paper we study spanners that are resistant to faults. A subgraph $H \subseteq G$ is an $f$ vertex fault tolerant (VFT) $k$-spanner if $H \setminus F$ is a $k$-spanner of $G \setminus F$ for any small set $F$ of $f$ vertices that might "fail." One of the main questions in the area is: what is the minimum size of an $f$ fault tolerant $k$-spanner that holds for all $n$ node graphs (as a function of $f$, $k$ and $n$)? This question was first studied in the context of geometric graphs [Levcopoulos et al. STOC '98, Czumaj and Zhao SoCG '03] and has more recently been considered in general undirected graphs [Chechik et al. STOC '09, Dinitz and Krauthgamer PODC '11]. In this paper, we settle the question of the optimal size of a VFT spanner, in the setting where the stretch factor $k$ is fixed. Specifically, we prove that every (undirected, possibly weighted) $n$-node graph $G$ has a $(2k-1)$-spanner resilient to $f$ vertex faults with $O_k(f^{1 - 1/k} n^{1 + 1/k})$ edges, and this is fully optimal (unless the famous Erdos Girth Conjecture is false). Our lower bound even generalizes to imply that no data structure capable of approximating $dist_{G \setminus F}(s, t)$ similarly can beat the space usage of our spanner in the worst case. We also consider the edge fault tolerant (EFT) model, defined analogously with edge failures rather than vertex failures. We show that the same spanner upper bound applies in this setting. Our data structure lower bound extends to the case $k=2$ (and hence we close the EFT problem for $3$-approximations), but it falls to $\Omega(f^{1/2 - 1/(2k)} \cdot n^{1 + 1/k})$ for $k \ge 3$. We leave it as an open problem to close this gap.


title: Shattering-extremal set systems from Sperner families

abstract: We say that a set system $\mathcal{F}\subseteq 2^{[n]}$ shatters a given set $S\subseteq [n]$ if $2^S= \{F~\cap~S:~F~\in~\mathcal{F}\}$. The Sauer-Shelah lemma states that in general, a set system $\mathcal{F}$ shatters at least $|\mathcal{F}|$ sets. Here we concentrate on the case of equality. A set system is called \emph{shattering-extremal} if it shatters exactly $|\mathcal{F}|$ sets. A conjecture of R\'onyai and the second author and of Litman and Moran states that if a family is shattering-extremal then one can add a set to it and the resulting family is still shattering-extremal. Here we prove this conjecture for a class of set systems defined from Sperner families.


title: Optically reconfigurable polarized emission in Germanium

abstract: Light polarization can conveniently encode information. Yet, the ability to steer polarized optical fields is notably demanding but crucial to develop practical methods for data encryption and to gather fundamental insights into light-matter interactions. Here we demonstrate the dynamic manipulation of the chirality of light in the telecom wavelength regime. This unique possibility is enrooted in the multivalley nature of the conduction band of a conventional semiconductor, namely Ge. In particular, we demonstrate that optical pumping suffices to govern the kinetics of spin-polarized carriers and eventually the chirality of the radiative recombination. We found that the polarization of the optical transitions can be remarkably swept through orthogonal eigenstates without magnetic field control or phase shifter coupling. Our results anticipate spin-enhanced optoelectronic functionalities in materials backed by the mainstream microelectronics industry and provide guiding information for the selection and design of functionalized emitters based on novel group IV compounds.