Pith. Sign in

REVIEW

Problems of the Strategy of Regions

PaperPDF from arXiv

data files

ReviewThe objections and verdict, as JSON Paper breakdownThe authors' claims, conditions and measurements, as JSON Signed receiptProof this review has not been altered
X Bluesky LinkedIn Reddit Hacker News
V.A. Smirnov

High Energy Physics - Phenomenology · Submitted 23 Jul 1999 · 15 references

Pith's verdict: A short, honest methods note that earns its keep by naming a region everyone was dropping and by being candid about what it cannot prove.

T0 · AI review

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on November 11, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 3 major objections · 4 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDhep-ph/9907471 (version 1)
Pith ID4CWUTNGY, Pith's permanent record of this paper and its review
CitationV.A. Smirnov. "Problems of the Strategy of Regions." arXiv:hep-ph/9907471 (1999). https://pith.science/paper/4CWUTNGY
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

Why Pith says this

Highlight any text to comment on it.

Referee report

How Pith checks papers → · Full audit of this paper →

The paper

The paper claims

Smirnov argues that the standard catalogue of loop-momentum regions is incomplete for on-shell two-loop Feynman integrals, and that an unrecognised 'ultracollinear' region must be added before the poles in dimensional regularization cancel.

The reading

The paper asks whether the 'strategy of regions' — split a Feynman integral's loop momenta into scaling regions, Taylor-expand the integrand inside each region, integrate each expansion over all momenta, and throw away scaleless integrals — can be trusted for limits typical of Minkowski space, such as on-shell external legs. Smirnov works through two two-loop vertex examples and shows that the familiar list of hard, collinear, soft and ultrasoft regions is not enough: in the first example the five natural contributions leave poles of third and fourth order in the dimensional-regularization parameter $epsilon$ that cannot cancel. The missing piece is a region he calls 1-ultracollinear, with $k_+ sim m^2/Q$, $k_- sim m^4/Q^3$ and $k_perp sim m^3/Q^2$; adding it, together with its mirror image, restores the cancellation and produces the correct expansion in powers of $ln(m^2/Q^2)$. He then restates the whole procedure as a scaling hierarchy on $\alpha$ (Schwinger) parameters, a description that is manifestly Lorentz invariant and free of the double counting that shifting loop momenta can introduce.

What carries the argument

The machinery is the $\alpha$ (Schwinger) representation of a scalar diagram, in which the integrand is written in terms of two homogeneous polynomials: $D$, the sum over trees of products of $\alpha$ parameters on the lines not in the tree, and $A$, the analogous sum over 2-trees weighted by the external momenta flowing into one connectivity component. Because $D$ and $A$ are homogeneous, a region is specified purely by the relative order of the $\alpha$ parameters, measured in powers of the small mass ratio, and the expansion in each region becomes an expansion of $A$ and of the mass term while $D$ is left intact. This dictionary is what lets Smirnov match momentum-space regions to $\alpha$ scalings — for instance $(2uc-1c) to {alpha_5 sim m^0, alpha_3 sim m^2, alpha_{2,4,6} sim m^4, alpha_1 sim m^6}$ — and it removes two practical headaches at once: the description is Lorentz invariant, and it cannot double count the way a shift of the second loop momentum can, as shown by the (h-s) versus (h-2c) example.

Extended reading notes

Core claim

The central claim is that the strategy of regions survives in on-shell and threshold limits only if the region list is enlarged beyond the textbook set. In the first example — a two-loop planar vertex with $m_1=m_2=m_3=m_4=m$, $m_5=m_6=0$, $p_1^2=p_2^2=m^2$, $(p_1-p_2)^2=-Q^2$ and $m/Q to 0$ — the contributions of the hard, 1-collinear, 2-collinear and their products give a sum whose $1/epsilon^4$ and $1/epsilon^3$ poles do not cancel, so the naive application of the prescriptions is demonstrably wrong. Adding the 1-ultracollinear and 2-ultracollinear regions, whose contribution is the gamma-function product $-Gamma(epsilon)Gamma(2epsilon)Gamma(3epsilon)Gamma(-4epsilon)$ times $(Q^2)^{2-2epsilon}(m^2)^{4epsilon}$, cancels those poles and yields a finite expansion with the expected $ln^2(m^2/Q^2)/epsilon^2$ term. The paper further claims that such ultracollinear regions are not isolated curiosities: for an $h$-loop ladder, regions scaling as $(m^2/Q^2)^h$ times a collinear region contribute for arbitrary $h$. The second claim is that the same strategy can be rewritten in the $\alpha$ representation, where a region is a statement about the relative scaling of $\alpha$ parameters, giving an explicit dictionary for both examples and for the on-shell double box.

Load-bearing premise

The load-bearing premise is that the region list can be made complete by physical intuition plus the pole-cancellation check, even though the paper states plainly that there is no definite answer to how one decides all contributions have been found and that a region contributing only simple poles, or none, would slip past the check.

Editorial extensions

If this is right

  • On-shell two-loop vertex expansions require an infinite family of regions, not a finite list: $h$-fold ultracollinear regions scaling as $(m^2/Q^2)^h$ times a collinear region contribute for arbitrary $h$, so ladder diagrams need the whole tower.
  • Cancellation of the highest poles in $epsilon$ becomes a working diagnostic: if third- and fourth-order poles survive, the correct reading is that a region is missing rather than that the method has failed.
  • The alpha-parameter formulation supplies a Lorentz-invariant, double-counting-free way to enumerate regions, at the cost of being hard to guess for the most exotic scalings, where an enormous number of orderings must be surveyed.
  • The practical recipe for a new limit is to search for regions in momentum space, cross-check the list in alpha parameters, verify pole cancellation, and fix the coefficient of the highest pole by an independent method.

Reading between the lines

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

  • If the ultracollinear hierarchy really continues to arbitrary depth, the expansion of a ladder diagram in this limit is organised by an infinite tower of regions rather than a finite sum, which points toward a resummation structure the paper notes but does not develop.
  • Because the alpha-parameter description depends only on the polynomials $D$ and $A$, the same scaling analysis should transfer unchanged to integrals sharing those polynomials, including diagrams with numerators or with different mass assignments on the same graph.
  • The way the missing region was actually found — read off the scaling that cancels a specific uncancelled pole — suggests turning the pole-cancellation check into a search algorithm rather than a post-hoc test.
  • The paper's admission that a region contributing only simple poles, or no poles at all, would escape the check implies that agreement at leading-logarithm level is weak evidence; matching the finite part against a numerical evaluation is the sharper test.
Original abstract

Problems that arise in the application of general prescriptions of the so-called strategy of regions for asymptotic expansions of Feynman integrals in various limits of momenta and masses are discussed with the help of characteristic examples of two-loop diagrams. The strategy is also reformulated in the language of alpha parameters.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13-20260917 via OpenRouter, question bank abstract-p1-20260923, 2026-09-23: 1 request, 2,272 input tokens, $0.0001 reported.

What the abstract itself states, as probabilities: claims first 0.03 · states limitation 0.23 · human participants 0.01 · controlled comparison 0.01 · randomized assignment 0.01 · states quantitative result 0.03 · compares with prior results 0.13 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v1. Results and the main claim are underlined; .

Problems that arise in the application of general prescriptions of the so-called strategy of regions for asymptotic expansions of Feynman integrals in various limits of momenta and masses are discussed with the help of characteristic examples of two-loop diagrams. The strategy is also reformulated in the language of alpha parameters.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
s0 Problems that arise in the application of general prescriptions of the so-called strategy of regions for asymptotic expansions of Feynman integrals in various limits of momenta and masses are discussed with the help of characteristic examples of two-loop diagrams. contribution 0.85 0.60 0.18 asserted 0.94
s1 The strategy is also reformulated in the language of alpha parameters. contribution 0.60 0.84 0.07 asserted 1.00

What kind of paper the classifier reports this is: position or commentary 0.67 · evidence from proof or derivation 0.81.

What was examined, and what was not

sources read
  • arXiv listing abstract v1
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

Figures
Figure 1. (a) Two-loop planar vertex diagram. Let us choose, for convenience, the external momenta as follows: p1 = ˜p1 + m2 Q2 p˜2 , p2 = ˜p2 + m2 Q2 p˜1 , p˜1,2 = (Q/2, ∓Q/2, 0, 0) (2) so that p 2 i = m2 , p˜ 2 i = 0 , 2˜p1p˜2 = 2˜p1p2 = Q2 . In the given limit, the following regions happen to be typical [8]: hard (h): k ∼ Q , (3) 1-collinear (1c): k+ ∼ Q, k− ∼ m2 /Q , k ∼ m , (4) 2-collinear (2c): k− ∼ Q, k+ ∼ m2 /Q , k ∼ m , (5) soft (s): k ∼ m , (6) ultrasoft (us): k ∼ m2 /Q . (7) Here k± = k0 ± k1, k = (k2, k3). We mean by k ∼ Q, etc. that any component of kµ is of order
Figure 2. We have p 2 i = 0, i = 1, 2, 3, 4. It was evaluated analytically in ref. [12]. An explicit analytical algorithm for on-shell double boxes with arbitrary numerators and integer powers of propagators was presented in ref. [13]. In [13] these results were r r r r r r p1 p2 p3 p4 5 6 7 3 1 4 2

Figures reproduced from arXiv:hep-ph/9907471 by the authors.

References
How later papers used it

51 later papers cite it

Evidence: substantial. 43 of the citing papers share no author with it, and 17 of those carry a confident label from Pith's citation classifier.

Pith read 13 of the 70 citing sentences, choosing only those whose citation markers point at this paper alone, and wrote the paraphrases from them. The summary, the counts, the evidence level, the links and the quotes come from code; the summary counts the papers listed below. A later paper is listed under a label when Pith's citation classifier gives one of its sentences that label at probability 0.8 or more (0.95 for support), Pith's reading finds that the citing paper itself did it, and a second check confirms the paraphrase against the sentence. This section lists uses only. It does not list criticism or disagreement, so their absence here says nothing about how the paper has been received. Papers that share an author with this one are listed apart, under "By the same authors". A quote is the citing authors' own sentence, shown when their paper's licence is CC BY, CC BY-SA or CC0. JSON

Uses its method or tool 5 of 18 papers with this label

  • Used this paper's formulation of the method of regions in the alpha parameter representation to identify contributing momentum regions.

    Universal structure of radiative QED amplitudes at one loop (2021) · 1.00 · paraphrased: the licence does not allow quoting

  • Used an in-house Mathematica implementation of expansion by regions as described in this paper to carry out a double asymptotic expansion of the two-loop vertex integrals and to reduce tensor integrals.

    The Majoron at two loops (2019) · 1.00 · paraphrased: the licence does not allow quoting

  • Obtained the leading asymptotic behavior of loop functions containing heavy masses by directly expanding the original momentum-space Feynman integrals by regions as in this paper.

    Electron EDM in the complex two-Higgs doublet model (2020) · 1.00 · paraphrased: the licence does not allow quoting

  • Used this paper's formulation in the parametric representation for calculational efficiency.

    Bhabha scattering at NNLO with next-to-soft stabilisation (2021) · 1.00 · paraphrased: the licence does not allow quoting

  • We first introduce the standard version of this technique formulated in momentum space [ref] and afterwards describe the analogous method in parameter space [ref] .

    Muon-Electron Scattering at NNLO (2022) · Method of regions · 0.85

How the literature uses it

47 arXiv papers cite this in 66 sentences

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

Papers citing it · 33 sentences without a confident label

Uses its method or tool 18 papers
  • The resummation method utilizes the residue matrix of the canonical differential equation at $x=0$, $M_0$, plus some input from the method of expansion-by-regions [ref] which has been implemented in the package .

    Resummation methods for Master Integrals · Relations between boundaries · 1.00

  • To reveal regions for a given Feynman integral, we apply a systematic algorithm [ref] implemented in the computer code asy [ref] that unambiguously determines lower facets of a Newton polytope connected with two Symanzik polynomials of the Feynman parametric representation.

    Off-shell form factor: factorization is violated · Solving integrals with Mellin-Barnes methods · 1.00

  • Using the method of asymptotic expansions in the parametric representation [ref] , we may obtain values of our basis integrals in the heavy mass limit.

    The complete set of two-loop master integrals for Higgs + jet production in QCD · Boundary conditions · 1.00

Compares with it 1 paper
  • Although this procedure can be reminiscent of the method of regions [ref] (see also [ref] ), there the expansions of the integrand $p^δf(δ,p)$ are made in different regimes of $p$, maintaining in each of these expansions the complete integration regime (i.e. the whole range of $p$ is integrated) as well as the dependence on the regulator (i.e. $δ$ is not taken to be zero).

    Finite parts of inflationary loops · Dimensional regularization procedure for loop integrals · 0.94

Cites it as support 1 paper
Cites it as background 6 papers
  • Soft momenta with $ϵ_S$ of order $λ^2$ have been considered in Ref. [ref] in the context of two-loop-order contributions to $B$-meson decays, and the possibility of leading momentum regions involving momenta of arbitrarily small energy is mentioned in Ref. [ref] for the case of massive particles.

    Factorization of low-energy gluons in exclusive processes · Leading regions of loop momenta · 0.80

  • The expansion by regions method has been reformulated in the language of the Feynman parametric representation in [ref] , for a recent review see [ref] .

    Expansion by regions meets angular integrals · Introduction · 0.89

  • Later it also has been formulated in Feynman parameter space, where it allows a geometric interpretation [ref] .

    Expansion by regions with pySecDec · Introduction · 0.95

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.