arXiv++ Combinatorics

This contribution summarizes recent work of the authors that combines methods from dynamical systems theory (discrete Painlevé equations) and asymptotic analysis of orthogonal polynomial recurrences, to address long-standing questions in map enumeration. Given a genus $g$, we present a framework that provides the generating function for the number of maps that can be realized on a surface of that genus. In the case of 4-valent maps, our methodology leads to explicit expressions for map counts. For general even or mixed valence, the number of vertices of the map specifies the relevant order of the derivatives of the generating function that needs to be considered. Beyond summarizing our own results, we provide context for the program highlighted in this article through a brief review of the literature describing advances in map enumeration. In addition, we discuss open problems and challenges related to this fascinating area of research that stands at the intersection of statistical physics, random matrices, orthogonal polynomials, and discrete dynamical systems theory.

The central object of study in this paper are infinite banded Hessenberg matrices admitting factorisations as products of bidiagonal matrices. In the two main novel results of this paper, we show that these Hessenberg matrices are associated with the decomposition of $(r+1)$-fold symmetric $r$-orthogonal polynomials and are the production matrices of the generating polynomials of $r$-Dyck paths. We combine the aforementioned bidiagonal matrix factorisations and the recently found connection of multiple orthogonal polynomials with lattice paths and branched continued fractions to study $(r+1)$-fold symmetric $r$-orthogonal polynomials on a star-like set of the complex plane and their decomposition via multiple orthogonal polynomials on the positive real line. As an explicit example, we give formulas as terminating hypergeometric series for the Appell sequences of $(r+1)$-fold symmetric $r$-orthogonal polynomials on a star-like set and show that the densities of their orthogonality measures can be expressed via Meijer G-functions on the positive real line.

The notion of multivariate $P$- and $Q$-polynomial association scheme has been introduced recently, generalizing the well-known univariate case. Numerous examples of such association schemes have already been exhibited. In particular, it has been demonstrated that the non-binary Johnson scheme is a bivariate $P$-polynomial association scheme. We show here that it is also a bivariate $Q$-polynomial association scheme for some parameters. This provides, with the $P$-polynomial structure, the bispectral property (i.e. the recurrence and difference relations) of a family of bivariate orthogonal polynomials made out of univariate Krawtchouk and dual Hahn polynomials. The algebra based on the bispectral operators is also studied together with the subconstituent algebra of this association scheme.

Our focus is on the set of lower-triangular, infinite matrices that have natural operations like addition, multiplication by a number, and matrix multiplication. With respect to addition this set forms and abelian group while with respect to matrix multiplication, the invertivle elements of the set form a group. The set becomes an algebra (non-commutative in fact) with unity when all three operations are considered together. We indicate important properties of the algebraic structures obtained in this way. In particular, we indicate several sub-groups or sub-rings. Among sub-groups, we consider the group of Riordan matrices and indicate its several sub-groups. We show a variety of examples (approximately 20) of matrices that are composed of the sequences of important polynomial or number families as entries of certain lower-triangular infinite matrices. New, significant relationships between these families can be discovered by applying well-known matrix operations like multiplication and inverse calculation to this representation. The paper intends to compile numerous simple facts about the lower-triangular matrices, specifically the family of Rionian matrices, and briefly review their properties.

We introduce a systematic approach to express generating functions for the enumeration of maps on surfaces of high genus in terms of a single generating function relevant to planar surfaces. Central to this work is the comparison of two asymptotic expansions obtained from two different fields of mathematics: the Riemann-Hilbert analysis of orthogonal polynomials and the theory of discrete dynamical systems. By equating the coefficients of these expansions in a common region of uniform validity in their parameters, we recover known results and provide new expressions for generating functions associated with graphical enumeration on surfaces of genera 0 through 7. Although the body of the article focuses on 4-valent maps, the methodology presented here extends to regular maps of arbitrary even valence and to some cases of odd valence, as detailed in the appendices.

It is known that the notion of a transitive subgroup of a permutation group $G$ extends naturally to subsets of $G$. We consider subsets of the general linear group $\operatorname{GL}(n,q)$ acting transitively on flag-like structures, which are common generalisations of $t$-dimensional subspaces of $\mathbb{F}_q^n$ and bases of $t$-dimensional subspaces of $\mathbb{F}_q^n$. We give structural characterisations of transitive subsets of $\operatorname{GL}(n,q)$ using the character theory of $\operatorname{GL}(n,q)$ and interprete such subsets as designs in the conjugacy class association scheme of $\operatorname{GL}(n,q)$. In particular we generalise a theorem of Perin on subgroups of $\operatorname{GL}(n,q)$ acting transitively on $t$-dimensional subspaces. We survey transitive subgroups of $\operatorname{GL}(n,q)$, showing that there is no subgroup of $\operatorname{GL}(n,q)$ with $1<t<n$ acting transitively on $t$-dimensional subspaces unless it contains $\operatorname{SL}(n,q)$ or is one of two exceptional groups. On the other hand, for all fixed $t$, we show that there exist nontrivial subsets of $\operatorname{GL}(n,q)$ that are transitive on linearly independent $t$-tuples of $\mathbb{F}_q^n$, which also shows the existence of nontrivial subsets of $\operatorname{GL}(n,q)$ that are transitive on more general flag-like structures. We establish connections with orthogonal polynomials, namely the Al-Salam-Carlitz polynomials, and generalise a result by Rudvalis and Shinoda on the distribution of the number of fixed points of the elements in $\operatorname{GL}(n,q)$. Many of our results can be interpreted as $q$-analogs of corresponding results for the symmetric group.

The main objects of the investigation presented in this paper are branched-continued-fraction representations of ratios of contiguous hypergeometric series and type II multiple orthogonal polynomials on the step-line with respect to linear functionals or measures whose moments are ratios of products of Pochhammer symbols. This is an interesting case study of the recently found connection between multiple orthogonal polynomials and branched continued fractions that gives a clear example of how this connection leads to considerable advances on both topics. We obtain new results about generating polynomials of lattice paths and total positivity of matrices and give new contributions to the general theory of the connection between multiple orthogonal polynomials and branched continued fractions. We construct new branched continued fractions for ratios of contiguous hypergeometric series. We give conditions for positivity of the coefficients of these branched continued fractions and we show that the ratios of products of Pochhammer symbols are generating polynomials of lattice paths for a special case of the same branched continued fractions. We introduce a family of type II multiple orthogonal polynomials on the step-line associated with those branched continued fractions. We present a formula as terminating hypergeometric series for these polynomials, we study their differential properties, and we explicitly find their recurrence relation coefficients. Finally, we focus the analysis of the multiple orthogonal polynomials to the cases where the corresponding branched-continued-fraction coefficients are all positive. In those cases, the orthogonality conditions can be written using measures on the positive real line involving Meijer G-functions and we obtain results about the location of the zeros and the asymptotic behaviour of the polynomials.

In this paper, by introducing new matrix operations and using a specific inverse relation, we establish the dual forms of the orthogonality relations for some well-known discrete and continuous $q$-orthogonal polynomials from the Askey-scheme such as the little and big $q$-Jacobi, $q$-Racah, (generalized) $q$-Laguerre, as well as the Askey-Wilson polynomials. As one of the most interesting results, we show that the Askey-Wilson $q$-beta integral represented in terms of the VWP-balanced $\,_8φ_7$ series is just a dual form of the orthogonality relation of the Askey-Wilson polynomials.

We show how to define, for every Riordan group element $(g(x), f(x))$, an involution in the Riordan group. More generally, we show that for every pseudo-involution $P$ in the Riordan group, we can define a new involution beginning with an arbitrary element $(g(x), f(x))$ in the Riordan group. We then use this result to show that certain two-parameter families of orthogonal polynomials defined by a Riordan array can lead to involutions in the Riordan group, and we give an explicit form of these involutions.

I analyze an unexpected connection between multiple orthogonal polynomials, $d$-orthogonal polynomials, production matrices and branched continued fractions. This work can be viewed as a partial extension of Viennot's combinatorial theory of orthogonal polynomials to the case where the production matrix is lower-Hessenberg but is not necessarily tridiagonal.

If a sequence indexed by nonnegative integers satisfies a linear recurrence without constant terms, one can extend the indices of the sequence to negative integers using the recurrence. Recently, Cigler and Krattenthaler showed that the negative version of the number of bounded Dyck paths is the number of bounded alternating sequences. In this paper we provide two methods to compute the negative versions of sequences related to moments of orthogonal polynomials. We give a combinatorial model for the negative version of the number of bounded Motzkin paths. We also prove two conjectures of Cigler and Krattenthaler on reciprocity between determinants.

It is known that $q$-orthogonal polynomials play an important role in the field of $q$-series and special functions. During studying Dyson's "favorite" identity of Rogers--Ramanujan type, Andrews pointed out that the classical orthogonal polynomials also have surprising applications in the world of $q$. By inserting Chebyshev polynomials of the third and the fourth kinds into Bailey pairs, Andrews derived a family of Rogers--Ramanujan type identities and also results related to mock theta functions and Hecke--type series. In this paper, by constructing a new Bailey pair involving Chebyshev polynomials of the third kind, we further extend Andrews' way in the studying of Rogers--Ramanujan type identities. By fitting this Bailey pair into different weak forms of Bailey's lemma, we obtain a companion identity to Dyson's favorite one and also many other Rogers--Ramanujan type identities. Furthermore, as immediate consequences, we also obtain some results related to Appell--Lerch series and the generalized Hecke--type series.

We introduce a family of univariate polynomials indexed by integer partitions. At prime powers, they count the number of subspaces in a finite vector space that transform under a regular diagonal matrix in a specified manner. This enumeration formula is a combinatorial solution to a problem introduced by Bender, Coley, Robbins and Rumsey. At $1$, they count set partitions with specified block sizes. At $0$, they count standard tableaux of specified shape. At $-1$, they count standard shifted tableaux of a specified shape. These polynomials are generated by a new statistic on set partitions (called the interlacing number) as well as a polynomial statistic on standard tableaux. They allow us to express $q$-Stirling numbers of the second kind as sums over standard tableaux and as sums over set partitions. For partitions whose parts are at most two, these polynomials are the non-zero entries of the Catalan triangle associated to the $q$-Hermite orthogonal polynomial sequence. In particular, when all parts are equal to two, they coincide with the polynomials defined by Touchard that enumerate chord diagrams by the number of crossings.

We study criteria which ensure that Gibbs states (often also called generalized vacuum states) on distance-regular graphs are positive. Our main criterion assumes that the graph can be embedded into a growing family of distance-regular graphs. For the proof of the positivity we then use polynomial hypergroup theory and translate this positivity into the problem whether for $x\in[-1,1]$ the function $n\mapsto x^n$ has a positive integral representation w.r.t. the orthogonal polynomials associated with the graph. We apply our criteria to several examples. For Hamming graphs and the infinite distance-transitive graphs we obtain a complete description of the positive Gibbs states.

We show that certain Riordan arrays have generating functions that can be expressed as continued fractions of Jacobi and Thron type. We investigate the inverses of such arrays, which in certain circumstances can also have generating functions representable as continued fractions. Links to orthogonal polynomial moment sequences, and to Laurent biorthogonal polynomials are developed. We show that certain Riordan group involutions can be defined by continued fractions. We also show how simple transformations of the Jacobi continued fractions can lead to exponential Riordan arrays. Finally, by way of contrast, we look at the case of some non Riordan arrays that are of combinatorial significance, including the Narayana numbers.

We study the zero distribution of non-orthogonal polynomials attached to $g(n)=s(n)=n^2$: \begin{equation*} Q_n^g(x)= x \sum_{k=1}^n g(k) \, Q_{n-k}^g(x), \quad Q_0^g(x):=1. \end{equation*} It is known that the case $g=id$ involves Chebyshev polynomials of the second kind. The zeros of $Q_n^s(x)$ are real, simple, and are located in $(-6\sqrt{3},0]$. Let $N_n(a,b)$ be the number of zeros between $-6 \sqrt{3} \leq a < b \leq 0$. Then we determine a density function $v(x)$, such that \begin{equation*} \lim_{n \rightarrow \infty} \frac{N_n(a,b)}{n} = \int_a^b v(x) \,\, \mathrm{d}x. \end{equation*} The polynomials $Q_n^s(x)$ satisfy a four-term recursion. We present in detail an analysis of the fundamental roots and give an answer to an open question on recent work by Adams and Tran--Zumba. We extend a method proposed by Freud for orthogonal polynomials to more general systems of polynomials. We determine the underlying moments and density function for the zero distribution.

Three $q$-versions of Lommel polynomials are studied. Included are explicit representations, recurrences, continued fractions, and connections to associated Askey--Wilson polynomials. Combinatorial results are emphasized, including a general theorem when $R_I$ moments coincide with orthogonal polynomial moments. The combinatorial results use weighted Motzkin paths, Schröder paths, and parallelogram polyominoes.

In this (partly expository) paper we give a short overview about the close relationship between the sequence of Catalan numbers and Hankel determinants from the point of view of orthogonal polynomials and show that an analogous situation exists for more general sequences.

Let $p_n(x)$, $n=0,1,\dots$, be the orthogonal polynomials with respect to a given density $dμ(x)$. Furthermore, let $dν(x)$ be a density which arises from $dμ(x)$ by multiplication by a rational function in $x$. We prove a formula that expresses the Hankel determinants of moments of $dν(x)$ in terms of a determinant involving the orthogonal polynomials $p_n(x)$ and associated functions $q_n(x)=\int p_n(u) \,dμ(u)/(x-u)$. Uvarov's formula for the orthogonal polynomials with respect to $dν(x)$ is a corollary of our theorem. Our result generalises a Hankel determinant formula for the case where the rational function is a polynomial that existed somehow hidden in the folklore of the theory of orthogonal polynomials but has been stated explicitly only relatively recently (see [arXiv:2101.04225]). Our theorem can be interpreted in a two-fold way: analytically or in the sense of formal series. We apply our theorem to derive several curious Hankel determinant evaluations.

We present a formula that expresses the Hankel determinants of a linear combination of length $d+1$ of moments of orthogonal polynomials in terms of a $d\times d$ determinant of the orthogonal polynomials. This formula exists somehow hidden in the folklore of the theory of orthogonal polynomials but deserves to be better known, and be presented correctly and with full proof. We present four fundamentally different proofs, one that uses classical formulae from the theory of orthogonal polynomials, one that uses a vanishing argument and is due to Elouafi [J. Math. Anal. Appl. 431} (2015), 1253-1274] (but given in an incomplete form there), one that is inspired by random matrix theory and is due to Brézin and Hikami [Comm. Math. Phys. 214 (2000), 111-135], and one that uses (Dodgson) condensation. We give two applications of the formula. In the first application, we explain how to compute such Hankel determinants in a singular case. The second application concerns the linear recurrence of such Hankel determinants for a certain class of moments that covers numerous classical combinatorial sequences, including Catalan numbers, Motzkin numbers, central binomial coefficients, central trinomial coefficients, central Delannoy numbers, Schröder numbers, Riordan numbers, and Fine numbers.