QIP uses quantum mechanical phenomena, such as energy quantization, superposition, and entanglement, to encode and process information in a way not utilized by conventional information processing. For example, it is known that certain computational problems may be solved more efficiently using quantum computation rather than conventional classical computation. However, to become a viable computational option, quantum computation requires the ability to precisely control a large number of quantum bits, known as “qubits,” and the interactions between these qubits. In particular, qubits should have long coherence times, be able to be individually manipulated, be able to interact with one or more other qubits to implement multi-qubit gates, be able to be initialized and measured efficiently, and be scalable to large numbers of qubits.
A qubit may be formed from any physical quantum mechanical system with at least two orthogonal states. The two states of the system used to encode information are referred to as the “computational basis.” For example, photon polarization, electron spin, and nuclear spin are two-level systems that may encode information and may therefore be used as a qubit for QIP. Different physical implementations of qubits have different advantages and disadvantages. For example, photon polarization benefits from long coherence times and simple single qubit manipulation, but suffers from the inability to create simple multi-qubit gates.
The above examples of qubits are physical two-level systems. However, quantum information may also be stored in logical qubits, which are formed from multiple physical two-level systems or quantum systems with more than two states. For example, states of a quantum mechanical oscillator, of which there are an infinite number of energy eigenstates, may also be used to form the computational basis for QIP. For example, coherent states of a quantum mechanical oscillator that are sufficiently displaced from one another in phase space are quasi-orthogonal states and may be used as a computational basis. Additionally, states that are superpositions of coherent states, known as “cat states” may be exactly orthogonal to one another and used to form a computational basis.
Different types of superconducting qubits using Josephson junctions have been proposed, including “phase qubits,” where the computational basis is the quantized energy states of Cooper pairs in a Josephson Junction; “flux qubits,” where the computational basis is the direction of circulating current flow in a superconducting loop; and “charge qubits,” where the computational basis is the presence or absence of a Cooper pair on a superconducting island. Superconducting qubits are an advantageous choice of qubit because the coupling between two qubits is strong making two-qubit gates relatively simple to implement, and superconducting qubits are scalable because they are mesoscopic components that may be formed using conventional electronic circuitry techniques. Additionally, superconducting qubits exhibit excellent quantum coherence and a strong non-linearity associated with the Josephson effect. All superconducting qubit designs use at least one Josephson junction as a non-linear non-dissipative element.
According to some aspects, a quantum information processing (QIP) system is provided. The QIP system includes a data qubit and an ancilla qubit, the ancilla qubit having an asymmetric error channel. The data qubit is coupled to the ancilla qubit.
According to some aspects, a method of performing QIP in a system comprising a data qubit coupled to an ancilla qubit is provided. The method includes driving the ancilla qubit with a stabilizing microwave field to create an asymmetric error channel.
The foregoing is a non-limiting summary of the invention, which is defined by the appended claims.
Various aspects and embodiments are described with reference to the following drawings. The drawings are not necessarily drawn to scale. For the purposes of clarity, not every component may be labeled in every drawing. In the drawings:
Conventional QIP schemes encode information in one or more two-level quantum systems (i.e., “qubits”). The state of a single qubit may be represented by the quantum state |ψ, which may be in any arbitrary superposition of the two quantum states, |0 and |1, e.g., |ψ=a|0+b|1, where a and b are complex numbers representing the probability amplitude of the logical qubit being in state |0 and |1, respectively. Here |0 and |1is the computational basis, which may be implemented physically using any physical system with two orthogonal states.
To perform useful a quantum information process, conventional quantum information systems initialize a set of qubits, referred to as “data qubits” because they are used to encode the information being processed, to a particular quantum state, implement a set of quantum gates on the qubits, and measure the final quantum state of the qubits after performing the quantum gates. A first type of conventional quantum gate is a single-qubit gate, which transforms the quantum state of a single qubit from a first quantum state to a second quantum state. Examples of single-qubit quantum gates include the set of rotations of the qubit on a Bloch sphere. A second type of conventional quantum gate is a two-qubit gate, which transforms the quantum state of a first qubit based on the quantum state of a second qubit. Examples of two-qubit gates include the controlled NOT (CNOT) gate and the controlled phase gate. Conventional single-qubit gates and two-qubit gates unitarily evolve the quantum state of the qubits from a first quantum state to a second quantum state.
For large-scale quantum computation to be viable, the quantum states used in the QIP must be protected from errors, which result from inevitable and uncontrolled interactions with the environment. Techniques for mitigating such errors include quantum error correction (QEC) schemes. In some conventional QEC schemes, quantum information is protected by linking errors and undesirable interactions with low-weight quantum operators. For example, quantum information may be encoded in a logical qubit using the non-local degrees of freedom of a high-dimensional system rather than simply encoding the information in a the two quantum states of a physical qubit. In such encodings, high-weight operators imply many-body operators arising, for example, in a system of several qubits or operators involving many quantum states of a single high-dimensional physical system (e.g., a quantum mechanical oscillator). The high-weight operators characterizing a codespace of quantum information are referred to as “stabilizers” and are designed to commute with the logical qubit operators but anti-commute with the errors in the system. In the absence of errors, the system lies in the +1 eigenspace of the stabilizer and after an error occurs the system moves to the −1 eigenspace. Consequently, the location and type of errors can be determined from the result of measuring the stabilizers, which are also known as an “error syndrome.” Measurement of these high-weight stabilizers uses highly-engineering, highly-unnatural, many-body interactions between components of the quantum system.
The inventors have recognized and appreciated that the above types of QEC techniques are undesirable for practical implementations of QIP. Instead, the inventors have recognized and appreciated that it is desirable to synthesize stabilizer measurements via naturally available couplings between the data qubits of the system and an ancillary system. Coupling the data qubits of the QIP system exposes the data qubits to a different set of errors that may be just as challenging to mitigate. For example, if the measurement of the ancillary system is not designed intelligently, errors from the ancillary system may propagate to the data qubits, damaging the encoded quantum information beyond repair. Recognizing this, the inventors have developed techniques for reducing and/or, in some instances, eliminating such catastrophic backaction from the ancillary system.
To assist in explaining some aspects of the present application, a stabilizer measurement technique is described here. To synthesize the stabilizer measurements, a system , representing the logical data qubit, encodes the quantum information in N subsystems implemented using physical qubits. A code is defined by multiple stabilizers but, for simplicity, a single stabilizer, Ŝ, is considered here. A set of low-weight operators, {circumflex over (M)}i, where i=1, 2, . . . N, commute with the stabilizer Ŝ and can be used to synthesize Ŝ through coupling with an ancilla. As an example, the four-qubit operator {circumflex over (σ)}z,1 {circumflex over (σ)}z,2 {circumflex over (σ)}z,3 {circumflex over (σ)}z,4, where {circumflex over (σ)}z,i is the z-Pauli operator acting on the i-th qubit, is a stabilizer for surface codes, in which {circumflex over (M)}i={circumflex over (σ)}z,i. As a second example, the parity operator {circumflex over (P)}=exp(iπâ†â) is a stabilizer for single-mode bosonic cat codes, where ↠and â are the photon creation and annihilation operators, respectively. The ancillary system may be, for example, an ancilla qubit which is coupled to the data qubit via an interaction Hamiltonian
where σz is the z-Pauli operator of the ancilla qubit and gi are controllable interaction strengths between the ancilla and each of the physical qubits used to form the logical data qubit. The evolution of the joint system of the data qubit and the ancilla qubit is described by the unitary operator:
The coupling strength and duration of the interaction, T, between the data qubit and the ancilla qubit may be chosen such that the unitary operator acting on the joint system (up to local rotations) becomes:
The result of the interaction with an interaction time T, is therefore a phase-flip of the ancilla qubit conditioned on whether the stabilizer is +1 or −1. This phase-flip in the ancilla qubit is the error syndrome.
The inventors have recognized and appreciated that, during the interaction time, the data qubit and the ancilla qubit are entangled and, to be a successful QEC scheme, it is desirable to engineer the joint system such that errors in the ancilla qubit do not propagate as uncorrectable errors to the data qubit, which is known as “fault-tolerance.” To prevent the propagation of uncorrectable errors to the data qubit and achieve fault-tolerance, all possible errors in the ancilla qubit should commute with the unitary operator Û(t) at all times. In the above example, the phase flip error {circumflex over (σ)}Z satisfies this condition. Therefore, if a phase-flip error occurs at any time τ during the interaction time duration, then at time T, the state of the system is described by the unitary operator:
Based on this unitary operation, it is clear that the phase flip in the ancilla qubit only introduces an error in the measurement of the syndrome, but does not cause any backaction on the data qubit. Importantly, however, bit flip errors (represented by the Pauli matrix {circumflex over (σ)}x and amplitude damping errors (represented by the Pauli matrix {circumflex over (σ)}−) in the ancilla qubit do not commute with the unitary operator Û(t). In fact, a bit flip error, {circumflex over (σ)}x on the ancilla qubit propagates as a high-weight error to the data qubit.
Conventional approaches to fault-tolerant extraction of error syndromes are based on using multiple ancillas prepared in complex quantum states, performing multiple bitwise entangling gates between the data qubits and the ancilla qubits, and then measuring the ancilla qubits. The inventors have recognized and appreciated that these conventional approaches lead to rapidly growing overhead of computationally expensive entangling gates and ancilla hardware, forcing more stringent requirements on error rates and making fault-tolerant quantum computation impractical, if not impossible, at a large scale. Moreover, the inventors have recognized and appreciated that an efficient fault-tolerant syndrome extraction scheme would enable large-scale quantum information processing. Accordingly, some aspects of the present application are directed to efficient fault-tolerant syndrome extraction.
The inventors have recognized and appreciated that, in the stabilizer measurement scheme described above, the unitary operator Û(t) would result in no backaction on the data qubit if the ancilla qubit did not have bit flip {circumflex over (σ)}x errors. Thus, some aspects of the present application are directed to using an ancilla qubit with an asymmetric error channel where bit flip errors are suppressed relative to phase flip errors. By suppressing the bit-flip errors, which do not commute with the unitary operator Û(t), it is possible to engineer a physical unitary operation that nearly commutes with the ancilla's error channel and will therefore be effectively transparent to ancilla errors.
Aspects of the present disclosure include a method for making fault-tolerant measurements in quantum systems. The techniques described herein may be used in at least three possible applications. First, the techniques may be used in quantum error correction schemes by allowing fault-tolerant extraction of error syndromes. Second, the techniques may be used for new, more efficient error correcting codes and procedures. Third, the techniques may be used to create bias-preserving gates, such as a controller-NOT (CNOT) gate.
The inventors have recognized and appreciated that it is possible to perform a fault-tolerant extraction of an error syndrome using only local operations with an ancilla whose error channel is strongly biased (i.e., asymmetric). Some embodiments improve upon the overhead requirements of relative to conventional schemes fault-tolerant syndrome measurements. Some embodiments include a hardware efficient realization of such a syndrome extraction scheme using a two-component cat state in a parametrically driven nonlinear oscillator that exhibits a highly-biased noise channel.
The inventors have further recognized and appreciated the flexibility of the above approach. In some embodiments, different codes may be used. In some embodiments, the syndrome extraction process is used for a variety of codes such as qubit-based toric codes, bosonic cat-codes (and in extension, binomial and pair-cat code) and Gottesman-Kitaev-Preskill (GKP) codes. However, other codes may also be used.
A challenge for error correction with biased noise is to be able to maintain the bias while performing elementary gate operations such as a CNOT gate, which is an important ingredient for many error correction codes and for universal computation. In conventional systems that use physical qubits as data and/or ancilla qubits, a native bias-preserving CNOT is not possible even if the underlying noise is biased. The inventors have recognized and appreciated that the aforementioned techniques developed for fault-tolerant syndrome extraction can be utilized and extended to realize a bias-preserving CNOT gate between two stabilized cat states. In some embodiments, a CNOT gate is based on the structure of cat states in phase space. In this case, a stabilized cat state can be realized in a parametrically driven nonlinear cavity or via dissipation engineering. Some embodiments that include a bias preserving CNOT gate may achieve gains in the threshold for topological error correcting codes (e.g. toric and surface codes).
In some embodiments, when combined with an ZZ(θ) gate, it may be possible to reduce the thresholds for what is known as “magic state preparation” (which is an important but expensive ingredient, in terms of overhead costs, to achieve universality). In some embodiments, the ZZ(θ) gate inherently preserves bias and may be implemented with stabilized cats. The inventors have recognized and appreciated that combining bias preserving CNOT gates, ZZ(θ) gates and syndrome measurements provides the basis for a fault-tolerant architecture for large-scale quantum computation with ultrahigh thresholds and drastically reduced overhead requirements. Such an architecture, which exploits the bias in the noise channel of stabilized cat qubits, does not have any equivalent in conventional systems based on physical qubits.
The data qubit 110 may be any physical or logical qubit capable of being coupled to the ancilla qubit 120. In some embodiments, the data qubit 110 may include a superconducting circuit component. For example, the data qubit 110 may include at least one Josephson junction. In some embodiments, the data qubit 110 may include a transmon. In some embodiments, the data qubit 110 may include a superconducting nonlinear asymmetric inductor element (SNAIL), which is an example of a superconducting circuit component that includes multiple Josephson Junctions. In other embodiments, the data qubit 110 may include an oscillator. An example of a linear oscillator that may be used includes the electromagnetic field, e.g., microwave radiation, supported by a cavity. A cavity may include a three-dimensional (3D) cavity or a planar transmission line cavity. In some embodiments, the cavity may be driven to include a specific type of quantum state. For example, as described in more detail below, the cavity may be driven to include a cat state or a GKP state. In some embodiments, a superconducting circuit component may be coupled to a cavity to form a Kerr-nonlinear cavity.
The ancilla qubit 120 may be any physical or logical qubit capable of being coupled to the data qubit 110. In some embodiments, the ancilla qubit 120 may include a superconducting circuit component. For example, the ancilla qubit 120 may include at least one Josephson junction. In some embodiments, the ancilla qubit 120 may include a transmon. In some embodiments, the ancilla qubit 120 may include a SNAIL. In other embodiments, the ancilla qubit 120 may include an oscillator. An example of a linear oscillator that may be used includes the electromagnetic field, e.g., microwave radiation, supported by a cavity. A cavity may include a three-dimensional cavity or a planar transmission line cavity. In some embodiments, the cavity may be driven to include a specific type of quantum state. For example, as described in more detail below, the cavity may be driven to include a cat state or a GKP state. In some embodiments, a superconducting circuit component may be coupled to a cavity to form a Kerr-nonlinear cavity.
The ancilla qubit 120 may be used by the measurement device 125 to measure one or more properties of the data qubit 110. For example, an interaction between the data qubit 110 and the ancilla qubit 120 may be engineered such that the state of the ancilla qubit 120 is based on a particular property of the data qubit 110. In some embodiments, the measurement of the data qubit 110 is a quantum nondemolition measurement, meaning the state of the data qubit 110 is left unaffected by the measurement process. In some embodiments, the quantum nondemolition measurement may be performed by using the measurement device 125 to measure the state of the ancilla qubit 120, after the data qubit 110 and the ancilla qubit 120 interact, to determine a property of the ancilla qubit 120. In some embodiments, the interaction between the data qubit 110 and the ancilla qubit 120 may be turned on by driving the data qubit 110 and/or the ancilla qubit 120 with one or more microwave fields using the microwave field source 150.
The read-out cavity 130 is a cavity coupled to the ancilla qubit 120 and configured to support multiple electromagnetic radiation, e.g., microwave radiation, states based on a property of the ancilla qubit 120. In some embodiments, an interaction between the read-out cavity 130 and the ancilla qubit 120 is engineered such that the state of the read-out cavity 130 is dependent on a particular property of the ancilla qubit 120, which itself may be based on a property of the data qubit 110. For example, if a property of the ancilla qubit 120 is a first value, then the interaction results in the read-out cavity 130 being in a first state; and if the property of the ancilla qubit 120 is a second value, then the interaction results in the read-out cavity being in a second state. In some embodiments, the two states of the read-out cavity 130 may be two different quasi-orthogonal coherent states. In other words, the read-out cavity 130 may be displaced in different ways depending on the value of the property of the ancilla qubit 120. In some embodiments, this process may be performed using what is referred to herein as a “Q-switch,” which uses a frequency conversion technique to conditionally displace the read-out cavity 130 based on the property of the ancilla qubit 130. In some embodiments, the interaction between the read-out cavity 130 and the ancilla qubit 120 may be turned on by driving the read out cavity 130 and/or the ancilla qubit 120 with one or more microwave fields using the microwave field source 150.
The cavity state detector 140 may be, for example a microwave radiation detector capable of distinguishing between the possible states of the read-out cavity 130 that result from the interaction between the read-out cavity 130 and the ancilla qubit 120. In some embodiments, the cavity state detector may be a phase-sensitive detector that is capable of measuring not only amplitude, but phase of the electromagnetic field of the read-out cavity 130. For example, the cavity state detector 140 may be a homodyne detector or a heterodyne detector. The result of the detection, in some embodiments, is directly related to the error syndrome.
In some embodiments, the ancilla qubit 130 includes a cavity, the state of which may be measured directly using a homodyne detector. However, if the cavity of the ancilla qubit 130 is a high-Q cavity, the homodyne detection would be slow. Accordingly, the read-out cavity may be a low-Q cavity that may be readout quickly.
The data cavity 210 may be a three-dimensional cavity and includes at least one microwave port 214 for receiving microwave fields 216 from the microwave field source 150. The ancilla cavity 220 may be a three-dimensional cavity that includes at least one microwave port 224 for receiving microwave fields 226 from the microwave field source 150. In some embodiments, the microwave ports may include pin connectors and/or microwave waveguides. While
In some embodiments, the data superconducting circuit element 212 and the ancilla superconducting circuit element 222 may include a nonlinear circuit element. For example, the superconducting circuit elements may be a transmon or a SNAIL.
The SNAIL 401 is a nonlinear superconducting circuit element that has additional tenability relative to a transmon.
The first ring portion includes multiple Josephson junctions 505-507 connected in series. In some embodiments, there are no other circuit elements between one Josephson junction and the next Josephson junction. For example, a Josephson junction is a dipole circuit element (i.e., it has two nodes). A first node of a first Josephson junction 505 is directly connected to the first node 511 of the SNAIL, which may lead to some other external circuit element (not shown). A second node of the first Josephson junction 505 is directly connected to a first node of a second Josephson junction 506. A second node of the second Josephson junction 506 is directly connected to a first node of a third Josephson junction 507. A second node of the third Josephson junction 507 is directly connected to a second node 512 of the SNAIL, which may lead to some other external circuit element (not shown), such as a portion of an antenna.
While
In some embodiments, Josephson junctions 505-507 are formed to be identical. For example, the tunneling energies, the critical current, and the size of the Josephson junctions 505-507 are all the same.
The second ring portion of the SNAIL 500 includes a single Josephson junction 508. In some embodiments, there are no other circuit elements in the second ring portion. A first node of a single Josephson junction 508 is directly connected to the first node 511 of the SNAIL, which may lead to some other external circuit element (not shown), such as a portion of an antenna. A second node of the single Josephson junction 508 is directly connected to the second node 512 of the SNAIL, which may lead to some other external circuit element (not shown), such as a portion of an antenna.
The single Josephson junction 508 has a smaller tunneling energy than each of Josephson junctions 505-507. For this reason, the single Josephson junction 508 may be referred to as a “small” Josephson junction and Josephson junctions 505-507 may be referred to as “large” Josephson junctions. The terms “large” and “small” are relative terms that are merely used to label the relative size of Josephson junction 508 as compared to Josephson junctions 505-507. The Josephson energy and the Josephson junction size are larger in the large Josephson junction than in the small Josephson junction. The parameter a is introduced to represent the ratio of the small Josephson energy to the large Josephson energy. Thus, the Josephson energy of the large Josephson junctions 505-507 is Ej and the Josephson energy of the small Josephson junction 508 is αEj, where 0>α<1.
The right side of
While two separate 3D cavities, one for the data qubit 110 and one for the ancilla qubit 120, is illustrated in
In either the embodiments using a transmon, as illustrated in
|β±=β±(|β±|−β),
where β±=1/√{square root over (2(1±e−2|β|
Cat states of the type described above have the property that natural couplings cause only rotations around the Z axis of the Bloch sphere 600 because the pump used to create the cat states creates a large energy barrier that prevents phase rotations (i.e., rotations from the coherent state |+β to |−β and vice versa). Thus, using the Bloch sphere 600, a noise channel associated with photon loss corresponds to phase flip errors, which dominate the error channel for logical qubits in some embodiments, whereas bit flip errors are suppressed to create the asymmetric error channel, according to some embodiments. The phase-flip errors increase, e.g., linearly, with the size of the cat states, as determined by |β|2, or equivalently the strength of the microwave field used to pump the cat states. On the other hand, the bit-flip errors and the amplitude damping errors are exponentially suppressed based on the size of the cat state |β|2, or equivalently the strength of the microwave field used to pump the cat states. Thus, in some embodiments, when the pumped cat state of the Kerr-nonlinear cavity is used as the physical implementation of the ancilla qubit, fault-tolerant syndrome measurements may be performed.
Some embodiments extract an error syndrome based on conditional rotation of a cat state around the Z axis. This may be accomplished, in some examples, using only low-weight local interactions. In some embodiments, this fault-tolerant technique may be used with a variety of error correcting codes, such as stabilizer codes. Examples of stabilizer codes include, but are not limited to toric codes, bosonic cat codes, and GKP codes. Some embodiments may use non-stabilizer based error correcting codes, such as non-additive quantum codes. Additionally, some embodiments may use the asymmetric error channel of the ancilla qubit to perform fault-tolerant quantum gates.
In some embodiments, the interactions between a data qubit and an ancilla qubit are realized using the inherent nonlinearity of the ancilla qubit implemented using a cat state in a Kerr-nonlinear cavity. As such, some embodiments require no additional coupling elements. Thus, by exploiting the techniques described herein, hardware-efficient quantum information processing schemes can be realized.
Error Syndrome Detection
In some embodiments, a Kerr-nonlinear oscillator implemented, for example, using the hardware described above, may be driven by a two-photon drive with a frequency equal to twice a resonance frequency of the oscillator. When driven by such a microwave field, the oscillator is referred to as a pumped-cat oscillator (PCO) and the Hamiltonian in the rotating wave approximation is:
Ĥ
PCO
=−Kâ
†2
â
2
+P(â†2+â2),
where ↠and â are the photon creation and annihilation operators of the PCO, K is the strength of the Kerr nonlinearity, and P is the strength of the two-photon drive field. Rewriting the PCO Hamiltonian in terms of the coherent state amplitude,
results in:
Ĥ
PCO
=−K(â†2−β2)(â2−β2)+Kβ4.
The coherent states |±β and, equivalently, the cat states |β± are each degenerate eigenstates of this Hamiltonian with an eigenenergy Kβ4=P2/K. For simplicity, it will be assumed that the drive field strength (P) will be real and positive, resulting in β also being real. The coherent states |±β are quasi-orthogonal (β|−β=exp(−2β2)) and the cat states |β± are exactly orthogonal. The cat states |β± are also the ±1 eigenstates of the photon number parity operator, {circumflex over (P)}=exp(iπâ†â). Since the PCO Hamiltonian commutes with photon number parity operator, the eigenstates of the Hamiltonian are also eigenstates of the parity operator. As a result, the eigenspace 700 of the PCO Hamiltonian, shown in
In the rotating frame, the PCO Hamiltonian is described by quasi-energy eigenstates which exhibit negative energies. When a displacement transformation D(±β)=exp(±βâ†∓βâ) is applied to the PCO Hamiltonian, the displaced Hamiltonian, Ĥ′, becomes:
Ĥ′=D(±β)ĤPCOD†(±β)=−4Kβ2â†â−Kâ†2â2∓2Kβ(â†2â+h.c.),
where, because
the terms with â†, â, â†2, and â2 vanish. A constant term E=P2/K representing an energy shift is also dropped. The vacuum state |0 is an eigenstate of Ĥ′ and therefore, in the original frame, the coherent states |±β or equivalently there superpositions |β± are degenerate eigenstates of the original PCO Hamiltonian. In the limit of large β (i.e., large pump values), β2>>β, resulting in Ĥ′ being well approximated by Ĥ′=−4Kβ2â†â, which is the Hamiltonian of an inverted harmonic oscillator. The first excited state of Ĥ′ is the Fock state |n=1, with an energy 4Kβ2 below the vacuum state |0. Therefore, the displaced Fock states D(±β)|n=1 are the two degenerate excited states in the original undisplaced frame. Since the eigenstates of the PCO Hamiltonian are also the eigenstates of the parity operator, it may be convenient to express the excited states as the two orthogonal states |ψe,1±=Ne,1∓[D (β)∓D (\β)]|n=1, which are even and odd parity states, respectively, where Ne,1∓ are normalization constants. The energy gap between the cat-subspace and |ψe,1± is therefore ωgap ∝4Kβ2.
In some embodiments, the PCO interacts with the data qubit, represented by the system , in such a way that the interaction Hamiltonian in the rotating frame is:
Ĥ
I=Σiχi(t){circumflex over (M)}i(â†+â).
To understand the effect of this interaction/coupling on the PCO, it is noted that the cat states undergo bit-flips under the action of the photon annihilation operator, â|β±=βp±1|β∓, where p=β+/β−. Because β±=1/√{square root over (2(1±e−2|β|
Ĥ
I=2βΣiχi′(t){circumflex over (M)}i,
where χ′i(t)=χi(t)(p+p−1)/2˜χi(t) and =|β+β−|+|β−β+| is the Pauli operator in the cat subspace. Thus, the interaction Hamiltonian is an entangling interaction that is identical to the interaction Hamiltonian, {circumflex over (V)}, described above in the example stabilizer measurement technique and therefore leads to the unitary evolution equivalent to the unitary operator Û(t), above. Thus, the couplings χi(t) and interaction time can be selected such that the evolution of the system after time t=T is given by:
Based on the above, the ancilla cat state of the PCO undergoes a bit-flip conditioned on the stabilizer being Ŝ=+1 or Ŝ=−1. The error syndrome can be extracted, in some embodiments, by measuring the state of the PCO at time T.
In some embodiments, an alternative coupling of the form Σiχi(t)({circumflex over (L)}i â†+{circumflex over (L)}†â), where {circumflex over (L)}†+{circumflex over (L)}i={circumflex over (M)}i, may be used. For example, such a coupling may be used to extract the error syndrome when using the GKP code.
The first act of the error syndrome detection 800 is to map the error syndrome on the state of the PCO. This is referred to as the syndrome measurement 810. For example, the ancilla qubit 802 may remain in the cat state |β+ or be transformed to the cat state |β− based on at least one property of the data qubit 803. In some embodiments, the syndrome measurement may be implemented using a control-Z rotation 811, where the state of the PCO is conditionally rotated around the Z-axis of the block sphere based on the state of the data qubit 803. In some embodiments, the syndrome measurement 810 does not change the state of the data qubit 803. As such, the syndrome measurement 810 may be a quantum non-demolition measurement.
After performing the syndrome measurement 810, the error syndrome detection 800 includes a readout operation 820. The readout operation 820 determines the state of the ancilla qubit 802, e.g., by determining the ancilla qubit 802 is in the cat state |β+ or the cat state |β−. In some embodiments, the read-out of the ancilla qubit 802 may include mapping the state of the ancilla qubit 802 onto the read-out cavity 801. In some embodiments, the read-out operation 820 may include two separate operations. The first operation may be a rotation operation 821 on the ancilla qubit 802. For example, the rotation operation 821 may rotate the cat states |β±to the approximate coherent states |±β. The second operation of the read-out operation 820 includes the “Q-Switch” operation 823 in which a single-photon exchange coupling between the PCO and the read-out cavity 801 is turned on by applying appropriate microwave fields from the microwave field generator 150. The result of the Q-Switch operation 823 is that the read-out cavity 801 is conditionally displaced based on the state of the PCO. Finally, after the read-out operation 820 is complete, the read-out cavity 801 is measured using, for example a homodyne detection scheme, thereby yielding the error syndrome.
Error Channel Due to Single Photon Loss
The error channel (sometimes referred to as the noise channel) of a PCO is dominated by single-photon loss in the oscillator, which arises from the single-photon exchange coupling with a bath. As discussed above, if the coupling to the bath is smaller than the energy gap between the cat state subspace and the other states of the eigenspectrum, then the dynamics of the PCO is confined to the cat state subspace. In this restricted subspace, with the assumption that there are no thermal excitations in the bath, i.e., the PCO can only lose photons but not gain photons, the single-photon exchange coupling with the bath results in phase-flip errors dominating over bit-flip errors, which are exponentially small with respect to the strength of the pump field, β. The bath lifts the two-fold degeneracy of the cat state subspace by an amount exponentially small in the size of β2. This is because the number of photons in the odd cat state |β−, given by β+|â†â|β+=β2p2, and the number of photons in the even cat state |β+, given by
differ by an exponentially small amount. It is more likely for a photon to be lost to the environment from |β−than from |β+. This asymmetry lifts the degeneracy between the two cat stats. However, since the difference in the photon numbers decreases exponentially with β, the states cat states |β±are almost degenerate even for moderately sized pump strength, such as β˜2, for which exp(−2β2)=3.3×10−4
The preservation of the degenerate cat subspace in some embodiments makes the PCO an good candidate for a meter for use in syndrome detection because coupling with the bath commutes with the interaction Hamiltonian and does not cause backaction on the data qubit, . Single photon loss to the bath may, however, induce random flips between the two cat states |β±, which reduces the accuracy of the measurement of the ancilla qubit. Nevertheless, since the backaction is exponentially suppressed, the accuracy may be recovered by repeating the measurement multiple times. Thus, in some embodiments, the measurement of the ancilla qubit is performed multiple times and a majority vote is used to determine the error syndrome.
Other Noise Sources
In some embodiments, there are other sources of noise, such as photon gain, pure-dephasing, two-photon loss. Single-photon gain and pure dephasing may result in leakage out of the cat state subspace. But leakage can suppressed by ensuring the spectral densities of these noise sources are narrower than the energy gap between the cat state subspace and the other states of the eigenspectrum. Accordingly, some embodiments are engineered such that the PCO has single-photon gain and pure dephasing spectral densities less than the energy gap. In such embodiments, irrespective of the underlying cause of noise, the PCO's error channel is dominated by phase-flip errors, while bit-flip errors are exponentially suppressed.
Further, in some embodiments, it is possible that spurious excitations or sudden non-perturbative effects overcome the energy barrier and cause excitations to the states outside of the cat state subspace. Remarkably, fault-tolerance of the syndrome measurements is still preserved under these errors.
In the example of single-photon gain, the action of ↠on a cat state that is part of the cat state subspace causes both leakage out of the cat state subspace and a phase-flip error. As discussed above, in the limit of large β, the first excited states |ψe,1± are approximately equal to the displaced single photon Fock states (see, e.g.,
In the example of pure-dephasing errors, the jump operator â†â causes leakage. In the limit of large β, ψe±|â†â|β±˜β. Using arguments similar to those above described in connection with single-photon gain, it can be seen that the data qubit remains transparent to excitation in the states that are not part of the cat state subspace and backaction due to leakage errors is suppressed.
Example Stabilizer Measurements: Toric Codes
In some embodiments, an n-qubit {circumflex over (σ)}z stabilizer is used in connection with a toric code, which is an example of a topological quantum error correcting code. In some embodiments, two-dimensional toric codes may be used. A four-qubit stabilizer, ŜZ={circumflex over (σ)}z,1 {circumflex over (σ)}z,2 {circumflex over (σ)}z,3 {circumflex over (σ)}z,4, may be measured using, e.g., a direct, eigenspace-preserving measurement. The Hilbert space of the stabilizer Ŝz may be classified into an even eigenspace, ε, and an odd eigenspace, . In some embodiments, an eight-fold degenerate even (odd) subspace comprises the states which are +1 (−1) eigenstates of Ŝz. The even eigenspace, ε, and an odd eigenspace, , may be defined as the code and error subspace, respectively, such that a measurement of Ŝz yields −1 or +1 based on whether there was an error or not. Thus, the measurement indicates the error syndrome.
In some embodiments, direct measurement of the stabilizer Ŝz would require a five-body interaction between the data qubits and an ancilla qubit, which is challenging to realize experimentally. Instead, some embodiments perform a syndrome measurement using only two-body interactions. This may be accomplished by replacing {circumflex over (M)}i with {circumflex over (σ)}z,i in the interaction Hamiltonian described above. The resulting interaction Hamiltonian is:
Ĥ
I=χ(t)Ŝ′z(â†+â),
where Ŝz′={circumflex over (σ)}z,1+{circumflex over (σ)}z,2+{circumflex over (σ)}z,3+{circumflex over (σ)}z,4, which has the form of a longitudinal qubit-oscillator coupling. For simplicity, all the interaction strengths are assumed to be equal, though it is not required for them to be equal. As long as the interaction strengths are known, the duration of interaction with each qubit can be adjusted to perform the syndrome measurement. An alternate approach is to keep the duration of interaction fixed, but use a pair of bit-flip driving field pulses for each qubit appropriately separated in time.
Following the analysis of the example stabilizer measurement technique described above, the unitary operator corresponding to this interaction Hamiltonian is:
Û(t)=i sin{2βŜ′z∫0tχ(τ)dτ}+cos{2βŜ′z∫0tχ(τ)dτ}.
In some embodiments, the error syndrome may be extracted by first initializing the PCO to the cat state |β+. Then, in embodiments where the interaction strength is the same for all qubits, the system is evolved for an interaction time Tz such that
More generally, for embodiments where the interaction strengths are different for each qubit, then the interaction time duration for the i-th qubit is Ti,z, where
for each qubit. At the end of the interaction time duration, the unitary operator reduces to:
In this expression for the unitary operator after the interaction time duration, the exponential term at the beginning is a local phase rotation of the qubits. In some embodiments, the local phase rotation may be kept track of in classical software while performing subsequent operations on the qubits and accounted for later. In other embodiments, local {circumflex over (σ)}z-gate may be applied to the qubit during or after syndrome measurement to compensate for these phase rotations. The state of the PCO after time Tz, in some embodiments, is therefore |β+ or |β− if the qubits started in the code Ŝz=+1 or the code Ŝz=−1, respectively.
In some embodiments, a time-dependent qubit-oscillator interaction is implemented by switching on and then turning off a coupling between the qubit and the oscillator. In some embodiments, the four qubits are initialized in a maximally entangled state |ψo in the odd eigenspace, :
In some embodiments, the PCO is initialized to the even number cat state |β+.
χ0=K/20, and Tz=π/(8χ0β).
After the interaction time duration Tz, in the situation with no photon loss (solid lines), the probability that the qubits, represented by the density matrix {circumflex over (ρ)}q are in the even parity state is ψe|{circumflex over (p)}q|ψe=0.9999˜1 and the probability that the PCO, represented by the density matrix {circumflex over (ρ)}PCO is in the odd cat state is β+|{circumflex over (ρ)}PCO|β+=0.9999˜1. Thus, the data qubits are transparent to the errors in the PCO. The single-photon loss in the PCO reduces the fidelity of the syndrome extraction, but this can be recovered by repeating the protocol many times and taking a majority vote. For example, with κ=K/200, the fidelity of the controlled-Z rotation reduces to 93% (dotted line) but by repeating the procedure 5 times the probability of correctly mapping the syndrome to the PCO increases to 99.7%. As seen from the dotted line associated with plot 913. the state of the data qubit after the interaction time duration is unaffected by the photon loss.
In order to highlight the fault-tolerance of the measurements using a PCO, the case in which the measurement is carried out with a conventional two-level physical qubit with the same relaxation rate γ=K/200. With the conventional physical qubit the probability for the data qubits to remain in the original state decreases significantly to ψe|{circumflex over (ρ)}q|ψe=0.992 (and when γ=K/10, ψe|{circumflex over (ρ)}q|ψe=0.867) and ψe|{circumflex over (ρ)}q|ψe=0.990 (and when γ=K/10, ψe|{circumflex over (ρ)}q|ψe=0.827). In other words, one would have to repeat the measurement with the PCO over 100 times before the data qubits get corrupted as much as with just a single measurement with a conventional physical qubit. This clearly demonstrates the exponential suppression of backaction when the measurement is carried out using the PCO as an ancilla qubit.
When the photon loss is introduced (dotted lines), the probability of the PCO being in the odd cat state after the interaction time duration Tz, is reduced to β−|{circumflex over (ρ)}PCO|β−=0.93 due to loss loss-induced bit-flips between the even cat state and the odd cat state. The probability of the qubits being in the odd parity state after the interaction time duration Tz is unchanged relative to without photon loss: ψe|{circumflex over (ρ)}q|ψe=0.9999˜1. If the photon loss is increased to κ=K/10, the probability of the PCO being in the odd cat state after the interaction time duration Tz, is reduced to β−|{circumflex over (ρ)}PCO|β−=0.52. Thus, the fidelity of mapping the syndrome onto the ancilla qubit is reduced to 52%, which is approaching the 50% point where majority voting fails, but the backaction on the data qubits remains suppressed.
Example Stabilizer Measurements: Cat Codes
In some embodiments, a cat code stabilizer, which is a type of bosonic error correcting code where the information is encoded in superpositions of coherent states, is used. The stabilizer for the cat code is the photon-number parity operator {circumflex over (P)}=esiπâ
In some embodiments, the two-fold degenerate code subspace is defined by the cat states with even photon numbers: |β+ and |iβ+, which are eigenstates of {circumflex over (P)} with eigenvalue +1. The error subspace is defined by the cat states with odd photon numbers: |β− and |iβ−, which are eigenstates of P with eigenvalue −1.
In some embodiments for performing cat syndrome measurements, a storage oscillator, which encodes the cat codeword, is dispersively coupled to an ancilla qubit. The dispersive coupling between the storage oscillator and the ancilla qubit may be used to map the parity of the storage cat, which is a property of the data qubit, onto the ancilla qubit. However, a random relaxation of the ancilla during the measurement induces a random phase rotation of the cat codeword, making this scheme non-fault tolerant. The inventors have recognized and appreciated that a fault-tolerant syndrome detection scheme can be engineered by replacing the operator {circumflex over (M)} in the interaction Hamiltonian, ĤI, above with the photon number operator {circumflex over (n)}=âs†âs. In some embodiments, the interaction Hamiltonian of the storage oscillator and ancilla PCO is then given by:
Ĥ
I=χ(t)âs†âs(â†+â).
This interaction is equivalent to a longitudinal interaction between the storage oscillator and the ancilla PCO. In some embodiments, this interaction can be created in a tunable manner.
The unitary operator corresponding to this interaction Hamiltonian is:
Û(t)=i sin{2βâs†âs∫0tχ(τ)dτ}+cos{2βâs†âs∫0tχ(τ)dτ}.
In some embodiments, the error syndrome may be extracted by first initializing the PCO to the cat state |β+. Then, the interaction between the storage oscillator and the ancilla PCO is turned on for an interaction time duration Tp such that
At the end of the interaction time duration, Tp the unitary operator reduces to:
In this expression for the unitary operator after the interaction time duration, the exponential term at the beginning is a deterministic rotation of the frame of reference of the storage cat. In some embodiments, the deterministic rotation may be kept track of in classical software while performing subsequent operations on the qubits and accounted for later. If the storage oscillator is in the code subspace x|β++y|iβ+, then the states of the ancilla PCO and the storage oscillator after the interaction time duration Tp are |β+ and x|β++y|iβ+, respectively (ignoring the deterministic frame rotation). On the other hand, if the storage oscillator is in the error subspace x|β−+y|iβ−, then the PCO evolves to the state |β−at time Tp while the storage cat remains in the state x|β−+y|iβ−. Accordingly, the state of the ancilla PCO indicates the error syndrome, {circumflex over (P)}. In some embodiments, the PCO only measures the parity of the storage cat without revealing information about the actual photon statistics as long as χ is small and the dynamics of the PCO can be restricted to the stabilized cat subspace. For finite χ/Kβ2, there is a small probability of excitations out of the C subspace which could cause phase diffusion in the storage cat. Partial correction of this diffusion is possible in some embodiments by applying a counter-drive to the PCO to cancel the excitations out of the subspace on average such that the correction Hamiltonian Ĥc=−χâs†âs(â†+â).
In some embodiments, a time-dependent qubit-oscillator interaction is implemented by switching on and then turning off a coupling between the storage cavity and the ancilla PCO. In some embodiments, the storage cavity is initialized in the odd-parity state |ψo=|β−+i|iβ−. and the ancilla PCO is initialized in the cat state |β+.
χ0=K/15, and TP=π/(4χ0β).
In order to highlight the fault-tolerance of the measurements using a PCO, the case in which the measurement is carried out with a conventional two-level physical qubit with the same relaxation rate γ=K/200. With the conventional physical, the backaction on the storage cavity increases by approximately two-orders of magnitude.
Example Stabilizer Measurements: Gottesman-Kitaev-Preskill (GKP) Codes
In some embodiments, a GKP code, which is a type of bosonic error correcting code designed to correct random displacement errors in phase space, is used. In some embodiments, the codewords for the GKP code are the simultaneous +1 eigenstates of the phase-space displacements Ŝq=exp(2i√{square root over (π)}{circumflex over (q)})=D(i√{square root over (2π)}) and Ŝp=exp(−2i√{square root over (π)}{circumflex over (p)})=D(√{square root over (2π)}) of the storage cavity, where {circumflex over (q)} and {circumflex over (p)} are the position and momentum operators, respectively, defined in terms of the photon annihilation and creation operators of the storage cavity as {circumflex over (q)}=(âs†+âs)/√{square root over (2)} and {circumflex over (p)}=i(âs†−âs)/√{square root over (2)}, and D(i√{square root over (2π)}) and D(√{square root over (2π)}) are displacement operators, where D(β)=exp(βâs†−β*âs).
Two ideal GKP codewords are uniform superpositions of eigenstates of the position operator {circumflex over (q)} at even and odd integer multiples of √{square root over (π)}, respectively. These GKP states are a sum of an infinite number of infinitely squeezed states and are unphysical (non-normalizable) because of their unbounded number of photons. More realistic codewords that may be used in some embodiments can be realized by replacing the infinitely squeezed state |{circumflex over (q)}=0 with a squeezed Gaussian state and replacing the uniform superposition over these states by an overall envelope function, such as a Gaussian, a binomial, etc. The GKP code provides protection against low-rate errors which can be represented as small phase space displacements of the oscillator given by exp(−iu{circumflex over (q)}) and exp(−iv{circumflex over (p)}). The displaced GKP states are also the eigenstates of the stabilizers Ŝq and Ŝp with eigenvalues exp(i2√{square root over (π)}u) and exp(i2√{square root over (π)}v), respectively. A measurement of the stabilizers yields the eigenvalues and hence uniquely determines the displacement errors u and v. In some embodiments, this is possible when |u|, |v|<√{square root over (π)}/2, which is when the displacement error is smaller than half the translational distance √{square root over (π)}, between codewords.
In some embodiments, a simple approach to measure the eigenvalues exp(i2√{square root over (π)}u) and exp(i2√{square root over (π)}v) of Ŝq and Ŝp, respectively, is based on an adaptive phase-estimation protocol (APE). In such embodiments, displacement operations are repetitively performed on the storage cavity, the displacement operations being conditioned on the state of the ancilla qubit. Thus, some embodiments are directed to a fault-tolerant protocol for the APE of the stabilizers for a GKP code using a stabilized cat in a PCO.
In some embodiments, to achieve a controlled displacement for use in APE, the storage cavity is coupled to the PCO via a tunable single photon exchange interaction (also known as a beam splitter operation), defined by the Hamiltonian:
Ĥ
BS
=Ĥ
PCO
+g(t)â†âs+g*(t)ââs†,
where g(t) is a dynamic coupling strength between the storage cavity and the PCO. In some embodiments, this tunable beam splitter operation may be realized using the three- or four-wave mixing capability of the PCO and external microwave drives of appropriate frequencies received from the microwave field generator 150. For small values of |g|, the beam splitter Hamiltonian can be approximated as
For large amplitude β, the second term of the Hamiltonian Ĥ′BS becomes negligibly small and evolution under the Hamiltonian results in a controlled displacement along the position or momentum quadrature depending on the phase chosen for the coupling g(t). In this limit, when the phase and amplitude of the coupling g(t) are chosen so that g(t)=g*(t)=|g(t)| and β∫0T
The above unitary operator, Û1(T1), is the conditional displacement of the storage cavity for APE of Ŝq, according to some embodiments.
Similarly, when the phase and amplitude of the coupling g(t) are chosen so that g(t)=i|g(t)|, g*(t)=i|g(t)|, and β∫0T
The above unitary operator, Û2 (T2), is the conditional displacement of the storage cavity for APE of Ŝp, according to some embodiments.
The protocol 1100 for estimating Ŝq includes performing a first joint unitary operation 1110 on the data qubit 1102 and the ancilla qubit 1103 such that Û1(T1) is implemented. In some embodiments, the first joint unitary operation 1110 includes two separate actions. First, a displacement operation 1111 that implements the displacement
on the data qubit 1103 is performed. Then, a conditional displacement operation 1113 that implements the displacement D(√{square root over (2π)}) on the data qubit 1103 based on the state of the ancilla qubit 1102.
The protocol 1100 for estimating Ŝq then includes a rotation operation 1120 performed on the ancilla qubit 1102 around the Z-axis by an angle φ. In some embodiments, the rotation operation 1120 is performed by driving the ancilla qubit 1102, which may be a PCO, with a microwave field. In some embodiments, the value of φ may be determined by a previous iteration of the protocol 1100 for estimating Ŝp.
The protocol 1100 for estimating Ŝq then includes a read-out operation 1130 for determining the state of the ancilla qubit 1102. The readout operation 1130 determines the state of the ancilla qubit 1102, e.g., by determining the ancilla qubit 1102 is in the cat state |β+ or the cat state |β−. In some embodiments, the read-out of the ancilla qubit 1102 may include mapping the state of the ancilla qubit 1102 onto the read-out cavity 1101. In some embodiments, the read-out operation 1130 may include two separate operations. The first operation may be a rotation operation 1131 on the ancilla qubit 1102. For example, the rotation operation 1131 may rotate the cat states |β± to the approximate coherent states |±β The second operation of the read-out operation 1130 includes the “Q-Switch” operation 1133 in which a single-photon exchange coupling between the PCO 1102 and the read-out cavity 1101 is turned on by applying appropriate microwave fields from the microwave field generator 150. The result of the Q-Switch operation 1133 is that the read-out cavity 1101 is conditionally displaced based on the state of the PCO 1102. Finally, after the read-out operation 1130 is complete, the read-out cavity 1101 is measured using, for example a homodyne detection scheme.
After the protocol 1100 for estimating Ŝq is performed, the read-out cavity 1101 and the ancilla qubit 1103 may be reset to their respective initialized states (|0 and |β+, respectively).
The protocol 1150 for estimating Ŝp includes performing a second joint unitary operation 1160 on the data qubit 1102 and the ancilla qubit 1103 such that Û2(T2) is implemented. In some embodiments, the second joint unitary operation 1160 includes two separate actions. First, a displacement operation 1161 that implements the displacement
on the data qubit 1103 is performed. Then, a conditional displacement operation 1163 that implements the displacement D (i√{square root over (2π)}) on the data qubit 1103 based on the state of the ancilla qubit 1102.
The protocol 1100 for estimating Ŝp then includes a rotation operation 1170 performed on the ancilla qubit 1102 around the Z-axis by an angle ϕ. In some embodiments, the rotation operation 1170 is performed by driving the ancilla qubit 1102, which may be a PCO, with a microwave field. In some embodiments, the value of ϕ may be determined by a previous iteration of the protocol 1100 for estimating Ŝp.
The protocol 1100 for estimating Ŝp then includes a read-out operation 1180 for determining the state of the ancilla qubit 1102. The readout operation 1180 determines the state of the ancilla qubit 1102, e.g., by determining the ancilla qubit 1102 is in the cat state |β+ or the cat state |β−. In some embodiments, the read-out of the ancilla qubit 1102 may include mapping the state of the ancilla qubit 1102 onto the read-out cavity 1101. In some embodiments, the read-out operation 1180 may include two separate operations. The first operation may be a rotation operation 1181 on the ancilla qubit 1102. For example, the rotation operation 1181 may rotate the cat states |β± to the approximate coherent states |±β. The second operation of the read-out operation 1180 includes the “Q-Switch” operation 1183 in which a single-photon exchange coupling between the PCO 1102 and the read-out cavity 1101 is turned on by applying appropriate microwave fields from the microwave field generator 150. The result of the Q-Switch operation 1183 is that the read-out cavity 1101 is conditionally displaced based on the state of the PCO 1102. Finally, after the read-out operation 1180 is complete, the read-out cavity 1101 is measured using, for example a homodyne detection scheme.
After the protocol 1100 for estimating Ŝp is performed, the read-out cavity 1101 and the ancilla qubit 1103 may be reset to their respective initialized states (|0 and |β+, respectively).
As mentioned above, the amount of rotation performed in rotation operations 1120 and 1160 above are φ and ϕ, respectively, and may be determined based on a previous iteration of the respective estimation protocol. In this way, measurement results are fed back into subsequent iterations of the APE protocol. To understand how these feedback phases are determined, consider the situation where the data qubit 1103 is in an eigenstate of the stabilizer Ŝq with an eigenvalue exp(2i√{square root over (π)}u). After the application of the first joint unitary operation 1110 that implements Û1(Ti), the state of the ancilla qubit becomes i|β− sin(√{square root over (π)}u)+|β+ cos(√{square root over (π)}u). If the ancilla qubit 1102 is further rotated about the Z-axis by an angle ϕ/2 by the rotation operation 1120, the state of the ancilla qubit 1102 becomes |β− sin(√{square root over (π)}u+ϕ)+|β+ cos(√{square root over (π)}u+ϕ).Thus, the probability for the ancilla qubit 1102 to remain in the |β+ state after a single iteration of phase estimation is Pϕ(+|u)=cos2 (√{square root over (π)}u+ϕ/2). Consequently, to accurately predict the value of u, the sensitivity of the probability distribution ∂Pϕ(+|u)/∂ϕ should be maximized. In some embodiments, this is achieved in APE by choosing the feedback phase ϕ based on whether the ancilla qubit 1102 was measured to be in the |β− or the |β+ state in the previous iteration of the protocol. A similar analysis applies to performing the APE protocol 1150 for the eigenvalues of Ŝp and the feedback phase φ.
Based on the above, in some embodiments, the APE protocols 1100 and 1150 may be iterated to estimate the stabilizer eigenvalues. As the number of iterations of phase estimation increases, the accuracy of the estimates of u, v also increases and, consequently, the uncertainty of the eigenvalues exp(2i√{square root over (π)}u) and exp(2i√{square root over (π)}v) decreases.
Ancilla Readout
In several of the embodiments above (e.g., see
In some embodiments, the readout of the ancilla PCO includes a measurement along the Z-axis of the Bloch sphere and does not introduce any additional nonlinearities into the system. As discussed above, the states along the Z-axis of the Bloch sphere are approximately coherent states and may be measured using homodyne detection of the field at the output of the PCO. To overcome the slow speed of direct homodyne detection of the PCO cavity, a Q-switch operation is performed whereby the PCO stats is switched via frequency conversion into a low-Q read-out cavity. In some embodiments, the Q-switch operation conditionally displaces the readout cavity based on the state of the PCO along the Z-axis.
As discussed above, the read-out operation may include a first operation where the cat states of the PCO are rotated into coherent states. Then, the coherent state of the PCO is Q-switched into the readout cavity. Finally the readout cavity is measured.
In some embodiments, the rotation of the cat states |β± of the PCO is performed using microwave drive fields from the microwave field generator 150. The Bloch sphere 1201 of the read-out process 1200 shows the cat states |β± of the PCO located along the X-axis of the Bloch sphere 1201, which is then rotated about the Z-axis of the Bloch sphere 1201. In some embodiments, the rotation around the Z-axis is performed using a single-photon drive with a Hamiltonian:
Ĥ=ε(â†+â)−Kâ†2â2+P(â†2+â2)
The result of this single-photon drive Hamiltonian is to rotate the cat states around the Z-axis in time T=πεβ/8 from |β± to |β+±i|β−/√{square root over (2)}, which is referred to as a parityless cat state and correspond to the states along the Y-axis of the Bloch sphere (see Bloch sphere 1203 of the readout process 1200). To map these parityless cat states onto the coherent states, the two-photon pump that creates the cat states is turned off (see Bloch sphere 1203) for a time T=π/2K, allowing the states of the PCO to evolve freely under the Kerr-nonlinear Hamiltonian (−Kâ†2â2−Kâ†â). The free evolution under the Kerr-nonlinear Hamiltonian results in the states |β+±i|β−/√{square root over (2)} transforming into the near coherent states |β+∓|β−/√{square root over (2)}≈|∓β, as shown in Bloch sphere 1205 of the readout process 1200. Once the free evolution of the PCO state is complete, the two-photon cat pump is reapplied so that the cat subspace is again stabilized against bit-flips. As a result, the PCO remains in the coherent states, as shown in Bloch sphere 1205 of the read-out process 1200.
After the PCO is transformed from cat states into coherent states via the above rotations, the states of the PCO lies along the Z-axis of the Bloch sphere. In some embodiments, the PCO is then coupled to an off-resonance readout cavity. In the absence of an external microwave drive field, the coupling between the PCO and the readout cavity is negligible due to a large detuning between the two. In some embodiments, a single-photon exchange coupling (a beam splitter coupling) is turned on by applying at least one microwave drive field from the microwave field generator to compensate for the frequency difference between the PCO and the readout cavity. A three- or four-wave mixing between the drives, the PCO and the readout cavity results in an interaction between the PCO and the readout cavity causing a resonant single photon exchange between the two. This controllable coupling is referred to a Q-switch. The result of the Q-switch operation is to displace the readout cavity conditions on the state of the PCO, as shown in phase space diagram 1207 of the read-out process 1200. The Q-switch Hamiltonian for this process is given by ĤQ=g(â†âr+ââr†), where âr† and âr are the creation and annihilation operators of the readout cavity and g is the tunable coupling strength between the PCO and the readout cavity. For small values of g, the Q-switch Hamiltonian may be approximated as:
In cases of moderately large β, final term becomes negligibly small and the result is a displacement of the readout oscillator conditioned on the state of the PCO, where the amplitude of the readout cavity's field is
where κr is the linewidth of the field.
After the readout cavity is conditionally displaced, a homodyne detector is used to determine the state of the readout cavity and, thereby, determine the state of the PCO, which is equivalent to extracting an error syndrome.
Bias-Preserving Quantum Gates
The inventors have recognized and appreciated that the above techniques of using an asymmetric error channel of an ancilla qubit to detect error syndromes may be extended to implement a bias-preserving quantum gate. For qubits with biased noise channels (i.e., asymmetric error channels), operations that do not commute with the dominant error type can un-bias, or depolarize, the noise channel of the qubit, thereby reducing the benefits of the biased noise channel.
To understand how non-commuting operations can un-bias the noise channel of a qubit with a biased noise channel, consider a system that preserves the noise bias. For example, consider the following two-qubit gate:
ZZ(θ)=exp[iθ{circumflex over (Z)}1{circumflex over (Z)}2/2]
where {circumflex over (Z)}i is the Z-Pauli operator for the i-th qubit and θ is a tunable phase angle. When θ=π/2, the ZZ(θ) gate becomes a controlled-phase gate, also referred to as a CZ gate, up to local Pauli rotations and an overall phase. The ZZ(θ) gate may be implemented with an interaction Hamiltonian of the form ĤZZ=−V{circumflex over (Z)}1{circumflex over (Z)}2 with the unitary evolution given by ÛZZ(t)=exp(iVt{circumflex over (Z)}1{circumflex over (Z)}2). Under this unitary evolution, the ZZ(θ) gate is realized after an interaction time duration T=θ/2V. If a phase-flip occurs in either one of the two qubits at a time r during the interaction time, the evolution is modified as follows:
Û
e(T)=Û(T−τ){circumflex over (Z)}1/2Û(τ)={circumflex over (Z)}1/2Û(T)
Thus, the erroneous gate operation is equivalent to an error-free gate followed by a phase flip. Accordingly, the ZZ(θ) gate preserves the error bias of the qubit.
On the other hand, the controlled NOT (CNOT) gate (also referred to as a CX gate) between two qubits may be implemented using the following CX Hamiltonian:
with the unitary evolution given by ÛCX(t)=exp(iĤCXt), where the control qubit and target qubit of the CNOT gate are labelled by 1 and 2, respectively. Under this evolution, the CNOT gate is realized after an interaction time duration T=π/2V, such that
where an overall phase is ignored. In the case of this CNOT gate, a phase-flip error in the target qubit at time r during the interaction time modifies the unitary evolution as follows:
Thus, the phase-flip error in the target qubit introduces a phase-flip error in the control qubit, depending on when the phase error in the target qubit occurs. Importantly, the phase-flip of the target qubit during the CNOT gate propagates as a combination of a phase-flip error and a bit-flip error in the same qubit. Consequently, the CNOT gate reduces the bias of the noise channel by introducing bit-flips in the target qubit. Similarly, coherent errors in the gate operation that arise from uncertainty in V and T also give rise to bit-flip errors in the target qubit. As a consequence, a native bias-preserving CNOT gate is not possible to implement.
The inventors have recognized and appreciated that in the absence of a bias-preserving CNOT gate, alternate circuits are required to extract an error syndrome. These alternate circuits add complexity and limit the gains in fault-tolerance thresholds for error correction that result from using qubits with biased noise. The inventors have therefore developed a novel solution to this problem by engineering a bias-preserving CNOT gate using the same two-component cat states realized in a parametrically driven nonlinear oscillator described above.
As shown in
where α is the complex amplitude of the coherent state associated with the cat states.
The cat states and their superpositions, |0 and |1, are degenerate eigenstates of a parametrically driven Kerr-nonlinear oscillator. As described above, the PCO exhibits strong noise bias such that bit-flips are exponentially suppressed. Some embodiments use the PCO to implement a native CNOT gate while preserving the error bias, overcoming the problem with the example CNOT gate described above. In some embodiments, the CNOT gate is based on the topological phase that arises from the rotation of the cat states around the Bloch sphere generated by changing a phase of the parametric drive. The topological nature of some embodiments allows the CNOT gate to preserve the error bias in the qubits. The ability to preserve the noise bias demonstrates just one advantage of using continuous variable physical systems, such as the PCO, to implement a logical qubit rather than using two-level physical systems as the basis of a qubit.
In some embodiments, the time-dependent unitary evolution of the qubits undergoing a CNOT gate does not contain an explicit {circumflex over (X)} operator (i.e., the X-Pauli operator) because, as described in the above example of a CNOT gate, the {circumflex over (X)} operator does not maintain the noise bias of the qubit. In some embodiments, evolution equivalent to the {circumflex over (X)} operator are engineered using alternative techniques that do preserve the noise bias. To see how this is accomplished, it is noted that the cat states are eigenstates of the {circumflex over (X)} operator such that {circumflex over (X)} |α±=±|α±. Also, the orientation of the cat state on the Bloch sphere is defined by a phase ϕ of the two-photon drive field that creates the cat state in the PCO, where the Hamiltonian of the PCO is given by:
This Hamiltonian is the same as the previously discussed PCO Hamiltonian, but the drive field is no longer considered to be real and positive, resulting in the inclusion of the phase ϕ. In some embodiments, this phase of the two-photon pump is varied to implement the CNOT gate. For example, if the phase is adiabatically changes from 0 to rc, then the cat states transform from |α± to ±|−α±=±±|α±. Consequently, rotating the phase of the two-photon pump field by π is equivalent to implementing the {circumflex over (X)} operator.
In some embodiments, a two-qubit bias-preserving CNOT gate is based on a conditional phase-space rotation of a target qubit based on the state of the control qubit. To show how the conditional rotation results in a CNOT gate, consider two PCOs, each stabilized/pumped with its own two-photon microwave pump field. The initial state of the two qubit system is:
where the first and second terms in the tensor product refer to the control and target qubits, respectively, and the terms ci and di are simply the probability amplitudes for each of the components of the superposition and can be arbitrarily chosen to be any initial state. If the phase of the two-photon drive applied to the target PCO is conditioned on the state of the control PCO, then the state of the system evolves as follows such that any given time t, the state is:
If the time-varying phase, ϕ(t) is such that ϕ(0)=0 and ϕ(T)=π, then at time T, the state becomes:
The above result shows that a CNOT gate is realized by rotating the phase of the cat in the target PCO by π conditioned on the state of the control PCO. The CNOT operation is realized because, during this rotation, the |α− state acquires a π phase relative to the |α+ state. This acquired phased difference between the two cat states is a topological phase that results from the state |α− being 2π periodic in the phase of α, whereas the state |α+ is π periodic in the phase of α. The topological phase does not depend on energy like a dynamic phase does. Nor is the topological phase dependent on the geometry of the path, as is the case with a geometric phase. This phase will arise as long as the states |±α move along a loop in phase space that doesn't come too close to the origin (e.g., the size of the cat, α, should be large enough that the geometric phase difference between the two cat states is exponentially small and the topology is the only source of the phase difference between the two cat states). If the number of times that the states |±α go around the origin to |∓α is given by u, then the phase acquired by |±α is exp(iuπ). In other words, u is the winding number.
It can be shown that, unlike the previously described CNOT gate using the {circumflex over (X)} operator, the CNOT gate based on topological phase described above preserves the bias in the noise channel of the qubits. In particular, a phase-flip error occurs in the control PCO during the CNOT gate evolution is equivalent to a phase-flip occurring on the control qubit after an ideal CNOT gate is performed. Similarly, a phase-flip error on the target PCO during the CNOT gate evolution is equivalent to phase-flip errors on the control and target qubits occurring after an ideal CNOT gate. Therefore, the CNOT gate according to some embodiments, does not un-bias the noise channel. This result contrasts with the aforementioned CNOT gate implements between two strictly two-level qubits and shows one advantage of using a larger Hilbert space (e.g., an oscillator) to perform quantum information processing.
In some embodiments, a particular Hamiltonian is used to implement the time evolution of the state |ψ(t), described above. In general, it is assumed that the amplitude of the cats in the control PCO, a, and the target PCO, β, are different. The following is the time dependent interaction Hamiltoinian that implements a bias-preserving CNOT gate between two PCOs according to some embodiments:
In the Hamiltonian ĤCX, the first line is the parametrically driven nonlinear oscillator stabilizing the control cat-qubit. The phase of the drive to this oscillator is fixed at ϕ=0. To understand the other two lines, recall that âc†, âc˜β{circumflex over (Z)}c±iβ exp(−2β2)Ŷc. Therefore, if the control qubit is in the state |0 in the computational basis (which is approximately equal to |β for large β) and the exponentially small contribution from the Ŷc term is ignored, then the CNOT Hamiltonian is simplifies to:
As a result, when the control qubit is in the state |0, the state of the target oscillator remains unchanged.
On the other hand, if the control qubit is in the state |1 in the computational basis (which is approximately equal to |−β for large β), then the CNOT Hamiltonian simplifies to:
The second line of the above expression shows that the cat states |αe
The different in the geometric phases acquired by the two cat states Φg±(t) reflects the fact that the mean photon numbers are different for the two cat states and the area of the path followed by |αe
Consequently, for large α, the two geometric phases are approximately equal does not result in a phase difference between the two states. Instead, it is an overall phase shift that results in an additional Ze(Φg) rotation. This overall phase shift can be accounted for classically in software, or by applying an additional rotation Ze(−Φg) to undo the additional rotation. Alternatively, this extra rotation may be canceled by the operation of the CNOT gate itself using the additional interaction given by the last term in expression for given above. The projection of this last term in the cat state bases is given by:
{dot over (ϕ)}(t)ât†ât≡{dot over (ϕ)}(t)α2[r2|αe
This term leads to a dynamic phase that exactly cancels out the geometric phase. Thus, the CNOT Hamiltonian results in a two-qubit evolution that implements a bias-preserving CNOT gate.
In some embodiments, the physical realization of the bias-preserving CNOT gate using three-wave mixing between two oscillators. The natural coupling between two oscillators is a beam splitter coupling. Thus, in some embodiments, the oscillators are themselves fourth-order, Kerr nonlinear. As such, the three-wave mixing can be generated by parametrically driving the target oscillator at a frequency ωd=2ωt−ωc, where ωt and ωc are the frequencies of the target and control oxillators, respectively. Under such a driving field, the fourth order nonlinearity converts a photon in the drive field and a photon in the control oscillator to two photons in the target oscillator. Thereby, an effective three-wave mixing is realized between the control and target oscillators. In some embodiments, the Kerr nonlinearity of the oscillators themselves is sufficient to realize the CNOT interaction Hamiltonian and no additional coupling elements are necessary. Moreover, because of the parametric nature of the interaction, the coupling is controllable.
The quantum information processing device 1300 includes a control qubit 1301 and a target qubit 1303. In some embodiments, the qubits 1301 and 1303 are a Kerr nonlinear cavity. The nonlinearity of the cavity may be controlled using a superconducting circuit element, such as a transmon or a SNAIL, as described above. In the example shown in
The control qubit 1301 and the target qubit 1303 are capacitively coupled to one another, as illustrated by the capacitor 1309. Microwave fields may be coupled to the control qubit 1301 via an input port 1305 and microwave fields may be coupled to the target qubit 1303 via an input port 1307. Microwave fields may be received from the microwave field generator 150, discussed in connection with
To conditionally rotate the state of the target PCO in phase space based on the state of the control PCO, the CNOT Hamiltonian ĤCX described above is implemented. Expanding the terms of the CNOT Hamiltonian can help understand what driving fields are needed to implement this Hamiltonian. The expanded CNOT Hamiltonian may be written as:
Ĥ
CX
=−Kâ
c
†2
â
c
2
−Kâ
t
†2
â
t
2+β2(âc†2+h.c.)+Kα2 cos(ϕ(t))(eiϕ(t)ât†2+h.c.)−(Kα2 sin(ϕ(t))/(β)(iât†2âc+h.c.)+(Kα4/2β)sin(2ϕ(t))(iâc†+h.c.)−(Kα4 sin2(ϕ(t))/β2)âc†âc−{dot over (ϕ)}(t)ât†ât/2+({dot over (ϕ)}(t)/4β))ât†ât(âc†+h.c.)
This expression can be further simplified by transforming the Hamiltonian into a rotating frame in which the frequencies of the two PCOs are both zero as:
{circumflex over (H)}′CX=−Kâc†2âc2−Kât†2ât2+β2(âc†2e−2iθ(t)+h.c.)+Kα2 cos(2ϕ(t))(ât†2+h.c.)−(Kα2/β)sin(ϕ(t))(iât†2âceiθ(t)−ϕ(t)+h.c.)+(Kα4/2β)sin(2ϕ(t))(iâc†e−iθ+h.c.)+({dot over (ϕ)}(t)/4β))ât†ât(âc†e−θ(t)+h.c.)
where
In this form, it becomes clear how the Hamiltonian can be parametrically engineered using for-wave mixing based on the Kerr-nonlinearity and driving fields. For example, in embodiments where a PCO is realized using a SNAIL, the terms proportional to âi†2 and âi2, where i=c, t labels the control (c) and target (t) qubits, are realized using three wave mixing and the terms proportional to ât†2âc, âc†2ât, ât†âtâc†, and ât†âtâc are realized using four-wave mixing. Terms proportional to âc and âc† do not require a nonlinearity and are realized by simply applying a drive field to the control qubit. Additionally, ϕ(t) is a phase shift that changes over time and adiabatically increases from 0 to π in the time T. Using all of the above information, the CNOT Hamiltonian can be expressed in terms of microwave field amplitudes and phases as:
{circumflex over (H)}′CX=−Kâc†2âc2−Kât†2ât2+A1(âc†2eiΦ
where the field amplitudes, Ai, are assumed to be positive. The driving microwave fields corresponding to the amplitudes A1, A2, A3, A4, and A5 are applied at the frequencies 2ωc, 2ωt, 2ωt−ωc, ωc, and ωc, respectively.
In some embodiments, a particular sequence of fields are applied to the control qubit 1301 and/or the target qubit 1303 during an interaction time duration T. It is during this interaction time that the execution of the CNOT gate is performed. In some embodiments, during the times outside of this interaction time duration, the amplitudes and phases take on the following fixed values: A1=Kβ2, Φ1=0, A2=Kα2, Φ2=0, A3=A4=A5=Φ3=Φ4=Φ5=0. During the CNOT interaction time, the phases Φi (t) are time-varying and change from a value of 0 to π. The value of the phases between 0 and T may change in any way, as long as the changes are adiabatic. In some embodiments, the phases change linearly. For example, Φi(t)=πt/T.
First, a first microwave field is applied to the control cavity at a frequency 2ωc with a fixed amplitude A1 and a time-dependent phase Φ1(t). This first microwave field provide the two-photon term to drive the control cavity via three-wave mixing. The fixed amplitude A1 is illustrated by line 1401 in
Next, a second microwave field is applied to the target cavity at a frequency 2ωt with a time-dependent amplitude A2 and a time dependent-phase ∠2(t). This second microwave field provide the two-photon term to drive the target cavity via three-wave mixing. The changing amplitude A2 is illustrated by line 1402 in
A third microwave field at a frequency 2ωt−ωc is applied to the target cavity at with a time-dependent amplitude A3 and a time-dependent phase Φ3(t). This third microwave field realize the coupling terms proportional to ât†2âc inn the CNOT Hamiltonian. The changing amplitude A3 is illustrated by line 1403 in
A fourth microwave field at a frequency ωc is applied to the control cavity at a with a time-dependent amplitude A4 and a time-dependent phase Φ4(t). This fourth microwave field realizes the single-photon drive of the control cavity. The changing amplitude A4 is illustrated by line 1404 in
Finally, a fifth microwave field is applied to the target cavity at a frequency co, with a fixed amplitude A5 and a time-dependent phase Φ5(t). This fifth microwave field provide realizes the final term in the CNOT Hamiltonian. The fixed amplitude A5 is illustrated by line 1405 in
Error-Correction Code Tailored to Biased Noise
The inventors have recognized and appreciated that aspects of the stabilizer measurement scheme described above may be used to efficiently implement an error-correction code tailored to the biased noise because the measurement scheme preserves the noise bias. Above, the preparation of cat states in data qubits and ancilla qubits is described. Quantum gates such as Z-axis rotations and ZZ(θ) gates are also described above. In addition, measurements along the Z-axis can be performed, for example, using homodyne detection using the techniques above. Measurements along the X-axis can be performed using additional gates and ancilla. The inventors have recognized and appreciated that these state preparation techniques, quantum gates, and detections can be combined with the bias preserving CNOT gate between the two cat-qubits to implement universal fault-tolerant quantum computation. Accordingly, some embodiments use the bias-preserving set of operations {CNOT, Z(θ), ZZ(θ), |±, {circumflex over (X)}, {circumflex over (Z)}} to implement efficient and compact circuits for fault-tolerant error correction based on concatenation, where is the preparation of the cat states |α±, {circumflex over (X)} is a measurement along the X-axis, and {circumflex over (Z)} is a measurement along the Z-axis.
In some embodiments, the biased-noise qubits are encoded in a repetition code 1 and corrections are made for the dominant error types (e.g., phase flip errors). A repetition code with n qubits can correct for (n−1)/2 phase flip errors. In some embodiments, the codewords are |0L=(|+L+|−L)/√{square root over (2)} and |1L=(|+L−|−L)/√{square root over (2)}, where |+L=|α+|α+|α+ . . . and |−L=|α−|α−|α− . . . , where there are n cat states per codeword state. The result of this first encoding is a more symmetric noise channel with reduced noise strength. In some embodiments, the repetition code with errors below a threshold may then be concatenated to a CSS code 2 to further reduce errors.
The n−1 stabilizer generators for the repetition code are {circumflex over (X)}1 ⊗{circumflex over (X)}2 ⊗Î3 ⊗Î4 . . . , Î1ε{circumflex over (X)}2⊗{circumflex over (X)}3⊗Î4 . . . , etc. In some embodiments, the most naive way to detect errors is used, which is to measure each stabilizer generator using an ancilla. Such a technique is shown by the quantum circuit diagram 1500 of
Each ancilla 1504-1505 is initialized in the state |α+, as illustrated by the triangles 1517 and 1527. Then two CNOT gates 1510 and 1515 are implemented between the first ancilla qubit 1504 and the first two code qubits 1501 and 1502, and two CNOT gates 1520 and 1525 are implemented between the second ancilla qubit 1505 and the second two code qubits 1502 and 1503. Finally, the ancilla qubits 1504-1505 are measured along the X axis, as represented by the triangles 1519 and 1529. Some embodiments, to be fault-tolerant, measure each of the stabilizer generator r times and the syndrome bit is determined with a majority vote on the measurement outcomes. A syndrome bit is incorrect if m≥(r+1)/2 of the measurements are faulty.
This decoding scheme is equivalent to constructing an r-bit repetition code for each of the (n−1) stabilizer generators of the repetition code. Thus, each bit of syndrome from the inner code is itself encoded in an [r, 1, r] repetition code so that decoding can proceed by first decoding the syndrome bits and then decoding the resulting syndrome. This naive way to decode the syndrome results in a simple analytic expressions for the logical error rates. However, the inventors have recognized and appreciated that this naive may not be the preferred approach to decode and, in some embodiments, the two-stage decoder of
In some embodiments, to construct a measurement code the syndrome measurement procedure measures a total of s elements of the stabilizer group (not necessarily the specified generators) by coupling to ancilla qubits and corrects any t=(d−1)/2 phase-flip errors on the n qubits. Thus, there is a classical code with parameters [n+2, n, d]. However, not every classical code with those parameters is admissible, because the classical parity checks should be compatible with the stabilizers of the original quantum code, in this example the repetition code. In particular, each parity check in the measurement code should have even weight when restricted to the data qubits so that it commutes with the logical {circumflex over (Z)}L operator of the quantum phase-flip code. In some embodiments, consistency with the stabilizer group of the base quantum code is the only constraint on a measurement code.
The general form of a measurement code can be specified by the parity check matrix HM. This in turn is specified as a function of the (generally redundant) parity checks HZ of the quantum repetition code and an additional set of s ancilla bits that label the measurements. Given HZ, the parity check matrix of the measurement code is the block matrix HM=(HZ IS), where IS is the s×s identity matrix. Since there are s ancilla bits for readout, HM is an s×(n+s) matrix. In some embodiments, the rows of the HZ have even weight because the rows come from the stabilizers of a quantum repetition code. The rows are linearly independent, making the associated code have parameters [n+s, n, d] for some d≤n. The distance is never greater than n since a string of {circumflex over (Z)} operators on the data qubits, corresponding to 1's on exactly the first n bits, is always in the kernel of HM.
The measurement of the j-th parity check in the measurement code can be done by a standard choice of circuit. In some embodiments, a CNOT gate is applied to the i-th qubit if there is a 1 in the i-th column, and target the ancilla labeled in column n+j. Note that by construction there is a 1 in position (j; n+j) of HM. The effective error rate of this bare-ancilla measurement gadget depends on the number of CNOT gates used, and hence on the weight of the stabilizer being measured. Therefore, all other things (such as code distance) being equal, lower weight rows are preferred when designing a measurement code. The two examples considered here are generated from the following choices for HZ, displayed here in transpose to save space:
These example codes saturate the distance bound, such that d=n for each code (e.g., d=3 and d=5, respectively). In contrast, the measurement code associated with repeating the measurements of the standard generators r times for n=r=3, is:
Both this choice and the 3×3 choice above have distance d=3 as measurement codes. However, the 3×3 choice above corresponds to a [6, 3, 3] measurement code whereas the naive repeated generator method yields a [12, 3, 3] measurement code. In general, the naive scheme yields an [n(n−1)r, n, d(n, r)] code, and for smaller r the distance will not yet saturate to n. For the case n=5 case, r must equal 2 before the measurement code has a distance 3, and r=4 before the distance saturates at d=5. Thus, the naive scheme yields either an [13, 5, 3] code or a [21, 5, 5] code, which are inferior in either distance or rate respectively to the [14, 5, 5] code that results from the choice. These examples also illustrate a counterintuitive feature of measurement codes, according to some embodiments. Consider again the naïve repeated generator method with n=5 and r=2 or 4. If the decoder works by first decoding the syndrome bits individually, then the data are only protected against at most (r−1)/2=0 or 1 arbitrary errors respectively. However, a decoder that uses the structure of the associated measurement code can correct 1 or 2 arbitrary data errors with these respective parameters, which then reduces the leading order behavior of the code failure probability.
Both of the two example codes above are small enough that the exact probability of a decoding failure can be computed via an exhaustive lookup table. To demonstrate the advantage of the measurement code over naive encoding and decoding, we estimate the probability of a logical error in the CNOT-gadget using the measurement code in the second example above for n=5. The corresponding threshold is ˜6×10−3. On the other hand, to reach a similar threshold using the naive decoder requires n=11, r=5. Thus, in some embodiments, the decoder requires fewer resources than the naive decoder. In general an optimal (maximum likelihood) decoder is infeasible to implement because it requires exponential resources in n and s to compute, so substantially larger codes will need decoding heuristics such as message passing algorithms to approach peak decoding performance. In some embodiments, the decoder declares failure whenever the data error is not guessed exactly right, even though this is not necessary. When repeated rounds of error correction occur, it is sufficient to define success as reducing the weight of any correctable error.
Methods of Performing QIP
Various methods of performing QIP are discussed above in connection with measuring error syndromes and performing bias-preserving gates.
At act 1602, the method 1600 includes driving an ancilla qubit with a stabilizing field. In some embodiments, the stabilizing field generates the asymmetry in the error channel of an ancilla qubit that is exploited to measure error syndromes and perform bias-preserving quantum gates. The stabilizing field may be applied to the ancilla qubit using the microwave field generator 160.
At act 1604, the method 1600 includes creating a Kerr-nonlinearity in the ancilla qubit using at least one Josephson junction of the ancilla. In some embodiments, coupling a superconducting circuit element to a cavity creates the Kerr-nonlinearity. For example, a transmon or a SNAIL may be located in a 3D cavity to create a Kerr-nonlinear cavity.
At act 1605, the method 1600 includes applying a plurality of microwave fields to the ancilla qubit and the data qubit. In some embodiments, these microwave fields may be applied to create pumped cat states in the Kerr-nonlinear cavity. In some embodiments, the microwave fields may be applied to perform rotation on the states of the data qubit or the ancilla qubit. In some embodiments, the microwave fields may be applied to perform conditional gates, such as conditional rotations, on one qubit based on the state of another qubit. In some embodiments, the microwave fields may be applied to couple the ancilla qubit to the data qubit or to couple the ancilla qubit to a readout cavity. Or, as discussed above, any number of operations may be performed by applying microwave fields to the data qubit and/or the ancilla qubit.
At act 1608, the method includes measuring the ancilla qubit. As discussed above, the ancilla qubit may be measured directly by, e.g., performing homodyne detection of a cavity of the ancilla qubit. Alternatively, the ancilla qubit may be measured by coupling the ancilla qubit to a readout cavity, conditionally displacing the state of the readout cavity based on the state of the ancilla qubit, and then measuring the state of the readout cavity. In some embodiments, the measurement of the ancilla is a QND measurement.
At act 1702, the method 1700 includes applying at least one rotation microwave field to the ancilla cubit. In some embodiments, the rotation may be about the Z-axis of a Bloch sphere associated with the ancilla qubit. In some embodiments, the rotation may rotate cat states from |β± to |β+±i|β−/√{square root over (2)}.
At act 1704, the method 1700 includes turning off a stabilizing microwave field for an amount of time. In some embodiments, this allows the ancilla qubit to freely evolve. In some embodiments, the ancilla qubit may include a Kerr-nonlinear cavity and the state of the ancilla qubit may freely evolve under the Kerr-nonlinear Hamiltonian. In some embodiments, the free evolution of the ancilla qubit results in a rotation of the state of the ancilla qubit that could not be performed if the stabilizing field was still applied to the ancilla qubit.
At act 1706, the method 1700 includes re-applying the stabilizing microwave field to the ancilla qubit. In some embodiments, re-applying the stabilizing microwave field stops the free evolution of the state of the ancilla. In some embodiments, re-applying the stabilizing microwave field keeps the state of the ancilla in one of two coherent states. In some embodiments, re-applying the stabilizing field suppresses a particular type of error such that the error channel of the ancilla qubit is asymmetric. For example, the stabilizing field may suppress bit-flip errors.
At act 1708, the method 1700 includes applying an exchange microwave field to the ancilla qubit. In some embodiments, the exchange microwave field creates an interaction between the ancilla qubit and a readout cavity. In some embodiments, applying the exchange microwave field creates a three- or four-wave mixing interaction. In some embodiments, applying the exchange microwave field causes a Q-switch operation.
Having thus described several aspects of at least one embodiment of this invention, it is to be appreciated that various alterations, modifications, and improvements will readily occur to those skilled in the art. Such alterations, modifications, and improvements are intended to be part of this disclosure, and are intended to be within the spirit and scope of the invention. Further, though advantages of the present invention are indicated, it should be appreciated that not every embodiment of the invention will include every described advantage. Some embodiments may not implement any features described as advantageous herein and in some instances. Accordingly, the foregoing description and drawings are by way of example only.
Various aspects of the present invention may be used alone, in combination, or in a variety of arrangements not specifically discussed in the embodiments described in the foregoing and is therefore not limited in its application to the details and arrangement of components set forth in the foregoing description or illustrated in the drawings. For example, aspects described in one embodiment may be combined in any manner with aspects described in other embodiments.
Use of ordinal terms such as “first,” “second,” “third,” etc., in the claims to modify a claim element does not by itself connote any priority, precedence, or order of one claim element over another or the temporal order in which acts of a method are performed, but are used merely as labels to distinguish one claim element having a certain name from another element having a same name (but for use of the ordinal term) to distinguish the claim elements.
All definitions, as defined and used herein, should be understood to control over dictionary definitions, definitions in documents incorporated by reference, and/or ordinary meanings of the defined terms.
The indefinite articles “a” and “an,” as used herein in the specification and in the claims, unless clearly indicated to the contrary, should be understood to mean “at least one.”
As used herein in the specification and in the claims, the phrase “at least one,” in reference to a list of one or more elements, should be understood to mean at least one element selected from any one or more of the elements in the list of elements, but not necessarily including at least one of each and every element specifically listed within the list of elements and not excluding any combinations of elements in the list of elements. This definition also allows that elements may optionally be present other than the elements specifically identified within the list of elements to which the phrase “at least one” refers, whether related or unrelated to those elements specifically identified.
As used herein in the specification and in the claims, the phrase “equal” or “the same” in reference to two values (e.g., distances, widths, etc.) means that two values are the same within manufacturing tolerances. Thus, two values being equal, or the same, may mean that the two values are different from one another by ±5%.
The phrase “and/or,” as used herein in the specification and in the claims, should be understood to mean “either or both” of the elements so conjoined, i.e., elements that are conjunctively present in some cases and disjunctively present in other cases. Multiple elements listed with “and/or” should be construed in the same fashion, i.e., “one or more” of the elements so conjoined. Other elements may optionally be present other than the elements specifically identified by the “and/or” clause, whether related or unrelated to those elements specifically identified. Thus, as a non-limiting example, a reference to “A and/or B”, when used in conjunction with open-ended language such as “comprising” can refer, in one embodiment, to A only (optionally including elements other than B); in another embodiment, to B only (optionally including elements other than A); in yet another embodiment, to both A and B (optionally including other elements); etc.
As used herein in the specification and in the claims, “or” should be understood to have the same meaning as “and/or” as defined above. For example, when separating items in a list, “or” or “and/or” shall be interpreted as being inclusive, i.e., the inclusion of at least one, but also including more than one, of a number or list of elements, and, optionally, additional unlisted items. Only terms clearly indicated to the contrary, such as “only one of” or “exactly one of,” or, when used in the claims, “consisting of,” will refer to the inclusion of exactly one element of a number or list of elements. In general, the term “or” as used herein shall only be interpreted as indicating exclusive alternatives (i.e. “one or the other but not both”) when preceded by terms of exclusivity, such as “either,” “one of,” “only one of,” or “exactly one of.” “Consisting essentially of,” when used in the claims, shall have its ordinary meaning as used in the field of patent law.
Also, the phraseology and terminology used herein is for the purpose of description and should not be regarded as limiting. The use of “including,” “comprising,” or “having,” “containing,” “involving,” and variations thereof herein, is meant to encompass the items listed thereafter and equivalents thereof as well as additional items.
This application claims the benefit under 35 U.S.C. § 119(e) of U.S. Provisional Patent Application No. 62/692,243, filed Jun. 29, 2018, titled “FAULT TOLERANT MEASUREMENTS AND GATES FOR QUANTUM INFORMATION PROCESSING,” which is hereby incorporated by reference in its entirety. The technology described herein relates generally to quantum information systems. Specifically, the present application is directed to systems and methods for performing quantum information processing (QIP) using at least one qubit with an asymmetric error channel.
This invention was made with government support under 1609326 awarded by National Science Foundation, support under FA9550-15-0029 awarded by United States Air Force Office of Scientific Research, support under N00014-16-2270 awarded by United States Office of Naval Research and support under W911NF-14-1-0011 and W911NF-16-1-0349 awarded by United States Army Research Office. The government has certain rights in the invention.
Filing Document | Filing Date | Country | Kind |
---|---|---|---|
PCT/US2019/039945 | 6/28/2019 | WO | 00 |
Number | Date | Country | |
---|---|---|---|
20210125096 A1 | Apr 2021 | US |
Number | Date | Country | |
---|---|---|---|
62692243 | Jun 2018 | US |