Neutral-atom arrays trapped in optical potentials are a powerful platform for studying quantum physics, combining precise single-particle control and detection with a range of tunable entangling interactions. For example, these capabilities have been leveraged for state-of-the-art frequency metrology as well as microscopic studies of entangled many-particle states. In this work, we combine these applications to realize spin squeezing - a widely studied operation for producing metrologically useful entanglement - in an optical atomic clock based on a programmable array of interacting optical qubits. In this first demonstration of Rydberg-mediated squeezing with a neutral-atom optical clock, we generate states that have almost 4 dB of metrological gain. Additionally, we perform a synchronous frequency comparison between independent squeezed states and observe a fractional frequency stability of $1.087(1)\times 10^{-15}$ at one-second averaging time, which is 1.94(1) dB below the standard quantum limit, and reaches a fractional precision at the $10^{-17}$ level during a half-hour measurement. We further leverage the programmable control afforded by optical tweezer arrays to apply local phase shifts in order to explore spin squeezing in measurements that operate beyond the relative coherence time with the optical local oscillator. The realization of this spin-squeezing protocol in a programmable atom-array clock opens the door to a wide range of quantum-information inspired techniques for optimal phase estimation and Heisenberg-limited optical atomic clocks.
We analyze spin squeezing via Rydberg dressing in optical lattice clocks with random fractional filling. We compare the achievable clock stability in different lattice geometries, including unity-filled tweezer clock arrays and fractionally filled lattice clocks with varying dimensionality. We provide practical considerations and useful tools in the form of approximate analytical expressions and fitting functions to aid in the experimental implementation of Rydberg-dressed spin squeezing. We demonstrate that spin squeezing via Rydberg dressing in one-, two-, and three-dimensional optical latti…
We show that the interaction between Rydberg atomic states can provide continuous spin squeezing of atoms with two ground states. The interaction prevents the simultaneous excitation of more than a single atom in the sample to the Rydberg state, and we propose to utilize this blockade effect to realize an effective collective spin hamiltonian J_x^2-J_y^2. With this hamiltonian the quantum mechanical uncertainty of the spin variable J_x+J_y can be reduced significantly.
Quantum phase transitions (QPTs) involve transformations between different states of matter that are driven by quantum fluctuations. These fluctuations play a dominant role in the quantum critical region surrounding the transition point, where the dynamics are governed by the universal properties associated with the QPT. While time-dependent phenomena associated with classical, thermally driven phase transitions have been extensively studied in systems ranging from the early universe to Bose Einstein Condensates, understanding critical real-time dynamics in isolated, non-equilibrium quantum sy…
We use the resonant dipole-dipole interaction between Rydberg atoms and a periodic external microwave field to engineer XXZ spin Hamiltonians with tunable anisotropies. The atoms are placed in 1D and 2D arrays of optical tweezers, allowing us to study iconic situations in spin physics, such as the implementation of the Heisenberg model in square arrays, and the study of spin transport in 1D. We first benchmark the Hamiltonian engineering for two atoms, and then demonstrate the freezing of the magnetization on an initially magnetized 2D array. Finally, we explore the dynamics of 1D domain wall …
Quantum simulation using synthetic systems is a promising route to solve outstanding quantum many-body problems in regimes where other approaches, including numerical ones, fail. Many platforms are being developed towards this goal, in particular based on trapped ions, superconducting circuits, neutral atoms or molecules. All of which face two key challenges: (i) scaling up the ensemble size, whilst retaining high quality control over the parameters and (ii) certifying the outputs for these large systems. Here, we use programmable arrays of individual atoms trapped in optical tweezers, with in…
Arrays of atoms trapped in optical tweezers combine features of programmable analog quantum simulators with atomic quantum sensors. Here we propose variational quantum algorithms, tailored for tweezer arrays as programmable quantum sensors, capable of generating entangled states on-demand for precision metrology. The scheme is designed to generate metrological enhancement by optimizing it in a feedback loop on the quantum device itself, thus preparing the best entangled states given the available quantum resources. We apply our ideas to generate spin-squeezed states on Sr atom tweezer arrays, …
We propose a Rydberg molecule dressing scheme to create strong and long-ranged interactions at selective distances. This is achieved through laser coupling ground-state atoms off-resonantly to an attractive molecular curve of two interacting Rydberg atoms. Although dephasing due to Rydberg state decay occurs in all dressing schemes, an advantage of the molecule dressing is that a large ratio of dressed interaction to dephasing rate can be realized at large atomic separations. In an optical lattice or tweezer setting, we show that the strong interaction permits the fast generation of spin squee…
A scheme is proposed to prepare squeezed states and Schrödinger cat-like states of the collective spin degrees of freedom associated with a pair of ground states in an atomic ensemble. The scheme uses an effective Jaynes-Cummings interaction which can be provided by excitation of the atoms to Rydberg states and an effective J_x interaction implemented by a resonant Raman coupling between the atomic ground states. Both dynamical evolution with a constant Hamiltonian and with adiabatic variation of the two interaction terms are studied. We show that by the application of further resonant laser f…
Programmable Cavity Squeezing for Distributed Sensing in a Tweezer Array
Istituto Nazionale di Ottica, Consiglio Nazionale delle Ricerche (INO-CNR)（意大利国家光学研究所）；European Laboratory for Nonlinear Spectroscopy (LENS)（欧洲非线性光谱学实验室）；University of Firenze（佛罗伦萨大学）
We propose a physical realization of quantum cellular automata (QCA) using arrays of ultracold atoms excited to Rydberg states. The key ingredient is the use of programmable multifrequency couplings which generalize the Rydberg blockade and facilitation effects to a broader set of non-additive, unitary and non-unitary (dissipative) conditional interactions. Focusing on a 1D array we define a set of elementary QCA rules that generate complex and varied quantum dynamical behavior. Finally we demonstrate theoretically that Rydberg QCA is ideally suited for variational quantum optimization protoco…
We demonstrate the ability to excite atoms at well-defined, programmable locations in a magneto-optical trap, either to the continuum (ionisation), or to a Rydberg state. To this end, excitation laser light is shaped into arbitrary intensity patterns with a spatial light modulator. These optical patterns are sensitive to aberrations of the phase of the light field, occuring while traversing the optical beamline. These aberrations are characterised and corrected without observing the actual light field in the vacuum chamber.
Trapped neutral atoms have become a prominent platform for quantum science, where entanglement fidelity records have been set using highly-excited Rydberg states. However, controlled two-qubit entanglement generation has so far been limited to alkali species, leaving the exploitation of more complex electronic structures as an open frontier that could lead to improved fidelities and fundamentally different applications such as quantum-enhanced optical clocks. Here we demonstrate a novel approach utilizing the two-valence electron structure of individual alkaline-earth Rydberg atoms. We find fi…
Université de Tours（图尔大学）；Université d’Orléans（奥尔良大学）；CNRS, IDP, UMR 7013（法国国家科学研究中心，图像与数据处理实验室，联合研究单位7013）；Nordita, Stockholm University（北欧理论天体物理学研究所，斯德哥尔摩大学）；Wilczek Quantum Center, Shanghai Institute for Advanced Studies, University of Science and Technology of China（吴健雄量子中心，上海高等研究院，中国科学院大学）
We report on the realization of long-range Ising interactions in a cold gas of cesium atoms by Rydberg dressing. The interactions are enhanced by coupling to Rydberg states in the vicinity of a Förster resonance. We characterize the interactions by measuring the mean-field shift of the clock transition via Ramsey spectroscopy, observing one-axis twisting dynamics. We furthermore emulate a transverse-field Ising model by periodic application of a microwave field and detect dynamical signatures of the paramagnetic-ferromagnetic phase transition. Our results highlight the power of optical address…
We propose a new protocol for preparing spin squeezed states in controllable atomic, molecular, and optical systems, with particular relevance to emerging optical clock platforms compatible with Rydberg interactions. By combining a short-ranged, soft-core potential with an external drive, we can transform naturally emerging Ising interactions into an XX spin model while opening a many-body gap. The gap helps maintain the system within a collective manifold of states where metrologically useful spin squeezing can be generated at a level comparable to the spin squeezing generated in systems with…
Quantum entanglement involving coherent superpositions of macroscopically distinct states is among the most striking features of quantum theory, but its realization is challenging, since such states are extremely fragile. Using a programmable quantum simulator based on neutral atom arrays with interactions mediated by Rydberg states, we demonstrate the deterministic generation of 'Schrödinger cat' states of the Greenberger-Horne-Zeilinger (GHZ) type with up to 20 qubits. Our approach is based on engineering the energy spectrum and using optimal control of the many-body system. We further demon…
We analyze the zero-temperature phases of an array of neutral atoms on the kagome lattice, interacting via laser excitation to atomic Rydberg states. Density-matrix renormalization group calculations reveal the presence of a wide variety of complex solid phases with broken lattice symmetries. In addition, we identify a novel regime with dense Rydberg excitations that has a large entanglement entropy and no local order parameter associated with lattice symmetries. From a mapping to the triangular lattice quantum dimer model, and theories of quantum phase transitions out of the proximate solid p…
Controlling non-equilibrium quantum dynamics in many-body systems is an outstanding challenge as interactions typically lead to thermalization and a chaotic spreading throughout Hilbert space. We experimentally investigate non-equilibrium dynamics following rapid quenches in a many-body system composed of 3 to 200 strongly interacting qubits in one and two spatial dimensions. Using a programmable quantum simulator based on Rydberg atom arrays, we probe coherent revivals corresponding to quantum many-body scars. Remarkably, we discover that scar revivals can be stabilized by periodic driving, w…
One of the leading approaches to large-scale quantum information processing (QIP) is the continuous-variable (CV) scheme based on time multiplexing (TM). As a fundamental building block for this approach, quantum light sources to sequentially produce time-multiplexed squeezed-light pulses are required; however, conventional CV TM experiments have used fixed light sources that can only output the squeezed pulses with the same squeezing levels and phases. We here demonstrate a programmable time-multiplexed squeezed light source that can generate sequential squeezed pulses with various squeezing …
Motivated by recent experimental realizations of exotic phases of matter on programmable quantum simulators, we carry out a comprehensive theoretical study of quantum phase transitions in a Rydberg atom array on a square lattice, with both open and periodic boundary conditions. In the bulk, we identify several first-order and continuous phase transitions by performing large-scale quantum Monte Carlo simulations and develop an analytical understanding of the nature of these transitions using the framework of Landau-Ginzburg-Wilson theory. Remarkably, we find that under open boundary conditions,…
We theoretically analyze recent experiments [G. Semeghini et al., Science 374, 1242 (2021)] demonstrating the onset of a topological spin liquid using a programmable quantum simulator based on Rydberg atom arrays. In the experiment, robust signatures of topological order emerge in out-of-equilibrium states that are prepared using a quasi-adiabatic state preparation protocol. We show theoretically that the state preparation protocol can be optimized to target the fixed point of the topological phase -- the resonating valence bond (RVB) state of hard dimers -- in a time that scales linearly with…
Quantum spin liquids, exotic phases of matter with topological order, have been a major focus of explorations in physical science for the past several decades. Such phases feature long-range quantum entanglement that can potentially be exploited to realize robust quantum computation. We use a 219-atom programmable quantum simulator to probe quantum spin liquid states. In our approach, arrays of atoms are placed on the links of a kagome lattice and evolution under Rydberg blockade creates frustrated quantum states with no local order. The onset of a quantum spin liquid phase of the paradigmatic…
Scalable, local control over gate operations is an outstanding challenge in the field of quantum computing and programmable quantum simulation with Rydberg atom arrays. One approach is to use a global field to excite atoms to the Rydberg state, and tune individual atoms in and out of resonance via local light shifts. In this work, we point out that photon scattering errors from light shifts can be significantly reduced if the light shift is applied to the Rydberg state instead of the ground state, which can be realized in Rydberg states of alkaline earth atoms using optical transitions in the …
The notion of the Trojan state of a Rydberg electron, introduced by I.Bialynicki-Birula, M.Kaliński, and J.H.Eberly (Phys. Rev. Lett. 73, 1777 (1994)) is extended to the case of the electromagnetic field quantized in acavity. The shape of the electronic wave packet describing the Trojan state is practically the same as in the previously studied externally driven system. The fluctuations of the quantized electromagnetic field around its classical value exhibit strong squeezing. The emergence of Trojan states in the cylindrically symmetrical system is attributed to spontaneous symmetry braking.
Realizing quantum speedup for practically relevant, computationally hard problems is a central challenge in quantum information science. Using Rydberg atom arrays with up to 289 qubits in two spatial dimensions, we experimentally investigate quantum algorithms for solving the Maximum Independent Set problem. We use a hardware-efficient encoding associated with Rydberg blockade, realize closed-loop optimization to test several variational algorithms, and subsequently apply them to systematically explore a class of graphs with programmable connectivity. We find the problem hardness is controlled…
Boundary-induced geometrical frustration in a square Rydberg-atom lattice
Max-Planck-Institut für Quantenoptik（马克斯·普朗克量子光学研究所）；Dipartimento di Fisica e Astronomia “Galileo Galilei”, Università degli Studi di Padova（帕多瓦大学伽利略·伽利莱物理与天文学系）；Istituto Nazionale di Fisica Nucleare, Sezione di Padova（意大利国家核物理研究所帕多瓦分部）；Padua Quantum Technologies Research Center, Università degli Studi di Padova（帕多瓦大学帕多瓦量子技术中心）；Planqc
We develop an analytical approach for the description of quantum many-body scars in PXP models. We show that the scarred dynamics in the PXP model on a complete bipartite graph can be interpreted as a one-dimensional chiral scattering problem, and solve this problem analytically. The insights from this analysis allow us to predict that dynamical signatures of scars in PXP models can be enhanced by spin squeezing the initial states. We show numerically that this stabilization mechanism applies not only to the complete bipartite graph but also to one- and two-dimensional lattices, which are rele…
Motivated by far-reaching applications ranging from quantum simulations of complex processes in physics and chemistry to quantum information processing, a broad effort is currently underway to build large-scale programmable quantum systems. Such systems provide unique insights into strongly correlated quantum matter, while at the same time enabling new methods for computation and metrology. Here, we demonstrate a programmable quantum simulator based on deterministically prepared two-dimensional arrays of neutral atoms, featuring strong interactions controlled via coherent atomic excitation int…
We investigate the dynamical Casimir effect and its detection with Rydberg atoms. The photons are created in a resonant cavity with a plasma mirror of a semiconductor slab which is irradiated by periodic laser pulses. The canonical Hamiltonian is derived for the creation and annihilation operators showing the explicit time-variation in the couplings, which originates from the external configuration such as a nonstationary plasma mirror. The number of created photons is evaluated as squeezing from the Heisenberg equations with the Hamiltonian. Then, the detection of the photons as the atomic ex…
Cascaded Rydberg antiblockade: Multi-atom excitation dynamics and entanglement
School of Physics, Zhengzhou University（郑州大学物理学院）；School of Physics, Anhui University（安徽大学物理学院）；School of Electronics and Information, Zhengzhou University of Light Industry（郑州轻工业大学电子与信息工程学院）；Institute of Quantum Materials and Physics, Henan Academy of Science（河南省科学院量子材料与物理研究所）
There is a large ongoing research effort towards obtaining a quantum advantage in the solution of combinatorial optimization problems on near-term quantum devices. A particularly promising platform for testing and developing quantum optimization algorithms are arrays of trapped neutral atoms, laser-coupled to highly excited Rydberg states. However, encoding combinatorial optimization problems in atomic arrays is challenging due to the limited inter-qubit connectivity given by their native finite-range interactions. Here we propose and analyze a fast, high fidelity four-body Rydberg parity gate…
Quantum annealing aims at solving optimization problems efficiently by preparing the ground state of an Ising spin-Hamiltonian quantum mechanically. A prerequisite of building a quantum annealer is the implementation of programmable long-range two-, three- or multi-spin Ising interactions. We discuss an architecture, where the required spin interactions are implemented via two-port, or in general multi-port quantum Ising wires connecting the spins of interest. This quantum annealing architecture of spins connected by Ising quantum wires can be realized by exploiting the three dimensional (3D) …
Programmable arrays of hundreds of Rydberg atoms have recently enabled the exploration of remarkable phenomena in many-body quantum physics. In addition, the development of high-fidelity quantum gates are making them promising architectures for the implementation of quantum circuits. We present here \textit{Pulser}, an open-source Python library for programming neutral-atom devices at the pulse level. The low-level nature of Pulser makes it a versatile framework for quantum control both in the digital and analog settings. The library also contains simulation routines for studying and exploring…
Programmable quantum systems based on Rydberg atom arrays have recently been used for hardware-efficient tests of quantum optimization algorithms [Ebadi et al., Science, 376, 1209 (2022)] with hundreds of qubits. In particular, the maximum independent set problem on so-called unit-disk graphs, was shown to be efficiently encodable in such a quantum system. Here, we extend the classes of problems that can be efficiently encoded in Rydberg arrays by constructing explicit mappings from a wide class of problems to maximum weighted independent set problems on unit-disk graphs, with at most a quadra…
