arXiv subjects

Aleksander Kubica

Publications and source records attributed to Aleksander Kubica.

53 records · Page 3Linked to original sources

arXiv2022

Tailored XZZX codes for biased noise

Quantum error correction (QEC) for generic errors is challenging due to the demanding threshold and resource requirements. Interestingly, when physical noise is biased, we can tailor our QEC schemes to the noise to improve performance. Here we study a family of codes having XZZX-type stabilizer generators, including a set of cyclic codes generalized from the five-qubit code and a set of topological codes that we call generalized toric codes (GTCs). We show that these XZZX codes are highly qubit efficient if tailored to biased noise. To characterize the code performance, we use the notion of effective distance, which generalizes code distance to the case of biased noise and constitutes a proxy for the logical failure rate. We find that the XZZX codes can achieve a favorable resource scaling by this metric under biased noise. We also show that the XZZX codes have remarkably high thresholds that reach what is achievable by random codes, and furthermore they can be efficiently decoded using matching decoders. Finally, by adding only one flag qubit, the XZZX codes can realize fault-tolerant QEC while preserving their large effective distance. In combination, our results show that tailored XZZX codes give a resource-efficient scheme for fault-tolerant QEC against biased noise.

quant-ph↗

arXiv2021

Finding the disjointness of stabilizer codes is NP-complete

The disjointness of a stabilizer code is a quantity used to constrain the level of the logical Clifford hierarchy attainable by transversal gates and constant-depth quantum circuits. We show that for any positive integer constant $c$, the problem of calculating the $c$-disjointness, or even approximating it to within a constant multiplicative factor, is NP-complete. We provide bounds on the disjointness for various code families, including the CSS codes, concatenated codes and hypergraph product codes. We also describe numerical methods of finding the disjointness, which can be readily used to rule out the existence of any transversal gate implementing some non-Clifford logical operation in small stabilizer codes. Our results indicate that finding fault-tolerant logical gates for generic quantum error-correcting codes is a computationally challenging task.

quant-ph↗

arXiv2021

Single-shot quantum error correction with the three-dimensional subsystem toric code

We introduce a new topological quantum code, the three-dimensional subsystem toric code (3D STC), which is a generalization of the stabilizer toric code. The 3D STC can be realized by measuring geometrically-local parity checks of weight at most three on the cubic lattice with open boundary conditions. We prove that single-shot quantum error correction (QEC) is possible with the 3D STC, i.e., one round of local parity-check measurements suffices to perform reliable QEC even in the presence of measurement errors. We also propose an efficient single-shot QEC strategy for the 3D STC and investigate its performance. In particular, we numerically estimate the resulting storage threshold against independent bit-flip, phase-flip and measurement errors to be $p_\text{STC} \approx 1.045\%$. Such a high threshold together with local parity-check measurements of small weight make the 3D STC particularly appealing for realizing fault-tolerant quantum computing.

quant-ph↗

arXiv2021

Cellular automaton decoders for topological quantum codes with noisy measurements and beyond

We propose an error correction procedure based on a cellular automaton, the sweep rule, which is applicable to a broad range of codes beyond topological quantum codes. For simplicity, however, we focus on the three-dimensional (3D) toric code on the rhombic dodecahedral lattice with boundaries and prove that the resulting local decoder has a non-zero error threshold. We also numerically benchmark the performance of the decoder in the setting with measurement errors using various noise models. We find that this error correction procedure is remarkably robust against measurement errors and is also essentially insensitive to the details of the lattice and noise model. Our work constitutes a step towards finding simple and high-performance decoding strategies for a wide range of quantum low-density parity-check codes.

quant-ph↗

arXiv2021

The cost of universality: A comparative study of the overhead of state distillation and code switching with color codes

Estimating and reducing the overhead of fault tolerance (FT) schemes is a crucial step toward realizing scalable quantum computers. Of particular interest are schemes based on two-dimensional (2D) topological codes such as the surface and color codes which have high thresholds but lack a natural implementation of a non-Clifford gate. In this work, we directly compare two leading FT implementations of the T gate in 2D color codes under circuit noise across a wide range of parameters in regimes of practical interest. We report that implementing the T gate via code switching to a 3D color code does not offer substantial savings over state distillation in terms of either space or space-time overhead. We find a circuit noise threshold of 0.07(1)% for the T gate via code switching, almost an order of magnitude below that achievable by state distillation in the same setting. To arrive at these results, we provide and simulate an optimized code switching procedure, and bound the effect of various conceivable improvements. Many intermediate results in our analysis may be of independent interest. For example, we optimize the 2D color code for circuit noise yielding its largest threshold to date 0.37(1)%, and adapt and optimize the restriction decoder finding a threshold of 0.80(5)% for the 3D color code with perfect measurements under Z noise. Our work provides a much-needed direct comparison of the overhead of state distillation and code switching, and sheds light on the choice of future FT schemes and hardware designs.

quant-ph↗

arXiv2020

Triangular color codes on trivalent graphs with flag qubits

The color code is a topological quantum error-correcting code supporting a variety of valuable fault-tolerant logical gates. Its two-dimensional version, the triangular color code, may soon be realized with currently available superconducting hardware despite constrained qubit connectivity. To guide this experimental effort, we study the storage threshold of the triangular color code against circuit-level depolarizing noise. First, we adapt the Restriction Decoder to the setting of the triangular color code and to phenomenological noise. Then, we propose a fault-tolerant implementation of the stabilizer measurement circuits, which incorporates flag qubits. We show how information from flag qubits can be used with the Restriction Decoder to maintain the effective distance of the code. We numerically estimate the threshold of the triangular color code to be 0.2%, which is competitive with the thresholds of other topological quantum codes. We also prove that 1-flag stabilizer measurement circuits are sufficient to preserve the full code distance, which may be used to find simpler syndrome extraction circuits of the color code.

quant-ph↗

arXiv2020

Using Quantum Metrological Bounds in Quantum Error Correction: A Simple Proof of the Approximate Eastin-Knill Theorem

We present a simple proof of the approximate Eastin-Knill theorem, which connects the quality of a quantum error-correcting code (QECC) with its ability to achieve a universal set of transversal logical gates. Our derivation employs powerful bounds on the quantum Fisher information in generic quantum metrological protocols to characterize the QECC performance measured in terms of the worst-case entanglement fidelity. The theorem is applicable to a large class of decoherence models, including independent erasure and depolarizing noise. Our approach is unorthodox, as instead of following the established path of utilizing QECCs to mitigate noise in quantum metrological protocols, we apply methods of quantum metrology to explore the limitations of QECCs.

quant-ph↗

arXiv2018

Cellular-automaton decoders with provable thresholds for topological codes

We propose a new cellular automaton (CA), the Sweep Rule, which generalizes Toom's rule to any locally Euclidean lattice. We use the Sweep Rule to design a local decoder for the toric code in $d\geq 3$ dimensions, the Sweep Decoder, and rigorously establish a lower bound on its performance. We also numerically estimate the Sweep Decoder threshold for the three-dimensional toric code on the cubic and body-centered cubic lattices for phenomenological phase-flip noise. Our results lead to new CA decoders with provable error-correction thresholds for other topological quantum codes including the color code.

quant-ph↗

arXiv2018

Ungauging quantum error-correcting codes

We develop the procedures of gauging and ungauging, reveal their operational meaning and propose their generalization in a systematic manner within the framework of quantum error-correcting codes. We demonstrate with an example of the subsystem Bacon-Shor code that the ungauging procedure can result in models with unusual symmetry operators constrained to live on lower-dimensional structures. We apply our formalism to the three-dimensional gauge color code (GCC) and show that its codeword space is equivalent to the Hilbert space of six copies of $\mathbb{Z}_2$ lattice gauge theory with $1$-form symmetries. We find that three different stabilizer Hamiltonians associated with the GCC correspond to distinct thermal symmetry-protected topological (SPT) phases in the presence of the stabilizer symmetries of the GCC. One of the considered Hamiltonians describes the Raussendorf-Bravyi-Harrington model, which is universal for measurement-based quantum computation at non-zero temperature. We also propose a general procedure of creating $D$-dimensional SPT Hamiltonians from $(D+1)$-dimensional CSS stabilizer Hamiltonians by exploiting a relation between gapped domain walls and transversal logical gates. As a result, we find an explicit two-dimensional realization of a non-trivial fracton SPT phase protected by fractal-like symmetries.

quant-ph↗

arXiv2018

Advantages of versatile neural-network decoding for topological codes

Finding optimal correction of errors in generic stabilizer codes is a computationally hard problem, even for simple noise models. While this task can be simplified for codes with some structure, such as topological stabilizer codes, developing good and efficient decoders still remains a challenge. In our work, we systematically study a very versatile class of decoders based on feedforward neural networks. To demonstrate adaptability, we apply neural decoders to the triangular color and toric codes under various noise models with realistic features, such as spatially-correlated errors. We report that neural decoders provide significant improvement over leading efficient decoders in terms of the error-correction threshold. Using neural networks simplifies the process of designing well-performing decoders, and does not require prior knowledge of the underlying noise model.

quant-ph↗

arXiv2017

The disjointness of stabilizer codes and limitations on fault-tolerant logical gates

Stabilizer codes are a simple and successful class of quantum error-correcting codes. Yet this success comes in spite of some harsh limitations on the ability of these codes to fault-tolerantly compute. Here we introduce a new metric for these codes, the disjointness, which, roughly speaking, is the number of mostly non-overlapping representatives of any given non-trivial logical Pauli operator. We use the disjointness to prove that transversal gates on error-detecting stabilizer codes are necessarily in a finite level of the Clifford hierarchy. We also apply our techniques to topological code families to find similar bounds on the level of the hierarchy attainable by constant depth circuits, regardless of their geometric locality. For instance, we can show that symmetric 2D surface codes cannot have non-local constant depth circuits for non-Clifford gates.

quant-ph↗

arXiv2017

Three-dimensional color code thresholds via statistical-mechanical mapping

Three-dimensional (3D) color codes have advantages for fault-tolerant quantum computing, such as protected quantum gates with relatively low overhead and robustness against imperfect measurement of error syndromes. Here we investigate the storage threshold error rates for bit-flip and phase-flip noise in the 3D color code on the body-centererd cubic lattice, assuming perfect syndrome measurements. In particular, by exploiting a connection between error correction and statistical mechanics, we estimate the threshold for 1D string-like and 2D sheet-like logical operators to be $p^{(1)}_\mathrm{3DCC} \simeq 1.9\%$ and $p^{(2)}_\mathrm{3DCC} \simeq 27.6\%$. We obtain these results by using parallel tempering Monte Carlo simulations to study the disorder-temperature phase diagrams of two new 3D statistical-mechanical models: the 4- and 6-body random coupling Ising models.

quant-ph↗

arXiv2017

Symmetry protected topological order at nonzero temperature

We address the question of whether symmetry-protected topological (SPT) order can persist at nonzero temperature, with a focus on understanding the thermal stability of several models studied in the theory of quantum computation. We present three results in this direction. First, we prove that nontrivial SPT order protected by a global on-site symmetry cannot persist at nonzero temperature, demonstrating that several quantum computational structures protected by such on-site symmetries are not thermally stable. Second, we prove that the 3D cluster state model used in the formulation of topological measurement-based quantum computation possesses a nontrivial SPT-ordered thermal phase when protected by a global generalized (1-form) symmetry. The SPT order in this model is detected by long-range localizable entanglement in the thermal state, which compares with related results characterizing SPT order at zero temperature in spin chains using localizable entanglement as an order parameter. Our third result is to demonstrate that the high error tolerance of this 3D cluster state model for quantum computation, even without a protecting symmetry, can be understood as an application of quantum error correction to effectively enforce a 1-form symmetry.

quant-ph↗

arXiv2015

Unfolding the color code

The topological color code and the toric code are two leading candidates for realizing fault-tolerant quantum computation. Here we show that the color code on a $d$-dimensional closed manifold is equivalent to multiple decoupled copies of the $d$-dimensional toric code up to local unitary transformations and adding or removing ancilla qubits. Our result not only generalizes the proven equivalence for $d=2$, but also provides an explicit recipe of how to decouple independent components of the color code, highlighting the importance of colorability in the construction of the code. Moreover, for the $d$-dimensional color code with $d+1$ boundaries of $d+1$ distinct colors, we find that the code is equivalent to multiple copies of the $d$-dimensional toric code which are attached along a $(d-1)$-dimensional boundary. In particular, for $d=2$, we show that the (triangular) color code with boundaries is equivalent to the (folded) toric code with boundaries. We also find that the $d$-dimensional toric code admits logical non-Pauli gates from the $d$-th level of the Clifford hierarchy, and thus saturates the bound by Bravyi and König. In particular, we show that the $d$-qubit control-$Z$ logical gate can be fault-tolerantly implemented on the stack of $d$ copies of the toric code by a local unitary transformation.

quant-ph↗

arXiv2014

Universal transversal gates with color codes - a simplified approach

We provide a simplified, yet rigorous presentation of the ideas from Bombín's paper "Gauge Color Codes" [arXiv:1311.0879v3]. Our presentation is self-contained, and assumes only basic concepts from quantum error correction. We provide an explicit construction of a family of color codes in arbitrary dimensions and describe some of their crucial properties. Within this framework, we explicitly show how to transversally implement the generalized phase gate $R_n=\text{diag}(1,e^{2πi/2^n})$, which deviates from the method in "Gauge Color Codes", allowing an arguably simpler proof. We describe how to implement the Hadamard gate $H$ fault-tolerantly using code switching. In three dimensions, this yields, together with the transversal $CNOT$, a fault-tolerant universal gate set $\{H,CNOT,R_3\}$ without state-distillation.

quant-ph↗

arXiv2014

Quantum criticality from Ising model on fractal lattices

We study the quantum Ising model on the Sierpiński triangle, whose Hausdorff dimension is $\log 3/ \log 2 \approx 1.585$, and demonstrate that it undergoes second-order phase transition with scaling relations satisfied precisely. We also study the quantum $3$-state Potts model on the Sierpiński triangle and find first-order phase transition, which is consistent with a prediction from $ε$-expansion that the transition becomes first-order for $D > 1.3$. We then compute critical exponents of the Ising model on higher-dimensional Sierpiński pyramids with various Hausdorff dimension via Monte-Carlo simulations and real-space RG analysis for $D\in[1,3]$. We find that only the correlation length exponent $ν$ interpolates the values of integer-dimensional models. This implies that, contrary to a generally held belief, the universality class of quantum phase transition may not be uniquely determined by symmetry and spatial dimension of the system. This work initiates studies on quantum critical phenomena on graphs and networks which may be of significant importance in the context of quantum networks and communication.

cond-mat.stat-mech↗

arXiv2014

Precise estimation of critical exponents from real-space renormalization group analysis

We develop a novel real-space renormalization group (RG) scheme which accurately estimates correlation length exponent $ν$ near criticality of higher-dimensional quantum Ising and Potts models in a transverse field. Our method is remarkably simple (often analytical), grouping only a few spins into a block spin so that renormalized Hamiltonian has a closed form. A previous difficulty of spatial anisotropy and unwanted terms is avoided by incorporating rotational invariance and internal $\mathbb{Z}_q$ symmetries of the Hamiltonian. By applying this scheme to the (2+1)-dim Ising model on a triangular lattice and solving an analytical RG equation, we obtain $ν\approx 0.6300$. This value is within statistical errors of the current best Monte-Carlo result, 25th-order high-temperature series expansions, $ϕ^4$-theory estimation which considers up to seven-loop corrections and experiments performed in low-Earth orbits. We also apply the scheme to higher-dimensional Potts models for which ordinary Monte-Carlo methods are not effective due to strong hysteresis and suppression of quantum fluctuation in a weak first-order phase transition.

cond-mat.stat-mech↗