{"id":"3bf4fe48-a43d-4eaf-af67-8ed8f0dd9d6d","arxiv_id":"2502.06548","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Real origami are counted with zonal polynomials, giving explicit divisor-sum formulas whose generating functions are quantum modular forms.","lead":"Real origami, square-tiled surfaces with a fixed-point-free anti-holomorphic involution, are counted with zonal polynomials, yielding explicit divisor-sum formulas in low genus. The paper gives a new enumerative bridge between origami, twisted Hurwitz numbers, and quantum modular forms, mainly for specialists in combinatorics and moduli spaces.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 2.7 hinges on the unproved exclusion of three H(1,1) separatrix diagrams; if the real-structure compatibility claim on type IIb is wrong, the divisor-sum formula and the quantum-modularity example are false.","rationale":"The reader's weakest_assumption identifies the same load-bearing point: the geometric classification in the proof of Theorem 2.7 is asserted rather than proved. I agree that this is the most fragile premise. The algebraic zonal-polynomial framework is internally coherent, but the explicit genus-2 formula is what connects the combinatorics to the geometric count and to quantum modularity, and that connection is made through the separatrix-diagram exclusion. The paper provides some supporting evidence: Appendix A's connected polynomials give coefficients of p_{[2,1^{n-2}]} equal to the divisor-sum formula for small n, and Table 1 totals for mirror origami match the same sequence, but neither independently proves the real-structure exclusion because both are derived from the same diagrammatic or polynomial machinery. The proposed combinatorial enumeration is decisive because Definition 2.2 is proven equivalent to the geometric definition, so it tests the conclusion of the diagram classification without relying on the classification itself. A mismatch would directly refute Theorem 2.7; a match for n up to 8 would render the two-sentence exclusion highly credible. I therefore keep the reader's CONDITIONAL verdict: the concern is real and addressable, not a demonstrated contradiction.","tokens_in":29122,"tokens_out":17184,"duration_ms":150324,"concrete_test":"Settle the concern by brute-force enumeration from Definition 2.2, bypassing separatrix diagrams: for n = 2,...,8 fix tau = (1 bar1)...(n barn), enumerate all pairs (h,v) in the centralizer H_n x H_n whose commutator [h,v] has cycle type [2^2, 1^{2n-4}] (the H(1,1) profile) and whose generated group with tau is transitive; count isomorphism classes by taking orbits under the relabeling action, or equivalently weight each labeled pair by 1/|Aut|. Compare the resulting unweighted counts with (sigma_2(n) - sigma_1(n))/2. A match for all small n confirms the type-IIa-only classification; a mismatch for any n would localize the failure and invalidate Theorem 2.7. This test uses only Proposition 2.4, not the disputed diagram classification.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central count N_n^R(1,1) = (sigma_2(n) - sigma_1(n))/2 depends entirely on the Section 2.2 assertion that, among the four admissible separatrix diagrams of H(1,1), only type IIa is compatible with a fixed-point-free anti-holomorphic involution, and that type IIb is incompatible with positive saddle-connection lengths. The text gives only two sentences for this exclusion and cites classifications [10,31] that classify complex origami diagrams, not real-structure compatibility. The cylinder-to-Mobius-graph gluing count then assumes type IIa as its geometric input; if an excluded diagram, especially IIb, were realizable with a real structure, the set of genus-2 real origami would be larger than the set being counted, and both Theorem 2.7 and the identity F2(q) = (E3 - E2)/2 would be false. The algebraic Theorem 2.30 does not repair this, because the identification of its enumeration with geometric real origami passes through Definition 2.2 and Proposition 2.4, not through the diagram classification. Thus the weakest premise is exactly the unproved geometric exclusion identified by the reader.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":29346,"tokens_out":22056,"duration_ms":172508,"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":[{"comment":"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.","section":"§2.2 (proof of Theorem 2.7)"},{"comment":"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.","section":"§2.3 (genus 3 enumeration)"},{"comment":"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.","section":"§2.4 (Theorem 2.12)"}],"minor_comments":[{"comment":"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.","section":"§2.2 (proof of Theorem 2.7)"},{"comment":"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.","section":"Definition 2.2"},{"comment":"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'.","section":"Figures and tables"},{"comment":"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.","section":"Abstract and §2.3"}],"recommendation":"major_revision","confidential_remarks":"The algebraic core of the paper, especially Theorem 2.30, is carefully derived from standard double-coset and zonal-polynomial theory and appears sound; the appendices provide reproducible data that strengthen the paper. The main risk is the under-proved geometric classification in §2.2, which is the sole input for the flagship genus 2 formula; if the real-structure compatibility of separatrix diagrams is not settled in the revision, the paper's headline results would not be established. The sketch-level treatment of §2.3 and Theorem 2.12 is also below the standard expected for stated theorems. These issues are local and likely fixable, so I recommend major revision rather than rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThe paper is worth a serious look. The genuinely new ingredient is Theorem 2.30, a zonal-polynomial generating identity that counts real origami efficiently and is proved cleanly from standard facts. The divisor-sum formula for genus 2 (Theorem 2.7) and the genus 3 formula are nice, and the bijection between real and mirror origami is a useful structural result. The Jack-function interpolation is a suggestive framework, even if the conjectures are open.\n\nWhat the paper does well: the definitions are careful, Proposition 2.4 establishes the geometric/combinatorial equivalence, and the appendices provide a lot of concrete data. There are no fitted parameters; the enumeration is genuine.\n\nThe soft spots are real but not fatal. The proof of Theorem 2.7 depends on a two-sentence assertion that among the four admissible separatrix diagrams of H(1,1) only type IIa is compatible with a real structure. That is load-bearing. If type IIb were realizable, the count would change and the quantum-modularity example would collapse. The cited classifications [10,31] classify complex diagrams, not real-structure compatibility. I think the assertion is probably true—and the algebraic enumeration in Theorem 2.30, which is independent of the geometry, reproduces the same numbers through the Appendix A polynomials for n up to 13—but the paper should provide a full argument, or better, derive Theorem 2.7 directly from the zonal identity. As written, the geometric proof is a sketch at its most critical point.\n\nThe genus 3 formulas are explicitly sketched and said to coincide with [6]; Theorem 2.12 is delegated to a 'similar' proof. These are addressable gaps rather than contradictions. Conjectures 2.9 and 2.17 are honestly flagged as work in progress.\n\nBottom line: the central algebraic machinery looks solid, the data is reproducible, and the results are interesting enough for the enumerative geometry/combinatorics audience. A serious referee should engage with it, primarily to push for a complete proof of the geometric exclusion and for a derivation of the divisor formulas from Theorem 2.30. I'd send it to review rather than desk reject.","headline":"Solid zonal-polynomial counting of real origami, but the genus 2 proof leans on a terse geometric exclusion that needs fuller justification.","tokens_in":29877,"tokens_out":13025,"would_cite":true,"duration_ms":102124,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["05A15","05E05","11F03","20C30"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper defines real origami, proves their counts are governed by zonal polynomials, and derives divisor-sum formulas and quantum modular generating functions.","keywords":["real origami","zonal polynomials","square-tiled surfaces","quantum modular forms","Eisenstein series","Hurwitz numbers","hyperoctahedral group","enumeration"],"falsifier":"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.","tokens_in":28910,"feed_emoji":"🔲","tokens_out":17252,"duration_ms":117497,"temperature":0.7,"pith_summary":"This paper introduces real origami: square-tiled surfaces (finite covers of a torus branched over one point) equipped with a fixed-point-free anti-holomorphic involution that covers complex conjugation on the torus. It proves that real origami are counted by the zonal-polynomial side of symmetric-group combinatorics, via the identity $\\frac{1}{2^n n!}\\sum_{\\lambda\\vdash n} O_R^\\circ(\\lambda)p_\\lambda = \\sum_{\\rho\\vdash n} Z_\\rho$. For the first nontrivial strata this yields explicit divisor-sum counts: $N_n^R(1,1) = (\\sigma_2(n)-\\sigma_1(n))/2$ for the genus-2 stratum with two simple zeros, and a genus-3 generating function $3E_2^2 + \\frac{7}{6}E_2 - E_3 - \\frac{1}{6}E_4$ for two double zeros. These generating functions are quantum modular forms, and the paper conjectures that every real-origami stratum has this property, in contrast with the quasimodular forms that govern classical complex origami. A reader should care because the zonal-polynomial identity turns an abstract count of square-tiled surfaces into explicit arithmetic functions and connects the geometry to quantum modularity.","feed_headline":"A divisor-sum formula counts genus-2 real origami","feed_subtitle":"The count is (sigma_2(n)-sigma_1(n))/2, and the generating functions are quantum modular.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Supplies the separatrix-diagram and cylinder-decomposition method used in the proof of Theorem 2.7.","marker":"[31]"},{"why":"Provides the classification of admissible separatrix diagrams in $H(1,1)$ on which the real-structure argument depends.","marker":"[10]"},{"why":"Gives the connection-coefficient identities (Lemmas 2.27 and 3.3) that convert the zonal-polynomial expansion into a count of real origami.","marker":"[15]"},{"why":"Is the reference for zonal polynomials, double cosets, and the Gelfand pair $(S_{2n},H_n)$ used throughout Section 2.","marker":"[23]"},{"why":"Introduces the class $B^\\sim_n$ of $\\tau$-symmetric permutations and the ribbon-decomposition framework underlying the combinatorial definition of real origami.","marker":"[2]"},{"why":"Supplies the tropical twisted Hurwitz-number model that inspired Definition 2.2 and the formula for $\\nu_R(\\lambda)$ used in Proposition 2.11.","marker":"[14]"},{"why":"Defines quantum modular forms, the class to which the paper attaches the real-origami generating functions.","marker":"[29]"},{"why":"Establishes the quasimodularity of complex origami generating functions that the paper's zonal/Schur analogy transfers to the real setting.","marker":"[9]"},{"why":"Gives the quasimodularity of double Hurwitz numbers used in Section 3 to recover complex origami enumeration.","marker":"[13]"},{"why":"Provides the Jucys–Murphy and Jack-measure results from which Proposition 2.11 derives the real analogue $\\nu_R(\\lambda)$.","marker":"[24]"}],"fun_headline_variants":["Zonal polynomials count real origami exactly","Divisor sums give genus-2 real origami formula","Real origami: quantum modular generating functions","Schur vs zonal: counting complex and real origami","Real origami enumeration via zonal polynomials"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Zonal polynomials count real origami exactly","Divisor sums give genus-2 real origami formula","Real origami: quantum modular generating functions","Schur vs zonal: counting complex and real origami","Real origami enumeration via zonal polynomials"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000199,"raw_usage":{"total_tokens":1390,"prompt_tokens":980,"completion_tokens":410,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":596,"completion_tokens_details":{"reasoning_tokens":337}},"tokens_in":596,"tokens_out":410,"duration_ms":4253,"temperature":1.0,"reasoning_tokens":337,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-08T15:05:30.467762+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the separatrix-diagram and cylinder-decomposition method used in the proof of Theorem 2.7."},{"cited_title":"Goujard, M","cited_arxiv_id":null,"evidence_quote":"Provides the classification of admissible separatrix diagrams in $H(1,1)$ on which the real-structure argument depends."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the connection-coefficient identities (Lemmas 2.27 and 3.3) that convert the zonal-polynomial expansion into a count of real origami."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Is the reference for zonal polynomials, double cosets, and the Gelfand pair $(S_{2n},H_n)$ used throughout Section 2."},{"cited_title":"5 (2024) p","cited_arxiv_id":null,"evidence_quote":"Introduces the class $B^\\sim_n$ of $\\tau$-symmetric permutations and the ribbon-decomposition framework underlying the combinatorial definition of real origami."},{"cited_title":"Zagier, Quantum modular forms","cited_arxiv_id":null,"evidence_quote":"Defines quantum modular forms, the class to which the paper attaches the real-origami generating functions."},{"cited_title":"Eskin, A","cited_arxiv_id":null,"evidence_quote":"Establishes the quasimodularity of complex origami generating functions that the paper's zonal/Schur analogy transfers to the real setting."},{"cited_title":"Anas Hahn, J.W","cited_arxiv_id":null,"evidence_quote":"Gives the quasimodularity of double Hurwitz numbers used in Section 3 to recover complex origami enumeration."},{"cited_title":"Jucys–Murphy elements, orthogonal matrix integrals, and Jack measures","cited_arxiv_id":null,"evidence_quote":"Provides the Jucys–Murphy and Jack-measure results from which Proposition 2.11 derives the real analogue $\\nu_R(\\lambda)$."}],"review_version":1}