arxiv: 2605.06099 · v1 · submitted 2026-05-07 · 🧮 math-ph · math.MP

Recognition: unknown

Non-relativistic limit of generalized relativistic Pauli operators by Feynman-Kac formulae

Soichiro Sakamoto

Authors on Pith no claims yet

Pith reviewed 2026-05-08 04:30 UTC · model grok-4.3

classification 🧮 math-ph math.MP

keywords non-relativistic limitPauli operatorFeynman-Kac formulasemigroup convergencerelativistic quantum mechanicsmagnetic Schrödinger operator

0 comments

The pith

A generalized relativistic Pauli operator converges strongly to a non-relativistic Pauli operator as the speed of light tends to infinity.

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

The paper shows that under a specific algebraic relation among its defining parameters, the heat semigroup generated by the generalized relativistic Pauli operator converges strongly to the semigroup of a limiting non-relativistic operator. The proof uses an explicit path-integral representation of the semigroup to pass to the limit. The same technique yields an analogous result for generalized relativistic Schrödinger operators. Readers care because the result justifies the non-relativistic approximation rigorously for this family of spin-1/2 operators.

Core claim

Under the constraint 2α=γβ+γ², the semigroup e^{-t H_c^{S,α}} converges strongly as c→∞ to e^{-t H^{S,α}}, where the limiting generator is H^{S,α}=α/(2m^{2/α-1}) (σ·(-i∇-a))^2 + V. The proof proceeds by writing the semigroup via a Feynman-Kac formula that involves Brownian motion, a subordinator, and a Poisson process, then analyzing the limit inside the integral.

What carries the argument

The Feynman-Kac representation of the semigroup in terms of Brownian motion, a subordinator, and a Poisson process, which encodes the action of the generalized operator and permits passage to the limit.

If this is right

The limiting Hamiltonian is a constant multiple of the magnetic Pauli operator squared plus the potential term.
The identical strong semigroup convergence holds for the corresponding family of generalized relativistic Schrödinger operators.
The convergence occurs in the strong operator topology on the space L^2(R^3;C^2).
The path-integral representation remains valid throughout the limit process.

Where Pith is reading between the lines

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

The result supplies a concrete scaling factor that relates the relativistic and non-relativistic energy scales for spin-1/2 particles.
The same path-integral method could be applied to check convergence rates or to derive effective Hamiltonians for finite but large c.
The limiting form recovers the usual non-relativistic Pauli equation when the parameters are chosen to match the standard square-root relativistic dispersion.

Load-bearing premise

The parameters must obey the exact algebraic relation 2α=γβ+γ² so the expression inside the generalized operator scales to a finite non-relativistic quadratic term.

What would settle it

Fix a smooth test function and a large but finite value of c; compute the difference between the action of H_c^{S,α} on that function and the action of the claimed limiting operator; the difference should tend to zero as c increases if the claim holds.

read the original abstract

The non-relativistic limit of a generalized relativistic Pauli operator\[H_c^{S,\alpha}=\left(2c^{\beta}\bigl(\sigma\cdot(-i\nabla-a)\bigr)^2+(mc^\gamma)^{2/\alpha}\right)^{\alpha/2}-mc^\gamma+V\]on $L^2(\mathbb{R}^3;\mathbb{C}^2)$ is investigated under the constraint$2\alpha=\gamma\beta+\gamma^2$.This operator generalizes the relativistic Pauli operator within the framework of Bernstein functions.The associated heat semigroup $e^{-tH_c^{S,\alpha}}$ admits a Feynman--Kac representation involving Brownian motion, a subordinator, and a Poisson process.Using this representation, we prove that the semigroup $e^{-tH_c^{S,\alpha}}$ converges strongly to $e^{-tH^{S,\alpha}}$ as $c\to\infty$, where the limiting generator is given by\[H^{S,\alpha}=\frac{\alpha}{2m^{\frac{2}{\alpha}-1}}\bigl(\sigma\cdot(-i\nabla-a)\bigr)^2+V.\]The non-relativistic limit of a generalized relativistic Schr\"odinger operator is also investigated.

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.

Desk Editor's Note private letter to a colleague

The scaling constraint does not yield the claimed non-relativistic limit except in special cases where the prefactor is also off by a factor of two.

read the letter

The main thing to know is that this paper claims a non-relativistic limit for these generalized operators but the math on the scaling doesn't check out. It takes the standard relativistic Pauli operator and generalizes it using Bernstein functions with parameters α, β, γ under the constraint 2α=γβ+γ². Then it gives a Feynman-Kac formula with Brownian motion plus subordinator and Poisson process, and uses it to show the semigroup converges strongly to the non-relativistic one with the specific prefactor α/(2 m^{2/α-1}) times the square term plus V. The representation is the part that works and is new. Extending the method to this family is a reasonable step if the limit holds. But the limit part has a problem. If you expand the operator for small K, the c power in front of the (σ·(-i∇-a))^2 term is γ+β-2γ/α. Plugging in the constraint, this is zero only if α=γ, and then you get twice the coefficient they wrote. Otherwise it doesn't stay finite. So the claimed generator isn't the actual limit for most of the family. This seems like a calculation error in setting up the constraint. The paper might have more in the proof that fixes it, but on the face of it the central claim is off. This is narrow technical work for people in relativistic quantum mechanics and stochastic analysis. A reader who wants to see how to apply Feynman-Kac to spin operators with these generalizations could pick up the representation, but I wouldn't rely on the limit result without checking the expansion myself. It should go to peer review. Referees can sort out whether the proof has the right expansion or if the constraint needs adjustment.

Referee Report

1 major / 1 minor

Summary. The manuscript studies the non-relativistic limit c→∞ of the generalized relativistic Pauli operator H_c^{S,α} = [2 c^β (σ·(-i∇-a))^2 + (m c^γ)^{2/α}]^{α/2} - m c^γ + V on L^2(ℝ^3; ℂ^2) under the constraint 2α = γβ + γ². It employs a Feynman-Kac representation of the semigroup e^{-t H_c^{S,α}} involving Brownian motion, a subordinator, and a Poisson process to prove strong convergence to the semigroup generated by the non-relativistic operator H^{S,α} = [α / (2 m^{2/α-1})] (σ·(-i∇-a))^2 + V. An analogous result is stated for the generalized relativistic Schrödinger operator.

Significance. If the scaling and convergence arguments hold, the work supplies a probabilistic proof of the non-relativistic limit for a parameterized family of operators in the Bernstein-function class, extending classical results on the standard relativistic Pauli operator. The Feynman-Kac representation is a methodological strength that directly yields the semigroup convergence without relying on resolvent or spectral techniques.

major comments (1)

[Abstract / main theorem] Abstract and the statement of the limiting generator (Eq. (1.3) or the main theorem): the claimed prefactor α/(2 m^{2/α-1}) for the kinetic term is inconsistent with the symbol expansion of [2 c^β K^2 + (m c^γ)^{2/α}]^{α/2} - m c^γ. Substituting the constraint 2α = γβ + γ² yields the exponent γ + β - 2γ/α = 2α/γ - 2γ/α, which vanishes only for α = γ; in that case the coefficient is α m^{1-2/α}, twice the stated value (α/2) m^{1-2/α}. For generic parameters allowed by the constraint the kinetic term either diverges or vanishes, so the asserted strong convergence to the displayed H^{S,α} cannot hold.

minor comments (1)

[Abstract] The abstract announces a result for the generalized relativistic Schrödinger operator but provides no statement of the limiting operator or the corresponding constraint; a brief parallel statement would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We are grateful to the referee for their careful review and for identifying an inconsistency in the prefactor and applicability of the limiting generator. We agree with the analysis and will revise the manuscript to correct these issues.

read point-by-point responses

Referee: [Abstract / main theorem] Abstract and the statement of the limiting generator (Eq. (1.3) or the main theorem): the claimed prefactor α/(2 m^{2/α-1}) for the kinetic term is inconsistent with the symbol expansion of [2 c^β K^2 + (m c^γ)^{2/α}]^{α/2} - m c^γ. Substituting the constraint 2α = γβ + γ² yields the exponent γ + β - 2γ/α = 2α/γ - 2γ/α, which vanishes only for α = γ; in that case the coefficient is α m^{1-2/α}, twice the stated value (α/2) m^{1-2/α}. For generic parameters allowed by the constraint the kinetic term either diverges or vanishes, so the asserted strong convergence to the displayed H^{S,α} cannot hold.

Authors: We thank the referee for this observation. Re-examining the symbol expansion of [2 c^β K^2 + (m c^γ)^{2/α}]^{α/2} - m c^γ confirms that the prefactor in the limiting kinetic term must be α m^{1-2/α} rather than the stated α/(2 m^{2/α-1}). The exponent γ + β - 2γ/α equals 2(α/γ - γ/α) and vanishes if and only if α = γ (which forces β = 2 - γ via the constraint). For other parameter values satisfying the constraint the expression diverges or tends to V. We will revise the abstract, the statement of the main theorem (including Eq. (1.3)), and all related sections to correct the prefactor and restrict to the case α = γ. The Feynman-Kac representation and convergence arguments will be updated to this corrected setting. The analogous claim for the generalized relativistic Schrödinger operator will be revised in the same manner. revision: yes

Circularity Check

0 steps flagged

No circularity: limit derived from independent stochastic representation

full rationale

The derivation proceeds by assuming the operator belongs to the Bernstein function class (an external framework), invoking a standard Feynman-Kac representation with Brownian motion, subordinator and Poisson process (independent of the target limit), and then proving strong convergence of the semigroups as c→∞ under the given constraint on α,β,γ. The limiting generator form is obtained by direct analysis of the representation, not by re-expressing the target quantity in terms of itself or by any fitted parameter renamed as prediction. No self-citation is load-bearing for the central claim, and the constraint is an explicit input assumption rather than a derived output. The proof chain is self-contained against external stochastic analysis tools.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard properties of Bernstein functions, existence of subordinators, and the Feynman-Kac formula for the relativistic operator; these are drawn from prior literature rather than introduced ad hoc.

axioms (2)

domain assumption The generalized operator H_c^{S,α} admits a Feynman-Kac representation involving Brownian motion, a subordinator, and a Poisson process.
Invoked to obtain the semigroup representation used for the limit.
standard math Standard properties of Bernstein functions allow the functional calculus for the operator.
Background assumption from the framework cited in the abstract.

pith-pipeline@v0.9.0 · 5510 in / 1258 out tokens · 52687 ms · 2026-05-08T04:30:28.674182+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

15 extracted references

[1]

G. F. De Angelis, G. Jona-Lasinio and M. Sirugue, Probabilistic solution of Pauli-type equa- tions,J. Phys. A16(1983) 2433–2444

1983
[2]

G. F. De Angelis, A. Rinaldi and M. Serva, Imaginary-time path integral for a relativistic spin-(1/2) particle in a magnetic field,Europhys. Lett.14(1991) 95–100

1991
[3]

Applebaum,L´ evy Processes and Stochastic Calculus, 2nd ed, Cambridge University Press, 2009

D. Applebaum,L´ evy Processes and Stochastic Calculus, 2nd ed, Cambridge University Press, 2009

2009
[4]

Bogdan, T

K. Bogdan, T. Byczkowski, M. Ryznar, R. Song, and Z. Vondraˇ cek,Potential Analysis of Stable Processes and Its Extensions, Lecture Notes in Mathematics1980, Springer, 2009

2009
[5]

Gaveau and J

B. Gaveau and J. Vauthier, Int´ egrales oscillantes stochastiques : L’´ equation de Pauli,J. Funct. Anal.44(1981) 388–400

1981
[6]

Hiroshima, Non-relativistic limit of the semi-relativistic Pauli-Fierz model,RIMS K¯ oky¯ u- roku2187(2021) 1–10

F. Hiroshima, Non-relativistic limit of the semi-relativistic Pauli-Fierz model,RIMS K¯ oky¯ u- roku2187(2021) 1–10

2021
[7]

Hiroshima, T

F. Hiroshima, T. Ichinose, and J. L˝ orinczi, Path integral representation for Schr¨ odinger oper- ators with Bernstein functions of the Laplacian,Rev. Math. Phys.24(2012) 1250013

2012
[8]

Hunziker, On the nonrelativistic limit of the Dirac theory,Commun

W. Hunziker, On the nonrelativistic limit of the Dirac theory,Commun. Math. Phys.40 (1975) 215–222. 21

1975
[9]

Ichinose, The nonrelativistic limit problem for a relativistic spinless particle in an electro- magnetic field,J

T. Ichinose, The nonrelativistic limit problem for a relativistic spinless particle in an electro- magnetic field,J. Funct. Anal.73(1987) 233–257

1987
[10]

Ichinose and H

T. Ichinose and H. Tamura, Imaginary-time path integral for a relativistic spinless particle in an electromagnetic field,Commun. Math. Phys.105(1986) 239–257

1986
[11]

Leinfelder and C

H. Leinfelder and C. G. Simader, Schr¨ odinger operators with singular magnetic vector poten- tials,Math. Z.176(1981) 1–19

1981
[12]

L˝ orinczi, F

J. L˝ orinczi, F. Hiroshima, and V. Betz,Feynman-Kac type theorems and its applications 1, 2nd ed, De Gruyter, 2020

2020
[13]

Reed and B

M. Reed and B. Simon,Methods of Modern Mathematical Physics I: Functional Analysis, revised and enlarged edition, Academic Press, 1980

1980
[14]

Simon,Functional Integration and Quantum Physics, Academic Press, New York, 1979

B. Simon,Functional Integration and Quantum Physics, Academic Press, New York, 1979

1979
[15]

Thaller,The Dirac Equation, Springer-Verlag, Berlin Heidelberg, 1992

B. Thaller,The Dirac Equation, Springer-Verlag, Berlin Heidelberg, 1992. 22

1992