Proceedings of the 50th Annual International Symposium on Computer Architecture
Superconducting quantum devices are a leading technology for quantum computation, but they suffer... more Superconducting quantum devices are a leading technology for quantum computation, but they suffer from several challenges. Gate errors, coherence errors and a lack of connectivity all contribute to low fidelity results. In particular, connectivity restrictions enforce a gate set that requires three-qubit gates to be decomposed into one-or two-qubit gates. This substantially increases the number of two-qubit gates that need to be executed. However, many quantum devices have access to higher energy levels. We can expand the qubit abstraction of |0⟩ and |1⟩ to a ququart which has access to the |2⟩ and |3⟩ state, but with shorter coherence times. This allows for two qubits to be encoded in one ququart, enabling increased virtual connectivity between physical units from two adjacent qubits to four fully connected qubits. This connectivity scheme allows us to more efficiently execute three-qubit gates natively between two physical devices. We present direct-to-pulse implementations of several threequbit gates, synthesized via optimal control, for compilation of three-qubit gates onto a superconducting-based architecture with access to four-level devices with the first experimental demonstration of four-level ququart gates designed through optimal control. We demonstrate strategies that temporarily use higher level states to perform Toffoli gates and always use higher level states to improve fidelities for quantum circuits. We find that these methods improve expected fidelities with increases of 2x across circuit sizes using intermediate encoding, and increases of 3x for fully-encoded ququart compilation.
Large-scale quantum computers will inevitably need quantum error correction to protect informatio... more Large-scale quantum computers will inevitably need quantum error correction to protect information against decoherence. Traditional error correction typically requires many qubits, along with high-efficiency error syndrome measurement and real-time feedback. Autonomous quantum error correction (AQEC) instead uses steady-state bath engineering to perform the correction in a hardware-efficient manner. We develop and realize an AQEC scheme with transmons, that actively corrects single-photon loss and passively suppresses low-frequency dephasing. Compared to uncorrected encoding, factors of 2.0, 5.1, and 1.4 improvements are experimentally witnessed for the logical zero, one, and superposition states. Our results show the potential of implementing hardware-efficient AQEC to enhance the reliability of a transmon-based quantum information processor.
Large-scale quantum computers will inevitably need quantum error correction (QEC) to protect info... more Large-scale quantum computers will inevitably need quantum error correction (QEC) to protect information against decoherence. Given that the overhead of such error correction is often formidable, autonomous quantum error correction (AQEC) proposals offer a promising near-term alternative. AQEC schemes work by transforming error states into excitations that can be efficiently removed through engineered dissipation. The recently proposed AQEC scheme by Li et al., called the Star code, can autonomously correct or suppress all single qubit error channels using two transmons as encoders with a tunable coupler and two lossy resonators as a cooling source. The Star code requires only two-photon interactions and can be realized with linear coupling elements, avoiding experimentally challenging higher-order terms needed in many other AQEC proposals, but needs carefully selected parameters to achieve quadratic improvements in logical states' lifetimes. Here, we theoretically and numerically demonstrate the optimal parameter choices in the Star Code. We further discuss adapting the Star code to other planar superconducting circuits, which offers a scalable alternative to single qubits for incorporation in larger quantum computers or error correction codes.
We introduce a simple, widely applicable formalism for designing "error-divisible" two qubit gate... more We introduce a simple, widely applicable formalism for designing "error-divisible" two qubit gates: a quantum gate set where fractional rotations have proportionally reduced error compared to the full entangling gate. In current noisy intermediate-scale quantum (NISQ) algorithms, performance is largely constrained by error proliferation at high circuit depths, of which two-qubit gate error is generally the dominant contribution. Further, in many hardware implementations, arbitrary two-qubit rotations must be composed from multiple two-qubit stock gates, further increasing error. This work introduces a set of criteria, and example waveforms and protocols to satisfy them, using superconducting qubits with tunable couplers for constructing continuous gate sets with significantly reduced leakage and dynamic ZZ errors for small-angle rotations. If implemented at scale, NISQ algorithm performance would be significantly improved by our error-divisible gate protocols.
Tomography is an indispensable part of quantum computation as it enables diagnosis of a quantum p... more Tomography is an indispensable part of quantum computation as it enables diagnosis of a quantum process through state reconstruction. Existing tomographic protocols are based on determining expectation values of various Pauli operators which typically require single-qubit rotations. However, in realistic systems, qubits often develop some form of unavoidable stray coupling making it difficult to manipulate one qubit independent of its partners. Consequently, standard protocols applied to those systems result in unfaithful reproduction of the true quantum state. We have developed a protocol, called coupling compensated tomography, that can correct for errors due to parasitic couplings completely in software and accurately determine the quantum state. We demonstrate the performance of our scheme on a system of two transmon qubits with always-on ZZ coupling. Our technique is a generic tomography tool that can be applied to large systems with different types of stray inter-qubit couplings and facilitates the use of arbitrary tomography pulses and even non-orthogonal axes of rotation.
Grover's quantum search algorithm provides a quadratic quantum advantage over classical algorithm... more Grover's quantum search algorithm provides a quadratic quantum advantage over classical algorithms across a broad class of unstructured search problems. The original protocol is probabilistic, returning the desired result with significant probability on each query, but in general, requiring several iterations of the algorithm. We present a modified version to return the correct result with certainty without having user control over the quantum search oracle. Our deterministic, twoparameter "D2p" protocol utilizes generalized phase rotations replacing the phase inversions after a standard oracle query. The D2p protocol achieves a 100% success rate in no more than one additional iteration compared to the optimal number of steps in the original Grover's search enabling the same quadratic speed up. We also provide a visualization using the Bloch sphere for enhanced geometric intuition.
We present an impedance engineered Josephson parametric amplifier capable of providing bandwidth ... more We present an impedance engineered Josephson parametric amplifier capable of providing bandwidth beyond the traditional gain-bandwidth product. We achieve this by introducing a positive linear slope in the imaginary component of the input impedance seen by the Josephson oscillator using a λ/2 transformer. Our theoretical model predicts an extremely flat gain profile with a bandwidth enhancement proportional to the square root of amplitude gain. We experimentally demonstrate a nearly flat 20 dB gain over a 640 MHz band, along with a mean 1-dB compression point of −110 dBm and near quantum-limited noise. The results are in a good agreement with our theoretical model.
Proceedings of the 50th Annual International Symposium on Computer Architecture
Superconducting quantum devices are a leading technology for quantum computation, but they suffer... more Superconducting quantum devices are a leading technology for quantum computation, but they suffer from several challenges. Gate errors, coherence errors and a lack of connectivity all contribute to low fidelity results. In particular, connectivity restrictions enforce a gate set that requires three-qubit gates to be decomposed into one-or two-qubit gates. This substantially increases the number of two-qubit gates that need to be executed. However, many quantum devices have access to higher energy levels. We can expand the qubit abstraction of |0⟩ and |1⟩ to a ququart which has access to the |2⟩ and |3⟩ state, but with shorter coherence times. This allows for two qubits to be encoded in one ququart, enabling increased virtual connectivity between physical units from two adjacent qubits to four fully connected qubits. This connectivity scheme allows us to more efficiently execute three-qubit gates natively between two physical devices. We present direct-to-pulse implementations of several threequbit gates, synthesized via optimal control, for compilation of three-qubit gates onto a superconducting-based architecture with access to four-level devices with the first experimental demonstration of four-level ququart gates designed through optimal control. We demonstrate strategies that temporarily use higher level states to perform Toffoli gates and always use higher level states to improve fidelities for quantum circuits. We find that these methods improve expected fidelities with increases of 2x across circuit sizes using intermediate encoding, and increases of 3x for fully-encoded ququart compilation.
Large-scale quantum computers will inevitably need quantum error correction to protect informatio... more Large-scale quantum computers will inevitably need quantum error correction to protect information against decoherence. Traditional error correction typically requires many qubits, along with high-efficiency error syndrome measurement and real-time feedback. Autonomous quantum error correction (AQEC) instead uses steady-state bath engineering to perform the correction in a hardware-efficient manner. We develop and realize an AQEC scheme with transmons, that actively corrects single-photon loss and passively suppresses low-frequency dephasing. Compared to uncorrected encoding, factors of 2.0, 5.1, and 1.4 improvements are experimentally witnessed for the logical zero, one, and superposition states. Our results show the potential of implementing hardware-efficient AQEC to enhance the reliability of a transmon-based quantum information processor.
Large-scale quantum computers will inevitably need quantum error correction (QEC) to protect info... more Large-scale quantum computers will inevitably need quantum error correction (QEC) to protect information against decoherence. Given that the overhead of such error correction is often formidable, autonomous quantum error correction (AQEC) proposals offer a promising near-term alternative. AQEC schemes work by transforming error states into excitations that can be efficiently removed through engineered dissipation. The recently proposed AQEC scheme by Li et al., called the Star code, can autonomously correct or suppress all single qubit error channels using two transmons as encoders with a tunable coupler and two lossy resonators as a cooling source. The Star code requires only two-photon interactions and can be realized with linear coupling elements, avoiding experimentally challenging higher-order terms needed in many other AQEC proposals, but needs carefully selected parameters to achieve quadratic improvements in logical states' lifetimes. Here, we theoretically and numerically demonstrate the optimal parameter choices in the Star Code. We further discuss adapting the Star code to other planar superconducting circuits, which offers a scalable alternative to single qubits for incorporation in larger quantum computers or error correction codes.
We introduce a simple, widely applicable formalism for designing "error-divisible" two qubit gate... more We introduce a simple, widely applicable formalism for designing "error-divisible" two qubit gates: a quantum gate set where fractional rotations have proportionally reduced error compared to the full entangling gate. In current noisy intermediate-scale quantum (NISQ) algorithms, performance is largely constrained by error proliferation at high circuit depths, of which two-qubit gate error is generally the dominant contribution. Further, in many hardware implementations, arbitrary two-qubit rotations must be composed from multiple two-qubit stock gates, further increasing error. This work introduces a set of criteria, and example waveforms and protocols to satisfy them, using superconducting qubits with tunable couplers for constructing continuous gate sets with significantly reduced leakage and dynamic ZZ errors for small-angle rotations. If implemented at scale, NISQ algorithm performance would be significantly improved by our error-divisible gate protocols.
Tomography is an indispensable part of quantum computation as it enables diagnosis of a quantum p... more Tomography is an indispensable part of quantum computation as it enables diagnosis of a quantum process through state reconstruction. Existing tomographic protocols are based on determining expectation values of various Pauli operators which typically require single-qubit rotations. However, in realistic systems, qubits often develop some form of unavoidable stray coupling making it difficult to manipulate one qubit independent of its partners. Consequently, standard protocols applied to those systems result in unfaithful reproduction of the true quantum state. We have developed a protocol, called coupling compensated tomography, that can correct for errors due to parasitic couplings completely in software and accurately determine the quantum state. We demonstrate the performance of our scheme on a system of two transmon qubits with always-on ZZ coupling. Our technique is a generic tomography tool that can be applied to large systems with different types of stray inter-qubit couplings and facilitates the use of arbitrary tomography pulses and even non-orthogonal axes of rotation.
Grover's quantum search algorithm provides a quadratic quantum advantage over classical algorithm... more Grover's quantum search algorithm provides a quadratic quantum advantage over classical algorithms across a broad class of unstructured search problems. The original protocol is probabilistic, returning the desired result with significant probability on each query, but in general, requiring several iterations of the algorithm. We present a modified version to return the correct result with certainty without having user control over the quantum search oracle. Our deterministic, twoparameter "D2p" protocol utilizes generalized phase rotations replacing the phase inversions after a standard oracle query. The D2p protocol achieves a 100% success rate in no more than one additional iteration compared to the optimal number of steps in the original Grover's search enabling the same quadratic speed up. We also provide a visualization using the Bloch sphere for enhanced geometric intuition.
We present an impedance engineered Josephson parametric amplifier capable of providing bandwidth ... more We present an impedance engineered Josephson parametric amplifier capable of providing bandwidth beyond the traditional gain-bandwidth product. We achieve this by introducing a positive linear slope in the imaginary component of the input impedance seen by the Josephson oscillator using a λ/2 transformer. Our theoretical model predicts an extremely flat gain profile with a bandwidth enhancement proportional to the square root of amplitude gain. We experimentally demonstrate a nearly flat 20 dB gain over a 640 MHz band, along with a mean 1-dB compression point of −110 dBm and near quantum-limited noise. The results are in a good agreement with our theoretical model.
Uploads
Papers by Tanay Roy