pith. sign in

arxiv: 2312.10496 · v2 · submitted 2023-12-16 · 🧮 math-ph · math.MP

Ultraviolet Renormalisation of a Quantum Field Toy Model II

Benjamin Alvarez , Jacob Schach M{\o}ller This is my paper

Pith reviewed 2026-05-24 05:11 UTC · model grok-4.3

classification 🧮 math-ph math.MP
keywords ultraviolet renormalizationnorm resolvent convergenceself-energy countertermsYukawa toy modelboson-fermion interactionquantum field theorythree dimensionsFock space Hamiltonian
0
0 comments X

The pith

Subtracting finitely many self-energy counterterms yields norm resolvent convergence to a UV-renormalized Hamiltonian for a scalar-fermion Yukawa toy model with no bound on coupling strength.

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

The paper shows that for interaction kernels bounded in the fermion momentum and decaying as |q|^{-p} with p greater than 1/2, the ultraviolet cutoff can be removed after subtracting a finite but sufficiently large number of recursively defined self-energy counterterms. These counterterms arise from a perturbation expansion of the ground-state energy. The result holds in three dimensions with an added spatial cutoff and produces a limiting self-adjoint operator on Fock space. A reader cares because the construction controls ultraviolet divergences in a simplified interacting quantum-field model without restricting the interaction strength.

Core claim

By subtracting a sufficiently large but finite number of recursively defined self-energy counter-terms, the ultraviolet cutoff can be removed from the family of cutoff Hamiltonians, yielding norm resolvent convergence to an ultraviolet-renormalized Hamiltonian; the procedure requires a spatial cutoff and works in three dimensions for p greater than 1/2.

What carries the argument

Recursively defined self-energy counterterms subtracted from the cutoff Hamiltonians to cancel ultraviolet divergences.

If this is right

  • The limiting renormalized Hamiltonian is self-adjoint and bounded from below on the Fock space.
  • The same finite renormalization procedure produces a well-defined dynamics for arbitrarily strong couplings.
  • The construction works uniformly in the spatial cutoff once the ultraviolet cutoff is removed.
  • The number of required counterterms remains finite and is determined by the decay exponent p.

Where Pith is reading between the lines

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

  • The method may extend to models with vector or spinor fermions provided the momentum kernels satisfy analogous decay and boundedness conditions.
  • Explicit computation of the first few counterterms for a concrete kernel choice would allow direct verification of the ground-state energy shift.
  • The spatial-cutoff requirement suggests that translation-invariant versions may need additional infrared regularization before the limit can be taken.

Load-bearing premise

The interaction kernels must decay at least as fast as |q| to the power minus p with p greater than one half at large boson momenta, and an extra spatial cutoff must be imposed.

What would settle it

Numerical computation of the resolvent norm distance between successive cutoff Hamiltonians (after counterterm subtraction) for increasing ultraviolet cutoffs that fails to approach zero for some p slightly above 1/2 would falsify the convergence claim.

read the original abstract

We consider a class of toy models describing a fermion field coupled with a boson field. The model can be viewed as a Yukawa model but with scalar fermions. As in our first paper, the interaction kernels are assumed bounded in the fermionic momentum variable and decaying like $|q|^{-p}$ for large boson momenta $q$. With no restrictions on the coupling strength, we prove norm resolvent convergence to an ultraviolet renormalized Hamiltonian, when the ultraviolet cutoff is removed. We do this by subtracting a sufficiently large, but finite, number of recursively defined self-energy counter-terms, which may be interpreted as arising from a perturbation expansion of the ground state energy. The renormalization procedure requires a spatial cutoff and works in three dimensions provided $p>\frac12$, which is as close as one may expect to the physically natural exponent $p = \frac12$.

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 / 3 minor

Summary. The manuscript proves norm-resolvent convergence, as the ultraviolet cutoff is removed, of a family of cutoff Hamiltonians for a Yukawa-type toy model (scalar fermions coupled to bosons) to a limiting renormalized operator. Convergence holds without any restriction on the coupling strength after subtracting a finite but sufficiently large number of recursively defined self-energy counterterms, which are constructed from a perturbative expansion of the model's own ground-state energy. The result requires a fixed spatial cutoff and applies in three dimensions when the interaction kernels are bounded in the fermionic momentum variable and decay as |q|^{-p} for boson momentum q with p > 1/2.

Significance. If the stated convergence holds, the work supplies an explicit, non-perturbative renormalization procedure for a simplified QFT model that avoids any small-coupling assumption. The recursive counterterm construction and the use of norm-resolvent topology constitute concrete technical progress beyond the authors' prior paper, and the result is falsifiable under the stated kernel hypotheses.

minor comments (3)
  1. The abstract and introduction state that the counterterms arise from a perturbation expansion of the ground-state energy, but the precise recursive definition (including the order at which the expansion is truncated) should be displayed explicitly in §2 or §3 with an equation number for later reference in the convergence argument.
  2. The spatial-cutoff requirement is stated up front, yet its necessity for the recursion to close should be justified by a brief remark or counter-example sketch in the introduction, as this is a load-bearing modeling choice even if not a mathematical obstruction.
  3. Notation for the cutoff Hamiltonians H_Λ and the renormalized limit H_ren should be introduced once in §1 and used consistently; occasional redefinition of symbols across sections risks confusion in the norm-resolvent estimates.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, recognition of the technical progress, and recommendation of minor revision. No specific major comments are listed in the report, so there are no individual points requiring point-by-point rebuttal or revision.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper defines the renormalized Hamiltonian explicitly by subtracting finitely many recursively defined counterterms (arising from the model's own ground-state perturbation expansion) and then proves norm resolvent convergence of the cutoff family to this limiting operator under explicit hypotheses (spatial cutoff, p > 1/2, bounded kernels). This is a standard definitional construction of the target object followed by a convergence theorem; the counterterms are inputs to the definition of the renormalized Hamiltonian rather than a derived prediction that reduces to the same inputs by construction. No load-bearing self-citations, uniqueness theorems imported from prior work, or reductions of the central claim to tautology appear in the derivation chain. The result is self-contained against the stated external assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on the stated decay and boundedness assumptions for the interaction kernels together with the existence of the recursive counterterms extracted from the ground-state perturbation series; no free parameters or new entities are introduced beyond these model hypotheses.

axioms (2)
  • domain assumption Interaction kernels are bounded in the fermionic momentum variable and decay like |q|^{-p} for large boson momenta q
    This is the explicit hypothesis that defines the admissible class of models.
  • domain assumption A spatial cutoff is imposed on the interaction
    The renormalization procedure is stated to require this cutoff.

pith-pipeline@v0.9.0 · 5674 in / 1396 out tokens · 34704 ms · 2026-05-24T05:11:16.107420+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

21 extracted references · 21 canonical work pages

  1. [1]

    Alvarez, Scattering Theory for Mathematical Models of the Weak Interaction, PhD Thesis, Chapter 5, Universit´ e de Lorraine, (2019), https://hal.univ-lorraine.fr/tel-02499865

    B. Alvarez, Scattering Theory for Mathematical Models of the Weak Interaction, PhD Thesis, Chapter 5, Universit´ e de Lorraine, (2019), https://hal.univ-lorraine.fr/tel-02499865

    work page 2019

  2. [2]

    B. L. Alvarez, J. S. Møller, Ultraviolet Renormalization of a Quantum Field Toy Model I , arXiv:2103.13770, (2021)

    work page arXiv 2021

  3. [3]

    Amrein, A

    W. Amrein, A. Boutet de Monvel and V. Georgescu, C0-groups, com- mutator methods and spectral theory of N-body Hamiltonians , Basel– Boston–Berlin, Birkh ¨auser, 1996

    work page 1996

  4. [4]

    V. Bach, T. Chen, J. Fr ¨ohlich and I. M. Sigal, Smooth Feshbach map and operator-theoretic renormalization group methods , J. Funct. Anal., 203 (2003), 44–92

    work page 2003

  5. [5]

    Das, Lectures on Quantum Field Theory Hackensack, USA: World Scientific, 2008

    A. Das, Lectures on Quantum Field Theory Hackensack, USA: World Scientific, 2008

    work page 2008

  6. [6]

    Derezi´ nski, C

    J. Derezi´ nski, C. G´ erardSpectral and Scattering Theory of Spatially Cut- Off P (ϕ )2 Hamiltonians, Comm. Math. Phys., 213 (2000), 39–125

    work page 2000

  7. [7]

    Derezi´ nski, Van Hove Hamiltonians–Exactly Solvable Models of the Infrared and Ultraviolet Problem , Ann

    J. Derezi´ nski, Van Hove Hamiltonians–Exactly Solvable Models of the Infrared and Ultraviolet Problem , Ann. Henri Poincar´ e, 4 (2003), 713– 738

    work page 2003

  8. [8]

    Eckmann, A Model with Persistent Vacuum , Commun

    J.-P. Eckmann, A Model with Persistent Vacuum , Commun. Math. Phys. 18 (1970), 247–264

    work page 1970

  9. [9]

    Fr ¨ohlich, Existence of Dressed One Electron States in a Class of Per- sistent Models

    J. Fr ¨ohlich, Existence of Dressed One Electron States in a Class of Per- sistent Models . F. d. Physik, 22 (1974), 159–198

    work page 1974

  10. [10]

    Glimm and A

    J. Glimm and A. Jaffe, Quantum Field Theory and Statistical Mechan- ics. Birkha ¨user Boston Inc., Boston, MA, 1985. Expositions, Reprint of articles published 1969–1977. 120

    work page 1985

  11. [11]

    Griesemer and A

    M. Griesemer and A. W ¨unsch, On the Domain of the Nelson Hamilto- nian, J. Math. Phys. 59 (2018), 042111 pp22

    work page 2018

  12. [12]

    Hepp, Th´ eorie de la Renormalisation, Springer-Verlag, Berlin-New York, Lecture Notes in Physics, Vol

    K. Hepp, Th´ eorie de la Renormalisation, Springer-Verlag, Berlin-New York, Lecture Notes in Physics, Vol. 2, 1969

    work page 1969

  13. [13]

    Lampart, Hamiltonians for Polaron Models with Subcritical Ultravio - let Singularities , arXiv:2203.07253, (2022)

    J. Lampart, Hamiltonians for Polaron Models with Subcritical Ultravio - let Singularities , arXiv:2203.07253, (2022)

    work page arXiv 2022

  14. [14]

    Matte and J

    O. Matte and J. S. Møller, Feynman-Kac Formulas for the Ultra-violet Renormalized Nelson Model , Asterisque 404 (2018), 110 pp

    work page 2018

  15. [15]

    J. S. Møller, The Polaron Revisited , Rev. Math. Phys., 18 (2006), 485– 517

    work page 2006

  16. [16]

    Nelson, Interaction of Non-relativistic Particles with a Quantize d Scalar Field , J

    E. Nelson, Interaction of Non-relativistic Particles with a Quantize d Scalar Field , J. Math. Phys., 5 (1964), 1190–1197

    work page 1964

  17. [17]

    M. E. Peskin and D. V. Schroeder, An Introduction to Quantum Field Theory, CRC Press, 1995

    work page 1995

  18. [18]

    Scharf, Finite Quantum Electrodynamics

    G. Scharf, Finite Quantum Electrodynamics. The Causal Approach , 3 ed., Dover, Mineola, New York, 2014

    work page 2014

  19. [19]

    Seiringer, Absence of excited eigenvalues for Fr ¨ohlich type po- laron models at weak coupling , to appear in J

    R. Seiringer, Absence of excited eigenvalues for Fr ¨ohlich type po- laron models at weak coupling , to appear in J. Spectr. Theory (arXiv:2210.17123),

    work page arXiv

  20. [20]

    Simon, Basic Complex Analysis

    B. Simon, Basic Complex Analysis. A Comprehensive Course in Anal- ysis, Part 2A. , American Mathematical Society, Providence, Rhode Is- land, 2015

    work page 2015

  21. [21]

    W ¨unsch, Self-Adjointness and Domain of a Class of Generalized Nelson Models , PhD Thesis, Chapter 4, University of Stuttgart (2017)

    A. W ¨unsch, Self-Adjointness and Domain of a Class of Generalized Nelson Models , PhD Thesis, Chapter 4, University of Stuttgart (2017). https://elib.uni-stuttgart.de/handle/11682/9401, 121

    work page 2017