Pith. sign in

REVIEW 3 major objections 6 minor 23 references

For two successive Lorentz boosts, the accompanying rotation (the Wigner angle) is determined by a single rational formula, and three derivations—vector, matrix, and spinor—all arrive at it.

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 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · deepseek-v4-flash

2026-08-01 06:53 UTC pith:N2AWLKR6

load-bearing objection A correct, useful review of the Wigner angle in three formalisms; not new physics, a bit light on proving its structural lemmas, but worth refereeing for a pedagogical journal. the 3 major comments →

arxiv 2607.21724 v1 pith:N2AWLKR6 submitted 2026-07-23 physics.optics physics.class-phquant-ph

How to calculate the Wigner angle

C. J. McKinstrie , M. V. Kozlov This is my paper
classification physics.optics physics.class-phquant-ph PACS 03.30.+p
keywords Wigner angleLorentz boost compositionSO(1,2) groupSU(1,1) grouplocal isomorphismThomas precessionspecial relativityspinor
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.

Combining two non-parallel Lorentz boosts does not give another boost; it gives a boost followed by a rotation, and the rotation angle is the Wigner angle. This paper's central claim is that the Wigner angle for boosts with momenta u1, u2 and relative direction angle θ21 is given by a compact closed formula, sin θw = (u2u1 + (γ2-1)(γ1-1) cos θ21) sin θ21 / (γ2γ1 + 1 + u2u1 cos θ21), with an equivalent tangent form. The paper shows this result three ways: by vector/tensor analysis of the product operator, by reading the angle off a Schmidt-like decomposition of the 3×3 Lorentz matrix, and by an SU(1,1) spinor calculation that reproduces the same angle after halving the group parameters. A sympathetic reader should care because the paper turns a calculation often felt to be messy into a transparent matrix read-off, and it makes the equivalence of the three standard formalisms explicit.

Core claim

The central discovery is that every Lorentz transformation in 1+2 dimensions factors as R(θ2) B(γ) R^t(θ1), a rotation of the output axes, a standard boost in the x direction, and a rotation of the input axes; the Wigner angle is just the difference θ2 - θ1, which can be read directly from the matrix entries via (γ+1) cos θ21 = l11 + l22 and (γ+1) sin θ21 = l21 - l12. Applying this decomposition to the product of two boosts yields tan θw = (u2u1 + δ2δ1 c21) s21 / [γ2 + γ1 + (u2u1 + δ2δ1 c21) c21], while the vector formalism gives the equivalent sine formula. The same calculation in SU(1,1), where every indefinite-unitary matrix factors as P(φ2) B(μ) P†(φ1), reproduces the formula with double

What carries the argument

The load-bearing object is the Schmidt-like decomposition of a Lorentz matrix, L(γ, θ1, θ2) = R(θ2) B(γ) R^t(θ1), where B(γ) is a boost along x and R(θ) is a rotation in the xy plane; together with its SU(1,1) analogue M = P(φ2) B(μ) P†(φ1), where P(φ) is a differential phase shift. This decomposition reduces the Wigner angle to the difference of two angles that can be extracted from the matrix by arithmetic on four entries, and it converts the product of two boosts into a single matrix whose off-diagonal terms are the numerator and denominator of the Wigner tangent. The additional piece is the local isomorphism between SU(1,1) and SO(1,2), whose generators differ by a factor of 2; halving t

Load-bearing premise

The argument rests on the theorem, cited from the authors' earlier work and standard references rather than proved here, that every SO(1,2) Lorentz matrix admits the factorization L = R(θ2) B(γ) R^t(θ1) (and its SU(1,1) analogue with the factor-2 normalization); if that decomposition fails for some legitimate Lorentz transformation, the matrix read-off of the Wigner angle collapses.

What would settle it

Compute the product of two specific boosts, say γ1 = γ2 = 2 (u1 = u2 = √3) with θ21 = π/3, numerically; extract θw from the product matrix using tan θw = (l21 - l12)/(l11 + l22) and compare with Eq. (49). A more direct falsifier: generate a random Lorentz matrix by exponentiating a linear combination of boost and rotation generators, then attempt to fit it to the form R(θ2) B(γ) R^t(θ1); if a valid matrix cannot be fit, the decomposition theorem is false.

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

If this is right

  • The Wigner angle depends only on the relative direction angle θ21 between the two boost momenta, not on their absolute directions; rotating both boosts leaves it unchanged.
  • The same decomposition gives immediate product rules for arbitrary combinations of boosts and rotations: the composite energy is γ2γ1 + u2u1 cos Δ, and the Wigner angle of the product is the sum of the intermediate difference angle and the external rotation angles (Eqs. 97–101).
  • In three space dimensions, the vector derivation automatically generalizes: any two nonparallel boosts define a plane, and the same formulas apply once the rotation tensor includes the term (1 - cos θ) n n· needed to preserve parallel components.
  • The SU(1,1) spinor route reproduces the SO(1,2) result exactly after the parameter halving ζ→ζ/2, φ→φ/2, θ→θ/2, confirming the local isomorphism and giving a cross-check for computations in either group.
  • For the composition of boosts specifically, the spinor method is no simpler than the direct matrix method; the direct methods are straightforward once the decomposition is known.

Where Pith is reading between the lines

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

  • A natural extension is to use the same read-off formula as a numerical recipe in 1+3 dimensions: any 4×4 Lorentz matrix can be decomposed as a rotation, boost, rotation by the block form of Eq. (37), and the analogue of Eqs. (42)–(43) should yield the Wigner angle without solving trigonometric equations.
  • The rational structure of the formula, especially the τ = u2u1/((γ2-1)(γ1-1)) parametrization, hints that the Wigner angle is a kind of hyperbolic angle-addition remainder; making that geometric picture explicit might give a shortcut to Thomas precession derivations in accelerating frames.
  • Because SU(1,1) describes four-wave mixing in optics, the spinor derivation connects the relativity result to the phase shift experienced by signal and idler waves; this suggests an optical experiment—measuring the Wigner phase in a parametric amplifier—could test the same algebra in a different physical setting.
  • The appendix's product rules for arbitrary transformations suggest a compact 'Schmidt-parameter calculus' for composing any sequence of boosts and rotations, which could be implemented symbolically and would be a convenient tool for applications such as particle tracking in accelerators.

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 / 6 minor

Summary. This paper treats the composition of two Lorentz boosts in (2+1)-dimensional Minkowski space and presents three derivations of the Wigner angle: a vector/tensor derivation based on explicit boost tensors and cross/dot products of the output momenta; an SO(1,2) matrix derivation using the decomposition L = R(θ2)B(γ)R^t(θ1) and reading the angle from matrix entries; and an SU(1,1) spinor derivation using 2×2 indefinite unitary matrices. The central results are Eqs. (24) and (25) for the sine and cosine of the Wigner angle, Eq. (49) for the tangent from the matrix product, and Eq. (77) for the SU(1,1) tangent, shown to reduce to Eq. (49) under the stated halving of ζ, φ, and θ. An appendix extends the composition law to two arbitrary boost-plus-rotation transformations.

Significance. The formulas are standard, and their consistency across the three formalisms is precisely what the paper is for. I checked the key algebra: Eq. (20) follows from Eqs. (7) and (9); the simplification to Eq. (24) is correct; Eq. (49) is consistent with the product matrix (46); and Eq. (77) reduces to Eq. (49) under the stated replacement ζ→ζ/2, φ→φ/2, θ→θ/2. The paper is therefore a useful comparative reference for the vector, matrix, and spinor routes to the Wigner angle. It is not a discovery paper, but it is a clean review with explicit computations and no fitted parameters. Its main weaknesses are the delegation of two load-bearing structural lemmas to the authors' own prior work and an imprecise statement of the domain of the SO(1,2) decomposition.

major comments (3)
  1. [Sec. 3, Eqs. (38)–(39)] The paper defines SO(1,2) as all real 3×3 matrices satisfying L^T S L = S and det L = 1, and then states that every such Lorentz matrix has the decomposition L = R(θ2)B(γ)R^t(θ1). This is not true for the full set with that definition: the matrix M = diag(-1, 1, -1) satisfies both conditions but has L00 = -1, whereas every matrix of the form R(θ2)B(γ)R^t(θ1) has L00 = γ ≥ 1. The decomposition holds on the identity component (the orthochronous proper Lorentz group), which is the physically relevant domain. Since the read-off formulas (40)–(44) and all later uses rely on this decomposition, the domain must be stated precisely and the theorem proved or cited for that domain.
  2. [Secs. 2 and 3, Eqs. (14), (19), (37)–(39)] Two load-bearing structural steps are delegated rather than proved here: the equivalence of the product-tensor forms (14) and (19), and the statement that every Lorentz matrix has the decomposition underlying Eq. (39). Both are cited to references [8] and [9], one of which is a submitted manuscript. I verified the later algebra, and the results match the external references [7, 17, 18, 21, 22], so I am not claiming the formulas are wrong. However, the manuscript is not self-contained at exactly the points on which its presentation rests. Please supply proofs of these lemmas, or state them explicitly as assumptions with complete citations to accessible published work.
  3. [Sec. 4, after Eq. (81)] The local isomorphism between SU(1,1) and SO(1,2) is argued by comparing structure constants and then asserting the parameter halving ζ→ζ/2, φ→φ/2, θ→θ/2. The matching of Eqs. (74)–(77) to Eqs. (47)–(49) after this substitution is good evidence, but the paper does not give the explicit covering map or state which SO(1,2) matrix corresponds to a given SU(1,1) matrix, nor why the Wigner phase in SU(1,1) is twice the Wigner angle. Since the equivalence of the spinor and matrix results is a central claim, the map (or a precise reference to one) should be added, or the section should be presented explicitly as a review of a known isomorphism.
minor comments (6)
  1. [Eq. (2)] Typo: 'perperdicular' should be 'perpendicular'.
  2. [Eq. (10)] Typos: 'specifed' and 'consituents' should be 'specified' and 'constituents'.
  3. [Eq. (77)] Typo: 'trigmonmetric' should be 'trigonometric'.
  4. [Reference [9]] Typo: 'isomomorphism' should be 'isomorphism'.
  5. [Sec. 4, near Eq. (68)] The explanatory phrases 'd stands for double and is the letter that follows c' and 't is the letter that follows s' are slightly opaque. A direct statement such as 'd = cos(2φ21), t = sin(2φ21)' would be clearer.
  6. [Eq. (91)] The symbol θw4 is used for the final Wigner phase but is not defined at first appearance. Please define it explicitly, e.g. θw4 = θ4 - φ4.

Circularity Check

0 steps flagged

No significant circularity: the three Wigner-angle derivations are explicit, algebraically checked, and benchmarked against external formulas; self-citations support standard lemmas without importing the target result.

full rationale

The paper's central claim (Eqs. (24), (49) and (77) give the same Wigner angle) is derived by explicit algebra, not by fitting or by definition. In Sec. 2, sin(theta_w) is obtained from the cross-product identity (Eq. (20)) using the boost-composition formulas (Eqs. (7) and (9)), and the factorization leading to Eq. (24) is displayed. In Sec. 3, the product matrix B2' B1' is computed directly (Eq. (46)), and the angle is read off the standard decomposition (Eq. (38)) to obtain Eq. (49), which is then checked against Eq. (24). In Sec. 4, SU(1,1) matrices are multiplied explicitly (Eq. (64)), and Eqs. (68) and (77) follow by algebra; the replacement zeta -> zeta/2, phi -> phi/2, theta -> theta/2 is explained in terms of generator normalizations. The only load-bearing premises invoked from prior work are (i) the SO(1,2) Schmidt-like decomposition L = R(theta2) B(gamma) R^t(theta1) (Eqs. (37)-(39), cited to [8,9]) and (ii) the SU(1,1)-SO(1,2) local isomorphism and related Sp(2) equivalences (cited to [9,15-18,23]). These are standard theorems whose assumptions do not include the Wigner-angle result, and the final formulas are also compared with independent external references ([7], [17,18], [21,22]). The self-citations are therefore verification gaps rather than a circular reduction: no fitted parameter is relabeled as a prediction, and no definition is loaded with the conclusion. The manuscript is not fully self-contained, but its derivation chain is not circular.

Axiom & Free-Parameter Ledger

0 free parameters · 4 axioms · 0 invented entities

No free parameters are fitted, and no new entities are introduced. The central derivation imports three structural facts as background: the universal Lorentz decomposition (cited to [8,9]), the boost-followed-by-rotation structure used as an ansatz in Sec. 2, and the SU(1,1)≅SO(1,2) local isomorphism with its normalization (cited to [15-18] and demonstrated via generators). These are the main axioms the reader must accept on faith or check externally.

axioms (4)
  • domain assumption Every real 3x3 Lorentz matrix in SO(1,2) has the Schmidt-like decomposition L = R(θ2) B(γ) R^t(θ1).
    Used in Sec. 3 (Eqs. 37-39) to read off input/output angles and the Wigner angle; the paper cites its own refs [8,9] for the proof rather than deriving it here.
  • domain assumption Composition of two boosts is a boost followed by a rotation.
    Adopted as an ansatz in Sec. 2 (Eq. 15) and justified by the decomposition above; it is the physical structure underlying the Wigner angle.
  • domain assumption SU(1,1) is locally isomorphic to SO(1,2), with generator coefficients related by a factor of 2.
    Used in Sec. 4 to translate SU(1,1) product formulas into SO(1,2) formulas (Eqs. 74-77); cited to [15-18] and demonstrated via generator commutation, but not proved in full.
  • standard math Standard Lorentz boost transformation laws (Eqs. 1-4) and the group properties of SO(1,2)/SU(1,1).
    Background taken from textbooks [2,3]; not proved in the paper.

pith-pipeline@v1.3.0-alltime-deepseek · 19695 in / 21116 out tokens · 186690 ms · 2026-08-01T06:53:23.140604+00:00 · methodology

0 comments
read the original abstract

Lorentz transformations in time and two space dimensions consist of boosts and rotations, and combinations thereof. In general, the combination of two boosts is not another boost: It is a boost followed by a rotation. The rotation angle is called the Wigner angle. Although it is straightforward to determine the energy and direction of the combined boost, it is difficult to determine the Wigner angle. In this article, the vector, matrix and spinor derivations of formulas for the Wigner angle are reviewed, and the underlying mathematics and physics are discussed briefly. Although the derivations are different, the results they produce are equivalent, as they should be. Like many physics problems, if one looks at the problem in the right way, it is not difficult to solve.

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 canonical work pages

  1. [1]

    Einstein, H

    English translations of key papers by A. Einstein, H. A. Lorentz, H. Minkowski and H. Weyl are contained in the compendiumPrinciple of Relativity(Dover, 1923)

    1923

  2. [2]

    Goldstein, C

    H. Goldstein, C. Poole and J. Safko,Classical Dynamics, 3rd Ed.(Addison-Wesley, 2002). See Chap. 7

    2002

  3. [3]

    J. D. Jackson,Classical Electrodynamics, 3rd Ed.(Wiley, 1999). See Chap. 11

    1999

  4. [4]

    L. D. Landau and E. M. Lifshitz,Classical Theory of Fields, 4th Ed.(Pergamon, 2013). See Chap. 1

    2013

  5. [5]

    On unitary representations of the inhomogeneous Lorentz group,

    E. P. Wigner, “On unitary representations of the inhomogeneous Lorentz group,” Ann. Math.40, 149–204 (1939)

    1939

  6. [6]

    Vector Lorentz transformations,

    J. T. Cushing, “Vector Lorentz transformations,” Am. J. Phys.35, 858–862 (1967). Factors of 1/v 2 are missing from the last terms in Eqs. (16a), (27) and (29b)

    1967

  7. [7]

    Wigner’s angle revisited,

    A. Ben-Menahem, “Wigner’s angle revisited,” Am. J. Phys.53, 62–66 (1985). See Eqs. (10) and (13)

    1985

  8. [8]

    Lorentz transformations in time and two space dimensions,

    C. J. McKinstrie and M. V. Kozlov, “Lorentz transformations in time and two space dimensions,” submitted for publication (arXiv.2508.1702). The general form of a Lorentz matrix is derived in Sec. 3.5, and combinations of boosts and arbitrary transformations are discussed in Sec. 3.9. The vector formalism for Lorentz transformations is described in Apps. B and C

    arXiv

  9. [9]

    Exponentiation and decomposition of common operators 1: Classical applications,

    C. J. McKinstrie and M. V. Kozlov, “Exponentiation and decomposition of common operators 1: Classical applications,” J. Mod. Opt.73, 754–786 (2026), doi.org/10.1080/ 09500340.2026.2628812. The isomomorphism between Sp(2) and SU(1,1), and the local isomorphism between Sp(2) and SO(1,2), are discussed in Secs. 6.1 and 6.2, respectively. The local isomorphis...

    arXiv 2026

  10. [10]

    C. A. Horn and C. R. Johnson,Matrix Analysis, 2nd Ed.(Cambridge, 2013). 31

    2013

  11. [11]

    PMD fundamentals: Polarization mode dispersion in optical fibers,

    J. P. Gordon and H. Kogelnik, “PMD fundamentals: Polarization mode dispersion in optical fibers,” Proc. Nat. Acad. Sci.97, 4541–4550 (2000)

    2000

  12. [12]

    D. H. Goldstein,Polarized Light, 3rd Ed.(CRC Press, 2011)

    2011

  13. [13]

    Chipman, W

    R. Chipman, W. S. T Lam and G. Young,Polarized Light and Optical Systems(CRC Press, 2018)

    2018

  14. [14]

    A. H. J. de Ruiter, C. J. Damaren and J. R. Forbes,Spacecraft Dynamics and Control: An Introduction(Wiley, 2013). See pp. 27 – 32

    2013

  15. [15]

    Penrose and W

    R. Penrose and W. Rindler,Spinors and Space–Time, Vol. 1(Cambridge, 1984)

    1984

  16. [16]

    C. W. Misner, K. S. Thorne and J. A. Wheeler,Gravitation(Princeton, 2017)

    2017

  17. [17]

    Application of double numbers in the representation of the Lorentz transformations,

    G. F. Torres del Castillo, “Application of double numbers in the representation of the Lorentz transformations,” Rev. Mex. Fis.20, 010204 (2023) and references therein. See Eqs. (24) and (25)

    2023

  18. [18]

    Application of the SU(1, 1) spinors in the study of the Lorentz transformations,

    G. F. Torres del Castillo, “Application of the SU(1, 1) spinors in the study of the Lorentz transformations,” Rev. Mex. Fis.20, 040701 (2023). See Eq. (22)

    2023

  19. [19]

    R. W. Boyd,Nonlinear Optics, 4th Ed.(Elsevier, 2020)

    2020

  20. [20]

    M. E. Marhic,Fiber Optical Parametric Amplifiers, Oscillators and Related Devices (Cambridge, 2008)

    2008

  21. [21]

    Rotation associated with the product of two Lorentz transformations,

    C. B. van Wyk, “Rotation associated with the product of two Lorentz transformations,” Am. J. Phys.52, 853–854 (1984). See Eq. (6)

    1984

  22. [22]

    Relativistic velocity space, Wigner rotation and Thomas precession,

    J. A Rhodes and M. D. Semon, “Relativistic velocity space, Wigner rotation and Thomas precession,” Am. J. Phys.72, 943–960 (2004). See Eq. (145)

    2004

  23. [23]

    Introduction to the symplectic group Sp(2),

    C. J. McKinstrie and M. V. Kozlov, “Introduction to the symplectic group Sp(2),” Can. J. Phys.104, 1–14 (2026), doi.org/10.1139/cjp-2025-0267. Compositions of dilations and arbitrary transformations are discussed in Sec. 4 and App. C, respectively. 32

    work page doi:10.1139/cjp-2025-0267 2026