Pith. sign in

REVIEW 2 major objections 5 minor 31 references

Spectral Curves with Complex Multiplication in Hermitian Matrix Models

T0 review · 2 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper claims that the two-cut quartic Hermitian matrix model has a spectral curve with complex multiplication at five specific coupling values.

desk verdict The paper's central j(g) formula is algebraically wrong: substituting its own cross-ratio gives 256(1-3g)^3/[g^2(1-4g)], not Eq. (80), so the Table 1 CM couplings are unsupported. read the letter →

arxiv 2509.16997 v2 pith:IWBG6KIX submitted 2025-09-21 hep-th

Ali Nassar This is my paper · ORCID
classification hep-th MSC 14H5211G1515B52
keywords complexmultiplicationellipticcurvesspectralHermitianmatrixmodelstwo-cutphasej-invariantquarticpotentialrandomtheory
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper argues that in the symmetric quartic Hermitian matrix model with potential V(x)=-$x^{2}$/2+$gx^{4}$/4, the two-cut phase produces a genus-one spectral curve whose modular j-invariant is a rational function of the coupling g. By equating this j-invariant with the known integer j-values of elliptic curves with complex multiplication, the paper identifies five admissible coupling values at which the spectral curve has an endomorphism ring larger than Z. If correct, the result connects the arithmetic of elliptic curves to random matrix spectral geometry and predicts enhanced automorphism groups at those couplings.

What carries the argument

The load-bearing object is the spectral curve $y^{2}$=($x^{2}$-$a^{2}$)($x^{2}$-$b^{2}$) together with its cross-ratio r=-(a-b)^2/(4ab), which moves the spectral data first into the Legendre form $y^{2}$=x(x-1)(x-r) and then into a Weierstrass form. The paper's identity j(g)=$256g^{2}$(3g-1)^3/(4g-1)^5 is what converts the two-cut edge data into the modular j-invariant. The number-theoretic input is the first main theorem of complex multiplication: j is an algebraic integer for CM tori, and in the class-number-one cases the relevant j-values are the thirteen integers, five of which are positive and therefore compatible with the reported j(g).

What would settle it

A direct substitution test settles the claim: take $a^{2}$=1/g+2/\sqrt{g}, $b^{2}$=1/g-2/\sqrt{g}, form r=-(a-b)^2/(4ab), substitute into j=256($r^{2}$-r+1)^3/($r^{2}$(r-1)^2), and compare the simplified expression with the reported j(g)=$256g^{2}$(3g-1)^3/(4g-1)^5 at a value such as g=0.2.

Watch

Extended reading notes

Core claim

The paper's central claim is that the spectral curve of the two-cut quartic Hermitian matrix model, $y^{2}$=($x^{2}$-$a^{2}$)($x^{2}$-$b^{2}$) with $a^{2}$=1/g+2/\sqrt{g} and $b^{2}$=1/g-2/\sqrt{g}, has j-invariant j(g)=$256g^{2}$(3g-1)^3/(4g-1)^5 for 0<g<1/4. Since an elliptic curve with complex multiplication and class number one has integer j, the paper equates this formula to the positive integer CM j-values and obtains five admissible couplings: g approximately 0.198019 for j=1728, 0.213323 for j=8000, 0.226045 for j=54000, 0.233355 for j=287496, and 0.242923 for j=16581375. At these couplings the spectral curve acquires complex multiplication, with an enlarged endomorphism ring and, for example, an automorphism group of order four at j=1728.

Load-bearing premise

The claim rests entirely on the algebraic conversion of the spectral curve's cross-ratio into the reported closed form j(g); if that conversion is wrong, the five couplings and the CM conclusion at those couplings do not follow.

Editorial extensions

If this is right

  • At the five listed couplings, the spectral curve has complex multiplication, so its endomorphism ring is strictly larger than Z.
  • At g approximately 0.198019, the spectral curve is isomorphic to y^2=x^3-x, whose automorphism group has order four rather than two.
  • The remaining admissible values give spectral curves isomorphic to the explicit Weierstrass models in Table 1, so each CM point corresponds to a concrete elliptic curve in the matrix model's spectral geometry.
  • The construction provides a direct bridge between arithmetic properties of elliptic curves and the large-N spectral data of a random matrix ensemble.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The paper's search idea is modular: intersecting any closed-form j(g) with the finite list of CM j-values would generate analogous arithmetic couplings for other one-matrix or multi-matrix potentials, not only the quartic.
  • One testable extension is to compute higher-genus corrections at these special couplings and ask whether the free energy develops arithmetic or modular features; the paper does not pursue this.
  • For spectral curves of genus greater than one, the same construction would place complex multiplication on the Jacobian variety rather than on a single elliptic curve, a direction the paper indicates but leaves open.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 5 minor

Summary. This paper studies the symmetric quartic Hermitian one-matrix model with potential V(x)=-x^2/2+g x^4/4 in its two-cut phase. The author derives the large-N spectral curve y^2=(x^2-a^2)(x^2-b^2), converts it to Legendre form, and computes the elliptic j-invariant j(g). Matching the resulting formula to the five positive integer CM j-values with class number one, the paper lists five admissible couplings g at which the spectral curve is claimed to have complex multiplication and enhanced automorphisms, summarized in Table 1. The advertised connection is that spectral curves of random matrix ensembles can realize complex multiplication at specific tunable couplings.

Significance. The conceptual goal, connecting complex multiplication to spectral curves of solvable matrix models, is attractive, and the large-N saddle-point computation leading to the spectral curve and the edges a^2=1/g+2/sqrt(g), b^2=1/g-2/sqrt(g) is standard and appears sound. If the subsequent j-invariant calculation and Table 1 were correct, the paper would provide an explicit one-parameter family of spectral curves with CM points. However, the central algebraic step from the cross-ratio to j(g) is incorrect, and every numerical entry in Table 1 is derived from that incorrect formula. The paper supplies no machine-checked derivation or reproducible code, and the quantitative claims that constitute its main message are not established as written.

major comments (2)
  1. [Section 4, Eqs. (78)-(80)] Equation (80) does not follow from substituting Eq. (79) into Eq. (78). Let q=sqrt(1-4g); reading Eq. (79) as r=(-1+4g+sqrt(1-4g))/(8g-2), one obtains r=(q-1)/(2q). Substitution into the standard j-formula (78) gives r^2-r+1=(3q^2+1)/(4q^2) and r^2(r-1)^2=(q^2-1)^2/(16q^4)=g^2/q^4, hence j=4(3q^2+1)^3/(q^2 g^2)=256(1-3g)^3/[g^2(1-4g)]. This is not the expression 256g^2(3g-1)^3/(4g-1)^5 reported in Eq. (80). The discrepancy is numerical, not stylistic: at g=1/8 the correct formula gives j=8000, whereas Eq. (80) gives 31.25.
  2. [Table 1 and Section 4] Because all five couplings in Table 1 are roots of Eq. (80), the table is invalid as a consequence of the algebraic error above. With the correct j(g), the value j=1728 is attained at g=2/9 (the minimum of the function on 0<g<1/4), not at g=0.198019 as listed, and j=8000 is attained at g=1/8, not at g=0.213323. Thus the paper's specific claim of five admissible CM couplings, and the associated automorphism-enhancement discussion in Section 4, are unsupported. The underlying idea that some CM j-values may occur for a corrected formula is not refuted, but the submitted numerical realization is wrong.
minor comments (5)
  1. [Eq. (79)] Equation (79) is printed without parentheses and is ambiguous; it should read r=(-1+4g+sqrt(1-4g))/(8g-2).
  2. [Eq. (45)] The determinant condition for the displayed SL(2,Z) matrix is written as ab-cd=1; it should be ad-bc=1.
  3. [Eq. (64)] Equation (64) drops the plus/minus sign in front of sqrt(b^2-4ac) and does not specify a branch choice; since tau is defined only up to PSL(2,Z) equivalence, the sign and conjugation ambiguity should be stated explicitly.
  4. [Sections 3-4] The symbol g is used both for the quartic coupling and for the genus (compare Eq. (30) and Eq. (38)); this notation conflict should be resolved.
  5. [Section 3.2] The 'first main theorem of complex multiplication' is cited with an empty bracket before references [24, 5]; a proper reference should be supplied.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the spectral-curve derivation is self-contained and the CM comparison is an external benchmark.

full rationale

The paper's central chain is: start with the quartic potential V(x) = -x^2/2 + g x^4/4, solve the large-N resolvent equations for the two-cut ansatz, obtain the spectral edges a^2 = 1/g + 2/sqrt(g) and b^2 = 1/g - 2/sqrt(g), form the genus-one curve y^2 = (x^2 - a^2)(x^2 - b^2), convert to Legendre form via the cross-ratio, compute the j-invariant, and then compare j(g) to the external list of integer CM j-values for class number one. No parameter is fitted to the CM values; g is the model input, and the set of CM j-invariants is taken from an independent external database (LMFDB). The derivation does not rely on any self-citation, uniqueness claim, or ansatz smuggled in via the author's prior work. The skeptical observation that Eq. (80) does not follow algebraically from substituting Eq. (79) into Eq. (78) is a correctness concern, not a circularity concern: an algebraic error in the reported closed form does not make the derivation equivalent to its inputs. Accordingly, no circular step can be exhibited, and the honest finding is no significant circularity.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No parameters are fitted; g is the model input and a,b are solved from consistency conditions. The central claim rests on standard RMT and CM facts, but the cross-ratio substitution step is erroneous. No new entities are introduced.

assumptions (5)
  • domain assumption Large-N spectral curve is y^2=V'(x)^2-4P(x), with genus determined by the number of cuts.
    Relied on throughout Sections 2 to 4, specifically Eq. (33).
  • domain assumption Two-cut symmetric ansatz C=[-a,-b] union [b,a] with M(x)=alpha+beta x.
    Used in Eqs. (68)-(69) and determines the spectral edges (72).
  • standard math Uniformization theorem and standard Legendre to Weierstrass transformations, including j=256(r^2-r+1)^3/[r^2(r-1)^2].
    Used in Section 3.1 and Eq. (78).
  • standard math Known list of thirteen class-number-one CM j-invariants.
    Used to enumerate admissible j-values in Section 4 after Eq. (80), cited to LMFDB.
  • standard math First main theorem of complex multiplication, stating j(tau) is algebraic for tau in an imaginary quadratic field.
    Stated in Section 3.2 with an empty citation bracket; used to justify searching for integer j-values.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Spectral Curves with Complex Multiplication in Hermitian Matrix Models." pith.science (2026). https://pith.science/paper/IWBG6KIX

@misc{pith2026250916997,
  author       = {Pith},
  title        = {Pith review of: Spectral Curves with Complex Multiplication in Hermitian Matrix Models},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IWBG6KIX}},
  note         = {Machine review of arXiv:2509.16997}
}
abstract

We show that elliptic curves with complex multiplication (CM) naturally emerge in the spectral geometry of Hermitian one-matrix models in the two-cut phase. Focusing on a symmetric quartic potential, we derive the corresponding genus-one spectral curve and compute its modular $j$-invariant in closed form as a function of the quartic coupling $g$. We identify specific values of $g$ for which the elliptic curve exhibits $CM$, i.e., its endomorphism ring is larger than $\mathbb{Z}$. This establishes a direct connection between number-theoretic structures and the spectral data of random matrix ensembles.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

31 extracted references · 23 canonical work pages

  1. [1]

    Bourgade and J

    P . Bourgade and J. P . Keating. Quantum chaos, random matrix theory, and the riemann ζ-function. InChaos, volume 66 ofProg. Math. Phys., pages 125–168. Birkhäuser/Springer, Basel, 2013

    work page 2013

  2. [2]

    Brézin, C

    E. Brézin, C. Itzykson, G. Parisi, and J. B. Zuber. Planar diagrams.Commun. Math. Phys., 59:35, 1978

    work page 1978

  3. [3]

    Brézin and V

    E. Brézin and V . A. Kazakov. Exactly solvable field theories of closed strings.Phys. Lett. B, 236:144–150, 1990. 15

    work page 1990

  4. [4]

    Chekhov, B

    L. Chekhov, B. Eynard, and N. Orantin. Free energy topological expansion for the 2-matrix model.JHEP, 12:053, 2006. arXiv:math-ph/0603003

    arXiv 2006

  5. [5]

    J. H. Conway and N. J. A. Sloane.Sphere Packings, Lattices, and Codes, volume 290 ofGrundlehren der mathematischen Wissenschaften. Springer-Verlag, New York, 2nd edition, 1993

    work page 1993

  6. [6]

    D. A. Cox.Primes of the Form x2 +ny 2. John Wiley and Sons Inc., New York, 1989. Fermat, class field theory and complex multiplication

    work page 1989

  7. [7]

    Di Francesco, P

    P . Di Francesco, P . Ginsparg, and J. Zinn-Justin. 2d gravity and random matrices. Phys. Rep., 254(1-2):1–133, 1995

    work page 1995

  8. [8]

    M. R. Douglas and S. H. Shenker. Strings in less than one-dimension.Nucl. Phys. B, 335:635, 1990

    work page 1990

Show all 31 references
  1. [9]

    B. Eynard. Large n expansion of the 2-matrix model.J. High Energy Phys., 1992(04):030,

    1992

  2. [10]

    B. Eynard. Large n expansion of the 2 matrix model, multicut case. 2003. arXiv:math- ph/0307052

    2003

  3. [11]

    B. Eynard. Topological expansion for the 1-hermitian matrix model correlation functions.J. High Energy Phys., 2004(11):031, 2004. arXiv:hep-th/0407261

    2004 arXiv

  4. [12]

    Eynard, T

    B. Eynard, T. Kimura, and S. Ribault. Random matrices. 2015. arXiv:1510.04430

    2015 arXiv

  5. [13]

    Eynard and N

    B. Eynard and N. Orantin. Invariants of algebraic curves and topological expansion. Commun. Number Theory Phys., 1(2):347–452, 2007. arXiv:math-ph/0702045

    2007 arXiv

  6. [14]

    Ginsparg and G

    P . Ginsparg and G. Moore. Lectures on 2d gravity and 2d string theory.arXiv preprint,

  7. [15]

    D. J. Gross and A. A. Migdal. Nonperturbative solution of the ising model on a random surface.Phys. Rev. Lett., 64:717, 1990

    1990

  8. [16]

    D. J. Gross and A. A. Migdal. A nonperturbative treatment of two-dimensional quantum gravity.Nucl. Phys. B, 340:333–365, 1990

    1990

  9. [17]

    Gukov and C

    S. Gukov and C. Vafa. Rational conformal field theories and complex multiplication. Commun. Math. Phys., 246:181–210, 2004. arXiv:hep-th/0203213

    2004 arXiv

  10. [18]

    Haake.Quantum Signatures of Chaos

    F. Haake.Quantum Signatures of Chaos. Springer Series in Synergetics. Springer, 2nd revised and enlarged edition edition, 2001. 16

    2001

  11. [19]

    Hosono, B

    S. Hosono, B. H. Lian, K. Oguiso, and S.-T. Yau. Classification of c=2 rational conformal field theories via the gauss product.Commun. Math. Phys., 241:245–286,

  12. [20]

    I. R. Klebanov. String theory in two-dimensions. InSpring School on String Theory and Quantum Gravity (to be followed by Workshop), 1991. arXiv:hep-th/9108019

    1991 arXiv

  13. [21]

    Lang.Number Theory III: Diophantine Geometry, volume 60 ofEncyclopaedia of Mathematical Sciences

    S. Lang.Number Theory III: Diophantine Geometry, volume 60 ofEncyclopaedia of Mathematical Sciences. Springer-Verlag, Berlin / Heidelberg / New York, 1991

    1991

  14. [22]

    M. L. Mehta.Random Matrices. Elsevier, 2004

    2004

  15. [23]

    G. W. Moore. Arithmetic and attractors. 1998. arXiv:hep-th/9807087

    1998 arXiv

  16. [24]

    A. N. Parshin and I. R. Shafarevich, editors.Number Theory II: Algebraic Number Theory, volume 62 ofEncyclopaedia of Mathematical Sciences. Springer-Verlag, Berlin / New York, 1992

    1992

  17. [25]

    Shimura and Y

    G. Shimura and Y. Taniyama.Complex multiplication of abelian varieties and its appli- cations to number theory, volume 6 ofPublications of the Mathematical Society of Japan. Mathematical Society of Japan, Tokyo, 1961

    1961

  18. [26]

    The L-functions and modular forms database

    The LMFDB Collaboration. The L-functions and modular forms database. https: //www.lmfdb.org, 2025. [Online; accessed 31 July 2025]

    2025

  19. [27]

    E. P . Wigner. On the statistical distribution of the widths and spacings of nuclear resonance levels.Math. Proc. Camb. Philos. Soc., 47:790–798, 1951

    1951

  20. [28]

    E. P . Wigner. Random matrices in physics.SIAM Rev., 9(1):1–23, 1967. 17

    1967

  21. [1992]

    arXiv:hep-th/9401165

    arXiv

  22. [1993]

    arXiv:hep-th/9304011

    arXiv

  23. [2003]

    arXiv:hep-th/0211230

    arXiv

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.