Pith. sign in

REVIEW 3 major objections 5 minor 23 references

The state space of higher-order optical modes is an octant sphere spanned by a torus.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

T0 review · deepseek-v4-flash

2026-08-02 20:51 UTC pith:GJZPXM6A

load-bearing objection Solid and useful CP^2 octant picture for second-order HG/LG modes; the higher-N extension is sloppy and the physical converter matrices need verification before the torus claims are trusted. the 3 major comments →

arxiv 2602.21991 v1 pith:GJZPXM6A submitted 2026-02-25 physics.optics

Geometric representation of higher-order optical modes

classification physics.optics PACS 42.50.Tx03.65.Vf
keywords Hermite-Gaussian modesLaguerre-Gaussian modesPoincaré sphereCP^2mode converterimage rotatorgeometric phasestructured light
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper claims that the full state space of second-order light modes – all superpositions of the three Hermite-Gaussian or Laguerre-Gaussian basis modes – can be drawn as the positive octant of a sphere with a torus of phases hovering over each point. In this picture, amplitudes live on the octant and relative phases live on the torus; the familiar Poincaré spheres for orbital angular momentum appear as the edges of the octant. Mode converters (in the HG basis) and image rotators (in the LG basis) act as pure phase shifts, sliding states along the torus without changing the amplitudes. The same construction extends to any mode order, representing CP^{N-1} as a hyperoctant spanned by a torus. A sympathetic reader would care because this is a single, simple geometric handle on high-dimensional structured light, useful for designing mode transformations and studying geometric phases.

Core claim

The central claim is that a three-state optical mode space, such as the second-order modes spanned by HG20, HG11, HG02 or by LG2_0, LG0_1, LG^-2_0, is exactly the complex projective plane CP^2, and that this space admits a coordinate system where every state is written as e^{iδ}( sinθ cosφ e^{iχ1}|ψ1> + sinθ sinφ e^{iχ2}|ψ2> + cosθ |ψ3> ). The angles θ and φ determine the relative weights of the three basis states, locating the state on an octant (a positive eighth of a sphere); the phases χ1 and χ2 place the state on a torus above that octant point. Two-state superpositions live on the octant edges, which are ordinary Poincaré spheres; the corners are the basis states themselves. In the HG

What carries the argument

The carrying object is the octant–torus parametrization of CP^2: a four-parameter chart (θ, φ, χ1, χ2) in which θ and φ encode the relative amplitudes of the three basis states (the octant) and χ1, χ2 encode their phases (the torus fiber). The key identities are the diagonal phase-only SU(3) matrices for the mode converter in the HG basis (phases −2φ and −φ) and for the image rotator in the LG basis (phases 4Δ and 2Δ); these make the devices act as translations along the torus. The edges of the octant are identified with standard two-state Poincaré spheres, embedding them as subspaces of the larger space. This structure is the reason transition probabilities and geometric phases can be read

Load-bearing premise

The whole torus-only action of mode converters and rotators rests on the assumption that the standard converter and rotator matrices are diagonal phase-only unitaries in the HG and LG bases respectively; if a real device mixes the basis amplitudes, the states would leave the torus and the claimed trajectories would not hold.

What would settle it

Send a known superposition on an octant edge (e.g., (HG20+HG02)/√2) through a π/2 converter and measure the output mode decomposition; if the ratio of HG20 to HG02 changes or an HG11 component appears, the phase-only diagonal assumption fails. More generally, check the predicted torus coordinate shift (χ1 = −π, χ2 = −π/2) by interferometric phase measurement.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • If the octant picture is correct, every two-mode Poincaré sphere for orbital angular momentum sits as an edge of a single state-space diagram, so mode transformations can be planned across the whole space, not just along one sphere.
  • Because converters and rotators are diagonal in the appropriate bases, their action on any superposition is a simple shift of the phase coordinates; this turns state manipulation into a visual, geometric operation.
  • The same parametrization generalizes to CP^{N-1} for order-N modes, so high-dimensional mode spaces become hyperoctants-times-tori, giving a concrete picture for optical qudits.
  • The octant edges trace vortex dynamics: a ℓ=+2 to ℓ=0 transition splits a vortex into two charge-+1 singularities that annihilate with opposite-charge vortices from infinity, and handedness reversal passes through a zero-OAM state.
  • The representation provides a natural setting for higher-dimension Berry phases and topological invariants, since the Fubini-Study structure is encoded in the coordinates.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • My inference: the strongest experimental lever is the torus-only action of a π/2 converter; if a real cylindrical-lens converter mixes HG amplitudes for off-axis superpositions, the claimed octant coordinates would shift, which can be tested by measuring modal content after conversion.
  • My inference: the octant picture suggests a direct method for geodesic (shortest-path) state transfer on CP^2, since the Fubini-Study metric is simple in these coordinates; this could give explicit pulse sequences for qudit gates.
  • My inference: extending to vector (polarization-structured) modes would yield a product-space geometry, likely with new topological features from the composite nature of the mode; the paper notes this but does not develop it.
  • My inference: the hyperoctant coordinates have coordinate singularities (like the ψ3=0 locus), so understanding chart transitions might reveal global invariants of CP^{N-1} that could be probed optically.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 5 minor

Summary. The paper proposes a geometric representation of the pure state space of higher-order optical modes as the positive octant of a sphere fibered by a torus. For second-order modes (N=2, with three basis modes), it writes the canonical CP^2 parametrization in Eq. (1), identifies the octant edges with two-mode superpositions, and claims that mode converters and image rotators act as translations on the torus while leaving the octant point fixed. It then sketches a generalization to arbitrary order N, asserting the state space is CP^{N-1} and giving a recurrence for the amplitudes (Eqs. 7,8). The central second-order geometric picture is standard and essentially correct, but the generalization has an off-by-one error, and the physical mode-converter/rotator analysis appears to rely on nonstandard or incorrect matrices.

Significance. If the identified issues are fixed, the octant picture could be a useful visualization and practical tool for optical qudits and structured light, embedding the well-known OAM Poincaré spheres as two-mode subspaces and connecting to Fubini-Study geometry and geometric phases. The manuscript is compact and aims for a broad audience, so the pedagogical value is potentially high. However, the claimed novelty over the standard CP^n parametrization (refs [6,13]) lies in the optical applications and the extension beyond second order; those parts currently contain substantive errors, so the significance as written is reduced.

major comments (3)
  1. [Generalization (final paragraph, Eqs. 7,8)] The state-space dimension is off by one. A mode of order N has N+1 basis modes (for N=2: HG20, HG11, HG02), so the pure state space is CP^N, not CP^{N-1}. Eq. (7) itself uses N+1 kets, confirming this. The text should say 'positive hyperoctant of an N-sphere spanned by an N-torus.' Additionally, Eq. (8) has typos: the first line contains 'sinθ2' and 'sinϑ3·...·sinϑn' even for N=2, making the normalization unclear. With corrected indices (n0 = cosϑ1 sinϑ2 ... sinϑN, etc.) the recurrence is a standard hyperspherical parametrization and does sum to 1, but the printed formulas are not valid as written.
  2. [Eq. (4) and surrounding text] The claimed φ-converter matrix C_HG(φ) = e^{i2φ} diag(e^{-i2φ}, e^{-iφ}, 1) is diagonal in the HG basis. A real cylindrical-lens mode converter (ref. [16]) is not diagonal; e.g., the standard π/2 converter maps HG20 to LG_0^2, a superposition of all three HG modes. A diagonal phase-only matrix leaves HG20 as HG20 and cannot 'transform a mode with no orbital angular momentum into one possessing it.' Thus the central claim that converters act purely as torus translations (leaving θ,φ unchanged) is not supported. The author should either derive the correct O'Neil-Courtial matrix and analyze its (non-torus) action, or explicitly limit the claim to a different 'phase-only' device and rename it.
  3. [Eqs. (3) and (5)] The mode labels are inconsistent with the paper's own convention LG_p^ℓ. In Eq. (3), |LG_0^1> is a first-order mode (ℓ=1, p=0), not a second-order mode. The state (HG20+HG02)/√2 is the second-order mode LG_1^0. Similarly, the three LG states in Eq. (5) should be LG_0^2, LG_1^0, LG_0^{-2} (not LG_2^0, LG_0^1, LG_-2^0). These errors affect the assignment of octant edges to OAM Poincaré spheres and the phase-evolution discussion in Fig. 3.
minor comments (5)
  1. [Eq. (4) text] The sentence says 'the overall phase factor e^{-i2φ} can be discarded' but the matrix contains e^{+i2φ}; the sign should be corrected.
  2. [Introduction, first sentence] 'Hermite-Gaussian modesHG nm modes' has a missing space; also define the HG and LG index conventions explicitly before use.
  3. [Eq. (8)] Indices are inconsistent: 'sinθ2' should be 'sinϑ2', and the ellipsis 'sinϑ3·...·sinϑn' should be 'sinϑ2·...·sinϑN' for N>2. Clarify that N is the mode order and there are N angles ϑ1,...,ϑN.
  4. [References] Reference [14] is incomplete (publisher/place missing). Some reference titles are sentence-case inconsistently; unified formatting would help.
  5. [Figure captions] Fig. 3 caption 'for increasing θ and fixed φ' is vague; specify which φ is used and the base states. The inset in Figs. 1 and 2 should indicate the torus coordinates (χ1,χ2).

Circularity Check

0 steps flagged

No significant circularity: the geometric representation and device actions are imported from external references, and no fitted quantity is relabeled as a prediction.

full rationale

The paper's octant parametrization of CP^2 (Eq. 1) is taken from the independent quantum-state geometry literature (Bengtsson–Zyczkowski [6], Bengtsson–Brännlund–Życzkowski [13]), and the mode-converter and mode-rotator matrices (Eqs. 4 and 6) are taken from O'Neil–Courtial [15]. These are external, pre-existing results used as inputs, not conclusions derived from the paper's own fitting or from its own earlier claims. There are no fitted parameters, no data subset used to 'predict' a closely related quantity, and no uniqueness theorem from the authors' prior work is invoked to force the representation. The self-citations ([8] for geometric phases, [21,22] for optical skyrmions) appear only as motivational context and are not load-bearing. The final generalization 'For a mode of order N, the state space CP^{N-1}' with Eq. (8) appears internally inconsistent with the paper's own N=2 CP^2 example, but that is a correctness/indexing issue, not a circular reduction: it does not turn an input into an output by construction. Accordingly, no circular step is identified.

Axiom & Free-Parameter Ledger

0 free parameters · 4 axioms · 0 invented entities

The ledger is clean: there are no free parameters or invented physical entities. The load-bearing inputs are the imported CP^2 geometry and the physically assumed converter/rotator matrices, neither of which is independently verified in the paper.

axioms (4)
  • domain assumption Pure states of fixed-order optical modes form CP^2 for second order and CP^N for an N-th-order mode (N+1 basis states), under normalization and global phase equivalence.
    Used throughout; standard in quantum state geometry, but the paper's own generalization paragraph mislabels the space as CP^{N-1}.
  • domain assumption The phi-converter and rotator matrices of O'Neil and Courtial [15] (Eqs. 4 and 6) are diagonal phase-only matrices in the HG and LG bases respectively.
    Central to the torus-only trajectories and the specific octant locations claimed for rotated HG and LG modes; assumed from the cited literature rather than re-derived.
  • standard math Equation (1) covers CP^2 away from the psi3=0 locus, and three coordinate charts are sufficient to cover the full space.
    The paper writes only one chart and cites Nakahara [14] for the chart-count statement.
  • standard math The positive hyperoctant parametrization of Eqs. (7)-(8) is a valid hyperspherical coordinate system for the simplex of amplitudes.
    The formulas satisfy sum |n_i|^2 = 1 by telescoping, though the paper contains a typo (sin theta_2 should be sin varphi_2).

pith-pipeline@v1.3.0-alltime-deepseek · 5135 in / 21988 out tokens · 212488 ms · 2026-08-02T20:51:25.997111+00:00 · methodology

0 comments
read the original abstract

An octant representation of higher-order optical modes that includes Laguerre-Gaussian and Hermite-Gaussian modes is presented. The octant picture captures the high-dimensional nature of three-state optical systems and beyond, with standard Poincar\'e spheres for orbital angular momentum forming subspaces of the entire state space. This representation enables intuitive manipulation of both classical modes and optical qudits and provides a framework for extending Berry phases and topological invariants to high dimensions.

Figures

Figures reproduced from arXiv: 2602.21991 by Claire Cisowski.

Figure 1
Figure 1. Figure 1: FIG. 1. Octant representation of second order HG modes. [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2. Octant representation of second order LG modes. [PITH_FULL_IMAGE:figures/full_fig_p003_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3. Phase profile of second-order LG modes, with and [PITH_FULL_IMAGE:figures/full_fig_p003_3.png] view at source ↗

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

23 extracted references · 1 linked inside Pith

  1. [1]

    Bloch, Nuclear induction, Phys

    F. Bloch, Nuclear induction, Phys. Rev.70, 460 (1946)

  2. [2]

    Poincar´ e,Th´ eorie math´ ematique de la lumi` ere (Gabay, 1892)

    H. Poincar´ e,Th´ eorie math´ ematique de la lumi` ere (Gabay, 1892)

  3. [3]

    M. J. Padgett and J. Courtial, Poincar´ e-sphere equivalent for light beams containing orbital angular momentum, Opt. Lett.24, 430 (1999)

  4. [4]

    Milione, H

    G. Milione, H. I. Sztul, D. A. Nolan, and R. R. Alfano, Higher-order Poincar´ e sphere, Stokes parameters, and the angular momentum of light, Phys. Rev. Lett.107, 053601 (2011)

  5. [5]

    Mirhosseini, O

    M. Mirhosseini, O. S. Maga˜ na-Loaiza, M. N. O’Sullivan, B. Rodenburg, M. Malik, M. P. J. Lavery, M. J. Pad- gett, D. J. Gauthier, and R. W. Boyd, High-dimensional quantum cryptography with twisted light, New Journal of Physics17, 033033 (2015)

  6. [6]

    Bengtsson and K

    I. Bengtsson and K. Zyczkowski,Geometry of Quan- tum States: An Introduction to Quantum Entanglement (Cambridge University Press, 2006)

  7. [7]

    G. F. Calvo, Wigner representation and geometric trans- formations of optical orbital angular momentum spatial modes, Opt. Lett.30, 1207 (2005)

  8. [8]

    Cisowski, J

    C. Cisowski, J. B. G¨ otte, and S. Franke-Arnold, Collo- quium: Geometric phases of light: Insights from fiber bundle theory, Rev. Mod. Phys.94, 031001 (2022)

  9. [9]

    M. A. Nielsen, M. R. Dowling, M. Gu, and A. C. Doherty, Quantum computation as geometry, Science311, 1133 (2006)

  10. [10]

    D. C. Brody and L. P. Hughston, Geometric quantum mechanics, J. Geom. Phys.38, 19 (2001), arXiv:quant- ph/9906086

  11. [11]

    Majorana, Atomi orientati in campo magnetico vari- abile, Il Nuovo Cimento9, 43 (1932)

    E. Majorana, Atomi orientati in campo magnetico vari- abile, Il Nuovo Cimento9, 43 (1932)

  12. [12]

    Facchi, R

    P. Facchi, R. Kulkarni, V. Man’ko, G. Marmo, E. Sudar- shan, and F. Ventriglia, Classical and quantum Fisher information in the geometrical formulation of quantum mechanics, Physics Letters A374, 4801 (2010)

  13. [13]

    Bengtsson, J

    I. Bengtsson, J. Braennlund, and K. Zyczkowski, CPn, or, entanglement illustrated, Int. J. Mod. Phys. A17, 4675 (2002), arXiv:quant-ph/0108064

  14. [14]

    Nakahara,Geometry, topology and physics(2003) bristol, UK: Hilger (1990) 505 p

    M. Nakahara,Geometry, topology and physics(2003) bristol, UK: Hilger (1990) 505 p. (Graduate student series in physics)

  15. [15]

    A. T. O’Neil and J. Courtial, Mode transformations in terms of the constituent Hermite–Gaussian or La- guerre–Gaussian modes and the variable-phase mode converter, Optics Communications181, 35 (2000)

  16. [16]

    Beijersbergen, L

    M. Beijersbergen, L. Allen, H. van der Veen, and J. Wo- erdman, Astigmatic laser mode converters and transfer of orbital angular momentum, Optics Communications 96, 123 (1993)

  17. [17]

    S. J. M. Habraken and G. Nienhuis, Geometric phases in higher-order transverse optical modes, inComplex Light and Optical Forces IV, edited by E. J. Galvez, D. L. An- drews, and J. Gl¨ uckstad (SPIE, 2010)

  18. [18]

    Molina-Terriza, Vortex transformations and vortex dynamics in optical fields, inThe Angular Momentum of Light, edited by D

    G. Molina-Terriza, Vortex transformations and vortex dynamics in optical fields, inThe Angular Momentum of Light, edited by D. L. Andrews and M. Babiker (Cam- bridge University Press, 2012) p. 31–50

  19. [19]

    E. J. Galvez and M. A. O’Connell, Existence and absence of geometric phases due to mode transformations of high- order modes, inNanomanipulation with Light, Vol. 5736, edited by D. L. Andrews, International Society for Optics and Photonics (SPIE, 2005) pp. 166 – 172

  20. [20]

    van Enk, Geometric phase, transformations of gaus- sian light beams and angular momentum transfer, Optics Communications102, 59 (1993)

    S. van Enk, Geometric phase, transformations of gaus- sian light beams and angular momentum transfer, Optics Communications102, 59 (1993)

  21. [21]

    Cisowski, C

    C. Cisowski, C. Ross, and S. Franke-Arnold, Build- ing paraxial optical skyrmions using rational maps, Ad- vanced Photonics Research4, 2200350 (2023)

  22. [22]

    Z. Ye, S. M. Barnett, S. Franke-Arnold, J. B. G¨ otte, A. McWilliam, F. C. Speirits, and C. M. Cisowski, The- ory of paraxial optical skyrmions, Proceedings of the Royal Society A: Mathematical, Physical and Engineer- ing Sciences480, 20240109 (2024)

  23. [23]

    G. W. Gibbons and C. N. Pope, Cp2 as a gravitational instanton, Commun. Math. Phys.61, 239 (1978)