{"id":"33f551ee-f06e-4c6a-bb17-f64d3eea8cf3","arxiv_id":"2411.11608","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper claims a general existence theorem for Boutroux curves via minimizing a regularized area functional over Newton polygon deformations.","lead":"This paper claims a general existence proof for Boutroux curves, algebraic curves whose period integrals have zero real part, using a variational principle over Newton polygon deformations. If correct, the result would provide g-functions for random matrix models and spectral networks in broad generality.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Compactness of level sets rests on a false zero-count claim: Q=x^{N-2} on P_N=y^2+x^N+x^{2N} has ~2N zeros, exceeding #N, so Theorem 3.4 and hence Theorem 4.1 are unproved as written.","rationale":"The reader's weakest assumption is exactly the load-bearing failure I find. I tested whether the interior condition on Q could rescue the zero-count bound; it cannot. For P_N=y^2+x^N+x^{2N}, Q=x^{N-2} is genuinely in C[°N] because (N-1,1) is strictly inside the triangle, and the divisor computation gives 2N-4 zeros, exceeding both reasonable interpretations of #N. Theorem 3.3 is the only route to Theorem 3.4's minimum, so the main existence theorem is unsupported. There is a second independent gap: the minimization over M may land on a discriminant stratum, where the period-coordinate argument of Corollary 3.1 is not justified; this further weakens the derivation of the Boutroux property from the minimum. The paper has no machine-checked proofs or reproducible code that could offset these gaps. The variational strategy is plausible and the applications are interesting, but the central claim is not established by the written argument.","tokens_in":45507,"tokens_out":15790,"duration_ms":175651,"concrete_test":"Independently normalize P_N=y^2+x^N+x^{2N} for N=50, compute the divisor of X on Σ, and list all lattice points of the Newton polygon. Confirm that Q=x^{N-2} lies in C[°N] and that its number of zeros, 2N-4=96, exceeds both #\\bar N=78 and the support size 3. Then re-run the argument of Lemma 3.2 with 2#N+1 sample discs: since the zero count exceeds the number of discs, the claimed 'at most #N zeros' bound fails, so the uniform bound on the coefficients Q_{i,j} is not established. If a different compactness argument is proposed, it must be verified independently of this zero-count claim.","verdict_should_be":"REJECT","load_bearing_attack":"The proof of Theorem 3.3 hinges on Lemma 3.2's assertion that 'Q(x,Y(x)) can have at most #N zeros on Σ'. This is false. Let P_N=y^2+x^N+x^{2N} with N even. Its Newton polygon is the triangle with vertices (0,2),(N,0),(2N,0), which has #\\bar N=3N/2+3 lattice points. The shift (N-1,1) of the exponent (N-2,0) lies strictly inside this triangle, so Q=x^{N-2} belongs to C[°N]. On the normalization Σ, X has two simple poles at the two points over x=∞ and two simple zeros at the two branches over x=0 (where y^2∼-x^N). Hence Q(X,Y)=X^{N-2} has 2N-4 zeros on Σ. For N=50, this is 96 zeros versus 78 lattice points; if #N means the support cardinality 3, the gap is larger still. Therefore the pigeonhole step, which requires that among 2#N+1 disjoint sample discs at most #N can contain a zero of Q, has no valid basis. Without that step, the evaluations B_l=Q(u_l)/P'_y(u_l) are not shown to be uniformly bounded on level sets, the linear system (3.17)–(3.18) does not control the coefficients Q_{i,j}, and Theorem 3.4 does not establish the existence of a minimum. Since Theorem 4.1 is derived entirely from that minimum, the central claim is not supported by the proof as written.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims to prove a general existence theorem for Boutroux curves: for any fixed bivariate polynomial P whose Newton polygon has nonempty interior, the affine space M = P + C[°N] contains a curve P(x,y)=0 whose periods satisfy Re∮_γ YdX = 0 for all closed loops γ. The strategy is to minimize a regularized area functional F on M, show that its level sets are compact, and then identify the minimum with the Boutroux condition via an identity F = ˇF expressed in period coordinates. The paper also derives structural consequences for spectral networks, Strebel graphs, and random-matrix g-functions. The identity F = ˇF and the local convexity computation are presented in detail, but the central existence proof rests on a compactness argument that I find invalid.","tokens_in":45865,"tokens_out":11292,"duration_ms":120913,"significance":"If the main theorem were correct, it would be a substantial and useful existence result: it would provide a systematic construction of g-functions for steepest-descent arguments, of spectral network foliations, and of Boutroux curves relevant to matrix models and WKB analysis. The paper has genuine strengths: the energy is defined intrinsically from the curve and its periods, the derivation of F = ˇF in Theorem 3.7 is a clear computation, the Hessian computation in Theorem 3.6 is explicit, and the applications to Strebel graphs and matrix models are well motivated. I found no circularity in the use of the prepotential: the equality F = ˇF is invoked as a lemma rather than as an assumption of the existence theorem. However, the main existence theorem is not established by the proof as written, because the compactness of the energy level sets relies on a false zero-count claim.","major_comments":[{"comment":"The assertion that 'Q(x,Y(x)) can have at most #N zeros on Σ' is false. Take N even and P_N = y^2 + x^N + x^{2N}. The Newton polygon is the triangle with vertices (0,2), (N,0), (2N,0); the shifted point (N−1,1) is strictly interior, so Q = x^{N−2} belongs to C[°N]. On the normalization of P_N, X has two simple poles over x=∞ and two simple zeros over x=0, so X^{N−2} has 2N−4 zeros on Σ. This exceeds #N = 3, the number of nonzero coefficients of P_N, and for N large it also exceeds the number #\\bar N = 3N/2+3 of lattice points in the completed Newton polygon. The pigeonhole step that at most #N of the 2#N+1 sample discs contain a zero therefore has no valid basis, and the boundedness of the evaluations B_l in (3.17)–(3.18), and hence the bound on the coefficients Q_{i,j}, is not established.","section":"§3, Lemma 3.2"},{"comment":"The proof of the bound on ||Q|| uses a constant K in (3.12) obtained from the fixed curve P and from a domain U that excludes ramification points of P, but the roots Y_i(x) and the denominator P'_y in (3.13)–(3.14) are those of the perturbed curve P+Q. Ramification points and roots vary with Q, and no argument shows that the same U and K control the perturbed roots uniformly over a level set of F. This is a second obstruction to the claimed compactness of level sets.","section":"§3, Theorem 3.3, eqs. (3.11)–(3.14)"},{"comment":"Since the existence of a minimum in Theorem 3.4 is proved only through the compactness of level sets, and Theorem 4.1 is derived entirely from that minimum, the main claim of the paper is unsupported as written. The counterexample in the first comment is not an isolated pathology: it lies in the intended domain of the theorem, with C[°N] nontrivial for large N. A substantially different compactness argument would be needed to repair the proof.","section":"§3–§4, Theorems 3.4 and 4.1"}],"minor_comments":[{"comment":"The symbol #N is used ambiguously: it denotes the number of nonzero coefficients of P in (2.1), whereas the proof of Lemma 3.2 needs a bound on the number of zeros in terms of the Newton polygon; the distinction between #N and #\\bar N should be made explicit and used consistently.","section":"Notation, §2.1 and §3"},{"comment":"The dimension of C[°N] can be strictly smaller than #°N because of the constraints imposed at zeros of P_d; for instance Example 2.2 has #°N = 3 but dim C[°N] = 0. The proof of Theorem 3.3 should state whether #°N denotes the number of lattice points or the actual dimension of the coefficient space.","section":"Definition 2.2 and Example 2.2"},{"comment":"There are several typographical and reference errors: 'Harrer-Zagier' should be 'Harer-Zagier', 'Eulcidian' in Theorem 5.5 should be 'Euclidean', and 'Susslin' likely should be 'Suslin'.","section":"Throughout"},{"comment":"The proof sketch for the extremal measure relies on classical potential theory and on the already-established Boutroux curve; the text should clarify which parts are conditional on Theorem 4.1, since that theorem is not yet available by the proof in this manuscript.","section":"§7.3.5, Theorem 7.3"}],"recommendation":"reject","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"If you're tracking the Boutroux-curve existence problem, this is the Eynard–Oukassi preprint. The variational idea is attractive and the paper is worth knowing about, but the main proof has a hole in it.\n\nWhat's new: they set up an affine moduli space M = P + C[°N] for plane curves with fixed Newton polygon, define a regularized area F, and show that F coincides with the real part of the prepotential expression ˇF. The computation F=ˇF is clean, and the strict convexity of ˇF on period-coordinate strata is a nice structural result. If a Boutroux curve exists, that part gives uniqueness, and the spectral-network/random-matrix applications in Sections 5–7 are natural.\n\nThe problem is Theorem 3.3. Compactness of level sets rests on Lemma 3.2, which asserts that Q(X,Y) has at most #N zeros on the compactified curve. That is false. Take P_N = y^2 + x^N + x^{2N} with N even. The Newton polygon is the triangle (0,2),(N,0),(2N,0), which has 3N/2+3 lattice points total. The exponent (N-2,0) shifts to (N-1,1), which is strictly interior, so Q = x^{N-2} lies in C[°N]. On the normalization, X has two simple zeros over x=0, so Q(X,Y)=X^{N-2} has 2N-4 zeros. For N=50 that is 96 zeros versus 78 lattice points; if #N means the support size 3, the gap is worse. So the pigeonhole step — that among 2#N+1 sample discs, Q can vanish in at most half — has no basis. Without it, the coefficient bound (3.17)–(3.19) does not follow, and Theorem 3.4's minimum is not established. Theorem 4.1 is derived from that minimum, so the central claim is unsupported as written. A second, smaller gap is that the minimizer could sit on a discriminant locus or stratum boundary where the dF=0 condition is not justified.\n\nI do not think this is a crank paper: the F=ˇF identity and the convexity are real, and the intended theorem may well be true. But the current proof does not get there, and the flaw is load-bearing, not cosmetic.\n\nRecommendation: send to a serious referee rather than desk-reject. The problem is important and the gap is identifiable — a repair of the compactness argument would make this a significant paper. I would not cite it as a proof yet.","headline":"The variational strategy and the F=ˇF identity are genuinely nice, but the compactness proof rests on a false zero-count lemma, so the main existence theorem is unproved as written.","tokens_in":46383,"tokens_out":10913,"would_cite":false,"duration_ms":95432,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14H50","30F30","81Q20","60B20"],"pacs":[],"model":"deepseek-v4-flash","headline":"An affine space of plane curves with fixed asymptotic behavior always contains a Boutroux curve, whose periods have vanishing real part.","keywords":["Boutroux curves","Newton polygon","g-function","spectral networks","Riemann-Hilbert problem","random matrix theory","regularized area","Strebel graphs"],"falsifier":"Choose a concrete Newton polygon with at least three non-collinear lattice points and real residues, for example a hyperelliptic $P(x,y)=y^2-R(x)$ whose interior space contains a term of high degree; minimize the regularized area $F$ numerically over $M$ and evaluate $\\operatorname{Re}\\oint_\\gamma Y\\,dX$ on a homology basis at the minimizer. A single parameter value for which the real parts are not all zero would disprove Theorem 4.1; if instead the energy level sets appear unbounded while the zero-count bound fails, the gap would be located in the compactness proof of Theorem 3.3.","tokens_in":45321,"feed_emoji":"🕸️","tokens_out":13330,"duration_ms":131477,"temperature":0.7,"pith_summary":"The paper's central claim is an existence theorem: fix a bivariate polynomial $P$ whose Newton polygon has at least three non-collinear lattice points, a nonempty shifted interior $\\overset{\\circ}{N}$, and real residues $t_{\\alpha,0}$ at its punctures. In the affine space $M = P + \\mathbb{C}[\\overset{\\circ}{N}]$ of curves obtained by varying only the interior coefficients, there is at least one Boutroux curve, meaning $\\operatorname{Re}\\oint_\\gamma Y\\,dX = 0$ for every Jordan loop $\\gamma$. The proof minimizes a real energy, interpreted as a regularized area of the curve, and shows the minimizer satisfies the Boutroux condition. If correct, this gives a general existence result for the $g$-functions required by Riemann–Hilbert steepest descent, for spectral-network foliations in WKB analysis, and for the equilibrium measures of one- and two-matrix models.","feed_headline":"Boutroux curves always exist in plane-curve moduli spaces","feed_subtitle":"Minimizing a regularized area forces every period to have zero real part, supplying the g-function and spectral networks.","key_machinery":"The central objects are the Newton polygon with its shifted interior $\\overset{\\circ}{N}$, the affine space $M=P+\\mathbb{C}[\\overset{\\circ}{N}]$, and the regularized-area energy $F$. The Newton data encodes the punctures and their asymptotic “times” $t_{\\alpha,k}$; moving inside the affine space leaves all those asymptotics fixed while changing the free interior coefficients. The energy is the area $\\frac{1}{2\\pi i}\\int |Y\\,dX|^2$ with divergent puncture terms subtracted, and the proof's main identity is $F=\\check F=-\\operatorname{Re}\\hat F + \\pi\\,\\zeta^t E^{-1}\\epsilon$, where $\\hat F$ is built from the prepotential $F_0$ and $(\\epsilon,\\zeta)$ are the real and imaginary parts of the period vector. The positive-definite Hessian of $\\check F$ in period coordinates makes the energy strictly convex there, so its minimum satisfies $\\zeta=0$, which is exactly the Boutroux condition. The same harmonic function $\\phi=\\operatorname{Re}\\int Y\\,dX$ then defines the spectral network as the coincidence set $\\{X(p)=X(p'),\\ \\phi(p)=\\phi(p')\\}$.","core_discovery":"On its own terms, the core discovery is Theorem 4.1: for every $P$ satisfying the Newton-polygon and real-residue hypotheses, the space $M=P+\\mathbb{C}[\\overset{\\circ}{N}]$ contains at least one Boutroux curve, and such curves are isolated in $M$. The minimizing configuration of the energy $F$ is the witness. When $F$ is written in period coordinates it coincides with $\\check F = -\\operatorname{Re}\\hat F + \\pi\\,\\zeta^t E^{-1}\\epsilon$, whose Hessian is positive definite because the imaginary part of the Riemann period matrix is positive definite; a minimum therefore sits at $\\zeta_i=0$, i.e. at zero real parts of all A- and B-periods, while small loops around punctures have zero real part by the real-residue hypothesis. For a Boutroux curve the differential $Y\\,dX$ also defines a single-valued harmonic function $\\phi(p)=\\operatorname{Re}\\int_o^p Y\\,dX$, whose level sets organize the curve into the first-kind spectral network; cutting along $\\phi=0$ gives the second-kind network used for WKB and random matrices.","pith_inferences":["A natural next test is numerical: for small Newton polygons with large interior coefficients, minimize the regularized energy and compare the minimizer's periods with the prediction $\\zeta=0$; this could turn Theorem 4.1 into an effective algorithm for computing $g$-functions.","If the compactness argument can be repaired in the cases where $Q(x,Y(x))$ has many zeros, the same variational scheme should transfer to the proposed generalizations: base curves other than $\\mathbb{CP}^1$, logarithmic versions on $\\mathbb{C}^*\\times\\mathbb{C}^*$, and Hitchin spectral curves for arbitrary gauge groups, since only the local puncture regularization changes.","The identification $F=-\\operatorname{Re}F_0$ at a Boutroux curve makes the large-$N$ free energy a computable function of periods and times; comparing it with explicit matrix-integral expansions for low degrees would be a sharp test of the whole construction."],"forward_implications":["For a polynomial one-matrix potential, the Boutroux curve gives the equilibrium measure through $d\\mu = \\frac{1}{2\\pi i}(Y_{\\rm left}-Y_{\\rm right})\\,dx$ on the spectral network, and the energy takes the two-dimensional Coulomb-gas form $\\int \\operatorname{Re}V\\,d\\mu - \\iint \\ln|x-x'|\\,d\\mu(x)d\\mu(x')$.","For the two-matrix model, the construction yields two equilibrium measures $\\mu$ and $\\tilde\\mu$ on two spectral networks, and the $x\\leftrightarrow y$ symmetry of the Boutroux condition gives the Matytsin property $X\\circ Y=\\mathrm{id}$.","The first-kind spectral network gives a canonical decomposition of a Boutroux curve into half-planes, strips, and half-cylinders, with no cylinder faces; this is the atlas used in foliation and moduli-space arguments.","In the hyperelliptic example with prescribed simple poles, the first- and second-kind networks coincide and the graph is the Strebel graph, with faces of prescribed perimeter $2\\pi L_\\alpha$; the existence theorem thus contains a general construction of such foliations.","Every Boutroux curve is isolated in $M$: near the minimizer the energy is locally strictly convex, so the vanishing-period condition cuts the moduli space transversely rather than along a flat family."],"supporting_citations":[{"why":"The Riemann–Hilbert steepest-descent method whose g-function the paper aims to supply; Section 7.3.6 states that the Boutroux curve produces exactly the data this method needs.","marker":"[DZ92]"},{"why":"The random-matrix and orthogonal-polynomial steepest-descent analysis cited alongside [DZ92] as the setting where the g-function is the key ingredient.","marker":"[Dei+99]"},{"why":"Source for the prepotential $F_0$ and its differential, used to prove the identity $F=\\check F$ and to express the energy in period coordinates.","marker":"[EO07]"},{"why":"Supports the prepotential differential and the use of Boutroux curves with external field in the absence of a minimization problem.","marker":"[Ber07]"},{"why":"Defines spectral networks from WKB data; the paper's second-kind network and its measure are modeled on this notion.","marker":"[GMN13]"},{"why":"Provides the quadratic-differential and vertical-trajectory framework for Strebel graphs that the first-kind spectral network generalizes.","marker":"[Str84]"}],"fun_headline_variants":["Newton polygon ensures Boutroux curves","Boutroux curves exist: proof via Newton polygon","Existence of Boutroux curves proven","Boutroux curves guaranteed by Newton polygon","Boutroux curves always exist, new proof"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that every interior-coefficient polynomial $Q$, pulled back to the curve as $Q(x,Y(x))$, has at most as many zeros as the Newton polygon has lattice points; this zero-count bound is what lets the proof show that energy level sets are compact and that a minimizing curve exists. For high-degree choices of $Q$ the bound can fail, so the compactness argument as written does not cover every case allowed by the theorem.","fun_headline_variants_meta":{"raw":{"variants":["Newton polygon ensures Boutroux curves","Boutroux curves exist: proof via Newton polygon","Existence of Boutroux curves proven","Boutroux curves guaranteed by Newton polygon","Boutroux curves always exist, new proof"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000154,"raw_usage":{"total_tokens":1216,"prompt_tokens":959,"completion_tokens":257,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":575,"completion_tokens_details":{"reasoning_tokens":186}},"tokens_in":575,"tokens_out":257,"duration_ms":3346,"temperature":1.0,"reasoning_tokens":186,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T18:20:38.795194+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Choose a concrete Newton polygon with at least three non-collinear lattice points and real residues, for example a hyperelliptic $P(x,y)=y^2-R(x)$ whose interior space contains a term of high degree; minimize the regularized area $F$ numerically over $M$ and evaluate $\\operatorname{Re}\\oint_\\gamma Y\\,dX$ on a homology basis at the minimizer. A single parameter value for which the real parts are not all zero would disprove Theorem 4.1; if instead the energy level sets appear unbounded while the zero-count bound fails, the gap would be located in the compactness proof of Theorem 3.3.","supporting_citations":[],"review_version":1}