arxiv: 2605.11498 · v1 · submitted 2026-05-12 · ⚛️ physics.optics

Recognition: no theorem link

Non-orthogonal Transformations of Structured Light Using Ellipticity-Dependent Ince-Gaussian Modes

Carmelo Rosales-Guzm\'an, Dayver Daza-Salgado, Edgar Medina-Segura

Pith reviewed 2026-05-13 01:41 UTC · model grok-4.3

classification ⚛️ physics.optics

keywords Ince-Gaussian modesstructured lightmode transformationellipticityparaxial wave equationspatial light modulatorsnon-orthogonal basesmodal decomposition

0 comments

The pith

An explicit finite analytical expression now converts Ince-Gaussian modes between bases of arbitrary ellipticity.

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

Ince-Gaussian modes solve the paraxial wave equation and depend on a continuous ellipticity parameter that interpolates between Laguerre-Gaussian and Hermite-Gaussian families. Modes sharing the same ellipticity form an orthogonal basis, yet modes drawn from different ellipticities are non-orthogonal and previously lacked any closed-form conversion rule. The paper supplies the first finite analytical transformation that maps any mode from one ellipticity to another without numerical integration. This turns ellipticity into a controllable experimental knob for reshaping structured light. The mapping is realized with spatial light modulators that perform direct, ellipticity-resolved modal decomposition.

Core claim

The central result is an explicit finite analytical expression that transforms an Ince-Gaussian mode belonging to one ellipticity parameter into the corresponding mode of any other ellipticity. The expression is obtained directly from the paraxial wave equation and permits exact, non-approximate conversion between non-orthogonal representations. The same formula is implemented experimentally on spatial light modulators to decompose input beams into their ellipticity components.

What carries the argument

The ellipticity-dependent Ince-Gaussian modes together with the derived finite analytical transformation operator that maps any mode at one ellipticity value to its counterpart at a different value.

If this is right

Mode conversion between Laguerre-Gaussian and Hermite-Gaussian limits becomes direct and analytic for any intermediate ellipticity.
Ellipticity functions as an additional controllable degree of freedom for encoding or processing high-dimensional optical information.
Experimental modal decomposition can now resolve beams according to their ellipticity parameter using only spatial light modulators.
New strategies for structured-light engineering become available without requiring numerical optimization at each ellipticity.

Where Pith is reading between the lines

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

The transformation may simplify real-time switching between orthogonal and non-orthogonal mode sets in adaptive optics setups.
If the mapping preserves coherence properties, it could enable new forms of high-dimensional quantum state manipulation in structured light.
The analytic form invites extension to other continuous families of paraxial solutions or to mildly non-paraxial regimes.

Load-bearing premise

An explicit finite analytical transformation between Ince-Gaussian bases of different ellipticities exists and remains valid under the paraxial approximation.

What would settle it

An experiment that applies the derived transformation to a known input mode at one ellipticity, records the output intensity and phase at a second ellipticity, and compares them with the analytically predicted pattern; quantitative agreement would support the claim while systematic mismatch would refute it.

Figures

Figures reproduced from arXiv: 2605.11498 by Carmelo Rosales-Guzm\'an, Dayver Daza-Salgado, Edgar Medina-Segura.

**Figure 1.** Figure 1: illustrates the decomposition of representative LG, IG, and HG modes into an IG basis of fixed ellipticity. For a given 0.343 0.900 −0.265 −0.106 0.970 0.216 −0.308 0.702 0.641 LG1,3 o IG5,3 o,4 HG2,3 IG5,1 o,2 IG5,3 o,2 IG5,5 o,2 Ince-Gauss basis mode Target mode 0 Intensity 1 0 Phase 2𝜋 𝑐5,1 𝑐5,3 𝑐5,5 [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗

**Figure 2.** Figure 2: Ellipticity-dependent modal coefficients cp,m describing the overlap between a fixed input mode IGo,ε1 5,3 and IG basis modes IGo,ε2 5,m as a function of ε2. Solid lines: analytic prediction from Eq. (3). Symbols: numerical simulations. The peak at ε1 = ε2 indicates recovery of orthogonality, while deviations from this point lead to continuous redistribution of modal weight across modes. This behavior de… view at source ↗

**Figure 3.** Figure 3: Experimental implementation of ellipticity-resolved modal decomposition. A target IG mode is generated using complex-amplitude modulation on SLM 1 and projected onto IG basis modes of different ellipticity using SLM 2. The overlap coefficients are obtained from on-axis intensities in the Fourier plane. This setup enables direct measurement of inter-basis coefficients cp.m2 and experimental validation of t… view at source ↗

**Figure 4.** Figure 4: Experimental measurement and reconstruction of modal coefficients. (a) Representative computer-generated holograms (top), simulated (middle), and measured (bottom) far-field intensity distributions used to extract modal amplitudes and phases; the red marker indicates the on-axis measurement point. (b) Reconstruction of the input mode from measured coefficients, showing intensity and phase. The agreement… view at source ↗

read the original abstract

The Ince-Gaussian modes form a complete set of solutions to the paraxial wave equation parametrized by an ellipticity parameter {\epsilon}, enabling a continuous transition between Laguerre-Gaussian and Hermite-Gaussian modes While each fixed {\epsilon} defines an orthogonal basis, modes associated with different ellipticities are not mutually orthogonal, and no explicit transformation between such bases has been reported. Here, we derive the first explicit finite analytical expression to transformation between Ince-Gaussian bases of arbitrary ellipticity, enabling direct and experimentally accessible mapping between non-orthogonal structured-light representations. We further demonstrate an experimental implementation using spatial light modulators to perform ellipticity-resolved modal decomposition. This framework introduces ellipticity as a controllable degree of freedom for structured light engineering, enabling new strategiesfor mode conversion, encoding, and high-dimensional optical information processing.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper supplies the first explicit finite analytical transformation between Ince-Gaussian bases at different ellipticities, obtained from overlap integrals and shown in an SLM experiment.

read the letter

The main thing to know is that the authors derive a closed-form mapping between Ince-Gaussian modes when the ellipticity parameter differs. They evaluate the overlap integrals directly, exploit the finite-sum form of the Ince polynomials, and keep the result as a finite combination of elementary and special functions with no extra approximations beyond the usual paraxial limit. That step turns the known non-orthogonality into something usable rather than just a statement of principle. The experimental part then applies the mapping with spatial light modulators to perform ellipticity-resolved modal decomposition, which confirms the expressions can be implemented without hidden fitting or numerical inversion. Both pieces are straightforward and address a gap left by earlier fixed-ellipticity work. The soft spots are limited. The entire treatment stays inside the paraxial regime, so it does not extend to tightly focused beams or full vector fields. The experimental demonstration uses standard SLM methods and shows feasibility more than it introduces new hardware capabilities; a few more quantitative checks, such as direct numerical integration of the overlaps for selected cases, would strengthen that the finite sums match the integrals in practice. The literature framing is reasonable and the claim of being first appears supported by the cited references. This is for researchers in structured light, beam shaping, and modal decomposition who need a controllable ellipticity degree of freedom for mode conversion or encoding. It is not broad physics, but it supplies a concrete analytical tool where only numerical or approximate routes existed before. The work is grounded enough to deserve peer review; the central derivation is traceable and the experiment backs the claim, so an editor should send it out rather than desk-reject.

Referee Report

0 major / 4 minor

Summary. The paper derives the first explicit finite analytical expression for the transformation between Ince-Gaussian (IG) mode bases with arbitrary ellipticity parameters ε. These modes solve the paraxial wave equation and form orthogonal bases at fixed ε but are non-orthogonal across different ε values; the transformation is obtained by direct evaluation of overlap integrals exploiting the finite-sum structure of Ince polynomials. The work also presents an experimental demonstration of ellipticity-resolved modal decomposition using spatial light modulators (SLMs) and positions ellipticity as a controllable degree of freedom for structured-light applications including mode conversion and high-dimensional encoding.

Significance. If the central analytic claim holds, the result supplies a missing closed-form bridge between non-orthogonal IG representations, allowing direct, experimentally accessible mappings without additional approximations beyond the paraxial regime. This introduces ellipticity as a tunable parameter that continuously connects Laguerre-Gaussian and Hermite-Gaussian limits, with potential utility in optical information processing, adaptive mode conversion, and encoding schemes. The combination of an explicit finite-sum formula with SLM-based validation is a concrete strength that supports reproducibility and practical adoption.

minor comments (4)

Abstract, line 3: 'expression to transformation' is grammatically incomplete; suggest 'expression for the transformation' or 'transformation expression'.
Abstract, final sentence: 'strategiesfor' is missing a space; correct to 'strategies for'.
The manuscript should include a brief statement in the introduction or methods clarifying the numerical truncation criterion used when evaluating the finite sums for the overlap integrals, even if the expressions are formally closed.
Figure captions and experimental section: ensure that the SLM phase patterns and decomposition fidelity metrics are cross-referenced to the specific analytic mapping formula being tested.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and detailed summary of our work, the assessment of its significance, and the recommendation for minor revision. We are pleased that the explicit finite transformation formula and its experimental validation with SLMs were viewed as strengths supporting reproducibility.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper obtains the explicit finite analytical transformation by direct evaluation of overlap integrals between Ince-Gaussian modes of differing ellipticity, exploiting the finite-sum structure of Ince polynomials together with the common paraxial wave equation. The resulting closed-form expressions (finite sums of elementary and special functions) are presented as a new derivation rather than a re-expression of fitted quantities, self-cited uniqueness theorems, or ansatzes imported from prior work by the same authors. The experimental SLM decomposition is described as a direct application of the derived mapping and does not feed back into the analytic claim. No load-bearing step reduces by construction to the paper's own inputs; the central result remains independent of the specific fitted values or self-citations used elsewhere.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only; no explicit free parameters, axioms, or invented entities are stated beyond the standard paraxial wave equation framework already known for Ince-Gaussian modes.

axioms (1)

standard math Ince-Gaussian modes are complete solutions to the paraxial wave equation
Invoked in the first sentence of the abstract as the foundation for the mode family.

pith-pipeline@v0.9.0 · 5453 in / 1243 out tokens · 22324 ms · 2026-05-13T01:41:45.310822+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages

[1]

Rubinsztein-Dunlop, A

H. Rubinsztein-Dunlop, A. Forbes, M. V . Berry ,et al., J. Opt. 19, 013001 (2017)

work page 2017
[2]

Shen and C

Y . Shen and C. Rosales-Guzmán, Laser & Photonics Rev. 16, 2100533 (2022)

work page 2022
[3]

Forbes, Laser & Photonics Rev

A. Forbes, Laser & Photonics Rev. 13, 1900140 (2019)

work page 2019
[4]

Rosales-Guzmán and V

C. Rosales-Guzmán and V . Rodríguez-Fajardo, Appl. Phys. Lett. 125 (2024)

work page 2024
[5]

Y ang, Y

Y . Y ang, Y . Ren, M. Chen, et al., Adv. Photonics 3 (2021)

work page 2021
[6]

Ndagano, I

B. Ndagano, I. Nape, M. A. Cox, et al., J. Light. T echnol.36, 292 (2017)

work page 2017
[7]

A. E. Siegman, J. Opt. society Am. 63, 1093 (1973)

work page 1973
[8]

M. A. Bandres and J. C. Gutiérrez-Vega, JOSA A 21, 873 (2004)

work page 2004
[9]

Schulze, D

C. Schulze, D. Naidoo, D. Flamm, et al., Opt. express 20, 19714 (2012)

work page 2012
[10]

Sroor, C

H. Sroor, C. Moodley , V . Rodríguez-Fajardo,et al., J. Opt. Soc. Am. A 38, 1443 (2021)

work page 2021
[11]

W. N. Plick, M. Krenn, R. Fickler, et al., Phys. Rev. A 87, 033806 (2013)

work page 2013
[12]

E. G. Abramochkin, V . V . Kotlyar, and A. A. Kovalev, J. Opt. Soc. Am. A 42, 780 (2025)

work page 2025
[13]

Dirnböck, S.-S

S. Dirnböck, S.-S. B. Lee, F . B. Kugler,et al., Phys. Rev. Res. 6, 043228 (2024)

work page 2024
[14]

Forbes, A

A. Forbes, A. Dudley , and M. McLaren, Adv. Opt. Photonics 8, 200 (2016)

work page 2016
[15]

Pinnell, I

J. Pinnell, I. Nape, B. Sephton, et al. , J. Opt. Soc. Am. A 37, C146 (2020)

work page 2020
[16]

Zhao, J.-Y

B. Zhao, J.-Y . Wu, X.-Y . Y u,et al., Laser & Photonics Rev. 20, e01902 (2026). 𝑇5,1 CGH Theory Experiment (a) 𝑇5,3 𝑇cos 𝑇sin = +𝑐5,3 +𝑐5,5𝑐5,1 IG5,3 o,4 IG5,1 o,2 IG5,3 o,2 IG5,5 o,2 (b) 0 2𝜋 0 1 PhaseIntensity Fig. 4. Experimental measurement and reconstruction of modal coefficients. (a) Representative computer-generated holograms (top), simulated (mid...

work page 2026
[17]

Rosales-Guzmán and A

C. Rosales-Guzmán and A. Forbes, Structured light with spatial light modulators (SPIE Press, 2024)

work page 2024
[18]

Arrizón, U

V . Arrizón, U. Ruiz, R. Carrada, and L. A. González, J. Opt. Soc. Am. A 24, 3500 (2007)

work page 2007