arxiv: 2511.08268 · v1 · submitted 2025-11-11 · 🪐 quant-ph

Exact-factorization framework for electron-nuclear dynamics in electromagnetic fields

Vladimir U. Nazarov , E. K. U. Gross This is my paper

Pith reviewed 2026-05-17 23:44 UTC · model grok-4.3

classification 🪐 quant-ph

keywords exact factorizationelectron-nuclear dynamicselectromagnetic fieldsBerry curvaturemagnetic field compensationnon-adiabatic theoryquantum molecular dynamics

0 comments

The pith

The exact factorization framework extended to electromagnetic fields proves that the magnetic field is compensated by the Berry-curvature field in the nuclear equation of motion for a neutral atom in a uniform magnetic field.

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

The paper extends the exact factorization approach to separate nuclear and electronic motion when external electromagnetic fields are present. It maintains formal equivalence to the full many-body Schrödinger equation while exposing how the physical magnetic field interacts with the geometric Berry-curvature field generated by the electronic wave function's dependence on nuclear coordinates. The central result is a rigorous demonstration that these fields cancel exactly in the effective nuclear dynamics for a neutral atom, so the atom experiences no net Lorentz deflection along a straight trajectory. This supplies a controlled starting point for building approximations to correlated electron-nuclear motion under realistic laboratory fields.

Core claim

Within the exact-factorization theory for a neutral atom in a uniform magnetic field, the physical magnetic field is exactly compensated by the Berry-curvature field in the nuclear equation of motion, so that the effective force on the nucleus vanishes.

What carries the argument

Exact factorization of the total wave function into a nuclear factor and an electronic conditional factor, augmented by electromagnetic vector potentials that generate both physical fields and Berry connections whose curvature enters the nuclear dynamics.

If this is right

The nuclear trajectory of a neutral atom in a uniform magnetic field remains straight-line within the EF description.
Any approximation constructed from the extended EF equations automatically inherits the exact cancellation of magnetic and Berry forces for neutral species.
Non-adiabatic couplings and time-dependent geometric phases remain well-defined and usable when external electromagnetic fields are present.

Where Pith is reading between the lines

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

Trajectory-based molecular dynamics codes could drop explicit magnetic deflection terms for neutral fragments when using EF-derived potentials.
The same cancellation logic may guide the construction of effective models for atoms or molecules in slowly varying magnetic traps.
Time-dependent or inhomogeneous fields offer a natural next test case where partial compensation could be quantified.

Load-bearing premise

The exact factorization remains formally equivalent to the many-body Schrödinger equation when electromagnetic fields are added to the problem.

What would settle it

Numerical integration of the full many-body Schrödinger equation for a model neutral atom in a uniform magnetic field, followed by extraction of the effective nuclear force and direct comparison with the zero-force prediction of the extended EF nuclear equation.

Figures

Figures reproduced from arXiv: 2511.08268 by E. K. U. Gross, Vladimir U. Nazarov.

**Figure 1.** Figure 1: FIG. 1. Harmonium atom in magnetic field. Coefficient of [PITH_FULL_IMAGE:figures/full_fig_p008_1.png] view at source ↗

read the original abstract

The Exact Factorization (EF) theory aims at the separation of the nuclear and electronic degrees of freedom in the many-body (MB) quantum mechanical problem. Being formally equivalent to the solution of the MB Schr\"{o}dinger equation, EF sets up a strategy for the construction of efficient approximations in the theory of the correlated electronic-nuclear motion. Here we extend the EF formalism to incorporate the case of a system under the action of an electromagnetic field. An important interplay between the physical magnetic and the Berry-curvature fields is revealed and discussed within the fully non-adiabatic theory. In particular, it is a known property of the Born-Oppenheimer approximation that, for a neutral atom in a uniform magnetic field, the latter is compensated by the Berry-curvature field in the nuclear equation of motion (\citet{Yin-92}). From an intuitive argument that the atom must not be deflected by the Lorentz force from a straight line trajectory, it has been conjectured that the same compensation should occur within the EF theory as well. We give a rigorous proof of this property.

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 paper cleanly extends exact factorization to electromagnetic fields and gives a direct proof that Berry curvature cancels the Lorentz term for neutral atoms in uniform B fields.

read the letter

The main point is that this work takes the exact factorization approach and adds electromagnetic fields through minimal coupling, then proves that the physical magnetic field gets exactly offset by the Berry curvature term in the nuclear equation of motion for a neutral atom in a uniform field. That settles the earlier conjecture with a formal argument that follows from keeping the equivalence to the full many-body Schrödinger equation. The derivation stays straightforward and does not introduce extra assumptions or gauge issues that would break the result. What stands out is how they keep the non-adiabatic character of the original EF framework while handling the external fields, which makes the compensation property hold without falling back to the Born-Oppenheimer limit. The math checks out on the central steps, and the citation to the prior conjecture is handled properly. A minor limitation is that the paper stays at the level of the formal equations and the specific uniform-field case, so it does not yet show how the new terms affect practical approximations or numerical schemes. That is not a flaw for this kind of theoretical note, but it does mean the immediate payoff is mostly for people already using EF in field-dependent problems. Readers working on non-adiabatic molecular dynamics or geometric phases in external fields will find the result useful and worth checking. The work is coherent on its own terms and deserves a serious referee rather than a desk rejection.

Referee Report

2 major / 2 minor

Summary. The paper extends the exact factorization (EF) ansatz to electron-nuclear systems in electromagnetic fields by incorporating minimal coupling into the many-body Schrödinger equation. It derives the corresponding nuclear equation of motion, which includes both the physical Lorentz force and a Berry-curvature term arising from the parametric dependence of the electronic factor on nuclear coordinates. The central result is a rigorous proof that, for a neutral atom in a uniform magnetic field, these two contributions exactly cancel, so that the nuclear trajectory remains undeflected, consistent with the Born-Oppenheimer case and with the physical requirement that a neutral system experiences no net Lorentz force.

Significance. If the derivation and proof hold, the work demonstrates that the EF framework correctly reproduces the expected cancellation between physical magnetic and geometric Berry-curvature fields even in the fully non-adiabatic regime. This removes a potential objection to using EF-based approximations for molecular dynamics in external magnetic fields and supplies a concrete, falsifiable prediction that can be checked numerically. The absence of free parameters or ad-hoc adjustments in the cancellation strengthens the claim that EF remains formally equivalent to the original many-body problem after the minimal-coupling extension.

major comments (2)

[Derivation of nuclear equation of motion] The proof of exact cancellation relies on the formal equivalence of the extended EF equations to the many-body Schrödinger equation with minimal coupling. The manuscript should explicitly verify, in the section deriving the nuclear EOM, that the vector-potential terms introduced by minimal coupling do not generate additional gauge-dependent contributions that survive after integration over electronic degrees of freedom; otherwise the cancellation could be gauge-dependent rather than physical.
[Proof of compensation for neutral atom] The neutrality condition (vanishing total charge) is invoked to obtain exact cancellation. The manuscript should state, with an equation reference, precisely which term in the nuclear force expression vanishes only when the sum of nuclear and electronic charges is zero; without this step shown explicitly, it is unclear whether the result generalizes to charged systems or is an artifact of the neutral-atom assumption.

minor comments (2)

[Introduction] The abstract cites Yin-92 for the Born-Oppenheimer result; the main text should briefly recall the corresponding Berry-curvature expression in that limit so that the non-adiabatic generalization is easier to compare.
[Nuclear equation of motion] Notation for the Berry curvature and the electromagnetic vector potential should be distinguished more clearly (e.g., by subscripts) to avoid possible confusion when both appear in the same nuclear force expression.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive assessment and constructive comments on our manuscript. We address each major comment below and will incorporate the requested clarifications to improve clarity and rigor.

read point-by-point responses

Referee: [Derivation of nuclear equation of motion] The proof of exact cancellation relies on the formal equivalence of the extended EF equations to the many-body Schrödinger equation with minimal coupling. The manuscript should explicitly verify, in the section deriving the nuclear EOM, that the vector-potential terms introduced by minimal coupling do not generate additional gauge-dependent contributions that survive after integration over electronic degrees of freedom; otherwise the cancellation could be gauge-dependent rather than physical.

Authors: We agree that an explicit verification strengthens the presentation. In the revised manuscript we will add a short paragraph immediately following the derivation of the nuclear EOM. This paragraph will show that, after integration over the electronic factor, all additional vector-potential contributions arising from minimal coupling integrate to zero or cancel by virtue of the gauge invariance of the underlying many-body Schrödinger equation, confirming that the cancellation between the physical Lorentz force and the Berry-curvature term is gauge-independent. revision: yes
Referee: [Proof of compensation for neutral atom] The neutrality condition (vanishing total charge) is invoked to obtain exact cancellation. The manuscript should state, with an equation reference, precisely which term in the nuclear force expression vanishes only when the sum of nuclear and electronic charges is zero; without this step shown explicitly, it is unclear whether the result generalizes to charged systems or is an artifact of the neutral-atom assumption.

Authors: We thank the referee for this observation. In the revised version we will insert an explicit statement, with reference to the relevant equation in the nuclear force expression, identifying the term proportional to the total charge (nuclear plus electronic) that vanishes if and only if the sum of charges is zero. We will also note that for charged systems this term remains finite, so the exact cancellation does not occur and the nuclei experience a net Lorentz force, consistent with physical expectation. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper starts from the standard exact-factorization ansatz and its known formal equivalence to the many-body Schrödinger equation, then extends the formalism to electromagnetic fields via minimal coupling. From the resulting nuclear equation of motion it derives and rigorously proves the exact cancellation between the physical Lorentz force and the Berry-curvature term for a neutral atom in a uniform magnetic field. This proof is presented as a direct algebraic consequence of the extended equations rather than a fit, a self-referential definition, or a load-bearing self-citation. The only external reference (Yin-92) is used solely to recall the Born-Oppenheimer case and does not substitute for the new EF proof. No step reduces by construction to its own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on the standard axioms of quantum mechanics and the existing exact factorization framework. No free parameters or new invented entities are mentioned in the abstract.

axioms (1)

domain assumption The exact factorization formalism is formally equivalent to the solution of the many-body Schrödinger equation.
This equivalence is the foundation being extended to electromagnetic fields.

pith-pipeline@v0.9.0 · 5489 in / 1145 out tokens · 27650 ms · 2026-05-17T23:44:24.463683+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/ArrowOfTime.lean arrow_from_z echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

We give a rigorous proof of this property [that the magnetic field is compensated by the Berry-curvature field in the nuclear equation of motion within the EF theory for a neutral atom in a uniform magnetic field].

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

18 extracted references · 18 canonical work pages

[1]

Yin and C

L. Yin and C. A. Mead, Magnetic screening of nuclei by electrons as manifestation of geometric vector potential, Theoretica chimica acta82, 397 (1992)

work page 1992
[2]

Ehrenfest, Z

P. Ehrenfest, Z. Physik45, 455–457 (1927)

work page 1927
[3]

Abedi, N

A. Abedi, N. T. Maitra, and E. K. U. Gross, Exact fac- torization of the time-dependent electron-nuclear wave function, Phys. Rev. Lett.105, 123002 (2010)

work page 2010
[4]

Abedi, N

A. Abedi, N. T. Maitra, and E. K. U. Gross, Corre- lated electron-nuclear dynamics: Exact factorization of the molecular wavefunction, The Journal of Chemical Physics137, 22A530 (2012)

work page 2012
[5]

McLachlan, A variational solution of the time- dependent Schrodinger equation, Molecular Physics8, 39 (1964)

A. McLachlan, A variational solution of the time- dependent Schrodinger equation, Molecular Physics8, 39 (1964)

work page 1964
[6]

C. Li, R. Requist, and E. K. U. Gross, Energy, momen- tum, and angular momentum transfer between electrons and nuclei, Phys. Rev. Lett.128, 113001 (2022)

work page 2022
[7]

Agostini, A

F. Agostini, A. Abedi, and E. K. U. Gross, Classical nu- clear motion coupled to electronic non-adiabatic tran- sitions, The Journal of Chemical Physics141, 214101 (2014)

work page 2014
[8]

S. K. Min, A. Abedi, K. S. Kim, and E. K. U. Gross, Is the molecular berry phase an artifact of the born- oppenheimer approximation?, Phys. Rev. Lett.113, 263004 (2014)

work page 2014
[9]

Requist, F

R. Requist, F. Tandetzky, and E. K. U. Gross, Molecular geometric phase from the exact electron-nuclear factor- ization, Phys. Rev. A93, 042108 (2016)

work page 2016
[10]

Requist, C

R. Requist, C. R. Proetto, and E. K. U. Gross, Asymp- totic analysis of the berry curvature in thee N ejahn- teller model, Phys. Rev. A96, 062503 (2017)

work page 2017
[11]

L. D. M. Peters, T. Culpitt, E. I. Tellgren, and T. Hel- gaker, Magnetic-translational sum rule and approximate models of the molecular berry curvature, The Journal of Chemical Physics157, 134108 (2022)

work page 2022
[12]

T. Qin, J. Zhou, and J. Shi, Berry curvature and the phonon hall effect, Phys. Rev. B86, 104305 (2012)

work page 2012
[13]

Avron, I

J. Avron, I. Herbst, and B. Simon, Separation of center of mass in homogeneous magnetic fields, Annals of Physics 114, 431 (1978)

work page 1978
[14]

Herold, H

H. Herold, H. Ruder, and G. Wunner, The two-body problem in the presence of a homogeneous magnetic field, Journal of Physics B: Atomic and Molecular Physics14, 751 (1981)

work page 1981
[15]

The essence of the variational principle of McLachlan [5] is that, at every time momentt, one considers the var- ied function fixed, while its time-derivative, which deter- mines the function’s value at the infinitesimal close time momentt+δt, is tuned to minimize the functional (A1)

work page
[16]

L. D. Landau and E. M. Lifshitz,Quantum Mechanics Non-Relativistic Theory, 3rd ed., Vol. III (Butterworth- Heinemann, London, 1981). Appendix A: Derivation of equations of motion

work page 1981
[17]

(29)] Provisionally considering Φ R= (r=, t) as fixed, we apply the McLachlan’s time-dependent variational prinicple [5] to determineχ(R=, t)

Nuclear equation of motion [Eq. (29)] Provisionally considering Φ R= (r=, t) as fixed, we apply the McLachlan’s time-dependent variational prinicple [5] to determineχ(R=, t). At every time momentt, we mini- mize the functional ∆(t) = Z h i¯h∂t − ˆH(t) i χ(R=, t)ΦR= (r=, t) 2 dR=dr= (A1) with respect to the variation of∂ tχ(R=, t) [15]. Equating the variat...

work page
[18]

− ie 2¯hc NX i=1 (B×R)·r i # , (B5) which can also be written as ΦBO R (r=) = exp

Electronic equation of motion [Eq. (30)] Combining Eqs. (1), (11), and (26), we can write i¯h∂tΦR= (r=, t) =   ˆH BO(t)−i¯h ∂tχ(R=, t) χ(R=, t)   ΦR= (r=, t) + 1 χ(R=, t) ˆHn(t) χ(R=, t)ΦR= (r=, t) . (A6) Equation (30) is, finally, established by the substitu- tion of∂ tχ(R=, t) from Eq. (29) and working out the direct application of ˆHn(t) of Eq. (27...

work page