Abstract
In the near future, one of the major challenges in the realization of largescale quantum computers operating at low temperatures is the management of harmful heat loads owing to thermal conduction of cabling and dissipation at cryogenic components. This naturally raises the question that what are the fundamental limitations of energy consumption in scalable quantum computing. In this work, we derive the greatest lower bound for the gate error induced by a single application of a bosonic drive mode of given energy. Previously, such an error type has been considered to be inversely proportional to the total driving power, but we show that this limitation can be circumvented by introducing a qubit driving scheme which reuses and corrects drive pulses. Specifically, our method serves to reduce the average energy consumption per gate operation without increasing the average gate error. Thus our work shows that precise, scalable control of quantum systems can, in principle, be implemented without the introduction of excessive heat or decoherence.
Introduction
Quantum bits, or qubits,^{1} have been realized using, for example, superconducting circuits,^{2,3,4} quantum dots,^{5, 6} trapped ions,^{7, 8} single dopants in silicon,^{9} and nitrogen vacancy centers.^{10} The state of a qubit is affected by various sources of error such as finite qubit lifetime, measurement imperfections, nonideal initialization, and imprecise external control. Provided that these errors are below a certain threshold, they can be corrected with quantum error correction codes,^{4, 11, 12} which encode the information of a logical qubit into an ensemble of physical qubits. Error correction codes with exceptionally high thresholds, such as surface codes,^{12} typically require thousands of physical qubits for each faulttolerant logical qubit, which calls for a vast amount of physical resources to realize a computationally useful quantum computer.
Consequently, extensions of the already demonstrated experimental techniques to a largescale solidstate quantum computer introduces practical scaling challenges that are not pronounced in the present prototypes. Along with physical volume limitations, these issues include excessive heat conduction through the vast number of required transmission lines and harmful dissipation at attenuators. This motivates the investigation of control methods alternative to the present standards, such as generation or redistribution of the qubit control pulses at the chip level. See Supplementary Information for more detailed discussion.
Although the overhead related to quantum error correction can be decreased by implementing more accurate operations, it is known that the quantummechanical uncertainties in very weak control pulses significantly increase the gate errors.^{13,14,15,16,17,18,19} In the case of a resonant control pulse, this type of error is inversely proportional to the pulse energy, and hence may, in principle, pose a tradeoff in the power management of the quantum computer. Thus it is interesting to study the fundamental limitations of the quantum gate fidelity arising from finite pulse energy.
In this work, we first derive the greatest lower bound for the singlepulse gate error within the resonant Jaynes–Cummings model.^{20, 21} The inevitable error originates from the quantum nature of the drive pulse and becomes dominant in the regime of low drive powers. In contrast to previous work,^{15, 16, 19} our constructive derivation does not assume any particular state of the system and is applicable to qubit rotations of arbitrary angles. In addition to the lower bound itself, our method naturally finds the bosonic quantum states of the pulses that reach the bound. We explicitly show that singlequbit rotations are optimally realized by applying a certain amount of squeezing to coherent states.
We also find that backactioninduced correlations between the control pulse and the controlled qubit can be transferred to auxiliary qubits (see also Refs. 22,23,24). Thus, we propose a control protocol where multiple gates are generated with a single control pulse which is frequently refreshed using auxiliary qubits. Whereas previous studies suggest that it is not possible to save energy by reusing control pulses without sacrificing the minimum gate fidelity,^{16} our method exhibits orders of magnitude smaller energy consumption with no drop in the average gate fidelity.
Results
Semiclassical model
Let us first review the semiclassical formalism of singlequbit control and the resulting gate errors. The state of a qubit can be represented as a Bloch vector constrained inside a unit sphere, see Fig. 1. Singlequbit logic gates R_{ θ }, realized using, e.g., microwave pulses, rotate the Bloch vector by θ about the axis R. Assuming that the control pulse is a classical waveform in resonance with the qubit transition energy ħω, the system may be described in the rotating frame using a semiclassical interaction Hamiltonian of the form^{25}
where $\u2223\mathrm{g}\u27e9$ and $\u2223\mathrm{e}\u27e9$ denote the ground and excited states of the qubit, respectively, α = αe^{iϕ} represents the classical amplitude α and phase ϕ of the control field, g(t) is the coupling constant including the pulse envelope, and ħ is the reduced Planck constant. The gate R_{ θ } is implemented by choosing the interaction time T and the pulse envelope such that they satisfy $2\mid \alpha \mid {\int}_{0}^{T}g\left(t\right)\mathrm{d}t=\theta $. For example, setting θ = π and R along the xaxis, the temporal evolution operator ${\xdb}_{\mathrm{cl}}=exp\left[i{\int}_{0}^{T}{\u0124}_{\mathrm{int}}^{\mathrm{cl}}\left(t\right)\mathrm{d}t\u2215\hslash \right]$ becomes ${\xdb}_{\mathrm{cl}}=i{\widehat{\sigma}}_{\mathrm{x}}$, where ${\widehat{\sigma}}_{\mathrm{x}}=\u2223\mathrm{e}\u27e9\u27e8\mathrm{g}\u2223+\u2223\mathrm{g}\u27e9\u27e8e\u2223$ is the Pauli Xoperator. Thus, up to a redundant global phase factor, the interaction implements a perfect NOT gate X_{ π }.
We assess gate errors by utilizing the state transformation error
where the initial qubit state is given by $\u2223{\chi}_{0}\u27e9=\phantom{\rule{0.3em}{0ex}}cos\left(\frac{\vartheta}{2}\right)\u2223\mathrm{g}\u27e9+\phantom{\rule{0.3em}{0ex}}sin\left(\frac{\vartheta}{2}\right){\mathrm{e}}^{i\phi}\u2223\mathrm{e}\u27e9$ and $\widehat{K}$ is the desired gate. In general, the qubit state is unknown during the computation, and therefore we choose not to restrict our analysis to any specific state. Instead, we study the average of a given error measure ℰ_{ i } over a uniform state distribution on the Bloch sphere, generally given by
Semiclassically, a source of gate error arises from uncertainties in the phase and the photon number n, which are, for smallphase fluctuations, fundamentally bounded by quantum mechanics through the minimal uncertainty relation^{26} ΔnΔϕ = 1/2. Thus we consider a control pulse with an average of $\overline{n}={\mid \alpha \mid}^{2}$ photons and minimal uncertainties $\Delta n=\sqrt{\overline{n}}{\mathrm{e}}^{r}$ and $\Delta \varphi ={\mathrm{e}}^{r}\mathrm{\u2215}\left(2\sqrt{\overline{n}}\right)$, where r is a free squeezing parameter. These uncertainties carry on to the temporal evolution operator ${\xdb}_{\mathrm{cl}}$, and we find from Eq. (3) that the average gate error becomes inversely proportional to the photon number. For the X_{ π } gate for example, we obtain the average gate error ${\overline{\mathcal{E}}}_{\mathrm{c}l}=\left(4{\mathrm{e}}^{2r}+{\pi}^{2}{\mathrm{e}}^{2r}\right)\u2215\left(24\overline{n}\right)$ in the limit $\overline{n}\to \infty $. Interestingly, the error is minimized with a finite squeezing parameter $r=ln\phantom{\rule{0.3em}{0ex}}\sqrt{\pi \u22152}$, a result reproduced in the full quantum treatment below. An alternative qubitindependent error quantity is the maximum gate error given by ${\mathcal{E}}_{max}={max}_{\vartheta ,\phi}\mathcal{E}\left(\vartheta ,\phi \right)$, which obeys a similar $\mathrm{1}\u2215\overline{n}$dependence.^{19, 14}
Quantum bound for gate error
Let us proceed to the full quantum treatment, where the gate operation arises from the quantummechanical interaction between the qubit and a single bosonic mode referred to as the drive. Utilization of such quantum drive^{27} allows us to account for the changes in its state arising from the interaction with the qubit. In practice, qubits are also driven by propagating photons described by a continuum of modes, but such arrangements do not save energy in comparison to a wellcontrolled single mode (see Supplementary Information). Hence our description below is expected to yield a fundamental lower bound for the energy needed for controlling a single qubit at a given fidelity.
To account for the quantum properties of the drive, we replace the classical Hamiltonian of Eq. (1) with the resonant Jaynes–Cummings Hamiltonian^{25} and define the transformation error as (see Methods)
where ${\widehat{\chi}}_{0}$ and $\widehat{\chi}\left(T\right)$ are the density operators of the qubit before and after the interaction with the drive pulse, respectively.
We are able to solve the drive states that minimize the average or maximum gate error for a given interaction time and a desired rotation ${R\prime}_{\theta}$ about an axis in the xyplane. We find that the errorminimizing drive states are solutions of eigenvalue equations of the form
where ${\widehat{F}}_{i}$ is an operator constructed from the temporal evolution operator, the target gate, and the initial qubit state (see Methods and Supplementary Information for detailed derivations). The operator ${\widehat{F}}_{i}$, and hence the optimal drive state, take different forms depending on whether we choose to minimize the average gate error (i = avg) or the maximum gate error (i = max). By definition, the optimal states $\u2223{\sigma}_{0}^{\mathrm{o}pt,i}\u27e9$ provide the greatest lower bound for the error ℰ_{ i }.
We solve this eigenvalue equation numerically. Examples of fidelityoptimal solutions are shown in Fig. 2a using the Wigner pseudoprobability function.^{28} We note that the numerically obtained states are essentially identical to the squeezed coherent states $\u2223\alpha ,r\u27e9=\widehat{D}\left(\alpha \right)\u015c\left(r\right)\u22230\u27e9$, where $\widehat{D}\left(\alpha \right)={\mathrm{e}}^{\alpha {\xe2}^{\u2020}{\alpha}^{*}\xe2}$ and $\u015c\left(r\right)={\mathrm{e}}^{\frac{1}{2}{r}^{*}{\xe2}^{2}\frac{1}{2}r{\left({\xe2}^{\u2020}\right)}^{2}}$ are the displacement and squeezing operators, respectively.^{28} The difference between the numerical and the exact squeezed state decreases rapidly with increasing α, and the difference in the gate error produced by these states is negligible. Importantly, the numerical solutions possess the correct amplitude and phase to satisfy the timing condition 2gTα = θ and to set the desired direction of the rotation axis, without imposing them explicitly. Furthermore, the average errors, as well as the optimal squeezing parameters, are equal to those obtained in the semiclassical approach above.
In the specific case of πrotations, a sum of two eigenvectors, i.e., the squeezed cat state^{28,29,30}
where the positive constant $\mathcal{N}$ ensures normalization, is a state that minimizes both the average and the maximum error simultaneously (see Supplementary Information). Comparison of errors produced by such a state and a coherent state is presented in Fig. 2b.
Generally for ${R}_{\theta}^{\prime}$ gates, we find solutions with errors that vanish as $\mathrm{1}\u2215\overline{n}$ in the limit $\overline{n}\to \infty $, as shown in the Supplementary Information. The lower bounds together with errors induced by nonsqueezed coherent states are shown in Table 1. Other gates, such as the PauliZ gate and the Hadamard gate, can be constructed as sequences of ${R}_{\theta}^{\prime}$ gates. Recently, it was shown that squeezing also improves the fidelity of the phase gate in the dispersive regime.^{31}
Driverefreshing protocol
All of the fundamental lower bounds derived above are inversely proportional to the average photon number. Intuitively, a drive with a large photon number should be capable of inducing multiple gates without changing substantially, thus decreasing the required amount of energy per gate for nearly equal error level. We show below that reusing a drive effectively decreases the energy consumption well below the lower bound of average gate error for disposable pulses. Furthermore, the drive can be corrected between successive gates such that the consumption drops without essential decrease of the average gate fidelity.
In our protocol, an itinerant control drive cyclically interacts with a register of resonant qubits and ancillary qubits, see Fig. 3a. A cycle begins with the drive, initially in a suitable squeezed coherent state, applying a chosen gate operation with minimal error on a register qubit. Consequently, the drive state changes due to the quantum backaction. To undo this, the drive is set to sequentially interact with corrective ancilla qubits, initialized in a superposition of ground and excited states, for a time corresponding to a πrotation. As a result, the purity, energy, and phase of the drive are restored in successive interactions (see Supplementary Information). At the end of the cycle, the ancilla qubits are reset and the refreshed drive is usable for another highfidelity gate.
Insight into the refreshing mechanism of the ancillary interactions can be obtained by considering the path traversed by the Bloch vector of the ancillary qubit, as illustrated in Fig. 3b. A drive lacking energy rotates the vector with smaller angular frequency, leaving the ancilla slightly biased towards the ground state and gaining energy in the process. Similarly, excessive energy in the drive is transferred to the ancilla due to rotating it closer to the excited state. This effect is discussed further in the Supplementary Information.
With increasing number of ancilla qubits, the execution time of a full cycle increases and thus a single itinerant pulse applies a gate on the register less frequently. To compensate for this, one may use as many drive pulses as there are ancillas in the array, and synchronize their travel times such that each qubit interacts with one of the pulses at a given time. Such a system is able to apply as many gates on the register per cycle as there are itinerant pulses in circulation. However, we restrict our analysis to a single itinerant pulse.
Simplified implementation with ideally prepared ancilla
During one cycle of our protocol, a single drive first interacts with a register qubit, followed by M interactions with ancilla qubits each prepared in the state $\left(\u2223{\mathrm{g}}_{\mathrm{A}}\u27e9+i\u2223{\mathrm{e}}_{\mathrm{A}}\u27e9\right)\u2215\sqrt{2}$. To gain theoretical insight into the core idea of the protocol, we first consider a simplified version where the ancilla qubits are perfectly prepared and reset for every cycle. Additionally, we assume that the register qubits are uncorrelated, and that their states are uniformly randomized over the Bloch sphere.
We numerically simulate the evolution of the drive and evaluate the average error of the gate X_{ π } for a register qubit after each cycle. See Methods for a stepbystep description of the simulation. During the simplified protocol, the average error $\overline{\mathcal{E}}$ will increase from its initial lowerbound value at varying rates depending on the states of the register qubits. We find that after many cycles, the drive reaches a steady state that generates the desired gates with a predictable average error. With 1–3 ancillas per cycle, the average error saturates after a hundred cycles; with ten or more ancillas, the saturation takes less than ten cycles. If no corrective ancillas are used, the average error eventually reaches 0.5.
Figure 4a shows how the eventual error level depends on the number of photons and ancillas. The average gate error approaches its theoretical lower bound, in the limit of many driverefreshing ancilla qubits. For smaller rotation angles, qualitatively similar results are obtained with more slowly accumulating error. Thus a single itinerant drive pulse supplied with ideal ancilla states can generate an infinite number of highfidelity gates.
Register in an entangled state
Above, the qubits in the register were assumed to be essentially uncorrelated. Here we demonstrate the beneficial performance of our method in the case where the register qubits are maximally entangled. We initialize the register of N qubits in the Greenberger–Horne–Zeilinger (GHZ) state $\u2223{\psi}_{\mathrm{G}HZ}\u27e9=\left({\u2223\mathrm{g}\u27e9}^{\otimes N}+{\u2223\mathrm{e}\u27e9}^{\otimes N}\right)\u2215\sqrt{2}$. The control method itself is identical to the one used above: the drive interacts with only one qubit at a time to implement a singlequbit gate $\widehat{K}$ and is subsequently refreshed by M ideally prepared ancillas between each such gate. The target operation on the register is thus ${\widehat{K}}^{\otimes N}$. After the drive has interacted with every register qubit once, the state of the register has transformed into ${\widehat{\rho}}^{\prime}$ and the total transformation error is computed as
We divide this error by the number of qubits to obtain the effective error per gate, ℰ_{eff} = ℰ_{GHZ}/N.
Results of a simulation for an X_{ π/2} gate with the initial drive state $\u2223\sqrt{100},\phantom{\rule{0.3em}{0ex}}\mathrm{l}n\sqrt{\pi \u22152}\u27e9$ are shown in Fig. 4b. A behavior similar to Fig. 4a is observed: with enough ancillary corrections between the register gates, the error produced by an itinerant drive can be reduced to the level given by individual optimal pulses. The figure also suggests that even without corrections, reusing a drive of certain energy is more beneficial in practice than dividing the same amount of photons into individual, weaker disposable pulses. Thus we conclude that regardless of the state of the register, refreshment of a drive pulse likely serves to improve the tradeoff between gate error and required energy.
The above case of entangled qubits, with the chosen target gate X_{ π/2}, provides a way to compare our results to the previous work by Gea–Banacloche and Ozawa,^{16} where they studied a register in a GHZ state that was driven by $\overline{n}$ photons on average. They showed that the maximum gate error of the X_{ π/2} rotation for each qubit in this system scales as $N\u2215\overline{n}$. This scaling was used to argue that a pulse of average photon number ${\overline{n}}_{\mathrm{total}}$ cannot outperform N individual pulses of ${\overline{n}}_{\mathrm{total}}\u2215N$ average photons, although their performance was not compared explicitly. The key differences here are that Ref. 16 does not consider the possibility of using ancillary qubits, and that it employs a definition of error which also accounts for the infidelity of the drive state. Our results suggest that the errors due to both reused and disposable pulses of equal total energy increase sublinearly with N, the prefactor for reused pulses is much smaller than for disposable pulses, and the prefactor can be greatly improved by the refreshing protocol.
Full protocol
The total energy consumption of the protocol can be meaningfully estimated only if the method and energy cost of the ancilla preparation and reset are specified. To this end, we propose to prepare the ancillas by an itinerant corrector pulse shown in Fig. 3a. In the full protocol, the ancilla qubits are first prepared in their ground state and then controlled by the corrector pulse from cycle to cycle. With opposite phase and half the interaction time compared with the drive, the corrector pulse applies an X_{−π/2} gate on the ancilla before and after an X_{ π } gate introduced by the drive pulse, see Methods for details. The purpose of the last X_{−π/2} gate is to return the ancilla qubit close to the ground state, thus performing an imperfect reset. For simplicity, we assume that the state of the register is separable.
Since all ancilla qubits are prepared to the ground state, the energy consumption fully arises from the drive and corrector pulses, both of which have the initial average energy $\overline{n}\hslash \omega $. Thus, the average energy consumption per register gate is $E\mathrm{=}2\hslash \omega \overline{n}\u2215N$, where N is the number of transformed register qubits, or equally the number of elapsed cycles. In the case where the driverefreshing protocol is not used, M = 0, we have $E=\overline{n}\hslash \omega \u2215N$.
The evolution of the drive state depends on the randomized sequence of the initial states of the register qubits. Results from multiple simulations are averaged and shown in Fig. 5. In contrast to the ideal case, the system accumulates error over repeated cycles and the average gate error does not saturate. The accumulation of error is attributed to imperfect preparations and resets of the ancillas as well as accumulating entanglement between the drive and ancilla states. Nevertheless, we find that with a sufficient number of ancillary qubit interactions between the register gates, the average error remains nearly constant for a large number of successive gates. The protocol can be stopped before the error reaches a desired threshold. This shows that the total energy cost per register gate is effectively reduced to orders of magnitude below the lower bound for disposable pulses. In fact, Fig. 5 suggests that the gate error may be, in theory, reduced indefinitely without increasing the power consumption by using more energetic pulses.
Discussion
In this work, we derived the greatest lower bound for the error of a singlequbit gate implemented with a single resonant control mode of a given mean energy. In contrast to previous work, our method for obtaining the bound is not restricted to any particular gate or state of the qubit–drive system. The method can also be used to find the quantum state of the drive mode that minimizes the average gate error, or alternatively the transformation error for a chosen initial qubit state. Specifically, we found that the lower bounds for rotations about axes in the xyplane are achieved by squeezing the quantum state of a coherent drive pulse by an amount that depends on the target gate. Together with the recent result that squeezing also significantly improves the phase gate in the dispersive regime,^{31} our results suggest that squeezing may generally yield useful improvements in different control schemes. This calls for experimental studies on outperforming the widelyused coherent state.
Importantly, our results also impose a lower bound on the energy consumption of qubits controlled by individual disposable pulses. However, we theoretically introduced a protocol where a control pulse is used to generate multiple gates and is refreshed between them to avoid loss of gate fidelity. This protocol exhibits orders of magnitude lower power consumption than the bound for disposable pulses. The refreshing process may also prove useful in correcting the phase and amplitude errors of a noisy control pulse.
Our protocol can possibly be realized in some form with future lowloss microwave components such as photon routers,^{32, 33} circulators, and nanoelectromechanical systems.^{34} Technical limitations in the quality of these devices will set in practice the tradeoff between the achievable gate fidelity and the dissipated power. In the future, our work can be extended to error bounds for 2qubit gates, state preservation, pulse amplification, and propagating control pulses composed of a continuum of bosonic modes.
Methods
Gate error in the Jaynes–Cummings model
The dynamics of the qubit–drive system is generally described by the Jaynes–Cummings Model,^{20, 21} which includes the rotatingwave approximation. Assuming resonant interaction, the system is governed by the interaction Hamiltonian
where $\xe2$ is the bosonic annihilation operator of the drive mode. Without loss of generality, we assume an onoff envelope such that g(t) = const. for 0 < t < T and g(t) = 0 otherwise. Most features of the semiclassical model are reobtained if α→∞ and the drive is in the coherent state $\u2223\alpha \u27e9={\mathrm{e}}^{\frac{1}{2}\mid \alpha {\mid}^{2}}{\sum}_{n=0}^{\infty}\frac{{\alpha}^{n}}{\sqrt{n!}}\u2223n\u27e9$, where $\u2223n\u27e9$ is the nth Fock state. For example, taking the expectation value of ${\u0124}_{\mathrm{int}}$ in the state α⟩ yields the semiclassical Hamiltonian in Eq. (1). Thus the coherent state approximately induces a gate R_{ θ } if the timing condition 2gTα = θ is satisfied.
In contrast to the semiclassical model, the evolution of the qubit is not unitary. After the interaction, the qubit state is extracted by taking a partial trace over the drive degrees of freedom as
where ${\widehat{\rho}}_{0}$ and $\xdb\left(T\right)$ denote the arbitrary initial density operator and the evolution operator of the qubit–drive system, respectively. The error, or infidelity, between the target and the resulting qubit state is here defined as
which can be regarded as a generalization of Eq. (2).
Minimization of gate error
If the initial state of the joint system is separable and pure, ${\widehat{\rho}}_{0}=\u2223{\chi}_{0}\u27e9\u27e8{\chi}_{0}\u2223\otimes \u2223{\sigma}_{0}\u27e9\u27e8{\sigma}_{0}\u2223$, where χ_{0}⟩ and σ_{0}⟩ denote the initial qubit and drive states, respectively, the gate error of Eq. (4) induced by the Jaynes–Cummings interaction can be written in the general form (see Supplementary Information for derivation)
Here, ℰ_{ i } denotes either the transformation error ℰ(ϑ, φ) of a particular qubit state, the average gate error $\overline{\mathcal{E}}$ [Eq. (3)], or the maximum gate error ℰ_{max}. The information about the desired gate and chosen interaction time is contained in the corresponding operator ${\widehat{F}}_{i}$ which is denoted either by $\widehat{F}\left(\vartheta ,\phi \right)$, ${\widehat{F}}_{avg}$, or ${\widehat{F}}_{max}$, respectively. An analytical expression for $\widehat{F}\left(\vartheta ,\phi \right)$ and ${\widehat{F}}_{avg}$ can be found for any gate, whereas an expression for ${\widehat{F}}_{max}$ exists for at least rotations ${R}_{\pi}^{\prime}$, where the rotation axis R′ is restricted to the xyplane of the Bloch sphere. See Supplementary Information for derivations and detailed expressions. From Eq. (11) we see that the errorminimizing drive states are the eigenstates of operators ${\widehat{F}}_{i}$ that correspond to the largest eigenvalue f_{ i },
The numerical approach for solving the eigenstates of ${\widehat{F}}_{i}$ has the disadvantage of truncating the infinitedimensional state vector to a finite vector of length N_{cut}, which might distort or exclude some of the possible solutions. However, the obtained Gaussianlike solutions are not affected by changes in the cutoff for ${N}_{\mathrm{cut}}\overline{n}\gg \sqrt{\overline{n}}$. Raising the cutoff reveals more energetic solutions, but these correspond to pulses that implement the chosen gate after an integer number of unnecessary 2π rotations.
Simplified refreshing protocol with ideal preparations
The Hilbert space of the driverefreshing system is formally a composite space of the Fock space D of the drive and the twolevel spaces {Q_{ k }}_{ k } = {C_{ i },A_{ j }}_{ i,j } of the register and ancilla qubits,
The drive only interacts with one qubit at a time and therefore each interaction can be calculated in the subspace of the relevant qubit and the drive, assuming the qubits are not correlated. After the interaction, the drive state is extracted by tracing over the associated qubit space. Namely, the ith iteration of the drive state is given by
where ${\xdb}_{i}$ acts in the subspace of the drive and the ith qubit in the control sequences described below.
For the target gate X_{ π }, the simplified protocol without the additional corrector pulse is executed with the following steps:

(i)
The drive state is initialized to the state ${\sigma}_{0}=\u2223\sqrt{\overline{n}},\phantom{\rule{0.3em}{0ex}}\mathrm{l}n\sqrt{\pi \u22152}\u27e9$.

(ii)
A new register qubit is initialized in a random pure state, chosen uniformly from the Bloch sphere.

(iii)
The drive interacts with the register qubit for interaction time $T=\pi \mathrm{\u2215}\left(2g\overline{n}\right)$ [Eq. (14)].

(iv)
The M ancilla qubits are initialized to $\u2223{\chi}_{\mathrm{A}}\u27e9=\left(\u2223{\mathrm{g}}_{\mathrm{A}}\u27e9+i\u2223{\mathrm{e}}_{\mathrm{A}}\u27e9\right)\u2215\sqrt{2}$.

(v)
The drive interacts with an ancilla qubit for interaction time $T=\pi \mathrm{\u2215}\left(2g\overline{n}\right)$. Repeat for all ancillas.

(vi)
Evaluate the average error $\overline{\mathcal{E}}$ of a hypothetical X_{ π } gate with Eqs (3) and (4) using the current drive state. Continue from step (ii).
For gates other than X_{ π }, the phases of the drive and ancillas, as well as the interaction time in step (iii), but not step (v), would be shifted accordingly.
Register in an entangled state
In the case where the register is initialized in the GHZ state, the temporal evolution operators must be calculated in the Hilbert space $\left({\otimes}_{i\mathrm{=}1}^{N}{C}_{i}\right)\otimes D$ or $\left({\otimes}_{i\mathrm{=}1}^{N}{C}_{i}\right)\otimes {A}_{j}\otimes D$ for interactions between the drive and a register qubit, or drive and the jth ancilla, respectively. No partial trace over any register qubit is taken. Although the physical control scheme is the same as for the nonentangled register, the simulation differs in steps (ii) and (vi). To obtain a convenient comparison with Ref. 16, the target gate is chosen as X_{ π/2}. The simulation proceeds by the following steps:

(i)
The drive state is initialized to the $\overline{\mathcal{E}}$minimizing state $\u2223{\sigma}_{0}\u27e9=\u2223\sqrt{\stackrel{\u0304}{n}},\phantom{\rule{0.3em}{0ex}}\mathrm{l}n\phantom{\rule{0.3em}{0ex}}\sqrt{\pi \u22152}\u27e9$.

(ii)
The register is initialized in the GHZ state $\left({\u2223\mathrm{g}\u27e9}^{\otimes N}+{\u2223\mathrm{e}\u27e9}^{\otimes N}\right)\u2215\sqrt{2}$

(iii)
The drive interacts with a register qubit for interaction time $T\mathrm{\u2215}2=\pi \mathrm{\u2215}\left(4g\overline{n}\right)$ [Eq. (14)].

(iv)
The M ancilla qubits are initialized to $\u2223{\chi}_{\mathrm{A}}\u27e9=\left(\u2223{\mathrm{g}}_{\mathrm{A}}\u27e9+i\u2223{\mathrm{e}}_{\mathrm{A}}\u27e9\right)\u2215\sqrt{2}$.

(v)
The drive interacts with an ancilla qubit for interaction time $T=\pi \mathrm{\u2215}\left(2g\overline{n}\right)$. Repeat for all ancillas.

(vi)
Continue from step (iii), unless the drive has interacted with every register qubit.

(vii)
Evaluate the transformation error using Eq. (7).
Full protocol
In the full protocol, a corrector pulse is added to the system to prepare the ancilla qubits and we assume that the register is initially in a separable state. In addition to computing the drive state after each ancilla interaction, the state of the interacting ancilla qubit is also extracted for subsequent use by a partial trace over the drive degrees of freedom. This is justified if the ancilla qubits do not become strongly correlated during the evolution. This approximation is more accurate the closer the control pulses are to classical pulses which do not induce entanglement.
The full protocol is given by:

(i)
The drive state is initialized to $\u2223\sqrt{\overline{n}},ln\sqrt{\pi \u22152}\u27e9$, the corrector pulse to $\u2223\sqrt{\overline{n}},\phantom{\rule{0.3em}{0ex}}\mathrm{l}n\phantom{\rule{0.3em}{0ex}}\sqrt{\pi \u22152}\u27e9$ and all M ancillas to the ground state.

(ii)
A new register qubit is initialized in a random pure state.

(iii)
The drive interacts with the register qubit with interaction time $T=\pi \mathrm{\u2215}\left(2g\overline{n}\right)$ [Eq. (14)].

(iv)
An ancilla qubit interacts sequentially with the corrector, the drive, and the corrector again, with interaction times T/2, T, and T/2, respectively. Repeat for all other ancillas.

(v)
Evaluate the average error $\overline{\mathcal{E}}$ of a hypothetical X_{ π } gate with Eqs (3) and (4) using the current drive state. Continue from step (ii).
References
 1.
Preskill, J. Reliable quantum computers. Proc. R. Soc. Lond. A 454, 385–410 (1998). http://rspa.royalsocietypublishing.org/content/454/1969/385
 2.
Nakamura, Y., Pashkin, Y. A. & Tsai, J. S. Coherent control of macroscopic quantum states in a singlecooperpair box. Nature 398, 786–788, doi:10.1038/19718 (1999).
 3.
Barends, R. et al. Superconducting quantum circuits at the surface code threshold for fault tolerance. Nature 508, 500–503, doi:10.1038/nature13171 (2014).
 4.
Kelly, J. et al. State preservation by repetitive error detection in a superconducting quantum circuit. Nature 519, 66–69, doi:10.1038/nature14270 (2015).
 5.
Bonadeo, N. H. et al. Coherent optical control of the quantum state of a single quantum dot. Science 282, 1473–1476 (1998). http://science.sciencemag.org/content/282/5393/1473
 6.
Veldhorst, M. et al. A twoqubit logic gate in silicon. Nature 526, 410–414, doi:10.1038/nature15263 (2015).
 7.
Sackett, C. A. et al. Experimental entanglement of four particles. Nature 404, 256–259, doi:10.1038/35005011 (2000).
 8.
Debnath, S. et al. Demonstration of a small programmable quantum computer with atomic qubits. Nature 536, 63–66, doi:10.1038/nature18648 (2016).
 9.
Pla, J. J. et al. A singleatom electron spin qubit in silicon. Nature 489, 541–545, doi:10.1038/nature11449 (2012).
 10.
Togan, E. et al. Quantum entanglement between an optical photon and a solidstate spin qubit. Nature 466, 730–734, doi:10.1038/nature09256 (2010).
 11.
Terhal, B. M. Quantum error correction for quantum memories. Rev. Mod. Phys. 87, 307–346, doi:10.1103/RevModPhys.87.307 (2015).
 12.
Fowler, A. G., Mariantoni, M., Martinis, J. M. & Cleland, A. N. Surface codes: towards practical largescale quantum computation. Phys. Rev. A 86, 032324, doi:10.1103/PhysRevA.86.032324 (2012).
 13.
Ozawa, M. Conservative quantum computing. Phys. Rev. Lett. 89, 057902, doi:10.1103/PhysRevLett.89.057902 (2002).
 14.
GeaBanacloche, J. Minimum energy requirements for quantum computation. Phys. Rev. Lett. 89, 217901, doi:10.1103/PhysRevLett.89.217901 (2002).
 15.
GeaBanacloche, J. & Ozawa, M. Constraints for quantum logic arising from conservation laws and field fluctuations. J. Opt. B 7, S326 (2005). http://stacks.iop.org/14644266/7/i=10/a=017
 16.
GeaBanacloche, J. & Ozawa, M. Minimumenergy pulses for quantum logic cannot be shared. Phys. Rev. A 74, 060301, doi:10.1103/PhysRevA.74.060301 (2006).
 17.
GeaBanacloche, J. & Miller, M. Quantum logic with quantized control fields beyond the 1/n limit: mathematically possible, physically unlikely. Phys. Rev. A 78, 032331, doi:10.1103/PhysRevA.78.032331 (2008).
 18.
Karasawa, T., GeaBanacloche, J. & Ozawa, M. Gate fidelity of arbitrary singlequbit gates constrained by conservation laws. J. Phys. A 42, 225303 (2009). http://stacks.iop.org/17518121/42/i=22/a=225303
 19.
Igeta, K., Imoto, N. & Koashi, M. Fundamental limit to qubit control with coherent field. Phys. Rev. A 87, 022321, doi:10.1103/PhysRevA.87.022321 (2013).
 20.
Jaynes, E. T. & Cummings, F. W. Comparison of quantum and semiclassical radiation theories with application to the beam maser. Proc. IEEE 51, 89–109 (1963).
 21.
Shore, B. W. & Knight, P. L. The jaynescummings model. J. Mod. Opt. 40, 1195–1238 (1993).
 22.
Layden, D., MartnMartnez, E. & Kempf, A. Universal scheme for indirect quantum control. Phys. Rev. A 93, 040301, doi:10.1103/PhysRevA.93.040301 (2016).
 23.
Slosser, J. J., Meystre, P. & Braunstein, S. L. Harmonic oscillator driven by a quantum current. Phys. Rev. Lett. 63, 934–937, doi:10.1103/PhysRevLett.63.934 (1989).
 24.
Åberg, J. Catalytic coherence. Phys. Rev. Lett. 113, 150402, doi:10.1103/PhysRevLett.113.150402 (2014).
 25.
Nakahara, M. & Ohmi, T. Quantum computing: From linear algebra To physical realizations (CRC Press, 2008).
 26.
Pegg, D. T. & Barnett, S. M. Phase properties of the quantized singlemode electromagnetic field. Phys. Rev. A 39, 1665–1675, doi:10.1103/PhysRevA.39.1665 (1989).
 27.
Salmilehto, J., Solinas, P. & Möttönen, M. Quantum driving and work. Phys. Rev. E 89, 052128, doi:10.1103/PhysRevE.89.052128 (2014).
 28.
Dodonov, V. V. ‘Nonclassical’ states in quantum optics: a ‘squeezed’ review of the first 75 years. J. Opt. B 4, R1 (2002. http://stacks.iop.org/14644266/4/i=1/a=201
 29.
Govia, L. C. G., Pritchett, E. J. & Wilhelm, F. K. Generating nonclassical states from classical radiation by subtraction measurements. New J. Phys. 16, 045011 (2014). http://stacks.iop.org/13672630/16/i=4/a=045011
 30.
Vlastakis, B. et al. Deterministically encoding quantum information using 100photon schrödinger cat states. Science 342, 607–610 (2013). http://science.sciencemag.org/content/342/6158/607
 31.
Puri, S. & Blais, A. Highfidelity resonatorinduced phase gate with singlemode squeezing. Phys. Rev. Lett. 116, 180501, doi:10.1103/PhysRevLett.116.180501 (2016).
 32.
Pechal, M. et al. Superconducting switch for fast onchip routing of quantum microwave fields. Phys. Rev. Appl. 6, 024009, doi:10.1103/PhysRevApplied.6.024009 (2016).
 33.
Hoi, I.C. et al. Demonstration of a singlephoton router in the microwave regime. Phys. Rev. Lett. 107, 073601, doi:10.1103/PhysRevLett.107.073601 (2011).
 34.
Zhou, X. et al. Slowing, advancing and switching of microwave signals using circuit nanoelectromechanics. Nat. Phys. 9, 179–184, doi:10.1038/nphys2527 (2013).
Acknowledgements
We thank Paolo Solinas and Benjamin Huard for useful discussions. This work was supported by the European Research Council under Starting Independent Researcher Grant No. 278117 (SINGLEOUT) and under Consolidator Grant No. 681311 (QUESS). We also acknowledge funding from the Academy of Finland through its Centers of Excellence Program (grant nos 251748 and 284621) and grant (no. 286215) and from the Finnish Cultural Foundation.
Author information
Affiliations
QCD Labs, COMP Center of Excellence, Department of Applied Physics, Aalto University, P.O. Box 13500, Aalto, FI–00076, Finland
 Joni Ikonen
 & Mikko Möttönen
Department of Physics, Yale University, New Haven, Connecticut, 06520, USA
 Joni Ikonen
 & Juha Salmilehto
Department of Mathematical Information Technology, University of Jyväskylä, P.O. Box 35, Jyväskylä, FI40014, Finland
 Mikko Möttönen
Authors
Search for Joni Ikonen in:
Search for Juha Salmilehto in:
Search for Mikko Möttönen in:
Competing interests
The authors declare no competing interests.
Corresponding author
Correspondence to Joni Ikonen.
Electronic supplementary material
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.