{"id":"8b2f9b68-5966-4e03-b1e6-0f3f1ab04707","arxiv_id":"1909.02302","paper_version":3,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The Do-Karev conjecture is true: monotone orbifold Hurwitz numbers obey the Chekhov-Eynard-Orantin topological recursion.","lead":"This paper proves a conjecture by Do and Karev: monotone orbifold Hurwitz numbers satisfy the Chekhov-Eynard-Orantin topological recursion. A generalist might read it because it connects enumerative combinatorics, integrable systems, and mirror symmetry.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the proof is coherent and the analytic step flagged by the reader follows directly from W_{0,1} = z^q.","rationale":"I examined the proof of Theorem 1.1 through the BS17 sufficient conditions and the quadratic loop equations. The only step the reader singled out, the unit-ball assertion in Proposition 4.1, is not actually a weak point: since dH_{0,1} = omega_{0,1} = y dx, we have W_{0,1} = x H_{0,1}'(x) = x y = z^q. At each critical point p_j, z^q = 1/(q+1) < 1. The deck-transformed value is (bar z)^q, which also tends to 1/(q+1). Hence both (s + delta)/2 and (s - delta)/2 tend to 1/(q+1) and lie in the open unit disk in a sufficiently small neighborhood, making the denominator in (46) holomorphic and nonvanishing. The rest of the quadratic-loop-equation proof is delegated to [DKPS19b] and [BS17]; I did not find a circular use of the conjecture or a hidden assumption that would invalidate the induction. The paper is terse in places, especially in the proof of Corollary 2.2 and in the use of Lemmas 4.3 and 4.4, but the dependencies are coherent and the central argument is convincing. Therefore the correct verdict remains ACCEPT, and no adjustment is needed.","tokens_in":995,"tokens_out":1910,"duration_ms":143410,"concrete_test":"Run a direct numerical check of the analytic step in Proposition 4.1: for q = 2, take p = (1/3)^(1/2), choose z = p + 0.01, compute the deck mate bar z by solving x(z) = x(bar z) near p, and evaluate s = S_z W_{0,1} and delta = Delta_z W_{0,1} with W_{0,1} = z^2. Verify that both (s + delta)/2 and (s - delta)/2 have modulus strictly less than 1 and that the series in equation (46) equals the stated closed form. If the numerical values disagree or one of the two quantities leaves the unit disk, the holomorphicity step fails; otherwise the concern is settled.","verdict_should_be":"UNCHANGED","load_bearing_attack":"No load-bearing concern found. The reader's weakest assumption is not a genuine gap. For the spectral curve x = z(1-z)^q and y = z^(q-1)/(1-z)^q, the definition of W_{0,1} gives W_{0,1}(x(z)) = x*y = z^q. At a critical point p_j, z^q = 1/(q+1), which lies strictly inside the unit disk for q >= 1. For z0 near p_j, both z0^q and the deck-transformed value (bar z0)^q tend to 1/(q+1), so (s + delta)/2 = z0^q and (s - delta)/2 = (bar z0)^q lie in the unit ball in a sufficiently small neighborhood. Thus the denominator in the closed-form evaluation of equation (46) is holomorphic and nonvanishing near p, exactly as needed. The remaining argument rests on [BS17, Theorem 2.2], [KLS19], and [DKPS19b] as external results; I found no circular use of the Do-Karev conjecture and no internal inconsistency. The proof is terse in its delegation to prior lemmas, but the central chain of implications is convincing.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript proves the Do-Karev conjecture: for the spectral curve x(z)=z(1-z)^q, y(z)=z^{q-1}/(1-z)^q, the topological recursion differentials ω_{g,n} are exactly d_1...d_n H_{g,n}(x(z_1),...,x(z_n)), where H_{g,n} are the generating functions of connected monotone q-orbifold Hurwitz numbers. The proof uses the Borot-Shadrin sufficient conditions for a collection of differentials to satisfy topological recursion: it verifies the base cases (g,n)=(0,1),(0,2), the pole structure following from KLS19, and the quadratic loop equations. The main new ingredient is the derivation of the quadratic loop equations from a cut-and-join equation for the partition function, using structural results from DKPS19b. The paper is terse but the chain of implications is clear.","tokens_in":15096,"tokens_out":16133,"duration_ms":144322,"significance":"This is a substantial result: it settles an explicit conjecture of Do and Karev and places monotone orbifold Hurwitz numbers in the general framework of Eynard-Orantin topological recursion. The proof is coherent and correctly combines known tools: the cut-and-join approach, the quasi-polynomiality/pole-structure results of KLS19, and the loop-equation technology of DKPS19b. The paper is honest about its reliance on prior work and does not contain a circular argument. As a consequence, the combinatorial Hurwitz numbers are exactly captured by a universal recursive procedure, with downstream applications to intersection theory.","major_comments":[],"minor_comments":[{"comment":"The assertion that both (s±δ)/2 lie in the unit ball for z0 near p is stated without derivation; please include the computation that W_{0,1}(x(z)) = x(z)y(z) = z^q, which implies z^q = 1/(q+1) at a critical point, and then by continuity both branches remain in the unit disk in a sufficiently small neighborhood of p.","section":"Section 4, equation (46)"},{"comment":"The proof is only sketched with a reference to the mutatis mutandis argument of [BKL+17, Proposition 10]; since this cut-and-join equation is the main combinatorial input for the rest of the paper, the authors should spell out the key adaptation steps, in particular the map to monomial symmetric functions and the treatment of the singular part H_sing_{0,2}.","section":"Section 2, Corollary 2.2"},{"comment":"These lemmas are central to the induction in Proposition 4.1, but their proofs consist only of a citation to [DKPS19b, Corollary 3.4] after an unspecified boson-fermion translation; the authors should either state the correspondence explicitly or provide a proof sketch, so that the reader can check that the hypotheses of the cited result are satisfied in the present bosonic setting.","section":"Section 4, Lemmas 4.3 and 4.4"},{"comment":"The residue symbol r|w=z0] defined in (33) is used without comment in the multivariable expressions (38), (43), and (45); please define the multi-variable convention. In addition, in Remark 4.2, equation (35), the summation condition 'g=g1+g1' is a typo and should read 'g=g1+g2'.","section":"Notation and typos"}],"recommendation":"minor_revision","confidential_remarks":"The manuscript is well-suited for the journal. The referee's main requests are expository; the mathematical argument is sound. The recommendation is minor revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this paper proves the Do-Karev conjecture for all q, and the proof is credible. The genuinely new step is Proposition 4.1, where the quadratic loop equations are derived from the cut-and-join operator combined with the DKPS19b machinery. That is real work and it is what makes the theorem go through.\n\nWhat the paper does well: it states the theorem cleanly, reduces the proof to the BS17 sufficient conditions, and handles convergence of the infinite sums in the cut-and-join equation more carefully than much of this literature. The dependence on prior results—KLS19 for quasi-polynomiality, DKPS19b for loop equations, ALS16 for the partition function—is heavy but legitimate; those are independent theorems and do not assume the conjecture. The paper is transparent about what it imports and what it proves.\n\nSoft spots are mostly expositional. Lemma 4.4 is proved by reference to DKPS19b corollaries; a referee will want the dictionary made explicit. The convergence arguments after Lemma 2.4 are sketched in the style \"same as before,\" which is acceptable but terse. The analytic assertion around equation (46) is the one the stress-test flagged. I checked it: W_{0,1}(x(z)) = x*y = z^q, so at a critical point it equals 1/(q+1), and both (s±δ)/2 tend to that value, hence lie in the unit disk near p. The claim is correct; it just deserves three lines of proof in the text.\n\nThe self-citation pattern is not a circularity problem: the cited results are about other objects and do not presuppose the conjecture. A referee might ask for a clearer roadmap of which external results are used where, but that is a structural suggestion, not a defect.\n\nBottom line: this settles an open conjecture and is a genuine contribution to enumerative geometry. It is not flashy; it is a careful, competent finish to a known program. For anyone working on Hurwitz numbers or topological recursion, it is a must-cite. Recommend peer review with minor revisions, specifically expanding the proof of Lemma 4.4 and the unit-ball argument. I expect acceptance after modest revision.","headline":"First full proof of the Do-Karev conjecture for all q; the new quadratic loop equation argument is sound, and the flagged analytic point is a minor exposition gap, not a flaw.","tokens_in":15602,"tokens_out":1620,"would_cite":true,"duration_ms":19278,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14H10","05A15","14N10"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves the Do-Karev conjecture: monotone q-orbifold Hurwitz numbers are exactly the differentials produced by the Chekhov-Eynard-Orantin recursion on a rational spectral curve.","keywords":["monotone orbifold Hurwitz numbers","topological recursion","Do-Karev conjecture","spectral curve","quadratic loop equations","cut-and-join operator","completed cycles","Hurwitz numbers"],"falsifier":"Compute s=S_{z_0}W_{0,1}(x(z_0)) and δ=Δ_{z_0}W_{0,1}(x(z_0)) numerically for, say, q=2 and q=3 as z_0 approaches a critical point p_j; if either (s+δ)/2 or (s−δ)/2 exits the open unit disk, the series in (46) is not a nonzero holomorphic function and the proof of Proposition 4.1 collapses.","tokens_in":14663,"feed_emoji":"📐","tokens_out":7772,"duration_ms":72939,"temperature":0.7,"pith_summary":"The paper proves the Do-Karev conjecture, which states that the connected monotone q-orbifold Hurwitz numbers—combinatorial counts of monotone factorizations of permutations into transpositions—are captured exactly by the Chekhov-Eynard-Orantin topological recursion applied to the rational spectral curve x(z)=z(1-z)^q, y(z)=z^(q-1)/(1-z)^q. Concretely, the n-point generating functions H_{g,n} of these Hurwitz numbers equal the topological-recursion differentials after substituting x_i=x(z_i). The proof completes a known sufficient-condition strategy: the unstable low-genus cases and the pole structure were already known, and the paper supplies the missing quadratic loop equations by deriving them from the cut-and-join equation for the partition function. If the theorem is right, these Hurwitz numbers join the broad family of enumerative problems governed by topological recursion, opening the door to intersection-theoretic and integrable-system consequences.","feed_headline":"Monotone q-orbifold Hurwitz numbers satisfy topological recursion","feed_subtitle":"Proof of the Do-Karev conjecture: the permutation counts match differentials from a rational spectral curve.","key_machinery":"The central machinery is the cut-and-join operator J and its action on the partition function Z of the monotone q-orbifold Hurwitz numbers, expressed through completed-cycle operators. The paper rewrites the cut-and-join equation using the symmetrizing operator S_z and anti-symmetrizing operator Δ_z, and uses the identity S_z(f(z,...,z))=$2^{{1-r}}$∑_{I⊔J=[r], |J| even} (∏_{i∈I}S_{z_i})(∏_{j∈J}Δ_{z_j}) f(z_1,...,z_r)|_{z_i=z}. This converts known holomorphicity of a certain expression into a statement about the term Δ_{w_1}Δ_{w_2}W_{g,2,n}(w_1,w_2|z_{[n]}). A key analytic step uses the identity ∑_{k≥1,ℓ≥0} (2k+ℓ−1)!/($2^{{2k+ℓ}}$ℓ!(2k)!) k s^ℓ $δ^{{2k−2}}$ = 1/2((2−s)^2−$δ^{2}$) to show that the relevant infinite sum is holomorphic and nonvanishing, provided the quantities (s±δ)/2 lie inside the unit disk near the critical points.","core_discovery":"The central claim is Theorem 1.1: for every g≥0 and n≥1, the symmetric differentials ω_{g,n}(z_1,...,z_n) produced by the Chekhov-Eynard-Orantin recursion from the spectral curve x(z)=z(1-z)^q, y(z)=$z^{{q-1}}$/(1-z)^q, with B(z_1,z_2)=dz_1 dz_2/(z_1-z_2)^2, satisfy ω_{g,n}=d_1⋯d_n H_{g,n}(x(z_1),...,x(z_n)) when expanded near x_i=0, where H_{g,n} is the generating series of connected monotone q-orbifold Hurwitz numbers. The proof uses the criterion that a family of differentials satisfies topological recursion once the unstable cases hold, the functions have the correct pole structure, and the quadratic loop equations hold. The unstable cases were already proved elsewhere, the pole structure was established in prior work, and the paper's contribution is the proof of the quadratic loop equations via the cut-and-join equation combined with the completed-cycles expression for the partition function. The argument isolates the term involving two identified points w_1,w_2 and shows it is holomorphic at each critical point of x, which is exactly the content of the quadratic loop equations.","pith_inferences":["The same cut-and-join and completed-cycles mechanism may extend to other families of weighted Hurwitz numbers whose partition functions admit completed-cycle expressions, potentially proving the more general weighted double Hurwitz conjecture by an analogous route.","The unstated analytic smallness condition on (s±δ)/2 could likely be verified computationally for small q and then replaced by a purely algebraic argument, removing the main analytic input from the proof.","The equivalence between the Hurwitz generating functions and topological recursion suggests that monotone orbifold Hurwitz numbers satisfy the same sort of quantum-curve and integrable-hierarchy relations as their ordinary counterparts, though the paper does not develop these consequences.","For q>1, the formula gives explicit low-degree coefficients that could be checked against direct enumeration of monotone factorizations for small g, n, and ramification profiles, providing a concrete numerical test of the full theorem."],"forward_implications":["The monotone q-orbifold Hurwitz numbers become computable by the topological recursion on the explicit rational spectral curve, giving a uniform recursive scheme for all g and n.","Known general properties of topological recursion—such as the blobbed structure and symplectic invariance—will apply to these Hurwitz numbers automatically.","Combined with earlier identification results, the numbers can be expressed as intersection numbers of tautological classes on moduli spaces of curves, extending the q=1 case to all q.","The proof supplies a concrete template for the broader weighted double Hurwitz conjecture by showing that quadratic loop equations follow from the cut-and-join equation together with a completed-cycles expression.","The result supports the remodeling-of-the-B-model principle for this class of Hurwitz numbers, linking the combinatorial counts to the spectral-curve world of topological recursion."],"supporting_citations":[{"why":"It supplies the sufficient criterion that reduces the conjecture to the unstable cases, pole structure, and quadratic loop equations.","marker":"[BS17]"},{"why":"It establishes the pole structure and quasi-polynomiality of the H_{g,n}, which the proof uses as the known input for the second sufficient condition.","marker":"[KLS19]"},{"why":"It introduced the conjecture and proved the (0,1) case, fixing the spectral curve and the combinatorial definition used in the theorem.","marker":"[DK17]"},{"why":"It provides the completed-cycles expression for the partition function that underlies the derivation of the cut-and-join equation.","marker":"[ALS16]"},{"why":"It supplies the loop-equation corollaries and the identities for S and Δ operators that are essential to the proof of Proposition 4.1.","marker":"[DKPS19b]"},{"why":"It gives the cut-and-join proof template and the calculation used in Corollary 2.2, including the handling of the singular part of the two-point function.","marker":"[BKL+17]"},{"why":"It defines the Chekhov-Eynard-Orantin topological recursion and the differentials ω_{g,n} that are the subject of the conjecture.","marker":"[EO07]"},{"why":"It gives the partition function formula for monotone q-orbifold Hurwitz numbers used as the starting point in equation (6).","marker":"[HO15]"}],"fun_headline_variants":["Do-Karev conjecture proved: monotone orbifold Hurwitz numbers obey topological recursion","Proof of Do-Karev: monotone orbifold Hurwitz numbers satisfy topological recursion","Topological recursion proven for monotone orbifold Hurwitz numbers","Monotone orbifold Hurwitz numbers obey topological recursion","Do-Karev conjecture confirmed for monotone orbifold Hurwitz numbers"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole argument hinges on an asserted smallness estimate near each branch point—the symmetric and antisymmetric parts of the simplest one-point differential must combine to stay inside the unit disk—which the paper states with a reference but does not derive.","fun_headline_variants_meta":{"raw":{"variants":["Do-Karev conjecture proved: monotone orbifold Hurwitz numbers obey topological recursion","Proof of Do-Karev: monotone orbifold Hurwitz numbers satisfy topological recursion","Topological recursion proven for monotone orbifold Hurwitz numbers","Monotone orbifold Hurwitz numbers obey topological recursion","Do-Karev conjecture confirmed for monotone orbifold Hurwitz numbers"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001264,"raw_usage":{"total_tokens":5122,"prompt_tokens":841,"completion_tokens":4281,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":457,"completion_tokens_details":{"reasoning_tokens":4179}},"tokens_in":457,"tokens_out":4281,"duration_ms":28478,"temperature":1.0,"reasoning_tokens":4179,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T04:54:11.515365+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute s=S_{z_0}W_{0,1}(x(z_0)) and δ=Δ_{z_0}W_{0,1}(x(z_0)) numerically for, say, q=2 and q=3 as z_0 approaches a critical point p_j; if either (s+δ)/2 or (s−δ)/2 exits the open unit disk, the series in (46) is not a nonzero holomorphic function and the proof of Proposition 4.1 collapses.","supporting_citations":[],"review_version":1}