arXiv++ Combinatorics

In this paper, we first extend the Christoffel-Darboux formula for orthogonal polynomials to general three-term recurrence sequences, and then investigate the identities and congruences for $g_n(x)$ and $v_n(x)$ given by \begin{align*} &g_0(x)=1,\ g_1(x)=\frac{x+1}2,\ (n+1)^2g_{n+1}(x)=\Big(2n(n+1)+\frac{x+1}2\Big)g_n(x)-n^2g_{n-1}(x)\ (n\ge 1), \\&v_0(x)=1,\ v_1(x)=x,\ (n+1)^3v_{n+1}(x)=(2n+1)(n(n+1)+x)v_n(x)-n^3v_{n-1}(x)\ (n\ge 1).\end{align*}

An $(α,β)$ Somos-$4$ sequence $S_n$ is defined by the recurrence $S_nS_{n-4}=αS_{n-1}S_{n-3}+βS_{n-2}^2$ ($n\geq 4$), with suitable initial values, where $α$ and $β$ are constant parameters. A widely studied question is the following: When does the Hankel transform of a generating function become an $(α,β)$ Somos-4 sequence? In particular, how can $α$ and $β$ be derived for such a function? A sufficient condition for this problem has been established by Wang and Zhang. In this paper, we obtain the following three main results. (i): We extend the Wang--Zhang sufficient condition by working over the rational function field. Then we combine this result with the Sulanke--Xin quadratic transformation to resolve all of Barry's currently unsolved $(α,β)$ Somos-4 conjectures, which arise in diverse contexts, including generalized Catalan recurrences, Riordan arrays, generalized Bernstein arrays, and elliptic curves. (ii): We show that the odd and even subsequences of an $(α,β)$ Somos-4 sequence are again $(α,β)$ Somos-4 sequences with transformed parameters. This is employed to establish Barry's Hurwitz transform conjecture. (iii): Using the theory of orthogonal polynomials, we prove a Hankel determinant formula and thereby prove a conjecture related to the $(α,β)$ Somos-4 sequence. In addition, we prove some conjectures on formulas for periodic Hankel determinants.

We calculate the asymptotics of the number of connected, labeled, genus $g$ Eulerian maps with an arbitrary degree sequence, in the limit as the total number of vertices tends to infinity. This asymptotic is universal, in the sense that the leading order term depends on only finitely many map characteristics. The constant factor in this formula is related to the Painlevé I equation. Our methods combine the analysis of the recurrence coefficients associated to a particular family of orthogonal polynomials, and the theory of analytic combinatorics of several variables. We also derive an exact formula for the number of connected, labeled, genus $1$ Eulerian maps. These are the first results on this kind of enumeration problem for $g\geq 1$, non-regular (mixed-valence) maps.

Moment-based relaxations of the positive partial transpose (PPT) criterion have been recently introduced, as a hierarchy of entanglement criteria involving only experimentally accessible quantities of a given bipartite state. The goal of this work is to study their typical detection performance on high-dimensional bipartite systems. Concretely, we investigate whether random bipartite mixed states on $\mathbb C^d\otimes\mathbb C^d$, obtained as the marginal over an environment $\mathbb C^s$ of a uniformly distributed pure state, generically satisfy or violate them. For each fixed level $m\in\mathbb N$ in this hierarchy of moment-based PPT criteria, we are able to identify a threshold environment dimension $s=λ_md^2$ at which the behavior of the associated random state switches from violating to satisfying it, with probability going to $1$ as $d$ grows. The proof combines combinatorics of permutations techniques to estimate the average value of moments of partially transposed random states and concentration of measure arguments to bound the probability of deviating from such average, when the underlying local dimension $d$ is large. We additionally need tools from the theory of Hankel determinant evaluation via orthogonal polynomials.

The asymmetric simple exclusion process (ASEP) is an important particle model with deep connections to orthogonal polynomials. Motivated by this connection, Corteel and Williams introduced the Koornwinder moments $M^{Z}_λ$ at $ t=q $, which generalize the moments of Askey--Wilson polynomials. They showed that the partition function of the two-species ASEP is equal to $M^{Z}_λ$ for a one-row partition $ λ$. In this paper, we investigate a conjecture of Rains on the positivity of the minimal numerator of the Koornwinder moment $M^{Z}_λ$. We derive the first explicit formula for this moment, thereby obtaining a precise formulation of the conjecture by determining the minimal denominator of $M^{Z}_λ$. We also propose a generalization of the conjecture for the more general Koornwinder moments $M^{Z}_{λ,μ}$ indexed by two partitions at special parameter values. We prove the generalized Rains' conjecture in two special cases: $(ξ,q)=(1,0)$ and $(ξ,q)=(1,1)$. For $(ξ,q)=(1,0)$, we construct a lattice path model and obtain a combinatorial formula for $M^{Z}_{λ,μ}$ in terms of non-intersecting lattice paths. For $(ξ,q)=(1,1)$, we establish an explicit product formula for $M^{Z}_{λ,μ}$ and give a combinatorial interpretation using lecture hall tableaux.

As the $q$-analog of Chebyshev polynomials, $q$-Hermite polynomials form a cornerstone in the family of $q$-orthogonal polynomials, which play a fundamental role in quantum algebra and mathematical physics. Recently, Andrews obtained a series of Rogers-Ramanujan type identities by constructing Bailey pairs from Chebyshev polynomials. In this paper, by applying the expansion formula of Chebyshev polynomials in terms of $q$-Hermite polynomials and using the orthogonality relations, we derive a series of Rogers-Ramanujan type identities on double sums, which further generalized the known results due to Andrews, Shi, Sun and Yao.

We prove a fermionic-bosonic duality relation for the Macdonald index in Argyres-Douglas theories of type $(A_1, D_{2k+1})$, thereby yielding a conjectural fermionic formula due to Andrews et al. Our duality is built upon a new conjugate Bailey pair to be established using techniques from orthogonal polynomials and basic hypergeometric series. In addition, this fermionic formula implies another sum-like expression for the Macdonald index conjectured by Kim, Kim, and Song.

We analyze a weighted convolution of Catalan numbers $$ \sum_{k=0}^{n} \binom{2k}{k}\binom{2(n-k)}{n-k} a^k = \sum_{k=0}^{n} (k+1)(n-k+1) C_k C_{n-k} a^k, $$ emphasizing its combinatorial, analytic, and probabilistic aspects. We derive a compact closed form in terms of the Gauss hypergeometric function ${}_2F_1(-n,1/2;1;1-a)$, valid for all complex values of the parameter $a$. The sum admits a natural interpretation in terms of return probabilities of independent simple random walks, linking weighted convolutions of central binomial coefficients to classical probability theory. Furthermore, a refinement via Narayana numbers highlights the contribution of peak distributions in pairs of Dyck paths, providing a finer combinatorial perspective. An integral representation is also proposed, suggesting a connection with orthogonal polynomials and spectral measures. Our approach illustrates how analytic and probabilistic techniques complement combinatorial reasoning in evaluating complex sums.

We introduce a canonical operator-theoretic construction associated to a finite geometric lattice, in which a simple nonassociative ``diamond product'' on the lattice basis gives rise to a family of creation operators indexed by atoms and a corresponding self-adjoint Hamiltonian on $\mathbb R[L]$. A key structural feature is that the Hamiltonian changes rank by at most one, so that its compression to the rank-radial subspace is a Jacobi matrix. In this way, geometric lattices give rise in a direct and uniform manner to finite orthogonal polynomial systems. The Jacobi coefficients admit explicit combinatorial formulas. For Boolean lattices one obtains the centered Krawtchouk Jacobi matrix, while for projective geometries one obtains natural $q$-deformations consistent with the $q$-Hahn family. The construction applies to arbitrary geometric lattices and requires no symmetry assumptions.

Using preservations of PL homeomorphism types under edge contractions (the link condition) as a topological proxy for flagness, we give a quantitative description of the effect flagness on on gamma positivity of simplicial spheres. In particular, we show that the link condition has a trivial effect on the $g$-vectors (and thus gamma vectors) of high-dimensional simplicial spheres with nonnegative gamma vectors in many cases. Note that this reflects a dichotomy between quantitative behavior arising from $g_1$ components that are linear in $d$ and those that are superlinear in $d$. When the link condition is nontrivial, we show that it gives a lower bound for growth rates of $g$-vector components. This lower bound increases with the number of edges and the distance of the $M$-vector condition on $g$-vectors of simplicial spheres from equality. These lower bounds translate to ones on top gamma vector components and give lower bounds on gamma vector growth rates when the gamma vector components are dominant terms in the $g$-vector components with the same index (e.g. $g$-vectors with components increasing quickly compared to $d$). Finally, we show that the same results apply to positivity properties generalizing gamma positivity arising from connections between orthogonal polynomials and lattice paths. In the course of doing this, we describe gamma vector components in terms of monomer/dimer covers and point out connections between repeated (stellar) edge subdivisions (Tchebyshev subdivisions) and dimer covers.

We study a $q$-deformed random unitary ensemble associated with the little-$q$ Laguerre weight, which provides a discrete analogue of the classical Laguerre unitary ensemble. In the double scaling regime $q=e^{-λ/N}$, where $N$ is the system size and $λ\ge 0$, we derive the limiting spectral distribution as $N\to \infty$, which yields a $q$-deformation of the Marchenko-Pastur law. The limiting density undergoes a phase transition at an explicitly determined critical value $λ_c$: for $λ<λ_c$, the support consists of a single band region, whereas for $λ>λ_c$ an additional saturated region emerges adjacent to the band region. Our derivation of the limiting distribution is based on three complementary approaches: the method of moments, the analysis of a constrained equilibrium problem, and the asymptotic zero distribution of orthogonal polynomials. As a consequence, we establish the convergence of the empirical measure as well as a large deviation principle. In addition, we derive closed-form expressions for the spectral moments using the combinatorial structure of orthogonal polynomials, and obtain large-$N$ expansions for these moments.

We investigate spectral lower bounds on the chromatic number $χ$ of Hamming graph powers $H(n, q)^p$, Johnson graph powers $J(n, k)^p$, and Kneser graph powers $K(n, k)^p$ providing the first computationally feasible nontrivial results. While the classical Hoffman bound on $χ$ can, in principle, be applied to any graph, naïve computation requires $O(q^{3n})$ time for $H(n, q)^p$ and $O(({}_nC_k)^3)$ time for both $J(n, k)^p$ and $K(n, k)^p$. We thus express the adjacency eigenvalues of these graphs in terms of hypergeometric orthogonal polynomials, exploiting recurrence relations that arise to efficiently compute the entire spectra. We then apply dynamic programming to compute the Hoffman bounds for $H(n, q)^p$, $J(n, k)^p$, and $K(n, k)^p$ in $O(np)$, $O(kp)$, and $O(k^2)$ time, respectively.

$q,t$-deformed matrix models give rise to representations of the deformed Virasoro algebra and more generally of the quantum toroidal $\mathfrak{gl}_1$ algebra. These representations are described in terms of finite difference equations that induce recursion relations for correlation functions. Under suitable assumptions, these recursions admit unique solutions expressible through "superintegrability" formulas, i.e. explicit closed formulas for averages of Macdonald polynomials. In this paper, we discuss examples arising from localization of 3d $\mathcal{N}=2$ theories, which include $q,t$-deformation of well known classical ensembles: Gaussian, Laguerre and Jacobi. We explain how relations in the quantum toroidal algebra can be used to give a new and universal proof of the known superintegrability formulas, as well as to derive new formulas for models that have not been previously studied in the literature. Finally, we make some remarks regarding the relation between superintegrability and orthogonal polynomials.

This paper analyzes the concept of orthogonality in second-order polynomial sequences that have Binet formula similar to that of the Fibonacci and Lucas numbers, referred to as Generalized Fibonacci Polynomials (GFP). We give a technique to find roots of the GFP. As a corollary of this result, we give an alternative proof of a special case of Favard's Theorem. The general case of Favard's Theorem guarantees that there is a measure to determine whether a sequence of second-order polynomials is orthogonal or not. However, the theorem does not provide an explicit such measure. Our special case gives both the explicit measure and the relationship between the second-order recurrence and orthogonality, demonstrating whether the GFP polynomials are orthogonal or not. This allows us to classify which of familiar GFPs are orthogonal and which are not. Some familiar orthogonal polynomials include the Fermat, Fermat-Lucas, both types of Chebyshev polynomials, both types of Morgan-Voyce polynomials, and Vieta and Vieta-Lucas polynomials. However, we prove that the Fibonacci, Lucas, Pell, and Pell-Lucas sequences are not orthogonal. In Section \ref{sectionrw}, we give a brief description of discrete--time and continuous--time Morkov chains with special emphasis on birth-and-death stochastic processes. We find sufficient conditions on the polynomial's coefficients under which a given family of orthogonal polynomial induces a Markov chain. These families of orthogonal polynomials include Chebyshev polynomials of first kind and Fermat-Lucas. In the final section, we highlight some connections between orthogonal polynomials and Markov processes. These relations are not new but seem to have been somewhat forgotten. We do so to draw the attention of researchers in the orthogonal polynomial and probability communities for further collaboration.

In this paper, we explore (slightly generalized) $f$-Eulerian polynomials introduced by Stanley and frequently appearing in combinatorics. Notable special cases include the classical Eulerian polynomials, the generating polynomials of order polynomials for certain labeled posets, and the $d$-Narayana polynomials. We establish simple sufficient conditions for the reality (and sign) of their zeros and present implications for total positivity of sequences generated by values of polynomials at integers. We further relate these polynomials to generalized Euler's transformations for the generalized hypergeometric functions with integral parameter differences. Exploiting this and other hypergeometric connections, we provide purely hypergeometric proofs for various known and some new properties of $d$-Narayana polynomials. Another family encompassed by our definition of the generalized $f$-Eulerian polynomials is that of Jacobi-Piñeiro type II multiple orthogonal polynomials. Their zero location can thus be analyzed, for both canonical and non-canonical parameter values, without invoking orthogonality. Finally, we present several connection formulas relating $d$-Narayana polynomials to particular Jacobi-Piñeiro polynomials.

This paper is motivated by the following problem. Define a quantum walk on a positively weighted path (linear chain). Can the weights be tuned so that perfect state transfer occurs between the first vertex and any other position? We do not fully answer this question - in fact, we show that a particular case of this problem is equivalent to a solution of a particular case of the well known Prouhet-Tarry-Escott problem, deeming our original task certainly harder than anticipated. In our journey, we prove new results about sequences of orthogonal polynomials satisfying three-term recurrences. In particular, we provide a full characterization of when two polynomials belong to such a sequence, which (as far as we were able to ascertain) was known only for when their degrees differ by one.

This paper will be devoted to study weighted (deformed) free Poisson random variables from the viewpoint of orthogonal polynomials and statistics of non-crossing partitions. A family of weighted (deformed) free Poisson random variables will be defined in a sense by the sum of weighted (deformed) free creation, annihilation, scalar, and intermediate operators with certain parameters on a weighted (deformed) free Fock space together with the vacuum expectation. We shall provide a combinatorial moment formula of non-commutative Poisson random variables. This formula gives us a very nice combinatorial interpretation to two parameters of weights. One can see that the deformation treated in this paper interpolates free and boolean Poisson random variables, their distributions and moments, and yields some conditionally free Poisson distribution by taking limit of the parameter.

We introduce a two-parameter deformation of the classical Poisson distribution from the viewpoint of noncommutative probability theory, by defining a $(q,t)$-Poisson type operator (random variable) on the $(q,t)$-Fock space \cite{Bl12} (See also \cite{BY06, AY20}). From the analogous viewpoint of the classical Poisson limit theorem in probability theory, we are naturally led to a family of orthogonal polynomials, which we call the $(q,t)$-Charlier polynomials. These generalize the $q$-Charlier polynomials of Saitoh-Yoshida \cite{SY00a, SY00b} and reflect deeper combinatorial symmetries through the additional deformation parameter $t$. A central feature of this paper is the derivation of a combinatorial moment formula of the $(q,t)$-Poisson type operator and the $(q,t)$-Poisson distribution. This is accomplished by means of a card arrangement technique, which encodes set partitions together with crossing and nesting statistics. The resulting expression naturally exhibits a duality between these statistics, arising from a structure rooted in generalized Fibonacci numbers. Our approach provides a concrete framework where methods in combinatorics and theory of orthogonal polynomials are used to investigate the probabilistic properties arising from the $(q,t)$-deformation.

The dual Hahn polynomials $\{u_i(x)\}_{i=0}^d$ are a family of discrete orthogonal polynomials involving two real parameters $r$ and $s$. Let $L,L^*$ denote the corresponding Leonard pair. Assume that $r\not=0$ and $r+s=0$. We show that $L,(L^*+\frac{r-d}{2})^{2}$ is a Leonard pair. According to the theory of Leonard pairs, the polynomials $\{u_i(x)\}_{i=0}^d$ are not only the dual Hahn polynomials but also the Racah polynomials with respect to the same inner product.

We study $q$-deformed random unitary ensembles associated with the weight function of the Al-Salam--Carlitz orthogonal polynomials, indexed by a parameter $a < 0$. In the special case $a = -1$, the model reduces to the $q$-deformed Gaussian unitary ensemble. Employing the Flajolet--Viennot theory together with the combinatorics of matchings, we derive an explicit positive-sum expression for the spectral moments. In the double-scaling regime $q = e^{-λ/N}$, where $N$ denotes the ensemble size and $λ> 0$ is fixed, we derive the first two terms in the large-$N$ expansion of the spectral moments. As a consequence, we obtain a closed-form expression for the limiting spectral density. Notably, this density exhibits two successive phase transitions as $λ$ increases, characterised by a reduction in the number of soft edges from two, to one, and eventually to none. Furthermore, we show that the limiting density coincides with the limiting zero distribution of the Al-Salam--Carlitz orthogonal polynomials under the same scaling.