Non-Gaussian interactions are a key ingredient for achieving universality in continuous-variable quantum computation, yet their experimental characterization and the validation of their correct implementation remain challenging tasks. In this work, we focus on a three-mode non-Gaussian trilinear Hamiltonian that has recently been realized in superconducting microwave platforms, and present a comprehensive theoretical analysis of the computational resources it generates, together with experimentally accessible protocols to validate their presence. We systematically investigate its ability to generate two key resources for quantum computation: multipartite entanglement and Wigner negativity. In particular, using displaced-parity Bell tests, we demonstrate the generation of nonlocal states and thereby provide an operational certification of multipartite entanglement in the non-Gaussian states produced by the dynamics. We further quantify the Wigner logarithmic negativity and benchmark it against that of established non-Gaussian resource states. Building on this resource-based characterization, we introduce a measurement-efficient protocol for the experimental validation of the Hamiltonian implementation without requiring full reconstruction of the Wigner function. The protocol combines the measurement of zero-variance observables (nullifiers and stabilizers) with a limited number of targeted phase-space measurements, leading to a drastic reduction of the experimental overhead.
Non-Gaussian interactions are a key ingredient for achieving universality in continuous-variable quantum computation, yet their experimental characterization and the validation of their correct implementation remain challenging tasks. In this work, we focus on a three-mode non-Gaussian trilinear Hamiltonian that has recently been realized in superconducting microwave platforms, and present a comprehensive theoretical analysis of the computational resources it generates, together with experimentally accessible protocols to validate their presence. We systematically investigate its ability to generate two key resources for quantum computation: multipartite entanglement and Wigner negativity. In particular, using displaced-parity Bell tests, we demonstrate the generation of nonlocal states and thereby provide an operational certification of multipartite entanglement in the non-Gaussian states produced by the dynamics. We further quantify the Wigner logarithmic negativity and benchmark it against that of established non-Gaussian resource states. Building on this resource-based characterization, we introduce a measurement-efficient protocol for the experimental validation of the Hamiltonian implementation without requiring full reconstruction of the Wigner function. The protocol combines the measurement of zero-variance observables (nullifiers and stabilizers) with a limited number of targeted phase-space measurements, leading to a drastic reduction of the experimental overhead.
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.
We develop a resource theory for continuous-variable systems grounded on operations routinely available within current quantum technologies. In particular, the set of free operations is convex and includes quadratic transformations and conditional coarse-grained measurements. The present theory lends itself to quantify both quantum non-Gaussianity and Wigner negativity as resources, depending on the choice of the free-state set---i.e., the convex hull of Gaussian states or the states with positive Wigner function, respectively. After showing that the theory admits no maximally resourceful state, we define a computable resource monotone---the Wigner logarithmic negativity. We use the latter to assess the resource content of experimentally relevant states---e.g., photon-added, photon-subtracted, cubic-phase, and cat states---and to find optimal working points of some resource concentration protocols. We envisage applications of this framework to subuniversal and universal quantum information processing over continuous variables.
Quantifying non-Gaussianity is essential for assessing the computational power of bosonic quantum systems. We introduce a framework to witness and quantify non-Gaussianity from displaced parity measurements, and we directly apply it to experimental data obtained with superconducting cavities. Our method estimates fidelities with target pure states from the displaced parity measurements, enabling certification of non-Gaussianity via the stellar rank. We further introduce refined witnesses computed by measuring the value of the Wigner function at a few points, providing efficient certification tools outperforming existing ones. Applying these techniques to Fock, binomial, cat, and GKP experimental data, we rigorously certify non-Gaussian resources and establish a stellar rank of 8 for a GKP state, setting a new benchmark across all quantum platforms. Our methods enable a rigorous quantification of non-Gaussian quantum resources directly applicable to superconducting devices.
In continuous-variable systems, non-Gaussian resources are essential for achieving universal quantum computation that lies beyond classical simulation. Among the candidate states, the cubic phase state stands out as the simplest form of single-mode non-Gaussian resource, yet its experimental preparation still remains a great challenge. Although a variety of approximate schemes have been proposed to simulate the cubic phase state, they often fall short when deployed in concrete quantum tasks. In this work, we present a Gaussian optimization protocol that systematically refines the non-Gaussian resources, which significantly improves the performance of both magic-state-based and measurement-based quantum computation. Leveraging task-specific Gaussian operations on approximate cubic phase states, our protocol offers an experimentally feasible approach to enhance gate fidelity in magic-state-based quantum computation and reduce the variance of nonlinear quadrature measurement in measurement-based quantum computation. Building on this framework, we further propose a task-oriented non-Gaussian state preparation scheme based on superpositions in the Fock basis followed by squeezing and displacement. This strategy enables direct tailoring of resource states to specific task goals. Owing to its flexibility and generality, our framework provides a powerful and broadly applicable tool for enhancing performance across a wide range of continuous-variable quantum information protocols.
Wigner negativity and genuine multipartite entanglement (GME) are key nonclassical resources that enable computational advantages and broader quantum-information tasks. In this Letter, we prove two theorems for multimode continuous-variable systems that relate these nonclassical resources. Both theorems show that sufficient Wigner negativity-either a sufficiently-large Wigner negativity volume along a suitably chosen two-dimensional slice, or a sufficiently large nonclassicality depth of the center-of-mass mode of a system-certifies the presence of GME. Moreover, violations of the latter inequality provide lower bounds of the trace distance to the set of non-GME states. Our results also provide sufficient conditions for generating GME by interfering a state with the vacuum through a multiport interferometer, complementing long-known necessary conditions. Beyond these fundamental connections, our methods have practical advantages for systems with native phase-space measurements: they require only measuring the Wigner function over a finite region, or measuring a finite number of characteristic function points. Such measurements are frequently performed with readouts common in circuit and cavity quantum electrodynamic systems, trapped ions and atoms, and circuit quantum acoustodynamic systems. As such, our GME criteria are readily implementable in these platforms.
States with negative Wigner functions constitute a fundamental nonclassical resource underlying quantum advantage. However, their experimental certification typically relies on reconstructing the full phase-space distribution, resulting in a prohibitive measurement overhead for arbitrary quantum states. In this letter, we overcome this limitation by introducing Wigner moments, a family of global phase-space quantities that admit an exact multicopy realization as parity expectation values, and are therefore directly measurable from only a modest number of state copies. This operational correspondence enables systematic hierarchies of detection criteria together with experimentally accessible lower bounds on the logarithmic Wigner negativity, and constitutes a genuine measure of nonclassicality. Numerical benchmarking of our protocol reveals a substantial reduction in copy budget relative to conventional Wigner tomography, establishing Wigner moments as an efficient framework for certifying continuous-variable quantum resources such as genuine multipartite entanglement.