1,630 research outputs found
Wrinkling of a bilayer membrane
The buckling of elastic bodies is a common phenomenon in the mechanics of
solids. Wrinkling of membranes can often be interpreted as buckling under
constraints that prohibit large amplitude deformation. We present a combination
of analytic calculations, experiments, and simulations to understand wrinkling
patterns generated in a bilayer membrane. The model membrane is composed of a
flexible spherical shell that is under tension and that is circumscribed by a
stiff, essentially incompressible strip with bending modulus B. When the
tension is reduced sufficiently to a value \sigma, the strip forms wrinkles
with a uniform wavelength found theoretically and experimentally to be \lambda
= 2\pi(B/\sigma)^{1/3}. Defects in this pattern appear for rapid changes in
tension. Comparison between experiment and simulation further shows that, with
larger reduction of tension, a second generation of wrinkles with longer
wavelength appears only when B is sufficiently small.Comment: 9 pages, 5 color figure
Stochastic Invariants for Probabilistic Termination
Termination is one of the basic liveness properties, and we study the
termination problem for probabilistic programs with real-valued variables.
Previous works focused on the qualitative problem that asks whether an input
program terminates with probability~1 (almost-sure termination). A powerful
approach for this qualitative problem is the notion of ranking supermartingales
with respect to a given set of invariants. The quantitative problem
(probabilistic termination) asks for bounds on the termination probability. A
fundamental and conceptual drawback of the existing approaches to address
probabilistic termination is that even though the supermartingales consider the
probabilistic behavior of the programs, the invariants are obtained completely
ignoring the probabilistic aspect.
In this work we address the probabilistic termination problem for
linear-arithmetic probabilistic programs with nondeterminism. We define the
notion of {\em stochastic invariants}, which are constraints along with a
probability bound that the constraints hold. We introduce a concept of {\em
repulsing supermartingales}. First, we show that repulsing supermartingales can
be used to obtain bounds on the probability of the stochastic invariants.
Second, we show the effectiveness of repulsing supermartingales in the
following three ways: (1)~With a combination of ranking and repulsing
supermartingales we can compute lower bounds on the probability of termination;
(2)~repulsing supermartingales provide witnesses for refutation of almost-sure
termination; and (3)~with a combination of ranking and repulsing
supermartingales we can establish persistence properties of probabilistic
programs.
We also present results on related computational problems and an experimental
evaluation of our approach on academic examples.Comment: Full version of a paper published at POPL 2017. 20 page
Topological Floquet engineering of twisted bilayer graphene
We investigate the topological properties of Floquet-engineered twisted bilayer graphene above the so-called magic angle driven by circularly polarized laser pulses. Employing a full Moiré-unit-cell tight-binding Hamiltonian based on first-principles electronic structure, we show that the band topology in the bilayer, at twisting angles above 1.05∘, essentially corresponds to the one of single-layer graphene. However, the ability to open topologically trivial gaps in this system by a bias voltage between the layers enables the full topological phase diagram to be explored, which is not possible in single-layer graphene. Circularly polarized light induces a transition to a topologically nontrivial Floquet band structure with the Berry curvature analogous to a Chern insulator. Importantly, the twisting allows for tuning electronic energy scales, which implies that the electronic bandwidth can be tailored to match realistic driving frequencies in the ultraviolet or midinfrared photon-energy regimes. This implies that Moiré superlattices are an ideal playground for combining twistronics, Floquet engineering, and strongly interacting regimes out of thermal equilibrium
Microscopic theory for the light-induced anomalous Hall effect in graphene
We employ a quantum Liouville equation with relaxation to model the recently
observed anomalous Hall effect in graphene irradiated by an ultrafast pulse of
circularly polarized light. In the weak-field regime, we demonstrate that the
Hall effect originates from an asymmetric population of photocarriers in the
Dirac bands. By contrast, in the strong-field regime, the system is driven into
a non-equilibrium steady state that is well-described by topologically
non-trivial Floquet-Bloch bands. Here, the anomalous Hall current originates
from the combination of a population imbalance in these dressed bands together
with a smaller anomalous velocity contribution arising from their Berry
curvature. This robust and general finding enables the simulation of electrical
transport from light-induced Floquet-Bloch bands in an experimentally relevant
parameter regime and creates a pathway to designing ultrafast quantum devices
with Floquet-engineered transport properties
Recommended from our members
Avoidant Coping Style to High Imminence Threat Is Linked to Higher Anxiety-Like Behavior.
Human studies with self-reported measures have suggested a link between an avoidant coping style and high anxiety. Here, using the common marmoset as a model, we characterize the latent factors underlying behavioral responses of these monkeys towards low and high imminence threat and investigate if a predominantly avoidant behavioral response to high imminence threat is associated with greater anxiety-like behavior in a context of low imminence threat. Exploratory factor analysis (EFA) of the human intruder test of low imminence threat revealed a single factor in which a combination of active vigilance and avoidance responses underpinned anxiety-like behavior. In contrast, two negatively-associated factors were revealed in the model snake test reflecting active and avoidant coping to high imminence threat. Subsequent analysis showed that animals with a predominantly avoidant coping style on the model snake test displayed higher anxiety-like behavior on the human intruder test, findings consistent with those described in humans. Together they illustrate the richness of the behavioral repertoire displayed by marmosets in low and high imminence threatening contexts and the additional insight that factor analysis can provide by identifying the latent factors underlying these complex behavioral datasets. They also highlight the translational value of this approach when studying the neural circuits underlying complex anxiety-like states in this primate model
Refinement algebra for probabilistic programs
We identify a refinement algebra for reasoning about probabilistic program transformations in a total-correctness setting. The algebra is equipped with operators that determine whether a program is enabled or terminates respectively. As well as developing the basic theory of the algebra we demonstrate how it may be used to explain key differences and similarities between standard (i.e. non-probabilistic) and probabilistic programs and verify important transformation theorems for probabilistic action systems.29 page(s
Floquet dynamics in light-driven solids
We demonstrate how the properties of light-induced electronic Floquet states
in solids impact natural physical observables, such as transport properties, by
capturing the environmental influence on the electrons. We include the
environment as dissipative processes, such as inter-band decay and dephasing,
often ignored in Floquet predictions. These dissipative processes determine the
Floquet band occupations of the emergent steady state, by balancing out the
optical driving force. In order to benchmark and illustrate our framework for
Floquet physics in a realistic solid, we consider the light-induced Hall
conductivity in graphene recently reported by J.~W.~McIver, et al., Nature
Physics (2020). We show that the Hall conductivity is estimated by the Berry
flux of the occupied states of the light-induced Floquet bands, in addition to
the kinetic contribution given by the average band velocity. Hence, Floquet
theory provides an interpretation of this Hall conductivity as a
geometric-dissipative effect. We demonstrate this mechanism within a master
equation formalism, and obtain good quantitative agreement with the
experimentally measured Hall conductivity, underscoring the validity of this
approach which establishes a broadly applicable framework for the understanding
of ultrafast non-equilibrium dynamics in solids
A species independent universal bio-detection microarray for pathogen forensics and phylogenetic classification of unknown microorganisms
<p>Abstract</p> <p>Background</p> <p>The ability to differentiate a bioterrorist attack or an accidental release of a research pathogen from a naturally occurring pandemic or disease event is crucial to the safety and security of this nation by enabling an appropriate and rapid response. It is critical in samples from an infected patient, the environment, or a laboratory to quickly and accurately identify the precise pathogen including natural or engineered variants and to classify new pathogens in relation to those that are known. Current approaches for pathogen detection rely on prior genomic sequence information. Given the enormous spectrum of genetic possibilities, a field deployable, robust technology, such as a universal (any species) microarray has near-term potential to address these needs.</p> <p>Results</p> <p>A new and comprehensive sequence-independent array (Universal Bio-Signature Detection Array) was designed with approximately 373,000 probes. The main feature of this array is that the probes are computationally derived and sequence independent. There is one probe for each possible 9-mer sequence, thus 4<sup>9 </sup>(262,144) probes. Each genome hybridized on this array has a unique pattern of signal intensities corresponding to each of these probes. These signal intensities were used to generate an un-biased cluster analysis of signal intensity hybridization patterns that can easily distinguish species into accepted and known phylogenomic relationships. Within limits, the array is highly sensitive and is able to detect synthetically mixed pathogens. Examples of unique hybridization signal intensity patterns are presented for different <it>Brucella </it>species as well as relevant host species and other pathogens. These results demonstrate the utility of the UBDA array as a diagnostic tool in pathogen forensics.</p> <p>Conclusions</p> <p>This pathogen detection system is fast, accurate and can be applied to any species. Hybridization patterns are unique to a specific genome and these can be used to decipher the identity of a mixed pathogen sample and can separate hosts and pathogens into their respective phylogenomic relationships. This technology can also differentiate between different species and classify genomes into their known clades. The development of this technology will result in the creation of an integrated biomarker-specific bio-signature, multiple select agent specific detection system.</p
Nonequilibrium Quasiparticle Relaxation Dynamics in Single Crystals of Hole and Electron doped BaFeAs
We report on the nonequilibrium quasiparticle dynamics in BaFeAs on
both the hole doped (BaKFeAs) and electron doped
(BaFeCoAs) sides of the phase diagram using ultrafast
pump-probe spectroscopy. Below , measurements conducted at low
photoinjected quasiparticle densities in the optimally and overdoped
BaKFeAs samples reveal two distinct relaxation processes: a
fast component whose decay rate increases linearly with excitation density and
a slow component with an excitation density independent decay rate. We argue
that these two processes reflect the recombination of quasiparticles in the two
hole bands through intraband and interband processes. We also find that the
thermal recombination rate of quasiparticles increases quadratically with
temperature in these samples. The temperature and excitation density dependence
of the decays indicates fully gapped hole bands and nodal or very anisotropic
electron bands. At higher excitation densities and lower hole dopings, the
dependence of the dynamics on quasiparticle density disappears as the data are
more readily understood in terms of a model which accounts for the
quasiequilibrium temperature attained by the sample. In the
BaFeCoAs samples, dependence of the recombination rate on
quasiparticle density at low dopings (i.e., ) is suppressed upon
submergence of the inner hole band and quasiparticle relaxation occurs in a
slow, density independent manner.Comment: Accepted to Phys. Rev.
Discovery of potent and selective 5-azaindazole inhibitors of leucine-rich repeat kinase 2 (LRRK2) - Part 1
- …