Universal quantum computing with continuous variables requires non-Gaussian resources, in addition to a Gaussian set of operations. A known resource enabling universal quantum computation is the cubic phase state, a non-Gaussian state whose experimental implementation has so far remained elusive. In this paper, we introduce two Gaussian conversion protocols that allow for the conversion of a non-Gaussian state that has been achieved experimentally, namely the trisqueezed state [Chang et al., Phys. Rev. X 10, 011011 (2020)], to a cubic phase state. The first protocol is deterministic and it involves active (inline) squeezing, achieving large fidelities that saturate the bound for deterministic Gaussian protocols. The second protocol is probabilistic and it involves an auxiliary squeezed state, thus removing the necessity of inline squeezing but still maintaining significant success probabilities and fidelities even larger than for the deterministic case. The success of these protocols provides strong evidence for using trisqueezed states as resources for universal quantum computation.

The existence of quantum error-correcting codes is one of the most counterintuitive and potentially technologically important discoveries of quantum-information theory. In this paper, we study a problem called “covariant quantum error correction”, in which the encoding is required to be group covariant. This problem is intimately tied to fault-tolerant quantum computation and the well-known Eastin-Knill theorem. We show that this problem is equivalent to the problem of encoding reference-frame information. In standard quantum error correction, one seeks to protect abstract quantum information, i.e., information that is independent of the physical incarnation of the systems used for storing the information. There are, however, other forms of information that are physical—one of the most ubiquitous being reference-frame information. The basic question we seek to answer is whether or not error correction of physical information is possible and, if so, what limitations govern the process. The main challenge is that the systems used for transmitting physical information, in addition to any actions applied to them, must necessarily obey these limitations. Encoding and decoding operations that obey a restrictive set of limitations need not exist a priori. Equivalently, there may not exist covariant quantum error-correcting codes. Indeed, we prove a no-go theorem showing that no finite-dimensional, group-covariant quantum codes exist for Lie groups with an infinitesimal generator [e.g., U(1), SU(2), and SO(3)]. We then explain how one can circumvent this no-go theorem using infinite-dimensional codes, and we give an explicit example of a covariant quantum error-correcting code using continuous variables for the group U(1). Finally, we demonstrate that all finite groups have finite-dimensional codes, giving both an explicit construction and a randomized approximate construction with exponentially better parameters. Our results imply that one can, in principle, circumvent the Eastin-Knill theorem.

Tabletop tests of quantum gravity (QG) have long been thought to be practically impossible. However, remarkably, because of rapid progress in quantum information science (QIS), such tests may soon be achievable. Here we uncover an exciting new theoretical link between QG and QIS that also leads to a radical new way of testing QG with QIS experiments. Specifically, we find that only a quantum, not classical, theory of gravity can create non-Gaussianity, a QIS resource that is necessary for universal quantum computation, in the quantum field state of matter. This allows tests based on QIS in which non-Gaussianity in matter is used as a signature of QG. In comparison with previous studies testing QG with QIS where entanglement is used to witness QG when all other quantum interactions are excluded, our non-Gaussianity witness cannot be created by direct classical gravity interactions, facilitating tests that are not constrained by the existence of such processes. Our new signature of QG also enables tests that are based on just a single quantum system rather than a multipartite quantum system, simplifying previously considered experimental setups. We describe a tabletop test of QG that uses our non-Gaussianity signature and that is based on just a single quantum system, a Bose-Einstein condensate, in a single location. In contrast to proposals based on optomechanical setups, Bose-Einstein condensates have already been manipulated into massive nonclassical states, aiding the prospect of testing QG soon.

Noise mitigation and reduction will be crucial for obtaining useful answers from near-term quantum computers. In this work, we present a general framework based on machine learning for reducing the impact of quantum hardware noise on quantum circuits. Our method, called noise-aware circuit learning (NACL), applies to circuits designed to compute a unitary transformation, prepare a set of quantum states, or estimate an observable of a many-qubit state. Given a task and a device model that captures information about the noise and connectivity of qubits in a device, NACL outputs an optimized circuit to accomplish this task in the presence of noise. It does so by minimizing a task-specific cost function over circuit depths and circuit structures. To demonstrate NACL, we construct circuits resilient to a fine-grained noise model derived from gate set tomography on a superconducting-circuit quantum device, for applications including quantum state overlap, quantum Fourier transform, and $W$-state preparation.

Simulating the dynamics of quantum systems is an important application of quantum computers and has seen a variety of implementations on current hardware. We show that by introducing quantum gates implementing unitary transformations generated by the symmetries of the system, one can induce destructive interference between the errors from different steps of the simulation, effectively giving faster quantum simulation by symmetry protection. We derive rigorous bounds on the error of a symmetry-protected simulation algorithm and identify conditions for optimal symmetry protection. In particular, when the symmetry transformations are chosen as powers of a unitary, the error of the algorithm is approximately projected to the so-called quantum Zeno subspaces. We prove a bound on this approximation error, exponentially improving a recent result of Burgarth, Facchi, Gramegna, and Pascazio. We apply the symmetry-protection technique to the simulations of the $XXZ$ Heisenberg interactions with local disorder and the Schwinger model in quantum field theory. For both systems, the technique can reduce the simulation error by several orders of magnitude over the unprotected simulation. Finally, we provide numerical evidence suggesting that the technique can also protect simulation against other types of coherent, temporally correlated errors, such as the $1/f$ noise commonly found in solid-state experiments.

As quantum computers approach the fault-tolerance threshold, diagnosing and characterizing the noise on large-scale quantum devices is increasingly important. One of the most important classes of noise channels is the class of Pauli channels, for reasons of both theoretical tractability and experimental relevance. Here we present a practical algorithm for estimating the $s$ nonzero Pauli error rates in an $s$-sparse, $n$-qubit Pauli noise channel, or more generally the $s$ largest Pauli error rates. The algorithm comes with rigorous recovery guarantees and uses only $O(n^2)$ measurements, $O(s{n}^2)$ classical processing time, and Clifford quantum circuits. We experimentally validate a heuristic version of the algorithm that uses simplified Clifford circuits on data from an IBM 14-qubit superconducting device and our open-source implementation. These data show that accurate and precise estimation of the probability of arbitrary-weight Pauli errors is possible even when the signal is 2 orders of magnitude below the measurement noise floor.

Most proof-of-principle experiments for spin qubits have been performed with $\mathrm{Ga}\mathrm{As}$-based quantum dots because of the excellent control they offer over tunneling barriers and the orbital and spin degrees of freedom. Here we present the first realization of high-quality single and double quantum dots hosted in an $\mathrm{In}\mathrm{As}$ two-dimensional electron gas, demonstrating accurate control down to the few-electron regime, where we observe a clear Kondo effect and singlet-triplet spin blockade. We measure an electronic $g$ factor of 16 and a typical magnitude of the random hyperfine fields on the quantum dots of approximately $0.6\mathrm{mT}$. We estimate the spin-orbit length in the system to be approximately $5-10\mu \mathrm{m}$ (which is almost 2 orders of magnitude longer than typically measured in $\mathrm{In}\mathrm{As}$ nanostructures), achieved by a very symmetric design of the quantum well. These favorable properties put the $\mathrm{In}\mathrm{As}$ two-dimensional electron gas on the map as a compelling host for studying fundamental aspects of spin qubits. Furthermore, having weak spin-orbit coupling in a material with a large Rashba coefficient potentially opens up avenues for engineering structures with spin-orbit coupling that can be controlled locally in space and/or time.

Models for quantum computation with circuit connections subject to the quantum superposition principle have recently been proposed. In them, a control quantum system can coherently determine the order in which a target quantum system undergoes $N$ gate operations. This process, known as the quantum $N$-switch, is a resource for several information-processing tasks. In particular, it provides a computational advantage—over fixed-gate-order quantum circuits—for phase-estimation problems involving $N$ unknown unitary gates. However, the corresponding algorithm requires an experimentally unfeasible target-system dimension (super)exponential in $N$. Here, we introduce a promise problem for which the quantum $N$-switch gives an equivalent computational speedup with target-system dimension as small as 2 regardless of $N$. We use state-of-the-art multicore optical-fiber technology to experimentally demonstrate the quantum $N$-switch with $N=4$ gates acting on a photonic-polarization qubit. This is the first observation of a quantum superposition of more than $N=2$ temporal orders, demonstrating its usefulness for efficient phase estimation.

Methods for modeling large driven-dissipative quantum systems are becoming increasingly urgent due to recent experimental progress in a number of photonic platforms. We demonstrate the positive-$P$ method to be ideal for this purpose across a wide range of parameters, focusing on the archetypal driven-dissipative Bose-Hubbard model. Notably, these parameters include intermediate regimes where interactions and dissipation are comparable, and especially cases with low occupations for which common semiclassical approximations can break down. The presence of dissipation can alleviate instabilities in the method that are known to occur for closed systems, allowing the simulation of dynamics up to and including the steady state. Throughout the parameter space of the model, we determine the magnitude of dissipation that is sufficient to make the method useful and stable, finding its region of applicability to be complementary to that of the truncated Wigner method. We then demonstrate its use in a number of examples with nontrivial quantum correlations, including a demonstration of solving the urgent open problem of large and highly nonuniform systems with tens of thousands of sites.

Quantum computation has been growing rapidly in both theory and experiments. In particular, quantum computing devices with a large number of qubits have been developed by IBM, Google, IonQ, and others. The current quantum computing devices are noisy intermediate-scale quantum devices, and so approaches to validate quantum processing on these quantum devices are needed. One of the most common ways of validation for an n-qubit quantum system is quantum tomography, which tries to reconstruct a quantum system’s density matrix by a complete set of observables. However, the inherent noise in the quantum systems and the intrinsic limitations pose a critical challenge to precisely know the actual measurement operators that make quantum tomography impractical in experiments. Here, we propose an alternative approach to quantum tomography, based on the maximal information entropy, that can predict the values of unknown observables based on the available mean measurement data. This can then be used to reconstruct the density matrix with high fidelity even though the results for some observables are missing. Of additional contexts, a practical approach to the inference of the quantum mechanical state using only partial information is also needed.

Developing scalable quantum algorithms to study finite-temperature physics of quantum many-body systems has attracted considerable interest due to recent advancements in quantum hardware. However, such algorithms in their present form require resources that exceed the capabilities of current quantum computers except for a limited range of system sizes and observables. Here, we report calculations of finite-temperature properties, including energy, static and dynamical correlation functions, and excitation spectra of spin systems with up to four sites on five-qubit IBM Quantum devices. These calculations are performed using the quantum imaginary time evolution (QITE) algorithm and made possible by several algorithmic improvements, including a method to exploit symmetries that reduces the quantum resources required by QITE, circuit optimization procedures to reduce circuit depth, and error-mitigation techniques to improve the quality of raw hardware data. Our work demonstrates that the ansatz-independent QITE algorithm is capable of computing diverse finite-temperature observables on near-term quantum devices.

The precise control of complex quantum systems promises numerous technological applications including digital quantum computing. The complexity of such devices renders the certification of their correct functioning a challenge. To address this challenge, numerous methods were developed in the last decade. In this tutorial, we explain prominent protocols for certifying the physical layer of quantum devices described by quantum states and processes. Such protocols are particularly important in the development of near-term devices. Specifically, we discuss methods of direct quantum-state certification, direct-fidelity estimation, shadow-fidelity estimation, direct quantum-process certification, randomized benchmarking, and cross-entropy benchmarking. Moreover, we provide an introduction to powerful mathematical methods, which are widely used in quantum-information theory, in order to derive theoretical guarantees for the protocols.

Understanding the spectrum of noise acting on a qubit can yield valuable information about its environment, and crucially underpins the optimization of dynamical decoupling protocols that can mitigate such noise. However, extracting accurate noise spectra from typical time-dynamics measurements on qubits is intractable using standard methods. Here, we propose to address this challenge using deep-learning algorithms, leveraging the remarkable progress made in the field of image recognition, natural language processing, and more recently, structured data. We demonstrate a neural-network-based methodology that allows for extraction of the noise spectrum associated with any qubit surrounded by an arbitrary bath, with significantly greater accuracy than the current methods of choice. The technique requires only a two-pulse echo decay curve as input data and can further be extended either for constructing customized optimal dynamical decoupling protocols or for obtaining critical qubit attributes such as its proximity to the sample surface. Our results can be applied to a wide range of qubit platforms, and provide a framework for improving qubit performance with applications not only in quantum computing and nanoscale sensing but also in material characterization techniques such as magnetic resonance.

We analyze the complexity of quantum state verification in the context of solving systems of linear equations of the form $A\overrightarrow{x}=\overrightarrow{b}$. We show that any quantum operation that verifies whether a given quantum state is within a constant distance from the solution of the quantum linear systems problem requires $q=\mathrm{\Omega }(\kappa )$ uses of a unitary that prepares a quantum state $|b⟩$, proportional to $\overrightarrow{b}$, and its inverse in the worst case. Here, $\kappa$ is the condition number of matrix $A$. For typical instances, we show that $q=\mathrm{\Omega }(\sqrt{\kappa })$ with high probability. These lower bounds are almost achieved if quantum state verification is performed using known quantum algorithms for the quantum linear systems problem. We also analyze the number of copies of $|b⟩$ required by verification procedures of the prepare-and-measure type. In this case, the lower bounds are quadratically worse, being $\mathrm{\Omega }({\kappa }^2)$ in the worst case and $\mathrm{\Omega }(\kappa )$ in typical instances with high probability. We discuss the implications of our results to known variational and related approaches to this problem, where state preparation, gate, and measurement errors will need to decrease rapidly with $\kappa$ for worst-case and typical instances if error correction is not used, and present some open problems.

A comprehensive description of molecular electron-transfer reactions is essential for our understanding of fundamental phenomena in bioenergetics and molecular electronics. However, experimental studies of molecular systems in condensed-phase environments face difficulties in independently controlling the parameters that govern the transfer mechanism with high precision. We show that, instead, trapped-ion experiments allow us to reproduce and continuously connect vastly different regimes of molecular charge transfer through precise tuning of, e.g., the phonon temperature, electron-phonon interaction, and electronic coupling. Such a setting does not only allow us to reproduce widely used transport models, such as Marcus theory. It also provides access to transfer regimes that are unattainable for molecular experiments, while controlling and measuring the relevant observables on the level of individual quanta. Our numerical simulations predict an unconventional quantum transfer regime, featuring a transition from quantum adiabatic to resonance-assisted transfer as a function of the donor-acceptor energy gap, which can be reached by increasing the electronic coupling at low temperatures. Trapped-ion-based quantum simulations thus promise to enhance our microscopic understanding of molecular electron-transfer processes and may help to reveal efficient design principles for synthetic devices.

We introduce an axiomatic approach for channel divergences and channel relative entropies that is based on three information-theoretic axioms of monotonicity under superchannels, i.e., generalized data processing inequality, additivity under tensor products, and normalization, similar to the approach given for the state domain in Gour and Tomamichel [arXiv:2006.11164v1 (2020), arXiv:2006.12408v2 (2020)]. We show that these axioms are sufficient to give enough structure in the channel domain as well, leading to numerous properties that are applicable to all channel divergences. These include faithfulness, continuity, a type of triangle inequality, and boundedness between the min and max channel relative entropies. In addition, we prove a uniqueness theorem showing that the Kullback-Leibler divergence has only one extension to classical channels. For quantum channels, with the exception of the max relative entropy, this uniqueness does not hold. Instead, we prove the optimality of the amortized channel extension of the Umegaki relative entropy, by showing that it provides a lower bound on all channel relative entropies that reduce to the Kullback-Leibler divergence on classical states. We also introduce the maximal channel extension of a given classical state divergence and study its properties.

We propose a scheme for universal quantum computing based on Kramers rare-earth ions. Their nuclear spins in the presence of a Zeeman-split electronic crystal field ground state act as “passive” qubits that store quantum information. The “active” qubits are switched on optically by fast coherent transitions to excited crystal field states with a magnetic moment, and the magnetic dipole interaction between these states is used to implement controlled not (cnot) gates. We compare our proposal with others, noting particularly the much improved cnot gate time as compared with a $\mathrm{Si}$:$\mathrm{P}$ proposal, also relying on magnetic dipole interactions between active qubits, and rare-earth schemes depending on the dipole blockade for qubits spaced by more than of the order of $1\mathrm{nm}$.

Optically addressable paramagnetic defects in wide-band-gap semiconductors are promising platforms for quantum communications and sensing. The presence of avoided crossings between the electronic levels of these defects can substantially alter their quantum dynamics and be both detrimental and beneficial for quantum information applications. Here we present a joint theoretical and experimental study of the quantum dynamics of paramagnetic defects interacting with a nuclear spin bath at avoided crossings. We find that we can condition the clock transition of the divacancies in $\mathrm{Si}\mathrm{C}$ on multiple adjacent nuclear spins states. We suppress the effects of fluctuating charge impurities and demonstrate an increased coherence time at clock transition, which is limited purely by magnetic noise. Our results pave the way to designing single defect quantum devices operating at avoided crossings.

Topology ultimately unveils the roots of the perfect quantization observed in complex systems. The two-dimensional quantum Hall effect is the celebrated archetype. Remarkably, topology can manifest itself even in higher-dimensional spaces in which control parameters play the role of extra, synthetic dimensions. However, so far, a very limited number of implementations of higher-dimensional topological systems have been proposed, a notable example being the so-called four-dimensional quantum Hall effect. Here we show that mesoscopic superconducting systems can implement higher-dimensional topology and represent a formidable platform to study a quantum system with a purely nontrivial second Chern number. We demonstrate that the integrated absorption intensity in designed microwave spectroscopy is quantized and the integer is directly related to the second Chern number. Finally, we show that these systems also admit a non-Abelian Berry phase. Hence, they also realize an enlightening paradigm of topological non-Abelian systems in higher dimensions.

Recently, there has been much interest in the efficient preparation of complex quantum states using low-depth quantum circuits, such as the quantum approximate optimization algorithm (QAOA). While it has been numerically shown that such algorithms prepare certain correlated states of quantum spins with surprising accuracy, a systematic way of quantifying the efficiency of the QAOA in general classes of models has been lacking. Here, we propose that the success of the QAOA in preparing ordered states is related to the interaction distance of the target state, which measures how close that state is to the manifold of all Gaussian states in an arbitrary basis of single-particle modes. We numerically verify this for several examples of nonintegrable quantum models, including Ising models with two- and three-spin interactions and the cluster model in an external field. Our results suggest that the structure of the entanglement spectrum, as witnessed by the interaction distance, correlates with the success of QAOA state preparation, and that this correlation also contains information about different phases present in the model. We conclude that the QAOA typically finds a solution that perturbs around the closest free-fermion state.