{{short description|Method for assessing quantum computer hardware capabilities}}

'''Randomized benchmarking''' is an experimental method for measuring the average error rates of quantum computing hardware platforms. The protocol estimates the average error rates by implementing long sequences of randomly sampled quantum gate operations.<ref name="Emerson2005" /> Randomized benchmarking is the industry-standard protocol used by quantum hardware developers such as IBM<ref>{{cite web |url=https://qiskit.org/textbook/ch-quantum-hardware/randomized-benchmarking.html |title= Randomized Benchmarking — Qiskit textbook |author=<!--Not stated--> }}</ref> and Google <ref>{{cite web |url=https://github.com/quantumlib/Cirq/blob/master/examples/qubit_characterizations_example.py |title= Cirq Qubit Characterization Example |author=<!--Not stated--> |website= GitHub |date= 20 January 2023 }}</ref> to test the performance of the quantum operations.

The original theory of randomized benchmarking, proposed by Joseph Emerson and collaborators,<ref name="Emerson2005">{{cite journal|last1=Emerson|first1=Joseph|last2=Alicki|first2=Robert|last3=Zyczkowski|first3=Karol|year=2005|title=Scalable noise estimation with random unitary operators|journal=Journal of Optics B: Quantum and Semiclassical Optics|volume=7|issue=10|pages= S347|doi= 10.1088/1464-4266/7/10/021|arxiv=quant-ph/0503243|bibcode=2005JOptB...7S.347E|s2cid=17729419 }}</ref> considered the implementation of sequences of Haar-random operations, but this had several practical limitations. The now-standard protocol for randomized benchmarking (RB) relies on uniformly random Clifford operations, as proposed in 2006 by Dankert ''et al.'' <ref name="dankert2006exact">{{cite journal|last1= Dankert|first1= Christoph|last2= Cleve|first2= Richard|last3= Emerson|first3= Joseph|last4= Livine|first4= Etera|year= 2009|title=Exact and Approximate Unitary 2-Designs: Constructions and Applications|journal= Physical Review A|volume= 80|article-number= 012304|doi= 10.1103/PhysRevA.80.012304|arxiv= quant-ph/0606161|s2cid= 46914367}}</ref> as an application of the theory of unitary t-designs. In current usage randomized benchmarking sometimes refers to the broader family of generalizations of the 2005 protocol involving different random gate sets <ref name="Levi2007">{{cite journal|last1= Levi|first1=Benjamin|last2=Lopez |first2=Cecilia|last3=Emerson|first3=Joseph|last4=Cory|first4=David|year= 2007|title=Efficient error characterization in quantum information processing|journal= Physical Review A|volume= 75|issue= 2|article-number= 022314|doi=10.1103/PhysRevA.75.022314|arxiv=quant-ph/0608246|bibcode=2007PhRvA..75b2314L|s2cid=119511781 }}</ref><ref name="Knill">{{cite journal|last1= Knill|first1= E|last2= Leibfried|first2= D|last3=Reichle|first3= R|last4= Britton|first4= J|last5= Blakestad|first5= R|last6=Jost|first6=J|last7=Langer|first7=C|last8=Ozeri|first8=R|last9=Seidelin|first9= S|last10= Wineland|first10= D.J.|year= 2008 |title=Randomized benchmarking of quantum gates|journal= Physical Review A|volume= 77|issue= 1|article-number= 012307|doi=10.1103/PhysRevA.77.012307|arxiv= 0707.0963|bibcode= 2008PhRvA..77a2307K|s2cid= 4653296}}</ref><ref name="Magesan2011">{{cite journal|last1= Magesan|first1= Easwar|last2=Gambetta|first2= Jay M.|last3=Emerson|first3=Joseph|year= 2011|title= Scalable and Robust Randomized Benchmarking of Quantum Processes|journal= Physical Review Letters|volume= 106|issue= 31–9007|article-number= 180504|doi= 10.1103/PhysRevLett.106.180504|pmid= 21635076|arxiv= 1009.3639|bibcode= 2011PhRvL.106r0504M|s2cid= 40488758}}</ref><ref name="Magesan2012">{{cite journal|last1= Magesan|first1= Easwar|last2= Gambetta|first2= Jay M.|last3= Emerson|first3= Joseph|year= 2012|title= Characterizing quantum gates via randomized benchmarking|journal= Physical Review A|volume= 85|issue= 1050–2947|article-number= 042311|doi= 10.1103/PhysRevA.85.042311|arxiv= 1109.6887|bibcode= 2012PhRvA..85d2311M|s2cid= 4676920}}</ref><ref name="Wallman2016a">{{cite journal|last1=Wallman |first1=Joel|last2=Barnhill|first2=Marie|last3=Emerson|first3=Joseph|year=2016 |title=Robust characterization of leakage errors|journal=New Journal of Physics |volume=18 |issue=4 |article-number=043021 |doi= 10.1088/1367-2630/18/4/043021|bibcode=2016NJPh...18d3021W|doi-access=free|arxiv=1412.4126}}</ref><ref name="Dugas2015">{{cite journal|last1=Dugas |first1=A|last2=Wallman|first2=J|last3=Emerson|first3=J|year=2015 |title=Characterizing universal gate sets via dihedral benchmarking|journal=Physical Review A |volume=92 |issue=6 |article-number=060302 |doi=10.1103/PhysRevA.92.060302 |bibcode=2015PhRvA..92f0302C|arxiv=1508.06312|s2cid=67832001}}</ref><ref name="Dugas2018">{{cite journal|last1=Dugas |first1=Arnaud |last2=Boone |first2=Kristine |last3=Wallman|first3=Joel|last4=Emerson|first4=Joseph|year=2018 |title=From randomized benchmarking experiments to gate-set circuit fidelity: how to interpret randomized benchmarking decay parameters|journal=New Journal of Physics |volume=20 |issue=9 |page=092001 |doi=10.1088/1367-2630/aadcc7|bibcode=2018NJPh...20i2001C |arxiv=1804.01122 |s2cid=88509448 }}</ref><ref name="Boone2018">{{cite journal|last1=Boone |first1=Kristine|last2=Dugas |first2=Arnaud|last3=Wallman|first3=Joel|last4=Emerson|first4=Joseph|year=2019 |title=Randomized benchmarking under different gate sets|journal=Physical Review A|volume=99|issue=3|article-number=032329|doi=10.1103/PhysRevA.99.032329|arxiv=1811.01920|bibcode=2019PhRvA..99c2329B |s2cid=53578478 }}</ref><ref name="Wallman2015">{{cite journal|last1=Wallman |first1=Joel|last2=Granade|first2=Chris|last3=Harper|first3=Robin|last4=Flammia|first4=Steven|year=2015 |title=Estimating the coherence of noise|journal=New Journal of Physics |volume=17 |issue=11 |article-number=113020 |doi= 10.1088/1367-2630/17/11/113020|url=http://stacks.iop.org/1367-2630/17/i=11/a=113020|bibcode=2015NJPh...17k3020W|arxiv=1503.07865|s2cid=119215285 }}</ref><ref name="Gambetta2012">{{cite journal|last1=Gambetta |first1=Jay M.|last2=Corcoles|first2=A.D.|last3=Merkel|first3=Seth T.|last4=Johnson|first4=Blake R.|last5=Smolin|first5=John A.|last6=Chow|first6=Jerry M. |last7=Ryan|first7=Colm A. |last8=Rigetti|first8=Chad |last9=Poletto|first9=Stefano |last10=Ohki|first10=Thomas A. |last11=Ketchen|first11=Mark B. |last12=Steffen|first12=Matthias|year=2012 |title=Characterization of Addressability by Simultaneous Randomized Benchmarking|journal=Physical Review Letters |volume=109 |issue=31–9007 |article-number=240504 |doi=10.1103/PhysRevLett.109.240504 |pmid=23368295|arxiv=1204.6308|bibcode=2012PhRvL.109x0504G|s2cid=46340425 }}</ref> that can identify various features of the strength and type of errors affecting the elementary quantum gate operations. Randomized benchmarking protocols are an important means of verifying and validating quantum operations and are also routinely used for the optimization of quantum control procedures.<ref name="kelly2014optimal">{{cite journal|last1=Kelly |first1=Julian|last2=Barends|first2=R|last3=Campbell|first3=B|last4=Chen|first4=Y|last5=Chen|first5=Z|last6=Chiaro|first6=B |last7=Dunsworth|first7=A |last8=Fowler|first8=Austin G |last9=Hoi|first9=I-C |last10=Jeffrey|first10=E|year=2014 |title=Optimal quantum control using randomized benchmarking|journal=Physical Review Letters |volume=112 |issue=24 |article-number=240504 |doi=10.1103/PhysRevLett.112.240504|pmid=24996075|arxiv=1403.0035|bibcode=2014PhRvL.112x0504K |s2cid=26689539 }}</ref>

==Overview== Randomized benchmarking offers several key advantages over alternative approaches to error characterization. For example, the number of experimental procedures required for full characterization of errors (called tomography) grows exponentially with the number of quantum bits (called qubits). This makes tomographic methods impractical for even small systems of just 3 or 4 qubits. In contrast, randomized benchmarking protocols are the only known approaches to error characterization that scale efficiently as number of qubits in the system increases.<ref name="dankert2006exact" /> Thus RB can be applied in practice to characterize errors in arbitrarily large quantum processors. Additionally, in experimental quantum computing, procedures for state preparation and measurement (SPAM) are also error-prone, and thus quantum process tomography is unable to distinguish errors associated with gate operations from errors associated with SPAM. In contrast, RB protocols are robust to state-preparation and measurement errors <ref name="Emerson2005" /><ref name="Magesan2011" />

Randomized benchmarking protocols estimate key features of the errors that affect a set of quantum operations by examining how the observed fidelity of the final quantum state decreases as the length of the random sequence increases. If the set of operations satisfies certain mathematical properties,<ref name="Emerson2005" /><ref name="dankert2006exact" /><ref name="Magesan2011" /><ref name="Wallman2018GD">{{cite journal|last1=Wallman|first1=Joel|year=2018|title=Randomized benchmarking with gate-dependent noise|url=https://quantum-journal.org/papers/q-2018-01-29-47/pdf/?|journal=Quantum|volume=2|page=47|doi=10.22331/q-2018-01-29-47|arxiv=1703.09835 |bibcode=2018Quant...2...47W |doi-access=free}}</ref><ref name="Dugas2015" /><ref name="Dugas2018" /><ref name="Boone2018" /> such as comprising a sequence of twirls <ref name="Levi2007" /><ref name="Emerson2007">{{cite journal|last1=Emerson|first1=Joseph|last2=Silva|first2=Marcus|last3=Moussa|first3=Osama|last4=Ryan|first4=Colm A.|last5=Laforest|first5=Martin|last6=Baugh|first6=Jonathan|last7=Cory|first7=David|last8=Laflamme|first8=Raymond|year=2007|title=Symmetrized characterization of noisy quantum processes|journal=Science|volume=317|issue=1095–9203|pages=1893–6|arxiv=0707.0685|bibcode=2007Sci...317.1893E|doi=10.1126/science.1145699|pmid=17901327|s2cid=14645655 }}</ref> with unitary two-designs,<ref name="dankert2006exact" /> then the measured decay can be shown to be an invariant exponential with a rate fixed uniquely by features of the error model.

==History== Randomized benchmarking was proposed in ''Scalable noise estimation with random unitary operators'',<ref name="Emerson2005" /> where it was shown that long sequences of quantum gates sampled ''uniformly'' at random from the Haar measure on the group SU(''d'') would lead to an exponential decay at a rate that was uniquely fixed by the error model. Emerson, Alicki and Zyczkowski also showed, under the assumption of gate-independent errors, that the measured decay rate is directly related to an important figure of merit, the average gate fidelity and independent of the choice of initial state and any errors in the initial state, as well as the specific random sequences of quantum gates. This protocol applied for arbitrary dimension ''d ''and an arbitrary number ''n'' of qubits, where ''d''=2<sup>''n''</sup>. The SU(''d'') RB protocol had two important limitations that were overcome in a modified protocol proposed by Dankert ''et al.'',<ref name="dankert2006exact" /> who proposed sampling the gate operations uniformly at random from any unitary two-design, such as the Clifford group. They proved that this would produce the same exponential decay rate as the random SU(''d'') version of the protocol proposed in Emerson ''et al.''.<ref name="Emerson2005" /> This follows from the observation that a random sequence of gates is equivalent to an independent sequence of twirls under that group, as conjectured in <ref name="Emerson2005" /> and later proven in.<ref name="Levi2007" /> This Clifford-group approach to Randomized Benchmarking <ref name="Emerson2005" /><ref name="dankert2006exact" /> is the now standard method for assessing error rates in quantum computers. A variation of this protocol was proposed by NIST in 2008 <ref name="Knill" /> for the first experimental implementation of an RB-type for single qubit gates. However, the sampling of random gates in the NIST protocol was later proven not to reproduce any unitary two-design.<ref name="Boone2018" /> The NIST RB protocol was later shown to also produce an exponential fidelity decay, albeit with a rate that depends on non-invariant features of the error model <ref name="Boone2018" />

In recent years a rigorous theoretical framework has been developed for Clifford-group RB protocols to show that they work reliably under very broad experimental conditions. In 2011 and 2012, Magesan ''et al.''<ref name="Magesan2011" /><ref name="Magesan2012" /> proved that the exponential decay rate is fully robust to arbitrary state preparation and measurement errors (SPAM). They also proved a connection between the average gate fidelity and diamond norm metric of error that is relevant to the fault-tolerant threshold. They also provided evidence that the observed decay was exponential and related to the average gate fidelity even if the error model varied across the gate operations, so-called gate-dependent errors, which is the experimentally realistic situation. In 2018, Wallman <ref name="Wallman2018GD" /> and Dugas ''et al.'',<ref name="Dugas2018" /> showed that, despite concerns raised in,<ref name="Proctor2017">{{cite journal |last1=Proctor|first1=T.|last2=Rudinger|first2=K.|last3=Young|first3=K. |last4=Sarovar|first4=M. |last5=Blume-Kohout|first5=R.|year=2017|title=What Randomized Benchmarking Actually Measures|journal=Physical Review Letters|volume=119|issue=13|article-number=130502|doi= 10.1103/PhysRevLett.119.130502|pmid=29341688|bibcode=2017PhRvL.119m0502P|arxiv=1702.01853|s2cid=32869480 }}</ref> even under very strong gate-dependence errors the standard RB protocols produces an exponential decay at a rate that precisely measures the average gate-fidelity of the experimentally relevant errors. The results of Wallman.<ref name="Wallman2018GD" /> in particular proved that the RB error rate is so robust to gate-dependent errors models that it provides an extremely sensitive tool for detecting non-Markovian errors. This follows because under a standard RB experiment only non-Markovian errors (including time-dependent Markovian errors) can produce a statistically significant deviation from an exponential decay <ref name="Wallman2018GD" />

The standard RB protocol was first implemented for single qubit gate operations in 2012 at Yale on a superconducting qubit.<ref name="gambetta2012characterization">{{cite journal|last1=Gambetta |first1=Jay M|last2=Corcoles|first2=AD|last3=Merkel|first3=Seth T|last4=Johnson|first4=Blake R|last5=Smolin|first5=John A|last6=Chow|first6=Jerry M |last7=Ryan|first7=Colm |last8=Rigetti|first8=Chad |last9=Poletto|first9=S |last10=Ohki|first10=Thomas A|year=2012 |title=Characterization of addressability by simultaneous randomized benchmarking|journal=Physical Review Letters |volume=109 |issue=24 |article-number=240504 |doi=10.1103/PhysRevLett.109.240504|pmid=23368295|arxiv=1204.6308|bibcode=2012PhRvL.109x0504G |s2cid=46340425 }}</ref> A variation of this standard protocol that is only defined for single qubit operations was implemented by NIST in 2008 <ref name="Knill" /> on a trapped ion. The first implementation of the standard RB protocol for two-qubit gates was performed in 2012 at NIST for a system of two trapped ions <ref name="gaebler2012randomized">{{cite journal|last1=Gaebler |first1=John P|last2=Meier|first2=Adam M|last3=Tan|first3=Ting Rei|last4=Bowler|first4=Ryan|last5=Lin|first5=Yiheng |last6=Hanneke|first6=David |last7=Jost|first7=John D |last8=Home|first8=JP |last9=Knill|first9=Emanuel |last10=Leibfried|first10=Dietrich|year=2012 |title=Randomized benchmarking of multiqubit gates|journal=Physical Review Letters |volume=108 |issue=26 |article-number=260503 |doi=10.1103/PhysRevLett.108.260503|pmid=23004946|arxiv=1203.3733 |bibcode=2012PhRvL.108z0503G |doi-access=free}}</ref>

== References == {{reflist}} {{Quantum information}}

Category:Quantum computing Category:Computer hardware Category:Benchmarks (computing)