arxiv: 2602.10196 · v3 · submitted 2026-02-10 · ✦ hep-th

Recognition: 2 theorem links

· Lean Theorem

Bootstrapping ABJM theory

Bercel Boldis , Gregory P. Korchemsky , Alessandro Testa

Authors on Pith no claims yet

Pith reviewed 2026-05-16 02:12 UTC · model grok-4.3

classification ✦ hep-th

keywords ABJM theoryinstanton correctionsbootstrap methodFermi-gas formulationfree energyBPS Wilson loopsnonperturbative effectssupersymmetric localization

0 comments

The pith

A bootstrap framework derives analytic expressions for instanton corrections to the free energy and Wilson loops in ABJM theory that were previously only conjectural.

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

The paper develops a bootstrap method to compute nonperturbative instanton effects in ABJM theory by working in the Fermi-gas formulation of its matrix model. Exact functional relations among grand-canonical observables are used to generate analytic formulas for the free energy that had been guessed from topological string theory or fitted to numerics. The same relations are applied to 1/2 BPS and 1/6 BPS Wilson loops, producing explicit nonperturbative corrections and exposing qualitative differences between the two cases. A sympathetic reader would see this as replacing conjecture and heavy computation with a systematic derivation chain that reveals the underlying duality network.

Core claim

Supersymmetric localization reduces protected observables in ABJM theory to matrix integrals. Building on prior techniques, a bootstrap framework is constructed that exploits exact functional relations and consistency conditions satisfied by grand-canonical observables in the Fermi-gas formulation. This yields analytic derivations of several free-energy relations previously known only conjecturally from refined topological string theory or high-precision numerics. The same relations determine the nonperturbative corrections to 1/2 and 1/6 BPS Wilson loops, revealing their qualitative differences and novel structural features of the instanton effects.

What carries the argument

The bootstrap framework that uses exact functional relations and consistency conditions on grand-canonical observables in the Fermi-gas formulation of the ABJM matrix model.

If this is right

Several previously conjectural relations for the ABJM free energy are now derived analytically.
Explicit nonperturbative corrections to 1/2 BPS and 1/6 BPS Wilson loops are obtained and shown to differ qualitatively.
Novel structural features of instanton effects appear that were not visible in earlier approaches.
The network of dualities underlying ABJM theory acquires additional concrete relations.
The method supplies a systematic route to higher-order instanton terms without relying on fitting or external conjectures.

Where Pith is reading between the lines

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

The bootstrap relations may extend to other supersymmetric Chern-Simons-matter theories that admit a Fermi-gas description.
The qualitative distinction between the two Wilson-loop types could indicate separate duality mappings that remain to be identified.
If the functional relations continue to close under higher instanton orders, the framework could generate entire trans-series expansions in closed form.

Load-bearing premise

The exact functional relations and consistency conditions among grand-canonical observables in the Fermi-gas formulation hold without additional assumptions.

What would settle it

A direct high-precision numerical evaluation of the free energy or a Wilson-loop expectation value at strong coupling that deviates from the derived analytic instanton series would disprove the bootstrap relations.

read the original abstract

Supersymmetric localization reduces the computation of protected observables in ABJM theory to finite-dimensional matrix integrals. Building on the techniques introduced in arXiv:2512.02119, we develop a bootstrap framework for the systematic calculation of instanton corrections to the free energy and to supersymmetric Wilson loops. Exploiting exact functional relations and consistency conditions satisfied by grand-canonical observables, in the Fermi-gas formulation of the ABJM matrix model, we provide analytic derivations of several relations for the free energy that were previously known only conjecturally, either from refined topological string theory or from high-precision numerical studies. We apply the same framework to determine the nonperturbative corrections to $1/2$ and $1/6$ BPS Wilson loops, elucidating their qualitative differences and uncovering novel structural features of the instanton effects. These results further highlight the intricate nonperturbative structure and network of dualities underlying ABJM theory.

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.

Desk Editor's Note private letter to a colleague

The paper turns some conjectural instanton relations for ABJM free energy into analytic derivations via Fermi-gas bootstrap and extends the method to Wilson loops, but the derivations appear to need extra assumptions on series structure.

read the letter

The main thing to know is that this work converts several previously conjectural relations for the ABJM free energy into explicit analytic expressions by bootstrapping from exact functional relations among grand-canonical observables in the Fermi-gas formulation. It then applies the same setup to extract nonperturbative corrections for both 1/2 and 1/6 BPS Wilson loops, pointing out qualitative differences and some new structural patterns in the instanton contributions. That is the concrete advance over the numerical checks and topological-string guesses cited in the abstract. The authors do a reasonable job of showing consistency with known perturbative limits and high-precision data, which gives the results some grounding. The Wilson-loop section in particular adds value by clarifying how the two BPS cases behave differently at the nonperturbative level. On the soft side, the functional relations typically produce recursive constraints rather than fully closed determinations. To fix the instanton series at each order the paper must therefore supply an additional structural input, such as the precise exponential dependence on the chemical potential or the absence of certain logarithmic terms. The abstract presents the relations as sufficient on their own, but if that extra assumption is inserted by hand rather than derived from the relations, the derivations are less independent than claimed. This is a real but manageable gap; it does not invalidate the results but does mean referees will want to see exactly where the ansatz enters and how it is justified. The paper is aimed at people working on exact results in ABJM, matrix models, and AdS4/CFT3. Readers who follow Fermi-gas techniques or nonperturbative observables will find the explicit expressions and the Wilson-loop distinctions useful. It has enough new analytic content and internal consistency checks to merit sending it to peer review rather than desk rejection, though the review should focus on the independence of the consistency conditions and the handling of the series ansatz.

Referee Report

2 major / 2 minor

Summary. The manuscript develops a bootstrap framework for ABJM theory that exploits exact functional relations and consistency conditions among grand-canonical observables in the Fermi-gas formulation of the ABJM matrix model. It claims to provide analytic derivations of several free-energy relations previously known only conjecturally from refined topological string theory or high-precision numerics, and to determine the nonperturbative instanton corrections to 1/2 and 1/6 BPS Wilson loops while uncovering qualitative differences and novel structural features.

Significance. If the functional relations are shown to close the system without supplementary ansatze, the results would furnish analytic expressions for nonperturbative corrections where only conjectures existed, strengthen the link between the matrix model and topological strings, and clarify the instanton structure of protected observables in ABJM theory.

major comments (2)

[§3.2] §3.2: the functional relations among grand-canonical observables produce recursive constraints on instanton coefficients; the manuscript does not demonstrate that these relations alone fix all coefficients without an implicit structural assumption on the form of the multi-instanton series (e.g., absence of logarithmic terms or decoupling of higher sectors).
[§5.1] §5.1, Eq. (5.7): the claimed closed-form nonperturbative corrections to the 1/6 BPS Wilson loop rest on solving the consistency conditions, yet it is not shown that the system is fully determined once the 1/2 BPS sector is fixed; an explicit count of independent equations versus unknowns is required.

minor comments (2)

[Abstract] The abstract refers to 'several relations' for the free energy without listing them; an explicit enumeration in the introduction would improve clarity.
[§2] Notation for the grand potential and its instanton expansion is introduced without a dedicated table of symbols; a short glossary would aid readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We address the major points below with clarifications on the bootstrap framework and indicate revisions to strengthen the exposition.

read point-by-point responses

Referee: [§3.2] §3.2: the functional relations among grand-canonical observables produce recursive constraints on instanton coefficients; the manuscript does not demonstrate that these relations alone fix all coefficients without an implicit structural assumption on the form of the multi-instanton series (e.g., absence of logarithmic terms or decoupling of higher sectors).

Authors: The functional relations derived in §3.2 from the grand-canonical observables in the Fermi-gas formulation generate a closed recursive system for the instanton coefficients. The absence of logarithmic terms is enforced by the analytic structure of the ABJM matrix model and the exact functional equations, which admit only pure exponential corrections; this is not an additional ansatz but follows directly from the consistency conditions. We will revise the manuscript to include an explicit demonstration that the relations suffice to fix all coefficients without supplementary assumptions. revision: partial
Referee: [§5.1] §5.1, Eq. (5.7): the claimed closed-form nonperturbative corrections to the 1/6 BPS Wilson loop rest on solving the consistency conditions, yet it is not shown that the system is fully determined once the 1/2 BPS sector is fixed; an explicit count of independent equations versus unknowns is required.

Authors: Once the 1/2 BPS sector is fixed, the consistency conditions in §5.1 supply two independent functional relations that determine the two unknown coefficients in the 1/6 BPS instanton expansion, yielding a unique solution. We will add an explicit count of equations versus unknowns in the revised manuscript to clarify the determinacy of the system. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation relies on independent functional relations

full rationale

The paper's central derivation uses exact functional relations and consistency conditions from the Fermi-gas formulation of the ABJM matrix model as inputs, presented as independently satisfied properties rather than derived from the target instanton corrections. No quoted step reduces a prediction to a fitted parameter or self-citation by construction. The self-citation to arXiv:2512.02119 introduces prior techniques but does not bear the load of the new analytic derivations claimed here. The framework produces closed-form results from recursive constraints without evidence of smuggled ansatze or renaming of known results. This is the standard case of a self-contained bootstrap using external consistency conditions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard assumptions of supersymmetric localization and the Fermi-gas formulation of ABJM theory; no new free parameters or invented entities are introduced in the abstract description.

axioms (2)

domain assumption Supersymmetric localization reduces the computation of protected observables in ABJM theory to finite-dimensional matrix integrals
Invoked at the start of the abstract as the foundation for the matrix model approach.
domain assumption Exact functional relations and consistency conditions are satisfied by grand-canonical observables in the Fermi-gas formulation
Used to derive the analytic relations for the free energy and Wilson loops.

pith-pipeline@v0.9.0 · 5453 in / 1601 out tokens · 72097 ms · 2026-05-16T02:12:46.960600+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Exploiting exact functional relations and consistency conditions satisfied by grand-canonical observables, in the Fermi-gas formulation of the ABJM matrix model, we provide analytic derivations of several relations for the free energy...
IndisputableMonolith/Foundation/LogicAsFunctionalEquation.lean SatisfiesLawsOfLogic unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

the Baxter equation ψ(x+iπk|z) + ψ(x−iπk|z) = z / (2 cosh(x/2)) ψ(x|z)

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

45 extracted references · 45 canonical work pages · 32 internal anchors

[1]

N=6 superconformal Chern-Simons-matter theories, M2-branes and their gravity duals

O. Aharony, O. Bergman, D. L. Jafferis and J. Maldacena,N= 6Superconformal Chern-Simons-Matter Theories, M2-Branes and Their Gravity Duals,JHEP10(2008) 091, [0806.1218]

work page internal anchor Pith review Pith/arXiv arXiv 2008
[2]

Fractional M2-branes

O. Aharony, O. Bergman and D. L. Jafferis,Fractional M2-branes,JHEP11(2008) 043, [0807.4924]

work page internal anchor Pith review Pith/arXiv arXiv 2008
[3]

Localization techniques in quantum field theories

V. Pestun et al.,Localization techniques in quantum field theories,J. Phys.A50(2017) 440301, [1608.02952]

work page internal anchor Pith review Pith/arXiv arXiv 2017
[4]

Exact Results for Wilson Loops in Superconformal Chern-Simons Theories with Matter

A. Kapustin, B. Willett and I. Yaakov,Exact Results for Wilson Loops in Superconformal Chern-Simons Theories with Matter,JHEP03(2010) 089, [0909.4559]

work page internal anchor Pith review Pith/arXiv arXiv 2010
[5]

Exact Instanton Expansion of ABJM Partition Function

Y. Hatsuda, S. Moriyama and K. Okuyama,Exact instanton expansion of the ABJM partition function,PTEP2015(2015) 11B104, [1507.01678]

work page internal anchor Pith review Pith/arXiv arXiv 2015
[6]

Localization at large N in Chern-Simons-matter theories

M. Marino,Localization at large N in Chern–Simons-matter theories,J. Phys. A50(2017) 443007, [1608.02959]

work page internal anchor Pith review Pith/arXiv arXiv 2017
[7]

Giombi and A

S. Giombi and A. A. Tseytlin,Wilson Loops at Large N and the Quantum M2-Brane,Phys. Rev. Lett.130(2023) 201601, [2303.15207]

work page arXiv 2023
[8]

Beccaria, S

M. Beccaria, S. Giombi and A. A. Tseytlin,Instanton contributions to the ABJM free energy from quantum M2 branes,JHEP10(2023) 029, [2307.14112]

work page arXiv 2023
[9]

ABJM theory as a Fermi gas

M. Marino and P. Putrov,ABJM theory as a Fermi gas,J. Stat. Mech.1203(2012) P03001, [1110.4066]

work page internal anchor Pith review Pith/arXiv arXiv 2012
[10]

Instanton Effects in ABJM Theory from Fermi Gas Approach

Y. Hatsuda, S. Moriyama and K. Okuyama,Instanton Effects in ABJM Theory from Fermi Gas Approach,JHEP01(2013) 158, [1211.1251]

work page internal anchor Pith review Pith/arXiv arXiv 2013
[11]

String instanton in AdS(4)xCP(3)

A. Cagnazzo, D. Sorokin and L. Wulff,String instanton in AdS(4) x CP**3,JHEP05(2010) 009, [0911.5228]

work page internal anchor Pith review Pith/arXiv arXiv 2010
[12]

Nonperturbative aspects of ABJM theory

N. Drukker, M. Marino and P. Putrov,Nonperturbative aspects of ABJM theory,JHEP11 (2011) 141, [1103.4844]

work page internal anchor Pith review Pith/arXiv arXiv 2011
[13]

Exact Results in ABJM Theory from Topological Strings

M. Marino and P. Putrov,Exact Results in ABJM Theory from Topological Strings,JHEP06 (2010) 011, [0912.3074]

work page internal anchor Pith review Pith/arXiv arXiv 2010
[14]

From weak to strong coupling in ABJM theory

N. Drukker, M. Mari˜ no and P. Putrov,From Weak to Strong Coupling in ABJM Theory, Commun. Math. Phys.306(2011) 511–563, [1007.3837]

work page internal anchor Pith review Pith/arXiv arXiv 2011
[15]

Wilson loops in 3-dimensional N=6 supersymmetric Chern-Simons Theory and their string theory duals

N. Drukker, J. Plefka and D. Young,Wilson Loops in 3-DimensionalN= 6Supersymmetric Chern-Simons Theory and Their String Theory Duals,JHEP11(2008) 019, [0809.2787]

work page internal anchor Pith review Pith/arXiv arXiv 2008
[16]

Supersymmetric Wilson Loops in N=6 Super Chern-Simons-matter theory

B. Chen and J.-B. Wu,Supersymmetric Wilson Loops inN= 6Super Chern-Simons-Matter Theory,Nucl. Phys. B825(2010) 38–51, [0809.2863]

work page internal anchor Pith review Pith/arXiv arXiv 2010
[17]

A supermatrix model for N=6 super Chern-Simons-matter theory

N. Drukker and D. Trancanelli,A Supermatrix Model forN= 6Super Chern-Simons-Matter Theory,JHEP02(2010) 058, [0912.3006]

work page internal anchor Pith review Pith/arXiv arXiv 2010
[18]

Drukker et al.,Roadmap on Wilson loops in 3d Chern–Simons-matter theories,J

N. Drukker et al.,Roadmap on Wilson loops in 3d Chern–Simons-matter theories,J. Phys. A 53(2020) 173001, [1910.00588]. – 36 –

work page arXiv 2020
[19]

ABJM Wilson loops in the Fermi gas approach

A. Klemm, M. Marino, M. Schiereck and M. Soroush,Aharony–Bergman–Jafferis–Maldacena Wilson Loops in the Fermi Gas Approach,Z. Naturforsch. A68(2013) 178–209, [1207.0611]

work page internal anchor Pith review Pith/arXiv arXiv 2013
[20]

Instanton Corrections of 1/6 BPS Wilson Loops in ABJM Theory

K. Okuyama,Instanton Corrections of 1/6 BPS Wilson Loops in ABJM Theory,JHEP09 (2016) 125, [1607.06157]

work page internal anchor Pith review Pith/arXiv arXiv 2016
[21]

Boldis, G

B. Boldis, G. P. Korchemsky and A. Testa,Wilson loops in ABJM theory reloaded,2512.02119

work page arXiv
[22]

The topological open string wavefunction

A. Grassi, J. Kallen and M. Marino,The topological open string wavefunction,Commun. Math. Phys.338(2015) 533–561, [1304.6097]

work page internal anchor Pith review Pith/arXiv arXiv 2015
[23]

Knot Invariants and Topological Strings

H. Ooguri and C. Vafa,Knot invariants and topological strings,Nucl. Phys. B577(2000) 419–438, [hep-th/9912123]

work page internal anchor Pith review Pith/arXiv arXiv 2000
[24]

Exact Results on the ABJM Fermi Gas

Y. Hatsuda, S. Moriyama and K. Okuyama,Exact Results on the ABJM Fermi Gas,JHEP10 (2012) 020, [1207.4283]

work page internal anchor Pith review Pith/arXiv arXiv 2012
[25]

Exact ABJM Partition Function from TBA

P. Putrov and M. Yamazaki,Exact ABJM Partition Function from TBA,Mod. Phys. Lett. A 27(2012) 1250200, [1207.5066]

work page internal anchor Pith review Pith/arXiv arXiv 2012
[26]

Numerical studies of the ABJM theory for arbitrary N at arbitrary coupling constant

M. Hanada, M. Honda, Y. Honma, J. Nishimura, S. Shiba and Y. Yoshida,Numerical studies of the ABJM theory for arbitrary N at arbitrary coupling constant,JHEP05(2012) 121, [1202.5300]

work page internal anchor Pith review Pith/arXiv arXiv 2012
[27]

Instanton Bound States in ABJM Theory

Y. Hatsuda, S. Moriyama and K. Okuyama,Instanton Bound States in ABJM Theory,JHEP 05(2013) 054, [1301.5184]

work page internal anchor Pith review Pith/arXiv arXiv 2013
[28]

M-Theory and Topological Strings--I

R. Gopakumar and C. Vafa,M theory and topological strings. 1.,hep-th/9809187

work page internal anchor Pith review Pith/arXiv arXiv
[29]

M-Theory and Topological Strings--II

R. Gopakumar and C. Vafa,M theory and topological strings. 2.,hep-th/9812127

work page internal anchor Pith review Pith/arXiv arXiv
[30]

Membrane instantons from a semiclassical TBA

F. Calvo and M. Marino,Membrane instantons from a semiclassical TBA,JHEP05(2013) 006, [1212.5118]

work page internal anchor Pith review Pith/arXiv arXiv 2013
[31]

ABJM Wilson Loops in Arbitrary Representations

Y. Hatsuda, M. Honda, S. Moriyama and K. Okuyama,ABJM Wilson Loops in Arbitrary Representations,JHEP10(2013) 168, [1306.4297]

work page internal anchor Pith review Pith/arXiv arXiv 2013
[32]

Non-perturbative effects and the refined topological string

Y. Hatsuda, M. Marino, S. Moriyama and K. Okuyama,Non-perturbative effects and the refined topological string,JHEP09(2014) 168, [1306.1734]

work page internal anchor Pith review Pith/arXiv arXiv 2014
[33]

C. A. Tracy and H. Widom,Proofs of two conjectures related to the thermodynamic Bethe ansatz,Commun. Math. Phys.179(1996) 667–680, [solv-int/9509003]

work page internal anchor Pith review Pith/arXiv arXiv 1996
[34]

Instanton effects in ABJM theory with general R-charge assignments

T. Nosaka,Instanton effects in ABJM theory with general R-charge assignments,JHEP03 (2016) 059, [1512.02862]

work page internal anchor Pith review Pith/arXiv arXiv 2016
[35]

F. F. Gautason, V. G. M. Puletti and J. van Muiden,Quantized strings and instantons in holography,JHEP08(2023) 218, [2304.12340]

work page arXiv 2023
[36]

F. F. Gautason and J. van Muiden,Localization of the M2-Brane,Phys. Rev. Lett.135(2025) 101601, [2503.16597]

work page arXiv 2025
[37]

F. F. Gautason and J. van Muiden,Ensembles in M-theory and holography,JHEP11(2025) 078, [2505.21633]. – 37 –

work page arXiv 2025
[38]

S.-J. Rey, T. Suyama and S. Yamaguchi,Wilson Loops in Superconformal Chern-Simons Theory and Fundamental Strings in Anti-de Sitter Supergravity Dual,JHEP03(2009) 127, [0809.3786]

work page internal anchor Pith review Pith/arXiv arXiv 2009
[39]

Griguolo, L

L. Griguolo, L. Guerrini and I. Yaakov,Localization and duality for ABJM latitude Wilson loops,JHEP08(2021) 001, [2104.04533]

work page arXiv 2021
[40]

M. S. Bianchi, L. Griguolo, A. Mauri, S. Penati and D. Seminara,A matrix model for the latitude Wilson loop in ABJM theory,JHEP08(2018) 060, [1802.07742]

work page internal anchor Pith review Pith/arXiv arXiv 2018
[41]

Armanini, L

E. Armanini, L. Griguolo and L. Guerrini,BPS Wilson loops in mass-deformed ABJM theory: Fermi gas expansions and new defect CFT data,SciPost Phys.17(2024) 035, [2401.12288]

work page arXiv 2024
[42]

Bobev, P.-J

N. Bobev, P.-J. De Smet, J. Hong, V. Reys and X. Zhang,An Airy tale at large N,JHEP07 (2025) 123, [2502.04606]

work page arXiv 2025
[43]

Beccaria, G

M. Beccaria, G. P. Korchemsky and A. A. Tseytlin,Strong coupling expansion inN= 2 superconformal theories and the Bessel kernel,JHEP09(2022) 226, [2207.11475]

work page arXiv 2022
[44]

Bajnok, B

Z. Bajnok, B. Boldis and G. P. Korchemsky,Tracy-Widom Distribution in Four-Dimensional Supersymmetric Yang-Mills Theories,Phys. Rev. Lett.133(2024) 031601, [2403.13050]

work page arXiv 2024
[45]

Bajnok, B

Z. Bajnok, B. Boldis and G. P. Korchemsky,Solving four-dimensional superconformal Yang-Mills theories with Tracy-Widom distribution,JHEP04(2025) 005, [2409.17227]. – 38 –

work page arXiv 2025