5 pages, 3 figures. Accompanying paper arXiv:2001.03421. Here, we prove the asymptotic bound and provide general ideas for the many-body generalization, which is numerically demonstrated
It is well known in quantum mechanics that a large energy gap between a Hilbert subspace of specific interest and the remainder of the spectrum can suppress transitions from the quantum states inside the subspace to those outside due to additional couplings that mix these states, and thus approximately lead to a constrained dynamics within the subspace. While this statement has widely been used to approximate quantum dynamics in various contexts, a general and quantitative justification stays lacking. Here we establish an observable-based error bound for such a constrained-dynamics approximation in generic gapped quantum systems. This universal bound is a linear function of time that only involves the energy gap and coupling strength, provided that the latter is much smaller than the former. We demonstrate that either the intercept or the slope in the bound is asymptotically saturable by simple models. We generalize the result to quantum many-body systems with local interactions, for which the coupling strength diverges in the thermodynamic limit while the error is found to grow no faster than a power law $t^{d+1}$ in $d$ dimensions. Our work establishes a universal and rigorous result concerning nonequilibrium quantum dynamics.
Local constraints play an important role in the effective description of many quantum systems. Their impact on dynamics and entanglement thermalization are just beginning to be unravelled. We develop a large $N$ diagrammatic formalism to exactly evaluate the bipartite entanglement of random pure states in large constrained Hilbert spaces. The resulting entanglement spectra may be classified into `phases' depending on their singularities. Our closed solution for the spectra in the simplest class of constraints reveals a non-trivial phase diagram with a Marchenko-Pastur (MP) phase which terminat…
In arXiv:2001.03419 we introduce a universal error bound for constrained unitary dynamics within a well-gapped energy band of an isolated quantum system. Here, we provide the full details on the derivation of the bound. In addition, we generalize the result to isolated quantum many-body systems by employing the local Schrieffer-Wolff transformation, obtaining an error bound that grows polynomially in time. We also generalize the result to Markovian open quantum systems and quantitatively explain the quantum Zeno effect.
We formulate and prove a new, universally valid uncertainty relation for the necessary errors bar widths in any approximate joint measurement of position and momentum.
To generate arbitrary one- and two-qubit gates, the universal decompositions are usually used in quantum computing, and the universality of these decompositions has been demonstrated. However, in realistic experiments, gate errors may affect the universality of the universal decompositions. Here, we focus on the single-qubit-gate decomposition scheme and study the coherent-error effects on universality. We prove that, in the parameter space which we studied, some kinds of coherent errors will not affect the original universality, but some others will destroy it. We provide the definition and a…
The far-from-equilibrium dynamics of generic interacting quantum systems is characterized by a handful of universal guiding principles, among them the ballistic spreading of initially local operators. Here, we show that in certain constrained many-body systems the structure of conservation laws can cause a drastic modification of this universal behavior. As an example, we study operator growth characterized by out-of-time-order correlations (OTOCs) in a dipole-conserving fracton chain. We identify a critical point with sub-ballistically moving OTOC front, that separates a ballistic from a dyna…
We study fault-tolerant error correction in a quantum memory constructed as a two-dimensional model of Fibonacci anyons on a torus, in the presence of thermal noise represented by pair-creation processes and measurement errors. The correction procedure is based on the cellular automaton decoders originating in the works of Gács and Harrington. Through numerical simulations, we observe that this code behaves fault-tolerantly and that threshold behavior is likely present. Hence, we provide strong evidence for the existence of a fault-tolerant universal non-Abelian topological quantum computer.
We present a universal framework for quantum error-correcting codes, i.e., the one that applies for the most general quantum error-correcting codes. This framework is established on the group algebra, an algebraic notation for the nice error bases of quantum systems. The nicest thing about this framework is that we can characterize the properties of quantum codes by the properties of the group algebra. We show how it characterizes the properties of quantum codes as well as generates some new results about quantum codes.
We consider a two-dimensional quantum memory of qubits on a torus which encode the extended Fibonaccistring-net code, and devise strategies for error correction when those qubits are subjected to depolarizing noise.Building on the concept of tube algebras, we construct a set of measurements and of quantum gates whichmap arbitrary qubit errors to the string-net subspace and allow for the characterization of the resulting errorsyndrome in terms of doubled Fibonacci anyons. Tensor network techniques then allow to quantitatively studythe action of Pauli noise on the string-net subspace. We perform…
A universal set of quantum gates is constructed for the recently developed jump-error correcting quantum codes. These quantum codes are capable of correcting errors arising from the spontaneous decay of distinguishable qubits into statistically independent reservoirs. The proposed universal quantum gates are constructed with the help of Heisenberg- and Ising-type Hamiltonians acting on these physical qubits. This way it is guaranteed that the relevant error correcting code space is not left at any time even during the application of one of these quantum gates. The proposed entanglement gate is…
We introduce a technique for the suppression of state-dependent and correlated measurement errors, which are commonly observed on modern superconducting quantum devices. Our method leverages previous results, establishing that correlated errors tend to be physically localised on quantum devices to perform characterisations over the coupling map of the device, and to join overlapping measurement calibrations as a series of sparse matrices. We term this `Coupling Map Calibration'. We quantitatively demonstrate the advantages of our proposed error mitigation system design across a range of curren…
Error correcting codes with a universal set of transversal gates are a desideratum for quantum computing. Such codes, however, are ruled out by the Eastin-Knill theorem. Moreover, the theorem also rules out codes which are covariant with respect to the action of transversal unitary operations forming continuous symmetries. In this work, starting from an arbitrary code, we construct approximate codes which are covariant with respect to the entire group of local unitary gates in dimension $d$, using quantum reference frames. We show that our codes are capable of efficiently correcting different …
Decoherence-free subspaces (DFSs) shield quantum information from errors induced by the interaction with an uncontrollable environment. Here we study a model of correlated errors forming an Abelian subgroup (stabilizer) of the Pauli group (the group of tensor products of Pauli matrices). Unlike previous studies of DFSs, this type of errors does not involve any spatial symmetry assumptions on the system-environment interaction. We solve the problem of universal, fault-tolerant quantum computation on the associated class of DFSs.
We provide a bound on the minimum error when discriminating among quantum states, using the no-signaling principle. The bound is general in that it depends on neither dimensions nor specific structures of given quantum states to be discriminated among. We show that the bound is tight for the minimum-error state discrimination between symmetric (both pure and mixed) qubit states. Moreover, the bound can be applied to a set of quantum states for which the minimum-error state discrimination is not known yet. Finally, our results strengthen the quantitative connection between two no-go theorems, t…
Quantum information platforms made great progress in the control of many-body entanglement and the implementation of quantum error correction, but it remains a challenge to realize both in the same setup. Here, we propose a mixture of two ultracold atomic species as a platform for universal quantum computation with long-range entangling gates, while providing a natural candidate for quantum error-correction. In this proposed setup, one atomic species realizes localized collective spins of tunable length, which form the fundamental unit of information. The second atomic species yields phononic …
We introduce universal broadband composite pulse sequences for robust high-fidelity population inversion in two-state quantum systems, which compensate deviations in any experimental parameter (e.g. pulse amplitude, pulse duration, detuning from resonance, Stark shifts, unwanted frequency chirp, etc.) and are applicable with any pulse shape. We demonstrate the efficiency and universality of these composite pulses by experimental data on rephasing of atomic coherences in a $\text{Pr}^{3+}\text{:}\text{Y}_2\text{SiO}_5$ crystal.
Error-detectable Universal Control for High-Gain Bosonic Quantum Error Correction
CAS Key Laboratory of Quantum Information, University of Science and Technology of China（中国科学院量子信息重点实验室，中国科学技术大学）；Hefei National Laboratory（合肥国家实验室）；Center for Quantum Information, Institute for Interdisciplinary Information Sciences, Tsinghua University（清华大学交叉信息研究院量子信息中心）
We propose and experimentally demonstrate an approximate universal-NOT (U-NOT) operation that is robust against operational errors. In our proposal, the U-NOT operation is composed of stochastic unitary operations represented by the vertices of regular polyhedrons. The operation is designed to be robust against random operational errors by increasing the number of unitary operations (i.e., reference axes). Remarkably, no increase in the total number of measurements nor additional resources are required to perform the U-NOT operation. Our method can be applied in general to reduce operational e…
Scalable quantum computation in realistic devices requires that precise control can be implemented efficiently in the presence of decoherence and operational errors. We propose a general constructive procedure for designing robust unitary gates on an open quantum system without encoding or measurement overhead. Our results allow for a low-level error correction strategy solely based on Hamiltonian engineering using realistic bounded-strength controls and may substantially reduce implementation requirements for fault-tolerant quantum computing architectures.
Medium-scale quantum devices that integrate about hundreds of physical qubits are likely to be developed in the near future. However, such devices will lack the resources for realizing quantum fault tolerance. Therefore, the main challenge of exploring the advantage of quantum computation is to minimize the impact of device and control imperfections without encoding. Quantum error mitigation is a solution satisfying the requirement. Here, we demonstrate an error mitigation protocol based on gate set tomography and quasiprobability decomposition. One- and two-qubit circuits are tested on a supe…
Transversal implementations of encoded unitary gates are highly desirable for fault-tolerant quantum computation. Though transversal gates alone cannot be computationally universal, they can be combined with specially distilled resource states in order to achieve universality. We show that "triorthogonal" stabilizer codes, introduced for state distillation by Bravyi and Haah [Phys. Rev. A 86 052329 (2012)], admit transversal implementation of the controlled-controlled-Z gate. We then construct a universal set of fault-tolerant gates without state distillation by using only transversal controll…
We investigate measurement-based entanglement purification protocols (EPP) in the presence of local noise and imperfections. We derive a universal, protocol-independent threshold for the required quality of the local resource states, where we show that local noise per particle of up to 24% is tolerable. This corresponds to an increase of the noise threshold by almost an order of magnitude, based on the joint measurement-based implementation of sequential rounds of few-particle EPP. We generalize our results to multipartite EPP, where we encounter similarly high error thresholds.
We construct a universal set of high fidelity quantum gates to be used on a sparse bipartite lattice with always-on Ising couplings. The gates are based on dynamical decoupling sequences using shaped pulses, they protect against low-frequency phase noise, and can be run in parallel on non-neighboring qubits. This makes them suitable for implementing quantum error correction with low-density parity check codes like the surface codes and their finite-rate generalizations. We illustrate the construction by simulating quantum Zeno effect with the $[[4,2,2]]$ toric code on a spin chain.
We re--investigate a plausible proposal for universal quantum gates in Kane's model, in which the authors assumed that electron spin is always downward under a background magnetic field and the value of controlling parameters is varied instantaneously. We demonstrate that a considerable error appears, for example, in the X rotation. As result, the controlled operations don't work. Such a failure is caused by improper choice of the computational bases; actually, the electron spin is not always downward over time during quantum operations.
Holonomic quantum computation exploits a quantum state's non-trivial, matrix-valued geometric phase (holonomy) to perform fault-tolerant computation. Holonomies arising from systems where the Hamiltonian traces a continuous path through parameter space have been well-researched. Discrete holonomies, on the other hand, where the state jumps from point to point in state space, have had little prior investigation. Using a sequence of incomplete projective measurements of the spin operator, we build an explicit approach to universal quantum computation. We show that quantum error correction codes …
Active quantum error correction on topological codes is one of the most promising routes to long-term qubit storage. In view of future applications, the scalability of the used decoding algorithms in physical implementations is crucial. In this work, we focus on the one-dimensional Majorana chain and construct a strictly local decoder based on a self-dual cellular automaton. We study numerically and analytically its performance and exploit these results to contrive a scalable decoder with exponentially growing decoherence times in the presence of noise. Our results pave the way for scalable an…
In quantum physics, measurement error and disturbance were first naively thought to be simply constrained by the Heisenberg uncertainty relation. Later, more rigorous analysis showed that the error and disturbance satisfy more subtle inequalities. Several versions of universally valid error-disturbance relations (EDR) have already been obtained and experimentally verified in the regimes where naive applications of the Heisenberg uncertainty relation failed. However, these EDRs were formulated for discrete measurements. In this paper, we consider continuous measurement processes and obtain new …
We model repetitive quantum error correction (QEC) with the single-error-correcting five-qubit code on a network of individually-controlled qubits with always-on Ising couplings, using our previously designed universal set of quantum gates based on sequences of shaped decoupling pulses. In addition to serving as accurate quantum gates, the sequences also provide dynamical decoupling (DD) of low-frequency phase noise. The simulation involves integrating unitary dynamics of six qubits over the duration of tens of thousands of control pulses, using classical stochastic phase noise as a source of …
A universal formulation of the quantum uncertainty regarding quantum indeterminacy, quantum measurement, and its inevitable observer effect is presented with additional focus on the representability of quantum observables over a given state. The operational tangibility of the framework assures that the resultant general relations admit natural operational interpretations and characterisations, and thereby perhaps most importantly, their experimental verifiability. In view of the universal formulation, Heisenberg's original philosophy of the uncertainty principle, most typically exemplified in …
``Leakage'' errors are particularly serious errors which couple states within a code subspace to states outside of that subspace thus destroying the error protection benefit afforded by an encoded state. We generalize an earlier method for producing leakage elimination decoupling operations and examine the effects of the leakage eliminating operations on decoherence-free or noiseless subsystems which encode one logical, or protected qubit into three or four qubits. We find that by eliminating the large class of leakage errors, under some circumstances, we can create the conditions for a decohe…
We present and investigate a new class of quantum channels, what we call `universal collective rotation channels', that includes the well-known class of collective rotation channels as a special case. The fixed point set and noise commutant coincide for a channel in this class. Computing the precise structure of this C*-algebra is a core problem in a particular noiseless subsystem method of quantum error correction. We prove that there is an abundance of noiseless subsystems for every channel in this class and that Young tableaux combinatorics can be used to explicitly compute these subsystems…
The Eastin-Knill theorem states that no quantum error correcting code can have a universal set of transversal gates. For CSS codes that can implement Clifford gates transversally it suffices to provide one additional non-Clifford gate, such as the T-gate, to achieve universality. Common methods to implement fault-tolerant T-gates like magic state distillation generate a significant hardware overhead that will likely prevent their practical usage in the near-term future. Recently methods have been developed to mitigate the effect of noise in shallow quantum circuits that are not protected by er…
Assuming an array that consists of two parallel lines of qubits and that permits only nearest neighbor interactions, we construct physical and logical circuitry to enable universal fault tolerant quantum computation under the [[7,1,3]] quantum code. A rigorous lower bound to the fault tolerant threshold for this array is determined in a number of physical settings. Adversarial memory errors, two-qubit gate errors, and readout errors are included in our analysis. In the setting where the physical memory failure rate is equal to one-tenth of the physical gate error rate, the physical readout err…
In this paper, we propose a way to achieve protected universal computation in a neutral atom quantum computer subject to collective dephasing. Our proposal relies on the existence of a Decoherence Free Subspace (DFS), resulting from symmetry properties of the errors. After briefly describing the physical system and the error model considered, we show how to encode information into the DFS and build a complete set of safe universal gates. Finally, we provide numerical simulations for the fidelity of the different gates in the presence of time-dependent phase errors and discuss their performance…
The uncertainty principle generally prohibits determination of certain pairs of quantum mechanical observables with arbitrary precision and forms the basis of indeterminacy in quantum mechanics. It was Heisenberg who used the famous gamma-ray microscope thought experiment to illustrate this indeterminacy. A lower bound was set for the product of the measurement error of an observable and the disturbance caused by the measurement. Later on, the uncertainty relation was reformulated in terms of standard deviations, which focuses solely on indeterminacy of predictions and neglects unavoidable rec…
