Pith. sign in

REVIEW 1 major objections 3 minor 17 references

Affine Scaling of Jacobi Zeros: Sharp Orderings Beyond Gautschi's Conjectures

T0 review · 1 major / 3 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read 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.

desk verdict 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. read the letter →

arxiv 2608.08258 v1 pith:2F2YTQHF submitted 2026-08-08 math.CA

K. Castillo , F. R. Rafaeli This is my paper · ORCID
classification math.CA MSC 33C4534C1065D3226D05
keywords JacobipolynomialszerosSturmcomparisonaffinescalingLiouvillenormalformBesselMehler–Heineformulasphericalcubature
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

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.

What carries the argument

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.

What would settle it

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.

Watch

Extended reading notes

Core claim

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.

Load-bearing premise

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.

Editorial extensions

If this is right

  • 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}).

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

1 major / 3 minor

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.

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 (1)
  1. [Lemma 3.3] 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.
minor comments (3)
  1. [Theorems 2.1, 2.2, Lemma 3.1] 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'.
  2. [Corollary 2.3] 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.
  3. [Section 8, Table 1] 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.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; the derivation is self-contained from the Jacobi equation, explicit potential comparison, and Sturm theory.

full rationale

The central claims are derived rather than imported. Theorems 2.1 and 2.2 follow from the Liouville normal form (11), the explicit potential comparison Proposition 4.4, and the Sturm comparison Lemma 3.3. The thresholds sigma_up and sigma_down are defined purely in terms of the elementary profile Phi, with no zero-dependent fitted parameter, so no fitted input is renamed as a prediction. The endpoint Wronskian condition in Lemma 3.1 is verified explicitly: the expansion (16) is obtained by factoring each factor of Z_{m,h} into t^{alpha+1/2} times an even analytic factor, and the displayed O(t^{2alpha+2}) cancellation is derived rather than assumed. The sharpness results (Corollary 2.3, Proposition 2.4, Corollary 2.5) use the external Mehler-Heine theorem and the independently proven Bessel-spacing Lemma 7.1, not a self-referential uniqueness claim. The only self-citation, [14], is contextual and is actually described as deficient in endpoint control, so it is not load-bearing. Gautschi's conjectures are external targets, not hypotheses used in the proofs. Finally, Section 9 explicitly scopes the thresholds as sharp for the continuous potential comparison and for the spectral scale while not claiming necessity for arbitrary affine scales and individual zeros; this is a precise limitation, not a circular evasion. No equation is equivalent to its own input by construction, and no fitted parameter or imported uniqueness theorem carries the argument.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

No free parameters are introduced: the thresholds are defined through explicit infima and suprema of an elementary one-variable function. The paper relies only on standard theorems of analysis (Sturm comparison, Mehler-Heine asymptotics, Frobenius theory) and the standard Jacobi orthogonality domain. No invented entities are needed.

assumptions (4)
  • standard math Standard Jacobi differential equation and Liouville normal form (equation (11))
    Used to derive the potential Q_h and the comparison; cited to Szegő.
  • standard math Sturm comparison theorem with singular endpoint (Lemma 3.3)
    The paper proves a version adapted to the singular endpoint; the classical theorem is standard.
  • standard math Mehler-Heine asymptotic formula for Jacobi polynomials
    Cited to Szegő [16, Theorem 8.1.1]; used in the sharpness proofs and Bessel bounds.
  • standard math Frobenius method at regular singular points
    Lemma 3.1 relies on the existence and differentiability of the Frobenius expansion (16).

how reviews work

0 comments
Cite this review

Pith. "Pith review of Affine Scaling of Jacobi Zeros: Sharp Orderings Beyond Gautschi's Conjectures." pith.science (2026). https://pith.science/paper/2F2YTQHF

@misc{pith2026260808258,
  author       = {Pith},
  title        = {Pith review of: Affine Scaling of Jacobi Zeros: Sharp Orderings Beyond Gautschi's Conjectures},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2F2YTQHF}},
  note         = {Machine review of arXiv:2608.08258}
}
abstract

We settle two conjectures of Gautschi on the degree dependence of the zeros of the Jacobi polynomials $P_n^{(\alpha,\beta)}$, $\alpha,\beta>-1$, and obtain results substantially stronger than those conjectured. The conjectures stem from a line of questions originating in spherical cubature and hyperinterpolation. A Liouville transformation and Sturm comparison yield affine comparison principles with exact thresholds for the pointwise monotonicity of the rescaled potential. We prove that an increasing affine ordering with a degree-independent shift exists if and only if $|\beta|\leq1/2$. For the spectral scale $n+(\alpha+\beta+1)/2$, we determine the exact parameter regions for the two opposite orderings and show that no uniform spectral ordering is possible outside them. We also characterise all equality cases and derive finite-degree bounds in terms of Bessel zeros. The resulting classifications are exact and cannot be enlarged: outside the stated parameter regions the corresponding uniform zero orderings necessarily fail.

Figures

Figures reproduced from arXiv: 2608.08258 by the authors.

Figure 1
Figure 1. Parameter regions for the increasing affine com￾parison. The dark-grey set is Gautschi’s original domain D1, where the choice σ = 0 gives the inequality in Conjec￾ture 1.1. The light-grey triangle is the additional range in which σ↑(α, β) < 0; there Theorem 2.1 provides an increasing affine comparison for −1 < σ ≤ σ↑(α, β), and hence only for negative admissible shifts. Where α+β+1 > 0 in D1, positive shifts yield s… view at source ↗
Figure 2
Figure 2. Parameter regions for the spectral scale n + (α + β + 1)/2. The dark-grey set is Gautschi’s original domain D2, while the medium-grey set is the additional range covered by the present theorem; together with the four marked points, they form D↓. In the light-grey set D↑ the reverse inequality holds, and the marked points are precisely the equality cases. In the unshaded set U, Proposition 2.4 shows that no uniform s… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages

  1. [1]

    Ahmed, A

    S. Ahmed, A. Laforgia, and M. E. Muldoon,On the spacing of the zeros of some classical orthogonal polynomials, J. London Math. Soc. (2) 25 (1982), no. 2, 246–252

    work page 1982

  2. [2]

    Deaño, A

    A. Deaño, A. Gil, and J. Segura,New inequalities from classical Sturm theorems, J. Approx. Theory 131 (2004), no. 2, 208–230

    work page 2004

  3. [3]

    Special Functions: Theory and Computation

    L. Gatteschi,On the zeros of Jacobi polynomials and Bessel functions, Rend. Sem. Mat. Univ. Politec. Torino, Special Issue “Special Functions: Theory and Computation” (1985), 149–177

    work page 1985

  4. [4]

    Gautschi and P

    W. Gautschi and P. Leopardi,Conjectured inequalities for Jacobi polynomials and their largest zeros, Numer. Algorithms 45 (2007), no. 1–4, 217–230

    work page 2007

  5. [5]

    Gautschi,On a conjectured inequality for the largest zero of Jacobi polynomials, Numer

    W. Gautschi,On a conjectured inequality for the largest zero of Jacobi polynomials, Numer. Algorithms 49 (2008), no. 1–4, 195–198

    work page 2008

  6. [6]

    Gautschi,On conjectured inequalities for zeros of Jacobi polynomials, Numer

    W. Gautschi,On conjectured inequalities for zeros of Jacobi polynomials, Numer. Algorithms 50 (2009), no. 1, 93–96

    work page 2009

  7. [7]

    Gautschi,New conjectured inequalities for zeros of Jacobi polynomials, Numer

    W. Gautschi,New conjectured inequalities for zeros of Jacobi polynomials, Numer. Algorithms 50 (2009), no. 3, 293–296

    work page 2009

  8. [8]

    New conjectured inequalities for zeros of Jacobi polynomials

    W. Gautschi,Remark on “New conjectured inequalities for zeros of Jacobi polynomials” by Walter Gautschi, Numer. Algorithms 50:293–296 (2009), Numer. Algorithms 57 (2011), no. 4, 511

    work page 2009

Show all 17 references
  1. [9]

    Hesse and I

    K. Hesse and I. H. Sloan,Worst-case errors in a Sobolev space setting for cubature over the sphereS2, Bull. Austral. Math. Soc. 71 (2005), no. 1, 81–105

    2005

  2. [10]

    Hesse and I

    K. Hesse and I. H. Sloan,Cubature over the sphereS2 in Sobolev spaces of arbitrary order, J. Approx. Theory 141 (2006), no. 2, 118–133

    2006

  3. [11]

    Koumandos,On a conjectured inequality of Gautschi and Leopardi for Jacobi polynomials, Numer

    S. Koumandos,On a conjectured inequality of Gautschi and Leopardi for Jacobi polynomials, Numer. Algorithms 44 (2007), no. 3, 249–253

    2007

  4. [12]

    Q. T. Le Gia and I. H. Sloan,The uniform norm of hyperinterpolation on the unit sphere in an arbitrary number of dimensions, Constr. Approx. 17 (2001), no. 2, 249–265

    2001

  5. [13]

    P. C. Leopardi,Positive weight quadrature on the sphere and monotonicities of Jacobi polynomials, Numer. Algorithms 45 (2007), no. 1–4, 75–87

    2007

  6. [14]

    Y. C. Lun and F. R. Rafaeli,Inequalities for zeros of Jacobi polynomials via Sturm’s theorem: Gautschi’s conjectures, Numer. Algorithms 67 (2014), no. 3, 549–563

    2014

  7. [15]

    Reimer,Hyperinterpolation on the sphere at the minimal projection order, J

    M. Reimer,Hyperinterpolation on the sphere at the minimal projection order, J. Approx. Theory 104 (2000), no. 2, 272–286

    2000

  8. [16]

    Szegő,Orthogonal Polynomials, 4th ed., American Mathematical Society Collo- quium Publications, vol

    G. Szegő,Orthogonal Polynomials, 4th ed., American Mathematical Society Collo- quium Publications, vol. 23, American Mathematical Society, Providence, RI, 1975

    1975

  9. [17]

    Teschl,Ordinary Differential Equations and Dynamical Systems, Graduate Studies in Mathematics, vol

    G. Teschl,Ordinary Differential Equations and Dynamical Systems, Graduate Studies in Mathematics, vol. 140, American Mathematical Society, Providence, RI, 2012. CMUC, Department of Mathematics, University of Coimbra, 3000-143 Coim- bra, Portugal Email address:math@keniercastil...

    2012

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.