Theoretical models of spins coupled to bosons provide a simple setting for studying a broad range of important phenomena in many-body physics, from virtually mediated interactions to decoherence and thermalization. In many atomic, molecular, and optical systems, such models also underlie the most successful attempts to engineer strong, long-ranged interactions for the purpose of entanglement generation. Especially when the coupling between the spins and bosons is strong, such that it cannot be treated perturbatively, the properties of such models are extremely challenging to calculate theoretically. Here, exact analytical expressions for nonequilibrium spin-spin correlation functions are derived for a specific model of spins coupled to bosons. The spatial structure of the coupling between spins and bosons is completely arbitrary, and thus the solution can be applied to systems in any number of dimensions. The explicit and nonperturbative inclusion of the bosons enables the study of entanglement generation (in the form of spin squeezing) even when the bosons are driven strongly and near resonantly, and thus provides a quantitative view of the breakdown of adiabatic elimination that inevitably occurs as one pushes towards the fastest entanglement generation possible. The solution also helps elucidate the effect of finite temperature on spin squeezing. The model considered is relevant to a variety of atomic, molecular, and optical systems, such as atoms in cavities or trapped ions. As an explicit example, the results are used to quantify phonon effects in trapped ion quantum simulators, which are expected to become increasingly important as these experiments push towards larger numbers of ions.
Theoretical models of spins coupled to bosons provide a simple setting for studying a broad range of important phenomena in many-body physics, from virtually mediated interactions to decoherence and thermalization. In many atomic, molecular, and optical systems, such models also underlie the most successful attempts to engineer strong, long-ranged interactions for the purpose of entanglement generation. Especially when the coupling between the spins and bosons is strong, such that it cannot be treated perturbatively, the properties of such models are extremely challenging to calculate theoretically. Here, exact analytical expressions for nonequilibrium spin-spin correlation functions are derived for a specific model of spins coupled to bosons. The spatial structure of the coupling between spins and bosons is completely arbitrary, and thus the solution can be applied to systems in any number of dimensions. The explicit and nonperturbative inclusion of the bosons enables the study of entanglement generation (in the form of spin squeezing) even when the bosons are driven strongly and near resonantly, and thus provides a quantitative view of the breakdown of adiabatic elimination that inevitably occurs as one pushes towards the fastest entanglement generation possible. The solution also helps elucidate the effect of finite temperature on spin squeezing. The model considered is relevant to a variety of atomic, molecular, and optical systems, such as atoms in cavities or trapped ions. As an explicit example, the results are used to quantify phonon effects in trapped ion quantum simulators, which are expected to become increasingly important as these experiments push towards larger numbers of ions.
Ising models, and the physical systems described by them, play a central role in generating entangled states for use in quantum metrology and quantum information.In particular, ultracold atomic gases, trapped ion systems, and Rydberg atoms realize long-ranged Ising models, which even in the absence of a transverse field can give rise to highly non-classical dynamics and long-range quantum correlations.In the first part of this paper, we present a detailed theoretical framework for studying the dynamics of such systems driven (at time t = 0) into arbitrary unentangled non-equilibrium states, thus greatly extending and unifying the work of Foss-Feig et al (2013 Phys.Rev. A 87 042101).Specifically, we derive exact expressions for closed-time-path ordered correlation functions, and use these to study experimentally relevant observables, e.g.Bloch vector and spin-squeezing dynamics.In the second part, these correlation functions are then used to derive closed-form expressions for the dynamics of arbitrary spin-spin correlation functions in the presence 5
Applications of quantum devices and simulators require an accurate understanding of their dynamics as well as the effects of environmental noise. While some sources of noise can be modeled as Markovian dissipation, coupling to resonators or vibrational modes often produces non-Markovian dynamics as well, making it difficult to characterize the system, particularly for interacting many-body systems. Here, we identify a broad class of exactly solvable many-body quantum systems with both non-Markovian dynamics and Markovian dissipation. We consider a prototypical model of spins coupled to lossy bosonic modes that mediate Ising-type interactions. We exclude a transverse field but allow local spin dissipation that need not commute with the interactions, including dephasing, relaxation, pumping, and even processes that generate coherences. Using an exact stochastic representation, we decouple the many-body dynamics into the evolution of individual spins, yielding exact spin observables and correlations without adiabatically eliminating the bosons. In the Markovian limit, our solutions describe Ising models with correlated dephasing and nonreciprocal interactions. An example of spin squeezing shows that both the achievable squeezing and its optimal preparation time depend strongly on the interplay between non-Markovian dynamics and Markovian dissipation.
The quantum simulation of complex many body systems holds promise for understanding the origin of emergent properties of strongly correlated systems, such as high-Tc superconductors and spin liquids. Cold atomic systems provide an almost ideal platform for quantum simulation due to their excellent quantum coherence, initialization and readout properties, and their ability to support several forms of interactions. In this thesis, I present experiments on the quantum simulation of long range Ising models in the presence of transverse magnetic fields with a chain of up to sixteen ultracold 171-Yb+ ions trapped in a linear radio frequency Paul trap. Two hyperfine levels in each of the 171-Yb+ ions serve as the spin-1/2 systems. We detect the spin states of the individual ions by observing state-dependent fluorescence with single site resolution, and can directly measure any possible spin correlation function. The spin-spin interactions are engineered by applying dipole forces from precisely tuned lasers whose beatnotes induce stimulated Raman transitions that couple virtually to collective phonon modes of the ion motion. The Ising couplings are controlled, both in sign and strength with respect to the effective transverse field, and adiabatically manipulated to study various aspects of this spin model, such as the emergence of a quantum phase transition in the ground state and spin frustration due to competing antiferromagnetic interactions. Spin frustration often gives rise to a massive degeneracy in the ground state, which can lead to entanglement in the spin system. We detect and characterize this frustration induced entanglement in a system of three spins, demonstrating the first direct experimental connection between frustration and entanglement. With larger numbers of spins we also vary the range of the antiferromagnetic couplings through appropriate laser tunings and observe that longer range interactions reduce the excitation energy and thereby frustrate the ground state order. This system can potentially be scaled up to study a wide range of fully connected spin networks with a few dozens of spins, where the underlying theory becomes intractable on a classical computer.
The interplay between interactions and decoherence in many-body systems is of fundamental importance in quantum physics. In a step toward understanding this interplay, we obtain an exact analytic solution for the nonequilibrium dynamics of Ising models with arbitrary couplings (and therefore in arbitrary dimension) and subject to local Markovian decoherence. Our solution shows that decoherence significantly degrades the nonclassical correlations developed during coherent Ising spin dynamics, which relax much faster than predicted by treating decoherence and interactions separately. We also show that the competition of decoherence and interactions induces a transition from oscillatory to overdamped dynamics that is absent at the single-particle or mean-field level. These calculations are applicable to ongoing quantum information and emulation efforts using a variety of atomic, molecular, optical, and solid-state systems. In particular, we apply our results to the NIST Penning trapped-ion experiment and show that the current experiment is capable of producing entanglement amongst hundreds of quantum spins.
Quantum harmonic oscillators model a wide variety of phenomena ranging from electromagnetic fields to vibrations of atoms in molecules. Their excitations can be represented by bosons such as photons, single particles of light, or phonons, the quanta of vibrational energy. Linear interactions that only create and annihilate single bosons can generate coherent states of light or motion. Introducing nth-order nonlinear interactions, that instead involve n bosons, leads to increasingly complex quantum behaviour. For example, second-order interactions enable squeezing, used to enhance the precision of measurements beyond classical limits, while higher-order interactions create non-Gaussian states essential for continuous-variable quantum computation. However, generating nonlinear interactions is challenging, typically requiring higher-order derivatives of the driving field or specialized hardware. Hybrid systems, where linear interactions couple an oscillator to an additional spin, offer a solution and are readily available across many platforms. Here, using the spin of a single trapped ion coupled to its motion, we employ two linear interactions to demonstrate up to fourth-order bosonic interactions; we focus on generalised squeezing interactions and demonstrate squeezing, trisqueezing, and quadsqueezing. We characterise these interactions, including their spin dependence, and reconstruct the Wigner function of the resulting states. We also discuss the scaling of the interaction strength, where we drive the quadsqueezing interaction more than 100 times faster than using conventional techniques. Our method presents no fundamental limit in the interaction order n and applies to any platform supporting spin-dependent linear interactions. Strong higher-order nonlinear interactions unlock the study of fundamental quantum optics, quantum simulation, and computation in a hitherto unexplored regime.
The global coupling of few-level quantum systems (``spins'') to a discrete set of bosonic modes is a key ingredient for many applications in quantum science, including large-scale entanglement generation, quantum simulation of the dynamics of long-range interacting spin models, and hybrid platforms for force and spin sensing. We present a general numerical framework for treating the out-of-equilibrium dynamics of such models based on matrix product states. Our approach applies for generic spin-boson systems: it treats any spatial and operator dependence of the two-body spin-boson coupling and places no restrictions on relative energy scales. We show that the full counting statistics of collective spin measurements and infidelity of quantum simulation due to spin-boson entanglement, both of which are difficult to obtain by other techniques, are readily calculable in our approach. We benchmark our method using a recently developed exact solution for a particular spin-boson coupling relevant to trapped ion quantum simulators. Finally, we show how decoherence can be incorporated within our framework using the method of quantum trajectories, and study the dynamics of an open-system spin-boson model with spatially nonuniform spin-boson coupling relevant for trapped atomic ion crystals in the presence of molecular ion impurities.