Two theorems on the outer product of input and output Stokes vectors for deterministic optical systems
Pith reviewed 2026-05-25 12:10 UTC · model grok-4.3
The pith
Two theorems relate the outer product of measured input and output Stokes vectors to complex vectors carrying phase for deterministic optical systems.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For deterministic optical systems, there exist two relations between the outer product of experimentally measured real input-output Stokes vectors and complex vectors (matrices) that represent the polarization state and phase of totally polarized output light, using the Z matrix that is analogous to the Jones matrix and satisfies M = Z Z* with the Mueller-Jones matrix.
What carries the argument
The Z matrix, a 4x4 complex matrix that transforms Stokes vectors into complex vectors containing phase information and obeys M = Z Z* with the Mueller-Jones matrix.
If this is right
- Phase information becomes recoverable from standard real Stokes vector measurements without direct Jones vector access.
- The relations apply only when output light remains totally polarized.
- The Z matrix provides a bridge between real Mueller calculus and complex phase-inclusive representations.
- Experimental checks of these outer-product relations can confirm the deterministic character of a system.
Where Pith is reading between the lines
- These relations might simplify bench-top polarization experiments by reducing the need for interferometric phase measurements.
- The theorems could extend to testing how close a real system comes to perfect determinism.
- Similar outer-product identities might appear in other linear transformations that mix real and complex descriptions.
Load-bearing premise
The optical system must be deterministic with no depolarization so that the Z matrix exists and satisfies M = Z Z*.
What would settle it
A measurement on a deterministic system with totally polarized output where the outer product of the real Stokes vectors fails to match the predicted relation to the complex phase-carrying vector.
read the original abstract
$2\times2$ complex Jones matrix transforms two dimensional complex Jones vectors into complex Jones vectors and accounts for phase introduced by deterministic optical systems. On the other hand, Mueller-Jones matrix transforms four parameter real Stokes vectors into four parameter real Stokes vectors that contain no information about phase. Previously, a $4\times4$ complex matrix ($\mathbf{Z}$ matrix) was introduced. $\mathbf{Z}$ matrix is analogous to the Jones matrix and it is also akin to the Mueller-Jones matrix by the relation $\mathbf{M}=\mathbf{Z}\mathbf{Z^*}$. It was shown that $\mathbf{Z}$ matrix transforms Stokes vectors (Stokes matrices) into complex vectors (complex matrices) that contain relevant phases besides the other information. In this note it is shown that, for deterministic optical systems, there exist two relations between outer product of experimentally measured real input-output Stokes vectors and complex vectors (matrices) that represent the polarization state and phase of totally polarized output light.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims that for deterministic optical systems, there exist two relations between the outer product of experimentally measured real input-output Stokes vectors and complex vectors (matrices) that represent the polarization state and phase of totally polarized output light. This builds on the previously introduced 4x4 complex Z matrix, which is analogous to the Jones matrix and satisfies M = Z Z* with the Mueller-Jones matrix M, allowing Z to transform Stokes vectors into complex quantities containing phase information.
Significance. If the two theorems hold, they establish explicit connections between measurable real Stokes vectors and complex representations that include phase for non-depolarizing systems. This could aid experimental polarization analysis by linking the Mueller formalism directly to Jones-like complex vectors. The work extends the prior Z-matrix construction without introducing new free parameters or ad-hoc entities.
minor comments (1)
- The abstract states the relations but does not display the explicit forms of the two theorems or their derivations; without the full text sections containing the proofs, the claims cannot be verified for algebraic gaps or post-hoc choices in the Z-matrix construction.
Simulated Author's Rebuttal
We thank the referee for their review and accurate summary of our manuscript on the two theorems relating outer products of input-output Stokes vectors to complex representations via the Z matrix for deterministic systems. The significance assessment is appreciated. No specific major comments were provided in the report.
Circularity Check
No significant circularity; derivation is self-contained
full rationale
The paper references prior introduction of the Z matrix (with M = Z Z*) by the same authors and states that it transforms Stokes vectors into complex vectors containing phase information. It then presents two new theorems on outer-product relations between measured input-output Stokes vectors and those complex representations, holding specifically for deterministic systems with totally polarized output. No quoted step shows the new relations reducing to the Z definition by construction, no fitted parameters renamed as predictions, and the self-citation is not load-bearing for the central theorems themselves, which constitute independent mathematical content derived from the Z properties. The structure is a standard extension rather than a closed loop.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption M = Z Z* relates the Mueller-Jones matrix to the Z matrix
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.