Abstract
We construct the systems of bi-orthogonal polynomials on the unit circle where the Toeplitz structure of the moment determinants is replaced by \(\det (w_{2j-k})_{0\le j,k \le N-1} \) and the corresponding Vandermonde modulus squared is replaced by \(\prod _{1 \le j < k \le N}(\zeta _k - \zeta _j)(\zeta ^{-2}_k - \zeta ^{-2}_j) \). This is the simplest case of a general system of \(pj-qk\) with p, q co-prime integers. We derive analogues of the structures well known in the Toeplitz case: third order recurrence relations, determinantal and multiple-integral representations, their reproducing kernel and Christoffel–Darboux sum, and associated (Carathéodory) functions. We close by giving full explicit details for the system defined by the simple weight \( w(\zeta )=e^{\zeta }\), which is a specialisation of a weight arising from averages of moments of derivatives of characteristic polynomials over \(\textrm{USp}(2N)\), \(\textrm{SO}(2N)\) and \(\textrm{O}^-(2N)\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Motivation
The unitary group U(N) with Haar (uniform) measure possesses the explicit character formula of Weyl [72]
where \( \{\zeta _1,\dots , \zeta _N \} \in \textrm{Spec}(U) \) and \( {\mathbb {T}}= \{\zeta \in {\mathbb {C}}: |\zeta |=1 \} \). This also has an interpretation as the joint probability density function (PDF) (see e.g. [30, Chapter 2]) for the eigenphases of the Dyson circular ensemble (CUE). One fundamental application of this formula is to characterise averages over \(U \in U(N)\) of class functions c(U) , i.e. symmetric functions of the eigenvalues of U only. An example of such functions are products \( \prod _{j=1}^{N}w(\zeta _j) \) where \( w(\zeta ) \) may be interpreted as a weight function or density. Introducing the Fourier components \(\{w_l\}_{l\in {\mathbb {Z}}}\) of this weight
due to the well known Heine identity [70]
we recognise that this is equivalent to studying Toeplitz determinants. Intimately connected with the above problem are systems of bi-orthogonal polynomials on the unit circle and its relationship to general, non-hermitian (i.e. complex weight) Toeplitz determinants. The system of bi-orthogonal polynomials \(\{\varphi _n(z),\bar{\varphi }_n(z) \}^{\infty }_{n=0}\)Footnote 1 with respect to the weight \( w(\zeta ) \) on the unit circle may be defined by the orthogonality relation
Such averages over the unitary group are ubiquitous in many areas of mathematical physics, in particular the gap probabilities and characteristic polynomial averages in the circular ensembles of random matrix theory [2, 3, 30, 34], the spin-spin correlations of the planar Ising model [50, 63], the density matrix of a system of impenetrable bosons on the ring [31] and probability distributions for various classes of non-intersecting lattice path problems [29].
Our study is motivated by yet another application of random matrix techniques, in particular to analytic number theory. Random matrix models have been very successful in constructing conjectures for estimating the integral moments of central values in the U(N) family of L-functions, through the works of [22, 23, 51]. This program was extended by Ali Altuğ et al [4] to the three other families of L-functions: those characterised by the symmetry types \(\textrm{USp}(2N)\), \(\textrm{SO}(2N)\) and \(\textrm{O}^-(2N)\), and where the statistic of concern was the n-th moment of the m-th derivative of the characteristic polynomial \(\Lambda _{A}\) with \( A \in \textrm{USp}(2N),\textrm{SO}(2N),\textrm{O}^-(2N) \). They computed
where \(\textrm{G}\) denotes \(\textrm{USp}\), \(\textrm{SO}\), or \(\textrm{O}^-\), and \(\textrm{d}A\) is the Haar measure on \(\textrm{G}\), in the regime \(N\rightarrow \infty \) and fixed n, m. Employing similar techniques to [24] they found that the leading coefficient in the large-N expansion is proportional to the n-th derivative of \(e^{u}{\mathcal {T}}_{n,\ell }(u)\) where
for \(n\ge 0\), \(\ell \in {\mathbb {Z}}\) is fixed by the symmetry type and \(u\in {\mathbb {C}}\), and where
Clearly for the \(\textrm{USp}(2N)\), \(\textrm{SO}(2N)\) and \(\textrm{O}^-(2N)\) types the relevant moment determinant has the structure
and the corresponding joint density function has the form
Note that this joint density function is not real and positive, unlike the Toeplitz case (1.1), and it will become clear that meaning can only be given to more restrictive classes of weights than applies in the Toeplitz case, see Theorems 3.1 and 3.2 for precise conditions on the existence of our systems. For example the system with a constant weight or even a terminating Laurent expansion of (1.2), i.e. a finite banded moment matrix, will not existFootnote 2. Of course one could take as the definition of a putative system the modulus of (1.9) however this has some disadvantages and we have chosen to pursue the analytic form here. If one takes the modulus of (1.9) it factorises into three factors
and one can see that this also applies to the joint density function
and thus any distinction is lost. More significantly is that the property of complex analyticity would be lost in some aspects of the theory, and in particular the differential structures whereby one requires spectral derivatives \( \textrm{d}/\textrm{d}\zeta \) of the bi-orthogonal polynomials and their associated functions - such derivatives form one member of key Lax pairs of the integrable system. We will finish our discussion of these issues with a final observation on the log-gas interpretation of Eq. (1.10): it has the repulsion of coincident eigenvalues \( \theta _k=\theta _j, k\ne j \) with strength \(\beta =2\) but also a repulsion when \(\theta _k=\theta _j\pm \pi \) with half this strength. It is our goal to extend the theory of Toeplitz determinants and associated bi-orthogonal polynomial systems on the unit circle to the case where they have a structure \(pj-qk\) for two positive co-prime integers, based upon (1.8) and (1.9). In the first example of such an extension we consider the \( p=2, q=1 \) and \( p=1, q=2 \) cases exclusively, however we will only employ techniques which are capable of generalisation to the other cases.
Analogous systems of bi-orthogonal polynomials on the line with the Hankel structure \( \det (h_{pj+qk})_{0\le j,k\le N-1}\) have been studied for some time - the area was initiated by Preiser [67]; general properties of these systems were investigated by Konhauser [52], Ilyasov [46], Iserles and Nørsett [47, 48]; explicit examples of cases related to Laguerre polynomials by Konhauser [53], Carlitz [16, 17], Genin and Calvez [37, 38], Prabhakar [66], Srivastava [69], Raizada [68]; and to the Jacobi polynomials by Madhekar and Thakare [57,58,59,60,61]. As they stand the results reported in the above works do not translate directly into the ones we seek. Systems of bi-orthogonal Laurent polynomials [71] would be expected to provide an equivalent framework to the system we treat here, however we prefer our approach because of its direct linkage to the random matrix application described earlier.
In the random matrix literature systems of bi-orthogonal polynomials on the line are known as Muttalib–Borodin ensembles following the pioneering work of [64] and [10]; Claeys and Romano have derived recurrence relations and a scalar Riemann–Hilbert problem for general classes of weights [21]. See [32, 33] for some selected recent developments. Other related lines of investigation are the multiple orthogonal polynomial ensembles studied by Kuijlaars and McLaughlin [55], and by Kuijlaars [56]. In the latter work higher rank (i.e. greater than two) matrix systems of bi-orthogonal multiple polynomials - the Nikishin systems and Angelesco systems - were discussed and only the case of the Angelesco system (see Eq. (4.8)) with \( p=2 \) species of \(n_1=n_2=n\) particles \( \{x^{(1)}_k\}_{k=1}^{n} \) , \( \{x^{(2)}_k\}_{k=1}^{n}\) linked by \( x^{(2)}_k = -x^{(1)}_k, k = 1,\ldots , n \) and \( w_2(x)=w_1(-x) \) has any correspondence with our example - it is actually proportional to the square of (1.9).
It is also worth mentioning that on the Operator Theory side, the associated operators on \(L^2({\mathbb {T}})\) and their restrictions on the Hardy space \(H^2({\mathbb {T}})\) have been a subject of research in the last 25 years or so. In a series of works [41,42,43,44,45], Mark C. Ho introduced and made some fundamental studies on the \(2j-k\) operators which he referred to as slant Toeplitz operators. Later, Subhash C. Arora and Ruchika Batra studied the properties of \(pj-k\) operators (\(p \in {\mathbb {N}}_{\ge 2}\)) which they referred to as generalized slant Toeplitz or p-th order slant Toeplitz operators in a collection of papers [5,6,7,8]. Particularly regarding the large-size asymptotic analysis of the \(pj-qk\) determinants, it is our hope that the interplay between Operator Theory and the Riemann–Hilbert method (which is rooted in the orthogonality structures studied this work and is the subject of a future paper) could be made somewhat tractable. Examples of such interplay for Toeplitz, bordered Toeplitz and Toeplitz+Hankel determinants can be respectively found in [9, 27], and the introduction of [40].
1.1 Outline
Here we summarise the outline of our study. In Sect. 2 we present the definitions of the \(2j-k\) and \(j-2k\) (master) determinants and the corresponding systems of bi-orthogonal polynomials. In this section we also introduce the two main tools for our analysis: the Dodgson Condensation identity and the multiple integral formulae for the \(2j-k\) and \(j-2k\) determinants. The LDU decompositions for the \(2j-k\) and \(j-2k\) determinants are also derived which will be useful for proving the Christoffel–Darboux identity. In Sect. 3 we provide the bordered determinant representations and prove the existence and uniqueness of the systems of bi-orthogonal polynomials provided that the associated determinants are non-zero. We also discuss the connection of \(2j-k\) and \(j-2k\) determinants and bi-orthogonal polynomials. Finally in this section we express \(2j-k\) and \(j-2k\) bi-orthogonal polynomials and reproducing kernels in terms of the corresponding master determinants. In Sect. 4 we derive pure-degree and pure-offset recurrence relations for the \(2j-k\) and \(j-2k\) bi-orthogonal polynomials. We also discuss equivalent Dodgson condensation identities which result in the same recurrence relations and present several mixed recurrence relations involving both \(2j-k\) and \(j-2k\) bi-orthogonal polynomials. In Sect. 4.2 we derive several relationships between polynomial tails, recurrence coefficients and determinants of the \(2j-k\) and \(j-2k\) systems. In Sect. 5 we prove multiple integral formulae for the \(2j-k\) and \(j-2k\) determinants, bi-orthogonal polynomials, and reproducing kernels. We use some of these formulae to derive representations of Q and R-polynomials in terms of P and S-polynomials, respectively. The multiple integral formulae are also useful in deriving the Christoffel–Darboux identity in Sect. 5.3. In Sect. 6 we introduce the associated functions and derive their multiple integral formulae representations. We also find the corresponding Casorati matrices and the first order recurrence relations they satisfy. In Sect. 7 we go back to the weight relevant to the L-functions of the symmetry types \(\textrm{USp}(2N)\), \(\textrm{SO}(2N)\) and \(\textrm{O}^-(2N)\). To study a first concrete example, in this subsection we specifically study the undeformed weight when \(u=0\) where we find explicit formulae for the determinants, Carathéodory functions, and the \(2j-k\) polynomials. Eventually, in Sect. 8, we will lay out a list of important open questions and the prospects of future work. Throughout the paper, to highlight the distinguishing features of these modulated bi-orthogonal systems and for the convenience of the reader we try to make a comparison with the Toeplitz (\(j-k\)) theory whenever a result about \(2j-k\) and \(j-2k\) systems is presented, mainly by referring to [35].
2 Definitions and Notations
In this section we will define the objects studied in the paper and introduce the necessary notations and conventions. Throughout the paper we respectively use j and k as indices referring to the rows and the columns, and we frequently use a boldfaced letter to distinguish the determinant of a matrix with the matrix itself: \(\det \varvec{{\mathscr {M}}} \equiv {\mathscr {M}}\). Let \(\varvec{{\mathscr {M}}}\) be an \(n \times n\) matrix. By
we respectively mean the \((n-\ell )\times (n-\ell )\) matrix obtained from \(\varvec{{\mathscr {M}}}\) by removing the rows \(j_i\) and the columns \(k_i\), \(1\le i \le \ell \), and its corresponding determinant. Although the order of writing the row and column indices is immaterial for this definition, in this work we prefer to respect the order of indices \(j_{\ell _1}<j_{\ell _2}\) and \(k_{\ell _1}<k_{\ell _2}\) if \(\ell _1<\ell _2\). We now recall the Dodgson Condensation identityFootnote 3 (see [1, 14, 36] and references therein) which is an important tool for deriving many important relationships between the objects studied in this work:
Definition 2.1
For fixed offset values \(r,s \in {\mathbb {Z}}\), we define the following \((n+3)\times (n+3)\) master matrices of \(2j-k\) and \(j-2k\) structure:
where
is the k-th Fourier coefficient of the symbol \( w(z) = \sum _{\ell \in {\mathbb {Z}}} w_{l}z^{l} \).
In (2.3) and (2.4) for simplicity of notation we have suppressed the dependence of \(\varvec{{\mathscr {D}}}_r(z,{\mathcal {Z}})\) and \(\varvec{{\mathscr {E}}}_s(z,{\mathcal {Z}})\) on n. Also, throughout the paper, when z and \({\mathcal {Z}}\) are not distinguished as distinct independent variables we simply drop the arguments in the notation of the master matrices:
We use the determinants of master matrices \(\varvec{{\mathscr {D}}}_r\) and \(\varvec{{\mathscr {E}}}_s\) to construct the \(2j-k\) and \(j-2k\) systems of bi-orthogonal polynomials in Sect. 3, but since in all of those constructions either the last row or the last column is removed, the entry \(\star \) in (2.3) and (2.4) never plays a role for construction of the bi-orthogonal polynomials and thus is arbitrary for the purposes of this work. Let \(\varvec{D}^{(r)}_{n}\) and \(\varvec{E}^{(s)}_{n}\) respectively denote the \(n\times n\) matrices of \(2j-k\) and \(j-2k\) structure and by \(D^{(r)}_{n}\) and \(E^{(s)}_{n}\) denote their determinants:
\(D^{(r)}_{n}\) and \(E^{(s)}_{n}\) can obviously be written in terms of the determinant of master matrices \(\varvec{{\mathscr {D}}}_r\) and \(\varvec{{\mathscr {E}}}_s\), as
Also notice that
Definition 2.2
For an integrable function f on the unit circle, we respectively define the \(2j-k\) and \(j-2k\) multiple integrals as
and
In Sect. 5, in particular, we show the following multiple integral representations for \(D^{(r)}_{n}\) and \(E^{(s)}_{n}\):
Definition 2.3
For each offset value \(r \in {\mathbb {Z}}\), define the \(2j-k\) sequences of monic polynomials \(\{P_{n}(z;r)\}^{\infty }_{n=0}\) and \(\{Q_{n}(z;r)\}^{\infty }_{n=0}\), \(\deg P_n(z;r)=\deg Q_n(z;r) = n\), satisfying the bi-orthogonality condition:
and for each offset value \(s \in {\mathbb {Z}}\), define the \(j-2k\) sequences of monic polynomials \(\{R_{n}(z;s)\}^{\infty }_{n=0}\) and \(\{S_{n}(z;s)\}^{\infty }_{n=0}\), \(\deg R_n(z;s)=\deg S_n(z;s) = n\), satisfying the bi-orthogonality condition:
where \(h^{(r)}_{n}\) and \(g^{(s)}_{n}\) are the norms of the polynomials squared and \(\textrm{d}\mu (\zeta )\equiv w(\zeta )\textrm{d}\zeta \) for some weight function w(z).
We will give representations of \(h^{(r)}_{n}\) and \(g^{(s)}_{n}\) as ratios of \(2j-k\) and \(j-2k\) determinants in Theorems 3.1 and 3.2. Notice that the bi-orthogonality condition (2.16) is equivalent to the orthogonality relations
and
Similarly, the bi-orthogonality condition (2.17) is equivalent to the orthogonality relations
and
2.1 LDU Decomposition of \(2j-k\) and \(j-2k\) Moment Matrices
The linear space of polynomials \(\{P_n(z)\}^{\infty }_{n=0}\), \(\{Q_n(z)\}^{\infty }_{n=0}\), etc. have expansions in an appropriate basis, in this case the monomial basis \(\{z^n\}^{\infty }_{n=-\infty }\) as befits a Páde approximation problem with two fixed singularities \(0, \infty \). We are therefore led to consider the linear transformations from this preferred basis to our orthogonal system. Let us denote the coefficients of \(2j-k\) and \(j-2k\) polynomials more precisely as
with \({\mathcal {p}}^{(r)}_{n,n}={\mathcal {q}}^{(r)}_{n,n} ={\mathcal {r}}^{(s)}_{n,n}={\mathcal {s}}^{(s)}_{n,n}=1\). Let us also denote
We thus have
where \(\varvec{{\mathcal {P}}}_{n}^{(r)}, \varvec{{\mathcal {Q}}}_{n}^{(r)}, \varvec{{\mathcal {R}}}_{n}^{(s)}\) and \(\varvec{{\mathcal {S}}}_{n}^{(s)}\) are the following \((n+1)\times (n+1)\) lower triangular matrices
whose inverses are also lower diagonal with 1’s on the main diagonal. Also let us denote the diagonal matrices of norms of polynomials by \(\varvec{h}^{(r)}_{n}\) and \(\varvec{g}^{(r)}_{n}\):
In the following result we give the LDU decompositions of the moment matrices for the \(2j-k\) and \(j-2k\) systems which parallels the Toeplitz case closely, see the unpublished work [62].
Theorem 2.1
The LDU decompositions of \(\varvec{D}^{(r)}_{n+1}\) and \(\varvec{E}^{(s)}_{n+1}\) are given by
Proof
In this proof we drop the dependence of all functions and quantities on the offsets r and s for simplicity of notation. We have
which is equivalent to (2.28). For the decomposition of \(\varvec{E}^{(s)}_{n+1}\) we consider
which yields (2.29). \(\square \)
3 Bordered Determinant Representations
In this section we focus on determinantal representations of fundamental elements in the theory where the moment matrix is bordered by rows or columns containing basis vectors for the polynomial spaces. In the following result we find that the bi-orthogonal polynomials of both systems can be represented as bordered moment determinants in almost exactly the same way as for the Toeplitz case, see e.g. Eq.(2.15,16) of [35] for comparison. As well as revealing the conditions on the existence and uniqueness of these systems in a simple way, this form will be very useful in our subsequent treatment.
Theorem 3.1
If \(D_{n}^{(r)} \ne 0\), the polynomials \(P_n(z;r)\) and \(Q_n(z;r)\) exist and are uniquely given by
and
from which one can observe that \(h^{(r)}_{n}\) exists and can be written as
Therefore if all \(h^{(r)}_{\ell }\) exist and are non-zero for \(\ell =0, \ldots , n-1\), then
Proof
The existence simply follows from the fact that, if \(D_{n}^{(r)} \ne 0\), we can explicitly construct the system of monic bi-orthogonal polynomials \(P_n(z;r)\) and \(Q_n(z;r)\) as in (3.1) and (3.2), respectively satisfying (2.18) and (2.19). Now, let us discuss the uniqueness if \(D_{n}^{(r)} \ne 0\). Assume that \(P_n(z;r)=z^n+ \displaystyle \sum ^{n-1}_{\ell =0} {\mathcal {p}}^{(r)}_{n,\ell } z^{\ell }\) satisfies the orthogonality conditions (2.18). One can write the orthogonality conditions (2.18) for \(m=0,1,\ldots ,n-1\) as the following linear system for solving the constants \({\mathcal {p}}^{(r)}_{n,\ell }\), \(0\le \ell \le n-1\):
So, if \(D_{n}^{(r)} \ne 0\), the above linear system has a unique solution, and thus \(P_{n}(z;r)\) is uniquely given by (3.1). Now, assume that \(Q_n(z;r)=z^n+ \displaystyle \sum ^{n-1}_{\ell =0} {\mathcal {q}}^{(r)}_{n,\ell } z^{\ell }\) satisfies the orthogonality conditions (2.19). We can write the orthogonality conditions (2.19) for \(m=0,1,\ldots ,n-1\) as the following linear system for solving the constants \({\mathcal {q}}^{(r)}_{n,\ell }\), \(0\le \ell \le n-1\):
So, again, if \(D_{n}^{(r)} \ne 0\), the above linear system can be inverted, and thus has a unique solution. Therefore, \(Q_{n}(z;r)\) is uniquely given by (3.2). Finally, one can directly find (3.3) using (3.1) and (2.18), or alternatively, using (3.2) and (2.19). \(\square \)
In an identical manner, we can prove the following Theorem about existence and uniqueness of \(j-2k\) system of bi-orthogonal polynomials.
Theorem 3.2
If \(E_{n}^{(s)} \ne 0\), the polynomials \(R_n(z;s)\) and \(S_n(z;s)\) exist and are uniquely given by
and
from which one can observe that \( g^{(s)}_{n}\) exists and can be written as
Therefore if all \(g^{(s)}_{\ell }\) exist and are non-zero for \(\ell =0, \ldots , n-1\), then
3.1 Connection of \(2j-k\) and \(j-2k\) Polynomials
The \(2j-k\) and \(j-2k\) systems are intimately related by a duality through exploiting the freedom to choose suitable offsets. This equivalence is only exhibited in a formal algebraic rather than an analytical sense and reflects a mapping of the interior of the unit circle to the exterior and vice-versa. In the Toeplitz case one has a system of self-duality. Consequently the first of such duality relations involves the determinants, which are related to one another if one selects the appropriate offset values. More precisely, we have
as these are reflections of each other across the main anti-diagonal. Indeed, for any \(n \times n\) matrix \(\varvec{{\mathscr {M}}}\) we have \(\det \varvec{{\mathscr {M}}}^{\perp } = \det \varvec{{\mathscr {M}}}\), which is due to the identity \(\varvec{{\mathscr {M}}}^{\perp } = \varvec{{\mathscr {A}}}_{n} \varvec{{\mathscr {M}}}^{T} \varvec{{\mathscr {A}}}_n,\) where \(\varvec{{\mathscr {A}}}_n\) is the \(n \times n\) matrix with ones on the anti-diagonal and zeros everywhere else, \(\varvec{{\mathscr {M}}}^T\) is the transpose of the \(n \times n\) matrix \(\varvec{{\mathscr {M}}}\), and \(\varvec{{\mathscr {M}}}^{\perp }\) is the reflection of the \(n \times n\) matrix \(\varvec{{\mathscr {M}}}\) across its main anti-diagonal. Continuing the development of the duality theme our next result furnishes further details in regard to the polynomials themselves. But first let us recall a standard notation: for any polynomial p of degree n, we denote the reciprocal polynomial by \(p^*\), that is
Theorem 3.3
The following identities hold between \(2j-k\) and \(j-2k\) polynomials
Proof
Computing \(S^*_n(z;s)\) from (3.8) in view of (3.12) and reflection across the anti-diagonal gives
Now, we do n consecutive adjacent row-swaps to move the first row to the last which results in (3.13) in view of (3.1). The relationship (3.14) can be found in an identical manner. \(\square \)
3.2 Biorthogonal Polynomials in Terms of the Master Determinants
For many choices of triples \(\{a,b,c\}\in {\mathbb {Z}}^3\), one can express \(z^{a}f_{n+b}(z;r+c)\), \(f \in \{P,Q^*,R,S^*\}\), in terms of the determinants of master matrices (2.3) and (2.4). For each polynomial \(P,Q^*,R\) and \(S^*\), among the choices mentioned above, we select five which turn out to be useful in connection to the specific Dodgson condensation identities used in Sect. 4.
3.3 The Reproducing Kernel in Terms of the Master Determinants
In the same spirit as the \(j-k\) bi-orthogonal polynomials on the unit circle, we define the reproducing kernels for the \(2j-k\) and \(j-2k\) systems.
Definition 3.1
The reproducing kernel for the \(2j-k\) and \(j-2k\) systems respectively are respectively defined as
It is easy to see that \(K_{n}(z,{\mathcal {Z}};r)\) and \(L_{n}(z,{\mathcal {Z}};s)\) has the reproducing properties as described in the following equations:
and
Key properties flowing from these definitions are the normalisation relation
and the projection relation
Identical relations apply for the \( L_{n} \) kernel with the obvious modifications.
The above definitions of the reproducing kernels follows the pattern of the Toeplitz case and the following result linking them to bordered moment determinants reinforces this similarity. Although the Toeplitz case is not quoted often it is almost identical after making the obvious modifications.
Theorem 3.4
The reproducing kernels \(K_{n}(z,{\mathcal {Z}};r)\) and \(L_{n}(z,{\mathcal {Z}};s)\) can be represented in terms of the master determinants \({\mathscr {D}}_r(z;{\mathcal {Z}})\) and \({\mathscr {E}}_s(z;{\mathcal {Z}})\) as
Proof
We only give the proof for (3.44), as (3.45) can be obtained in a similar way. Define
One can easily establish that \(\widehat{K}\) has the same reproducing properties as K. To this end, its action on monomials is given by
and
Therefore, we immediately get
and
Now we show that
for all \(z,{\mathcal {Z}} \in {\mathbb {C}}\) and \(r\in {\mathbb {Z}}\). Let us consider the following \((n+2)\times (n+2)\) matrices
Now observe that
where the objects in the above equation are defined in Sect. 2.1. Taking the determinant of both sides of the above equation yields (3.51). Finally by combining (3.51) and (3.46) and recalling (2.3) we obtain (3.44). \(\square \)
4 Recurrence Relations
At this point we turn to the recurrence \( n \mapsto n+1 \) structures in the \(2j-k\) and \(j-2k\) systems, focusing initially on the scalar forms. Throughout this section we primarily use the Dodgson condensation identity (2.2) in order to prove the following results, which furnish the tools that are capable of extension to the more general \(pj-qk\) systems.Footnote 4
Our first result yields extensions of the second order scalar difference equations given in Eqs.(2.23,24) of [35] for the \(2j-k\) system.
Theorem 4.1
The third order pure-degree recurrence relations for the \(2j-k\) polynomials are given by
and
where
Proof
Let us consider the following Dodgson condensation identities (see (2.2)):
The identity (4.7) can be written as
So from (3.16), (3.17), (3.19), and (2.9) we have
Therefore from (3.3) we have
Let us also write (4.8) as
Therefore from (3.16), (3.18), (3.24), and (2.9) we arrive at
and thus
From (4.11) we have
From this, we immediately get
Using (4.15) again we get
and therefore
On the other hand, from (4.14) we have
Combining the last two equations with (4.15) and some simplification gives (4.1).
In order to prove (4.2) we need to consider the following Dodgson condensation identities:
Let us write (4.20) as
So from (3.26), (3.28), (3.29), and (2.9) we have
and thus from (3.3) we get
Now, let us write (4.21) as
So from (3.26), (3.27), (3.30), and (2.9) we obtain
and thus
Now, let us find the pure-n recurrence relation for \(Q^*\)s. From (4.24) we have
and immediately
and
Using (4.30) we have
Plugging this into (4.24) yields
Replacing n by \(n+2\) and rearranging terms gives the desired recurrence relation (4.2). \(\square \)
Our second result gives extensions of the second order scalar difference equations given in Eqs.(2.23,24) of [35] for the \(j-2k\) system.
Theorem 4.2
The third order pure-degree recurrence relations for the \(j-2k\) polynomials are given by
and
where
Proof
In order to prove (4.34) we use the following Dodgson condensation identities
Write (4.40) as
So using (3.20), (3.21), (3.25), and (2.9) we have
Therefore from (3.9) we have
Now, lets us write (4.41) as
Therefore from (3.20), (3.22), (3.23), and (2.9) we arrive at
and thus
From (4.47) we have
and by writing (4.47) for \(s-1\) we obtain
Combining this with (4.44) yields
Plugging this into (4.48) gives
Now, write (4.44) for \(s+1\) to get
After combining the last two equations we arrive at
Note that from (4.47) we have
Combine the last two equations to get
Rearranging terms and using \(\rho ^{(s)}_{n+1}\varkappa ^{(s+1)}_n =\rho ^{(s)}_n \varkappa ^{(s)}_{n+1} \) yields
By writing (4.50) for \(n-1\) we obtain
Now, we combine the last two equations to arrive at
regroup terms and replace n by \(n+1\) to arrive at the desired recurrence relation (4.34).
Finally, proving (4.35) demands using the following Dodgson condensation identities
Write (4.59) as
So we have
and thus from (3.9) we have
Now, rewrite (4.60) as
So
and thus
Now let us find the pure degree-recurrence relations for \(S^*\)’s. Writing (4.63) for \(n+1\) we get
Now we write (4.66) for \(s+1\):
Combining the last two equations yields
Write this for \(n\mapsto n+1\):
and write (4.63) for \(s\mapsto s-1\) to obtain
Combining the last two equations gives
Now write (4.66) for \(s\mapsto s+1\) and solve for \(zS^*_{n}(z;s-1)\):
Combine the last two equations to get
By using \(\theta ^{(s+1)}_{n+1} \gamma ^{(s-1)}_n = \theta ^{(s+1)}_n \gamma ^{(s+1)}_{n+1} \) and rearranging terms we obtain
Write (4.63) for \(n \mapsto n+1\) and solve for \(S^*_{n+1}(z;s+1)\):
Now, we combine the last two equations and regroup the terms to obtain (4.35). \(\square \)
Remark 4.3
(Mixed Recurrence Relations) Recall that we can replace a \(2j-k\) polynomial in terms of a \(j-2k\) polynomial using Theorem 3.3. Using such replacements in several identities found in this section, we can arrive at recurrence relations involving both \(2j-k\) and \(j-2k\) polynomials. To that end, (4.11) can be written as
Also (4.14) can be written as one of the following three identities
In an identical way we can obtain the following mixed recurrence relations listed below
and
Here the identities (4.81), (4.85), and (4.89) are respectively equivalent to (4.24), (4.44), and (4.63) . Identities (4.82), (4.83) and (4.84) are equivalent to (4.27), identities (4.86), (4.87) and (4.88) are equivalent to (4.47), and identities (4.90), (4.91) and (4.92) are equivalent to (4.66).
Theorem 4.4
The third order pure-offset recurrence relations for the \(2j-k\) and \(j-2k\) polynomials are given by
and
Proof
Combining (4.11) and (4.14) we will get
Also from (4.24) and (4.27) we obtain
Writing (4.97) and (4.98) under the replacement \(r \mapsto r+1\) respectively gives (4.93) and (4.94). From (4.44) and (4.47) we have
From (4.63) and (4.66) we find
The replacement \(s \mapsto s+2\) in (4.99) and (4.100) respectively gives (4.95) and (4.96). \(\square \)
4.1 Equivalent Dodgson Condensation Identities
If one starts with
after similar simplifications one arrives at
But this is equivalent to (4.11) as one gets the above equation from (4.11) under the replacement \(r\mapsto r+2\). Similarly, If we start with
After simplifications, this translates to
However, this is equivalent to (4.24) if we replace r by \(r-1\) in (4.24). Also note that
This reduces after simplifications to
which is equivalent to (4.44) if one replaces s with \(s+1\) in (4.44). And finally
reduces after simplifications to
which is equivalent to (4.63) if one replaces s with \(s-2\) in (4.63). In a similar fashion one can find four other Dodgson Condensation identities which give rise to recurrence relations equivalent to (4.14), (4.27), (4.47), and (4.66), these Dodgson Condensation identities are respectively given by
4.2 Relationships of Polynomial Tails, Recurrence Coefficients and Determinants
There are many redundancies amongst the various coefficients that have been defined thus far. In this subsection we provide the necessary relationships between these coefficients to remove the redundancy, but also to link these to certain polynomial coefficients, in particular the tail coefficients, and to the determinants and thus the norms of the polynomials. Such relations form an algorithmic path to compute these norms.
Lemma 4.5
There exist interrelationships between the recurrence coefficients \(\alpha ^{(r)}_n\), \(\beta ^{(r)}_n\), \(\delta ^{(r)}_n\), and \(\eta ^{(r)}_n\) and also between \(\varkappa ^{(s)}_n\), \(\rho ^{(s)}_n\), \(\gamma ^{(s)}_n\), and \(\theta ^{(s)}_n\) as described by
Proof
These relationships simply follow from the definitions of the recurrence relations in terms of the \(2j-k\) and \(j-2k\) determinants. \(\square \)
Lemma 4.6
The \(2j-k\) and the \(j-2k\) systems each have only two independent recurrence coefficients due to the following interrelationships:
Proof
From (4.24) we have
by the definition of \(\delta ^{(r)}_{n}\) in (4.11). From (4.27) we have
Also from (4.14) we have
Combining the last two equations gives
again by the definition of \(\delta ^{(r)}_{n}\) in (4.11). The relations (4.117) and (4.118) can be proven similarly. \(\square \)
The following result relates the tail coefficients of the polynomials to products of certain recurrence relation coefficients.
Lemma 4.7
The polynomial tails can be expressed in terms of the recurrence coefficients as follows
Proof
These identities are immediate consequences of the recurrence relations (4.11), (4.24), (4.44), and (4.63). For example evaluating (4.11) at \(z=0\) gives \(P_{n+1}(0;r)=\delta ^{(r)}_nP_n(0;r)\) and thus (4.123) follows because \(P_0(0;r)=1\). Now, if we match the coefficients of \(z^{n+1}\) in (4.24) we obtain \(Q_{n+1}(0;r)=\beta ^{(r)}_{n}Q_{n}(0;r)\), which yields (4.124) because \(Q_0(0;r)=1\). The identities (4.125) and (4.126) can be shown similarly using respectively (4.44), and (4.63).
The next set of relations are just the inverse relations to the ones in the preceding Lemma.
Corollary 4.7.1
The polynomial tails satisfy the following pure-n recurrence relations
Corollary 4.7.2
The following relationships hold between the \(2j-k\) and \(j-2k\) polynomial tails
Proof
From (4.115) and (4.117) we have
Now (4.131) and (4.132) follow from (4.123), (4.124), (4.125), and (4.126). \(\square \)
The following result relates the tail coefficients of the polynomials to certain ratios of determinants. This is the extension of the Toeplitz relations for the reflection or Verblunsky coefficients given by Eqs. (2.19) of [35].
Lemma 4.8
The polynomial tails can be expressed in terms of the ratios of \(2j-k\) and \(j-2k\) determinants as follows
Proof
These are immediate consequences of the identities (3.1), (3.2), (3.7), and (3.8). \(\square \)
Lemma 4.9
The polynomial tails satisfy the following pure offset recurrence relations
Proof
These are immediate consequences of the identities (4.93), (4.94), (4.95), and (4.96) by matching the constant terms and coefficients of \(z^{n+1}\). \(\square \)
Lemma 4.7 establishes the construction of the tails of the orthogonal polynomials, provided the data of \(2j-k\) and \(j-2k\) determinants (and thus the constants \(\delta _n^{(r)}\),\(\beta _n^{(r)}\),\(\varkappa _n^{(r)}\), and \(\gamma _n^{(r)}\)) are given. The following theorem establishes this in the reverse direction: how to construct the \(2j-k\) and \(j-2k\) determinants from the data given as the tails of the corresponding orthogonal polynomials. This result is the extension of the Toeplitz result given by Eq.(2.20) of [35].
Theorem 4.10
The \(2j-k\) and \(j-2k\) determinants can be constructed from the tails of the orthogonal polynomials as
and
Proof
Let \(1\le \nu \le n-1\) be a fixed integer and let \(\varvec{{\mathscr {D}}}_r\) be the \((\nu +3)\times (\nu +3)\) matrix given by (2.3). Now consider the following Dodgson condensation identity:
In view of (2.3), (3.3), (4.134) and (4.135), the above identity can be written as
Using (3.3) again and replacing \(\nu \mapsto \nu -1\) yields
Now we use (4.134) to rewrite this as
where we have used (4.131). Therefore
From (3.4) we will get
Using (4.134) and noticing that \(h^{(r)}_0=D^{(r)}_1=w_r\), we have
Finally, using (3.4) we obtain (4.142). The identity (4.143) can be proven identically if one starts with the following Dodgson condensation identity:
\(\square \)
Remark 4.11
So far we have treated the offsets as arbitrary integers, however from the pure r, s recurrences of Theorem 4.4 it is clear that only those offsets that are distinct modulo 3 are independent. Thus we can use any three consecutive values of r, s. This is the analogue to the Toeplitz case where the reflection or Verblunsky coefficients corresponded to the two offsets of \( \pm 1 \). This fact is reinforced by the results of Theorem 4.10 which show that the moment determinants \( D_{n}^{(0)}, E_{n}^{(0)} \) can be constructed from polynomial tails with \( r=0, 1, 2 \) and \( s=0, -1, -2 \) respectively.
5 Multiple Integral Representations
The joint eigenvalue PDF of (1.9) is fundamental from our viewpoint and it is from this that we construct various marginal distributions, otherwise known as n-particle correlation functions, through integration over a set of “internal” variables, the complement of n “external” variables. All aspects of the theory will have representations of this form: the determinants, the bi-orthogonal polynomials and the reproducing kernels. Thus our first result of this nature is the 0-point correlation or normalisation integral. This is the extension of the Toeplitz result, Eq.(2.2), of [35].
Theorem 5.1
The moment determinants, and therefore the normalisation of the bi-orthogonal polynomials, possess the multiple integral representations
and
Proof
We have
and
So
where we have used (2.16) and (3.3). The formula (5.2) can be established similarly using (2.17) and (3.9). \(\square \)
So, in particular we obtain (2.14) and (2.15) in view of (2.12), (2.13), (5.1) and (5.2). The relationship (3.11) can be also found using the multiple integral formulae above. To that end notice that
Therefore
where
because
Note that
which is equivalent to (3.11). More generally we have the following result.
Theorem 5.2
For any integrable function f we have:
or equivalently
5.1 Multiple Integral Formulae for the Bi-orthogonal Polynomials
It is well known that the bi-orthogonal polynomials in the Toeplitz system can be written as averages of characteristic polynomials over the unitary group, see Eq.(2.16,18) of [35]. In the following Theorem we give the analogous results for the \(2j-k\) and \(j-2k\) polynomials. Another interpretation of such integrals is as rational modifications of the weight, known as Christoffel–Darboux–Uvarov transformations of the underlying bi-orthogonal system in the Toeplitz case, which was exhaustively treated in [73].
Theorem 5.3
We have the following multiple integral representations for \(2j-k\) and \(j-2k\) polynomials:
Proof
We only prove the formula for \(P_n\) as the other ones can be found similarly.
where we have denoted z by \(\zeta _0\). Therefore
\(\square \)
5.2 Multiple Integral Formulae for the Reproducing Kernels
We will require the following important lemma, which is known as the “integration over successive variables”, in a subsequent result. This is the extension of the result in the Toeplitz case, which is easy to derive following the line of Proposition 5.1.2 of [30].
Lemma 5.4
(Gaudin’s Theorem) The integration over the final variable \(\zeta _m\) of the \(m\times m\) determinant constructed from reproducing kernel entries has the evaluation
and
Proof
Let us use j and k respectively as indices of rows and columns. Expanding the determinant in the integrand along the last row gives
Recalling the normalisation (3.42) and the projection relations (3.43) for the reproducing kernel we deduce
By \(m-k-1\) successive swaps of adjacent columns we have
Equation (5.19) now follows by combining the last two equations. The proof of (5.20) is similar and we do not provide the details here. \(\square \)
Theorem 5.5
The reproducing kernels for \(2j-k\) and \(j-2k\) systems have the following multiple integral representations:
and
Proof
For simplicity of notation, in this proof we denote \(P_n(z;r),Q_n(z;r)\) and \(K_n(z_2,z_1;r)\) respectively by \(P_n(z),Q_n(z)\) and \(K_n(z_2,z_1)\). We have
where we have temporarily denoted \(z_1\) and \(z_2\) respectively by \(\zeta _0\) and \(\zeta ^{-2}_0\). Therefore
Now we apply Theorem 5.4 :
Repeating this \(n-1\) times yields
and thus \({\mathcal {D}}_n[w(\zeta )\zeta ^{-r}(\zeta -z_1)(\zeta ^{-2}-z_2)] =D^{(r)}_{n+1} K_n(z_2,z_1)\). The equation (5.25) can be established similarly and we do not provide the details here. \(\square \)
Remark 5.6
One can also see the consistency of multiple integral formulae for the reproducing kernels with the definitions (3.36) and (3.37) by considering the leading asymptotic behaviour as z or \({\mathcal {Z}}\) tend to infinity. For example as \(z \rightarrow \infty \) we have
and, expectedly, from the right hand side of (5.24) we find the same asymptotic behaviour:
by (5.13). Similar consistency checks can be done for \(K_{n}(z,{\mathcal {Z}};r)\) as \({\mathcal {Z}} \rightarrow \infty \), and also for \(L_{n}(z,{\mathcal {Z}};r)\) as \(z \rightarrow \infty \) and separately as \({\mathcal {Z}} \rightarrow \infty \).
Theorem 5.7
We have
Proof
These identities can be proven if one considers special arguments for the reproducing kernel. Indeed, to prove (5.28) we consider
by (3.36). On the other hand from (5.24) we have
where the last equality follows from (5.13). From (4.135) we have
Now (5.28) follows from (5.32), (5.33), and (5.34). The identity (5.29) can be proven by considering:
and
by (5.24) and (5.14). Equation (5.29) now follows from (5.35), (5.36) and
which is obtained by (4.134). (5.30) and (5.31) can be proven similarly, respectively by considering \( L_n(0,z;s)\) and \(L_n(z,0;s)\) and employing
which are consequences of (4.136) and (4.137) respectively. \(\square \)
Corollary 5.7.1
The following mixed recurrence relations hold
Proof
Writing (5.28) with the replacement \(r \mapsto r+2\) for n and \(n-1\) and subtracting gives
or equivalently
Now (5.39) immediately follows by recalling (5.34) and (3.3). The other three identities can be shown in a similar fashion. \(\square \)
For fixed offset values \(\hat{r}, \hat{s} \in {\mathbb {Z}}\), let us consider the following \(2j-k\) and \(j-2k\) polynomial bases:
We obviously assume that the corresponding determinants do not vanish so that the polynomials exist (and are unique, see Theorems 3.1 and 3.2). The following theorem characterizes the number of polynomials needed to represent \(P_n(z,r), \ Q_n(z,r), \ R_n(z,s)\) and \(S_n(z,s)\) respectively in terms of polynomials in the bases \({\mathscr {P}}^{(\hat{r})}_n\), \({\mathscr {Q}}^{(\hat{r})}_n\), \({\mathscr {R}}^{(\hat{s})}_n\), and \({\mathscr {S}}^{(\hat{s})}_n\) for various values of \(\hat{r}\) and \(\hat{s}\).
Theorem 5.8
Assume the non-vanishing requirements of Theorems 3.1 and 3.2 so that the polynomial bases \({\mathscr {P}}^{(\hat{r})}_n\), \({\mathscr {Q}}^{(\hat{r})}_n\), \({\mathscr {R}}^{(\hat{s})}_n\), and \({\mathscr {S}}^{(\hat{s})}_n\) are well-defined as in (5.43) and let \(m \in {\mathbb {N}}\). Then
-
1.
If it is desired to express \(P_n(z;r)\) as a linear combination of polynomials in the basis \({\mathscr {P}}^{(r-2m)}_n\), then one needs to use all \(n+1\) polynomials in \({\mathscr {P}}^{(r-2m)}_n\). While if it is desired to express \(P_n(z;r)\) in terms of polynomials in the basis \({\mathscr {P}}^{(r+2m)}_n\), then one needs to only use the following \(m+1\) polynomials in the subset
$$\begin{aligned} \left\{ P_{n}(z;r+2m), P_{n-1}(z;r+2m), \ldots , P_{n-m}(z;r+2m) \right\} \subset {\mathscr {P}}^{(r+2m)}_n. \end{aligned}$$ -
2.
If it is desired to express \(zP_n(z;r)\) as a linear combination of polynomials in \({\mathscr {P}}^{(r-2m+1)}_{n+1}\), then one needs to use all \(n+2\) polynomials in \({\mathscr {P}}^{(r-2m+1)}_{n+1}\). While if it is desired to express \(zP_n(z;r)\) in terms of polynomials in \({\mathscr {P}}^{(r+2m-1)}_{n+1}\), then one needs to only use the \(m+1\) polynomials in the subset
$$\begin{aligned}{} & {} \{ P_{n+1}(z;r+2m-1), P_{n}(z;r+2m-1), \ldots , P_{n+1-m}(z;r+2m-1) \}\\{} & {} \quad \subset {\mathscr {P}}^{(r+2m-1)}_{n+1}. \end{aligned}$$ -
3.
If it is desired to express \(Q_n(z;r)\) as a linear combination of polynomials in \({\mathscr {Q}}^{(r+m)}_n\), then one needs to use all \(n+1\) polynomials in \({\mathscr {Q}}^{(r+m)}_n\). While if it is desired to express \(Q_n(z;r)\) in terms of polynomials in \({\mathscr {Q}}^{(r-m)}_n\), then one needs to only use the \(m+1\) polynomials in the subset
$$\begin{aligned}{} & {} \{ Q_{n}(z;r-m), Q_{n-1}(z;r-m), \ldots , Q_{n-m}(z;r-m) \}\\{} & {} \quad \subset {\mathscr {Q}}^{(r-m)}_n. \end{aligned}$$ -
4.
If it is desired to express \(R_n(z;s)\) as a linear combination of polynomials in \({\mathscr {R}}^{(s-m)}_{n}\), then one needs to use all \(n+1\) polynomials in \({\mathscr {R}}^{(s-m)}_{n}\). While if it is desired to express \(R_n(z;s)\) in terms of polynomials in \({\mathscr {R}}^{(s+m)}_{n}\), then one needs to only use the \(m+1\) polynomials in the subset
$$\begin{aligned} \{R_{n}(z;s+m), R_{n-1}(z;s+m), \ldots , R_{n-m}(z;s+m) \} \subset {\mathscr {R}}^{(s+m)}_{n}. \end{aligned}$$ -
5.
If it is desired to express \(S_n(z;s)\) as a linear combination of polynomials in \({\mathscr {S}}^{(s+2m)}_n\), then one needs to use all \(n+1\) polynomials in \({\mathscr {S}}^{(s+2m)}_n\). While if it is desired to express \(S_n(z;s)\) in terms of polynomials in \({\mathscr {S}}^{(s-2m)}_n\), then one needs to only use the \(m+1\) polynomials in the subset
$$\begin{aligned} \{ S_{n}(z;s-2m), S_{n-1}(z;s-2m), \ldots , S_{n-m}(z;s-2m) \} \subset {\mathscr {S}}^{(s-2m)}_n. \end{aligned}$$ -
6.
If it is desired to express \(zS_n(z;s)\) as a linear combination of polynomials in \({\mathscr {S}}^{(s+2m-1)}_{n+1}\), then one needs to use all \(n+2\) polynomials in \({\mathscr {S}}^{(s+2m-1)}_{n+1}\). While if it is desired to express \(zS_n(z;s)\) in terms of polynomials in \({\mathscr {P}}^{(s-2m+1)}_{n+1}\), then one needs to only use the \(m+1\) polynomials in the subset
$$\begin{aligned}{} & {} \{S_{n+1}(z;s-2m+1), S_{n}(z;s-2m+1), \ldots , S_{n+1-m}(z;s-2m+1)\}\\{} & {} \quad \subset {\mathscr {S}}^{(s-2m+1)}_{n+1}. \end{aligned}$$
Proof
Theorem 5.7 establishes the statement of this theorem for expressing \(P_n(z,r), Q_n(z,r), \ R_n(z,s)\) and \(S_n(z,s)\) respectively in terms of polynomials in \({\mathscr {P}}^{(r-2)}_n\), \({\mathscr {Q}}^{(r+1)}_n\), \({\mathscr {R}}^{(s-1)}_n\), and \({\mathscr {S}}^{(s+2)}_n\), and the Corollary 5.7.1 establishes this for expressing \(P_n(z,r), \ Q_n(z,r), \ R_n(z,s)\) and \(S_n(z,s)\) respectively in terms of polynomials in \({\mathscr {P}}^{(r+2)}_n\), \({\mathscr {Q}}^{(r-1)}_n\), \({\mathscr {R}}^{(s+1)}_n\), and \({\mathscr {S}}^{(s-2)}_n\). The proof for general m follows from iterations of the aforementioned results of Theorem 5.7 and Corollary 5.7.1, and the non-vanishing determinant requirements of Theorems 3.1 and 3.2 ensure that the coefficients involved all exist and are non-zero. Let us now prove the first item for expressing \(P_n(z;r)\) in the basis \({\mathscr {P}}^{(r-2m)}_n\) via induction. The base of the induction for \(m=1\) clearly holds because of (5.28). Passing from the induction hypothesis to the desired result is obvious because by (5.28) we have \(P_{\ell }(z;r-2(m-1)) = \sum _{\nu =0}^{\ell } \hat{A}_{\nu ,\ell } P_{\nu }(z;r-2m)\), where the constants \(\hat{A}_{\nu ,\ell }\) are also described in (5.28). Thus the induction hypothesis \(P_{n}(z;r) = \sum _{\ell =0}^{n} A_{m,n} P_{\ell }(z;r-2(m-1))\), immediately implies the desired result. To prove the first item for expressing \(P_n(z;r)\) in the basis \({\mathscr {P}}^{(r+2m)}_n\) we use induction again. The base of the induction clearly holds due to (5.39). Now the induction hypothesis
in conjunction with
yields the desired result. The proofs of the other items follow similarly, where the only extra needed relations are
which are obtained from (4.11) and (4.63) respectively. \(\square \)
In the Toeplitz case there exist relations which allow one of the polynomials to be expressed in terms of a linear combination of two of the other one, see Eq.(2.21,22) of [35]. These two relations are also the components of the first order recurrence, Eq.(2.70), in the matrix variable, Eq.(2.69). Furthermore these two relations are somewhat symmetrical. However for the present system we find the following single, unsymmetrical relation, of \( Q_n \) in terms of a bilinear combination of the \( P_n \), and the analogous relation for the \( R_n, S_n \) system.
Theorem 5.9
It holds that
Proof
We only prove (5.48) as (5.49) can be proven in a similar way. From (5.14) we have
Using \(z-\zeta ^{-1} = - \zeta ^{-1}z(z^{-1}-\zeta )\), \(z+\zeta ^{-1} = - \zeta ^{-1}z(-z^{-1}-\zeta )\), (5.50) and (2.12) we have
Now, we temporarily denote \(z^{-1}\) and \(-z^{-1}\) respectively by \(\zeta _{n+1}\) and \(\zeta _{n+2}\), and thus
We have used the offsets to be \(r+2\), due to presence of \(\zeta ^{-r-2}_j\) and the fact that we are about to use the bi-orthogonality property of P’s and Q’s. We have
Therefore
Noticing that \(\prod _{j=0}^{n-1} h^{(r+2)}_j = D^{(r+2)}_n\) proves (5.48). \(\square \)
Remark 5.10
Since
we observe that (5.48) is compatible with (4.135). A similar observation shows the compatibility of (5.49) with (4.136).
5.3 The Christoffel–Darboux Identity
Having defined the reproducing kernel via a sum over products of bi-orthogonal polynomials and deduced that these polynomials satisfy third order difference equations we seek the explicit evaluation of the sum involved in the kernel. The well known Christoffel–Darboux sum in the Toeplitz result can be found in Prop. 2.5 of [35].
Theorem 5.11
The Christoffel–Darboux identity for the \(2j-k\) and \(j-2k\) systems can be respectively written as
and
Proof
Using (5.24) we have
Let us temporarily denote \(-z^{-1}_2\), \(z^{-1}_2\), and \(z_1\) respectively by \(\zeta _{n+1}\), \(\zeta _{n+2}\), and \(\zeta _{n+3}\). Note that
We have
Now (5.55) follows immediately by noticing \(\prod _{j=0}^{n-1} h^{(r+2)}_j = D^{(r+2)}_n\). \(\square \)
Remark 5.12
We have found that the sum is most simply evaluated in terms of just the polynomials \(P_n\) and is therefore unsymmetrical with respect to \(Q_n\). It is possible to replace certain terms in this determinant by \(Q_n\) using (5.48) but not all in a symmetrical way.
6 Associated Functions
Our goal in this section is to define linearly independent associated functions corresponding to the polynomials \(P_{n}(z;r)\), \(Q_{n}(z;r)\), \(R_{n}(z;s)\), and \(S_{n}(z;s)\) each of which respectively satisfies the recurrence relations (4.1), (4.2), (4.34), (4.35) or their equivalents. To this end, let us define the associated functions
It is also convenient to write these associated functions as
where
and
Notice that due to
\(F_1\) can be written in terms of \(F_2\) as
For the same reason we have the following expressions for \(\widehat{P}_n\) and \(\widehat{S}_n\)
where
In the following theorem we show that the associated functions above satisfy the same recurrence relations as the orthogonal polynomials. To this end, let us first define the following linear difference operators
and
Therefore (4.1), (4.2) (4.34), and (4.35) respectively read
Theorem 6.1
For \(n \in {\mathbb {N}}\), in addition to (6.25), It holds that
Proof
We have
Writing \(z^2 = \zeta ^2 + (z^2-\zeta ^2)\) and using (4.1) for polynomials in z and \(\zeta \) we obtain
where we have used
which can be seen from (3.1). Indeed, using the determinantal representation of \(P_n(z;r)\) we can write
Now we show that \({\mathcal {L}}_1[\check{P}_n(z;r)]=0\). Recalling (4.3),(4.4), and (3.3) we can rewrite (6.31) after simplifications as
Now consider the following Dodgson condensation identity:
which can be written as
Combining this with (6.34) yields \({\mathcal {L}}_1[\check{P}_n(z;r)] = 0\). It is obvious that the same argument, in particular, shows that \({\mathcal {L}}_1[\widehat{P}_n(z;r)] = 0\). The proof of (6.27), (6.28), and (6.29) follow from similar considerations and we do not provide the details here. We just point out that the proof of (6.28) is achieved much more easily if one first proves that
is annihilated by (6.23), and then deduce (6.28) simply in view of (6.15). Following this path one needs to show that
vanishes (\(\textrm{d}\mu (\zeta ;s)=w(\zeta )\zeta ^{-s}\textrm{d}\zeta \)), while in the “direct” proof to show that (6.11) is annihilated by (6.23), one is required to show that the expression above is zero when we replace the \((\zeta +z)\) by \((\zeta +z)^2\). This is not as easy, since the presence of the \(\zeta ^2\) in the integrand requires us to deal with bordered \(j-2k\) determinants. \(\square \)
One is expected to find three linearly independent solutions to the third order linear difference equations \({\mathcal {L}}_i[f_n(z;r)]=0\), \(i=1,2,3,4\). The following corollary gives a natural fundamental set of solutions for these difference equations, which can be immediately concluded from Theorem 6.1 due to presence of \(z^2\), as opposed to odd functions of z, in the linear difference operators (6.21) through (6.24).
Corollary 6.1.1
A fundamental set of solutions for the recurrence relations (6.21), (6.22), (6.23) and (6.24) is respectively given by \(\left\{ P_n(z;r), P_n(-z;r), \widehat{P}_n(z;r)\right\} \), \(\left\{ Q_n(z^{-2};r), \widehat{Q}_n(z;r), \widehat{Q}_n(-z;r)\right\} \), \(\left\{ R_n(z^2;s), \widehat{R}_n(z;s), \widehat{R}_n(-z;s)\right\} \) and \(\big \{S_n(z^{-1}; s), S_n(-z^{-1};s), \widehat{S}_n(z;s)\big \}\), where \(\widehat{P}_n(z;r)\), \(\widehat{Q}_n(z;r)\), \(\widehat{R}_n(z;s)\) and \(\widehat{S}_n(z;r)\) are given by (6.9), (6.10), (6.11), and (6.12).
In Theorem 5.3, Eqs.(5.13) through (5.16), we gave representations of the bi-orthogonal polynomials as averages of characteristic polynomials and in the following result we give the analogous result for the associated functions as averages of reciprocals of characteristic polynomials. This also corresponds to formulae Eq.(2.34,35) of [35] or Eq.(3.3,4) of [73] for the Toeplitz case.
Theorem 6.2
We have the following multiple integral representations for associated functions \(\widehat{P}_n(z;r)\), \(\widehat{Q}_n(z;r)\), \(\widehat{R}_n(z;s)\), and \(\widehat{S}_n(z;s)\) defined respectively by (6.9), (6.10), (6.11), and (6.12):
Proof
We show the proof only for \(\widehat{Q}_n(z;r)\) as the proofs for the others are similar. Using (2.12) we have
Using the following partial fraction decomposition
we can write
By symmetry, for each choice of m we have the same object, so we set \(m = n+1\) and write
Notice that
Therefore
Now, recalling (2.12) and (5.14) we observe that
Hence
Now (6.37) follows by recalling (6.10) and noticing
\(\square \)
A key step in understanding the recurrence structures in the \(2j-k\) and \(j-2k\) systems is their formulation as a first order \(3\times 3\) matrix difference equation. The matrix variable so defined would then be come a central object in the integrable system and possibly related to the solution of a rank 3 Riemann–Hilbert problem. One choice for the \(2\times 2\) matrix variable in the Toeplitz case was given by Eq.(2.69) along with its matrix recurrence relation Eq.(2.70) (other choices were given in Eqs.(2.73,76)) of [35].
Definition 6.1
The Casorati matrices (see e.g. [28]) associated with the recurrence relations (6.21) through (6.24) are defined as
Lemma 6.3
The Casorati matrices satisfy the following first order recurrence relations
A necessary step in establishing the existence of a valid \(3\times 3\) matrix system is to compute their Casoratians and to demonstrate their boundedness and non-vanishing character for \( z\ne 0,\infty \).
Lemma 6.4
(Abel’s Lemma, [28]) The Casoratians for the matrix systems (6.46) through (6.48) are respectively given by
Proof
Since the Casorati matrix \(\varvec{\mathfrak {P}}_n(z;r)\) satisfies the recurrence relation (6.21), its determinant satisfies the recurrence relation
which follows from rewriting the objects with index \(n+3\) in the last row of \(\det \mathfrak {P}_{n+1}(z;r)\) in terms of the objects with indices n, \(n+1,\) and \(n+2\) using (6.21) and performing row operations. Using (6.58) we can write
The formulas (6.55), (6.56), and (6.57) can be established similarly. \(\square \)
Lemma 6.5
The Casoratians with index zero appearing in Lemma 6.4 can be represented in terms of moments of the weight w and the function \(F_2\) as follows
and
Proof
Due to similarity we only show the proof for (6.60). Notice that
After performing elementary row operations we obtain
and thus
Notice that
\(\square \)
7 The Symplectic and Orthogonal Example
Now we return to the specific case of \(2j-k\) determinants which appeared in [4]. As we discussed in Sect. 1, it is shown in [4] that the leading constant \(b_{\ell }\) in the large-N asymptotic expansion of the \(2\ell \)-th moment of \(|\Lambda '_A(1)|\) (associated with \(\textrm{USp}(2N)\), \(\textrm{SO}(2N),\) and \(\textrm{O}^-(2N)\)) can be expressed in terms of evaluations of the \(\ell \times \ell \), \(2j-k\) determinant associated to the symbol
Analysing this particular determinant in full details will be carried out in our future work, but in this section as a concrete first example, we are going to present explicit formulae for the determinants, orthogonal polynomials, and recurrence coefficients corresponding to the undeformed weight
Notice that for this weight
The entries of the determinant exist if \(r \in {\mathbb {Z}}_{\ge 0}\). Let us now recall a result in [65] which is all we need to evaluate \(D^{(r)}_n\) explicitly. The equation (4.13) in [65] reads
Let \(z_j:= 1+r+2j\). From (7.4) we have
Using the functional equation for the Barnes G-function \(G(z+1)=\Gamma (z)G(z)\), we can write \(\prod _{j=1}^{n-1} \Gamma (1+j) = G(n+1)\). Also using the identity \(\Gamma (2z)=\pi ^{-\frac{1}{2}}2^{2z-1}\Gamma (z)\Gamma (z+\tfrac{1}{2})\), we write
Therefore after simplifications (7.5) can be expressed as
Thus \(D^{(r)}_n\) exists and is nonzero for all \(n \in {\mathbb {N}}\) and \(r \in {\mathbb {Z}}_{\ge 0}\) (see (7.3) and below) , which ensures that the polynomials \(P_n(z;r)\) and \(Q_n(z;r)\) exist and are unique for all \(n \in {\mathbb {N}}\) and \(r \in {\mathbb {Z}}_{\ge 0}\) (see the discussion in the beginning of Sect. 3).
Now, we can immediately find the recurrence coefficients and the norm \(h^{(r)}_n\) of the bi-orthogonal polynomials. Indeed, from (3.3) and (7.7) we find
Recalling (4.3), (4.4), (4.5), (4.6) and using (7.7) and (7.8) we find
Notice that, as expected, (7.9), (7.10), (7.11), and (7.12) are in agreement with (4.113). Using these expressions for the recurrence coefficients we can write the pure-degree and pure-offset recurrence relations (4.1), (4.2), (4.93), and (4.94) as
and
A straight-forward residue calculation yields the following result about the Carathéodory function \(F_2(z;r)\). Notice that due to (6.16) this gives an evaluation of \(F_1(z;r)\) as well.
Lemma 7.1
The Carathéodory function \(F_2(z;r)\) associated to the weight \(w(z)=e^z\) evaluates to
Lemma 7.2
The \(2j-k\) polynomials of the first and the second kind associated to the exponential weight (7.2) are given by
and
Proof
Let us first prove the formula for \(Q_n(z;r)\). Recalling the notations in (2.22), from (3.2) we have
Again, let \(z_j \equiv 1+r+2j\) and use (7.4) to obtain
Notice that
Straightforward calculation of each of the double products on the right hand side and simplifications yield
By combining (7.7), (7.21), and (7.23) and performing simplifications we obtain
If we write it in terms of rising factorials we get
Combining this with (2.22) yields
For \(P_n(z;r)\) it is possible to provide a constructive proof, however it is simpler to justify that
are the coefficients of the P-polynomial (see (2.22)) associated to (7.2). Using the uniqueness of the orthogonal polynomials \(P_n(z;r)\) (see (7.7) and below), if the polynomial \(P_n(z;r)\) defined by (2.22) and (7.27) satisfies the recurrence relation (7.13) it must be the only one, and this is exactly what we want to justify now. To this end, let us first extract a recurrence relation satisfied by the polynomial coefficients \({\mathcal {p}}^{(r)}_{n,\ell }\) by matching the coefficients of \(z^{\ell +2}\) in (7.13):
Combining (7.27) and (7.28) we obtain
and
respectively for the left-hand side of (7.28), and for its right-hand side. Note that
by straight-forward simplifications. Therefore (7.30) can be written as
Further simplification shows that (7.32), and thus (7.30), can be written as
In a similar way, one can see that (7.29) also reduces to (7.33). This shows that \({\mathcal {p}}^{(r)}_{n,\ell }\) given by (7.27) is the solution of (7.28), and thus finishes the proof. \(\square \)
Remark 7.3
Unlike \(Q_n(z;r)\), the polynomials \(P_n(z;r)\) associated with the weight \(e^z\) can not be written as hypergeometric functions, however the coefficients \({\mathcal {p}}^{(r)}_{n,\ell }\) can be written as a difference of two hypergeometric functions. Indeed, by straight forward calculation after splitting the sum (7.27) into two parts over even and odd indices m, one arrives at
Remark 7.4
There is yet another representation for the coefficients \({\mathcal {p}}^{(r)}_{n,\ell }\). Let us consider the backward difference operator \(\nabla _t\) defined as
If we compose \(\nabla _t\) with itself n times, then it acts on f as
with the convention that \(\nabla ^0_t\) is the identity operator. Therefore
and thus
Remark 7.5
From (4.123) and (7.9) we can directly compute \({\mathcal {p}}^{(r)}_{n,0}\) associated to \(w(z)=e^z\). Indeed
Moreover, from (7.9) and (4.11) one can write a non-homogeneous linear recurrence relation of order one for \({\mathcal {p}}^{(r)}_{n,\ell +1}\), and in particular for \({\mathcal {p}}^{(r)}_{n,1}\). Solving this recurrence relation (using, e.g., the variation of parameters method) one finds
Notice that both (7.39) and(7.40) are in agreement with the general formula (7.27) (or equivalently with (7.38)).
8 Prospects of Future Work
In our study of \(2j-k\) and \(j-2k\) bi-orthogonal polynomial systems on the unit circle we have concentrated on laying out the theory for generic class of weights and only considered the essential orthogonality structures. Even within this circumscribed area there are other important aspects that are yet to be investigated. Our purpose in this section is to bring the \(2j-k\) and \(j-2k\) systems to the attention of a wider audience of mathematicians by providing a (non-exhaustive) list of open problems which we believe are significant for the development of the theory of \(2j-k\) and \(j-2k\) systems, and consequently for the theory of \(pj-qk\) systems, with relatively prime p and q. One example of this appears to be the novel form of the joint density function for the \(pj-qk\) systems which can be rewritten as the product of differences
and features a primary repulsion of \( \beta =2 \) as \(\theta _k-\theta _j \rightarrow 0 \) along with weaker repulsions of \(\beta =1\) at as \( \theta _k-\theta _j \rightarrow \pm \frac{2}{p}\pi ,\pm \frac{2}{q}\pi ,\ldots \).
There has been a growing interest in recent years about the asymptotic aspects of structured moment determinants other than the well-known cases of Toeplitz and Hankel. Among those studies are asymptotics of Toeplitz+Hankel determinants [26, 40], and recently the bordered Toeplitz determinants[9]. A successful Riemann–Hilbert formulation for \(2j-k\) and \(j-2k\) systems places them among the collection of structured moment determinants for which the large size asymptotics of the determinant and the large degree asymptotics of the corresponding systems of bi-orthogonal polynomials can be investigated. In this regard, the formulation of a (\(3\times 3\)) Riemann–Hilbert problem corresponding to these bi-orthogonal polynomial systems, both as a means of founding the whole theory upon this and deriving key results but also to pave the way for a suitable Deift–Zhou analysis will be the topic of a future publication. At a later stage, the asymptotic description of these determinants can be investigated when the symbol w is of Fisher–Hartwig type, similar to what has been done for Toeplitz [26], Hankel [18, 20], and Muttalib–Borodin [19] determinants.
On a different but possibly related perspective, it would be interesting to search for possible Fredholm determinant representations for the \(2j-k\) and \(j-2k\) determinants in the same spirit as the Fredholm determinant representations for Toeplitz determinants which could also unveil a Riemann–Hilbert formulation (see [25] where the connection was first found for Toeplitz determinants, and also [49]). Also looking for the possible \(2j-k/j-2k\) analogue of the Fredholm sine-kernel determinant representations for gap probabilities in random matrix theory seems to be another important front to be investigated (see e.g. [54] and references therein). Recalling the last paragraph of Sect. 1, it would be interesting to ask if from the viewpoint of Operator Theory, the analogue of the (strong) Szegő limit theorem can be proven for the \(2j-k/j-2k\) determinants (See. e.g. the monographs [12, 13]). If this is plausible, we could hope for arriving at yet another example of close interaction between Operator Theory and Riemann–Hilbert techniques.
What is mentioned above is only a short list and obviously the full list of \(2j-k/j-2k\) analogues of Toeplitz theory can not be enumerated in full here, given the voluminous literature on the Toeplitz side. Nevertheless we point out some other obvious candidates: Rational approximations to the Carathéodory functions with a two-point (\(z=0\) and \(z=\infty \)) Hermite–Padé approximation of the associated functions; Quadrature problems on the unit circle and Christoffel weights; The elucidation of an analogue of the CMV matrix[15] in the Toeplitz case, i.e. the minimum banded representation of the spectral multiplication operator; and the analogue of the discrete Fredholm determinant arising from the scattering theory approach to the matrix difference system for the Toeplitz system, commonly known as the Geronimo-Case-Borodin-Okounkov identity [11, 39].
Tasks which we envisage completing progressively include the representation of the derivatives of the polynomials and associated functions in terms of the fore-mentioned bases. In the context of semi-classical weights this will provide the pair of Lax operators of the integrable system. We anticipate making progress on the question raised in [4]
It would be very interesting to determine whether or not there exists a differential equation arising from our formula (5) which plays a role for symplectic and orthogonal types that Painlevé III plays for unitary symmetry.
Notes
The bar notation in \(\{\bar{\varphi }_n(z)\}^{\infty }_{n=0}\) is a standard notation for the polynomials orthogonal to the polynomials \(\{\varphi _n(z)\}^{\infty }_{n=0}\) (see e.g. [35]). If the weight w is complex-valued the bar notation does not represent the complex conjugation, while if the weight w is real-valued the bar notation represents the complex conjugation.
An initial sequence of moment determinants can be non-zero, but the remainder will vanish identically.
which is also known as the Desnanot–Jacobi identity or the Sylvester determinant identity.
In [71] it is shown that the \(j-qk\) biorthogonal polynomials satisfy a \((q+2)\)-term recurrence relation, without explicit descriptions of the recurrence coefficients.
Abbreviations
- \(w_k\) :
-
The k-th Fourier coefficient of w(z), \(k \in {\mathbb {Z}}\)
- \(\varvec{{\mathscr {D}}}_r(z,{\mathcal {Z}})\) :
-
The \((n+3)\times (n+3)\) master matrix of \(2j-k\) structure with offset \(r\in {\mathbb {Z}}\)
- \({\mathscr {D}}_r(z,{\mathcal {Z}})\) :
-
The determinant of \(\varvec{{\mathscr {D}}}_r(z,{\mathcal {Z}})\)
- \(\varvec{{\mathscr {E}}}_s(z,{\mathcal {Z}})\) :
-
The \((n+3)\times (n+3)\) master matrix of \(j-2k\) structure with offset \(s\in {\mathbb {Z}}\)
- \({\mathscr {E}}_s(z,{\mathcal {Z}})\) :
-
The determinant of \(\varvec{{\mathscr {E}}}_s(z,{\mathcal {Z}})\)
- \(\varvec{D}^{(r)}_{n}\) :
-
The \(n\times n\) matrix of \(2j-k\) structure with offset \(r \in {\mathbb {Z}}\)
- \(D^{(r)}_{n}\) :
-
The determinant of \(\varvec{D}^{(r)}_{n}\)
- \(\varvec{E}^{(s)}_{n}\) :
-
The \(n\times n\) matrix of \(j-2k\) structure with offset \(s \in {\mathbb {Z}}\)
- \(E^{(s)}_{n}\) :
-
The determinant of \(\varvec{E}^{(s)}_{n}\)
- \({\mathcal {D}}_n{[}f(\zeta ){]}\) :
-
The \(2j-k\) multiple integral with weight f
- \({\mathcal {E}}_n{[}f(\zeta ){]}\) :
-
The \(j-2k\) multiple integral with weight f
- \(P_{n}(z;r)\) :
-
The monic \(2j-k\) polynomial of the first kind with offset \(r \in {\mathbb {Z}}\) of degree n
- \(Q_{n}(z;r)\) :
-
The monic \(2j-k\) polynomial of the second kind with offset \(r \in {\mathbb {Z}}\) of degree n
- \(R_{n}(z;s)\) :
-
The monic \(j-2k\) polynomial of the first kind with offset \(s \in {\mathbb {Z}}\) of degree n
- \(S_{n}(z;s)\) :
-
The monic \(j-2k\) polynomial of the second kind with offset \(s \in {\mathbb {Z}}\) of degree n
- \(h^{(r)}_{n} \) :
-
The norm of \(2j-k\) bi-orthogonal polynomials
- \(g^{(s)}_{n} \) :
-
The norm of \(j-2k\) bi-orthogonal polynomials
- \(\varvec{Z}_n(z)\) :
-
The \((n+1)\)-vector of monomials of degrees zero to n
- \(\varvec{P}_{n}(z;r)\) :
-
The \((n+1)\)-vector of P-polynomials of degrees zero to n
- \(\varvec{Q}_{n}(z;r)\) :
-
The \((n+1)\)-vector of Q-polynomials of degrees zero to n
- \(\varvec{R}_{n}(z;s)\) :
-
The \((n+1)\)-vector of R-polynomials of degrees zero to n
- \(\varvec{S}_{n}(z;s)\) :
-
The \((n+1)\)-vector of S-polynomials of degrees zero to n
- \(\varvec{h}^{(r)}_{n}\) :
-
The \((n+1)\times (n+1)\) diagonal matrix of \(2j-k\) norms
- \(\varvec{g}^{(s)}_{n}\) :
-
The \((n+1)\times (n+1)\) diagonal matrix of \(j-2k\) norms
- \(\varvec{{\mathcal {P}}}_{n}^{(r)}\) and \(\varvec{{\mathcal {Q}}}_{n}^{(r)}\) :
-
The \((n+1)\times (n+1)\) lower triangular matrices in the LDU decomposition of \(\varvec{D}^{(r)}_{n+1}\)
- \(\varvec{{\mathcal {R}}}_{n}^{(s)}\) and \(\varvec{{\mathcal {S}}}_{n}^{(s)}\) :
-
The \((n+1)\times (n+1)\) lower triangular matrices in the LDU decomposition of \(\varvec{E}^{(s)}_{n+1}\)
- \(p^*(z)\) :
-
The reciprocal polynomial associated to the polynomial p(z)
- \({\mathcal {p}}^{(r)}_{n,\ell }\) :
-
The coefficient of \(z^{\ell }\) in \(P_{n}(z;r)\)
- \({\mathcal {q}}^{(r)}_{n,\ell }\) :
-
The coefficient of \(z^{\ell }\) in \(Q_{n}(z;r)\)
- \({\mathcal {r}}^{(s)}_{n,\ell }\) :
-
The coefficient of \(z^{\ell }\) in \(R_{n}(z;s)\)
- \({\mathcal {s}}^{(s)}_{n,\ell }\) :
-
The coefficient of \(z^{\ell }\) in \(S_{n}(z;s)\)
- \(K_{n}(z,{\mathcal {Z}};r) \) :
-
The reproducing Kernel of the \(2j-k\) bi-orthogonal polynomials
- \(L_{n}(z,{\mathcal {Z}};s) \) :
-
The reproducing Kernel of the \(j-2k\) bi-orthogonal polynomials
- \(\delta ^{(r)}_{n}\) and \(\eta ^{(r)}_{n}\) :
-
The recurrence coefficients associated to \(P_n(z;r)\)
- \(\beta ^{(r)}_{n}\) and \(\alpha ^{(r)}_{n}\) :
-
The recurrence coefficients associated to \(Q_n(z;r)\)
- \(\varkappa ^{(s)}_{n}\) and \(\rho ^{(s)}_{n}\) :
-
The recurrence coefficients associated to \(R_n(z;s)\)
- \(\gamma ^{(s)}_{n}\) and \(\theta ^{(s)}_{n}\) :
-
The recurrence coefficients associated to \(S_n(z;s)\)
- \({\mathscr {P}}^{(r)}_n\) :
-
The basis for polynomials of degree at most n consisting of \(P_m(z;r)\), \(m=0,1,\ldots ,n\)
- \({\mathscr {Q}}^{(r)}_n\) :
-
The basis for polynomials of degree at most n consisting of \(Q_m(z;r)\), \(m=0,1,\ldots ,n\)
- \({\mathscr {R}}^{(s)}_n\) :
-
The basis for polynomials of degree at most n consisting of \(R_m(z;s)\), \(m=0,1,\ldots ,n\)
- \({\mathscr {S}}^{(s)}_n\) :
-
The basis for polynomials of degree at most n consisting of \(S_m(z;s)\), \(m=0,1,\ldots ,n\)
- \(\check{P}_n(z;r)\) and \(\widehat{P}_n(z;r)\) :
-
Associated functions corresponding to \(P_n(z;r)\)
- \(\check{Q}_n(z;r)\) and \(\widehat{Q}_n(z;r)\) :
-
Associated functions corresponding to \(Q_n(z;r)\)
- \(\check{R}_n(z;s)\) and \(\widehat{R}_n(z;s)\) :
-
Associated functions corresponding to \(R_n(z;s)\)
- \(\check{S}_n(z;s)\) and \(\widehat{S}_n(z;s)\) :
-
Associated functions corresponding to \(S_n(z;s)\)
- \(F_1\) and \(F_2\) :
-
Carathéodory functions
- \({\mathcal {L}}_1\) :
-
Linear difference operator annihilating \(P_n(z;r)\)
- \({\mathcal {L}}_2\) :
-
Linear difference operator annihilating \(Q_n(z^{-2};r)\)
- \({\mathcal {L}}_3\) :
-
Linear difference operator annihilating \(R_n(z^2;s)\)
- \({\mathcal {L}}_4\) :
-
Linear difference operator annihilating \(S_n(z^{-1};r)\)
- \(\varvec{\mathfrak {P}}_n(z;r)\) :
-
Casorati matrix annihilated by \({\mathcal {L}}_1\)
- \(\varvec{\mathfrak {Q}}_n(z;r)\) :
-
Casorati matrix annihilated by \({\mathcal {L}}_2\)
- \(\varvec{\mathfrak {R}}_n(z;s)\) :
-
Casorati matrix annihilated by \({\mathcal {L}}_3\)
- \(\varvec{\mathfrak {S}}_n(z;s)\) :
-
Casorati matrix annihilated by \({\mathcal {L}}_4\)
References
Abeles, F.F.: Dodgson condensation: the historical and mathematical development of an experimental method. Linear Algebra Appl. 429(2–3), 429–438 (2008)
Adler, M., van Moerbeke, P.: Integrals over classical groups, random permutations, Toda and Toeplitz lattices. Commun. Pure Appl. Math. 54(2), 153–205 (2001). arXiv:math.CO/9912143 [math.CO]
Adler, M., van Moerbeke, P.: Recursion relations for unitary integrals, combinatorics and the Toeplitz lattice. Commun. Math. Phys. 237(3), 397–440 (2003)
Altuğ, S.A., Bettin, S., Petrow, I., Rishikesh, Whitehead, I.: A recursion formula for moments of derivatives of random matrix polynomials. Q. J. Math. 65(4), 1111–1125 (2014)
Arora, S.C., Batra, R.: On generalized slant Toeplitz operators. Indian J. Math. 45(2), 121–134 (2003)
Arora, S.C., Batra, R.: On generalized slant Toeplitz operators with continuous symbols. Yokohama Math. J. 51(1), 1–9 (2004)
Arora, S.C., Batra, R.: Spectra of generalised slant Toeplitz operators. In: Analysis and Applications, pp. 43–56. Allied Publ., New Delhi (2004)
Arora, S.C., Batra, R.: Generalized slant Toeplitz operators on \(H^2\). Math. Nachr. 278(4), 347–355 (2005)
Basor, E., Ehrhardt, T., Gharakhloo, R., Its, A., Li, Y.: Asymptotics of bordered Toeplitz determinants and next-to-diagonal Ising correlations. J. Stat. Phys. 187(1), 49 (2022)
Borodin, A.: Biorthogonal ensembles. Nucl. Phys. B 536(3), 704–732 (1999)
Borodin, A., Okounkov, A.: A Fredholm determinant formula for Toeplitz determinants. Integral Equ. Oper. Theory 37, 386–396 (2000)
Böttcher, A., Silbermann, B.: Introduction to Large Truncated Toeplitz Matrices. Springer, New York (1999)
Böttcher, A., Silbermann, B.: Analysis of Toeplitz Operators, 2nd edn. Springer Monographs in Mathematics. Springer, Berlin (2006). (Prepared jointly with Alexei Karlovich)
Bressoud, D.M.: Proofs and Confirmations. MAA Spectrum. Mathematical Association of America, Washington, DC; Cambridge University Press, Cambridge (1999). (The story of the alternating sign matrix conjecture)
Cantero, M.J., Moral, L., Velázquez, L.: Five-diagonal matrices and zeros of orthogonal polynomials on the unit circle. Linear Algebra Appl. 362, 29–56 (2003)
Carlitz, L.: A note on certain biorthogonal polynomials. Pacific J. Math. 24, 425–430 (1968)
Carlitz, L.: Problem 72-17, biorthogonal conditions for a class of polynomials. SIAM Rev. 15, 670–672 (1973)
Charlier, C.: Asymptotics of Hankel determinants with a one-cut regular potential and Fisher–Hartwig singularities. Int. Math. Res. Not. IMRN 24, 7515–7576 (2019)
Charlier, C.: Asymptotics of Muttalib–Borodin determinants with Fisher–Hartwig singularities. Selecta Math. (N.S.) 28, 50 (2022)
Charlier, C., Gharakhloo, R.: Asymptotics of Hankel determinants with a Laguerre-type or Jacobi-type potential and Fisher–Hartwig singularities. Adv. Math. 383, 107672 (2021)
Claeys, T., Romano, S.: Biorthogonal ensembles with two-particle interactions. Nonlinearity 27(10), 2419–2444 (2014)
Conrey, J.B., Farmer, D.W., Keating, J.P., Rubinstein, M.O., Snaith, N.C.: Autocorrelation of random matrix polynomials. Commun. Math. Phys. 237(3), 365–395 (2003)
Conrey, J.B., Farmer, D.W., Keating, J.P., Rubinstein, M.O., Snaith, N.C.: Lower order terms in the full moment conjecture for the Riemann zeta function. J. Number Theory 128(6), 1516–1554 (2008)
Conrey, J.B., Rubinstein, M.O., Snaith, N.C.: Moments of the derivative of characteristic polynomials with an application to the Riemann zeta function. Commun. Math. Phys. 267(3), 611–629 (2006)
Deift, P.: Integrable operators. In: Differential Operators and Spectral Theory, Volume 189 of Amer. Math. Soc. Transl. Ser. 2, pp. 69–84. Amer. Math. Soc., Providence (1999)
Deift, P., Its, A., Krasovsky, I.: Asymptotics of Toeplitz, Hankel, and Toeplitz+Hankel determinants with Fisher–Hartwig singularities. Ann. Math. (2) 174(2), 1243–1299 (2011)
Deift, P., Its, A., Krasovsky, I.: Toeplitz matrices and Toeplitz determinants under the impetus of the Ising model: some history and some recent results. Commun. Pure Appl. Math. 66(9), 1360–1438 (2013)
Elaydi, S.: An Introduction to Difference Equations. Undergraduate Texts in Mathematics, 3rd edn. Springer, New York (2005)
Forrester, P.J.: Growth models, random matrices and Painlevé transcendents. Nonlinear 16(6), R27–R49 (2003)
Forrester, P.J.: Log Gases and Random Matrices. London Mathematical Society Monograph, vol. 34, 1st edn. Princeton University Press, Princeton (2010)
Forrester, P.J., Frankel, N.E., Garoni, T.M., Witte, N.S.: Painlevé transcendent evaluations of finite system density matrices for 1d impenetrable bosons. Commun. Math. Phys. 238(1–2), 257–285 (2003)
Forrester, P.J., Ipsen, J.R.: Selberg integral theory and Muttalib–Borodin ensembles. Adv. Appl. Math. 95, 152–176 (2018)
Forrester, P.J., Wang, D.: Muttalib–Borodin ensembles in random matrix theory—realisations and correlation functions. Electron. J. Probab. 22(54), 43 (2017). arXiv:1502.07147
Forrester, P.J., Witte, N.S.: Discrete Painlevé equations, orthogonal polynomials on the unit circle, and \(n\)-recurrences for averages over \({U(N)}\) - \({P}_{III^{\prime }}\), and \({P}_{V}\)\(\tau \)-functions. Int. Math. Res. Not. 4, 159–183 (2004)
Forrester, P.J., Witte, N.S.: Bi-orthogonal polynomials on the unit circle, regular semi-classical weights and integrable systems. Constr. Approx. 24(2), 201–237 (2006)
Fulmek, M., Kleber, M.: Bijective proofs for Schur function identities which imply Dodgson’s condensation formula and Plücker relations. Electron. J. Combin. 8(1), 16 (2001)
Genin, R., Calvez, L.C.: Sur les fonctions génératrices de certains polynômes biorthogonaux. C. R. Acad. Sci. Paris Sér. A-B 268, A1564–A1567 (1969)
Genin, R., Calvez, L.C.: Sur quelques propriétés de certains polynômes biorthogonaux. C. R. Acad. Sci. Paris Sér. A-B 269, A33–A35 (1969)
Geronimo, J.S., Case, K.M.: Scattering theory and polynomials orthogonal on the unit circle. J. Math. Phys. 20, 299–310 (1979)
Gharakhloo, R., Its, A.: A Riemann–Hilbert approach to asymptotic analysis of Toeplitz+Hankel determinants. SIGMA Symmetry Integr. Geom. Methods Appl. 16, 100 (2020)
Ho, M.C.: Spectral properties of slant Toeplitz operators. Thesis (Ph.D.), Purdue University, ProQuest LLC, Ann Arbor (1996)
Ho, M.C.: Properties of slant Toeplitz operators. Indiana Univ. Math. J. 45(3), 843–862 (1996)
Ho, M.C.: Spectra of slant Toeplitz operators with continuous symbols. Michigan Math. J. 44(1), 157–166 (1997)
Ho, M.C.: Adjoints of slant Toeplitz operators. Integral Equ. Oper. Theory 29(3), 301–312 (1997)
Ho, M.C.: Adjoints of slant Toeplitz operators. II. Integral Equ. Oper. Theory 41(2), 179–188 (2001)
Il’yasov, M.N.: An analogue of the Christoffel–Darboux formula for biorthogonal polynomials. Izv. Akad. Nauk Kazakh. SSR Ser. Fiz.-Mat. 5, 61–64 (1983)
Iserles, A., Nørsett, S.P.: On the theory of biorthogonal polynomials. Trans. Am. Math. Soc. 306(2), 455–474 (1988)
Iserles, A., Nørsett, S.P.: Christoffel–Darboux-type formulae and a recurrence for biorthogonal polynomials. Constr. Approx. 5(4), 437–453 (1989)
Its, A.R., Tracy, C.A., Widom, H.: Random words, Toeplitz determinants and integrable systems. II. Adv. Nonlinear Math. Sci. 152(153), 199–224 (2001)
Jimbo, M., Miwa, T.: Deformation of linear ordinary differential equations. I. Proc. Japan Acad. Ser. A Math. Sci. 56(4), 143–148 (1980)
Keating, J.P., Snaith, N.C.: Random matrix theory and \(L\)-functions at \(s=1/2\). Commun. Math. Phys. 214(1), 91–110 (2000)
Konhauser, J.D.E.: Some properties of biorthogonal polynomials. J. Math. Anal. Appl. 11, 242–260 (1965)
Konhauser, J.D.E.: Biorthogonal polynomials suggested by the Laguerre polynomials. Pacific J. Math. 21, 303–314 (1967)
Krasovsky, I.: Aspects of Toeplitz determinants. In: Random Walks, Boundaries and Spectra, Volume 64 of Progress in Probability, pp. 305–324. Springer, Basel (2011)
Kuijlaars, A.B.J., McLaughlin, K.T.-R.: A Riemann–Hilbert problem for biorthogonal polynomials. J. Comput. Appl. Math. 178(1–2), 313–320 (2005)
Kuijlaars, A.B.J.: Multiple orthogonal polynomial ensembles. In: Recent Trends in Orthogonal Polynomials and Approximation Theory, Volume 507 of Contemporary Mathematics, pp. 155–176. Amer. Math. Soc., Providence (2010)
Madhekar, H.C., Thakare, N.K.: Biorthogonal polynomials suggested by the Jacobi polynomials. Pacific J. Math. 100(2), 417–424 (1982)
Madhekar, H.C., Thakare, N.K.: Multilateral generating functions for biorthogonal polynomials suggested by the Jacobi polynomials. Indian J. Pure Appl. Math. 15(2), 161–170 (1984)
Madhekar, H.C., Thakare, N.K.: On the second set \(\{K_n(\alpha,\beta, k; x)\}\) of biorthogonal polynomials suggested by Jacobi polynomials. Bull. Inst. Math. Acad. Sinica 12(4), 413–422 (1984)
Madhekar, H.C., Thakare, N.K.: Biorthogonal polynomials suggested by the Hermite polynomials. Indian J. Pure Appl. Math. 17(8), 1031–1041 (1986)
Madhekar, H.C., Thakare, N.K.: Results involving a pair of biorthogonal polynomials related to Jacobi polynomials. Bull. Inst. Math. Acad. Sinica 14(3), 299–313 (1986)
Magnus, A.P.: MAPA 3072A special topics in approximation theory. https://perso.uclouvain.be/alphonse.magnus/ (2013)
McCoy, B., Wu, T.T.: The Two-Dimensional Ising Model. Harvard University Press, Harvard (1973)
Muttalib, K.A.: Random matrix models with additional interactions. J. Phys. A 28(5), L159–L164 (1995)
Normand, J.M.: Calculation of some determinants using the s-shifted factorial. J. Phys. A Math. Gen. 37(22), 5737 (2004)
Prabhakar, T.R.: On a set of polynomials suggested by Laguerre polynomials. Pacific J. Math. 35, 213–219 (1970)
Preiser, S.: An investigation of biorthogonal polynomials derivable from ordinary differential equations of the third order. J. Math. Anal. Appl. 4, 38–64 (1962)
Raizada, S.K.: Some theorems associated with bilinear and multilinear generating functions involving Konhauser polynomials. J. Indian Math. Soc. (N.S.) 59(1–4), 87–95 (1993)
Srivastava, H.M.: On the Konhauser sets of biorthogonal polynomials suggested by the Laguerre polynomials. Pacific J. Math. 49, 489–492 (1973)
Szegő, G.: Orthogonal Polynomials, vol. 23, 3rd edn. Colloquium Publications, Providence (1967)
Wang, B., Chang, X.-K., Yue, X.-L.: A generalization of Laurent biorthogonal polynomials and related integrable lattices. J. Phys. A 55(21), 15 (2022)
Weyl, H.: The Classical Groups. Their Invariants and Representations. Princeton University Press, Princeton (1939)
Witte, N.S.: Bi-orthogonal systems on the unit circle, regular semi-classical weights and integrable systems. II. J. Approx. Theory 161(2), 565–616 (2009)
Acknowledgement
We gratefully acknowledge the American Institute of Mathematics, San Jose, California for the invitation and funding to attend the workshop Painlevé equations and their applications, 6-10 February, 2017 where this project was initiated. Also we would like to thank Christophe Charlier and Torsten Ehrhardt for their useful suggestions and comments.
Funding
Open Access funding enabled and organized by CAUL and its Member Institutions
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Mourad Ismail.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Gharakhloo, R., Witte, N.S. Modulated Bi-Orthogonal Polynomials on the Unit Circle: The \(2j-k\) and \(j-2k\) Systems. Constr Approx 58, 1–74 (2023). https://doi.org/10.1007/s00365-022-09604-2
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00365-022-09604-2
Keywords
- Bi-orthogonal polynomials on the unit circle
- Toeplitz matrices
- Linear difference equations
- Random matrix theory