Deterministic nonlinear gates with oscillators mediated by a qubit
Kimin Park, Petr Marek, Radim Filip

TL;DR
This paper proposes a method to implement nearly deterministic and high-fidelity nonlinear operations on harmonic oscillators using a two-level system, overcoming limitations of measurement-based approaches.
Contribution
It introduces a sequential interaction scheme with a two-level system to realize nonlinear gates, such as self-Kerr and cross-Kerr, with high success probability.
Findings
Achieves near-deterministic nonlinear operations
Demonstrates implementation of self-Kerr and cross-Kerr couplings
Uses feasible dispersive coupling in realistic setups
Abstract
Quantum nonlinear operations for harmonic oscillator systems play a key role in the development of analog quantum simulators and computers. Since a variety of strong highly nonlinear operations are unavailable in the existing physical systems, it is a common practice to approximate them by using conditional measurement-induced methods. The conditional approach has several drawbacks, the most severe of which is the exponentially decreasing success rate of the strong and complex nonlinear operations. We show that by using a suitable two level system sequentially interacting with the oscillator, it is possible to resolve these issues and implement a nonlinear operation both nearly deterministically and nearly perfectly. We explicitly demonstrate the approach by constructing self-Kerr and cross-Kerr couplings in a realistic situation, which require a feasible dispersive coupling between the…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Deterministic nonlinear gates with oscillators mediated by a qubit
Kimin Park
Department of Optics, Palacký University, 17. listopadu 1192/12, 77146 Olomouc, Czech Republic
Petr Marek
Radim Filip
Department of Optics, Palacký University, 17. listopadu 1192/12, 77146 Olomouc, Czech Republic
Abstract
Quantum nonlinear operations for harmonic oscillator systems play a key role in the development of analog quantum simulators and computers. Since a variety of strong highly nonlinear operations are unavailable in the existing physical systems, it is a common practice to approximate them by using conditional measurement-induced methods. The conditional approach has several drawbacks, the most severe of which is the exponentially decreasing success rate of the strong and complex nonlinear operations. We show that by using a suitable two level system sequentially interacting with the oscillator, it is possible to resolve these issues and implement a nonlinear operation both nearly deterministically and nearly perfectly. We explicitly demonstrate the approach by constructing self-Kerr and cross-Kerr couplings in a realistic situation, which require a feasible dispersive coupling between the two-level system and the oscillator.
Introduction
Quantum computers or quantum Turing machines quantumcomputer take advantage of their quantum mechanical architecture and are capable of solving tasks which are exponentially hard for their classical counterparts algorithm . Their predecessors are quantum simulators simulators ; Feynman1982 , which seek to emulate specific quantum dynamics of particular quantum systems in place of general processing. The fundamental principle of the simulations relies on mapping the complex quantum systems onto other more accessible and better controllable ones, such as trapped ions simulation_ions , photons simulation_photons , atomic lattices atomiclattice and superconducting circuit superconducting . The analog simulators are dedicated to continuous variables (CV) systems with infinite dimensional Hilbert space CVsystems . These systems allow for simulations of unexplored highly nonlinear open quantum dynamics FilipPRA2005MeasCVinter ; MiwaPRL2014 ; LloydPRL1999 ; GKP ; MarekPRA2011Cubic ; SefiPRA2013 ; MiyataPRA2016 . Some CV nonlinear operations naturally appear in other physical systems, such as Bose-Einstein condensates BEC , cold ions cold_ions , or circuit quantum electrodynamics KirchmairNat2013Kerr . The spectrum of nonlinear operations is however limited and typically determined by the unique physics of specific experimental platforms.
A broader set of nonlinear operations for quantum harmonic oscillator can be elegantly realized by coupling them to suitable two-level systems (qubits) LeibfriedRMP2003Trappedions ; XiangRMP2013hybridsuperconducting ; AspelmeyerRMP2014CavityOptomechanics ; ReisererRMP2015CavityNetwork ; LodahlRMP2015PhotonicNanostructures . This realization is possible because the two-level systems are naturally nonlinear due to their saturability and offer a wide variety of qubit-oscillator couplings. The nonlinear nature in turn leads to dynamics of the oscillator which can be used for deterministic generation of nonclassical states NCstates or for conditional realization of nonlinear quantum potentials Park2016Rabi ; ParkPRA2016JC . The two level systems are also beneficial from a technical standpoint, allowing for a significantly larger number of individual interactions SayrinNat2011atom than what is allowed for purely optical ancillary single photon states FiurasekPRA2009 ; ParkPRA2014Xgate . The conditional nature of these hybrid operations, however, limits them in their suitability for practical applications as well as quantum simulations, which ultimately leads to success rate exponentially decreasing with the number of operations involved.
In this report we propose a method for deterministic implementation of nonlinear unitary operations for quantum harmonic oscillators sequentially coupled to single qubits. This method relies on employing a sequence of available non-commuting qubit-oscillator interactions, similarly as in LloydPRL1999 ; LloydARXIV2000Hybrid ; SefiPRL2011 ; SpillerNJP2006 . The qubits act only as mediators rather than for control unlike the conceptually similar quantum Zeno gates HuangPRA2008 , starting and finishing the operation in a factorized state. The repeated gates incrementally create a Zeno-like nonlinear unitary dynamics deterministically and with a nearly unit fidelity. We illustrate the quality of the proposed method by explicitly analyzing realization of the self-Kerr and cross-Kerr nonlinearities done with help of a qubit sequentially coupled to the oscillator by dispersive interactions BlaisPRA2004cQEDsupcond ; GleyzesNat2007dispersiveatom ; GuerlinNat2007Dispersiveatom ; SchusterNat2007Superconducting ; ThompsonNat2008mechanical ; JohnsonNatPhys2010QND under photon losses.
Short-time oscillator interaction transduced by a qubit
Let us start by considering a short time evolution of a quantum oscillator mediated by a single qubit. The unitary oscillator-qubit interaction that enables the desired dynamics is governed by Hamiltonians of the type , where with relates to the qubit system and stands for one of Pauli matrices, and is an operator acting on the oscillator. We assume resonant cases when free evolution Hamiltonians can be eliminated. To achieve the desired gate on the oscillator, we can consider a pair of non-commuting unitary operators and where the oscillator operators and commute . As depicted in Fig. 1a, we can join them into a sequence following the idea of geometric phase effect berry . In a manner similar to LloydPRL1999 ; Loock2010 , this operator can be simplified to
[TABLE]
where the last line corresponds to a weak strength limit supp . The resulting oscillator dynamics is driven by the product of operators and coupled to the qubit by . The qubit degree of freedom can be straightforwardly eliminated by preparing and measuring the qubit system in one of the relevant eigenstates, such as . The measurement then substitutes the discarding of qubit depicted in Fig. 1a. The whole sequence then realizes a conditional operator
[TABLE]
which approximates unitary operation
[TABLE]
in the limit of small . The commutativity of and restricts the generality of the scheme, but still allows for many interesting cases. The base operators and can be compatible operators on a single oscillator (as in Fig.1a), or different operations on two separate oscillators (illustrated in Fig.1b). The most apparent scenarios in which the product of two operators is highly nontrivial and practically useful operation are the self-Kerr and cross-Kerr evolutions, which we will address in detail later.
Near-unitarity of short-time realistic interaction
The perfect operation (3) is realized only in the limit of short time . However, we can increase the strength by repeating the individual operations. In each step, the ancillary qubit is initialized in the ground state, led to interact with the oscillator systems, and finally projected onto the ground state again. It does not matter whether a single physical qubit is used repetitively or if a number of different systems is employed. In any case, repetitions realize quantum operation which approximates the ideal operation . Interestingly enough, in the limit of sufficiently small the re-initialization of qubit is not needed, as the approximate operator can be also obtained as .
For a specific test state , the performance of the operation can be quantified by looking at its successful implementation probability and fidelity . These metrics inherently depend on the chosen state , but we can also directly analyze the sandwiched operators and . In the ideal case of , both of these operators and reduce to the identity operator . We can therefore discern the quality of the operation by looking at how far we are from this ideal scenario. This analysis is best accomplished by considering the joint eigenbasis of the commuting operators and consisting of states with the respective eigenvalues and . Note that the basis does not need to be discrete. We can write the diagonal elements of and as
[TABLE]
where the unitarity of the operator is utilized. We can notice an interesting behavior: the fidelity and the success probability are not complementary and can approach unity simultaneously. In the limit of small , the probability of success is quantified as
[TABLE]
which shows the exact boundaries in the Hilbert space which supports the operation with a sufficient quality. Specifically, an approximate operation with conditional fidelity and success probability , where , can be realized for states fully contained in Hilbert space for which , where . We can also rewrite the conditions in terms of the fixed total interaction strength as:
[TABLE]
which tells us that large number of repetitions can enlarge the available support of the operation. It should also be noted that the operators and typically represent position, momentum, or number of quanta of the oscillators whose statistical distribution are asymptotically vanishing outside a certain range, and therefore are reasonably bounded in realistic physical systems.
The prominent aspect of our scheme is that its success probability can approach one even for many repetitions, implying that the measurement can be removed from the setup. We therefore follow the deterministic scheme depicted in Fig. 1. Formally, a single step of the operation is no longer represented by an operator , but by a trace preserving map which deterministically transforms any input state into
[TABLE]
where is the successful operation and is the erroneous operation. When the individual operation is repeated times, the final output state can be expressed as
[TABLE]
where denotes the success probability of the probabilistic scheme with otherwise identical parameters and the density matrix groups together all the realizations which would be in the probabilistic scenario disqualified by measurements. For states from Hilbert space limited by (6) the fidelity is lower bounded by . This result shows that the performance of the deterministic scheme is comparable to the probabilistic regime. Considering (6) and the respective fidelities, the deterministic scheme achieves the performance of the probabilistic one when the number of repetitions is increased by a factor of .
Example of self-Kerr quantum interaction
Let us explicitly demonstrate the performance of the proposed gate by realizing some of the nonlinear gates prevalent in quantum information theory and quantum technology. The self-Kerr operation TurchettePRL1995ConditionalPhase ; LloydPRL1999 is realized by a unitary operator and in our approach it can be straightforwardly achieved by setting , where is the number operator for harmonic oscillator. The implementation requires coupling with Hamiltonian , where are Pauli matrices. It can be obtained as part of the dispersive interaction available between two-level systems and oscillators in cavity field and membrane ThompsonNat2008mechanical , atoms BocaPRL2004Dispersiveatom ; GuerlinNat2007Dispersiveatom , circuit QED BlaisPRA2004cQEDsupcond and superconducting systems SchusterNat2007Superconducting . In contrast to the approach of circuit QED parameterCQED , which employs suitable time-dependent driving of the qubit-oscillator, our method employs a set of identical elementary gates, which can be repeated in order to obtain strong interaction. As a consequence, the whole operation is less demanding from the point of view of the ability to control the employed quantum systems. The performance of the gate can be generally estimated from the parameters and from the available dimension given by (6). However, such a bound may be too loose, and actual performance depends on the specific choice of the states. Let us apply the self-Kerr operation to a sample coherent state with . The self-Kerr operation is non-classical and non-Gaussian operation, and produces a non-classical and non-Gaussian state when applied to a coherent state nonclassicality . Such states are necessary for advanced application of quantum information processing such as quantum computation Qcompcondition , and can be recognized by negative regions of their Wigner functions KokPRA2008 . In relation to the self-Kerr effect a larger Kerr interaction strength produces more complex structures of negative Wigner function StobinskaPRA2008WignerSelfKerr .
In Fig. 2, we display the negative regions of Wigner function of self-Kerr transformed coherent states with various coupling parameters . Apparently, a birth of highly nonclassical quantum interference in phase space can be observed. It is manifested by three separated regions of negativity. The figures show practically no difference between the ideal operation (above) and the deterministic approximate realization with (middle). This observation is reinforced by a near unit fidelity for . Interestingly, based on (6) and the parameters of the operation, the maximal Fock number allowing such high value of fidelity would be . As only around one third of the considered coherent state lives in that subspace, this tells us that for practical states the conditions for successful approximation might be even more relaxed. For example, for large coherent states with , the fidelity of the deterministic approximative scheme scales as , derived for the lowest order expansion in of the fidelity. In realistic scenarios, the operation will have to endure the effects of imperfections, mainly the loss which is the dominant decoherence model for quantum oscillators. The loss can be modeled by passively coupling the evolving system to a set of zero temperature oscillators. In our model, we consider a sequence of discrete couplings, one after each cycle of the elementary sequence (1). Each of these couplings transforms annihilation operator of the system as , where is annihilation operator of the auxiliary zero temperature oscillator which is immediately discarded. The single step transmittance parameter strongly impacts the performance of the method. To see how, we have simulated the realistic operation for . The loss counteracts the effects of the nonlinear operation. As time of the interaction increases, the state is continuously becoming more and more non-classical, which is witnessed by appearance of negative areas in its Wigner function. However, the loss is accumulated with time and at some point so much of the energy is lost that the non-classical features vanish. This can be seen in the bottom row of Fig. 2. We can see that while the loss of of the energy for did not severely affect the non-classicality, loss for already removed one area of negativity. We therefore conclude that proposed method is not critically sensitive to basic decoherence caused by a loss in the oscillator.
Example of cross-Kerr quantum interaction
Another example of quantum nonlinear interactions is the cross-Kerr coupling between two harmonic oscillators. This gate is a key component in building important two-qubit single photon gates in linear optical quantum computation such as controlled NOT gates and Fredkin gates ChuangPRA1995Controlledgate ; NemotoPRL2004CNOT ; MilburnPRL1989Fredkin , and nondestructive photon detection ImotoPRA1985 ; MunroPRA2005QNDPNR . It also enables direct photon-photon interaction used for many quantum information processing such as a one-way computation HutchinsonJMO2004KerrOneway . The cross-Kerr interaction, represented by a unitary operator , can be engineered from the same fundamental component as the self-Kerr operation: the dispersive coupling between an oscillator and a qubit, only this time the qubit is coupled to two separate oscillators (as in Fig. 1b) so and .
An elementary application is altering phase of a single photon based on the presence or absence of another, which is the basis for many discrete computation gates ChuangPRA1995Controlledgate ; NemotoPRL2004CNOT ; MilburnPRL1989Fredkin ; KokRMP2007Linear . In an example of the control-Z gate KokRMP2007Linear , a separable state of two oscillators is changed to entangled state by the cross-Kerr gate with a strength . Within our approach, the deterministic cross-Kerr gate with fidelity can be achieved from instances of the basic block. This scenario suits the approximation well due to a limited number of photons in the systems.
However, there are other applications in which larger photon numbers are significant ImotoPRA1985 ; MunroPRA2005QNDPNR . To test for this scenario, we consider the cross-Kerr coupling between two coherent states with amplitudes . Considering again interaction strength , the operation can be implemented with fidelity for and with repetitions. A higher number of individual operations is demanded by the larger Hilbert space of the states for a fidelity comparable with the previous example. We can also analyze the operation from the point of view of entanglement it generates. There are several measures of entanglement entanglement , and here we adopt the negativity due to the ease of its evaluation Vidal . The negativity of a bipartite state given by a density operator can be obtained as as the measure of entanglement, where is the partial transposed density matrix and is the trace norm. The analysis should also clearly show that the cross-Kerr gate is non-Gaussian and the created entanglement should therefore be of the non-Gaussian nature. To that end we also look at the Gaussian negativity , where is the density matrix of a Gaussian state which has all first and second moments of quadrature operators identical with Laurat2005Gaussian . Both the Gaussian and the non-Gaussian entanglement of the state generated by the cross-Kerr gate are plotted in Fig. 3 for various values of the interaction strength . The interaction strength of dispersive interactions was chosen as . We can see that the entanglement created for larger values of is practically completely non-Gaussian, as expected, and that the simulated process closely follows the ideal scenario.
To assess an impact of the decoherence on the cross Kerr interaction, we introduce an equal loss in the both oscillators. Simulations with a realistic loss with , corresponding to the same level of noise as in a previous section, show results conceptually similar to the self-Kerr case. Again, the loss limits the achievable number of elementary gates and the corresponding total interaction strength. State with dominantly non-Gaussian entanglement can be still achieved, but the maximal difference between non-Gaussian and Gaussian entanglement is limited. For our simulation, this difference was at the energy loss of about for a single arm. There is, however, another interesting effect. In addition to reducing the overall correlations, the loss also drives the quantum state towards Gaussianity. As a consequence, there is less of entanglement, but higher portion of it is Gaussian. In fact, for certain values of parameters the lossy scenario produces more Gaussian entanglement than the ideal one, while non-Gaussian nature is still accessible. It supports previous statements about a sufficient robustness of the method to the loss in oscillator.
Applications and outlook
In summary, using a single qubit as a recyclable mediator allows for synthesis of high order nonlinear operations on quantum oscillators. These operations can be realized at an arbitrary strength with both fidelity and probability of success approaching one. The only cost is represented by the required number of repetitions of the basic building block, which may be mitigated by using an optimized architecture. Operations which can be implemented depend on the available qubit-oscillator couplings. With the feasible dispersive coupling BlaisPRA2004cQEDsupcond ; GleyzesNat2007dispersiveatom ; GuerlinNat2007Dispersiveatom ; SchusterNat2007Superconducting ; ThompsonNat2008mechanical ; JohnsonNatPhys2010QND ; BocaPRL2004Dispersiveatom it is possible to realize self-Kerr and cross-Kerr operations, which play a significant role in quantum information processing, with high quality under a moderate level of environmental effects. The extension of the scheme ranges from engineering high order quadrature nonlinear operators, such as cubic-phase gate operator by Rabi interactions Rabi2 ; Rabi3 ; Rabi4 , to hybrid interaction operator such as principally nonlinear optomechanical interactions Optomechanics1 ; Optomechanics2 ; Optomechanics3 by combination of the dispersive and Rabi interactions. The higher-order versions of both dispersive and Rabi interactions open a broad class of CV nonlinear interactions. The involved harmonic oscillators can be physically varied (optical, mechanical, electrical, collective spins), and therefore this method can potentially provide wide class of nonlinear gates between these platforms. All of these potential applications open up a possibility of deterministic quantum simulators.
ACKNOWLEDGMENT
We acknowledge Project GB14-36681G of the Czech Science Foundation. K.P. acknowledges support by the Development Project of Faculty of Science, Palacký University.
Author contributions statement
K.P. conceived the theory. P.M. and R.F. conceived the quantification, interpreted the implications and extended the scope. P.M. and R.F. led the project. All authors analyzed the results, wrote the article, and reviewed the manuscript.
Additional information
Supplementary information accompanies this paper at doi:; Competing financial interests The authors declare that they have no competing interests.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1(1) P. Benioff , J. Stat. Phys. 22, 563 (1980); D. Deutsch, P. Roy. Soc. Lond. A. 400, 97 (1985).
- 2(2) P. W. Shor, SIAM J. Comput., 26, 1484 (1997); D. R. Simon, Foundations of Computer Science, 1994 Proceedings., 35th Annual Symposium on: 116 (1994); D. Deutsch and R. Jozsa, P. Roy. Soc. Lond. A. 439, 553 (1992).
- 3(3) V. M. Kendon, K. Nemoto, and W. J. Munro, Philos. Trans. R. Soc. Lond. A 368, 3609 (2010); J. Cirac and P. Zoller, Nat. Phys. 8, 246 (2010); I.M. Georgescu, S. Ashhab, and F. Nori, Rev. Mod. Phys. 86, 153 (2014).
- 4(4) R. Feynman, Int. J. Theor. Phys. 21, 467 (1982).
- 5(5) K. Kim, M. S. Chang, S. Korenblit, R. Islam, E. E. Edwards, J. K. Freericks, G. D. Lin, L. M. Duan, and C. Monroe, Nature, 465,590 (2010); R. Gerritsma , G. Kirchmair, F. Zhringer, E. Solano, R. Blatt, and C. F. Roos, Nature 463, 68 (2010); B. P. Lanyon, C. Hempel, D. Nigg, M. Mller, R. Gerritsma, F. Zhringer, P. Schindler, J. T. Barreiro, M. Rambach, G. Kirchmair, M. Hennrich, P. Zoller, R. Blatt, and C. F. Roos, Science 334, 57 (2011); R. Blatt and C. F. Roos, Nat. Phys. 8, 277 (2012).
- 6(6) A. Peruzzo , M. Lobino, J. C. Matthews, N. Matsuda, A. Politi, K. Poulios , X.-Q. Zhou, Y. Lahini, N. Ismail, K. Wörhoff, Y. Bromberg, Y. Silberberg, M. G. Thompson, J. L. O’Brien, Science 329, 1500 (2010); A. Aspuru-Guzik and P. Walther, Nat. Phys. 8, 285 (2012).
- 7(7) J. Simon, W. S. Bakr, R. Ma, M. E. Tai, P. M. Preiss and M. Greiner, Nature 472, 307 (2011); I. Bloch, J. Dalibard, S. Nascimbéne, Nat. Phys. 8, 267 (2012).
- 8(8) A. A. Houck, H. E. Türeci and J. Koch, Nat. Phys. 8, 292 (2012); M. H. Devoret, R. J. Schoelkopf, 339, 1169-1174 (2013).
