Cold, warm, and composite (cool) cosmic string models

The dynamical behaviour of a cosmic string is strongly affected by any reduction of the effective string tension $T$ below the constant value $T=m^2$ say that characterizes the simple, longitudinally Lorentz invariant, Goto Nambu string model in terms of a fixed mass scale $m$ whose magnitude depends on that of the Higgs field responsible for the existence of the string. Such a reduction occurs in the standard "hot" cosmic string model in which the effect of thermal perturbations of a simple Goto Nambu model is expressed by the formula $T^2=m^2(m^2-2\pi\Theta^2/3)$, where $\Theta$ is the string temperature. A qualitatively similar though analytically more complicated tension reduction phenomenon occurs in "cold" conducting cosmic string models where the role of the temperature is played by an effective chemical potential $\mu$ that is constructed as the magnitude of the phase $\phi$ of a bosonic condensate of the kind whose existence was first proposed by Witten. The present article describes the construction and essential mechanical properties of a category of "warm" cosmic string models that are intermediate between these "hot" and "cold" extremes. These "warm" models are the string analogues of the standard Landau model for a 2-constituent finite temperature superfluid, and as such involve two independent currents interpretable as that of the entropy on one hand and that of the bosonic condensate on the other. It is surmised that the stationary (in particular ring) equilibrium states of such "warm" cosmic strings may be of cosmological significance.Comment: 31 pages, Tex preprint version of manuscript subsequently published (with editorial modifications) in Nuclear Physics

Tunable Hydrogen Storage in Magnesium - Transition Metal Compounds

Magnesium dihydride (\mgh) stores 7.7 weight % hydrogen, but it suffers from a high thermodynamic stability and slow (de)hydrogenation kinetics. Alloying Mg with lightweight transition metals (TM = Sc, Ti, V, Cr) aims at improving the thermodynamic and kinetic properties. We study the structure and stability of Mg$_x$TM$_{1-x}$H$_2$ compounds, $x=[0$-1], by first-principles calculations at the level of density functional theory. We find that the experimentally observed sharp decrease in hydrogenation rates for $x\gtrsim0.8$ correlates with a phase transition of Mg$_x$TM$_{1-x}$H$_2$ from a fluorite to a rutile phase. The stability of these compounds decreases along the series Sc, Ti, V, Cr. Varying the transition metal (TM) and the composition $x$, the formation enthalpy of Mg$_x$TM$_{1-x}$H$_2$ can be tuned over the substantial range 0-2 eV/f.u. Assuming however that the alloy Mg$_x$TM$_{1-x}$ does not decompose upon dehydrogenation, the enthalpy associated with reversible hydrogenation of compounds with a high magnesium content ($x=0.75$) is close to that of pure Mg.Comment: 8 pages, 5 figure

Extreme mechanical resilience of self-assembled nanolabyrinthine materials

Low-density materials with tailorable properties have attracted attention for decades, yet stiff materials that can resiliently tolerate extreme forces and deformation while being manufactured at large scales have remained a rare find. Designs inspired by nature, such as hierarchical composites and atomic lattice-mimicking architectures, have achieved optimal combinations of mechanical properties but suffer from limited mechanical tunability, limited long-term stability, and low-throughput volumes that stem from limitations in additive manufacturing techniques. Based on natural self-assembly of polymeric emulsions via spinodal decomposition, here we demonstrate a concept for the scalable fabrication of nonperiodic, shell-based ceramic materials with ultralow densities, possessing features on the order of tens of nanometers and sample volumes on the order of cubic centimeters. Guided by simulations of separation processes, we numerically show that the curvature of self-assembled shells can produce close to optimal stiffness scaling with density, and we experimentally demonstrate that a carefully chosen combination of topology, geometry, and base material results in superior mechanical resilience in the architected product. Our approach provides a pathway to harnessing self-assembly methods in the design and scalable fabrication of beyond-periodic and nonbeam-based nano-architected materials with simultaneous directional tunability, high stiffness, and unsurpassed recoverability with marginal deterioration

Resonating Valence Bond Quantum Monte Carlo: Application to the ozone molecule

We study the potential energy surface of the ozone molecule by means of Quantum Monte Carlo simulations based on the resonating valence bond concept. The trial wave function consists of an antisymmetrized geminal power arranged in a single-determinant that is multiplied by a Jastrow correlation factor. Whereas the determinantal part incorporates static correlation effects, the augmented real-space correlation factor accounts for the dynamics electron correlation. The accuracy of this approach is demonstrated by computing the potential energy surface for the ozone molecule in three vibrational states: symmetric, asymmetric and scissoring. We find that the employed wave function provides a detailed description of rather strongly-correlated multi-reference systems, which is in quantitative agreement with experiment.Comment: 5 page, 3 figure

Symmetry-reinforced Nogood Recording from Restarts

dans le cadre de CP'11International audienceNogood recording from restarts is a form of lightweight learn- ing that combines nogood recording with a restart strategy. At the end of each run, nogoods are extracted from the current (rightmost) branch of the search tree. These nogoods can be used to prevent parts of the search space from being explored more than once. In this paper, we propose to reinforce nogood recording (from restarts) by exploiting symmetries: every time the solver has to be restarted, not only the nogoods that are extracted from the current branch are recorded, but also some additional nogoods that can be computed by means of the previously identi ed problem symmetries. This mechanism of computing symmetric nogoods can be iterated until a xed-point is reached, and controlled (if necessary) by limiting the number and/or the size of recorded nogoods

Automated Workarounds from Java Program Specifications based on SAT Solving

The failures that bugs in software lead to can sometimes be bypassed by the so-called workarounds: when a (faulty) routine fails, alternative routines that the system offers can be used in place of the failing one, to circumvent the failure. Existing approaches to workaround-based system recovery consider workarounds that are produced from equivalent method sequences, automatically computed from user-provided abstract models, or directly produced from user-provided equivalent sequences of operations. In this paper, we present two techniques for computing workarounds from Java code equipped with formal specifications, that improve previous approaches in two respects. First, the particular state where the failure originated is actively involved in computing workarounds, thus leading to repairs that are more state specific. Second, our techniques automatically compute workarounds on concrete program state characterizations, avoiding abstract software models and user-provided equivalences. The first technique uses SAT solving to compute a sequence of methods that is equivalent to a failing method on a specific failing state, but which can also be generalized to schemas for workaround reuse. The second technique directly exploits SAT to circumvent a failing method, building a state that mimics the (correct) behaviour of a failing routine, from a specific program state too. We perform an experimental evaluation based on case studies involving implementations of collections and a library for date arithmetic, showing that the techniques can effectively compute workarounds from complex contracts in an important number of cases, in time that makes them feasible to be used for run-time repairs. Our results also show that our state-specific workarounds enable us to produce repairs in many cases where previous workaround-based approaches are inapplicable.Fil: Uva, Marcelo Ariel. Universidad Nacional de Río Cuarto; ArgentinaFil: Ponzio, Pablo Daniel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba; Argentina. Universidad Nacional de Río Cuarto; ArgentinaFil: Regis, Germán. Universidad Nacional de Río Cuarto; ArgentinaFil: Aguirre, Nazareno Matias. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba; Argentina. Universidad Nacional de Río Cuarto; ArgentinaFil: Frias, Marcelo Fabian. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba; Argentina. Instituto Tecnológico de Buenos Aires; Argentin