pith. sign in

arxiv: 2604.05919 · v1 · submitted 2026-04-07 · ✦ hep-th · hep-ph· nucl-th

{cal N}=4 supersymmetric Yang-Mills thermodynamics to order λ^(5/2)

Margaret E. Carrington , Gabor Kunstatter , Ubaid Tantary This is my paper

Pith reviewed 2026-05-10 19:51 UTC · model grok-4.3

classification ✦ hep-th hep-phnucl-th
keywords N=4 supersymmetric Yang-Millsthermodynamicsfree energyperturbative resummationinfrared divergencesring diagramsfinite temperaturePadé approximant
0
0 comments X

The pith

The free energy of N=4 supersymmetric Yang-Mills theory is finite to order λ^{5/2} after ring-diagram resummation.

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

The paper computes the perturbative free energy of N=4 super Yang-Mills at finite temperature to order λ^{5/2} in the 't Hooft coupling. It shows that contributions from ring diagrams cancel all infrared divergences, leaving a result that is both ultraviolet and infrared finite. This is the highest order reachable by perturbation theory, since nonperturbative magnetic-mass effects enter at order λ^3. The calculation is compared to a generalized Padé approximant that matches weak and strong coupling and to the QCD free energy, where SYM exhibits better convergence.

Core claim

We calculate the resummed perturbative free energy of N=4 SYM in four spacetime dimensions to order λ^{5/2} at finite temperature and zero chemical potential. All infrared divergences cancel when we include contributions from SYM ring diagrams and the final result is both ultraviolet and infrared finite. Our result has special significance since order λ^{5/2} is the highest order calculation that can be done with perturbation theory, because there are nonperturbative effects associated with the magnetic mass scale that come into play at order λ^3.

What carries the argument

Resummation of SYM ring diagrams that cancels infrared divergences in the thermal free-energy expansion.

If this is right

  • The weak-coupling result can be matched to the large-Nc strong-coupling expansion at order λ^{-3/2} to construct a generalized Padé approximant.
  • SYM44 thermodynamics shows better convergence properties than the corresponding QCD free energy.
  • Results obtained with regularization by dimensional reduction, which preserves supersymmetry, are consistent with those from canonical dimensional regularization.
  • Perturbation theory remains reliable up to this order without input from nonperturbative magnetic scales.

Where Pith is reading between the lines

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

  • The finite expression at the edge of perturbation theory supplies a concrete benchmark for holographic calculations of SYM thermodynamics at intermediate couplings.
  • The same ring-resummation technique may improve perturbative control in other thermal gauge theories that suffer from infrared problems.
  • The improved convergence relative to QCD may indicate that supersymmetry suppresses certain higher-order corrections in finite-temperature observables.

Load-bearing premise

The ring-diagram resummation captures all relevant contributions through order λ^{5/2} and nonperturbative magnetic-mass effects truly remain negligible until order λ^3.

What would settle it

A nonperturbative numerical evaluation of the free energy at an intermediate coupling strength where the λ^{5/2} term is appreciable but still below λ^3 would disagree with the resummed perturbative prediction if the cancellation or negligibility assumptions are incorrect.

Figures

Figures reproduced from arXiv: 2604.05919 by Gabor Kunstatter, Margaret E. Carrington, Ubaid Tantary.

Figure 1
Figure 1. Figure 1: FIG. 1. The scaled entropy as a function of coupling at different orders in perturbation theory are [PITH_FULL_IMAGE:figures/full_fig_p018_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2. The SYM [PITH_FULL_IMAGE:figures/full_fig_p018_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3. The SYM [PITH_FULL_IMAGE:figures/full_fig_p019_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: FIG. 4. One loop graphs and one loop counterterms. [PITH_FULL_IMAGE:figures/full_fig_p037_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: FIG. 5. Two loop graphs [PITH_FULL_IMAGE:figures/full_fig_p037_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: FIG. 6. Three loop graphs excluding gluon and scalar baseballs. [PITH_FULL_IMAGE:figures/full_fig_p038_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: FIG. 7. Three loop gluon and scalar baseballs (top), and the gluon self energy insertion (dark [PITH_FULL_IMAGE:figures/full_fig_p039_7.png] view at source ↗
read the original abstract

We calculate the resummed perturbative free energy of ${\cal N} = 4$ supersymmetric Yang-Mills in four spacetime dimensions (SYM$_{44}$) to order $\lambda^{5/2}$ in the 't Hooft coupling at finite temperature and zero chemical potential. All infrared divergences cancel when we include contributions from SYM$_{44}$ ring diagrams and the final result is both ultraviolet and infrared finite. Our result has special significance since order $\lambda^{5/2}$ is the highest order calculation that can be done with perturbation theory, because there are nonperturbative effects associated with the magnetic mass scale that come into play at order $\lambda^3$. We compare results obtained with regularization by dimensional reduction (RDR), which preserves supersymmetry, and canonical dimensional regularization (DR). We also compare with a generalized Pad\'e approximant constructed by matching the weak coupling result at order $\lambda^2$ and the large $N_c$ strong coupling result at order $\lambda^{-3/2}$. Finally we make a comparison between our result and the QCD free energy and show that SYM$_{44}$ has better convergence properties.

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 paper presents a calculation of the resummed perturbative free energy of N=4 supersymmetric Yang-Mills theory (SYM44) in four dimensions to order λ^{5/2} at finite temperature and zero chemical potential. It asserts that all infrared divergences cancel upon inclusion of ring diagram contributions, resulting in a UV and IR finite expression. The work compares results from regularization by dimensional reduction (RDR) and canonical dimensional regularization (DR), constructs a generalized Padé approximant matching weak-coupling O(λ^2) and strong-coupling O(λ^{-3/2}) results, and contrasts the convergence with that of QCD.

Significance. If correct, this constitutes the highest-order perturbative result for SYM thermodynamics prior to the onset of nonperturbative magnetic-mass effects at O(λ^3). It provides a benchmark for resummation techniques in hot gauge theories, demonstrates the cancellation of IR divergences in a supersymmetric context, and indicates superior perturbative convergence compared to QCD, which may inform studies of the quark-gluon plasma.

minor comments (3)
  1. The abstract states the IR cancellation result without a cross-reference to the section containing the explicit ring-diagram resummation; adding such a pointer would improve readability.
  2. Quantitative details, including numerical values or error estimates, for the RDR versus DR comparisons and the Padé approximant matching are mentioned but not tabulated; providing these would strengthen the presentation of the results.
  3. The notation SYM_{44} and the definition of the 't Hooft coupling λ should be introduced explicitly upon first use in the introduction.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading and positive assessment of our manuscript, including the accurate summary of the calculation and its significance as the highest-order perturbative result prior to nonperturbative magnetic-mass effects. We appreciate the recommendation for minor revision.

Circularity Check

0 steps flagged

No significant circularity in the perturbative derivation

full rationale

The paper performs a standard high-order perturbative computation of the SYM44 free energy through O(λ^{5/2}) using ring-diagram resummation to cancel infrared divergences, with explicit comparisons between RDR and DR regularizations. The central result is obtained directly from the loop expansion and power-counting arguments standard in thermal gauge theory; it does not reduce by the paper's own equations to any fitted parameter, self-cited uniqueness theorem, or ansatz smuggled from prior work by the same authors. The Padé matching and QCD comparison are external benchmarks, not load-bearing steps in the derivation. The claim that nonperturbative magnetic-mass effects enter only at O(λ^3) is the conventional power-counting statement and is not justified internally by self-reference. The derivation chain is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The calculation rests on standard perturbative QFT techniques and resummation; no new free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption Standard perturbative expansion and diagram resummation in thermal field theory apply up to the stated order.
    Invoked implicitly when claiming cancellation of IR divergences via ring diagrams.
  • domain assumption Nonperturbative magnetic mass effects remain negligible until order λ^3.
    Stated as the reason λ^{5/2} is the highest perturbative order.

pith-pipeline@v0.9.0 · 5515 in / 1338 out tokens · 51777 ms · 2026-05-10T19:51:32.766347+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.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Constrained Pad\'e Ensembles for Thermal $\mathcal{N}{=}4$ SYM with the Exact $\mathcal O(\lambda^{5/2})$ Coefficient

    hep-th 2026-04 unverdicted novelty 5.0

    Including the exact O(λ^{5/2}) weak-coupling coefficient collapses the LSTP ensemble for N=4 SYM thermodynamics to a single curve and eliminates the previous uncertainty band.

Reference graph

Works this paper leans on

41 extracted references · 41 canonical work pages · cited by 1 Pith paper · 1 internal anchor

  1. [1]

    INTRODUCTION TheN=4 supersymmetric theory in four spacetime dimensions (SYM 44) is the most famous example of a conformal field theory (CFT) in four dimensions. At finite temperature and in the weak coupling limit the theory has many similarities with quantum chromodynamics (QCD), but because of its high degree of symmetry it is also simpler to work with ...

    work page

  2. [2]

    Organization The full set of diagrams that we need to calculate are shown in figs

    METHOD TO SIMPLIFY AMPLITUDES A. Organization The full set of diagrams that we need to calculate are shown in figs. 4-7. The one loop graphs and one loop counterterms are shown in fig 4, fig 5 is the two loop graphs, fig. 6 shows the three loop graphs not including gluon and scalar baseballs, and fig. 7 shows the gluon and scalar baseballs together with t...

    work page

  3. [3]

    This is a tedious process but can be done with a symbolic computation program, like FeynCalc or FORM

    For each diagram, construct the amplitude using the Feynman rules and contract all indices. This is a tedious process but can be done with a symbolic computation program, like FeynCalc or FORM. The amplitude for a three loop diagram has typically several hundred terms but the largest has over 4,000 terms. After the amplitude has been calculated we rotate ...

    work page

  4. [4]

    For example, if a term has the productδ p0δp0+k0 then a transfor- mationK→−K−Pcan be used to rewrite it so that the Kronecker deltas have the formδ p0δk0

    Perform variable transformations so that all Kronecker deltas depend only on the integration variables. For example, if a term has the productδ p0δp0+k0 then a transfor- mationK→−K−Pcan be used to rewrite it so that the Kronecker deltas have the formδ p0δk0

    work page

  5. [5]

    For each amplitude, but excepting the counterterm contributions in fig. 7, divide all terms into groups according to how many Kronecker deltas there are: a two loop diagram has terms of type 0, type1 and type2 (corresponding to 0 or 1 or 2 Kronecker deltas), and a three loop diagram has terms of type 0, 1, 2, or 3

    work page

  6. [6]

    7 are treated slightly differently because for these terms there is an ‘extra’ Kronecker delta coming from the counterterm itself 9 (see eq

    The counterterm contributions in fig. 7 are treated slightly differently because for these terms there is an ‘extra’ Kronecker delta coming from the counterterm itself 9 (see eq. (1.7)) instead of from the resummed propagator. These Kronecker deltas do not bring an accompanying factor of ∆. Counterterm contributions are grouped into type10, type11, type21...

    work page

  7. [7]

    This is the non-trivial step and we give further details about how it is done in the following subsections and in the appendices

    Rewrite each term in the integrand in terms of the integrals given in appendix D. This is the non-trivial step and we give further details about how it is done in the following subsections and in the appendices. In general it requires a series of variable transformations and symmetrization operations. For some of the three loop integrals we must also perf...

    work page

  8. [8]

    RESULTS In the weak coupling limit the ratio of the free energy to the ideal gas free energy can be written as in eq. (1.2). To evaluate the coefficients we sum the contributions from the individual diagrams in section G and substitute the results for each of the integrals from section F. Our final result written in terms of the ’t Hooft couplingλ=C Ag2 i...

    work page

  9. [9]

    Before discussing our result in more detail we explain some of the checks we have performed

    λ3/2 π3 +( 3ζ′(−1) 2ζ(−1) + 3 log(λ) 2 + 3γ 2 − 9 4 √ 2 − 21 8 −3 log(π)− 25 log(2) 8 ) λ2 π4 +( 33 8 (log(4)−1)+ 3 128 (28+25 √ 2)log(1+ √ 2)− 1 64 (6+ √ 2)π 2 − 35+212 log(2) 128 √ 2 ) λ5/2 π5 . Before discussing our result in more detail we explain some of the checks we have performed. We recognize that when a lengthy and complicated calculation is don...

    work page

  10. [10]

    This happens because of explicit cancellations between three loop infrared singularities and the three loop counterterm diagrams

    The result is finite. This happens because of explicit cancellations between three loop infrared singularities and the three loop counterterm diagrams. There are no poles from ultraviolet divergences because the coupling does not run in SYM 44 and therefore no coupling constant renormalization counterterm is needed

    work page

  11. [11]

    Both papers use different methods

    Our result to orderO(λ 2)agrees with the result that was calculated previously in [8, 9]. Both papers use different methods. The first uses a static resummation but works in a 10 dimensional space with a reduced set of diagrams, and the second uses an effective field theory method. The important point is that in our calculation the set of diagrams that co...

    work page

  12. [12]

    We have used our program to calculate the QCD free energy at orderg 5 and our result agrees with the previous result of ref. [13]. The QCD calculation involves a much smaller set of diagrams but the fundamental integrals that are needed are the same as in our calculation, except that we need three additional integrals(J 3n, J3m, J3p), that reduce to one o...

    work page

  13. [13]

    This is called the cancellation of double overlapping sum-integrals

    In the final result, for all terms that involve three loop integrals, if one momentum integral is decoupled from the other two, then the remaining two are always decoupled from each other. This is called the cancellation of double overlapping sum-integrals. The behaviour was seen in the QED free energy in [19] and also occurs in the order g5 QCD result of [13]

    work page

  14. [14]

    This can be understood within the effective field theory picture as follows [20]

    The absence of terms∼g 2n+1 log(g)is expected (in our calculation the absence of ag 5 log(g)contribution). This can be understood within the effective field theory picture as follows [20]. Imagine first integrating out the nonstatic fields (scaleT physics) to arrive at an effective field theory which correctly describes physics in the low energy region (o...

    work page

  15. [15]

    There are three changed coefficients which are marked in blue to make them easier to see

    λ3/2 π3 +( 3ζ′(−1) 2ζ(−1) + 3 log(λ) 2 + 3γ 2 − 9 4 √ 2 − 369 128 −3 log(π)− 25 log(2) 8 ) λ2 π4 +( 33 8 (log(4)− 19 22)+ 3 128 (28+25 √ 2)log(1+ √ 2)− 1 64 (6+ √ 2)π 2 − 11+212 log(2) 128 √ 2 ) λ5/2 π5 . There are three changed coefficients which are marked in blue to make them easier to see. We also discuss the use of a generalized Pad´ e approximant to...

    work page

  16. [16]

    The result extends our knowledge of weak coupling SYM44 thermodynamics

    CONCLUSIONS In this paper we have computed the thermodynamic function(s) of SYM 44 at orderλ 5/2. The result extends our knowledge of weak coupling SYM44 thermodynamics. Our orderλ 5/2 result is particularly important because it clearly shows that the perturbative convergence of the free energy is better for SYM44 than for QCD. This property is likely due...

    work page

  17. [17]

    Two examples of the latter are shown in eqs

    Easy examples There are some terms that immediately have the form of one of the fundamental integrals and some that can easily be rewritten so that they do. Two examples of the latter are shown in eqs. (C.1, C.2) ⨋P KQ 1 K2Q2(K+Q) 2(P+K) 2 → ⨋P KQ 1 K2Q2(K+Q) 2P 2 =b 1Ibsun (C.1) ⨋P KQ 1 P 2Q2(K+Q) 2(P+K) 2 → ⨋P KQ 1 P 2K2Q2(P+K+Q) 2 =I bball (C.2) where ...

    work page

  18. [18]

    (C.3, C.4) which are well known and can be derived with the change of variablep=p 0x

    Simplifying frequency sums Some sum-integrals can be simplified using the identities in eq. (C.3, C.4) which are well known and can be derived with the change of variablep=p 0x. n≥2∶ ⨋ p2 0 P 2n = 2n−1−d 2n−2 ⨋ 1 P 2(n−1) (C.3) n≥3∶ ⨋ p4 0 P 2n = (1+d−2n)(3+d−2n) 4(n−2)(n−1) ⨋ 1 P 2(n−2).(C.4) Most terms that are odd in one of the frequency variables can ...

    work page

  19. [19]

    An example is shown in eq

    Removing tadpoles Tadpoles are zero in dimensional regularization which means that for integern ⨋P δp0 P 2n =0.(C.6) In some cases one needs a series of variable transformations to identify tadpoles. An example is shown in eq. (C.7) ⨋P KQ δp0δk0δq0 P 4((P+K) 2 +m 2)((K+Q) 2 +m 2) = ⨋P KQ δp0δk0δq0 P 4(K 2 +m 2)(Q2 +m 2) =0. (C.7) To get the second express...

    work page

  20. [20]

    In all other cases we must remove any dot products from the numerator

    Removing numerator dot products There are four fundamental integrals(H 3, H4, H5, H6)that have dot products in their nu- merators that cannot be removed. In all other cases we must remove any dot products from the numerator. In this section we explain how this is done. A simple example is shown in (C.8). ⨋P K pn1 0 kn2 0 (P⋅K) P 2n3K2n4 = ⨋P K pn1+1 0 kn2...

    work page

  21. [21]

    Appendix H: Diagrams We use conventional notation: spiral lines for gluons, dotted lines for ghosts, dashed lines for scalars, and solid lines for fermions

    ˜Fm2b + 3 4 b2 1(D−1)−m 2Fm2b + b1Jm1a 2 +m 2(Jm2b −J m2a)− J2 m1a 4 F 2 6 =− 15b2 1 2 −15b 1JM1a − 15J2 M1a 2 F 2 7 =−3b 2 1D−3b 1(DJM1a +J m1a)−3J m1aJM1a F 2 8 =− 1 4 b2 1(D−1)D− 1 2 b1(D−1)J m1a three loop diagrams except bosonic baseballs F 3 1 =24I fball −12I ffball F 3 2 =12(D−2)I fball −6(D−3)I ffball +48I 2eJm1a F 3 3 =12I fball +48J m1a(I2c +I 2...

    work page 2023

  22. [22]

    S. S. Gubser, I. R. Klebanov and A. A. Tseytlin, Nucl. Phys. B534, 202 (1998)

    work page 1998

  23. [23]

    Fotopoulos and T

    A. Fotopoulos and T. R. Taylor, Phys. Rev. D59, 061701 (1999)

    work page 1999

  24. [24]

    C. J. Kim and S. J. Rey, Nucl. Phys. B564, 430 (2000)

    work page 2000

  25. [25]

    M. A. Vazquez-Mozo, Phys. Rev. D60, 106010 (1999)

    work page 1999

  26. [26]

    Nieto and M

    A. Nieto and M. H. G. Tytgat, [arXiv:hep-th/9906147 [hep-th]]

    work page arXiv

  27. [27]

    J. P. Blaizot, E. Iancu and A. Rebhan, Phys. Rev. D63, 065003 (2001)

    work page 2001

  28. [28]

    Q. Du, M. Strickland, U. Tantary and B. W. Zhang, JHEP09, 038 (2020)

    work page 2020

  29. [29]

    Q. Du, M. Strickland and U. Tantary, JHEP08, 064 (2021) [erratum: JHEP02, 053 (2022)]

    work page 2021

  30. [30]

    J. O. Andersen, Q. Du, M. Strickland and U. Tantary, Phys. Rev. D105, 015006 (2022)

    work page 2022

  31. [31]

    P. B. Arnold and O. Espinosa, Phys. Rev. D47, 3546 (1993) [erratum: Phys. Rev. D50, 6662 (1994)]

    work page 1993

  32. [32]

    P. B. Arnold and C. X. Zhai, Phys. Rev. D50, 7603 (1994)

    work page 1994

  33. [33]

    P. B. Arnold and C. X. Zhai, Phys. Rev. D51, 1906 (1995)

    work page 1906

  34. [34]

    C. X. Zhai and B. M. Kastening, Phys. Rev. D52, 7232 (1995)

    work page 1995

  35. [35]

    Siegel, Phys

    W. Siegel, Phys. Lett. B84, 193 (1979)

    work page 1979

  36. [36]

    D. M. Capper, D. R. T. Jones and P. van Nieuwenhuizen, Nucl. Phys. B167, 479 (1980)

    work page 1980

  37. [37]

    Dolan and R

    L. Dolan and R. Jackiw, Phys. Rev. D20, 3320 (1974)

    work page 1974

  38. [38]

    Kapusta and C

    Finite Temperature Field Theory: Principles and Applications, J. Kapusta and C. Gale, Cambridge University Press, 2006

    work page 2006

  39. [39]

    C. D. Palmer and M. E. Carrington, Can. J. Phys.80, 847 (2002)

    work page 2002

  40. [40]

    R. R. Parwani and C. Coriano, [arXiv:hep-ph/9409339 [hep-ph]]

    work page internal anchor Pith review arXiv

  41. [41]

    Braaten and A

    E. Braaten and A. Nieto, Phys. Rev. D51, 6990 (1995). 40

    work page 1995