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

Perfect Information Stochastic Priority Games

International audienceWe introduce stochastic priority games - a new class of perfect information stochastic games. These games can take two different, but equivalent, forms. In stopping priority games a play can be stopped by the environment after a finite number of stages, however, infinite plays are also possible. In discounted priority games only infinite plays are possible and the payoff is a linear combination of the classical discount payoff and of a limit payoff evaluating the performance at infinity. Shapley games and parity games are special extreme cases of priority games

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

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⁹(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 BaFe2_2As2_2

We report on the nonequilibrium quasiparticle dynamics in BaFe$_2$As$_2$ on both the hole doped (Ba$_{1-x}$K$_x$Fe$_2$As$_2$) and electron doped (BaFe$_{2-y}$Co$_y$As$_2$) sides of the phase diagram using ultrafast pump-probe spectroscopy. Below $T_c$, measurements conducted at low photoinjected quasiparticle densities in the optimally and overdoped Ba$_{1-x}$K$_x$Fe$_2$As$_2$ 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 BaFe$_{2-y}$Co$_y$As$_2$ samples, dependence of the recombination rate on quasiparticle density at low dopings (i.e., $y=0.12$) is suppressed upon submergence of the inner hole band and quasiparticle relaxation occurs in a slow, density independent manner.Comment: Accepted to Phys. Rev.