One Jones Framework for Polarization Endpoints and Phase Paths


Series 04 — finale. This article unifies the device, state-space, and measurement viewpoints developed in the preceding three tutorials.

The first three articles answered three progressively harder questions. Two independently programmable retardances can generate arbitrary spatial polarization from a known fixed input. Polarization reachability does not necessarily imply reachability of the full complex vectorial state. Finally, two polarization evolutions with the same endpoints can acquire different geometric phases because their paths differ.

The missing final step is to place all three results inside one mathematical object. That object is neither a Stokes vector alone nor an isolated phase map. It is the complete complex Jones field

𝐄(x,y)=[Ex(x,y)Ey(x,y)].\mathbf E(x,y)= \begin{bmatrix} E_x(x,y)\\ E_y(x,y) \end{bmatrix}.

The result in one paragraph

The Stokes vector specifies the polarization ray represented by a point on the Poincaré sphere, but it removes the common phase of the Jones vector. Coherent interferometry recovers that missing phase relative to a reference field. When a control parameter varies continuously, the Pancharatnam–Mukunda–Simon construction separates the endpoint phase from the local phase accumulated along the path, yielding a gauge-invariant geometric contribution. A defensible SLM experiment must therefore retain the complex fields(Ex) (E_x) and (Ey)(E_y), reconstruct the Stokes trajectory, and measure a coherent phase reference. None of these three records can replace the other two.

1. Start with the full Jones device chain

For a nondepolarizing optical system, write every device in the physical order encountered by the beam:

𝐄out(λ)=𝐉N(λ)𝐉2(λ)𝐉1(λ)𝐄in.\mathbf E_{\mathrm{out}}(\lambda) =\mathbf J_N(\lambda)\cdots \mathbf J_2(\lambda)\mathbf J_1(\lambda) \mathbf E_{\mathrm{in}}.

The parameter (λ)(\lambda) may be an SLM grayscale value, a calibrated retardance, a wave-plate angle, propagation distance, a transverse coordinate, or an experimental scan index.

The output can be written as

𝐄out=I,eiχ|p,p|p=1.\mathbf E_{\mathrm{out}} =\sqrt I,e^{i\chi}|p\rangle, \qquad \langle p|p\rangle=1.

This expression contains three distinct records:

  • (I)(I): optical intensity;
  • (|p)(|p\rangle): the normalized polarization state, defined only up to a common phase;
  • (chi)(chi): a common Jones phase defined relative to a chosen gauge or, experimentally, to a coherent reference.

Figure 1. Preserve the complex fields before normalization. The same (Ex,Ey)(E_x,E_y) pair produces both the Stokes parameters and a phase relative to a coherent reference.

Saving only intensity discards relative and common phase. Saving only Stokes parameters discards common phase. Conversely, recording one interferometric projection does not by itself identify the polarization path or distinguish a path-dependent phase from ordinary optical-path drift.

2. Why the Poincaré sphere is missing one phase coordinate

For any normalized Jones state,

|p=eiβ|p𝐒(p)=𝐒(p).|p’\rangle=e^{i\beta}|p\rangle \quad\Longrightarrow\quad \mathbf S(p’)=\mathbf S(p).

A point on the Poincaré sphere is therefore not one Jones vector. It is an equivalence class of vectors related by a common phase.

Geometrically, the sphere (S2)(S^2) is the base space of polarization rays, while a (U(1))(U(1)) phase fiber is attached to every point. The full normalized Jones state belongs to the corresponding spinor space. This fiber-bundle viewpoint provides a common origin for optical geometric phases and makes clear why polarimetry alone cannot recover them as coherent phases.

The practical translation is simple:

  • the Stokes record answers where the polarization arrived;
  • the interferometric record answers where the Jones vector lies on the phase fiber;
  • the path record explains how the route contributes a geometric phase.

3. The (U(2))(U(2)) factorization—and its limitation

For a lossless nondepolarizing device, the Jones matrix is unitary and may be factored as

𝐉=eiα𝐔,det𝐔=1,\mathbf J=e^{i\alpha}\mathbf U, \qquad \det\mathbf U=1,

with

α=12argdet𝐉(modπ).\alpha=\frac12\arg\det\mathbf J \quad (\mathrm{mod}\;\pi).

The scalar factor belongs to (U(1))(U(1)), whereas (𝐔SU(2))(\mathbf U\in SU(2)) produces the associated rotation of the Stokes vector. The phase is defined modulo (pi)(pi) because the replacements (αα+π)(\alpha\mapsto\alpha+\pi) and (𝐔𝐔)(\mathbf U\mapsto-\mathbf U) leave (𝐉)(\mathbf J) unchanged.

This is a structural factorization of a device matrix. It is not automatically the physical decomposition

total phase=dynamic phase+geometric phase.\text{total phase}=\text{dynamic phase}+\text{geometric phase}.

The (SU(2))(SU(2)) operator can contribute a state-dependent Pancharatnam phase when it acts on a particular input. A dynamic/geometric split additionally requires a specified continuous evolution or a calibrated generator. Reading only (12argdet𝐉)( \frac12\arg\det\mathbf J) is therefore insufficient to identify every phase observed in an interferometer.

4. Six phase quantities that must remain separate

Figure 2. These quantities may appear in the same optical system, but they describe different operations or observables.

QuantityDefinition or roleHow it is obtained
Common Jones phaseA factor multiplying both Jones componentsCoherent interference with a reference
Relative retardancePhase difference between two polarization components or eigenmodesPolarimetry or calibrated device model
Projection phaseArgument of (a)(\langle a)(𝐄)(\mathbf E\rangle) after an analyzer
Pancharatnam phase(argpa)(arg\langle p_a)(pb)(p_b\rangle) for nonorthogonal states
Dynamic phaseIntegral of a specified evolution generator expectationContinuous model or independent calibration
Geometric phaseGauge-invariant remainder determined by the pathKinematic integral, Bargmann product, or solid angle

This series uses

S3=2Im(ExEy).S_3=2\operatorname{Im}(E_xE_y^*).

If

δ=argEyargEx,\delta=\arg E_y-\arg E_x,

then the convention-consistent relation is

δ=atan2(S3,S2).\delta=\operatorname{atan2}(-S_3,S_2).

Changing the (S3)(S_3) convention, viewing direction, or sphere orientation changes several signs together. It is not valid to change one geometric-phase sign without updating the complete Jones–Stokes convention.

5. A complete SLM–QWP calculation

Take 45-degree linear input,

𝐄in=12[11],\mathbf E_{\mathrm{in}} =\frac1{\sqrt2} \begin{bmatrix}1\\1\end{bmatrix},

followed by an ideal SLM that modulates only the (x)(x) component,

𝐉SLM(ϕ)=[eiϕ001].\mathbf J_{\mathrm{SLM}}(\phi) =\begin{bmatrix}e^{i\phi}&0\\0&1\end{bmatrix}.

The SLM matrix itself can be written as

𝐉SLM=eiϕ/2[eiϕ/200eiϕ/2].\mathbf J_{\mathrm{SLM}} =e^{i\phi/2} \begin{bmatrix} e^{i\phi/2}&0\\ 0&e^{-i\phi/2} \end{bmatrix}.

Now place a quarter-wave plate with its fast axis at 45 degrees after the SLM. Using zero phase on the fast axis and a (+pi/2)(+pi/2) slow-axis retardance,

𝐉QWP(45)=12[1+i1i1i1+i].\mathbf J_{\mathrm{QWP}}(45^\circ) =\frac12 \begin{bmatrix} 1+i&1-i\\ 1-i&1+i \end{bmatrix}.

The output becomes

𝐄out=eiϕ/2[cos(π4+ϕ2)sin(π4+ϕ2)].\mathbf E_{\mathrm{out}} =e^{i\phi/2} \begin{bmatrix} \cos\left(\dfrac\pi4+\dfrac\phi2\right)\\[5pt] \sin\left(\dfrac\pi4+\dfrac\phi2\right) \end{bmatrix}.

The bracketed vector is real, so the ideal output is linearly polarized with azimuth

θout=45+ϕ2(mod180).\theta_{\mathrm{out}} =45^\circ+\frac{\phi}{2} \pmod{180^\circ}.

Its normalized Stokes trajectory is

𝐬(ϕ)=(sinϕ,cosϕ,0),\mathbf s(\phi)=(-\sin\phi,\cos\phi,0),

which lies on the equator of the Poincaré sphere.

Figure 3. One SLM control parameter changes the polarization azimuth, a common factor in the chosen Jones representation, and the phase of a selected analyzer projection.

For a 45-degree analyzer (|D=(1,1)T/2)(|D\rangle=(1,1)^T/\sqrt2),

D|𝐄out=eiϕ/2cosϕ2.\langle D|\mathbf E_{\mathrm{out}}\rangle =e^{i\phi/2}\cos\frac\phi2.

At (phi=pi)(phi=pi), the projected amplitude vanishes. Its phase is undefined at that point and the principal value exhibits a (pi)(pi) jump across it. This is first a projection zero and phase singularity. It must not be relabeled as a geometric phase without a path-based calculation.

As (phi)(phi) runs from (0)(0) to (2pi)(2pi), the Stokes vector completes the equator. With the convention and orientation fixed in this series, the enclosed solid angle is (2pi)(2pi), giving a closed-path geometric phase of (pi)(pi) modulo (2pi)(2pi). The common factor, spinor sign, local phase accumulation, and final interferometric phase must still be combined consistently.

6. The kinematic dynamic/geometric split

For a smooth normalized path (|p(λ))(|p(\lambda)\rangle) whose endpoints are nonorthogonal, define the endpoint Pancharatnam phase as

γP=argp(0)|p(T).\gamma_{\mathrm P} =\arg\langle p(0)|p(T)\rangle.

The open-path geometric phase is

γg=argp(0)|p(T)Im0Tp|pλdλ.\gamma_g =\arg\langle p(0)|p(T)\rangle -\operatorname{Im}\int_0^T \left\langle p\middle|\frac{\partial p}{\partial\lambda}\right\rangle d\lambda.

The endpoint term and the integral are individually gauge-dependent, but their combination is invariant under

|p(λ)eiβ(λ)|p(λ).|p(\lambda)\rangle\mapsto e^{i\beta(\lambda)}|p(\lambda)\rangle.

If the evolution obeys

i|pλ=𝐇(λ)|p,i\frac{\partial|p\rangle}{\partial\lambda} =\mathbf H(\lambda)|p\rangle,

then

γdyn=0Tp|𝐇|pdλ=Im0Tp|λpdλ,\gamma_{\mathrm{dyn}} =-\int_0^T\langle p|\mathbf H|p\rangle d\lambda =\operatorname{Im}\int_0^T\langle p|\partial_\lambda p\rangle d\lambda,

and

γg=γPγdyn.\gamma_g=\gamma_{\mathrm P}-\gamma_{\mathrm{dyn}}.

This point is experimentally important: a sequence of endpoint Jones matrices does not, by itself, determine a unique dynamic phase. The internal continuous realization or an independently calibrated device model must be supplied.

For a discrete SLM or wave-plate sequence, three numerical routes should be cross-checked:

  1. neighboring nonzero Jones overlaps;
  2. Bargmann products for triangles or polygons;
  3. a signed solid angle obtained by triangulating the Stokes path.

Orthogonal consecutive states require segmentation or an auxiliary reference because the argument of a zero overlap is undefined.

7. A decisive same-endpoint experiment

Choose horizontal polarization (H)(H) as the initial state and 45-degree linear polarization (D)(D) as the final state. Compare:

  • Path A: the direct shortest geodesic from(H)to(D) (H) to (D);
  • Path B: a piecewise geodesic from (H)(H) through a circular pole (R)(R), then to (D)(D).

Figure 4. The final Stokes vectors are identical, but the closed loop formed by the two routes subtends a nonzero solid angle. The figure displays the magnitude; the sign depends on the specified vertex ordering and orientation.

The spherical triangle has solid-angle magnitude

|Ω|=π2,|\Omega|=\frac\pi2,

and therefore

|Δγg|=|Ω|2=π4.|\Delta\gamma_g|=\frac{|\Omega|}{2}=\frac\pi4.

An ideal Stokes polarimeter reports the same endpoint for the two routes. A phase-stable interferometer referenced to the same field reports a (pi/4)(pi/4) fringe-phase difference. Reversing the traversal reverses the geometric-phase sign.

This experiment provides the cleanest operational meaning of the series finale: identical polarization endpoints do not imply identical Jones states.

The path can be synthesized with a universal (SU(2))(SU(2)) wave-plate gadget such as QWP–HWP–QWP, or with calibrated SLM interactions. To isolate the geometric contribution, choose geodesic or parallel-transport segments when possible and independently measure residual dynamic and propagation phases.

8. Polarization-diverse coherent measurement

A single analyzer projection can vanish and create a phase blind spot. A stronger architecture separates the two Jones components and measures each against a matched reference.

Figure 5. Proposed validation architecture. It is an authorial extension based on the cited theory, not an experiment already reported in the two SLM papers discussed earlier in the series.

The system contains:

  1. a single-frequency spatially filtered source;
  2. a splitter that creates signal and phase-stable reference arms;
  3. a calibrated SLM–wave-plate or multi-pass SLM path generator;
  4. a Stokes-analysis branch measuring (H,V,D,A,R,L)(H,V,D,A,R,L);
  5. a PBS that separates (Ex)and(Ey)(E_x) and (E_y) for coherent detection;
  6. phase-shifting or off-axis holographic reconstruction.

For four phase steps (η=0,π/2,π,3π/2)(\eta=0,\pi/2,\pi,3\pi/2), the complex cross term in polarization channel (qx,y)(q\in{x,y}) is

Cq=14[Iq(0)Iq(π)iIq(π2)iIq(3π2)].C_q=\frac14\left[ I_q(0)-I_q(\pi) iI_q\left(\frac\pi2\right) -iI_q\left(\frac{3\pi}{2}\right) \right].

After calibration against the reference amplitudes, (Cx)and(Cy)(C_x) and (C_y) recover the two complex signal components. The same dataset then yields intensity, relative retardance, Stokes parameters, common phase relative to the reference, and path-dependent phase diagnostics.

Required controls include:

  • masking pixels with near-zero signal or reference amplitude;
  • phase unwrapping only inside connected valid regions;
  • reference-arm drift correction;
  • SLM grayscale-to-retardance calibration;
  • polarization matching in both interferometric channels;
  • checks for diattenuation, zero-order leakage, crosstalk, and registration error.

9. Incorporating the framework into SLM optimization

Rather than hiding every discrepancy inside one scalar objective, record at least four terms:

=wSStokes+wχcommon phase+wAamplitude+wRpath.\mathcal L =w_S\mathcal L_{\mathrm{Stokes}} +w_\chi\mathcal L_{\mathrm{common\ phase}} +w_A\mathcal L_{\mathrm{amplitude}} +w_R\mathcal R_{\mathrm{path}}.

Here (path)(\mathcal R_{\mathrm{path}}) is a diagnostic or regularizer for dynamic and geometric contributions. It need not always be a control target. If the application only requires the final full Jones field, the amplitude, polarization, and common-phase losses already specify that endpoint. A geometric-phase term becomes useful when different control routes must be compared, when path sensitivity is itself functional, or when phase robustness under path reversal is being tested.

The fourth orthogonal interaction in the 2020 theoretical model directly restores missing common-phase reachability. A polarization path may contribute geometric phase, but it is not the sole reason the fourth interaction works. Calling the full added capability “pure geometric-phase control” would be inaccurate.

10. Where the Jones framework stops

The treatment above assumes a monochromatic or narrowband, coherent, fully polarized, nondepolarizing field that can be represented locally by a deterministic (2×2)(2\times2) Jones matrix.

If an element has loss and diattenuation but remains nondepolarizing, use a polar decomposition such as

𝐉=𝐇𝐔,\mathbf J=\mathbf H\mathbf U,

where (𝐇)(\mathbf H) is positive Hermitian and (𝐔)(\mathbf U) is unitary. The path on the Poincaré sphere then need not be a pure rotation, and nonunitary geometric-phase definitions require additional care.

If the system truly depolarizes, averages over fluctuating scattering paths, or contains partially coherent mixtures, a single Jones vector is insufficient. The appropriate description moves to a coherency matrix, Mueller matrix, or mixed-state geometric phase. Pure-state solid-angle formulas must not be applied uncritically to those data.

11. Closing the four-article series

Figure 6. The series progresses from fixed-input polarization synthesis to full Jones-state reachability, path-dependent phase, and joint coherent measurement.

  1. Article 01: two independent retardances provide polarization reachability for a known input;
  2. Article 02: polarization reachability is not full Jones-state reachability;
  3. Article 03: the route can matter even when polarization endpoints agree;
  4. Article 04: the same (Ex,Ey)(E_x,E_y) record unifies calculation, control, and measurement.

The entire series can be condensed into one statement:

The Stokes vector tells us where polarization arrived, coherent interference tells us the remaining common Jones phase, and geometric phase records how the state reached that endpoint.

References

  1. F. Kenny et al., “Complete polarization and phase control for focus-shaping in high-NA microscopy,” Optics Express 20, 14015–14029 (2012). doi:10.1364/OE.20.014015
  2. Q. Hu et al., “Arbitrary vectorial state conversion using liquid crystal spatial light modulators,” Optics Communications 459, 125028 (2020). doi:10.1016/j.optcom.2019.125028
  3. S. Pancharatnam, “Generalized theory of interference, and its applications. Part I,” Proceedings of the Indian Academy of Sciences A 44, 247–262 (1956). doi:10.1007/BF03046050
  4. J. Samuel and R. Bhandari, “General Setting for Berry’s Phase,” Physical Review Letters 60, 2339–2342 (1988). doi:10.1103/PhysRevLett.60.2339
  5. R. Simon and N. Mukunda, “Minimal three-component SU(2) gadget for polarization optics,” Physics Letters A 143, 165–169 (1990). doi:10.1016/0375-9601(90)90732-4
  6. N. Mukunda and R. Simon, “Quantum Kinematic Approach to the Geometric Phase. I. General Formalism,” Annals of Physics 228, 205–268 (1993). doi:10.1006/aphy.1993.1093
  7. C. Cisowski, J. B. Götte, and S. Franke-Arnold, “Geometric phases of light: Insights from fiber bundle theory,” Reviews of Modern Physics 94, 031001 (2022). doi:10.1103/RevModPhys.94.031001
  8. D. Kestner and A. Kostinski, “Simple formula for the Jones product and the Pancharatnam connection in optics,” Physical Review A 109, 023517 (2024). doi:10.1103/PhysRevA.109.023517

Series navigation

  • 01 — Two SLMs for spatial polarization and common-wavefront control
  • 02 — Three versus four SLM interactions: polarization reachability is not full-state reachability
  • 03 — Same endpoints, different paths: Pancharatnam and geometric phase
  • 04 — One Jones framework for polarization endpoints and phase paths

The offline interactive companion is located at tools/jones-stokes-phase-unified-en.html.

发表评论

您的邮箱地址不会被公开。 必填项已用 * 标注

滚动至顶部