CoChat
Sign Up
PreprintCited by 36Quantum Computing Algorithms and ArchitectureQuantum Information and CryptographyQuantum many-body systems

The DOI matches its DataCite record.

Variational circuit compiler for quantum error correction

Open access
Xu, Xiaosi, Benjamin, Simon C., Yuan, Xiao·2019·arXiv
DOI 10.48550/arxiv.1911.05759arXiv 1911.05759
Open this paper in CoChat — free accountOpen PDF

Abstract

Quantum error correction is vital for implementing universal quantum computing. A key component is the encoding circuit that maps a product state of physical qubits into the encoded multipartite entangled logical state. Known methods are typically not 'optimal' either in terms of the circuit depth (and therefore the error burden) or the specifics of the target platform, i.e. the native gates and topology of a system. This work introduces a variational compiler for efficiently finding the encoding circuit of general quantum error correcting codes with given quantum hardware. Focusing on the noisy intermediate scale quantum regime, we show how to systematically compile the circuit following an optimising process seeking to minimise the number of noisy operations that are allowed by the noisy quantum hardware or to obtain the highest fidelity of the encoded state with noisy gates. We demonstrate our method by deriving novel encoders for logic states of the five qubit code and the seven qubit Steane code. We describe ways to augment the discovered circuits with error detection. Our method is applicable quite generally for compiling the encoding circuits of quantum error correcting codes.

Overview

The claims and statistics of this paper haven’t been checked yet.

Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.

A few free checks a day · papers already verified open instantly · results are public

Integrity signals

Registry

DataCite · 10.48550/arxiv.1911.05759

Cites

Statistics

Verification

Claims the paper makes

The claims and statistics of this paper haven’t been checked yet.

Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.

A few free checks a day · papers already verified open instantly · results are public

Claims other papers make about this one

Each is checked against this paper’s own text: does it say what the citing paper says it does?

  • A study with n=10,...,30 qubits for Ising-inspired linear systems and n=2,...,7 qubit random sparse linear systems showed that time to solution scales logarithmically in N, and efficiently in condition number and solution precision, for these problems.

    “A study [139] was conducted with n = 10 , . . . , 30 qubits for Ising-inspired linear systems and with n = 2 , . . . , 7 qubit random (sparse) linear systems. The study showed that the time to solution scales logarithmically in N (and also efficiently in condition number and solution precision) for these problems.”

    From Variational quantum algorithms (2021) · cites this paper as [139]

    Split into 2 atoms — 0 confirmed, 0 partially supported, 1 disputed, 0 misattributed, 1 unverifiable. Expand the claim to see per-atom verdicts.

    Checked by a reasoning model — may be wrong.

    Experimental — accuracy not yet measured

  • The barren plateau problem in QLSP VQAs can be mitigated by considering a local Hamiltonian with the same ground state or by using a hybrid ansatz strategy.

    “This problem can be mitigated by considering a local Hamiltonian with the same ground state [139] or by using a hybrid ansatz strategy [141] where | ψ ( θ ) 〉 = ∑ i α i | ψ i ( θ 1 ) 〉 with α i being variational parameters.”

    From Variational quantum algorithms (2021) · cites this paper as [139]

    Section A (p. 3) constructs a Hamiltonian whose unique ground state is a target logical state for quantum error correction. It does not establish that a local Hamiltonian mitigates barren plateaus in QLSP VQAs. The hybrid-ansatz strategy is attached to a different citation [141] and is not assessed here. (LLM, conf=0.79)

    Experimental — accuracy not yet measured

  • Refs [139-141] considered the Hamiltonian H_G = A(I - |b><b|)A†.

    “Refs. [139-141] considered the Hamiltonian H G = A ( ✶ -| b 〉 〈 b | ) A † (which was also considered outside of the variational setting [142]).”

    From Variational quantum algorithms (2021) · cites this paper as [139]

    Section A, “Variational circuit compiler” (p. 3), describes constructing a Hamiltonian from stabilisers and logical operators, but the formula in our copy is not decoded. Searches for H_G = A(I − |b⟩⟨b|)A† and for a linear-system Hamiltonian found no passage establishing that the paper considered the claimed form. (LLM, conf=0.74)

    Experimental — accuracy not yet measured

Self-check

Percentages, sums and reported differences re-computed from the paper’s own numbers.

The self-check needs the paper’s full text.

Citations

Cites

No references could be resolved yet.

Research works printed but not linked: 18

  1. [1]D. Gottesman, Phys. Rev. A 57 , 127 (1998). http://dx.doi.org/10.1103/PhysRevA.57.127 · DOI
  2. [2]P. W. Shor, Phys. Rev. A 52 , R2493 (1995). http://dx.doi.org/10.1103/PhysRevA.52.R2493 · DOI · Paper page
  3. [8]R. Laflamme, C. Miquel, J. P. Paz, and W. H. Zurek, Physical Review Letters 77 , 198 (1996).
  4. [9]A. M. Steane, Physical Review Letters 77 , 793 (1996).
  5. [14]M. Gong, X. Yuan, S. Wang, Y. Wu, Y. Zhao, C. Zha, S. Li, Z. Zhang, Q. Zhao, Y. Liu, et al. , arXiv preprint arXiv:1907.04507 (2019). · arXiv
  6. [20]T. Pittman, B. Jacobs, and J. Franson, Physical Review A 71 , 052332 (2005).
  7. [21]C.-Y. Lu, W.-B. Gao, J. Zhang, X.-Q. Zhou, T. Yang, and J.-W. Pan, Proceedings of the National Academy of Sciences 105 , 11050 (2008).
  8. [26]P. D. Johnson, J. Romero, J. Olson, Y. Cao, and A. Aspuru-Guzik, arXiv preprint arXiv:1711.02249 (2017). · arXiv
  9. [32]T. Monz, K. Kim, A. Villar, P. Schindler, M. Chwalla, M. Riebe, C. F. Roos, H. H¨ affner, W. H¨ ansel, M. Hennrich, et al. , Physical review letters 103 , 200503 (2009).
  10. [36]A. K. Prasad, V. V. Shende, I. L. Markov, J. P. Hayes, and K. N. Patel, ACM Journal on Emerging Technologies in Computing Systems (JETC) 2 , 277 (2006).
  11. [37]D. Maslov, G. W. Dueck, D. M. Miller, and C. Negrevergne, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 27 , 436 (2008).
  12. [38]M. Amy, D. Maslov, and M. Mosca, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 33 , 1476 (2014).
  13. [41]T. Jones and S. C. Benjamin, arXiv preprint arXiv:1811.03147 (2018). · arXiv
  14. [42]K. Heya, Y. Suzuki, Y. Nakamura, and K. Fujii, arXiv preprint arXiv:1810.12745 (2018). · arXiv
  15. [44]K. Sharma, S. Khatri, M. Cerezo, and P. J. Coles, New Journal of Physics 22 , 043006 (2020).
  16. [47]X. Xu, N. de Beaudrap, J. O'Gorman, and S. C. Benjamin, New Journal of Physics 20 , 023009 (2018).
  17. [48]A. Paetznick and B. W. Reichardt, arXiv preprint arXiv:1106.2190 (2011). · arXiv
  18. [52]X. Xu, J. Sun, S. Endo, Y. Li, S. C. Benjamin, and X. Yuan, arXiv preprint arXiv:1909.03898 (2019). · arXiv

Cited by

Sorted by citations

Metadata

Authors
Xu, X., Benjamin, S. C., & Yuan, X.
Affiliations
  • University of Oxford (GB)
  • Peking University (CN)
ORCID
Venue
arXiv
Publisher
arXiv
Published
2019
Volume
15
Issue
3
ISSN
2331-7019 (ISSN-L)
DOI
10.48550/arxiv.1911.05759
arXiv
1911.05759
OpenAlex
W2988408982
Cited by
36
References
0
Citations by year
2026: 3 · 2025: 10 · 2024: 7 · 2023: 6 · 2022: 6 · 2021: 4
FWCI
2.03
Type
journal article
Language
en
Open access
Licence
arxiv.org/licenses/nonexclusive-distrib/1.0/
Locations
  • Physical Review Applied (publishedVersion)
  • arXiv (Cornell University) (submittedVersion)
  • arXiv (Cornell University)
Funders
  • Office of the Director of National Intelligence
  • Intelligence Advanced Research Projects Activity
  • Engineering and Physical Sciences Research Council (EP/M013243/1)
  • Army Research Office (W911NF-16-1-0070)
Topics
  • Physical Sciences › Computer Science › Artificial Intelligence › Quantum Computing Algorithms and Architecture
  • Physical Sciences › Physics and Astronomy › Atomic and Molecular Physics, and Optics › Quantum Information and Cryptography
  • Physical Sciences › Physics and Astronomy › Atomic and Molecular Physics, and Optics › Quantum many-body systems
Keywords
quantum error correction, quantum error-correcting codes, five-qubit code, noisy intermediate-scale quantum computing, error detection, logical qubits, noisy quantum hardware

About these checks

Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.

Statistics and arithmetic are recomputed, not judged.

Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.

What counts as a claim ›How we measure confidence ›How we check this ›

Are you an author, or do you see a problem with this page? Request a review