A major objective of the strong ongoing drive to realize quantum simulators of gauge theories is achieving the capability to probe collider-relevant physics on them. In this regard, a highly pertinent and sought-after application is the controlled collisions of elementary and composite particles, as well as the scattering processes in their wake. Here, we propose particle-collision experiments in a cold-atom quantum simulator for a $1+1\mathrm{D}$ (one spatial and one temporal dimension) U(1) lattice gauge theory with a tunable topological $\theta$ term, where we demonstrate an experimentally feasible protocol to impart momenta to elementary (anti)particles and their meson composites. We numerically benchmark the collisions of moving wave packets for both elementary and composite particles, uncovering a plethora of rich phenomena, such as oscillatory string dynamics in the wake of elementary (anti)particle collisions due to confinement. We also probe string inversion and entropy production processes across Coleman’s phase transition through far-from-equilibrium quenches. We further demonstrate how collisions of composite particles unveil their internal structure. Our work paves the way towards the experimental investigation of collision dynamics in state-of-the-art quantum simulators of gauge theories, and sets the stage for microscopic understanding of collider-relevant physics in these platforms.

We present a quantum simulation strategy for a (1+1)-dimensional SU(2) non-Abelian lattice gauge theory with dynamical matter, a hardcore-gluon Hamiltonian Yang-Mills, tailored to a six-level trapped-ion-qudit quantum processor, as recently experimentally realized [Nat. Phys. 18, 1053 (2022)]. We employ a qudit encoding fulfilling gauge invariance, an SU(2) Gauss’s law. We discuss the experimental feasibility of generalized Mølmer-Sørensen gates used to efficiently simulate the dynamics. We illustrate how a shallow circuit with these resources is sufficient to implement scalable digital quantum simulation of the model. We also numerically show that this model, albeit simple, can dynamically manifest physically relevant properties specific to non-Abelian field theories, such as baryon excitations.

A restriction in the quality and quantity of available qubits presents a substantial obstacle to the application of near-term and early fault-tolerant quantum computers in practical tasks. To confront this challenge, some techniques for effectively augmenting the system size through classical processing have been proposed; one promising approach is quantum circuit cutting. The main idea of quantum circuit cutting is to decompose an original circuit into smaller subcircuits and combine outputs from these subcircuits to recover the original output. Although this approach enables us to simulate larger quantum circuits beyond physically available circuits, it needs classical overheads quantified by two metrics: the sampling overhead in the number of measurements to reconstruct the original output, and the number of channels in the decomposition. Thus, it is crucial to devise a decomposition method that minimizes both of these metrics, thereby reducing the overall execution time. This paper studies the problem of decomposing the $n$-qubit identity channel, i.e., $n$-parallel wire cutting, into a set of local operations and classical communication; then we give an optimal wire-cutting method composed of channels based on mutually unbiased bases that achieves minimal overheads in both the sampling overhead and the number of channels, without ancilla qubits. This is in stark contrast to the existing method that achieves the optimal sampling overhead yet with ancilla qubits. Moreover, we derive a tight lower bound on the number of channels in parallel wire cutting without ancilla systems and show that only our method achieves this lower bound among the existing methods. Notably, our method shows an exponential improvement in the number of channels, compared to the aforementioned ancilla-assisted method that achieves optimal sampling overhead. Our work significantly alleviates the additional overheads for the wire-cutting method and may provide essential components for the early success of quantum computing.

Three-dimensional microwave cavity resonators have been shown to reach lifetimes of the order of a second by maximizing the cavity volume relative to its surface, using better materials, and improving surface treatments. Such cavities represent an ideal platform for quantum computing with bosonic qubits, but their efficient control remains an outstanding problem since the large mode volume results in less efficient coupling to nonlinear elements used for their control. Moreover, this coupling induces additional cavity decay via the inverse Purcell effect that can easily destroy the advantage of a long intrinsic lifetime. Here, we discuss conditions on, and protocols for, efficient utilization of these ultra-high-quality microwave cavities as memories for conventional superconducting qubits. We show that, surprisingly, efficient write and read operations with ultra-high-quality cavities do not require similar quality factors for the qubits and other nonlinear elements used to control them. Through a combination of analytical and numerical calculations, we demonstrate that efficient coupling to cavities with second-scale lifetime is possible with state-of-the-art transmon and superconducting nonlinear asymmetric inductive element devices and outline a route towards controlling cavities with even higher quality factors. Our work explores a potentially viable roadmap towards using ultra-high-quality microwave cavity resonators for storing and processing information encoded in bosonic qubits.

While quantum state tomography is notoriously hard, most states hold little interest to practically minded tomographers. Given that states and unitaries appearing in nature are of bounded gate complexity, it is natural to ask if efficient learning becomes possible. In this work, we prove that to learn a state generated by a quantum circuit with $G$ two-qubit gates to a small trace distance, a sample complexity scaling linearly in $G$ is necessary and sufficient. We also prove that the optimal query complexity to learn a unitary generated by $G$ gates to a small average-case error scales linearly in $G$. While sample-efficient learning can be achieved, we show that under reasonable cryptographic conjectures, the computational complexity for learning states and unitaries of gate complexity $G$ must scale exponentially in $G$. We illustrate how these results establish fundamental limitations on the expressivity of quantum machine-learning models and provide new perspectives on no-free-lunch theorems in unitary learning. Together, our results answer how the complexity of learning quantum states and unitaries relate to the complexity of creating these states and unitaries.

We demonstrate a surprising connection between pure steady-state entanglement and relaxation time scales in an extremely broad class of Markovian open systems, where two (possibly many-body) systems, $A$ and $B$, interact locally with a common dissipative environment. This setup also encompasses a broad class of adaptive quantum dynamics based on continuous measurement and feedback. As steady-state entanglement increases, there is generically an emergent strong symmetry that leads to a dynamical slow-down. Using this, we can prove rigorous bounds on relaxation times set by steady-state entanglement. We also find that this time must necessarily diverge for maximal entanglement. To test our bound, we consider the dynamics of a random ensemble of local Lindbladians that support pure steady states, finding that the bound does an excellent job of predicting how the dissipative gap varies with the amount of entanglement. Our work provides general insights into how dynamics and entanglement are connected in open systems and has specific relevance to quantum reservoir engineering.

Preparing long-range entangled states poses significant challenges for near-term quantum devices. It is known that measurement and feedback (MF) can aid this task by allowing the preparation of certain paradigmatic long-range entangled states with only constant circuit depth. Here, we systematically explore the structure of states that can be prepared using constant-depth local circuits and a single MF round. Using the framework of tensor networks, the preparability under MF translates to tensor symmetries. We detail the structure of matrix-product states (MPSs) and projected entangled-pair states (PEPSs) that can be prepared using MF, revealing the coexistence of Clifford-like properties and magic. In one dimension, we show that states with Abelian-symmetry-protected topological order are a restricted class of MF-preparable states. In two dimensions, we parametrize a subset of states with Abelian topological order that are MF preparable. Finally, we discuss the analogous implementation of operators via MF, providing a structural theorem that connects to the well-known Clifford teleportation.

Decoding algorithms based on approximate tensor-network (TN) contraction have proven tremendously successful in decoding two-dimensional (2D) local quantum codes such as toric or surface codes and color codes, effectively achieving optimal decoding accuracy. In this work, we introduce several techniques to generalize TN decoding to higher dimensions so that it can be applied to three-dimensional (3D) codes as well as 2D codes with noisy syndrome measurements (phenomenological noise or circuit-level noise). The 3D case is significantly more challenging than 2D, as the involved approximate tensor contraction is dramatically less well behaved than its 2D counterpart. Nonetheless, we numerically demonstrate that the decoding accuracy of our approach outperforms state-of-the-art decoders on the 3D surface code, both in the point and loop sectors, as well as for depolarizing noise. Our techniques could prove useful in near-term experimental demonstrations of quantum error correction, when decoding is to be performed off line and accuracy is of the utmost importance. To this end, we show how TN decoding can be applied to circuit-level noise and demonstrate that it outperforms the matching decoder on the rotated surface code.

Stabilizer codes are the most widely studied class of quantum error-correcting codes and form the basis of most proposals for a fault-tolerant quantum computer. A stabilizer code is defined by a set of parity-check operators, which are measured in order to infer information about errors that may have occurred. In typical settings, measuring these operators is itself a noisy process and the noise strength scales with the number of qubits involved in a given parity check, or its weight. Hastings has proposed a method for reducing the weights of the parity checks of a stabilizer code, though it has previously only been studied in the asymptotic regime. Here, we instead focus on the regime of small to medium-size codes suitable for quantum computing hardware. We both provide a fully explicit description of Hastings’s method and propose a substantially simplified weight-reduction method that is applicable to the class of quantum product codes. Our simplified method allows us to reduce the check weights of hypergraph- and lifted-product codes to at most six, while preserving the number of logical qubits and at least retaining (in fact, often increasing) the code distance. The price we pay is an increase in the number of physical qubits by a constant factor but we find that our method is much more efficient than Hastings’s method in this regard. We benchmark the performance of our codes on a simulated photonic quantum computing architecture based on Gottesman-Kitaev-Preskill qubits and passive linear optics, finding that our weight-reduction method substantially improves code performance.

The ability of quantum computers to directly manipulate and analyze quantum states stored in quantum memory allows them to learn about aspects of our physical world that would otherwise be invisible given a modest number of measurements. Here we investigate a new learning resource, which could be available to quantum computers in the future—measurements on the unknown state accompanied by its complex conjugate $\rho \otimes {\rho }^{\ast }$. For a certain shadow tomography task, we surprisingly find that measurements on only copies of $\rho \otimes {\rho }^{\ast }$ can be exponentially more powerful than measurements on ${\rho }^{\otimes K}$, even for large $K$. This expands the class of provable exponential advantages using only a constant overhead quantum memory, or minimal quantum memory, and we provide a number of examples where the state ${\rho }^{\ast }$ is naturally available in both computational and physical applications. In addition, we precisely quantify the power of classical shadows on single copies under a generalized Clifford ensemble and give a class of quantities that can be efficiently learned. The learning task we study in both the single copy and quantum memory settings is physically natural and corresponds to real-space observables with a limit of bosonic modes, where it achieves an exponential improvement in detecting certain signals under a noisy background. We quantify a new and powerful resource in quantum learning, and we believe the advantage may find applications in improving quantum simulation, learning from quantum sensors, and uncovering new physical phenomena.

A central requirement for the faithful implementation of large-scale lattice gauge theories (LGTs) on quantum simulators is the protection of the underlying gauge symmetry. Recent advancements in the experimental realizations of large-scale LGTs have been impressive, albeit mostly restricted to Abelian gauge groups. Guided by this requirement for gauge protection, we propose an experimentally feasible approach to implement large-scale non-Abelian $\mathrm{SU}(N)$ and $\mathrm{U}(N)$ LGTs with dynamical matter in $d+1\mathrm{D}$, enabled by two-body spin-exchange interactions realizing local emergent gauge-symmetry stabilizer terms. We present two concrete proposals for $2+1\mathrm{D}\mathrm{SU}(2)$ and $\mathrm{U}(2)$ LGTs, including dynamical bosonic matter and induced plaquette terms, that can be readily implemented in current ultracold-molecule and next-generation ultracold-atom platforms. We provide numerical benchmarks showcasing experimentally accessible dynamics, and demonstrate the stability of the underlying non-Abelian gauge invariance. We develop a method to obtain the effective gauge-invariant model featuring the relevant magnetic plaquette and minimal gauge-matter coupling terms. Our approach paves the way towards near-term realizations of large-scale non-Abelian quantum link models in analog quantum simulators.

We demonstrate microwave measurements of the Andreev-bound-state (ABS) spectrum in planar Josephson junctions (JJs) defined in $\mathrm{Ge}$ high-mobility two-dimensional hole gases contacted by superconducting platinum germanosilicide ($\mathrm{Pt}$$\mathrm{Si}$$\mathrm{Ge}$). The JJs and readout circuitry are located on separate chips and inductively coupled via flip-chip bonding. For a device with 350-nm junction length, the spectroscopic signatures were consistent with the short-junction limit, with an induced superconducting gap ${\mathrm{\Delta }}^{\ast }\approx 48\text{μ}\mathrm{eV}$ and transmission $\tau \approx 0.94$. The interaction between the highest-transmission ABS and the resonator was well described by a Jaynes-Cummings model with a vacuum Rabi splitting of approximately 6 MHz. A device with a junction length of $1\text{μ}\mathrm{m}$ showed an ABS spectrum consistent with a long-junction model. Time-resolved monitoring of the readout resonator in the dispersive regime revealed gate-voltage tunable-junction parity fluctuations on the time scale of seconds. Our work indicates a viable path toward hybrid quantum devices based on planar $\mathrm{Ge}$.

Introducing a class of SU(2) invariant quantum unitary circuits generating chiral transport, we examine the role of broken space-reflection and time-reversal symmetries on spin-transport properties. Upon adjusting parameters of local unitary gates, the dynamics can be either chaotic or integrable. The latter corresponds to a generalization of the space-time discretized (Trotterized) higher-spin quantum Heisenberg chain. We demonstrate that breaking of space-reflection symmetry results in a drift in the dynamical spin susceptibility. Remarkably, we find a universal drift velocity given by a simple formula, which, at zero average magnetization, depends only on the values of SU(2) Casimir invariants associated with local spins. In the integrable case, the drift velocity formula is confirmed analytically based on the exact solution of thermodynamic Bethe ansatz equations. Finally, by inspecting the large fluctuations of the time-integrated current between two halves of the system in stationary maximum-entropy states, we demonstrate violation of the Gallavotti-Cohen symmetry, implying that such states cannot be regarded as equilibrium ones. We show that the scaled cumulant generating function of the time-integrated current instead obeys a generalized fluctuation relation.

We extend entropy production to a deeply quantum regime involving noncommuting conserved quantities. Consider a unitary transporting conserved quantities (“charges”) between two systems initialized in thermal states. Three common formulas model the entropy produced. They respectively cast entropy as an extensive thermodynamic variable, as an information-theoretic uncertainty measure, and as a quantifier of irreversibility. Often, the charges are assumed to commute with each other (e.g., energy and particle number). Yet quantum charges can fail to commute. Noncommutation invites generalizations, which we posit and justify, of the three formulas. The noncommutation of charges, we find, breaks the equivalence of the formulas. Furthermore, different formulas quantify different physical effects of the noncommutation of charges on entropy production. For instance, entropy production can signal contextuality—true nonclassicality—by becoming nonreal. This work opens up stochastic thermodynamics to noncommuting—and so particularly quantum—charges.

Port-based teleportation (PBT) is a form of quantum teleportation in which no corrective unitary is required on the part of the receiver. Two primary regimes exist—deterministic PBT in which teleportation is always successful, but is imperfect, and probabilistic PBT, in which teleportation succeeds with probability less than one, but teleportation is perfect upon a success. Two further regimes exist within each of these, in which the resource state used for the teleportation is fixed to a maximally entangled state or free to be optimized. Recent works have resolved the long-standing problem of efficiently implementing port-based teleportation, tackling the two deterministic cases for qudits. Here, we provide algorithms in all four regimes for qubits. Emphasis is placed on the practicality of these algorithms, where we give polynomial improvements in the known gate complexity for PBT, as well as an exponential improvement in the required number of ancillas (albeit in separate protocols). Our approach to the implementation of the square-root measurement in PBT can be directly generalized to other highly symmetric state ensembles. For certain families of states, such a framework yields efficient algorithms in the case in which the Petz-recovery algorithm for the square-root measurement runs in exponential time.

Improving the speed and fidelity of quantum logic gates is essential to reach quantum advantage with future quantum computers. However, fast logic gates lead to increased leakage errors in superconducting quantum processors based on qubits with low anharmonicity, such as transmons. To reduce leakage errors, we propose and experimentally demonstrate two new analytical methods, Fourier ansatz spectrum tuning derivative removal by adiabatic gate (FAST DRAG) and higher-derivative (HD) DRAG, both of which enable shaping single-qubit control pulses in the frequency domain to achieve stronger suppression of leakage transitions compared to previously demonstrated pulse shapes. Using the new methods to suppress the $ef$ transition of a transmon qubit with an anharmonicity of $-212$ MHz, we implement $R_X(\pi /2)$ gates achieving a leakage error below $3.0\times {10}^{-5}$ down to a gate duration of 6.25 ns without the need for iterative closed-loop optimization. The obtained leakage error represents a 20-fold reduction in leakage compared to a conventional cosine DRAG pulse. Employing the FAST DRAG method, we further achieve an error per gate of $(1.56\pm 0.07)\times {10}^{-4}$ at a 7.9-ns gate duration, outperforming conventional pulse shapes both in terms of error and gate speed. Furthermore, we study error-amplifying measurements for the characterization of temporal microwave control-pulse distortions, and demonstrate that non-Markovian coherent errors caused by such distortions may be a significant source of error for sub-10-ns single-qubit gates unless corrected using predistortion.

In this tutorial, we present the definition, interpretation, and properties of some of the main quasiprobabilities that can describe the statistics of measurement outcomes evaluated at two or more times. Such statistics incorporate the incompatibility of the measurement observables and the state of the measured quantum system. We particularly focus on Kirkwood-Dirac quasiprobabilities and related distributions. We also discuss techniques to experimentally access a quasiprobability distribution, ranging from the weak two-point measurement scheme, to a Ramsey-like interferometric scheme and procedures assisted by an external detector. Once defined the fundamental concepts following the standpoint of joint measurability in quantum mechanics, we illustrate the use of quasiprobabilities in quantum thermodynamics to describe the quantum statistics of work and heat, and to explain anomalies in the energy exchanges entailed by a given thermodynamic transformation. On the one hand, in work protocols, we show how absorbed energy can be converted to extractable work and vice versa due to Hamiltonian incompatibility at distinct times. On the other hand, in exchange processes between two quantum systems initially at different temperatures, we explain how quantum correlations in their initial state may induce cold-to-hot energy exchanges, which are unnatural between any pair of equilibrium nondriven systems. We conclude the tutorial by giving simple examples where quasiprobabilities are applied to many-body systems: scrambling of quantum information, sensitivity to local perturbations, and quantum work statistics in the quenched dynamics of models that can be mapped onto systems of free fermions, for instance, the Ising model with a transverse field. Throughout the tutorial, we meticulously present derivations of essential concepts alongside straightforward examples, aiming to enhance comprehension and facilitate learning.

Color codes are promising quantum error-correction (QEC) codes because they have an advantage over surface codes in that all Clifford gates can be implemented transversally. However, the thresholds of color codes under circuit-level noise are relatively low, mainly because measurements of their high-weight stabilizer generators cause an increase in the circuit depth and, thus, substantial errors are introduced. This makes color codes not the best candidate for fault-tolerant quantum computing. Here, we propose a method to suppress the impact of such errors by optimizing weights of decoders using conditional error probabilities conditioned on the measurement outcomes of flag qubits. In numerical simulations, we improve the threshold of the (4.8.8) color code under circuit-level noise from 0.14% to around 0.27%, which is calculated by using an integer programming decoder. Furthermore, in the (6.6.6) color code, we achieve a circuit-level threshold of around 0.36%, which is almost the same value as the highest value in the previous studies employing the same noise model. In both cases, the effective code distance is also improved compared to a conventional method that uses a single ancilla qubit for each stabilizer measurement. Thereby, the achieved logical error rates at low physical error rates are almost one order of magnitude lower than those of the conventional method with the same code distance. Even when compared to the single-ancilla method with a higher code distance, considering the increased number of qubits used in our method, we achieve lower logical error rates in most cases. This method can also be applied to other weight-based decoders, making the color codes more promising as candidates for the experimental implementation of QEC. Furthermore, one can utilize this approach to improve a threshold of wider classes of QEC codes, such as high-rate quantum low-density parity-check codes.

Majorana bound states (MBSs) are quasiparticles that are their own antiparticles. They are predicted to emerge as zero-energy modes localized at the boundary of a topological superconductor. No intrinsic topological superconductor is known to date. However, by interfacing conventional superconductors and semiconductors with strong spin-orbit coupling, it is possible to create a system hosting topological states. Hence, epitaxial superconductors and semiconductors have emerged as an attractive material system with atomically sharp interfaces and broad flexibility in device fabrications incorporating Josephson junctions. We discuss the basics of topological superconductivity and provide insight into how to go beyond current state-of-the-art experiments. We argue that the ultimate success in realizing MBS physics requires the observation of non-Abelian braiding and fusion experiments.

Strong quantum correlated sources are essential but delicate resources for quantum information science and engineering protocols. Decoherence and loss are the two main disruptive processes that lead to the loss of nonclassical behavior in quantum correlations. In quantum systems, scattering can contribute to both decoherence and loss. In this work, we present an experimental scheme capable of significantly mitigating the adverse impact of scattering in quantum systems. Our quantum system is composed of a two-mode squeezed light generated with the four-wave-mixing process in hot rubidium vapor and a scatterer is introduced to one of the two modes. An integrating sphere is then placed after the scatterer to recollect the scattered photons. We use mutual information between the two modes as the measure of quantum correlations and demonstrate a 47.5% mutual information recovery from scattering, despite an enormous photon loss of greater than 85%. Our scheme is the very first step toward recovering quantum correlations from disruptive random processes and thus has the potential to bridge the gap between proof-of-principle demonstrations and practical real-world implementations of quantum protocols.