pith. sign in

arxiv: 1906.10083 · v1 · pith:XTITIZWAnew · submitted 2019-06-24 · 🧮 math-ph · hep-th· math.MP· nucl-th

Relativistic invariance in Euclidean formulations of quantum mechanics

Pith reviewed 2026-05-25 16:47 UTC · model grok-4.3

classification 🧮 math-ph hep-thmath.MPnucl-th
keywords Poincaré groupEuclidean quantum mechanicsrelativistic invariancereflection positivityirreducible representationsgeneratorsself-adjointness
0
0 comments X

The pith

Poincaré generators have explicit representations in Euclidean space-time variables for all positive-mass positive-energy irreducible representations.

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

The paper derives explicit representations of the Poincaré generators in Euclidean space-time variables. This is done for every positive-mass positive-energy irreducible representation of the Poincaré group. The construction preserves the commutation relations, establishes hermiticity and self-adjointness of the generators, and verifies reflection positivity of the kernels. A sympathetic reader would care because Euclidean formulations offer computational advantages for hadronic systems while the physical inner product remains expressible directly in Euclidean variables with no analytic continuation required.

Core claim

The identification of the complex Euclidean group with the complex Poincaré group relates the infinitesimal generators of both groups. In this work explicit representations of the Poincaré generators in Euclidean space-time variables for all positive-mass positive-energy irreducible representations of the Poincaré group are derived. The commutation relations are checked, both hermiticity and self-adjointness are established, and reflection positivity of the kernels is verified.

What carries the argument

The identification of the complex Euclidean group with the complex Poincaré group, which maps the infinitesimal generators into Euclidean variables while preserving the algebra.

If this is right

  • The derived generators satisfy the Poincaré algebra commutation relations.
  • Hermiticity and self-adjointness hold for the generators in Euclidean variables.
  • The kernels satisfy reflection positivity, so the Euclidean inner product defines a valid Hilbert space.
  • The representations apply to every positive-mass positive-energy irreducible representation.

Where Pith is reading between the lines

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

  • Numerical work on relativistic bound states could proceed entirely in Euclidean variables without returning to Minkowski space.
  • Similar group identifications might simplify Euclidean treatments of other space-time symmetries.
  • The separation between representation theory and metric signature could be tested in model calculations with finite degrees of freedom.

Load-bearing premise

The complex Euclidean group can be identified with the complex Poincaré group so that their infinitesimal generators are directly related.

What would settle it

An explicit check that the proposed Euclidean expressions for the generators violate the Poincaré commutation relations or fail to produce reflection-positive kernels would falsify the construction.

read the original abstract

Relativistic invariance in Euclidean formulations of quantum mechanics is discussed. Relativistic treatments of quantum theory are needed to study hadronic systems at sub-hadronic distance scales. Euclidean formulations of relativistic quantum mechanics have some computational advantages. In the Euclidean representation the physical Hilbert space inner product is expressed in terms of Euclidean space-time variables with no need for any analytic continuation. The identification of the complex Euclidean group with the complex Poincar\'e group relates the infinitesimal generators of both groups. In this work explicit representations of the Poincar\'e generators in Euclidean space-time variables for all positive-mass positive-energy irreducible representations of the Poincar\'e group are derived. The commutation relations are checked, both hermiticity and self-adjointness are established, and reflection positivity of the kernels is verified.

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

0 major / 2 minor

Summary. The paper claims that identifying the complex Euclidean group with the complex Poincaré group allows explicit representations of the Poincaré generators to be constructed in Euclidean space-time variables for all positive-mass positive-energy irreducible representations. These representations are shown to satisfy the Poincaré commutation relations, to be Hermitian and self-adjoint, and to yield kernels that satisfy reflection positivity, thereby providing a Euclidean formulation of relativistic quantum mechanics in which the physical inner product is expressed directly in Euclidean variables without analytic continuation.

Significance. If the construction and verifications hold, the work supplies concrete, explicit Poincaré generators in Euclidean variables together with direct algebraic and positivity checks for the full class of positive-mass positive-energy irreps. This removes the need for Wick rotation in the inner product and supplies a practical bridge between Euclidean computational methods and relativistic invariance, which is relevant for hadronic systems at sub-hadronic scales. The explicit character of the representations and the independent verification of the algebra, hermiticity/self-adjointness, and reflection positivity are clear strengths.

minor comments (2)
  1. [Abstract] The abstract states that the commutation relations, hermiticity, self-adjointness, and reflection positivity are verified for the stated class; a brief sentence in the introduction or §2 indicating the precise range of representations covered (e.g., any restrictions on spin or mass) would help the reader locate the corresponding theorems.
  2. Notation for the Euclidean four-vector and the complexified generators is introduced gradually; a short table or paragraph collecting the mapping between Minkowski and Euclidean generators at the beginning of the main construction section would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript, the clear summary of its contributions, and the recommendation to accept. There are no major comments requiring a point-by-point response.

Circularity Check

0 steps flagged

No significant circularity; derivation is a direct construction with independent verification

full rationale

The paper performs an explicit construction of Poincaré generators in Euclidean variables using the stated group identification as the enabling premise, then verifies the commutation relations, hermiticity, self-adjointness, and reflection positivity by direct computation for the positive-mass positive-energy irreps. No equations reduce to fitted inputs renamed as predictions, no self-definitional loops appear, and no load-bearing uniqueness theorems or ansatzes are imported via self-citation chains. The central results are self-contained algebraic and positivity checks that stand apart from the initial identification.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard assumptions from relativistic quantum mechanics and representation theory; no free parameters or invented entities are introduced.

axioms (2)
  • domain assumption Positive mass and positive energy irreducible representations of the Poincaré group.
    The paper restricts attention to these representations as stated in the abstract.
  • domain assumption Identification of the complex Euclidean group with the complex Poincaré group.
    This identification is invoked to relate the infinitesimal generators.

pith-pipeline@v0.9.0 · 5663 in / 1236 out tokens · 25971 ms · 2026-05-25T16:47:30.913628+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

43 extracted references · 43 canonical work pages · 5 internal anchors

  1. [1]

    ≥ 1; includes identity • det(Λ) = − 1, (Λ0

  2. [2]

    ≥ 1; includes space reflection • det(Λ) = − 1, (Λ0

  3. [3]

    ≤ − 1; includes time reversal • det(Λ) = 1, (Λ0

  4. [4]

    Euclidean

    ≤ − 1; includes space-time reversal . Since the discrete symmetries of space reflection and time reversa l are not symmetries of the weak interaction, the symmetry group associated with special relativity is normally conside red to be the subgroup of Poincar´ e transforma- tions that is continuously connected to the identity. This subgroup contains the act...

  5. [5]

    For each θ ∈ [0,θ 0], there is a linear subset Dθ such that Dθ1 ⊃ D θ2 if θ1 <θ 2, and ∪ 0<θ<θ 0Dθ2 is dense

  6. [6]

    For each θ ∈ [0,θ 0], E(θ) is a linear operator on the Hilbert space with domain Dθ

  7. [7]

    E(0) = I, E(θ1) : Dθ2 → D θ2− θ1, and E(θ1)E(θ2) = E(θ1 +θ2) on Dθ1+θ2 for θ1,θ 2,θ 1 +θ2 ∈ [0,θ 0]

  8. [8]

    E(θ) is Hermitian for θ ∈ [0,θ 0]

  9. [9]

    In this caseE(θ) represents Euclidean space time rotations considered as operat ors on the Hilbert space (4) restricted to domains that will be described below

    E(θ) is weakly continuous on [0 ,θ 0] When these conditions are satisfied there is a unique self-adjoint op erator K such that Dθ ⊂ D e− Kθ and E(θ) is the restriction of e− Kθ to Dθ . In this caseE(θ) represents Euclidean space time rotations considered as operat ors on the Hilbert space (4) restricted to domains that will be described below. The domains ...

  10. [10]

    E. P. Wigner, Annals Math. 40, 149 (1939)

  11. [11]

    J. S. Schwinger, Proc. Natl. Acad. Sci. U. S. 44, 956 (1958)

  12. [12]

    Schwinger, Phys

    J. Schwinger, Phys. Rev. 115, 721 (1959)

  13. [13]

    R. F. Streater and A. S. Wightman, PCT, Spin and Statistics, and All That (Princeton Landmarks in Physics, 1980)

  14. [14]

    Jost, The General Theory of Quantized Fields (AMS, 1965)

    R. Jost, The General Theory of Quantized Fields (AMS, 1965)

  15. [15]

    Symanzik, J

    K. Symanzik, J. Math. Phys. 7, 510 (1966)

  16. [16]

    Symanzik, Conf

    K. Symanzik, Conf. Proc. C680812, 152 (1968)

  17. [17]

    Nelson, J

    E. Nelson, J. Funct. Anal. 12, 97 (1973)

  18. [18]

    Osterwalder and R

    K. Osterwalder and R. Schrader, Commun. Math. Phys. 31, 83 (1973)

  19. [19]

    Osterwalder and R

    K. Osterwalder and R. Schrader, Commun. Math. Phys. 42, 281 (1975)

  20. [20]

    Jorgensen and G

    P. Jorgensen and G. Olafsson, Journal of Functional Ana lysis 158, 26 (1998)

  21. [21]

    K. H. Neeb and G. O´ afsson, Reflection Positivity, A Representation Theoretic Perspec tive, vol. 32 (Springer, Cham, Switzerland, 2018)

  22. [22]

    Reflection Positivity Then and Now

    A. Jaffe (2018), 1802.07880

  23. [23]

    S. N. Sokolov, Dokl. Akad. Nauk SSSR 233, 575 (1977)

  24. [24]

    Coester and W

    F. Coester and W. N. Polyzou, Phys. Rev. D26, 1348 (1982)

  25. [25]

    B. D. Keister and W. N. Polyzou, Adv. Nucl. Phys. 20, 225 (1991)

  26. [26]

    D. V. Widder, Trans. Amer. Math. Soc. 33, 851 (1931)

  27. [27]

    D. V. Widder, Bull. Amer. Math. Soc. 40, 321 (1934)

  28. [28]

    D. V. Widder, The Laplace Transform (Dover, 1941)

  29. [29]

    W. N. Polyzou, Phys. Rev. C99, 025202 (2019), 1809.09717

  30. [30]

    Rose, Elementary Theory of Angular Momentum (Wiley, 1957)

    M. Rose, Elementary Theory of Angular Momentum (Wiley, 1957)

  31. [31]

    N. N. Bogoliubov and D. V. Shirkov, Introduction to the theory of quantized fields (Wiley-Interscience, 1959)

  32. [32]

    A. S. Wightman, L’Invariance Dans La Mecanique Quantique Relativiste , vol. 7 (Hermann, Paris, 1960)

  33. [33]

    V. B. Berestetskii, E. M. Lifshitz, and L. P. Pitaevskii , Quantum Electrodynamics (Pergammon Press, Elmsford N.Y., 1982)

  34. [34]

    Riesz and B

    F. Riesz and B. Sz.Nagy, Functional Analysis (Ungar, N.Y., 1972)

  35. [35]

    Gilmm and A

    J. Gilmm and A. Jaffe, Quantum Physics - A functional Integral Point of View (Springer, 1981)

  36. [36]

    Reed and B

    M. Reed and B. Simon, Methods of Modern mathematical Physics , vol. III Scattering Theory (Academic Press, 1979)

  37. [37]

    Klein and L

    A. Klein and L. L., J. Functional Anal. 44, 121 (1981)

  38. [38]

    Klein and L

    A. Klein and L. L., Comm. Math. Phys 87, 469 (1983)

  39. [39]

    Frohlich, K

    J. Frohlich, K. Osterwalder, and E. Seiler, Annals Math . 118, 461 (1983)

  40. [40]

    Reed and B

    M. Reed and B. Simon, Methods of Modern mathematical Physics , vol. Functional Analysis (Academic Press, N.Y., 1972)

  41. [41]

    Scattering asymptotic conditions in Euclidean relativistic quantum theory

    G. Aiello and W. Polyzou, Phys. Rev. D93, 056003 (2016), 1512.03651

  42. [42]

    A Euclidean formulation of relativistic quantum mechanics

    P. Kopp and W. Polyzou, Phys. Rev. D85, 016004 (2012), 1106.4086. 23

  43. [43]

    W. N. Polyzou, Phys. Rev. D89, 076008 (2014), 1312.3585