pith. sign in

arxiv: 2607.00231 · v1 · pith:D7JV4A4Onew · submitted 2026-06-30 · 🧮 math.CA

The 2j-k and j-2k Bi-orthogonal Polynomials on the Unit Circle: Further Properties and Riemann-Hilbert Characterizations

Roozbeh Gharakhloo , Nicholas S. Witte This is my paper

Pith reviewed 2026-07-02 00:19 UTC · model grok-4.3

classification 🧮 math.CA
keywords bi-orthogonal polynomialsunit circlerecurrence relationsChristoffel-Darboux formulaRiemann-Hilbert problemsToeplitz systemsmodulated polynomials
0
0 comments X

The pith

Modulated 2j-k and j-2k bi-orthogonal systems on the unit circle receive unified recurrence relations, a transparent Christoffel-Darboux formula, and Riemann-Hilbert characterizations that generalize the j-k Toeplitz case.

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

Building on earlier constructions of modulated bi-orthogonal polynomial systems that generalize classical j-k Toeplitz systems, the paper derives simplified and unified recurrence relations that apply to both the 2j-k family {P_n(z;r), Q_n(z;r)} and the j-2k family {R_n(z;r), S_n(z;r)}. It establishes a clearer form of the Christoffel-Darboux formula and supplies Riemann-Hilbert problem characterizations for the two families. These developments matter because they supply more direct computational and analytic tools for polynomials defined by bi-orthogonality conditions on the unit circle. The results rest on the moment conditions that the modulated systems are assumed to satisfy.

Core claim

In previous work the authors introduced modulated 2j-k and j-2k bi-orthogonal polynomial systems that generalize the classical j-k Toeplitz systems. The present paper derives simplified and unified recurrence relations for both families, proves a more transparent Christoffel-Darboux formula, and gives Riemann-Hilbert characterizations of the 2j-k and j-2k systems.

What carries the argument

The modulated bi-orthogonal pairs {P_n(z;r), Q_n(z;r)} and {R_n(z;r), S_n(z;r)} on the unit circle, together with the unified recurrence relations and associated Riemann-Hilbert problems that characterize them.

If this is right

  • Both families share a single recurrence structure without separate derivations for each case.
  • The Christoffel-Darboux formula takes a form that directly displays the reproducing kernel for the bi-orthogonal pair.
  • Riemann-Hilbert formulations open the systems to contour-integral representations and large-n analysis.
  • The new relations follow directly once the moment conditions inherited from the modulation are granted.

Where Pith is reading between the lines

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

  • The Riemann-Hilbert characterizations could support uniform large-n asymptotics when the modulation parameter r varies.
  • The simplified recurrences may connect these systems to other families of bi-orthogonal polynomials arising in integrable models on the circle.
  • Explicit determinant formulas derived from the new Christoffel-Darboux identity could be tested numerically for small degrees.

Load-bearing premise

The modulation parameters and constructions from the prior work remain valid and the bi-orthogonal systems continue to satisfy the required moment conditions on the unit circle.

What would settle it

Direct computation of the polynomials via their defining bi-orthogonality integrals for small fixed j, k, n and a chosen modulation parameter r, followed by substitution into the claimed unified recurrence to check whether the identity holds.

read the original abstract

In previous work \cite{GW}, we developed a theory of modulated \(2j-k\) bi-orthogonal polynomial systems \(\{P_n(z;r),Q_n(z;r)\}\) and \(j-2k\) bi-orthogonal polynomial systems \(\{R_n(z;r),S_n(z;r)\}\), which generalize the classical \(j-k\) Toeplitz systems. In the present paper, we further develop this theory in several directions. We derive simplified and unified recurrence relations for both families of polynomials, prove a more transparent Christoffel--Darboux formula, and give Riemann--Hilbert characterizations of the \(2j-k\) and \(j-2k\) systems.

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

1 major / 2 minor

Summary. The paper extends the authors' prior work [GW] on modulated 2j-k and j-2k bi-orthogonal polynomial systems on the unit circle. It derives simplified and unified recurrence relations for both families, proves a more transparent Christoffel-Darboux formula, and provides Riemann-Hilbert characterizations of the systems.

Significance. If the derivations are correct, the results offer unified recurrences and clearer identities that build directly on the modulated constructions, potentially aiding analysis in bi-orthogonal polynomial theory on the unit circle. The Riemann-Hilbert characterizations may connect to integrable systems or asymptotic studies, though the significance depends on verification against the prior definitions in [GW].

major comments (1)
  1. [Introduction / §2] The central claims rest on the validity of the modulation parameter r and moment conditions from the cited prior work [GW]; the manuscript should explicitly restate or reference the precise analytic conditions under which the new recurrence relations and RH problems hold without additional restrictions (e.g., in the introduction or §2).
minor comments (2)
  1. [§1] Notation for the bi-orthogonal pairs {P_n(z;r), Q_n(z;r)} and {R_n(z;r), S_n(z;r)} should be consistently defined early, with a brief reminder of how they reduce to classical j-k Toeplitz systems when r=0.
  2. [§4] The Christoffel-Darboux formula is described as 'more transparent'; a side-by-side comparison with the version in [GW] would clarify the simplification.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive assessment and for identifying a point that will improve the clarity of the manuscript. We address the single major comment below.

read point-by-point responses

  1. Referee: [Introduction / §2] The central claims rest on the validity of the modulation parameter r and moment conditions from the cited prior work [GW]; the manuscript should explicitly restate or reference the precise analytic conditions under which the new recurrence relations and RH problems hold without additional restrictions (e.g., in the introduction or §2).

    Authors: We agree that an explicit restatement of the standing hypotheses on r and the moment sequence will make the scope of the new results immediately clear. In the revised version we will insert a short paragraph (or subsection) in the introduction that recalls the precise analytic conditions on the modulation parameter and the underlying Toeplitz moment matrix from [GW], and we will add a forward reference to the same conditions at the beginning of §2. This will ensure that the simplified recurrences and Riemann–Hilbert characterizations are understood to hold under exactly the same hypotheses as the constructions in the earlier paper. revision: yes

Circularity Check

0 steps flagged

Minor self-citation for context; new derivations are independent

full rationale

The paper explicitly references prior work [GW] by the same authors to define the modulated 2j-k and j-2k systems, then derives new recurrence relations, a Christoffel-Darboux formula, and Riemann-Hilbert characterizations as extensions. No step reduces a claimed result to a fitted parameter, self-definition, or load-bearing uniqueness theorem from the citation; the central claims consist of fresh algebraic and analytic derivations that stand on their own once the base objects from [GW] are granted. This is standard continuation in a research program and does not meet the threshold for circularity under the enumerated patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper is a theoretical extension relying on standard properties of bi-orthogonal polynomials and the framework from the cited predecessor; no free parameters or new entities are introduced in the abstract.

axioms (1)
  • domain assumption The bi-orthogonal polynomial systems satisfy the moment conditions and modulation properties defined in the prior work [GW].
    The new relations and characterizations presuppose the validity of the earlier constructions.

pith-pipeline@v0.9.1-grok · 5663 in / 1248 out tokens · 30088 ms · 2026-07-02T00:19:19.627686+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

18 extracted references · 2 canonical work pages · 1 internal anchor

  1. [1]

    Francine F. Abeles. Dodgson condensation: the historical and mathematical development of an experimental method. Linear Algebra Appl., 429(2-3):429–438, 2008. 4

    2008

  2. [2]

    Ali Altuğ, Sandro Bettin, Ian Petrow, Rishikesh, and Ian Whitehead

    S. Ali Altuğ, Sandro Bettin, Ian Petrow, Rishikesh, and Ian Whitehead. A recursion formula for moments of derivatives of random matrix polynomials.The Quarterly Journal of Mathematics, 65(4):1111–1125, 2014. 2

    2014

  3. [3]

    Keating, and Fei Wei

    Theodoros Assiotis, Mustafa Alper Gunes, Jonathan P. Keating, and Fei Wei. Joint moments of characteristic polynomials from the orthogonal and unitary symplectic groups.Proceedings of the London Mathematical Society, 132(3):e70136, 2026. 2

    2026

  4. [4]

    On the distribution of the length of the longest increasing subsequence of random permutations.J

    Jinho Baik, Percy Deift, and Kurt Johansson. On the distribution of the length of the longest increasing subsequence of random permutations.J. Amer. Math. Soc., 12(4):1119–1178, 1999. 9

    1999

  5. [5]

    AhmadBarhoumi, OlegLisovyy, PeterD.Miller, andAndreiProkhorov.Painlevé-IIImonodromymapsundertheD 6 →D 8 confluenceandapplicationstothelarge-parameterasymptoticsofrationalsolutions.Symmetry, Integrability and Geometry: Methods and Applications, 20:019, 2024. 2

    2024

  6. [6]

    Zeros of large degree Vorob’ev–Yablonski polynomials via a Hankel determinant identity.International Mathematics Research Notices, 2015(19):9330–9399, 2015

    Marco Bertola and Thomas Bothner. Zeros of large degree Vorob’ev–Yablonski polynomials via a Hankel determinant identity.International Mathematics Research Notices, 2015(19):9330–9399, 2015. 2

    2015

  7. [7]

    P. M. Bleher and A. B. J. Kuijlaars. Random matrices with external source and multiple orthogonal polynomials.Int. Math. Res. Not., (3):109–129, 2004. 2

    2004

  8. [8]

    Bressoud.Proofs and confirmations

    David M. Bressoud.Proofs and confirmations. MAA Spectrum. Mathematical Association of America, Washington, DC; Cambridge University Press, Cambridge, 1999. The story of the alternating sign matrix conjecture. 4

    1999

  9. [9]

    A. S. Fokas, A. R. Its, and A. V. Kitaev. The isomonodromy approach to matrix models in2D quantum gravity.Comm. Math. Phys., 147(2):395–430, 1992. 9

    1992

  10. [10]

    A Riemann-Hilbert approach to asymptotic analysis of Toeplitz+Hankel deter- minants.SIGMA Symmetry Integrability Geom

    Roozbeh Gharakhloo and Alexander Its. A Riemann-Hilbert approach to asymptotic analysis of Toeplitz+Hankel deter- minants.SIGMA Symmetry Integrability Geom. Methods Appl., 16:Paper No. 100, 47, 2020. 2

    2020

  11. [11]

    A Riemann-Hilbert approach to asymptotic analysis of Toeplitz+Hankel deter- minants II.arXiv:2509.12345, 2025

    Roozbeh Gharakhloo and Alexander Its. A Riemann-Hilbert approach to asymptotic analysis of Toeplitz+Hankel deter- minants II.arXiv:2509.12345, 2025. 2

    work page arXiv 2025

  12. [12]

    RoozbehGharakhloo, MaksimKosmakov, andKentaMiyahara.ReductionofMultipleOrthogonalPolynomialstoStandard Orthogonal Polynomials.arXiv:2606.27594, 2026. 22

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  13. [13]

    Bordered and framed Toeplitz and Hankel determinants with applications in integrable probability

    Roozbeh Gharakhloo and Karl Liechty. Bordered and framed Toeplitz and Hankel determinants with applications in integrable probability. InRecent developments in orthogonal polynomials, volume 822 ofContemp. Math., pages 91–153. Amer. Math. Soc., Providence, RI, [2025]©2025. 22

    2025

  14. [14]

    Roozbeh Gharakhloo and Nicholas S. Witte. Orthogonal and Symplectic Group Averages and Integrable2j−kSlant Toeplitz Determinants. In Preparation. 2, 5, 9, 10, 14, 15

  15. [15]

    Roozbeh Gharakhloo and Nicholas S. Witte. Modulated bi-orthogonal polynomials on the unit circle: the2j−kandj−2k systems.Constr. Approx., 58(1):1–74, 2023. 1, 2, 3, 4, 5, 9, 10, 11, 12, 14, 15, 18, 19, 20, 21, 23, 24, 30, 44, 48

    2023

  16. [16]

    Multiple orthogonal polynomials on the unit circle.Constructive Ap- proximation, 28(2):173–197, 2008

    Judit Mínguez Ceniceros and Walter Van Assche. Multiple orthogonal polynomials on the unit circle.Constructive Ap- proximation, 28(2):173–197, 2008. 2, 44, 45

    2008

  17. [17]

    Virgil U. Pierce. A Riemann–Hilbert problem for skew-orthogonal polynomials.Journal of Computational and Applied Mathematics, 215(1):230–241, 2008. 2

    2008

  18. [18]

    American Mathematical Society, Providence, RI, fourth edition, 1975

    Gábor Szegő.Orthogonal Polynomials, volume 23 ofAmerican Mathematical Society Colloquium Publications. American Mathematical Society, Providence, RI, fourth edition, 1975. 10

    1975