REVIEW 6 minor 25 references
Holonomically constrained polarization transformation
T0 review · 0 major / 6 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read A polarization transformation on a higher-order Poincaré sphere is holonomic exactly when the beam's OAM index, the sphere's Poincaré–Hopf order, and the q-plate charge are all equal.
desk verdict The paper's central condition is correct and cleanly derived; its real contribution is a classification framing, not a new physical result. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The engine is the q-plate's Jones matrix $M(\delta,\alpha(\phi))\in \mathrm{SU}(2)$ with fast-axis orientation $\alpha(\phi)=q\phi+\alpha_0$, applied to the two-component HOPS basis $|R_\ell\rangle=e^{-i\ell\phi}|R\rangle$, $|L_\ell\rangle=e^{i\ell\phi}|L\rangle$. Expanding the product yields the output amplitudes (12)–(13), which contain the vortex phases $e^{-i(2q-\ell)\phi}$ and $e^{i(2q-\ell)\phi}$ in addition to the original $e^{-i\ell\phi}$ and $e^{i\ell\phi}$. Demanding that the output still be expressible in the same $\ell$-basis form fixes $2q-\ell=\ell$, giving the holonomy condition $\ell=\eta=q$. When that condition is met, the q-plate acts as a rigid rotation of the HOPS, with the rotation axis lying in the equatorial plane at an angle $2\alpha_0$ to the $S_1^{(\eta)}$-axis.
What would settle it
Prepare an $\eta=1$ vector vortex beam and pass it through a half-wave plate with $q=0$ (or $q=1/2$); the paper predicts the output no longer satisfies $(S_1^{(1)})^2+(S_2^{(1)})^2+(S_3^{(1)})^2=(S_0^{(1)})^2$ and cannot be represented on the same HOPS, so observing the constraint intact would refute the holonomy condition. For $q=1$, the constraint should hold for all retardance values.
Extended reading notes
Core claim
The central claim is that the action of a q-plate on an HOPS beam is holonomic—initial, intermediate, and final states all lie on the same sphere—if and only if the holonomy condition $\ell = \eta = q$ of Eq. (14) holds, where $\ell$ is the OAM index entering Eq. (2), $\eta$ is the beam's Poincaré–Hopf index (the HOPS order), and $q$ is the plate charge. The proof is a direct calculation: applying the q-plate Jones matrix of Eq. (6) to the HOPS beam of Eq. (2) produces output amplitudes (12)–(13) containing vortex phases $e^{-i(2q-\ell)\phi}$ and $e^{i(2q-\ell)\phi}$ alongside the original $e^{-i\ell\phi}$ and $e^{i\ell\phi}$. Matching the vortex charges requires $2q-\ell = \ell$, i.e., $q = \ell$, and since $\eta=\ell$ for these beams all three indices must be equal. Under this condition the output keeps the same functional form and the transformation is an SO(3) rotation of the sphere about an equatorial axis set by the plate's offset angle; if the condition fails, the output cannot be represented on the original HOPS, so the transformation is non-holonomic. From this the paper derives the concept of topological index spaces, each containing an HOPS of order $\eta$ and the q-plates of charge $q=\eta$, with ordinary polarization optics as the $\eta=q=0$ space.
Load-bearing premise
The derivation assumes the beam is a pure two-mode superposition with a single OAM index and that the q-plate acts only through its pointwise $2\times2$ Jones matrix, with no radial or other spatial mode coupling; if real beams or plates carry such extra structure, the exact same-sphere conclusion can fail.
Editorial extensions
If this is right
- In a q-plate device, matching the plate charge to the beam's Poincaré–Hopf index is necessary and sufficient for the beam to keep its topological signature throughout the transformation.
- The standard Poincaré sphere is the topological index zero space: homogeneous elements ($q=0$) acting on homogeneously polarized beams ($\eta=0$) are holonomic, while using them on structured beams is non-holonomic.
- Every integer $\eta$ defines a separate topological index space with its own HOPS and matching q-plates, so circuits such as qQ–qH–qQ are holonomic in each space exactly when built with $q=\eta$.
- The previously known polarization singularity index inversion by a half-wave plate is a non-holonomic transformation: a $q=0$ element sends an $\eta=1$ beam to an $\eta=-1$ sphere rather than along the original one.
- The holonomy condition gives a design rule for topologically protected structured-light channels, since only matching $\eta$ and $q$ keep the constraint $(S_1^{(\eta)})^2+(S_2^{(\eta)})^2+(S_3^{(\eta)})^2=(S_0^{(\eta)})^2$ satisfied.
Reading between the lines
- Reading $\ell=\eta=q$ as a selection rule suggests that a q-plate produces pure intra-sphere evolution only for a single OAM channel; superpositions of different $\ell$ values will undergo inter-modal coupling, a consequence the paper does not spell out.
- The derivation's modal-completeness assumption (a pointwise $2\times2$ Jones matrix, no radial dependence) implies a testable generalization: beams with nonzero radial order $p$ may require an extended condition involving $p$ before the exact same-sphere conclusion holds.
- Non-holonomic transformations, treated here as the failure of holonomy, could be deliberately used as topological index switches—elements that convert a beam between HOPS orders in a controlled way, such as $\eta=1$ to $\eta=-1$ with $q=0$.
- A direct experimental check is to measure the higher-order Stokes parameters of the output: for $q\neq\eta$ the output should fail the sphere constraint at the input beam's order, whereas for $q=\eta$ the constraint should hold for every retardance value.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces the notion of holonomically constrained polarization transformations on higher-order Poincaré spheres (HOPS) and derives a condition for a q-plate to transform a HOPS beam while keeping it on the same sphere. The central result is Eq. (14): the OAM index ℓ of the HOPS basis, the Poincaré-Hopf index η of the beam, and the charge q of the q-plate must all be equal. The authors then define 'topological index spaces' as pairs of a HOPS of order η and q-plates of charge q=η, and illustrate holonomic and non-holonomic transformations in several figures.
Significance. The derivation of Eq. (14) is algebraically sound and provides a clear, simple criterion for designing q-plate transformations that conserve the topological character of a beam. The paper is useful as a unifying framework, and the examples in Figs. 3–5 are instructive. However, the underlying physics is not new: the fact that a q-plate of charge q rotates states on a HOPS of order q is known, and the condition follows from azimuthal phase matching. The main contribution is the organizing terminology of 'holonomic' transformations and 'topological index spaces,' which may be useful for pedagogy but does not appear to yield new predictions. The modal-completeness concern about radial mode coupling is not load-bearing, because a thin q-plate acts pointwise and a HOPS beam with a common radial envelope remains on the same HOPS when q=ℓ. The manuscript is clearly written overall, but several presentational issues need attention.
minor comments (6)
- [Section 4, Eqs. (6) and (11)-(13)] The Jones matrix in Eq. (6) is presented without specifying the basis; it is the linear-basis matrix, but it is applied to states written in the circular basis. The authors should state this explicitly and either provide the circular-basis form of the matrix or show the basis transformation used to obtain Eqs. (12) and (13). This is essential for the reader to follow the central derivation.
- [Section 4, Eq. (16)] The definitions of s and c have phase signs that are inconsistent with Eq. (12); when substituted into Eq. (15), the expression for ψ1 does not match Eq. (12) under the condition q=ℓ. For example, the first term in Eq. (12) carries e^{-i(2α0-γ)} whereas Eq. (16) gives e^{i(2α0-γ)}. The authors should check the signs of the exponentials in Eq. (16) and ensure that Eq. (15) reproduces Eqs. (12) and (13).
- [Section 4, paragraph on discrete steps] The text writes A_j = M(δ, α) A_{j-1} and then introduces Δδ = δ/N; this is ambiguous. It should be stated that each step applies the Jones matrix for a retarder of retardance Δδ, i.e., A_j = M(Δδ, α) A_{j-1}.
- [Section 6] The definition of 'topological index space' is essentially a restatement of the condition η = q; the authors should clarify what additional organizational or predictive power this concept provides beyond the condition itself.
- [Throughout] The symbol for the OAM index is written both as ℓ (in equations) and as 'l' (in Eq. (14) and some text). Use a single notation for consistency.
- [Section 2 and 4] The manuscript does not state the assumed radial structure of the beam. For a HOPS beam, the basis states typically share a common radial envelope; if the input has different radial profiles in the two circular components, the condition for remaining on the same HOPS may be more subtle. A brief statement of the modal assumptions would clarify the scope.
Circularity Check
No significant circularity: Eq. (14) follows from the stated Jones-model calculation, and the only self-citations are minor and not load-bearing.
full rationale
The central claim, Eq. (14), is derived rather than assumed. In Section 4, the input HOPS beam is defined by Eq. (2) and the q-plate by the Jones matrix in Eq. (6). Applying that matrix yields Eqs. (12) and (13), where the output components contain OAM factors e^{-i(2q-l)phi} and e^{-i l phi}. The condition for the output to retain the single-order HOPS form of Eq. (2) is then read off as 2q-l = l, i.e. q = l. Since the basis states of Eq. (2) have PH index eta = l by the paper's stated identification, the triple equality l = eta = q contains the identity l = eta and reduces to the nontrivial derived condition q = l. This is a valid within-model derivation, not a fit or a definitional equivalence. The main idealization, that the q-plate acts as a 2x2 Jones matrix on the two OAM basis states without radial-mode coupling, is a scope limitation rather than circularity; with a common radial envelope and a pointwise-acting plate, the equal-charge condition is algebraically sufficient. The paper does cite its own prior work (Ref. [24]) for the SU(2)/SO(3) rotation picture, but that statement is also supported by the independent Ref. [23] and is not needed to establish Eq. (14). The 'topological index space' introduced in Section 6 is defined as the pair (sphere of order eta, plate of charge q) with eta = q, so the statement that infinitely many such spaces exist is a definitional consequence; however, the paper presents this as a concept introduction rather than as an independent empirical prediction. No load-bearing circular step was found.
Assumptions & free parameters
assumptions (4)
- domain assumption The q-plate matrix of Eq. (6), written in the linear basis, is assumed to act on the circular basis components |R⟩,|L⟩ in Eqs. (11)-(13) without an explicit basis transformation.
- domain assumption The HOPS beam is fully described by the two-mode superposition of Eq. (2); radial modes, other spatial degrees of freedom, and depolarization are ignored.
- domain assumption For HOPS beams of the form (2), the Poincaré-Hopf index equals the OAM charge ℓ (η = ℓ).
- ad hoc to paper The PS constraint S1^2+S2^2+S3^2 = S0^2 defines a 'holonomic' system in polarization optics, borrowing the mechanical notion of holonomic constraint.
invented entities (1)
-
Topological index space
Cite this review
Pith. "Pith review of Holonomically constrained polarization transformation." pith.science (2026). https://pith.science/paper/3ZWTND2N
@misc{pith2026250703462,
author = {Pith},
title = {Pith review of: Holonomically constrained polarization transformation},
year = {2026},
howpublished = {\url{https://pith.science/paper/3ZWTND2N}},
note = {Machine review of arXiv:2507.03462}
}
read the original abstract
In polarization optics, various topological constructs, namely Poincar\'e spheres of different orders, are used to represent uniform and structured polarization distributions. Similarly, there are also structured polarization optical elements. Consequently, various topological indices are defined for structured beams and elements. These topological aspects naturally allow us to holonomy-based categorization of polarization transformations. In this paper, we introduce holonomically constrained polarization transformations on topological constructs. The conditions on the topological parameters of the beams, elements and spheres to achieve holonomically constrained polarization transformations are discussed in detail. A topological treatment of holonomic systems is needed, since abundant polarization transformations reported in the literature on beams with structured polarization are nonholonomic. It is prudent to carry out this study since it can not be assumed that switching between holonomic and nonholonomic transformations does not affect the system output. It is shown here how these concepts enable us to introduce topological index spaces for polarization optics.
Figures
Figures from the paper (2 more)
Reference graph
Works this paper leans on
-
[24]
M. Umar, P. Senthilkumaran, SU(2) polarization evolution on higher-order poincar´ e sphere by using general q-plate, arXiv preprint: 2506.20286 (2025) ,doi: 10.48550/arXiv.2506.20286
-
[1]
Goldstein, Classical mechanics, Pearson Education India, 2011
H. Goldstein, Classical mechanics, Pearson Education India, 2011
work page 2011
-
[2]
D. Goldstein, D. H. Goldstein, Polarized Light, revised and expanded, Vol. 83, CRC press, 2003, doi: 10.1201/b10436
-
[3]
Ruchi, P. Senthilkumaran, S. K. Pal, Phase singularities to polarization singularities, In- ternational Journal of Optics 2020 (1) (2020) 2812803, doi: 10.1155/2020/2812803
-
[4]
M. J. Padgett, J. Courtial, Poincar´ e-sphere equivalent for light beams containing orbital angular momentum, Optics letters 24 (7) (1999) 430–432, doi: 10.1364/OL.24.000430
-
[5]
G. Milione, H. Sztul, D. Nolan, R. Alfano, Higher-order poincar´ e sphere, stokes parameters, and the angular momentum of light, Physical review letters 107 (5) (2011) 053601, doi: 10.1103/PhysRevLett.107.053601
-
[6]
X. Yi, Y. Liu, X. Ling, X. Zhou, Y. Ke, H. Luo, S. Wen, D. Fan, Hybrid-order poincar´ e sphere, Physical Review A 91 (2) (2015) 023801, doi: 10.1103/PhysRevA.91.023801
-
[7]
G. Arora, Ruchi, P. Senthilkumaran, Hybrid order poincar´ e spheres for stokes singularities, Optics Letters 45 (18) (2020) 5136–5139, doi: 10.1364/OL.400946
Show all 25 references
-
[8]
Zhan, Cylindrical vector beams: from mathematical concepts to applications, Advances in Optics and Photonics 1 (1) (2009) 1–57, doi: 10.1364/AOP.1.000001
Q. Zhan, Cylindrical vector beams: from mathematical concepts to applications, Advances in Optics and Photonics 1 (1) (2009) 1–57, doi: 10.1364/AOP.1.000001
2009 doi
-
[9]
S. K. Pal, Ruchi, P. Senthilkumaran, Polarization singularity index sign inversion by a half-wave plate, Applied Optics 56 (22) (2017) 6181–6190, doi: 10.1364/AO.56.006181
2017 doi
-
[10]
Y. Yan, G. Xie, M. P. Lavery, H. Huang, N. Ahmed, C. Bao, Y. Ren, Y. Cao, L. Li, Z. Zhao, et al., High-capacity millimetre-wave communications with orbital angular momentum multiplexing, Nature communications 5 (1) (2014) 4876, doi: 10.1038/ncomms5876
2014 doi
-
[11]
Wang, J.-Y
J. Wang, J.-Y. Yang, I. M. Fazal, N. Ahmed, Y. Yan, H. Huang, Y. Ren, Y. Yue, S. Dolinar, M. Tur, et al., Terabit free-space data transmission employing orbital angular momentum multiplexing, Nature photonics 6 (7) (2012) 488–496, doi: 10.1038/nphoton.2012.138
2012 doi
-
[12]
Yu, Potentials and challenges of using orbital angular momentum communications in optical interconnects, Optics Express 23 (3) (2015) 3075–3087, doi: 10.1364/OE.23.003075
S. Yu, Potentials and challenges of using orbital angular momentum communications in optical interconnects, Optics Express 23 (3) (2015) 3075–3087, doi: 10.1364/OE.23.003075
2015 doi
-
[13]
Hajnal, Singularities in the transverse fields of electromagnetic waves
J. Hajnal, Singularities in the transverse fields of electromagnetic waves. i. theory, Proceed- ings of the Royal Society of London. A. Mathematical and Physical Sciences 414 (1847) (1987) 433–446, doi: 10.1098/rspa.1987.0153
1987
-
[14]
Freund, Polarization singularity indices in gaussian laser beams, Optics communications 201 (4-6) (2002) 251–270, doi: 10.1016/S0030-4018(01)01725-4
I. Freund, Polarization singularity indices in gaussian laser beams, Optics communications 201 (4-6) (2002) 251–270, doi: 10.1016/S0030-4018(01)01725-4
2002 doi
-
[15]
Dennis, Polarization singularities in paraxial vector fields: morphology and statistics, Optics Communications 213 (4-6) (2002) 201–221, doi: 10.1016/S0030-4018(02)02088-6
M. Dennis, Polarization singularities in paraxial vector fields: morphology and statistics, Optics Communications 213 (4-6) (2002) 201–221, doi: 10.1016/S0030-4018(02)02088-6
2002 doi
-
[16]
Bansal, P
S. Bansal, P. Senthilkumaran, Stokes polarimetry with poincar´ e–hopf index beams, Optics and Lasers in Engineering 160 (2023) 107295, doi: 10.1016/j.optlaseng.2022.107295. 11
2023
-
[17]
Bansal, P
S. Bansal, P. Senthilkumaran, Experimental determination of poincar´ e beam coordi- nates on a hybrid order poincar´ e sphere, Physica Scripta 98 (12) (2023) 125505, doi: 10.1088/1402-4896/ad0338
2023 doi
-
[18]
Marrucci, C
L. Marrucci, C. Manzo, D. Paparo, Optical spin-to-orbital angular momentum conversion in inhomogeneous anisotropic media, Physical review letters 96 (16) (2006) 163905, doi: 10.1103/PhysRevLett.96.163905
2006 doi
-
[19]
Machavariani, Y
G. Machavariani, Y. Lumer, I. Moshe, A. Meir, S. Jackel, Spatially-variable retardation plate for efficient generation of radially-and azimuthally-polarized beams, Optics Commu- nications 281 (4) (2008) 732–738, doi: 10.1016/j.optcom.2007.10.088
2008 doi
-
[20]
Marrucci, The q-plate and its future, Journal of Nanophotonics 7 (1) (2013) 078598– 078598, doi: 10.1117/1.JNP.7.078598
L. Marrucci, The q-plate and its future, Journal of Nanophotonics 7 (1) (2013) 078598– 078598, doi: 10.1117/1.JNP.7.078598
2013 doi
-
[21]
Rubano, F
A. Rubano, F. Cardano, B. Piccirillo, L. Marrucci, Q-plate technology: a progress review, Journal of the optical society of america B 36 (5) (2019) D70–D87, doi: 10.1364/JOSAB.36.000D70
2019 doi
-
[22]
Gregg, M
P. Gregg, M. Mirhosseini, A. Rubano, L. Marrucci, E. Karimi, R. Boyd, S. Ramachandran, Q-plates as higher order polarization controllers for orbital angular momentum modes of fiber, Optics letters 40 (8) (2015) 1729–1732, doi: 10.1364/OL.40.001729
2015 doi
-
[23]
J. Yao, X. Jiang, J. Zhang, A. Wang, Q. Zhan, Quantitative detection of high-order poincar´ e sphere beams and their polarization evolution, Optics Express 31 (2) (2023) 3017–3027, doi: 10.1364/OE.479386
2023 doi
-
[25]
Simon, N
R. Simon, N. Mukunda, Minimal three-component SU(2) gadget for polarization optics, Physics Letters A 143 (4-5) (1990) 165–169, doi: 10.1016/0375-9601(90)90732-4. 12
1990 doi
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.