Pith. sign in

REVIEW 3 major objections 4 minor 1 cited by

Orbit dimensions in linear and Gaussian quantum optics

T0 review · 3 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The paper establishes that orbit dimensions under linear and Gaussian quantum optics equal the real rank of a short list of Hamiltonian images, turning a topological invariant into a routine linear-algebra computation.

desk verdict The orbit-dimension formula is solid and genuinely useful; the genericity claims and the abstract overreach need fixing before this is fully trustworthy. read the letter →

arxiv 2506.07995 v4 pith:53F22YX5 submitted 2025-06-09 quant-ph

Eliott Z. Mamon This is my paper
classification quant-ph
keywords orbitdimensionGaussianquantumopticspassivelinearLiealgebraranknon-Gaussianitywitnessbosonicvariationalcircuitsstellarrepresentationstateconversion
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper establishes that the number of independent directions a bosonic state can explore under linear or Gaussian quantum optics—its orbit dimension—is computable directly from the Lie algebra of available Hamiltonians. For a pure state the dimension is the real rank of the list of vectors obtained by acting with each basis Hamiltonian on the state; for a mixed state it is the real rank of the list of commutators with the density operator. Because this number is invariant under the corresponding unitary group, two states with different orbit dimensions can never be converted into one another by that group, and no deterministic implementation of a target gate can act on a logical subspace whose states have mismatched dimensions. The paper draws consequences that matter for quantum optical practice: generic states in a finite energy shell saturate the maximal dimension, boson bunching does not increase accessible directions, orbit dimensions bound the expressivity of bosonic variational circuits, and (conjecturally) they witness non-Gaussianity of multimode pure states. If correct, this gives a simple topological certificate for no-go results and a quantitative handle on the reachable state space of sub-universal quantum optics.

What carries the argument

The load-bearing object is the orbit itself, viewed as a smooth submanifold of state space, together with the tangent-space identity that computes its dimension. For a unitary group $G$ with Lie algebra basis $\{iH_1,\ldots,iH_d\}$, the tangent directions at $|\psi\rangle$ are exactly the vectors $H_I|\psi\rangle$, so the orbit dimension is the real rank of that list; for a density operator the analogous list is $\{[H_I,\rho]\}$. This rank reduces to the rank of a real Gram matrix whose entries are expectation values of degree-$\le 4$ polynomials in quadrature operators, which is why the dimension can be evaluated by symbolic computation, by phase-space differential operators, or by homodyne and heterodyne measurements. The proof machinery also includes the extended metaplectic representation, which supplies the smooth-manifold structure by closed-subgroup arguments, and the Schwartz-state and Schwartz-operator framework—states whose Fock-basis coefficients decay faster than polynomially—that makes physical states smooth vectors. For the genericity claim, an explicit family $|\psi_{N,m}\rangle$—the uniform superposition of all Fock basis states of total photon number at most $\min(2,N)$ with equally spaced phases—is conjectured (Conjecture S1) to attain the maximal rank in each energy shell, and the surrounding argument shows that states attaining the maximum form a dense full-measure set.

What would settle it

Take the explicit state $|\psi_{N,m}\rangle$ (the uniform superposition of all Fock basis states of total photon number at most $\min(2,N)$, each term carrying a distinct equally spaced phase) with $m=9$ or $N=9$, compute the real rank of its Gram matrix under the four groups, and compare with $\dim(G)-\delta_{N=0}m^2-\delta_{N=1}(m-1)^2$; a strict deficit would disprove Conjecture S1 and invalidate Proposition 1. Separately, search among multimode non-Gaussian pure states for one whose $G_{\mathrm{GO}}$ orbit dimension is at most $m(m+3)$; exhibiting one would refute Conjecture 1.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1: for any physical state $|\psi\rangle$ and physical density operator $\rho$, and for each of the four quantum optical groups $G$ (passive linear optics, displaced passive linear optics, active linear optics, and Gaussian optics, with Lie algebra basis $i\{H_1,\ldots,H_d\}$), the orbits $\mathrm{Orb}_G(|\psi\rangle)$ and $\mathrm{Orb}_G(\rho)$ are smooth manifolds whose dimensions are $\dim(\mathrm{Orb}_G(|\psi\rangle)) = \mathrm{rank}_{\mathbb{R}}(\{H_1|\psi\rangle,\ldots,H_d|\psi\rangle\})$ and $\dim(\mathrm{Orb}_G(\rho)) = \mathrm{rank}_{\mathbb{R}}(\{[H_1,\rho],\ldots,[H_d,\rho]\})$. The rank is taken over the real numbers, so it can be computed as the rank of a real Gram matrix: for pure states the entries are $\mathrm{Re}\langle\psi|\{H_I,H_J\}|\psi\rangle$ (or $2\,\mathrm{Cov}_{\psi}(H_I,H_J)$ in the ketbra picture), and for mixed states $2\,\mathrm{Tr}(\{H_I,H_J\}\rho^2)-2\,\mathrm{Tr}(H_I\rho H_J\rho)$. The paper proves the manifold structure by passing to the extended metaplectic representation, where the four groups appear as images of closed Lie subgroups, and it shows the formulas remain valid in Fock, stellar, and Wigner representations.

Load-bearing premise

The proof that a typical state in a fixed energy range has the largest possible orbit dimension rests on an unproven conjecture that a specific family of superpositions attains that maximum for every number of modes and every energy cutoff; the conjecture has only been checked numerically for small parameter values ($m,N$ up to 8).

Editorial extensions

If this is right

  • Distinct orbit dimensions imply inequivalence under the corresponding group: for example, the dual-rail logical states $|+0\rangle_L$ and $|\Phi^+\rangle_L$ have $G_{\mathrm{GO}}$ orbit dimensions 39 and 38, so no Gaussian unitary implements the logical CNOT deterministically.
  • For Fock basis states, the orbit dimension depends only on the number $u$ of unoccupied modes, not on the occupation numbers themselves; boson bunching therefore does not increase the number of accessible directions in Hilbert space.
  • Within any finite energy shell $\mathcal{H}^{\le N}_m$, a uniformly random state has maximal orbit dimension with probability one; states with smaller orbit dimension are non-generic and highly structured.
  • A bosonic variational circuit initialized in state $|\psi\rangle$ (or $\rho$) can explore, at any parameter point, at most $\dim(\mathrm{Orb}_G(|\psi\rangle))$ (or $\dim(\mathrm{Orb}_G(\rho))$) independent directions in state space; for pure states this bounds the rank of the Quantum Fisher Information Matrix from above.
  • All Gaussian pure states share the single $G_{\mathrm{GO}}$ orbit of dimension $m(m+3)$; any pure state with larger orbit dimension is non-Gaussian, and if Conjecture 1 holds the converse is also true for $m\ge 2$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Inference: the paper's measurement protocols for Gram-matrix entries could be promoted to a diagnostic: estimating a handful of degree-four quadrature moments on one or two copies of a state would certify an orbit dimension and rule out entire families of Gaussian conversions without full tomography.
  • Inference: because highly symmetric states (squeezed, NOON, cat, Fock) sit in low-dimensional orbits, orbit dimension could serve as an operational measure of 'structuredness' for bosonic variational ansätze, guiding the choice of initial states in quantum machine learning.
  • Inference: if Conjecture 1 is true, orbit dimension becomes a single-number non-Gaussianity witness that works even for states of infinite stellar rank, complementing stellar-rank criteria that fail exactly in that regime.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper studies the dimension of the manifold of states reachable from a given bosonic state under passive linear optics, displaced passive linear optics, active linear optics, and Gaussian unitaries. The central result, Theorem 1, expresses the orbit dimension as the real rank of the list of vectors obtained by applying the Lie-algebra basis Hamiltonians to the pure state, or by taking commutators with the density operator. Theorem 2 bounds the number of directions explored by a variational quantum circuit by the orbit dimension of the initial state. The paper also contains genericity statements (Proposition 1), a lower-semicontinuity result (Proposition 2), measurement protocols for orbit dimensions (Proposition 3), a conjectured link to non-Gaussianity (Conjecture 1), and a number of worked examples including a CNOT no-go argument. The Supplemental Material provides substantial support for Theorems 1 and 2.

Significance. If the results hold, the orbit dimension is a computable, invariant, topological quantity that partitions state space under four physically relevant unitary groups and yields no-go statements and variational-circuit expressivity bounds. The proof of Theorem 1 is detailed and appears sound, and Theorem 2 is a useful formalization of intuitive expressivity limits. The paper also provides explicit analytical formulas for several state families and a symbolic implementation, which are valuable additions. However, the genericity claim is currently conditional on an unproved conjecture, and the abstract advertises results on free-state characterization and mixed-state convex-roof monotones that are not present in the manuscript. These issues prevent the paper from being accepted in its present form.

major comments (3)
  1. [§III, Proposition 1 and Eq. (18)] Proposition 1 is stated unconditionally ('with probability one, dim(Orb_G(|ψ>)) = dim(G) - ...'), but its proof in SM §S6 depends on Conjecture S1, as the text explicitly says 'The proof is hence concluded, assuming the validity of conjecture Conjecture S1.' Since Conjecture S1 is verified only numerically for m,N ≤ 8, the genericity claim is not established. If Conjecture S1 fails for some m, Eq. (18) is false. Please restate Proposition 1 as conditional on Conjecture S1, prove the conjecture, or restrict the claim to the numerically verified parameter range.
  2. [Abstract] The abstract advertises two results that do not appear in the main text or the supplied Supplemental Material: (i) a proof that free states coincide with a unique minimal-dimension orbit in the pure multimode case under Gaussian (and displaced-linear) unitaries, and (ii) a mixed-state extension using a convex-roof-based definition of orbit dimension together with a proof that these fail to be fixed-mode monotones. The only related statement in the text is Conjecture 1 (Section IV), which is explicitly unproved. These advertised claims are either missing proofs or need to be removed from the abstract.
  3. [§IV, Conjecture 1] Conjecture 1 is ambiguous about the picture: the preceding sentence identifies the Gaussian orbit as having dimension m(m+3) in the ketbra picture, while in the ket picture the global-phase generator adds one dimension for every nonzero pure state, so the threshold m(m+3) would be automatically exceeded by all states, Gaussian or not. Please specify whether the conjecture refers to ket or ketbra orbit dimensions and adjust the witness statement accordingly.
minor comments (4)
  1. [Throughout] There are numerous typographical errors, e.g., 'conecture' in SM S6, 'Hibert' in SM S5, 'usinfg' in SM S1, 'Pythagoeras' in SM S3, and 'independetly' in SM S9; the manuscript needs a careful proofreading pass.
  2. [Table II] The symbol δ_{|ψ>} appears in the table header and entries but is defined only in the caption; please define it explicitly before the table is referenced in the text, and state clearly that it takes value 1 in the ket picture and 0 in the ketbra picture.
  3. [Eq. (18)] The special-case corrections for N=0 and N=1 are stated without explanation in the main text; the reader should be pointed to the SM derivation or given an intuitive one-line argument, since these cases are physically relevant (vacuum and single-photon sectors).
  4. [§IV, experimental estimation] The sentence 'This suggests [34] attempting to relate them to expectation values of observables defined on two parallel copies of the state' is vague; a brief explanation of why the similarity to [34] is only suggestive would help the reader follow the subsequent two-copy SWAP test construction.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: Theorem 1's rank formula is derived (not assumed) from orbit-stabilizer theory; Proposition 1 is transparently conditional on Conjecture S1 (a flagged proof gap, not a circular reduction); the two self-citations are non-load-bearing.

full rationale

Verdict: no significant circularity (score 1). The load-bearing derivations are self-contained. Theorem 1's rank formulas are proven in SM S3 as the specialization of Theorem S1, a general orbit-stabilizer result for strongly-continuous unitary representations (dim(Orb_G(p)) = dim(g) − dim(ker f'_p) = rank_R({φ'(X_i)·p}), with ker(f'_p) = g_p established via the smoothness of the orbit curve), applied to the extended metaplectic representation; the paper supplies its own identification that Schwartz states are smooth vectors because polynomial operators stabilize S(H_m). Nothing here is defined in terms of the claimed output, and no parameter is fitted anywhere. Theorem 2's bound follows from Proposition S2 (analyticity and constant-rank lemmas on Hilbert manifolds); the only self-citation entering that proof is for the standard pure-state identity rank(QFIM) = rank of the Jacobian of θ↦|ψ(θ)⟩⟨ψ(θ)|, cited to the author's own [60, Lem. D2] only as background. Per review rule 4, that fact is parameter-free, does not assume Theorem 2's conclusion, and is independently checkable, so it does not raise the circularity score. Flagged and weighed, as limitations rather than circularity: (1) Proposition 1 (Eq. 18) is stated unconditionally in the main text, but its SM S6 proof is explicitly conditional: 'The proof is hence concluded, assuming the validity of conjecture Conjecture S1.' Conjecture S1, asserting that the explicit uniform-superposition state of Eq. (S196) achieves the maximal orbit dimension, is numerically checked only for m,N ≤ 8; the main text itself flags 'by assuming the existence of a family of states |ψ_{m,N}⟩ satisfying Eq. (18) (Conjecture S1)'. If Conjecture S1 fails for some parameters, Eq. (18) is not established — an honest proof gap adding uncertainty, not a self-referential reduction. (2) The abstract advertises a convex-roof-based mixed-state extension whose 'fail[ure] to be fixed-mode monotones' is claimed, together with a minimal-dimension orbit characterization of free states; these results do not appear in the main text or SM, a completeness concern, not circularity. (3) Self-citations [12] (terminology, 'number of degrees of freedom') and [60] (QFIM-rank background) are non-load-bearing. The numerical checks of Conjecture S1 and the Table II / CNOT symbolic rank computations rely on the author's own package [28], which counts as code-reproduced verification rather than circular support.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The central orbit-dimension formulas (Eqs. 11-17) are defined from the Lie algebra and Hilbert space structure, with no fitted parameters. The main caveats are two conjectures (S1 and 1) used to promote partial results to unconditional statements.

assumptions (4)
  • standard math The extended metaplectic representation maps its Lie algebra onto the set of all quadratic Hamiltonians (Ref. [48]).
    Used to relate the Lie algebra bases of Table I to the physical Hamiltonians and to justify Theorem 1's rank formula. This is a cited textbook result, not proved in the paper.
  • domain assumption Physical states are Schwartz states, and Schwartz states are smooth vectors for the extended metaplectic representation and its adjoint representation.
    Defines the domain on which orbit maps are smooth, making Eq. (11)-(12) valid. The paper proves smoothness in the SM, but the restriction to Schwartz states is a modeling choice.
  • ad hoc to paper Conjecture S1: the family |ψ_{N,m}> defined in Eq. (S196) achieves the maximal orbit dimension d_{G,max}(H^{≤N}_m) stated in Eq. (S195).
    Used in SM S6 to turn Lemma S13 into Proposition 1. Only numerically verified for m,N up to 8; no proof provided.
  • ad hoc to paper Conjecture 1: all non-Gaussian pure states over m>=2 modes have orbit dimensions under G_GO greater than m(m+3).
    Needed for the abstract's claim that free states coincide with a unique minimal-dimension orbit; the main text only proves the one-way witness direction.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Orbit dimensions in linear and Gaussian quantum optics." pith.science (2026). https://pith.science/paper/53F22YX5

@misc{pith2026250607995,
  author       = {Pith},
  title        = {Pith review of: Orbit dimensions in linear and Gaussian quantum optics},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/53F22YX5}},
  note         = {Machine review of arXiv:2506.07995}
}
abstract

We study the dimension of the manifold of quantum states (called orbit) that a given bosonic state can reach under linear or quadratic Hamiltonian evolutions. That is, we investigate how many directions in the Hilbert space a state can explore in these sub-universal regimes. After showcasing a simple way to compute orbit dimensions, we find that these topological quantities reveal fundamental insights into the structure of attainable state spaces (e.g., boson bunching does not increase the number of accessible directions) with multifaceted consequences. First, we illustrate how they can alone yield no-go results for some transformations. We then propose ways to probe orbit dimensions using homodyne/heterodyne measurements on pure states, or photon counters on two copies of general states. We also relate orbit dimensions to the number of directions accessible to bosonic variational circuits. Next, we study links between orbit dimensions and the resource theory of non-Gaussianity (resp. $P$-nonclassicality), and prove that free states coincide with a unique minimal-dimension orbit in the pure multimode case, under Gaussian (resp. displaced-linear) unitaries. We then extend this result to a mixed-state setting, provided that an alternative convex-roof-based definition of orbit dimensions is taken; however, we show that those fail to be fixed-mode monotones under the respective free operations. Our entire framework is proven to hold in both discrete and continuous-variable settings, and can be used with Fock as well as phase-space representations such as the Wigner or stellar representations. Overall, this work offers a new perspective on the structure of reachable quantum states of light, which can help practitioners understand limitations and sources of expressivity and non-Gaussianity (or $P$-nonclassicality) in bosonic quantum information protocols such as quantum machine learning.

Figures

Figures reproduced from arXiv: 2506.07995 by the authors.

Figure 1
Figure 1. FIG. 1. Illustration of an orbit of a state [PITH_FULL_IMAGE:figures/full_fig_p001_1.png] view at source ↗

Discussion (0). Sign in to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Hybrid Quantum Neural Networks: Theory, Implementations, and Applications

    quant-ph 2026-08 conditional novelty 2.0 of 10

    A balanced review of hybrid quantum neural networks, concluding that quantum layers help on structured, small-scale and quantum-native problems but do not yet beat classical models on generic benchmarks.

Reference graph

Works this paper leans on

51 extracted references · 25 canonical work pages · cited by 1 Pith paper

  1. [28]

    author author G. B. \ Folland ,\ https://doi.org/doi:10.1515/9781400882427 title Harmonic Analysis in Phase Space ,\ series Annals of Mathematics Studies \ No.\ number v.122 \ ( publisher Princeton University Press ,\ address Princeton ,\ year 1989 ) NoStop

    doi:10.1515/9781400882427

  2. [1]

    author author P. Kok ,\ title title Linear optical quantum computing with photonic qubits ,\ https://doi.org/10.1103/RevModPhys.79.135 journal journal Reviews of Modern Physics \ volume 79 ,\ pages 135 ( year 2007 ) NoStop

    doi:10.1103/revmodphys.79.135 2007

  3. [2]

    Aaronson \ and\ author A

    author author S. Aaronson \ and\ author A. Arkhipov ,\ https://doi.org/10.48550/arXiv.1011.3245 title The Computational Complexity of Linear Optics ( year 2010 ) NoStop

    arXiv doi:10.48550/arxiv.1011.3245 2010

  4. [3]

    Lloyd \ and\ author S

    author author S. Lloyd \ and\ author S. L. \ Braunstein ,\ title title Quantum Computation over Continuous Variables ,\ https://doi.org/10.1103/PhysRevLett.82.1784 journal journal Physical Review Letters \ volume 82 ,\ pages 1784 ( year 1999 ) NoStop

    doi:10.1103/physrevlett.82.1784

  5. [4]

    Weedbrook , author S

    author author C. Weedbrook , author S. Pirandola , author R. García-Patrón , author N. J. \ Cerf , author T. C. \ Ralph , author J. H. \ Shapiro ,\ and\ author S. Lloyd ,\ title title Gaussian quantum information ,\ https://doi.org/10.1103/RevModPhys.84.621 journal journal Reviews of Modern Physics \ volume 84 ,\ pages 621 ( year 2012 ) NoStop

    doi:10.1103/revmodphys.84.621

  6. [5]

    author author C. S. \ Hamilton , author R. Kruse , author L. Sansoni , author S. Barkhofen , author C. Silberhorn ,\ and\ author I. Jex ,\ title title Gaussian Boson Sampling ,\ https://doi.org/10.1103/PhysRevLett.119.170501 journal journal Physical Review Letters \ volume 119 ,\ pages 170501 ( year 2017 ) NoStop

    doi:10.1103/physrevlett.119.170501

  7. [6]

    author author D. D'Alessandro ,\ https://doi.org/10.1201/9781003051268 en title Introduction to Quantum Control and Dynamics ,\ edition 2nd \ ed.\ ( publisher Chapman and Hall/CRC ,\ address Boca Raton ,\ year 2021 ) NoStop

    doi:10.1201/9781003051268 2021

  8. [7]

    Zanardi \ and\ author S

    author author P. Zanardi \ and\ author S. Lloyd ,\ title title Universal control of quantum subspaces and subsystems ,\ https://doi.org/10.1103/PhysRevA.69.022313 journal journal Physical Review A \ volume 69 ,\ pages 022313 ( year 2004 ) NoStop

    work page doi:10.1103/physreva.69.022313

Show all 51 references
  1. [8]

    Knill , author R

    author author E. Knill , author R. Laflamme ,\ and\ author G. J. \ Milburn ,\ title en title A scheme for efficient quantum computation with linear optics ,\ https://doi.org/10.1038/35051009 journal journal Nature \ volume 409 ,\ pages 46 ( year 2001 ) NoStop

    doi

  2. [9]

    Chabaud , author D

    author author U. Chabaud , author D. Markham ,\ and\ author A. Sohbi ,\ title en-GB title Quantum machine learning with adaptive linear optics ,\ https://doi.org/10.22331/q-2021-07-05-496 journal journal Quantum \ volume 5 ,\ pages 496 ( year 2021 ) NoStop

    2021 doi

  3. [10]

    Monbroussou , author E

    author author L. Monbroussou , author E. Z. \ Mamon , author H. Thomas , author V. Yacoub , author U. Chabaud ,\ and\ author E. Kashefi ,\ https://doi.org/10.48550/arXiv.2410.01572 title Towards quantum advantage with photonic state injection ( year 2024 ) NoStop

    doi arXiv

  4. [11]

    Dell’Anno , author S

    author author F. Dell’Anno , author S. De Siena ,\ and\ author F. Illuminati ,\ title title Multiphoton quantum optics and quantum state engineering ,\ https://doi.org/10.1016/j.physrep.2006.01.004 journal journal Physics Reports \ volume 428 ,\ pages 53 ( year 2006 ) NoStop

    2006 doi

  5. [12]

    Migdał , author J

    author author P. Migdał , author J. Rodríguez-Laguna , author M. Oszmaniec ,\ and\ author M. Lewenstein ,\ title title Which multiphoton states are related via linear optics? ,\ https://doi.org/10.1103/PhysRevA.89.062329 journal journal Physical Review A \ volume 89 ,\ pages 0...

    doi

  6. [13]

    author author P. V. \ Parellada , author V. Gimeno i Garcia , author J. J. \ Moyano-Fernández ,\ and\ author J. C. \ Garcia-Escartin ,\ title title No-go theorems for photon state transformations in quantum linear optics ,\ https://doi.org/10.1016/j.rinp.2023.107108 journal jo...

  7. [14]

    author author P. V. \ Parellada , author V. G. i. \ Garcia , author J. J. \ Moyano-Fernández ,\ and\ author J. C. \ Garcia-Escartin ,\ https://doi.org/10.48550/arXiv.2409.12223 title Lie algebraic invariants in quantum linear optics ( year 2024 ) NoStop

    doi arXiv

  8. [15]

    Chabaud , author D

    author author U. Chabaud , author D. Markham ,\ and\ author F. Grosshans ,\ title title Stellar Representation of Non - Gaussian Quantum States ,\ https://doi.org/10.1103/PhysRevLett.124.063605 journal journal Physical Review Letters \ volume 124 ,\ pages 063605 ( year 2020 ) NoStop

    doi

  9. [16]

    Hahn , author G

    author author O. Hahn , author G. Ferrini , author A. Ferraro ,\ and\ author U. Chabaud ,\ https://doi.org/10.48550/arXiv.2410.23721 title Assessing non- Gaussian quantum state conversion with the stellar rank ( year 2024 ) NoStop

    2024 doi arXiv

  10. [17]

    Rodari , author T

    author author G. Rodari , author T. Francalanci , author E. Caruccio , author F. Hoch , author G. Carvacho , author T. Giordani , author N. Spagnolo , author R. Albiero , author N. D. \ Giano , author F. Ceccarelli , author G. Corrielli , author A. Crespi , author R. Osellame ...

    doi arXiv

  11. [18]

    author author C. D. \ Cenci , author D. W. \ Lyons , author L. M. \ Snyder ,\ and\ author S. N. \ Walck ,\ title title Symmetric states: local unitary equivalence via stabilizers ,\ https://doi.org/10.5555/2011451.2011463 journal journal Quantum Info. Comput. \ volume 10 ,\ pa...

  12. [19]

    author author D. W. \ Lyons \ and\ author S. N. \ Walck ,\ title title Minimum orbit dimension for local unitary action on n-qubit pure states ,\ https://doi.org/10.1063/1.2048327 journal journal Journal of Mathematical Physics \ volume 46 ,\ pages 102106 ( year 2005 ) NoStop

    doi

  13. [20]

    author author B. C. \ Hall ,\ https://doi.org/10.1007/978-1-4614-7116-5 en title Quantum Theory for Mathematicians ,\ series Graduate Texts in Mathematics , Vol.\ volume 267 \ ( publisher Springer New York ,\ address New York, NY ,\ year 2013 ) NoStop

    doi

  14. [21]

    Keyl , author J

    author author M. Keyl , author J. Kiukas ,\ and\ author R. F. \ Werner ,\ title title Schwartz operators ,\ https://doi.org/10.1142/S0129055X16300016 journal journal Reviews in Mathematical Physics \ volume 28 ,\ pages 1630001 ( year 2016 ) NoStop

    doi

  15. [22]

    Hernández \ and\ author C

    author author F. Hernández \ and\ author C. J. \ Riedel ,\ title title Rapidly decaying Wigner functions are Schwartz functions ,\ https://doi.org/10.1063/5.0049581 journal journal Journal of Mathematical Physics \ volume 63 ,\ pages 022104 ( year 2022 ) NoStop

    doi

  16. [23]

    Luis \ and\ author L

    author author A. Luis \ and\ author L. L. \ Sanchez-Soto ,\ title en title A quantum description of the beam splitter ,\ https://doi.org/10.1088/1355-5111/7/2/005 journal journal Quantum and Semiclassical Optics: Journal of the European Optical Society Part B \ volume 7 ,\ pag...

    doi

  17. [24]

    author author J. M. \ Lee ,\ https://doi.org/10.1007/978-1-4419-9982-5 en title Introduction to Smooth Manifolds ,\ series Graduate Texts in Mathematics , Vol.\ volume 218 \ ( publisher Springer ,\ address New York, NY ,\ year 2012 ) NoStop

    doi

  18. [25]

    author author B. C. \ Hall ,\ https://doi.org/10.1007/978-3-319-13467-3 en title Lie Groups , Lie Algebras , and Representations : An Elementary Introduction ,\ series Graduate Texts in Mathematics , Vol.\ volume 222 \ ( publisher Springer International Publishing ,\ address C...

    doi

  19. [26]

    author author E. Nelson ,\ title title Analytic vectors ,\ https://doi.org/doi.org/10.2307/1970331 journal journal Annals of Mathematics \ volume 70 ,\ pages 572 ( year 1959 ) ,\ https://arxiv.org/abs/1970331 1970331 NoStop

    1959

  20. [27]

    Reed \ and\ author B

    author author M. Reed \ and\ author B. Simon ,\ @noop title Methods of Modern Mathematical Physics ,\ Vol. volume II \ ( publisher Academic press ,\ year 1980 ) NoStop

    1980

  21. [29]

    author author V. Moretti ,\ title title Mathematical foundations of quantum mechanics: An advanced short course ,\ https://doi.org/10.1142/S0219887816300117 journal journal International Journal of Geometric Methods in Modern Physics \ volume 13 ,\ pages 1630011 ( year 2016 ) NoStop

    doi

  22. [30]

    Dutta , author N

    author author Arvind , author B. Dutta , author N. Mukunda ,\ and\ author R. Simon ,\ title en title The real symplectic groups in quantum mechanics and optics ,\ https://doi.org/10.1007/BF02848172 journal journal Pramana \ volume 45 ,\ pages 471 ( year 1995 ) NoStop

    doi

  23. [31]

    The real rank of a list of vectors is hence greater or equal to its complex rank

    note That is, it is the minimal subset size k for which all vectors not in the subset can be written as real linear combinations of vectors in the subset. The real rank of a list of vectors is hence greater or equal to its complex rank. Stop

  24. [32]

    author author R. A. \ Horn \ and\ author C. R. \ Johnson ,\ https://doi.org/10.1017/CBO9780511810817 en title Matrix analysis ,\ edition second edition, corrected reprint \ ed.\ ( publisher Cambridge University Press ,\ address New York, NY ,\ year 2013 ) NoStop

    doi

  25. [33]

    Hertz \ and\ author S

    author author A. Hertz \ and\ author S. De Bi \`e vre ,\ title title Quadrature Coherence Scale Driven Fast Decoherence of Bosonic Quantum Field States ,\ https://doi.org/10.1103/PhysRevLett.124.090402 journal journal Physical Review Letters \ volume 124 ,\ pages 090402 ( year...

    doi

  26. [34]

    Griffet , author M

    author author C. Griffet , author M. Arnhem , author S. De Bièvre ,\ and\ author N. J. \ Cerf ,\ title title Interferometric measurement of the quadrature coherence scale using two replicas of a quantum optical state ,\ https://doi.org/10.1103/PhysRevA.108.023730 journal journ...

    doi

  27. [35]

    author author E. Z. \ Mamon ,\ https://github.com/eliott-zm/bosonic-orbit-dimensions title bosonic-orbit-dimensions ( year 2025 ) NoStop

    2025

  28. [36]

    author author T. A. \ Bruni ,\ title title Measuring polynomial functions of states ,\ https://doi.org/10.5555/2011586.2011592 journal journal Quantum Information & Computation \ volume 4 ,\ pages 401 ( year 2004 ) NoStop

    2004

  29. [37]

    author author T. J. \ Volkoff \ and\ author Y. Subaşı ,\ title en-GB title Ancilla-free continuous-variable SWAP test ,\ https://doi.org/10.22331/q-2022-09-08-800 journal journal Quantum \ volume 6 ,\ pages 800 ( year 2022 ) NoStop

    2022 doi

  30. [38]

    Takagi \ and\ author Q

    author author R. Takagi \ and\ author Q. Zhuang ,\ title title Convex resource theory of non- Gaussianity ,\ https://doi.org/10.1103/PhysRevA.97.062337 journal journal Physical Review A \ volume 97 ,\ pages 062337 ( year 2018 ) NoStop

    doi

  31. [39]

    Lami , author B

    author author L. Lami , author B. Regula , author X. Wang , author R. Nichols , author A. Winter ,\ and\ author G. Adesso ,\ title title Gaussian quantum resource theories ,\ https://doi.org/10.1103/PhysRevA.98.022335 journal journal Physical Review A \ volume 98 ,\ pages 0223...

    doi

  32. [40]

    author author M. Walschaers ,\ title title Non- Gaussian Quantum States and Where to Find Them ,\ https://doi.org/10.1103/PRXQuantum.2.030204 journal journal PRX Quantum \ volume 2 ,\ pages 030204 ( year 2021 ) NoStop

    2021 doi

  33. [41]

    the proof of [Lem

    note This is because the Quantum Fisher Information Matrix rank is equal to the rank of the Jacobian of the parametrized state map (see e.g. the proof of [Lem. D2] Monbroussou-TrainabilityExpressivity-2025 for more background), which quantifies the local dimension explored and...

    2025

  34. [42]

    Monbroussou , author E

    author author L. Monbroussou , author E. Z. \ Mamon , author J. Landman , author A. B. \ Grilo , author R. Kukla ,\ and\ author E. Kashefi ,\ title title Trainability and Expressivity of Hamming-Weight Preserving Quantum Circuits for Machine Learning ,\ https://doi.org/10.2233...

    doi

  35. [43]

    Montgomery \ and\ author L

    author author D. Montgomery \ and\ author L. Zippin ,\ https://books.google.com/books?hl=en&lr=&id=yoVYDwAAQBAJ&oi=fnd&pg=PA1&dq=Topological+Transformation+Groups.+I+Deane+Montgomery,+Leo+Zippin&ots=90sj4nAz2s&sig=m9bqDjDHS4vTF4phsH8HtJPnzt0 title Topological transformation gr...

    2018

  36. [44]

    note Recall that composing linear maps with linear injections on the left or linear surjections on the right doesn't change the rank of the linear map. Stop

  37. [45]

    note The addition of 1 can be thought of as a useful convention NoStop

  38. [46]

    author author H. H. \ Schaefer \ and\ author M. P. \ Wolff ,\ https://doi.org/10.1007/978-1-4612-1468-7 title Topological Vector Spaces ,\ series Graduate Texts in Mathematics , Vol. volume 3 \ ( publisher Springer New York ,\ address New York, NY ,\ year 1999 ) NoStop

    doi

  39. [47]

    Infusino ,\ https://www.math.uni-konstanz.de/ infusino/TVS-WS18-19/Note2018.pdf title Topological Vector Spaces ( year 2015 ) NoStop

    author author M. Infusino ,\ https://www.math.uni-konstanz.de/ infusino/TVS-WS18-19/Note2018.pdf title Topological Vector Spaces ( year 2015 ) NoStop

    2015

  40. [48]

    Reed \ and\ author B

    author author M. Reed \ and\ author B. Simon ,\ @noop title Methods of Modern Mathematical Physics ,\ Vol. volume I \ ( publisher Academic press ,\ year 1980 ) NoStop

    1980

  41. [49]

    Mityagin ,\ https://doi.org/10.48550/arXiv.1512.07276 title The Zero Set of a Real Analytic Function ( year 2015 ),\ https://arxiv.org/abs/1512.07276 arXiv:1512.07276 [math] NoStop

    author author B. Mityagin ,\ https://doi.org/10.48550/arXiv.1512.07276 title The Zero Set of a Real Analytic Function ( year 2015 ),\ https://arxiv.org/abs/1512.07276 arXiv:1512.07276 [math] NoStop

    2015 doi arXiv

  42. [50]

    Amann \ and\ author J

    author author H. Amann \ and\ author J. Escher ,\ https://doi.org/10.1007/978-3-7643-7480-8 title Analysis III \ ( publisher Birkh \"a user ,\ address Basel ,\ year 2009 ) NoStop

    2009 doi

  43. [51]

    author author J. M. \ Lee ,\ https://doi.org/10.1007/978-3-319-91755-9 title Introduction to Riemannian Manifolds ,\ edition 2nd \ ed.,\ series Graduate Texts in Mathematics , Vol.\ volume 176 \ ( publisher Springer International Publishing ,\ address Cham ,\ year 2018 ) NoStop

    doi

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.