Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userArbitrary-time error suppression for Markovian adiabatic quantum computing using stabilizer subspace codes
192
0
0.0
(
0
)
Authors
Daniel A. Lidar
Ask ChatGPT about the research
No Arabic abstract
Adiabatic quantum computing (AQC) can be protected against thermal excitations via an encoding into error detecting codes, supplemented with an energy penalty formed from a sum of commuting Hamiltonian terms. Earlier work showed that it is possible to suppress the initial thermally induced excitation out of the encoded ground state, in the case of local Markovian environments, by using an energy penalty strength that grows only logarithmically in the system size, at a fixed temperature. The question of whether this result applies beyond the initial time was left open. Here we answer this in the affirmative. We show that thermal excitations out of the encoded ground state can be suppressed at arbitrary times under the additional assumption that the total evolution time is polynomial in the system size. Thus, computational problems that can be solved efficiently using AQC in a closed system setting, can still be solved efficiently subject to coupling to a thermal environment. Our construction uses stabilizer subspace codes, which require at least $4$-local interactions to achieve this result.
rate research
Read More
Incorporating protection against quantum errors into adiabatic quantum computing (AQC) is an important task due to the inevitable presence of decoherence. Here we investigate an error-protected encoding of the AQC Hamiltonian, where qubit ensembles are used in place of qubits. Our Hamiltonian only involves total spin operators of the ensembles, offering a simpler route towards error-corrected quantum computing. Our scheme is particularly suited to neutral atomic gases where it is possible to realize large ensemble sizes and produce ensemble-ensemble entanglement. We identify a critical ensemble size $N_{mathrm{c}}$ where the nature of the first excited state becomes a single particle perturbation of the ground state, and the gap energy is predictable by mean-field theory. For ensemble sizes larger than $N_{mathrm{c}}$, the ground state becomes protected due to the presence of logically equivalent states and the AQC performance improves with $N$, as long as the decoherence rate is sufficiently low.
Reliable models of a large variety of open quantum systems can be described by Lindblad master equation. An important property of some open quantum systems is the existence of decoherence-free subspaces. In this paper, we develop tools for constructing stabilizer codes over open quantum systems governed by Lindblad master equation. We apply the developed stabilizer code formalism to the area of quantum metrology. In particular, a strategy to attain the Heisenberg limit scaling is proposed.
Coherent errors are a dominant noise process in many quantum computing architectures. Unlike stochastic errors, these errors can combine constructively and grow into highly detrimental overrotations. To combat this, we introduce a simple technique for suppressing systematic coherent errors in low-density parity-check (LDPC) stabilizer codes, which we call stabilizer slicing. The essential idea is to slice low-weight stabilizers into two equally-weighted Pauli operators and then apply them by rotating in opposite directions, causing their overrotations to interfere destructively on the logical subspace. With access to native gates generated by 3-body Hamiltonians, we can completely eliminate purely coherent overrotation errors, and for overrotation noise of 0.99 unitarity we achieve a 135-fold improvement in the logical error rate of Surface-17. For more conventional 2-body ion trap gates, we observe an 89-fold improvement for Bacon-Shor-13 with purely coherent errors which should be testable in near-term fault-tolerance experiments. This second scheme takes advantage of the prepared gauge degrees of freedom, and to our knowledge is the first example in which the state of the gauge directly affects the robustness of a codes memory. This work demonstrates that coherent noise is preferable to stochastic noise within certain code and gate implementations when the coherence is utilized effectively.
We present an algorithm for manipulating quantum information via a sequence of projective measurements. We frame this manipulation in the language of stabilizer codes: a quantum computation approach in which errors are prevented and corrected in part by repeatedly measuring redundant degrees of freedom. We show how to construct a set of projective measurements which will map between two arbitrary stabilizer codes. We show that this process preserves all quantum information. It can be used to implement Clifford gates, braid extrinsic defects, or move between codes in which different operations are natural.
Quantum error-correcting codes are used to protect qubits involved in quantum computation. This process requires logical operators, acting on protected qubits, to be translated into physical operators (circuits) acting on physical quantum states. We propose a mathematical framework for synthesizing physical circuits that implement logical Clifford operators for stabilizer codes. Circuit synthesis is enabled by representing the desired physical Clifford operator in $mathbb{C}^{N times N}$ as a partial $2m times 2m$ binary symplectic matrix, where $N = 2^m$. We state and prove two theorems that use symplectic transvections to efficiently enumerate all binary symplectic matrices that satisfy a system of linear equations. As a corollary of these results, we prove that for an $[![ m,k ]!]$ stabilizer code every logical Clifford operator has $2^{r(r+1)/2}$ symplectic solutions, where $r = m-k$, up to stabilizer degeneracy. The desired physical circuits are then obtained by decomposing each solution into a product of elementary symplectic matrices, that correspond to elementary circuits. This enumeration of all physical realizations enables optimization over the ensemble with respect to a suitable metric. Furthermore, we show that any circuit that normalizes the stabilizer of the code can be transformed into a circuit that centralizes the stabilizer, while realizing the same logical operation. Our method of circuit synthesis can be applied to any stabilizer code, and this paper discusses a proof of concept synthesis for the $[![ 6,4,2 ]!]$ CSS code. Programs implementing the algorithms in this paper, which includes routines to solve for binary symplectic solutions of general linear systems and our overall LCS (logical circuit synthesis) algorithm, can be found at: https://github.com/nrenga/symplectic-arxiv18a
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
