{"id":"03416692-dbc5-42f5-bf25-4c7b714c5229","arxiv_id":"2507.19656","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper constructs elliptic orthogonal a-polynomials, proves zero interlacing on the torus, and derives a lifting correspondence from OPRL that implies new interlacing for rational modifications.","lead":"This paper studies meromorphic functions on a torus that generalize classical orthogonal polynomials, allowing an extra simple pole at a fixed anchor point, and proves their zeros interlace under real orthogonality. It also builds an explicit bridge from orthogonal polynomials on the real line to these torus functions, yielding new interlacing results for rationally modified weights.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: Theorems 4.2 and 5.1 are internally consistent; the reader's Section 5.3 denominator concern does not land.","rationale":"The central theorems are supported by explicit, coherent proofs. The interlacing argument in Section 4 uses standard elliptic-function facts: positivity of W ensures D_k>0, Lemma 4.4's parity count follows from Abel's theorem, Proposition 4.5's auxiliary-function construction is valid, and Proposition 4.7's Wronskian step correctly converts simplicity of all real linear combinations into interlacing. Theorem 5.1 is a direct substitution argument: for even degrees one obtains orthogonality from P_j(·;w), and for odd degrees the factor b1(z)=-(1/2)℘'(z)/(℘(z)-e1) converts the integral to orthogonality against rw(x)=(x-e3)(e2-x)/(e1-x)w(x). The rational factor is positive on [e3,e2], so the reduced weight is a legitimate positive OPRL weight. The reader's Section 5.3 concern about denominators is not a genuine degeneracy: for a∈γ1, ℘(a)>e1, while orthogonal polynomials for positive weights on [e3,e2] have all zeros in (e3,e2), so the evaluated orthogonal polynomials cannot vanish. I did notice some typographical and indexing inconsistencies, most notably in Definition 4.1's m=n-1 case and in the direction of the inequality in Corollary 5.4, but these affect peripheral applications rather than the central claim. A direct low-degree numerical check would be a useful, inexpensive guard against hidden sign or factor errors in the substitution calculations.","tokens_in":20691,"tokens_out":63547,"duration_ms":568354,"concrete_test":"Perform a low-degree numerical verification of Theorem 5.1 in the square-lattice Example 5.2 with w(x)=1 on [-1,0]: construct F_1(z)=b1(z) and F_2(z)=℘(z)+1/2, define W by (5.3), and evaluate ∫_{γ2} F_1 W dz, ∫_{γ2} F_2 W dz, ∫_{γ2} F_1 F_2 W dz, and ∫_{γ2} F_2^2 W dz numerically. Zero first three and nonzero fourth would confirm the lifting and positivity of the Gram matrix; any nonzero orthogonality moment would reveal a hidden sign or factor error.","verdict_should_be":"UNCHANGED","load_bearing_attack":"After reviewing the core argument, I do not find a load-bearing defect in the central claim. Theorem 4.2's interlacing proof is internally consistent: positivity of W makes D_k>0 via Andreeief, the Abel-sum parity argument correctly forces the zero counts, and the Wronskian argument yields simplicity and interlacing. Theorem 5.1's lifting construction checks out: the change of variable x=℘(z) reduces the even and odd orthogonality conditions to OPRL with weights w and rw, and the nonzero denominators are automatic because all zeros of P_j(·;w) and P_j(·;rw) lie in the open interval (e3,e2), while e1>e2, so P_j(e1)≠0. The reader's flagged Section 5.3 degeneracy also does not land: for a∈γ1, ℘(a)>e1>e2, so P_m(℘(a);w) and P_{m-1}(℘(a);ptilde w) are nonzero. The remaining textual issues (a garbled index in Definition 4.1, and the direction statement in Corollary 5.4) are real but peripheral; they do not threaten Theorems 4.2 and 5.1.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a genus-one analogue of orthogonal polynomials, called elliptic orthogonal a-polynomials (a-EOPs): meromorphic functions on a torus with a pole of order at most n at 0 and at most a simple pole at a fixed anchor point a, orthogonal with respect to a weight W on a contour Γ. After setting up a monic basis (2.9)–(2.10), the authors prove a determinant/Andreeief formula, a five-term recurrence under multiplication by ℘, and Christoffel–Darboux formulae (Lemmas 3.1–3.2). In the real-positive setting on a rectangular torus with Γ=γ1 or γ2, Theorem 4.2 asserts that the a-EOPs have simple real zeros on the orthogonality contour and that consecutive polynomials interlace, with analytic dependence of zeros on a. Section 5 establishes a constructive correspondence with OPRL: for even weights and a=ω1, Theorem 5.1 identifies even and odd a-EOPs with OPRL for a weight w and its rational modification rw; Section 5.2 gives a multiple-orthogonality decomposition; Section 5.3 gives an explicit general lift for a∈γ1. The paper closes with Jacobi examples and interlacing consequences for rationally modified Jacobi weights.","tokens_in":20962,"tokens_out":34587,"duration_ms":316802,"significance":"The central contributions are the real-positive interlacing theorem and the explicit, parameter-free OPRL-to-a-EOP lifting theorem. The proofs are built from standard tools—Andreeief's formula, Abel's theorem, and the change of variable x=℘(z)—and are internally consistent; I checked the Section 5.3 denominator concern raised by the internal reader, and it does not land, because for a∈γ1 one has ℘(a)>e1>e2 while all zeros of the relevant OPRL lie in (e3,e2). The explicit Jacobi examples give concrete interlacing statements that appear new and are easily testable. The overlap with [3,4] is explicitly acknowledged and is limited to the pole-at-0 construction, while the anchor-point framework, the interlacing results, and the lifting correspondence are genuinely new.","major_comments":[],"minor_comments":[{"comment":"The notation 'F < in γ' in Definition 4.1 is missing its second argument, and the assertion 'F_n < F_{n+2}' in Corollary 5.4 uses an interlacing notion for functions whose zero counts differ by two, which is not covered by Definition 4.1; the definition should be extended, or a cyclic convention for contours with identified endpoints should be stated.","section":"Definition 4.1 and Corollary 5.4"},{"comment":"In the displayed integral for n=2j+1 and m=2l+1, the factor 1/4 and the sign are inconsistent with the definitions of F_n, W, and (2.4); the computation should give ∫_{e3}^{e2} P_j(x;rw)P_l(x;rw)(x-e2)(x-e3)/(x-e1) w(x) dx up to an irrelevant overall sign, so the displayed factor should be corrected.","section":"Section 5.1, proof of Theorem 5.1"},{"comment":"In the real-coefficient argument following the construction of Φ, the solution vector is denoted λ=(λ_1,...,λ_m) and λ∈R^m, but the system involves the m+1 coefficients λ_0,...,λ_m; the index range should be corrected to λ∈R^{m+1}.","section":"Proposition 4.5"},{"comment":"The interlacing argument for Γ=γ2 should explicitly handle the cyclic interval between the last and first zeros of f_n on the closed contour γ2; as written, the linear-interval argument only yields zeros between consecutive zeros in the linear order, and the remaining zero is accounted for only if a cyclic convention is adopted.","section":"Proposition 4.7, case (ii)"},{"comment":"The citation 'J. Dunham [11]' should be 'D. Jackson', matching reference [11]; in the proof of Corollary 5.4, the interval '[e2,e3]' should be '[e3,e2]'.","section":"Introduction and Corollary 5.4"}],"recommendation":"minor_revision","confidential_remarks":"The manuscript is within the scope of the journal and is a substantive contribution. The central theorems are sound; the requested changes are local and presentational. I support publication after the minor revisions are made."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a solid paper, not a revolution. It gives a working elliptic analogue of OPRL with true zero interlacing and a two-way lifting between OPRL and a-EOPs; the main theorems (4.2 and 5.1) hold up. The new pieces are the anchor-point construction, the real-orthogonality interlacing theorem, and the rational-modification corollaries. The authors explicitly credit Desiraju et al. and Desiraju–Lahiry for the even case and the Christoffel–Darboux formula, so the novelty is an honest extension. The proofs are detailed and coherent: the Abel-sum parity argument in Lemma 4.4, the auxiliary Phi construction in Proposition 4.5, and the change-of-variable checks in Theorem 5.1 line up. I agree with the stress-test that the Section 5.3 denominator concern does not land: for a in gamma1, ℘(a)>e1>e2, so P_m(℘(a);w) and P_{m-1}(℘(a);ptilde w) cannot vanish. The remaining soft spots are minor: the interlacing definition in Definition 4.1 has a garbled index, and Corollary 5.4's direction statement reads backwards. Those are fixable typos. The real caveat is that the hard positivity all sits on a rectangular lattice with all e_i real and distinct; non-Hermitian existence still rests on D_k≠0, and the paper doesn't discuss degeneracies when the anchor point causes denominator cancellation. That doesn't invalidate the statements as written. Citation pattern looks fair; overlaps with [3,4] are acknowledged. Who is this for? Special-functions and approximation-theory people who care about nonstandard orthogonality, plus anyone working on elliptic analogues of OPRL. It deserves serious peer review; I would send it out. My verdict: accept with minor revisions.","headline":"A sound, honest extension of OPRL to the torus: the interlacing and lifting theorems hold up, with only minor presentation issues.","tokens_in":21464,"tokens_out":2392,"would_cite":true,"duration_ms":20750,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["42C05","14H52","33E05"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper establishes that on a rectangular torus, orthogonal elliptic a-polynomials with positive real weight have simple interlacing zeros, and that every real-line orthogonal polynomial family lifts to the torus.","keywords":["elliptic orthogonal polynomials","elliptic a-polynomials","orthogonal polynomials on the real line","Weierstrass elliptic functions","non-Hermitian orthogonality","zero interlacing","multiple orthogonality","rational modification of weights"],"falsifier":"For a rectangular torus with, say, $e_1=1$, $e_2=0$, $e_3=-1$ and $a=\\omega_1/2$, take $W\\equiv 1$ on $\\gamma_2$ and compute the determinants $D_1,D_2,D_3$ by direct quadrature; if any $D_k\\le 0$, or if the degree-2 a-EOP has a repeated zero or a zero outside $\\gamma_2$, Theorem 4.2 fails. For Theorem 5.1, a direct check is to integrate the constructed $F_3$ against $b_0,b_1,b_2$ on $\\gamma_2$ for the Jacobi weight of Example 5.2; a nonzero value would refute the lifting construction.","tokens_in":20515,"feed_emoji":"🥯","tokens_out":10336,"duration_ms":94758,"temperature":0.7,"pith_summary":"The paper introduces elliptic orthogonal a-polynomials (a-EOPs): meromorphic functions on a genus-one torus with prescribed poles at 0 and an anchor point a, orthogonal against a weight on a contour $\\Gamma$. It tries to show that the classical theory of orthogonal polynomials on the real line survives on the torus in a strong form: on a rectangular lattice, with a positive real weight on either horizontal contour $\\gamma_1$ or shifted contour $\\gamma_2$, the a-EOP $f_n$ has only simple zeros on the contour—$n$ of them on $\\gamma_1$, and $n$ or $n+1$ on $\\gamma_2$ according to parity—they interlace with $f_{n+1}$, and the zeros vary analytically with $a$. It then proves the converse direction of the same analogy: every OPRL family with positive weight $w$ on $[e_3,e_2]$ can be lifted to a-EOPs on a torus, with odd-degree members governed by the rationally modified weight $r_w(x)=(x-e_3)(e_2-x)/(e_1-x)w(x)$. The combination matters because it turns genus-one orthogonality into a two-way bridge with real-line orthogonality, yielding new interlacing statements for rationally deformed, including Jacobi, weights.","feed_headline":"Torus orthogonal polynomials interlace like those on the real line","feed_subtitle":"A new lift turns any real-line weight into a genus-one orthogonal family, with Jacobi weights as examples.","key_machinery":"The load-bearing object is the elliptic a-polynomial space $L(n\\cdot 0+a)$: elliptic functions whose only poles are a pole of order at most $n$ at 0 and a simple pole at the anchor $a$. The construction runs on the basis $b_0=1$, $b_1=\\zeta(z)-\\zeta(z-a)-\\zeta(a)=-(\\wp'(z)+\\wp'(a))/(2(\\wp(z)-\\wp(a)))$, $b_{2k}=\\wp(z)^k$, $b_{2k+1}=-(1/2)\\wp'(z)\\wp(z)^{k-1}$. Orthogonality is defined through bi-moments $\\mu_{i,j}=\\int_\\Gamma b_i b_j W$, with existence guaranteed by Andreeief's determinantal formula (3.3); in the real-positive setting the determinants $D_k$ are positive. The zero-location arguments use Abel's theorem on the torus, equating sums of zeros and poles modulo the lattice, to force the parity and interlacing of zeros. The OPRL bridge uses the Weierstrass parametrization $z\\mapsto(\\wp(z),-\\wp'(z)/2)$, splitting the even and odd subsequences via evenness of $W$ at $a=\\omega_1$, and the decomposition lemma (5.7) expressing any a-EOP as $p_{n,1}(\\wp)+b_1p_{n,2}(\\wp)+(\\wp'(a)/2)p_{n,3}(\\wp)$, whose components satisfy the multiple orthogonality relations (5.15)–(5.17).","core_discovery":"On its own terms, the central claim is a pair of theorems. Theorem 4.2 says that when the lattice is rectangular (all $e_i$ real and distinct), the contour $\\Gamma$ is $\\gamma_1$ or $\\gamma_2$, and the anchor $a$ lies on the other contour, the monic a-EOPs $f_n$ associated to a positive real weight have only simple zeros on the orthogonality contour: $n$ of them on $\\gamma_1$ for $\\Gamma=\\gamma_1$, and $n$ or $n+1$ on $\\gamma_2$ for $\\Gamma=\\gamma_2$ according to parity, with interlacing $f_{n+1}<f_n$ on $\\gamma_1$ and $f_n<f_{n+1}$ or the reverse on $\\gamma_2$; an extra zero on the other contour occurs exactly when $f_n$ has a pole at $a$. Theorem 5.1 states the lifting: for $e_3<e_2<e_1$ with $e_1=-e_2-e_3$, every positive weight $w$ on $[e_3,e_2]$ produces, through $\\wp$, a positive even weight $W$ on $\\gamma_2$ for which the even subsequence $F_{2j}=P_j(\\wp(z);w)$ and the odd subsequence $F_{2j+1}=-(1/2)\\wp'(z)/(\\wp(z)-e_1)P_j(\\wp(z);r_w)$ are exactly the monic a-EOPs with $a=\\omega_1$, where $r_w$ is the rational modification of $w$ in (5.2). A decomposition theorem (5.8–5.12) extends the mechanism to non-symmetric weights and anchors, expressing a-EOPs through type II multiple orthogonality conditions on the real line.","pith_inferences":["If the interlacing theorem extends past rectangular tori, where the Andreeief determinants may be complex, one would obtain a genuine higher-genus Sturm-type oscillation theory; a numerical check of the sign variation of $D_k$ for non-rectangular lattices would test this.","The limit $a\\to 0$, noted in the paper as excluding degree-1 functions, should degenerate the a-EOPs to the no-anchor elliptic polynomials; checking whether the interlacing of Theorem 4.2 degenerates to the zero locations of those polynomials would clarify the connection to exceptional orthogonal polynomials.","Corollary 5.4 suggests a general principle: rational modifications of the form $(x-e_3)(e_2-x)/(e_1-x)$ preserve interlacing for arbitrary positive weights on $[e_3,e_2]$, not just Jacobi weights; a direct proof for a generic $w$ would be a testable strengthening.","The analyticity of zeros in $a$, combined with the explicit Cauchy-transform formulas for the lifting constants (5.23), gives a concrete route to compute zero velocities $\\partial z_k/\\partial a$, which could be compared with numerical differentiation."],"forward_implications":["For any positive real weight on $\\gamma_1$ or $\\gamma_2$ of a rectangular torus, the a-EOPs form an interlacing sequence $f_{n+1}<f_n$ on $\\gamma_1$ (and the analogous parity statement on $\\gamma_2$), so the torus reproduces the whole OPRL zero picture including analytic dependence of zeros on the anchor $a$.","Theorem 5.1 gives an explicit bijection between a-EOPs with even weight and anchor at a half-period, and pairs of OPRL sequences for $w$ and its rational modification $r_w$; consequently $P_n(\\cdot;w)$ and $P_{n-1}(\\cdot;r_w)$ interlace on $[e_3,e_2]$.","Specializing to the square lattice with a Jacobi weight yields explicit a-EOPs whose odd terms are built from Jacobi polynomials of parameters $\\alpha+1,\\beta+1$, and whose even terms for the Christoffel-deformed weight are built from Christoffel–Darboux kernels; the torus interlacing then gives the interlacing chain stated in Corollary 5.5.","For general non-symmetric weights and anchors, each a-EOP decomposes into two real-line polynomial components that satisfy type II multiple orthogonality relations (5.15)–(5.17), so the elliptic theory reduces to a vector of real-line orthogonal polynomials with shifted rational weights."],"supporting_citations":[{"why":"Supplies the generalized Cauchy-kernel orthogonal sections on Riemann surfaces from which the a-EOP construction is adapted.","marker":"[1]"},{"why":"Provides the earlier elliptic orthogonality theorem (Theorem 2.3) that Theorem 4.2 extends, and the Riemann–Hilbert steepest-descent setting.","marker":"[2]"},{"why":"Gives the recurrence and Christoffel–Darboux treatment for the anchor-free elliptic polynomials that Lemma 3.2 parallels.","marker":"[3]"},{"why":"Introduces the anchor-free elliptic orthogonal polynomials whose even subsequences coincide with the symmetric case of Theorem 5.1.","marker":"[4]"},{"why":"Supplies the Weierstrass function identities, period relations, and real-lattice facts used to identify $\\gamma_1$, $\\gamma_2$, and the ordering of the $e_i$.","marker":"[6]"},{"why":"Provides the OPRL background, Christoffel–Darboux kernel formulas, and multiple-orthogonality framework used in Section 5.","marker":"[10]"},{"why":"Supplies Abel's theorem on the torus, used in Propositions 4.5 and 4.7 to force zero counts and interlacing.","marker":"[13]"},{"why":"Provides Andreeief's integration formula, equation (3.3), that yields $D_k>0$ in the real-positive case.","marker":"[18]"}],"fun_headline_variants":["Elliptic polynomials inherit real-line interlacing","Torus zeros interlace like OPRL via a lifting map","A lift carries OPRL interlacing to the torus","New elliptic orthogonal families keep zero interlacing","Lift real weights to torus with interlacing zeros"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the orthogonality data stay in the real-positive rectangular regime—$e_1,e_2,e_3$ real and distinct, $\\Gamma=\\gamma_1$ or $\\gamma_2$, $a$ off $\\Gamma$ with $\\wp(a)\\in\\mathbb{R}$, and $W>0$ on $\\Gamma$—so that every Andreeief determinant $D_k$ is positive; the explicit lifting formulas of Section 5.3 additionally require $P_m(\\wp(a),w)$ and $P_{m-1}(\\wp(a),\\widetilde{w})$ to be nonzero.","fun_headline_variants_meta":{"raw":{"variants":["Elliptic polynomials inherit real-line interlacing","Torus zeros interlace like OPRL via a lifting map","A lift carries OPRL interlacing to the torus","New elliptic orthogonal families keep zero interlacing","Lift real weights to torus with interlacing zeros"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000523,"raw_usage":{"total_tokens":2601,"prompt_tokens":1091,"completion_tokens":1510,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":707,"completion_tokens_details":{"reasoning_tokens":1432}},"tokens_in":707,"tokens_out":1510,"duration_ms":12219,"temperature":1.0,"reasoning_tokens":1432,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T17:53:46.430687+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For a rectangular torus with, say, $e_1=1$, $e_2=0$, $e_3=-1$ and $a=\\omega_1/2$, take $W\\equiv 1$ on $\\gamma_2$ and compute the determinants $D_1,D_2,D_3$ by direct quadrature; if any $D_k\\le 0$, or if the degree-2 a-EOP has a repeated zero or a zero outside $\\gamma_2$, Theorem 4.2 fails. For Theorem 5.1, a direct check is to integrate the constructed $F_3$ against $b_0,b_1,b_2$ on $\\gamma_2$ for the Jacobi weight of Example 5.2; a nonzero value would refute the lifting construction.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the generalized Cauchy-kernel orthogonal sections on Riemann surfaces from which the a-EOP construction is adapted."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the earlier elliptic orthogonality theorem (Theorem 2.3) that Theorem 4.2 extends, and the Riemann–Hilbert steepest-descent setting."},{"cited_title":"Recurrence relations and the Christoffel-Darboux formula for elliptic orthogonal polynomials","cited_arxiv_id":"2506.09582","evidence_quote":"Gives the recurrence and Christoffel–Darboux treatment for the anchor-free elliptic polynomials that Lemma 3.2 parallels."},{"cited_title":"Desiraju, T","cited_arxiv_id":null,"evidence_quote":"Introduces the anchor-free elliptic orthogonal polynomials whose even subsequences coincide with the symmetric case of Theorem 5.1."},{"cited_title":"https://dlmf.nist.gov/, Release 1.2.4 of 2025-03-15","cited_arxiv_id":null,"evidence_quote":"Supplies the Weierstrass function identities, period relations, and real-lattice facts used to identify $\\gamma_1$, $\\gamma_2$, and the ordering of the $e_i$."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the OPRL background, Christoffel–Darboux kernel formulas, and multiple-orthogonality framework used in Section 5."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies Abel's theorem on the torus, used in Propositions 4.5 and 4.7 to force zero counts and interlacing."},{"cited_title":"Szeg˝ o.Orthogonal Polynomials, volume Vol","cited_arxiv_id":null,"evidence_quote":"Provides Andreeief's integration formula, equation (3.3), that yields $D_k>0$ in the real-positive case."}],"review_version":2}