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.
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.
Continuous-variable systems realized in quantum optics play a major role in quantum information processing, and it is also one of the promising candidates for a scalable quantum computer. We introduce a resource theory for continuous-variable systems relevant to universal quantum computation. In our theory, easily implementable operations---Gaussian operations combined with feed-forward---are chosen to be the free operations, making the convex hull of the Gaussian states the natural free states. Since our free operations and free states cannot perform universal quantum computation, genuine non-Gaussian states---states not in the convex hull of Gaussian states---are the necessary resource states for universal quantum computation together with free operations. We introduce a monotone to quantify the genuine non-Gaussianity of resource states, in analogy to the stabilizer theory. A direct application of our resource theory is to bound the conversion rate between genuine non-Gaussian states. Finally, we give a protocol that probabilistically distills genuine non-Gaussianity---increases the genuine non-Gaussianity of resource states---only using free operations and postselection on Gaussian measurements, where our theory gives an upper bound for the distillation rate. In particular, the same protocol allows the distillation of cubic phase states, which enable universal quantum computation when combined with free operations.
Abstract Which quantum phenomena are advantageous for information processing tasks? By classifying quantum states and operations as resourceful versus non-resourceful, or free, the mathematical formalism of quantum resource theories helps to address such questions. For the task of discriminating channels applied to a probe state, it has been shown that under certain conditions—namely, the set of free states being convex in any dimension or possibly non-convex but finite dimensional—every resourceful probe state can provide an advantage, quantified by a resource monotone known as generalized robustness. In this work, bypassing the limitations of previous studies, we define the generalized robustness for an arbitrary resource theory and show that it admits two operational interpretations. Firstly, it provides an upper bound on the maximal advantage in channel discrimination tasks implemented on multiple copies of the probe states. Secondly, in many physically relevant theories, it quantifies the advantage in single-copy channel discrimination tasks in a worst case scenario. We further present a general construction of multi-copy resource witnesses and provide practical methods to bound the generalized robustness in experiments. Finally, we apply our results to a key case study in continuous variable quantum information: the resource theory of non-Gaussianity. This theory is naturally defined by a set of free states (Gaussian states) that is non-convex and infinite-dimensional. Our work then shows conclusively that all non-Gaussian states can provide an advantage in some channel discrimination task, even those that are simply mixtures of Gaussian states and are typically disregarded for other quantum information tasks. To illustrate our findings, we provide exact formulas for the robustness of non-Gaussianity of Fock states, along with an analysis of the robustness for a family of non-Gaussian states within the convex hull of Gaussian states.
Gaussian states are central to continuous-variable quantum systems, as they are experimentally accessible and admit a compact mathematical description. Nevertheless, many proposed quantum technologies require non-Gaussian elements. In resource-theoretic terms, non-Gaussian states are resources, while Gaussian states and operations are free. The task of broadcasting, then, asks whether the resource content of a state can be meaningfully cloned. In this Letter, we prove that broadcasting of non-Gaussian states via Gaussian operations is not possible. We first show that the relative entropy of non-Gaussianity is not superadditive, ruling it out for such no-go analyses. Our proof instead uses fixed points of Gaussian operations and relates to control theory. The theorem also implies that if two initially uncorrelated systems interact by Gaussian dynamics, and one subsystem gains non-Gaussianity, the other must lose it irreversibly. Keeping the set of free operations fixed to Gaussian operations, we also comment on the broadcasting of Wigner negativity and genuine quantum non-Gaussianity.
Non-Gaussianity is an essential resource for genuine quantum advantages in continuous-variable quantum systems and is regarded as a counterpart of the magic resource in discrete-variable systems. Recently, an exact correspondence between non-Gaussianity (NG) and the magic resource was identified within the Gottesman--Kitaev--Preskill (GKP) encoding framework. Whether such a relation persists beyond GKP encoding, however, remains unclear. Here, we address this question in the cat-code setting. By comparing the Wigner logarithmic negativity (WLN) and a magic measure defined from a phase-operator basis, we analyze the resource geometry of non-degenerate d-peaked cat states. We find that cat codes do not inherit the global value-preserving GKP magic--NG equivalence, but their asymptotic WLN geometry allows a constructive local alignment with the magic-measure geometry. Specifically, under a distinguished SU(d) asymptotic cat code, we establish a sector-dependent alignment between WLN level sets and magic-measure level sets based on their intrinsic local geometries. These results identify both the global incompatibility and the locally constructive relation between magic and non-Gaussian resources in cat codes, suggesting a geometry-based approach to resource correspondences beyond the GKP framework.
A near-deterministic source of non-Gaussianity is the missing piece to reach universal and fault-tolerant quantum computing with continuous-variable optics. Due to a lack of strong non-linearities, the probabilistic photon-subtracted Gaussian states remain the most promising contender. In combination with Gaussian measurements and single-mode feed-forward operations, they have been shown to provide sufficient non-Gaussianity at high rates. However, these existing breeding protocols lack the necessary loss tolerance to be experimentally feasible. In this work, we introduce a mathematical formalism based on the application of a Gaussian blur and filter on the measured Fock Wigner function to describe general photon-subtracted Gaussian states. Within our representation, the initial squeezing, Gaussian measurements, and photon loss can all be understood as contributions to the total blurring and interchanged accordingly. We find that this intuitive approach can be used to find improvements to cat, cubic phase, and GKP state generation by compromising between success rates, feed-forward compatibility, and loss tolerance. In the case of multiple photon subtractions, this is achieved by introducing a hybrid setup variant bridging the gap between protocols based on breeding and post-selection. Finally, we establish a general lower bound on the resources needed to generate a given target state near-deterministically by introducing the expected Wigner logarithmic negativity as an additive monotone of non-Gaussianity.
In quantum resource theory, one is often interested in identifying which states serve as the best resources for particular quantum tasks. If a relative comparison between quantum states can be made, this gives rise to a partial order, where states are ordered according to their suitability to act as a resource. In the literature, various different partial orders for a variety of quantum resources have been proposed. In discrete variable systems, vector majorization of Wigner functions in discrete phase space provides a natural partial order between quantum states. In the continuous variable case, a natural counterpart would be continuous majorization of Wigner functions in quantum phase space. Indeed, this concept was recently proposed and explored (mostly restricting to the single-mode case) by Van Herstraeten []. In this work, we develop the theory of continuous majorization in the general N -mode case. In addition, we propose extensions to include states with finite Wigner negativity. For the special case of the convex hull of N -mode Gaussian states, we prove a conjecture made by Van Herstraeten, Jabbour, and Cerf. We also prove a phase space counterpart of Uhlmann's theorem of majorization.