REVIEW 4 major objections 3 minor 1 cited by
Counting monster potentials
T0 review · 4 major / 3 minor · reviewed 2026-08-27 · deepseek-v4-flash
Pith's one-line read Up to a stated algebraic-branch conjecture, this paper shows that the number of monster potentials with N roots equals the integer-partition count p(N), matching the level-N dimension of quantum KdV.
desk verdict A genuinely new large-momentum asymptotic analysis of the BLZ system, with a partition classification that is unconditional at the level of Theorem 5.5; the advertised p(N) counting theorem is real but conditional on Conjecture 5.8 and should be labeled that way. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The engine of the paper is the Wronskian-Hermite polynomial $P^{[\nu]}(t)=c_\nu\,\mathrm{Wr}[H_{\nu_j}(t),H_{\nu_{j-1}+1}(t),\ldots,H_{\nu_1+j-1}(t)]$, whose roots $v_k^{[\nu]}$ are precisely the poles of the rational extension $U^{[\nu]}(t)=t^2-2\frac{d^2}{dt^2}\log P^{[\nu]}(t)$ of the harmonic oscillator. Under the rescaling $z_k=\frac{L}{\alpha}\left(1+(2\alpha+2)^{-1/4}\varepsilon t_k\right)^{2\alpha+2}$ with $\varepsilon=L^{-1/4}$, the BLZ system is converted into the perturbed root equation $2t_k+3\varepsilon\kappa t_k^2-\sum_{j\neq k}\frac{4}{(t_k-t_j)^3}+O(\varepsilon^2)=0$, $\kappa=\frac{5-2\alpha}{3}(2\alpha+2)^{-1/4}$, whose $\varepsilon=0$ limit is the equation that characterises the roots of $P^{[\nu]}$. The counting theorem then rests on Conjecture 5.8: for every partition $\nu$ the perturbed system has exactly one algebraic solution branch starting from the roots of $P^{[\nu]}$. A second structural object is the monodromy identity $P^{[\nu]}(z;e^{2\pi i}L)=P^{[\nu^*]}(z;L)$, which pairs each branch with its conjugate partition and determines how the $p(N)$ sheets of the solution variety connect around $L=\infty$.
What would settle it
Solve the BLZ system numerically for $N=10$ at a large, generic $L$ (for instance $L=10^6$, $\alpha=\pi/3$): if the number of distinct solutions modulo permutations is not $p(10)=42$, the central counting claim is false. A sharper algebraic test is to run the order-by-order Puiseux construction for the completely degenerate partition $(4,3,2,1)$; if any coefficient equation has no solution or more than one, Conjecture 5.8 fails.
Extended reading notes
Core claim
Fix $N$ and $\alpha>0$. The central claim is that the set of monster potentials is organized by the $p(N)$ partitions of $N$: after the rescaling $z_k=\frac{L}{\alpha}\left(1+(2\alpha+2)^{-1/4}\varepsilon t_k\right)^{2\alpha+2}$, $\varepsilon=L^{-1/4}$, any sequence of solutions of the BLZ system with $L\to\infty$ splits into $p(N)$ possible regimes, one for each partition $\nu$, in which the rescaled roots $t_k$ converge to the roots $v_k^{[\nu]}$ of $P^{[\nu]}(t)=c_\nu\,\mathrm{Wr}[H_{\nu_j}(t),H_{\nu_{j-1}+1}(t),\ldots,H_{\nu_1+j-1}(t)]$, and the potential converges to the rational extension $U^{[\nu]}(t)=t^2-2\frac{d^2}{dt^2}\log P^{[\nu]}(t)$ of the harmonic oscillator. The BLZ equations themselves reduce, to leading order, to the perturbed system $2t_k+3\varepsilon\kappa t_k^2-\sum_{j\neq k}\frac{4}{(t_k-t_j)^3}+O(\varepsilon^2)=0$, whose $\varepsilon=0$ limit is exactly the root equation of $P^{[\nu]}$. Under Conjecture 5.8, each $\nu$ supports one unique algebraic branch $P^{[\nu]}(z;L)$ of solutions; the branches exhaust the variety, giving exactly $p(N)$ monster potentials for large $L$, at most $p(N)$ for all $L$, and exactly $p(N)$ for generic $L$. The paper also computes the bottom of the radial spectrum on each branch, $E_n^{[\nu]}=(1+\alpha)(L/\alpha)^{\alpha/(\alpha+1)}+(2\alpha+2)^{1/(2\alpha)}(\alpha+1)^{-1}(2(n-j)+1)L^{(\alpha-1)/(2\alpha+2)}+O(|L|^{-1/(\alpha+1)})$, matching the Fermi-sea hole prediction of the integrable model.
Load-bearing premise
The counting theorem collapses without Conjecture 5.8: for every partition $\nu$, the perturbed root equations must admit one and only one algebraic solution branch emerging from the roots of $P^{[\nu]}$ at $\varepsilon=0$.
Editorial extensions
If this is right
- Assuming Conjecture 5.8, for every $N$ and all sufficiently large $L$, the number of monster potentials with $N$ roots is exactly $p(N)$.
- For every $L$, the number of higher-state potentials is at most $p(N)$, with equality for generic $L$.
- Each large-momentum monster potential is labelled by a partition $\nu$; its $N$ poles lie at $L/\alpha+(2\alpha+2)^{3/4}\alpha^{-1}v_k^{[\nu]}L^{-3/4}+o(L^{-3/4})$.
- The bottom of the radial spectrum of branch $\nu$ is explicitly asymptotic, real and positive for large positive $L$, and its level labels are obtained from the natural numbers by deleting $\nu_j,\nu_{j-1}+1,\ldots,\nu_1+j-1$ — the Fermi-sea hole structure.
- For integer $M=2\alpha+2$, the same analysis describes $J$ particles with inverse-square interactions in the external field $x^{M-2}+L/x^2$: roots condense around the $M$ equilibria and split into $M$ weakly coupled subsystems labelled by $M$-partitions.
Reading between the lines
- A proof of Conjecture 5.8 for the missing completely degenerate cases $d\ge 4$ would make the counting theorem unconditional for all $N$, and would describe the local structure of the $p(N)$-sheeted solution surface at infinity as a union of conjugate pairs $(\nu,\nu^*)$.
- The conjectural formula $\det J^{[\nu]}=2^N\prod_k(\rho_k^{[\nu]})^2$ for the Jacobian spectrum suggests that invertibility in the non-degenerate case is purely combinatorial; if provable, it would remove the Jacobian hypothesis from Proposition 6.1 and might extend by continuity to degenerate strata.
- The asymptotic spectrum formula gives a concrete target for a future proof of the full BLZ conjecture: one could compare it, order by order in $L^{-1/(\alpha+1)}$, with the large-momentum expansion of the Bethe Ansatz equations.
- Because the reduction only uses the quadratic term of the ground-state Taylor expansion, the same condensation-and-Wronskian mechanism is likely to transfer to the opers of the generalised quantum $g$-KdV models, where the analogous system of algebraic equations is too complex to be handled directly.
Formalized claims in Lean
-
Claim #1: Fix $N$ and $\alpha>0$. The central claim is that the set of monster potentials is organized by the $p(N)$ partitions of $N$: after the rescaling $z_k=\frac{L}{\alpha}\left(1+(2\alpha+2)^{-1/4}\varepsilon t_k\right)^{2\alpha+2}$, $\varepsilon=L^{-1/4}$, any sequence of solutions of the BLZ system with $L\to\infty$ splits into $p(N)$ possible regimes, one for each partition $\nu$, in which the resc
/-- @claim 1 Fix $N$ and $\alpha>0$. The central claim is that the set of monster potentials is organized by the $p(N)$ partitions of $N$: after the rescaling $z_k=\frac{L}{\alpha}\left(1+(2\alpha+2)^{-1/4}\varepsilon t_k\right)^{2\alpha+2}$, $\varepsilon=L^{-1/4}$, any sequence of solutions of the BLZ system with $L\to\infty$ splits into $p(N)$ possible regimes, one for each partition $\nu$, in which the resc -/ def central_claim : Prop :=
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the large-momentum (large-L) limit of the Bazhanov-Lukyanov-Zamolodchikov (BLZ) system defining monster potentials. It proves that, for any sequence of higher-state potentials with L going to infinity, the roots condense about the complex equilibria of the ground-state potential and admits an asymptotic expansion in terms of the roots of Wronskians of Hermite polynomials (Theorem 5.5). The leading correction is expressed through the partition-associated polynomials P^{[ν]}(t). The authors then construct, for each partition ν of N, a one-parameter algebraic family of solutions of the BLZ system and derive an asymptotic formula for the radial spectrum. The central counting claim—that the number of monster potentials with N roots equals the number p(N) of integer partitions of N for large L—is presented in Corollary 5.12 under the assumption of Conjecture 5.8, which asserts the existence and uniqueness of these algebraic families. Sections 6–8 provide partial verifications of this conjecture for non-degenerate partitions, completely degenerate cases with d=2,3, and partially degenerate cases, respectively, while the general case d>=4 (N>=10) remains open. The paper also extends the analysis to potentials of the form x^{M-2}+L/x^2 with trivial monodromy, and includes numerical tests for N=5,6.
Significance. If the conjectural ingredients were resolved, the paper's main result would constitute a substantial confirmation of the Weak BLZ conjecture in the large-momentum regime, establishing a precise link between integer partitions, Wronskians of Hermite polynomials, and the counting of monster potentials. The unconditional content—Theorem 5.5 and the derivation of the perturbative system (5.25), the explicit asymptotic expansion (5.18), and the spectral formula (5.23)—is carefully derived and represents a genuine contribution to the ODE/IM correspondence literature. The paper also provides nontrivial algebraic and numerical evidence, including explicit Puiseux expansions and a conjectural closed formula for the spectrum of the Jacobian J^{[ν]}. However, the advertised counting theorem is not proven as stated: it rests on Conjecture 5.8, which is unresolved for all N>=10 and is only partially verified for smaller N. The paper would be a solid contribution if reframed as a conditional proof plus a well-supported conjecture, with the unconditional results presented as the main theorems.
major comments (4)
- [Section 5.5, Corollary 5.12] The central counting result is conditional. The abstract and introduction state that the paper proves that the number of monster potentials with N roots equals p(N) 'up to a few mathematical technicalities', but Corollary 5.12 explicitly begins with 'Assume that Conjecture 5.8 holds'. Since Conjecture 5.8 is exactly the existence and uniqueness of the algebraic families needed to count solutions, the advertised theorem is not established. The manuscript should clearly distinguish the unconditional Theorem 5.5 from the conditional Corollary 5.12, and the abstract/introduction should be revised to avoid overclaiming.
- [Section 7, Remark 7.8 and Propositions 7.1, 7.7] Even for the completely degenerate cases d=2,3, the uniqueness required by Conjecture 5.9 is not fully proven. Remark 7.8 states explicitly that Propositions 7.1 and 7.7 prove existence and uniqueness only among algebraic solutions with the specific Puiseux expansion (7.1) or (7.25), not that every algebraic solution must have that expansion. Moreover, Proposition 7.7 is stated without proof ('we omit the proof because it is very long'). Thus the evidence for Conjecture 5.8 in these cases is incomplete, and the omitted proof must either be supplied or the statement marked as a conjecture.
- [Section 6, Conjecture 6.3 and Proposition 6.1] The non-degenerate case relies on the invertibility of the Jacobian J^{[ν]}, which the authors do not prove. Proposition 6.1 requires that J^{[ν]} be invertible, but this is only established through Conjecture 6.3, which asserts that the eigenvalues are 2(ρ_k^{[ν]})^2 and is verified numerically for N≤10. Without a proof of Conjecture 6.3, the non-degenerate case is also conditional. The paper should either prove the invertibility or explicitly state that the non-degenerate case is conditional on this conjecture.
- [Section 8, Proposition 8.1 and Remark 8.4] The partially degenerate case is proven only under unproven invertibility assumptions. Proposition 8.1 assumes that the matrices ~J^{[ν]}, A^{[ν]}, and the Schur complements appearing in the statement are invertible; Remark 8.4 provides only numerical evidence that this hypothesis is satisfied. Additionally, the text admits in Sections 1.2 and 5.5 that the case d≥4, i.e., N≥10, is completely open. These are not 'a few mathematical technicalities' but substantial unproven steps in the argument for the p(N) counting theorem. The manuscript should either prove these assumptions, or state clearly that the counting theorem is a conjecture for N≥10.
minor comments (3)
- [Section 10, Figures 1–4] The figures appear in the text only as sequences of star symbols; if this is a rendering issue in the submitted file, please ensure the actual plots are embedded, otherwise the numerical comparison between the perturbative and numerical solutions cannot be visually verified.
- [Section 5.3, equation (5.23)] The definition of the sequence N^{[ν]} is used before it is formally introduced; please define it explicitly when it first appears in the statement of the spectral asymptotics, not only in the later Section 3.
- [Section 12, Appendix] In the proof of Proposition 8.1, the vectors Y_i^\pm are used without restating their definition; adding a reference to equation (12.7) at the point of use would improve readability.
Circularity Check
No circularity: the p(N) count is honestly conditional on an open conjecture, and the asymptotic derivation is parameter-free.
full rationale
The paper's central counting claim is explicitly and repeatedly stated to be conditional on Conjecture 5.8, which postulates, for every partition ν of N, the existence and uniqueness of an algebraic branch P^{[ν]}(t;ε) solving the rescaled BLZ system (5.25) with the prescribed leading term. Corollary 5.12 then derives the p(N) count from this conjecture together with the unconditional asymptotic Theorem 5.5. This is a conditional derivation, not a circular one: the target count p(N) is never fed into the equations, no parameter is fitted to the desired answer, and the asymptotic expansion (1.13)/(5.18) is parameter-free. The partition indexing comes from the independent Oblomkov classification of rational extensions of the harmonic oscillator via Wronskians of Hermite polynomials, not from the counting statement. The unresolved points—Conjecture 6.3 on the Jacobian spectrum, Remark 7.8 noting that uniqueness in the completely degenerate cases is only established within a fixed Puiseux ansatz, unproven matrix invertibility in Proposition 8.1, and the open d ≥ 4 cases—are gaps or incompleteness in the proof of Conjecture 5.8, not circular reductions. The cited prior work by the same authors (e.g., [26]) supplies technical lemmas about monodromy and opers, but these are not invoked as a substitute for the counting argument, and the main derivation does not reduce to a self-citation chain. Therefore no significant circularity is present.
Assumptions & free parameters
assumptions (6)
- standard math Oblomkov's classification: rational extensions of the harmonic oscillator with trivial monodromy are exactly the Wronskians of Hermite polynomials P^{[ν]} associated to partitions ν.
- domain assumption Felder-Hemery-Veselov F-property conjecture: every non-zero root of P^{[ν]} is simple.
- ad hoc to paper Conjecture 5.8: for every partition ν there is a unique algebraic solution of the perturbed system (5.25) near ε=0 with limit P^{[ν]}.
- ad hoc to paper Conjecture 6.3: the eigenvalues of the Jacobian J^{[ν]} are 2(ρ_k^{[ν]})^2 for a combinatorial sequence ρ^{[ν]}.
- domain assumption Invertibility of the matrices ~J^{[ν]}, A^{[ν]}, and related block matrices in Proposition 8.1.
- standard math Artin approximation theorem: a unique formal solution of an algebraic system near a singular point gives a convergent algebraic solution.
Cite this review
Pith. "Pith review of Counting monster potentials." pith.science (2026). https://pith.science/paper/UW7GY6AK
@misc{pith2026200914638,
author = {Pith},
title = {Pith review of: Counting monster potentials},
year = {2026},
howpublished = {\url{https://pith.science/paper/UW7GY6AK}},
note = {Machine review of arXiv:2009.14638}
}
abstract
We study the large momentum limit of the monster potentials of Bazhanov-Lukyanov-Zamolodchikov, which -- according to the ODE/IM correspondence -- should correspond to excited states of the Quantum KdV model. We prove that the poles of these potentials asymptotically condensate about the complex equilibria of the ground state potential, and we express the leading correction to such asymptotics in terms of the roots of Wronskians of Hermite polynomials. This allows us to associate to each partition of $N$ a unique monster potential with $N$ roots, of which we compute the spectrum. As a consequence, we prove -- up to a few mathematical technicalities -- that, fixed an integer $N$, the number of monster potentials with $N$ roots coincides with the number of integer partitions of $N$, which is the dimension of the level $N$ subspace of the quantum KdV model. In striking accordance with the ODE/IM correspondence.
Figures
Figures from the paper (1 more)
Forward citations
Cited by 1 Pith paper
-
On W-algebras and ODE/IM correspondence
The eigenvalues of quantum KdV-type charges in Virasoro, W3, and W4 algebras are computed from Bethe roots via WKB periods of Catalan curves, verified against direct CFT diagonalization.
Reference graph
Works this paper leans on
-
[1]
S Ahmed, M Bruschi, F Calogero, MA Olshanetsky, and AM Perelomov. Properties of the zeros of the classical polynomials and of the bessel functions.Il Nuovo Cimento B (1971- 1996), 49(2):173–199, 1979
work page 1971
-
[2]
Rational and elliptic solutions of the korteweg-de vries equation and a related many-body problem
H Airault, HP McKean, and J Moser. Rational and elliptic solutions of the korteweg-de vries equation and a related many-body problem. Communications on Pure and Applied Mathematics, 30(1):95–148, 1977. 48
work page 1977
-
[3]
M. Artin. Algebraic approximation of structures over complete local rings.Publications Math- ématiques de l’Institut des Hautes Études Scientifiques, 36(1):23–58, 1969
work page 1969
-
[4]
V. Bazhanov, G. Kotousov, S. Koval, and S. Lukyanov. On the scaling behaviour of the alternating spin chain.Journal of High Energy Physics, 2019(8):87, 2019
work page 2019
-
[5]
V. V. Bazhanov and S. Lukyanov. Integrable structure of quantum field theory: Classical flat connections versus quantum stationary states.Journal of High Energy Physics, 2014(9):1–69, 2014
work page 2014
-
[6]
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:567– 576, 2001
work page 2001
-
[7]
V.V Bazhanov, S.L. Lukyanov, and A.B. Zamolodchikov. Higher-level eigenvalues of Q- operators and Schroedinger equation.Adv. Theor. Math. Phys., 7:711, 2004
work page 2004
-
[8]
N. Bonneux, C. Dunning, and M. Stevens. Coefficients of wronskian hermite polynomials. Studies in Applied Mathematics, 144(3):245–288, 2020
work page 2020
Show all 33 references
-
[9]
N. Carr. The massive ODE/IM correspondence for simply-laced Lie algebras. PhD thesis, University of Kent, 2019
2019
-
[10]
N. Carr, P. Dorey, and C. Dunning. In preparation
-
[11]
P.Clarkson, D.Gómez-Ullate, Y.Grandati, andR.Milson.Cyclicmayadiagramsandrational solutions of higher order painlevé systems.Studies in Applied Mathematics, 144(3):357–385, 2020
2020
-
[12]
De Martino and D
D. De Martino and D. Masoero. Asymptotic analysis of noisy fitness maximization, ap- plied to metabolism & growth.Journal of Statistical Mechanics: Theory and Experiment, 2016(12):123502, 2016
2016
-
[13]
Di Francesco, P
P. Di Francesco, P. Mathieu, and D. Sénéchal.Conformal field theory. Springer Science & Business Media, 2012
2012
-
[14]
Donaldson.Riemann surfaces
S. Donaldson.Riemann surfaces. Oxford University Press, 2011
2011
-
[15]
Dorey, C
P. Dorey, C. Dunning, D. Masoero, J. Suzuki, and R. Tateo. Pseudo-differential equations, and the Bethe ansatz for the classical Lie algebras.Nuclear Phys. B, 772(3):249–289, 2007
2007
-
[16]
Dorey and R
P. Dorey and R. Tateo. Anharmonic oscillators, the thermodynamic Bethe ansatz,and non- linear integral equations.J.Phys., A32:L419–L425, 1999
1999
-
[17]
Differential equations in the spectral parameter.Commu- nications in mathematical physics, 103(2):177–240, 1986
J Duistermaat and F Grünbaum. Differential equations in the spectral parameter.Commu- nications in mathematical physics, 103(2):177–240, 1986
1986
-
[18]
Feigin and E
B. Feigin and E. Frenkel. Quantization of soliton systems and Langlands duality. InExploring new structures and natural constructions in mathematical physics, volume 61 ofAdv. Stud. Pure Math., pages 185–274. Math. Soc. Japan, Tokyo, 2011
2011
-
[19]
Felder, A
G. Felder, A. Hemery, and A. Veselov. Zeros of wronskians of hermite polynomials and young diagrams. Physica D: Nonlinear Phenomena, 241(23-24):2131–2137, 2012
2012
-
[20]
Fioravanti
D. Fioravanti. Geometrical loci and CFTs via the Virasoro symmetry of the mKdV-SG hier- archy: an excursus.Phys. Lett. B, 609(1-2):173–179, 2005
2005
-
[21]
Frenkel and D
E. Frenkel and D. Hernandez. Spectra of quantum Kdv hamiltonians, Langlands duality, and affine opers.Communications in Mathematical Physics, 362(2):361–414, 2018
2018
-
[22]
Frenkel, P
E. Frenkel, P. Koroteev, D. S Sage, and A. Zeitlin. q-opers, QQ-systems, and Bethe Ansatz. arXiv preprint arXiv:2002.07344, 2020
2002 arXiv
-
[23]
H. Hauser. The classical artin approximation theorems.Bulletin of the American Mathemat- ical Society, 54(4):595–633, 2017
2017
-
[24]
Langlands and Y
R. Langlands and Y. Saint-Aubin. Algebro-geometric aspects of the bethe equations. In Strings and symmetries, pages 40–53. Springer, 1995
1995
-
[25]
Lukyanov and A.B
S.L. Lukyanov and A.B. Zamolodchikov. Quantum Sine(h)-Gordon Model and Classical In- tegrable Equations.JHEP, 1007:008, 2010
2010
-
[26]
Masoero and A
D. Masoero and A. Raimondo. Opers for higher states of quantum kdv models.Communica- tions in Mathematical Physics, 378(1):1–74, 2020
2020
-
[27]
Masoero and A
D. Masoero and A. Raimondo. Opers for higher states of the quantum Boussinesq model. In Asymptotic, Algebraic and Geometric Aspects of Integrable Systems, Springer Proceedings in Mathematics & Statistics, 2020 (to appear)
2020
-
[28]
Masoero, A
D. Masoero, A. Raimondo, and D. Valeri. Bethe Ansatz and the Spectral Theory of Affine Lie Algebra-Valued Connections I. The simply-laced Case.Comm. Math. Phys., 344(3):719–750, 2016
2016
-
[29]
Masoero, A
D. Masoero, A. Raimondo, and D. Valeri. Bethe Ansatz and the Spectral Theory of Affine Lie algebra–Valued Connections II: The Non Simply–Laced Case.Comm. Math. Phys., 349(3):1063–1105, 2017
2017
-
[30]
Masoero and P
D. Masoero and P. Roffelsen. Poles of Painlevé IV rationals and their distribution.SIGMA. Symmetry, Integrability and Geometry: Methods and Applications, 14:002, 2018. 49
2018
-
[31]
Oblomkov
A. Oblomkov. Monodromy-free schrödinger operators with quadratically increasing poten- tials. Theoretical and Mathematical Physics, 121(3):1574–1584, 1999
1999
-
[32]
J. Sun. Polynomial relations forq-characters via the ODE/IM correspondence.SIGMA Sym- metry Integrability Geom. Methods Appl., 8:Paper 028, 34, 2012
2012
-
[33]
J. Suzuki. Functional relations in stokes multipliers and solvable models related to uq (a (1) n). Journal of Physics A: Mathematical and General, 33(17):3507, 2000. Grupo de Física Matemática da Universidade de Lisboa, Edifício C6 Campo Grande, Lisboa, Portugal. F aculdade de...
2000
Reviewed August 27, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.