Showing 1–25 of 25 results for author: Rivas, E

Controlled molecule injector for cold, dense, and pure molecular beams at the European x-ray free-electron laser

Authors: Lanhai He, Melby Johny, Thomas Kierspel, Karol Długołęcki, Sadia Bari, Rebecca Boll, Hubertus Bromberger, Marcello Coreno, Alberto De Fanis, Michele Di Fraia, Benjamin Erk, Mathieu Gisselbrecht, Patrik Grychtol, Per Eng-Johnsson, Tommaso Mazza, Jolijn Onvlee, Yevheniy Ovcharenko, Jovana Petrovic, Nils Rennhack, Daniel E. Rivas, Artem Rudenko, Eckart Rühl, Lucas Schwob, Marc Simon, Florian Trinter , et al. (5 additional authors not shown)

Abstract: A permanently available molecular-beam injection setup for controlled molecules (COMO) was installed and commissioned at the small quantum systems (SQS) instrument at the European x-ray free-electron laser (EuXFEL). A $b$-type electrostatic deflector allows for pure state-, size-, and isomer-selected samples of polar molecules and clusters. The source provides a rotationally cold ($T\approx1$~K) a… ▽ More A permanently available molecular-beam injection setup for controlled molecules (COMO) was installed and commissioned at the small quantum systems (SQS) instrument at the European x-ray free-electron laser (EuXFEL). A $b$-type electrostatic deflector allows for pure state-, size-, and isomer-selected samples of polar molecules and clusters. The source provides a rotationally cold ($T\approx1$~K) and dense ($ρ\approx10^8$~cm$^{-3}$) molecular beam with pulse durations up to 100~\us generated by a new version of the Even-Lavie valve. Here, a performance overview of the COMO setup is presented along with characterization experiments performed both, with an optical laser at the Center for Free-Electron-Laser Science and with x-rays at EuXFEL under burst-mode operation. COMO was designed to be attached to different instruments at the EuXFEL, in particular at the small quantum systems (SQS) and single particles, clusters, and biomolecules (SPB) instruments. This advanced controlled-molecules injection setup enables XFEL studies using highly defined samples with soft and hard x-ray FEL radiation for applications ranging from atomic, molecular, and cluster physics to elementary processes in chemistry and biology. △ Less

Submitted 10 May, 2024; originally announced May 2024.

Ultrafast Nuclear Dynamics in Double-Core Ionized Water Molecules

Authors: Iyas Ismail, Ludger Inhester, Tatiana Marchenko, Florian Trinter, Abhishek Verma, Alberto De Fanis, Anthony Ferte, Daniel E. Rivas, Dawei Peng, Dimitris Koulentianos, Edwin Kukk, Francis Penent, Gilles Doumy, Giuseppe Sansone, John D. Bozek, Kai Li, Linda Young, Markus Ilchen, Maria Novella Piancastelli, Michael Meyer, Nicolas Velasquez, Oksana Travnikova, Rebecca Boll, Renaud Guillemin, Reinhard Dorner , et al. (8 additional authors not shown)

Abstract: Double-core-hole (DCH) states in isolated water and heavy water molecules, resulting from the sequential absorption of two x-ray photons, have been investigated. A comparison of the subsequent Auger emission spectra from the two isotopes provides direct evidence of ultrafast nuclear motion during the 1.5 fs lifetime of these DCH states. Our numerical results align well with the experimental data,… ▽ More Double-core-hole (DCH) states in isolated water and heavy water molecules, resulting from the sequential absorption of two x-ray photons, have been investigated. A comparison of the subsequent Auger emission spectra from the two isotopes provides direct evidence of ultrafast nuclear motion during the 1.5 fs lifetime of these DCH states. Our numerical results align well with the experimental data, providing for various DCH states an in-depth study of the dynamics responsible of the observed isotope effect. △ Less

Submitted 11 March, 2024; v1 submitted 5 February, 2024; originally announced February 2024.

Enhanced optical conductivity and many-body effects in strongly-driven photo-excited semi-metallic graphite

Authors: T. P. H. Sidiropoulos, N. Di Palo, D. E. Rivas, A. Summers, S. Severino, M. Reduzzi, J. Biegert

Abstract: The excitation of quasi-particles near the extrema of the electronic band structure is a gateway to electronic phase transitions in condensed matter. In a many-body system, quasi-particle dynamics are strongly influenced by the electronic single-particle structure and have been extensively studied in the weak optical excitation regime. Yet, under strong optical excitation, where light fields coher… ▽ More The excitation of quasi-particles near the extrema of the electronic band structure is a gateway to electronic phase transitions in condensed matter. In a many-body system, quasi-particle dynamics are strongly influenced by the electronic single-particle structure and have been extensively studied in the weak optical excitation regime. Yet, under strong optical excitation, where light fields coherently drive carriers, the dynamics of many-body interactions that can lead to new quantum phases remain largely unresolved. Here, we induce such a highly non-equilibrium many-body state through strong optical excitation of charge carriers near the van Hove singularity in graphite. We investigate the system's evolution into a strongly-driven photo-excited state with attosecond soft X-ray core-level spectroscopy. Surprisingly, we find an enhancement of the optical conductivity of nearly ten times the quantum conductivity and pinpoint it to carrier excitations in flat bands. This interaction regime is robust against carrier-carrier interaction with coherent optical phonons acting as an attractive force reminiscent of superconductivity. The strongly-driven non-equilibrium state is markedly different from the single-particle structure and macroscopic conductivity and is a consequence of the non-adiabatic many-body state. △ Less

Submitted 11 August, 2023; originally announced August 2023.

Raptor-IRSA Grant-free Random Access Protocol for Smart Grids Applications

Authors: Angel Esteban Labrador Rivas, Taufik Abrão

Abstract: This paper deals with the reliability of random access (RA) protocols for massive wireless smart grid communication (m-SGC). We propose and analyze an improved grant-free RA (GF-RA) protocol for critical SG applications under strict QoS m-SGC requirements. At first, we discuss the main features of the SG neighborhood area network (NAN) architecture. We explore the main features of low-rate machine… ▽ More This paper deals with the reliability of random access (RA) protocols for massive wireless smart grid communication (m-SGC). We propose and analyze an improved grant-free RA (GF-RA) protocol for critical SG applications under strict QoS m-SGC requirements. At first, we discuss the main features of the SG neighborhood area network (NAN) architecture. We explore the main features of low-rate machine-type wireless networks, and also we describe a technology characterization of wireless neighborhood area networks (WNAN) in medium-range coverage applications. We propose a new-improved irregular repetition slotted ALOHA, combing Raptor codes and irregular ALOHA, namely RapIRSA random access protocol, to better respond to critical high-reliability QoS requirements under a 5G network perspective. Then, we compare and comprehensively analyze the proposed RapIRSA protocol with two existing RA protocols, the IRSA protocol, and the classical Slotted Aloha. Finally, We summarize the potential challenges in implementing the proposed RA protocol for SG critical applications considering many smart sensors (SS). △ Less

Submitted 14 April, 2023; originally announced May 2023.

Comments: 30 pages, 11 figures, 3 tables

Multiple-core-hole resonance spectroscopy with ultraintense X-ray pulses

Authors: Aljoscha Rörig, Sang-Kil Son, Tommaso Mazza, Philipp Schmidt, Thomas M. Baumann, Benjamin Erk, Markus Ilchen, Joakim Laksman, Valerija Music, Shashank Pathak, Daniel E. Rivas, Daniel Rolles, Svitozar Serkez, Sergey Usenko, Robin Santra, Michael Meyer, Rebecca Boll

Abstract: Understanding the interaction of intense, femtosecond X-ray pulses with heavy atoms is crucial for gaining insights into the structure and dynamics of matter. One key aspect of nonlinear light-matter interaction was, so far, not studied systematically at free-electron lasers -- its dependence on the photon energy. Using resonant ion spectroscopy, we map out the transient electronic structures occu… ▽ More Understanding the interaction of intense, femtosecond X-ray pulses with heavy atoms is crucial for gaining insights into the structure and dynamics of matter. One key aspect of nonlinear light-matter interaction was, so far, not studied systematically at free-electron lasers -- its dependence on the photon energy. Using resonant ion spectroscopy, we map out the transient electronic structures occurring during the complex charge-up pathways. Massively hollow atoms featuring up to six simultaneous core holes determine the spectra at specific photon energies and charge states. We also illustrate how the influence of different X-ray pulse parameters that are usually intertwined can be partially disentangled. The extraction of resonance spectra is facilitated by the fact that the ion yields become independent of the peak fluence beyond a saturation point. Our study lays the groundwork for novel spectroscopies of transient atomic species in exotic, multiple-core-hole states that have not been explored previously. △ Less

Submitted 14 March, 2023; originally announced March 2023.

Comments: Supplementary information is included

Securing Verified IO Programs Against Unverified Code in F*

Authors: Cezar-Constantin Andrici, Stefan Ciobaca, Catalin Hritcu, Guido Martínez, Exequiel Rivas, Éric Tanter, Théo Winterhalter

Abstract: We introduce SCIO*, a formally secure compilation framework for statically verified partial programs performing input-output (IO). The source language is an F* subset in which a verified program interacts with its IO-performing context via a higher-order interface that includes refinement types as well as pre- and post-conditions about past IO events. The target language is a smaller F* subset in… ▽ More We introduce SCIO*, a formally secure compilation framework for statically verified partial programs performing input-output (IO). The source language is an F* subset in which a verified program interacts with its IO-performing context via a higher-order interface that includes refinement types as well as pre- and post-conditions about past IO events. The target language is a smaller F* subset in which the compiled program is linked with an adversarial context that has an interface without refinement types, pre-conditions, or concrete post-conditions. To bridge this interface gap and make compilation and linking secure we propose a formally verified combination of higher-order contracts and reference monitoring for recording and controlling IO operations. Compilation uses contracts to convert the logical assumptions the program makes about the context into dynamic checks on each context-program boundary crossing. These boundary checks can depend on information about past IO events stored in the state of the monitor. But these checks cannot stop the adversarial target context before it performs dangerous IO operations. Therefore linking in SCIO* additionally forces the context to perform all IO actions via a secure IO library, which uses reference monitoring to dynamically enforce an access control policy before each IO operation. We prove in F* that SCIO* soundly enforces a global trace property for the compiled verified program linked with the untrusted context. Moreover, we prove in F* that SCIO* satisfies by construction Robust Relational Hyperproperty Preservation, a very strong secure compilation criterion. Finally, we illustrate SCIO* at work on a simple web server example. △ Less

Submitted 15 November, 2023; v1 submitted 2 March, 2023; originally announced March 2023.

Comments: POPL'24 camera-ready version

Generation of Large Vortex-Free Superfluid Helium Nanodroplets

Authors: Anatoli Ulmer, Andrea Heilrath, Björn Senfftleben, Sean M. O. O'Connell-Lopez, Björn Kruse, Lennart Seiffert, Katharina Kolatzki, Bruno Langbehn, Andreas Hoffmann, Thomas M. Baumann, Rebecca Boll, Adam S. Chatterley, Alberto De Fanis, Benjamin Erk, Swetha Erukala, Alexandra J. Feinberg, Thomas Fennel, Patrik Grychtol, Robert Hartmann, Markus Ilchen, Manuel Izquierdo, Bennet Krebs, Markus Kuster, Tommaso Mazza, Jacobo Montaño , et al. (16 additional authors not shown)

Abstract: Superfluid helium nanodroplets are an ideal environment for the formation of metastable, self-organized dopant nanostructures. However, the presence of vortices often hinders their formation. Here, we demonstrate the generation of vortex-free helium nanodroplets and explore the size range in which they can be produced. From x-ray diffraction images of xenon-doped droplets, we identify that single… ▽ More Superfluid helium nanodroplets are an ideal environment for the formation of metastable, self-organized dopant nanostructures. However, the presence of vortices often hinders their formation. Here, we demonstrate the generation of vortex-free helium nanodroplets and explore the size range in which they can be produced. From x-ray diffraction images of xenon-doped droplets, we identify that single compact structures, assigned to vortex-free aggregation, prevail up to $10^8$ atoms per droplet. This finding builds the basis for exploring the assembly of far-from-equilibrium nanostructures at low temperatures. △ Less

Submitted 20 June, 2023; v1 submitted 14 February, 2023; originally announced February 2023.

Comments: main article: 7 pages, 3 figures; supplementary material: 12 pages, 8 figures

Dialogs Re-enacted Across Languages

Authors: Nigel G. Ward, Jonathan E. Avila, Emilia Rivas, Divette Marco

Abstract: To support machine learning of cross-language prosodic mappings and other ways to improve speech-to-speech translation, we present a protocol for collecting closely matched pairs of utterances across languages, a description of the resulting data collection and its public release, and some observations and musings. This report is intended for: people using this corpus, people extending this corpus… ▽ More To support machine learning of cross-language prosodic mappings and other ways to improve speech-to-speech translation, we present a protocol for collecting closely matched pairs of utterances across languages, a description of the resulting data collection and its public release, and some observations and musings. This report is intended for: people using this corpus, people extending this corpus, and people designing similar collections of bilingual dialog data. △ Less

Submitted 12 July, 2023; v1 submitted 18 November, 2022; originally announced November 2022.

Comments: Version 2

Report number: UTEP-CS-23-27

Resonance-enhanced multiphoton ionization in the x-ray regime

Authors: Aaron C. LaForge, Sang-Kil Son, Debadarshini Mishra, Markus Ilchen, Stephen Duncanson, Eemeli Eronen, Edwin Kukk, Stanislaw Wirok-Stoletow, Daria Kolbasova, Peter Walter, Rebecca Boll, Alberto De Fanis, Michael Meyer, Yevheniy Ovcharenko, Daniel E. Rivas, Philipp Schmidt, Sergey Usenko, Robin Santra, Nora Berrah

Abstract: Here, we report on the nonlinear ionization of argon atoms in the short wavelength regime using ultraintense x rays from the European XFEL. After sequential multiphoton ionization, high charge states are obtained. For photon energies that are insufficient to directly ionize a $1s$ electron, a different mechanism is required to obtain ionization to Ar$^{17+}$. We propose this occurs through a two-c… ▽ More Here, we report on the nonlinear ionization of argon atoms in the short wavelength regime using ultraintense x rays from the European XFEL. After sequential multiphoton ionization, high charge states are obtained. For photon energies that are insufficient to directly ionize a $1s$ electron, a different mechanism is required to obtain ionization to Ar$^{17+}$. We propose this occurs through a two-color process where the second harmonic of the FEL pulse resonantly excites the system via a $1s \rightarrow 2p$ transition followed by ionization by the fundamental FEL pulse, which is a type of x-ray resonance-enhanced multiphoton ionization (REMPI). This resonant phenomenon occurs not only for Ar$^{16+}$, but through multiple lower charge states, where multiple ionization competes with decay lifetimes, making x-ray REMPI distinctive from conventional REMPI. With the aid of state-of-the-art theoretical calculations, we explain the effects of x-ray REMPI on the relevant ion yields and spectral profile. △ Less

Submitted 5 November, 2021; v1 submitted 15 October, 2021; originally announced October 2021.

Comments: 8 pages, 5 figures, one supplementary material (not included)

Probing the energy conversion pathways between light, carriers and lattice in real time with attosecond core-level spectroscopy

Authors: T. P. H. Sidiropoulos, N. Di Palo, D. E. Rivas, S. Severino, M. Reduzzi, B. Nandy, B. Bauerhenne, S. Krylow, T. Vasileiadis, T. Danz, P. Elliott, S. Sharma, K. Dewhurst, C. Ropers, Y. Joly, K. M. E. Garcia, M. Wolf, R. Ernstorfer, J. Biegert

Abstract: Detection of the energy conversion pathways, between photons, charge carriers, and the lattice is of fundamental importance to understand fundamental physics and to advance materials and devices. Yet, such insight remains incomplete due to experimental challenges in disentangling the various signatures on overlapping time scales. Here, we show that attosecond core-level X-ray spectroscopy can iden… ▽ More Detection of the energy conversion pathways, between photons, charge carriers, and the lattice is of fundamental importance to understand fundamental physics and to advance materials and devices. Yet, such insight remains incomplete due to experimental challenges in disentangling the various signatures on overlapping time scales. Here, we show that attosecond core-level X-ray spectroscopy can identify these interactions with attosecond precision and across a picosecond range. We demonstrate this methodology on graphite since its investigation is complicated by a variety of mechanisms occurring across a wide range of temporal scales. Our methodology reveals, through the simultaneous real-time detection of electrons and holes, the different dephasing mechanisms for each carrier type dependent on excitation with few-cycle-duration light fields. These results demonstrate the general ability of our methodology to detect and distinguish the various dynamic contributions to the flow of energy inside materials on their native time scales. △ Less

Submitted 13 October, 2021; originally announced October 2021.

Interaction laws of monads and comonads

Authors: Shin-ya Katsumata, Exequiel Rivas, Tarmo Uustalu

Abstract: We introduce and study functor-functor and monad-comonad interaction laws as mathematical objects to describe interaction of effectful computations with behaviors of effect-performing machines. Monad-comonad interaction laws are monoid objects of the monoidal category of functor-functor interaction laws. We show that, for suitable generalizations of the concepts of dual and Sweedler dual, the grea… ▽ More We introduce and study functor-functor and monad-comonad interaction laws as mathematical objects to describe interaction of effectful computations with behaviors of effect-performing machines. Monad-comonad interaction laws are monoid objects of the monoidal category of functor-functor interaction laws. We show that, for suitable generalizations of the concepts of dual and Sweedler dual, the greatest functor resp. monad interacting with a given functor or comonad is its dual while the greatest comonad interacting with a given monad is its Sweedler dual. We relate monad-comonad interaction laws to stateful runners. We show that functor-functor interaction laws are Chu spaces over the category of endofunctors taken with the Day convolution monoidal structure. Hasegawa's glueing endows the category of these Chu spaces with a monoidal structure whose monoid objects are monad-comonad interaction laws. △ Less

Submitted 31 December, 2019; originally announced December 2019.

MSC Class: 18C50; 68Q55 ACM Class: F.3.2

The Next 700 Relational Program Logics

Authors: Kenji Maillard, Catalin Hritcu, Exequiel Rivas, Antoine Van Muylder

Abstract: We propose the first framework for defining relational program logics for arbitrary monadic effects. The framework is embedded within a relational dependent type theory and is highly expressive. At the semantic level, we provide an algebraic presentation of relational specifications as a class of relative monads, and link computations and specifications by introducing relational effect observation… ▽ More We propose the first framework for defining relational program logics for arbitrary monadic effects. The framework is embedded within a relational dependent type theory and is highly expressive. At the semantic level, we provide an algebraic presentation of relational specifications as a class of relative monads, and link computations and specifications by introducing relational effect observations, which map pairs of monadic computations to relational specifications in a way that respects the algebraic structure. For an arbitrary relational effect observation, we generically define the core of a sound relational program logic, and explain how to complete it to a full-fledged logic for the monadic effect at hand. We show that this generic framework can be used to define relational program logics for effects as diverse as state, input-output, nondeterminism, and discrete probabilities. We, moreover, show that by instantiating our framework with state and unbounded iteration we can embed a variant of Benton's Relational Hoare Logic, and also sketch how to reconstruct Relational Hoare Type Theory. Finally, we identify and overcome conceptual challenges that prevented previous relational program logics from properly dealing with control effects, and are the first to provide a relational program logic for exceptions. △ Less

Submitted 21 November, 2019; v1 submitted 11 July, 2019; originally announced July 2019.

Comments: POPL 2020 camera-ready version

Dijkstra Monads for All

Authors: Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martinez, Catalin Hritcu, Exequiel Rivas, Éric Tanter

Abstract: This paper proposes a general semantic framework for verifying programs with arbitrary monadic side-effects using Dijkstra monads, which we define as monad-like structures indexed by a specification monad. We prove that any monad morphism between a computational monad and a specification monad gives rise to a Dijkstra monad, which provides great flexibility for obtaining Dijkstra monads tailored t… ▽ More This paper proposes a general semantic framework for verifying programs with arbitrary monadic side-effects using Dijkstra monads, which we define as monad-like structures indexed by a specification monad. We prove that any monad morphism between a computational monad and a specification monad gives rise to a Dijkstra monad, which provides great flexibility for obtaining Dijkstra monads tailored to the verification task at hand. We moreover show that a large variety of specification monads can be obtained by applying monad transformers to various base specification monads, including predicate transformers and Hoare-style pre- and postconditions. For defining correct monad transformers, we propose a language inspired by Moggi's monadic metalanguage that is parameterized by a dependent type theory. We also develop a notion of algebraic operations for Dijkstra monads, and start to investigate two ways of also accommodating effect handlers. We implement our framework in both Coq and F*, and illustrate that it supports a wide variety of verification styles for effects such as exceptions, nondeterminism, state, input-output, and general recursion. △ Less

Submitted 26 June, 2019; v1 submitted 4 March, 2019; originally announced March 2019.

Comments: Long version of ICFP'19 camera ready paper

Relating Idioms, Arrows and Monads from Monoidal Adjunctions

Authors: Exequiel Rivas

Abstract: We revisit once again the connection between three notions of computation: monads, arrows and idioms (also called applicative functors). We employ monoidal categories of finitary functors and profunctors on finite sets as models of these notions of computation, and develop the connections between them through adjunctions. As a result, we obtain a categorical version of Lindley, Yallop and Wadler's… ▽ More We revisit once again the connection between three notions of computation: monads, arrows and idioms (also called applicative functors). We employ monoidal categories of finitary functors and profunctors on finite sets as models of these notions of computation, and develop the connections between them through adjunctions. As a result, we obtain a categorical version of Lindley, Yallop and Wadler's characterisation of monads and idioms as arrows satisfying an isomorphism. △ Less

Submitted 11 July, 2018; originally announced July 2018.

Comments: In Proceedings MSFP 2018, arXiv:1807.03732

Journal ref: EPTCS 275, 2018, pp. 18-33

Energy limitation of laser-plasma electron accelerators

Authors: D. E. Cardenas, S. Chou, J. Xu, L. Hofmann, A. Buck, K. Schmid, C. M. S. Sears, D. E. Rivas, B. Shen, L. Veisz

Abstract: We report on systematic and high-precision measurements of dephasing, an effect that fundamentally limits the performance of laser wakefield accelerators. Utilizing shock-front injection, a technique providing stable, tunable and high-quality electron bunches, acceleration and deceleration of few-MeV quasi-monoenergetic beams were measured with sub-5-fs and 8-fs laser pulses. Typical density depen… ▽ More We report on systematic and high-precision measurements of dephasing, an effect that fundamentally limits the performance of laser wakefield accelerators. Utilizing shock-front injection, a technique providing stable, tunable and high-quality electron bunches, acceleration and deceleration of few-MeV quasi-monoenergetic beams were measured with sub-5-fs and 8-fs laser pulses. Typical density dependent electron energy evolution with 65-300 micrometers dephasing length and 6-20 MeV peak energy was observed and is well described with a simple model. △ Less

Submitted 29 May, 2015; v1 submitted 21 May, 2015; originally announced May 2015.

Comments: 5 pages, 5 figures Inset in Fig.2 corrected

Notions of Computation as Monoids

Authors: Exequiel Rivas, Mauro Jaskelioff

Abstract: There are different notions of computation, the most popular being monads, applicative functors, and arrows. In this article we show that these three notions can be seen as monoids in a monoidal category. We demonstrate that at this level of abstraction one can obtain useful results which can be instantiated to the different notions of computation. In particular, we show how free constructions and… ▽ More There are different notions of computation, the most popular being monads, applicative functors, and arrows. In this article we show that these three notions can be seen as monoids in a monoidal category. We demonstrate that at this level of abstraction one can obtain useful results which can be instantiated to the different notions of computation. In particular, we show how free constructions and Cayley representations for monoids translate into useful constructions for monads, applicative functors, and arrows. Moreover, the uniform presentation of all three notions helps in the analysis of the relation between them. △ Less

Submitted 29 May, 2014; originally announced June 2014.

Fano resonances in saturable waveguide arrays

Authors: Uta Naether, Daniel E. Rivas, Manuel A. Larenas, Mario I. Molina, Rodrigo A. Vicencio

Abstract: We study a waveguide array with an embedded nonlinear saturable impurity. We solve the impurity problem in closed form and find the nonlinear localized modes. Next, we consider the scattering of a small-amplitude plane wave by a nonlinear impurity mode, and discover regions in parameter space where transmission is fully suppressed. We relate these findings with Fano resonances and propose this s… ▽ More We study a waveguide array with an embedded nonlinear saturable impurity. We solve the impurity problem in closed form and find the nonlinear localized modes. Next, we consider the scattering of a small-amplitude plane wave by a nonlinear impurity mode, and discover regions in parameter space where transmission is fully suppressed. We relate these findings with Fano resonances and propose this setup as a mean to control the transport of light across the array. △ Less

Submitted 8 June, 2009; v1 submitted 5 June, 2009; originally announced June 2009.

Comments: 3 pages, 4 figures, submitted to Optics Letters

Journal ref: Optics Letters 34 (2009), 2721-2723

A dynamic programming algorithm for RNA structure prediction including pseudoknots

Authors: Elena Rivas, Sean R. Eddy

Abstract: We describe a dynamic programming algorithm for predicting optimal RNA secondary structure, including pseudoknots. The algorithm has a worst case complexity of ${\cal O}(N^6)$ in time and ${\cal O}(N^4)$ in storage. The description of the algorithm is complex, which led us to adopt a useful graphical representation (Feynman diagrams) borrowed from quantum field theory. We present an implementati… ▽ More We describe a dynamic programming algorithm for predicting optimal RNA secondary structure, including pseudoknots. The algorithm has a worst case complexity of ${\cal O}(N^6)$ in time and ${\cal O}(N^4)$ in storage. The description of the algorithm is complex, which led us to adopt a useful graphical representation (Feynman diagrams) borrowed from quantum field theory. We present an implementation of the algorithm that generates the optimal minimum energy structure for a single RNA sequence, using standard RNA folding thermodynamic parameters augmented by a few parameters describing the thermodynamic stability of pseudoknots. We demonstrate the properties of the algorithm by using it to predict structures for several small pseudoknotted and non-pseudoknotted RNAs. Although the time and memory demands of the algorithm are steep, we believe this is the first algorithm to be able to fold optimal (minimum energy) pseudoknotted RNAs with the accepted RNA thermodynamic model. △ Less

Submitted 27 July, 1998; originally announced July 1998.

Comments: 34 pages, 18 figures. Uses LaTex and metapost

Extended Dualization: a method for the Bosonization of Anomalous Fermion Systems in Arbitrary Dimension

Authors: José Luis Cortés, Elena Rivas, Luis Velázquez

Abstract: The technique of extended dualization developed in this paper is used to bosonize quantized fermion systems in arbitrary dimension $D$ in the low energy regime. In its original (minimal) form, dualization is restricted to models wherein it is possible to define a dynamical quantized conserved charge. We generalize the usual dualization prescription to include systems with dynamical non--conserve… ▽ More The technique of extended dualization developed in this paper is used to bosonize quantized fermion systems in arbitrary dimension $D$ in the low energy regime. In its original (minimal) form, dualization is restricted to models wherein it is possible to define a dynamical quantized conserved charge. We generalize the usual dualization prescription to include systems with dynamical non--conserved quantum currents. Bosonization based on this extended dualization requires the introduction of an additional rank $0$ (scalar) field together with the usual antisymmetric tensor field of rank $(D-2)$. Our generalized dualization prescription permits one to clearly distinguish the arbitrariness in the bosonization from the arbitrariness in the quantization of the system. We study the bosonization of four--fermion interactions with large mass in arbitrary dimension. First, we observe that dualization permits one to formally bosonize these models by invoking the bosonization of the free massive Dirac fermion and adding some extra model--dependent bosonic terms. Secondly, we explore the potential of extended dualization by considering the particular case of \underbar{chiral} four--fermion interactions. Here minimal dualization is inadequate for calculating the extra bosonic terms. We demonstrate the utility of extended dualization by successfully completing the bosonization of this chiral model. Finally, we consider two examples in two dimensions which illuminate the utility of using extended dualization by showing how quantization ambiguities in a fermionic theory propagate into the bosonized version. An explicit parametrization of the quantization ambiguities of the chiral current in the Chiral Schwinger model is obtained. Similarly, for the sine--Gordon interaction in the massive Thirring model the quantization △ Less

Submitted 28 March, 1996; v1 submitted 28 March, 1995; originally announced March 1995.

Comments: Revised version including major changes in section 3, to be published in Phys. Rev. D

Journal ref: Phys.Rev.D53:5952-5962,1996

Phase Diagram of An SU(2)xSU(2) Scalar-Fermion Model with Massless Decoupled Doublers

Authors: J. L. Alonso, F. Lesmes, E. Rivas, Ph. Boucaud

Abstract: We present the phase structure of the chiral SU(2)xSU(2) scalar-fermion model on the lattice using the Zaragoza proposal for chiral fermions. The numerical result agrees with an analytic study based on the use of weak and strong Yukawa coupling expansions combined with the mean field approach. The phase diagram consits of four phases: paramagnetic(PM), ferromagnetic(FM), antiferromagnetic(AFM) a… ▽ More We present the phase structure of the chiral SU(2)xSU(2) scalar-fermion model on the lattice using the Zaragoza proposal for chiral fermions. The numerical result agrees with an analytic study based on the use of weak and strong Yukawa coupling expansions combined with the mean field approach. The phase diagram consits of four phases: paramagnetic(PM), ferromagnetic(FM), antiferromagnetic(AFM) and ferrimagnetic (FI). The transition lines separating these four phases intersect at one quadruple point. △ Less

Submitted 21 February, 1994; v1 submitted 3 February, 1994; originally announced February 1994.

Comments: 11 pages in plain TeX + 1 figure in PostScript appended after the string: %%%%% FIGURE %%%%%% . ADDED A NEW REFERENCE: S.Zenkin

Report number: KYUSHU-HET-8

Journal ref: Phys.Lett.B329:75-80,1994

Phase Diagram of a Lattice $SU(2) \times SU(2)$ Scalar-Fermion Model Using the Zaragoza Fermions

Authors: J. L. Alonso, Ph. Boucaud, F. Lesmes, E. Rivas

Abstract: We present a calculation of the phase diagram of a $SU(2) \times SU(2)$ chiral Yukawa model with massless decoupled doublers, using a saddle point approach, both for small and large Yukawa coupling. Some preliminary MonteCarlo results are also shown. We present a calculation of the phase diagram of a $SU(2) \times SU(2)$ chiral Yukawa model with massless decoupled doublers, using a saddle point approach, both for small and large Yukawa coupling. Some preliminary MonteCarlo results are also shown. △ Less

Submitted 1 December, 1993; v1 submitted 30 November, 1993; originally announced November 1993.

Comments: 3 pages + 2 figs.; Ref. DFTUZ 93/18, Lattice'93 talk

Journal ref: Nucl.Phys.Proc.Suppl.34:650-652,1994

The S, U and Δρparameters in the Zaragoza proposal for lattice chiral gauge fermions

Authors: Jose Luis Alonso, Philippe Boucaud, Jose Luis Cortes, Felipe Lesmes, Elena Rivas

Abstract: Using the Zaragoza proposal for lattice chiral gauge fermions, the S, U and Δρparameters have been calculated at one loop. It is shown that the continuum values for these quantities can be reproduced without requiring explicit fine tuning of counterterms. Furthermore, fermion fields doubling is not necessary. To the best of our knowledge, the Zaragoza proposal is the only scheme which has these… ▽ More Using the Zaragoza proposal for lattice chiral gauge fermions, the S, U and Δρparameters have been calculated at one loop. It is shown that the continuum values for these quantities can be reproduced without requiring explicit fine tuning of counterterms. Furthermore, fermion fields doubling is not necessary. To the best of our knowledge, the Zaragoza proposal is the only scheme which has these properties. A necessary (although not sufficient) symmetry is found to support the calculations. Previous results for some of these parameters in other lattice chiral regularizations are revisited in the light of this symmetry. △ Less

Submitted 27 November, 1992; originally announced November 1992.

Comments: 17 Pages. Texis. WASH-U-HEP/92-89

Journal ref: Nucl.Phys.B407:373-386,1993

On the Eichten--Preskill Proposal for Lattice Chiral Gauge Theories

Authors: M. F. L. Golterman, D. N. Petcher, E. Rivas

Abstract: We have studied the Eichten--Preskill proposal for constructing lattice chiral gauge theories using both strong and weak coupling methods. The results indicate that this proposal is unlikely to work due to a dynamical behavior similar to that of the Smit--Swift proposal, which also does not give rise to chiral fermions. We have studied the Eichten--Preskill proposal for constructing lattice chiral gauge theories using both strong and weak coupling methods. The results indicate that this proposal is unlikely to work due to a dynamical behavior similar to that of the Smit--Swift proposal, which also does not give rise to chiral fermions. △ Less

Submitted 3 July, 1992; originally announced July 1992.

Comments: 7 pages, Wash. U. HEP/92-82

Journal ref: Nucl. Phys. Proc. Suppl. 29BC (1992) 193

Absence of Chiral Fermions in the Eichten--Preskill Model

Authors: Maarten Golterman, Don Petcher, Elena Rivas

Abstract: The model proposed by Eichten and Preskill for obtaining theories with chiral fermions from the lattice is shown to undergo spontaneous symmetry breaking. In addition, the fermions appear to be Dirac-like everywhere in the phase diagram with no room for undoubled Weyl fermions. The phase diagram of a closely related Higgs-Yukawa model is similar to that of the Smit--Swift model, which also does… ▽ More The model proposed by Eichten and Preskill for obtaining theories with chiral fermions from the lattice is shown to undergo spontaneous symmetry breaking. In addition, the fermions appear to be Dirac-like everywhere in the phase diagram with no room for undoubled Weyl fermions. The phase diagram of a closely related Higgs-Yukawa model is similar to that of the Smit--Swift model, which also does not give rise to chiral fermions. These results cast serious doubts on the original scenario for the emergence of chiral fermions. △ Less

Submitted 4 June, 1992; originally announced June 1992.

Comments: 30 pages, no figures, Wash. U. HEP/92-80

Journal ref: Nucl.Phys. B395 (1993) 596-622

Massless Decoupled Doublers: Chiral Yukawa Models and Chiral Gauge Theories

Authors: J. L. Alonso, Ph. Boucaud, J. L. Cortes, F. Lesmes, E. Rivas

Abstract: We present a new method for regularizing chiral theories on the lattice. The arbitrariness in the regularization is used in order to decouple massless replica fermions. A continuum limit with only one fermion is obtained in perturbation theory and a Golterman-Petcher like symmetry related to the decoupling of the replicas in the non-perturbative regime is identified. In the case of Chiral Gauge… ▽ More We present a new method for regularizing chiral theories on the lattice. The arbitrariness in the regularization is used in order to decouple massless replica fermions. A continuum limit with only one fermion is obtained in perturbation theory and a Golterman-Petcher like symmetry related to the decoupling of the replicas in the non-perturbative regime is identified. In the case of Chiral Gauge Theories gauge invariance is broken at the level of the regularization, so our approach shares many of the characteristics of the Rome approach. △ Less

Submitted 3 June, 1992; originally announced June 1992.

Comments: 11 pages