No full-text available
To read the full-text of this research,
you can request a copy directly from the authors.
Two-Qubit Operations for Finite-Energy Gottesman-Kitaev-Preskill Encodings
Abstract
We present techniques for performing two-qubit gates on Gottesman-Kitaev-Preskill (GKP) codes with finite energy, and find that operations designed for ideal infinite-energy codes create undesired entanglement when applied to physically realistic states. We demonstrate that this can be mitigated using recently developed local error-correction protocols, and evaluate the resulting performance. We also propose energy-conserving finite-energy gate implementations which largely avoid the need for further correction.
... The present method can be applied to a system having any number of phonons and modes, which has been demonstrated by the numerical simulations of the cancellation of the phonon hopping among local modes. By applying the C3PO to cancel the phonon hopping among all the modes but the chosen set of modes S, we can implement the multi-mode entangling gate for S. It should be noted that the C3PO can be implemented to the boson sampling [7] and the logical two-qubit gate for the GKP state [20]. For the next step for the experimental demonstration of the C3PO, we need to examine possi-ble sources of error such as imperfect control of the phase shift pulse, motional heating, and the vibrational decoherence. ...
... The Hamiltonian of j-th ion is given by H j =p 2 j /(2m) + mω 2 0x 2 j /2, where m is the ion's mass andω 0 is the oscillation angular frequency. The Coulomb interaction between two cations located at positions r 1 and r 2 can be approximated as [20] ...
... The b function defined by Eq. (20) can be specified by the duration T P , the ramp-up and ramp-down time T ud , the strength k, and the width of the error function σ, which we fix to σ = 6. In III, we considered the short (T P = 2.2T 0 = 1.0 µs) and long (T P = 8.8T 0 = 4.0 µs) pulses, where T 0 = 2π/ω 0 = 0.455 µs. ...
The local modes of trapped ions can be used to construct an analog quantum simulator and a digital quantum computer. However, the control of the phonon hopping remains diffi cult because it proceeds among all the local modes through the Coulomb coupling. We propose a method to cancel the phonon hopping among a given set of local modes by applying a sequence of phase shift gates implemented through the modulation of the trap potential. We analyze the error scaling in the algorithm to treat three or more modes and show that the error can be suppressed by repeating the pulse sequence. The duration of the phase shift gate in the present method can be as short as a few microseconds, which is an order of magnitude faster than the laser-based method. This short duration of the phase shift gate facilitates the suppression of the gate error. The present method can be applied to the simulation of bosonic systems as well as to the continuous variable encoding of quantum computing using trapped ions.
... For ∆ ≪ 1, this complicated expression can be written succinctly as |□(∆)⟩ ∝ e −∆ 2n |□⟩, where e −∆ 2n is an envelope operator that restricts the GKP lattice to a ball of radius ∼ ∆ −1 in phase space; see Chapter IV D (and also Refs. [131,132]) for more details about finite-energy GKP states and extension to multiple modes. Also see Ref. [133], where the authors show the equivalence between different mathematical descriptions of finite-energy GKP states. ...
... Thus, in principle, there exists a physical scheme to realize finite-energy stabilizer measurements. Indeed, such a scheme was introduced in Ref. [131] where the authors considered coupling to an auxiliary qubit (transmon) to effectively realize the envelope map; a similar scheme was considered in Ref. [132] to realize finite-energy two-qubit gates. In Chapter V, we discuss details regarding physical realizations of finite-energy stabilization, with a special focus on finite-energy logical operations in Chapter V D. ...
... For Clifford gates, one simple approach is to apply the infinite-energy version of the gate (a Gaussian unitary) followed by many cycles of finite-energy QEC to project the states back onto the finite-energy manifold. An alternative is to engineer gates that directly respect the finite-energy condition, with one approach proposed in [132]. In superconducting circuits, purpose-built couplers must be used to achieve these Gaussian operations without introducing spurious nonlinearities, as discussed in Chapter V C 1. Some promising approaches include using Kerr-free parametric three-wave mixing with a SNAIL (Superconducting Nonlinear Asymmetric Inductive eLement) mixer [23,210,211] or other couplers that could be engineered in a Kerr-free regime [24,68,212]. ...
Encoding quantum information into a set of harmonic oscillators is considered a hardware efficient approach to mitigate noise for reliable quantum information processing. Various codes have been proposed to encode a qubit into an oscillator -- including cat codes, binomial codes and Gottesman-Kitaev-Preskill (GKP) codes. These bosonic codes are among the first to reach a break-even point for quantum error correction. Furthermore, GKP states not only enable close-to-optimal quantum communication rates in bosonic channels, but also allow for error correction of an oscillator into many oscillators. This review focuses on the basic working mechanism, performance characterization, and the many applications of GKP codes, with emphasis on recent experimental progress in superconducting circuit architectures and theoretical progress in multimode GKP qubit codes and oscillators-to-oscillators (O2O) codes. We begin with a preliminary continuous-variable formalism needed for bosonic codes. We then proceed to the quantum engineering involved to physically realize GKP states. We take a deep dive into GKP stabilization and preparation in superconducting architectures and examine proposals for realizing GKP states in the optical domain (along with a concise review of GKP realization in trapped-ion platforms). Finally, we present multimode GKP qubits and GKP-O2O codes, examine code performance and discuss applications of GKP codes in quantum information processing tasks such as computing, communication, and sensing.
... picture is accurate only at low oscillator energies, which is in tension with canonical oscillator encodings that assume weight at infinite energy, such as so-called cat codes [17] and Gottesman-Kitaev-Preskill (GKP) grid codes [18]. The energy extent of these bosonic codes can also impose intrinsic limits on the fidelity of logical operations [19,20]. As alternatives, bosonic encodings such as the binomial codes [21] are designed to have a strictly finite extent in the oscillator Hilbert space. ...
... However, this picture is accurate only at low oscillator energies, which is in tension with canonical oscillator encodings that assume weight at infinite energy, such as so-called cat codes [17] and Gottesman-Kitaev-Preskill (GKP) grid codes [18]. The energy extent of these bosonic codes can also impose intrinsic limits on the fidelity of logical operations [19,20]. As alternatives, bosonic encodings such as the binomial codes [21] are designed to have a strictly finite extent in the oscillator Hilbert space. ...
Spins and oscillators are foundational to much of physics and applied sciences. For quantum information, a spin 1/2 exemplifies the most basic unit, a qubit. High angular momentum spins and harmonic oscillators provide multi-level manifolds (e.g., qudits) which have the potential for hardware-efficient protected encodings of quantum information and simulation of many-body quantum systems. In this work, we demonstrate a new quantum control protocol that conceptually merges these disparate hardware platforms. Namely, we show how to modify a harmonic oscillator on-demand to implement a continuous range of generators associated to resonant driving of a harmonic qudit, and then specifically design a harmonic multi-level spin degree of freedom. The synthetic spin is verified by demonstration of spin coherent (SU(2)) rotations and comparison to other manifolds like simply-truncated oscillators. Our scheme allows universal control of the qudit, and, for the first time, we use linear, harmonic operations to accomplish four logical gates on a harmonic qudit encoding. Our results show how motion on a closed Hilbert space can be useful for quantum information processing and opens the door to superconducting circuit simulations of higher angular momentum quantum magnetism.
... Anharmonic trap potentials decrease mass spectrometry resolution [39], reduce the precision of laser-free single-spin measurement [37,48], limit the sensitivity of ion interferometers [49,50], lowers sympathetic cooling efficiency [51][52][53], and degrades the fidelity of two-qubit gates [54,55]. Conversely, anharmonicities can also be valuable resources for generating nonclassical states of ion motion, such as the Gottesman-Kitaev-Preskill state, essential building blocks of quantum computations [56][57][58][59][60]. Therefore, anharmonicity modulation is of great importance in Paul traps. ...
Strongly driven nonlinear systems are frequently encountered in physics, yet their accurate control is generally challenging due to the intricate dynamics. In this work, we present a non-perturbative, semi-analytical framework for tailoring such systems. The key idea is heuristically extending the Floquet theory to nonlinear differential equations using the Harmonic Balance method. Additionally, we establish a novel constrained optimization technique inspired by the Lagrange multiplier method. This approach enables accurate engineering of effective potentials across a broader parameter space, surpassing the limitations of perturbative methods. Our method offers practical implementations in diverse experimental platforms, facilitating nonclassical state generation, versatile bosonic quantum simulations, and solving complex optimization problems across quantum and classical applications.
... Another interesting question is whether the trap shape of a tweezer can be optimized using spatial light modulators in order to minimize the anharmonicity. Moreover, one could investigate how to realize logical gate protocols [40,80], e.g. how Rydberg-Rydberg interactions between atoms could be used to implement entangling gates between GKP qubits. ...
Bosonic quantum error correction codes encode logical qubits in the Hilbert space of one or multiple harmonic oscillators. A prominent class of bosonic codes is that of Gottesman-Kitaev-Preskill (GKP) codes of which implementations have been demonstrated with trapped ions and microwave cavities. In this paper, we investigate theoretically the preparation and error correction of a GKP qubit in a vibrational mode of a neutral atom stored in an optical dipole trap. This platform has recently shown remarkable progress in simultaneously controlling the motional and electronic degrees of freedom of trapped atoms. The protocols we develop make use of motional states and, additionally, internal electronic states of the trapped atom to serve as an ancilla qubit. We compare optical tweezer arrays and optical lattices and find that the latter provide more flexible control over the confinement in the out-of-plane direction, which can be utilized to optimize the conditions for the implementation of GKP codes. Concretely, the different frequency scales that the harmonic oscillators in the axial and radial lattice directions exhibit and a small oscillator anharmonicity prove to be beneficial for robust encodings of GKP states. Finally, we underpin the experimental feasibility of the proposed protocols by numerically simulating the preparation of GKP qubits in an optical lattice with realistic parameters.
Published by the American Physical Society 2025
... Finally, the LINC could also simultaneously activate multiple types of parametric processes, giving rise to new bosonic control techniques. For example by activating a resonant beamsplitting and two-mode squeezing between two oscillators in the high-Q regime, one could realize a direct parametric quadrature-quadrature coupling between them, enabling two-qubit gates for the Gottesman-Kitaev-Preskill (GKP) code [52,53]. ...
Quantum computing with superconducting circuits relies on high-fidelity driven nonlinear processes. An ideal quantum nonlinearity would selectively activate desired coherent processes at high strength, without activating parasitic mixing products or introducing additional decoherence. The wide bandwidth of the Josephson nonlinearity makes this difficult, with undesired drive-induced transitions and decoherence limiting qubit readout, gates, couplers and amplifiers. Significant strides have been recently made into building better `quantum mixers', with promise being shown by Kerr-free three-wave mixers that suppress driven frequency shifts, and balanced quantum mixers that explicitly forbid a significant fraction of parasitic processes. We propose a novel mixer that combines both these strengths, with engineered selection rules that make it essentially linear (not just Kerr-free) when idle, and activate clean parametric processes even when driven at high strength. Further, its ideal Hamiltonian is simple to analyze analytically, and we show that this ideal behavior is first-order insensitive to dominant experimental imperfections. We expect this mixer to allow significant advances in high-Q control, readout, and amplification.
... As the GKP code bears large promise in providing a quantum memory with good protection against displacements or photonlosses (see refs. [5,147,183]), many research groups from academia and industry are developing implementation strategies and contribute to the development of this kind of "quantum engineering theory" [26,121,160,162]. I refer to ref. [28] for a more extensive overview over experimental approaches. ...
Quantum error correction is an essential ingredient in the development of quantum technologies. Its subject is to investigate ways to embed quantum Hilbert spaces into a physical system such that this subspace is robust against small imperfections in the physical systems. This task is exceedingly complex: for one, this is due to the vast diversity of possible physical systems with different structure to use. For another, every physical setting also comes with its own imperfections that need to be protected against. Bred by the complexity of a technological ambition, research on quantum error correction has developed into a large field of research that ranges from engineering of small systems with a single photon to the creation of macroscopic topological phases of matter and models of complex emergent physics. A quintessential tool in quantum error correction is the stabilizer formalism, which tames quantum systems by enforcing symmetries. A Gottesman-Kitaev-Preskill (GKP) code is a stabilizer code that creates a logical subspace within an infinite dimensional Hilbert space by endowing it with translational symmetries. While in practice the infinitude of the Hilbert space, as well as the infinitude of the translational symmetry group are considered as obstacles for implementation, in theory these are precisely the features that make the theory of GKP codes particularly rich, well behaved and well-connected to fascinating topics in mathematics. The purpose of this thesis is to explore these connections: to understand the coding theoretic and practical properties of GKP codes, utilizing its rich mathematical foundation, and to provide a foundation for future research. Along this journey we discover -- through the looking glass of GKP codes -- how quantum error correction fits into a fabulous mathematical world and formulate a series of dreams about possible directions of research.
... • Finite-energy GKP [2,44,[125][126][127][128], gkp(∆): ...
Quantum-information processing and computation with bosonic qubits are corruptible by noise channels. Using interferometers and photon-subtraction gadgets (PSGs) accompanied by linear amplification and attenuation, we establish linear-optical methods to mitigate and suppress bosonic noise channels. We first show that by employing amplifying and attenuating PSGs respectively at the input and output of either a thermal or random-displacement channel, probabilistic error cancellation (PEC) can be carried out to mitigate errors in expectation-value estimation. We also derive optimal physical estimators that are properly constrained to improve the sampling accuracy of PEC. Next, we prove that a purely-dephasing channel is coherently suppressible using a multimode Mach--Zehnder interferometer and conditional vacuum measurements (VMZ). In the limit of infinitely-many ancillas, with nonvanishing success rates, VMZ using either Hadamard or two-design interferometers turns any dephasing channel into a phase-space-rotated linear-attenuation channel that can subsequently be inverted with (rotated) linear amplification without Kerr nonlinearity. Moreover, for weak central-Gaussian dephasing, the suppression fidelity increases monotonically with the number of ancillas and most optimally with Hadamard interferometers. We demonstrate the performance of these linear-optical mitigation and suppression schemes on common noise channels (and their compositions) and popular bosonic codes. While the theoretical formalism pertains to idling noise channels, we also provide numerical evidence supporting mitigation and suppression capabilities with respect to noise from universal gate operations.
... A similar issue on noise analysis and noise suppression is examined in detail in Refs. [43][44][45][46][47]. Several works demonstrate characterisations of the GKP states [48][49][50][51][52][53], manipulations of the GKP states for some applications [19,[54][55][56][57][58], or the tomography concerning the GKP states [59][60][61]. ...
The Gottesman-Kitaev-Preskill (GKP) coding is proven to be a good candidate for encoding a qubit on continuous variables (CV) since it is robust under random-shift disturbance. Its preparation in optical systems, however, is challenging to realize in nowadays state-of-the-art experiments. In this article, we propose a simple optical setup for preparing the approximate GKP states by employing a random walk mechanism. We demonstrate this idea by considering the encoding on the transverse position of a single-mode pulse laser. We also discuss generalization and translation to other types of physical CV systems.
... These errors may be corrected in states that are sufficiently close to the ideal code words at the cost of additional rounds of error correction. There exist several proposals to reduce this overhead [9,[17][18][19], but experimental demonstration has been limited to single-qubit operations through a dissipative strategy [15]. ...
The realisation of a universal quantum computer at scale promises to deliver a paradigm shift in information processing, providing the capability to solve problems that are intractable with conventional computers. A key limiting factor of realising fault-tolerant quantum information processing (QIP) is the large ratio of physical-to-logical qubits that outstrip device sizes available in the near future. An alternative approach proposed by Gottesman, Kitaev, and Preskill (GKP) encodes a single logical qubit into a single harmonic oscillator, alleviating this hardware overhead in exchange for a more complex encoding. Owing to this complexity, current experiments with GKP codes have been limited to single-qubit encodings and operations. Here, we report on the experimental demonstration of a universal gate set for the GKP code, which includes single-qubit gates and -- for the first time -- a two-qubit entangling gate between logical code words. Our scheme deterministically implements energy-preserving quantum gates on finite-energy GKP states encoded in the mechanical motion of a trapped ion. This is achieved by a novel optimal control strategy that dynamically modulates an interaction between the ion's spin and motion. We demonstrate single-qubit gates with a logical process fidelity as high as 0.960 and a two-qubit entangling gate with a logical process fidelity of 0.680. We also directly create a GKP Bell state from the oscillators' ground states in a single step with a logical state fidelity of 0.842. The overall scheme is compatible with existing hardware architectures, highlighting the opportunity to leverage optimal control strategies as a key accelerant towards fault tolerance.
... For the parallel case (θ = π/2), f G → 0 and g G → − 1 2 g G . This recovers the result of Ion trap literature, where the coulomb force can be used as beam splitter interaction [80]. The set of displacement operatorsD r forms a complete basis such that any density matrix can be written as ...
Schr\"{o}dinger cat states of levitated masses have several applications in sensing and, offer an avenue to explore the fundamental nature -- classical vs nonclassical -- of gravity, eg, through gravitationally induced entanglement (GIE). The interaction between a qubit and a levitated mass is a convenient method to create such a cat state. The size of the superpositions is limited by weak mass-qubit interactions. To overcome this limitation, we propose a protocol that exponentially expands an initially small superposition via Gaussian dynamics and successfully recombines it to complete an interferometry. An unknown force can be sensed by the superposition exponentially fast in the expansion time. The entanglement between two such interferometers interacting via a quantum force is -- for the first time in qubit-based non-Gaussian protocols -- obtained by solving the full quantum dynamics using Gaussian techniques. GIE grows exponentially, thereby making it closer to experimental feasibility. Requirements of experimental precision and decoherence are obtained.
Precise quantum control and measurement of several harmonic oscillators, such as the modes of the electromagnetic field in a cavity or of mechanical motion, are key for their use as quantum platforms. The motional modes of trapped ions can be individually controlled and have good coherence properties. However, achieving high-fidelity two-mode operations and non-destructive measurements of the motional state has been challenging. Here we demonstrate the coherent exchange of single motional quanta between spectrally separated harmonic motional modes of a trapped-ion crystal. The timing, strength, and phase of the coupling are controlled through an oscillating electric potential with suitable spatial variation. Coupling rates that are much larger than decoherence rates enable demonstrations of high-fidelity quantum state transfer and beam-splitter operations, entanglement of motional modes, and Hong–Ou–Mandel-type interference. Additionally, we use the motional coupling to enable repeated non-destructive projective measurement of a trapped-ion motional state. Our work enhances the suitability of trapped-ion motion for continuous-variable quantum computing and error correction and may provide opportunities to improve the performance of motional cooling and motion-mediated entangling interactions.
The Gottesman-Kitaev-Preskill (GKP) error-correcting code encodes a finite-dimensional logical space in one or more bosonic modes, and has recently been demonstrated in trapped ions and superconducting microwave cavities. In this work we introduce a new subsystem decomposition for GKP codes that we call the stabilizer subsystem decomposition, analogous to the usual approach to quantum stabilizer codes. The decomposition has the defining property that a partial trace over the nonlogical stabilizer subsystem is equivalent to an ideal decoding of the logical state, distinguishing it from previous GKP subsystem decompositions. We describe how to decompose arbitrary states across the subsystem decomposition using a set of transformations that move between the decompositions of different GKP codes. Besides providing a convenient theoretical view on GKP codes, such a decomposition is also of practical use. We use the stabilizer subsystem decomposition to efficiently simulate noise acting on single-mode GKP codes, and in contrast to more conventional Fock basis simulations, we are able to consider essentially arbitrarily large photon numbers for realistic noise channels, such as loss and dephasing.
Published by the American Physical Society 2024
Trapped atomic ion qubits or effective spins are a powerful quantum platform for quantum computation and simulation, featuring densely connected and efficiently programmable interactions between the spins. While native interactions between trapped-ion spins are typically pairwise, many quantum algorithms and quantum spin models naturally feature couplings between triplets, quartets, or higher orders of spins. Here, we formulate and analyze a mechanism that extends the standard Mølmer-Sørensen pairwise entangling gate and generates a controllable and programmable coupling between N spins of trapped ions. We show that spin-dependent optical parametric drives applied at twice the motional frequency generate a coordinate transformation of the collective ion motion in phase space, rendering displacement forces that are nonlinear in the spin operators. We formulate a simple framework that enables a systematic and faithful construction of high-order spin Hamiltonians and gates, including the effect of multiple modes of motion, and characterize the performance of such operations under realistic conditions.
Encoding a qubit in a high-quality superconducting microwave cavity offers the opportunity to perform the first layer of error correction in a single device but presents a challenge: how can quantum oscillators be controlled while introducing a minimal number of additional error channels? We focus on the two-qubit portion of this control problem by using a three-wave-mixing coupling element to engineer a programmable beam-splitter interaction between two bosonic modes separated by more than an octave in frequency, without introducing major additional sources of decoherence. Combining this with single-oscillator control provided by a dispersively coupled transmon provides a framework for quantum control of multiple encoded qubits. The beam-splitter interaction gbs is fast relative to the time scale of oscillator decoherence, enabling over 103 beam-splitter operations per coherence time and approaching the typical rate of the dispersive coupling χ used for individual oscillator control. Further, the programmable coupling is engineered without adding unwanted interactions between the oscillators, as evidenced by the high on-off ratio of the operations, which can exceed 105. We then introduce a new protocol to realize a hybrid controlled-swap operation in the regime gbs≈χ, in which a transmon provides the control bit for the swap of two bosonic modes. Finally, we use this gate in a swap test to project a pair of bosonic qubits into a Bell state with measurement-corrected fidelity of 95.5%±0.2%.
The ambition of harnessing the quantum for computation is at odds with the fundamental phenomenon of decoherence. The purpose of quantum error correction (QEC) is to counteract the natural tendency of a complex system to decohere. This cooperative process, which requires participation of multiple quantum and classical components, creates a special type of dissipation that removes the entropy caused by the errors faster than the rate at which these errors corrupt the stored quantum information. Previous experimental attempts to engineer such a process1–7 faced the generation of an excessive number of errors that overwhelmed the error-correcting capability of the process itself. Whether it is practically possible to utilize QEC for extending quantum coherence thus remains an open question. Here we answer it by demonstrating a fully stabilized and error-corrected logical qubit whose quantum coherence is substantially longer than that of all the imperfect quantum components involved in the QEC process, beating the best of them with a coherence gain of G = 2.27 ± 0.07. We achieve this performance by combining innovations in several domains including the fabrication of superconducting quantum circuits and model-free reinforcement learning.
In hybrid circuit QED architectures containing both ancilla qubits and bosonic modes, a controlled beam splitter gate is a powerful resource. It can be used to create (up to a controlled-parity operation) an ancilla-controlled SWAP gate acting on two bosonic modes. This is the essential element required to execute the ‘swap test’ for purity, prepare quantum non-Gaussian entanglement and directly measure nonlinear functionals of quantum states. It also constitutes an important gate for hybrid discrete/continuous-variable quantum computation. We propose a new realization of a hybrid cSWAP utilizing ‘Kerr-cat’ qubits—anharmonic oscillators subject to strong two-photon driving. The Kerr-cat is used to generate a controlled-phase beam splitter (cPBS) operation. When combined with an ordinary beam splitter one obtains a controlled beam-splitter (cBS) and from this a cSWAP. The strongly biased error channel for the Kerr-cat has phase flips which dominate over bit flips. This yields important benefits for the cSWAP gate which becomes non-destructive and transparent to the dominate error. Our proposal is straightforward to implement and, based on currently existing experimental parameters, should achieve controlled beam-splitter gates with high fidelities comparable to current ordinary beam-splitter operations available in circuit QED.
Stabilization of encoded logical qubits using quantum error correction is crucial for the realization of reliable quantum computers. Although error-correcting codes implemented using individual physical qubits require many separate systems to be controlled, codes constructed using a quantum oscillator offer the possibility to perform error correction with a single physical entity. One powerful encoding approach for oscillators is the grid state or Gottesman–Kitaev–Preskill (GKP) encoding, which allows small displacement errors to be corrected. Here we introduce and implement a dissipative map designed for physically realistic finite GKP codes, which performs quantum error correction of a logical qubit encoded in the motion of a single trapped ion. The correction cycle involves two rounds, which correct small displacements in position and momentum. We demonstrate an extension in coherence time of logical states by a factor of three using both square and hexagonal GKP codes. The simple dissipative map used for this correction can be viewed as a type of reservoir engineering, which pumps into the manifold of highly non-classical GKP qubit states.
The Gottesman-Kitaev-Preskill (GKP) code was proposed in 2001 by Daniel Gottesman, Alexei Kitaev, and John Preskill as a way to encode a qubit in an oscillator. The GKP codewords are coherent superpositions of periodically displaced squeezed vacuum states. Because of the challenge of merely preparing the codewords, the GKP code was for a long time considered to be impractical. However, the remarkable developments in quantum hardware and control technology in the last two decades has made the GKP code a frontrunner in the race to build practical, fault-tolerant bosonic quantum technology. In this Perspective, we provide an overview of the GKP code with emphasis on its implementation in the circuit-QED architecture and present our outlook on the challenges and opportunities for scaling it up for hardware-efficient, fault-tolerant quantum error correction.
The Gottesman–Kitaev–Preskill encoding of a qubit in a harmonic oscillator is a promising building block towards fault-tolerant quantum computation. Recently, this encoding was experimentally demonstrated for the first time in trapped-ion and superconducting circuit systems. However, these systems lack some of the Gaussian operations which are critical to efficiently manipulate the encoded qubits. In particular, homodyne detection, which is the go-to method for efficient readout of the encoded qubit in the vast majority of theoretical work, is not readily available, heavily limiting the readout fidelity. Here, we present an alternative read-out strategy designed for qubit-coupled systems. Our method can improve the readout fidelity with several orders of magnitude for such systems and, surprisingly, even surpass the fidelity of homodyne detection in the low squeezing regime.
Fault-tolerant quantum error correction is essential for implementing quantum algorithms of significant practical importance. In this work, we propose a highly effective use of the surface-GKP code, i.e., the surface code consisting of bosonic GKP qubits instead of bare two-dimensional qubits. In our proposal, we use error-corrected two-qubit gates between GKP qubits and introduce a maximum likelihood decoding strategy for correcting shift errors in the two-GKP-qubit gates. Our proposed decoding reduces the total CNOT failure rate of the GKP qubits, e.g., from 0.87% to 0.36% at a GKP squeezing of 12dB, compared to the case where the simple closest-integer decoding is used. Then, by concatenating the GKP code with the surface code, we find that the threshold GKP squeezing is given by 9.9dB under the the assumption that finite-squeezing of the GKP states is the dominant noise source. More importantly, we show that a low logical failure rate p_L<10⁻⁷ can be achieved with moderate hardware requirements, e.g., 291 modes and 97 qubits at a GKP squeezing of 12dB as opposed to 1457 bare qubits for the standard rotated surface code at an equivalent noise level (i.e., p=0.36%). Such a low failure rate of our surface-GKP code is possible through the use of space-time correlated edges in the matching graphs of the surface code decoder. Further, all edge weights in the matching graphs are computed dynamically based on analog information from the GKP error correction using the full history of all syndrome measurement rounds. We also show that a highly-squeezed GKP state of GKP squeezing ≳12dB can be experimentally realized by using a dissipative stabilization method, namely, the Big-small-Big method, with fairly conservative experimental parameters. Lastly, we introduce a three-level ancilla scheme to mitigate ancilla decay errors during a GKP state preparation.
Quantum computing potentially offers exponential speed-ups over classical computing for certain tasks. A central, outstanding challenge to making quantum computing practical is to achieve fault tolerance, meaning that computations of any length or size can be realized in the presence of noise. The Gottesman-Kitaev-Preskill code is a promising approach toward fault-tolerant quantum computing, encoding logical qubits into grid states of harmonic oscillators. However, for the code to be fault tolerant, the quality of the grid states has to be extremely high. Approximate grid states have recently been realized experimentally, but their quality is still insufficient for fault tolerance. Current implementable protocols for generating grid states rely on measurements of ancillary qubits combined with either postselection or feed forward. Implementing such measurements take up significant time during which the states decohere, thus limiting their quality. Here, we propose a measurement-free preparation protocol, which deterministically prepares arbitrary logical grid states with a rectangular or hexagonal lattice. The protocol can be readily implemented in trapped-ion or superconducting-circuit platforms to generate high-quality grid states using only a few interactions, even with the noise levels found in current systems.
We provide an explicit construction of a universal gate set for continuous-variable quantum computation with microwave circuits. Such a universal set has been first proposed in quantum-optical setups, but its experimental implementation has remained elusive in that domain due to the difficulties in engineering strong nonlinearities. Here, we show that a realistic three-wave mixing microwave architecture based on the superconducting nonlinear asymmetric inductive element [Frattini et al., Appl. Phys. Lett. 110, 222603 (2017)] allows us to overcome this difficulty. As an application, we show that this architecture allows for the generation of a cubic phase state with an experimentally feasible procedure. This work highlights a practical advantage of microwave circuits with respect to optical systems for the purpose of engineering non-Gaussian states and opens the quest for continuous-variable algorithms based on few repetitions of elementary gates from the continuous-variable universal set.
Ancilla systems are often indispensable to universal control of a nearly isolated quantum system. However, ancilla systems are typically more vulnerable to environmental noise, which limits the performance of such ancilla-assisted quantum control. To address this challenge of ancilla-induced decoherence, we propose a general framework that integrates quantum control and quantum error correction, so that we can achieve robust quantum gates resilient to ancilla noise. We introduce the path independence criterion for fault-tolerant quantum gates against ancilla errors. As an example, a path-independent gate is provided for superconducting circuits with a hardware-efficient design.
The accuracy of logical operations on quantum bits (qubits) must be improved for quantum computers to outperform classical ones in useful tasks. One method to achieve this is quantum error correction (QEC), which prevents noise in the underlying system from causing logical errors. This approach derives from the reasonable assumption that noise is local, that is, it does not act in a coordinated way on different parts of the physical system. Therefore, if a logical qubit is encoded non-locally, we can—for a limited time—detect and correct noise-induced evolution before it corrupts the encoded information1. In 2001, Gottesman, Kitaev and Preskill (GKP) proposed a hardware-efficient instance of such a non-local qubit: a superposition of position eigenstates that forms grid states of a single oscillator2. However, the implementation of measurements that reveal this noise-induced evolution of the oscillator while preserving the encoded information3–7 has proved to be experimentally challenging, and the only realization reported so far relied on post-selection8,9, which is incompatible with QEC. Here we experimentally prepare square and hexagonal GKP code states through a feedback protocol that incorporates non-destructive measurements that are implemented with a superconducting microwave cavity having the role of the oscillator. We demonstrate QEC of an encoded qubit with suppression of all logical errors, in quantitative agreement with a theoretical estimate based on the measured imperfections of the experiment. Our protocol is applicable to other continuous-variable systems and, in contrast to previous implementations of QEC10–14, can mitigate all logical errors generated by a wide variety of noise processes and facilitate fault-tolerant quantum computation. Quantum error correction of Gottesman–Kitaev–Preskill code states is realized experimentally in a superconducting quantum device.
We review some of the recent efforts in devising and engineering bosonic qubits for superconducting devices, with emphasis on the Gottesman–Kitaev–Preskill (GKP) qubit. We present some new results on decoding repeated GKP error correction using finitely-squeezed GKP ancilla qubits, exhibiting differences with previously studied stochastic error models. We discuss circuit-QED ways to realize CZ gates between GKP qubits and we discuss different scenarios for using GKP and regular qubits as building blocks in a scalable superconducting surface code architecture.
The hybrid approach to quantum computation simultaneously utilizes both discrete and continuous variables, which offers the advantage of higher density encoding and processing powers for the same physical resources. Trapped ions, with discrete internal states and motional modes that can be described by continuous variables in an infinite-dimensional Hilbert space, offer a natural platform for this approach. A nonlinear gate for universal quantum computing can be implemented with the conditional beam splitter Hamiltonian |e⟩⟨e|(a^†b^+a^b^†) that swaps the quantum states of two motional modes, depending on the ion’s internal state. We realize such a gate and demonstrate its applications for quantum state overlap measurements, single-shot parity measurement, and generation of NOON states.
Gottesman–Kitaev–Preskill (GKP) states appear to be amongst the leading candidates for correcting errors when encoding qubits into oscillators. However the preparation of GKP states remains a significant theoretical and experimental challenge. Until now, no clear definitions for fault-tolerantly preparing GKP states have been provided. Without careful consideration, a small number of faults can lead to large uncorrectable shift errors. After proposing a metric to compare approximate GKP states, we provide rigorous definitions of fault-tolerance and introduce a fault-tolerant phase estimation protocol for preparing such states. The fault-tolerant protocol uses one flag qubit and accepts only a subset of states in order to prevent measurement readout errors from causing large shift errors. We then show how the protocol can be implemented using circuit QED. In doing so, we derive analytic expressions which describe the leading order effects of the nonlinear dispersive shift and Kerr nonlinearity. Using these expressions, we show that to mitigate the nonlinear dispersive shift and Kerr terms would require the protocol to be implemented on time scales four orders of magnitude longer than the time scales relevant to the protocol for physically motivated parameters. Despite these restrictions, we numerically show that a subset of the accepted states of the fault-tolerant phase estimation protocol maintain good error correcting capabilities even in the presence of noise.
The stable operation of quantum computers will rely on error correction, in which single quantum bits of information are stored redundantly in the Hilbert space of a larger system. Such encoded qubits are commonly based on arrays of many physical qubits, but can also be realized using a single higher-dimensional quantum system, such as a harmonic oscillator1–3. In such a system, a powerful encoding has been devised based on periodically spaced superpositions of position eigenstates4–6. Various proposals have been made for realizing approximations to such states, but these have thus far remained out of reach7–11. Here we demonstrate such an encoded qubit using a superposition of displaced squeezed states of the harmonic motion of a single trapped ⁴⁰Ca⁺ ion, controlling and measuring the mechanical oscillator through coupling to an ancillary internal-state qubit¹². We prepare and reconstruct logical states with an average squared fidelity of 87.3 ± 0.7 per cent. Also, we demonstrate a universal logical single-qubit gate set, which we analyse using process tomography. For Pauli gates we reach process fidelities of about 97 per cent, whereas for continuous rotations we use gate teleportation and achieve fidelities of approximately 89 per cent. This control method opens a route for exploring continuous variable error correction as well as hybrid quantum information schemes using both discrete and continuous variables¹³. The code states also have direct applications in quantum sensing, allowing simultaneous measurement of small displacements in both position and momentum14,15.
The early Gottesman, Kitaev, and Preskill (GKP) proposal for encoding a qubit in an oscillator has recently been followed by cat- and binomial-code proposals. Numerically optimized codes have also been proposed, and we introduce codes of this type here. These codes have yet to be compared using the same error model; we provide such a comparison by determining the entanglement fidelity of all codes with respect to the bosonic pure-loss channel (i.e., photon loss) after the optimal recovery operation. We then compare achievable communication rates of the combined encoding-error-recovery channel by calculating the channel's hashing bound for each code. Cat and binomial codes perform similarly, with binomial codes outperforming cat codes at small loss rates. Despite not being designed to protect against the pure-loss channel, GKP codes significantly outperform all other codes for most values of the loss rate. We show that the performance of GKP and some binomial codes increases monotonically with increasing average photon number of the codes. In order to corroborate our numerical evidence of the cat-binomial-GKP order of performance occurring at small loss rates, we analytically evaluate the quantum error-correction conditions of those codes. For GKP codes, we find an essential singularity in the entanglement fidelity in the limit of vanishing loss rate. In addition to comparing the codes, we draw parallels between binomial codes and discrete-variable systems. First, we characterize one- and two-mode binomial as well as multiqubit permutation-invariant codes in terms of spin-coherent states. Such a characterization allows us to introduce check operators and error-correction procedures for binomial codes. Second, we introduce a generalization of spin-coherent states, extending our characterization to qudit binomial codes and yielding a multiqudit code.
Interference experiments provide a simple yet powerful tool to unravel fundamental features of quantum physics. Here we engineer an RF-driven, time-dependent bilinear coupling that can be tuned to implement a robust 50:50 beamsplitter between stationary states stored in two superconducting cavities in a three-dimensional architecture. With this, we realize high contrast Hong-Ou- Mandel (HOM) interference between two spectrally-detuned stationary modes. We demonstrate that this coupling provides an efficient method for measuring the quantum state overlap between arbitrary states of the two cavities. Finally, we showcase concatenated beamsplitters and differential phase shifters to implement cascaded Mach-Zehnder interferometers, which can control the signature of the two-photon interference on-demand. Our results pave the way toward implementation of scalable boson sampling, the application of linear optical quantum computing (LOQC) protocols in the microwave domain, and quantum algorithms between long-lived bosonic memories.
Gaussian loss channels are of particular importance since they model realistic optical communication channels. Except for special cases, quantum capacity of Gaussian loss channels is not yet known completely. In this paper, we provide improved upper bounds of Gaussian loss channel capacity, both in the energy-constrained and unconstrained scenarios. We discuss experimental implementation of the Gottesman-Kitaev-Preskill (GKP) codes. In the energy-unconstrained case, we prove that the GKP codes achieve the quantum capacity of Gaussian loss channels up to at most a constant gap from the improved upper bound. In the energy-constrained case, we formulate a biconvex encoding and decoding optimization problem to maximize the entanglement fidelity. The biconvex optimization is solved by an alternating semidefinite programming (SDP) method and we report that, starting from random initial codes, our numerical optimization yields GKP codes as the optimal encoding in a practically relevant regime.
Quantum collision models (CMs) provide advantageous case studies for investigating major issues in open quantum systems theory, and especially quantum non-Markovianity. After reviewing their general definition and distinctive features, we illustrate the emergence of a CM in a familiar quantum optics scenario. This task is carried out by highlighting the close connection between the well-known input-output formalism and CMs. Within this quantum optics framework, usual assumptions in the CMs' literature - such as considering a bath of non-interacting yet initially correlated ancillas - have a clear physical origin.
To implement fault-tolerant quantum computation with continuous variables, the Gottesman-Kitaev-Preskill (GKP) qubit has been recognized as an important technological element. However,it is still challenging to experimentally generate the GKP qubit with the required squeezing level, 14.8 dB, of the existing fault-tolerant quantum computation. To reduce this requirement, we propose a high threshold fault-tolerant quantum computation with GKP qubits using topologically protected measurement-based quantum computation with the surface code. By harnessing analog information contained in the GKP qubits, we apply anaolog quantum error correction to the surface code.Furthermore, we develop a method to prevent the squeezing level from decreasing during the construction of the large scale cluster states for the topologically protected measurement based quantum computation. We numerically show that the required squeezing level can be relaxed to less than 10 dB, which is within the reach of the current experimental technology. Hence, this work can considerably alleviate this experimental requirement and take a step closer to the realization of large scale quantum computation.
We present an open source computational framework geared towards the efficient numerical investigation of open quantum systems written in the Julia programming language. Built exclusively in Julia and based on standard quantum optics notation, the toolbox offers great speed, comparable to low-level statically typed languages, without compromising on the accessibility and code readability found in dynamic languages. After introducing the framework, we highlight its novel features and showcase implementations of generic quantum models. Finally, we compare its usability and performance to two well-established and widely used numerical quantum libraries.
Quantum-enhanced measurements hold the promise to improve high-precision sensing ranging from the definition of time standards to the determination of fundamental constants of nature. However, quantum sensors lose their sensitivity in the presence of noise. To protect them, the use of quantum error correcting codes has been proposed. Trapped ions are an excellent technological platform for both quantum sensing and quantum error correction. Here we present a quantum error correction scheme that harnesses dissipation to stabilize a trapped-ion qubit. In our approach, always-on couplings to an engineered environment protect the qubit against spin- or phase flips. Our dissipative error correction scheme operates in a fully autonomous manner without the need to perform measurements or feedback operations. We show that the resulting enhanced coherence time translates into a significantly enhanced precision for quantum measurements. Our work constitutes a stepping stone towards the paradigm of self-correcting quantum information processing.
We show that one can determine both parameters of a displacement acting on an oscillator with an accuracy which scales inversely with the square root of the number of photons in the oscillator. Our results are obtained by using a grid state as a sensor state for detecting small changes in position and momentum (displacements). Grid states were first proposed in [1] for encoding a qubit into an oscillator: an efficient preparation protocol of such states, using a coupling to a qubit, was developed in [2]. We compare the performance of the grid state with the quantum compass or cat code state and place our results in the context of the two-parameter quantum Cram\'er-Rao lower bound on the variances of the displacement parameters. We show that the accessible information about the displacement for a grid state increases with the number of photons in the state when we measure and prepare the state using the phase estimation protocol in [2]. This is in contrast with the accessible information in the quantum compass state which we show is always upper bounded by a constant, independent of the number of photons.
Entangling gates are an essential component of quantum computers. However, generating high-fidelity gates, in a scalable manner, remains a major challenge in all quantum information processing platforms. Accordingly, improving the fidelity and robustness of these gates has been a research focus in recent years. In trapped ions quantum computers, entangling gates are performed by driving the normal modes of motion of the ion chain, generating a spin-dependent force. Even though there has been significant progress in increasing the robustness and modularity of these gates, they are still sensitive to noise in the intensity of the driving field. Here we supplement the conventional spin-dependent displacement with spin-dependent squeezing, which creates a new interaction, that enables a gate that is robust to deviations in the amplitude of the driving field. We solve the general Hamiltonian and engineer its spectrum analytically. We also endow our gate with other, more conventional, robustness properties, making it resilient to many practical sources of noise and inaccuracies.
We describe a simple protocol for the single-step generation of N-body entangling interactions between trapped atomic ion qubits. We show that qubit state-dependent squeezing operations and displacement forces on the collective atomic motion can generate full N-body interactions. Similar to the Mølmer-Sørensen two-body Ising interaction at the core of most trapped ion quantum computers and simulators, the proposed operation is relatively insensitive to the state of motion. We show how this N-body gate operation allows for the single-step implementation of a family of N-bit gate operations such as the powerful N-Toffoli gate, which flips a single qubit if and only if all other N-1 qubits are in a particular state.
Simulating quantum dynamics beyond the reach of classical computers is one of the main envisioned applications of quantum computers. The most promising quantum algorithms to this end in the near term are the simplest, which use the Trotter formula and its higher-order variants to approximate the dynamics of interest. The approximation error of these algorithms is often poorly understood, even in the most basic and topical cases where the target Hamiltonian decomposes into two realizable terms: H=H_{1}+H_{2}. Recent studies have reported anomalously low approximation error with unexpected scaling in such cases, which they attribute to quantum interference between the errors from different steps of the algorithm. Here, we provide a simpler picture of these effects by relating the Trotter formula to its second-order variant for such H=H_{1}+H_{2} cases. Our method generalizes state-of-the-art error bounds without the technical caveats of prior studies, and elucidates how each part of the total error arises from the underlying quantum circuit. We compare our bound to the true error numerically, and find a close match over many orders of magnitude in the simulation parameters. Our findings further reduce the required circuit depth for the least experimentally demanding quantum simulation algorithms, and illustrate a useful method for bounding simulation error more broadly.
The sensitivity afforded by quantum sensors is limited by decoherence. Quantum error correction (QEC) can enhance sensitivity by suppressing decoherence, but it has a side effect: it biases a sensor's output in realistic settings. If unaccounted for, this bias can systematically reduce a sensor's performance in experiment, and also give misleading values for the minimum detectable signal in theory. We analyze this effect in the experimentally motivated setting of continuous-time QEC, showing both how one can remedy it, and how incorrect results can arise when one does not.
We present a protocol for transferring arbitrary continuous-variable quantum states into a few discrete-variable qubits and back. The protocol is deterministic and utilizes only two-mode Rabi-type interactions that are readily available in trapped-ion and superconducting circuit platforms. The inevitable errors caused by transferring an infinite-dimensional state into a finite-dimensional register are suppressed exponentially with the number of qubits. Furthermore, the encoded states exhibit robustness against noise, such as dephasing and amplitude damping, acting on the qubits. Our protocol thus provides a powerful and flexible tool for discrete-continuous hybrid quantum systems.
Using discrete and continuous variable subsystems, hybrid approaches to quantum information could enable more quantum computational power for the same physical resources. Here, we propose a hybrid scheme that can be used to generate the necessary Gaussian and non-Gaussian operations for universal continuous variable quantum computing in trapped ions. This scheme utilizes two linear spin-motion interactions to generate a broad set of nonlinear effective spin-motion interactions including one- and two-mode squeezing, beam splitter, and trisqueezing operations in trapped ion systems. We discuss possible experimental implementations using laser-based and laser-free approaches.
The Gottesman-Kitaev-Preskill (GKP) encoding of a qubit into a bosonic mode is a promising bosonic code for quantum computation due to its tolerance for noise and all-Gaussian gate set. We present a toolkit for phase-space description and manipulation of GKP encodings that includes Wigner functions for ideal and approximate GKP states, for various types of mixed GKP states, and for GKP-encoded operators. One advantage of a phase-space approach is that Gaussian unitaries, required for computation with GKP codes, correspond to simple transformations on the arguments of Wigner functions. We use this fact and our toolkit to describe GKP error correction, including magic-state preparation, entirely in phase space using operations on Wigner functions. While our focus here is on the square-lattice GKP code, we provide a general framework for GKP codes defined on any lattice.
We introduce a new approach to Gottesman-Kitaev-Preskill (GKP) states that treats their finite-energy version in an exact manner. Based on this analysis, we develop new qubit-oscillator circuits that autonomously stabilize a GKP manifold, correcting errors without relying on qubit measurements. Finally, we show numerically that logical information encoded in GKP states is very robust against typical oscillator noise sources when stabilized by these new circuits.
We examine continuous-variable gate teleportation using entangled states made from pure product states sent through a beam splitter. We show that such states are Choi states for a (typically) nonunitary gate, and we derive the associated Kraus operator for teleportation, which can be used to realize non-Gaussian, nonunitary quantum operations on an input state. With this result, we show how gate teleportation is used to perform error correction on bosonic qubits encoded using the Gottesman-Kitaev-Preskill (GKP) code. This result is presented in the context of deterministically produced macronode cluster states, generated by constant-depth linear optical networks, supplemented with a probabilistic supply of GKP states. The upshot of our technique is that state injection for both gate teleportation and error correction can be achieved without active squeezing operations—an experimental bottleneck for quantum optical implementations.
The Gottesman-Kitaev-Preskill (gkp) quantum error-correcting code attracts much attention in continuous variable (CV) quantum computation and CV quantum communication due to the simplicity of error-correcting routines and the high tolerance against Gaussian errors. Since the gkp code state should be regarded as a limit of physically meaningful approximate ones, various approximations have been developed until today, but explicit relations among them are still unclear. In this paper, we rigorously prove the equivalence of these approximate gkp codes with an explicit correspondence of the parameters. We also propose a standard form of the approximate code states in the position representation, which enables us to derive closed-form expressions for the Wigner function, inner products, and the average photon number in terms of the theta functions. Our results serve as fundamental tools for further analyses of fault-tolerant quantum computation and channel coding using approximate gkp codes.
We introduce a framework to decompose a bosonic mode into two virtual subsystems—a logical qubit and a gauge mode. This framework allows the entire toolkit of qubit-based quantum information to be applied in the continuous-variable setting. We give a detailed example based on a modular decomposition of the position basis and apply it in two situations. First, we decompose Gottesman-Kitaev-Preskill grid states and find that the encoded logical state can be damaged due to entanglement with the gauge mode. Second, we identify and disentangle qubit cluster states hidden inside of Gaussian continuous-variable cluster states.
We implement direct readout of the symmetric characteristic function of quantum states of the motional oscillation of a trapped calcium ion. Suitably chosen internal state rotations combined with internal state-dependent displacements, based on bichromatic laser fields, map the expectation value of the real or imaginary part of the displacement operator to the internal states, which are subsequently read out. Combining these results provides full information about the symmetric characteristic function. We characterize the technique by applying it to a range of archetypal quantum oscillator states, including displaced and squeezed Gaussian states as well as two and three component superpositions of displaced squeezed states. For each, we discuss relevant features of the characteristic function and Wigner phase-space quasiprobability distribution. The direct reconstruction of these highly nonclassical oscillator states using a reduced number of measurements is an essential tool for understanding and optimizing the control of oscillator systems for quantum sensing and quantum information applications.
Encoding a qubit in the continuous degrees of freedom of an oscillator is a promising path to error-corrected quantum computation. One advantageous way to achieve this is through Gottesman-Kitaev-Preskill (GKP) grid states, whose symmetries allow for the correction of any small continuous error on the oscillator. Unfortunately, ideal grid states have infinite energy, so it is important to find finite-energy approximations that are realistic, practical, and useful for applications. In the first half of this work we investigate the impact of imperfect GKP states on computational circuits independently of the physical architecture. To this end, we analyze the behavior of the physical and logical content of normalizable GKP states through several figures of merit, employing a recently developed modular subsystem decomposition. By tracking the errors that enter into the computational circuit due to imperfections in the GKP states, we are able to gauge the utility of these states for noisy intermediate-scale quantum devices. In the second half, we focus on a state preparation approach in the photonic domain wherein photon-number-resolving measurements on some modes of Gaussian states produce non-Gaussian states in others. We produce detailed numerical results for the preparation of GKP states alongside estimating the resource requirements in practical settings and probing the quality of the resulting states with the tools we develop. Our numerical experiments indicate that we can generate any state in the GKP Bloch sphere with nearly equal resources, which has implications for magic state preparation overheads.
Bosonic quantum error correction is a viable option for realizing error-corrected quantum information processing in continuous-variable bosonic systems. Various single-mode bosonic quantum error-correcting codes such as cat, binomial, and Gottesman-Kitaev-Preskill (GKP) codes have been implemented experimentally in circuit QED and trapped-ion systems. Moreover, there have been many theoretical proposals to scale up such single-mode bosonic codes to realize large-scale fault-tolerant quantum computation. Here, we consider the concatenation of the single-mode GKP code with the surface code, namely, the surface-GKP code. In particular, we thoroughly investigate the performance of the surface-GKP code by assuming realistic GKP states with a finite squeezing and noisy circuit elements due to photon losses. By using a minimum-weight perfect matching decoding algorithm on a three-dimensional spacetime graph, we show that fault-tolerant quantum error correction is possible with the surface-GKP code if the squeezing of the GKP states is higher than 11.2 dB in the case where the GKP states are the only noisy elements. We also show that the squeezing threshold changes to 18.6 dB when both the GKP states and circuit elements are comparably noisy. At this threshold, each circuit component fails with probability 0.69%. Finally, if the GKP states are noiseless, fault-tolerant quantum error correction with the surface-GKP code is possible if each circuit element fails with probability less than 0.81%. We stress that our decoding scheme uses the additional information from GKP-stabilizer measurements and we provide a simple method to compute renormalized edge weights of the matching graphs. Furthermore, our noise model is general because it includes full circuit-level noise.
The Gottesman-Kitaev-Preskill (GKP) encoding of a qubit within an oscillator is particularly appealing for fault-tolerant quantum computing with bosons because Gaussian operations on encoded Pauli eigenstates enable Clifford quantum computing with error correction. We show that applying GKP error correction to Gaussian input states, such as vacuum, produces distillable magic states, achieving universality without additional non-Gaussian elements. Fault tolerance is possible with sufficient squeezing and low enough external noise. Thus, Gaussian operations are sufficient for fault-tolerant, universal quantum computing given a supply of GKP-encoded Pauli eigenstates.
Improving precision with quantum amplification
Quantum mechanically, an object can be described by a pair of noncommuting observables, typically by its position and momentum. The precision to which these observables can be measured is limited by unavoidable quantum fluctuations. However, the method of “squeezing” allows the fluctuations to be manipulated, while preserving the Heisenberg uncertainty relation. This allows improved measurement precision for one observable at the expense of increased fluctuations in the other. Burd et al. now show that an additional displacement of a trapped atom results in amplification of the squeezing and a further improvement in the precision with which the displacement can be determined (see the Perspective by Schleier-Smith). This technique should be useful for a number of applications in metrology.
Science , this issue p. 1163 ; see also p. 1137
Quantum-limited Josephson parametric amplifiers are crucial components in circuit QED readout chains. The dynamic range of state-of-the-art parametric amplifiers is limited by signal-induced Stark shifts that detune the amplifier from its operating point. Using a superconducting nonlinear asymmetric inductive element (SNAIL) as an active component, we show the ability to in situ tune the device flux and pump to a dressed Kerr-free operating point, which provides a 10-fold increase in the number of photons that can be processed by our amplifier, compared to the nominal operating point. Our proposed and experimentally verified methodology of Kerr-free three-wave mixing can be extended to improve the dynamic range of other pumped operations in quantum superconducting circuits.
Networks of nonlinear resonators offer intriguing perspectives as quantum simulators for nonequilibrium many-body phases of driven-dissipative systems. Here, we employ photon correlation measurements to study the radiation fields emitted from a system of two superconducting resonators in a driven-dissipative regime, coupled nonlinearly by a superconducting quantum interference device, with cross-Kerr interactions dominating over on-site Kerr interactions. We apply a parametrically modulated magnetic flux to control the linear photon hopping rate between the two resonators and its ratio with the cross-Kerr rate. When increasing the hopping rate, we observe a crossover from an ordered to a delocalized state of photons. The presented coupling scheme is intrinsically robust to frequency disorder and may therefore prove useful for realizing larger-scale resonator arrays.
We examine the performance of the single-mode Gottesman-Kitaev-Preskill (GKP) code and its concatenation with the toric code for a noise model of Gaussian shifts, or displacement errors. We show how one can optimize the tracking of errors in repeated noisy error correction for the GKP code. We do this by examining the maximum-likelihood problem for this setting and its mapping onto a 1D Euclidean path-integral modeling a particle in a random cosine potential. We demonstrate the efficiency of a minimum-energy decoding strategy as a proxy for the path integral evaluation. In the second part of this paper, we analyze and numerically assess the concatenation of the GKP code with the toric code. When toric code measurements and GKP error correction measurements are perfect, we find that by using GKP error information the toric code threshold improves from 10% to 14%. When only the GKP error correction measurements are perfect we observe a threshold at 6%. In the more realistic setting when all error information is noisy, we show how to represent the maximum likelihood decoding problem for the toric-GKP code as a 3D compact QED model in the presence of a quenched random gauge field, an extension of the random-plaquette gauge model for the toric code. We present a decoder for this problem which shows the existence of a noise threshold at shift-error standard deviation σ0≈0.243 for toric code measurements, data errors and GKP ancilla errors. If the errors only come from having imperfect GKP states, then this corresponds to states with just four photons or more. Our last result is a no-go result for linear oscillator codes, encoding oscillators into oscillators. For the Gaussian displacement error model, we prove that encoding corresponds to squeezing the shift errors. This shows that linear oscillator codes are useless for quantum information protection against Gaussian shift errors.
We present a quantum-limited Josephson-junction-based three-wave-mixing parametric amplifier, the superconducting nonlinear asymmetric inductive element (SNAIL) parametric amplifier (SPA), which uses an array of SNAILs as the source of tunable nonlinearity. We show how to engineer the nonlinearity over multiple orders of magnitude by varying the physical design of the device. As a function of design parameters, we systematically explore two important amplifier nonidealities that limit dynamic range: the phenomena of gain compression and intermodulation distortion, whose minimization are crucial for high-fidelity multiqubit readout. Through a comparison with first-principles theory across multiple devices, we demonstrate how to optimize both the nonlinearity and the input-output port coupling of these SNAIL-based parametric amplifiers to achieve higher saturation power, without sacrificing any other desirable characteristics. The method elaborated in our work can be extended to improve all forms of parametrically induced mixing that can be employed for quantum-information applications.
Grid (or comb) states are an interesting class of bosonic states introduced by Gottesman, Kitaev, and Preskill [D. Gottesman, A. Kitaev, and J. Preskill, Phys. Rev. A 64, 012310 (2001)] to encode a qubit into an oscillator. A method to generate or “breed” a grid state from Schrödinger cat states using beam splitters and homodyne measurements is known [H. M. Vasconcelos, L. Sanz, and S. Glancy, Opt. Lett. 35, 3261 (2010)], but this method requires postselection. In this paper we show how postprocessing of the measurement data can be used to entirely remove the need for postselection, making the scheme much more viable. We bound the asymptotic behavior of the breeding procedure and demonstrate the efficacy of the method numerically.
Signal transmission loss in a quantum network can be overcome by encoding quantum states in complex multiphoton fields. But transmitting quantum information encoded in this way requires that locally stored states can be converted to propagating fields. Here we experimentally show the controlled conversion of multiphoton quantum states, such as Schrödinger cat states, from a microwave cavity quantum memory into propagating modes. By parametric conversion using the nonlinearity of a single Josephson junction, we can release the cavity state in ~500 ns, about three orders of magnitude faster than its intrinsic lifetime. This mechanism—which we dub Schrödinger’s catapult—faithfully converts arbitrary cavity fields to travelling signals with an estimated efficiency of >90%, enabling the on-demand generation of complex itinerant quantum states. Importantly, the release process can be precisely controlled on fast timescales, allowing us to generate entanglement between the cavity and the travelling mode by partial conversion.
The Gottesman-Kitaev-Preskill (GKP) encoding of a qubit within an oscillator provides a number of advantages when used in a fault-tolerant architecture for quantum computing, most notably that Gaussian operations suffice to implement all single- and two-qubit Clifford gates. The main drawback of the encoding is that the logical states themselves are challenging to produce. Here we present a method for generating optical GKP-encoded qubits by coupling an atomic ensemble to a squeezed state of light. Particular outcomes of a subsequent spin measurement of the ensemble herald successful generation of the resource state in the optical mode. We analyze the method in terms of the resources required (total spin and amount of squeezing) and the probability of success. We propose a physical implementation using a Faraday-based quantum non-demolition interaction.
The Bloch-Messiah (BM) reduction allows the decomposition of an arbitrarily complicated Gaussian unitary into a very simple scheme in which linear optical components are separated from nonlinear ones. The nonlinear part is due to the squeezing possibly present in the Gaussian unitary. The reduction is usually obtained by exploiting the singular value decomposition (SVD) of the matrices appearing in the Bogoliubov transformation of the given Gaussian unitary. This paper discusses a different approach, where the BM reduction is obtained in a straightforward way. It is based on the Takagi factorization of the (complex and symmetric) squeeze matrix and has the advantage of avoiding several matrix operations of the previous approach (polar decomposition, eigendecomposition, SVD, and Takagi factorization). The theory is illustrated with an application example in which the previous and present approaches are compared.