Pith. sign in

REVIEW 4 major objections 6 minor 24 references

Feynman Path Integral of a charged anisotropic HO in crossed electric and magnetic fields. Alternative calculational methods

T0 review · 4 major / 6 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read The paper shows that complex Fourier series with zeta regularization and a rotating-frame transformation both evaluate the charged anisotropic harmonic oscillator path integral in crossed electric and magnetic fields.

desk verdict The complex Fourier method is a neat formal trick that works for the isotropic charged oscillator, but the anisotropic propagator advertised in the title is based on an invalid Larmor rotation and is not correct as derived. read the letter →

arxiv 1908.05226 v1 pith:QXHT33QA submitted 2019-08-13 quant-ph

Cyril Belardinelli This is my paper · ORCID
classification quant-ph
keywords Feynmanpathintegralzeta-functionregularizationanisotropicharmonicoscillatorcrossedelectricandmagneticfieldsLarmorfrequencyrotatingframeLandaulevelsfluctuation
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper shows that two-dimensional Gaussian path integrals with velocity-dependent magnetic terms and a static electric field can be evaluated formally without the usual obstacles: an infinite normalization constant and the need to discretize the vector potential at segment midpoints. The first method expands quantum fluctuations in a complex Fourier series and regulates the resulting divergent products with the Riemann zeta function, obtaining the fluctuation integral $F(T)=m\omega_{\rm eff}/(2\pi i\hbar\sin\omega_{\rm eff} T)$ for a charged oscillator in a magnetic field. The second method rotates the coordinate frame at the Larmor frequency $\omega_L=qB/2m$, so the Lorentz force cancels the Coriolis force and the Lagrangian becomes that of an effective harmonic oscillator. In the anisotropic case with crossed fields the full propagator follows as a product of two effective one-dimensional oscillators with frequencies $\sqrt{\omega_L^2+\omega_x^2}$ and $\sqrt{\omega_L^2+\omega_y^2}$. The two routes are shorter and more direct than the standard time-slicing computation, and they agree with known limiting results such as Landau levels.

What carries the argument

The first carrier is the complex Fourier expansion of the fluctuation loop, $\delta\gamma(t)=\sum_{n=-\infty}^{\infty} c_n e^{i2\pi n t/T}$, which diagonalizes the action into a quadratic form in the Fourier coefficients; the boundary conditions are imposed by a delta function $\delta(\sum_n c_n)$. Divergent infinite products are then evaluated formally with zeta-regularization, using $\zeta(0)=-1/2$ and $\zeta'(0)=-\frac12\log(2\pi)$, together with Euler's sine product. The second carrier is the transformation to a uniformly rotating frame at the Larmor frequency $\omega_L=qB/2m$, the frequency at which the Lorentz force and the Coriolis force have the same form and cancel; this leaves an anisotropic harmonic oscillator with effective frequencies $\omega_x^{\rm eff}$ and $\omega_y^{\rm eff}$. Both methods assume the functional measure is invariant under the relevant translations and rotations.

What would settle it

Take the charged isotropic oscillator in a uniform magnetic field, compute its propagator numerically with the standard time-sliced definition in which the vector potential is evaluated at the midpoint of each segment, extrapolate the result to zero slice width, and compare the fluctuation factor with $F(T)=m\omega_{\rm eff}/(2\pi i\hbar\sin(\omega_{\rm eff}T))$; a mismatch in normalization or phase would show that the zeta-regularized definition is not the midpoint-discretized path integral.

Watch

Extended reading notes

Core claim

The central claim is that the charged anisotropic oscillator propagator is, up to a phase coming from completing the square with the electric field, exactly the product of two independent anisotropic-oscillator propagators with effective frequencies $\omega_x^{\rm eff}=\sqrt{\omega_L^2+\omega_x^2}$ and $\omega_y^{\rm eff}=\sqrt{\omega_L^2+\omega_y^2}$ after a frame rotation at the Larmor frequency and a spatial shift by the electric field. In the isotropic case the fluctuation factor reduces to $F(T)=m\omega_{\rm eff}/(2\pi i\hbar\sin(\omega_{\rm eff} T))$, a symmetric expression that the paper states does not occur in the same form in standard references. The paper claims that both derivations are fully formal yet avoid introducing the infinite normalization constant and avoid the ambiguities of discretizing a magnetic vector potential; the zeta-regularized complex Fourier expansion and the rotation and translation invariance of the measure replace those steps.

Load-bearing premise

The argument stands on the assumption that the formal way of summing divergent infinite products used here is a valid definition of the path integral, matching the standard definition that breaks time into small slices and evaluates the magnetic interaction at the middle of each slice; if the two definitions disagreed, the normalization and the propagator would change.

Editorial extensions

If this is right

  • For a charged isotropic oscillator in a magnetic field, the fluctuation integral is $F(T)=m\sqrt{\omega^2+\omega_L^2}/(2\pi i\hbar\sin(T\sqrt{\omega^2+\omega_L^2}))$, so no separate normalization constant is needed in path-integral evaluations.
  • For an anisotropic potential, the full propagator factorizes into $x$- and $y$-effective oscillators with frequencies $\sqrt{\omega_L^2+\omega_x^2}$ and $\sqrt{\omega_L^2+\omega_y^2}$, which directly gives the classical action from the known anisotropic oscillator action.
  • The energy spectrum in the isotropic case is $E(n,m)=q^2 E^2/(2m\omega^2)+\hbar(\sqrt{\omega^2+\omega_L^2}+\omega_L)(n+\tfrac12)+\hbar(\sqrt{\omega^2+\omega_L^2}-\omega_L)(m+\tfrac12)$, which reduces to the Landau levels $\hbar\omega_c(n+\tfrac12)$ in the zero-potential limit.
  • The complex Fourier series method extends the Fourier-expansion technique to path integrals with velocity-dependent potentials, where the real sine-series expansion fails because the magnetic cross term $\langle\delta x|\dot{\delta y}\rangle$ vanishes identically.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the zeta-regularized complex Fourier procedure is viewed as a definition of the path integral, the same regularization could be tested on non-quadratic perturbations such as a quartic anharmonic term, where the action no longer diagonalizes and the choice of regularization may change the result; the paper does not address that regime.
  • The rotating-frame argument is not tied to a uniform magnetic field in an essential way, so it may generalize to inhomogeneous fields or rotating traps where a local Larmor frequency appears, although the paper only treats the uniform-field case.
  • A direct comparison with a finite-dimensional time-sliced definition of the same propagator, with the vector potential evaluated at midpoints, would identify precisely which formal steps are equivalent to the standard definition and which are new conventions; that comparison is not made in the paper.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 6 minor

Summary. The paper proposes two calculational methods for the Feynman path integral of a charged anisotropic harmonic oscillator in crossed electric and magnetic fields. The first method expands quantum fluctuations in complex Fourier series and uses Riemann zeta-function regularization to evaluate divergent products; it produces the fluctuation factor F(T) = m omega_eff/(2 pi i hbar sin omega_eff T) for the isotropic magnetic case, Eq. (42). The second method transforms to a uniformly rotating frame, exploiting cancellation of Lorentz and Coriolis forces, and is used to derive the isotropic action Eq. (52) and, in Sec. IV B, a claimed full anisotropic propagator Eq. (65) with effective frequencies sqrt(omega_L^2+omega_x^2) and sqrt(omega_L^2+omega_y^2). The paper also gives an isotropic energy spectrum, Eq. (76), including the electric-field Stark shift.

Significance. If the anisotropic result were correct, the paper would provide a compact and formally simple derivation of the propagator for a charged anisotropic oscillator in crossed fields, which is a useful quantum-mechanics benchmark. The paper is self-contained, uses no fitted parameters, and correctly reproduces several known special cases: the free particle, the harmonic oscillator, Landau levels in the zero-oscillator limit, and the isotropic magnetic-oscillator propagator. The zeta-regularization calculation is heuristic but transparent, and the rotating-frame idea is elegant in the isotropic case. However, the central advertised anisotropic result is invalid, and several formulas in the isotropic electric-field case are internally inconsistent. The positive value of the paper is therefore confined to the isotropic special cases, which are mostly known results presented in a new way.

major comments (4)
  1. [§IV B, Eqs. (63)–(65)] The rotating-frame step used to obtain the anisotropic propagator is invalid. Substituting the rotation (bar x, bar y)^T = R(t)(tilde x, tilde y)^T with R(t)=[[cos omega_L t, sin omega_L t],[-sin omega_L t, cos omega_L t]] into the potential in Eq. (55) gives -(m/2)(omega_x^2 bar x^2 + omega_y^2 bar y^2) = -(m/4)[(omega_x^2+omega_y^2)(tilde x^2+tilde y^2) + (omega_x^2-omega_y^2)((tilde x^2-tilde y^2) cos 2 omega_L t + 2 tilde x tilde y sin 2 omega_L t)], which is explicitly time-dependent and non-diagonal whenever omega_x != omega_y. The Lagrangian in the rotating frame is therefore not the static anisotropic oscillator of Eq. (63), and the effective frequencies in Eq. (64) are not the normal-mode frequencies. The exact normal-mode frequencies of the quadratic Lagrangian in Eq. (55) solve (omega_x^2 - Omega^2)(omega_y^2 - Omega^2) - 4 omega_L^2 Omega^2 = 0; for omega_y = 0 this yields Omega^2 = omega_x^2 + 4 omega_L^2 together with a zero mode, whereas Eq. (65) predicts discrete frequencies sqrt(omega_x^2+omega_L^2) and omega_L. The claimed anisotropic propagator is therefore not established and, in the form stated, is false.
  2. [§IV B, Eq. (70)] For E = 0, Eq. (70) does not reduce to the earlier result Eq. (52). Using A1,...,A4 from Eq. (71), the E = 0 limit of Eq. (70) contains the term -2(x_a y_b - x_b y_a) sin omega_L T, whereas Eq. (52) contains -2(y_a x_b - x_a y_b) sin omega_L T = +2(x_a y_b - x_b y_a) sin omega_L T. The sign of the sin omega_L T cross term is opposite, so the claimed general classical action for the isotropic case is internally inconsistent.
  3. [§IV B, Eq. (73) and §V] The self-propagating kernel quoted in Eq. (73) is not consistent with the coincident-endpoint limit of Eqs. (70)–(71). Setting x_b = x_a = x and y_b = y_a = y in the previously derived classical action gives an exponent proportional to (cos omega_eff T + cos omega_L T)/sin omega_eff T acting on a^2, together with additional q^2 E^2 terms in the bracket, whereas Eq. (73) uses (cos omega_eff T - cos omega_L T)/sin omega_eff T and drops those q^2 E^2 terms. In addition, Eq. (73) omits the prefactor m omega_eff/(2 pi i hbar sin omega_eff T) that is needed to evaluate the trace in Eq. (72). Since the energy spectrum in Sec. V is derived from Eq. (73), the derivation of Eq. (76) rests on a formula that does not follow from the preceding classical action.
  4. [§III B, Eq. (26)] The zeta-regularization step is the main formal premise of the first method. In Eq. (26) the k-integral is interchanged with an infinite product over Fourier modes, and the divergent product over n is subsequently evaluated using zeta(0) = -1/2 and zeta'(0) = -1/2 log(2 pi). These manipulations are taken as a definition of the path-integral normalization rather than derived from a time-sliced midpoint discretization, which is precisely the magnetic-field ambiguity the Introduction promises to circumvent. The final isotropic result Eq. (42) agrees with known results, which is reassuring, but the method as stated is not shown to be equivalent to the standard discretized construction. This concern is secondary to the anisotropic error, but it should be addressed explicitly if the paper is revised.
minor comments (6)
  1. [§IV B, Eq. (58)] The potential term in the shifted Lagrangian is written as -m omega_y^2 bar x^2 / 2 in the displayed equation; it should be -m omega_y^2 bar y^2 / 2.
  2. [§IV B, Eq. (59)] The notation bar S_t is introduced but not defined; it should denote the action of the oscillator part bar L_t. The split of the action into C and bar S_t would benefit from an explicit statement of the integration limits.
  3. [§IV B, Eq. (62)] The integral measure is written as D[gamma(t)] in a context where the variable shift has been performed in Cartesian variables; the notation should be D[bar x] D[bar y] for consistency with Eq. (61).
  4. [§IV B, Eq. (66)] The expression for tilde S_c^{tilde y} is abbreviated as (x ⇔ y). This is not a self-contained formula and should be written explicitly.
  5. [§IV B, after Eq. (68)] The comparison with Ref. 4 states that a numerical check shows the expressions are identical, but no numerical data or explicit algebraic identification is provided. Either give the comparison or remove the claim.
  6. [Appendix C, Eq. (C20)] The derivation of zeta'(0) via the Wallis product is labeled as heuristic, which is appropriate, but the chain of equalities leading from Eq. (C16) to Eq. (C18) is difficult to follow and would benefit from an explicit statement that divergent series are being manipulated formally.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the derivations are self-contained and the anisotropic step is a correctness issue, not a circular one.

full rationale

The paper's central claims are self-contained calculations. The first method (Sec. III) derives the fluctuation integral F(T) from a complex Fourier decomposition combined with ζ-regularization (Eqs. 18-42), using the standard values ζ(0)=-1/2 and ζ'(0)=-1/2 log(2π) derived expository in Appendix C; these are external mathematical constants, not fitted to the target propagator. The second method (Sec. IV A) independently transforms to a rotating frame and obtains the same isotropic fluctuation factor (Eqs. 45-53); the match with Eq. (42) is a consistency check, not a circular reuse. The anisotropic result (Sec. IV B) invokes the well-known anisotropic HO propagator after a variable shift and rotation (Eqs. 55-65); whether the rotation step is algebraically valid for omega_x != omega_y is a correctness question, not a circularity, since the derivation is not secretly assuming its conclusion. There are no fitted parameters, no self-citations bearing the argument, and no uniqueness theorem imported from the authors' prior work. Hence no circular step can be exhibited.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

The central claim rests on the formal handling of divergent infinite products and sums via zeta-regularization, and on the invariance of the path integral measure under translation and rotation. These are the main unstated premises; no free parameters are fitted to data and no new physical entities are introduced.

assumptions (3)
  • domain assumption The functional measure D[r(t)] is invariant under translations and rotations of the path space (Eqs. 48 and 61).
    The splitting gamma = gamma_c + delta_gamma and the substitution gamma = exp(i Omega t) gamma_rot presume the path integral measure does not acquire a Jacobian. In the formal continuum setting this is unproved; rigorous treatments require a discretization or a specific measure definition.
  • ad hoc to paper Zeta-function regularization of the divergent sums and products in Eqs. (26)-(31) gives the correct finite value for the path integral normalization.
    The paper uses zeta(0) = -1/2 and zeta'(0) = -1/2 log(2 pi) to define the infinite product and sum. This is a formal regularization scheme, not a standard axiom of path integration, and its validity for defining the measure is assumed.
  • standard math The interchange of the k-integral and the infinite product over Fourier modes in Eq. (26) is valid.
    This is a formal interchange typical in physics calculations, not justified by dominated convergence because the integrand is oscillatory and the product is infinite.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Feynman Path Integral of a charged anisotropic HO in crossed electric and magnetic fields. Alternative calculational methods." pith.science (2026). https://pith.science/paper/QXHT33QA

@misc{pith2026190805226,
  author       = {Pith},
  title        = {Pith review of: Feynman Path Integral of a charged anisotropic HO in crossed electric and magnetic fields. Alternative calculational methods},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/QXHT33QA}},
  note         = {Machine review of arXiv:1908.05226}
}
abstract

In the present paper the author evaluates the path integral of a charged anisotropic Harmonic Oscillator (HO) in crossed electric and magnetic fields by two alternative methods. Both methods enable a rather formal calculation and circumvent some mathematical delicate issues such as the occurrence of an infinite Normalization constant and ambiguities with path integral calculations when magnetic fields are present. The \emph{$1^{\text{st}}$} method uses complex Fourier series and a regularization scheme via the Riemann-$\zeta$-function. The \emph{$2^{\text{nd}}$} method evaluates the path integral by transforming the Lagrangian to a uniformly rotating system. The latter method uses the fact that the Lorentz- and Coriolis force have the same functional form. Both forces cancel each other within the rotating system given that it rotates with Larmor frequency $\omega_{L}$. This fact simplifies considerably the calculation of the path integral.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

24 extracted references · 24 canonical work pages

  1. [1]

    L. V. Ahlfors. Complex analysis, An introduction to the theory of analytic functions of one complex variable, third ed. McGraw-Hill Book Co., New York, 1978, 1978

    work page 1978

  2. [2]

    M. Blau. http://www.blau.itp.unibe.ch/lecturesPI.pdf) . 2014

    work page 2014

  3. [3]

    R.H. Cameron. A family of integrals serving to connect the wiener and feynman integrals. Journal of Math. and Phys , 39:126--140, 1960

    work page 1960

  4. [4]

    J.M. Cervero. Exact propagator of a two dimensional anisotropic harmonic oscillator in the presence of a magnetic field. Journal of Modern Physics , 8:500--510, 2017

    work page 2017

  5. [5]

    Courant and D

    R. Courant and D. Hilbert. Methoden der mathematischen Physik, 2nd ed. , volume 1. Interscience Publishers, Inc. New York, 1943

    work page 1943

  6. [6]

    P. A. M. Dirac. Principles of Quantum Mechanics . Oxford University Press, 1930

    work page 1930

  7. [7]

    R. P. Feynman. Space-time approach to nonrelativistic quantum mechanics. Rev.\ Mod.\ Phys. , 20:367--387, 1948

    work page 1948

  8. [8]

    R. P. Feynman and A. R. Hibbs. Quantum Mechanics and Path Integrals . Dover Publications, New York, 2010

    work page 2010

Show all 24 references
  1. [9]

    Gelfand and A.M

    I.M. Gelfand and A.M. Yaglom. Integration in functions spaces and its applications in quantum physics. J. Math. Phys. 1 , 1:48--69, 1960

    1960

  2. [10]

    Gradshteyn and I.M

    I.S. Gradshteyn and I.M. Ryzhik. Table of Integrals, Series and Products, eighth ed. Academic Press, 2014

    2014

  3. [11]

    G.H. Hardy. Divergent Series . Oxford at the Clarendon Press, 1973

    1973

  4. [12]

    A. Hurwitz. quelques applications géometrique des séries de fourier. Annales de l'Ecole Normale , 19:357--408, 1902

    1902

  5. [13]

    M. Kac. On some connection between probability theory and differential and integral equations. Proc, 2nd Berkeley Sympos. Math. Stat. and Prob. , pages 189--215, 1951

    1951

  6. [14]

    Kleinert

    H. Kleinert. Path Integrals in Quantum Mechanics, Statistics, Polymer Physics, and Financial Markets . World Scientific, Singapore, 2004

    2004

  7. [15]

    M. Kline. Mathematical Thought from Ancient to Modern Times , volume 1. Oxford University Press, 1972

    1972

  8. [16]

    L. D. Landau. L. landau, z. physik (1930) 64: 629. Z. Physik , 64:629, 1930

    1930

  9. [17]

    L. D. Landau and E. M. Lifshitz. Quantum Mechanics, Non-Relativistic Theory , volume 3. Pergamon Press, Oxford, 1958

    1958

  10. [18]

    G.W. Leibniz. Nova Methodus pro Maximis et Minimis, Acta Eruditorum . 1684

  11. [19]

    Mazzucchi

    S. Mazzucchi. Mathematical Feynman Path Integrals And Their Applications . World Scientific, 2009

    2009

  12. [20]

    Montroll

    E.W. Montroll. Markov chains, wiener integrals and quantum theory. Comm. Pure Appl. Math. , 5:415, 1952

    1952

  13. [21]

    L. S. Schulman. Techniques and Applications of Path Integration . John Wiley and Sons Inc., New York, 1981

    1981

  14. [22]

    E. C. Titchmarsh. The theory of the Riemann zeta-function . Oxford University Press, 1951

    1951

  15. [23]

    J. Wallis. Arithmetica Infinitorum, Opera I, p. 468 . 1655

  16. [24]

    D. Werner. Funktionalanalysis . Springer, Berlin, 2011

    2011

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.