相关论文: Arnol'd Tongues and Quantum Accelerator Modes
As a cornerstone of automated reasoning, equational reasoning finds equivalences between symbolic expressions and fuels advances across scientific disciplines. Yet, its potential remains limited by the exponential growth of equivalent…
Numerical methods are developed to simulate the dynamics of atoms in a Magneto-Optic Trap (MOT), based on the fluid description of ultracold gases under laser cooling and magnetic trapping forces. With this model, equilibrium hydrostatic…
The dynamic Stark effect and the Autler-Townes splitting (ATS) are hallmarks of driven two-level systems. We establish a direct correspondence between these quantum phenomena and the parametric normal mode splitting in coupled classical…
We investigate some particular completely positive maps which admit a stable commutative Von Neumann subalgebra. The restriction of such maps to the stable algebra is then a Markov operator. In the first part of this article, we propose a…
A recent experiment has observed the antiferromagnetic interaction between the ground state $^1S_0$ and the metastable state $^3P_0$ of $^{171}$Yb atoms, which are fermionic. This observation combined with the use of state-dependent optical…
Based on the technique of the discrete one-turn transfer maps, the problem of linear coupling between horizontal and vertical betatron oscillations in an accelerator has been treated exactly and entirely in explicit form. The stability…
Concepts and formalism from acoustics are often used to exemplify quantum mechanics. Conversely, quantum mechanics could be used to achieve a new perspective on acoustics, as shown by Gabor studies. Here, we focus in particular on the study…
We study the structure of the stable norm of Finsler metrics on the 2-torus with a focus to points of irrational slope. By our results, the stable norm detects KAM-tori and hyperbolicity in the geodesic flow. Moreover, we study the stable…
Galaxy modelling is greatly simplified by assuming the existence of a global system of angle-action coordinates. Unfortunately, global angle-action coordinates do not exist because some orbits become trapped by resonances, especially where…
We present the guarded lambda-calculus, an extension of the simply typed lambda-calculus with guarded recursive and coinductive types. The use of guarded recursive types ensures the productivity of well-typed programs. Guarded recursive…
Quantum computing and AI have found a fruitful intersection in the field of natural language processing. We focus on the recently proposed DisCoCirc framework for natural language, and propose a quantum adaptation, QDisCoCirc. This is…
The elementary affine lambda-calculus was introduced as a polyvalent setting for implicit computational complexity, allowing for characterizations of polynomial time and hyperexponential time predicates. But these results rely on type…
Assume that the interval $I=[0,1)$ is partitioned into finitely many intervals $I_1,\dots,I_r$ and consider a map $T\colon I\to I$ so that $T_{\vert I_s}$ is a translation for each $1 \le s \le r$. We do not assume that the images of these…
The Quantum Loschmidt Echo is a measurement of the sensitivity of a quantum system to perturbations of the Hamiltonian. In the case of the standard 2-torus, we derive some explicit formulae for this quantity in the transition regime where…
We study the global boundedness of the solutions of a non-smooth forced oscillator with a periodic and real analytic forcing. We show that the impact map associated with this discontinuous equation becomes a real analytic and exact…
A microscopic theory for the interaction of carriers with LO phonons is used to study the ultrafast carrier dynamics in nitride-based semiconductor quantum dots. It is shown that the efficiency of scattering processes is directly linked to…
We develop an algebraic frame for the simultaneous treatment of actual and possible properties of quantum systems. We show that, in spite of the fact that the language is enriched with the addition of a modal operator to the orthomodular…
Quantum channels describe subsystem or open system evolution. Using the classical Koopman operator that evolves functions on phase space, 4 classical Koopman channels are identified that are analogs of the 4 possible quantum channels in a…
Cold atom optical lattices allow for the study of quantum localization and mobility edges in a disorder-free environment. We predict the existence of an Anderson-like insulator with sharp mobility edges in a one-dimensional nearly-periodic…
Quantum language models are the alternative to classical language models, which borrow concepts and methods from quantum machine learning and computational linguistics. While several quantum natural language processing (QNLP) methods and…