Cited by 466Quantum Computing Algorithms and ArchitectureQuantum Information and CryptographyQuantum many-body systems

The DOI matches its Crossref record; 51 of the 51 references it cites were found in a registry or an index; none of the 27 sources its claims cite is checked for support yet.

Characterizing quantum gates via randomized benchmarking

Open access

Abstract

We describe and expand upon the scalable randomized benchmarking protocol proposed in Phys. Rev. Lett. 106, 180504 (2011) which provides a method for benchmarking quantum gates and estimating the gate dependence of the noise. The protocol allows the noise to have weak time and gate dependence, and we provide a sufficient condition for the applicability of the protocol in terms of the average variation of the noise. We discuss how state-preparation and measurement errors are taken into account and provide a complete proof of the scalability of the protocol. We establish a connection in special cases between the error rate provided by this protocol and the error strength measured using the diamond norm distance.

Overview

AI snapshot

Written from the paper’s full text.

TL;DR

This paper analyzes and expands a scalable randomized benchmarking protocol for Clifford gates, providing zeroth- and first-order fitting models that tolerate weak time- and gate-dependent noise and account for state-preparation and measurement errors. It proves scalability and establishes an exact relationship between the benchmarking error rate and diamond-norm error in special Pauli cases.

Key findings

  • The protocol requires at most \(O(n^2)\) quantum gates, \(O(n^4)\) classical pre-processing, and a number of single-shot repetitions independent of \(n\); random Clifford sampling and decomposition total \(O(n^4)\) classical operations.
  • The zeroth-order model gives exponential fidelity decay when noise is gate- and time-independent; the first-order model adds a term \(C_1(m-1)(q(m)-p^2)p^{m-2}\) that measures gate-dependence of the noise.
  • State-preparation and measurement errors are absorbed into fit parameters \(A_0,B_0\) or \(A_1,B_1,C_1\); the protocol is robust against them unless the fidelity curve is constant, which occurs only for \(p=0\), \(p=1\), or \(A_0=0\).
  • For generalized Pauli channels, the paper establishes an exact relationship between the benchmarking error rate \(r=1-F_{\Lambda,I}\) and the diamond norm \(\|\Lambda-I\|_\diamond\).

Methods

  • For each sequence length \(m\), the protocol generates \(K_m\) sequences of \(m+1\) Clifford operations: the first \(m\) are uniformly random, and the final operation is the inverse of their composition. It measures the survival probability, averages over sequences, repeats for different \(m\), and fits the fidelity decay.
  • The analysis uses a perturbative expansion of gate- and time-dependent errors about the average error operator, Clifford twirling, and zeroth- and first-order fitting models. A sufficient condition for neglecting higher orders is derived using the \(\|\cdot\|_{H^{1\to1}}\) norm.
  • Scalability is proven using the symplectic representation of the Clifford group, Hoeffding’s inequality for the number of repetitions, and decomposition of Clifford operations into one- and two-qubit generators. No new experimental data are reported.

Limitations

  • The protocol assumes weak time- and gate-dependence of the noise; the paper states a sufficient condition in terms of the average variation of the noise, and higher-order terms are not negligible when this condition fails.
  • The paper notes a pathological failure case: if the noise is gate-dependent and equal to the exact inverse of the target gate, benchmarking can report zero error despite substantial error on each gate.
  • The exact relationship between the benchmarking error rate and the diamond norm is established only for generalized Pauli channels; the paper states that a general explicit relationship is impossible and leaves broader connections for future work.
  • The authors state that how the sufficient condition depends on the number of qubits \(n\) is left for further research, and that noise correlations between qubits may create large errors on Clifford elements even when errors on a generating set are controlled.
  • Evident from the text: this is a theoretical and protocol-analysis paper; it does not provide new experimental validation.

Model-written summary. Check it against the paper before relying on it.

Integrity signals

Registry

Crossref · 10.1103/physreva.85.042311

Cites

51 of 51 references verified0 citation errors · 0 not checkable

Statistics

Nothing to recompute.

Verification

Claims the paper makes

0 of 27 cited sources checked · 0 supported · 0 flagged

Show all 51 claims

  • It may state two separate claims as one. 30
  • The quote only partly states this claim. 2
  • Probably not a substantial claim. 15
42 of 42
  • The authors state this as an assumption.

    The actual implementation of each Clifford gate C_i at time j can be represented as E_i,j = Λ_i,j ◦ C_i for some error map Λ_i,j.

    “Suppose that the actual implementation of C i at time j (1 ≤ j ≤ M ) results in the map E i,j with E i,j = Λ i,j ◦ C i for some error map Λ i,j .”
  • The authors state this as an assumption.

    Each operation C_i_j is allowed to have some error, represented by Λ_i_j,j.

    “By assumption each operation C i j is allowed to have some error, represented by Λ i j ,j , and each sequence can be modelled by the operation,”
  • The authors state this as an assumption.

    In the simplest ideal scenario, the noise operator at each step is independent of the applied gate and time-invariant.

    “assuming the simplest (ideal) scenario where the noise operator at each step is independent of the applied gate (and is also time-invariant)”
  • The authors state this as an assumption.

    The perturbation δΛ_i,j is small relative to Λ.

    “Our approach will be valid provided δ Λ i,j is a small perturbation from Λ in a sense to be made precise later.”
  • The authors state this as an assumption.

    The gate-dependence of the noise is weak enough that the zeroth-order expression in Eq. (3.26) is a valid model for the fidelity decay curve.

    “For simplicity of the discussion let us assume the gate-dependence of the noise is weak enough so that the zeroth order expression given in Eq. (3.26) is a valid model for the fidelity decay curve.”
  • The authors state this as an assumption.

    The physical gates have errors on the order of 10^-4.

    “Let us assume that the physical gates have errors on the order of 10 -4 .”
  • The authors state this as an assumption.

    The accuracy ε can be relaxed as m grows large.

    “Intuitively, since the fidelity curve decays in sequence length it is reasonable to assume that ǫ can be relaxed as m grows large.”
  • The authors state this as an assumption.

    The range b-a can be assumed relatively small for small m but converges to 1 - 1/d as m grows large.

    “Similarly, b -a can be assumed to be relatively small for small values of m but will converge to 1 -1 d as m grows large.”
  • The authors state this as an assumption.

    m=100 and the fidelity decay curve is well-approximated by an exponential.

    “Let us assume m = 100 and a fidelity decay curve that is well-approximated by an exponential.”
  • The paper relies on this without support.

    In practice, gate operations are reasonably precise, so substantial state-preparation or measurement errors are unlikely.

    “Since gates are reasonably precise in practice, this situation occurs when at least one of state preparation or measurement has substantial error.”
  • The paper relies on this without support.

    In quantum computation, the measure of accessible states (states reachable in polynomial time using a generating set for the unitary group) is equal to 0.

    “In quantum computation it is the case that the measure of accessible states (states that can be reached in polynomial time using a generating set for the unitary group) is equal to 0.”
  • The paper relies on this without support.

    Any realistic implementation of a quantum computer will have to take advantage of error-correction codes to perform fault-tolerant quantum computation.

    “First, any realistic implementation of a quantum computer will have to take advantage of error-correction codes in order to perform fault-tolerant quantum computation.”
  • The paper relies on this without support.

    Most of the codes used in fault-tolerant theory are stabilizer codes.

    “The fact that most of the codes used in fault-tolerant theory are stabilizer codes implies that the encoding and decoding operations that have to be performed can be chosen to be Clifford operations.”
13 of 13

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?

Self-check

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

Each contradiction between two passages listed here was confirmed by an independent check.

  • Conflicting time complexities for Clifford decomposition

    Minor

    The paper says it describes a method that decomposes a Clifford element in O(n2) time, but later assigns O(n3) time to decomposing it into the described sequence of operations.

  • Inconsistent number of operators in the generalized Pauli basis

    Minor

    Indexing the proposed basis from 0 through d2 gives d2+1 operators. Elsewhere the paper indexes such a basis from 0 through d2−1, giving d2 operators.

2 of 2

Citations

Cites

Flagged first, then by citations

Show all 50 references

Research works printed but not linked: 9

  1. P. Shor, 1994, Proceedings of the 35th Annual Symposium on Foundations of Computer Science (FOCS)
  2. D. Aharonov, 1997, Proceedings of the 29th Annual ACM Symposium on Theory of Computing (STOC)
  3. M. J. Biercuk, 2009, Quantum Inf. Comput., 9, 0920
  4. D. Aharonov, 1998, Proceedings of the 30th Annual ACM Symposium on the Theory of Computing, Dallas, TX, 1998
  5. R. Horn, 1990, Matrix Analysis
  6. J. Watrous, 2005, Quantum Inf. Comput., 5, 058
  7. E. Magesan, 2011, Quantum Inf. Comput., 11, 0466
  8. P. Boykin, 1999, Proceedings of the 40th Annual Symposium on Foundations of Computer Science (FOCS)
  9. 10.4086/toc.2009.v005a011 · DOI

Cited by

Sorted by citations

Items 101–200 of 466

Metadata

Authors
Magesan, E., Gambetta, J. M., & Emerson, J.
Affiliations
  • University of Waterloo (CA)
  • IBM Research - Thomas J. Watson Research Center (US)
Venue
Physical Review A
Published
2012-04-11
Volume
85
Issue
4
ISSN
  • 0556-2791 (ISSN-L)
  • 1050-2947
  • 1094-1622
OpenAlex
W2017477211
Cited by
464
References
50
Citations by year
2026: 33 · 2025: 67 · 2024: 48 · 2023: 50 · 2022: 47 · 2021: 54 · 2020: 42 · 2019: 35 · 2018: 15 · 2017: 19 · 2016: 15 · 2015: 16 · 2014: 14 · 2013: 5 · 2012: 4
FWCI
12.19
Type
journal article
Language
en
Open access
Locations
  • Physical Review A (publishedVersion)
  • arXiv (Cornell University) (publishedVersion)
  • arXiv (Cornell University)
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
randomized benchmarking, quantum gate characterization, gate noise, scalability, state preparation and measurement errors, quantum error rates

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.

A language model drew the claims from the paper on 2026-10-10, under version 3 of the claim definition (model deepseek-v4.1-flash, prompt extract-v3).

A second model labelled each claim on 2026-10-10 (model jev-1.13-20260917, definition revision gold-guideline-v0.2).

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