Robust Measurements of n-Point Correlation Functions of Driven-Dissipative Quantum Systems on a Digital Quantum Computer.

We propose and demonstrate a unified hierarchical method to measure n-point correlation functions that can be applied to driven, dissipative, or otherwise open or nonequilibrium quantum systems. In this method, the time evolution of the system is repeatedly interrupted by interacting an ancilla qubit with the system through a controlled operation, and measuring the ancilla immediately afterward. We discuss the robustness of this method as compared to other ancilla-based interferometric techniques (such as the Hadamard test), and highlight its advantages for near-term quantum simulations of open quantum systems. We implement the method on a quantum computer in order to measure single-particle Green's functions of a driven-dissipative fermionic system. This Letter shows that dynamical correlation functions for driven-dissipative systems can be robustly measured with near-term quantum computers.

Non-Abelian topological order and anyons on a trapped-ion processor.

Non-Abelian topological order is a coveted state of matter with remarkable properties, including quasiparticles that can remember the sequence in which they are exchanged1-4. These anyonic excitations are promising building blocks of fault-tolerant quantum computers5,6. However, despite extensive efforts, non-Abelian topological order and its excitations have remained elusive, unlike the simpler quasiparticles or defects in Abelian topological order. Here we present the realization of non-Abelian topological order in the wavefunction prepared in a quantum processor and demonstrate control of its anyons. Using an adaptive circuit on Quantinuum's H2 trapped-ion quantum processor, we create the ground-state wavefunction of D4 topological order on a kagome lattice of 27 qubits, with fidelity per site exceeding 98.4 per cent. By creating and moving anyons along Borromean rings in spacetime, anyon interferometry detects an intrinsically non-Abelian braiding process. Furthermore, tunnelling non-Abelions around a torus creates all 22 ground states, as well as an excited state with a single anyon-a peculiar feature of non-Abelian topological order. This work illustrates the counterintuitive nature of non-Abelions and enables their study in quantum devices.

Entanglement from Tensor Networks on a Trapped-Ion Quantum Computer.

The ability to selectively measure, initialize, and reuse qubits during a quantum circuit enables a mapping of the spatial structure of certain tensor-network states onto the dynamics of quantum circuits, thereby achieving dramatic resource savings when simulating quantum systems with limited entanglement. We experimentally demonstrate a significant benefit of this approach to quantum simulation: the entanglement structure of an infinite system-specifically the half-chain entanglement spectrum-is conveniently encoded within a small register of "bond qubits" and can be extracted with relative ease. Using Honeywell's model H0 quantum computer equipped with selective midcircuit measurement and reset, we quantitatively determine the near-critical entanglement entropy of a correlated spin chain directly in the thermodynamic limit and show that its phase transition becomes quickly resolved upon expanding the bond-qubit register.

Nonequilibrium Fixed Points of Coupled Ising Models.

Driven-dissipative systems are expected to give rise to nonequilibrium phenomena that are absent in their equilibrium counterparts. However, phase transitions in these systems generically exhibit an effectively classical equilibrium behavior in spite of their nonequilibrium origin. In this paper, we show that multicritical points in such systems lead to a rich and genuinely nonequilibrium behavior. Specifically, we investigate a driven-dissipative model of interacting bosons that possesses two distinct phase transitions: one from a high- to a low-density phase-reminiscent of a liquid-gas transition-and another to an antiferromagnetic phase. Each phase transition is described by the Ising universality class characterized by an (emergent or microscopic) ℤ 2 symmetry. However, they coalesce at a multicritical point, giving rise to a nonequilibrium model of coupled Ising-like order parameters described by a ℤ 2 × â„¤ 2 symmetry. Using a dynamical renormalization-group approach, we show that a pair of nonequilibrium fixed points (NEFPs) emerge that govern the long-distance critical behavior of the system. We elucidate various exotic features of these NEFPs. In particular, we show that a generic continuous scale invariance at criticality is reduced to a discrete scale invariance. This further results in complex-valued critical exponents and spiraling phase boundaries, and it is also accompanied by a complex Liouvillian gap even close to the phase transition. As direct evidence of the nonequilibrium nature of the NEFPs, we show that the fluctuation-dissipation relation is violated at all scales, leading to an effective temperature that becomes "hotter" and "hotter" at longer and longer wavelengths. Finally, we argue that this nonequilibrium behavior can be observed in cavity arrays with cross-Kerr nonlinearities.

Trapped Ion Quantum Information Processing with Squeezed Phonons.

Trapped ions offer a pristine platform for quantum computation and simulation, but improving their coherence remains a crucial challenge. Here, we propose and analyze a new strategy to enhance the coherent interactions in trapped ion systems via parametric amplification of the ions' motion-by squeezing the collective motional modes (phonons), the spin-spin interactions they mediate can be significantly enhanced. We illustrate the power of this approach by showing how it can enhance collective spin states useful for quantum metrology, and how it can improve the speed and fidelity of two-qubit gates in multi-ion systems, important ingredients for scalable trapped ion quantum computation. Our results are also directly relevant to numerous other physical platforms in which spin interactions are mediated by bosons.

Stroboscopic approach to trapped-ion quantum information processing with squeezed phonons.

In trapped-ion quantum information processing, interactions between spins (qubits) are mediated by collective modes of motion of an ion crystal. While there are many different experimental strategies to design such interactions, they all face both technical and fundamental limitations to the achievable coherent interaction strength. In general, obtaining strong interactions and fast gates is an ongoing challenge. Here, we extend previous work [W. Ge, B. C. Sawyer, J. W. Britton, K. Jacobs, J. J. Bollinger, and M. Foss-Feig, Phys. Rev. Lett. 122, 030501 (2019)] and present a general strategy for enhancing the interaction strengths in trapped-ion systems via parametric amplification of the ions' motion. Specifically, we propose a stroboscopic protocol using alternating applications of parametric amplification and spin-motion coupling. In comparison with the previous work, we show that the current protocol can lead to larger enhancements in the coherent interaction that increase exponentially with the gate time.

Locality and Digital Quantum Simulation of Power-Law Interactions.

The propagation of information in nonrelativistic quantum systems obeys a speed limit known as a Lieb-Robinson bound. We derive a new Lieb-Robinson bound for systems with interactions that decay with distance r as a power law, 1/r α . The bound implies an effective light cone tighter than all previous bounds. Our approach is based on a technique for approximating the time evolution of a system, which was first introduced as part of a quantum simulation algorithm by Haah et al., FOCS'18. To bound the error of the approximation, we use a known Lieb-Robinson bound that is weaker than the bound we establish. This result brings the analysis full circle, suggesting a deep connection between Lieb-Robinson bounds and digital quantum simulation. In addition to the new Lieb-Robinson bound, our analysis also gives an error bound for the Haah et al. quantum simulation algorithm when used to simulate power-law decaying interactions. In particular, we show that the gate count of the algorithm scales with the system size better than existing algorithms when α > 3D (where D is the number of dimensions).

Distributed Quantum Metrology with Linear Networks and Separable Inputs.

We derive a bound on the ability of a linear-optical network to estimate a linear combination of independent phase shifts by using an arbitrary nonclassical but unentangled input state, thereby elucidating the quantum resources required to obtain the Heisenberg limit with a multiport interferometer. Our bound reveals that while linear networks can generate highly entangled states, they cannot effectively combine quantum resources that are well distributed across multiple modes for the purposes of metrology: In this sense, linear networks endowed with well-distributed quantum resources behave classically. Conversely, our bound shows that linear networks can achieve the Heisenberg limit for distributed metrology when the input photons are concentrated in a small number of input modes, and we present an explicit scheme for doing so.

Dynamical Phase Transitions in Sampling Complexity.

We make the case for studying the complexity of approximately simulating (sampling) quantum systems for reasons beyond that of quantum computational supremacy, such as diagnosing phase transitions. We consider the sampling complexity as a function of time t due to evolution generated by spatially local quadratic bosonic Hamiltonians. We obtain an upper bound on the scaling of t with the number of bosons n for which approximate sampling is classically efficient. We also obtain a lower bound on the scaling of t with n for which any instance of the boson sampling problem reduces to this problem and hence implies that the problem is hard, assuming the conjectures of Aaronson and Arkhipov [Proceedings of the Forty-Third Annual ACM Symposium on Theory of Computing (ACM Press, New York, New York, USA, 2011), p. 333]. This establishes a dynamical phase transition in sampling complexity. Further, we show that systems in the Anderson-localized phase are always easy to sample from at arbitrarily long times. We view these results in light of classifying phases of physical systems based on parameters in the Hamiltonian. In doing so, we combine ideas from mathematical physics and computational complexity to gain insight into the behavior of condensed matter, atomic, molecular, and optical systems.

Optimal and secure measurement protocols for quantum sensor networks.

Studies of quantum metrology have shown that the use of many-body entangled states can lead to an enhancement in sensitivity when compared with unentangled states. In this paper, we quantify the metrological advantage of entanglement in a setting where the measured quantity is a linear function of parameters individually coupled to each qubit. We first generalize the Heisenberg limit to the measurement of nonlocal observables in a quantum network, deriving a bound based on the multiparameter quantum Fisher information. We then propose measurement protocols that can make use of Greenberger-Horne-Zeilinger (GHZ) states or spin-squeezed states and show that in the case of GHZ states the protocol is optimal, i.e., it saturates our bound. We also identify nanoscale magnetic resonance imaging as a promising setting for this technology.

Fast Quantum State Transfer and Entanglement Renormalization Using Long-Range Interactions.

In short-range interacting systems, the speed at which entanglement can be established between two separated points is limited by a constant Lieb-Robinson velocity. Long-range interacting systems are capable of faster entanglement generation, but the degree of the speedup possible is an open question. In this Letter, we present a protocol capable of transferring a quantum state across a distance L in d dimensions using long-range interactions with a strength bounded by 1/r^{α}. If α

Solvable Family of Driven-Dissipative Many-Body Systems.

Exactly solvable models have played an important role in establishing the sophisticated modern understanding of equilibrium many-body physics. Conversely, the relative scarcity of solutions for nonequilibrium models greatly limits our understanding of systems away from thermal equilibrium. We study a family of nonequilibrium models, some of which can be viewed as dissipative analogues of the transverse-field Ising model, in that an effectively classical Hamiltonian is frustrated by dissipative processes that drive the system toward states that do not commute with the Hamiltonian. Surprisingly, a broad and experimentally relevant subset of these models can be solved efficiently. We leverage these solutions to compute the effects of decoherence on a canonical trapped-ion-based quantum computation architecture, and to prove a no-go theorem on steady-state phase transitions in a many-body model that can be realized naturally with Rydberg atoms or trapped ions.

Entanglement Area Laws for Long-Range Interacting Systems.

We prove that the entanglement entropy of any state evolved under an arbitrary 1/r^{α} long-range-interacting D-dimensional lattice spin Hamiltonian cannot change faster than a rate proportional to the boundary area for any α>D+1. We also prove that for any α>2D+2, the ground state of such a Hamiltonian satisfies the entanglement area law if it can be transformed along a gapped adiabatic path into a ground state known to satisfy the area law. These results significantly generalize their existing counterparts for short-range interacting systems, and are useful for identifying dynamical phase transitions and quantum phase transitions in the presence of long-range interactions.

Quantum spin dynamics and entanglement generation with hundreds of trapped ions.

Quantum simulation of spin models can provide insight into problems that are difficult or impossible to study with classical computers. Trapped ions are an established platform for quantum simulation, but only systems with fewer than 20 ions have demonstrated quantum correlations. We studied quantum spin dynamics arising from an engineered, homogeneous Ising interaction in a two-dimensional array of (9)Be(+) ions in a Penning trap. We verified entanglement in spin-squeezed states of up to 219 ions, directly observing 4.0 ± 0.9 decibels of spectroscopic enhancement, and observed states with non-Gaussian statistics consistent with oversqueezed states. The good agreement with ab initio theory that includes interactions and decoherence lays the groundwork for simulations of the transverse-field Ising model with variable-range interactions, which are generally intractable with classical methods.

Causality and quantum criticality in long-range lattice models.

Long-range quantum lattice systems often exhibit drastically different behavior than their short-range counterparts. In particular, because they do not satisfy the conditions for the Lieb-Robinson theorem, they need not have an emergent relativistic structure in the form of a light cone. Adopting a field-theoretic approach, we study the one-dimensional transverse-field Ising model with long-range interactions, and a fermionic model with long-range hopping and pairing terms, explore their critical and near-critical behavior, and characterize their response to local perturbations. We deduce the dynamic critical exponent, up to the two-loop order within the renormalization group theory, which we then use to characterize the emergent causal behavior. We show that beyond a critical value of the power-law exponent of the long-range couplings, the dynamics effectively becomes relativistic. Various other critical exponents describing correlations in the ground state, as well as deviations from a linear causal cone, are deduced for a wide range of the power-law exponent.

Collective phases of strongly interacting cavity photons.

We study a coupled array of coherently driven photonic cavities, which maps onto a driven-dissipative XY spin- 1 2 model with ferromagnetic couplings in the limit of strong optical nonlinearities. Using a site-decoupled mean-field approximation, we identify steady-state phases with canted antiferromagnetic order, in addition to limit cycle phases, where oscillatory dynamics persist indefinitely. We also identify collective bistable phases, where the system supports two steady states among spatially uniform, antiferromagnetic, and limit cycle phases. We compare these mean-field results to exact quantum trajectory simulations for finite one-dimensional arrays. The exact results exhibit short-range antiferromagnetic order for parameters that have significant overlap with the mean-field phase diagram. In the mean-field bistable regime, the exact quantum dynamics exhibits real-time collective switching between macroscopically distinguishable states. We present a clear physical picture for this dynamics and establish a simple relationship between the switching times and properties of the quantum Liouvillian.

Nearly linear light cones in long-range interacting quantum systems.

In nonrelativistic quantum theories with short-range Hamiltonians, a velocity v can be chosen such that the influence of any local perturbation is approximately confined to within a distance r until a time t∼r/v, thereby defining a linear light cone and giving rise to an emergent notion of locality. In systems with power-law (1/r^{α}) interactions, when α exceeds the dimension D, an analogous bound confines influences to within a distance r only until a time t∼(α/v)logr, suggesting that the velocity, as calculated from the slope of the light cone, may grow exponentially in time. We rule out this possibility; light cones of power-law interacting systems are bounded by a polynomial for α>2D and become linear as α→∞. Our results impose strong new constraints on the growth of correlations and the production of entangled states in a variety of rapidly emerging, long-range interacting atomic, molecular, and optical systems.

Many-body dynamics of dipolar molecules in an optical lattice.

We use Ramsey spectroscopy to experimentally probe the quantum dynamics of disordered dipolar-interacting ultracold molecules in a partially filled optical lattice, and we compare the results to theory. We report the capability to control the dipolar interaction strength. We find excellent agreement between our measurements of the spin dynamics and theoretical calculations with no fitting parameters, including the dynamics' dependence on molecule number and on the dipolar interaction strength. This agreement verifies the microscopic model expected to govern the dynamics of dipolar molecules, even in this strongly correlated beyond-mean-field regime, and represents the first step towards using this system to explore many-body dynamics in regimes that are inaccessible to current theoretical techniques.

Persistence of locality in systems with power-law interactions.

Motivated by recent experiments with ultracold matter, we derive a new bound on the propagation of information in D-dimensional lattice models exhibiting 1/r^{α} interactions with α>D. The bound contains two terms: One accounts for the short-ranged part of the interactions, giving rise to a bounded velocity and reflecting the persistence of locality out to intermediate distances, whereas the other contributes a power-law decay at longer distances. We demonstrate that these two contributions not only bound but, except at long times, qualitatively reproduce the short- and long-distance dynamical behavior following a local quench in an XY chain and a transverse-field Ising chain. In addition to describing dynamics in numerous intractable long-range interacting lattice models, our results can be experimentally verified in a variety of ultracold-atomic and solid-state systems.

Non-local propagation of correlations in quantum systems with long-range interactions.

The maximum speed with which information can propagate in a quantum many-body system directly affects how quickly disparate parts of the system can become correlated and how difficult the system will be to describe numerically. For systems with only short-range interactions, Lieb and Robinson derived a constant-velocity bound that limits correlations to within a linear effective 'light cone'. However, little is known about the propagation speed in systems with long-range interactions, because analytic solutions rarely exist and because the best long-range bound is too loose to accurately describe the relevant dynamical timescales for any known spin model. Here we apply a variable-range Ising spin chain Hamiltonian and a variable-range XY spin chain Hamiltonian to a far-from-equilibrium quantum many-body system and observe its time evolution. For several different interaction ranges, we determine the spatial and time-dependent correlations, extract the shape of the light cone and measure the velocity with which correlations propagate through the system. This work opens the possibility for studying a wide range of many-body dynamics in quantum systems that are otherwise intractable.