REVIEW 3 major objections 4 minor 32 references
Origami: real structure, enumeration and quantum modularity
T0 review · 3 major / 4 minor · reviewed 2026-08-08 · deepseek-v4-flash
Pith's one-line read This paper defines real origami, proves their counts are governed by zonal polynomials, and derives divisor-sum formulas and quantum modular generating functions.
desk verdict Solid zonal-polynomial counting of real origami, but the genus 2 proof leans on a terse geometric exclusion that needs fuller justification. 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 load-bearing object is the zonal-polynomial identity of Theorem 2.30, $\frac{1}{2^n n!}\sum_{\lambda\vdash n} O_R^\circ(\lambda)p_\lambda = \sum_{\rho\vdash n} Z_\rho$. Zonal polynomials are the spherical functions of the Gelfand pair $(S_{2n}, H_n)$, where $H_n$ is the hyperoctahedral group, the centralizer of the fixed-point-free involution $\tau = (1,\bar{1})\cdots(n,\bar{n})$; they play the role that Schur polynomials play for ordinary permutations. The proof routes the count through double cosets of $H_n$, connection coefficients $\kappa^\mu_{\mu,\lambda}$, and the class $B^\sim_n$ of permutations whose cycles come in $\tau$-symmetric pairs, so that a real origami's ramification profile appears as a partition with doubled parts. On the geometric side, enumeration in low genus is carried by separatrix-diagram analysis: among the four admissible diagrams in the stratum $H(1,1)$, only type IIa is compatible with a real structure, and its factorization under the involution gives a Möbius-graph count that reduces to a divisor sum.
What would settle it
Enumerate all permutation pairs $(h,v)$ in $S_4$ satisfying Definition 2.2 with commutator cycle structure $[2,2]$ (two simple zeros) and count the resulting real origami of degree 4 up to labeling; the formula predicts exactly 1. Alternatively, construct a real origami whose vertical separatrix diagram is of type IIb with positive saddle-connection lengths, which would contradict the classification used in Theorem 2.7.
Extended reading notes
Core claim
The paper's central claim is that real origami—origami with a fixed-point-free anti-holomorphic involution covering complex conjugation—are governed by zonal polynomials, in the same way that ordinary complex origami are governed by Schur polynomials. Theorem 2.30 establishes the exact identity $\frac{1}{2^n n!}\sum_{\lambda\vdash n} O_R^\circ(\lambda)p_\lambda = \sum_{\rho\vdash n} Z_\rho$, where $O_R^\circ(\lambda)$ counts possibly disconnected real origami with ramification profile $\lambda$ and $Z_\rho$ is the zonal polynomial indexed by $\rho$. From this, Theorem 2.7 gives $N_n^R(1,1) = (\sigma_2(n)-\sigma_1(n))/2$ for genus-2 real origami with two simple zeros, and Section 2.3 gives $\sum_{n\geq 1} N_n^R(2,2)q^n = 3E_2^2 + \frac{7}{6}E_2 - E_3 - \frac{1}{6}E_4$ for genus-3 real origami with two double zeros. The same machinery, with Schur functions replacing zonal polynomials, recovers the classical enumeration of complex origami and equates it with a class of strictly monotone double Hurwitz numbers. The paper further shows that the two computed generating functions are quantum modular forms and conjectures this for all real-origami strata.
Load-bearing premise
The genus-2 count rests on the geometric classification that among the four admissible separatrix diagrams of $H(1,1)$ only type IIa is compatible with a real structure and type IIb cannot be realized with positive saddle-connection lengths; if an excluded diagram were realizable, the divisor-sum formula would collapse.
Editorial extensions
If this is right
- The formula $N_n^R(1,1) = (\sigma_2(n)-\sigma_1(n))/2$ gives explicit counts for every degree $2n$, with the asymptotics $N_n^R(1,1) = \frac{\zeta(3)}{6}n^3 + O(n^2)$ (Corollary 2.8).
- For genus 3 with two double zeros, the generating function $3E_2^2 + \frac{7}{6}E_2 - E_3 - \frac{1}{6}E_4$ is a quantum modular form, so the real-origami counts in this stratum satisfy the corresponding modular transformation anomaly.
- Theorem 2.30 provides an efficient algorithm: the polynomials $P_n$ enumerating real origami are computed explicitly up to $n=13$ (degree 26), as listed in Appendix A.
- Replacing zonal polynomials by Schur polynomials counts complex origami and shows that their generating functions coincide with those of strictly monotone double Hurwitz numbers (Theorem 3.4), recovering quasimodularity in a new way.
Reading between the lines
- If Conjecture 2.9 holds, every real-origami stratum would yield a quantum modular generating function, placing these counts alongside mock modular forms and quantum invariants as objects with controlled modular anomalies.
- The Jack-function family $R(t,p;b)$ of Section 4 suggests a one-parameter interpolation between quasimodular ($b=0$, complex) and quantum modular ($b=1$, real) behavior; testing whether the coefficients $r_\lambda(b)$ count non-orientable origami for integer $b>1$ would provide a concrete check of the analogy with the $b$-conjecture for Jack characters.
- Computing the next open stratum, such as $H(1,1,1,1)$ for genus 3 with four simple zeros, using the zonal algorithm would test the quantum-modularity conjecture numerically before a full proof is available.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper defines real origami, i.e., square-tiled covers of the torus equipped with a fixed-point-free anti-holomorphic involution covering complex conjugation, and gives a combinatorial model for them in terms of a pair of permutations h, v in S_{2n} with a fixed-point-free involution τ. The central algebraic result, Theorem 2.30, expresses a generating function for (possibly disconnected) real origami, counted with automorphisms weights, as a sum of zonal polynomials. Using this and a geometric separatrix-diagram argument, the paper derives an explicit divisor-sum formula (Theorem 2.7) for the number of genus 2 real origami with two simple zeros, asserts a corresponding formula for genus 3 real origami with two double zeros (§2.3), and observes that the resulting generating functions are quantum modular. It also gives a Schur-polynomial analogue for complex origami, connects complex origami counts to strictly monotone double Hurwitz numbers, and discusses conjectures about Jack-function interpolation and integrable hierarchies.
Significance. If the main results hold, this is a valuable contribution: it gives the first explicit enumeration of real origami in low-dimensional strata, with counts expressed in terms of divisor sums; it establishes a clean zonal-polynomial generating identity (Theorem 2.30) that has no fitted parameters and appears machine-verifiable; and it provides substantial evidence for the paper's quantum-modularity conjecture. The complex-origami section also delivers a fast algorithm and a new connection to monotone Hurwitz numbers, with reproducible numerical data in the appendices. The main weaknesses are that the geometric input for Theorem 2.7 is asserted rather than proved, and the genus 3 formulas and Theorem 2.12 are only sketched; these are load-bearing because the advertised quantum-modularity examples depend on them.
major comments (3)
- [§2.2 (proof of Theorem 2.7)] The entire enumeration of genus 2 real origami rests on the assertion that 'out of these four diagrams only type IIa is compatible with a real structure,' but the justification is two sentences. In particular, the statement that type IIb 'is not compatible with assignment of positive lengths to saddle connections' is puzzling, since type IIb was just listed among the four admissible diagrams realizable by a complex origami; presumably the intended meaning is that type IIb cannot satisfy the additional length constraints forced by a real structure, but no argument or reference is given. The cited sources [10,32] classify complex separatrix diagrams, not real-structure compatibility. Since Theorem 2.7 and the quantum-modularity example F2(q)=(E3-E2)/2 collapse if any excluded diagram is realizable, this step needs a complete proof or a precise citation.
- [§2.3 (genus 3 enumeration)] The formula for the genus 3 counts, a central advertised result, is presented as a bullet list of three contribution formulas with no derivation. The text explicitly says 'Here we sketch a proof' and refers to a calculation in [6] for the stratum H(2), which is not the same as the H(2,2) stratum being treated. The total generating function 3E2^2 + (7/6)E2 - E3 - (1/6)E4 is then used to support quantum modularity. A sketch of this kind is not sufficient for a stated theorem; please provide a full derivation or explicitly mark the genus 3 counts as conjectural.
- [§2.4 (Theorem 2.12)] Theorem 2.12, which asserts F2(q) = (E3(q)-E2(q))/2 and its quantum modularity, is not proved: the text says the proof is 'based on Lemma 2.34 and is similar to the proof of Theorem 3.4' and that 'alternatively, applying the propagator of [14] ... we get the same result.' Neither alternative is carried out. Since this theorem is used to exhibit a quantum modular generating function in the simply ramified setting, the proof must be supplied or the claim should be restated as a consequence of a theorem in [14] with a precise reference.
minor comments (4)
- [§2.2 (proof of Theorem 2.7)] The passage from gluings to the unweighted count |O_geom^R(2n) ∩ H(1,1)| divides by 2 for the rotational symmetry of the Möbius graph, but it does not discuss whether other real automorphisms of the square-tiled surface can occur and how they affect the count; please clarify whether the count is weighted by reciprocal automorphism order or unweighted.
- [Definition 2.2] The condition 'τ h τ h^{-1} = τ v τ v = id' is asymmetric (h is τ-invariant while v is τ-anti-invariant, in the sense of B^∼_n). This asymmetry is used later in §2.5, but a brief explanatory sentence would help the reader see that the two conditions are intentional.
- [Figures and tables] Figure references 'Figure 2.2' and 'Figure 2.3' are ambiguous because the figures are numbered 2 and 4; likewise 'Table 2.37' should read 'Table 1'.
- [Abstract and §2.3] The abstract says 'genus 3 real origami with 2 double zeros' while §2.3 says 'with 2 double poles'; the stratum H(2,2) consists of two double zeros, so the terminology should be made consistent.
Circularity Check
No circular derivation; the enumeration identities are proved from zonal-polynomial algebra and geometric cylinder counts, with only a minor self-citation for auxiliary permutation facts.
full rationale
The central identity (Eq. 2.6, Theorem 2.30) is not definitionally equivalent to its own input. The quantity O^circ_R(lambda) is defined by the counting formula (2.5) as a sum of kappa^mu_{mu,lambda}, and the theorem proves equality with the zonal-polynomial sum using Lemma 2.28 from [15], Definition 2.29, and orthogonality of zonal spherical functions. No coefficient is fitted and no equation is assumed equal to the conclusion. The genus-2 count (Theorem 2.7) is a direct geometric count: the paper states "Out of these four diagrams only type IIa is compatible with a real structure" and then counts gluings to obtain N = (1/2) sum_{ell|n} ell(ell-1). Even if the diagram-exclusion assertion were wrong, that would be a correctness gap in a geometric classification, not a circular reduction. The genus-3 formula is quoted from the external source [6] ("This calculation essentially coincides with that of [6], pp. 13-15"); importing an external computation is not circular. The only author-overlapping citation is [2] (Burman-Fesler), introduced by "We start by recalling the necessary results from [2]." It supplies the structure of B^sim_n used in the algebraic setup, but it is a published prior result with stated assumptions, not an assumption of the target theorem; identity (2.6) itself is proved in the present paper. Thus there is no load-bearing self-citation chain and no prediction that reduces by construction to a fit. Score is set to 2 only to acknowledge the minor self-citation; the derivation is otherwise self-contained.
Assumptions & free parameters
assumptions (4)
- standard math Riemann-Hurwitz formula g = 1 + n - k/2 for origami
- domain assumption Zorich's classification of admissible separatrix diagrams for H(1,1)
- standard math Standard facts about zonal polynomials and the double coset algebra of the Gelfand pair (S_{2n}, H_n)
- standard math Unique decomposition of a permutation into strictly monotone transpositions (Lemma 3.5 from [4])
Cite this review
Pith. "Pith review of Origami: real structure, enumeration and quantum modularity." pith.science (2026). https://pith.science/paper/A3IMJR4G
@misc{pith2026250206548,
author = {Pith},
title = {Pith review of: Origami: real structure, enumeration and quantum modularity},
year = {2026},
howpublished = {\url{https://pith.science/paper/A3IMJR4G}},
note = {Machine review of arXiv:2502.06548}
}
read the original abstract
We define real origami (that is, origami equipped with a real structure) and enumerate them using the combinatorics of zonal polynomials. We explicitly express in terms of sums of divisors the numbers of genus 2 real origami with 2 simple zeros and the numbers of genus 3 real origami with 2 double zeros showing that their generating functions are quantum modular forms. Furthermore, we show that by replacing zonal polynomials with Schur polynomials we can effectively count the classical (complex) origami. As a byproduct, we establish a connection between classical origami and a specific class of double Hurwitz numbers. Finally, we discuss some conjectures and open questions involving Jack functions, quantum modular forms, and integrable hierarchies.
Figures
Figures from the paper (2 more)
Reference graph
Works this paper leans on
-
[6]
Aritmética, Grupos y Análisis (AGRA) IV
V. Delecroix, Q. Gendron and C. Matheus. Combinatorics of square-tiled surfaces and geome- try of moduli spaces, Lecture notes of a minicourse at the IMPA–ICTP online summer school “Aritmética, Grupos y Análisis (AGRA) IV”
-
[14]
M.Anas Hahn, H. Markwig. Tropical twisted Hurwitz numbers for elliptic curves, arXiv: 2403.00333
-
[1]
Bloch, S., Okounkov, A.: The character of the infinite wedge representation. Adv. Math. 149, (2000) 1–60
work page 2000
-
[2]
Y.Burman, R.Fesler, Ribbon decomposition and twisted Hurwitz numbersMathematics Re- search Reports, Vol. 5 (2024) p. 1-19
work page 2024
-
[3]
G. Chapuy and M. Dołęga, Non-orientable branched coverings, b-Hurwitz numbers, and pos- itivity for multiparametric Jack expansions, Adv. Math. 409 (2022), 108645
work page 2022
- [4]
-
[5]
R. Cavalieri, E. Miles. Riemann Surfaces and Algebraic Curves: A First Course in Hurwitz Theory. London Mathematical Society Student Texts Book 87 (2016)
work page 2016
-
[7]
In: Dijkgraaf, R., Faber, C., van der Geer, G
Dijkgraaf, R.: Mirror symmetry and elliptic curves. In: Dijkgraaf, R., Faber, C., van der Geer, G. (eds.) The Moduli Spaces of Curves. Progress in Mathematics, vol. 129. Birkhäuser, Boston (1995)
work page 1995
Show all 32 references
-
[8]
Dudina, Enumeration of Origami Curves, Graduation thesis, HSE University, under super- vision of S
M. Dudina, Enumeration of Origami Curves, Graduation thesis, HSE University, under super- vision of S. Lando (2016)
2016
-
[9]
Eskin, A
A. Eskin, A. Okounkov, Asymptotics of numbers of branched coverings of a torus and volumes of moduli spaces of holomorphic differentials. Invent. Math. 145, 59–103 (2001)
2001
-
[10]
Goujard, M
E. Goujard, M. Möller, Counting Feynman-like graphs: Quasimodularity and Siegel–Veech weight. J. Eur. Math. Soc. 22 (2020), no. 2, pp. 365–412
2020
-
[11]
Goulden and D.M
I.P. Goulden and D.M. Jackson. Maps in locally orientable surfaces, the double coset algebra, and zonal polynomials. Canadian J. Math, 48(3):569–584, 1996
1996
-
[12]
I. P. Goulden and D. M. Jackson. Connection coefficients, matchings, maps and combinatorial conjectures for Jack symmetric functions. Trans. Amer. Math. Soc., 348(3):873–892, 1996
1996
-
[13]
Anas Hahn, J.W
M. Anas Hahn, J.W. van Ittersum and F. Leid. Triply mixed coverings of arbitrary base curves: Quasimodularity, quantum curves and a mysterious topological recursions. in Ann. Inst. Henri Poincaré D 9.2 (2022), p. 239-296
2022
-
[15]
P. J. Hanlon, R. P. Stanley, and J. R. Stembridge, Some combinatorial aspects of the spectra of normally distributed random matrices, Contemporary Math. 138(1992), 151—174
1992
-
[16]
Kac and J
V. Kac and J. van de Leur, The geometry of spinors and the multicomponent BKP and DKP hierarchies, CRM Proceedings and Lecture Notes, vol. 14, 1998
1998
-
[17]
Hardy, E
G. Hardy, E. Wright. An Introduction to the Theory of Numbers, 5th ed. Oxford, England: Oxford University Press, 1979
1979
-
[18]
In: Dijkgraaf, R., Faber, C., van der Geer, G
Kaneko, M., Zagier, D.: A generalized Jacobi theta function and quasimodular forms. In: Dijkgraaf, R., Faber, C., van der Geer, G. (eds.) The Moduli Spaces of Curves. Progress in Mathematics, pp. 165–172. Birkhäuser, Boston (1995)
1995
-
[19]
Kerov and G
S. Kerov and G. Olshanski. Polynomial functions on the set of Young diagrams. C. R. Acad. Sci., Paris, Sér. I, 319(2):121–126, 1994
1994
-
[20]
Kremer, Invariants of complex and p-adic origami curves, KIT-Bibliothek, Karlsruhe, 2009
J. Kremer, Invariants of complex and p-adic origami curves, KIT-Bibliothek, Karlsruhe, 2009
2009
-
[21]
Lassalle
M. Lassalle. A positivity conjecture for Jack polynomials. Math. Res. Lett., 15(4):661– 681, 2008
2008
-
[22]
Lando and A
S. Lando and A. Zvonkin. Graphs on Surfaces and Their Applications. Encyclopaedia of Mathematical Sciences, vol. 141, Springer-Verlag, Berlin, 2004
2004
-
[23]
I.G.Macdonald.SymmetricfunctionsandHallpolynomials, Secondedition.ClarendonPress, Oxford, 348(3), 1995
1995
-
[24]
Jucys–Murphy elements, orthogonal matrix integrals, and Jack measures
Matsumoto, S. Jucys–Murphy elements, orthogonal matrix integrals, and Jack measures. Ramanujan J. 26, 69–107 (2011)
2011
-
[25]
Natanzon, A
S. Natanzon, A. Orlov, BKP and projective Hurwitz numbers. Letters in Mathematical Physics, 2017, vol. 107, no 6, p. 1065-1109
2017
-
[26]
Toda equations for Hurwitz numbers,Math
A.Okounkov. Toda equations for Hurwitz numbers,Math. Res. Letters 7 (2000), pp. 447–453
2000
-
[27]
Stanley Enumerative combinatorics
R. Stanley Enumerative combinatorics. Vol. 2, Cambridge Studies in Advanced Mathematics,
-
[28]
Zagier, Elliptic modular forms and their applications, in: The 1-2-3 of modular forms, Universitext, Springer, Berlin, 2008, p
D. Zagier, Elliptic modular forms and their applications, in: The 1-2-3 of modular forms, Universitext, Springer, Berlin, 2008, p. 1–103
2008
-
[29]
Zagier, Quantum modular forms
D. Zagier, Quantum modular forms. Quanta of Maths, 11, 5, (2010) p. 659-675
2010
-
[30]
Jucys–Murphy Elements and Weingarten Matrices
Zinn-Justin, P. Jucys–Murphy Elements and Weingarten Matrices. Lett Math Phys 91, 119–127 (2010)
2010
-
[31]
A. Zorich . Square Tiled Surfaces and Teichmüller Volumes of the Moduli Spaces of Abelian Differentials. In: Burger, M., Iozzi, A. (eds) Rigidity in Dynamics and Geometry. Springer, Berlin, Heidelberg (2002)
2002
-
[32]
Zorich, Geometry and dynamics in moduli spaces, Lecture notes of a course at Université Paris Diderot (2023) Appendix A The first 13 polynomialsPn for real origami count
A. Zorich, Geometry and dynamics in moduli spaces, Lecture notes of a course at Université Paris Diderot (2023) Appendix A The first 13 polynomialsPn for real origami count. P1 = p1 P2 = 3p2 1 2 + p2 P3 = 4 3 p3 1 + 3p1p2 + 8p3 P4 = 7 4 p4 1 + 7p2 1p2 + 26p1p3 + 35 2 p2 2 + 36...
2023
Reviewed August 8, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.