Showing 1–46 of 46 results for author: Proctor, T

Benchmarking quantum computers

Authors: Timothy Proctor, Kevin Young, Andrew D. Baczewski, Robin Blume-Kohout

Abstract: The rapid pace of development in quantum computing technology has sparked a proliferation of benchmarks for assessing the performance of quantum computing hardware and software. Good benchmarks empower scientists, engineers, programmers, and users to understand a computing system's power, but bad benchmarks can misdirect research and inhibit progress. In this Perspective, we survey the science of… ▽ More The rapid pace of development in quantum computing technology has sparked a proliferation of benchmarks for assessing the performance of quantum computing hardware and software. Good benchmarks empower scientists, engineers, programmers, and users to understand a computing system's power, but bad benchmarks can misdirect research and inhibit progress. In this Perspective, we survey the science of quantum computer benchmarking. We discuss the role of benchmarks and benchmarking, and how good benchmarks can drive and measure progress towards the long-term goal of useful quantum computations, i.e., "quantum utility". We explain how different kinds of benchmark quantify the performance of different parts of a quantum computer, we survey existing benchmarks, critically discuss recent trends in benchmarking, and highlight important open research questions in this field. △ Less

Submitted 11 July, 2024; originally announced July 2024.

Pauli Noise Learning for Mid-Circuit Measurements

Authors: Jordan Hines, Timothy Proctor

Abstract: Current benchmarks for mid-circuit measurements (MCMs) are limited in scalability or the types of error they can quantify, necessitating new techniques for quantifying their performance. Here, we introduce a theory for learning Pauli noise in MCMs and use it to create MCM cycle benchmarking, a scalable method for benchmarking MCMs. MCM cycle benchmarking extracts detailed information about the rat… ▽ More Current benchmarks for mid-circuit measurements (MCMs) are limited in scalability or the types of error they can quantify, necessitating new techniques for quantifying their performance. Here, we introduce a theory for learning Pauli noise in MCMs and use it to create MCM cycle benchmarking, a scalable method for benchmarking MCMs. MCM cycle benchmarking extracts detailed information about the rates of errors in randomly compiled layers of MCMs and Clifford gates, and we demonstrate how its results can be used to quantify correlated errors during MCMs on current quantum hardware. Our method can be integrated into existing Pauli noise learning techniques to scalably characterize and benchmark wide classes of circuits containing MCMs. △ Less

Submitted 13 June, 2024; originally announced June 2024.

Comments: 6+7 pages, 3+4 figures

What is my quantum computer good for? Quantum capability learning with physics-aware neural networks

Authors: Daniel Hothem, Ashe Miller, Timothy Proctor

Abstract: Quantum computers have the potential to revolutionize diverse fields, including quantum chemistry, materials science, and machine learning. However, contemporary quantum computers experience errors that often cause quantum programs run on them to fail. Until quantum computers can reliably execute large quantum programs, stakeholders will need fast and reliable methods for assessing a quantum compu… ▽ More Quantum computers have the potential to revolutionize diverse fields, including quantum chemistry, materials science, and machine learning. However, contemporary quantum computers experience errors that often cause quantum programs run on them to fail. Until quantum computers can reliably execute large quantum programs, stakeholders will need fast and reliable methods for assessing a quantum computer's capability-i.e., the programs it can run and how well it can run them. Previously, off-the-shelf neural network architectures have been used to model quantum computers' capabilities, but with limited success, because these networks fail to learn the complex quantum physics that determines real quantum computers' errors. We address this shortcoming with a new quantum-physics-aware neural network architecture for learning capability models. Our architecture combines aspects of graph neural networks with efficient approximations to the physics of errors in quantum programs. This approach achieves up to $\sim50\%$ reductions in mean absolute error on both experimental and simulated data, over state-of-the-art models based on convolutional neural networks. △ Less

Submitted 9 June, 2024; originally announced June 2024.

Comments: 16 pages, 4 figures, 4 tables

Scalable Full-Stack Benchmarks for Quantum Computers

Authors: Jordan Hines, Timothy Proctor

Abstract: Quantum processors are now able to run quantum circuits that are infeasible to simulate classically, creating a need for benchmarks that assess a quantum processor's rate of errors when running these circuits. Here, we introduce a general technique for creating efficient benchmarks from any set of quantum computations, specified by unitary circuits. Our benchmarks assess the integrated performance… ▽ More Quantum processors are now able to run quantum circuits that are infeasible to simulate classically, creating a need for benchmarks that assess a quantum processor's rate of errors when running these circuits. Here, we introduce a general technique for creating efficient benchmarks from any set of quantum computations, specified by unitary circuits. Our benchmarks assess the integrated performance of a quantum processor's classical compilation algorithms and its low-level quantum operations. Unlike existing "full-stack benchmarks", our benchmarks do not require classical simulations of quantum circuits, and they use only efficient classical computations. We use our method to create randomized circuit benchmarks, including a computationally efficient version of the quantum volume benchmark, and an algorithm-based benchmark that uses Hamiltonian simulation circuits. We perform these benchmarks on IBM Q devices and in simulations, and we compare their results to the results of existing benchmarking methods. △ Less

Submitted 21 December, 2023; originally announced December 2023.

Comments: 9 pages+appendices, 6+1 figures

A simple asymptotically optimal Clifford circuit compilation algorithm

Authors: Timothy Proctor, Kevin Young

Abstract: We present an algorithm that decomposes any $n$-qubit Clifford operator into a circuit consisting of three subcircuits containing only CNOT or CPHASE gates with layers of one-qubit gates before and after each of these subcircuits. As with other asymptotically optimal Clifford compilation algorithms, the resulting circuit contains $O(n^2/\log n)$ two-qubit gates. The derivation of our algorithm onl… ▽ More We present an algorithm that decomposes any $n$-qubit Clifford operator into a circuit consisting of three subcircuits containing only CNOT or CPHASE gates with layers of one-qubit gates before and after each of these subcircuits. As with other asymptotically optimal Clifford compilation algorithms, the resulting circuit contains $O(n^2/\log n)$ two-qubit gates. The derivation of our algorithm only requires the symplectic representation of Clifford gates, basic row and column matrix manipulations, and some known properties of general matrices over 0 and 1. △ Less

Submitted 16 October, 2023; originally announced October 2023.

Comments: 5 pages

Fully scalable randomized benchmarking without motion reversal

Authors: Jordan Hines, Daniel Hothem, Robin Blume-Kohout, Birgitta Whaley, Timothy Proctor

Abstract: We introduce binary randomized benchmarking (BiRB), a protocol that streamlines traditional RB by using circuits consisting almost entirely of i.i.d. layers of gates. BiRB reliably and efficiently extracts the average error rate of a Clifford gate set by sending tensor product eigenstates of random Pauli operators though random circuits with i.i.d. layers. Unlike existing RB methods, BiRB does not… ▽ More We introduce binary randomized benchmarking (BiRB), a protocol that streamlines traditional RB by using circuits consisting almost entirely of i.i.d. layers of gates. BiRB reliably and efficiently extracts the average error rate of a Clifford gate set by sending tensor product eigenstates of random Pauli operators though random circuits with i.i.d. layers. Unlike existing RB methods, BiRB does not use motion reversal circuits -- i.e., circuits that implement the identity (or a Pauli) operator -- which simplifies both the method and the theory proving its reliability. Furthermore, this simplicity enables scaling BiRB to many more qubits than the most widely-used RB methods. △ Less

Submitted 10 September, 2023; originally announced September 2023.

Comments: 9 pages + appendices, 5 figures

Predictive Models from Quantum Computer Benchmarks

Authors: Daniel Hothem, Jordan Hines, Karthik Nataraj, Robin Blume-Kohout, Timothy Proctor

Abstract: Holistic benchmarks for quantum computers are essential for testing and summarizing the performance of quantum hardware. However, holistic benchmarks -- such as algorithmic or randomized benchmarks -- typically do not predict a processor's performance on circuits outside the benchmark's necessarily very limited set of test circuits. In this paper, we introduce a general framework for building pred… ▽ More Holistic benchmarks for quantum computers are essential for testing and summarizing the performance of quantum hardware. However, holistic benchmarks -- such as algorithmic or randomized benchmarks -- typically do not predict a processor's performance on circuits outside the benchmark's necessarily very limited set of test circuits. In this paper, we introduce a general framework for building predictive models from benchmarking data using capability models. Capability models can be fit to many kinds of benchmarking data and used for a variety of predictive tasks. We demonstrate this flexibility with two case studies. In the first case study, we predict circuit (i) process fidelities and (ii) success probabilities by fitting error rates models to two kinds of volumetric benchmarking data. Error rates models are simple, yet versatile capability models which assign effective error rates to individual gates, or more general circuit components. In the second case study, we construct a capability model for predicting circuit success probabilities by applying transfer learning to ResNet50, a neural network trained for image classification. Our case studies use data from cloud-accessible quantum computers and simulations of noisy quantum computers. △ Less

Submitted 15 May, 2023; originally announced May 2023.

Learning a quantum computer's capability using convolutional neural networks

Authors: Daniel Hothem, Kevin Young, Tommie Catanach, Timothy Proctor

Abstract: The computational power of contemporary quantum processors is limited by hardware errors that cause computations to fail. In principle, each quantum processor's computational capabilities can be described with a capability function that quantifies how well a processor can run each possible quantum circuit (i.e., program), as a map from circuits to the processor's success rates on those circuits. H… ▽ More The computational power of contemporary quantum processors is limited by hardware errors that cause computations to fail. In principle, each quantum processor's computational capabilities can be described with a capability function that quantifies how well a processor can run each possible quantum circuit (i.e., program), as a map from circuits to the processor's success rates on those circuits. However, capability functions are typically unknown and challenging to model, as the particular errors afflicting a specific quantum processor are a priori unknown and difficult to completely characterize. In this work, we investigate using artificial neural networks to learn an approximation to a processor's capability function. We explore how to define the capability function, and we explain how data for training neural networks can be efficiently obtained for a capability function defined using process fidelity. We then investigate using convolutional neural networks to model a quantum computer's capability. Using simulations, we show that convolutional neural networks can accurately model a processor's capability when that processor experiences gate-dependent, time-dependent, and context-dependent stochastic errors. We then discuss some challenges to creating useful neural network capability models for experimental processors, such as generalizing beyond training distributions and modelling the effects of coherent errors. Lastly, we apply our neural networks to model the capabilities of cloud-access quantum computing systems, obtaining moderate prediction accuracy (average absolute error around 2-5%). △ Less

Submitted 20 April, 2023; originally announced April 2023.

Report number: SAND2023-02208O

A Theory of Direct Randomized Benchmarking

Authors: Anthony M. Polloreno, Arnaud Carignan-Dugas, Jordan Hines, Robin Blume-Kohout, Kevin Young, Timothy Proctor

Abstract: Randomized benchmarking (RB) protocols are widely used to measure an average error rate for a set of quantum logic gates. However, the standard version of RB is limited because it only benchmarks a processor's native gates indirectly, by using them in composite $n$-qubit Clifford gates. Standard RB's reliance on $n$-qubit Clifford gates restricts it to the few-qubit regime, because the fidelity of… ▽ More Randomized benchmarking (RB) protocols are widely used to measure an average error rate for a set of quantum logic gates. However, the standard version of RB is limited because it only benchmarks a processor's native gates indirectly, by using them in composite $n$-qubit Clifford gates. Standard RB's reliance on $n$-qubit Clifford gates restricts it to the few-qubit regime, because the fidelity of a typical composite $n$-qubit Clifford gate decreases rapidly with increasing $n$. Furthermore, although standard RB is often used to infer the error rate of native gates, by rescaling standard RB's error per Clifford to an error per native gate, this is an unreliable extrapolation. Direct RB is a method that addresses these limitations of standard RB, by directly benchmarking a customizable gate set, such as a processor's native gates. Here we provide a detailed introduction to direct RB, we discuss how to design direct RB experiments, and we present two complementary theories for direct RB. The first of these theories uses the concept of error propagation or scrambling in random circuits to show that direct RB is reliable for gates that experience stochastic Pauli errors. We prove that the direct RB decay is a single exponential, and that the decay rate is equal to the average infidelity of the benchmarked gates, under broad circumstances. This theory shows that group twirling is not required for reliable RB. Our second theory proves that direct RB is reliable for gates that experience general gate-dependent Markovian errors, using similar techniques to contemporary theories for standard RB. Our two theories for direct RB have complementary regimes of applicability, and they provide complementary perspectives on why direct RB works. Together these theories provide comprehensive guarantees on the reliability of direct RB. △ Less

Submitted 27 February, 2023; originally announced February 2023.

Benchmarking quantum logic operations relative to thresholds for fault tolerance

Authors: Akel Hashim, Stefan Seritan, Timothy Proctor, Kenneth Rudinger, Noah Goss, Ravi K. Naik, John Mark Kreikebaum, David I. Santiago, Irfan Siddiqi

Abstract: Contemporary methods for benchmarking noisy quantum processors typically measure average error rates or process infidelities. However, thresholds for fault-tolerant quantum error correction are given in terms of worst-case error rates -- defined via the diamond norm -- which can differ from average error rates by orders of magnitude. One method for resolving this discrepancy is to randomize the ph… ▽ More Contemporary methods for benchmarking noisy quantum processors typically measure average error rates or process infidelities. However, thresholds for fault-tolerant quantum error correction are given in terms of worst-case error rates -- defined via the diamond norm -- which can differ from average error rates by orders of magnitude. One method for resolving this discrepancy is to randomize the physical implementation of quantum gates, using techniques like randomized compiling (RC). In this work, we use gate set tomography to perform precision characterization of a set of two-qubit logic gates to study RC on a superconducting quantum processor. We find that, under RC, gate errors are accurately described by a stochastic Pauli noise model without coherent errors, and that spatially-correlated coherent errors and non-Markovian errors are strongly suppressed. We further show that the average and worst-case error rates are equal for randomly compiled gates, and measure a maximum worst-case error of 0.0197(3) for our gate set. Our results show that randomized benchmarks are a viable route to both verifying that a quantum processor's error rates are below a fault-tolerance threshold, and to bounding the failure rates of near-term algorithms, if -- and only if -- gates are implemented via randomization methods which tailor noise. △ Less

Submitted 1 December, 2023; v1 submitted 18 July, 2022; originally announced July 2022.

Demonstrating scalable randomized benchmarking of universal gate sets

Authors: Jordan Hines, Marie Lu, Ravi K. Naik, Akel Hashim, Jean-Loup Ville, Brad Mitchell, John Mark Kriekebaum, David I. Santiago, Stefan Seritan, Erik Nielsen, Robin Blume-Kohout, Kevin Young, Irfan Siddiqi, Birgitta Whaley, Timothy Proctor

Abstract: Randomized benchmarking (RB) protocols are the most widely used methods for assessing the performance of quantum gates. However, the existing RB methods either do not scale to many qubits or cannot benchmark a universal gate set. Here, we introduce and demonstrate a technique for scalable RB of many universal and continuously parameterized gate sets, using a class of circuits called randomized mir… ▽ More Randomized benchmarking (RB) protocols are the most widely used methods for assessing the performance of quantum gates. However, the existing RB methods either do not scale to many qubits or cannot benchmark a universal gate set. Here, we introduce and demonstrate a technique for scalable RB of many universal and continuously parameterized gate sets, using a class of circuits called randomized mirror circuits. Our technique can be applied to a gate set containing an entangling Clifford gate and the set of arbitrary single-qubit gates, as well as gate sets containing controlled rotations about the Pauli axes. We use our technique to benchmark universal gate sets on four qubits of the Advanced Quantum Testbed, including a gate set containing a controlled-S gate and its inverse, and we investigate how the observed error rate is impacted by the inclusion of non-Clifford gates. Finally, we demonstrate that our technique scales to many qubits with experiments on a 27-qubit IBM Q processor. We use our technique to quantify the impact of crosstalk on this 27-qubit device, and we find that it contributes approximately 2/3 of the total error per gate in random many-qubit circuit layers. △ Less

Submitted 10 October, 2023; v1 submitted 14 July, 2022; originally announced July 2022.

Comments: 15 pages + appendices. v2: Corrected error in Section IIIA step 3 + minor edits. v3: Added new theory results

Journal ref: Phys. Rev. X 13, 041030 (2023)

Establishing trust in quantum computations

Authors: Timothy Proctor, Stefan Seritan, Erik Nielsen, Kenneth Rudinger, Kevin Young, Robin Blume-Kohout, Mohan Sarovar

Abstract: Real-world quantum computers have grown sufficiently complex that they can no longer be simulated by classical supercomputers, but their computational power remains limited by errors. These errors corrupt the results of quantum algorithms, and it is no longer always feasible to use classical simulations to directly check the correctness of quantum computations. Without practical methods for quanti… ▽ More Real-world quantum computers have grown sufficiently complex that they can no longer be simulated by classical supercomputers, but their computational power remains limited by errors. These errors corrupt the results of quantum algorithms, and it is no longer always feasible to use classical simulations to directly check the correctness of quantum computations. Without practical methods for quantifying the accuracy with which a quantum algorithm has been executed, it is difficult to establish trust in the results of a quantum computation. Here we solve this problem, by introducing a simple and efficient technique for measuring the fidelity with which an as-built quantum computer can execute an algorithm. Our technique converts the algorithm's quantum circuits into a set of closely related circuits whose success rates can be efficiently measured. It enables measuring the fidelity of quantum algorithm executions both in the near-term, with algorithms run on hundreds or thousands of physical qubits, and into the future, with algorithms run on logical qubits protected by quantum error correction. △ Less

Submitted 15 April, 2022; originally announced April 2022.

Comments: 6 pages + Appendices. Comments welcome!

Quantum circuit debugging and sensitivity analysis via local inversions

Authors: Fernando A. Calderon-Vargas, Timothy Proctor, Kenneth Rudinger, Mohan Sarovar

Abstract: As the width and depth of quantum circuits implemented by state-of-the-art quantum processors rapidly increase, circuit analysis and assessment via classical simulation are becoming unfeasible. It is crucial, therefore, to develop new methods to identify significant error sources in large and complex quantum circuits. In this work, we present a technique that pinpoints the sections of a quantum ci… ▽ More As the width and depth of quantum circuits implemented by state-of-the-art quantum processors rapidly increase, circuit analysis and assessment via classical simulation are becoming unfeasible. It is crucial, therefore, to develop new methods to identify significant error sources in large and complex quantum circuits. In this work, we present a technique that pinpoints the sections of a quantum circuit that affect the circuit output the most and thus helps to identify the most significant sources of error. The technique requires no classical verification of the circuit output and is thus a scalable tool for debugging large quantum programs in the form of circuits. We demonstrate the practicality and efficacy of the proposed technique by applying it to example algorithmic circuits implemented on IBM quantum machines. △ Less

Submitted 6 February, 2023; v1 submitted 12 April, 2022; originally announced April 2022.

Comments: Version accepted in Quantum

Journal ref: Quantum 7, 921 (2023)

Quantum Circuit Transformations with a Multi-Level Intermediate Representation Compiler

Authors: Thien Nguyen, Dmitry Lyakh, Raphael C. Pooser, Travis S. Humble, Timothy Proctor, Mohan Sarovar

Abstract: Quantum computing promises remarkable approaches for processing information, but new tools are needed to compile program representations into the physical instructions required by a quantum computer. Here we present a novel adaptation of the multi-level intermediate representation (MLIR) integrated into a quantum compiler that may be used for checking program execution. We first present how MLIR e… ▽ More Quantum computing promises remarkable approaches for processing information, but new tools are needed to compile program representations into the physical instructions required by a quantum computer. Here we present a novel adaptation of the multi-level intermediate representation (MLIR) integrated into a quantum compiler that may be used for checking program execution. We first present how MLIR enables quantum circuit transformations for efficient execution on quantum computing devices and then give an example of compiler transformations based on so-called mirror circuits. We demonstrate that mirror circuits inserted during compilation may test hardware performance by assessing quantum circuit accuracy on several superconducting and ion trap hardware platforms. Our results validate MLIR as an efficient and effective method for collecting hardware-dependent diagnostics through automated transformations of quantum circuits. △ Less

Submitted 20 December, 2021; originally announced December 2021.

Comments: These methods are implemented and available for download at github.com/ORNL-QCI/qcor

Scalable randomized benchmarking of quantum computers using mirror circuits

Authors: Timothy Proctor, Stefan Seritan, Kenneth Rudinger, Erik Nielsen, Robin Blume-Kohout, Kevin Young

Abstract: The performance of quantum gates is often assessed using some form of randomized benchmarking. However, the existing methods become infeasible for more than approximately five qubits. Here we show how to use a simple and customizable class of circuits -- randomized mirror circuits -- to perform scalable, robust, and flexible randomized benchmarking of Clifford gates. We show that this technique ap… ▽ More The performance of quantum gates is often assessed using some form of randomized benchmarking. However, the existing methods become infeasible for more than approximately five qubits. Here we show how to use a simple and customizable class of circuits -- randomized mirror circuits -- to perform scalable, robust, and flexible randomized benchmarking of Clifford gates. We show that this technique approximately estimates the infidelity of an average many-qubit logic layer, and we use simulations of up to 225 qubits with physically realistic error rates in the range 0.1-1% to demonstrate its scalability. We then use up to 16 physical qubits of a cloud quantum computing platform to demonstrate that our technique can reveal and quantify crosstalk errors in many-qubit circuits. △ Less

Submitted 10 October, 2022; v1 submitted 18 December, 2021; originally announced December 2021.

Comments: small changes from v1; close to published version; 4 pages

Journal ref: Phys. Rev. Lett. 129, 150502 (2022)

Application-Oriented Performance Benchmarks for Quantum Computing

Authors: Thomas Lubinski, Sonika Johri, Paul Varosy, Jeremiah Coleman, Luning Zhao, Jason Necaise, Charles H. Baldwin, Karl Mayer, Timothy Proctor

Abstract: In this work we introduce an open source suite of quantum application-oriented performance benchmarks that is designed to measure the effectiveness of quantum computing hardware at executing quantum applications. These benchmarks probe a quantum computer's performance on various algorithms and small applications as the problem size is varied, by map** out the fidelity of the results as a functio… ▽ More In this work we introduce an open source suite of quantum application-oriented performance benchmarks that is designed to measure the effectiveness of quantum computing hardware at executing quantum applications. These benchmarks probe a quantum computer's performance on various algorithms and small applications as the problem size is varied, by map** out the fidelity of the results as a function of circuit width and depth using the framework of volumetric benchmarking. In addition to estimating the fidelity of results generated by quantum execution, the suite is designed to benchmark certain aspects of the execution pipeline in order to provide end-users with a practical measure of both the quality of and the time to solution. Our methodology is constructed to anticipate advances in quantum computing hardware that are likely to emerge in the next five years. This benchmarking suite is designed to be readily accessible to a broad audience of users and provides benchmarks that correspond to many well-known quantum computing algorithms. △ Less

Submitted 9 January, 2023; v1 submitted 6 October, 2021; originally announced October 2021.

Comments: 33 pages, 36 figures; Added to Section VI about Impact of Compiler Optimization Techniques; Updated 20230105 for clarity after review feedback

Precision tomography of a three-qubit donor quantum processor in silicon

Authors: Mateusz T. Mądzik, Serwan Asaad, Akram Youssry, Benjamin Joecker, Kenneth M. Rudinger, Erik Nielsen, Kevin C. Young, Timothy J. Proctor, Andrew D. Baczewski, Arne Laucht, Vivien Schmitt, Fay E. Hudson, Kohei M. Itoh, Alexander M. Jakob, Brett C. Johnson, David N. Jamieson, Andrew S. Dzurak, Christopher Ferrie, Robin Blume-Kohout, Andrea Morello

Abstract: Nuclear spins were among the first physical platforms to be considered for quantum information processing, because of their exceptional quantum coherence and atomic-scale footprint. However, their full potential for quantum computing has not yet been realized, due to the lack of methods to link nuclear qubits within a scalable device combined with multi-qubit operations with sufficient fidelity to… ▽ More Nuclear spins were among the first physical platforms to be considered for quantum information processing, because of their exceptional quantum coherence and atomic-scale footprint. However, their full potential for quantum computing has not yet been realized, due to the lack of methods to link nuclear qubits within a scalable device combined with multi-qubit operations with sufficient fidelity to sustain fault-tolerant quantum computation. Here we demonstrate universal quantum logic operations using a pair of ion-implanted 31P donor nuclei in a silicon nanoelectronic device. A nuclear two-qubit controlled-Z gate is obtained by imparting a geometric phase to a shared electron spin, and used to prepare entangled Bell states with fidelities up to 94.2(2.7)%. The quantum operations are precisely characterised using gate set tomography (GST), yielding one-qubit average gate fidelities up to 99.95(2)%, two-qubit average gate fidelity of 99.37(11)% and two-qubit preparation/measurement fidelities of 98.95(4)%. These three metrics indicate that nuclear spins in silicon are approaching the performance demanded in fault-tolerant quantum processors. We then demonstrate entanglement between the two nuclei and the shared electron by producing a Greenberger-Horne-Zeilinger three-qubit state with 92.5(1.0)% fidelity. Since electron spin qubits in semiconductors can be further coupled to other electrons or physically shuttled across different locations, these results establish a viable route for scalable quantum information processing using donor nuclear and electron spins. △ Less

Submitted 27 January, 2022; v1 submitted 6 June, 2021; originally announced June 2021.

Comments: 51 pages, including supplementary information. v3 reflects the final published version

Journal ref: Nature 601, 348 (2022)

Experimental Characterization of Crosstalk Errors with Simultaneous Gate Set Tomography

Authors: Kenneth Rudinger, Craig W. Hogle, Ravi K. Naik, Akel Hashim, Daniel Lobser, David I. Santiago, Matthew D. Grace, Erik Nielsen, Timothy Proctor, Stefan Seritan, Susan M. Clark, Robin Blume-Kohout, Irfan Siddiqi, Kevin C. Young

Abstract: Crosstalk is a leading source of failure in multiqubit quantum information processors. It can arise from a wide range of disparate physical phenomena, and can introduce subtle correlations in the errors experienced by a device. Several hardware characterization protocols are able to detect the presence of crosstalk, but few provide sufficient information to distinguish various crosstalk errors fro… ▽ More Crosstalk is a leading source of failure in multiqubit quantum information processors. It can arise from a wide range of disparate physical phenomena, and can introduce subtle correlations in the errors experienced by a device. Several hardware characterization protocols are able to detect the presence of crosstalk, but few provide sufficient information to distinguish various crosstalk errors from one another. In this article we describe how gate set tomography, a protocol for detailed characterization of quantum operations, can be used to identify and characterize crosstalk errors in quantum information processors. We demonstrate our methods on a two-qubit trapped-ion processor and a two-qubit subsystem of a superconducting transmon processor. △ Less

Submitted 17 March, 2021; originally announced March 2021.

Comments: 20 pages, 8 figures, 6 tables

Journal ref: PRX Quantum 2, 040338 (2021)

Characterizing mid-circuit measurements on a superconducting qubit using gate set tomography

Authors: Kenneth Rudinger, Guilhem J. Ribeill, Luke C. G. Govia, Matthew Ware, Erik Nielsen, Kevin Young, Thomas A. Ohki, Robin Blume-Kohout, Timothy Proctor

Abstract: Measurements that occur within the internal layers of a quantum circuit -- mid-circuit measurements -- are an important quantum computing primitive, most notably for quantum error correction. Mid-circuit measurements have both classical and quantum outputs, so they can be subject to error modes that do not exist for measurements that terminate quantum circuits. Here we show how to characterize mid… ▽ More Measurements that occur within the internal layers of a quantum circuit -- mid-circuit measurements -- are an important quantum computing primitive, most notably for quantum error correction. Mid-circuit measurements have both classical and quantum outputs, so they can be subject to error modes that do not exist for measurements that terminate quantum circuits. Here we show how to characterize mid-circuit measurements, modelled by quantum instruments, using a technique that we call quantum instrument linear gate set tomography (QILGST). We then apply this technique to characterize a dispersive measurement on a superconducting transmon qubit within a multiqubit system. By varying the delay time between the measurement pulse and subsequent gates, we explore the impact of residual cavity photon population on measurement error. QILGST can resolve different error modes and quantify the total error from a measurement; in our experiment, for delay times above 1000 ns we measured a total error rate (i.e., half diamond distance) of $ε_{\diamond} = 8.1 \pm 1.4 \%$, a readout fidelity of $97.0 \pm 0.3\%$, and output quantum state fidelities of $96.7 \pm 0.6\%$ and $93.7 \pm 0.7\%$ when measuring $0$ and $1$, respectively. △ Less

Submitted 4 March, 2021; originally announced March 2021.

Comments: 13 pages, 8 figures, 3 tables

Report number: SAND2021-2431 O

Efficient flexible characterization of quantum processors with nested error models

Authors: Erik Nielsen, Kenneth Rudinger, Timothy Proctor, Kevin Young, Robin Blume-Kohout

Abstract: We present a simple and powerful technique for finding a good error model for a quantum processor. The technique iteratively tests a nested sequence of models against data obtained from the processor, and keeps track of the best-fit model and its wildcard error (a quantification of the unmodeled error) at each step. Each best-fit model, along with a quantification of its unmodeled error, constitut… ▽ More We present a simple and powerful technique for finding a good error model for a quantum processor. The technique iteratively tests a nested sequence of models against data obtained from the processor, and keeps track of the best-fit model and its wildcard error (a quantification of the unmodeled error) at each step. Each best-fit model, along with a quantification of its unmodeled error, constitute a characterization of the processor. We explain how quantum processor models can be compared with experimental data and to each other. We demonstrate the technique by using it to characterize a simulated noisy 2-qubit processor. △ Less

Submitted 3 March, 2021; originally announced March 2021.

Comments: 10 pages, 4 figures

Report number: SAND2021-2289 O

A taxonomy of small Markovian errors

Authors: Robin Blume-Kohout, Marcus P. da Silva, Erik Nielsen, Timothy Proctor, Kenneth Rudinger, Mohan Sarovar, Kevin Young

Abstract: Errors in quantum logic gates are usually modeled by quantum process matrices (CPTP maps). But process matrices can be opaque, and unwieldy. We show how to transform a gate's process matrix into an error generator that represents the same information more usefully. We construct a basis of simple and physically intuitive elementary error generators, classify them, and show how to represent any gate… ▽ More Errors in quantum logic gates are usually modeled by quantum process matrices (CPTP maps). But process matrices can be opaque, and unwieldy. We show how to transform a gate's process matrix into an error generator that represents the same information more usefully. We construct a basis of simple and physically intuitive elementary error generators, classify them, and show how to represent any gate's error generator as a mixture of elementary error generators with various rates. Finally, we show how to build a large variety of reduced models for gate errors by combining elementary error generators and/or entire subsectors of generator space. We conclude with a few examples of reduced models, including one with just $9N^2$ parameters that describes almost all commonly predicted errors on an N-qubit processor. △ Less

Submitted 2 March, 2021; originally announced March 2021.

Comments: 18 pages, 12 figures, all the customized error models you could ever want

Report number: SAND2021-2404 O

Journal ref: PRX Quantum 3, 020335 (2022)

Wildcard error: Quantifying unmodeled errors in quantum processors

Authors: Robin Blume-Kohout, Kenneth Rudinger, Erik Nielsen, Timothy Proctor, Kevin Young

Abstract: Error models for quantum computing processors describe their deviation from ideal behavior and predict the consequences in applications. But those processors' experimental behavior -- the observed outcome statistics of quantum circuits -- are rarely consistent with error models, even in characterization experiments like randomized benchmarking (RB) or gate set tomography (GST), where the error mod… ▽ More Error models for quantum computing processors describe their deviation from ideal behavior and predict the consequences in applications. But those processors' experimental behavior -- the observed outcome statistics of quantum circuits -- are rarely consistent with error models, even in characterization experiments like randomized benchmarking (RB) or gate set tomography (GST), where the error model was specifically extracted from the data in question. We show how to resolve these inconsistencies, and quantify the rate of unmodeled errors, by augmenting error models with a parameterized wildcard error model. Adding wildcard error to an error model relaxes and weakens its predictions in a controlled way. The amount of wildcard error required to restore consistency with data quantifies how much unmodeled error was observed, in a way that facilitates direct comparison to standard gate error rates. Using both simulated and experimental data, we show how to use wildcard error to reconcile error models derived from RB and GST experiments with inconsistent data, to capture non-Markovianity, and to quantify all of a processor's observed error. △ Less

Submitted 22 December, 2020; originally announced December 2020.

Comments: 4.5 pages, 4 figures, one new idea

Measuring the Capabilities of Quantum Computers

Authors: Timothy Proctor, Kenneth Rudinger, Kevin Young, Erik Nielsen, Robin Blume-Kohout

Abstract: A quantum computer has now solved a specialized problem believed to be intractable for supercomputers, suggesting that quantum processors may soon outperform supercomputers on scientifically important problems. But flaws in each quantum processor limit its capability by causing errors in quantum programs, and it is currently difficult to predict what programs a particular processor can successfull… ▽ More A quantum computer has now solved a specialized problem believed to be intractable for supercomputers, suggesting that quantum processors may soon outperform supercomputers on scientifically important problems. But flaws in each quantum processor limit its capability by causing errors in quantum programs, and it is currently difficult to predict what programs a particular processor can successfully run. We introduce techniques that can efficiently test the capabilities of any programmable quantum computer, and we apply them to twelve processors. Our experiments show that current hardware suffers complex errors that cause structured programs to fail up to an order of magnitude earlier - as measured by program size - than disordered ones. As a result, standard error metrics inferred from random disordered program behavior do not accurately predict performance of useful programs. Our methods provide efficient, reliable, and scalable benchmarks that can be targeted to predict quantum computer performance on real-world problems. △ Less

Submitted 20 January, 2022; v1 submitted 25 August, 2020; originally announced August 2020.

Comments: 4 pages + appendices. Please see the published paper for the final version of this work. The version here does not contain changes implemented in the peer-review process. Data and code for this manuscript can be found at https://zenodo.org/record/5197499

Journal ref: Nature Physics 18,75-79 (2022)

Quantum sensing networks for the estimation of linear functions

Authors: Jesús Rubio, Paul A Knott, Timothy J Proctor, Jacob A Dunningham

Abstract: The theoretical framework for networked quantum sensing has been developed to a great extent in the past few years, but there are still a number of open questions. Among these, a problem of great significance, both fundamentally and for constructing efficient sensing networks, is that of the role of inter-sensor correlations in the simultaneous estimation of multiple linear functions, where the la… ▽ More The theoretical framework for networked quantum sensing has been developed to a great extent in the past few years, but there are still a number of open questions. Among these, a problem of great significance, both fundamentally and for constructing efficient sensing networks, is that of the role of inter-sensor correlations in the simultaneous estimation of multiple linear functions, where the latter are taken over a collection local parameters and can thus be seen as global properties. In this work we provide a solution to this when each node is a qubit and the state of the network is sensor-symmetric. First we derive a general expression linking the amount of inter-sensor correlations and the geometry of the vectors associated with the functions, such that the asymptotic error is optimal. Using this we show that if the vectors are clustered around two special subspaces, then the optimum is achieved when the correlation strength approaches its extreme values, while there is a monotonic transition between such extremes for any other geometry. Furthermore, we demonstrate that entanglement can be detrimental for estimating non-trivial global properties, and that sometimes it is in fact irrelevant. Finally, we perform a non-asymptotic analysis of these results using a Bayesian approach, finding that the amount of correlations needed to enhance the precision crucially depends on the number of measurement data. Our results will serve as a basis to investigate how to harness correlations in networks of quantum sensors operating both in and out of the asymptotic regime. △ Less

Submitted 19 May, 2020; v1 submitted 10 March, 2020; originally announced March 2020.

Comments: 31 pages, 5 figures, 1 table. Minor revision. It incorporates parts of the material in chapter 6 of arXiv:1912.02324

Probing quantum processor performance with pyGSTi

Authors: Erik Nielsen, Kenneth Rudinger, Timothy Proctor, Antonio Russo, Kevin Young, Robin Blume-Kohout

Abstract: PyGSTi is a Python software package for assessing and characterizing the performance of quantum computing processors. It can be used as a standalone application, or as a library, to perform a wide variety of quantum characterization, verification, and validation (QCVV) protocols on as-built quantum processors. We outline pyGSTi's structure, and what it can do, using multiple examples. We cover its… ▽ More PyGSTi is a Python software package for assessing and characterizing the performance of quantum computing processors. It can be used as a standalone application, or as a library, to perform a wide variety of quantum characterization, verification, and validation (QCVV) protocols on as-built quantum processors. We outline pyGSTi's structure, and what it can do, using multiple examples. We cover its main characterization protocols with end-to-end implementations. These include gate set tomography, randomized benchmarking on one or many qubits, and several specialized techniques. We also discuss and demonstrate how power users can customize pyGSTi and leverage its components to create specialized QCVV protocols and solve user-specific problems. △ Less

Submitted 27 February, 2020; originally announced February 2020.

Comments: 18 pages, 17 code listings, 2 figures

Journal ref: Quantum Science and Technology 5 044002 (2020)

Detecting crosstalk errors in quantum information processors

Authors: Mohan Sarovar, Timothy Proctor, Kenneth Rudinger, Kevin Young, Erik Nielsen, Robin Blume-Kohout

Abstract: Crosstalk occurs in most quantum computing systems with more than one qubit. It can cause a variety of correlated and nonlocal crosstalk errors that can be especially harmful to fault-tolerant quantum error correction, which generally relies on errors being local and relatively predictable. Mitigating crosstalk errors requires understanding, modeling, and detecting them. In this paper, we introduc… ▽ More Crosstalk occurs in most quantum computing systems with more than one qubit. It can cause a variety of correlated and nonlocal crosstalk errors that can be especially harmful to fault-tolerant quantum error correction, which generally relies on errors being local and relatively predictable. Mitigating crosstalk errors requires understanding, modeling, and detecting them. In this paper, we introduce a comprehensive framework for crosstalk errors and a protocol for detecting and localizing them. We give a rigorous definition of crosstalk errors that captures a wide range of disparate physical phenomena that have been called "crosstalk", and a concrete model for crosstalk-free quantum processors. Errors that violate this model are crosstalk errors. Next, we give an equivalent but purely operational (model-independent) definition of crosstalk errors. Using this definition, we construct a protocol for detecting a large class of crosstalk errors in a multi-qubit processor by finding conditional dependencies between observed experimental probabilities. It is highly efficient, in the sense that the number of unique experiments required scales at most cubically, and very often quadratically, with the number of qubits. We demonstrate the protocol using simulations of 2-qubit and 6-qubit processors. △ Less

Submitted 9 September, 2020; v1 submitted 26 August, 2019; originally announced August 2019.

Comments: v3 is the version accepted and published in Quantum

Journal ref: Quantum 4, 321 (2020)

Detecting and tracking drift in quantum information processors

Authors: Timothy Proctor, Melissa Revelle, Erik Nielsen, Kenneth Rudinger, Daniel Lobser, Peter Maunz, Robin Blume-Kohout, Kevin Young

Abstract: If quantum information processors are to fulfill their potential, the diverse errors that affect them must be understood and suppressed. But errors typically fluctuate over time, and the most widely used tools for characterizing them assume static error modes and rates. This mismatch can cause unheralded failures, misidentified error modes, and wasted experimental effort. Here, we demonstrate a sp… ▽ More If quantum information processors are to fulfill their potential, the diverse errors that affect them must be understood and suppressed. But errors typically fluctuate over time, and the most widely used tools for characterizing them assume static error modes and rates. This mismatch can cause unheralded failures, misidentified error modes, and wasted experimental effort. Here, we demonstrate a spectral analysis technique for resolving time dependence in quantum processors. Our method is fast, simple, and statistically sound. It can be applied to time-series data from any quantum processor experiment. We use data from simulations and trapped-ion qubit experiments to show how our method can resolve time dependence when applied to popular characterization protocols, including randomized benchmarking, gate set tomography, and Ramsey spectroscopy. In the experiments, we detect instability and localize its source, implement drift control techniques to compensate for this instability, and then demonstrate that the instability has been suppressed. △ Less

Submitted 9 November, 2020; v1 submitted 31 July, 2019; originally announced July 2019.

Comments: 7 pages + methods and appendices

Journal ref: Nature Communications 11, 5396 (2020)

Quantum information with general quantum variables: a formalism encompassing qubits, qudits, and quantum continuous variables

Authors: Timothy J Proctor

Abstract: This note presents a simple and unified formulation of the most fundamental structures used in quantum information with qubits, arbitrary dimension qudits, and quantum continuous variables. This \emph{general quantum variables} construction provides a succinct language for formulating many results in quantum computation and information so that they are applicable in all dimensions. The structures… ▽ More This note presents a simple and unified formulation of the most fundamental structures used in quantum information with qubits, arbitrary dimension qudits, and quantum continuous variables. This \emph{general quantum variables} construction provides a succinct language for formulating many results in quantum computation and information so that they are applicable in all dimensions. The structures included within this formalism include: a generalization to arbitrary dimension of the three Pauli operators, and the associated mutually unbiased bases; the Pauli and Clifford groups; many important quantum gates; standard sets of generators for the Clifford group; and simple universal gate sets. This formalism provides a convenient, intuitive and extensible language for easily generalizing results that were originally derived for a single type of system (often qubits or quantum continuous variables), and that rely on only those structures listed above, to apply in all dimensions. △ Less

Submitted 20 March, 2019; originally announced March 2019.

Comments: 5 pages + appendices

Probing context-dependent errors in quantum processors

Authors: Kenneth Rudinger, Timothy Proctor, Dylan Langharst, Mohan Sarovar, Kevin Young, Robin Blume-Kohout

Abstract: Gates in error-prone quantum information processors are often modeled using sets of one- and two-qubit process matrices, the standard model of quantum errors. However, the results of quantum circuits on real processors often depend on additional external "context" variables. Such contexts may include the state of a spectator qubit, the time of data collection, or the temperature of control electro… ▽ More Gates in error-prone quantum information processors are often modeled using sets of one- and two-qubit process matrices, the standard model of quantum errors. However, the results of quantum circuits on real processors often depend on additional external "context" variables. Such contexts may include the state of a spectator qubit, the time of data collection, or the temperature of control electronics. In this article we demonstrate a suite of simple, widely applicable, and statistically rigorous methods for detecting context dependence in quantum circuit experiments. They can be used on any data that comprise two or more "pools" of measurement results obtained by repeating the same set of quantum circuits in different contexts. These tools may be integrated seamlessly into standard quantum device characterization techniques, like randomized benchmarking or tomography. We experimentally demonstrate these methods by detecting and quantifying crosstalk and drift on the publicly accessible 16-qubit ibmqx3. △ Less

Submitted 12 October, 2018; originally announced October 2018.

Comments: 11 pages, 3 figures, code and data available in source files

Journal ref: Phys. Rev. X 9, 021045 (2019)

Direct randomized benchmarking for multi-qubit devices

Authors: Timothy J. Proctor, Arnaud Carignan-Dugas, Kenneth Rudinger, Erik Nielsen, Robin Blume-Kohout, Kevin Young

Abstract: Benchmarking methods that can be adapted to multi-qubit systems are essential for assessing the overall or "holistic" performance of nascent quantum processors. The current industry standard is Clifford randomized benchmarking (RB), which measures a single error rate that quantifies overall performance. But scaling Clifford RB to many qubits is surprisingly hard. It has only been performed on 1, 2… ▽ More Benchmarking methods that can be adapted to multi-qubit systems are essential for assessing the overall or "holistic" performance of nascent quantum processors. The current industry standard is Clifford randomized benchmarking (RB), which measures a single error rate that quantifies overall performance. But scaling Clifford RB to many qubits is surprisingly hard. It has only been performed on 1, 2, and 3 qubits as of this writing. This reflects a fundamental inefficiency in Clifford RB: the $n$-qubit Clifford gates at its core have to be compiled into large circuits over the 1- and 2-qubit gates native to a device. As $n$ grows, the quality of these Clifford gates quickly degrades, making Clifford RB impractical at relatively low $n$. In this Letter, we propose a direct RB protocol that mostly avoids compiling. Instead, it uses random circuits over the native gates in a device, seeded by an initial layer of Clifford-like randomization. We demonstrate this protocol experimentally on 2 -- 5 qubits, using the publicly available IBMQX5. We believe this to be the greatest number of qubits holistically benchmarked, and this was achieved on a freely available device without any special tuning up. Our protocol retains the simplicity and convenient properties of Clifford RB: it estimates an error rate from an exponential decay. But it can be extended to processors with more qubits -- we present simulations on 10+ qubits -- and it reports a more directly informative and flexible error rate than the one reported by Clifford RB. We show how to use this flexibility to measure separate error rates for distinct sets of gates, which includes tasks such as measuring an average CNOT error rate. △ Less

Submitted 29 July, 2019; v1 submitted 20 July, 2018; originally announced July 2018.

Comments: 5 pages + appendix. v2: minor updates to the text + data and analysis code included as ancillary files. v3: updates to references; close to published version

Journal ref: Phys. Rev. Lett. 123, 030503 (2019)

Multi-parameter estimation in networked quantum sensors

Authors: Timothy J. Proctor, Paul A. Knott, Jacob A. Dunningham

Abstract: We introduce a general model for a network of quantum sensors, and we use this model to consider the question: When can entanglement between the sensors, and/or global measurements, enhance the precision with which the network can measure a set of unknown parameters? We rigorously answer this question by presenting precise theorems proving that for a broad class of problems there is, at most, a ve… ▽ More We introduce a general model for a network of quantum sensors, and we use this model to consider the question: When can entanglement between the sensors, and/or global measurements, enhance the precision with which the network can measure a set of unknown parameters? We rigorously answer this question by presenting precise theorems proving that for a broad class of problems there is, at most, a very limited intrinsic advantage to using entangled states or global measurements. Moreover, for many estimation problems separable states and local measurements are optimal, and can achieve the ultimate quantum limit on the estimation uncertainty. This immediately implies that there are broad conditions under which simultaneous estimation of multiple parameters cannot outperform individual, independent estimations. Our results apply to any situation in which spatially localized sensors are unitarily encoded with independent parameters, such as when estimating multiple linear or non-linear optical phase shifts in quantum imaging, or when map** out the spatial profile of an unknown magnetic field. We conclude by showing that entangling the sensors can enhance the estimation precision when the parameters of interest are global properties of the entire network. △ Less

Submitted 4 December, 2017; v1 submitted 19 July, 2017; originally announced July 2017.

Comments: Accepted to Phys. Rev. Lett. Changes in v2: Examples added to demonstrate the practical relevance of our results; general minor improvements. This letter is an updated, improved, and succinct version of our unpublished pre-print ArXiv:1702.04271. That paper will be updated at a later date to be a detailed follow-on to this letter

Journal ref: Phys. Rev. Lett. 120, 080501 (2018)

Networked quantum sensing

Authors: T. J. Proctor, P. A. Knott, J. A. Dunningham

Abstract: We introduce a general model for a network of quantum sensors, and we use this model to consider the question: when do correlations (quantum or classical) between quantum sensors enhance the precision with which the network can measure an unknown set of parameters? We rigorously answer this question for a range of practically important problems. When each sensor in the network measures a single pa… ▽ More We introduce a general model for a network of quantum sensors, and we use this model to consider the question: when do correlations (quantum or classical) between quantum sensors enhance the precision with which the network can measure an unknown set of parameters? We rigorously answer this question for a range of practically important problems. When each sensor in the network measures a single parameter, we show that correlations between sensors cannot increase the estimation precision beyond what can be achieved with an uncorrelated scheme, regardless of the particular details of the estimation problem in question. We also consider the more general setting whereby each sensor may be used to measure multiple parameters, e.g., the three spatial components of a magnetic field. In this case, we show that correlations between sensors can only provide, at best, a small constant precision enhancement, over uncorrelated estimation techniques. Finally, we consider optimizing the network for measuring a single linear function of the unknown parameters, e.g., the average of all of the parameters. Here quantum correlations between the sensors can provide a significant precision enhancement over uncorrelated techniques, and this enhancement factor scales with the number of sensors. To illustrate the broad implications of this work, we apply our results to a wide range of estimation problems of practical interest, including multi-mode optical interferometry, networks of atomic sensors, and networks of clocks. Our findings shed light on a number of results in the literature, provide a rigorous general framework for future research on networked quantum sensors, and have implications for both quantum multi-parameter estimation theory, and quantum sensing technologies. △ Less

Submitted 14 February, 2017; originally announced February 2017.

What randomized benchmarking actually measures

Authors: Timothy Proctor, Kenneth Rudinger, Kevin Young, Mohan Sarovar, Robin Blume-Kohout

Abstract: Randomized benchmarking (RB) is widely used to measure an error rate of a set of quantum gates, by performing random circuits that would do nothing if the gates were perfect. In the limit of no finite-sampling error, the exponential decay rate of the observable survival probabilities, versus circuit length, yields a single error metric $r$. For Clifford gates with arbitrary small errors described… ▽ More Randomized benchmarking (RB) is widely used to measure an error rate of a set of quantum gates, by performing random circuits that would do nothing if the gates were perfect. In the limit of no finite-sampling error, the exponential decay rate of the observable survival probabilities, versus circuit length, yields a single error metric $r$. For Clifford gates with arbitrary small errors described by process matrices, $r$ was believed to reliably correspond to the mean, over all Cliffords, of the average gate infidelity (AGI) between the imperfect gates and their ideal counterparts. We show that this quantity is not a well-defined property of a physical gateset. It depends on the representations used for the imperfect and ideal gates, and the variant typically computed in the literature can differ from $r$ by orders of magnitude. We present new theories of the RB decay that are accurate for all small errors describable by process matrices, and show that the RB decay curve is a simple exponential for all such errors. These theories allow explicit computation of the error rate that RB measures ($r$), but as far as we can tell it does not correspond to the infidelity of a physically allowed (completely positive) representation of the imperfect gates. △ Less

Submitted 29 September, 2017; v1 submitted 6 February, 2017; originally announced February 2017.

Comments: v4: Minor updates; close to published version. v3: Major improvements in presentation and emphasis, including additional plots in Fig. 1. Technical results largely unchanged from v2, but a new paragraph has been added at the end discussing the related paper by Wallman [arXiv preprint arXiv:1703.09835] that was posted after v2. v2: Minor updates

Journal ref: Phys. Rev. Lett. 119, 130502 (2017)

Hybrid quantum computing with ancillas

Authors: Timothy J. Proctor, Viv Kendon

Abstract: In the quest to build a practical quantum computer, it is important to use efficient schemes for enacting the elementary quantum operations from which quantum computer programs are constructed. The opposing requirements of well-protected quantum data and fast quantum operations must be balanced to maintain the integrity of the quantum information throughout the computation. One important approach… ▽ More In the quest to build a practical quantum computer, it is important to use efficient schemes for enacting the elementary quantum operations from which quantum computer programs are constructed. The opposing requirements of well-protected quantum data and fast quantum operations must be balanced to maintain the integrity of the quantum information throughout the computation. One important approach to quantum operations is to use an extra quantum system - an ancilla - to interact with the quantum data register. Ancillas can mediate interactions between separated quantum registers, and by using fresh ancillas for each quantum operation, data integrity can be preserved for longer. This review provides an overview of the basic concepts of the gate model quantum computer architecture, including the different possible forms of information encodings - from base two up to continuous variables - and a more detailed description of how the main types of ancilla-mediated quantum operations provide efficient quantum gates. △ Less

Submitted 1 April, 2016; originally announced April 2016.

Comments: Review paper. An introduction to quantum computation with qudits and continuous variables, and a review of ancilla-based gate methods

Journal ref: Contemporary Physics, 1-18, Taylor & Francis, (2016)

Local versus Global Strategies in Multi-parameter Estimation

Authors: P. A. Knott, T. J. Proctor, A. J. Hayes, J. F. Ralph, P. Kok, J. A. Dunningham

Abstract: We consider the problem of estimating multiple phases using a multi-mode interferometer. In this setting we show that while global strategies with multi-mode entanglement can lead to high precision gains, the same precision enhancements can be obtained with mode-separable states and local measurements. The crucial resource for quantum enhancement is shown to be a large number variance in the probe… ▽ More We consider the problem of estimating multiple phases using a multi-mode interferometer. In this setting we show that while global strategies with multi-mode entanglement can lead to high precision gains, the same precision enhancements can be obtained with mode-separable states and local measurements. The crucial resource for quantum enhancement is shown to be a large number variance in the probe state, which can be obtained without any entanglement between the modes. This has important practical implications because local strategies using separable states have many advantages over global schemes using multi-mode-entangled states. Such advantages include a robustness to local estimation failure, more flexibility in the distribution of resources, and comparatively easier state preparation. We obtain our results by analyzing two different schemes: the first uses a set of interferometers, which can be used as a model for a network of quantum sensors, and the second looks at measuring a number of phases relative to a reference, which is concerned primarily with quantum imaging. △ Less

Submitted 22 January, 2016; originally announced January 2016.

Comments: 6 pages

Journal ref: Phys. Rev. A 94, 062312 (2016)

Low depth measurement-based quantum computation beyond two-level systems

Authors: Timothy J. Proctor

Abstract: Low depth measurement-based quantum computation with qudits ($d$-level systems) is investigated and a precise relationship between this powerful model and qudit quantum circuits is derived in terms of computational depth and size complexity. To facilitate this investigation a qudit `unbounded fan-out' circuit model, in which a qudit may be quantum-copied into an arbitrary number of ancillas in a s… ▽ More Low depth measurement-based quantum computation with qudits ($d$-level systems) is investigated and a precise relationship between this powerful model and qudit quantum circuits is derived in terms of computational depth and size complexity. To facilitate this investigation a qudit `unbounded fan-out' circuit model, in which a qudit may be quantum-copied into an arbitrary number of ancillas in a single time-step, is introduced and shown to be capable of implementing interesting $n$-qudit unitaries in constant depth. A procedure for reducing the quantum computational depth in the measurement-based model is then proposed and using this it is then shown that there is a logarithmic depth separation between the depth complexity of qudit measurement-based computation and circuits composed of gates act on a bounded number of qudits. The relationship is made precise by showing that the depth complexity of the qudit measurement-based model is exactly equivalent to that of unbounded fan-out circuits. These results illustrate that the well-known advantages inherent in qubit measurement-based quantum computation are also applicable to the higher-dimensional generalisation. As qudits are both naturally available and have been shown to provide fundamental advantages over binary logic encodings, this then suggests that the qudit measurement-based model is a particularly appealing paradigm for universal quantum computation. △ Less

Submitted 21 October, 2015; originally announced October 2015.

Ancilla-driven quantum computation for qudits and continuous variables

Authors: Timothy Proctor, Melissa Giulian, Natalia Korolkova, Erika Andersson, Viv Kendon

Abstract: Although qubits are the leading candidate for the basic elements in a quantum computer, there are also a range of reasons to consider using higher dimensional qudits or quantum continuous variables (QCVs). In this paper we use a general `quantum variable' formalism to propose a method of quantum computation in which ancillas are used to mediate gates on a well-isolated `quantum memory' register an… ▽ More Although qubits are the leading candidate for the basic elements in a quantum computer, there are also a range of reasons to consider using higher dimensional qudits or quantum continuous variables (QCVs). In this paper we use a general `quantum variable' formalism to propose a method of quantum computation in which ancillas are used to mediate gates on a well-isolated `quantum memory' register and which may be applied to the setting of qubits, qudits (for $d>2$) or QCVs. More specifically, we present a model in which universal quantum computation may be implemented on a register using only: repeated applications of a single fixed two-body ancilla-register interaction gate, ancillas prepared in a single state, and local measurements of these ancillas. In order to maintain determinism in the computation, adaptive measurements via a classical-feedforward of measurement outcomes are used, with the method similar to that in measurement-based quantum computation (MBQC). We show that our model has the same hybrid quantum-classical processing advantages as MBQC, including the power to implement any Clifford circuit in essentially one layer of quantum computation. In some physical settings, high-quality measurements of the ancillas may be highly challenging or not possible, and hence we also present a globally unitary model which replaces the need for measurements of the ancillas with the requirement for ancillas to be prepared in states from a fixed orthonormal basis. Finally, we discuss settings in which these models may be of practical interest. △ Less

Submitted 10 May, 2017; v1 submitted 21 October, 2015; originally announced October 2015.

Comments: Final version. Minor updates from v2

Journal ref: Phys. Rev. A 95, 052317 (2017)

Practical quantum metrology with large precision gains in the low photon number regime

Authors: P. A. Knott, T. J. Proctor, A. J. Hayes, J. P. Cooling, J. A. Dunningham

Abstract: Quantum metrology exploits quantum correlations to make precise measurements with limited particle numbers. By utilizing inter- and intra- mode correlations in an optical interferometer, we find a state that combines entanglement and squeezing to give a 7-fold enhancement in the quantum Fisher information (QFI) -- a metric related to the precision -- over the shot noise limit, for low photon numbe… ▽ More Quantum metrology exploits quantum correlations to make precise measurements with limited particle numbers. By utilizing inter- and intra- mode correlations in an optical interferometer, we find a state that combines entanglement and squeezing to give a 7-fold enhancement in the quantum Fisher information (QFI) -- a metric related to the precision -- over the shot noise limit, for low photon numbers. Motivated by practicality we then look at the squeezed cat-state, which has recently been made experimentally, and shows further precision gains over the shot noise limit and a 3-fold improvement in the QFI over the optimal Gaussian state. We present a conceptually simple measurement scheme that saturates the QFI, and we demonstrate a robustness to loss for small photon numbers. The squeezed cat-state can therefore give a significant precision enhancement in optical quantum metrology in practical and realistic conditions. △ Less

Submitted 20 April, 2016; v1 submitted 15 May, 2015; originally announced May 2015.

Comments: 9 pages, 4 figures

Journal ref: Phys. Rev. A 93, 033859 (2016)

Generating non-classical states from spin coherent states via interaction with ancillary spins

Authors: Shane Dooley, Jaewoo Joo, Timothy Proctor, Timothy Spiller

Abstract: The generation of non-classical states of large quantum systems has attracted much interest from a foundational perspective, but also because of the significant potential of such states in emerging quantum technologies. In this paper we consider the possibility of generating non-classical states of a system of spins by interaction with an ancillary system, starting from an easily prepared initial… ▽ More The generation of non-classical states of large quantum systems has attracted much interest from a foundational perspective, but also because of the significant potential of such states in emerging quantum technologies. In this paper we consider the possibility of generating non-classical states of a system of spins by interaction with an ancillary system, starting from an easily prepared initial state . We extend previous results for an ancillary system comprising a single spin to bigger ancillary systems and the interaction strength is enhanced by a factor of the number of ancillary spins. Depending on initial conditions, we find -- by a combination of approximation and numerics -- that the system of spins can evolve to spin cat states, spin squeezed states or to multiple cat states. We also discuss some candidate systems for implementation of the Hamiltonian necessary to generate these non-classical states. △ Less

Submitted 23 June, 2014; originally announced June 2014.

Journal ref: Optics Communications 337, 71 (2015)

Multi-mode Entanglement is Detrimental to Lossy Optical Quantum Metrology

Authors: P. A. Knott, T. J. Proctor, Kae Nemoto, J. A. Dunningham, W. J. Munro

Abstract: In optical interferometry multi-mode entanglement is often assumed to be the driving force behind quantum enhanced measurements. Recent work has shown this assumption to be false: single mode quantum states perform just as well as their multi-mode entangled counterparts. We go beyond this to show that when photon losses occur - an inevitability in any realistic system - multi-mode entanglement is… ▽ More In optical interferometry multi-mode entanglement is often assumed to be the driving force behind quantum enhanced measurements. Recent work has shown this assumption to be false: single mode quantum states perform just as well as their multi-mode entangled counterparts. We go beyond this to show that when photon losses occur - an inevitability in any realistic system - multi-mode entanglement is actually detrimental to obtaining quantum enhanced measurements. We specifically apply this idea to a superposition of coherent states, demonstrating that these states show a robustness to loss that allows them to significantly outperform their competitors in realistic systems. A practically viable measurement scheme is then presented that allows measurements close to the theoretical bound, even with loss. These results promote a new way of approaching optical quantum metrology using single-mode states that we expect to have great implications for the future. △ Less

Submitted 14 April, 2015; v1 submitted 28 May, 2014; originally announced May 2014.

Comments: 5 pages

Journal ref: Phys. Rev. A 90, 033846 (2014)

Minimal ancilla mediated quantum computation

Authors: Timothy J. Proctor, Viv Kendon

Abstract: Schemes of universal quantum computation in which the interactions between the computational elements, in a computational register, are mediated by some ancillary system are of interest due to their relevance to the physical implementation of a quantum computer. Furthermore, reducing the level of control required over both the ancillary and register systems has the potential to simplify any experi… ▽ More Schemes of universal quantum computation in which the interactions between the computational elements, in a computational register, are mediated by some ancillary system are of interest due to their relevance to the physical implementation of a quantum computer. Furthermore, reducing the level of control required over both the ancillary and register systems has the potential to simplify any experimental implementation. In this paper we consider how to minimise the control needed to implement universal quantum computation in an ancilla-mediated fashion. Considering computational schemes which require no measurements and hence evolve by unitary dynamics for the global system, we show that when employing an ancilla qubit there are certain fixed-time ancilla-register interactions which, along with ancilla initialisation in the computational basis, are universal for quantum computation with no additional control of either the ancilla or the register. We develop two distinct models based on locally inequivalent interactions and we then discuss the relationship between these unitary models and the measurement-based ancilla-mediated models known as ancilla-driven quantum computation. △ Less

Submitted 10 September, 2014; v1 submitted 9 April, 2014; originally announced April 2014.

Comments: Content identical to published version. (12 pages, 3 figures)

Journal ref: EPJ Quantum Technology 2014 1:13

Quantum computation mediated by ancillary qudits and spin coherent states

Authors: Timothy J. Proctor, Shane Dooley, Viv Kendon

Abstract: Models of universal quantum computation in which the required interactions between register (computational) qubits are mediated by some ancillary system are highly relevant to experimental realisations of a quantum computer. We introduce such a universal model that employs a $d$-dimensional ancillary qudit. The ancilla-register interactions take the form of controlled displacements operators, with… ▽ More Models of universal quantum computation in which the required interactions between register (computational) qubits are mediated by some ancillary system are highly relevant to experimental realisations of a quantum computer. We introduce such a universal model that employs a $d$-dimensional ancillary qudit. The ancilla-register interactions take the form of controlled displacements operators, with a displacement operator defined on the periodic and discrete lattice phase space of a qudit. We show that these interactions can implement controlled phase gates on the register by utilising geometric phases that are created when closed loops are traversed in this phase space. The extra degrees of freedom of the ancilla can be harnessed to reduce the number of operations required for certain gate sequences. In particular, we see that the computational advantages of the quantum bus (qubus) architecture, which employs a field-mode ancilla, are also applicable to this model. We then explore an alternative ancilla-mediated model which employs a spin-ensemble as the ancillary system and again the interactions with the register qubits are via controlled displacement operators, with a displacement operator defined on the Bloch sphere phase space of the spin coherent states of the ensemble. We discuss the computational advantages of this model and its relationship with the qubus architecture. △ Less

Submitted 9 December, 2014; v1 submitted 26 February, 2014; originally announced February 2014.

Comments: Minor typos and errors corrected

Journal ref: Phys. Rev. A 91, 012308 (2015)

Universal quantum computation by the unitary control of ancilla qubits and using a fixed ancilla-register interaction

Authors: Timothy J. Proctor, Erika Andersson, Viv Kendon

Abstract: We characterise a model of universal quantum computation where the register (computational) qubits are controlled by ancillary qubits, using only a single fixed interaction between register and ancillary qubits. No additional access is required to the computational register and the dynamics of both the register and ancilla are unitary. This scheme is inspired by the measurement-based ancilla-drive… ▽ More We characterise a model of universal quantum computation where the register (computational) qubits are controlled by ancillary qubits, using only a single fixed interaction between register and ancillary qubits. No additional access is required to the computational register and the dynamics of both the register and ancilla are unitary. This scheme is inspired by the measurement-based ancilla-driven quantum computation of Anders et al. [PRA 82, 020301(R), 2010], but does not require measurements of the ancillas, and in this respect is similar to the original gate based model of quantum computation. We consider what possible forms this ancilla-register interaction can take, with a proof that the interaction is necessarily locally equivalent to SWAP combined with an entangling controlled gate. We further show which Hamiltonians can create such interactions and discuss two examples; the two-qubit XY Hamiltonian and a particular case of the XXZ Hamiltonian. We then give an example of a simple, finite and fault tolerant gate set for universal quantum computation in this model. △ Less

Submitted 24 October, 2013; v1 submitted 23 July, 2013; originally announced July 2013.

Comments: 10 pages, Published version

Journal ref: Phys. Rev. A 88, 042330 (2013)

Nonreversal and nonrepeating quantum walks

Authors: T. J. Proctor, K. E. Barr, B. Hanson, S. Martiel, V. Pavlovic, A. Bullivant, V. M. Kendon

Abstract: We introduce a variation of the discrete time quantum walk, the nonreversal quantum walk, which does not step back onto a position which it has just occupied. This allows us to simulate a dimer and we achieve it by introducing a new type of coin operator. The nonrepeating walk, which never moves in the same direction in consecutive time steps, arises by a permutation of this coin operator. We desc… ▽ More We introduce a variation of the discrete time quantum walk, the nonreversal quantum walk, which does not step back onto a position which it has just occupied. This allows us to simulate a dimer and we achieve it by introducing a new type of coin operator. The nonrepeating walk, which never moves in the same direction in consecutive time steps, arises by a permutation of this coin operator. We describe the basic properties of both walks and prove that the even-order joint moments of the nonrepeating walker are independent of the initial condition, being determined by five parameters derived from the coin instead. Numerical evidence suggests that the same is the case for the nonreversal walk. This contrasts strongly with previously studied coins, such as the Grover operator, where the initial condition can be used to control the standard deviation of the walker. △ Less

Submitted 26 June, 2014; v1 submitted 8 March, 2013; originally announced March 2013.

Comments: v4: 8 pages 4 figures. Published version

Journal ref: Phys. Rev. A 89, 042332 (2014)

Low error measurement-free phase gates for qubus computation

Authors: T. J. Proctor, T. P. Spiller

Abstract: We discuss the desired criteria for a two-qubit phase gate and present a method for realising such a gate for quantum computation that is measurement-free and low error. The gate is implemented between qubits via an intermediate bus mode. We take a coherent state as the bus and use cross-Kerr type interactions between the bus and the qubits. This new method is robust against parameter variations a… ▽ More We discuss the desired criteria for a two-qubit phase gate and present a method for realising such a gate for quantum computation that is measurement-free and low error. The gate is implemented between qubits via an intermediate bus mode. We take a coherent state as the bus and use cross-Kerr type interactions between the bus and the qubits. This new method is robust against parameter variations and is thus low error. It fundamentally improves on previous methods due its deterministic nature and the lack of approximations used in the geometry of the phase rotations. This interaction is applicable both to solid state and photonic qubit systems. △ Less

Submitted 1 March, 2013; v1 submitted 26 August, 2012; originally announced August 2012.

Comments: 6 pages, 4 figures. Published version

Journal ref: Phys. Rev. A 86, 062304 (2012)

Periodicity and perfect state transfer in quantum walks on variants of cycles

Authors: K. Barr, T. Proctor, D. Allen, V. Kendon

Abstract: We systematically investigated perfect state transfer between antipodal nodes of discrete time quantum walks on variants of the cycles C_4, C_6 and C_8 for three choices of coin operator. Perfect state transfer was found, in general, to be very rare, only being preserved for a very small number of ways of modifying the cycles. We observed that some of our useful modifications of C_4 could be gener… ▽ More We systematically investigated perfect state transfer between antipodal nodes of discrete time quantum walks on variants of the cycles C_4, C_6 and C_8 for three choices of coin operator. Perfect state transfer was found, in general, to be very rare, only being preserved for a very small number of ways of modifying the cycles. We observed that some of our useful modifications of C_4 could be generalised to an arbitrary number of nodes, and present three families of graphs which admit quantum walks with interesting dynamics either in the continuous time walk, or in the discrete time walk for appropriate selections of coin and initial conditions. These dynamics are either periodicity, perfect state transfer, or very high fidelity state transfer. These families are modifications of families known not to exhibit periodicity or perfect state transfer in general. The robustness of the dynamics is tested by varying the initial state, interpolating between structures and by adding decoherence. △ Less

Submitted 26 February, 2013; v1 submitted 26 April, 2012; originally announced April 2012.

Comments: v3, 27 pages. Substantial revisions with new material added. References fixed

Journal ref: Quantum Information & Computation (Rinton Press) Vol. 14, No. 5&6, pp 417-438 2014