Non-Hermitian Hamiltonians and supersymmetric quantum mechanics

Théori

Wide range and tunable linear TMR sensor using two exchange pinned electrodes

A magnetic tunnel junction sensor is proposed, with both the detection and the reference layers pinned by IrMn. Using the differences in the blocking temperatures of the IrMn films with different thicknesses, crossed anisotropies can be induced between the detection and the reference electrodes. The pinning of the sensing electrode ensures a linear and reversible output. It also allows tuning both the sensitivity and the linear range of the sensor. The authors show that the sensitivity varies linearly with the ferromagnetic thickness of the detection electrode. It is demonstrated that an increased thickness leads to a rise of sensitivity and a reduction of the operating range

Liquid transport in scale space

International audienceWhen a liquid stream is injected into a gaseous atmosphere, it destabilizes and continuously passes through different states characterized by different morphologies. Throughout this process, the flow dynamics may be different depending on the region of the flow and the scales of the involved liquid structures. Exploring this multi-scale, multi-dimensional phenomenon requires some new theoretical tools, some of which need yet to be elaborated. Here, a new analytical framework is proposed on the basis of two-point statistical equations of the liquid volume fraction. This tool, which originates from single phase turbulence, allows us notably to decompose the fluxes of liquid in flow–position space and scale space. Direct numerical simulations of liquid–gas turbulence decaying in a triply periodic domain are then used to characterize the time and scale evolution of the liquid volume fraction. It is emphasized that two-point statistics of the liquid volume fraction depend explicitly on the geometrical properties of the liquid–gas interface and in particular its surface density. The stretch rate of the liquid–gas interface is further shown to be the equivalent for the liquid volume fraction (a non-diffusive scalar) of the scalar dissipation rate. Finally, a decomposition of the transport of liquid in scale space highlights that non-local interactions between non-adjacent scales play a significant role

From LTL and Limit-Deterministic B\"uchi Automata to Deterministic Parity Automata

Controller synthesis for general linear temporal logic (LTL) objectives is a challenging task. The standard approach involves translating the LTL objective into a deterministic parity automaton (DPA) by means of the Safra-Piterman construction. One of the challenges is the size of the DPA, which often grows very fast in practice, and can reach double exponential size in the length of the LTL formula. In this paper we describe a single exponential translation from limit-deterministic B\"uchi automata (LDBA) to DPA, and show that it can be concatenated with a recent efficient translation from LTL to LDBA to yield a double exponential, \enquote{Safraless} LTL-to-DPA construction. We also report on an implementation, a comparison with the SPOT library, and performance on several sets of formulas, including instances from the 2016 SyntComp competition

Liquid transport in scale space

When a liquid stream is injected into a gaseous atmosphere, it destabilizes and continuously passes through different states characterized by different morphologies. Throughout this process, the flow dynamics may be different depending on the region of the flow and the scales of the involved liquid structures. Exploring this multi-scale, multi-dimensional phenomenon requires some new theoretical tools, some of which need yet to be elaborated. Here, a new analytical framework is proposed on the basis of two-point statistical equations of the liquid volume fraction. This tool, which originates from single phase turbulence, allows notably to decompose the fluxes of liquid in flow-position space and scale space. Direct Numerical Simulations of liquid-gas turbulence decaying in a triply periodic domain are then used to characterize the time and scale evolution of the liquid volume fraction. It is emphasized that two-point statistics of the liquid volume fraction depend explicitly on the geometrical properties of the liquid-gas interface and in particular its surface density. The stretch rate of the liquid-gas interface is further shown to be the equivalent for the liquid volume fraction (a non diffusive scalar) of the scalar dissipation rate. Finally, a decomposition of the transport of liquid in scale space highlights that non-local interactions between non adjacent scales play a significant role

PriorsEditor: a tool for the creation and use of positional priors in motif discovery

Summary: Computational methods designed to discover transcription factor binding sites in DNA sequences often have a tendency to make a lot of false predictions. One way to improve accuracy in motif discovery is to rely on positional priors to focus the search to parts of a sequence that are considered more likely to contain functional binding sites. We present here a program called PriorsEditor that can be used to create such positional priors tracks based on a combination of several features, including phylogenetic conservation, nucleosome occupancy, histone modifications, physical properties of the DNA helix and many more

Is there a best Büchi automaton for explicit model checking?

LTL to Büchi automata (BA) translators are traditionally optimized to produce automata with a small number of states or a small number of non-deterministic states. In this paper, we search for properties of Büchi automata that really influence the performance of explicit model checkers. We do that by manual analysis of several automata and by experiments with common LTL-to-BA translators and realistic verification tasks. As a result of these experiences, we gain a better insight into the characteristics of automata that work well with Spin.Překladače LTL na Büchiho automaty jsou obvykle optimalizovány tak, aby produkovaly automaty s co nejmenším počtem stavů, či s co nejmenším počtem nedeterministických stavů. V této publikaci hledáme vlastnosti Büchiho automatů, které skutečně ovlivňují výkon nástrojů pro explicitní metodu ověřování modelu (model checking). A to pomocí manuální analýzy několika automatů a experimenty s běžnými překladače LTL na automaty a realistickými verifikačními úlohami. Výsledkem těchto experimentů je lepší porozumění charakteristik automatů, které jsou dobré pro model checker Spin

Embedding A4 into left-right flavor symmetry: Tribimaximal neutrino mixing and fermion hierarchy

We address two fundamental aspects of flavor physics: the mass hierarchy and the large lepton mixing angles. On one side, left-right flavor symmetry realizes the democratic mass matrix patterns and explains why one family is much heavier than the others. On the other side, discrete flavor symmetry such as A4 leads to the observed tribimaximal mixing for the leptons. We show that, by explicitly breaking the left-right flavor symmetry into the diagonal A4, it is possible to explain both the observed charged fermion mass hierarchies and quark and lepton mixing angles. In particular we predict a heavy 3rd family, the tribimaximal mixing for the leptons, and we suggest a possible origin of the Cabibbo and other mixing angles for the quarks.Comment: 9 pages, uses revtex4 and axodraw.st