{"id":"ec7fe81c-9b65-4c9d-b5ff-c02839d5f4fc","arxiv_id":"2607.21724","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":2.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Combining two non-parallel Lorentz boosts produces a rotation whose angle is given by one universal formula, derived here in three equivalent formalisms.","lead":"This paper derives the Wigner angle — the rotation produced when two non-parallel Lorentz boosts are combined — using vector, matrix, and spinor formalisms, and shows the three answers agree. It is a compact reference for a standard but fiddly result in special relativity that also appears in optical analogies.","discovery_kind":"review","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: Wigner-angle formulas are correct; the only caveat is that the structural decomposition lemmas are cited rather than proved.","rationale":"The reader's weakest-assumption identification matches my own reading: the deferred structural decomposition and the factor-2 correspondence are the least secure premises, because they are not proved in this paper. I independently rechecked the central derivations and found no algebraic error; Eqs. (24), (49), and (77) are mutually consistent and reduce to the standard Wigner-angle formula. The only issue is that the paper relies on prior work for two structural lemmas, making the presentation not fully self-contained. Since the reader already judged this as CONDITIONAL with moderate confidence, my stress-test does not change that verdict. I am not manufacturing a stronger objection because none is supported by the text: the decomposition is standard, the internal read-off formulas are consistent, and the cited references are appropriate. A concrete independent verification of the structural theorem would settle the residual concern, but the absence of such a proof does not undermine the correctness of the central claim.","tokens_in":20201,"tokens_out":13467,"duration_ms":102065,"concrete_test":"Choose specific parameters, e.g. γ1=2, γ2=3, θ21=1 rad, and form the product L = B2(θ21)B1(0) as in Eq. (46). Numerically compute L and verify that L = R(θ2)B(γ)R^t(θ1) with γ given by Eq. (47) and θ2−θ1 given by Eqs. (42)–(44). Then compute the corresponding SU(1,1) product M from Eq. (64), extract the Wigner phase from the first of Eqs. (68), apply the factor-2 mapping (halve the SU(1,1) angles and use cosh/sinh with half rapidities), and compare the resulting tan(θw) with Eq. (49). Repeated for several parameter sets, this independently settles whether the deferred decomposition and normalization are correct.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim that Eqs. (24), (49), and (77) give the same Wigner angle is well supported. I checked the key algebra: Eq. (20) correctly relates the cross product of u12 and u21 to the input angle sine, and the simplification to Eq. (24) is consistent; Eq. (49) follows from Eq. (24) and Eq. (25); Eq. (77) reduces to Eq. (49) under the stated replacement ζ→ζ/2, φ→φ/2, θ→θ/2. The most load-bearing premise is the structural theorem that every SO(1,2) Lorentz matrix can be written as L = R(θ2)B(γ)R^t(θ1), together with the SU(1,1) analogue and the factor-2 correspondence. This theorem is deferred to the authors' prior work [8,9] and standard references [15–18]; if it were false, the matrix read-off (Eqs. 42–44) and the spinor translation would fail. However, the decomposition is standard, the matrix read-off formulas are internally consistent (I verified them for generic rotations), and no counterexample appears. This is a verification gap due to self-citation, not a demonstrated error. The reader's conditional verdict is therefore appropriate: the paper is correct as far as I can tell, but not fully self-contained.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":20455,"tokens_out":12659,"duration_ms":106756,"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":[{"comment":"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.","section":"Sec. 3, Eqs. (38)–(39)"},{"comment":"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.","section":"Secs. 2 and 3, Eqs. (14), (19), (37)–(39)"},{"comment":"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.","section":"Sec. 4, after Eq. (81)"}],"minor_comments":[{"comment":"Typo: 'perperdicular' should be 'perpendicular'.","section":"Eq. (2)"},{"comment":"Typos: 'specifed' and 'consituents' should be 'specified' and 'constituents'.","section":"Eq. (10)"},{"comment":"Typo: 'trigmonmetric' should be 'trigonometric'.","section":"Eq. (77)"},{"comment":"Typo: 'isomomorphism' should be 'isomorphism'.","section":"Reference [9]"},{"comment":"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.","section":"Sec. 4, near Eq. (68)"},{"comment":"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.","section":"Eq. (91)"}],"recommendation":"major_revision","confidential_remarks":"The manuscript relies on the authors' own prior work ([8], submitted; [9]) for the two structural theorems that carry the derivation. If the journal does not accept submitted-manuscript citations for such load-bearing lemmas, the authors must prove them in the text. The overbroad SO(1,2) statement in Sec. 3 should be corrected before acceptance. The paper is more of a review/pedagogical comparison than an original-results paper, but it is well organized and the algebra checks out."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This is a clean, correct review of three ways to compute the Wigner angle, not a new physical result. If you want a single reference that does the vector, SO(1,2), and SU(1,1) derivations side by side and reconciles them, this is it.\n\nWhat is actually new is the packaging. The formulas themselves are standard. The paper says so: Eqs. (29)-(30) are Ben-Menahem's, Eq. (77) matches Torres del Castillo and others. What the authors add is a self-consistent route through all three formalisms, with the parameter normalization between SU(1,1) and SO(1,2) made explicit. I checked the key algebra - Eqs. (20), (24), (49), and the SU(1,1) reduction with zeta->zeta/2, phi->phi/2, theta->theta/2 - and it holds. The three expressions are equivalent, and the paper credits its predecessors rather than pretending otherwise. That is honest work.\n\nThe soft spots are real but modest. The structural theorem that every SO(1,2) Lorentz matrix factors as R(theta2)B(gamma)R^t(theta1), and its SU(1,1) analogue, is load-bearing for the matrix read-off in Eqs. (42)-(44). It is cited to the authors' own [8,9] and to standard references, but not proved here. The equivalence of the two product-tensor forms, Eqs. (14) and (19), is likewise deferred to [8]. For a pedagogical review, that is a gap. I believe the decomposition is standard and correct, so it is not a fatal flaw, but a referee should ask for a brief proof or at least a self-contained statement. There are also minor typos - \"perperdicular,\" \"specifed,\" \"consituents,\" and a wrong initial in ref. [10] (it is R. A. Horn, not C. A. Horn). None of this affects the conclusions.\n\nWho is this for? Someone teaching special relativity and wanting a compact comparison of vector, matrix, and spinor methods; also optics people who use SU(1,1) for three- and four-wave mixing and want the connection to Wigner rotation. It deserves a serious referee. The right venue is a pedagogical journal, not a primary research venue. I would send it out with a request to close the decomposition gap and clean up the typos. It is not a paper I would cite in my own research, but it is a solid, useful reference.\n\nRecommendation: send to peer review with minor revision.","headline":"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.","tokens_in":21031,"tokens_out":3210,"would_cite":false,"duration_ms":29479,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["03.30.+p"],"model":"deepseek-v4-flash","headline":"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.","keywords":["Wigner angle","Lorentz boost composition","SO(1,2) group","SU(1,1) group","local isomorphism","Thomas precession","special relativity","spinor"],"falsifier":"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.","tokens_in":20019,"feed_emoji":"📐","tokens_out":6241,"duration_ms":51216,"temperature":0.7,"pith_summary":"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.","feed_headline":"Three derivations converge on one Wigner-angle formula","feed_subtitle":"Vector, matrix, and spinor methods yield the same closed form for the rotation from two boosts.","key_machinery":"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","core_discovery":"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","pith_inferences":["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."],"forward_implications":["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."],"fun_headline_variants":["Wigner angle: three derivations, one closed form","Boost factorization reveals Wigner angle","Three methods, one Wigner-angle formula","Wigner angle unified across vector, matrix, spinor","From two boosts to a rotation: Wigner angle"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Wigner angle: three derivations, one closed form","Boost factorization reveals Wigner angle","Three methods, one Wigner-angle formula","Wigner angle unified across vector, matrix, spinor","From two boosts to a rotation: Wigner angle"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000546,"raw_usage":{"total_tokens":2432,"prompt_tokens":711,"completion_tokens":1721,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":455,"completion_tokens_details":{"reasoning_tokens":1663}},"tokens_in":455,"tokens_out":1721,"duration_ms":12387,"temperature":1.0,"reasoning_tokens":1663,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T06:53:23.140604+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}