title: Definitions of energy for the description of gravity as the splitting theory

abstract: We study the definitions of energy, naturally arising in the splitting theory, which is the field theoretic formulation of the Regge-Teitelboim gravity. The latter regards our spacetime as a surface embedded in a flat bulk. The splitting theory describes embedded spacetime in the language of the some field theory in a flat bulk. We consider the Noether energy-momentum tensor (EMT) and the metric EMT defined by the variation with respect to the metric of a flat bulk. We discuss a localizability of energy. Then using these EMTs we calculate the full energy of an isolated massive body. We compare the results with the standard general relativity results obtained from the Einstein energy-momentum pseudotensor (pEMT) and from the M{\o}ller pEMT. Finally, we propose the several ways of correction of the definitions of the energy in the splitting theory.


title: Subgroups of Division Rings

abstract: We investigate the finite subgroups that occur in the Hamiltonian quaternion algebra over the real subfield of cyclotomic fields. When possible, we investigate their distribution among the maximal orders.


title: Learning what you can do before doing anything

abstract: Intelligent agents can learn to represent the action spaces of other agents simply by observing them act. Such representations help agents quickly learn to predict the effects of their own actions on the environment and to plan complex action sequences. In this work, we address the problem of learning an agent's action space purely from visual observation. We use stochastic video prediction to learn a latent variable that captures the scene's dynamics while being minimally sensitive to the scene's static content. We introduce a loss term that encourages the network to capture the composability of visual sequences and show that it leads to representations that disentangle the structure of actions. We call the full model with composable action representations Composable Learned Action Space Predictor (CLASP). We show the applicability of our method to synthetic settings and its potential to capture action spaces in complex, realistic visual settings. When used in a semi-supervised setting, our learned representations perform comparably to existing fully supervised methods on tasks such as action-conditioned video prediction and planning in the learned action space, while requiring orders of magnitude fewer action labels. Project website: https://daniilidis-group.github.io/learned_action_spaces


title: Concentration in the Generalized Chinese Restaurant Process

abstract: The Generalized Chinese Restaurant Process (GCRP) describes a sequence of exchangeable random partitions of the numbers $\{1,\dots,n\}$. This process is related to the Ewens sampling model in Genetics and to Bayesian nonparametric methods such as topic models. In this paper, we study the GCRP in a regime where the number of parts grows like $n^\alpha$ with $\alpha>0$. We prove a non-asymptotic concentration result for the number of parts of size $k=o(n^{\alpha/(2\alpha+4)}/(\log n)^{1/(2+\alpha)})$. In particular, we show that these random variables concentrate around $c_{k}\,V_*\,n^\alpha$ where $V_*\,n^\alpha$ is the asymptotic number of parts and $c_k\approx k^{-(1+\alpha)}$ is a positive value depending on $k$. We also obtain finite-$n$ bounds for the total number of parts. Our theorems complement asymptotic statements by Pitman and more recent results on large and moderate deviations by Favaro, Feng and Gao.


title: The effect of pressure on hydrogen solubility in Zircaloy-4

abstract: The effect of pressure on the room temperature solubility of hydrogen in Zircaloy-4 was examined using synchrotron X-ray diffraction on small ground flake samples in a diamond anvil cell at pressures up to 20.9 GPa. Different combinations of hydrogen level/state in the sample and of pressure transmitting medium were examined; in all three cases examined, it could be concluded that pressure resulted in the dissolution of d hydrides and that interstitial hydrogen retards the formation of w Zr. A pressure of around 9 GPa was required to halve the hydride fraction. These results imply that the effect of pressure is thermodynamically analogous to that of increasing temperature, but that the effect is small. The results are consistent with the volume per Zr atom of the a, d and w phases, with the bulk moduli of a and d, and with previous measurements of the hydrogen site molar volumes in the a and d phases. The results are interpreted in terms of their implication for our understanding of the driving forces for hydride precipitation at crack tips, which are in a region of hydrostatic tensile stress on the order of 1.5 GPa.


title: Phase-field modeling of solute precipitation and dissolution

abstract: A phase-field approach to the dynamics of liquid-solid interfaces that evolve due to precipitation and/or dissolution is presented. For the purpose of illustration and comparison with other methods, phase field simulations were carried out assuming first order reaction (dissolution/precipitation) kinetics. In contrast to solidification processes controlled by a temperature field that is continuous across the solid/liquid interface (with a discontinuous temperature gradient) precipitation/dissolution is controlled by a solute concentration field that is discontinuous at the solid/liquid interface. The sharp-interface asymptotic analysis of the phase-field equations for solidification [Karma and Rappel, Phys. Rev. E57 (1998) 4342] has been modified for precipitation/dissolution processes to demonstrate that the phase-field equations converge to the proper sharp-interface limit. The mathematical model has been validated for a one-dimensional precipitation/dissolution problem by comparison with the analytical solution.


title: Dipolar quantum logic for freely-rotating trapped molecular ions

abstract: We consider the practical feasibility of using the direct, electric dipole-dipole interaction between co-trapped molecular ions for robust quantum logic without the need for static polarizing fields. The use of oscillating dipole moments, as opposed to static electric dipoles, dynamically decouples the dipoles from laboratory fields, including the electric fields of the trap itself. Further, this implementation does not require quantum control of motion, potentially removing a major roadblock to ion trap quantum computing scalability. Since the polarizing field is electromagnetic radiation, even pairs of states with splittings in the THz regime can be fully polarized.


title: On learning linear functions from subset and its applications in quantum computing

abstract: Let $\mathbb{F}_q$ be the finite field of size $q$ and let $\ell: \mathbb{F}_q^n \to \mathbb{F}_q$ be a linear function. We introduce the {\em Learning From Subset} problem LFS$(q,n,d)$ of learning $\ell$, given samples $u \in \mathbb{F}_q^n$ from a special distribution depending on $\ell$: the probability of sampling $u$ is a function of $\ell(u)$ and is non zero for at most $d$ values of $\ell(u)$. We provide a randomized algorithm for LFS$(q,n,d)$ with sample complexity $(n+d)^{O(d)}$ and running time polynomial in $\log q$ and $(n+d)^{O(d)}$. Our algorithm generalizes and improves upon previous results \cite{Friedl, Ivanyos} that had provided algorithms for LFS$(q,n,q-1)$ with running time $(n+q)^{O(q)}$. We further present applications of our result to the {\em Hidden Multiple Shift} problem HMS$(q,n,r)$ in quantum computation where the goal is to determine the hidden shift $s$ given oracle access to $r$ shifted copies of an injective function $f: \mathbb{Z}_q^n \to \{0, 1\}^l$, that is we can make queries of the form $f_s(x,h) = f(x-hs)$ where $h$ can assume $r$ possible values. We reduce HMS$(q,n,r)$ to LFS$(q,n, q-r+1)$ to obtain a polynomial time algorithm for HMS$(q,n,r)$ when $q=n^{O(1)}$ is prime and $q-r=O(1)$. The best known algorithms \cite{CD07, Friedl} for HMS$(q,n,r)$ with these parameters require exponential time.


title: A combinatorial identity for the Jacobian of $t$-shifted invariants

abstract: Let $\mathfrak g$ be a simple Lie algebra. There are classical formulas for the Jacobians of the generating invariants of the Weyl group of $\mathfrak g$ and of the images under the Harich-Chandra projection of the generators of $ZU(\mathfrak g)$. We present a modification of these formulas related to Takiff Lie algebras.


title: A materials informatics approach to the identification of one-band correlated materials analogous to the cuprates

abstract: One important yet exceedingly rare property of the cuprate high-temperature superconductors is the presence of a single correlated $d$ band in the low-energy spectrum, leading to the one-band Hubbard model as the minimal description. In order to search for materials with interesting strong correlation physics as well as possible benchmark systems for the one-band Hubbard model, here we present a new approach to find one-band correlated materials analogous to the cuprates by leveraging the emerging area of materials informatics. Using the composition, structure, and formation energy of more than half a million real and hypothetical inorganic crystalline materials in the Open Quantum Materials Database, we search for synthesizable materials whose nominal transition metal $d$ electron count and crystal field are compatible with achieving an isolated half-filled $d$ band. Five Cu compounds, including bromide, oxide, selenate, and pyrophosphate chemistries, are shown to successfully achieve the one-band electronic structure based on density functional theory band structure calculations. Further calculations including magnetism and explicit on-site Coulomb interaction reveal significant evidence for strong correlation physics in the five candidates, including Mott insulating behavior and antiferromagnetism. The success of our data-driven approach to discovering new correlated materials opens up new avenues to design and discover materials with rare electronic properties.


title: Two-curve Green's function for $2$-SLE: the interior case

abstract: A $2$-SLE$_\kappa$ ($\kappa\in(0,8)$) is a pair of random curves $(\eta_1,\eta_2)$ in a simply connected domain $D$ connecting two pairs of boundary points such that conditioning on any curve, the other is a chordal SLE$_\kappa$ curve in a complement domain. In this paper we prove that for any $z_0\in D$, the limit $\lim_{r\to 0^+}r^{-\alpha_0} \mathbb{P}[\mbox{dist}(z_0,\eta_j)<r,j=1,2]$, where $\alpha_0=\frac{(12-\kappa)(\kappa+4)}{8\kappa}$, exists. Such limit is called a two-curve Green's function. We find the convergence rate and the exact formula of the Green's function in terms of a hypergeometric function up to a multiplicative constant. For $\kappa\in(4,8)$, we also prove the convergence of $\lim_{r\to 0^+}r^{-\alpha_0} \mathbb{P}[\mbox{dist}(z_0,\eta_1\cap \eta_2)<r]$, whose limit is a constant times the previous Green's function. To derive these results, we work on two-time-parameter stochastic processes, and use orthogonal polynomials to derive the transition density of a two-dimensional diffusion process that satisfies some system of SDE.


title: Artificial Quantum Neural Network: quantum neurons, logical elements and tests of convolutional nets

abstract: We consider a model of an artificial neural network that uses quantum-mechanical particles in a two-humped potential as a neuron. To simulate such a quantum-mechanical system the Monte-Carlo integration method is used. A form of the self-potential of a particle and two potentials (exciting and inhibiting) interaction are proposed. The possibility of implementing the simplest logical elements, (such as AND, OR and NOT) based on introduced quantum particles is shown. Further we show implementation of a simplest convolutional network. Finally we construct a network that recognizes handwritten symbols, which shows that in the case of simple architectures, it is possible to transfer weights from a classical network to a quantum one.


title: Atomic-Scale Strain Manipulation of a Charge Density Wave

abstract: A charge density wave (CDW) is one of the fundamental instabilities of the Fermi surface occurring in a wide range of quantum materials. In dimensions higher than one, where Fermi surface nesting can play only a limited role, the selection of the particular wave vector and geometry of an emerging CDW should in principle be susceptible to controllable manipulation. In this work, we implement a simple method for straining materials compatible with low-temperature scanning tunneling microscopy/spectroscopy (STM/S), and use it to strain-engineer new CDWs in 2H-NbSe2. Our STM/S measurements combined with theory reveal how small strain-induced changes in the electronic band structure and phonon dispersion lead to dramatic changes in the CDW ordering wave vector and geometry. Our work unveils the microscopic mechanism of a CDW formation in this system, and can serve as a general tool compatible with a range of spectroscopic techniques to engineer novel electronic states in any material where local strain or lattice symmetry breaking plays a role.


title: The Hasse principle for homogeneous spaces with nilpotent stabilizer (Le principe de Hasse pour les espaces homog\`enes \`a stabilisateur fini)

abstract: We prove that the Brauer-Manin obstruction is the only obstruction to the Hasse principle for homogeneous spaces with nilpotent stabilizer. We thus generalize recent results by Harpaz and Wittenberg on finite "hyper-solvable" stabilizers. In particular, this result is true for abelian stabilizers without any hypotheses on the ambient group, which generalizes classic results by Borovoi on the subject. We prove moreover that these spaces have the real approximation property. On montre que l'obstruction de Brauer-Manin est la seule obstruction au principe de Hasse pour les espaces homog\`enes \`a stabilisateur nilpotent. On g\'en\'eralise ainsi les r\'esultats r\'ecents de Harpaz et Wittenberg sur les stabilisateurs finis "hyper-r\'esolubles". En particulier, ce r\'esultat vaut pour les espaces homog\`enes \`a stabilisateur ab\'elien sans hypoth\`ese sur le groupe ambiant, ce qui g\'en\'eralise des r\'esultats d\'ej\`a classiques de Borovoi sur le sujet. On d\'emontre au passage que ces espaces poss\`edent la propri\'et\'e d'approximation r\'eelle.


title: $J\bar{T}$ deformed $CFT_2$ and String Theory

abstract: We study two dimensional conformal field theory with a left-moving conserved current $J$, perturbed by an irrelevant, Lorentz symmetry breaking operator with the quantum numbers of $J\bar{T}$, using a combination of field and string theoretic techniques. We show that the spectrum of the theory has some interesting features, which may shed light on systems of interest for holography and black hole physics.


title: Monitoring Thermal Transformations in Hybrid Composites

abstract: Hybrid composites, mixtures of organic and inorganic materials frequently achieve their final properties after thermal treatment involving partial or complete decomposition and chemical reactions. Three examples are presented to demonstrate the possibilities of monitoring these complex transformations by various analytical techniques. The first one is a polyurea based prepreg system containing both organic and inorganic additives, achieving extreme heat stability after curing followed by a heat treatment. Next example is taken from alumina based ceramic injection molding systems. The effects of matrix polymer and various additives, such as citric acid, UHMWPE (ultrahigh molecular weight polyethylene) and the effect of alumina trihydrate/alumina ratio in the ceramic injection molding feedstock was studied on the processability and porosity. The last example presents a new approach to prepare ODS (oxide dispersed steel) bodies by using metalorganic compounds as additives in metal injection molding feedstocks. Applied characterization methods included thermogravimetry (TGA), differential thermal analysis (DTA), X-ray diffraction (WAXS), X-ray photoelectron spectroscopy (XPS), scanning electron microcopy (SEM) coupled with energy dispersive X-ray analysis (EDX), vibrational spectroscopy (Raman and FTIR) and density measurements.


title: Time as a Consequence of Internal Coherence

abstract: Time has been an elusive concept to grasp. Although we do not yet understand it properly, there has been advances made in regards to how we can explain it. One such advance is the Page-Wootters mechanism. In this mechanism time is seen as an inaccessible coordinate and the apparently passage of time arises as a consequence of correlations between the subsystems of a global state. Here we propose a measure that captures the relational character of the mechanism, showing that the internal coherence is the necessary ingredient for the emergence of time in the Page-Wootters model. Also, we connect it to results in quantum thermodynamics, showing that it is directly related to the extractable work from quantum coherence.


title: Somme des chiffres et changement de base

abstract: Let $s_a(n)$ denote the sum of digits of an integer $n$ in the base $a$ expansion. Answering, in a extended form, a question of Deshouillers, Habsieger, Laishram, and Landreau, we show that, provided $a$ and $b$ are multiplicatively independent, any positive real number is a limit point of the sequence $\{s_b(n)/s_a(n)\}_{n=1}^{\infty}$. We also provide upper and lower bounds for the counting functions of the corresponding subsequences.


title: An alternative look at the structure of graph inverse semigroups

abstract: For any graph inverse semigroup $G(E)$ we describe subsemigroups $D^0=D\cup\{0\}$ and $J^0=J\cup\{0\}$ of $G(E)$ where $D$ and $J$ are arbitrary $\mathcal{D}$-class and $\mathcal{J}$-class of $G(E)$, respectively. In particular, we prove that for each $\mathcal{D}$-class $D$ of a graph inverse semigroup over an acyclic graph the semigroup $D^0$ is isomorphic to a semigroup of matrix units. Also we show that for any elements $a,b$ of a graph inverse semigroup $G(E)$, $J_a\cdot J_b\cup J_b\cdot J_a\subset J_b^0$ if there exists a path $w$ such that $s(w)\in J_a$ and $r(w)\in J_b$.


title: Kinematics of cluster galaxies and their relation to galaxy evolution

abstract: We study the kinematics of galaxies within massive clusters, as a probe of the physics of star-formation quenching within clusters. Using N-body simulations, we argue that satellite kinematics provide information about galaxy infall that is complementary to the (instantaneous) spatial distribution of satellites. Comparing the simulation results with measurements of real cluster galaxies, we find evidence that the kinematics of red (quiescent) satellite galaxies are consistent with earlier infall times than that of blue (star-forming) satellites.


title: Minimal Unimodal Decompositions on Trees

abstract: The decomposition of a density function on a domain into a minimal sum of unimodal components is a fundamental problem in statistics, leading to the topological invariant of unimodal category of a density. This paper gives an efficient algorithm for the construction of a minimal unimodal decomposition of a tame density function on a finite metric tree.


title: Suppression of transport in non-disordered quantum spin chains due to confined excitations

abstract: The laws of thermodynamics require any initial macroscopic inhomogeneity in extended many-body systems to be smoothed out by the time evolution through the activation of transport processes. In generic, non-integrable quantum systems, transport is expected to be governed by a diffusion law, whereas a sufficiently strong quenched disorder can suppress it completely due to many-body localization of quantum excitations. Here we show that the confinement of quasi-particles can also lead to transport suppression even if the dynamics are generated by homogeneous Hamiltonians. We demonstrate this in the quantum Ising chain with transverse and longitudinal magnetic fields in the paradigmatic case of the evolution of domain-wall states. We perform extensive numerical simulations of the dynamics which turn out to be in excellent agreement with an effective analytical description valid within both weak and strong confinement regimes. Our results show that the energy flow from "hot" to "cold" regions of the chain is suppressed for all accessible times. We argue that this phenomenon is connected with the presence of atypical states in the many-body energy spectrum which violate the eigenstate thermalization hypothesis, as recently reported in the literature.


title: Quasi-Round MOTSs and Stability of the Schwarzschild Null Penrose Inequality

abstract: In recent work, the notion of Double Convexity for a foliation of a conical null hypersurface was introduced to give a proof, if satisfied, of the Null Penrose Inequality. Double Convexity constrains the geometry of a Marginally Outer Trapped Surface (MOTS), called a quasi-round MOTS. In the first part of this paper, for a class of strictly stable Weakly Isolated Horizons, we show the existence of a unique foliation by quasi-round MOTS. In the second part, we show that any subsequent space-time perturbation continues to admit a quasi-round MOTS. Finally, for perturbations of the quasi-round MOTS in Schwarzschild, we identify sufficient conditions on the asymptotics of any past-pointing null hypersurface that yields the Null Penrose Inequality.


title: Forcing axioms and coronas of $C^*$-algebras

abstract: We prove rigidity results for large classes of corona algebras, assuming the Proper Forcing Axiom. In particular, we prove that a conjecture of Coskey and Farah holds for all separable $C^*$-algebras with the metric approximation property and an increasing approximate identity of projections.


title: Galactic Rotation Dynamics in f(T) gravity

abstract: We investigate galactic rotation curves in $f(T)$ gravity, where $T$ represents a torsional quantity. Our study centers on the particular Lagrangian $f(T)=T+\alpha{T^n}$, where $|n|\neq 1$ and $\alpha$ is a small unknown constant. To do this we treat galactic rotation curves as being composed from two distinct features of galaxies, namely the disk and the bulge. This process is carried out for several values of the index $n$. The resulting curve is then compared with Milky Way profile data to constrain the value of the index $n$ while fitting for the parameter $\alpha$. These values are then further tested on three other galaxies with different morphologies. On the galactic scale we find that $f(T)$ gravity departs from standard Newtonian theory in an important way. For a small range of values of $n$ we find good agreement with data without the need for exotic matter components to be introduced.


title: A Forward Branching Phase Space Generator for Hadron colliders

abstract: In this paper we develop a projective phase space generator appropriate for hadron collider geometry. The generator integrates over bremsstrahlung events which project back to a single, fixed Born event. The projection is dictated by the experimental jet algorithm allowing for the forward branching phase space generator to integrate out the jet masses and initial state radiation. When integrating over the virtual and bremsstrahlung amplitudes this results in a single K-factor, assigning an event probability to each Born event. This K-factor is calculable as a perturbative expansion in the strong coupling constant. One can build observables from the Born kinematics, giving identical results to tradi- tional observables as long as the observable does not depend on the infrared sensitive jet mass or initial state radiation.


title: On the Resilience of RTL NN Accelerators: Fault Characterization and Mitigation

abstract: Machine Learning (ML) is making a strong resurgence in tune with the massive generation of unstructured data which in turn requires massive computational resources. Due to the inherently compute- and power-intensive structure of Neural Networks (NNs), hardware accelerators emerge as a promising solution. However, with technology node scaling below 10nm, hardware accelerators become more susceptible to faults, which in turn can impact the NN accuracy. In this paper, we study the resilience aspects of Register-Transfer Level (RTL) model of NN accelerators, in particular, fault characterization and mitigation. By following a High-Level Synthesis (HLS) approach, first, we characterize the vulnerability of various components of RTL NN. We observed that the severity of faults depends on both i) application-level specifications, i.e., NN data (inputs, weights, or intermediate), NN layers, and NN activation functions, and ii) architectural-level specifications, i.e., data representation model and the parallelism degree of the underlying accelerator. Second, motivated by characterization results, we present a low-overhead fault mitigation technique that can efficiently correct bit flips, by 47.3% better than state-of-the-art methods.


title: Point-identification in multivariate nonseparable triangular models

abstract: In this article we introduce a general nonparametric point-identification result for nonseparable triangular models with a multivariate first- and second stage. Based on this we prove point-identification of Hedonic models with multivariate heterogeneity and endogenous observable characteristics, extending and complementing identification results from the literature which all require exogeneity. As an additional application of our theoretical result, we show that the BLP model (Berry et al. 1995) can also be identified without index restrictions.


title: Noncommutative Spaces and the Theory of Geometrodynamics

abstract: This article is concerned with a generalisation of Connes' noncommutative framework. This is achieved by a general study of spectral triples, in particular through an analysis of the role played by the Dirac operator. The Dirac operator is used to construct a generalised covariant derivative, which is then employed to define a generalised spacetime. The spectral action is then modified to accommodate this generalisation and it is observed that in the appropriate limit, Connes' spectral action is recovered.


title: SPDE Limit of Weakly Inhomogeneous ASEP

abstract: We study ASEP in a spatially inhomogeneous environment on a torus $ \mathbb{T}^{(N)} = \mathbb{Z}/N\mathbb{Z} $ of $ N $ sites. A given inhomogeneity $ \widetilde{a}(x) \in (0,\infty) $, $x \in \mathbb{T} $, perturbs the overall asymmetric jumping rates $ r < \ell \in (0,1) $ at bonds, so that particles jump from site $ x $ to $ x+1 $ with rate $ r\widetilde{a}(x) $ and from $x+1$ to $x$ with rate $ \ell\widetilde{a}(x) $ (subject to the exclusion rule in both cases). Under the limit $ N\to\infty $, we suitably tune the asymmetry $ (\ell-r) $ to zero like $N^{-\frac{1}{2}}$ and the inhomogeneity $ \widetilde{a}(x) $ to unity, so that the two compete on equal footing. At the level of the G\"{a}rtner (or microscopic Hopf--Cole) transform, we show convergence to a new SPDE -- the Stochastic Heat Equation with a mix of spatial and spacetime multiplicative noise. Equivalently, at the level of the height function we show convergence to the Kardar--Parisi--Zhang equation with a mix of spatial and spacetime additive noise. Our method applies to a general class of $ \widetilde{a}(x) $, which, in particular, includes i.i.d., long-range correlated, and periodic inhomogeneities. The key technical component of our analysis consists of a host of estimates on the \emph{kernel} of the semigroup $ \mathcal{Q}(t):=e^{t\mathcal{H}} $ for a Hill-type operator $ \mathcal{H}:= \frac12\partial_{xx} + \mathcal{A}'(x) $, and its discrete analog, where $ \mathcal{A} $ (and its discrete analog) is a generic H\"{o}lder continuous function.


title: Data Reduction for Maximum Matching on Real-World Graphs: Theory and Experiments

abstract: Finding a maximum-cardinality or maximum-weight matching in (edge-weighted) undirected graphs is among the most prominent problems of algorithmic graph theory. For $n$-vertex and $m$-edge graphs, the best known algorithms run in $\widetilde{O}(m\sqrt{n})$ time. We build on recent theoretical work focusing on linear-time data reduction rules for finding maximum-cardinality matchings and complement the theoretical results by presenting and analyzing (thereby employing the kernelization methodology of parameterized complexity analysis) new (near-)linear-time data reduction rules for both the unweighted and the positive-integer-weighted case. Moreover, we experimentally demonstrate that these data reduction rules provide significant speedups of the state-of-the art implementations for computing matchings in real-world graphs: the average speedup factor is 4.7 in the unweighted case and 12.72 in the weighted case.


title: Probing the Hill Sphere of (486958) 2014 MU$_{69}$: HST FGS Observations During the July 17, 2017 Stellar Occultation

abstract: We observed the July 17, 2017 stellar occultation of HD 168233 by the Kuiper Belt Object (486958) 2014 MU$_{69}$, the close flyby target of the extended New Horizons mission. Rather than capture a solid body occultation by the KBO itself, our program aimed to constrain the opacity of rings, moons, or other debris in the nearby environment. We used the Hubble Space Telescope Fine Guidance Sensors (HST FGS) instrument in TRANS F583W mode to collect 40 Hz time resolution photometry of the stellar occultation star for two HST orbits during this observation. We present the results of reduction and calibration of the HST FGS photometry, and set upper limits on rings or other dust opacity within the Hill sphere of (486958) 2014 MU$_{69}$ at distances ranging from $\sim$20,000 km to $\sim$75,000 km from the main body.


title: Ideal Bandgap in a 2D Ruddlesden-Popper Perovskite Chalcogenide for Single-junction Solar Cells

abstract: Transition metal perovskite chalcogenides (TMPCs) are explored as stable, environmentally friendly semiconductors for solar energy conversion. They can be viewed as the inorganic alternatives to hybrid halide perovskites, and chalcogenide counterparts of perovskite oxides with desirable optoelectronic properties in the visible and infrared part of the electromagnetic spectrum. Past theoretical studies have predicted large absorption coefficient, desirable defect characteristics, and bulk photovoltaic effect in TMPCs. Despite recent progresses in polycrystalline synthesis and measurements of their optical properties, it is necessary to grow these materials in high crystalline quality to develop a fundamental understanding of their optical properties and evaluate their suitability for photovoltaic application. Here, we report the growth of single crystals of a two-dimensional (2D) perovskite chalcogenide, Ba3Zr2S7, with a natural superlattice-like structure of alternating double-layer perovskite blocks and single-layer rock salt structure. The material demonstrated a bright photoluminescence peak at 1.28 eV with a large external luminescence efficiency of up to 0.15%. We performed time-resolved photoluminescence spectroscopy on these crystals and obtained an effective recombination time of ~65 ns. These results clearly show that 2D Ruddlesden-Popper phases of perovskite chalcogenides are promising materials to achieve single-junction solar cells.


title: Quantifier Elimination for Database Driven Verification

abstract: Running verification tasks in database driven systems requires solving quantifier elimination problems of a new kind. These quantifier elimination problems are related to the notion of a cover introduced in ESOP 2008 by Gulwani and Musuvathi. In this paper, we show how covers are strictly related to model completions, a well-known topic in model theory. We also investigate the computation of covers within the Superposition Calculus, by adopting a constrained version of the calculus, equipped with appropriate settings and reduction strategies. In addition, we show that cover computations are computationally tractable for the fragment of the language used in applications to database driven verification. This observation is confirmed by analyzing the preliminary results obtained using the MCMT tool on the verification of data-aware process benchmarks. These benchmarks can be found in the last version of the tool distribution.


title: Application of Blockchain in Booking and Registration Systems of Securities Exchanges

abstract: Securities exchange being digitalised and online, security of information and data has become a major concern. Blockchain (BC) technology, being distributed and immutable in nature, has proved to the "Trust Machine" eliminating the need for third-parties. Authors of this paper investigate how Blockchain can be used to secure stock exchange transactions, with an especial focus to the technological as well as legal aspects of such applications. Considering the intricate operational structure of the securities exchange, the research proposes to design, develop and implement a hybrid BC, customised according to the need of the respective stock exchange. The study suggests that the use of such BC can bring many benefits which the other technologies currently being used cannot offer. However, during the design process of any such application using BC, the relevant laws and regulations of the corresponding country need to be considered.


title: Mid-wave and Long-wave IR Linear Dichroism in a Hexagonal Perovskite Chalcogenide

abstract: Mid-wave infrared (IR) and long-wave IR spectral ranges are of growing interest in various applications such as thermal imaging, thermography-based remote sensing, and night vision. Materials widely used for IR photodetectors in this regime include cadmium mercury telluride alloys and nanostructures of compound semiconductor. The materials development for IR optics will drive down the cost of IR optical systems and enable larger scale deployment. Here, we report a mid-wave IR responsive material composed of earth abundant and non-toxic elements, Sr1+xTiS3. It has a highly anisotropic quasi-one-dimensional structure similar to hexagonal perovskites. We grew large, high quality single crystals and studied its anisotropic optical properties. We observed two distinct optical absorption edges at ~2.5 um and ~5 um, respectively, for linear polarizations along two principal axes. The material demonstrated strong and broadband linear dichroism spanning mid-wave IR and long-wave IR, with a dichroitic ratio of up to 22.


title: Convex LMI optimization for the uncertain power flow analysis

abstract: This paper investigates the uncertain power flow analysis in distribution networks within the context of renewable power resources integration such as wind and solar power. The analysis aims to bound the worst-case voltage magnitude in any node of the network for a given uncertain power generation scenario. The major difficulty of this problem is the non-linear aspect of power flow equations. The proposed approach does not require the linearization of these equations and formulates the problem as an optimization problem with polynomial constraints. A new tool to investigate the feasibility of such problems is presented and it is obtained as an extension of the $\mathcal{S}-$procedure, a fundamental result in robustness analysis. A solution to the uncertain power flow analysis problem is proposed using this new tool. The different obtained results of this paper are expressed as LMI optimization problems which guaranties an efficient numerical resolution as it will be demonstrated through an illustrative example.


title: Fr\'echet Estimation of Time-Varying Covariance Matrices From Sparse Data, With Application to the Regional Co-Evolution of Myelination in the Developing Brain

abstract: Assessing brain development for small infants is important for determining how the human brain grows during the early period of life when the rate of brain growth is at its peak. The development of MRI techniques has enabled the quantification of brain development. A key quantity that can be extracted from MRI measurements is the level of myelination, where myelin acts as an insulator around nerve fibers and its deployment makes nerve pulse propagation more efficient. The co-variation of myelin deployment across different brain regions provides insights into the co-development of brain regions and can be assessed as a correlation matrix that varies with age. Typically, available data for each child are very sparse, due to the cost and logistic difficulties of arranging MRI brain scans for infants. We showcase here a method where data per subject are limited to measurements taken at only one random age, while aiming at the time-varying dynamics. This situation is encountered more generally in cross-sectional studies where one observes $p$-dimensional vectors at one random time point per subject and is interested in the $p \times p$ correlation matrix function over the time domain. The challenge is that at each observation time one observes only a $p$-vector of measurements but not a covariance or correlation matrix. For such very sparse data, we develop a Fr\'echet estimation method. Given a metric on the space of covariance matrices, the proposed method generates a matrix function where at each time the matrix is a non-negative definite covariance matrix, for which we demonstrate consistency properties. We discuss how this approach can be applied to myelin data in the developing brain and what insights can be gained.


title: Classification of momentum proper exact Hamiltonian group actions and the equivariant Eliashberg cotangent bundle conjecture

abstract: Let $G$ be a compact and connected Lie group. The Hamiltonian $G$-model functor maps the category of symplectic representations of closed subgroups of $G$ to the category of exact Hamiltonian $G$-actions. Based on previous joint work with Y. Karshon, the restriction of this functor to the momentum proper subcategory on either side induces a bijection between the sets of isomorphism classes. This classifies all momentum proper exact Hamiltonian $G$-actions (of arbitrary complexity). As an extreme case, we obtain a version of the Eliashberg cotangent bundle conjecture for transitive smooth actions. As another extreme case, the momentum proper Hamiltonian $G$-actions on contractible manifolds are exactly the symplectic $G$-representations, up to isomorphism.


title: An Outcome Model Approach to Translating a Randomized Controlled Trial Results to a Target Population

abstract: Participants enrolled into randomized controlled trials (RCTs) often do not reflect real-world populations. Previous research in how best to translate RCT results to target populations has focused on weighting RCT data to look like the target data. Simulation work, however, has suggested that an outcome model approach may be preferable. Here we describe such an approach using source data from the 2x2 factorial NAVIGATOR trial which evaluated the impact of valsartan and nateglinide on cardiovascular outcomes and new-onset diabetes in a pre-diabetic population. Our target data consisted of people with pre-diabetes serviced at our institution. We used Random Survival Forests to develop separate outcome models for each of the 4 treatments, estimating the 5-year risk difference for progression to diabetes and estimated the treatment effect in our local patient populations, as well as sub-populations, and the results compared to the traditional weighting approach. Our models suggested that the treatment effect for valsartan in our patient population was the same as in the trial, whereas for nateglinide treatment effect was stronger than observed in the original trial. Our effect estimates were more efficient than the weighting approach.


title: Superluminal motion of a relativistic jet in the neutron star merger GW170817

abstract: The binary neutron star merger GW170817 was accompanied by radiation across the electromagnetic spectrum and localized to the galaxy NGC 4993 at a distance of 41+/-3 Mpc. The radio and X-ray afterglows of GW170817 exhibited delayed onset, a gradual rise in the emission with time as t^0.8, a peak at about 150 days post-merger, followed by a relatively rapid decline. To date, various models have been proposed to explain the afterglow emission, including a choked-jet cocoon and a successful-jet cocoon (a.k.a. structured jet). However, the observational data have remained inconclusive as to whether GW170817 launched a successful relativistic jet. Here we show, through Very Long Baseline Interferometry, that the compact radio source associated with GW170817 exhibits superluminal motion between two epochs at 75 and 230 days post-merger. This measurement breaks the degeneracy between the models and indicates that, while the early-time radio emission was powered by a wider-angle outflow (cocoon), the late-time emission was most likely dominated by an energetic and narrowly-collimated jet, with an opening angle of <5 degrees, and observed from a viewing angle of about 20 degrees. The imaging of a collimated relativistic outflow emerging from GW170817 adds substantial weight to the growing evidence linking binary neutron star mergers and short gamma-ray bursts.


title: Computing the motor torque of Escherichia coli

abstract: The rotary motor of bacteria is a natural nano-technological marvel that enables cell locomotion by powering the rotation of semi-rigid helical flagellar filaments in fluid environments. It is well known that the motor operates essentially at constant torque in counter-clockwise direction but past work have reported a large range of values of this torque. Focusing on Escherichia coli cells that are swimming and cells that are stuck on a glass surface for which all geometrical and environmental parameters are known (Darnton et al., J. Bacteriology, 2007, 189, 1756-1764), we use two validated numerical methods to compute the value of the motor torque consistent with experiments. Specifically, we use (and compare) a numerical method based on the boundary integral representation of Stokes flow and also develop a hybrid method combining boundary element and slender body theory to model the cell body and flagellar filament, respectively. Using measured rotation speed of the motor, our computations predict a value of the motor torque in the range 440 pNnm to 829 pNnm, depending critically on the distance between the flagellar filaments and the nearby surface.


title: Person Re-Identification in Identity Regression Space

abstract: Most existing person re-identification (re-id) methods are unsuitable for real-world deployment due to two reasons: Unscalability to large population size, and Inadaptability over time. In this work, we present a unified solution to address both problems. Specifically, we propose to construct an Identity Regression Space (IRS) based on embedding different training person identities (classes) and formulate re-id as a regression problem solved by identity regression in the IRS. The IRS approach is characterised by a closed-form solution with high learning efficiency and an inherent incremental learning capability with human-in-the-loop. Extensive experiments on four benchmarking datasets(VIPeR, CUHK01, CUHK03 and Market-1501) show that the IRS model not only outperforms state-of-the-art re-id methods, but also is more scalable to large re-id population size by rapidly updating model and actively selecting informative samples with reduced human labelling effort.


title: Evidence for Color Dichotomy in the Primordial Neptunian Trojan Population

abstract: In the current model of early Solar System evolution, the stable members of the Jovian and Neptunian Trojan populations were captured into resonance from the leftover reservoir of planetesimals during the outward migration of the giant planets. As a result, both Jovian and Neptunian Trojans share a common origin with the primordial disk population, whose other surviving members constitute today's trans-Neptunian object (TNO) populations. The cold classical TNOs are ultra-red, while the dynamically excited "hot" population of TNOs contains a mixture of ultra-red and blue objects. In contrast, Jovian and Neptunian Trojans are observed to be blue. While the absence of ultra-red Jovian Trojans can be readily explained by the sublimation of volatile material from their surfaces due to the high flux of solar radiation at 5AU, the lack of ultra-red Neptunian Trojans presents both a puzzle and a challenge to formation models. In this work we report the discovery by the Dark Energy Survey (DES) of two new dynamically stable L4 Neptunian Trojans,2013 VX30 and 2014 UU240, both with inclinations i >30 degrees, making them the highest-inclination known stable Neptunian Trojans. We have measured the colors of these and three other dynamically stable Neptunian Trojans previously observed by DES, and find that 2013 VX30 is ultra-red, the first such Neptunian Trojan in its class. As such, 2013 VX30 may be a "missing link" between the Trojan and TNO populations. Using a simulation of the DES TNO detection efficiency, we find that there are 162 +/- 73 Trojans with Hr < 10 at the L4 Lagrange point of Neptune. Moreover, the blue-to-red Neptunian Trojan population ratio should be higher than 17:1. Based on this result, we discuss the possible origin of the ultra-red Neptunian Trojan population and its implications for the formation history of Neptunian Trojans.


title: Dry active turbulence in microtubule-motor mixtures

abstract: We study the dynamics and phase behaviour of a dry suspension of microtubules and molecular motors. We obtain a set of continuum equations by rigorously coarse graining a microscopic model where motor-induced interactions lead to parallel or antiparallel ordering. Through numerical simulations, we show that this model generically creates either stable stripes, or a never-settling pattern where stripes periodically form, rotate and then split up. We derive a minimal model which displays the same instability as the full model, and clarifies the underlying physical mechanism. The necessary ingredients are an extensile flux arising from microtubule sliding and an interfacial torque favouring ordering along density gradients. We argue that our minimal model unifies various previous observations of chaotic behaviour in dry active matter into a general universality class.


title: Design of a common verification board for different back-end electronics options of the JUNO experiment

abstract: The JUNO observatory is a medium baseline experiment in construction in China. A large liquid scintillator volume detects the antineutrinos issued from nuclear reactors. The liquid scintillator detector is instrumented with 17000 large photomultiplier tubes. Two veto systems are added to reduce the backgrounds. The front-end electronics system performs analog signal processing (the underwater electronics) and after about 100 m cables, the back-end electronics system, outside water, consists of the DAQ and the trigger. One of the main challenges of the whole electronics system is the fast data link (250 Mb/s) combined with the power delivery over 100 m Ethernet cables. Three different options are considered to connect the front-end and the back-end systems, depending on the DAQ data volume and the way to deliver the power to the underwater system. In order to test the three options in an efficient and fast way, a common baseboard with interfaces to different mezzanine boards is designed.


abstract: Please find the final and published version of the manuscript using this citation: E. Bernhardt, et. al, "An apparatus for measuring a material's photomechanical response", American Journal of Physics, 86, 14 (2018) This paper describes a simple and inexpensive apparatus for measuring the light-induced shape change of a material, which can be implemented in a high school or undergraduate laboratory. The key components are a laser pointer to actuate the material, a force sensor from an inexpensive jeweler's balance to measure the response, an Arduino for data acquisition and a means for mechanically mounting the components. The apparatus described here was used by high school students and teachers in a summer program to characterize liquid crystal elastomers. The theory of the photomechanical response is used to interpret the data, from which the material parameters are determined.


title: Core collapse supernovae as Cosmic Ray sources

abstract: Core collapse supernovae (CCSNe) produce fast shocks which pervade the dense circum-stellar medium (CSM) of the stellar progenitor. Cosmic rays (CRs) if accelerated at these shocks can induce the growth of electromagnetic fluctuations in the foreshock medium. In this study, using a self-similar description of the shock evolution, we calculate the growth timescales of CR-driven instabilities. We select a sample of nearby core collapse radio supernova of type II and Ib/Ic. From radio data we infer the parameters which enter in the calculation of the instability growth times. We find that extended IIb SNe shocks can trigger fast intra day instabilities, strong magnetic field amplification and CR acceleration. In particular, the non-resonant streaming instability can contribute to about 50\% of the magnetic field intensity deduced from radio data. This results in the acceleration of CRs in the range 1-10 PeV within a few days after the shock breakout. In order to produce strong magnetic field amplification and CR acceleration a fast shocks pervading a dense CSM is necessary. In that aspect IIn supernov\ae~are also good candidates. But a detailed modeling of the blast wave dynamics coupled with particle acceleration is mandatory for this class of object before providing any firm conclusions. Finally, we find that the trans-relativistic object SN 2009bb even if it produces more modest magnetic field amplification can accelerate CRs up to 2-3 PeV within 20 days after the outburst.


title: pwv_kpno: A Python Package for Modeling the Atmospheric Transmission Function due to Precipitable Water Vapor

abstract: We present a Python package, pwv_kpno, that provides models for the atmospheric transmission due to precipitable water vapor (PWV) at user specified sites. Using the package, ground-based photometric observations taken between $3,000$ and $12,000$ $\AA$ can be corrected for atmospheric effects due to PWV. Atmospheric transmission in the optical and near-infrared is highly dependent on the PWV column density along the line of sight. By measuring the delay of dual-band GPS signals through the atmosphere, the SuomiNet project provides accurate PWV measurements for hundreds of locations around the world. The pwv_kpno package uses published SuomiNet data in conjunction with MODTRAN models to determine the modeled, time-dependent atmospheric transmission. A dual-band GPS system was installed at Kitt Peak National Observatory (KPNO) in the spring of 2015. Using measurements from this receiver we demonstrate that we can successfully predict the PWV at KPNO from nearby dual-band GPS stations on the surrounding desert floor. The pwv_kpno package can thus provide atmospheric transmission functions for observations taken before the KPNO receiver was installed. Using PWV measurements from the desert floor, we correctly model PWV absorption features present in spectra taken at KPNO. We also demonstrate how to configure the package for use at other observatories.


title: Isometric actions of quaternionic symplectic groups

abstract: Denote by $Sp(k,l)$ the quaternionic symplectic group of signature $(k,l)$. We study the deformation rigidity of the embedding $Sp(k,l) \times Sp(1) \hookrightarrow H$, where $H$ is either $Sp(k+1,l)$ or $Sp(k,l+1)$, this is done by studying a natural non-associative algebra $\mathfrak{m}$ comming from the affine structure of $Sp(1) \backslash H$. We compute the automorphism group of $\mathfrak{m}$ and as a consecuence of this, we are able to compute the isometry group of $Sp(1) \backslash H$ at least up to connected components. Using these results, we obtain a uniqueness result on the structure of $Sp(1) \backslash H$ together with an isometric left $Sp(k,l)$-action and classify its finite volume quotients up to finite coverings. Finally, we classify arbitrary isometric actions of $Sp(k,l)$ into connected, complete, analytic, pseudo-Riemannian manifolds admitting a dense orbit of dimension bounded by $\textrm{dim}(Sp(1) \backslash H)$.


title: Calogero-Sutherland Approach to Defect Blocks

abstract: Extended objects such as line or surface operators, interfaces or boundaries play an important role in conformal field theory. Here we propose a systematic approach to the relevant conformal blocks which are argued to coincide with the wave functions of an integrable multi-particle Calogero-Sutherland problem. This generalizes a recent observation in 1602.01858 and makes extensive mathematical results from the modern theory of multi-variable hypergeometric functions available for studies of conformal defects. Applications range from several new relations with scalar four-point blocks to a Euclidean inversion formula for defect correlators.


title: Painting Non-Classical States of Spin or Motion with Shaped Single Photons

abstract: We propose a robust scheme for generating macroscopic superposition states of spin or motion with the aid of a single photon. Shaping the wave packet of the photon enables high-fidelity preparation of non-classical states of matter even in the presence of photon loss. Success is heralded by photodetection, enabling the scheme to be implemented with a weak coherent field. We analyze applications to preparing Schr\"{o}dinger cat states of a collective atomic spin or of a mechanical oscillator coupled to an optical resonator. The method generalizes to preparing arbitrary superpositions of coherent states, enabling full quantum control. We illustrate this versatility by showing how to prepare Dicke or Fock states, as well as superpositions in the Dicke or Fock basis.


title: Impact of nonlocal electrodynamics on flux noise and inductance of superconducting wires

abstract: We present exact numerical calculations of supercurrent density, inductance, and impurity-induced flux noise of cylindrical superconducting wires in the nonlocal Pippard regime, which occurs when the Pippard coherence length is larger than the London penetration depth. In this regime the supercurrent density displays a peak away from the surface, and changes sign inside the superconductor, signalling a breakdown of the usual approximation of local London electrodynamics with a renormalized penetration depth. Our calculations show that the internal inductance and the bulk flux noise power is enhanced in nonlocal superconductors. In contrast, the kinetic inductance is reduced and the surface flux noise remains the same. As a result, impurity spins in the bulk may dominate the flux noise in superconducting qubits in the Pippard regime, such as the ones using aluminum superconductors with large electron mean free path.


title: A Local Fourier Slice Theorem

abstract: We present a local Fourier slice equation that enables local and sparse projection of a signal. Our result exploits that a slice in frequency space is an iso-parameter set in spherical coordinates. Therefore, the projection of suitable wavelets defined separably in these coordinates can be computed analytically, yielding a sequence of wavelets closed under projection. Our local Fourier slice equation then realizes projection as reconstruction with "sliced" wavelets with computational costs that scale linearly in the complexity of the projected signal. We numerically evaluate the performance of our local Fourier slice equation for synthetic test data and tomographic reconstruction, demonstrating that locality and sparsity can significantly reduce computation times and memory requirements.


title: Search for beautiful tetraquarks in the $\Upsilon(1S)\mu\mu$ invariant-mass spectrum

abstract: The $\Upsilon(1S)\mu^+\mu^-$ invariant-mass distribution is investigated for a possible exotic meson state composed of two $b$ quarks and two $\overline{b}$ quarks, $X_{b\overline{b}b\overline{b}}$. The analysis is based on a data sample of $pp$ collisions recorded with the LHCb detector at centre-of-mass energies $\sqrt{s} =$ 7, 8 and 13 TeV, corresponding to an integrated luminosity of 6.3 fb$^{-1}$. No significant excess is found, and upper limits are set on the product of the production cross-section and the branching fraction as functions of the mass of the $X_{b\overline{b}b\overline{b}}$ state. The limits are set in the fiducial volume where all muons have pseudorapidity in the range $[2.0,5.0]$, and the $X_{b\overline{b}b\overline{b}}$ state has rapidity in the range $[2.0,4.5]$ and transverse momentum less than 15 GeV/$c$.


title: Mimic and Classify : A meta-algorithm for Conditional Independence Testing

abstract: Given independent samples generated from the joint distribution $p(\mathbf{x},\mathbf{y},\mathbf{z})$, we study the problem of Conditional Independence (CI-Testing), i.e., whether the joint equals the CI distribution $p^{CI}(\mathbf{x},\mathbf{y},\mathbf{z})= p(\mathbf{z}) p(\mathbf{y}|\mathbf{z})p(\mathbf{x}|\mathbf{z})$ or not. We cast this problem under the purview of the proposed, provable meta-algorithm, "Mimic and Classify", which is realized in two-steps: (a) Mimic the CI distribution close enough to recover the support, and (b) Classify to distinguish the joint and the CI distribution. Thus, as long as we have a good generative model and a good classifier, we potentially have a sound CI Tester. With this modular paradigm, CI Testing becomes amiable to be handled by state-of-the-art, both generative and classification methods from the modern advances in Deep Learning, which in general can handle issues related to curse of dimensionality and operation in small sample regime. We show intensive numerical experiments on synthetic and real datasets where new mimic methods such conditional GANs, Regression with Neural Nets, outperform the current best CI Testing performance in the literature. Our theoretical results provide analysis on the estimation of null distribution as well as allow for general measures, i.e., when either some of the random variables are discrete and some are continuous or when one or more of them are discrete-continuous mixtures.


title: Full Commuting Projector Hamiltonians of Interacting Symmetry-Protected Topological Phases of Fermions

abstract: Using the decorated domain wall procedure, we construct Finite Depth Local Unitaries (FDLUs) that realize Fermionic Symmetry-Protected Topological (SPT) phases. This results in explicit 'full' commuting projector Hamiltonians, where 'full' implies the fact that the ground state, as well as all excited states of these Hamiltonians, realizes the nontrivial SPT phase. We begin by constructing explicit examples of 1+1D phases protected by symmetry groups $G=\mathbb Z_2^T \times \mathbb Z_2^F$ , which also has a free fermion realization in class BDI, and $G=\mathbb Z_4 \times \mathbb Z_4^F$, which does not. We then turn to 2+1D, and construct the square roots of the Levin-Gu bosonic SPT phase, protected by $\mathbb Z_2 \times \mathbb Z_2^F$ symmetry, in a concrete model of fermions and spins on the triangular lattice. Edge states and the anomalous symmetry action on them are explicitly derived. Although this phase has a free fermion representation as two copies of $p+ip$ superconductors combined with their $p-ip$ counterparts with a different symmetry charge, the full set of commuting projectors is only realized in the strongly interacting version, which also implies that it admits a many-body localized realization.


title: Why Interpretability in Machine Learning? An Answer Using Distributed Detection and Data Fusion Theory

abstract: As artificial intelligence is increasingly affecting all parts of society and life, there is growing recognition that human interpretability of machine learning models is important. It is often argued that accuracy or other similar generalization performance metrics must be sacrificed in order to gain interpretability. Such arguments, however, fail to acknowledge that the overall decision-making system is composed of two entities: the learned model and a human who fuses together model outputs with his or her own information. As such, the relevant performance criteria should be for the entire system, not just for the machine learning component. In this work, we characterize the performance of such two-node tandem data fusion systems using the theory of distributed detection. In doing so, we work in the population setting and model interpretable learned models as multi-level quantizers. We prove that under our abstraction, the overall system of a human with an interpretable classifier outperforms one with a black box classifier.


title: Suppression of Surfaces States at Cubic Perovskite (001) Surfaces by CO${_2}$ Adsorption

abstract: By using first-principles approach, the interaction of CO${_2}$ with (001) surfaces of six cubic ABO${_3}$ perovskites (A = Ba, Sr and B = Ti, Zr, Hf) is studied in detail. We show that CO${_2}$ adsorption results in the formation of highly stable CO${_3}$-like complexes with similar geometries for all investigated compounds. This reaction leads to the suppression of the surfaces states, opening the band gaps of the slab systems up to the corresponding bulk energy limits. For most AO-terminated ABO${_3}$(001) perovskite surfaces, a CO${_2}$ coverage of 0.25 was found to be sufficient to fully suppress the surface states, whereas the same effect can only be achieved at 0.50 CO${_2}$ coverage for the BO${_2}$ terminations. The largest band gap modulation among the AO-terminated surfaces was found for SrHfO${_3}$(001) and BaHfO${_3}$(001), whereas the most profound effect among the BO${_2}$ terminations was identified for SrTiO${_3}$(001) and BaTiO${_3}$(001). Based on these results and considering practical difficulties associated with measuring conductivity of highly resistive materials, TiO${_2}$-terminated SrTiO${_3}$(001) and BaTiO${_3}$(001) were identified as the most prospective candidates for chemiresistive CO${_2}$ sensing applications.


title: On consistent estimation of the missing mass

abstract: Given $n$ samples from a population of individuals belonging to different types with unknown proportions, how do we estimate the probability of discovering a new type at the $(n+1)$-th draw? This is a classical problem in statistics, commonly referred to as the missing mass estimation problem. Recent results by Ohannessian and Dahleh \citet{Oha12} and Mossel and Ohannessian \citet{Mos15} showed: i) the impossibility of estimating (learning) the missing mass without imposing further structural assumptions on the type proportions; ii) the consistency of the Good-Turing estimator for the missing mass under the assumption that the tail of the type proportions decays to zero as a regularly varying function with parameter $\alpha\in(0,1)$. In this paper we rely on tools from Bayesian nonparametrics to provide an alternative, and simpler, proof of the impossibility of a distribution-free estimation of the missing mass. Up to our knowledge, the use of Bayesian ideas to study large sample asymptotics for the missing mass is new, and it could be of independent interest. Still relying on Bayesian nonparametric tools, we then show that under regularly varying type proportions the convergence rate of the Good-Turing estimator is the best rate that any estimator can achieve, up to a slowly varying function, and that minimax rate must be at least $n^{-\alpha/2}$. We conclude with a discussion of our results, and by conjecturing that the Good-Turing estimator is an rate optimal minimax estimator under regularly varying type proportions.


title: Two-terminal spin-orbit torque magnetoresistive random access memory

abstract: Spin-transfer torque magnetoresistive random access memory (STT-MRAM) is an attractive alternative to current random access memory technologies due to its non-volatility, fast operation and high endurance. STT-MRAM does though have limitations including the stochastic nature of the STT-switching and a high critical switching current, which makes it unsuitable for ultrafast operation at nanosecond and sub-nanosecond regimes. Spin-orbit torque (SOT) switching, which relies on the torque generated by an in-plane current, has the potential to overcome these limitations. However, SOT-MRAM cells studied so far use a three-terminal structure in order to apply the in-plane current, which increases the size of the cells. Here we report a two-terminal SOT-MRAM cell based on a CoFeB/MgO magnetic tunnel junction pillar on an ultrathin and narrow Ta underlayer. In this device, an in-plane and out-of-plane current are simultaneously generated upon application of a voltage, and we demonstrate that the switching mechanism is dominated by SOT. We also compare our device to a STT-MRAM cell built with the same architecture and show that critical write current in the SOT-MRAM cell is reduced by more than 70%.


title: Adaptive Zone-2 Distance Protection Scheme for Multi-Terminal Line Connecting Wind Farm

abstract: Wind energy is one of the fastest growing renewable sources in the world that converts wind power into the electricity through wind farms. Stochastic nature of the wind power makes interconnection of wind farms to the grid unreliable. Thus, in order to enhance the system stability, it is important to protect different parts of the power system specifically transmission lines. Since distance relays are the primary devices in the protection of lines, adjusting their setting is a crucial issue in terms of mitigating the rate of disruption and increasing the overall stability. In this paper, the impact of wind speed variation in the second zone of the distance relay has been studied. To monitor distance relay operation part of a power system is simulated in PSCAD/EMTDC. Then, an adaptive Technique is proposed to coordinate zone-2 operation in accordance to other zones and prevent over/under reach. This method is based on the Neural Network in MATLAB Simulink to adjust the second zone automatically due to occurring instantaneous changes in the grid.


title: Privacy-Cost Trade-offs in Smart Electricity Metering Systems

abstract: Trade-offs between privacy and cost are studied for a smart grid consumer, whose electricity consumption is monitored in almost real time by the utility provider (UP) through smart meter (SM) readings. It is assumed that an electrical battery is available to the consumer, which can be utilized both to achieve privacy and to reduce the energy cost by demand shaping. Privacy is measured via the mean squared distance between the SM readings and a target load profile, while time-of-use (ToU) pricing is considered to compute the cost incurred. The consumer can also sell electricity back to the UP to further improve the privacy-cost trade-off. Two privacy-preserving energy management policies (EMPs) are proposed, which differ in the way the target load profile is characterized. A more practical EMP, which optimizes the energy management less frequently, is also considered. Numerical results are presented to compare the privacy-cost trade-off of these EMPs, considering various privacy indicators.


title: Stick number of spatial graphs

abstract: For a nontrivial knot $K$, Negami found an upper bound on the stick number $s(K)$ in terms of its crossing number $c(K)$ which is $s(K) \leq 2 c(K)$. Later, Huh and Oh utilized the arc index $\alpha(K)$ to present a more precise upper bound $s(K) \leq \frac{3}{2} c(K) + \frac{3}{2}$. Furthermore, Kim, No and Oh found an upper bound on the equilateral stick number $s_{=}(K)$ as follows; $s_{=}(K) \leq 2 c(K) +2$. As a sequel to this research program, we similarly define the stick number $s(G)$ and the equilateral stick number $s_{=}(G)$ of a spatial graph $G$, and present their upper bounds as follows; $$ s(G) \leq \frac{3}{2} c(G) + 2e + \frac{3b}{2} -\frac{v}{2}, $$ $$ s_{=}(G) \leq 2 c(G) + 2e + 2b - k, $$ where $e$ and $v$ are the number of edges and vertices of $G$, respectively, $b$ is the number of bouquet cut-components, and $k$ is the number of non-splittable components.


title: Bounds on multiple self-avoiding polygons

abstract: A self-avoiding polygon is a lattice polygon consisting of a closed self-avoiding walk on a square lattice. Surprisingly little is known rigorously about the enumeration of self-avoiding polygons, although there are numerous conjectures that are believed to be true and strongly supported by numerical simulations. As an analogous problem of this study, we consider multiple self-avoiding polygons in a confined region, as a model for multiple ring polymers in physics. We find rigorous lower and upper bounds of the number $p_{m \times n}$ of distinct multiple self-avoiding polygons in the $m \times n$ rectangular grid on the square lattice. For $m=2$, $p_{2 \times n} = 2^{n-1}-1$. And, for integers $m,n \geq 3$, $$2^{m+n-3} \left(\frac{17}{10}\right)^{(m-2)(n-2)} \ \leq \ p_{m \times n} \ \leq \ 2^{m+n-3} \left(\frac{31}{16}\right)^{(m-2)(n-2)}.$$


title: On the Cosmological Implications of the String Swampland

abstract: We study constraints imposed by two proposed string Swampland criteria on cosmology. These criteria involve an upper bound on the range traversed by scalar fields as well as a lower bound on $|\nabla_{\phi} V|/V$ when $V >0$. We find that inflationary models are generically in tension with these two criteria. Applying these same criteria to dark energy in the present epoch, we find that specific quintessence models can satisfy these bounds and, at the same time, satisfy current observational constraints. Assuming the two Swampland criteria are valid, we argue that the universe will undergo a phase transition within a few Hubble times. These criteria sharpen the motivation for future measurements of the tensor-to-scalar ratio $r$ and the dark energy equation of state $w$, and for tests of the equivalence principle for dark matter.


title: Bisected vertex leveling of plane graphs: braid index, arc index and delta diagrams

abstract: In this paper, we introduce a bisected vertex leveling of a plane graph. Using this planar embedding, we present elementary proofs of the well-known upper bounds in terms of the minimal crossing number on braid index $b(L)$ and arc index $\alpha(L)$ for any knot or non-split link $L$, which are $b(L) \leq \frac{1}{2} c(L) + 1$ and $\alpha(L) \leq c(L) + 2$. We also find a quadratic upper bound of the minimal crossing number of delta diagrams of $L$.


title: Lattice stick number of spatial graphs

abstract: The lattice stick number of knots is defined to be the minimal number of straight sticks in the cubic lattice required to construct a lattice stick presentation of the knot. We similarly define the lattice stick number $s_{L}(G)$ of spatial graphs $G$ with vertices of degree at most six (necessary for embedding into the cubic lattice), and present an upper bound in terms of the crossing number $c(G)$ $$ s_{L}(G) \leq 3c(G)+6e-4v-2s+3b+k, $$ where $G$ has $e$ edges, $v$ vertices, $s$ cut-components, $b$ bouquet cut-components, and $k$ knot components.


title: The aqueous Triton X-100 - Dodecyltrimethylammonium bromide micellar mixed system. Experimental results and thermodynamic analysis

abstract: The micellization process of the aqueous mixed system Triton X-100 (TX100)-Dodecyltrimethylammonium Bromide (DTAB) was studied with a battery of procedures: surface tension, static and dynamic light scattering and ion-selective electrodes. Results were also analysed with two thermodynamic procedures. The system shows some changes in its behaviour with changing the mole fraction of DTAB, $\alpha_{DTAB}$, in the whole surfactant mixture. For $ \alpha_{DTAB} < 0.40$ micelles are predominantly TX100 with scarce solubilized DTA+ ions, and TX100 acts as a nearly ideal solvent. In the range $0.50 < \alpha_{DTAB} < 0.75$ it seems that none of the components acts as a solvent, and above $\alpha_{DTAB} > 0.75$ there are abrupt changes in the size and electrophoretic mobility of micelles. These phenomena have been interpreted in the light of the thermodynamic results and some TX100-ionic surfactant mixtures of literature.


title: Quench dynamics of quantum spin models with flat bands of excitations

abstract: We investigate the unitary evolution following a quantum quench in quantum spin models possessing a (nearly) flat band in the linear excitation spectrum. Inspired by the perspective offered by ensembles of individually trapped Rydberg atoms, we focus on the paradigmatic trasverse-field Ising model on two dimensional lattices featuring a flat band as a result of destructive interference effects (Lieb and Kagom\'e lattice); or a nearly flat band due to a strong energy mismatch among sublattices (triangular lattice). Making use of linear spin-wave theory, we show that quantum quenches, equipped with single-spin imaging, can directly reveal the spatially localized nature of the dispersionless excitations, and their slow propagation or lack of propagation altogether. Moreover we show that Fourier analysis applied to the post-quench time evolution of wavevector-dependent quantities allows for the spectroscopic reconstruction of the flat bands. Our results pave the way for future experiments with Rydberg quantum simulators, which can extend our linear spin-wave study to the fully nonlinear regime, characterized by the appearance of dense, strongly interacting gases of dispersionless excitations.


title: Automatic Feature Selection in Markov State Models Using Genetic Algorithm

abstract: Markov State Models (MSMs) are a powerful framework to reproduce the long-time conformational dynamics of biomolecules using a set of short Molecular Dynamics (MD) simulations. However, precise kinetics predictions of MSMs heavily rely on the features selected to describe the system. Despite the importance of feature selection for large system, determining an optimal set of features remains a difficult unsolved problem. Here, we introduce an automatic approach to optimize feature selection based on genetic algorithms (GA), which adaptively evolves the most fitted solution according to natural selection laws. The power of the GA-based method is illustrated on long atomistic folding simulations of four proteins, varying in length from 28 to 80 residues. Due to the diversity of tested proteins, we expect that our method will be extensible to other proteins and drive MSM building to a more objective protocol.


title: Californium-254 and kilonova light curves

abstract: Neutron star mergers offer unique conditions for the creation of the heavy elements and additionally provide a testbed for our understanding of this synthesis known as the $r$-process. We have performed dynamical nucleosynthesis calculations and identified a single isotope, $^{254}$Cf, which has a particularly high impact on the brightness of electromagnetic transients associated with mergers on the order of 15 to 250 days. This is due to the anomalously long half-life of this isotope and the efficiency of fission thermalization compared to other nuclear channels. We estimate the fission fragment yield of this nucleus and outline the astrophysical conditions under which $^{254}$Cf has the greatest impact to the light curve. Future observations in the middle-IR which are bright during this regime could indicate the production of actinide nucleosynthesis.


title: Determination of Positive Definiteness through Shift-and-Invert Iteration in Weakly Polynomial Complexity

abstract: We propose a numerical method, based on the shift-and-invert power iteration, that answers whether a symmetric matrix is positive definite ("yes") or not ("no"). Our method uses randomization. But, it returns the correct answer with high probability. A thorough proof for the probability is presented. If the method answers "yes", the result is true with a high constant probability. If it answers "no", it provides proof that the matrix is not positive definite. The method has the following benefits: The cost for a constant probability of success scales logarithmically with the condition number. Further, since essentially consisting of vector iterations, our method is easy to implement.


title: Online Ramsey Numbers and the Subgraph Query Problem

abstract: The $(m,n)$-online Ramsey game is a combinatorial game between two players, Builder and Painter. Starting from an infinite set of isolated vertices, Builder draws an edge on each turn and Painter immediately paints it red or blue. Builder's goal is to force Painter to create either a red $K_m$ or a blue $K_n$ using as few turns as possible. The online Ramsey number $\tilde{r}(m,n)$ is the minimum number of edges Builder needs to guarantee a win in the $(m,n)$-online Ramsey game. By analyzing the special case where Painter plays randomly, we obtain an exponential improvement \[ \tilde{r}(n,n) \ge 2^{(2-\sqrt{2})n + O(1)} \] for the lower bound on the diagonal online Ramsey number, as well as a corresponding improvement \[ \tilde{r}(m,n) \ge n^{(2-\sqrt{2})m + O(1)} \] for the off-diagonal case, where $m\ge 3$ is fixed and $n\rightarrow\infty$. Using a different randomized Painter strategy, we prove that $\tilde{r}(3,n)=\tilde{\Theta}(n^3)$, determining this function up to a polylogarithmic factor. We also improve the upper bound in the off-diagonal case for $m \geq 4$. In connection with the online Ramsey game with a random Painter, we study the problem of finding a copy of a target graph $H$ in a sufficiently large unknown Erd\H{o}s--R\'{e}nyi random graph $G(N,p)$ using as few queries as possible, where each query reveals whether or not a particular pair of vertices are adjacent. We call this problem the Subgraph Query Problem. We determine the order of the number of queries needed for complete graphs up to five vertices and prove general bounds for this problem.


title: The Hamming and Golay Number-Theoretic Transforms

abstract: New number-theoretic transforms are derived from known linear block codes over finite fields. In particular, two new such transforms are built from perfect codes, namely the \textit {Hamming number-theoretic transform} and the \textit {Golay number-theoretic transform}. A few properties of these new transforms are presented.


title: Extended Measurement of the Cosmic-Ray Electron and Positron Spectrum from 11 GeV to 4.8 TeV with the Calorimetric Electron Telescope on the International Space Station

abstract: Extended results on the cosmic-ray electron + positron spectrum from 11 GeV to 4.8 TeV are presented based on observations with the Calorimetric Electron Telescope (CALET) on the International Space Station utilizing the data up to November 2017. The analysis uses the full detector acceptance at high energies, approximately doubling the statistics compared to the previous result. CALET is an all-calorimetric instrument with a total thickness of 30 $X_0$ at normal incidence and fine imaging capability, designed to achieve large proton rejection and excellent energy resolution well into the TeV energy region. The observed energy spectrum in the region below 1 TeV shows good agreement with Alpha Magnetic Spectrometer (AMS-02) data. In the energy region below $\sim$300 GeV, CALET's spectral index is found to be consistent with the AMS-02, Fermi Large Area Telescope (Fermi-LAT) and Dark Matter Particle Explorer (DAMPE), while from 300 to 600 GeV the spectrum is significantly softer than the spectra from the latter two experiments. The absolute flux of CALET is consistent with other experiments at around a few tens of GeV. However, it is lower than those of DAMPE and Fermi-LAT with the difference increasing up to several hundred GeV. The observed energy spectrum above $\sim$1 TeV suggests a flux suppression consistent within the errors with the results of DAMPE, while CALET does not observe any significant evidence for a narrow spectral feature in the energy region around 1.4 TeV. Our measured all-electron flux, including statistical errors and a detailed breakdown of the systematic errors, is tabulated in the Supplemental Material in order to allow more refined spectral analyses based on our data.


title: A Universal Training Algorithm for Quantum Deep Learning

abstract: We introduce the Backwards Quantum Propagation of Phase errors (Baqprop) principle, a central theme upon which we construct multiple universal optimization heuristics for training both parametrized quantum circuits and classical deep neural networks on a quantum computer. Baqprop encodes error information in relative phases of a quantum wavefunction defined over the space of network parameters; it can be thought of as the unification of the phase kickback principle of quantum computation and of the backpropagation algorithm from classical deep learning. We propose two core heuristics which leverage Baqprop for quantum-enhanced optimization of network parameters: Quantum Dynamical Descent (QDD) and Momentum Measurement Gradient Descent (MoMGrad). QDD uses simulated quantum coherent dynamics for parameter optimization, allowing for quantum tunneling through the hypothesis space landscape. MoMGrad leverages Baqprop to estimate gradients and thereby perform gradient descent on the parameter landscape; it can be thought of as the quantum-classical analogue of QDD. In addition to these core optimization strategies, we propose various methods for parallelization, regularization, and meta-learning as augmentations to MoMGrad and QDD. We introduce several quantum-coherent adaptations of canonical classical feedforward neural networks, and study how Baqprop can be used to optimize such networks. We develop multiple applications of parametric circuit learning for quantum data, and show how to perform Baqprop in each case. One such application allows for the training of hybrid quantum-classical neural-circuit networks, via the seamless integration of Baqprop with classical backpropagation. Finally, for a representative subset of these proposed applications, we demonstrate the training of these networks via numerical simulations of implementations of QDD and MoMGrad.


title: Analysis of Invariance and Robustness via Invertibility of ReLU-Networks

abstract: Studying the invertibility of deep neural networks (DNNs) provides a principled approach to better understand the behavior of these powerful models. Despite being a promising diagnostic tool, a consistent theory on their invertibility is still lacking. We derive a theoretically motivated approach to explore the preimages of ReLU-layers and mechanisms affecting the stability of the inverse. Using the developed theory, we numerically show how this approach uncovers characteristic properties of the network.


title: Evotype: Towards the Evolution of Type Stencils

abstract: Typefaces are an essential resource employed by graphic designers. The increasing demand for innovative type design work increases the need for good technological means to assist the designer in the creation of a typeface. We present an evolutionary computation approach for the generation of type stencils to draw coherent glyphs for different characters. The proposed system employs a Genetic Algorithm to evolve populations of type stencils. The evaluation of each candidate stencil uses a hill climbing algorithm to search the best configurations to draw the target glyphs. We study the interplay between legibility, coherence and expressiveness, and show how our framework can be used in practice.


title: QMA(2) with postselection equals to NEXP

abstract: We study the power of QMA(2) with postselection and show that the power is equal to NEXP. Our method for showing this equality can be also used to prove that other classes with exponentially small completeness-soundness gap equals to the corresponding postselection versions.


title: Using a High-Throughput Screening Algorithm and relativistic Density Functional Theory to Find Chelating Agents for Separation of Radioactive Waste

abstract: Dangerous radioactive waste leftover from the Cold War era nuclear weapons production continues to contaminate sixteen sites around the United States. Although many challenges and obstacles exist in decontaminating these sites, two particularly difficult tasks associated with cleanup of this waste are extracting and separating actinide elements from the remainder of the solution, containing other actinide elements and non actinide elements. Developing effective methods for performing these separations is possible by designing new chelating agents that form stable complexes with actinide elements, and by investigating the interactions between the chelating agents and the actinide elements. In this work, new chelating agents (or ligands) with potential to facilitate the separation of radioactive waste are designed for Th, Pa, and U using relativistic Density Functional Theory (DFT) inconjunction with a high-throughput algorithm. We show that both methodologies can be combined efficiently to accelerate discovery and design of new ligands for separation of the radioactive actinides. The main hypothesis that we test with this approach is that the strength of secondary coordination sphere (SCS) can be tuned to increase the selectivity of binding with different actinides. More specifically, we show that links that connect two of the catecholamide ligands via covalent interactions are then added to increase the overall stability of the complex. The effect of increase in the selectivity is also observed when non-covalent interaction is used between ligands. We apply this approach for Th, Pa, and U, and discover linkers that can be used with other ligands.


title: Main effects and interactions in mixed and incomplete data frames

abstract: A mixed data frame (MDF) is a table collecting categorical, numerical and count observations. The use of MDF is widespread in statistics and the applications are numerous from abundance data in ecology to recommender systems. In many cases, an MDF exhibits simultaneously main effects, such as row, column or group effects and interactions, for which a low-rank model has often been suggested. Although the literature on low-rank approximations is very substantial, with few exceptions, existing methods do not allow to incorporate main effects and interactions while providing statistical guarantees. The present work fills this gap. We propose an estimation method which allows to recover simultaneously the main effects and the interactions. We show that our method is near optimal under conditions which are met in our targeted applications. We also propose an optimization algorithm which provably converges to an optimal solution. Numerical experiments reveal that our method, mimi, performs well when the main effects are sparse and the interaction matrix has low-rank. We also show that mimi compares favorably to existing methods, in particular when the main effects are significantly large compared to the interactions, and when the proportion of missing entries is large. The method is available as an R package on the Comprehensive R Archive Network.


title: Detecting fog where satellite systems are limited

abstract: Surface level hydrometeors, and specifically fog, cause attenuation of the signal level measured by microwave communication networks. These networks operate at frequencies of tens of GHz and form the data transport infrastructure between cellular base stations. Thus, wireless communication links are, effectively, an existing fog monitoring facility. Operational costs are minimal, since the network is already deployed in the field, and measurements are already stored by many of the cellular providers for quality assurance purposes. This study shows the potential of microwave communication networks for the detection of fog in challenging conditions where satellite systems are often limited. In a first event, the ability to detect fog using commercial microwave links, at a time when the satellite cannot detect the phenomena due to high level cloud cover obscuring the ground level fog, is demonstrated. The ability of the microwave system to rule out ground level fog at times when the satellite detects a low-lying stratus cloud, but cannot identify whether it is adjacent to the ground or at higher elevations above it, is demonstrated in a second event. The results indicate the operative potential of this technique to assist end users in reliable decision making that have highly important economic and safety implications.


title: Computational Analysis of Insurance Complaints: GEICO Case Study

abstract: The online environment has provided a great opportunity for insurance policyholders to share their complaints with respect to different services. These complaints can reveal valuable information for insurance companies who seek to improve their services; however, analyzing a huge number of online complaints is a complicated task for human and must involve computational methods to create an efficient process. This research proposes a computational approach to characterize the major topics of a large number of online complaints. Our approach is based on using the topic modeling approach to disclose the latent semantic of complaints. The proposed approach deployed on thousands of GEICO negative reviews. Analyzing 1,371 GEICO complaints indicates that there are 30 major complains in four categories: (1) customer service, (2) insurance coverage, paperwork, policy, and reports, (3) legal issues, and (4) costs, estimates, and payments. This research approach can be used in other applications to explore a large number of reviews.


title: A Multi-View Ensemble Classification Model for Clinically Actionable Genetic Mutations

abstract: This paper presents details of our winning solutions to the task IV of NIPS 2017 Competition Track entitled Classifying Clinically Actionable Genetic Mutations. The machine learning task aims to classify genetic mutations based on text evidence from clinical literature with promising performance. We develop a novel multi-view machine learning framework with ensemble classification models to solve the problem. During the Challenge, feature combinations derived from three views including document view, entity text view, and entity name view, which complements each other, are comprehensively explored. As the final solution, we submitted an ensemble of nine basic gradient boosting models which shows the best performance in the evaluation. The approach scores 0.5506 and 0.6694 in terms of logarithmic loss on a fixed split in stage-1 testing phase and 5-fold cross validation respectively, which also makes us ranked as a top-1 team out of more than 1,300 solutions in NIPS 2017 Competition Track IV.


title: Weighted Hurwitz numbers and topological recursion

abstract: The KP and 2D Toda tau-functions of hypergeometric type that serve as generating functions for weighted single and double Hurwitz numbers are related to the topological recursion programme. A graphical representation of such weighted Hurwitz numbers is given in terms of weighted constellations. The associated classical and quantum spectral spectral curves are derived, and these are interpreted combinatorially in terms of the graphical model. The pair correlators are given a finite Christoffel-Darboux representation and determinantal expressions are obtained for the multipair correlators. The genus expansion of the multicurrent correlators is shown to provide generating series for weighted Hurwitz numbers of fixed ramification profile lengths. The WKB series for the Baker function is derived and used to deduce the loop equations and the topological recursion relations in the case of polynomial weight functions.

categories: math-ph hep-th math.AG math.CO math.MP nlin.SI


title: REST-ler: Automatic Intelligent REST API Fuzzing

abstract: Cloud services have recently exploded with the advent of powerful cloud-computing platforms such as Amazon Web Services and Microsoft Azure. Today, most cloud services are accessed through REST APIs, and Swagger is arguably the most popular interface-description language for REST APIs. A Swagger specification describes how to access a cloud service through its REST API (e.g., what requests the service can handle and what responses may be expected). This paper introduces REST-ler, the first automatic intelligent REST API security-testing tool. REST-ler analyzes a Swagger specification and generates tests that exercise the corresponding cloud service through its REST API. Each test is defined as a sequence of requests and responses. REST-ler generates tests intelligently by (1) inferring dependencies among request types declared in the Swagger specification (e.g., inferring that "a request B should not be executed before a request A" because B takes as an input argument a resource-id x returned by A) and by (2) analyzing dynamic feedback from responses observed during prior test executions in order to generate new tests (e.g., learning that "a request C after a request sequence A;B is refused by the service" and therefore avoiding this combination in the future). We show that these two techniques are necessary to thoroughly exercise a service under test while pruning the large search space of possible request sequences. We also discuss the application of REST-ler to test GitLab, a large popular open-source self-hosted Git service, and the new bugs that were found.


title: Testing General Relativity with the Event Horizon Telescope

abstract: The Event Horizon Telescope is a millimeter VLBI array that aims to take the first pictures of the black holes in the center of the Milky Way and of the M87 galaxy, with horizon scale resolution. Measurements of the shape and size of the shadows cast by the black holes on the surrounding emission can test the cosmic censorship conjecture and the no-hair theorem and may find evidence for classical effects of the quantum structure of black holes. Observations of coherent structures in the accretion flows may lead to accurate measurements of the spins of the black holes and of other properties of their spacetimes. For Sgr A*, the black hole in the center of the Milky Way, measurements of the precession of stellar orbits and timing monitoring of orbiting pulsars offer complementary avenues to the gravitational tests with the Event Horizon Telescope.


title: On the moduli space of singular principal G-bundles over stable curves

abstract: In this paper we proof the existence of a linearization for singular principal G-bundles not depending on the base curve. This allow us to construct the relative compact moduli space of {\delta}-(semi)stable singular principal G-bundles over families of reduced projective and connected nodal curves, and to reduce the construction of the universal moduli space over $\overline{M}_{g}$ to the construction of the universal moduli space of swamps.


title: Dynamical projections for the visualization of PDFSense data

abstract: A recent paper on visualizing the sensitivity of hadronic experiments to nucleon structure [1] introduces the tool PDFSense which defines measures to allow the user to judge the sensitivity of PDF fits to a given experiment. The sensitivity is characterized by high-dimensional data residuals that are visualized in a 3-d subspace of the 10 first principal components or using t-SNE [2]. We show how a tour, a dynamic visualisation of high dimensional data, can extend this tool beyond 3-d relationships. This approach enables resolving structure orthogonal to the 2-d viewing plane used so far, and hence finer tuned assessment of the sensitivity.


title: Oblique Klein tunneling in 8-Pmmn borophene p-n junctions

abstract: The 8-\textit{Pmmn} borophene is one kind of new elemental monolayer, which hosts anisotropic and tilted massless Dirac fermions (MDF). The planar \textit{p-n} junction (PNJ) structure as the basic component of various novel devices based on the monolayer material has attracted increasing attention. Here, we analytically study the transport properties of anisotropic and tilted MDF across 8-\textit{Pmmn} borophene PNJ. Similar to the isotropic MDF across graphene junctions, perfect transmission exists but its direction departures the normal direction of borophene PNJ induced by the anisotropy and tilt, i.e., oblique Klein tunneling. The oblique Klein tunneling does not depend on the doping levels in \textit{N} and \textit{P} regions of PNJ as the normal Klein tunneling but depends on the junction direction. Furthermore, we analytically derive the special junction direction for the maximal difference between perfect transmission direction and the normal direction of PNJ and clearly distinguish the respective contribution of anisotropy and tilt underlying the oblique Klein tunneling. In light of the rapid advances of experimental technologies, we expect the oblique Klein tunneling to be observable in the near future.


title: The limiting behaviour of Hermitian-Yang-Mills flow over compact non-K\"ahler manifolds

abstract: In this paper, we analyze the asymptotic behaviour of the Hermitian-Yang-Mills flow over a compact non-K\"ahler manifold $(X,g)$ with the Hermitian metric $g$ satisfying the Gauduchon and Astheno-K\"ahler condition.


title: Confirmation of G6.31+0.54 as a part of a Galactic supernova remnant

abstract: A combination of archival multi-frequency radio observations with narrow-band HAlpha optical imagery and new confirmatory optical spectroscopy have shown that candidate supernova remnant G6.31+0.54 can now be confirmed as part of a Galactic supernova remnant (SNR). It has non-thermal emission, an optical emission line spectrum displaying shock excitation and standard SNR line ratios, fine filamentary structures in HAlpha typical of optical remnants and closely overlapping radio and optical footprints. An X-ray ROSAT source 1RXS J175752.1-231105 was also found that matches the radio and optical emission though a definite association is not proven. Nevertheless, taken together, all these observed properties point to a clear SNR identification for this source. We provide a rough estimate for the kinematic distance to G6.31+0.54 of ~4.5kpc. The detected optical filaments are some ~10arcminutes in extent (or about 13 pc at the assumed distance). However, as only a partial arcuate structure of the SNR can be seen (and not a full shell) the full angular extent of the SNR is unclear. Hence the physical extent of the observed partial shell is also difficult to estimate. If we assume an approximately circular shell then a conservative fit to the optical arc shaped filaments gives an angular diameter of ~20 arcminutes corresponding to a physical diameter of ~26 pc that shows this to be an evolved remnant.