title: Unified formulation for helicity and continuous spin fermionic fields

abstract: We propose a unified BRST formulation of general massless fermionic fields of arbitrary mixed-symmetry type in $d$-dimensional Minkowski space. Depending on the value of the real parameter the system describes either helicity fields or continuous spin fields. Starting with the unified formulation we derive a number of equivalent descriptions including the triplet formulation, Fang-Fronsdal-Labastida formulation, light-cone formulation and discuss the unfolded formulation.


title: Framing and Agenda-setting in Russian News: a Computational Analysis of Intricate Political Strategies

abstract: Amidst growing concern over media manipulation, NLP attention has focused on overt strategies like censorship and "fake news'". Here, we draw on two concepts from the political science literature to explore subtler strategies for government media manipulation: agenda-setting (selecting what topics to cover) and framing (deciding how topics are covered). We analyze 13 years (100K articles) of the Russian newspaper Izvestia and identify a strategy of distraction: articles mention the U.S. more frequently in the month directly following an economic downturn in Russia. We introduce embedding-based methods for cross-lingually projecting English frames to Russian, and discover that these articles emphasize U.S. moral failings and threats to the U.S. Our work offers new ways to identify subtle media manipulation strategies at the intersection of agenda-setting and framing.


title: Classification of Reconfiguration Graphs of Shortest Path Graphs With No Induced $4$-cycles

abstract: For any graph $G$ with $a,b\in V(G)$, a shortest path reconfiguration graph can be formed with respect to $a$ and $b$; we denote such a graph as $S(G,a,b)$. The vertex set of $S(G,a,b)$ is the set of all shortest paths from $a$ to $b$ in $G$ while two vertices $U,W$ in $V(S(G,a,b))$ are adjacent if and only if the vertex sets of the paths that represent $U$ and $W$ differ in exactly one vertex. In a recent paper [Asplund et al., \textit{Reconfiguration graphs of shortest paths}, Discrete Mathematics \textbf{341} (2018), no. 10, 2938--2948], it was shown that shortest path graphs with girth five or greater are exactly disjoint unions of even cycles and paths. In this paper, we extend this result by classifying all shortest path graphs with no induced $4$-cycles.


title: Canonical bases for tensor products and super Kazhdan-Lusztig theory

abstract: We generalize a construction in [BW18] (arXiv:1610.09271) by showing that the tensor product of a based $\textbf{U}^{\imath}$-module and a based $\textbf{U}$-module is a based $\textbf{U}^{\imath}$-module. This is then used to formulate a Kazhdan-Lusztig theory for an arbitrary parabolic BGG category $\mathcal{O}$ of the ortho-symplectic Lie superalgebras, extending a main result in [BW13] (arXiv:1310.0103).


title: Learning Discriminative Representation with Signed Laplacian Restricted Boltzmann Machine

abstract: We investigate the potential of a restricted Boltzmann Machine (RBM) for discriminative representation learning. By imposing the class information preservation constraints on the hidden layer of the RBM, we propose a Signed Laplacian Restricted Boltzmann Machine (SLRBM) for supervised discriminative representation learning. The model utilizes the label information and preserves the global data locality of data points simultaneously. Experimental results on the benchmark data set show the effectiveness of our method.


title: Internet of Things: Technology, Applications and Standardardization

abstract: The term "Internet of Things" (IoT) refers to an ecosystem of interconnected physical objects and devices that are accessible through the Internet and can communicate with each other. The main strength of the IoT vision is the high impact it has created and will continue to do so on several aspects of the everyday life and behavior of its potential users. This book presents some of the state-of-the-art research work in the field of the IoT, especially on the issues of communication protocols, interoperability of protocols and semantics, trust security and privacy issues, reference architecture design, and standardization. It will be a valuable source of knowledge for researchers, engineers, practitioners, and graduate and doctoral students who are working in various fields of the IoT. It will also be useful for faculty members of graduate schools and universities.


title: Resolving the $\phi_2$ ($\alpha$) ambiguity in $B \to \rho \rho$

abstract: I propose an alternative method for measuring the $CP$ violating phase $\phi_2$ ($\alpha$) without ambiguity in an extended SU(2) isospin triangle analysis, which can ultimately be achieved by exploiting interference effects between $B^0 \to \rho^0 \rho^0$ and $B^0 \to a_1^\pm \pi^\mp$ in a time-dependent flavour-tagged amplitude analysis. Under certain assumptions on the effective $\phi_2$ in each channel, I demonstrate with an idealised amplitude model that potential deviations in the measured $\phi_2$ due to penguin contamination in $B^0 \to a_1^\pm \pi^\mp$ are sufficiently large within current experimental uncertainties that this programme could be executed with Run 3 data at LHCb and easily at Belle II.


title: A reduced basis method for the nonlinear Poisson-Boltzmann equation

abstract: In numerical simulations of many charged systems at the micro/nano scale, a common theme is the repeated solution of the Poisson-Boltzmann equation. This task proves challenging, if not entirely infeasible, largely due to the nonlinearity of the equation and the high dimensionality of the physical and parametric domains with the latter emulating the system configuration. In this paper, we for the first time adapt a mathematically rigorous and computationally efficient model order reduction paradigm, the so-called reduced basis method (RBM), to mitigate this challenge. We adopt a finite difference method as the mandatory underlying scheme to produce the {\em truth approximations} of the RBM upon which the fast algorithm is built and its performance is measured against. Numerical tests presented in this paper demonstrate the high efficiency and accuracy of the fast algorithm, the reliability of its error estimation, as well as its capability in effectively capturing the boundary layer.


title: Special solutions to a fourth-order nonlinear parabolic equation in non-divergence form

abstract: In this paper we study a crystal surface model first proposed by H.~Al Hajj Shehadeh, R.V.~Kohn, and J.~Weare (2011 Physica D, 240,1771-1784). By seeking a solution of a particular function form, we are led to a boundary value problem for a fourth-order nonlinear elliptic equation. The mathematical challenge of the problem is due to the fact that the degeneracy in the equation is directly imposed by one of the two boundary conditions. An existence theorem is established in which a meaningful mathematical interpretation of one of the boundary conditions remains open. Our proof seems to suggest that this is unavoidable. We also obtain self-similar solutions to the crystal surface model which are positive and unbounded. This is in sharp contrast with the linear biharmonic heat equation.


title: Topological non-linear $\sigma$-model, higher gauge theory, and a realization of all 3+1D topological orders for boson systems

abstract: A discrete non-linear $\sigma$-model is obtained by triangulate both the space-time $M^{d+1}$ and the target space $K$. If the path integral is given by the sum of all the complex homomorphisms $\phi: M^{d+1} \to K$, with an partition function that is independent of space-time triangulation, then the corresponding non-linear $\sigma$-model will be called topological non-linear $\sigma$-model which is exactly soluble. Those exactly soluble models suggest that phase transitions induced by fluctuations with no topological defects (i.e. fluctuations described by homomorphisms $\phi$) usually produce a topologically ordered state and are topological phase transitions, while phase transitions induced by fluctuations with all the topological defects give rise to trivial product states and are not topological phase transitions. If $K$ is a space with only non-trivial first homotopy group $G$ which is finite, those topological non-linear $\sigma$-models can realize all 3+1D bosonic topological orders without emergent fermions, which are described by Dijkgraaf-Witten theory with gauge group $\pi_1(K)=G$. Here, we show that the 3+1D bosonic topological orders with emergent fermions can be realized by topological non-linear $\sigma$-models with $\pi_1(K)=$ finite groups, $\pi_2(K)=Z_2$, and $\pi_{n>2}(K)=0$. A subset of those topological non-linear $\sigma$-models corresponds to 2-gauge theories, which realize and classify bosonic topological orders with emergent fermions that have no emergent Majorana zero modes at triple string intersections. The classification of 3+1D bosonic topological orders may correspond to a classification of unitary fully dualizable fully extended topological quantum field theories in 4-dimensions.


title: Density-operator evolution: Complete positivity and the Keldysh real-time expansion

abstract: We study the reduced time-evolution of open quantum systems by combining quantum-information and statistical field theory. Inspired by prior work [EPL 102, 60001 (2013) and Phys. Rev. Lett. 111, 050402 (2013)] we establish the explicit structure guaranteeing the complete positivity (CP) and trace-preservation (TP) of the real-time evolution expansion in terms of the microscopic system-environment coupling. This reveals a fundamental two-stage structure of the coupling expansion: Whereas the first stage defines the dissipative timescales of the system --before having integrated out the environment completely-- the second stage sums up elementary physical processes described by CP superoperators. This allows us to establish the nontrivial relation between the (Nakajima-Zwanzig) memory-kernel superoperator for the density operator and novel memory-kernel operators that generate the Kraus operators of an operator-sum. Importantly, this operational approach can be implemented in the existing Keldysh real-time technique and allows approximations for general time-nonlocal quantum master equations to be systematically compared and developed while keeping the CP and TP structure explicit. Our considerations build on the result that a Kraus operator for a physical measurement process on the environment can be obtained by 'cutting' a group of Keldysh real-time diagrams 'in half'. This naturally leads to Kraus operators lifted to the system plus environment which have a diagrammatic expansion in terms of time-nonlocal memory-kernel operators. These lifted Kraus operators obey coupled time-evolution equations which constitute an unraveling of the original Schr\"odinger equation for system plus environment. Whereas both equations lead to the same reduced dynamics, only the former explicitly encodes the operator-sum structure of the coupling expansion.

categories: cond-mat.stat-mech math-ph math.MP quant-ph


title: Bacterial chromosome organization I: crucial role of release of topological constraints and molecular crowders

abstract: We showed in our previous studies that just $3\%$ cross-links, at special points along the contour of the bacterial DNA help the DNA-polymer to get organized at micron length scales \cite{jpcm,epl}. In this work, we investigate how does the release of topological constraints help in the organization of the DNA-polymer. Furthermore, we show that the chain compaction induced by the crowded environment in the bacterial cytoplasm contributes to the organization of the DNA-polymer. We model the DNA chain as a flexible bead-spring ring polymer, where each bead represents $1000$ base pairs. The specific positions of the cross-links have been taken from the experimental contact maps of the bacteria {\em C. crescentus} and {\em E. coli}. We introduce different extents of topological constraints in our model by systematically changing the diameter of the monomer bead. It varies from the value where the chain crossing can occur freely to the value where the chain crossing is disallowed. We also study the role of molecular crowders by introducing an effective Lennard Jones attraction between the monomers. Using Monte-Carlo simulations, we show that the release of topological constraints and the crowding environment play a crucial role to obtain a unique organization of the polymer.


title: MedSTS: A Resource for Clinical Semantic Textual Similarity

abstract: The wide adoption of electronic health records (EHRs) has enabled a wide range of applications leveraging EHR data. However, the meaningful use of EHR data largely depends on our ability to efficiently extract and consolidate information embedded in clinical text where natural language processing (NLP) techniques are essential. Semantic textual similarity (STS) that measures the semantic similarity between text snippets plays a significant role in many NLP applications. In the general NLP domain, STS shared tasks have made available a huge collection of text snippet pairs with manual annotations in various domains. In the clinical domain, STS can enable us to detect and eliminate redundant information that may lead to a reduction in cognitive burden and an improvement in the clinical decision-making process. This paper elaborates our efforts to assemble a resource for STS in the medical domain, MedSTS. It consists of a total of 174,629 sentence pairs gathered from a clinical corpus at Mayo Clinic. A subset of MedSTS (MedSTS_ann) containing 1,068 sentence pairs was annotated by two medical experts with semantic similarity scores of 0-5 (low to high similarity). We further analyzed the medical concepts in the MedSTS corpus, and tested four STS systems on the MedSTS_ann corpus. In the future, we will organize a shared task by releasing the MedSTS_ann corpus to motivate the community to tackle the real world clinical problems.


title: Prandtl-Batchelor theorem for flows with quasi-periodic time dependence

abstract: The classical Prandtl-Batchelor theorem (Prandtl 1904; Batchelor 1956) states that in the regions of steady 2D flow where viscous forces are small and streamlines are closed, the vorticity is constant. In this paper, we extend this theorem to recirculating flows with quasi-periodic time dependence using ergodic and geometric analysis of Lagrangian dynamics. In particular, we show that 2D quasi-periodic viscous flows, in the limit of zero viscosity, cannot converge to recirculating inviscid flows with non-uniform vorticity distribution. A corollary of this result is that if the vorticity contours form a family of closed curves in a quasi-periodic viscous flow, then at the limit of zero viscosity, vorticity is constant in the area enclosed by those curves at all times.


title: Application-Network Collaboration Using SDN for Ultra-Low Delay Teleorchestras

abstract: Networked Music Performance (NMP) constitutes a class of ultra-low delay sensitive applications, allowing geographically separate musicians to perform seamlessly as a tele-orchestra. For this application type, the QoS indicator is the mouth-to-ear delay, which should be kept under 25 milliseconds. The mouth-to-ear delay comprises signal processing latency and network delay. We propose a strong collaboration between the network and NMP applications to \emph{actively} keep the to mouth-to-ear delay minimal, using direct state notifications. Related approaches can be characterized as \emph{passive}, since they try to estimate the network state indirectly, based on the end application performance. Our solution employs Software Defined Networking (SDN) to implement the network-to-application collaboration, being facilitated by the well-defined network interface that SDN offers. Emulation results show that the proposed scheme achieves an improvement of up to 59% in mouth-to-ear delay over the existing passive solutions.


title: Bacterial chromosome organization II: few special cross-links, cell confinement, and molecular crowders play the pivotal roles

abstract: Using a bead-spring model of bacterial DNA polymers of {\em C. crescentus} and {\em E. coli} we show that just $33$ and $38$ effective cross-links at special positions along the chain contour of the DNA can lead to the large-scale organization of the DNA polymer, where confinement effects of the cell walls play a key role in the organization. The positions of the $33$ cross-links along the chain contour are chosen from the contact map data of {\em C. crescentus}. We represent $1000$ base pairs as a coarse-grained monomer in our bead-spring flexible ring polymer model of the DNA. Thus a $4017$ beads on a flexible ring polymer represents the {\em C. crescentus} DNA with $4017$ kilo-base pairs. Choosing suitable parameters from our preceding study, we also incorporate the role of molecular crowders and the ability of the chain to release topological constraints. We validate our prediction of the organization of the {\em C. crescentus} with available experimental contact map data and also give a prediction of the approximate positions of different segments within the cell in 3D. For the {\em E. coli} chromosome with $4.6$ million base pairs, we need around $38$ effective cross-links with cylindrical confinement to organize the chromosome. We also predict the 3D organization of the {\em E. coli} chromosome segments within the cylinder which represents the cell wall.


title: Temporal Information Extraction by Predicting Relative Time-lines

abstract: The current leading paradigm for temporal information extraction from text consists of three phases: (1) recognition of events and temporal expressions, (2) recognition of temporal relations among them, and (3) time-line construction from the temporal relations. In contrast to the first two phases, the last phase, time-line construction, received little attention and is the focus of this work. In this paper, we propose a new method to construct a linear time-line from a set of (extracted) temporal relations. But more importantly, we propose a novel paradigm in which we directly predict start and end-points for events from the text, constituting a time-line without going through the intermediate step of prediction of temporal relations as in earlier work. Within this paradigm, we propose two models that predict in linear complexity, and a new training loss using TimeML-style annotations, yielding promising results.


title: Lateral Interfaces of Transition Metal Dichalcogenides: A Stable Tunable One-Dimensional Physics Platform

abstract: We study in-plane lateral heterostructures of commensurate transition-metal dichalcogenides, such as MoS$_{2}$-WS$_{2}$ and MoSe$_{2}$-WSe$_{2}$, and find interfacial and edge states that are highly localized to these regions of the heterostructure. These are one-dimensional (1D) in nature, lying within the bandgap of the bulk structure and exhibiting complex orbital and spin structure. We describe such heteroribbons with a three-orbital tight-binding model that uses first principles and experimental parameters as input, allowing us to model realistic systems. Analytical modeling for the 1D interfacial bands results in long-range hoppings due to the hybridization along the interface, with strong spin-orbit couplings. We further explore the Ruderman-Kittel-Kasuya-Yosida indirect interaction between magnetic impurities located at the interface. The unusual features of the interface states result in effective long-range exchange non-collinear interactions between impurities. These results suggest that transition-metal dichalcogenide interfaces could serve as stable, tunable 1D platform with unique properties for possible use in exploring Majorana fermions, plasma excitations and spintronics applications.


title: A Combined Selected Configuration Interaction and Many-Body Treatment of Static and Dynamical Correlation in Oligoacenes

abstract: We have combined our adaptive configuration interaction (ACI) [J.B. Schriber and F.A. Evangelista, J. Chem. Phys. 144, 161106 (2016)] with a density-fitted implementation of the second-order perturbative multireference driven similarity renormalization group (DSRG-MRPT2) [K.P. Hannon, C. Li and F.A. Evangelista J. Chem. Phys. 144, 204111 (2016)]. We use ACI reference wave functions to recover static correlation for active spaces larger than the conventional limit of 18 orbitals. The dynamical correlation is computed using the DSRG-MRPT2 to yield a complete treatment of electron correlation. We apply the resulting method, ACI-DSRG-MRPT2, to predict singlet-triplet gaps, metrics of open-shell character, and spin-spin correlation functions for the oligoacene series (2-7 rings). Our computations employ active spaces with as many as 30 electrons in 30 orbitals and up to 1350 basis functions, yielding gaps that are in good agreement with available experimental results. Large bases and reference relaxation lead to a significant reduction in the estimated radical character of the oligoacenes with respect to previous valence-only treatments of correlation effects.


title: Volterra type operators between Bloch type spaces and weighted Banach spaces

abstract: When the weight $\mu$ is more general than normal, the complete characterizations in terms of the symbol $g$ and weights for the conditions of the boundedness and compactness of $T_g: H^{\infty}_\nu\rightarrow H^{\infty}_\mu$ and $S_g: H^{\infty}_\nu\rightarrow H^{\infty}_\mu$ are still unknown. Smith et al. firstly gave the sufficient and necessary conditions for the boundedness of Volterra type operators on Banach spaces of bounded analytic functions when the symbol functions are univalent. In this paper, continuing their lines of investigations, we give the complete characterizations of the conditions for the boundedness and compactness of Volterra type operators $T_g$ and $S_g$ between Bloch type spaces $\mathcal{B}^\infty_\nu$ and weighted Banach spaces $H^{\infty}_\nu$ with more general weights, which generalize their works.


title: Improving Networked Music Performance Systems Using Application-Network Collaboration

abstract: Networked Music Performance (NMP) systems involve musicians located in different places who perform music while staying synchronized via the Internet. The maximum end-to-end delay in NMP applications is called Ensemble Performance Threshold (EPT) and should be less than 25 milliseconds. Due to this constraint, NMPs require ultra-low delay solutions for audio coding, network transmission, relaying and decoding, each one a challenging task on its own. There are two directions for study in the related work referring to the NMP systems. From the audio perspective, researchers experiment on low-delay encoders and transmission patterns, aiming to reduce the processing delay of the audio transmission, but they ignore the network performance. On the other hand, network-oriented researchers try to reduce the network delay, which contributes to reduced end-to-end delay. In our proposed approach, we introduce an integration of dynamic audio and network configuration to satisfy the EPT constraint. The basic idea is that the major components participating in an NMP system the application and the network interact during the live music performance. As the network delay increases, the network tries to equalize it by modifying the routing behavior using Software Defined Networking principles. If the network delay exceeds a maximum affordable threshold, the network reacts by informing the application to change the audio processing pattern to overcome the delay increase, resulting in below EPT end-to-end delay. A full prototype of the proposed system was implemented and extensively evaluated in an emulated environment.


title: Almost Envy-Free Allocations with Connected Bundles

abstract: We study the existence of allocations of indivisible goods that are envy-free up to one good (EF1), under the additional constraint that each bundle needs to be connected in an underlying item graph. If the graph is a path and the utility functions are monotonic over bundles, we show the existence of EF1 allocations for at most four agents, and the existence of EF2 allocations for any number of agents; our proofs involve discrete analogues of the Stromquist's moving-knife protocol and the Su--Simmons argument based on Sperner's lemma. For identical utilities, we provide a polynomial-time algorithm that computes an EF1 allocation for any number of agents. For the case of two agents, we characterize the class of graphs that guarantee the existence of EF1 allocations as those whose biconnected components are arranged in a path; this property can be checked in linear time.


title: Implementation Notes for the Soft Cosine Measure

abstract: The standard bag-of-words vector space model (VSM) is efficient, and ubiquitous in information retrieval, but it underestimates the similarity of documents with the same meaning, but different terminology. To overcome this limitation, Sidorov et al. proposed the Soft Cosine Measure (SCM) that incorporates term similarity relations. Charlet and Damnati showed that the SCM is highly effective in question answering (QA) systems. However, the orthonormalization algorithm proposed by Sidorov et al. has an impractical time complexity of $\mathcal O(n^4)$, where n is the size of the vocabulary. In this paper, we prove a tighter lower worst-case time complexity bound of $\mathcal O(n^3)$. We also present an algorithm for computing the similarity between documents and we show that its worst-case time complexity is $\mathcal O(1)$ given realistic conditions. Lastly, we describe implementation in general-purpose vector databases such as Annoy, and Faiss and in the inverted indices of text search engines such as Apache Lucene, and ElasticSearch. Our results enable the deployment of the SCM in real-world information retrieval systems.


title: Privacy-preserving Neural Representations of Text

abstract: This article deals with adversarial attacks towards deep learning systems for Natural Language Processing (NLP), in the context of privacy protection. We study a specific type of attack: an attacker eavesdrops on the hidden representations of a neural text classifier and tries to recover information about the input text. Such scenario may arise in situations when the computation of a neural network is shared across multiple devices, e.g. some hidden representation is computed by a user's device and sent to a cloud-based model. We measure the privacy of a hidden representation by the ability of an attacker to predict accurately specific private information from it and characterize the tradeoff between the privacy and the utility of neural representations. Finally, we propose several defense methods based on modified training objectives and show that they improve the privacy of neural representations.


title: Semantic Role Labeling for Learner Chinese: the Importance of Syntactic Parsing and L2-L1 Parallel Data

abstract: This paper studies semantic parsing for interlanguage (L2), taking semantic role labeling (SRL) as a case task and learner Chinese as a case language. We first manually annotate the semantic roles for a set of learner texts to derive a gold standard for automatic SRL. Based on the new data, we then evaluate three off-the-shelf SRL systems, i.e., the PCFGLA-parser-based, neural-parser-based and neural-syntax-agnostic systems, to gauge how successful SRL for learner Chinese can be. We find two non-obvious facts: 1) the L1-sentence-trained systems performs rather badly on the L2 data; 2) the performance drop from the L1 data to the L2 data of the two parser-based systems is much smaller, indicating the importance of syntactic parsing in SRL for interlanguages. Finally, the paper introduces a new agreement-based model to explore the semantic coherency information in the large-scale L2-L1 parallel data. We then show such information is very effective to enhance SRL for learner texts. Our model achieves an F-score of 72.06, which is a 2.02 point improvement over the best baseline.


title: Shortest Paths with Ordinal Weights

abstract: We investigate the single-source-single-destination "shortest" paths problem in acyclic graphs with ordinal weighted arc costs. We define the concepts of ordinal dominance and efficiency for paths and their associated ordinal levels, respectively. Further, we show that the number of ordinally non-dominated paths vectors from the source node to every other node in the graph is polynomially bounded and we propose a polynomial time labeling algorithm for solving the problem of finding the set of ordinally non-dominated paths vectors from source to sink.


title: Quantitative Evaluation of Base and Detail Decomposition Filters Based on their Artifacts

abstract: This paper introduces a quantitative evaluation of filters that seek to separate an image into its large-scale variations, the base layer, and its fine-scale variations, the detail layer. Such methods have proliferated with the development of HDR imaging and the proposition of many new tone-mapping operators. We argue that an objective quality measurement for all methods can be based on their artifacts. To this aim, the four main recurrent artifacts are described and mathematically characterized. Among them two are classic, the luminance halo and the staircase effect, but we show the relevance of two more, the contrast halo and the compartmentalization effect. For each of these artifacts we design a test-pattern and its attached measurement formula. Then we fuse these measurements into a single quality mark, and obtain in that way a ranking method valid for all filters performing a base+detail decomposition. This synthetic ranking is applied to seven filters representative of the literature and shown to agree with expert artifact rejection criteria.


title: The Scientific Prize Network Predicts Who Pushes the Boundaries of Science

abstract: Scientific prizes are among the greatest recognition a scientist receives from their peers and arguably shape the direction of a field by conferring credibility to persons, ideas, and disciplines, providing financial rewards, and promoting rituals that reinforce scientific communities. The proliferation of prizes and links among prizes suggest that the prize network embodies information about scientists and ideas poised to grow in acclaim. Using comprehensive new data on prizes and prizewinners worldwide and across disciplines, we examine the growth dynamics and interlocking relationships found in the worldwide scientific prize network. We focus on understanding how the knowledge linkages among prizes and scientists' propensities for prizewinning are related to knowledge pathways across disciplines and stratification within disciplines. We find several key links between prizes and scientific advances. First, despite a proliferation of diverse prizes over time and across the globe, prizes are more concentrated within a relatively small group of scientific elites, and ties within the elites are more clustered, suggesting that a relatively constrained number of ideas and scholars lead science. Second, we find that certain prizes are strongly interlocked within and between disciplines by scientists who win multiple prizes, revealing the key pathways by which knowledge systematically gains credit and spreads through the network. Third, we find that genealogical and co authorship networks strongly predict who wins one or more prizes and explains the high level of interconnections among acclaimed scientists and their path breaking ideas.


title: DLFuzz: Differential Fuzzing Testing of Deep Learning Systems

abstract: Deep learning (DL) systems are increasingly applied to safety-critical domains such as autonomous driving cars. It is of significant importance to ensure the reliability and robustness of DL systems. Existing testing methodologies always fail to include rare inputs in the testing dataset and exhibit low neuron coverage. In this paper, we propose DLFuzz, the frst differential fuzzing testing framework to guide DL systems exposing incorrect behaviors. DLFuzz keeps minutely mutating the input to maximize the neuron coverage and the prediction difference between the original input and the mutated input, without manual labeling effort or cross-referencing oracles from other DL systems with the same functionality. We present empirical evaluations on two well-known datasets to demonstrate its efficiency. Compared with DeepXplore, the state-of-the-art DL whitebox testing framework, DLFuzz does not require extra efforts to find similar functional DL systems for cross-referencing check, but could generate 338.59% more adversarial inputs with 89.82% smaller perturbations, averagely obtain 2.86% higher neuron coverage, and save 20.11% time consumption.


title: Gibbs Phenomenon of Framelet Expansions and Quasi-projection Approximation

abstract: The Gibbs phenomenon is widely known for Fourier expansions of periodic functions and refers to the phenomenon that the $n$th Fourier partial sums overshoot a target function at jump discontinuities in such a way that such overshoots do not die out as $n$ goes to infinity. The Gibbs phenomenon for wavelet expansions using (bi)orthogonal wavelets has been studied in the literature. Framelets (also called wavelet frames) generalize (bi)orthogonal wavelets. Approximation by quasi-projection operators are intrinsically linked to approximation by truncated wavelet and framelet expansions. In this paper we shall establish a key identity for quasi-projection operators and then we use it to study the Gibbs phenomenon of framelet expansions and approximation by general quasi-projection operators. We shall also study and characterize the Gibbs phenomenon at an arbitrary point for approximation by quasi-projection operators. As a consequence, we show that the Gibbs phenomenon appears at all points for every tight or dual framelet having at least two vanishing moments and for quasi-projection operators having at least three accuracy orders. Our results not only improve current results in the literature on the Gibbs phenomenon for (bi)orthogonal wavelet expansions but also are new for framelet expansions and approximation by quasi-projection operators.


title: Safe 3-coloring of graphs

abstract: The applications of graph coloring are diverse and many so lots of new types of coloring are being proposed and explored. Here we define a safe k-coloring, motivated by the application of coloring to secret sharing. Secret sharing is a way of securing a secret from a number of attackers by dividing it into parts and then distributing those parts to some persons, represented here by graph vertices. Parts of the secret are represented by colors which are then assigned to the vertices under certain conditions, making a coloring safe if a predetermined number of attackers cannot read the whole secret, nor disable the rest of the group from doing so. We observe a fixed number of colors, namely 3, and analyze what kind of graphs have a safe 3-coloring.


title: IFU Unit in SCORPIO-2 Focal Reducer for Integral-Field Spectroscopy on the 6-m Telescope of the SAO RAS

abstract: We describe the scheme and design features of the new IFU unit (Integral Field Unit) meant to perform integral-field spectroscopy as a part of SCORPIO-2 focal reducer, which is mounted in the prime focus of the 6-m telescope of the Special Astrophysical Observatory of the Russian Academy of Sciences. The design of the unit is based on the principle of the formation of array spectra using a lens raster combined with optical fibers. The unit uses a rectangular raster consisting of 22x22 square 2-mm diameter lenses. The image of the object is transferred by an optical system with a 23x magnification from the focal plane of the telescope to the plane of the lens raster. The image scale is 0.75"/lens and the field of view of the instrument has the size of 16.5"x16.5". The raster also contains two extra 2x7 lens arrays to acquire the night-sky spectra whose images are offset by $\pm$3' from the center. Optical fibers are used to transform micropupil images into two pseudoslits located at the IFU collimator entrance. When operating in the IFU mode a set of volume phase holographic gratings (VPHG) provides a spectral range of 4600-7300 \AA\ and a resolution $\lambda/\delta\lambda$ of 1040 to 2800. The quantum efficiency of SCORPIO-2 field spectroscopy is 6-13% depending on the grating employed. We describe the technique of data acquisition and reduction using IFU unit and report the results of test observations of the Seyfert galaxy Mrk 78 performed on the 6-m telescope of the Special Astrophysical Observatory of the Russian Academy of Sciences.


title: Nonlinear Dynamics of Coupled Axion-Josephson Junction Systems

abstract: We study the classical dynamics of an axion field (the signal) that is coupling into a Josephson junction (the detector) by means of a capacitive coupling of arbitrary size. Depending on the size of the coupling constant and the initial conditions, we find a rich phase space structure of this nonlinear problem. We present general analytic solutions of the equations of motion in the limit of small amplitudes of the angle variables, and discuss both the case of no dissipation and the case of dissipation in the system. The effect of a magnetic field is investigated as well, leading to topological phase transitions in the phase space structure.


title: The Diffusion-Hardening Effect on the Technological Properties of High-Temperature Steel

abstract: The results of research pipes diffusion hardening as an effective method for increasing the durability and reliability of power equipment are presented. The experience of commercial operation of pipes manufactured from diffusion chromized and heat-hardened steel 14 MoV6-3; on the heating surfaces of the supercritical pressure boilers are generalized. The possibility and effectiveness of this method on the example of capacities of Trypil'ska CHP are shown.


title: Identifying Well-formed Natural Language Questions

abstract: Understanding search queries is a hard problem as it involves dealing with "word salad" text ubiquitously issued by users. However, if a query resembles a well-formed question, a natural language processing pipeline is able to perform more accurate interpretation, thus reducing downstream compounding errors. Hence, identifying whether or not a query is well formed can enhance query understanding. Here, we introduce a new task of identifying a well-formed natural language question. We construct and release a dataset of 25,100 publicly available questions classified into well-formed and non-wellformed categories and report an accuracy of 70.7% on the test set. We also show that our classifier can be used to improve the performance of neural sequence-to-sequence models for generating questions for reading comprehension.


title: On Landis' conjecture in the plane when the potential has an exponentially decaying negative part

abstract: In this article, we continue our investigation into the unique continuation properties of real-valued solutions to elliptic equations in the plane. More precisely, we make another step towards proving a quantitative version of Landis' conjecture by establishing unique continuation at infinity estimates for solutions to equations of the form $- \Delta u + V u = 0$ in $\mathbb{R}^2$, where $V = V_+ - V_-$, $V_+ \in L^\infty$, and $V_-$ is a non-trivial function that exhibits exponential decay at infinity. The main tool in the proof of this theorem is an order of vanishing estimate in combination with an iteration scheme. To prove the order of vanishing estimate, we establish a similarity principle for vector-valued Beltrami systems.


title: Quantum magnetotransport in a bilayer MoS2: influence of a perpendicular electric field

abstract: We first derive the energy dispersion of bilayer MoS$_{2}$ in the presence of a perpendicular electric field $E_z$. We show that the band gap and layer splitting can be controlled by the field $E_z$. Away from the $k$ point, the intrinsic SOC splitting increases in the conduction band but is weakly affected in the valence band. We then analyze the band structure in the presence of a perpendicular magnetic field $B$ and the field $E_z$, including spin and valley Zeeman terms, and evaluate the Hall and longitudinal conductivities. We discuss the numerical results as functions of the fields $B$ and $E_z$ for finite temperatures. The field $B$ gives rise to a significant spin splitting in the conduction band, to a beating in the Shubnikov-de Haas (SdH) oscillations when it's weak, and to their splitting when it's strong. The Zeeman terms and $E_{z}$ suppress the beating and change the positions of the beating nodes of the SdH oscillations at low $B$ fields and enhance their splitting at high $B$ fields. Similar beating patterns are observed in the spin and valley polarizations at low $B$ fields. Interestingly, a $90\%$ spin polarization and a $100\%$ square-wave-shaped valley polarization are observed at high $B$ fields. The Hall-plateau sequence depends on $E_z$. These findings may be pertinent to future spintronic and valleytronic devices.


title: WikiAtomicEdits: A Multilingual Corpus of Wikipedia Edits for Modeling Language and Discourse

abstract: We release a corpus of 43 million atomic edits across 8 languages. These edits are mined from Wikipedia edit history and consist of instances in which a human editor has inserted a single contiguous phrase into, or deleted a single contiguous phrase from, an existing sentence. We use the collected data to show that the language generated during editing differs from the language that we observe in standard corpora, and that models trained on edits encode different aspects of semantics and discourse than models trained on raw, unstructured text. We release the full corpus as a resource to aid ongoing research in semantics, discourse, and representation learning.


title: Negative-pressure-induced helimagnetism in ferromagnetic cubic perovskites Sr$_{1-x}$Ba$_{x}$CoO$_{3}$

abstract: Helimagnetic materials are identified as promising for novel spintronic applications. Since helical spin order is manifested as a compromise of competing magnetic exchange interactions, its emergence is limited by unique constraints imposed by the crystalline lattice and the interaction geometries, as exemplified by the multiferroic perovskite manganites with large orthorhombic distortion. Here we show that a simple cubic perovskite SrCoO$_3$ with room-temperature ferromagnetism has the potential to host helimagnetic order upon isotropic lattice expansion. Increasing the Ba content $x$ in Sr$_{1-x}$Ba$_x$CoO$_3$ continuously expands the cubic lattice, eventually suppressing the ferromagnetic order near $x$=0.4, where helimagnetic correlations are observed as incommensurate diffuse magnetic scattering by neutron diffraction measurements. The emergence of helimagnetism is semi-quantitatively reproduced by first-principles calculations, leading to the conjecture that a simple cubic lattice with strong $d$-$p$ hybridisation can exhibit a variety of novel magnetic phases originating from competing exchange interactions.


title: Impact of antiferromagnetic order on Landau level splitting of quasi-two-dimensional Dirac fermions in EuMnBi$_2$

abstract: We report spin-split Landau levels of quasi-two-dimensional Dirac fermions in a layered antiferromagnet EuMnBi$_2$, as revealed by interlayer resistivity measurements in a tilted magnetic field up to $\sim$35 T. The amplitude of Shubnikov-de Haas (SdH) oscillation in interlayer resistivity is strongly modulated by changing the tilt angle of the field, i.e., the Zeeman-to-cyclotron energy ratio. The effective $g$ factor estimated from the tilt angle, where the SdH oscillation exhibits a phase inversion, differs by approximately 50% between two antiferromagnetic phases. This observation signifies a marked impact of the magnetic order of Eu sublattice on the Dirac-like band structure. The origin may be sought in strong exchange coupling with the local Eu moments, as verified by the first-principles calculation.


title: Superconductivity in a unique type of copper oxide

abstract: The mechanism of superconductivity in cuprates remains one of the big challenges of condensed matter physics.High Tc cuprates crystallize into layered perovskite structure featuring copper oxygen octahedral coordination. Due to the Jahn Teller effect in combination with the strong static Coulomb interaction, the octahedra in high Tc cuprates are elongated along the c axis, leading to a 3dx2-y2 orbital at the top of the band structure wherein the doped holes reside.This scenario gives rise to two dimensional characteristics in high Tc cuprates that favor d wave pairing symmetry. Here we report superconductivity in a cuprate Ba2CuO4-y wherein the local octahedron is in a very exceptional compressed version.The Ba2CuO4-y compound was synthesized at high pressure at high temperatures, and shows bulk superconductivity with critical temperature Tc above 70 K at ambient conditions. This superconducting transition temperature is more than 30 K higher than the Tc for the isostructural counterparts based on classical La2CuO4. X-ray absorption measurements indicate the heavily doped nature of the Ba2CuO4-y superconductor. In compressed octahedron the 3d3z2-r2 orbital will be lifted above the 3dx2-y2 orbital, leading to significant three dimensional nature in addition to the conventional 3dx2-y2 orbital. This work sheds important new light on advancing our comprehensive understanding of the superconducting mechanism of high Tc in cuprate materials.


title: Infrared Variability of Two Dusty White Dwarfs

abstract: The most heavily polluted white dwarfs often show excess infrared radiation from circumstellar dust disks, which are modeled as a result of tidal disruption of extrasolar minor planets. Interaction of dust, gas, and disintegrating objects can all contribute to the dynamical evolution of these dust disks. Here, we report on two infrared variable dusty white dwarfs, SDSS J1228+1040 and G29-38. For SDSS J1228+1040, compared to the first measurements in 2007, the IRAC [3.6] and [4.5] fluxes decreased by 20% by 2014 to a level also seen in the recent 2018 observations. For G29-38, the infrared flux of the 10 $\mu$m silicate emission feature became 10% stronger between 2004 and 2007, We explore several scenarios that could account for these changes, including tidal disruption events, perturbation from a companion, and runaway accretion. No satisfactory causes are found for the flux drop in SDSS J1228+1040 due to the limited time coverage. Continuous tidal disruption of small planetesimals could increase the mass of small grains and concurrently change the strength of the 10 $\mu$m feature of G29-38. Dust disks around white dwarfs are actively evolving and we speculate that there could be different mechanisms responsible for the temporal changes of these disks.


title: dS Supergravity from 10d

abstract: We consider flux compactification of type II string theory with local sources on SU(3)-structure manifolds. By adding pseudo-calibrated anti-$Dp$-branes wrapped on supersymmetric cycles we generalize all existing models so that the effective $d=4,$ ${\cal N}=1$ supergravity now includes a nilpotent multiplet. We present a new dictionary between string theory models and K{\"a}hler potential $K$ and superpotential $W$ for these dS supergravities with a nilpotent multiplet and non-linearly realized local supersymmetry. In addition to KKLT and LVS with uplifting $\overline{D3}$-branes, we have now new models with uplifting $\overline{D5}$, $\overline{D6}$, $\overline{D7}$, $\overline{D9}$-branes. The new uplifting contribution to the supergravity potential due to Volkov-Akulov supersymmetry is universal. As one application of our general result, we study classical flux compactifications of type IIA supergravity and find that a previously discovered universal tachyon is now absent.


title: de Sitter Vacua with a Nilpotent Superfield

abstract: We study the arguments given in [1] which suggest that the uplifting procedure in the KKLT construction is not valid. First we show that the modification of the SUSY breaking sector of the nilpotent superfield, as proposed in [1], is not consistent with non-linearly realized local supersymmetry of de Sitter supergravity. Keeping this issue aside, we also show that the corresponding bosonic potential does actually describe de Sitter uplifting.


title: Martingale-driven approximations of singular stochastic PDEs

abstract: We define multiple stochastic integrals with respect to c\`{a}dl\`{a}g martingales and prove moment bounds and chaos expansions, which allow to work with them in a way similar to Wiener stochastic integrals. In combination with the discretization framework of Erhard and Hairer (2017), our results give a tool for proving convergence of interacting particle systems to stochastic PDEs using regularity structures. As examples, we prove convergence of martingale-driven discretizations of the $3$-dimensional stochastic quantization equation and the KPZ equation.


title: Reactive Synthesis: Branching Logics and Parameterized Systems

abstract: Reactive synthesis is an automatic way to translate a human intention expressed in some logic into a system of some kind. This thesis has two parts, devoted to logic and to systems. In Part I, we develop two new approaches to CTL* synthesis. The first approach consists of two extensions of the SMT-based bounded synthesis: one follows bottom-up CTL* model checking, another one follows the automata framework. The second approach reduces CTL* synthesis to LTL synthesis. The reduction turns any LTL synthesiser into a CTL* synthesiser. The two approaches were implemented and are available online. In Part II, we study parameterized synthesis for two system architectures. The first architecture is guarded systems and is inspired by cache coherence protocols. In guarded systems, processes transitions are enabled or disabled depending on the existence of other processes in certain local states. The existing cutoff results for guarded protocols are restricted to closed systems, and are of limited use for liveness properties. We close these gaps and prove tight cutoffs for open systems with liveness properties, and also cutoffs for detecting deadlocks. The second architecture is token-ring systems, where the single token circulates processes arranged in a ring. The experiments with the existing parameterized synthesis method showed that it does not scale to large specifications. First, we optimize the method by refining the cutoff reduction, using modularity and abstraction. The evaluation show several orders of magnitude speed-ups. Second, we perform parameterized synthesis case study on the industrial arbiter protocol AMBA. We describe new tricks ---a new cutoff extension and decompositional synthesis--- that, together with the previously described optimizations, allowed us to synthesize AMBA in a parameterized setting, for the first time.


title: Magnetic shielding of soft protons in future X-ray telescopes: the case of the ATHENA Wide Field Imager

abstract: Both the interplanetary space and the Earth magnetosphere are populated by low energy ($\leq300$ keV) protons that are potentially able to scatter on the reflecting surface of Wolter-I optics of X-ray focusing telescopes and reach the focal plane. This phenomenon, depending on the X-ray instrumentation, can dramatically increase the background level, reducing the sensitivity or, in the most extreme cases, compromising the observation itself. The use of a magnetic diverter, deflecting protons away from the field of view, requires a detailed characterization of their angular and energy distribution when exiting the mirror. We present the first end-to-end Geant4 simulation of proton scattering by X-ray optics and the consequent interaction with the diverter field and the X-ray detector assembly, selecting the ATHENA Wide Field Imager as a case study for the evaluation of the residual soft proton induced background. We obtain that, in absence of a magnetic diverter, protons are indeed funneled towards the focal plane, with a focused Non X-ray Background well above the level required by ATHENA science objectives ($5\times10^{-4}$ counts cm$^{-2}$ s$^{-1}$ keV$^{-1}$), for all the plasma regimes encountered in both L1 and L2 orbits. These results set the proton diverter as a mandatory shielding system on board the ATHENA mission and all high throughput X-ray telescopes operating in the interplanetary space. For a magnetic field computed to deflect 99\% of the protons that would otherwise reach the WFI, Geant4 simulations show that this configuration, in the assumption of a uniform field, would efficiently shield the focal plane, yielding a residual background level of the order or below the requirement.


title: Using Monte Carlo dropout for non-stationary noise reduction from speech

abstract: In this work, we propose the use of dropout as a Bayesian estimator for increasing the generalizability of a deep neural network (DNN) for speech enhancement. By using Monte Carlo (MC) dropout, we show that the DNN performs better enhancement in unseen noise and SNR conditions. The DNN is trained on speech corrupted with Factory2, M109, Babble, Leopard and Volvo noises at SNRs of 0, 5 and 10 dB. Speech samples are obtained from the TIMIT database and noises from NOISEX-92. In another experiment, we train five DNN models separately on speech corrupted with Factory2, M109, Babble, Leopard and Volvo noises, at 0, 5 and 10 dB SNRs. The model precision (estimated using MC dropout) is used as a proxy for squared error to dynamically select the best of the DNN models based on their performance on each frame of test data. We propose an algorithm with a threshold on the model precision to switch between classifier based model selection scheme and model precision based selection scheme. Testing is done on speech corrupted with unseen noises White, Pink and Factory1 and all five seen noises.


title: The Breuil--M\'ezard conjecture for function fields

abstract: Let $K$ be a local function field of characteristic $l$, $\mathbb{F}$ be a finite field over $\mathbb{F}_p$ where $l \ne p$, and $\overline{\rho}: G_K \rightarrow \text{GL}_n (\mathbb{F})$ be a continuous representation. We apply the Taylor-Wiles-Kisin method over certain global function fields to construct a mod $p$ cycle map $\overline{\text{cyc}}$, from mod $p$ representations of $\text{GL}_n (\mathcal{O}_K)$ to the mod $p$ fibers of the framed universal deformation ring $R_{\overline{\rho}}^\square$. This allows us to obtain a function field analog of the Breuil--M\'ezard conjecture. Then we use the technique of close fields to show that our result is compatible with the Breuil-M\'ezard conjecture for local number fields in the case of $l \ne p$, obtained by Shotton.


title: TASI Lectures on Large $N$ Tensor Models

abstract: The first part of these lecture notes is mostly devoted to a comparative discussion of the three basic large $N$ limits, which apply to fields which are vectors, matrices, or tensors of rank three and higher. After a brief review of some physical applications of large $N$ limits, we present a few solvable examples in zero space-time dimension. Using models with fields in the fundamental representation of $O(N)$, $O(N)^2$, or $O(N)^3$ symmetry, we compare their combinatorial properties and highlight a competition between the snail and melon diagrams. We exhibit the different methods used for solving the vector, matrix, and tensor large $N$ limits. In the latter example we review how the dominance of melonic diagrams follows when a special "tetrahedral" interaction is introduced. The second part of the lectures is mostly about the fermionic quantum mechanical tensor models, whose large $N$ limits are similar to that in the Sachdev-Ye-Kitaev (SYK) model. The minimal Majorana model with $O(N)^3$ symmetry and the tetrahedral Hamiltonian is reviewed in some detail; it is the closest tensor counterpart of the SYK model. Also reviewed are generalizations to complex fermionic tensors, including a model with $SU(N)^2\times O(N)\times U(1)$ symmetry, which is a tensor counterpart of the complex SYK model. The bosonic large $N$ tensor models, which are formally tractable in continuous spacetime dimension, are reviewed briefly at the end.


title: A Precise Milky Way Rotation Curve Model for an Accurate Galactocentric Distance

abstract: I provide a model rotation curve for the Milky Way that matches the details of the terminal velocity curve normalized to the Galactocentric distance $R_0 = 8.122$ kpc obtained by the GRAVITY collaboration and the corresponding circular speed of the LSR $\Theta_0 = 233.3$ km/s. The model provides a numerical representation of the azimuthally averaged radial run of the gravitational potential of each mass component of the Galaxy (bulge-bar, stellar disk, gas disk, and dark matter) as represented by the rotation curve of each. It provides precise estimates of quantities like the stellar mass of the Galaxy ($6.16 \pm 0.31 \times 10^{10}\;\mathrm{M}_{\odot}$) and the local density of dark matter ($\rho_{DM}(R_0) = 6.76^{+0.08}_{-0.14} \times 10^{-3}\; \mathrm{M}_{\odot}\,\mathrm{pc}^{-3} = 0.257^{+0.003}_{-0.005}\; \mathrm{GeV}\,\mathrm{cm}^{-3}$). The dark matter density implied by the radial force is less than that found in many studies of the vertical force, perhaps indicating that the usual assumption of a spherical dark matter halo is no longer adequate.


title: Mesoscopic eigenvalue density correlations of Wigner matrices

abstract: We investigate to what extent the microscopic Wigner-Gaudin-Mehta-Dyson (WGMD) (or sine kernel) statistics of random matrix theory remain valid on mesoscopic scales. To that end, we compute the connected two-point spectral correlation function of a Wigner matrix at two mesoscopically separated points. In the mesoscopic regime, density correlations are much weaker than in the microscopic regime. Our result is an explicit formula for the two-point function. This formula implies that the WGMD statistics are valid to leading order on all mesoscopic scales, that in the real symmetric case there are subleading corrections matching precisely the WGMD statistics, while in the complex Hermitian case these subleading corrections are absent. We also uncover non-universal subleading correlations, which dominate over the universal ones beyond a certain intermediate mesoscopic scale. The proof is based on a hierarchy of Schwinger-Dyson equations for a sufficiently large class of polynomials in the entries of the Green function. The hierarchy is indexed by a tree, whose depth is controlled using stopping rules. A key ingredient in the derivation of the stopping rules is a new estimate on the density of states, which we prove to have bounded derivatives of all order on all mesoscopic scales.


title: Local law and complete eigenvector delocalization for supercritical Erd\H{o}s-R\'enyi graphs

abstract: We prove a local law for the adjacency matrix of the Erd\H{o}s-R\'enyi graph $G(N, p)$ in the supercritical regime $ pN \geq C\log N$ where $G(N,p)$ has with high probability no isolated vertices. In the same regime, we also prove the complete delocalization of the eigenvectors. Both results are false in the complementary subcritical regime. Our result improves the corresponding results from [11] by extending them all the way down to the critical scale $pN = O(\log N)$. A key ingredient of our proof is a new family of multilinear large deviation estimates for sparse random vectors, which carefully balance mixed $\ell^2$ and $\ell^\infty$ norms of the coefficients with combinatorial factors, allowing us to prove strong enough concentration down to the critical scale $pN = O(\log N)$. These estimates are of independent interest and we expect them to be more generally useful in the analysis of very sparse random matrices.


title: Crossing Probabilities of Multiple Ising Interfaces

abstract: We prove that in the scaling limit, the crossing probabilities of multiple interfaces in the critical planar Ising model with alternating boundary conditions are conformally invariant expressions given by the pure partition functions of multiple SLE(\kappa) with \kappa=3. In particular, this identifies the scaling limits with ratios of specific correlation functions of conformal field theory.


title: Extending weakly polynomial functions from high rank varieties

abstract: Let $k$ be a field, $V$ a $k$-vector space and $X$ be a subset of $V $. A function $f:X\to k$ is weakly polynomial of degree $\leq a$, if the restriction of $f$ on any affine subspace $L\subset X$ is a polynomial of degree $\leq a$. In this paper we consider the case when $X= \mathbb X (k)$ where $\mathbb X$ is a complete intersection of bounded codimension defined by a high rank polynomials of degrees $d, char(k)=0$ or $char (k)>d$ and either $k$ is algebraically closed, or $k=\mathbb F _q,q>ad$. We show that under these assumptions any $k$-valued weakly polynomial function of degree $ \leq a$ on $X$ is a restriction of a polynomial of degree $\leq a$ on $V$. Our proof is based on Theorem 1.11 on fibers of polynomial morphisms $P:\mathbb F _q^n\to \mathbb F _q^m$ of high rank. This result is of an independent interest. For example it immediately implies a strengthening of the result of [4].


title: The landscape, the swampland and the era of precision cosmology

abstract: We review the advanced version of the KKLT construction and pure $d=4$ de Sitter supergravity, involving a nilpotent multiplet, with regard to various conjectures that de Sitter state cannot exist in string theory. We explain why we consider these conjectures problematic and not well motivated, and why the recently proposed alternative string theory models of dark energy, ignoring vacuum stabilization, are ruled out by cosmological observations at least at the $3\sigma$ level, i.e. with more than $99.7\%$ confidence.

categories: hep-th astro-ph.CO gr-qc hep-ph math-ph math.MP


title: Quantum Closed Superstring Field Theory and Hyperbolic Geometry I: Construction of String Vertices

abstract: The complete quantum theory of closed superstrings is constructed using string diagrams endowed with metric having constant curvature $-1$. The elementary string diagrams are equipped with the analytic local coordinates induced from the hyperbolic metric and a distribution of a set of picture changing operators constructed using the identities satisfied by the simple closed geodesics on a hyperbolic Riemann surface. However, a slight modification near the boundary of the string vertices is needed to make them satisfy the geometric condition imposed by the quantum Batalin-Vilkovisky master equation.


title: Discriminative Deep Dyna-Q: Robust Planning for Dialogue Policy Learning

abstract: This paper presents a Discriminative Deep Dyna-Q (D3Q) approach to improving the effectiveness and robustness of Deep Dyna-Q (DDQ), a recently proposed framework that extends the Dyna-Q algorithm to integrate planning for task-completion dialogue policy learning. To obviate DDQ's high dependency on the quality of simulated experiences, we incorporate an RNN-based discriminator in D3Q to differentiate simulated experience from real user experience in order to control the quality of training data. Experiments show that D3Q significantly outperforms DDQ by controlling the quality of simulated experience used for planning. The effectiveness and robustness of D3Q is further demonstrated in a domain extension setting, where the agent's capability of adapting to a changing environment is tested.


title: Disconnecting the moduli space of G_2-metrics via U(4)-coboundary defects

abstract: We exhibit examples of closed Riemannian 7-manifolds with holonomy G_2 such that the underlying manifolds are diffeomorphic but whose associated G_2-structures are not homotopic. This is achieved by defining two invariants of certain U(3)-structures. We show that these agree with the invariants of G_2-structures defined by Crowley and Nordstr\"om. We construct a suitable coboundary for G_2 manifolds obtained via the Twisted Connected Sum method that allows the invariants to be computed in terms of the input data of the construction. We find explicit examples where the invariants detect different connected components of the moduli of G_2-metrics.


title: Some properties of substochastic matrices

abstract: We establish some properties of substochastic matrices that we haven't been able to find in the literature


title: Physics-based r-adaptive algorithms for high-speed flows and plasma simulations

abstract: The computational modeling of high-speed flows (e.g. hypersonic) and space plasmas is characterized by a plethora of complex physical phenomena, in particular involving strong oblique shocks, bow shocks and/or shock waves boundary layer interactions. The characterization of those flows requires accurate, robust and advanced numerical techniques. To this end, adaptive mesh algorithms provide an automatic way to improve the quality of the numerical results, by increasing the mesh density where required in order to resolve the most critical physical features. In this work, we propose a r-adaptive algorithm that consists in repositioning mesh nodes as resulting from the solution of a physics-driven pseudo-elastic system of equations. The developed mesh refinement techniques are based upon spring networks deriving from linear, semi-torsional and ortho-semi- torsional analogies, but driven by a combination of local physical and geometrical properties depending on a user-defined monitoring flow variable. Furthermore, a mesh quality indicator is developed within this work in order to grade and investigate the quality of an adapted mesh. Finally, a refinement stop indicator is proposed and demonstrated in order to further automatize the resulting adaptive simulation. All new physics-based mesh motion algorithms are illustrated through multiple examples that emphasize the applicability to different physical models and problems together with the improved quality of the results.


title: A Particle Filter based Multi-Objective Optimization Algorithm: PFOPS

abstract: This paper is concerned with a recently developed paradigm for population-based optimization, termed particle filter optimization (PFO). This paradigm is attractive in terms of coherence in theory and easiness in mathematical analysis and interpretation. Current PFO algorithms only work for single-objective optimization cases, while many real-life problems involve multiple objectives to be optimized simultaneously. To this end, we make an effort to extend the scope of application of the PFO paradigm to multi-objective optimization (MOO) cases. An idea called path sampling is adopted within the PFO scheme to balance the different objectives to be optimized. The resulting algorithm is thus termed PFO with Path Sampling (PFOPS). The validity of the presented algorithm is assessed based on three benchmark MOO experiments, in which the shapes of the Pareto fronts are convex, concave and discontinuous, respectively.


title: Defining the prime numbers prior to the integers: A first-principles approach to the distribution of primes

abstract: While the prime numbers have been subject to mathematical inquiry since the ancient Greeks, the accumulated effort of understanding these numbers has - as Marcus du Sautoy recently phrased it - 'not revealed the origins of what makes the primes tick.' Here, we suggest that a resolution to this long-standing conundrum is attainable by defining the primes prior to the natural numbers - as opposed to the standard number theoretical definition of primes where these numbers derive from the natural numbers. The result is a first-principles perspective on the primes that exposes and explains the 'origins' of their distribution and their mathematical properties and provides an intuitive as well as pedagogical approach to the primes with the potential to impact our thinking about these age-old mathematical objects. A few immediate outcomes of this perspective are another proof of the fundamental theorem of arithmetic, a probabilistic model of primes sharing as well as explaining their subrandom correlation structure, and an equivalent formulation of the Riemann hypothesis.


title: Estimating the distribution and thinning parameters of a homogeneous multimode Poisson process

abstract: In this paper we propose estimators of the distribution of events of different kinds in a multimode Poisson process. We give the explicit solution for the maximum likelihood estimator, and derive its strong consistency and asymptotic normality. We also provide an order restricted estimator and derive its consistency and asymptotic distribution. We discuss the application of the estimator to the detection of neutrons in a novel detector being developed at the European Spallation Source in Lund, Sweden. The inference problem gives rise to Sylvester-Ramanujan system of equations.


title: New insights on the dissociative merging galaxy cluster Abell 2034

abstract: We present here new insights about the merging galaxy cluster Abell 2034 ($\bar{z}=0.114$) based on a combined weak lensing and dynamical analysis. From our deep Subaru $BR_Cz'$ images plus Gemini-GMOS/N low-resolution spectra accompanied by available redshift data, we have obtained the individual masses of the colliding subclusters as well as estimated a timeline of the process. The collision event happened $0.56^{+0.15}_{-0.22}$ Gyr ago between the subclusters A2034S ($M_{200}^S=2.35_{-0.99}^{+0.84}\times 10^{14}$ M$_{\odot}$) and A2034N ($M_{200}^N=1.08_{-0.71}^{+0.51}\times 10^{14}$ M$_{\odot}$) with the gas content of both subclusters displaced in relation to their galaxy and dark matter distributions, in a scenario similar to that found in the Bullet Cluster. Following our data and modelling the collision event is, most likely, taking place not so far from the plane of the sky, with an angle of $27^\circ\pm14^\circ$ in relation to that. In spite of the intrinsic degeneracy inherent to the system (whether it has been observed incoming or outgoing), the comparison of our calculated time since the closest approximation with the estimated age of the observed X-ray shock front and the increment experienced by the velocity dispersion of the galaxy cluster members points toward an outgoing movement. Besides, we found a strong evidence for the presence of a third structure which we called A2034W.


title: The Magnetic Nature of the Cataclysmic Variable Period Gap

abstract: One of the most important problems in the context of cataclysmic variables (CVs) is the lack of observations of systems with periods between 2 and 3.12 hours, known as the period gap. The orbital evolution of CVs with periods shorter than those in the gap is dominated by gravitational radiation while for periods exceeding those of the gap it is dominated by magnetic braking of the secondary star. Spruit & Ritter (1983) showed that as periods approach 3 hours and secondary stars become fully convective a sharp decline in magnetic dynamo and braking efficiency would result in such a gap. Recent X-ray observations finding coronal magnetic energy dissipation is similar in fully convective and partly radiative M dwarfs cast this theory into doubt. In this work, we use Zeeman-Doppler imaging observations culled from the literature to show that the complexity of the surface magnetic fields of rapidly rotating M dwarfs increases with decreasing rotation period. Garraffo et al. (2018) have shown that the efficiency of angular momentum loss of cool stars declines strongly with increasing complexity of their surface magnetic field. We explore the idea of Taam & Spruit (1989) that magnetic complexity might then explain the period gap. By generating synthetic CV populations using a schematic CV evolutionary approach, we show that the CV period gap can naturally arise as a consequence of a rise in secondary star magnetic complexity near the long period edge of the gap that renders a sharp decline in their angular momentum loss rate.


title: Influence of Stellar Metallicity on Occurrence Rates of Planets and Planetary Systems

abstract: We study the influence of stellar metallicity on the fraction of stars with planets (i.e., the occurrence rate of planetary systems) and the average number of planets per star (i.e., the occurrence rate of planets). The former directly reveals the planet formation efficiency, whereas the latter reveals the final product of formation and evolution. We show that these two occurrence rates have different dependences on stellar metallicity. Specifically, the fraction of stars with planets rises gradually with metallicity, from $\sim$25% to $\sim$36% for 0.4 dex of [Fe/H] for all Kepler-like planets (period $P<400$ days and radius $R_{\rm p}\gtrsim R_\oplus$). The average number of planets per star reaches a plateau (or possibly starts declining) at [Fe/H]$\gtrsim0.1$. This is plausibly caused by the emergence of distant giant planets at high metallicities, given that the close-in small planets and the distant giants preferentially co-exist in the same system.


title: Glimmering in the dark: modeling the low-mass end of the $M_{\bullet}-\sigma$ relation and of the quasar luminosity function

abstract: The $M_{\bullet} - \sigma$ relation establishes a connection between central black holes (BHs) and their host spheroids. Supported by observations at $M_{\bullet} \gtrsim 10^5 \, M_{\odot}$, there is limited data on its validity at lower masses. Employing a semi-analytical model to simulate the combined evolution of BHs and their host galaxies, we predict the observational consequences of assuming a bimodality in the accretion efficiency of BHs, with low-mass BHs ($M_{\bullet} \lesssim 10^5 \, M_{\odot}$) accreting inefficiently. We predict a departure from the $M_{\bullet} - \sigma$ relation at a transitional BH mass $\sim 10^5 \, M_{\odot}$, with lower-mass BHs unable to reach the mass dictated by the relation and becoming disconnected from the evolution of the host galaxy. This prediction is an alternative to previous works suggesting a flattening of the relation at $\sim 10^5-10^6 \, M_{\odot}$. Furthermore, we predict a deficit of BHs shining at bolometric luminosities $\sim 10^{42} \, \mathrm{erg \, s^{-1}}$. Joined with a detection bias, this could partly explain the scarce number of intermediate-mass BHs detected. Conversely, we predict an increase in source density at lower bolometric luminosities, $<10^{42} \, \mathrm{erg \, s^{-1}}$. Because our predictions assume a bimodal population of high-redshift BH seeds, future observations of fainter BHs will be fundamental for constraining the nature of these seeds.


title: The Effective $\Delta m^2_{ee}$ in Matter

abstract: In this paper we generalize the concept of an effective $\Delta m^2_{ee}$ for $\nu_e/\bar{\nu}_e$ disappearance experiments, which has been extensively used by the short baseline reactor experiments, to include the effects of propagation through matter for longer baseline $\nu_e/\bar{\nu}_e$ disappearance experiments. This generalization is a trivial, linear combination of the neutrino mass squared eigenvalues in matter and thus is not a simple extension of the usually vacuum expression, although, as it must, it reduces to the correct expression in the vacuum limit. We also demonstrated that the effective $\Delta m^2_{ee}$ in matter is very useful conceptually and numerically for understanding the form of the neutrino mass squared eigenstates in matter and hence for calculating the matter oscillation probabilities. Finally we analytically estimate the precision of this two-flavor approach and numerically verify that it is precise at the sub-percent level.


title: Relating the HI Gas Structure of Spiral Disks to Passing Satellites

abstract: We extend the work of Chang & Chakrabarti (2011) to find simple scaling relations between the density response of the gas disk of a spiral galaxy and the pericenter distance and mass ratio of a perturbing satellite. From the analysis of results from a test particle code, we obtained a simple scaling relation for the density response due to a single satellite interacting with a galactic disk, over a wide range of satellite masses and pericenter distances. We have also explored the effects of multiple satellites on the galactic disk, focusing on cases that are commonly found in cosmological simulations. Here, we use orbits for the satellites that are drawn from cosmological simulations. For these cases, we compare our approximate scaling relations to the density response generated by satellites, and find that for two satellite interactions, our scaling relations approximately recover the response of the galactic disk. We have also examined the observed HI data in the outskirts of several spiral galaxies from the THINGS sample and compared the observed perturbations to that of cosmological simulations and our own scaling relations. While small perturbations can be excited by satellites drawn from cosmological simulations, we find that large perturbations (such as those that are seen in some THINGS galaxies like M51) are not recovered by satellites drawn from cosmological simulations that are similar to Milky Way galaxies.


title: New constraints on the nature and origin of the Leading Arm of the Magellanic Stream

abstract: We present a new precision measurement of gas-phase abundances of S, O, N, Si, Fe, P, Al, Ca as well as molecular hydrogen (H_2) in the Leading Arm (region II, LAII) of the Magellanic Stream (MS) towards the Seyfert galaxy NGC 3783. The results are based on high-quality archival ultraviolet/optical/radio data from various different instruments (HST/STIS, FUSE, AAT, GBT, GB140ft, ATCA). Our study updates previous results from lower-resolution data and provides for the first time a self-consistent component model of the complex multi-phase absorber, delivering important constraints on the nature and origin of LAII. We derive a uniform, moderate alpha abundance in the two main absorber groups at +245 and +190 km s^-1 of alpha/H = 0.30 pm 0.05 solar, a low nitrogen abundance of N/H = 0.05 pm 0.01 solar, and a high dust content with substantial dust depletion values for Si, Fe, Al, and Ca. These alpha, N, and dust abundances in LAII are similar to those observed in the Small Magellanic Cloud (SMC). From the analysis of the H_2 absorption, we determine a high thermal pressure of P/k = 1680 K cm^-3 in LAII, in line with the idea that LAII is located in the inner Milky Way halo at a z-height of <20 kpc where it hydrodynamically interacts with the ambient hot coronal gas. Our study supports a scenario, in which LAII stems from the break-up of a metal- and dust-enriched progenitor cloud that was recently (200-500 Myr ago) stripped from the SMC.


title: Axion absorption and the spin temperature of primordial hydrogen

abstract: An absorption dip in the spectrum of the cosmic microwave background observed by the EDGES experiment suggests an unexplained reduction of the hydrogen spin temperature at cosmic redshift z ~ 17. The mass of dark-matter axions could correspond to the hyperfine splitting of 5.9 micro-eV, between the triplet (H1) and singlet (H0) state. We calculate the rate for a+ H0 <-> H1 in two ways, and find that it is orders of magnitude smaller than the CMB-mediated transition rate, so irrelevant. As a result, this process cannot be used to rule in or out dark matter axions of mass = hyperfine splitting. The axion rate nonetheless has interesting features, for example, on balance it heats the spin temperature, and the axion couplings to protons and electrons contribute on equal footing.


title: Vestiges of Topological Phase Transitions in Kitaev Quantum Spin Liquids

abstract: We investigate signatures of topological quantum phase transitions (TQPTs) between the $Z_2$ quantum spin liquids (QSLs). In two spatial dimensions, $Z_2$ QSLs and their TQPTs are only well defined at zero temperature ($T=0$), and it is imperative to clarify their observable signatures under nonzero temperatures. Here, we present the vestiges of TQPTs between $Z_2$ QSLs with Majorana fermions in terms of thermal Hall conductivity $\kappa_{xy}$ at nonzero temperatures. The $\kappa_{xy}/T$ shows characteristic temperature dependences around TQPTs. We argue that an exponential upturn near $T=0$ and the peak of $\kappa_{xy}/T$ around massive excitation energy are observable smoking-gun signals of the TQPTs. Quantum critical fan-shape temperature dependences are uncovered across TQPTs. We also perform the parton mean-field analysis on a modified Kitaev model with next-nearest neighbor interactions finding TQPTs between the phases with different Chern numbers and their vestiges self-consistently. We discuss the implication of our results to the recent experiments in $\alpha$-RuCl$_3$.


title: Seismic characterization of red giants going through the Helium-core flash

abstract: First-ascent red giants with masses below about $2\,M_\odot$ ignite helium in their degenerate core as a flash. Stellar evolution codes predict that the He flash consists of a series of consecutive subflashes. The detection of mixed modes in red giants from space missions CoRoT and Kepler has opened new opportunities to search for stars in this evolution stage. During a subflash, the He burning shell is convective, which splits the cavity of gravity modes in two. We here investigate how this additional cavity modifies the oscillation spectrum of the star. We calculate the asymptotic mode frequencies of stellar models going through a He subflash using the JWKB approximation. To predict the detectability of the modes, we estimate their expected heights, taking into account the effects of radiative damping in the core. Our results are then compared to the oscillation spectra obtained by calculating numerically the mode frequencies during a He subflash. We show that during a He subflash, the detectable oscillation spectrum mainly consists of modes trapped in the acoustic cavity and in the outer g-mode cavity. The spectrum should thus resemble that of a core-helium-burning giant. However, we find a list of clear, detectable features that could enable us to identify red giants passing through a He subflash. In particular, during a He subflash, several modes that are trapped in the innermost g-mode cavity are expected to be detectable. We show that these modes could be identified by their frequencies or by their rotational splittings. Other features, such as the measured period spacing of gravity modes or the location of the H-burning shell within the g-mode cavity could also be used to identify stars going through a He subflash. The features derived in this study can now be searched for in the large datasets provided by the CoRoT and Kepler missions.


title: Dark Monopoles and SL(2,Z) Duality

abstract: We explore kinetic mixing between two Abelian gauge theories that have both electric and magnetic charges. When one of the photons becomes massive, novel effects arise in the low-energy effective theory, including the failure of Dirac charge quantization as particles from one sector obtain parametrically small couplings to the photon of the other. We maintain a manifest SL(2,Z) duality throughout our analysis, which is the diagonal subgroup of the dualities of the two un-mixed gauge theories.


title: Constraining the Time Interval for the Origin of Life on Earth

abstract: Estimates of the time at which life arose on Earth make use of two types of evidence. First, astrophysical and geophysical studies provide a timescale for the formation of Earth and the Moon, for large impact events on early Earth, and for the cooling of the early magma ocean. From this evidence, we can deduce a habitability boundary, which is the earliest point at which Earth became habitable. Second, biosignatures in geological samples, including microfossils, stromatolites, and chemical isotope ratios, provide evidence for when life was actually present. From these observations we can deduce a biosignature boundary, which is the earliest point at which there is clear evidence that life existed. Studies with molecular phylogenetics and records of the changing level of oxygen in the atmosphere give additional information that helps to determine the biosignature boundary. Here, we review the data from a wide range of disciplines to summarize current information on the timings of these two boundaries. The habitability boundary could be as early as 4.5 Ga, the earliest possible estimate of the time at which Earth had a stable crust and hydrosphere, or as late as 3.9 Ga, the end of the period of heavy meteorite bombardment. The lack of consensus on whether there was a late heavy meteorite bombardment that was significant enough to prevent life is the largest uncertainty in estimating the time of the habitability boundary. The biosignature boundary is more closely constrained. Evidence from carbon isotope ratios and stromatolite fossils both point to a time close to 3.7 Ga. Life must have emerged in the interval between these two boundaries. The time taken for life to appear could, therefore, be within 200 Myr or as long as 800 Myr.


title: Mass-dependence of pseudoscalar meson elastic form factors

abstract: A continuum approach to quark-antiquark bound-states is used to determine the electromagnetic form factors of pion-like mesons with masses $m_{0^-}/{\rm GeV}=0.14$, $0.47$, $0.69$, $0.83$ on a spacelike domain that extends to $Q^2 \lesssim 10\,$GeV$^2$. The results enable direct comparisons with contemporary lattice-QCD calculations of heavy-pion form factors at large values of momentum transfer and aid in understanding them. They also reveal, inter alia, that the form factor of the physical pion provides the best opportunity for verification of the factorised hard-scattering formula relevant to this class of exclusive processes and that this capacity diminishes steadily as the meson mass increases.


title: Optimal bounds on the positivity of a matrix from a few moments

abstract: In many contexts one encounters Hermitian operators $M$ on a Hilbert space whose dimension is so large that it is impossible to write down all matrix entries in an orthonormal basis. How does one determine whether such $M$ is positive semidefinite? Here we approach this problem by deriving asymptotically optimal bounds to the distance to the positive semidefinite cone in Schatten $p$-norm for all integer $p\in[1,\infty)$, assuming that we know the moments $\mathbf{tr}(M^k)$ up to a certain order $k=1,\ldots, m$. We then provide three methods to compute these bounds and relaxations thereof: the sos polynomial method (a semidefinite program), the Handelman method (a linear program relaxation), and the Chebyshev method (a relaxation not involving any optimization). We investigate the analytical and numerical performance of these methods and present a number of example computations, partly motivated by applications to tensor networks and to the theory of free spectrahedra.


title: Graphene: A Context-Preserving Open Information Extraction System

abstract: We introduce Graphene, an Open IE system whose goal is to generate accurate, meaningful and complete propositions that may facilitate a variety of downstream semantic applications. For this purpose, we transform syntactically complex input sentences into clean, compact structures in the form of core facts and accompanying contexts, while identifying the rhetorical relations that hold between them in order to maintain their semantic relationship. In that way, we preserve the context of the relational tuples extracted from a source sentence, generating a novel lightweight semantic representation for Open IE that enhances the expressiveness of the extracted propositions.


title: New predictions for $\Lambda_b\to\Lambda_c$ semileptonic decays and tests of heavy quark symmetry

abstract: The heavy quark effective theory makes model independent predictions for semileptonic $\Lambda_b \to \Lambda_c$ decays in terms of a small set of parameters. No subleading Isgur-Wise function occurs at order $\Lambda_{\rm QCD}/m_{c,b}$, and only two sub-subleading functions enter at order $\Lambda_{\rm QCD}^2/m_c^2$. These features allow us to fit the form factors and decay rates calculated up to order $\Lambda_{\rm QCD}^2/m_c^2$ to LHCb data and lattice QCD calculations. We derive a significantly more precise standard model prediction for the ratio ${\cal B}(\Lambda_b\to \Lambda_c \tau\bar\nu) / {\cal B}(\Lambda_b\to \Lambda_c \mu\bar\nu)$ than prior results, and find the expansion in $\Lambda_{\rm QCD}/m_c$ well-behaved, addressing a long-standing question. Our results allow more precise and reliable calculations of $\Lambda_b\to \Lambda_c\ell\bar\nu$ rates, and are systematically improvable with better data on the $\mu$ (or $e$) modes.


title: The University of Cambridge's Machine Translation Systems for WMT18

abstract: The University of Cambridge submission to the WMT18 news translation task focuses on the combination of diverse models of translation. We compare recurrent, convolutional, and self-attention-based neural models on German-English, English-German, and Chinese-English. Our final system combines all neural models together with a phrase-based SMT system in an MBR-based scheme. We report small but consistent gains on top of strong Transformer ensembles.


title: Tuning magnetic charge population and mobility in unidirectional array of nanomagnets as a function of lattice parameters

abstract: Sets of nanomagnets are often utilized to mimic cellular automata in design of nanomagnetic logic devices or frustration and emergence of magnetic charges in artificial spin ice systems. in previous work we showed that unidirectional arrangement of nanomagnets can behave as artificial spin ice, with frustration arising from second neighbor dipolar interaction, and present good magnetic charge mobility due to the low string tension among charges. Here, we present an experimental investigation of magnetic charge population and mobility in function of lateral and longitudinal distance among nanomagnets. Our results corroborate partially the theoretical predictions, performed elsewhere by emergent interaction model, could be useful in nanomagnet logic devices design and brings new insights about the best design for magnetic charge ballistic transport under low external magnetic field with magnetic charge mobility tunning for application in magnetricity.


title: Kinematics of Highly R-Process-Enhanced Field Stars: Evidence for an Accretion Origin and Detection of Several Groups from Disrupted Satellites

abstract: We present kinematics of 35 highly r-process-enhanced ([Eu/Fe] >= +0.7) metal-poor (-3.8 < [Fe/H] < -1.4) field stars. We calculate six-dimensional positions and velocities, evaluate energies and integrals of motion, and compute orbits for each of these stars using parallaxes and proper motions from the second Gaia data release and published radial velocities. All of these stars have halo kinematics. Most stars (66%) remain in the inner regions of the halo (< 13 kpc), and many (51%) have orbits that pass within 2.6 kpc of the Galactic center. Several stars (20%) have orbits that extend beyond 20 kpc, including one with an orbital apocenter larger than the Milky Way virial radius. We apply three clustering methods to search for structure in phase space, and we identify eight groups. No abundances are considered in the clustering process, but the [Fe/H] dispersions of the groups are smaller than would be expected by random chance. The orbital properties, clustering in phase space and metallicity, and lack of highly r-process-enhanced stars on disk-like orbits indicate that such stars likely were accreted from disrupted satellites. Comparison with the galaxy luminosity-metallicity relation suggests M_V > -9 for most of the progenitor satellites, characteristic of ultra-faint or low-luminosity classical dwarf spheroidal galaxies. Environments with low rates of star formation and Fe production, rather than the nature of the r-process site, may be key to obtaining the [Eu/Fe] ratios found in highly r-process-enhanced stars.


title: Learning To Split and Rephrase From Wikipedia Edit History

abstract: Split and rephrase is the task of breaking down a sentence into shorter ones that together convey the same meaning. We extract a rich new dataset for this task by mining Wikipedia's edit history: WikiSplit contains one million naturally occurring sentence rewrites, providing sixty times more distinct split examples and a ninety times larger vocabulary than the WebSplit corpus introduced by Narayan et al. (2017) as a benchmark for this task. Incorporating WikiSplit as training data produces a model with qualitatively better predictions that score 32 BLEU points above the prior best result on the WebSplit benchmark.


title: The R-Process Alliance: A Comprehensive Abundance Analysis of HD 222925, a Metal-Poor Star with an Extreme R-Process Enhancement of [Eu/H] = -0.14

abstract: We present a detailed abundance analysis of the bright (V = 9.02), metal-poor ([Fe/H] = -1.47 +/- 0.08) field red horizontal-branch star HD 222925, which was observed as part of an ongoing survey by the R-Process Alliance. We calculate stellar parameters and derive abundances for 46 elements based on 901 lines examined in a high-resolution optical spectrum obtained using the Magellan Inamori Kyocera Echelle spectrograph. We detect 28 elements with 38 <= Z <= 90; their abundance pattern is a close match to the Solar r-process component. The distinguishing characteristic of HD 222925 is an extreme enhancement of r-process elements ([Eu/Fe] = +1.33 +/- 0.08, [Ba/Eu] = -0.78 +/- 0.10) in a moderately metal-poor star, so the abundance of r-process elements is the highest ([Eu/H] = -0.14 +/- 0.09) in any known r-process-enhanced star. The abundance ratios among lighter (Z <= 30) elements are typical for metal-poor stars, indicating that production of these elements was dominated by normal Type II supernovae, with no discernible contributions from Type Ia supernovae or asymptotic giant branch stars. The chemical and kinematic properties of HD 222925 suggest it formed in a low-mass dwarf galaxy, which was enriched by a high-yield r-process event before being disrupted by interaction with the Milky Way.


title: Comparison of theoretical and observed Ca~{\sc ii}~8542 Stokes profiles in quiet regions at the centre of the solar disc

abstract: Interpreting the Stokes profiles observed in quiet regions of the solar chromosphere is a challenging task. The Stokes Q and U profiles are dominated by the scattering polarisation and the Hanle effect, and these processes can only be correctly quantified if 3D radiative transfer effects are taken into account. Forward-modelling of the intensity and polarisation of spectral lines using a 3D model atmosphere is a suitable approach in order to statistically compare the theoretical and observed line profiles. Our aim is to present novel observations of the Ca 8542 line profiles in a quiet region at the centre of the solar disc and to quantitatively compare them with the theoretical Stokes profiles. We aim at estimating the reliability of the 3D model atmosphere using not only the line intensity but the full vector of Stokes parameters. We used data obtained with the ZIMPOL instrument at the IRSOL and compared the observations with the theoretical profiles computed with the PORTA radiative transfer code, using as solar model atmosphere a 3D snapshot taken from a radiation-magnetohydrodynamics simulation. The synthetic profiles were degraded to match the instrument and observing conditions. The degraded theoretical profiles of the Ca 8542 line are qualitatively similar to the observed ones. We confirm that there is a fundamental difference in the widths of all Stokes profiles: the observed lines are wider than the theoretical lines. We find that the amplitudes of the observed profiles are larger than those of the theoretical ones, which suggests that the symmetry breaking effects in the solar chromosphere are stronger than in the model atmosphere. This means that the isosurfaces of temperature, velocity, and magnetic field strength and orientation are more corrugated in the solar chromosphere than in the currently available 3D radiation-magnetohydrodynamics simulation.


title: Induced Polarization from Birefringent Pulse Splitting in Magnetoionic Media

abstract: Birefringence in ionized, magnetized media is usually measured as Faraday rotation of linearly polarized radiation. However, pulses propagating through regions with very large Faraday rotation measures (RMs) can split into circularly polarized components with measurable differences in arrival times $\propto \nu^{-3}\, \rm RM$, where $\nu$ is the radio frequency. Differential refraction from gradients in DM (dispersion measure) and RM can contribute a splitting time $\propto \vert \mathbf{\nabla_{\perp}} \rm DM \vert \vert \mathbf{\nabla_{\perp}}\rm RM \vert\,\nu^{-5}$. Regardless of whether the emitted pulse is unpolarized or linearly polarized, net circular polarization will be measured when splitting is a significant fraction of the pulse width. However, the initial polarization may be inferable from the noise statistics of the bursts. Extreme multipath scattering that broadens pulses can mask splitting effects. We discuss particular cases such as the Galactic center magnetar, J1749$-$2900, and the repeating fast radio burst source, FRB 121102. Both lines of sight have $\rm RM \sim 10^5~\rm rad~m^{-2}$ that yields millisecond splittings at frequencies well below $\sim 1 \text{ GHz}$. We also consider the splitting of nanosecond shot pulses in giant pulses from the Crab pulsar and the minimal effects of birefringence on precision pulsar timing. Finally, we explore the utility of two-dimensional coherent dedispersion with DM and RM as parameters.