-
Superconducting processor design optimization for quantum error correction performance
Authors:
Xiaotong Ni,
Ziang Wang,
Rui Chao,
Jianxin Chen
Abstract:
In the quest for fault-tolerant quantum computation using superconducting processors, accurate performance assessment and continuous design optimization stands at the forefront. To facilitate both meticulous simulation and streamlined design optimization, we introduce a multi-level simulation framework that spans both Hamiltonian and quantum error correction levels, and is equipped with the capabi…
▽ More
In the quest for fault-tolerant quantum computation using superconducting processors, accurate performance assessment and continuous design optimization stands at the forefront. To facilitate both meticulous simulation and streamlined design optimization, we introduce a multi-level simulation framework that spans both Hamiltonian and quantum error correction levels, and is equipped with the capability to compute gradients efficiently. This toolset aids in design optimization, tailored to specific objectives like quantum memory performance. Within our framework, we investigate the often-neglected spatially correlated unitary errors, highlighting their significant impact on logical error rates. We exemplify our approach through the multi-path coupling scheme of fluxonium qubits.
△ Less
Submitted 20 March, 2024; v1 submitted 7 December, 2023;
originally announced December 2023.
-
A Classical Architecture For Digital Quantum Computers
Authors:
Fang Zhang,
Xing Zhu,
Rui Chao,
Cupjin Huang,
Linghang Kong,
Guoyang Chen,
Dawei Ding,
Haishan Feng,
Yihuai Gao,
Xiaotong Ni,
Liwei Qiu,
Zhe Wei,
Yueming Yang,
Yang Zhao,
Yaoyun Shi,
Weifeng Zhang,
Peng Zhou,
Jianxin Chen
Abstract:
Scaling bottlenecks the making of digital quantum computers, posing challenges from both the quantum and the classical components. We present a classical architecture to cope with a comprehensive list of the latter challenges {\em all at once}, and implement it fully in an end-to-end system by integrating a multi-core RISC-V CPU with our in-house control electronics.
Our architecture enables sca…
▽ More
Scaling bottlenecks the making of digital quantum computers, posing challenges from both the quantum and the classical components. We present a classical architecture to cope with a comprehensive list of the latter challenges {\em all at once}, and implement it fully in an end-to-end system by integrating a multi-core RISC-V CPU with our in-house control electronics.
Our architecture enables scalable, high-precision control of large quantum processors and accommodates evolving requirements of quantum hardware. A central feature is a microarchitecture executing quantum operations in parallel on arbitrary predefined qubit groups. Another key feature is a reconfigurable quantum instruction set that supports easy qubit re-grouping and instructions extensions.
As a demonstration, we implement the widely-studied surface code quantum computing workflow, which is instructive for being demanding on both the controllers and the integrated classical computation. Our design, for the first time, reduces instruction issuing and transmission costs to constants, which do not scale with the number of qubits, without adding any overheads in decoding or dispatching.
Rather than relying on specialized hardware for syndrome decoding, our system uses a dedicated multi-core CPU for both qubit control and classical computation, including syndrome decoding. This simplifies the system design and facilitates load-balancing between the quantum and classical components. We implement recent proposals as decoding firmware on a RISC-V system-on-chip (SoC) that parallelizes general inner decoders. By using our in-house Union-Find and PyMatching 2 implementations, we can achieve unprecedented decoding capabilities of up to distances 47 and 67 with the currently available SoCs, under realistic and optimistic assumptions of physical error rate $p=0.001 and p=0.0001, respectively, all in just 1 \textmu s.
△ Less
Submitted 23 May, 2023;
originally announced May 2023.
-
Scalable surface code decoders with parallelization in time
Authors:
Xinyu Tan,
Fang Zhang,
Rui Chao,
Yaoyun Shi,
Jianxin Chen
Abstract:
Fast classical processing is essential for most quantum fault-tolerance architectures. We introduce a sliding-window decoding scheme that provides fast classical processing for the surface code through parallelism. Our scheme divides the syndromes in spacetime into overlapping windows along the time direction, which can be decoded in parallel with any inner decoder. With this parallelism, our sche…
▽ More
Fast classical processing is essential for most quantum fault-tolerance architectures. We introduce a sliding-window decoding scheme that provides fast classical processing for the surface code through parallelism. Our scheme divides the syndromes in spacetime into overlapping windows along the time direction, which can be decoded in parallel with any inner decoder. With this parallelism, our scheme can solve the decoding throughput problem as the code scales up, even if the inner decoder is slow. When using min-weight perfect matching and union-find as the inner decoders, we observe circuit-level thresholds of $0.68\%$ and $0.55\%$, respectively, which are almost identical to $0.70\%$ and $0.55\%$ for the batch decoding.
△ Less
Submitted 29 September, 2022; v1 submitted 19 September, 2022;
originally announced September 2022.
-
Optimization of the surface code design for Majorana-based qubits
Authors:
Rui Chao,
Michael E. Beverland,
Nicolas Delfosse,
Jeongwan Haah
Abstract:
The surface code is a prominent topological error-correcting code exhibiting high fault-tolerance accuracy thresholds. Conventional schemes for error correction with the surface code place qubits on a planar grid and assume native CNOT gates between the data qubits with nearest-neighbor ancilla qubits.
Here, we present surface code error-correction schemes using $\textit{only}$ Pauli measurement…
▽ More
The surface code is a prominent topological error-correcting code exhibiting high fault-tolerance accuracy thresholds. Conventional schemes for error correction with the surface code place qubits on a planar grid and assume native CNOT gates between the data qubits with nearest-neighbor ancilla qubits.
Here, we present surface code error-correction schemes using $\textit{only}$ Pauli measurements on single qubits and on pairs of nearest-neighbor qubits. In particular, we provide several qubit layouts that offer favorable trade-offs between qubit overhead, circuit depth and connectivity degree. We also develop minimized measurement sequences for syndrome extraction, enabling reduced logical error rates and improved fault-tolerance thresholds.
Our work applies to topologically protected qubits realized with Majorana zero modes and to similar systems in which multi-qubit Pauli measurements rather than CNOT gates are the native operations.
△ Less
Submitted 26 October, 2020; v1 submitted 1 July, 2020;
originally announced July 2020.
-
Finding Angles for Quantum Signal Processing with Machine Precision
Authors:
Rui Chao,
Dawei Ding,
Andras Gilyen,
Cupjin Huang,
Mario Szegedy
Abstract:
We describe an algorithm for finding angle sequences in quantum signal processing, with a novel component we call halving based on a new algebraic uniqueness theorem, and another we call capitalization. We present both theoretical and experimental results that demonstrate the performance of the new algorithm. In particular, these two algorithmic ideas allow us to find sequences of more than 3000 a…
▽ More
We describe an algorithm for finding angle sequences in quantum signal processing, with a novel component we call halving based on a new algebraic uniqueness theorem, and another we call capitalization. We present both theoretical and experimental results that demonstrate the performance of the new algorithm. In particular, these two algorithmic ideas allow us to find sequences of more than 3000 angles within 5 minutes for important applications such as Hamiltonian simulation, all in standard double precision arithmetic. This is native to almost all hardware.
△ Less
Submitted 8 March, 2020; v1 submitted 5 March, 2020;
originally announced March 2020.
-
Quantum dimension test using the uncertainty principle
Authors:
Rui Chao,
Ben W. Reichardt
Abstract:
We propose a test for certifying the dimension of a quantum system: store in it a random $n$-bit string, in either the computational or the Hadamard basis, and later check that the string can be mostly recovered. The protocol tolerates noise, and the verifier only needs to prepare one-qubit states. The analysis is based on uncertainty relations in the presence of quantum memory, due to Berta et al…
▽ More
We propose a test for certifying the dimension of a quantum system: store in it a random $n$-bit string, in either the computational or the Hadamard basis, and later check that the string can be mostly recovered. The protocol tolerates noise, and the verifier only needs to prepare one-qubit states. The analysis is based on uncertainty relations in the presence of quantum memory, due to Berta et al. (2010).
△ Less
Submitted 27 February, 2020;
originally announced February 2020.
-
Flag fault-tolerant error correction for any stabilizer code
Authors:
Rui Chao,
Ben W. Reichardt
Abstract:
Conventional fault-tolerant quantum error-correction schemes require a number of extra qubits that grows linearly with the code's maximum stabilizer generator weight. For some common distance-three codes, the recent "flag paradigm" uses just two extra qubits. Chamberland and Beverland (2018) provide a framework for flag error correction of arbitrary-distance codes. However, their construction requ…
▽ More
Conventional fault-tolerant quantum error-correction schemes require a number of extra qubits that grows linearly with the code's maximum stabilizer generator weight. For some common distance-three codes, the recent "flag paradigm" uses just two extra qubits. Chamberland and Beverland (2018) provide a framework for flag error correction of arbitrary-distance codes. However, their construction requires conditions that only some code families are known to satisfy. We give a flag error-correction scheme that works for any stabilizer code, unconditionally. With fast qubit measurement and reset, it uses $d+1$ extra qubits for a distance-$d$ code.
△ Less
Submitted 19 December, 2019;
originally announced December 2019.
-
Permutation-invariant constant-excitation quantum codes for amplitude damping
Authors:
Yingkai Ouyang,
Rui Chao
Abstract:
The increasing interest in using quantum error correcting codes in practical devices has heightened the need for designing quantum error correcting codes that can correct against specialized errors, such as that of amplitude damping errors which model photon loss. Although considerable research has been devoted to quantum error correcting codes for amplitude damping, not so much attention has been…
▽ More
The increasing interest in using quantum error correcting codes in practical devices has heightened the need for designing quantum error correcting codes that can correct against specialized errors, such as that of amplitude damping errors which model photon loss. Although considerable research has been devoted to quantum error correcting codes for amplitude damping, not so much attention has been paid to having these codes simultaneously lie within the decoherence free subspace of their underlying physical system. One common physical system comprises of quantum harmonic oscillators, and constant-excitation quantum codes can be naturally stabilized within them. The purpose of this paper is to give constant-excitation quantum codes that not only correct amplitude damping errors, but are also immune against permutations of their underlying modes. To construct such quantum codes, we use the nullspace of a specially constructed matrix based on integer partitions.
△ Less
Submitted 28 November, 2019; v1 submitted 26 September, 2018;
originally announced September 2018.
-
Test to separate quantum theory from non-signaling theories
Authors:
Rui Chao,
Ben W. Reichardt
Abstract:
A Bell test separates quantum mechanics from a classical, local realist theory of physics. However, a Bell test cannot separate quantum physics from all classical theories. Classical devices supplemented with non-signaling correlations, e.g., the Popescu-Rohrlich "nonlocal box," can pass a Bell test with probability at least as high as any quantum devices can. After all, quantum entanglement does…
▽ More
A Bell test separates quantum mechanics from a classical, local realist theory of physics. However, a Bell test cannot separate quantum physics from all classical theories. Classical devices supplemented with non-signaling correlations, e.g., the Popescu-Rohrlich "nonlocal box," can pass a Bell test with probability at least as high as any quantum devices can. After all, quantum entanglement does not allow for signaling faster than the speed of light, so in a sense is a weaker special case of non-signaling correlations. It could be that underneath quantum mechanics is a deeper non-signaling theory.
We present a test to separate quantum theory from powerful non-signaling theories. The test extends the CHSH game to involve three space-like separated devices. Quantum devices sharing a three-qubit GHZ state can pass the test with probability 5.1% higher than classical devices sharing arbitrary non-signaling correlations between pairs.
More generally, we give a test that k space-like separated quantum devices can pass with higher probability than classical devices sharing arbitrary (k-1)-local non-signaling correlations.
△ Less
Submitted 6 June, 2017;
originally announced June 2017.
-
Fault-tolerant quantum computation with few qubits
Authors:
Rui Chao,
Ben W. Reichardt
Abstract:
Reliable qubits are difficult to engineer, but standard fault-tolerance schemes use seven or more physical qubits to encode each logical qubit, with still more qubits required for error correction. The large overhead makes it hard to experiment with fault-tolerance schemes with multiple encoded qubits.
The 15-qubit Hamming code protects seven encoded qubits to distance three. We give fault-toler…
▽ More
Reliable qubits are difficult to engineer, but standard fault-tolerance schemes use seven or more physical qubits to encode each logical qubit, with still more qubits required for error correction. The large overhead makes it hard to experiment with fault-tolerance schemes with multiple encoded qubits.
The 15-qubit Hamming code protects seven encoded qubits to distance three. We give fault-tolerant procedures for applying arbitrary Clifford operations on these encoded qubits, using only two extra qubits, 17 total. In particular, individual encoded qubits within the code block can be targeted. Fault-tolerant universal computation is possible with four extra qubits, 19 total. The procedures could enable testing more sophisticated protected circuits in small-scale quantum devices.
Our main technique is to use gadgets to protect gates against correlated faults. We also take advantage of special code symmetries, and use pieceable fault tolerance.
△ Less
Submitted 15 May, 2017;
originally announced May 2017.
-
Quantum error correction with only two extra qubits
Authors:
Rui Chao,
Ben W. Reichardt
Abstract:
Noise rates in quantum computing experiments have dropped dramatically, but reliable qubits remain precious. Fault-tolerance schemes with minimal qubit overhead are therefore essential. We introduce fault-tolerant error-correction procedures that use only two ancilla qubits. The procedures are based on adding "flags" to catch the faults that can lead to correlated errors on the data. They work for…
▽ More
Noise rates in quantum computing experiments have dropped dramatically, but reliable qubits remain precious. Fault-tolerance schemes with minimal qubit overhead are therefore essential. We introduce fault-tolerant error-correction procedures that use only two ancilla qubits. The procedures are based on adding "flags" to catch the faults that can lead to correlated errors on the data. They work for various distance-three codes.
In particular, our scheme allows one to test the [[5,1,3]] code, the smallest error-correcting code, using only seven qubits total. Our techniques also apply to the [[7,1,3]] and [[15,7,3]] Hamming codes, thus allowing to protect seven encoded qubits on a device with only 17 physical qubits.
△ Less
Submitted 5 May, 2017;
originally announced May 2017.
-
Overlapping qubits
Authors:
Rui Chao,
Ben W. Reichardt,
Chris Sutherland,
Thomas Vidick
Abstract:
An ideal system of $n$ qubits has $2^n$ dimensions. This exponential grants power, but also hinders characterizing the system's state and dynamics. We study a new problem: the qubits in a physical system might not be independent. They can "overlap," in the sense that an operation on one qubit slightly affects the others.
We show that allowing for slight overlaps, $n$ qubits can fit in just polyn…
▽ More
An ideal system of $n$ qubits has $2^n$ dimensions. This exponential grants power, but also hinders characterizing the system's state and dynamics. We study a new problem: the qubits in a physical system might not be independent. They can "overlap," in the sense that an operation on one qubit slightly affects the others.
We show that allowing for slight overlaps, $n$ qubits can fit in just polynomially many dimensions. (Defined in a natural way, all pairwise overlaps can be $\leq ε$ in $n^{O(1/ε^2)}$ dimensions.) Thus, even before considering issues like noise, a real system of $n$ qubits might inherently lack any potential for exponential power.
On the other hand, we also provide an efficient test to certify exponential dimensionality. Unfortunately, the test is sensitive to noise. It is important to devise more robust tests on the arrangements of qubits in quantum devices.
△ Less
Submitted 4 January, 2017;
originally announced January 2017.
-
Test for a large amount of entanglement, using few measurements
Authors:
Rui Chao,
Ben W. Reichardt,
Chris Sutherland,
Thomas Vidick
Abstract:
Bell-inequality violations establish that two systems share some quantum entanglement. We give a simple test to certify that two systems share an asymptotically large amount of entanglement, n EPR states. The test is efficient: unlike earlier tests that play many games, in sequence or in parallel, our test requires only one or two CHSH games. One system is directed to play a CHSH game on a random…
▽ More
Bell-inequality violations establish that two systems share some quantum entanglement. We give a simple test to certify that two systems share an asymptotically large amount of entanglement, n EPR states. The test is efficient: unlike earlier tests that play many games, in sequence or in parallel, our test requires only one or two CHSH games. One system is directed to play a CHSH game on a random specified qubit i, and the other is told to play games on qubits {i,j}, without knowing which index is i.
The test is robust: a success probability within delta of optimal guarantees distance O(n^{5/2} sqrt{delta}) from n EPR states. However, the test does not tolerate constant delta; it breaks down for delta = Omega~(1/sqrt{n}). We give an adversarial strategy that succeeds within delta of the optimum probability using only O~(delta^{-2}) EPR states.
△ Less
Submitted 29 August, 2018; v1 submitted 3 October, 2016;
originally announced October 2016.
-
Superactivation of quantum gyroscopes
Authors:
Giulio Chiribella,
Rui Chao,
Yuxiang Yang
Abstract:
Quantum particles with spin are the most elementary gyroscopes existing in nature. Can two such gyroscopes help two distant observers find out their relative orientation in space? Here we show that a single pair of gyroscopes in an EPR state gives little clue about the relative orientation, but when two or more EPR pairs are used in parallel, suddenly a common reference frame emerges, with an erro…
▽ More
Quantum particles with spin are the most elementary gyroscopes existing in nature. Can two such gyroscopes help two distant observers find out their relative orientation in space? Here we show that a single pair of gyroscopes in an EPR state gives little clue about the relative orientation, but when two or more EPR pairs are used in parallel, suddenly a common reference frame emerges, with an error that drops quickly with the size of the system, beating than the best classical scaling already for small number of copies. This activation phenomenon indicates the presence of a latent resource hidden into EPR correlations, which can be unlocked and turned into advantage when multiple copies are available.
△ Less
Submitted 12 November, 2014;
originally announced November 2014.