Trigonometric Continuous-Variable Quantum Gates: Realization with Trapped Ions and Nonperturbative Wigner Negativity
Tommaso Rainaldi, Jake Montgomery, Christopher G. Yale, Brian K. McFarland, Melissa C. Revelle, Daniel Lobser, Edward C. Tortorici, Susan M. Clark, George Siopsis, Matt Grau, Felix Ringer
We experimentally realize trigonometric continuous-variable gates on a trapped-ion processor, for which a motional mode acquires a phase proportional to the cosine of its position quadrature, and, for the first time, implement the two-mode generalization, coupling two modes through a single nonlinear phase. Such gates provide an experimentally accessible, nonpolynomial primitive for periodic interactions acting on both compact and noncompact degrees of freedom, including rotor models, sine-Gordon-type systems, and lattice gauge theories. Scanning gate strength, spatial frequency, and circuit depth, we resolve via blue-sideband spectroscopy the parity selection rule that fingerprints the exact cosine evolution, and find that an open-system model incorporating residual thermal occupation and motional dephasing reproduces the data. We then derive the asymptotics of the Wigner negativity generated by these gates and find three scaling regimes. The negativity is beyond all algebraic orders in the gate strength while the negative regions sit in far phase-space tails, becomes linear once they reach the bulk, where it saturates a first-order bound we establish, and logarithmic at strong gate strength. These results expose a general mechanism, first identified here through the cosine gate, by which every finite-order perturbative estimate of a non-Gaussian resource can vanish even though the resource itself remains nonzero. Together, our results establish trigonometric gates as controllable, experimentally realizable building blocks for bosonic quantum simulation, expanding the class of nonlinear dynamics accessible to continuous-variable quantum processors.
Comments
41 pages (24 pages main text + appendices), 13 figures, 2 tables
We experimentally realize trigonometric continuous-variable gates on a trapped-ion processor, for which a motional mode acquires a phase proportional to the cosine of its position quadrature, and, for the first time, implement the two-mode generalization, coupling two modes through a single nonlinear phase. Such gates provide an experimentally accessible, nonpolynomial primitive for periodic interactions acting on both compact and noncompact degrees of freedom, including rotor models, sine-Gordon-type systems, and lattice gauge theories. Scanning gate strength, spatial frequency, and circuit depth, we resolve via blue-sideband spectroscopy the parity selection rule that fingerprints the exact cosine evolution, and find that an open-system model incorporating residual thermal occupation and motional dephasing reproduces the data. We then derive the asymptotics of the Wigner negativity generated by these gates and find three scaling regimes. The negativity is beyond all algebraic orders in the gate strength while the negative regions sit in far phase-space tails, becomes linear once they reach the bulk, where it saturates a first-order bound we establish, and logarithmic at strong gate strength. These results expose a general mechanism, first identified here through the cosine gate, by which every finite-order perturbative estimate of a non-Gaussian resource can vanish even though the resource itself remains nonzero. Together, our results establish trigonometric gates as controllable, experimentally realizable building blocks for bosonic quantum simulation, expanding the class of nonlinear dynamics accessible to continuous-variable quantum processors.
A bstract Hybrid qubit-qumode quantum computing platforms provide a natural setting for simulating interacting bosonic quantum field theories. However, existing continuous-variable gate constructions rely predominantly on polynomial functions of canonical quadratures. In this work, we introduce a complementary universality paradigm based on trigonometric continuous-variable gates, which enable a Fourier-like representation of bosonic operators and are particularly well suited for periodic and non-perturbative interactions. We present an ancilla-based framework for implementing trigonometric gates with arguments given by arbitrary Hermitian functions of qumode quadratures. The protocol yields unitary gates deterministically, and non-unitary gates through probabilistic post-selection. As a concrete application, we develop a hybrid qubit-qumode quantum simulation of the lattice sine-Gordon model. Using these gates, we prepare ground states via quantum imaginary-time evolution, simulate real-time dynamics, compute time-dependent vertex two-point correlation functions, and extract quantum kink profiles under topological boundary conditions. Our results demonstrate that trigonometric continuous-variable gates provide a physically natural framework for simulating interacting field theories on near-term hybrid quantum hardware, while establishing a parallel route to universality beyond polynomial gate constructions. We expect that the trigonometric gates introduced here to find broader applications, including quantum simulations of condensed matter systems, quantum chemistry, and biological models.
Hybrid qubit-qumode quantum computing platforms provide a natural setting for simulating interacting bosonic quantum field theories. However, existing continuous-variable gate constructions rely predominantly on polynomial functions of canonical quadratures. In this work, we introduce a complementary universality paradigm based on trigonometric continuous-variable gates, which enable a Fourier-like representation of bosonic operators and are particularly well suited for periodic and non-perturbative interactions. We present a deterministic ancilla-based method for implementing unitary and non-unitary trigonometric gates whose arguments are arbitrary Hermitian functions of qumode quadratures. As a concrete application, we develop a hybrid qubit-qumode quantum simulation of the lattice sine-Gordon model. Using these gates, we prepare ground states via quantum imaginary-time evolution, simulate real-time dynamics, compute time-dependent vertex two-point correlation functions, and extract quantum kink profiles under topological boundary conditions. Our results demonstrate that trigonometric continuous-variable gates provide a physically natural framework for simulating interacting field theories on near-term hybrid quantum hardware, while establishing a parallel route to universality beyond polynomial gate constructions. We expect that the trigonometric gates introduced here to find broader applications, including quantum simulations of condensed matter systems, quantum chemistry, and biological models.
Harmonic oscillators are promising continuous-variable (CV) quantum resources because their infinite-dimensional Hilbert spaces allow for resource-efficient quantum computing and simulation. To reach their full potential, CV platforms need to be able to efficiently implement non-Gaussian operations. Bosonic quantum-signal-processing schemes have emerged as attractive methods to construct arbitrary non-Gaussian operations; however, these schemes are restricted to single modes, i.e., the implementation of anharmonic potentials. Here, we introduce trigonometric-gate-implemented Fourier synthesis (TGIFS), a method for implementing arbitrary non-Gaussian operations applicable to both single- and multi-mode systems, allowing the generation of both anharmonicities and nonlinear multi-mode couplings. TGIFS synthesizes a target Hamiltonian by decomposing it into a Fourier series whose terms are implemented via bosonic quantum signal processing, which uses a discrete-variable (DV) system to induce a nonlinearity in the CV system. Our hybrid CV-DV protocol allows for the direct simulation of a broad range of CV phenomena (such as those in lattice gauge theory, chemical dynamics, and quantum chaos) and provides a richer toolbox for CV circuit compilation.
The generation of non-Gaussian states of bosonic systems described by continuous quantum degrees of freedom is of interest in a variety of contexts, ranging from quantum foundations to computation and communication. A crucial feature of genuine non-Gaussian states is that they cannot be described in general with a non-negative Wignerquasi-probability distribution. In particular, this feature is equivalent to contextuality and it underpins all attempts at attaining quantum computational advantage in a universal setting. In this thesis, the generation of Wigner-negative states is addressed, pursuing two approaches. First, in an optomechanical-like setting, we develop schemes to generate Wigner-negative states of two massive mechanical systems, in turn correlated such that they also feature entanglement, another genuine quantum hallmark. These schemes are based on driven-dissipative systems where dissipation is properly engineered by taking advantage of linear-and-quadratic optomechanical interactions. We address the robustness of these schemes when uncontrollable noisy channels are included in the dynamics, proving that their resilience is comparable to Gaussian schemes that have already been implemented experimentally. Second, considering in particular circuit QED systems and trapped ions, we propose a method to engineer a set of Hamiltonian evolutions that are universal in terms of single-mode state preparation. This method is based on a driven quantum Rabi model, where the desired evolution is effectively imprinted on a continuous-variable degree of freedom by its interaction with a properly driven two-level system. We demonstrate the universality of such approach by simulating the generation of multi-squeezed and other states, including the celebrated cubic-phase state. We also consider the effect of noise in realistic settings, showing in particular that in systems involving superconducting qubits, the generation of tri-squeezed states --- a universal resource for continuous-variable quantum computation which we prove to display larger Wigner negativities with respect to Fock and cubic-phase states for the same energy --- is within experimental reach.
Abstract Continuous-variable quantum computing (CVQC) uses quantum states with continuous degrees of freedom, such as the quadratures of bosonic modes, to encode information, promising efficient solutions to complex problems. Trapped-ion systems provide a robust platform with long coherence times and precise qubit control, enabling the manipulation of quantum information through its motional and electronic degrees of freedom. In this theoretical work, we quantitatively analyze the fidelity of a Kerr operation in a single trapped-ion system, calibrating the interaction time using a motional-state Rabi frequency correction. Through numerical simulations, we validate Gaussian and non-Gaussian CVQC operations, achieving fidelities exceeding 99% in all cases, including non-Gaussian operations. Furthermore, we demonstrate two key applications: first, the implementation of a continuous-variable quantum neural network for regression problems, which exhibits low error rates; and second, its application to state preparation tasks, achieving a fidelity of 90% for the given example. These results open new opportunities to execute quantum computing algorithms on continuous variables with trapped ions, such as quantum machine learning algorithms.
Bosonic quantum error correction represents a route towards significant hardware overhead reduction for fault-tolerant quantum computation. However, controlling quantum harmonic oscillators that encode the quantum information comes with its own challenges. In many platforms such as superconducting circuits and trapped ions, the bosonic degree of freedom is controlled by an ancillary qubit whose decay during a qubit-oscillator gate propagates to the oscillator as a continuous error. Such errors generally lie beyond the scope of errors that the bosonic code is capable of correcting. We introduce the continuous-variable flag: an auxiliary oscillator coupled to the ancilla whose phase-space position encodes the continuous error corrupting the storage mode. After the gate, a heterodyne measurement of the flag estimates this continuous-variable error and a subsequent feedback control undoes it up to a bosonic code stabilizer. The scheme requires no new ingredients, as the flag is driven by the same dispersive coupling, displacements and rotations that implement the gates it is supposed to protect. We construct sequences protecting conditional rotations to all orders in ancilla decay with one flag, and conditional displacements to first order with one flag and to all orders with two. Simulations with realistic circuit-QED parameters predict more than three orders of magnitude fewer logical errors for the parity measurement of a four-component cat code, and a finite-energy GKP logical lifetime near its noiseless-ancilla bound. By discretizing continuous-variable errors, the flags introduced in this work are a useful tool for any hybrid oscillator-qubit processor, and open the route towards fault-tolerant simulation and computation with bosonic modes.