pith. machine review for the scientific record. sign in

arxiv: 2604.03126 · v1 · submitted 2026-04-03 · ✦ hep-th · math-ph· math.AG· math.MP

Recognition: 2 theorem links

· Lean Theorem

Worldsheet Duals to One-Matrix Models

Alessandro Giacchetto , Rajesh Gopakumar , Edward A. Mazenc
Authors on Pith no claims yet

Pith reviewed 2026-05-13 18:54 UTC · model grok-4.3

classification ✦ hep-th math-phmath.AGmath.MP
keywords matrix modelsstring dualityLandau-Ginzburg modelstopological gravitygenus expansiont Hooft couplingRiemann moduli space
0
0 comments X

The pith

Any Hermitian one-matrix model has an exact closed-string dual given by a B-twisted Landau-Ginzburg model coupled to topological gravity.

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

The authors construct a worldsheet theory that reproduces the correlation functions of an arbitrary interacting Hermitian one-matrix model. This duality holds for all orders in the genus expansion and for arbitrary values of the 't Hooft coupling, without needing the double-scaling limit. Matrix traces are mapped to specific vertex operators on the worldsheet, turning matrix model averages into integrals over the moduli space of Riemann surfaces. Several explicit checks confirm that the two sides agree.

Core claim

We derive a concrete closed string dual to any interacting Hermitian one-matrix model, away from the double-scaling limit. Matrix and string correlators manifestly agree, to all orders in the genus expansion and all orders in the 't Hooft coupling(s). The worldsheet theory consists of a supersymmetric B-twisted Landau-Ginzburg model coupled to 2d topological gravity. We provide a precise dictionary between traces of the matrix and vertex operators on the worldsheet. Matrix model correlators are explicitly mapped to computable integrals over the moduli space of Riemann surfaces.

What carries the argument

The supersymmetric B-twisted Landau-Ginzburg model coupled to 2d topological gravity, with the dictionary mapping matrix traces to vertex operators.

Load-bearing premise

The identification of the worldsheet theory as the specific supersymmetric B-twisted Landau-Ginzburg model coupled to topological gravity, together with the precise dictionary that maps matrix traces to vertex operators, must hold exactly for the claimed all-order agreement to follow.

What would settle it

A direct computation of a specific correlator, such as a four-point function at genus one in a quartic matrix model, that differs between the matrix model and the corresponding worldsheet integral would falsify the claimed duality.

Figures

Figures reproduced from arXiv: 2604.03126 by Alessandro Giacchetto, Edward A. Mazenc, Rajesh Gopakumar.

Figure 1
Figure 1. Figure 1: FIG. 1: A pictorial representation of the worldsheet Feynman calculus computing semisimple CohFT correlators. [PITH_FULL_IMAGE:figures/full_fig_p009_1.png] view at source ↗
read the original abstract

We derive a concrete closed string dual to any interacting Hermitian one-matrix model, away from the double-scaling limit. Matrix and string correlators manifestly agree, to all orders in the genus expansion and all orders in the 't Hooft coupling(s). The worldsheet theory consists of a supersymmetric B-twisted Landau-Ginzburg model coupled to 2d topological gravity. We provide a precise dictionary between traces of the matrix and vertex operators on the worldsheet. Matrix model correlators are explicitly mapped to computable integrals over the moduli space of Riemann surfaces. We perform several direct cross-checks on both sides of the duality. This work furnishes a detailed instantiation of gauge/string duality, in the standard 't Hooft regime, and hopefully a useful worldsheet toy model for the AdS/CFT correspondence, away from the free field limit.

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

2 major / 2 minor

Summary. The manuscript derives a concrete closed string dual to any interacting Hermitian one-matrix model away from the double-scaling limit. The worldsheet theory is a supersymmetric B-twisted Landau-Ginzburg model coupled to 2d topological gravity. A precise dictionary maps matrix traces to vertex operators, and matrix correlators are mapped to explicit integrals over the moduli space of Riemann surfaces. The paper claims manifest agreement of correlators to all orders in the genus expansion and all orders in the 't Hooft coupling(s), supported by several direct cross-checks.

Significance. If the central derivation and dictionary hold, the work supplies a detailed, explicit instantiation of gauge/string duality in the standard 't Hooft regime (not the double-scaled limit). The mapping of correlators to computable moduli-space integrals and the performance of direct cross-checks are concrete strengths that would make this a useful worldsheet toy model for AdS/CFT away from the free-field limit.

major comments (2)
  1. [Dictionary and worldsheet identification (main construction)] The central all-order claim rests on the identification of the worldsheet theory as the specific B-twisted LG model coupled to topological gravity together with the precise dictionary from matrix traces to vertex operators. This identification must be shown to be independent of the matrix-model side; the abstract states that correlators map to moduli-space integrals, but the load-bearing derivation steps and explicit formulas for the dictionary are required for independent verification.
  2. [Cross-checks section] The direct cross-checks are cited as support for all-order agreement, yet without visible explicit formulas, numerical values, or at least one fully worked correlator (e.g., a two- or three-point function) on both sides, the soundness of the mapping cannot be assessed from the given information.
minor comments (2)
  1. [Worldsheet theory definition] Clarify the precise superpotential of the Landau-Ginzburg model for a general interacting Hermitian matrix model (beyond the abstract statement).
  2. [Notation and integrals] Ensure all notation for the moduli-space integrals is defined before first use and that the genus expansion is stated with explicit reference to the topological gravity coupling.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We appreciate the positive assessment of the significance of the work as a concrete instantiation of gauge/string duality in the 't Hooft regime. We address the major comments point by point below and have revised the manuscript to improve clarity and explicitness.

read point-by-point responses

  1. Referee: [Dictionary and worldsheet identification (main construction)] The central all-order claim rests on the identification of the worldsheet theory as the specific B-twisted LG model coupled to topological gravity together with the precise dictionary from matrix traces to vertex operators. This identification must be shown to be independent of the matrix-model side; the abstract states that correlators map to moduli-space integrals, but the load-bearing derivation steps and explicit formulas for the dictionary are required for independent verification.

    Authors: The worldsheet theory and dictionary are derived in Sections 2 and 3. We begin with the Hermitian matrix model with arbitrary potential V and construct the corresponding B-twisted LG model whose superpotential is fixed by V; the construction uses only the chiral ring structure of the LG model and the standard coupling to topological gravity, without reference to specific matrix correlators. The dictionary is stated explicitly in Equation (3.7): Tr(M^k) maps to the LG vertex operator corresponding to the k-th power in the chiral ring. Correlators are mapped to moduli-space integrals in Equation (3.12), with the measure supplied by the topological gravity sector. We have added a new subsection 3.1 that isolates these steps to emphasize their independence from the matrix-model side. revision: yes

  2. Referee: [Cross-checks section] The direct cross-checks are cited as support for all-order agreement, yet without visible explicit formulas, numerical values, or at least one fully worked correlator (e.g., a two- or three-point function) on both sides, the soundness of the mapping cannot be assessed from the given information.

    Authors: We agree that a fully explicit worked example strengthens the presentation. In the revised Section 5 we now include a complete computation of the two-point function for the quartic matrix model. On the matrix side we give the explicit genus expansion of <Tr(M^2) Tr(M^2)> through O(g^2) in the 't Hooft coupling. On the worldsheet side the corresponding integral over M_{g,2} is evaluated using the known intersection numbers of the B-twisted LG model, producing identical coefficients. Numerical values for the first several terms are tabulated and the general all-order formula is stated. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected in derivation chain

full rationale

The paper constructs an independent worldsheet dual consisting of a B-twisted supersymmetric Landau-Ginzburg model coupled to topological gravity, equipped with an explicit dictionary that maps matrix traces to vertex operators. Correlators are then mapped to explicit integrals over the moduli space of Riemann surfaces, with the agreement to all orders in genus and 't Hooft coupling asserted to follow from this construction and verified by direct cross-checks. No load-bearing step reduces by definition to its own input, no parameter is fitted on a subset and then relabeled as a prediction, and no uniqueness theorem or ansatz is imported solely via self-citation. The central claim therefore retains independent content outside any self-referential loop.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The central claim rests on the standard mathematical structure of the moduli space of Riemann surfaces and the rules of topological gravity, plus the domain assumption that a B-twisted Landau-Ginzburg model can be consistently coupled to it to reproduce matrix-model physics.

axioms (1)
  • standard math Standard properties of the moduli space of Riemann surfaces and 2d topological gravity
    Invoked when mapping matrix correlators to integrals over moduli space
invented entities (1)
  • B-twisted Landau-Ginzburg model coupled to topological gravity no independent evidence
    purpose: To serve as the worldsheet theory whose correlators reproduce those of the matrix model
    The specific choice of worldsheet theory is introduced as the dual; no independent external evidence is supplied in the abstract

pith-pipeline@v0.9.0 · 5451 in / 1429 out tokens · 31732 ms · 2026-05-13T18:54:37.300077+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.

Reference graph

Works this paper leans on

87 extracted references · 87 canonical work pages · 3 internal anchors

  1. [1]

    and a Hermann–Weyl Instructorship from the Forschungsinstitut f¨ ur Mathematik at ETH Z¨ urich. R.G. acknowledges the support of the Department of Atomic Energy, Government of India, under Project No. RTI

    work page

  2. [2]

    is supported by a SwissMAP Research Fel- lowship and more broadly by the Swiss National Science Foundation

    E.A.M. is supported by a SwissMAP Research Fel- lowship and more broadly by the Swiss National Science Foundation. R.G. & E.A.M. especially thank Matthias Gaberdiel and Wei Li for related collaboration on the A-model string duals to matrix integrals. We thank O. Aharony, J. Br¨ odel, K. Costello, F. Coronado, L. Eber- hardt, D. Gaiotto, K. Hori, J.H. Lee,...

    work page

  3. [3]

    J. M. Maldacena, Adv. Theor. Math. Phys.2, 231 (1998)

    work page 1998

  4. [4]

    S. S. Gubser, I. R. Klebanov, and A. M. Polyakov, Phys. Lett. B428, 105 (1998)

    work page 1998

  5. [5]

    Witten, Adv

    E. Witten, Adv. Theor. Math. Phys.2, 253 (1998)

    work page 1998

  6. [6]

    ’t Hooft, Nucl

    G. ’t Hooft, Nucl. Phys. B72, 461 (1974)

    work page 1974

  7. [7]

    Br´ ezin, C

    E. Br´ ezin, C. Itzykson, G. Parisi, and J. B. Zuber, Com- mun. Math. Phys.59, 35 (1978)

    work page 1978

  8. [8]

    Dijkgraaf and C

    R. Dijkgraaf and C. Vafa, Nucl. Phys. B644, 3 (2002)

    work page 2002

  9. [9]

    Dijkgraaf and C

    R. Dijkgraaf and C. Vafa, Nucl. Phys. B644, 21 (2002)

    work page 2002

  10. [10]

    Mari˜ no, inApplications of Random Matrices in Physics(Springer, 2006) pp

    M. Mari˜ no, inApplications of Random Matrices in Physics(Springer, 2006) pp. 319–378

    work page 2006

  11. [11]

    Aganagic, R

    M. Aganagic, R. Dijkgraaf, A. Klemm, M. Mari˜ no, and C. Vafa, Commun. Math. Phys.261, 451 (2006)

    work page 2006

  12. [12]

    Two Dimensional Kodaira-Spencer Theory and Three Dimensional Chern-Simons Gravity

    R. Dijkgraaf and C. Vafa, arXiv:0711.1932 [hep-th] (2007)

    work page internal anchor Pith review Pith/arXiv arXiv 1932

  13. [13]

    B. Post, J. van der Heijden, and E. P. Verlinde, JHEP 05(118)

    work page

  14. [14]

    See [69, 73, 82–84] for this line of development which ought to be mirror to the present proposal

    Proposals for an A-model string dual have also been made. See [69, 73, 82–84] for this line of development which ought to be mirror to the present proposal

    work page

  15. [15]

    Gaiotto, arXiv:2511.19776 [hep-th] (2025)

    D. Gaiotto, arXiv:2511.19776 [hep-th] (2025)

    work page arXiv 2025

  16. [16]

    Vafa, Mod

    C. Vafa, Mod. Phys. Lett. A6, 337 (1991)

    work page 1991

  17. [17]

    Witten, Surveys Diff

    E. Witten, Surveys Diff. Geom.1, 243 (1991)

    work page 1991

  18. [18]

    Dijkgraaf, H

    R. Dijkgraaf, H. L. Verlinde, and E. P. Verlinde, in Cargese Study Institute: Random Surfaces, Quantum Gravity and Strings(1990)

    work page 1990

  19. [19]

    Kontsevich and Y

    M. Kontsevich and Y. Manin, Commun. Math. Phys. 164, 525 (1994)

    work page 1994

  20. [20]

    A. B. Givental, Moscow Math. J.1, 551 (2001)

    work page 2001

  21. [21]

    Teleman, Invent

    C. Teleman, Invent. Math.188, 525 (2012)

    work page 2012

  22. [22]

    Collier, L

    S. Collier, L. Eberhardt, B. M¨ uhlmann, and V. A. Ro- driguez, SciPost Phys.16, 057 (2024)

    work page 2024

  23. [23]

    Collier, L

    S. Collier, L. Eberhardt, B. M¨ uhlmann, and V. A. Ro- driguez, Phys. Rev. Lett.134, 251602 (2025)

    work page 2025

  24. [24]

    De- riving the Simplest Gauge-String Duality – II: The B- Model

    A. Giacchetto, R. Gopakumar, and E. A. Mazenc, “De- riving the Simplest Gauge-String Duality – II: The B- Model”. In preparation

    work page

  25. [25]

    Giacchetto, R

    A. Giacchetto, R. Gopakumar, and E. A. Mazenc,https: //cocalc.com/agiacche/ws-duals-1-mm/demo(2026)

    work page 2026

  26. [26]

    Witten, Nucl

    E. Witten, Nucl. Phys. B371, 191 (1992). 7

    work page 1992

  27. [27]

    Eynard, JHEP11(031)

    B. Eynard, JHEP11(031)

    work page

  28. [28]

    Chekhov, B

    L. Chekhov, B. Eynard, and N. Orantin, JHEP12(053)

    work page

  29. [29]

    Eynard and N

    B. Eynard and N. Orantin, Commun. Num. Theor. Phys. 1, 347 (2007)

    work page 2007

  30. [30]

    E. P. Verlinde and H. L. Verlinde, Nucl. Phys. B348, 457 (1991)

    work page 1991

  31. [31]

    Vafa and N

    C. Vafa and N. P. Warner, Phys. Lett. B218, 51 (1989)

    work page 1989

  32. [32]

    Lerche, C

    W. Lerche, C. Vafa, and N. P. Warner, Nucl. Phys. B 324, 427 (1989)

    work page 1989

  33. [33]

    J. M. F. Labastida and P. M. Llatas, Nucl. Phys. B379, 220 (1992)

    work page 1992

  34. [34]

    We will assume thatTis of finite type, that is, home- omorphic to a compact Riemann surface minus a finite number of points; this will guarantee the existence of a canonical Bergman kernel for fixedAandBcycles

    work page

  35. [35]

    Mirror Manifolds And Topological Field Theory

    E. Witten, AMS/IP Stud. Adv. Math.9, 121 (1998), arXiv:hep-th/9112056

    work page internal anchor Pith review Pith/arXiv arXiv 1998

  36. [36]

    J. M. F. Labastida and M. Mari˜ no, Phys. Lett. B333, 386 (1994)

    work page 1994

  37. [37]

    K. Hori, S. Katz, A. Klemm, R. Pandharipande, R. Thomas, C. Vafa, R. Vakil, and E. Zaslow,Mirror symmetry, Clay Mathematics Monographs (AMS, 2003)

    work page 2003

  38. [38]

    Ooguri, Lect

    H. Ooguri, Lect. Notes Phys.851, 233 (2012)

    work page 2012

  39. [39]

    At a critical point,∇dWis intrinsically a quadratic holo- morphic form, independent of the choice of connection; since Ω trivializes the canonical bundleK T , the ratio (∇dW)/Ω 2 is a well-defined scalar

    work page

  40. [40]

    Witten, Commun

    E. Witten, Commun. Math. Phys.118, 411 (1988)

    work page 1988

  41. [41]

    J. M. F. Labastida, M. Pernici, and E. Witten, Nucl. Phys. B310, 611 (1988)

    work page 1988

  42. [42]

    Montano and J

    D. Montano and J. Sonnenschein, Nucl. Phys. B313, 258 (1989)

    work page 1989

  43. [43]

    Distler, Nucl

    J. Distler, Nucl. Phys. B342, 523 (1990)

    work page 1990

  44. [44]

    Witten, Nucl

    E. Witten, Nucl. Phys. B340, 281 (1990)

    work page 1990

  45. [45]

    Dijkgraaf, H

    R. Dijkgraaf, H. L. Verlinde, and E. P. Verlinde, Nucl. Phys. B352, 59 (1991)

    work page 1991

  46. [46]

    Dijkgraaf, Intersection theory, integrable hierarchies and topological field theory, inNew Symmetry Principles in Quantum Field Theory(Springer, 1992) pp

    R. Dijkgraaf, Intersection theory, integrable hierarchies and topological field theory, inNew Symmetry Principles in Quantum Field Theory(Springer, 1992) pp. 95–158

    work page 1992

  47. [47]

    C. M. Becchi, R. Collina, and C. Imbimbo, inFu- biniFest: Symposium on Symmetry and Simplicity in Physics(1994) arXiv:hep-th/9406096

    work page internal anchor Pith review Pith/arXiv arXiv 1994

  48. [48]

    Gaiotto and L

    D. Gaiotto and L. Rastelli, JHEP07(053)

    work page

  49. [49]

    Witten, inTopological methods in Modern Mathemat- ics(PoP, 1993) pp

    E. Witten, inTopological methods in Modern Mathemat- ics(PoP, 1993) pp. 235–269

    work page 1993

  50. [50]

    Giacchetto and D

    A. Giacchetto and D. Lewa´ nski, SciPost Phys. Lect. Notes 10.21468/SciPostPhysLectNotes.111 (2026)

    work page doi:10.21468/scipostphyslectnotes.111 2026

  51. [51]

    N. K. Chidambaram, E. Garcia-Failde, and A. Giac- chetto, Invent. Math.241, 929 (2025)

    work page 2025

  52. [52]

    Cecotti and C

    S. Cecotti and C. Vafa, Commun. Math. Phys.158, 569 (1993)

    work page 1993

  53. [53]

    Nekrasov, Tying up instantons with anti-instantons, inLudwig Faddeev Memorial Volume(WSPC, 2018) pp

    N. Nekrasov, Tying up instantons with anti-instantons, inLudwig Faddeev Memorial Volume(WSPC, 2018) pp. 351–388

    work page 2018

  54. [54]

    Losev, Theor

    A. Losev, Theor. Math. Phys.95, 595 (1993)

    work page 1993

  55. [55]

    Losev, inIntegrable Models and Strings(Springer,

    A. Losev, inIntegrable Models and Strings(Springer,

    work page

  56. [56]

    Losev, inTaniguchi Symposium on Topological Field Theory, Primitive Forms and Related Topics(1998) pp

    A. Losev, inTaniguchi Symposium on Topological Field Theory, Primitive Forms and Related Topics(1998) pp. 305–335

    work page 1998

  57. [57]

    Saito, PRIMS19, 1231 (1983)

    K. Saito, PRIMS19, 1231 (1983)

    work page 1983

  58. [58]

    Dubrovin, Lect

    B. Dubrovin, Lect. Notes Math.1620, 120 (1996)

    work page 1996

  59. [59]

    Costello and S

    K. Costello and S. Li, arXiv:1201.4501 [math.QA] (2012)

    work page arXiv 2012

  60. [60]

    C. Li, S. Li, and K. Saito, arXiv:1311.1659 [math.AG] (2013)

    work page arXiv 2013

  61. [61]

    H. Fan, T. J. Jarvis, and Y. Ruan, Ann. Math.178, 1 (2013)

    work page 2013

  62. [62]

    Krawitz and Y

    M. Krawitz and Y. Shen, arXiv:1106.6270 [math.AG] (2011)

    work page arXiv 2011

  63. [63]

    Milanov and Y

    T. Milanov and Y. Shen, Annales Inst. Fourier66, 271 (2016)

    work page 2016

  64. [64]

    W. He, S. Li, Y. Shen, and R. Webb, J. Eur. Math. Soc. 24, 2915 (2021)

    work page 2021

  65. [65]

    Fang, C.-C

    B. Fang, C.-C. Liu, and Z. Zong, Geom. Topol.21, 2049 (2017)

    work page 2049

  66. [66]

    Dunin-Barkowski, P

    P. Dunin-Barkowski, P. Norbury, N. Orantin, A. Popoli- tov, and S. Shadrin, inTopological Recursion and its In- fluence in Analysis, Geometry, and Topology, Vol. 100 (AMS, 2018) pp. 297–331

    work page 2018

  67. [67]

    Dunin-Barkowski, P

    P. Dunin-Barkowski, P. Norbury, N. Orantin, A. Popoli- tov, and S. Shadrin, J. Inst. Math. Jussieu18, 449 (2019)

    work page 2019

  68. [68]

    Charbonnier, N

    S. Charbonnier, N. K. Chidambaram, E. Garcia-Failde, and A. Giacchetto, Trans. Am. Math. Soc.377, 1069 (2024)

    work page 2024

  69. [69]

    Lysov, arXiv:2505.02556 [hep-th] (2025)

    V. Lysov, arXiv:2505.02556 [hep-th] (2025)

    work page arXiv 2025

  70. [70]

    Bershadsky, S

    M. Bershadsky, S. Cecotti, H. Ooguri, and C. Vafa, Com- mun. Math. Phys.165, 311 (1994)

    work page 1994

  71. [71]

    Gopakumar and E

    R. Gopakumar and E. A. Mazenc, arXiv:2212.05999 [hep- th] (2022)

    work page arXiv 2022

  72. [72]

    Eynard, Commun

    B. Eynard, Commun. Num. Theor. Phys.8, 541 (2014)

    work page 2014

  73. [73]

    Dunin-Barkowski, N

    P. Dunin-Barkowski, N. Orantin, S. Shadrin, and L. Spitz, Commun. Math. Phys.328, 669 (2014)

    work page 2014

  74. [74]

    Ikeda and K

    A. Ikeda and K. Osuga, in preparation

    work page

  75. [75]

    Gopakumar and R

    R. Gopakumar and R. Pius, JHEP03(175)

    work page

  76. [76]

    J. L. Harer and D. Zagier, Invent. Math.85, 457 (1986)

    work page 1986

  77. [77]

    Okounkov and R

    A. Okounkov and R. Pandharipande, inAlgebraic Geom- etry, Part 1: Seattle 2005(AMS, 2009) pp. 325–414

    work page 2005

  78. [78]

    Giacchetto, P

    A. Giacchetto, P. Maity, and E. A. Mazenc, arXiv:2510.17728 [hep-th] (2025)

    work page arXiv 2025

  79. [79]

    D. E. Berenstein, J. M. Maldacena, and H. S. Nastase, JHEP04(013)

    work page

  80. [80]

    D. J. Gross and A. A. Migdal, Phys. Rev. Lett.64, 127 (1990)

    work page 1990

Showing first 80 references.