Two hierarchy questions, only one addressed
The paper draws a line between what it calls the technical hierarchy problem and the "big" hierarchy problem. The technical version asks whether a small pole mass, once imposed, is ruined by loop corrections of order M² from heavy fields. The big version asks where the small tree-level mass comes from in the first place. The author states plainly that the second question is not addressed, because it does not create a consistency problem.
That split matters for reading every result that follows. The claim is not that the Standard Model explains why the Higgs mass is small at tree level. It is that, given a small pole mass, radiative corrections involving heavy fields do not destabilize it. The argument therefore targets the loop-induced sensitivity to ultraviolet physics, not the initial value of the mass.
Bare mass and loop corrections are not separately observed
In the usual presentation, the physical scalar mass-squared is written as the bare parameter m²_B plus a sum of self-energies Σ(p²), the one-particle-irreducible two-point amplitudes with external momentum p. Each Σ is often said to diverge quadratically, scaling as Λ² with Λ a momentum cutoff. The paper's first move is to note that Λ is not a parameter of the theory, so a quadratic dependence on it cannot by itself be physical.
The observable is instead the combination fixed by the renormalization condition at the pole, m²_h = m²_B + Σ(m²_h), together with the field-strength renormalization. The paper defines a momentum-dependent mass m²(p²) = m²_h + Σ(p²) − Σ(m²_h) − (p²−m²_h) dΣ/dp² evaluated at m²_h. Only this combination is measured. The apparent cancellation between two large quantities is then described as a change of basis among parameters of the same theory, not fine-tuning between independently known physical quantities.
The author credits Zimmermann with showing that each term in this subtracted combination is finite even when the momentum integral is extended to infinity. Because the subtracted object is finite by construction, the statement does not depend on which regulator is used, and the same conclusion holds in dimensional regularization, where no quadratic divergence appears at all.
Why the cutoff question is not the substantive one
The paper is careful to say what its renormalization argument does and does not settle. In Wilsonian language, the scalar mass is a relevant coordinate on theory space and the quadratic divergence is a shift of that coordinate rather than a physical effect; the author agrees with that reading and presents the subtraction language as its counterpart. The difference the paper records is that the Wilsonian discussion is carried out with an explicit cutoff, whereas here no cutoff is introduced.
The more important difference is the second one. Arguments about the meaning of the regulator settle the status of Λ but not the status of a physical heavy mass M. Once a heavy field runs in the loop, the correction to the scalar mass can depend on M, and no argument about the regulator removes that dependence. The paper therefore reserves the term technical hierarchy problem for exactly this question and treats it as the substantive one.
Heavy-field corrections scale as momentum over mass
The central quantitative claim is that the renormalized correction to the scalar mass-squared from a heavy field of mass M is suppressed as (p²−m_h²)²/M², where p is the external momentum and m_h the scalar pole mass. The suppression is established by explicit calculation up to two loops and by power counting to all orders, and the paper states that it covers loop corrections involving fields of arbitrary spin.
The one-loop fermion case shows the mechanism concretely. A UV Dirac fermion of mass M_f couples through a Yukawa interaction, and the unsubtracted self-energy contains a Λ² term plus terms depending on Δ(p²) = M_f² − x(1−x)p². After the on-shell subtraction, the renormalized combination is finite and free of Λ, and the same result is obtained independent of the choice of regularization. The heavy mass then enters only through the subtracted, momentum-dependent structure rather than as a free M² contribution to the physical mass.
The paper also states that the surviving momentum dependence is in principle measurable. That is the observable residue of heavy physics: not a constant shift of the mass, but a specific dependence on the external momentum at which the mass is probed.
The fixed-coupling condition decides decoupling
The suppression holds provided the couplings are held fixed as M→∞. The paper calls this hypothesis essential and identifies it as the condition that the vertices themselves do not grow with the heavy mass. The heavy masses M_s and M_f in the illustrative Lagrangian are explicit parameters independent of the couplings, so the hypothesis is satisfied in that setup.
The paper gives the failure mode directly. If a heavy mass originates from spontaneous symmetry breaking, so that a coupling grows with the mass, as y = M_f/v for a chiral fermion acquiring mass from a vacuum expectation value v, the suppression is compensated: y²(p²−m_h²)²/M_f² becomes (p²−m_h²)²/v², and the field does not decouple. The author notes this is in accordance with the known non-decoupling effects of heavy chiral fermions.
This is the condition a reader should check before applying the result. The suppression is a statement about how a heavy mass enters the renormalized observable when couplings stay fixed, not a claim that every heavy sector decouples.
Intermediate mass scales do not restore M² sensitivity
A natural objection is that chain diagrams with intermediate fields could regenerate the M² sensitivity that on-shell renormalization removes. The paper addresses this by treating two momentum regions separately. For q² below the intermediate mass scale m_Y, the renormalized heavy insertion has a double zero at q² = m_Y², which cancels the double pole of the intermediate line, leaving an insertion of order 1/M². For q² of order M², the expansion in q²/M² is not valid and the insertion grows as q² up to logarithms, but there the intermediate propagators are themselves of order 1/q², so the product again scales as 1/M².
The dangerous combination M²/m_Y² would require a large heavy insertion sitting on a nearly on-shell light line. The paper's point is that the two regions exclude exactly that configuration: in the soft region the insertion vanishes quadratically where the line goes on shell, and in the hard region the line is far off shell. The argument iterates along a chain m_h ≪ m_Y1 ≪ ⋯ ≪ M, with each heavy insertion carrying two powers of the adjacent off-shellness.
The paper contrasts this with MS matching, where each intermediate threshold produces a matching coefficient containing an M² log(M²/m_Y²) piece absorbed into a redefinition of the effective theory parameter at that threshold. The author argues that the size of that absorbed piece scales with the unknown UV coupling structure and is parametrically unbounded without further input, whereas the on-shell BPHZ subtraction at the physical pole removes the same piece directly from the Feynman-parameterized integrand without intermediate matching.
What this settles and what it leaves open
The paper's conclusion is conditional and precise. Once the tree-level mass is made small, it remains small against loop corrections, and the scalar mass is insensitive to UV physics as required for a well-defined effective field theory below a certain scale. The author presents this as making the Appelquist–Carazzone decoupling theorem explicit for the scalar mass, the relevant parameter that the theorem's original statement sets aside, and as holding up to the renormalization of the light masses.
The assumption that couplings are held fixed is where the boundary lies. The paper names an ultraviolet completion in which the light mass is itself determined by heavy parameters, as in doublet-triplet splitting, as violating that assumption, and locates the question of the origin of the tree-level mass there. The origin of the smallness of the tree-level mass remains an open question that the argument does not address.
For a reader deciding what to take from the paper, the priority is the separation itself: the quadratic cutoff dependence is not the physical question, the dependence on a physical heavy mass M is, and that dependence is suppressed as (p²−m_h²)²/M² only while couplings stay fixed as M→∞. The measurable momentum dependence, not a constant M² shift, is what the renormalized observable retains from heavy physics.
Sources used in this answer
Renormalization, Decoupling and the Hierarchy Problem
Once the observable is identified as the momentum-dependent renormalized scalar mass, the cutoff-dependent quadratic piece carries no physical information, and the renormalized correction from a heavy field of mass M is suppressed as (p²−m_h²)²/M² when couplings are held fixed as M→∞, leaving the origin of the small tree-level mass unaddressed.