Crop ontology in support of conservation and use of banana genetic resources

Poster presented at Workshop on Crop Ontology and Phenotyping Data Interoperability. Montpellier (France), 31 Mar-4 Apr 201

Zeeman effect in superconducting two-leg ladders: irrational magnetization plateaus and exceeding the Pauli limit

The effect of a parallel magnetic field on superconducting two-leg ladders is investigated numerically. The magnetization curve displays an irrational plateau at a magnetization equal to the hole density. Remarkably, its stability is fundamentally connected to the existence of a well-known magnetic resonant mode. Once the zero-field spin gap is suppressed by the field, pairs acquire a finite momentum characteristic of a Fulde-Ferrell-Larkin-Ovchinnikov phase. In addition, S^z=0 triplet superconducting correlations coexist with singlet ones above the irrational plateau. This provides a simple mechanism in which the Pauli limit is exceeded as suggested by recent experiments.Comment: 4 pages, 6 figure

Emergence of Quintet Superfluidity in the Chain of Partially Polarized Spin-3/2 Ultracold Atom

The system of ultracold atoms with hyperfine spin $F=3/2$ might be unstable against the formation of quintet pairs if the interaction is attractive in the quintet channel. We have investigated the behavior of correlation functions in a model including only s-wave interactions at quarter filling by large-scale density-matrix renormalization-group simulations. We show that the correlations of quintet pairs become quasi-long-ranged, when the system is partially polarized, leading to the emergence of various mixed superfluid phases in which BCS-like pairs carrying different magnetic moment coexist.Comment: 4 pages, 4 figures; significantly rewritten compared to the first versio

The quasi-periodic Bose-Hubbard model and localization in one-dimensional cold atomic gases

We compute the phase diagram of the one-dimensional Bose-Hubbard model with a quasi-periodic potential by means of the density-matrix renormalization group technique. This model describes the physics of cold atoms loaded in an optical lattice in the presence of a superlattice potential whose wave length is incommensurate with the main lattice wave length. After discussing the conditions under which the model can be realized experimentally, the study of the density vs. the chemical potential curves for a non-trapped system unveils the existence of gapped phases at incommensurate densities interpreted as incommensurate charge-density wave phases. Furthermore, a localization transition is known to occur above a critical value of the potential depth V_2 in the case of free and hard-core bosons. We extend these results to soft-core bosons for which the phase diagrams at fixed densities display new features compared with the phase diagrams known for random box distribution disorder. In particular, a direct transition from the superfluid phase to the Mott insulating phase is found at finite V_2. Evidence for reentrances of the superfluid phase upon increasing interactions is presented. We finally comment on different ways to probe the emergent quantum phases and most importantly, the existence of a critical value for the localization transition. The later feature can be investigated by looking at the expansion of the cloud after releasing the trap.Comment: 19 pages, 20 figure

Internal states of model isotropic granular packings. III. Elastic properties

In this third and final paper of a series, elastic properties of numerically simulated isotropic packings of spherical beads assembled by different procedures and subjected to a varying confining pressure P are investigated. In addition P, which determines the stiffness of contacts by Hertz's law, elastic moduli are chiefly sensitive to the coordination number, the possible values of which are not necessarily correlated with the density. Comparisons of numerical and experimental results for glass beads in the 10kPa-10MPa range reveal similar differences between dry samples compacted by vibrations and lubricated packings. The greater stiffness of the latter, in spite of their lower density, can hence be attributed to a larger coordination number. Voigt and Reuss bounds bracket bulk modulus B accurately, but simple estimation schemes fail for shear modulus G, especially in poorly coordinated configurations under low P. Tenuous, fragile networks respond differently to changes in load direction, as compared to load intensity. The shear modulus, in poorly coordinated packings, tends to vary proportionally to the degree of force indeterminacy per unit volume. The elastic range extends to small strain intervals, in agreement with experimental observations. The origins of nonelastic response are discussed. We conclude that elastic moduli provide access to mechanically important information about coordination numbers, which escape direct measurement techniques, and indicate further perspectives.Comment: Published in Physical Review E 25 page

Model-Checking with Edge-Valued Decision Diagrams

We describe an algebra of Edge-Valued Decision Diagrams (EVMDDs) to encode arithmetic functions and its implementation in a model checking library along with state-of-the-art algorithms for building the transition relation and the state space of discrete state systems. We provide efficient algorithms for manipulating EVMDDs and give upper bounds of the theoretical time complexity of these algorithms for all basic arithmetic and relational operators. We also demonstrate that the time complexity of the generic recursive algorithm for applying a binary operator on EVMDDs is no worse than that of Multi-Terminal Decision Diagrams. We have implemented a new symbolic model checker with the intention to represent in one formalism the best techniques available at the moment across a spectrum of existing tools: EVMDDs for encoding arithmetic expressions, identity-reduced MDDs for representing the transition relation, and the saturation algorithm for reachability analysis. We compare our new symbolic model checking EVMDD library with the widely used CUDD package and show that, in many cases, our tool is several orders of magnitude faster than CUDD

Phases of Chiral Gauge Theories

We discuss the behavior of two non-supersymmetric chiral SU(N) gauge theories, involving fermions in the symmetric and antisymmetric two-index tensor representations respectively. In addition to global anomaly matching, we employ a recently proposed inequality constraint on the number of effective low energy (massless) degrees of freedom of a theory, based on the thermodynamic free energy. Several possible zero temperature phases are consistent with the constraints. A simple picture for the phase structure emerges if these theories choose the phase, consistent with global anomaly matching, that minimizes the massless degree of freedom count defined through the free energy. This idea suggests that confinement with the preservation of the global symmetries through the formation of massless composite fermions is in general not preferred. While our discussion is restricted mainly to bilinear condensate formation, higher dimensional condensates are considered for one case. We conclude by commenting briefly on two related supersymmetric chiral theories.Comment: 23 pages, 2 figures, ReVTeX, improved forma

Dynamic structure factors of a dense mixture

We compute the dynamic structure factors of a dense binary liquid mixture. These describe dynamics on molecular length scales, where structural relaxation is important. We find that the presence of a few large particles in a dense fluid of small particles slows down the dynamics considerably. We also observe a deep narrowing of the spectrum for a disordered mixture composed of a nearly equal packing of the two species. In contrast, a few small particles diffuse easily in the background of a dense fluid of large particles. We expect our results to describe neutron scattering from a dense mixture