pith. sign in

arxiv: 2605.18440 · v1 · pith:BYWEIABJnew · submitted 2026-05-18 · 🪐 quant-ph

Geometrical derivation of Wigner's angle for arbitrary Lorentz transformations of massless particles

Isabella Cerutti , Petra F. Scudo This is my paper

Pith reviewed 2026-05-20 10:56 UTC · model grok-4.3

classification 🪐 quant-ph
keywords Wigner's anglelittle groupmassless particlesLorentz transformationsspherical trigonometryphotonsquantum optics
0
0 comments X

The pith

Lorentz transformations of massless particles reduce to a spherical triangle whose sides give Wigner's angle via standard trigonometry.

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

The paper supplies an explicit derivation of the full Wigner little-group matrix for photons under any combination of boosts and rotations. It shows that the composition of the three successive little-group elements traces the sides and angles of a spherical triangle on the unit sphere. Classical spherical-trigonometry identities then deliver a closed algebraic expression for the single rotation angle that remains after the composition. A reader would care because the same angle appears in the phase acquired by polarized light or in the spin of relativistic photons, so the formula removes the need to multiply 2-by-2 matrices for every new boost direction.

Core claim

We provide a complete analytical derivation of Wigner's little group matrix and a closed formula for the calculation of Wigner's angle for arbitrary Lorentz transformations. Our derivation highlights the geometrical content of the sequence of little group transformations leading to Wigner's matrix and links it to classical theorems in spherical trigonometry.

What carries the argument

The one-to-one correspondence between the three little-group rotations for a massless particle and the three sides of a spherical triangle on the momentum sphere, so that the spherical law of cosines directly supplies the net rotation angle.

If this is right

  • Any Lorentz transformation of a photon is fully characterized by the three angles of one spherical triangle.
  • The Wigner angle is given by the spherical law of cosines applied to the triangle whose sides are the rapidity and the angle between boost and momentum.
  • The same construction supplies the explicit matrix elements of the little-group representation without intermediate matrix products.

Where Pith is reading between the lines

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

  • The same spherical-triangle construction may generalize to the little groups of massive particles if the appropriate hyperbolic identities replace the spherical ones.
  • Numerical codes that track photon polarization through arbitrary boosts could replace matrix multiplication by direct evaluation of the spherical cosine formula.
  • The geometric picture suggests that Wigner's angle is a Berry-phase-like quantity accumulated along a closed path on the momentum sphere.

Load-bearing premise

The successive little-group transformations for a massless particle can be identified with the sides and angles of a spherical triangle for any Lorentz transformation.

What would settle it

Compute the Wigner angle from the closed spherical-trigonometry formula for a boost perpendicular to the photon momentum and compare the numerical value with the off-diagonal entry of the explicit 2-by-2 little-group matrix obtained by matrix multiplication.

Figures

Figures reproduced from arXiv: 2605.18440 by Isabella Cerutti, Petra F. Scudo.

Figure 1
Figure 1. Figure 1: FIG. 1: Representation of the rotations on a unit sphere [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2: Wigner angle ( [PITH_FULL_IMAGE:figures/full_fig_p005_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3: Wigner angle ( [PITH_FULL_IMAGE:figures/full_fig_p005_3.png] view at source ↗
read the original abstract

This note summarizes the physics and mathematics of Lorentz transformations for massless particles, specifically for photons. We provide a complete analytical derivation of Wigner's little group matrix and a closed formula for the calculation of Wigner's angle for arbitrary Lorentz transformations. Our derivation highlights the geometrical content of the sequence of little group transformations leading to Wigner's matrix and links it to classical theorems in spherical trigonometry.

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.

Referee Report

2 major / 2 minor

Summary. The manuscript presents a geometrical derivation of Wigner's little group matrix for massless particles under arbitrary Lorentz transformations. It claims to link the composition of little-group elements (rotations and null rotations) to the sides and angles of a spherical triangle formed by initial, intermediate, and final null directions, yielding a closed analytical formula for Wigner's angle via classical spherical trigonometry theorems.

Significance. If the mapping is shown to hold without restriction on the boost class, the result would supply an intuitive geometrical tool for computing Wigner rotations of photons, complementing standard algebraic approaches in relativistic quantum mechanics and potentially simplifying calculations involving the little group SO(2) for null four-vectors.

major comments (2)
  1. [Introduction / abstract claim] The abstract and introduction assert a complete derivation valid for arbitrary Lorentz transformations, yet the skeptic's concern remains unaddressed: the identification of the little-group sequence with spherical-trigonometry relations must be shown to commute with the standard boost-plus-little-group decomposition independently of the choice of intermediate frame. Without an explicit check for a general boost (not just pure rotations), the closed formula cannot be asserted for the full Lorentz group action on null directions.
  2. [Geometrical derivation section] The derivation appears to map the sequence of little-group transformations directly onto spherical triangle elements, but no verification is provided that this remains valid when the intermediate null direction is reached via a non-trivial boost rather than a rotation. This is load-bearing for the central claim of arbitrariness.
minor comments (2)
  1. Notation for the little-group generators and the spherical excess angle should be introduced with explicit definitions before the main formula is stated.
  2. A concrete numerical example (e.g., a specific boost direction and rapidity) comparing the geometrical formula to the standard matrix product would strengthen readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful review and constructive comments on our manuscript. We address each major comment below, providing clarifications on the generality of the derivation while incorporating revisions to strengthen the presentation.

read point-by-point responses

  1. Referee: [Introduction / abstract claim] The abstract and introduction assert a complete derivation valid for arbitrary Lorentz transformations, yet the skeptic's concern remains unaddressed: the identification of the little-group sequence with spherical-trigonometry relations must be shown to commute with the standard boost-plus-little-group decomposition independently of the choice of intermediate frame. Without an explicit check for a general boost (not just pure rotations), the closed formula cannot be asserted for the full Lorentz group action on null directions.

    Authors: The derivation establishes the spherical triangle from the three null directions (initial, intermediate, final) that any Lorentz transformation maps between, with little-group elements (rotations and null rotations) corresponding directly to the triangle's sides and angles via the geometry of the celestial sphere. This construction is independent of the specific path or decomposition used to reach the intermediate direction, as the overall map on the null vector is fixed and the little-group factor is uniquely determined by the direction change. The commutation with the standard boost-plus-little-group form follows because both yield the same total transformation. To address the request for explicit verification, we have added a new appendix containing an analytic check for a general boost (not a pure rotation) that confirms the spherical-trigonometry relations hold and commute with the decomposition. revision: yes

  2. Referee: [Geometrical derivation section] The derivation appears to map the sequence of little-group transformations directly onto spherical triangle elements, but no verification is provided that this remains valid when the intermediate null direction is reached via a non-trivial boost rather than a rotation. This is load-bearing for the central claim of arbitrariness.

    Authors: The mapping relies only on the intrinsic geometry of the three null directions on the sphere and the standard identification of little-group actions with spherical displacements; it does not depend on whether the intermediate direction is obtained by a rotation or a boost, because any Lorentz transformation that takes the initial null vector to the intermediate one is equivalent up to a little-group element. We have revised the geometrical derivation section to include an explicit verification step for a boost-generated intermediate direction, demonstrating that the side-angle relations and the resulting closed formula for Wigner's angle remain unchanged. revision: yes

Circularity Check

0 steps flagged

Derivation is self-contained via direct geometrical mapping

full rationale

The paper derives Wigner's little group matrix and angle by mapping the sequence of little-group transformations (rotations plus null rotations) for massless particles onto the sides and angles of a spherical triangle whose vertices are the initial, intermediate, and final null directions, then invoking classical spherical trigonometry theorems. This identification is presented as following directly from the structure of the Lorentz group acting on null vectors, with no fitted parameters, no self-citation load-bearing the central result, and no reduction of the final formula to the inputs by construction. The closed-form expression for arbitrary Lorentz transformations is obtained by applying the spherical-trigonometry identities to the geometrically defined triangle, rendering the derivation independent and self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The derivation rests on standard properties of the Lorentz group and little group for massless particles together with classical spherical trigonometry; no free parameters, new entities, or ad-hoc axioms are indicated in the abstract.

axioms (2)
  • standard math Standard properties of the Lorentz group and the little group for massless particles
    Invoked as background for defining Wigner's little group matrix.
  • domain assumption Classical theorems of spherical trigonometry apply to the geometry of direction spheres
    Used to link the sequence of little group transformations to angle formulas.

pith-pipeline@v0.9.0 · 5581 in / 1313 out tokens · 58524 ms · 2026-05-20T10:56:35.393203+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

24 extracted references · 24 canonical work pages

  1. [1]

    E. P. Wigner, in The Collected Works of Eugene Paul Wigner: Part A: The Scientific Papers (Springer, 1993) pp. 564–607

    work page 1993

  2. [2]

    M. V. Berry, Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences 392, 45 (1984)

    work page 1984

  3. [3]

    N. H. Lindner, A. Peres, and D. R. Terno, Journal of Physics A: Mathematical and General 36, L449 (2003)

    work page 2003

  4. [4]

    H. Noh, P. M. Alsing, D. Ahn, W. A. Miller, and N. Park, npj Quantum Information 7, 163 (2021)

    work page 2021

  5. [5]

    Malhotra, R

    L. Malhotra, R. Golub, E. Kraegeloh, N. Nouri, and B. Plaster, Scientific reports 10, 5522 (2020)

    work page 2020

  6. [6]

    Vigoureux, European Journal of Physics 22, 149 (2001)

    J. Vigoureux, European Journal of Physics 22, 149 (2001)

    work page 2001

  7. [7]

    Aravind, American Journal of Physics 65, 634 (1997)

    P. Aravind, American Journal of Physics 65, 634 (1997)

    work page 1997

  8. [8]

    Kennedy, European journal of physics 23, 235 (2002)

    W. Kennedy, European journal of physics 23, 235 (2002)

    work page 2002

  9. [9]

    R. V. Caffarelli, On Wigner decomposition of Lorentz matrices, Tech. Rep. (Univerrsit` a di Pisa and Istituto Nazionale di Fisica Nucleare, 1988)

    work page 1988

  10. [10]

    Van Wyk, in 19

    C. Van Wyk, in 19. Annual seminar on theoretical physics, Cape Town, 9-13 Jul 1984 , INIS-mf–9974 (1984) pp. 1–4

    work page 1984

  11. [11]

    O’Donnell and M

    K. O’Donnell and M. Visser, European journal of physics 32, 1033 (2011)

    work page 2011

  12. [12]

    Berry and M

    T. Berry and M. Visser, Physics 3, 352 (2021)

    work page 2021

  13. [13]

    Caban and J

    P. Caban and J. Rembieli´ nski, Physical Review A 68, 042107 (2003)

    work page 2003

  14. [14]

    R. M. Gingrich, A. J. Bergou, and C. Adami, Physical Review A 68, 042102 (2003)

    work page 2003

  15. [15]

    Weinberg, The quantum theory of fields - Foundations , Vol

    S. Weinberg, The quantum theory of fields - Foundations , Vol. 1 (Cambridge university press, 1995)

    work page 1995

  16. [16]

    Moretti et al

    V. Moretti et al. , Lecture Notes of Seminario Interdisci- plinare di Matematica 5, 153 (2006)

    work page 2006

  17. [17]

    Wick, Annals of Physics 18, 65 (1962)

    G. Wick, Annals of Physics 18, 65 (1962)

    work page 1962

  18. [18]

    J. M. McCarthy, Mechanism and Machine Theory 209, 105949 (2025)

    work page 2025

  19. [19]

    Todhunter, Spherical Trigonometry (London, Macmil- lan and Co., 1886)

    I. Todhunter, Spherical Trigonometry (London, Macmil- lan and Co., 1886)

    work page

  20. [20]

    Yang, Columbia Journal of Undergraduate Mathemat- ics 1, 43 (2024)

    B. Yang, Columbia Journal of Undergraduate Mathemat- ics 1, 43 (2024)

    work page 2024

  21. [21]

    Hale, The University of Chicago Department of Math- ematics REU Papers , 1 (2022)

    R. Hale, The University of Chicago Department of Math- ematics REU Papers , 1 (2022)

    work page 2022

  22. [22]

    Mukherjee and M

    R. Mukherjee and M. D. Shuster, The Journal of the Astronautical Sciences 53, 185 (2005)

    work page 2005

  23. [23]

    S. A. J. Lhuilier, ´El´ emens d’analyse g´ eom´ etrique et d’analyse alg´ ebrique, appliqu´ ees ` a la recherche des lieux g´ eom´ etriques, Vol. 142 (JJ Paschoud, 1809)

    work page

  24. [24]

    M. Kang, S. Kim, Y. Qian, P. M. Neves, L. Ye, J. Jung, D. Puntel, F. Mazzola, S. Fang, C. Jozwiak, et al., Nature Physics 21, 110 (2025)

    work page 2025