Floquet topological transitions in a driven one-dimensional topological insulator

The Su-Schrieffer-Heeger model of polyacetylene is a paradigmatic Hamiltonian exhibiting non-trivial edge states. By using Floquet theory we study how the spectrum of this one-dimensional topological insulator is affected by a time-dependent potential. In particular, we evidence the competition among different photon-assisted processes and the native topology of the unperturbed Hamiltonian to settle the resulting topology at different driving frequencies. While some regions of the quasienergy spectrum develop new gaps hosting Floquet edge states, the native gap can be dramatically reduced and the original edge states may be destroyed or replaced by new Floquet edge states. Our study is complemented by an analysis of Zak phase applied to the Floquet bands. Besides serving as a simple example for understanding the physics of driven topological phases, our results could find a promising test-ground in cold matter experiments

Crafting zero-bias one-way transport of charge and spin

We explore the electronic structure and transport properties of a metal on top of a (weakly coupled) two-dimensional topological insulator. Unlike the widely studied junctions between topological non-trivial materials, the systems studied here allow for a unique bandstructure and transport steering. First, states on the topological insulator layer may coexist with the gapless bulk and, second, the edge states on one edge can be selectively switched-off, thereby leading to nearly perfect directional transport of charge and spin even in the zero bias limit. We illustrate these phenomena for Bernal stacked bilayer graphene with Haldane or intrinsic spin-orbit terms and a perpendicular bias voltage. This opens a path for realizing directed transport in materials such as van der Waals heterostructures, monolayer and ultrathin topological insulators.Comment: 7 pages, 7 figure

On paths-based criteria for polynomial time complexity in proof-nets

Girard's Light linear logic (LLL) characterized polynomial time in the proof-as-program paradigm with a bound on cut elimination. This logic relied on a stratification principle and a "one-door" principle which were generalized later respectively in the systems L^4 and L^3a. Each system was brought with its own complex proof of Ptime soundness. In this paper we propose a broad sufficient criterion for Ptime soundness for linear logic subsystems, based on the study of paths inside the proof-nets, which factorizes proofs of soundness of existing systems and may be used for future systems. As an additional gain, our bound stands for any reduction strategy whereas most bounds in the literature only stand for a particular strategy.Comment: Long version of a conference pape

On Probabilistic Applicative Bisimulation and Call-by-Value λ\lambda-Calculi (Long Version)

Probabilistic applicative bisimulation is a recently introduced coinductive methodology for program equivalence in a probabilistic, higher-order, setting. In this paper, the technique is applied to a typed, call-by-value, lambda-calculus. Surprisingly, the obtained relation coincides with context equivalence, contrary to what happens when call-by-name evaluation is considered. Even more surprisingly, full-abstraction only holds in a symmetric setting.Comment: 30 page

Acute Strenuous Exercise Induces an Imbalance on Histone H4 Acetylation/Histone Deacetylase 2 and Increases the Proinflammatory Profile of PBMC of Obese Individuals

This study evaluated the response of global histone H4 acetylation (H4ac), histone deacetylase 2 (HDAC2) activity, as well as the production of proinflammatory cytokines and monocyte phenotypes of lean and obese males after exercise. Ten lean and ten obese sedentary men were submitted to one session of strenuous exercise, and peripheral blood mononuclear cells (PBMC) were stimulated in vitro with lipopolysaccharide (LPS). Global H4ac levels, HDAC2 activity in PBMC, and IL-6, IL-8, and TNF-α production were analyzed. Monocyte phenotype was determined in accordance with the expression of CD14 and CD16. At rest, obese individuals presented higher frequency of proinflammatory CD14+CD16+ monocytes. LPS induced a significant augment in global H4ac and in the production of IL-6, IL-8, and TNF-α mainly in obese individuals. After exercise, the increased production of IL-8 and TNF-α and peripheral frequency of CD14+CD16+ were observed in both groups. In addition, exercise also induced a significant hyperacetylation of histone H4 and decreased HDAC2 activity in both nonstimulated and LPS-stimulated PBMC of obese individuals. Our data indicate that the obesity impacts on H4ac levels and that strenuous exercise leads to an enhanced chronic low-grade inflammation profile in obesity via an imbalance on H4ac/HDAC2

A Lambda-Calculus Foundation for Universal Probabilistic Programming

We develop the operational semantics of an untyped probabilistic lambda-calculus with continuous distributions, as a foundation for universal probabilistic programming languages such as Church, Anglican, and Venture. Our first contribution is to adapt the classic operational semantics of lambda-calculus to a continuous setting via creating a measure space on terms and defining step-indexed approximations. We prove equivalence of big-step and small-step formulations of this distribution-based semantics. To move closer to inference techniques, we also define the sampling-based semantics of a term as a function from a trace of random samples to a value. We show that the distribution induced by integrating over all traces equals the distribution-based semantics. Our second contribution is to formalize the implementation technique of trace Markov chain Monte Carlo (MCMC) for our calculus and to show its correctness. A key step is defining sufficient conditions for the distribution induced by trace MCMC to converge to the distribution-based semantics. To the best of our knowledge, this is the first rigorous correctness proof for trace MCMC for a higher-order functional language

Prediction Space Weather Using an Asymmetric Cone Model for Halo CMEs

Halo coronal mass ejections (HCMEs) are responsible of the most severe geomagnetic storms. A prediction of their geoeffectiveness and travel time to Earth's vicinity is crucial to forecast space weather. Unfortunately coronagraphic observations are subjected to projection effects and do not provide true characteristics of CMEs. Recently, Michalek (2006, {\it Solar Phys.}, {\bf237}, 101) developed an asymmetric cone model to obtain the space speed, width and source location of HCMEs. We applied this technique to obtain the parameters of all front-sided HCMEs observed by the SOHO/LASCO experiment during a period from the beginning of 2001 until the end of 2002 (solar cycle 23). These parameters were applied for the space weather forecast. Our study determined that the space speeds are strongly correlated with the travel times of HCMEs within Earth's vicinity and with the magnitudes related to geomagnetic disturbances