Related papers: The program for the transformation of atomic state…
Existing refinement calculi provide frameworks for the stepwise development of imperative programs from specifications. This paper presents a refinement calculus for deriving logic programs. The calculus contains a wide-spectrum logic…
We show set of transformations which allow to obtain analytic solutions in several quantum-optical problems. We start with the ion-laser (time dependent) interaction, continue with the problem of a slow atom interacting with a quantized…
We describe a C++ program that we have written and made available for calculating the evolution of interacting scalar fields in an expanding universe. The program is particularly useful for the study of reheating and thermalization after…
We consider the fundamental problem of high temperature phase transitions in the system of high density two-level atoms off-resonantly interacting with a pump field in the presence of optical collisions (OCs) and placed in the cavity. OCs…
We provide a prescription to construct a microscopic model for heavy lanthanide systems such as Yb and Tm compounds by exploiting a $j$-$j$ coupling scheme. Here we consider a situation with a large spin-orbit coupling, in which $j$=5/2…
We present an alternative organizational scheme for developing effective theories of 2- and 3-body systems that is systematic, accurate, and efficient with controlled errors. To illustrate our approach we consider the bound state and…
We consider a simple extension of logic programming where variables may range over goals and goals may be arguments of predicates. In this language we can write logic programs which use goals as data. We give practical evidence that, by…
We propose a generalized form of entangled coherent states (ECS) and apply them in a multi-arm optical interferometer to estimate multiple phase shifts. We obtain the quantum Cramer-Rao bounds for both the linear and nonlinear…
Qubits are a great way to build a quantum computer, but a limited way to program one. We replace the usual "states and gates" formalism with a "props and ops" (propositions and operators) model in which (a) the C*-algebra of observables…
I show a way to tune photo-nuclear cross section effectively and therefore achieve nuclear transitions "on demand". The method is based on combinatorial enhancement of multiphoton processes under intense conditions. Taking advantage of…
We discuss the results on the fundamental degrees of freedom underlying the nucleon excitation spectrum and how they evolve as the resonance transitions are investigated with increasingly better space-time resolution of the electromagnetic…
Parametric couplings in engineered quantum systems are a powerful tool to control, manipulate and enhance interactions in a variety of platforms. It allows us to bring systems of different energy scales into communication with each other.…
The ALLIANCE code is developed to solve a new set of four-dimensional electromagnetic drift-kinetic equations in slab geometry [J. Plasma Phys. 88 905880117 (2022)]. The nonlinear equations are useful for the study of magnetized plasma…
We review a geometric approach to classification and examination of quantum correlations in composite systems. Since quantum information tasks are usually achieved by manipulating spin and alike systems or, in general, systems with a finite…
We show that the possibility to address and image single sites of an optical lattice, now an experimental reality, allows to measure the frequency-resolved local particle and hole spectra of a wide variety of one- and two-dimensional…
Version 2 of 'carlomat', a program for automatic computation of the lowest order cross sections of multiparticle reactions, is described. The substantial modifications with respect to version 1 of the program include: generation of a single…
The quantum many-body problem lies at the center of the most important open challenges in condensed matter, quantum chemistry, atomic, nuclear, and high-energy physics. While quantum Monte Carlo, when applicable, remains the most powerful…
We investigate an effective model Hamiltonian for organometallic complexes that are widely used in optoelectronic devices. The two most important parameters in the model are $J$, the effective exchange interaction between the $\pi$ and…
A program package, which facilitates computations in the framework of Analytic approach to QCD, is developed and described in details. The package includes the explicit expressions for relevant spectral functions calculated up to the…
Quantum algorithms manipulate the amplitudes of quantum states to find solutions to computational problems. In this work, we present a framework for applying a general class of non-linear functions to the amplitudes of quantum states, with…