937 research outputs found
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
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 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 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 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
Recommended from our members
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
- …