Faster Algorithms for Weighted Recursive State Machines

Pushdown systems (PDSs) and recursive state machines (RSMs), which are linearly equivalent, are standard models for interprocedural analysis. Yet RSMs are more convenient as they (a) explicitly model function calls and returns, and (b) specify many natural parameters for algorithmic analysis, e.g., the number of entries and exits. We consider a general framework where RSM transitions are labeled from a semiring and path properties are algebraic with semiring operations, which can model, e.g., interprocedural reachability and dataflow analysis problems. Our main contributions are new algorithms for several fundamental problems. As compared to a direct translation of RSMs to PDSs and the best-known existing bounds of PDSs, our analysis algorithm improves the complexity for finite-height semirings (that subsumes reachability and standard dataflow properties). We further consider the problem of extracting distance values from the representation structures computed by our algorithm, and give efficient algorithms that distinguish the complexity of a one-time preprocessing from the complexity of each individual query. Another advantage of our algorithm is that our improvements carry over to the concurrent setting, where we improve the best-known complexity for the context-bounded analysis of concurrent RSMs. Finally, we provide a prototype implementation that gives a significant speed-up on several benchmarks from the SLAM/SDV project

Entanglement Entropy of 3-d Conformal Gauge Theories with Many Flavors

Three-dimensional conformal field theories (CFTs) of deconfined gauge fields coupled to gapless flavors of fermionic and bosonic matter describe quantum critical points of condensed matter systems in two spatial dimensions. An important characteristic of these CFTs is the finite part of the entanglement entropy across a circle. The negative of this quantity is equal to the finite part of the free energy of the Euclidean CFT on the three-sphere, and it has been proposed to satisfy the so called F-theorem, which states that it decreases under RG flow and is stationary at RG fixed points. We calculate the three-sphere free energy of non-supersymmetric gauge theory with a large number N_F of bosonic and/or fermionic flavors to the first subleading order in 1/N_F. We also calculate the exact free energies of the analogous chiral and non-chiral {\cal N} = 2 supersymmetric theories using localization, and find agreement with the 1/N_F expansion. We analyze some RG flows of supersymmetric theories, providing further evidence for the F-theorem.Comment: 31 pages, 2 figures; v2 refs added, minor change

Surprisingly Simple Spectra

The large N limit of the anomalous dimensions of operators in ${\cal N}=4$ super Yang-Mills theory described by restricted Schur polynomials, are studied. We focus on operators labeled by Young diagrams that have two columns (both long) so that the classical dimension of these operators is O(N). At large N these two column operators mix with each other but are decoupled from operators with $n\ne 2$ columns. The planar approximation does not capture the large N dynamics. For operators built with 2, 3 or 4 impurities the dilatation operator is explicitly evaluated. In all three cases, in a certain limit, the dilatation operator is a lattice version of a second derivative, with the lattice emerging from the Young diagram itself. The one loop dilatation operator is diagonalized numerically. All eigenvalues are an integer multiple of $8g_{YM}^2$ and there are interesting degeneracies in the spectrum. The spectrum we obtain for the one loop anomalous dimension operator is reproduced by a collection of harmonic oscillators. This equivalence to harmonic oscillators generalizes giant graviton results known for the BPS sector and further implies that the Hamiltonian defined by the one loop large $N$ dilatation operator is integrable. This is an example of an integrable dilatation operator, obtained by summing both planar and non-planar diagrams.Comment: 34 page

T-Branes and Monodromy

We introduce T-branes, or "triangular branes," which are novel non-abelian bound states of branes characterized by the condition that on some loci, their matrix of normal deformations, or Higgs field, is upper triangular. These configurations refine the notion of monodromic branes which have recently played a key role in F-theory phenomenology. We show how localized matter living on complex codimension one subspaces emerge, and explain how to compute their Yukawa couplings, which are localized in complex codimension two. Not only do T-branes clarify what is meant by brane monodromy, they also open up a vast array of new possibilities both for phenomenological constructions and for purely theoretical applications. We show that for a general T-brane, the eigenvalues of the Higgs field can fail to capture the spectrum of localized modes. In particular, this provides a method for evading some constraints on F-theory GUTs which have assumed that the spectral equation for the Higgs field completely determines a local model.Comment: 110 pages, 5 figure

Design and Control of Compliant Tensegrity Robots Through Simulation and Hardware Validation

To better understand the role of tensegrity structures in biological systems and their application to robotics, the Dynamic Tensegrity Robotics Lab at NASA Ames Research Center has developed and validated two different software environments for the analysis, simulation, and design of tensegrity robots. These tools, along with new control methodologies and the modular hardware components developed to validate them, are presented as a system for the design of actuated tensegrity structures. As evidenced from their appearance in many biological systems, tensegrity ("tensile-integrity") structures have unique physical properties which make them ideal for interaction with uncertain environments. Yet these characteristics, such as variable structural compliance, and global multi-path load distribution through the tension network, make design and control of bio-inspired tensegrity robots extremely challenging. This work presents the progress in using these two tools in tackling the design and control challenges. The results of this analysis includes multiple novel control approaches for mobility and terrain interaction of spherical tensegrity structures. The current hardware prototype of a six-bar tensegrity, code-named ReCTeR, is presented in the context of this validation

Screening patients for unintentional carbon monoxide exposure in the Emergency Department: a cross-sectional multi-centre study.

BACKGROUND: Low-level exposure to carbon monoxide (CO) is a significant health concern but is difficult to diagnose. This main study aim was to establish the prevalence of low-level CO poisoning in Emergency Department (ED) patients. METHODS: A prospective cross-sectional study of patients with symptoms of CO exposure was conducted in four UK EDs between December 2018 and March 2020. Data on symptoms, a CO screening tool and carboxyhaemoglobin were collected. An investigation of participants' homes was undertaken to identify sources of CO exposure. RESULTS: Based on an ED assessment of 4175 participants, the prevalence of suspected CO exposure was 0.62% (95% CI; 0.41-0.91%). CO testing in homes confirmed 1 case of CO presence and 21 probable cases. Normal levels of carboxyhaemoglobin were found in 19 cases of probable exposure and in the confirmed case. CONCLUSION: This study provides evidence that ED patients with symptoms suggestive of CO poisoning but no history of CO exposure are at risk from CO poisoning. The findings suggest components of the CO screening tool may be an indicator of CO exposure over and above elevated COHb. Clinicians should have a high index of suspicion for CO exposure so that this important diagnosis is not missed

Flux and Instanton Effects in Local F-theory Models and Hierarchical Fermion Masses

We study the deformation induced by fluxes and instanton effects on Yukawa couplings involving 7-brane intersections in local F-theory constructions. In the absence of non-perturbative effects, holomorphic Yukawa couplings do not depend on open string fluxes. On the other hand instanton effects (or gaugino condensation on distant 7-branes) do induce corrections to the Yukawas. The leading order effect may also be captured by the presence of closed string (1,2) IASD fluxes, which give rise to a non-commutative structure. We check that even in the presence of these non-perturbative effects the holomorphic Yukawas remain independent of magnetic fluxes. Although fermion mass hierarchies may be obtained from these non-perturbative effects, they would give identical Yukawa couplings for D-quark and Lepton masses in SU(5) F-theory GUT's, in contradiction with experiment. We point out that this problem may be solved by appropriately normalizing the wavefunctions. We show in a simple toy model how the presence of hypercharge flux may then be responsible for the difference between D-quarks and Lepton masses in local SU(5) GUT's.Comment: 84 pages, 1 figure. v2: minor corrections and references adde

Meraculous: De Novo Genome Assembly with Short Paired-End Reads

We describe a new algorithm, meraculous, for whole genome assembly of deep paired-end short reads, and apply it to the assembly of a dataset of paired 75-bp Illumina reads derived from the 15.4 megabase genome of the haploid yeast Pichia stipitis. More than 95% of the genome is recovered, with no errors; half the assembled sequence is in contigs longer than 101 kilobases and in scaffolds longer than 269 kilobases. Incorporating fosmid ends recovers entire chromosomes. Meraculous relies on an efficient and conservative traversal of the subgraph of the k-mer (deBruijn) graph of oligonucleotides with unique high quality extensions in the dataset, avoiding an explicit error correction step as used in other short-read assemblers. A novel memory-efficient hashing scheme is introduced. The resulting contigs are ordered and oriented using paired reads separated by ∼280 bp or ∼3.2 kbp, and many gaps between contigs can be closed using paired-end placements. Practical issues with the dataset are described, and prospects for assembling larger genomes are discussed

The global distribution and burden of dengue.

Dengue is a systemic viral infection transmitted between humans by Aedes mosquitoes. For some patients, dengue is a life-threatening illness. There are currently no licensed vaccines or specific therapeutics, and substantial vector control efforts have not stopped its rapid emergence and global spread. The contemporary worldwide distribution of the risk of dengue virus infection and its public health burden are poorly known. Here we undertake an exhaustive assembly of known records of dengue occurrence worldwide, and use a formal modelling framework to map the global distribution of dengue risk. We then pair the resulting risk map with detailed longitudinal information from dengue cohort studies and population surfaces to infer the public health burden of dengue in 2010. We predict dengue to be ubiquitous throughout the tropics, with local spatial variations in risk influenced strongly by rainfall, temperature and the degree of urbanization. Using cartographic approaches, we estimate there to be 390 million (95% credible interval 284-528) dengue infections per year, of which 96 million (67-136) manifest apparently (any level of disease severity). This infection total is more than three times the dengue burden estimate of the World Health Organization. Stratification of our estimates by country allows comparison with national dengue reporting, after taking into account the probability of an apparent infection being formally reported. The most notable differences are discussed. These new risk maps and infection estimates provide novel insights into the global, regional and national public health burden imposed by dengue. We anticipate that they will provide a starting point for a wider discussion about the global impact of this disease and will help to guide improvements in disease control strategies using vaccine, drug and vector control methods, and in their economic evaluation