pith. machine review for the scientific record. sign in

arxiv: 2604.03680 · v1 · submitted 2026-04-04 · 🧮 math.CA

Recognition: 1 theorem link

· Lean Theorem

Separating zeros of polynomials using an added interlacing point

Kerstin Jordaan, Vikash Kumar

Authors on Pith no claims yet

Pith reviewed 2026-05-13 17:26 UTC · model grok-4.3

classification 🧮 math.CA
keywords interlacing zerosmixed recurrence relationsKrawtchouk polynomialsMeixner polynomialsNarayana polynomialsorthogonal polynomialszero separationextra point interlacing
0
0 comments X

The pith

A carefully chosen extra point E makes the zeros of (x-E)P_n(x) interlace with those of another polynomial G_k.

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

The paper develops a method to force complete interlacing between the zeros of two different polynomial sequences by inserting one extra point E into one of them. Mixed recurrence relations between the sequences are used to guarantee that the n+1 zeros of (x-E)P_n interlace with the k zeros of G_k when k equals n or n+1. Under additional conditions on E, the method also produces full interlacing between the original zeros of P_n and G_k for appropriate n. The framework covers both orthogonal and non-orthogonal polynomials and is demonstrated on Krawtchouk, Meixner, and Narayana polynomials while recovering known results for Jacobi and Laguerre cases.

Core claim

Imposing conditions on the extra point E in the mixed recurrence relations ensures the n+1 zeros of (x-E)P_n(x) interlace with the k zeros of G_k for k=n or n+1, and specific choices of E yield complete interlacing between the zeros of P_n and G_k for suitable n.

What carries the argument

Mixed recurrence relations that incorporate the extra point E to enforce interlacing between the zero sets of the two polynomial sequences.

If this is right

  • New interlacing theorems hold for the zeros of Krawtchouk, Meixner, and Narayana polynomials.
  • Existing interlacing results for Jacobi and Laguerre polynomials are recovered and refined.
  • The same mixed-recurrence approach applies uniformly to both orthogonal and non-orthogonal families.
  • Full interlacing between P_n and G_k follows once E satisfies the derived conditions for appropriate n.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The method could be tested on other hypergeometric families not treated in the paper to check whether similar E choices exist.
  • If the interlacing holds, it may simplify the design of quadrature rules or numerical root-finding algorithms that rely on separated roots.
  • The framework might extend to q-analogues or basic hypergeometric polynomials by constructing analogous mixed recurrences.

Load-bearing premise

The mixed recurrence relations must hold and a suitable extra point E must exist that can be chosen to produce complete interlacing for the stated values of n and k.

What would settle it

A concrete counter-example in which no choice of E produces complete interlacing for Krawtchouk polynomials at a specific n and k would disprove the general claim.

read the original abstract

Following a systematic analysis of existing results, we investigate when complete interlacing between the zeros of distinct polynomial sequences, $\{\mathcal{P}_n\}$ and $\{\mathcal{G}_n\}$ can be achieved by using a naturally arising extra point. Specifically, we analyse several general mixed recurrence relations that ensure the $n+1$ zeros of the polynomial $(x-E)\mathcal{P}_n(x)$ interlace with the $k$ zeros of $\mathcal{G}_k$, where $k=n$ or $n+1$. In addition, we show that imposing specific conditions on the extra point $E$ yields full interlacing between the zeros of $\mathcal{P}_n$ and $\mathcal{G}_k$ for a suitable choice of $n$. The approach provides a consolidated framework broadly applicable to both orthogonal and non-orthogonal polynomials and we illustrate this with new interlacing results for zeros of Krawtchouk, Meixner, and Narayana polynomials. We also illustrate that this general approach can be used to recover and refine existing results regarding the complete interlacing of zeros for classical Jacobi and Laguerre polynomials.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 1 minor

Summary. The paper develops a general framework based on mixed recurrence relations that guarantee the n+1 zeros of (x-E)P_n interlace with the k zeros of G_k (k=n or n+1). It derives conditions on the extra point E that yield complete interlacing between the zeros of P_n and G_k for suitable n, and applies the framework to obtain new interlacing statements for Krawtchouk, Meixner and Narayana polynomials while recovering and refining known results for Jacobi and Laguerre polynomials.

Significance. If the mixed recurrences and explicit constructions of E hold, the work supplies a unified, recurrence-based method that extends interlacing results beyond the classical orthogonal case to certain non-orthogonal families, which would be a useful consolidation in the theory of polynomial zeros.

major comments (2)
  1. [Illustrations for Krawtchouk, Meixner and Narayana polynomials] The manuscript states that mixed recurrence relations hold for Krawtchouk, Meixner and Narayana polynomials but supplies neither the explicit coefficient formulas nor the verification that a concrete E exists making the interlacing complete for the stated n and k; this verification is load-bearing for the central claim of new results in the non-orthogonal cases.
  2. [General framework and conditions on E] The general conditions on E that produce full interlacing between P_n and G_k are presented without accompanying error estimates or explicit construction steps for the target families, leaving the existence claim unconfirmed in the text.
minor comments (1)
  1. [Abstract] The abstract refers to a 'systematic analysis of existing results' but the manuscript would benefit from explicit citations to the recurrence relations being extended.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We address each major point below and indicate the changes planned for the revised manuscript.

read point-by-point responses

  1. Referee: [Illustrations for Krawtchouk, Meixner and Narayana polynomials] The manuscript states that mixed recurrence relations hold for Krawtchouk, Meixner and Narayana polynomials but supplies neither the explicit coefficient formulas nor the verification that a concrete E exists making the interlacing complete for the stated n and k; this verification is load-bearing for the central claim of new results in the non-orthogonal cases.

    Authors: We agree that the explicit coefficient formulas and concrete verification of E were not supplied in the submitted version. In the revision we will insert the explicit mixed-recurrence coefficients for each of the three families together with analytical or numerical verification that a suitable E exists and produces complete interlacing for the stated n and k. revision: yes

  2. Referee: [General framework and conditions on E] The general conditions on E that produce full interlacing between P_n and G_k are presented without accompanying error estimates or explicit construction steps for the target families, leaving the existence claim unconfirmed in the text.

    Authors: The conditions on E are exact consequences of the mixed recurrences and therefore require no error estimates; the interlacing holds deterministically whenever the conditions are met. We will nevertheless add an explicit subsection that supplies step-by-step constructions of E for each target family, thereby confirming the existence claims with concrete recipes. revision: partial

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper presents a general framework derived from analysis of mixed recurrence relations for interlacing zeros of polynomial sequences using an added point E. Applications to Krawtchouk, Meixner, and Narayana polynomials are shown as new illustrations, while recovering known results for Jacobi and Laguerre. No step reduces by construction to fitted inputs, self-definitions, or load-bearing self-citations; the central claims rest on stated recurrence assumptions and explicit conditions on E that are independent of the target interlacing conclusions.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the assumption that the polynomial sequences satisfy mixed recurrence relations permitting interlacing analysis and that a real number E can be selected to complete the interlacing; these are standard domain assumptions in the theory of orthogonal polynomials rather than new postulates.

axioms (1)
  • domain assumption The polynomial sequences satisfy mixed recurrence relations that relate P_n and G_k.
    Invoked throughout the abstract as the basis for the interlacing conditions.

pith-pipeline@v0.9.0 · 5490 in / 1149 out tokens · 55688 ms · 2026-05-13T17:26:21.242497+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Interlacing of zeros of polynomials completed with two additional points

    math.CA 2026-04 conditional novelty 7.0

    A general mixed recurrence identifies a quadratic whose zeros complete interlacing for pairs of orthogonal polynomials failing by exactly two points, with explicit locations and applications to Jacobi, Meixner-Pollacz...

Reference graph

Works this paper leans on

24 extracted references · 24 canonical work pages · cited by 1 Pith paper

  1. [1]

    Interlacing of zeros of Laguerre polyno- mials of equal and consecutive degree

    Arvesú, J., Driver, K., Littlejohn, L.L., 2021. Interlacing of zeros of Laguerre polyno- mials of equal and consecutive degree. Integral Transforms Spec. Funct. 32, 346–360. doi:10.1080/10652469.2020.1804901

    work page doi:10.1080/10652469.2020.1804901 2021

  2. [2]

    Zeros of Jacobi and ultraspherical polynomials

    Arvesú, J., Driver, K., Littlejohn, L.L., 2023. Zeros of Jacobi and ultraspherical polynomials. Ramanujan J. 61, 629–648. doi:10.1007/s11139-021-00480-1

    work page doi:10.1007/s11139-021-00480-1 2023

  3. [3]

    Quasi-orthogonality with applications to some families of classical orthogonal polynomials

    Brezinski, C., Driver, K.A., Redivo-Zaglia, M., 2004. Quasi-orthogonality with applications to some families of classical orthogonal polynomials. Appl. Numer. Math. 48, 157–168. doi:10.1016/j.apnum.2003.10.001

    work page doi:10.1016/j.apnum.2003.10.001 2004

  4. [4]

    An introduction to orthogonal polynomials

    Chihara, T.S., 1978. An introduction to orthogonal polynomials. volume V ol. 13 ofMath- ematics and its Applications. Gordon and Breach Science Publishers, New York-London- Paris

    work page 1978

  5. [5]

    A late report on interlacing of zeros of polynomials, in: Constructive theory of functions

    Dimitrov, D.K., 2012. A late report on interlacing of zeros of polynomials, in: Constructive theory of functions. Prof. M. Drinov Acad. Publ. House, Sofia, pp. 69–79

    work page 2012

  6. [6]

    Interlacing of zeros of orthog- onal polynomials under modification of the measure

    Dimitrov, D.K., Ismail, M.E.H., Rafaeli, F.R., 2013. Interlacing of zeros of orthog- onal polynomials under modification of the measure. J. Approx. Theory 175, 64–76. doi:10.1016/j.jat.2013.07.007

    work page doi:10.1016/j.jat.2013.07.007 2013

  7. [7]

    Interlacing of zeros of shifted sequences of one-parameter orthogonal polynomials

    Driver, K., Jordaan, K., 2007. Interlacing of zeros of shifted sequences of one-parameter orthogonal polynomials. Numer. Math. 107, 615–624. doi:10.1007/s00211-007-0100-3

    work page doi:10.1007/s00211-007-0100-3 2007

  8. [8]

    Bounds for extreme zeros of some classical orthogonal poly- nomials

    Driver, K., Jordaan, K., 2012. Bounds for extreme zeros of some classical orthogonal poly- nomials. J. Approx. Theory 164, 1200–1204. doi:10.1016/j.jat.2012.05.014

    work page doi:10.1016/j.jat.2012.05.014 2012

  9. [9]

    Zeros of Jacobi polynomialsP (α,β) n ,−2< α, β <−1

    Driver, K., Jordaan, K., 2018. Zeros of Jacobi polynomialsP (α,β) n ,−2< α, β <−1. Numer. Algorithms 79, 1075–1085. doi:10.1007/s11075-018-0474-6

    work page doi:10.1007/s11075-018-0474-6 2018

  10. [10]

    Interlacing of the zeros of Jacobi polynomials with different parameters

    Driver, K., Jordaan, K., Mbuyi, N., 2008. Interlacing of the zeros of Jacobi polynomials with different parameters. Numer. Algorithms 49, 143–152. doi:10.1007/s11075-008-9162-2

    work page doi:10.1007/s11075-008-9162-2 2008

  11. [11]

    Polynomials, roots, and interlacing

    Fisk, S., 2008. Polynomials, roots, and interlacing. https://arxiv.org/abs/math/0612833. 19

    work page arXiv 2008

  12. [12]

    Bounds for extreme zeros of Meixner-Pollaczek polynomi- als

    Jooste, A.S., Jordaan, K., 2025a. Bounds for extreme zeros of Meixner-Pollaczek polynomi- als. J. Approx. Theory 307, Paper No. 106142, 18. doi:10.1016/j.jat.2024.106142

    work page doi:10.1016/j.jat.2024.106142 2024

  13. [13]

    Interlacing of zeros from different sequences of Meixner-Pollaczek, pseudo-Jacobi and continuous Hahn polynomials

    Jooste, A.S., Jordaan, K., 2025b. Interlacing of zeros from different sequences of Meixner-Pollaczek, pseudo-Jacobi and continuous Hahn polynomials. Numer. Algorithms doi:10.1007/s11075-025-02092-y

    work page doi:10.1007/s11075-025-02092-y

  14. [14]

    Interlacing theorems for the zeros of some or- thogonal polynomials from different sequences

    Jordaan, K., Toókos, F., 2009. Interlacing theorems for the zeros of some or- thogonal polynomials from different sequences. Appl. Numer. Math. 59, 2015–2022. doi:10.1016/j.apnum.2009.04.002

    work page doi:10.1016/j.apnum.2009.04.002 2009

  15. [15]

    A contribution to quasi-orthogonal polynomials and associated polynomi- als

    Joulak, H., 2005. A contribution to quasi-orthogonal polynomials and associated polynomi- als. Appl. Numer. Math. 54, 65–78. doi:10.1016/j.apnum.2004.10.009

    work page doi:10.1016/j.apnum.2004.10.009 2005

  16. [16]

    and Swarttouw, Ren

    Koekoek, R., Lesky, P.A., Swarttouw, R.F., 2010. Hypergeometric orthogonal polynomi- als and theirq-analogues. Springer Monographs in Mathematics, Springer-Verlag, Berlin. doi:10.1007/978-3-642-05014-5

    work page doi:10.1007/978-3-642-05014-5 2010

  17. [17]

    Narayana numbers and Schur- Szego composition

    Kostov, V .P., Martínez-Finkelshtein, A., Shapiro, B.Z., 2009. Narayana numbers and Schur- Szego composition. J. Approx. Theory 161, 464–476. doi:10.1016/j.jat.2008.10.013

    work page doi:10.1016/j.jat.2008.10.013 2009

  18. [18]

    Asymptotics for orthogonal polynomials and separation of their zeros

    Levin, E., Lubinsky, D.S., 2022. Asymptotics for orthogonal polynomials and separation of their zeros. J. Approx. Theory 281/282, Paper No. 105804, 11. doi:10.1016/j.jat.2022.105804

    work page doi:10.1016/j.jat.2022.105804 2022

  19. [19]

    A unified approach to polynomial sequences with only real zeros

    Liu, L.L., Wang, Y ., 2007. A unified approach to polynomial sequences with only real zeros. Adv. in Appl. Math. 38, 542–560. doi:10.1016/j.aam.2006.02.003

    work page doi:10.1016/j.aam.2006.02.003 2007

  20. [20]

    Quadrature identities for interlacing and orthogonal polynomials

    Lubinsky, D.S., 2016. Quadrature identities for interlacing and orthogonal polynomials. Proc. Amer. Math. Soc. 144, 4819–4829. doi:10.1090/proc/13099

    work page doi:10.1090/proc/13099 2016

  21. [21]

    Real roots of hypergeo- metric polynomials via finite free convolution

    Martínez-Finkelshtein, A., Morales, R., Perales, D., 2024. Real roots of hypergeo- metric polynomials via finite free convolution. Int. Math. Res. Not. IMRN , 11642– 11687.doi:10.1093/imrn/rnae120

    work page doi:10.1093/imrn/rnae120 2024

  22. [22]

    Zeros of Polynomials

    Obrechkoff, N., 2003. Zeros of Polynomials. volume 7 ofBulgarian Academic Monographs. Marin Drinov Academic Publishing House, Sofia

    work page 2003

  23. [23]

    Analytic theory of polynomials

    Rahman, Q.I., Schmeisser, G., 2002. Analytic theory of polynomials. volume 26 ofLondon Mathematical Society Monographs. New Series. The Clarendon Press, Oxford University Press, Oxford

    work page 2002

  24. [24]

    Mixed recurrence equations and interlacing properties for zeros of sequences of classicalq-orthogonal polynomials

    Tcheutia, D.D., Jooste, A.S., Koepf, W., 2018. Mixed recurrence equations and interlacing properties for zeros of sequences of classicalq-orthogonal polynomials. Appl. Numer. Math. 125, 86–102. doi:10.1016/j.apnum.2017.11.003. 20

    work page doi:10.1016/j.apnum.2017.11.003 2018