{"id":"2ff6394a-5007-4a94-9568-ae59ca53cb12","arxiv_id":"2608.08258","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":8.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper proves Gautschi's two conjectures on scaled Jacobi zeros and determines the exact parameter regions for affine and spectral orderings.","lead":"Two long-standing conjectures by Gautschi, from 2009, about the degree-wise growth of the roots of Jacobi polynomials are proved here, together with the exact parameter ranges for which the relevant orderings hold. The work gives a complete, sharp classification and provides explicit estimates for the roots in terms of Bessel zeros.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified.","rationale":"I stress-tested the central chain of the paper: Liouville normal form, pointwise potential monotonicity (Proposition 4.4), singular Sturm comparison (Lemmas 3.1 and 3.3), and the sharpness arguments via Mehler-Heine and Bessel spacing. The threshold computations in Proposition 4.4 are internally consistent: the three necessary conditions (limit h→∞, limit x↑π/2, endpoint value at h=1+σ) exactly match the thresholds σ↑ and σ↓, and the converse directions close. The equality case analysis is correct, and the exceptional parameter set |α|=|β|=1/2, σ=ρ is the unique one making Q_h≡1. The endpoint Wronskian condition, the reader's weakest assumption, survives scrutiny for the reasons given in the load-bearing-attack field: the expansion is analytic-even after factoring t^{α+1/2}, and the Sturm integration near 0 is legitimate because the singular parts of the two potentials cancel. The sharpness results are supported by Lemma 7.1, whose Sturm proof is valid for ν>-1, and by Hurwitz's theorem applied to the Mehler-Heine limit. I found no hidden dependence on the conjecture being proved and no fitted parameters. The reader's ACCEPT, HIGH confidence verdict is consistent with my reading.","tokens_in":17928,"tokens_out":45149,"duration_ms":423571,"concrete_test":"As a standalone check of the only delicate analytic step, compute the coefficient c_{m,h} in (16) explicitly from the product expansions of sin(t/2h), cos(t/2h), and P_m(cos(t/h)), and verify that the t^{2α+1} terms in the Wronskian cancel identically, with remainder O(t^{2α+2}), for representative α in (-1,-1/2), at α=-1/2, and for α>0. Equivalently, confirm that the two Frobenius germs have the same exponent and that no logarithmic term appears in the chosen solution; the direct product expansion shows this.","verdict_should_be":"UNCHANGED","load_bearing_attack":"I find no load-bearing flaw in the argument. The reader's weakest-assumption identification is accurate in pointing to Lemma 3.1, but the step is justified. The expansion (16) is not merely an asserted Frobenius form: each factor in Z_{m,h}(t) = [sin(t/2h)]^{α+1/2} [cos(t/2h)]^{β+1/2} P_m(cos(t/h)) is t^{α+1/2} times an even analytic factor on (0,∞), since sin z/z and cos z are analytic even with positive value at z=0 and P_m(cos u) is even analytic in u. Substitution into the Wronskian cancels the leading t^{2α+1} terms and leaves O(t^{2α+2}), which tends to 0 for α>-1. The use in Lemma 3.3 is also safe: although q1 and q2 have t^{-2} singularities at 0, their leading singular parts coincide, so q2-q1 is bounded at 0 and W'=(q2-q1)u1u2 = O(t^{2α+1}) is integrable because α>-1. The sharpness results (Corollaries 2.3, 2.5 and Proposition 2.4) follow from the verified Bessel-spacing Lemma 7.1 and standard Mehler-Heine asymptotics; no fitted parameters or circular steps appear. Hence I see no reason to alter the reader's verdict.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper proves sharp affine-comparison theorems for the angular zeros of Jacobi polynomials. With h_n = n+sigma and theta_{n,k} the increasing angular zeros, Theorem 2.1 shows that under |beta|<=1/2 the scaled zeros (n+sigma)theta_{n,k} are nondecreasing in n for every -1<sigma<=sigma_up, and Theorem 2.2 shows that under |beta|>=1/2 they are nonincreasing for every sigma>=sigma_down; the thresholds sigma_up and sigma_down are given explicitly through the infimum and supremum of the elementary profile Phi_{alpha,beta}(x)=A R(x)+B T(x). This single framework proves Gautschi's Conjectures 1.1 and 1.2 (Corollaries 5.3 and 6.1), extends the Ahmed-Laforgia-Muldoon reverse ordering to the exact spectral region D_up, proves that an increasing affine ordering with a degree-independent shift exists if and only if |beta|<=1/2 (Corollary 2.3), proves the exactness of the spectral regions D_up and D_down and the absence of any uniform spectral ordering on U (Proposition 2.4 and Corollary 2.5), characterizes all equality cases (|alpha|=|beta|=1/2 with sigma=rho), and yields finite-degree Bessel bounds (Corollary 8.1). The proof rests on a Liouville normal form (11), the exact derivative identity (25), the sign classification of Phi (Proposition 4.2), and a Sturm comparison with a singular-endpoint Wronskian condition (Lemmas 3.1 and 3.3), with sharpness obtained from Bessel spacing (Lemma 7.1) and Mehler-Heine asymptotics.","tokens_in":18103,"tokens_out":46563,"duration_ms":391946,"significance":"If correct, this paper settles two open conjectures of Gautschi from 2009 and replaces them by exact, parameter-free classifications. My independent verification of the derivative identity (25), the sign conditions of Proposition 4.2, the threshold derivations of Proposition 4.4, and the endpoint expansions (16) supports the correctness of the main theorems. The thresholds sigma_up and sigma_down are parameter-free, being determined by the infimum or supremum of a single elementary function, and the paper carefully states where they are not claimed to be necessary for individual zero inequalities. The treatment of the singular endpoint is a particular strength: the boundary Wronskian cancellation (15) is established for the full range alpha,beta>-1, including the unbounded case -1<alpha<-1/2, where assigning a finite endpoint value would be invalid. The sharpness results (Corollary 2.3, Proposition 2.4, Corollary 2.5) are falsifiable statements proved by asymptotics rather than by computation, and the numerical enclosure in Section 8 is reproducible, with stated precision and an independent Jacobi-matrix check.","major_comments":[{"comment":"As stated, Lemma 3.3 does not supply all hypotheses its proof uses. The step 'the assumed endpoint limit permits epsilon downarrow 0' requires the integral of (q2-q1)u1u2 over (0,t) to converge at the singular endpoint; continuity of q1,q2 on (0,L) together with the Wronskian limit does not imply this convergence. In every application in the paper the needed condition does hold: the two potentials in (24) share the same leading singularity 4A/t^2 at t=0, so q2-q1 is bounded there, and u1u2 = O(t^(2alpha+1)) is integrable because alpha>-1. The lemma should state this integrability hypothesis explicitly, and the proofs of Theorems 2.1, 2.2, and Proposition 2.4 should cite it. The related hypothesis 'both positive in some right neighbourhood of 0' should be read as positivity on (0,epsilon) rather than at 0 itself, since in Lemma 7.1 both comparison functions vanish at t=0. These are local corrections; with them the comparison argument is complete and the main theorems stand.","section":"Lemma 3.3"}],"minor_comments":[{"comment":"There are typos in the displayed definitions: 'Writings + := max{s,0}' in Theorems 2.1 and 2.2 and 'Writings=alpha+1/2' in the proof of Lemma 3.1 should read 'Writing s+ := max{s,0}' and 'Writing s = alpha+1/2'.","section":"Theorems 2.1, 2.2, Lemma 3.1"},{"comment":"In the necessity part, the symmetry reduction to the (beta,alpha) parameters is correct but terse; a sentence noting that the spectral shift rho is symmetric in alpha and beta, so the limit (37) applies verbatim to the (beta,alpha) pair, would help the reader.","section":"Corollary 2.3"},{"comment":"The columns of Table 1 run together in the typeset rendering, with the relative-width entries immediately adjoining the upper-bound entries; adding explicit column spacing or separators would improve readability.","section":"Section 8, Table 1"}],"recommendation":"minor_revision","confidential_remarks":"My own reading agrees with the prior assessment: the central chain from (11), (25), Proposition 4.2, Proposition 4.4, and Lemmas 3.1 and 3.3 to the main theorems is sound, and the sharpness arguments through Lemma 7.1 and the Mehler-Heine limit are correct. The only substantive issue is the statement of Lemma 3.3, which needs an added integrability hypothesis; this is a local fix and does not affect the conclusions. The paper is honest about the scope of its sharpness claims, and I see no citation or attribution problems. The manuscript is a good fit for math.CA."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper proves both of Gautschi's conjectures and then some. That is the headline. Conjecture 1.1 on the scale n and Conjecture 1.2 on the spectral scale n + (alpha+beta+1)/2 have been open for 17 years; they are now theorems, with sharp if-and-only-if parameter regions, equality cases, and finite-degree Bessel bounds. That is a major piece of work.\n\nWhat is genuinely new: the affine comparison principle that unifies the two conjectures under one potential comparison, the exact thresholds in Theorems 2.1 and 2.2, Corollary 2.3 showing that an increasing affine shift exists iff |beta| <= 1/2, and Corollary 2.5 giving the complete spectral classification D_up and D_down, with the no-ordering region U described by Proposition 2.4. The sharpness arguments are solid, built on Mehler-Heine asymptotics and a clean Bessel-spacing lemma.\n\nThe method is the right tool. The Liouville transformation, the derivative identity (25), and the profile Phi = A R + B T with the elementary inequalities 0 < R < 1 and T > 3R reduce the problem to checking signs and endpoint limits. The singular endpoint is handled honestly: for -1 < alpha < -1/2 the transformed solutions are unbounded, and the paper correctly uses the vanishing boundary Wronskian rather than pretending a finite endpoint value exists. The Frobenius expansion (16) does not compute the coefficient c explicitly, but the parity/analyticity of sin(z)/z, cos(z), and P_m(cos u) justifies the leading form, so the O(t^{2alpha+2}) cancellation follows. Minor presentation gap, not a flaw. Lemma 3.3's use of (q2 - q1)u1 u2 near the singular endpoint is also terse; the leading t^{-2} singular parts cancel, making the integrand bounded, and the Wronskian limit covers the rest. Again, standard and not load-bearing in the wrong direction.\n\nThe paper is careful about what the thresholds do and do not say: sigma_up and sigma_down are sharp for the pointwise potential comparison, and the authors explicitly note they are not claimed to be necessary for individual zeros outside the cases where necessity is proved. That is honest and prevents any overclaim.\n\nNo circularity, no fitted parameters, no invented entities. The citation pattern is appropriate; the earlier partial results by Ahmed-Laforgia-Muldoon, Lun-Rafaeli, and Gautschi's own numerical work are all properly acknowledged.\n\nThis deserves serious refereeing and, after minor revision (mainly expanding the Frobenius remark), acceptance. I would bring it to the reading group and would cite it.","headline":"This paper settles Gautschi's two 2009 zero-ordering conjectures and goes beyond them with exact parameter classifications; the proof is a clean Sturm comparison argument with a carefully handled singular endpoint.","tokens_in":759,"tokens_out":1052,"would_cite":true,"duration_ms":26501,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["33C45","34C10","65D32","26D05"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves two 2009 conjectures on Jacobi zeros and sharpens them to exact affine orderings: increasing degree-independent shifts exist exactly when |β|≤1/2, and spectral orderings hold exactly on D↑ and D↓, nowhere else.","keywords":["Jacobi polynomials","zeros","Sturm comparison","affine scaling","Liouville normal form","Bessel zeros","Mehler–Heine formula","spherical cubature"],"falsifier":"Compute the boundary Wronskian of two scaled solutions Z_{n,γ_n} and Z_{n+1,γ_{n+1}} numerically at t=$10^{{-k}}$ for a parameter pair with −1<α<−1/2, e.g., α=−0.75, β=0, using high-precision integration of the Jacobi equation; if the value does not tend to 0 as k→∞, Lemma 3.1 fails and the Sturm comparison step collapses.","tokens_in":17643,"feed_emoji":"📐","tokens_out":11150,"duration_ms":94486,"temperature":0.7,"pith_summary":"The paper settles two conjectures from 2009 about how the angular zeros of Jacobi polynomials change when the degree is increased and then rescaled. It proves that an increasing affine ordering with a degree-independent shift exists exactly when |β|≤1/2, and for the spectral scale n+(α+β+1)/2 it determines the exact parameter regions on which the rescaled zeros are monotone in the degree. It also characterises all equality cases and derives finite-degree one-sided bounds in terms of Bessel zeros. Because the questions arose in spherical cubature and hyperinterpolation, the sharp thresholds translate directly into improved cap-weight constants for sphere quadrature rules.","feed_headline":"Two Jacobi zero-ordering conjectures proven; parameter cutoffs exact","feed_subtitle":"Settles two 2009 conjectures and gives finite-degree bounds in Bessel zeros for spherical cubature.","key_machinery":"The central object is the profile Φ_{α,β}(x)=A R(x)+B T(x) on 0<x<π/2, with A=(1−4α²)/16, B=(1−4β²)/16, R(x)=(1−x cot x)/sin²x, and T(x)=(1+x tan x)/cos²x, obtained by writing the Jacobi equation in Liouville normal form and differentiating the rescaled potential Q_h(t) with respect to the scale h. The sign of Φ is exactly what controls the monotonicity of Q_h in h: Φ is nonpositive precisely on D↓ and nonnegative precisely on D↑, and it changes sign on U. Sturm comparison is applied to consecutive scaled solutions Z_{n,h}, using the exact formula ∂Q_h/∂h=−(2/h³)(δ(h+δ)+AR+BT) and the endpoint Wronskian cancellation of Lemma 3.1, which makes the singular endpoint t=0 admissible throughout α,β>−1, including the range −1<α<−1/2 where the transformed solutions are unbounded.","core_discovery":"The two conjectures are true, and their affine comparison principles are sharp. For −1<σ≤σ↑(α,β) the inequality (n+σ)θ_{n,k}≤(n+1+σ)θ_{n+1,k} holds for every n and k whenever |β|≤1/2, with equality only at |α|=|β|=1/2 and σ=ρ; for σ≥σ↓(α,β) the reverse inequality holds whenever |β|≥1/2. The existence of some degree-independent shift that gives the increasing ordering is equivalent to |β|≤1/2. At the spectral scale γ_n=n+ρ, the increasing ordering holds uniformly exactly on D↑={|β|≤1/2, α²+3β²≤1} and the decreasing ordering exactly on D↓={|β|≥1/2, α²+3β²≥1}; on the complementary region U the first and last scaled zeros obey opposite inequalities for all sufficiently large degrees, so no uniform spectral ordering exists. The proof reaches these conclusions through a Liouville normal form, an exact derivative of the rescaled potential, and Sturm comparison at the singular endpoint, with a Wronskian cancellation that stays valid even when the transformed solutions are unbounded at the endpoint.","pith_inferences":["We would expect the same scale-derivative argument to carry over to ultraspherical zeros, whose Liouville potentials have the same trigonometric shape, yielding analogous threshold parameters for their affine ordering.","For parameter pairs with |β|>1/2, the obstruction to an increasing shift comes from the Bessel spacing j_{β,2}−j_{β,1}>π; a quantitative refinement could determine the largest zero index range on which the increasing comparison still holds before this obstruction sets in, a question the paper leaves open.","The finite-degree Bessel bounds of Corollary 8.1 can be used to certify explicit cap-weight constants for spherical cubature rules, since the upper bound on the largest angular zero enters directly into the local regularity estimates."],"forward_implications":["Conjecture 1.1 holds on the full region D1: nθ_{n,k}<(n+1)θ_{n+1,k} for every n≥1 and 1≤k≤n, strict except at (−1/2,−1/2).","Conjecture 1.2 holds on the larger region D↓ rather than only D2, and the reverse spectral ordering holds on D↑, so the four points |α|=|β|=1/2 are the only equality cases.","A degree-independent affine shift that makes the rescaled zeros increase with degree exists exactly when |β|≤1/2; when |β|>1/2, any such shift fails for some degree and zero index.","On the complementary spectral region U, the first and last scaled zeros move in opposite directions for all sufficiently large degrees, so no uniform spectral ordering can hold there.","Every zero satisfies the finite-degree one-sided bounds θ_{n,k}≤j_{α,k}/(n+σ) or θ_{n,k}≥j_{α,k}/(n+σ) according to the comparison region, and the pair (α,β)=(0,1/2) yields an explicit two-sided enclosure with relative width O(n^{-1})."],"supporting_citations":[{"why":"Proposes the two conjectures and their parameter regions D1 and D2, which the paper settles and extends.","marker":"[6, 7]"},{"why":"Proves the reverse ordering on the square |α|,|β|≤1/2, the baseline the paper extends to D↑.","marker":"[1]"},{"why":"Provides the asymptotic expansion for Jacobi zeros that produces the ellipse α²+3β²=1 boundary in the spectral classification.","marker":"[3]"},{"why":"Establishes partial Sturm-comparison results on subregions; the paper completes the endpoint treatment and gives exact thresholds.","marker":"[14]"},{"why":"Supplies the Liouville normal form of the Jacobi equation and the Mehler–Heine limit used for sharpness and Bessel bounds.","marker":"[16]"},{"why":"Provides the Sturm comparison theorem in the form applied to consecutive scaled solutions.","marker":"[17]"}],"fun_headline_variants":["Two Gautschi conjectures proven; sharp parameter cutoffs","Jacobi zero orderings solved: exact thresholds for uniform scales","Exact affine orderings for Jacobi zeros with iff condition","Uniform spectral ordering of Jacobi zeros exactly characterized","Affine scaling sharp: Jacobi zero orderings beyond conjecture"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proofs rely on the claim that near the singular endpoint the scaled Jacobi solutions decompose as a constant times $t^{{α+1/2}}$ times an even analytic factor, so that the Wronskian of any two such solutions cancels to zero even when −1<α<−1/2 and the individual solutions are unbounded.","fun_headline_variants_meta":{"raw":{"variants":["Two Gautschi conjectures proven; sharp parameter cutoffs","Jacobi zero orderings solved: exact thresholds for uniform scales","Exact affine orderings for Jacobi zeros with iff condition","Uniform spectral ordering of Jacobi zeros exactly characterized","Affine scaling sharp: Jacobi zero orderings beyond conjecture"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000727,"raw_usage":{"total_tokens":3284,"prompt_tokens":1001,"completion_tokens":2283,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":617,"completion_tokens_details":{"reasoning_tokens":2200}},"tokens_in":617,"tokens_out":2283,"duration_ms":16223,"temperature":1.0,"reasoning_tokens":2200,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T00:14:58.987541+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the boundary Wronskian of two scaled solutions Z_{n,γ_n} and Z_{n+1,γ_{n+1}} numerically at t=$10^{{-k}}$ for a parameter pair with −1<α<−1/2, e.g., α=−0.75, β=0, using high-precision integration of the Jacobi equation; if the value does not tend to 0 as k→∞, Lemma 3.1 fails and the Sturm comparison step collapses.","supporting_citations":[{"cited_title":"Ahmed, A","cited_arxiv_id":null,"evidence_quote":"Proves the reverse ordering on the square |α|,|β|≤1/2, the baseline the paper extends to D↑."},{"cited_title":"Special Functions: Theory and Computation","cited_arxiv_id":null,"evidence_quote":"Provides the asymptotic expansion for Jacobi zeros that produces the ellipse α²+3β²=1 boundary in the spectral classification."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes partial Sturm-comparison results on subregions; the paper completes the endpoint treatment and gives exact thresholds."},{"cited_title":"Szegő,Orthogonal Polynomials, 4th ed., American Mathematical Society Collo- quium Publications, vol","cited_arxiv_id":null,"evidence_quote":"Supplies the Liouville normal form of the Jacobi equation and the Mehler–Heine limit used for sharpness and Bessel bounds."},{"cited_title":"Teschl,Ordinary Differential Equations and Dynamical Systems, Graduate Studies in Mathematics, vol","cited_arxiv_id":null,"evidence_quote":"Provides the Sturm comparison theorem in the form applied to consecutive scaled solutions."}],"review_version":1}