arxiv: 2605.02349 · v1 · submitted 2026-05-04 · 🧮 math-ph · math.MP

Recognition: 3 theorem links

· Lean Theorem

On the Ultraviolet Problem for the Ground State Energy of the Translation-Invariant Pauli--Fierz Model at Zero Total Momentum

Merten Mlinarzik, Miguel Ballesteros, Volker Bach

Pith reviewed 2026-05-08 18:44 UTC · model grok-4.3

classification 🧮 math-ph math.MP

keywords Pauli-Fierz modelultraviolet cutoffground state energyBogoliubov-Hartree-Fockzero total momentumquasifree statesconvex variational functional

0 comments

The pith

The minimum of the modified Bogoliubov-Hartree-Fock energy for the zero-momentum Pauli-Fierz model grows asymptotically as the ultraviolet cutoff to the power 3/2.

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

The paper analyzes the ground state energy of the translation-invariant Pauli-Fierz model at zero total momentum through a variational method that employs quasifree states obtained from Bogoliubov and Weyl transformations of the vacuum. The resulting energy functional is shown not to be convex in its parameters, prompting the isolation and removal of one non-convex term while the full interaction is retained. The modified functional is proved to be strictly convex and to possess a unique minimizer. An explicit partial minimizer with respect to the displacement vector for fixed Bogoliubov parameter reduces the problem to a single variable, after which the minimum is estimated and shown to scale as Λ^{3/2} up to a multiplicative constant when the ultraviolet cutoff Λ tends to infinity. This supplies a concrete quantitative upper bound that describes the ultraviolet divergence of the approximate ground-state energy in the absence of external potentials.

Core claim

We prove that the modified energy functional, obtained by removing the non-convex term from the Bogoliubov-Hartree-Fock expression while keeping the full interaction, is strictly convex and admits a unique minimizer. We construct an explicit partial minimizer over the Weyl parameter η for any fixed Bogoliubov parameter z, which reduces the minimization to a problem in the single variable η. We then estimate the minimum value of this reduced functional and show that it grows asymptotically as Λ^{3/2} when Λ → ∞.

What carries the argument

The modified Bogoliubov-Hartree-Fock energy functional obtained by subtracting the identified non-convex term from the original expression while retaining the full interaction term, which is shown to be strictly convex in the parameters η and z.

If this is right

The modified functional admits a unique minimizer.
An explicit partial minimizer over the Weyl parameter η for fixed z reduces the variational problem to a single variable.
The minimum of the reduced functional grows asymptotically as a constant times Λ^{3/2} as Λ tends to infinity.
This minimum furnishes an upper bound for the ground-state energy of the original Pauli-Fierz Hamiltonian at zero total momentum.

Where Pith is reading between the lines

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

The same power-law divergence may govern the true ground-state energy, indicating the form of ultraviolet divergence that any renormalization procedure must cancel.
The device of excising a non-convex contribution to restore strict convexity while preserving the interaction may be useful in other variational approximations arising in quantum field models.
The explicit form of the partial minimizer could be used to extract further information about the structure of the approximate ground state and its dependence on the cutoff.

Load-bearing premise

Removing the identified non-convex term from the Bogoliubov-Hartree-Fock energy while retaining the full interaction still yields a functional whose minimum provides a useful upper bound on the true ground-state energy of the original Pauli-Fierz operator.

What would settle it

A numerical evaluation of the minimum of the modified functional for successively larger values of the ultraviolet cutoff Λ that fails to produce growth proportional to Λ^{3/2} would falsify the claimed asymptotic scaling.

read the original abstract

We study the ground state energy of the Pauli--Fierz model in the absence of external potentials. We consider the fiber decomposition of the Pauli--Fierz operator with respect to the spectral values, $p$, of the total momentum operator and focus on the case $p = 0$. The corresponding variational problem is analyzed to estimate the dependence of the ground state energy on the ultraviolet cutoff $\Lambda$. We employ a Bogoliubov--Hartree--Fock approximation using pure, quasifree states generated by Bogolubov transformations (parametrized by a positive Hilbert--Schmidt operator $z$) and Weyl transformations (parametrized by a vector $\eta$) applied to the vacuum. We prove that the resulting energy functional is not a convex function of $\eta$ and $z$. We identify the non-convex term and remove it from the energy functional. The modified functional retains the full interaction term and is shown to be strictly convex. We study the ground state of the modified functional and prove the existence of a unique minimizer. Furthermore, we construct an explicit partial minimizer (with respect to $\eta$, for fixed $z$), which allows us to eliminate $z$ and reduce the minimization problem to a single variable, $\eta$. Finally, we estimate the minimum of the modified energy functional in terms of the ultraviolet cutoff $\Lambda$ and demonstrate that, up to a constant factor, it grows asymptotically as $\Lambda^{3/2}$, as $\Lambda \to \infty$.

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 gives a Lambda^{3/2} asymptotic for the minimum of a modified Bogoliubov-Hartree-Fock functional after dropping one non-convex term, but that change breaks the direct variational upper bound on the original Pauli-Fierz ground-state energy.

read the letter

The paper shows that after removing a particular non-convex term from the Bogoliubov-Hartree-Fock energy, the resulting functional is strictly convex, has a unique minimizer, and its minimum grows like Lambda to the 3/2 as the ultraviolet cutoff goes to infinity. This is the central new result, along with the reduction of the minimization to a single variable via partial minimization over the Weyl parameter. They do a good job laying out the steps: proving non-convexity, identifying the term, restoring convexity while keeping the interaction, showing existence and uniqueness, and then getting the explicit asymptotic. The single-variable reduction is a practical simplification that makes the estimate feasible. The soft spot is in how this connects back to the original problem. The standard variational principle gives an upper bound on the ground state energy from the expectation value on trial states. Removing a term from that expectation means the minimum of the new functional no longer serves as an upper bound in the same way. Its value could be anything relative to the original minimum, so the Lambda^{3/2} growth does not automatically give information about the ultraviolet behavior of the true ground state energy at zero momentum. The abstract keeps the full interaction but the removal still breaks the direct comparison. This work is aimed at researchers in mathematical physics who study cutoff dependence and renormalization in quantum electrodynamics models. A reader interested in variational methods for QED will find the technical details useful, even if the physical interpretation needs more discussion. It deserves a serious referee because the claims are specific and the approach is direct, though the proofs will need careful checking for the convexity and asymptotic estimates. I would recommend sending it to peer review with the expectation that the authors clarify the relation between the modified functional and the original energy bound.

Referee Report

2 major / 1 minor

Summary. The paper analyzes the ground-state energy of the translation-invariant Pauli-Fierz model at zero total momentum via a Bogoliubov-Hartree-Fock variational ansatz using quasifree states parametrized by a Hilbert-Schmidt operator z and a vector η. It proves that the associated energy functional is non-convex, identifies and removes a non-convex term while retaining the full interaction, establishes that the resulting modified functional is strictly convex, proves existence of a unique minimizer, constructs an explicit partial minimizer over η for fixed z to reduce the problem to a single variable, and derives that the minimum of this modified functional grows asymptotically as Λ^{3/2} (up to a constant factor) as the ultraviolet cutoff Λ → ∞.

Significance. If the relation between the modified functional and the original Pauli-Fierz ground-state energy can be clarified, the result would supply a concrete, rigorous asymptotic for the ultraviolet behavior of a variational upper bound in a translation-invariant QED-type model. The convexity restoration argument and the reduction to a single-variable minimization are technically substantive contributions to the analysis of infinite-dimensional variational problems in quantum field theory.

major comments (2)

[Abstract / modified-functional section] Abstract and the section describing the modified functional: the Bogoliubov-Hartree-Fock functional equals the expectation value of the cutoff Pauli-Fierz operator on quasifree trial states and therefore supplies a variational upper bound to the true ground-state energy. After removal of the identified non-convex term, the minimum of the modified functional is no longer guaranteed to be comparable to the original variational minimum; the sign and magnitude of the removed term evaluated at the new minimizer remain uncontrolled. Consequently the claimed Λ^{3/2} asymptotic does not automatically translate into an upper bound (or any bound) on the ground-state energy of the original operator at total momentum zero. This link is load-bearing for the ultraviolet problem stated in the title.
[Reduction to single variable η] The reduction step that eliminates z via the partial minimizer over η: while the existence of a unique minimizer for the strictly convex modified functional is asserted, the explicit construction of the partial minimizer and the subsequent elimination of z must be checked to ensure that the resulting single-variable functional still retains the full interaction term and that the asymptotic estimate remains valid after this reduction.

minor comments (1)

[Variational setup] Notation for the parameters z (positive Hilbert-Schmidt operator) and η (vector) should be introduced with explicit domain statements in the variational setup to avoid ambiguity when passing between the original and modified functionals.

Simulated Author's Rebuttal

2 responses · 0 unresolved

Dear Editor, We thank the referee for the thorough reading and for recognizing the technical contributions of the convexity restoration and reduction arguments. We address the two major comments point by point below. We agree that the relation between the modified functional and the original variational upper bound requires clarification and will revise the manuscript accordingly.

read point-by-point responses

Referee: Abstract and the section describing the modified functional: the Bogoliubov-Hartree-Fock functional equals the expectation value of the cutoff Pauli-Fierz operator on quasifree trial states and therefore supplies a variational upper bound to the true ground-state energy. After removal of the identified non-convex term, the minimum of the modified functional is no longer guaranteed to be comparable to the original variational minimum; the sign and magnitude of the removed term evaluated at the new minimizer remain uncontrolled. Consequently the claimed Λ^{3/2} asymptotic does not automatically translate into an upper bound (or any bound) on the ground-state energy of the original operator at total momentum zero. This link is load-bearing for the ultraviolet problem stated in the title.

Authors: We agree that removing the non-convex term means the modified functional no longer coincides with the expectation value of the Pauli-Fierz operator, so its minimum does not furnish a direct variational upper bound. The removed term is a specific quadratic contribution in η whose sign and Λ-dependence at the new minimizer are not controlled in the present manuscript. We will add a dedicated paragraph in the modified-functional section that computes the order of this term along the minimizing sequence and, if it proves o(Λ^{3/2}), we will state the resulting implication for the original variational minimum. The abstract and introduction will be revised to make explicit that the Λ^{3/2} result is proved for the modified functional and to discuss its bearing on the ultraviolet problem. revision: yes
Referee: The reduction step that eliminates z via the partial minimizer over η: while the existence of a unique minimizer for the strictly convex modified functional is asserted, the explicit construction of the partial minimizer and the subsequent elimination of z must be checked to ensure that the resulting single-variable functional still retains the full interaction term and that the asymptotic estimate remains valid after this reduction.

Authors: The partial minimization over η for fixed z is carried out explicitly in Section 4 by solving the linear Euler-Lagrange equation that arises from the variation; the resulting expression for the minimized energy still contains the complete interaction term (the term linear in the field operators is retained after substitution). The asymptotic analysis of Section 5 is performed on this reduced functional of z alone. We will insert a short clarifying sentence after the reduction step confirming that the interaction is preserved and that the Λ^{3/2} growth is established directly on the reduced object. revision: partial

Circularity Check

0 steps flagged

No significant circularity in the mathematical derivation chain

full rationale

The paper's analysis proceeds through direct mathematical steps: identifying non-convexity in the Bogoliubov-Hartree-Fock energy functional, removing the non-convex term to obtain a strictly convex modified functional, proving existence and uniqueness of the minimizer, constructing a partial minimizer to reduce to a single variable, and deriving the asymptotic growth of the minimum as Λ^{3/2}. These are all explicit operator-theoretic constructions and estimates without any fitted parameters, self-citations used as load-bearing uniqueness results, or redefinitions that make outputs equivalent to inputs by construction. The derivation is self-contained within the Hilbert space framework and does not reduce to its own assumptions circularly.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The analysis rests on the standard mathematical setup of the Pauli-Fierz Hamiltonian on Fock space and on the properties of Bogoliubov and Weyl transformations; no new entities or data-fitted parameters are introduced.

axioms (2)

domain assumption The Pauli-Fierz operator at fixed total momentum p=0 is self-adjoint and bounded from below on the appropriate Fock space.
Required for the ground-state energy to be well-defined and for the variational problem to make sense.
standard math Bogoliubov transformations generated by a Hilbert-Schmidt operator z and Weyl transformations generated by a vector eta produce quasifree states whose energy can be expressed in closed form.
Standard result in quantum field theory used to write the explicit energy functional.

pith-pipeline@v0.9.0 · 5589 in / 1500 out tokens · 56353 ms · 2026-05-08T18:44:29.256170+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/Cost/FunctionalEquation.lean (J-cost uniqueness) washburn_uniqueness_aczel unclear
EBHF(Hg,Λ_p) := inf_{PQDM} Tr[ρ Hg,Λ_p] ... PQDM = {|W_η U_B Ω⟩⟨W_η U_B Ω| | B ∈ Bog(h^Λ_ph), η ∈ h^Λ_ph}
IndisputableMonolith/Foundation/AlphaDerivationExplicit.lean (parameter-free constants) alphaProvenanceCert unclear
4√π/√3 gΛ^{3/2} ≤ E^{g,Λ}_G ≤ 4√(3π) gΛ^{3/2} for all g>0 and Λ > (3/(8π)) g^{-2}.
IndisputableMonolith/Cost (cosh-cost / ratio-symmetric J) Jcost_pos_of_ne_one unclear
The functional G^{g,Λ} is strictly convex on HS_ε(h_Λ) ⊕ h_Λ ... uses operator convexity of x↦(1+x)^{-1} and x^2(1+x)^{-1} = (1+x) + (1+x)^{-1} − 2.

Reference graph

Works this paper leans on

51 extracted references · 3 canonical work pages

[1]

A. Arai. Rigorous theory of spectra and radiation for a model in quantum electrodynamics.J. Math. Phys., 24:1896–1910, 1983

1910
[2]

Arai and M

A. Arai and M. Hirokawa. Ground states of a general class of quantum field Hamiltonians.Rev. Math. Phys., 12(8):1085–1135, 2000

2000
[3]

H. Araki. On quasifree states of the canonical commutation relations (II). Publ. RIMS Kyoto, 7:121–152, 1971/72

1971
[4]

Araki and M

H. Araki and M. Shiraishi. On quasifree states of the canonical commutation relations (I).Publ. RIMS Kyoto, 7:105–120, 1971/72. 53

1971
[5]

V. Bach, M. Ballesteros, D. Iniesta, and A. Pizzo. A new method of con- struction of resonances that applies to critical models.J. Functional Analysis, 280(6):108818, 2021

2021
[6]

V. Bach, M. Ballesteros, and A. Pizzo. Existence and construction of resonances for atoms coupled to the quantized radiation field.Adv. Math., 314:540–572, 2017

2017
[7]

V. Bach, S. Breteaux, and T. Tzaneteas. Minimization of the energy of the non- relativistic one-electron Pauli-Fierz model over quasifree states.Doc. Math., 18:1481–1519, 2013

2013
[8]

V. Bach, J. Fr¨ ohlich, and A. Pizzo. Infrared-finite algorithms in QED: The groundstate of an atom interacting with the quantized radiation field.Com- mun. Math. Phys., February 2006. DOI: 10.1007/s00220-005-1478-3

work page doi:10.1007/s00220-005-1478-3 2006
[9]

V. Bach, J. Fr¨ ohlich, and I. M. Sigal. Mathematical theory of non-relativistic matter and radiation.Lett. Math. Phys., 34:183–201, 1995

1995
[10]

V. Bach, J. Fr¨ ohlich, and I. M. Sigal. Quantum electrodynamics of confined non-relativistic particles.Adv. Math., 137:299–395, 1998

1998
[11]

V. Bach, J. Fr¨ ohlich, and I. M. Sigal. Renormalization group analysis of spectral problems in quantum field theory.Adv. Math., 137:205–298, 1998

1998
[12]

V. Bach, J. Fr¨ ohlich, and I. M. Sigal. Spectral analysis for systems of atoms and molecules coupled to the quantized radiation field.Commun. Math. Phys., 207(2):249–290, 1999

1999
[13]

Bach and A

V. Bach and A. Hach. On the ultraviolet limit of the Pauli-Fierz Hamiltonian in the Lieb-Loss model.Ann. Henri Poincar´ e, 23(6):2207–2245, 2022

2022
[14]

V. Bach, E. H. Lieb, and J. P. Solovej. Generalized Hartree-Fock theory and the Hubbard model.J. Stat. Phys., 76:3–90, 1994

1994
[15]

Ballesteros, J

M. Ballesteros, J. Faupin, J. Fr¨ ohlich, and B. Schubnel. Quantum electrody- namics of atomic resonances.Commun. Math. Phys., 337:633–680, 2015

2015
[16]

Barbaroux, T

J.-M. Barbaroux, T. Chen, and S. Vugalter. Binding conditions for atomic N-electron systems in non-relativistic QED.Ann. H. Poincar´ e, 4:1101–1136, 2003

2003
[17]

Berezin.The method of second quantization

F. Berezin.The method of second quantization. Academic Press, New York, San Francisco, London, 1 edition, 1966

1966
[18]

Bhatia.Matrix analysis, volume 169 ofGrad

R. Bhatia.Matrix analysis, volume 169 ofGrad. Texts Math.New York, NY: Springer, 1996. 54

1996
[19]

Birman, L

M. Birman, L. Koplienko, and M. Solomyak. Estimates of the spectrum of a dif- ference of fractional powers of selfadjoint operators.Izv. Vyssh. Uchebn. Zaved., Mat., 1975(3(154)):3–10, 1975

1975
[20]

Bratteli and D

O. Bratteli and D. Robinson.Operator Algebras and Quantum Statistical Me- chanics 2. Text and Monographs in Physics. Springer-Verlag, Berlin, 2 edition, 1996

1996
[21]

Breteaux, J

S. Breteaux, J. Faupin, and J. Payet. Quasi-classical ground states. I. linearly coupled Pauli-Fierz Hamiltonians.Documenta Mathematica, 28(5):1191–1233, 2023

2023
[22]

Breteaux, J

S. Breteaux, J. Faupin, and J. Payet. Quasi-classical ground states. II. standard model of non-relativistic QED.Ann. Inst. Fourier, 75(3):1177–1220, 2025

2025
[23]

Brezis.Functional analysis, Sobolev spaces and partial differential equations

H. Brezis.Functional analysis, Sobolev spaces and partial differential equations. Universitext. New York, NY: Springer, 2011

2011
[24]

Caps.Evolution Equations in Scales of Banach Spaces

O. Caps.Evolution Equations in Scales of Banach Spaces. B.G. Teubner, Stuttgart, Leipzig, Wiesbaden, 2002

2002
[25]

Dam and J

T. Dam and J. S. Møller. Asymptotics in spin-boson type models.Commun. Math. Phys., 374(3):1389–1415, 2020

2020
[26]

Deckert and A

D.-A. Deckert and A. Pizzo. Ultraviolet properties of the spinless, one-particle Yukawa model.Commun. Math. Phys., 327(3):887–920, 2014

2014
[27]

Derezinski

J. Derezinski. Introduction to representations of the canonical commutation and anticommutation relations. InLarge Coulomb Systems, volume 695 of LNP, pages 63–143. Springer, 2006

2006
[28]

Derezinski and C

J. Derezinski and C. G´ erard. Asymptotic completeness in quantum field theory. massive Pauli-Fierz Hamiltonians.Rev. Math. Phys., 11(4):383–450, 1999

1999
[29]

Derezinski, M

J. Derezinski, M. Napiorkowski, and J. Solovej. On the minimization of Hamil- tonians over pure Gaussian states. InComplex Quantum Systems. Analysis of Large Coulomb Systems, volume 24 ofLecture Notes Series. Inst. for Math. Studies, National University of Singapore, 2013

2013
[30]

Fr¨ ohlich

J. Fr¨ ohlich. On the infrared problem in a model of scalar electrons and massless scalar bosons.Ann. Inst. H. Poincar´ e, 19:1–103, 1973

1973
[31]

Fr¨ ohlich

J. Fr¨ ohlich. Existence of dressed one-electron states in a class of persistent models.Fortschr. Phys., 22:159–198, 1974

1974
[32]

C. Gerard. On the existence of ground states for massless Pauli-Fierz Hamil- tonians.Ann. H. Poincar´ e, 1(3):443–445, 2000. 55

2000
[33]

and Lieb, E

M. Griesemer, E. Lieb, and M. Loss. Ground states in nonrelativistic quantum electrodynamics.Invent. math., June 2001. DOI 10.1007/s002220100159

work page doi:10.1007/s002220100159 2001
[34]

Griesemer and U

M. Griesemer and U. Linden. Spectral theory of the fermi polaron.Ann. Henri Poincar´ e, 20:1931–1967, 2019

1931
[35]

E. Gross. Particle-like solutions in field theory.Annals of Physics, 19:219–233, 1962

1962
[36]

Hasler and I

D. Hasler and I. Herbst. Absence of ground states for a class of translation invariant models of non-relativistic QED.Commun. Math. Phys., 279(3):769– 787, 2008

2008
[37]

Hasler and I

D. Hasler and I. Herbst. On the self-adjointness and domain of Pauli-Fierz type Hamiltonians.Rev. Math. Phys., 20(7):787–800, 2008

2008
[38]

Hasler and I

D. Hasler and I. Herbst. Ground states in the spin boson model.Ann. Henri Poincar´ e, 12:621–677, 2011

2011
[39]

Hasler and O

D. Hasler and O. Siebert. Ground states for infrared renormalized translation- invariant non-relativistic QED.Ann. Henri Poincar´ e, 25(11):4809–4853, 2024

2024
[40]

M. Herdzik. Minimization of an energy functional for an electron in the quan- tized radiation field over quasifree states. Master’s thesis, TU Braunschweig, April 2023

2023
[41]

Hiroshima

F. Hiroshima. Essential self-adjointness of translation-invariant quantum field models for arbitrary coupling constants.Commun. Math. Phys., 211:585–613, 2000

2000
[42]

J. Lampart. The renormalised Bogoliubov-Fr¨ ohlich hamiltonian. arXiv:1909.02430, 2020

work page arXiv 1909
[43]

Lieb and M

E. Lieb and M. Ruskai. Some operator inequalities of the Schwarz type. Adv. Math., 12:269–273, 1974

1974
[44]

E. H. Lieb and M. Loss. Self-energy of electrons in non-perturbative QED. In Conf´ erence Mosh´ e Flato 1999: Quantization, deformation, and symmetries, Di- jon, France, September 5–8, 1999. Volume I, pages 327–344. Dordrecht: Kluwer Academic Publishers, 2000

1999
[45]

E. Nelson. Interaction of non-relativistic particles with a quantized scalar field. J. Math. Phys., 5:1190–1197, 1964

1964
[46]

Peskin and D

M. Peskin and D. Schroeder.An Introduction to quantum field theory. Reading, Perseus Books, 1995

1995
[47]

A. Pizzo. One-particle (improper) states in Nelson’s massless model. Ann. H. Poincar´ e, 4(3):439–486, 2003. 56

2003
[48]

Reed and B

M. Reed and B. Simon.Methods of Modern Mathematical Physics: II. Fourier Analysis and Self-Adjointness, volume 2. Academic Press, San Diego, 2 edition, 1980

1980
[49]

I. Sigal. Ground state and resonances in the standard model of the non- relativistic QED.J. Stat. Phys., 134(5-6):899–939, 2009

2009
[50]

J. Solovej. Many body quantum mechanics. March 2014

2014
[51]

H. Spohn. Asymptotic completeness for Rayleigh scattering.J. Math. Phys., 38:2281–2296, 1997. 57

1997