A number of commercially available quantum computers, such as those based on trapped-ion or superconducting qubits, can now perform mid-circuit measurements and resets. In addition to being crucial for quantum error correction, this capability can help reduce the number of qubits needed to execute many types of quantum algorithms by measuring qubits as early as possible, resetting them, and reusing them elsewhere in the circuit. In this work, we introduce the idea of qubit-reuse compilation, which takes as input a quantum circuit and produces as output a compiled circuit that requires fewer qubits to execute due to qubit reuse. We present two algorithms for performing qubit-reuse compilation: an exact constraint programming optimization model and a greedy heuristic. We introduce the concept of dual circuits, obtained by exchanging state preparations with measurements and vice versa and reversing time, and show that optimal qubit-reuse compilation requires the same number of qubits to execute a circuit as its dual. We illustrate the performance of these algorithms on a variety of relevant near-term quantum circuits, such as one-dimensional and two-dimensional time-evolution circuits, and numerically benchmark their performance on the quantum adiabatic optimization algorithm (QAOA) applied to the MaxCut problem on random three-regular graphs. To demonstrate the practical benefit of these techniques, we experimentally realize an 80-qubit QAOA MaxCut circuit on the 20-qubit Quantinuum H1-1 trapped-ion quantum processor using qubit-reuse compilation algorithms.

We describe and benchmark a new quantum charge-coupled device (QCCD) trapped-ion quantum computer based on a linear trap with periodic boundary conditions, which resembles a race track. The new system successfully incorporates several technologies crucial to future scalability—including electrode broadcasting, multilayer rf routing, and magneto-optical trap (MOT) loading—while maintaining, and in some cases exceeding, the gate fidelities of previous QCCD systems. The system is initially operated with 32 qubits, but future upgrades will allow for more. We benchmark the performance of primitive operations, including an average state preparation and measurement error of $1.6(1)\times {10}^{-3}$, an average single-qubit gate infidelity of $2.5(3)\times {10}^{-5}$, and an average two-qubit gate infidelity of $1.84(5)\times {10}^{-3}$. The system-level performance of the quantum processor is assessed with mirror benchmarking, linear cross-entropy benchmarking, a quantum volume measurement of $\mathrm{QV}=2^{16}$, and the creation of 32-qubit entanglement in a GHZ state. We also tested application benchmarks, including Hamiltonian simulation, QAOA, error correction on a repetition code, and dynamics simulations using qubit reuse. We also discuss future upgrades to the new system aimed at adding more qubits and capabilities.

We demonstrate midcircuit measurements in a neutral atom array by shelving data qubits in protected hyperfine-Zeeman substates while nondestructively measuring an ancilla qubit. Measurement fidelity is enhanced using microwave repumping of the ancilla during the measurement. The coherence of the shelved data qubits is extended during the ancilla readout with dynamical decoupling pulses, after which the data qubits are returned to $m_f=0$ computational basis states. We demonstrate that the quantum state of the data qubits is well preserved up to a constant phase shift with a state preparation and measurement–corrected process fidelity of $\mathcal{F}=97.0(5)\%$. The measurement fidelities on the ancilla qubit after correction for state preparation errors are $\mathcal{F}=94.9(8)\%$ and $\mathcal{F}=95.3(1.1)\%$ for $|0⟩$ and $|1⟩$ qubit states, respectively. We discuss extending this technique to repetitive quantum error correction using quadrupole recooling and microwave-based quantum-state resetting.

We develop an analytical approach to the study of one-dimensional free fermions subject to random projective measurements of local site occupation numbers, based on the Keldysh path-integral formalism and replica trick. In the limit of rare measurements, $\gamma /J\ll 1$ (where $\gamma$ is measurement rate per site and $J$ is hopping constant in the tight-binding model), we derive a nonlinear sigma model (NLSM) as an effective field theory of the problem. Its replica-symmetric sector is described by a $\mathrm{U}(2)/\mathrm{U}(1)\times \mathrm{U}(1)\simeq S^2$ sigma model with diffusive behavior, and the replica-asymmetric sector is a two-dimensional NLSM defined on $\mathrm{SU}(R)$ manifold with the replica limit $R\to 1$. On the Gaussian level, valid in the limit $\gamma /J\to 0$, this model predicts a logarithmic behavior for the second cumulant of number of particles in a subsystem and for the entanglement entropy. However, the one-loop renormalization group analysis allows us to demonstrate that this logarithmic growth saturates at a finite value $\sim (J/\gamma {)}^2$ even for rare measurements, which corresponds to the area-law phase. This implies the absence of a measurement-induced entanglement phase transition for free fermions. The crossover between logarithmic growth and saturation, however, happens at exponentially large scale, $\ln l_{\mathrm{corr}}\sim J/\gamma$. This makes this crossover very sharp as a function of the measurement frequency $\gamma /J$, which can be easily confused with a transition from the logarithmic to area law in finite-size numerical calculations. We have performed a careful numerical analysis, which supports our analytical predictions.

We present a quantum algorithm for simulating the classical dynamics of $2^n$ coupled oscillators (e.g., $2^n$ masses coupled by springs). Our approach leverages a mapping between the Schrödinger equation and Newton’s equation for harmonic potentials such that the amplitudes of the evolved quantum state encode the momenta and displacements of the classical oscillators. When individual masses and spring constants can be efficiently queried, and when the initial state can be efficiently prepared, the complexity of our quantum algorithm is polynomial in $n$, almost linear in the evolution time, and sublinear in the sparsity. As an example application, we apply our quantum algorithm to efficiently estimate the kinetic energy of an oscillator at any time. We show that any classical algorithm solving this same problem is inefficient and must make $2^{\mathrm{\Omega }(n)}$ queries to the oracle, and when the oracles are instantiated by efficient quantum circuits, the problem is bounded-error quantum polynomial time complete. Thus, our approach solves a potentially practical application with an exponential speedup over classical computers. Finally, we show that under similar conditions our approach can efficiently simulate more general classical harmonic systems with $2^n$ modes.

The effort to discover a quantum theory of gravity is motivated by the need to reconcile the incompatibility between quantum theory and general relativity. Here, we present an alternative approach by constructing a consistent theory of classical gravity coupled to quantum field theory. The dynamics is linear in the density matrix, completely positive, and trace preserving, and reduces to Einstein’s theory of general relativity in the classical limit. Consequently, the dynamics does not suffer from the pathologies of the semiclassical theory based on expectation values. The assumption that general relativity is classical necessarily modifies the dynamical laws of quantum mechanics; the theory must be fundamentally stochastic in both the metric degrees of freedom and in the quantum matter fields. This breakdown in predictability allows it to evade several no-go theorems purporting to forbid classical quantum interactions. The measurement postulate of quantum mechanics is not needed; the interaction of the quantum degrees of freedom with classical space-time necessarily causes decoherence in the quantum system. We first derive the general form of classical quantum dynamics and consider realizations which have as its limit deterministic classical Hamiltonian evolution. The formalism is then applied to quantum field theory interacting with the classical space-time metric. One can view the classical quantum theory as fundamental or as an effective theory useful for computing the backreaction of quantum fields on geometry. We discuss a number of open questions from the perspective of both viewpoints.

Robust spin-photon interfaces in solids are essential components in quantum networking and sensing technologies. Ideally, these interfaces combine a long-lived spin memory, coherent optical transitions, fast and high-fidelity spin manipulation, and straightforward device integration and scaling. The tin-vacancy center (SnV) in diamond is a promising spin-photon interface with desirable optical and spin properties at 1.7 K. However, the SnV spin lacks efficient microwave control, and its spin coherence degrades with higher temperature. In this work, we introduce a new platform that overcomes these challenges—SnV centers in uniformly strained thin diamond membranes. The controlled generation of crystal strain introduces orbital mixing that allows microwave control of the spin state with 99.36(9)% gate fidelity and spin coherence protection beyond a millisecond. Moreover, the presence of crystal strain suppresses temperature-dependent dephasing processes, leading to a considerable improvement of the coherence time up to $223(10)\mathrm{\mu }\mathrm{s}$ at 4 K, a widely accessible temperature in common cryogenic systems. Critically, the coherence of optical transitions is unaffected by the elevated temperature, exhibiting nearly lifetime-limited optical linewidths. Combined with the compatibility of diamond membranes with device integration, the demonstrated platform is an ideal spin-photon interface for future quantum technologies.

Midcircuit operations, such as qubit state measurement or reset, are central to many tasks in quantum information science, including quantum computing, entanglement generation, and metrology. For instance, in quantum error correction, the information gained from a measurement on a subset of qubits is used to influence the state of the remaining unmeasured qubits, rectifying inevitable errors that arise in a quantum circuit. Such partial projective operations pose a challenge for dense neutral atom arrays and trapped ions, where accidental exposure to resonant laser light during quantum state initialization and detection can spoil the state of untargeted qubits. In this work, we implement midcircuit operations in a 48-site array of neutral atoms, enabled by new methods for high-fidelity control of the omg (optical-metastable-ground-state qubit) architecture present in ${}^{171}\mathrm{Yb}$. Here, the quantum information is encoded in either of the three qubit manifolds and can be shuttled between them. With state-sensitive shelving between the ground and metastable states, we realize a nondestructive state detection for ${}^{171}\mathrm{Yb}$, incorporating global control and local feed-forward operations. Using new schemes for local addressing of the optical clock transition, we shelve a subset of qubits to the metastable state, hiding them from projective operations performed on the qubits remaining in the ground state, demonstrating midcircuit measurement, spin reset, and motional reset in the form of ground-state cooling.

Measurement-based quantum error correction relies on the ability to determine the state of a subset of qubits (ancillas) within a processor without revealing or disturbing the state of the remaining qubits. Among neutral-atom-based platforms, a scalable, high-fidelity approach to midcircuit measurement that retains the ancilla qubits in a state suitable for future operations has not yet been demonstrated. In this work, we perform maging using a narrow-linewidth transition in an array of tweezer-confined ${}^{171}\mathrm{Yb}$ atoms to demonstrate nondestructive state-selective and site-selective detection. By applying site-specific light shifts, selected atoms within the array can be hidden from imaging light, which allows a subset of qubits to be measured while causing only percent-level errors on the remaining qubits. As a proof-of-principle demonstration of conditional operations based on the results of the midcircuit measurements, and of our ability to reuse ancilla qubits, we perform conditional refilling of ancilla sites to correct for occasional atom loss, while maintaining the coherence of data qubits. Looking toward true continuous operation, we demonstrate loading of a magneto-optical trap with a minimal degree of qubit decoherence.

Randomized benchmarking (RB) protocols are the most widely used methods for assessing the performance of quantum gates. However, the existing RB methods either do not scale to many qubits or cannot benchmark a universal gate set. Here, we introduce and demonstrate a technique for scalable RB of many universal and continuously parametrized gate sets, using a class of circuits called randomized mirror circuits. Our technique can be applied to a gate set containing an entangling Clifford gate and the set of arbitrary single-qubit gates, as well as gate sets containing controlled rotations about the Pauli axes. We use our technique to benchmark universal gate sets on four qubits of the Advanced Quantum Testbed, including a gate set containing a controlled-S gate and its inverse, and we investigate how the observed error rate is impacted by the inclusion of non-Clifford gates. Finally, we demonstrate that our technique scales to many qubits with experiments on a 27-qubit IBM Q processor. We use our technique to quantify the impact of crosstalk on this 27-qubit device, and we find that it contributes approximately $2/3$ of the total error per gate in random many-qubit circuit layers.

Projective measurements in random quantum circuits lead to a rich breadth of entanglement phases and extend the realm of nonunitary quantum dynamics. Here, we explore the connection between measurement-only quantum circuits in one spatial dimension and the statistical mechanics of loop models in two dimensions. While Gaussian Majorana circuits admit a microscopic mapping to loop models, for non-Gaussian, i.e., generic Clifford, circuits, a corresponding mapping may emerge only on a coarse-grained scale. We then focus on a fundamental symmetry of loop models: the orientability of worldlines. We discuss how orientability enters in the measurement framework, acting as a separatrix for the universal long-wavelength behavior in a circuit. When orientability is broken, the circuit falls into the universality class of closely packed loops with crossings (CPLC) and features a Goldstone phase with a peculiar, universal ${\log }^2(L)$ scaling of the entanglement entropy. In turn, when orientability is preserved, the long-wavelength behavior of the circuit mimics that of (coupled) two-dimensional Potts models. We demonstrate the strength of the loop model approach by numerically simulating a variety of measurement-only Clifford circuits. Upon varying the set of measured operators, a rich circuit dynamics is observed, ranging from CPLC to the one-state Potts model (percolation), the two-state Potts model (Ising), and coupled Potts models (Berezhinskii-Kosterlitz-Thouless) universality class. Loop models, thus, provide a handle to access a large class of measurement-only circuits and yield a blueprint on how to realize desired entanglement phases by measurement.

The amplitude-damping time $T_1$ has long stood as the major factor limiting quantum fidelity in superconducting circuits, prompting concerted efforts in the material science and design of qubits aimed at increasing $T_1$. In contrast, the dephasing time $T_{\varphi }$ can usually be extended above $T_1$ (via, e.g., dynamical decoupling) to the point where it does not limit fidelity. In this article, we propose a scheme for overcoming the conventional $T_1$ limit on fidelity by designing qubits in a way that amplitude-damping errors can be detected and converted into erasure errors. Compared to standard qubit implementations, our scheme improves the performance of fault-tolerant protocols, as numerically demonstrated by the circuit-noise simulations of the surface code. We describe two simple qubit implementations with superconducting circuits and discuss procedures for detecting amplitude-damping errors, performing entangling gates, and extending $T_{\varphi }$. Our results suggest that engineering efforts should focus on improving $T_{\varphi }$ and the quality of quantum coherent control, as they effectively become the limiting factor on the performance of fault-tolerant protocols.

The expressive capacity of physical systems employed for learning is limited by the unavoidable presence of noise in their extracted outputs. Though present in physical systems across both the classical and quantum regimes, the precise impact of noise on learning remains poorly understood. Focusing on supervised learning, we present a mathematical framework for evaluating the resolvable expressive capacity (REC) of general physical systems under finite sampling noise and provide a methodology for extracting its extrema, the eigentasks. Eigentasks are a native set of functions that a given physical system can approximate with minimal error. We show that the REC of a quantum system is limited by the fundamental theory of quantum measurement and obtain a tight upper bound for the REC of any finitely sampled physical system. We then provide empirical evidence that extracting low-noise eigentasks can lead to improved performance for machine learning tasks such as classification, displaying robustness to overfitting. We present analyses suggesting that correlations in the measured quantum system enhance learning capacity by reducing noise in eigentasks. The applicability of these results in practice is demonstrated with experiments on superconducting quantum processors. Our findings have broad implications for quantum machine learning and sensing applications.

A time crystal is a state of periodically driven matter that breaks discrete time-translation symmetry. Time crystals have been demonstrated experimentally in various programmable quantum simulators, and they exemplify how nonequilibrium, driven quantum systems can exhibit intriguing and robust properties absent in systems at equilibrium. These robust driven states need to be stabilized by some mechanism, with the preeminent candidates being many-body localization and prethermalization. This introduces additional constraints that make it challenging to experimentally observe time crystallinity in naturally occurring systems. Recent theoretical work has developed the notion of prethermalization without temperature, expanding the class of time-crystal systems to explain time-crystalline observations at (or near) infinite temperature. In this work, we conclusively observe the emergence of a prethermal $U(1)$ time-crystalline state at quasi-infinite temperature in a solid-state NMR quantum emulator by verifying the requisites of prethermalization without temperature. In addition to observing the signature period-doubling behavior, we show the existence of a long-lived prethermal regime whose lifetime is significantly enhanced by strengthening an emergent $U(1)$ conservation law. Not only do we measure this enhancement through the global magnetization, but we also exploit on-site disorder to measure local observables, ruling out the possibility of many-body localization and confirming the emergence of long-range correlations.

As spin-based quantum processors grow in size and complexity, maintaining high fidelities and minimizing crosstalk will be essential for the successful implementation of quantum algorithms and error-correction protocols. In particular, recent experiments have highlighted pernicious transient qubit frequency shifts associated with microwave qubit driving. Work-arounds for small devices, including prepulsing with an off-resonant microwave burst to bring a device to a steady state, wait times prior to measurement, and qubit-specific calibrations all bode ill for device scalability. Here, we make substantial progress in understanding and overcoming this effect. We report a surprising nonmonotonic relation between mixing chamber temperature and spin Larmor frequency which is consistent with observed frequency shifts induced by microwave and baseband control signals. We find that purposefully operating the device at 200 mK greatly suppresses the adverse heating effect while not compromising qubit coherence or single-qubit fidelity benchmarks. Furthermore, systematic non-Markovian crosstalk is greatly reduced. Our results provide a straightforward means of improving the quality of multispin control while simplifying calibration procedures for future spin-based quantum processors.

The requirements for fault-tolerant quantum error correction can be simplified by leveraging structure in the noise of the underlying hardware. In this work, we identify a new type of structured noise motivated by neutral-atom qubits, biased erasure errors, which arises when qubit errors are dominated by detectable leakage from only one of the computational states of the qubit. We study the performance of this model using gate-level simulations of the $XZZX$ surface code. Using the predicted erasure fraction and bias of metastable ${}^{171}\mathrm{Yb}$ qubits, we find a threshold of 8.2% for two-qubit gate errors, which is 1.9 times higher than the threshold for unbiased erasures and 7.5 times higher than the threshold for depolarizing errors. Surprisingly, the improved threshold is achieved without bias-preserving controlled-not gates and, instead, results from the lower noise entropy in this model. We also introduce an $XZZX$ cluster state construction for measurement-based error correction, hybrid fusion, that is optimized for this noise model. By combining fusion operations and deterministic entangling gates, this construction preserves the intrinsic symmetry of the $XZZX$ code, leading to a higher threshold of 10.3% and enabling the use of rectangular codes with fewer qubits. We discuss a potential physical implementation using a single plane of atoms and movable tweezers.

The concept of space evolution (or space-time duality) has emerged as a promising approach for studying quantum dynamics. The basic idea involves exchanging the roles of space and time, evolving the system using a space transfer matrix rather than the time evolution operator. The infinite-volume limit is then described by the fixed points of the latter transfer matrix, also known as influence matrices. To establish the potential of this method as a bona fide computational scheme, it is important to understand whether the influence matrices can be efficiently encoded in a classical computer. Here we begin this quest by presenting a systematic characterization of their entanglement—dubbed temporal entanglement—in chaotic quantum systems. We consider the most general form of space evolution, i.e., evolution in a generic spacelike direction, and present two fundamental results. First, we show that temporal entanglement always follows a volume law in time. Second, we identify two marginal cases—(i) pure space evolution in generic chaotic systems and (ii) any spacelike evolution in dual-unitary circuits—where Rényi entropies with index larger than one are sublinear in time while the von Neumann entanglement entropy grows linearly. We attribute this behavior to the existence of a product state with large overlap with the influence matrices. This unexpected structure in the temporal entanglement spectrum might be the key to an efficient computational implementation of the space evolution.

Superconducting qubits are a leading system for realizing large-scale quantum processors, but overall gate fidelities suffer from coherence times limited by microwave dielectric loss. Recently discovered tantalum-based qubits exhibit record lifetimes exceeding 0.3 ms. Here, we perform systematic, detailed measurements of superconducting tantalum resonators in order to disentangle sources of loss that limit state-of-the-art tantalum devices. By studying the dependence of loss on temperature, microwave photon number, and device geometry, we quantify materials-related losses and observe that the losses are dominated by several types of saturable two-level systems (TLSs), with evidence that both surface and bulk related TLSs contribute to loss. Moreover, we show that surface TLSs can be altered with chemical processing. With four different surface conditions, we quantitatively extract the linear absorption associated with different surface TLS sources. Finally, we quantify the impact of the chemical processing at single-photon powers, the relevant conditions for qubit device performance. In this regime, we measure resonators with internal quality factors ranging from 5 to $15\times {10}^6$, comparable to the best qubits reported. In these devices, the surface and bulk TLS contributions to loss are comparable, showing that systematic improvements in materials on both fronts are necessary to improve qubit coherence further.

It is a fundamental prediction of quantum theory that states of physical systems are described by complex vectors or density operators on a Hilbert space. However, many experiments admit effective descriptions in terms of other state spaces, such as classical probability distributions or quantum systems with superselection rules. Which kind of effective statistics would allow us to experimentally falsify quantum theory as a fundamental description of nature? Here, we address this question by introducing a methodological principle that generalizes Spekkens’s notion of noncontextuality: Processes that are statistically indistinguishable in an effective theory should not require explanation by multiple distinguishable processes in a more fundamental theory. We formulate this principle in terms of linear embeddings and simulations of one probabilistic theory by another, show how this concept subsumes standard notions of contextuality, and prove a multitude of fundamental results on the exact and approximate embedding of theories (in particular, into quantum theory). We prove that only Jordan-algebraic state spaces are exactly embeddable into quantum theory, and show how results on Bell inequalities can be used for the certification of nonapproximate embeddability. From this, we propose an experimental test of quantum theory by probing single physical systems without assuming access to a tomographically complete set of procedures or calibration of the devices, arguably avoiding a significant loophole of earlier approaches.

We propose and demonstrate an architecture for fluxonium-fluxonium two-qubit gates mediated by transmon couplers (FTF, for fluxonium-transmon-fluxonium). Relative to architectures that exclusively rely on a direct coupling between fluxonium qubits, FTF enables stronger couplings for gates using noncomputational states while simultaneously suppressing the static controlled-phase entangling rate ($ZZ$) down to kilohertz levels, all without requiring strict parameter matching. Here, we implement FTF with a flux-tunable transmon coupler and demonstrate a microwave-activated controlled-$Z$ (CZ) gate whose operation frequency can be tuned over a 2-GHz range, adding frequency allocation freedom for FTFs in larger systems. Across this range, state-of-the-art CZ gate fidelities are observed over many bias points and reproduced across the two devices characterized in this work. After optimizing both the operation frequency and the gate duration, we achieve peak CZ fidelities in the 99.85%–99.9% range. Finally, we implement model-free reinforcement learning of the pulse parameters to boost the mean gate fidelity up to $99.922\%\pm 0.009\%$, averaged over roughly an hour between scheduled training runs. Beyond the microwave-activated CZ gate we present here, FTF can be applied to a variety of other fluxonium gate schemes to improve gate fidelities and passively reduce unwanted $ZZ$ interactions.