Pith. Sign in

REVIEW

Epsilon Expansion for Multicritical Fixed Points and Exact Renormalisation Group Equations

High Energy Physics - Theory · Submitted 20 Aug 2007 · 37 references

Pith's verdict: A careful, honest benchmark paper on epsilon expansions of the Polchinski ERG at multicritical points; the scaling-field truncation result is the real contribution.

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 →

· 1 major objection · 7 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv ID0708.2697 (version 3)
Pith IDRQDGK4NM, Pith's permanent record of this paper and its review
CitationH. Osborn, J. O'Dwyer. "Epsilon Expansion for Multicritical Fixed Points and Exact Renormalisation Group Equations." arXiv:0708.2697 (2007). https://pith.science/paper/RQDGK4NM
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
The paper

The paper claims

The paper asks whether truncated exact renormalisation group equations can reproduce the epsilon expansion at every multicritical fixed point, and shows that a scaling-field truncation does so to order $O(1)$ in the exponents and $O(1)$ in,

The reading

Exact renormalisation group equations are formally exact but in practice must be cut down to a finite set of coupled differential equations, and the standard worry is that the answers then depend on the cutoff and on the truncation rather than on the physics. This paper turns that worry into a controlled test: near each multicritical dimension $d_n = 2n/(n-1)$, where the operator $V(1)$ becomes marginal, the nonlinear fixed-point equation linearises to Hermite's equation, so the epsilon expansion becomes an ordinary perturbative expansion of a differential equation. That gives a common yardstick against which three truncations can be measured at once: the local potential approximation, the derivative expansion, and a truncation built from scaling fields, that is, from exact eigenfunctions of the linearised flow. The result the authors want to establish is that the scaling-field truncation, keeping only operators with zero and two derivatives, reproduces the standard perturbative critical exponents to order epsilon and the field anomalous dimension to order epsilon squared, with coefficients that do not depend on the cutoff. The derivative expansion, by contrast, only manages this if two cutoff-dependent constants are tuned to a particular relation, and fails outright for the second class of operators.

What carries the argument

Two pieces of machinery carry the argument. The first is the linearisation: at $d = d_n$ the linearised fixed-point equation becomes $V(1)$ with $V(2)$ the Hermite operator, whose globally bounded solutions are $H_k(x)$, and the marginality condition $n = 2d/(d-2)$ is exactly the condition that $H_{2n}$ is a zero mode. The nonlinear term $v'^2$ then fixes the coefficient $c_n$ and generates the higher-order terms through Hermite orthogonality and the three-polynomial integral $G_{klm}$. The second is the set of universal integrals in the scaling-field truncation: $V(3)$ and $V(4)$ at $d=d_n$ are shown in Appendix C to be total derivatives of the position-space propagator product, so they reduce to surface terms and take cutoff-independent values, matching the logarithmic divergences of two-vertex Feynman diagrams in dimensional regularisation. Those two numbers, and nothing else, are what make the $O(1)$ exponents and the $O(1)$ anomalous dimension come out right. The paper then rewrites the truncation as a pair of coupled differential equations closely resembling the derivative expansion but with no linear $z$ term in the potential equation and with $V(5)$ fixed to $V(6)$.

Extended reading notes

Core claim

At each multicritical point the authors show that the Polchinski fixed-point equation, written in the rescaled variable $x$ and potential $v(x)$, has $v_*(x) = c_n H_{2n}(x)$ at leading order in epsilon, with $H_{2n}$ a Hermite polynomial and $c_n$ fixed by the nonlinear term through an orthogonality condition. This makes epsilon a genuine bookkeeping parameter and lets the local potential approximation be solved order by order, giving explicit polynomials and values such as $V''_*(0)$ to $O(1)$ for the first three multicritical points. The central claim is then a comparison: the local potential approximation reproduces the perturbative exponent formula in (2.27) at order epsilon but disagrees at order epsilon squared, and it cannot produce the field anomalous dimension at all. The derivative expansion introduces $A$ and $B$, two cutoff-dependent constants, and produces an $O(1)$ anomalous dimension that depends on the combination $AB$; only for one class of operators do the exponents come out right. The alternative truncation in Section 8, expanding the full flow in scaling fields $O_{k0}$ and $O_{k2}$ and keeping only those with at most two derivatives, gives $O(1)$ exponents and an $O(1)$ anomalous dimension that agree exactly with perturbation theory, because the two integrals on which they depend, $V(1)$ and $V(2)$, are cutoff-independent and equal to $n/(2n-1)$ and zero respectively. Finally, an exact marginal operator is constructed for the full flow, generating a line of equivalent fixed points, which is what allows the equations to determine the anomalous dimension at all.

Load-bearing premise

The load-bearing premise is that keeping only operators with zero and two derivatives in the scaling-field expansion is enough, that is, that operators with four or more derivatives do not feed back into the exponents at order epsilon or the anomalous dimension at order epsilon squared.

Editorial extensions

If this is right

  • The local potential approximation is confirmed as a correct $O(1)$ scheme for critical exponents at every multicritical point, and its $O(1)$ failure is quantified explicitly by the second-order polynomial corrections in (5.18).
  • The derivative expansion with two derivatives is shown to be insufficient as a universal scheme: its second operator class carries an explicit dependence on the cutoff constants through the combination $AB$, so it cannot be matched to perturbation theory without tuning.
  • The modified equations (9.6) provide a truncation that is structurally close to the derivative expansion but whose coefficients are fixed by universality rather than chosen, giving a candidate scheme for nonperturbative use.
  • The exact marginal operator in Appendix D establishes that a line of physically equivalent fixed points exists, which is the structural reason the flow can determine the field anomalous dimension rather than leaving it as an input.
  • Appendix A shows that at the next order in the coupling, transcendental numbers such as $V(7)$ and $V(8)$ enter, so matching a single truncation to perturbation theory simultaneously at all multicritical points becomes hard.

Reading between the lines

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

  • If the modified equations (9.6) are solved numerically at $d=3$ without any epsilon expansion, the resulting anomalous dimension is a parameter-free prediction that can be compared with the known three-dimensional value; that comparison is the natural next test and is not attempted here.
  • The exact marginal operator suggests a selection principle for truncations that the paper only gestures at: a truncation that preserves the marginal direction should automatically fix the anomalous dimension, so any truncation that leaves it undetermined can be diagnosed as having broken the field-rescaling symmetry.
  • The two universal integrals that make the scaling-field truncation work are exactly the coefficients of one-loop divergences, which hints that the agreement extends only as far as one-loop universal data; matching three-vertex graphs would require the two-loop analogue of Appendix C, which the paper does not supply.
Original abstract

The Polchinski version of the exact renormalisation group equations is applied to multicritical fixed points, which are present for dimensions between two and four, for scalar theories using both the local potential approximation and its extension, the derivative expansion. The results are compared with the epsilon expansion by showing that the non linear differential equations may be linearised at each multicritical point and the epsilon expansion treated as a perturbative expansion. The results for critical exponents are compared with corresponding epsilon expansion results from standard perturbation theory. The results provide a test for the validity of the local potential approximation and also the derivative expansion. An alternative truncation of the exact RG equation leads to equations which are similar to those found in the derivative expansion but which gives correct results for critical exponents to order $\epsilon$ and also for the field anomalous dimension to order $\epsilon^2$. An exact marginal operator for the full RG equations is also constructed.

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, 4,976 input tokens, $0.0002 reported.

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

The abstract, sentence by sentence

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

The Polchinski version of the exact renormalisation group equations is applied to multicritical fixed points, which are present for dimensions between two and four, for scalar theories using both the local potential approximation and its extension, the derivative expansion. The results are compared with the epsilon expansion by showing that the non linear differential equations may be linearised at each multicritical point and the epsilon expansion treated as a perturbative expansion. The results for critical exponents are compared with corresponding epsilon expansion results from standard perturbation theory. The results provide a test for the validity of the local potential approximation and also the derivative expansion. An alternative truncation of the exact RG equation leads to equations which are similar to those found in the derivative expansion but which gives correct results for critical exponents to order $\epsilon$ and also for the field anomalous dimension to order $\epsilon^2$. An exact marginal operator for the full RG equations is also constructed.

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 The Polchinski version of the exact renormalisation group equations is applied to multicritical fixed points, which are present for dimensions between two and four, for scalar theories using both the local potential approximation and its extension, the derivative expansion. contribution 0.53 0.86 0.10 asserted 1.00
s1 The results are compared with the epsilon expansion by showing that the non linear differential equations may be linearised at each multicritical point and the epsilon expansion treated as a perturbative expansion. method 0.52 0.89 0.21 asserted 0.61
s2 The results for critical exponents are compared with corresponding epsilon expansion results from standard perturbation theory. method 0.43 0.80 0.10 asserted 0.98
s3 The results provide a test for the validity of the local potential approximation and also the derivative expansion. interpretation 0.92 0.79 0.18 asserted 0.97
s4 An alternative truncation of the exact RG equation leads to equations which are similar to those found in the derivative expansion but which gives correct results for critical exponents to order $\epsilon$ and also for the field anomalous dimension to order $\epsilon^2$. result 0.68 0.88 0.19 asserted 1.00
s5 An exact marginal operator for the full RG equations is also constructed. result 0.67 0.92 0.10 asserted 1.00

What kind of paper the classifier reports this is: theoretical result 0.97 · evidence from proof or derivation 0.98.

What was examined, and what was not

sources read
  • arXiv listing abstract v3
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. Graphs for v∗(x) for n = 2 from ε-expansion at O(ε 2 ) and numerical solution with v∗(0) = −V ′′ ∗ (0)/d from
Figure 2. n = 3 v∗(x) from ε-expansion at O(ε 2 ) and numerical solution for d = 2.9, 2.8 and 2.6. Finally, we consider the n = 4 case. Following the same programme as above, the coefficients in the expansion are a0 = 432 35 , a2 = 288 5 , a4 = 324 5 , a6 = 36 , a10 = − 27 100 , a12 = − 3 800 , a14 = − 1 39200 , (4.14) and a8 = 23904 875 . (4.15) 14
Figure 3. d Numerical ε-expansion at O(ε) 8 3 0 0 2.6 −0.001 −0.001 2.5 −0.008 −0.005 2.4 −0.028 −0.012 2.3 −0.082 −0.022 2.2 −0.226 −0.035

Figures reproduced from arXiv:0708.2697 by the authors.

References
How the literature uses it

43 arXiv papers cite this in 131 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 · 80 sentences without a confident label

Builds on it 4 papers
Uses its method or tool 12 papers
Uses its data or values 2 papers
Compares with it 9 papers
Cites it as background 7 papers
  • Further results and a discussion on the universal character of the above results can be found in Ref. [ref] .

    Critical and multicritical Lee-Yang fixed points in the local potential approximation · Even models · 0.85

  • Apart from the standard cases $ϕ^3,ϕ^4$ and $ϕ^6$ corresponding, respectively, to integer $d_c = 6,4,3$ and which have been extensively studied [ref] , upper critical dimensions are generally rational and their universal leading order (LO) and next-to-leading order (NLO) contributions appear at loop orders higher than one; for this reason they have attracted attention only recently [ref] .

    Platonic Field Theories · Introduction · 0.82

  • Soon after the early developments of the Wilsonian action, it has been observed that the perturbative RG too can be conveniently formulated at functional level [ref] .

    Leading order CFT analysis of multi-scalar theories in d>2 · Introduction · 0.88

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.