Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1907.11009 · Physical Review Letters

Stellar Representation of Non-Gaussian Quantum States

Ulysse Chabaud, Damian Markham, Frédéric Grosshans

Published Feb 14, 2020• 116 citations
arXivHTMLPDF

Abstract

The so-called stellar formalism allows us to represent the non-Gaussian properties of single-mode quantum states by the distribution of the zeros of their Husimi Q function in phase space. We use this representation in order to derive an infinite hierarchy of single-mode states based on the number of zeros of the Husimi Q function: the stellar hierarchy. We give an operational characterization of the states in this hierarchy with the minimal number of single-photon additions needed to engineer them, and derive equivalence classes under Gaussian unitary operations. We study in detail the topological properties of this hierarchy with respect to the trace norm, and discuss implications for non-Gaussian state engineering, and continuous variable quantum computing.

DOI
10.1103/physrevlett.124.063605

Related papers

On the zeros of the stellar representation in the discrete cylinder

Nicolas Fabre

The discrete cylinder phase space offers a natural setting for twisted photons, Josephson junctions, and certain bosonic codes. In that context, we build a number-of-zeros hierarchy for the stellar distribution of states on the discrete cylinder phase space, tied to usefulness for quantum computation. The orbital angular momentum (OAM) and phase eigenstate, having no zeros, sits at the bottom of the hierarchy and share mathematical properties with the coherent state on the plane phase space, both sharing zero rank and a positive Wigner distribution. This reveals a structural peculiarity of the cylinder: its coherent state---the wrapped coherent state---is instead the most quantum, carrying infinitely many zeros, so "coherent state" need not signal classicality across different phase-space geometries. We identify the operations that preserve or change the zero count, giving explicit access to every rank of the hierarchy. We then ask whether this hierarchy also governs localization. Using the $L^r$ norm, the inverse participation ratio, and the Wehrl entropy as complementary measures of spread in the Husimi density, we find that the two hierarchies need not track one another: the wrapped coherent state can be more localized than the OAM eigenstate even though it carries infinitely many zeros.

quant-pharXiv:2608.15237•Aug 18, 2026•0 citations

Efficient construction of witnesses of the stellar rank of nonclassical states of light

Jaromı́r Fiurášek

The stellar hierarchy of quantum states of light classifies the states according to the Fock-state resources that are required for their generation together with unitary Gaussian operations. States with stellar rank n can be also equivalently referred to as genuinely n-photon quantum non-Gaussian states. Here we present an efficient method for construction of general witnesses of the stellar rank. The number of parameters that need to be optimized in order to determine the witness does not depend on the stellar rank and it scales quadratically with the number of modes. We illustrate the procedure by constructing stellar rank witnesses based on pairs of Fock state probabilities and also based on pairs of fidelities with superpositions of coherent states.

arXiv:2412.14356•Optics Express•Jul 25, 2022•14 citations

Differential hierarchy of the Husimi representation

Zacharie Van Herstraeten, Ulysse Chabaud

Phase-space representations reveal the geometry of quantum mechanics and distinguish quantum features from classical ones. However, the positivity of a density operator is among the properties of quantum states that phase-space representations capture least directly: deciding whether a phase-space function describes a physical quantum state has so far required global conditions coupling distant points in phase space. Here we show that these conditions can in fact be made local, by considering the Husimi representation in phase space. We establish a complete set of conditions which captures when a phase-space function $f$ is the Husimi function of a quantum state, with each condition involving only the derivatives of the function $f$ evaluated at a single phase-space point. We further show that each condition has an equivalent algebraic characterization, which takes the form of the nonnegativity of a determinant of the underlying operator in a displaced Fock basis. As a result, these conditions obey a recurrence relation organizing them into a differential hierarchy, which terminates based on the rank of the operator. Our results thus show that operator rank and positivity are local properties in phase space, reinforcing the role of phase-space representations as a geometric description of quantum mechanics.

quant-pharXiv:2609.29388•Sep 25, 2026•0 citations

The stellar decomposition of Gaussian quantum states

Arsalan Motamedi, Yuan Yao, Kasper Nielsen +4 more

We introduce the stellar decomposition , a novel method for characterizing non-Gaussian states produced by photon-counting measurements on Gaussian states. Given an ( m + n ) -mode Gaussian state G , we express it as an ( m + n ) -mode "Gaussian core state" G c o r e followed by an m -mode Gaussian transformation T that only acts on the first m modes. The defining property of the Gaussian core state G c o r e is that measuring the last n of its modes in the photon-number basis leaves the first m modes on a finite Fock support, i.e. a core state. Since T is measurement-independent and G c o r e has an exact and finite Fock representation, this decomposition exactly describes all non-Gaussian states obtainable by projecting n modes of G onto the Fock basis. For pure states we prove that a physical pair ( G c o r e , T ) always exists with G c o r e pure and T unitary. For mixed states, we establish necessary and sufficient conditions for ( G c o r e , T ) to be a Gaussian mixed state and a Gaussian channel. We also develop a semidefinite program to extract the "largest" possible Gaussian channel when these conditions fail. Finally, we present a formal stellar decomposition for generic operators, which is useful in simulations where the only requirement is that the two parts contract back to the original operator. The stellar decomposition leads to practical bounds on achievable state quality in photonic circuits and for GKP state generation in particular. Our results are based on a new characterization of Gaussian completely positive maps in the Bargmann picture, which may be of independent interest.

arXiv:2504.10455•Quantum•Jan 19, 2026•3 citations

Non-Gaussianity from superselection rules

Nicolas Moulonguet, Eloi Descamps, José Lorgeré +3 more

The quantum theory of the electromagnetic field enables the description of multiphoton states exhibiting nonclassical statistical properties, often reflected in non-Gaussian phase-space distributions. While non-Gaussianity alone does not fully characterize quantum states, several classifications have been proposed to hierarchize non-Gaussian states according to physically or informationally relevant resources. Here, we provide a physical interpretation of non-Gaussianity and connect it to a computational perspective by showing how a prominent classification-the stellar rank-emerges as a limiting case of the roots of polynomials that univocally represent bosonic states defined with a quantized phase reference, namely the Majorana polynomials. A direct consequence of our results is a revised interpretation of both the stellar rank and non-Gaussianity itself: when superselection rules are properly taken into account, quadrature non-Gaussianity - and nonzero stellar rank - act as witnesses of particle entanglement, rather than being linked with photon addition to Gaussian states as previously assumed. In addition, we show that because the stellar rank depends on a specific choice of coherent states, its relation to computational resources and potential quantum advantage is inherently basis-dependent, being naturally tied to quadrature eigenstates as the computational basis. Motivated by this observation, we generalize the notion of stellar rank to arbitrary computational bases, thereby establishing it as a genuine witness of bosonic resources that may enable quantum advantage.

quant-pharXiv:2603.20810•Physical Review Letters•Mar 24, 2026•0 citations

Geometric characterization of non-Gaussian entanglement for finite stellar rank states

Carlos E. Lopetegui-Gonzalez, Massimo Frigerio, Mattia Walschaers

We introduce a general framework for the analysis of non-Gaussian entanglement in bosonic states of finite stellar rank. The central result is the full characterization of their entanglement structure through the atomic decomposition of their stellar polynomial and its associated structural graph, whose connected components determine the mode-intrinsic entanglement content of the state and all partitions compatible with passive separability. An essential ingredient in this construction is the concept of essential variables, which identify the minimal number of effective modes involved in a core state, in direct correspondence with the symplectic rank. This reduction provides the foundation for decomposing stellar polynomials into atomic factors and for revealing the underlying entanglement structure. Building on this, we derive complete separability criteria for two-mode states, expressed through hyperplane decompositions of zero sets, and for stellar-rank-2 states across an arbitrary number of modes. Applications to several example states illustrate how the method isolates genuinely non-Gaussian resources and quantifies preparation complexity.

quant-pharXiv:2511.02076•Nov 5, 2025•0 citations
The so-called stellar formalism allows us to represent the non-Gaussian properties of single-mode quantum states by the distribution of the zeros of their Husimi Q function in phase space. We use this representation in order to derive an infinite hierarchy of single-mode states based on the number of zeros of the Husimi Q function: the stellar hierarchy. We give an operational characterization of the states in this hierarchy with the minimal number of single-photon additions needed to engineer them, and derive equivalence classes under Gaussian unitary operations. We study in detail the topological properties of this hierarchy with respect to the trace norm, and discuss implications for non-Gaussian state engineering, and continuous variable quantum computing.
The discrete cylinder phase space offers a natural setting for twisted photons, Josephson junctions, and certain bosonic codes. In that context, we build a number-of-zeros hierarchy for the stellar distribution of states on the discrete cylinder phase space, tied to usefulness for quantum computation. The orbital angular momentum (OAM) and phase eigenstate, having no zeros, sits at the bottom of the hierarchy and share mathematical properties with the coherent state on the plane phase space, both sharing zero rank and a positive Wigner distribution. This reveals a structural peculiarity of the cylinder: its coherent state---the wrapped coherent state---is instead the most quantum, carrying infinitely many zeros, so "coherent state" need not signal classicality across different phase-space geometries. We identify the operations that preserve or change the zero count, giving explicit access to every rank of the hierarchy. We then ask whether this hierarchy also governs localization. Using the LrL^rLr norm, the inverse participation ratio, and the Wehrl entropy as complementary measures of spread in the Husimi density, we find that the two hierarchies need not track one another: the wrapped coherent state can be more localized than the OAM eigenstate even though it carries infinitely many zeros.
The stellar hierarchy of quantum states of light classifies the states according to the Fock-state resources that are required for their generation together with unitary Gaussian operations. States with stellar rank n can be also equivalently referred to as genuinely n-photon quantum non-Gaussian states. Here we present an efficient method for construction of general witnesses of the stellar rank. The number of parameters that need to be optimized in order to determine the witness does not depend on the stellar rank and it scales quadratically with the number of modes. We illustrate the procedure by constructing stellar rank witnesses based on pairs of Fock state probabilities and also based on pairs of fidelities with superpositions of coherent states.
Phase-space representations reveal the geometry of quantum mechanics and distinguish quantum features from classical ones. However, the positivity of a density operator is among the properties of quantum states that phase-space representations capture least directly: deciding whether a phase-space function describes a physical quantum state has so far required global conditions coupling distant points in phase space. Here we show that these conditions can in fact be made local, by considering the Husimi representation in phase space. We establish a complete set of conditions which captures when a phase-space function fff is the Husimi function of a quantum state, with each condition involving only the derivatives of the function fff evaluated at a single phase-space point. We further show that each condition has an equivalent algebraic characterization, which takes the form of the nonnegativity of a determinant of the underlying operator in a displaced Fock basis. As a result, these conditions obey a recurrence relation organizing them into a differential hierarchy, which terminates based on the rank of the operator. Our results thus show that operator rank and positivity are local properties in phase space, reinforcing the role of phase-space representations as a geometric description of quantum mechanics.
We introduce the stellar decomposition , a novel method for characterizing non-Gaussian states produced by photon-counting measurements on Gaussian states. Given an ( m + n ) -mode Gaussian state G , we express it as an ( m + n ) -mode "Gaussian core state" G c o r e followed by an m -mode Gaussian transformation T that only acts on the first m modes. The defining property of the Gaussian core state G c o r e is that measuring the last n of its modes in the photon-number basis leaves the first m modes on a finite Fock support, i.e. a core state. Since T is measurement-independent and G c o r e has an exact and finite Fock representation, this decomposition exactly describes all non-Gaussian states obtainable by projecting n modes of G onto the Fock basis. For pure states we prove that a physical pair ( G c o r e , T ) always exists with G c o r e pure and T unitary. For mixed states, we establish necessary and sufficient conditions for ( G c o r e , T ) to be a Gaussian mixed state and a Gaussian channel. We also develop a semidefinite program to extract the "largest" possible Gaussian channel when these conditions fail. Finally, we present a formal stellar decomposition for generic operators, which is useful in simulations where the only requirement is that the two parts contract back to the original operator. The stellar decomposition leads to practical bounds on achievable state quality in photonic circuits and for GKP state generation in particular. Our results are based on a new characterization of Gaussian completely positive maps in the Bargmann picture, which may be of independent interest.
The quantum theory of the electromagnetic field enables the description of multiphoton states exhibiting nonclassical statistical properties, often reflected in non-Gaussian phase-space distributions. While non-Gaussianity alone does not fully characterize quantum states, several classifications have been proposed to hierarchize non-Gaussian states according to physically or informationally relevant resources. Here, we provide a physical interpretation of non-Gaussianity and connect it to a computational perspective by showing how a prominent classification-the stellar rank-emerges as a limiting case of the roots of polynomials that univocally represent bosonic states defined with a quantized phase reference, namely the Majorana polynomials. A direct consequence of our results is a revised interpretation of both the stellar rank and non-Gaussianity itself: when superselection rules are properly taken into account, quadrature non-Gaussianity - and nonzero stellar rank - act as witnesses of particle entanglement, rather than being linked with photon addition to Gaussian states as previously assumed. In addition, we show that because the stellar rank depends on a specific choice of coherent states, its relation to computational resources and potential quantum advantage is inherently basis-dependent, being naturally tied to quadrature eigenstates as the computational basis. Motivated by this observation, we generalize the notion of stellar rank to arbitrary computational bases, thereby establishing it as a genuine witness of bosonic resources that may enable quantum advantage.
We introduce a general framework for the analysis of non-Gaussian entanglement in bosonic states of finite stellar rank. The central result is the full characterization of their entanglement structure through the atomic decomposition of their stellar polynomial and its associated structural graph, whose connected components determine the mode-intrinsic entanglement content of the state and all partitions compatible with passive separability. An essential ingredient in this construction is the concept of essential variables, which identify the minimal number of effective modes involved in a core state, in direct correspondence with the symplectic rank. This reduction provides the foundation for decomposing stellar polynomials into atomic factors and for revealing the underlying entanglement structure. Building on this, we derive complete separability criteria for two-mode states, expressed through hyperplane decompositions of zero sets, and for stellar-rank-2 states across an arbitrary number of modes. Applications to several example states illustrate how the method isolates genuinely non-Gaussian resources and quantifies preparation complexity.