arxiv: 2604.27794 · v2 · submitted 2026-04-30 · ✦ hep-th · math-ph· math.MP

Recognition: no theorem link

TBA equations for SU(r+1) quantum Seiberg-Witten curve: higher-order Mathieu equation

Feiyu Peng , Hongfei Shu

Authors on Pith no claims yet

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

classification ✦ hep-th math-phmath.MP

keywords TBA equationsquantum Seiberg-Witten curvehigher-order Mathieu equationODE/IM correspondenceQ-systemsY-systemseffective central chargeSU(r+1) N=2 SYM

0 comments

The pith

The TBA equations for the SU(r+1) quantum Seiberg-Witten curve are obtained from subdominant solutions of the higher-order Mathieu equation.

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

This paper applies the ODE/IM correspondence to the higher-order Mathieu equation that comes from the quantum Seiberg-Witten curve of pure SU(r+1) N=2 supersymmetric Yang-Mills theory. Subdominant solutions are used to construct Q- and Y-systems, from which the thermodynamic Bethe ansatz equations are derived. The moduli parameters appear in the boundary conditions of the Y-functions at negative infinity for the spectral parameter angle. An analytic expression for the effective central charge is extracted from these boundary conditions, and it controls the next-to-leading term in the large-angle expansion. The Q-function expansion from the TBA equations is compared to the WKB method and matches analytically at the subleading order with numerical agreement at higher orders.

Core claim

The authors establish that the ODE/IM correspondence holds for the higher-order Mathieu equation arising from the quantum Seiberg-Witten curve of the pure SU(r+1) N=2 supersymmetric Yang-Mills theory. This allows the construction of Q- and Y-systems from the subdominant solutions of the equation. The corresponding TBA equations are then derived, with the dependence on the moduli parameters encoded in the boundary conditions of the Y-functions as the angle θ approaches negative infinity. From these boundary data, an analytic expression for the effective central charge is obtained. This central charge also determines the subleading contribution in the large-θ expansion of the TBA equations. A

What carries the argument

The ODE/IM correspondence applied to the higher-order Mathieu equation, which uses subdominant solutions to construct the Q- and Y-systems and derive the TBA equations.

If this is right

The moduli parameters are encoded in the boundary conditions of the Y-functions at θ approaching negative infinity.
An analytic expression for the effective central charge is derived from the boundary data.
The subleading term in the large-θ expansion of the TBA equations is governed by this effective central charge.
The large-θ expansion of the Q-function from TBA matches the WKB result analytically at subleading order.
Higher-order corrections in the Q-function expansion agree numerically between TBA and WKB methods.

Where Pith is reading between the lines

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

This approach could be used to compute other quantities in the quantum Seiberg-Witten curve using integrable system methods.
The precise agreement at higher orders indicates that the correspondence is accurate beyond the first correction.
Similar constructions might apply to quantum curves in other supersymmetric theories or with matter fields.

Load-bearing premise

The ODE/IM correspondence can be directly applied to the higher-order Mathieu equation that arises from the quantum Seiberg-Witten curve of pure SU(r+1) N=2 supersymmetric Yang-Mills theory.

What would settle it

Failure to obtain consistent Y-function boundary conditions at θ → -∞ that encode the moduli parameters, or a mismatch between the TBA and WKB expansions of the Q-function at subleading or higher orders.

read the original abstract

We develop the ODE/IM correspondence for the higher-order Mathieu equation arising from the quantum Seiberg-Witten curve of the pure $SU(r+1)$ ${\cal N}=2$ supersymmetric Yang-Mills theory. From the subdominant solutions, we construct the Q-/Y-systems and derive the corresponding TBA equations. The dependence of the moduli parameters is found to be encoded in the boundary conditions of the Y-functions at $\theta \to -\infty$. From these boundary data, we derive an analytic expression for the effective central charge, which also governs the subleading contribution in the large-$\theta$ expansion of the TBA equations. Finally, we compare the large-$\theta$ expansion of the Q-function derived from the TBA equations with that obtained from the WKB method, which yields analytic agreement at subleading order and precise numerical agreement at the higher-order corrections.

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

They extend the ODE/IM correspondence to the higher-order Mathieu equation for pure SU(r+1) and extract an analytic effective central charge from the Y-function boundary conditions at large negative theta.

read the letter

This paper builds the TBA system for the higher-order Mathieu equation that arises from the quantum Seiberg-Witten curve in pure SU(r+1) N=2 Yang-Mills. The main advance is deriving an explicit analytic formula for the effective central charge straight from the asymptotic boundary data on the Y-functions, then using that same quantity to fix the subleading piece of the large-theta expansion of the Q-function. They also compare the full expansion against WKB and report analytic agreement at the first correction plus numerical agreement at higher orders.

Referee Report

2 major / 2 minor

Summary. The paper develops the ODE/IM correspondence for the higher-order Mathieu equation obtained from the quantum Seiberg-Witten curve of pure SU(r+1) N=2 supersymmetric Yang-Mills theory. From subdominant solutions it constructs the associated Q- and Y-systems, derives the TBA equations, encodes the moduli dependence in the Y-function boundary conditions at θ → -∞, extracts an analytic expression for the effective central charge from those boundary data, and compares the large-θ expansion of the Q-function obtained from the TBA equations with the WKB result, reporting analytic agreement at subleading order and numerical agreement at higher orders.

Significance. If the central derivations hold, the work supplies a concrete extension of the ODE/IM correspondence to higher-rank quantum Seiberg-Witten curves, furnishing both an analytic formula for the effective central charge and explicit cross-checks against WKB. These elements could serve as useful benchmarks for further applications of TBA methods to higher-order differential equations in N=2 gauge theory and related integrable systems.

major comments (2)

The analytic expression for the effective central charge is stated to follow directly from the Y-function boundary conditions at θ → -∞. The manuscript should supply the explicit steps (including any auxiliary functions or limits used) that convert those boundary data into the closed-form central-charge formula, so that independence from the subsequent TBA solution can be verified.
The large-θ expansion comparison between the TBA-derived Q-function and the WKB result is reported to agree analytically at subleading order and numerically at higher orders. The relevant section should display the first few explicit expansion coefficients on both sides together with the numerical error estimates used for the higher-order terms.

minor comments (2)

Clarify the precise definition of the higher-order Mathieu equation (including the precise form of the potential and the parameter r) at the beginning of the technical sections.
Add a short table or list summarizing the boundary conditions for the Y-functions for the first few values of r, to make the moduli encoding more transparent.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the constructive comments. We address each major comment below and will incorporate the requested clarifications in the revised version.

read point-by-point responses

Referee: The analytic expression for the effective central charge is stated to follow directly from the Y-function boundary conditions at θ → -∞. The manuscript should supply the explicit steps (including any auxiliary functions or limits used) that convert those boundary data into the closed-form central-charge formula, so that independence from the subsequent TBA solution can be verified.

Authors: We agree that the derivation steps should be made fully explicit to allow independent verification. In the revised manuscript we will insert a short dedicated paragraph immediately after the statement of the Y-function boundary conditions at θ → -∞. This paragraph will define the auxiliary functions (the logarithmic derivative of the Y-functions and the associated integral kernels) and spell out the precise limiting procedure that isolates the effective central charge from the boundary data alone, without reference to the TBA solution itself. revision: yes
Referee: The large-θ expansion comparison between the TBA-derived Q-function and the WKB result is reported to agree analytically at subleading order and numerically at higher orders. The relevant section should display the first few explicit expansion coefficients on both sides together with the numerical error estimates used for the higher-order terms.

Authors: We will expand the comparison section to include the explicit coefficients. The revised text will list the leading and subleading analytic coefficients obtained from the TBA equations and from the WKB expansion side by side, confirming their agreement. For the higher-order terms we will add a table presenting the numerical values extracted from the TBA solution, the corresponding WKB coefficients, and the estimated numerical uncertainties arising from truncation of the integral equations and from the discretization scheme employed. revision: yes

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The claimed derivation begins from the higher-order Mathieu equation (arising from the quantum Seiberg-Witten curve), applies the ODE/IM correspondence to subdominant solutions to construct Q-/Y-systems, derives TBA equations, encodes moduli dependence in Y-function boundary conditions at θ → -∞, extracts an analytic effective central charge from those boundaries, and performs a WKB consistency check on the large-θ Q-function expansion. None of these steps reduce by construction to their inputs: the boundary data are presented as independent outputs that determine the central charge, the TBA equations are derived rather than presupposed, and the WKB comparison functions as an external verification rather than a self-referential fit. No self-citations, ansatz smuggling, or renaming of known results are indicated in the abstract or reader summary as load-bearing for the central claims. The structure is self-contained against external benchmarks such as WKB asymptotics.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the ODE/IM correspondence as a background domain assumption in integrable systems and mathematical physics; no explicit free parameters or newly invented entities are stated in the abstract.

axioms (1)

domain assumption The ODE/IM correspondence holds for the higher-order Mathieu equation arising from the quantum Seiberg-Witten curve of pure SU(r+1) N=2 supersymmetric Yang-Mills theory.
Invoked to justify constructing Q-/Y-systems from subdominant solutions and deriving TBA equations.

pith-pipeline@v0.9.0 · 5452 in / 1623 out tokens · 65018 ms · 2026-05-12T05:37:02.658357+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Reference graph

Works this paper leans on

50 extracted references · 50 canonical work pages · 1 internal anchor

[1]

Monopole Condensation, And Confinement In N=2 Supersymmetric Yang-Mills Theory

N. Seiberg and E. Witten,Electric - magnetic duality, monopole condensation, and confinement in N=2 supersymmetric Yang-Mills theory,Nucl. Phys. B426 (1994) 19 [hep-th/9407087]

work page Pith review arXiv 1994
[2]

Monopoles, Duality and Chiral Symmetry Breaking in N=2 Supersymmetric QCD

N. Seiberg and E. Witten,Monopoles, duality and chiral symmetry breaking in N=2 supersymmetric QCD,Nucl. Phys. B431(1994) 484 [hep-th/9408099]

work page Pith review arXiv 1994
[3]

Gorsky, I

A. Gorsky, I. Krichever, A. Marshakov, A. Mironov and A. Morozov,Integrability and Seiberg-Witten exact solution,Phys. Lett. B355(1995) 466 [hep-th/9505035]

work page arXiv 1995
[4]

E. J. Martinec and N. P. Warner,Integrable systems and supersymmetric gauge theory,Nucl. Phys. B459(1996) 97 [hep-th/9509161]

work page arXiv 1996
[5]

Donagi and E

R. Donagi and E. Witten,Supersymmetric Yang-Mills theory and integrable systems,Nucl. Phys. B460(1996) 299 [hep-th/9510101]

work page arXiv 1996
[6]

N. A. Nekrasov and S. L. Shatashvili,Quantization of Integrable Systems and Four Dimensional Gauge Theories, in16th International Congress on Mathematical Physics, pp. 265–289, 2010,0908.4052, DOI

work page arXiv 2010
[7]

Nekrasov, V

N. Nekrasov, V. Pestun and S. Shatashvili,Quantum geometry and quiver gauge theories,Commun. Math. Phys.357(2018) 519 [1312.6689]

work page arXiv 2018
[8]

Dorey and R

P. Dorey and R. Tateo,Anharmonic oscillators, the thermodynamic Bethe ansatz, and nonlinear integral equations,J. Phys. A32(1999) L419 [hep-th/9812211]

work page arXiv 1999
[9]

V. V. Bazhanov, S. L. Lukyanov and A. B. Zamolodchikov,Spectral determinants for Schrodinger equation and Q operators of conformal field theory,J. Statist. Phys.102(2001) 567 [hep-th/9812247]. 19

work page arXiv 2001
[10]

P. C. Argyres and M. R. Douglas,New phenomena in SU(3) supersymmetric gauge theory,Nucl. Phys. B448(1995) 93 [hep-th/9505062]

work page Pith review arXiv 1995
[11]

P. C. Argyres, M. R. Plesser, N. Seiberg and E. Witten,New N=2 superconformal field theories in four-dimensions,Nucl. Phys. B461(1996) 71 [hep-th/9511154]

work page arXiv 1996
[12]

Opers and TBA.arXiv preprint arXiv:1403.6137,

D. Gaiotto,Opers and TBA,1403.6137

work page arXiv
[13]

Ito and H

K. Ito and H. Shu,ODE/IM correspondence and the Argyres-Douglas theory, JHEP08(2017) 071 [1707.03596]

work page arXiv 2017
[14]

K. Ito, M. Mari˜ no and H. Shu,TBA equations and resurgent Quantum Mechanics,JHEP01(2019) 228 [1811.04812]

work page arXiv 2019
[15]

Voros,The return of the quartic oscillator

A. Voros,The return of the quartic oscillator. The complex WKB method, Annales de l’I.H.P. Physique th´ eorique39(1983) 211

work page 1983
[16]

Gaiotto, G

D. Gaiotto, G. W. Moore and A. Neitzke,Four-dimensional wall-crossing via three-dimensional field theory,Commun. Math. Phys.299(2010) 163 [0807.4723]

work page arXiv 2010
[17]

Wall-crossing, Hitchin Systems, and the WKB Approximation

D. Gaiotto, G. W. Moore and A. Neitzke,Wall-crossing, Hitchin systems, and the WKB approximation,Adv. Math.234(2013) 239 [0907.3987]

work page Pith review arXiv 2013
[18]

Cecotti and M

S. Cecotti and M. Del Zotto,Ysystems,Qsystems, and 4DN= 2 supersymmetric QFT,J. Phys. A47(2014) 474001 [1403.7613]

work page arXiv 2014
[19]

L. F. Alday, J. Maldacena, A. Sever and P. Vieira,Y-system for Scattering Amplitudes,J. Phys. A43(2010) 485401 [1002.2459]

work page arXiv 2010
[20]

Hatsuda, K

Y. Hatsuda, K. Ito, K. Sakai and Y. Satoh,Thermodynamic Bethe Ansatz Equations for Minimal Surfaces inAdS 3,JHEP04(2010) 108 [1002.2941]

work page arXiv 2010
[21]

Caetano and J

J. Caetano and J. Toledo,χ-systems for correlation functions,JHEP01(2019) 050 [1208.4548]

work page arXiv 2019
[22]

Ouyang and H

H. Ouyang and H. Shu,TBA-like equations for non-planar scattering amplitude/Wilson lines duality at strong coupling,JHEP05(2022) 099 [2202.10700]

work page arXiv 2022
[23]

Ito and H

K. Ito and H. Shu,TBA equations for the Schr¨ odinger equation with a regular singularity,J. Phys. A53(2020) 335201 [1910.09406]

work page arXiv 2020
[24]

Ito and J

K. Ito and J. Yang,Exact WKB Analysis and TBA Equations for the Stark Effect,PTEP2024(2024) 013A02 [2307.03504]. 20

work page arXiv 2024
[25]

Ito and J

K. Ito and J. Yang,TBA equations and quantum periods for D-type Argyres-Douglas theories,JHEP01(2025) 047 [2408.01124]

work page arXiv 2025
[26]

Hollands and A

L. Hollands and A. Neitzke,Exact WKB and abelianization for theT 3 equation, Commun. Math. Phys.380(2020) 131 [1906.04271]

work page arXiv 2020
[27]

K. Ito, T. Kondo, K. Kuroda and H. Shu,WKB periods for higher order ODE and TBA equations,JHEP10(2021) 167 [2104.13680]

work page arXiv 2021
[28]

K. Ito, T. Kondo and H. Shu,Wall-crossing of TBA equations and WKB periods for the third order ODE,Nucl. Phys. B979(2022) 115788 [2111.11047]

work page arXiv 2022
[29]

Ito and H

K. Ito and H. Shu,TBA equations and exact WKB analysis in deformed supersymmetric quantum mechanics,JHEP03(2024) 122 [2401.03766]

work page arXiv 2024
[30]

K. Ito, H. Shu and J. Yang,Thermodynamic Bethe ansatz and wall crossing for deformed supersymmetric quantum mechanics,Phys. Rev. D113(2026) 046002 [2510.06956]

work page arXiv 2026
[31]

Ito and H

K. Ito and H. Shu,ODE/IM Correspondence and Quantum Periods, vol. 51 of SpringerBriefs in Mathematical Physics. Springer, 2025, 10.1007/978-981-96-0499-9

work page doi:10.1007/978-981-96-0499-9 2025
[32]

Mironov and A

A. Mironov and A. Morozov,Nekrasov Functions and Exact Bohr-Zommerfeld Integrals,JHEP04(2010) 040 [0910.5670]

work page arXiv 2010
[33]

Zenkevich,Nekrasov prepotential with fundamental matter from the quantum spin chain,Phys

Y. Zenkevich,Nekrasov prepotential with fundamental matter from the quantum spin chain,Phys. Lett. B701(2011) 630 [1103.4843]

work page arXiv 2011
[34]

Grassi, J

A. Grassi, J. Gu and M. Mari˜ no,Non-perturbative approaches to the quantum Seiberg-Witten curve,JHEP07(2020) 106 [1908.07065]

work page arXiv 2020
[35]

Hao,Exact WKB of solutions by Borel summation and open TBA, 2507.06922

Q. Hao,Exact WKB of solutions by Borel summation and open TBA, 2507.06922

work page arXiv
[36]

A. B. Zamolodchikov,Generalized Mathieu equations and Liouville TBA, in Quantum Field Theories in Two Dimensions, vol. 2. World Scientific, 2012

work page 2012
[37]

Fioravanti and D

D. Fioravanti and D. Gregori,Integrability and cycles of deformedN= 2gauge theory,Phys. Lett. B804(2020) 135376 [1908.08030]

work page arXiv 2020
[38]

Grassi, Q

A. Grassi, Q. Hao and A. Neitzke,Exact WKB methods in SU(2) N f = 1,JHEP 01(2022) 046 [2105.03777]

work page arXiv 2022
[39]

Imaizumi,Quantum periods and TBA equations forN= 2SU(2)N f = 2 SQCD with flavor symmetry,Phys

K. Imaizumi,Quantum periods and TBA equations forN= 2SU(2)N f = 2 SQCD with flavor symmetry,Phys. Lett. B816(2021) 136270 [2103.02248]. 21

work page arXiv 2021
[40]

Fioravanti, D

D. Fioravanti, D. Gregori and H. Shu,Integrability, susy SU(2) matter gauge theories and black holes,Nucl. Phys. B1021(2025) 117200 [2208.14031]

work page arXiv 2025
[41]

Mironov and A

A. Mironov and A. Morozov,Nekrasov Functions from Exact BS Periods: The Case of SU(N),J. Phys. A43(2010) 195401 [0911.2396]

work page arXiv 2010
[42]

Popolitov,On relation between Nekrasov functions and BS periods in pure SU(N) case,1001.1407

A. Popolitov,On relation between Nekrasov functions and BS periods in pure SU(N) case,1001.1407

work page arXiv
[43]

Fioravanti, H

D. Fioravanti, H. Poghosyan and R. Poghossian,T,Qand periods inSU(3) N= 2SYM,JHEP03(2020) 049 [1909.11100]

work page arXiv 2020
[44]

Yan,Exact WKB and the quantum Seiberg-Witten curve for 4d N = 2 pure SU(3) Yang-Mills

F. Yan,Exact WKB and the quantum Seiberg-Witten curve for 4d N = 2 pure SU(3) Yang-Mills. Abelianization,JHEP03(2022) 164 [2012.15658]

work page arXiv 2022
[45]

Dorey, C

P. Dorey, C. Dunning and R. Tateo,The ODE/IM Correspondence,J. Phys. A 40(2007) R205 [hep-th/0703066]

work page arXiv 2007
[46]

Grassi and M

A. Grassi and M. Mari˜ no,A Solvable Deformation of Quantum Mechanics, SIGMA15(2019) 025 [1806.01407]

work page arXiv 2019
[47]

Del Monte and P

F. Del Monte and P. Longhi,The threefold way to quantum periods: WKB, TBA equations and q-Painlev´ e,SciPost Phys.15(2023) 112 [2207.07135]

work page arXiv 2023
[48]

Baldino,WKB Methods for Finite Difference Schrodinger Equations, Ph.D

S. Baldino,WKB Methods for Finite Difference Schrodinger Equations, Ph.D. thesis, Lisbon, IST Maths, 2023.2410.14628

work page arXiv 2023
[49]

Del Monte and P

F. Del Monte and P. Longhi,Monodromies of Second Orderq-difference Equations from the WKB Approximation,2406.00175

work page arXiv
[50]

Thou shalt not tunnel: Complex instantons and tunneling suppression in deformed quantum mechanics

J. Gu and M. Marino,Thou shalt not tunnel: Complex instantons and tunneling suppression in deformed quantum mechanics,2602.20576. 22

work page internal anchor Pith review Pith/arXiv arXiv