-
Enhancing Decoding Performance using Efficient Error Learning
Authors:
Pavithran Iyer,
Aditya Jain,
Stephen D. Bartlett,
Joseph Emerson
Abstract:
Lowering the resource overhead needed to achieve fault-tolerant quantum computation is crucial to building scalable quantum computers. We show that adapting conventional maximum likelihood (ML) decoders to a small subset of efficiently learnable physical error characteristics can significantly improve the logical performance of a quantum error-correcting code. Specifically, we leverage error infor…
▽ More
Lowering the resource overhead needed to achieve fault-tolerant quantum computation is crucial to building scalable quantum computers. We show that adapting conventional maximum likelihood (ML) decoders to a small subset of efficiently learnable physical error characteristics can significantly improve the logical performance of a quantum error-correcting code. Specifically, we leverage error information obtained from efficient characterization methods based on Cycle Error Reconstruction (CER), which yields Pauli error rates on the $n$ qubits of an error-correcting code. Although the total number of Pauli error rates needed to describe a general noise process is exponentially large in $n$, we show that only a few of the largest few Pauli error rates are needed and that a heuristic technique can complete the Pauli error distribution for ML decoding from this restricted dataset. Using these techniques, we demonstrate significant performance improvements for decoding quantum codes under a variety of physically relevant error models. For instance, with CER data that constitute merely $1\%$ of the Pauli error rates in the system, we achieve a $10X$ gain in performance compared to the case where decoding is based solely on the fidelity of the underlying noise process. Our conclusions underscore the promise of recent error characterization methods for improving quantum error correction and lowering overheads.
△ Less
Submitted 11 July, 2025;
originally announced July 2025.
-
Characterizing physical and logical errors in a transversal CNOT via cycle error reconstruction
Authors:
Nicholas Fazio,
Robert Freund,
Debankan Sannamoth,
Alex Steiner,
Christian D. Marciniak,
Manuel Rispler,
Robin Harper,
Thomas Monz,
Joseph Emerson,
Stephen D. Bartlett
Abstract:
The development of prototype quantum information processors has progressed to a stage where small instances of logical qubit systems perform better than the best of their physical constituents. Advancing towards fault-tolerant quantum computing will require an understanding of the underlying error mechanisms in logical primitives as they relate to the performance of quantum error correction. In th…
▽ More
The development of prototype quantum information processors has progressed to a stage where small instances of logical qubit systems perform better than the best of their physical constituents. Advancing towards fault-tolerant quantum computing will require an understanding of the underlying error mechanisms in logical primitives as they relate to the performance of quantum error correction. In this work we demonstrate the novel capability to characterize the physical error properties relevant to fault-tolerant operations via cycle error reconstruction. We illustrate this diagnostic capability for a transversal CNOT, a prototypical component of quantum logical operations, in a 16-qubit register of a trapped-ion quantum computer. Our error characterization technique offers three key capabilities: (i) identifying context-dependent physical layer errors, enabling their mitigation; (ii) contextualizing component gates in the environment of logical operators, validating the performance differences in terms of characterized component-level physics, and (iii) providing a scalable method for predicting quantum error correction performance using pertinent error terms, differentiating correctable versus uncorrectable physical layer errors. The methods with which our results are obtained have scalable resource requirements that can be extended with moderate overhead to capture overall logical performance in increasingly large and complex systems.
△ Less
Submitted 16 April, 2025;
originally announced April 2025.
-
Characterising the failure mechanisms of error-corrected quantum logic gates
Authors:
Robin Harper,
Constance Lainé,
Evan Hockings,
Campbell McLauchlan,
Georgia M. Nixon,
Benjamin J. Brown,
Stephen D. Bartlett
Abstract:
Mid-circuit measurements used in quantum error correction are essential in quantum computer architecture, as they read out syndrome data and drive logic gates. Here, we use a heavy-hex code prepared on a superconducting qubit array to investigate how different noise sources impact error-corrected logic. First, we identify that idling errors occurring during readout periods are highly detrimental t…
▽ More
Mid-circuit measurements used in quantum error correction are essential in quantum computer architecture, as they read out syndrome data and drive logic gates. Here, we use a heavy-hex code prepared on a superconducting qubit array to investigate how different noise sources impact error-corrected logic. First, we identify that idling errors occurring during readout periods are highly detrimental to a quantum memory. We demonstrate significant improvements to the memory by designing and implementing a low-depth syndrome extraction circuit. Second, we perform a stability experiment to investigate the type of failures that can occur during logic gates due to readout assignment errors. We find that the error rate of the stability experiment improves with additional stabilizer readout cycles, revealing a trade-off as additional stability comes at the expense of time over which the memory can decay. We corroborate our results using holistic device benchmarking and by comparison to numerical simulations. Finally, by varying different parameters in our simulations we identify the key noise sources that impact the fidelity of fault-tolerant logic gates, with measurement noise playing a dominant role in logical gate performance.
△ Less
Submitted 9 April, 2025;
originally announced April 2025.
-
How contextuality and antidistinguishability are related
Authors:
Maiyuren Srikumar,
Stephen D. Bartlett,
Angela Karanjai
Abstract:
Contextuality is a key characteristic that separates quantum from classical phenomena and an important tool in understanding the potential advantage of quantum computation. However, when assessing the quantum resources available for quantum information processing, there is no formalism to determine whether a set of states can exhibit contextuality and whether such proofs of contextuality indicate…
▽ More
Contextuality is a key characteristic that separates quantum from classical phenomena and an important tool in understanding the potential advantage of quantum computation. However, when assessing the quantum resources available for quantum information processing, there is no formalism to determine whether a set of states can exhibit contextuality and whether such proofs of contextuality indicate anything about the resourcefulness of that set. Introducing a well-motivated notion of what it means for a set of states to be contextual, we establish a relationship between contextuality and antidistinguishability of sets of states. We go beyond the traditional notions of contextuality and antidistinguishability and treat both properties as resources, demonstrating that the degree of contextuality within a set of states has a direct connection to its level of antidistinguishability. If a set of states is contextual, then it must be weakly antidistinguishable and vice-versa. However, maximal contextuality emerges as a stronger property than traditional antidistinguishability.
△ Less
Submitted 14 November, 2024;
originally announced November 2024.
-
Thresholds for post-selected quantum error correction from statistical mechanics
Authors:
Lucas H. English,
Dominic J. Williamson,
Stephen D. Bartlett
Abstract:
We identify regimes where post-selection can be used scalably in quantum error correction (QEC) to improve performance. We use statistical mechanical models to analytically quantify the performance and thresholds of post-selected QEC, with a focus on the surface code. Based on the non-equilibrium magnetization of these models, we identify a simple heuristic technique for post-selection that does n…
▽ More
We identify regimes where post-selection can be used scalably in quantum error correction (QEC) to improve performance. We use statistical mechanical models to analytically quantify the performance and thresholds of post-selected QEC, with a focus on the surface code. Based on the non-equilibrium magnetization of these models, we identify a simple heuristic technique for post-selection that does not require a decoder. Along with performance gains, this heuristic allows us to derive analytic expressions for post-selected conditional logical thresholds and abort thresholds of surface codes. We find that such post-selected QEC is characterised by four distinct thermodynamic phases, and detail the implications of this phase space for practical, scalable quantum computation.
△ Less
Submitted 28 October, 2024; v1 submitted 10 October, 2024;
originally announced October 2024.
-
Low-overhead magic state distillation with color codes
Authors:
Seok-Hyung Lee,
Felix Thomsen,
Nicholas Fazio,
Benjamin J. Brown,
Stephen D. Bartlett
Abstract:
Fault-tolerant implementation of non-Clifford gates is a major challenge for achieving universal fault-tolerant quantum computing with quantum error-correcting codes. Magic state distillation is the most well-studied method for this but requires significant resources. Hence, it is crucial to tailor and optimize magic state distillation for specific codes from both logical- and physical-level persp…
▽ More
Fault-tolerant implementation of non-Clifford gates is a major challenge for achieving universal fault-tolerant quantum computing with quantum error-correcting codes. Magic state distillation is the most well-studied method for this but requires significant resources. Hence, it is crucial to tailor and optimize magic state distillation for specific codes from both logical- and physical-level perspectives. In this work, we perform such optimization for two-dimensional color codes, which are promising due to their higher encoding rates compared to surface codes, transversal implementation of Clifford gates, and efficient lattice surgery. We propose two carefully designed distillation schemes based on the 15-to-1 distillation circuit and lattice surgery, differing in their methods for handling faulty rotations. Our first scheme employs faulty T-measurement, achieving infidelities of $O(p^3)$ for physical noise strength $p$. To achieve lower infidelities, our second scheme integrates distillation with 'cultivation' (a distillation-free approach to fault-tolerantly prepare magic states through transversal Clifford measurements). Our second scheme achieves significantly lower infidelities (e.g., $\sim 2 \times 10^{-16}$ at $p = 10^{-3}$), surpassing the capabilities of both cultivation and single-level distillation. Notably, to reach a given target infidelity, our schemes require approximately two orders of magnitude fewer resources than the previous best magic state distillation schemes for color codes.
△ Less
Submitted 13 June, 2025; v1 submitted 11 September, 2024;
originally announced September 2024.
-
Mitigating errors in logical qubits
Authors:
Samuel C. Smith,
Benjamin J. Brown,
Stephen D. Bartlett
Abstract:
Quantum error correcting codes protect quantum information, allowing for large quantum computations provided that physical error rates are sufficiently low. We combine post-selection with surface code error correction through the use of a parameterized family of exclusive decoders, which are able to abort on decoding instances that are deemed too difficult. We develop new numerical sampling method…
▽ More
Quantum error correcting codes protect quantum information, allowing for large quantum computations provided that physical error rates are sufficiently low. We combine post-selection with surface code error correction through the use of a parameterized family of exclusive decoders, which are able to abort on decoding instances that are deemed too difficult. We develop new numerical sampling methods to quantify logical failure rates with exclusive decoders as well as the trade-off in terms of the amount of post-selection required. For the most discriminating of exclusive decoders, we demonstrate a threshold of 50\% under depolarizing noise for the surface code (or $32(1)\%$ for the fault-tolerant case with phenomenological measurement errors), and up to a quadratic improvement in logical failure rates below threshold. Furthermore, surprisingly, with a modest exclusion criterion, we identify a regime at low error rates where the exclusion rate decays with code distance, providing a pathway for scalable and time-efficient quantum computing with post-selection. We apply our exclusive decoder to the 15-to-1 magic state distillation protocol, and report a $75\%$ reduction in the number of physical qubits required, and a $60\%$ reduction in the total spacetime volume required, including accounting for repetitions required for post-selection. We also consider other applications, as an error mitigation technique, and in concatenated schemes. Our work highlights the importance of post-selection as a powerful tool in quantum error correction.
△ Less
Submitted 6 May, 2024;
originally announced May 2024.
-
Color code decoder with improved scaling for correcting circuit-level noise
Authors:
Seok-Hyung Lee,
Andrew Li,
Stephen D. Bartlett
Abstract:
Two-dimensional color codes are a promising candidate for fault-tolerant quantum computing, as they have high encoding rates, transversal implementation of logical Clifford gates, and resource-efficient magic state preparation schemes. However, decoding color codes presents a significant challenge due to their structure, where elementary errors violate three checks instead of just two (a key featu…
▽ More
Two-dimensional color codes are a promising candidate for fault-tolerant quantum computing, as they have high encoding rates, transversal implementation of logical Clifford gates, and resource-efficient magic state preparation schemes. However, decoding color codes presents a significant challenge due to their structure, where elementary errors violate three checks instead of just two (a key feature in surface code decoding), and the complexity of extracting syndrome is greater. We introduce an efficient color-code decoder that tackles these issues by combining two matching decoders for each color, generalized to handle circuit-level noise by employing detector error models. We provide comprehensive analyses of the decoder, covering its threshold and sub-threshold scaling both for bit-flip noise with ideal measurements and for circuit-level noise. Our simulations reveal that this decoding strategy nearly reaches the best possible scaling of logical failure ($p_\mathrm{fail} \sim p^{d/2}$) for both noise models, where $p$ is the noise strength, in the regime of interest for fault-tolerant quantum computing. While its noise thresholds are comparable with other matching-based decoders for color codes ($8.2\%$ for bit-flip noise and $0.46\%$ for circuit-level noise), the scaling of logical failure rates below threshold significantly outperforms the best matching-based decoders.
△ Less
Submitted 22 January, 2025; v1 submitted 11 April, 2024;
originally announced April 2024.
-
Logical Noise Bias in Magic State Injection
Authors:
Nicholas Fazio,
Robin Harper,
Stephen D. Bartlett
Abstract:
Fault-tolerant architectures aim to reduce the noise of a quantum computation. Despite such architectures being well studied a detailed understanding of how noise is transformed in a fault-tolerant primitive such as magic state injection is currently lacking. We use numerical simulations of logical process tomography on a fault-tolerant gadget that implements a logical $T = Z(π/4)$ gate using magi…
▽ More
Fault-tolerant architectures aim to reduce the noise of a quantum computation. Despite such architectures being well studied a detailed understanding of how noise is transformed in a fault-tolerant primitive such as magic state injection is currently lacking. We use numerical simulations of logical process tomography on a fault-tolerant gadget that implements a logical $T = Z(π/4)$ gate using magic state injection, to understand how noise characteristics at the physical level are transformed into noise characteristics at the logical level. We show how, in this gadget, a significant phase ($Z$) bias can arise in the logical noise, even with unbiased noise at the physical level. While the magic state injection gadget intrinsically induces biased noise, with extant phase bias being further amplified at the logical level, we identify noisy error correction circuits as a key limiting factor in the circuits studied on the magnitude of this logical noise bias. Our approach provides a framework for assessing the detailed noise characteristics, as well as the overall performance, of fault-tolerant logical primitives.
△ Less
Submitted 19 June, 2025; v1 submitted 19 January, 2024;
originally announced January 2024.
-
High-fidelity operation and algorithmic initialisation of spin qubits above one kelvin
Authors:
Jonathan Y. Huang,
Rocky Y. Su,
Wee Han Lim,
MengKe Feng,
Barnaby van Straaten,
Brandon Severin,
Will Gilbert,
Nard Dumoulin Stuyck,
Tuomo Tanttu,
Santiago Serrano,
Jesus D. Cifuentes,
Ingvild Hansen,
Amanda E. Seedhouse,
Ensar Vahapoglu,
Nikolay V. Abrosimov,
Hans-Joachim Pohl,
Michael L. W. Thewalt,
Fay E. Hudson,
Christopher C. Escott,
Natalia Ares,
Stephen D. Bartlett,
Andrea Morello,
Andre Saraiva,
Arne Laucht,
Andrew S. Dzurak
, et al. (1 additional authors not shown)
Abstract:
The encoding of qubits in semiconductor spin carriers has been recognised as a promising approach to a commercial quantum computer that can be lithographically produced and integrated at scale. However, the operation of the large number of qubits required for advantageous quantum applications will produce a thermal load exceeding the available cooling power of cryostats at millikelvin temperatures…
▽ More
The encoding of qubits in semiconductor spin carriers has been recognised as a promising approach to a commercial quantum computer that can be lithographically produced and integrated at scale. However, the operation of the large number of qubits required for advantageous quantum applications will produce a thermal load exceeding the available cooling power of cryostats at millikelvin temperatures. As the scale-up accelerates, it becomes imperative to establish fault-tolerant operation above 1 kelvin, where the cooling power is orders of magnitude higher. Here, we tune up and operate spin qubits in silicon above 1 kelvin, with fidelities in the range required for fault-tolerant operation at such temperatures. We design an algorithmic initialisation protocol to prepare a pure two-qubit state even when the thermal energy is substantially above the qubit energies, and incorporate radio-frequency readout to achieve fidelities up to 99.34 per cent for both readout and initialisation. Importantly, we demonstrate a single-qubit Clifford gate fidelity of 99.85 per cent, and a two-qubit gate fidelity of 98.92 per cent. These advances overcome the fundamental limitation that the thermal energy must be well below the qubit energies for high-fidelity operation to be possible, surmounting a major obstacle in the pathway to scalable and fault-tolerant quantum computation.
△ Less
Submitted 18 August, 2023; v1 submitted 3 August, 2023;
originally announced August 2023.
-
Characterizing non-Markovian Quantum Process by Fast Bayesian Tomography
Authors:
R. Y. Su,
J. Y. Huang,
N. Dumoulin. Stuyck,
M. K. Feng,
W. Gilbert,
T. J. Evans,
W. H. Lim,
F. E. Hudson,
K. W. Chan,
W. Huang,
Kohei M. Itoh,
R. Harper,
S. D. Bartlett,
C. H. Yang,
A. Laucht,
A. Saraiva,
T. Tanttu,
A. S. Dzurak
Abstract:
To push gate performance to levels beyond the thresholds for quantum error correction, it is important to characterize the error sources occurring on quantum gates. However, the characterization of non-Markovian error poses a challenge to current quantum process tomography techniques. Fast Bayesian Tomography (FBT) is a self-consistent gate set tomography protocol that can be bootstrapped from ear…
▽ More
To push gate performance to levels beyond the thresholds for quantum error correction, it is important to characterize the error sources occurring on quantum gates. However, the characterization of non-Markovian error poses a challenge to current quantum process tomography techniques. Fast Bayesian Tomography (FBT) is a self-consistent gate set tomography protocol that can be bootstrapped from earlier characterization knowledge and be updated in real-time with arbitrary gate sequences. Here we demonstrate how FBT allows for the characterization of key non-Markovian error processes. We introduce two experimental protocols for FBT to diagnose the non-Markovian behavior of two-qubit systems on silicon quantum dots. To increase the efficiency and scalability of the experiment-analysis loop, we develop an online FBT software stack. To reduce experiment cost and analysis time, we also introduce a native readout method and warm boot strategy. Our results demonstrate that FBT is a useful tool for probing non-Markovian errors that can be detrimental to the ultimate realization of fault-tolerant operation on quantum computing.
△ Less
Submitted 4 October, 2023; v1 submitted 23 July, 2023;
originally announced July 2023.
-
Transversal Diagonal Logical Operators for Stabiliser Codes
Authors:
Mark A. Webster,
Armanda O. Quintavalle,
Stephen D. Bartlett
Abstract:
Storing quantum information in a quantum error correction code can protect it from errors, but the ability to transform the stored quantum information in a fault tolerant way is equally important. Logical Pauli group operators can be implemented on Calderbank-Shor-Steane (CSS) codes, a commonly-studied category of codes, by applying a series of physical Pauli X and Z gates. Logical operators of th…
▽ More
Storing quantum information in a quantum error correction code can protect it from errors, but the ability to transform the stored quantum information in a fault tolerant way is equally important. Logical Pauli group operators can be implemented on Calderbank-Shor-Steane (CSS) codes, a commonly-studied category of codes, by applying a series of physical Pauli X and Z gates. Logical operators of this form are fault-tolerant because each qubit is acted upon by at most one gate, limiting the spread of errors, and are referred to as transversal logical operators. Identifying transversal logical operators outside the Pauli group is less well understood. Pauli operators are the first level of the Clifford hierarchy which is deeply connected to fault-tolerance and universality. In this work, we study transversal logical operators composed of single- and multi-qubit diagonal Clifford hierarchy gates. We demonstrate algorithms for identifying all transversal diagonal logical operators on a CSS code that are more general or have lower computational complexity than previous methods. We also show a method for constructing CSS codes that have a desired diagonal logical Clifford hierarchy operator implemented using single qubit phase gates. Our methods rely on representing operators composed of diagonal Clifford hierarchy gates as diagonal XP operators and this technique may have broader applications.
△ Less
Submitted 26 April, 2023; v1 submitted 27 March, 2023;
originally announced March 2023.
-
Improved quantum error correction with randomized compiling
Authors:
Aditya Jain,
Pavithran Iyer,
Stephen D. Bartlett,
Joseph Emerson
Abstract:
Current hardware for quantum computing suffers from high levels of noise, and so to achieve practical fault-tolerant quantum computing will require powerful and efficient methods to correct for errors in quantum circuits. Here, we explore the role and effectiveness of using noise tailoring techniques to improve the performance of error correcting codes. Noise tailoring methods such as randomized c…
▽ More
Current hardware for quantum computing suffers from high levels of noise, and so to achieve practical fault-tolerant quantum computing will require powerful and efficient methods to correct for errors in quantum circuits. Here, we explore the role and effectiveness of using noise tailoring techniques to improve the performance of error correcting codes. Noise tailoring methods such as randomized compiling (RC) convert complex coherent noise processes to effective stochastic noise. While it is known that this can be leveraged to design efficient diagnostic tools, we explore its impact on the performance of error correcting codes. Of particular interest is the important class of coherent errors, arising from control errors, where RC has the maximum effect -- converting these into purely stochastic errors. For these errors, we show here that RC delivers an improvement in performance of the concatenated Steane code by several orders of magnitude. We also show that below a threshold rotation angle, the gains in logical fidelity can be arbitrarily magnified by increasing the size of the codes. These results suggest that using randomized compiling can lead to a significant reduction in the resource overhead required to achieve fault tolerance.
△ Less
Submitted 13 March, 2023;
originally announced March 2023.
-
Assessment of error variation in high-fidelity two-qubit gates in silicon
Authors:
Tuomo Tanttu,
Wee Han Lim,
Jonathan Y. Huang,
Nard Dumoulin Stuyck,
Will Gilbert,
Rocky Y. Su,
MengKe Feng,
Jesus D. Cifuentes,
Amanda E. Seedhouse,
Stefan K. Seritan,
Corey I. Ostrove,
Kenneth M. Rudinger,
Ross C. C. Leon,
Wister Huang,
Christopher C. Escott,
Kohei M. Itoh,
Nikolay V. Abrosimov,
Hans-Joachim Pohl,
Michael L. W. Thewalt,
Fay E. Hudson,
Robin Blume-Kohout,
Stephen D. Bartlett,
Andrea Morello,
Arne Laucht,
Chih Hwan Yang
, et al. (2 additional authors not shown)
Abstract:
Achieving high-fidelity entangling operations between qubits consistently is essential for the performance of multi-qubit systems and is a crucial factor in achieving fault-tolerant quantum processors. Solid-state platforms are particularly exposed to errors due to materials-induced variability between qubits, which leads to performance inconsistencies. Here we study the errors in a spin qubit pro…
▽ More
Achieving high-fidelity entangling operations between qubits consistently is essential for the performance of multi-qubit systems and is a crucial factor in achieving fault-tolerant quantum processors. Solid-state platforms are particularly exposed to errors due to materials-induced variability between qubits, which leads to performance inconsistencies. Here we study the errors in a spin qubit processor, tying them to their physical origins. We leverage this knowledge to demonstrate consistent and repeatable operation with above 99% fidelity of two-qubit gates in the technologically important silicon metal-oxide-semiconductor (SiMOS) quantum dot platform. We undertake a detailed study of these operations by analysing the physical errors and fidelities in multiple devices through numerous trials and extended periods to ensure that we capture the variation and the most common error types. Physical error sources include the slow nuclear and electrical noise on single qubits and contextual noise. The identification of the noise sources can be used to maintain performance within tolerance as well as inform future device fabrication. Furthermore, we investigate the impact of qubit design, feedback systems, and robust gates on implementing scalable, high-fidelity control strategies. These results are achieved by using three different characterization methods, we measure entangling gate fidelities ranging from 96.8% to 99.8%. Our analysis tools identify the causes of qubit degradation and offer ways understand their physical mechanisms. These results highlight both the capabilities and challenges for the scaling up of silicon spin-based qubits into full-scale quantum processors.
△ Less
Submitted 15 March, 2024; v1 submitted 7 March, 2023;
originally announced March 2023.
-
Anyon condensation and the color code
Authors:
Markus S. Kesselring,
Julio C. Magdalena de la Fuente,
Felix Thomsen,
Jens Eisert,
Stephen D. Bartlett,
Benjamin J. Brown
Abstract:
The manipulation of topologically-ordered phases of matter to encode and process quantum information forms the cornerstone of many approaches to fault-tolerant quantum computing. Here we demonstrate that fault-tolerant logical operations in these approaches can be interpreted as instances of anyon condensation. We present a constructive theory for anyon condensation and, in tandem, illustrate our…
▽ More
The manipulation of topologically-ordered phases of matter to encode and process quantum information forms the cornerstone of many approaches to fault-tolerant quantum computing. Here we demonstrate that fault-tolerant logical operations in these approaches can be interpreted as instances of anyon condensation. We present a constructive theory for anyon condensation and, in tandem, illustrate our theory explicitly using the color-code model. We show that different condensation processes are associated with a general class of domain walls, which can exist in both space- and time-like directions. This class includes semi-transparent domain walls that condense certain subsets of anyons. We use our theory to classify topological objects and design novel fault-tolerant logic gates for the color code. As a final example, we also argue that dynamical `Floquet codes' can be viewed as a series of condensation operations. We propose a general construction for realising planar dynamically driven codes based on condensation operations on the color code. We use our construction to introduce a new Calderbank-Shor Steane-type Floquet code that we call the Floquet color code.
△ Less
Submitted 13 March, 2024; v1 submitted 30 November, 2022;
originally announced December 2022.
-
A local pre-decoder to reduce the bandwidth and latency of quantum error correction
Authors:
Samuel C. Smith,
Benjamin J. Brown,
Stephen D. Bartlett
Abstract:
A fault-tolerant quantum computer will be supported by a classical decoding system interfacing with quantum hardware to perform quantum error correction. It is important that the decoder can keep pace with the quantum clock speed, within the limitations on communication that are imposed by the physical architecture. To this end we propose a local `pre-decoder', which makes greedy corrections to re…
▽ More
A fault-tolerant quantum computer will be supported by a classical decoding system interfacing with quantum hardware to perform quantum error correction. It is important that the decoder can keep pace with the quantum clock speed, within the limitations on communication that are imposed by the physical architecture. To this end we propose a local `pre-decoder', which makes greedy corrections to reduce the amount of syndrome data sent to a standard matching decoder. We study these classical overheads for the surface code under a phenomenological phase-flip noise model with imperfect measurements. We find substantial improvements in the runtime of the global decoder and the communication bandwidth by using the pre-decoder. For instance, to achieve a logical failure probability of $f = 10^{-15}$ using qubits with physical error rate $p = 10^{-3}$ and a distance $d=22$ code, we find that the bandwidth cost is reduced by a factor of $1000$, and the time taken by a matching decoder is sped up by a factor of $200$. To achieve this target failure probability, the pre-decoding approach requires a $50\%$ increase in the qubit count compared with the optimal decoder.
△ Less
Submitted 13 September, 2022; v1 submitted 9 August, 2022;
originally announced August 2022.
-
Hierarchies of resources for measurement-based quantum computation
Authors:
Markus Frembs,
Sam Roberts,
Earl T. Campbell,
Stephen D. Bartlett
Abstract:
For certain restricted computational tasks, quantum mechanics provides a provable advantage over any possible classical implementation. Several of these results have been proven using the framework of measurement-based quantum computation (MBQC), where non-locality and more generally contextuality have been identified as necessary resources for certain quantum computations. Here, we consider the c…
▽ More
For certain restricted computational tasks, quantum mechanics provides a provable advantage over any possible classical implementation. Several of these results have been proven using the framework of measurement-based quantum computation (MBQC), where non-locality and more generally contextuality have been identified as necessary resources for certain quantum computations. Here, we consider the computational power of MBQC in more detail by refining its resource requirements, both on the allowed operations and the number of accessible qubits. More precisely, we identify which Boolean functions can be computed in non-adaptive MBQC, with local operations contained within a finite level in the Clifford hierarchy. Moreover, for non-adaptive MBQC restricted to certain subtheories such as stabiliser MBQC, we compute the minimal number of qubits required to compute a given Boolean function. Our results point towards hierarchies of resources that more sharply characterise the power of MBQC beyond the binary of contextuality vs non-contextuality.
△ Less
Submitted 18 March, 2022;
originally announced March 2022.
-
The XP Stabiliser Formalism: a Generalisation of the Pauli Stabiliser Formalism with Arbitrary Phases
Authors:
Mark A. Webster,
Benjamin J. Brown,
Stephen D. Bartlett
Abstract:
We propose an extension to the Pauli stabiliser formalism that includes fractional $2π/N$ rotations around the $Z$ axis for some integer $N$. The resulting generalised stabiliser formalism - denoted the XP stabiliser formalism - allows for a wider range of states and codespaces to be represented. We describe the states which arise in the formalism, and demonstrate an equivalence between XP stabili…
▽ More
We propose an extension to the Pauli stabiliser formalism that includes fractional $2π/N$ rotations around the $Z$ axis for some integer $N$. The resulting generalised stabiliser formalism - denoted the XP stabiliser formalism - allows for a wider range of states and codespaces to be represented. We describe the states which arise in the formalism, and demonstrate an equivalence between XP stabiliser states and 'weighted hypergraph states' - a generalisation of both hypergraph and weighted graph states. Given an arbitrary set of XP operators, we present algorithms for determining the codespace and logical operators for an XP code. Finally, we consider whether measurements of XP operators on XP codes can be classically simulated.
△ Less
Submitted 20 September, 2022; v1 submitted 28 February, 2022;
originally announced March 2022.
-
Biphoton entanglement of topologically-distinct modes
Authors:
Cooper Doyle,
Wei-Wei Zhang,
Michelle Wang,
Bryn A. Bell,
Stephen D. Bartlett,
Andrea Blanco-Redondo
Abstract:
The robust generation and manipulation of entangled multiphoton states on-chip has an essential role in quantum computation and communication. Lattice topology has emerged as a means of protecting photonic states from disorder but entanglement across different topologies remained unexplored. We report biphoton entanglement between topologically distinct spatial modes in a bipartite array of silico…
▽ More
The robust generation and manipulation of entangled multiphoton states on-chip has an essential role in quantum computation and communication. Lattice topology has emerged as a means of protecting photonic states from disorder but entanglement across different topologies remained unexplored. We report biphoton entanglement between topologically distinct spatial modes in a bipartite array of silicon waveguides. The results highlight topology as an additional degree of freedom for entanglement and open avenues for investigating information teleportation between trivial and topological modes.
△ Less
Submitted 3 February, 2022;
originally announced February 2022.
-
Low-overhead quantum computing with the color code
Authors:
Felix Thomsen,
Markus S. Kesselring,
Stephen D. Bartlett,
Benjamin J. Brown
Abstract:
Fault-tolerant quantum computation demands significant resources: large numbers of physical qubits must be checked for errors repeatedly to protect quantum data as logic gates are implemented in the presence of noise. We demonstrate that an approach based on the color code can lead to considerable reductions in the resource overheads compared with conventional methods, while remaining compatible w…
▽ More
Fault-tolerant quantum computation demands significant resources: large numbers of physical qubits must be checked for errors repeatedly to protect quantum data as logic gates are implemented in the presence of noise. We demonstrate that an approach based on the color code can lead to considerable reductions in the resource overheads compared with conventional methods, while remaining compatible with a two-dimensional layout. We propose a lattice surgery scheme that exploits the rich structure of the color-code phase to perform arbitrary pairs of commuting logical Pauli measurements in parallel while keeping the space cost low. Compared to lattice surgery schemes based on the surface code with the same code distance, our approach yields about a $3\times$ improvement in the space-time overhead, obtained from a combination of a $1.5\times$ improvement in spatial overhead together with a $2\times$ speedup due to the parallelisation of commuting logical measurements. Even when taking into account the color code's lower error threshold using current decoders, the overhead is reduced by 10\% at a physical error rate of $10^{-3}$ and by 50\% at $10^{-4}$.
△ Less
Submitted 9 April, 2024; v1 submitted 19 January, 2022;
originally announced January 2022.
-
Low-overhead fault-tolerant quantum computing using long-range connectivity
Authors:
Lawrence Z. Cohen,
Isaac H. Kim,
Stephen D. Bartlett,
Benjamin J. Brown
Abstract:
Vast numbers of qubits will be needed for large-scale quantum computing due to the overheads associated with error correction. We present a scheme for low-overhead fault-tolerant quantum computation based on quantum low-density parity-check (LDPC) codes, where long-range interactions enable many logical qubits to be encoded with a modest number of physical qubits. In our approach, logic gates oper…
▽ More
Vast numbers of qubits will be needed for large-scale quantum computing due to the overheads associated with error correction. We present a scheme for low-overhead fault-tolerant quantum computation based on quantum low-density parity-check (LDPC) codes, where long-range interactions enable many logical qubits to be encoded with a modest number of physical qubits. In our approach, logic gates operate via logical Pauli measurements that preserve both the protection of the LDPC codes as well as the low overheads in terms of the required number of additional qubits. Compared with surface codes with the same code distance, we estimate order-of-magnitude improvements in the overheads for processing around one hundred logical qubits using this approach. Given the high thresholds demonstrated by LDPC codes, our estimates suggest that fault-tolerant quantum computation at this scale may be achievable with a few thousand physical qubits at comparable error rates to what is needed for current approaches.
△ Less
Submitted 22 May, 2022; v1 submitted 20 October, 2021;
originally announced October 2021.
-
Efficient diagnostics for quantum error correction
Authors:
Pavithran Iyer,
Aditya Jain,
Stephen D. Bartlett,
Joseph Emerson
Abstract:
Fault-tolerant quantum computing will require accurate estimates of the resource overhead, but standard metrics such as gate fidelity and diamond distance have been shown to be poor predictors of logical performance. We present a scalable experimental approach based on Pauli error reconstruction to predict the performance of concatenated codes. Numerical evidence demonstrates that our method signi…
▽ More
Fault-tolerant quantum computing will require accurate estimates of the resource overhead, but standard metrics such as gate fidelity and diamond distance have been shown to be poor predictors of logical performance. We present a scalable experimental approach based on Pauli error reconstruction to predict the performance of concatenated codes. Numerical evidence demonstrates that our method significantly outperforms predictions based on standard error metrics for various error models, even with limited data. We illustrate how this method assists in the selection of error correction schemes.
△ Less
Submitted 24 August, 2021;
originally announced August 2021.
-
Fast Bayesian tomography of a two-qubit gate set in silicon
Authors:
T. J. Evans,
W. Huang,
J. Yoneda,
R. Harper,
T. Tanttu,
K. W. Chan,
F. E. Hudson,
K. M. Itoh,
A. Saraiva,
C. H. Yang,
A. S. Dzurak,
S. D. Bartlett
Abstract:
Benchmarking and characterising quantum states and logic gates is essential in the development of devices for quantum computing. We introduce a Bayesian approach to self-consistent process tomography, called fast Bayesian tomography (FBT), and experimentally demonstrate its performance in characterising a two-qubit gate set on a silicon-based spin qubit device. FBT is built on an adaptive self-con…
▽ More
Benchmarking and characterising quantum states and logic gates is essential in the development of devices for quantum computing. We introduce a Bayesian approach to self-consistent process tomography, called fast Bayesian tomography (FBT), and experimentally demonstrate its performance in characterising a two-qubit gate set on a silicon-based spin qubit device. FBT is built on an adaptive self-consistent linearisation that is robust to model approximation errors. Our method offers several advantages over other self-consistent tomographic methods. Most notably, FBT can leverage prior information from randomised benchmarking (or other characterisation measurements), and can be performed in real time, providing continuously updated estimates of full process matrices while data is acquired.
△ Less
Submitted 30 July, 2021;
originally announced July 2021.
-
Parametric longitudinal coupling between a high-impedance superconducting resonator and a semiconductor quantum dot singlet-triplet spin qubit
Authors:
C. G. L. Bøttcher,
S. P. Harvey,
S. Fallahi,
G. C. Gardner,
M. J. Manfra,
U. Vool,
S. D. Bartlett,
A. Yacoby
Abstract:
Long-distance two-qubit coupling, mediated by a superconducting resonator, is a leading paradigm for performing entangling operations in a quantum computer based on spins in semiconducting materials. Here, we demonstrate a novel, controllable spin-photon coupling based on a longitudinal interaction between a spin qubit and a resonator. We show that coupling a singlet-triplet qubit to a high-impeda…
▽ More
Long-distance two-qubit coupling, mediated by a superconducting resonator, is a leading paradigm for performing entangling operations in a quantum computer based on spins in semiconducting materials. Here, we demonstrate a novel, controllable spin-photon coupling based on a longitudinal interaction between a spin qubit and a resonator. We show that coupling a singlet-triplet qubit to a high-impedance superconducting resonator can produce the desired longitudinal coupling when the qubit is driven near the resonator's frequency. We measure the energy splitting of the qubit as a function of the drive amplitude and frequency of a microwave signal applied near the resonator antinode, revealing pronounced effects close to the resonator frequency due to longitudinal coupling. By tuning the amplitude of the drive, we reach a regime with longitudinal coupling exceeding $1$ MHz. This demonstrates a new mechanism for qubit-resonator coupling, and represents a stepping stone towards producing high-fidelity two-qubit gates mediated by a superconducting resonator.
△ Less
Submitted 21 July, 2021;
originally announced July 2021.
-
Fast estimation of outcome probabilities for quantum circuits
Authors:
Hakop Pashayan,
Oliver Reardon-Smith,
Kamil Korzekwa,
Stephen D. Bartlett
Abstract:
We present two classical algorithms for the simulation of universal quantum circuits on $n$ qubits constructed from $c$ instances of Clifford gates and $t$ arbitrary-angle $Z$-rotation gates such as $T$ gates. Our algorithms complement each other by performing best in different parameter regimes. The $\tt{Estimate}$ algorithm produces an additive precision estimate of the Born rule probability of…
▽ More
We present two classical algorithms for the simulation of universal quantum circuits on $n$ qubits constructed from $c$ instances of Clifford gates and $t$ arbitrary-angle $Z$-rotation gates such as $T$ gates. Our algorithms complement each other by performing best in different parameter regimes. The $\tt{Estimate}$ algorithm produces an additive precision estimate of the Born rule probability of a chosen measurement outcome with the only source of run-time inefficiency being a linear dependence on the stabilizer extent (which scales like $\approx 1.17^t$ for $T$ gates). Our algorithm is state-of-the-art for this task: as an example, in approximately $13$ hours (on a standard desktop computer), we estimated the Born rule probability to within an additive error of $0.03$, for a $50$-qubit, $60$ non-Clifford gate quantum circuit with more than $2000$ Clifford gates. Our second algorithm, $\tt{Compute}$, calculates the probability of a chosen measurement outcome to machine precision with run-time $O(2^{t-r} t)$ where $r$ is an efficiently computable, circuit-specific quantity. With high probability, $r$ is very close to $\min \{t, n-w\}$ for random circuits with many Clifford gates, where $w$ is the number of measured qubits. $\tt{Compute}$ can be effective in surprisingly challenging parameter regimes, e.g., we can randomly sample Clifford+$T$ circuits with $n=55$, $w=5$, $c=10^5$ and $t=80$ $T$ gates, and then compute the Born rule probability with a run-time consistently less than $10$ minutes using a single core of a standard desktop computer. We provide a C+Python implementation of our algorithms and benchmark them using random circuits, the hidden shift algorithm and the quantum approximate optimization algorithm (QAOA).
△ Less
Submitted 24 June, 2022; v1 submitted 28 January, 2021;
originally announced January 2021.
-
Universal Fault-Tolerant Quantum Computing with Stabiliser Codes
Authors:
Paul Webster,
Michael Vasmer,
Thomas R. Scruby,
Stephen D. Bartlett
Abstract:
The quantum logic gates used in the design of a quantum computer should be both universal, meaning arbitrary quantum computations can be performed, and fault-tolerant, meaning the gates keep errors from cascading out of control. A number of no-go theorems constrain the ways in which a set of fault-tolerant logic gates can be universal. These theorems are very restrictive, and conventional wisdom h…
▽ More
The quantum logic gates used in the design of a quantum computer should be both universal, meaning arbitrary quantum computations can be performed, and fault-tolerant, meaning the gates keep errors from cascading out of control. A number of no-go theorems constrain the ways in which a set of fault-tolerant logic gates can be universal. These theorems are very restrictive, and conventional wisdom holds that a universal fault-tolerant logic gate set cannot be implemented natively, requiring us to use costly distillation procedures for quantum computation. Here, we present a general framework for universal fault-tolerant logic with stabiliser codes, together with a no-go theorem that reveals the very broad conditions constraining such gate sets. Our theorem applies to a wide range of stabiliser code families, including concatenated codes and conventional topological stabiliser codes such as the surface code. The broad applicability of our no-go theorem provides a new perspective on how the constraints on universal fault-tolerant gate sets can be overcome. In particular, we show how non-unitary implementations of logic gates provide a general approach to circumvent the no-go theorem, and we present a rich landscape of constructions for logic gate sets that are both universal and fault-tolerant. That is, rather than restricting what is possible, our no-go theorem provides a signpost to guide us to new, efficient architectures for fault-tolerant quantum computing.
△ Less
Submitted 19 May, 2021; v1 submitted 9 December, 2020;
originally announced December 2020.
-
Probabilistic teleportation of a quantum dot spin qubit
Authors:
Y. Kojima,
T. Nakajima,
A. Noiri,
J. Yoneda,
T. Otsuka,
K. Takeda,
S. Li,
S. D. Bartlett,
A. Ludwig,
A. D. Wieck,
S. Tarucha
Abstract:
Electron spin s in semiconductor quantum dot s have been intensively studied for implementing quantum computation and high fidelity single and two qubit operation s have recently been achieved . Quantum teleportation is a three qubit protocol exploiting quantum entanglement and it serv es as a n essential primitive for more sophisticated quantum algorithm s Here, we demonstrate a scheme for quantu…
▽ More
Electron spin s in semiconductor quantum dot s have been intensively studied for implementing quantum computation and high fidelity single and two qubit operation s have recently been achieved . Quantum teleportation is a three qubit protocol exploiting quantum entanglement and it serv es as a n essential primitive for more sophisticated quantum algorithm s Here, we demonstrate a scheme for quantum teleportation based on direct Bell measurement for a single electron spin qubit in a triple quantum dot utilizing the Pauli exclusion principle to create and detect maximally entangled state s . T he single spin polarization is teleported from the input qubit to the output qubit with a fidelity of 0.9 1 We find this fidelity is primarily limited by singlet triplet mixing which can be improved by optimizing the device parameters Our results may be extended to quantum algorithms with a larger number of se miconductor spin qubit s
△ Less
Submitted 9 November, 2020;
originally announced November 2020.
-
The XZZX Surface Code
Authors:
J. Pablo Bonilla Ataides,
David K. Tuckett,
Stephen D. Bartlett,
Steven T. Flammia,
Benjamin J. Brown
Abstract:
Performing large calculations with a quantum computer will likely require a fault-tolerant architecture based on quantum error-correcting codes. The challenge is to design practical quantum error-correcting codes that perform well against realistic noise using modest resources. Here we show that a variant of the surface code -- the XZZX code -- offers remarkable performance for fault-tolerant quan…
▽ More
Performing large calculations with a quantum computer will likely require a fault-tolerant architecture based on quantum error-correcting codes. The challenge is to design practical quantum error-correcting codes that perform well against realistic noise using modest resources. Here we show that a variant of the surface code -- the XZZX code -- offers remarkable performance for fault-tolerant quantum computation. The error threshold of this code matches what can be achieved with random codes (hashing) for every single-qubit Pauli noise channel; it is the first explicit code shown to have this universal property. We present numerical evidence that the threshold even exceeds this hashing bound for an experimentally relevant range of noise parameters. Focusing on the common situation where qubit dephasing is the dominant noise, we show that this code has a practical, high-performance decoder and surpasses all previously known thresholds in the realistic setting where syndrome measurements are unreliable. We go on to demonstrate the favourable sub-threshold resource scaling that can be obtained by specialising a code to exploit structure in the noise. We show that it is possible to maintain all of these advantages when we perform fault-tolerant quantum computation.
△ Less
Submitted 19 April, 2021; v1 submitted 16 September, 2020;
originally announced September 2020.
-
Dispersive readout of Majorana qubits
Authors:
Thomas B. Smith,
Maja C. Cassidy,
David J. Reilly,
Stephen D. Bartlett,
Arne L. Grimsmo
Abstract:
We analyze a readout scheme for Majorana qubits based on dispersive coupling to a resonator. We consider two variants of Majorana qubits: the Majorana transmon and the Majorana box qubit. In both cases, the qubit-resonator interaction can produce sizeable dispersive shifts in the MHz range for reasonable system parameters, allowing for submicrosecond readout with high fidelity. For Majorana transm…
▽ More
We analyze a readout scheme for Majorana qubits based on dispersive coupling to a resonator. We consider two variants of Majorana qubits: the Majorana transmon and the Majorana box qubit. In both cases, the qubit-resonator interaction can produce sizeable dispersive shifts in the MHz range for reasonable system parameters, allowing for submicrosecond readout with high fidelity. For Majorana transmons, the light-matter interaction used for readout manifestly conserves Majorana parity, which leads to a notion of quantum nondemolition (QND) readout that is stronger than for conventional charge qubits. In contrast, Majorana box qubits only recover an approximately QND readout mechanism in the dispersive limit where the resonator detuning is large. We also compare dispersive readout to longitudinal readout for the Majorana box qubit. We show that the latter gives faster and higher fidelity readout for reasonable parameters, while having the additional advantage of being manifestly QND, and so may prove to be a better readout mechanism for these systems.
△ Less
Submitted 10 November, 2020; v1 submitted 31 August, 2020;
originally announced September 2020.
-
Coherent spin qubit transport in silicon
Authors:
J. Yoneda,
W. Huang,
M. Feng,
C. H. Yang,
K. W. Chan,
T. Tanttu,
W. Gilbert,
R. C. C. Leon,
F. E. Hudson,
K. M. Itoh,
A. Morello,
S. D. Bartlett,
A. Laucht,
A. Saraiva,
A. S. Dzurak
Abstract:
A fault-tolerant quantum processor may be configured using stationary qubits interacting only with their nearest neighbours, but at the cost of significant overheads in physical qubits per logical qubit. Such overheads could be reduced by coherently transporting qubits across the chip, allowing connectivity beyond immediate neighbours. Here we demonstrate high-fidelity coherent transport of an ele…
▽ More
A fault-tolerant quantum processor may be configured using stationary qubits interacting only with their nearest neighbours, but at the cost of significant overheads in physical qubits per logical qubit. Such overheads could be reduced by coherently transporting qubits across the chip, allowing connectivity beyond immediate neighbours. Here we demonstrate high-fidelity coherent transport of an electron spin qubit between quantum dots in isotopically-enriched silicon. We observe qubit precession in the inter-site tunnelling regime and assess the impact of qubit transport using Ramsey interferometry and quantum state tomography techniques. We report a polarization transfer fidelity of 99.97% and an average coherent transfer fidelity of 99.4%. Our results provide key elements for high-fidelity, on-chip quantum information distribution, as long envisaged, reinforcing the scaling prospects of silicon-based spin qubits.
△ Less
Submitted 3 September, 2020; v1 submitted 10 August, 2020;
originally announced August 2020.
-
Fault-tolerant thresholds for the surface code in excess of 5% under biased noise
Authors:
David K. Tuckett,
Stephen D. Bartlett,
Steven T. Flammia,
Benjamin J. Brown
Abstract:
Noise in quantum computing is countered with quantum error correction. Achieving optimal performance will require tailoring codes and decoding algorithms to account for features of realistic noise, such as the common situation where the noise is biased towards dephasing. Here we introduce an efficient high-threshold decoder for a noise-tailored surface code based on minimum-weight perfect matching…
▽ More
Noise in quantum computing is countered with quantum error correction. Achieving optimal performance will require tailoring codes and decoding algorithms to account for features of realistic noise, such as the common situation where the noise is biased towards dephasing. Here we introduce an efficient high-threshold decoder for a noise-tailored surface code based on minimum-weight perfect matching. The decoder exploits the symmetries of its syndrome under the action of biased noise and generalises to the fault-tolerant regime where measurements are unreliable. Using this decoder, we obtain fault-tolerant thresholds in excess of $6\%$ for a phenomenological noise model in the limit where dephasing dominates. These gains persist even for modest noise biases: we find a threshold of $\sim 5\%$ in an experimentally relevant regime where dephasing errors occur at a rate one hundred times greater than bit-flip errors.
△ Less
Submitted 1 April, 2020; v1 submitted 4 July, 2019;
originally announced July 2019.
-
Fault-Tolerant Quantum Gates with Defects in Topological Stabiliser Codes
Authors:
Paul Webster,
Stephen D. Bartlett
Abstract:
Braiding defects in topological stabiliser codes has been widely studied as a promising approach to fault-tolerant quantum computing. Here, we explore the potential and limitations of such schemes in codes of all spatial dimensions. We prove that a universal gate set for quantum computing cannot be realised by supplementing locality-preserving logical operators with defect braiding, even in more t…
▽ More
Braiding defects in topological stabiliser codes has been widely studied as a promising approach to fault-tolerant quantum computing. Here, we explore the potential and limitations of such schemes in codes of all spatial dimensions. We prove that a universal gate set for quantum computing cannot be realised by supplementing locality-preserving logical operators with defect braiding, even in more than two dimensions. However, notwithstanding this no-go theorem, we demonstrate that higher dimensional defect-braiding schemes have the potential to play an important role in realising fault-tolerant quantum computing. Specifically, we present an approach to implement the full Clifford group via braiding in any code possessing twist defects on which a fermion can condense. We explore three such examples in higher dimensional codes, specifically: in self-dual surface codes; the three dimensional Levin-Wen fermion mode; and the checkerboard model. Finally, we show how our no-go theorems can be circumvented to provide a universal scheme in three-dimensional surface codes without magic state distillation. Specifically, our scheme employs adaptive implementation of logical operators conditional on logical measurement outcomes to lift a combination of locality-preserving and braiding logical operators to universality.
△ Less
Submitted 10 August, 2020; v1 submitted 3 June, 2019;
originally announced June 2019.
-
Tailoring surface codes for highly biased noise
Authors:
David K. Tuckett,
Andrew S. Darmawan,
Christopher T. Chubb,
Sergey Bravyi,
Stephen D. Bartlett,
Steven T. Flammia
Abstract:
The surface code, with a simple modification, exhibits ultra-high error correction thresholds when the noise is biased towards dephasing. Here, we identify features of the surface code responsible for these ultra-high thresholds. We provide strong evidence that the threshold error rate of the surface code tracks the hashing bound exactly for all biases, and show how to exploit these features to ac…
▽ More
The surface code, with a simple modification, exhibits ultra-high error correction thresholds when the noise is biased towards dephasing. Here, we identify features of the surface code responsible for these ultra-high thresholds. We provide strong evidence that the threshold error rate of the surface code tracks the hashing bound exactly for all biases, and show how to exploit these features to achieve significant improvement in logical failure rate. First, we consider the infinite bias limit, meaning pure dephasing. We prove that the error threshold of the modified surface code for pure dephasing noise is $50\%$, i.e., that all qubits are fully dephased, and this threshold can be achieved by a polynomial time decoding algorithm. We demonstrate that the sub-threshold behavior of the code depends critically on the precise shape and boundary conditions of the code. That is, for rectangular surface codes with standard rough/smooth open boundaries, it is controlled by the parameter $g=\gcd(j,k)$, where $j$ and $k$ are dimensions of the surface code lattice. We demonstrate a significant improvement in logical failure rate with pure dephasing for co-prime codes that have $g=1$, and closely-related rotated codes, which have a modified boundary. The effect is dramatic: the same logical failure rate achievable with a square surface code and $n$ physical qubits can be obtained with a co-prime or rotated surface code using only $O(\sqrt{n})$ physical qubits. Finally, we use approximate maximum likelihood decoding to demonstrate that this improvement persists for a general Pauli noise biased towards dephasing. In particular, comparing with a square surface code, we observe a significant improvement in logical failure rate against biased noise using a rotated surface code with approximately half the number of physical qubits.
△ Less
Submitted 13 November, 2019; v1 submitted 19 December, 2018;
originally announced December 2018.
-
Quantum topology identification with deep neural networks and quantum walks
Authors:
Yurui Ming,
Chin-Teng Lin,
Stephen D. Bartlett,
Wei-Wei Zhang
Abstract:
Topologically ordered materials may serve as a platform for new quantum technologies such as fault-tolerant quantum computers. To fulfil this promise, efficient and general methods are needed to discover and classify new topological phases of matter. We demonstrate that deep neural networks augmented with external memory can use the density profiles formed in quantum walks to efficiently identify…
▽ More
Topologically ordered materials may serve as a platform for new quantum technologies such as fault-tolerant quantum computers. To fulfil this promise, efficient and general methods are needed to discover and classify new topological phases of matter. We demonstrate that deep neural networks augmented with external memory can use the density profiles formed in quantum walks to efficiently identify properties of a topological phase as well as phase transitions. On a trial topological ordered model, our method's accuracy of topological phase identification reaches 97.4%, and is shown to be robust to noise on the data. Furthermore, we demonstrate that our trained DNN is able to identify topological phases of a perturbed model and predict the corresponding shift of topological phase transitions without learning any information about the perturbations in advance. These results demonstrate that our approach is generally applicable and may be used to identify a variety of quantum topological materials.
△ Less
Submitted 27 August, 2019; v1 submitted 30 November, 2018;
originally announced November 2018.
-
Braiding defects in topological stabiliser codes of any dimension cannot be universal
Authors:
Paul Webster,
Stephen D. Bartlett
Abstract:
Braiding defects in topological stabiliser codes has been widely studied as a promising approach to fault-tolerant quantum computing. We present a no-go theorem that places very strong limitations on the potential of such schemes for universal fault-tolerant quantum computing in any spatial dimension. In particular, we show that, for the natural encoding of quantum information in defects in topolo…
▽ More
Braiding defects in topological stabiliser codes has been widely studied as a promising approach to fault-tolerant quantum computing. We present a no-go theorem that places very strong limitations on the potential of such schemes for universal fault-tolerant quantum computing in any spatial dimension. In particular, we show that, for the natural encoding of quantum information in defects in topological stabiliser codes, the set of logical operators implementable by braiding defects is contained in the Clifford group. Indeed, we show that this remains true even when supplemented with locality-preserving logical operators.
△ Less
Submitted 10 August, 2020; v1 submitted 28 November, 2018;
originally announced November 2018.
-
Fast spin exchange between two distant quantum dots
Authors:
Filip K. Malinowski,
Frederico Martins,
Thomas B. Smith,
Stephen D. Bartlett,
Andrew C. Doherty,
Peter D. Nissen,
Saeed Fallahi,
Geoffrey C. Gardner,
Michael J. Manfra,
Charles M. Marcus,
Ferdinand Kuemmeth
Abstract:
The Heisenberg exchange interaction between neighboring quantum dots allows precise voltage control over spin dynamics, due to the ability to precisely control the overlap of orbital wavefunctions by gate electrodes. This allows the study of fundamental electronic phenomena and finds applications in quantum information processing. Although spin-based quantum circuits based on short-range exchange…
▽ More
The Heisenberg exchange interaction between neighboring quantum dots allows precise voltage control over spin dynamics, due to the ability to precisely control the overlap of orbital wavefunctions by gate electrodes. This allows the study of fundamental electronic phenomena and finds applications in quantum information processing. Although spin-based quantum circuits based on short-range exchange interactions are possible, the development of scalable, longer-range coupling schemes constitutes a critical challenge within the spin-qubit community. Approaches based on capacitative coupling and cavity-mediated interactions effectively couple spin qubits to the charge degree of freedom, making them susceptible to electrically-induced decoherence. The alternative is to extend the range of the Heisenberg exchange interaction by means of a quantum mediator. Here, we show that a multielectron quantum dot with 50-100 electrons serves as an excellent mediator, preserving speed and coherence of the resulting spin-spin coupling while providing several functionalities that are of practical importance. These include speed (mediated two-qubit rates up to several gigahertz), distance (of order of a micrometer), voltage control, possibility of sweet spot operation (reducing susceptibility to charge noise), and reversal of the interaction sign (useful for dynamical decoupling from noise).
△ Less
Submitted 29 August, 2018;
originally announced August 2018.
-
Silicon qubit fidelities approaching incoherent noise limits via pulse engineering
Authors:
C. H. Yang,
K. W. Chan,
R. Harper,
W. Huang,
T. Evans,
J. C. C. Hwang,
B. Hensen,
A. Laucht,
T. Tanttu,
F. E. Hudson,
S. T. Flammia,
K. M. Itoh,
A. Morello,
S. D. Bartlett,
A. S. Dzurak
Abstract:
The performance requirements for fault-tolerant quantum computing are very stringent. Qubits must be manipulated, coupled, and measured with error rates well below 1%. For semiconductor implementations, silicon quantum dot spin qubits have demonstrated average single-qubit Clifford gate error rates that approach this threshold, notably with error rates of 0.14% in isotopically enriched $^{28}$Si/S…
▽ More
The performance requirements for fault-tolerant quantum computing are very stringent. Qubits must be manipulated, coupled, and measured with error rates well below 1%. For semiconductor implementations, silicon quantum dot spin qubits have demonstrated average single-qubit Clifford gate error rates that approach this threshold, notably with error rates of 0.14% in isotopically enriched $^{28}$Si/SiGe devices. This gate performance, together with high-fidelity two-qubit gates and measurements, is only known to meet the threshold for fault-tolerant quantum computing in some architectures when assuming that the noise is incoherent, and still lower error rates are needed to reduce overhead. Here we experimentally show that pulse engineering techniques, widely used in magnetic resonance, improve average Clifford gate error rates for silicon quantum dot spin qubits to 0.043%,a factor of 3 improvement on previous best results for silicon quantum dot devices. By including tomographically complete measurements in randomised benchmarking, we infer a higher-order feature of the noise called the unitarity, which measures the coherence of noise. This in turn allows us to theoretically predict that average gate error rates as low as 0.026% may be achievable with further pulse improvements. These fidelities are ultimately limited by Markovian noise, which we attribute to charge noise emanating from the silicon device structure itself, or the environment.
△ Less
Submitted 27 January, 2020; v1 submitted 25 July, 2018;
originally announced July 2018.
-
Symmetry-protected self-correcting quantum memories
Authors:
Sam Roberts,
Stephen D. Bartlett
Abstract:
A self-correcting quantum memory can store and protect quantum information for a time that increases without bound with the system size and without the need for active error correction. We demonstrate that symmetry can lead to self-correction in 3D spin-lattice models. In particular, we investigate codes given by 2D symmetry-enriched topological (SET) phases that appear naturally on the boundary o…
▽ More
A self-correcting quantum memory can store and protect quantum information for a time that increases without bound with the system size and without the need for active error correction. We demonstrate that symmetry can lead to self-correction in 3D spin-lattice models. In particular, we investigate codes given by 2D symmetry-enriched topological (SET) phases that appear naturally on the boundary of 3D symmetry-protected topological (SPT) phases. We find that while conventional on-site symmetries are not sufficient to allow for self-correction in commuting Hamiltonian models of this form, a generalized type of symmetry known as a 1-form symmetry is enough to guarantee self-correction. We illustrate this fact with the 3D "cluster-state" model from the theory of quantum computing. This model is a self-correcting memory, where information is encoded in a 2D SET-ordered phase on the boundary that is protected by the thermally stable SPT ordering of the bulk. We also investigate the gauge color code in this context. Finally, noting that a 1-form symmetry is a very strong constraint, we argue that topologically ordered systems can possess emergent 1-form symmetries, i.e., models where the symmetry appears naturally, without needing to be enforced externally.
△ Less
Submitted 21 August, 2020; v1 submitted 3 May, 2018;
originally announced May 2018.
-
Contextuality as a resource for measurement-based quantum computation beyond qubits
Authors:
Markus Frembs,
Sam Roberts,
Stephen D. Bartlett
Abstract:
Contextuality - the obstruction to describing quantum mechanics in a classical statistical way - has been proposed as a resource that powers quantum computing. The measurement-based model provides a concrete manifestation of contextuality as a computational resource, as follows. If local measurements on a multi-qubit state can be used to evaluate non-linear boolean functions with only linear contr…
▽ More
Contextuality - the obstruction to describing quantum mechanics in a classical statistical way - has been proposed as a resource that powers quantum computing. The measurement-based model provides a concrete manifestation of contextuality as a computational resource, as follows. If local measurements on a multi-qubit state can be used to evaluate non-linear boolean functions with only linear control processing, then this computation constitutes a proof of strong contextuality - the possible local measurement outcomes cannot all be pre-assigned. However, this connection is restricted to the special case when the local measured systems are qubits, which have unusual properties from the perspective of contextuality. A single qubit cannot allow for a proof of contextuality, unlike higher-dimensional systems, and multiple qubits can allow for state-independent contextuality with only Pauli observables, again unlike higher-dimensional generalisations. Here we identify precisely that strong non-locality is necessary in a qudit measurement-based computation that evaluates high-degree polynomial functions with only linear control. We introduce the concept of local universality, which places a bound on the space of output functions accessible under the constraint of single-qudit measurements. Thus, the partition of a physical system into subsystems plays a crucial role for the increase in computational power. A prominent feature of our setting is that the enabling resources for qubit and qudit measurement-based computations are of the same underlying nature, avoiding the pathologies associated with qubit contextuality.
△ Less
Submitted 24 September, 2018; v1 submitted 19 April, 2018;
originally announced April 2018.
-
Contextuality bounds the efficiency of classical simulation of quantum processes
Authors:
Angela Karanjai,
Joel J. Wallman,
Stephen D. Bartlett
Abstract:
Contextuality has been conjectured to be a super-classical resource for quantum computation, analogous to the role of non-locality as a super-classical resource for communication. We show that the presence of contextuality places a lower bound on the amount of classical memory required to simulate any quantum sub-theory, thereby establishing a quantitative connection between contextuality and clas…
▽ More
Contextuality has been conjectured to be a super-classical resource for quantum computation, analogous to the role of non-locality as a super-classical resource for communication. We show that the presence of contextuality places a lower bound on the amount of classical memory required to simulate any quantum sub-theory, thereby establishing a quantitative connection between contextuality and classical simulability. We apply our result to the qubit stabilizer sub-theory, where the presence of state-independent contextuality has been an obstacle in establishing contextuality as a quantum computational resource. We find that the presence of contextuality in this sub-theory demands that the minimum number of classical bits of memory required to simulate a multi-qubit system must scale quadratically in the number of qubits; notably, this is the same scaling as the Gottesman-Knill algorithm. We contrast this result with the (non-contextual) qudit case, where linear scaling is possible.
△ Less
Submitted 21 February, 2018;
originally announced February 2018.
-
Coupling Two Spin Qubits with a High-Impedance Resonator
Authors:
S. P. Harvey,
C. G. L. Bøttcher,
L. A. Orona,
S. D. Bartlett,
A. C. Doherty,
A. Yacoby
Abstract:
Fast, high-fidelity single and two-qubit gates are essential to building a viable quantum information processor, but achieving both in the same system has proved challenging for spin qubits. We propose and analyze an approach to perform a long-distance two-qubit controlled phase (CPHASE) gate between two singlet-triplet qubits using an electromagnetic resonator to mediate their interaction. The qu…
▽ More
Fast, high-fidelity single and two-qubit gates are essential to building a viable quantum information processor, but achieving both in the same system has proved challenging for spin qubits. We propose and analyze an approach to perform a long-distance two-qubit controlled phase (CPHASE) gate between two singlet-triplet qubits using an electromagnetic resonator to mediate their interaction. The qubits couple longitudinally to the resonator, and by driving the qubits near the resonator's frequency they can be made to acquire a state-dependent geometric phase that leads to a CPHASE gate independent of the initial state of the resonator. Using high impedance resonators enables gate times of order 10 ns while maintaining long coherence times. Simulations show average gate fidelities of over 96% using currently achievable experimental parameters and over 99% using state-of-the-art resonator technology. After optimizing the gate fidelity in terms of parameters tuneable in-situ, we find it takes a simple power-law form in terms of the resonator's impedance and quality and the qubits' noise bath.
△ Less
Submitted 4 June, 2018; v1 submitted 15 January, 2018;
originally announced January 2018.
-
From estimation of quantum probabilities to simulation of quantum circuits
Authors:
Hakop Pashayan,
Stephen D. Bartlett,
David Gross
Abstract:
Investigating the classical simulability of quantum circuits provides a promising avenue towards understanding the computational power of quantum systems. Whether a class of quantum circuits can be efficiently simulated with a probabilistic classical computer, or is provably hard to simulate, depends quite critically on the precise notion of "classical simulation" and in particular on the required…
▽ More
Investigating the classical simulability of quantum circuits provides a promising avenue towards understanding the computational power of quantum systems. Whether a class of quantum circuits can be efficiently simulated with a probabilistic classical computer, or is provably hard to simulate, depends quite critically on the precise notion of "classical simulation" and in particular on the required accuracy. We argue that a notion of classical simulation, which we call epsilon-simulation, captures the essence of possessing "equivalent computational power" as the quantum system it simulates: It is statistically impossible to distinguish an agent with access to an epsilon-simulator from one possessing the simulated quantum system. We relate epsilon-simulation to various alternative notions of simulation predominantly focusing on a simulator we call a poly-box. A poly-box outputs 1/poly precision additive estimates of Born probabilities and marginals. This notion of simulation has gained prominence through a number of recent simulability results. Accepting some plausible computational theoretic assumptions, we show that epsilon-simulation is strictly stronger than a poly-box by showing that IQP circuits and unconditioned magic-state injected Clifford circuits are both hard to epsilon-simulate and yet admit a poly-box. In contrast, we also show that these two notions are equivalent under an additional assumption on the sparsity of the output distribution (poly-sparsity).
△ Less
Submitted 7 January, 2020; v1 submitted 7 December, 2017;
originally announced December 2017.
-
Locality-Preserving Logical Operators in Topological Stabiliser Codes
Authors:
Paul Webster,
Stephen D. Bartlett
Abstract:
Locality-preserving logical operators in topological codes are naturally fault-tolerant, since they preserve the correctability of local errors. Using a correspondence between such operators and gapped domain walls, we describe a procedure for finding all locality-preserving logical operators admitted by a large and important class of topological stabiliser codes. In particular, we focus on those…
▽ More
Locality-preserving logical operators in topological codes are naturally fault-tolerant, since they preserve the correctability of local errors. Using a correspondence between such operators and gapped domain walls, we describe a procedure for finding all locality-preserving logical operators admitted by a large and important class of topological stabiliser codes. In particular, we focus on those equivalent to a stack of a finite number of surface codes of any spatial dimension, where our procedure fully specifies the group of locality-preserving logical operators. We also present examples of how our procedure applies to codes with different boundary conditions, including colour codes and toric codes, as well as more general codes such as abelian quantum double models and codes with fermionic excitations in more than two dimensions.
△ Less
Submitted 24 January, 2018; v1 submitted 31 August, 2017;
originally announced September 2017.
-
Tensor Networks with a Twist: Anyon-permuting domain walls and defects in PEPS
Authors:
Jacob C. Bridgeman,
Stephen D. Bartlett,
Andrew C. Doherty
Abstract:
We study the realization of anyon-permuting symmetries of topological phases on the lattice using tensor networks. Working on the virtual level of a projected entangled pair state, we find matrix product operators (MPOs) that realize all unitary topological symmetries for the toric and color codes. These operators act as domain walls that enact the symmetry transformation on anyons as they cross.…
▽ More
We study the realization of anyon-permuting symmetries of topological phases on the lattice using tensor networks. Working on the virtual level of a projected entangled pair state, we find matrix product operators (MPOs) that realize all unitary topological symmetries for the toric and color codes. These operators act as domain walls that enact the symmetry transformation on anyons as they cross. By considering open boundary conditions for these domain wall MPOs, we show how to introduce symmetry twists and defect lines into the state.
△ Less
Submitted 14 December, 2017; v1 submitted 29 August, 2017;
originally announced August 2017.
-
Ultrahigh Error Threshold for Surface Codes with Biased Noise
Authors:
David K. Tuckett,
Stephen D. Bartlett,
Steven T. Flammia
Abstract:
We show that a simple modification of the surface code can exhibit an enormous gain in the error correction threshold for a noise model in which Pauli Z errors occur more frequently than X or Y errors. Such biased noise, where dephasing dominates, is ubiquitous in many quantum architectures. In the limit of pure dephasing noise we find a threshold of 43.7(1)% using a tensor network decoder propose…
▽ More
We show that a simple modification of the surface code can exhibit an enormous gain in the error correction threshold for a noise model in which Pauli Z errors occur more frequently than X or Y errors. Such biased noise, where dephasing dominates, is ubiquitous in many quantum architectures. In the limit of pure dephasing noise we find a threshold of 43.7(1)% using a tensor network decoder proposed by Bravyi, Suchara and Vargo. The threshold remains surprisingly large in the regime of realistic noise bias ratios, for example 28.2(2)% at a bias of 10. The performance is in fact at or near the hashing bound for all values of the bias. The modified surface code still uses only weight-4 stabilizers on a square lattice, but merely requires measuring products of Y instead of Z around the faces, as this doubles the number of useful syndrome bits associated with the dominant Z errors. Our results demonstrate that large efficiency gains can be found by appropriately tailoring codes and decoders to realistic noise models, even under the locality constraints of topological codes.
△ Less
Submitted 5 February, 2018; v1 submitted 28 August, 2017;
originally announced August 2017.
-
Long-range entanglement for spin qubits via quantum Hall edge modes
Authors:
Samuel J. Elman,
Stephen D. Bartlett,
Andrew C. Doherty
Abstract:
We propose and analyse a scheme for performing a long-range entangling gate for qubits encoded in electron spins trapped in semiconductor quantum dots. Our coupling makes use of an electrostatic interaction between the state-dependent charge configurations of a singlet-triplet qubit and the edge modes of a quantum Hall droplet. We show that distant singlet-triplet qubits can be selectively coupled…
▽ More
We propose and analyse a scheme for performing a long-range entangling gate for qubits encoded in electron spins trapped in semiconductor quantum dots. Our coupling makes use of an electrostatic interaction between the state-dependent charge configurations of a singlet-triplet qubit and the edge modes of a quantum Hall droplet. We show that distant singlet-triplet qubits can be selectively coupled, with gate times that can be much shorter than qubit dephasing times and faster than decoherence due to coupling to the edge modes. Based on parameters from recent experiments, we argue that fidelities above 99% could in principle be achieved for a two-qubit entangling gate taking as little as 20 ns.
△ Less
Submitted 5 September, 2017; v1 submitted 29 June, 2017;
originally announced June 2017.
-
Tailored codes for small quantum memories
Authors:
Alan Robertson,
Christopher Granade,
Stephen D. Bartlett,
Steven T. Flammia
Abstract:
We demonstrate that small quantum memories, realized via quantum error correction in multi-qubit devices, can benefit substantially by choosing a quantum code that is tailored to the relevant error model of the system. For a biased noise model, with independent bit and phase flips occurring at different rates, we show that a single code greatly outperforms the well-studied Steane code across the f…
▽ More
We demonstrate that small quantum memories, realized via quantum error correction in multi-qubit devices, can benefit substantially by choosing a quantum code that is tailored to the relevant error model of the system. For a biased noise model, with independent bit and phase flips occurring at different rates, we show that a single code greatly outperforms the well-studied Steane code across the full range of parameters of the noise model, including for unbiased noise. In fact, this tailored code performs almost optimally when compared with 10,000 randomly selected stabilizer codes of comparable experimental complexity. Tailored codes can even outperform the Steane code with realistic experimental noise, and without any increase in the experimental complexity, as we demonstrate by comparison in the observed error model in a recent 7-qubit trapped ion experiment.
△ Less
Submitted 7 December, 2017; v1 submitted 23 March, 2017;
originally announced March 2017.
-
Topological proofs of contextuality in quantum mechanics
Authors:
Cihan Okay,
Sam Roberts,
Stephen D. Bartlett,
Robert Raussendorf
Abstract:
We provide a cohomological framework for contextuality of quantum mechanics that is suited to describing contextuality as a resource in measurement-based quantum computation. This framework applies to the parity proofs first discussed by Mermin, as well as a different type of contextuality proofs based on symmetry transformations. The topological arguments presented can be used in the state-depend…
▽ More
We provide a cohomological framework for contextuality of quantum mechanics that is suited to describing contextuality as a resource in measurement-based quantum computation. This framework applies to the parity proofs first discussed by Mermin, as well as a different type of contextuality proofs based on symmetry transformations. The topological arguments presented can be used in the state-dependent and the state-independent case.
△ Less
Submitted 16 October, 2017; v1 submitted 7 January, 2017;
originally announced January 2017.
-
Symmetry protected topological order at nonzero temperature
Authors:
Sam Roberts,
Beni Yoshida,
Aleksander Kubica,
Stephen D. Bartlett
Abstract:
We address the question of whether symmetry-protected topological (SPT) order can persist at nonzero temperature, with a focus on understanding the thermal stability of several models studied in the theory of quantum computation. We present three results in this direction. First, we prove that nontrivial SPT order protected by a global on-site symmetry cannot persist at nonzero temperature, demons…
▽ More
We address the question of whether symmetry-protected topological (SPT) order can persist at nonzero temperature, with a focus on understanding the thermal stability of several models studied in the theory of quantum computation. We present three results in this direction. First, we prove that nontrivial SPT order protected by a global on-site symmetry cannot persist at nonzero temperature, demonstrating that several quantum computational structures protected by such on-site symmetries are not thermally stable. Second, we prove that the 3D cluster state model used in the formulation of topological measurement-based quantum computation possesses a nontrivial SPT-ordered thermal phase when protected by a global generalized (1-form) symmetry. The SPT order in this model is detected by long-range localizable entanglement in the thermal state, which compares with related results characterizing SPT order at zero temperature in spin chains using localizable entanglement as an order parameter. Our third result is to demonstrate that the high error tolerance of this 3D cluster state model for quantum computation, even without a protecting symmetry, can be understood as an application of quantum error correction to effectively enforce a 1-form symmetry.
△ Less
Submitted 7 August, 2017; v1 submitted 16 November, 2016;
originally announced November 2016.
-
Contextuality under weak assumptions
Authors:
Andrew W. Simmons,
Joel J. Wallman,
Hakop Pashayan,
Stephen D. Bartlett,
Terry Rudolph
Abstract:
The presence of contextuality in quantum theory was first highlighted by Bell, Kochen and Specker, who discovered that for quantum systems of three or more dimensions, measurements cannot be viewed as revealing pre-existing properties of the system. More precisely, no model can assign deterministic outcomes to the projectors of a quantum measurement in a way that depends only on the projector and…
▽ More
The presence of contextuality in quantum theory was first highlighted by Bell, Kochen and Specker, who discovered that for quantum systems of three or more dimensions, measurements cannot be viewed as revealing pre-existing properties of the system. More precisely, no model can assign deterministic outcomes to the projectors of a quantum measurement in a way that depends only on the projector and not the context (the full set of projectors) in which it appeared, despite the fact that the Born rule probabilities associated with projectors are independent of the context. A more general, operational definition of contextuality introduced by Spekkens, which we will term "probabilistic contextuality", drops the assumption of determinism and allows for operations other than measurements to be considered contextual. Probabilistic noncontextuality represents the postulate that elements of an operational theory that cannot be distinguished from each other based on the statistics of arbitrarily many repeated experiments are ontologically identical. In this paper, we introduce a framework that enables us to distinguish between different noncontextuality assumptions in terms of the relationships between the ontological representations of objects in the theory given a certain relation between their operational representations. This framework can be used to motivate and define a "possibilistic" analogue, encapsulating the idea that elements of an operational theory that cannot be unambiguously distinguished operationally can also not be unambiguously distinguished ontologically. We then prove that possibilistic noncontextuality is equivalent to an alternative notion proposed by Hardy. Finally, we demonstrate that these weaker noncontextuality assumptions are sufficient to prove alternative versions of known "no-go" theorems that constrain $ψ$-epistemic models for quantum mechanics.
△ Less
Submitted 6 April, 2017; v1 submitted 21 October, 2016;
originally announced October 2016.