arXiv++ Combinatorics

The Askey--Wilson polynomials are the most general classical orthogonal polynomials that are known and the Nassrallah--Rahman integral is a very general extension of Euler's integral representation of the classical $_2F_1$ function. Based on a $q$-series transformation formula and the Nassrallah--Rahman integral we prove a $q$--beta integral which has twelve parameters, with several other results, both classical and new, included as special cases. This $q$-beta integral also allows us to derive a curious double $q$--series transformation formula, which includes one formula of Al--Salam and Ismail as a special case

Generalizing previous work of Hora (1998) on the asymptotic spectral analysis for the Hamming graph $H(n,q)$ which is the $n^{\mathrm{th}}$ Cartesian power $K_q^{\square n}$ of the complete graph $K_q$ on $q$ vertices, we describe the possible limits of the joint spectral distribution of the pair $(G^{\square n},\overline{G}\vphantom{G}^{\square n})$ of the $n^{\mathrm{th}}$ Cartesian powers of a strongly regular graph $G$ and its complement $\overline{G}$, where we let $n\rightarrow\infty$, and $G$ may vary with $n$. This result is an analogue of the bivariate central limit theorem, and we obtain in this way the bivariate Poisson distributions and the standard bivariate Gaussian distribution, together with the product measures of univariate Poisson and Gaussian distributions. We also report a family of bivariate hypergeometric orthogonal polynomials with respect to the last distributions, which we call the bivariate Charlier-Hermite polynomials, and prove basic formulas for them. This family of orthogonal polynomials seems previously unnoticed, possibly because of its peculiarity.

The classical q-hypergeometric orthogonal polynomials are assembled into a hierarchy called the q-Askey scheme. At the top of the hierarchy, there are two closely related families, the Askey-Wilson and q-Racah polynomials. As it is well known, their construction admits a generalization leading to remarkable orthogonal symmetric polynomials in several variables. We construct an analogue of the multivariable q-Racah polynomials in the algebra of symmetric functions. Next, we show that our q-Racah symmetric functions can be degenerated into the big q-Jacobi symmetric functions, introduced in a recent paper by the second author. The latter symmetric functions admit further degenerations leading to new symmetric functions, which are analogues of q-Meixner and Al-Salam--Carlitz polynomials. Each of the four families of symmetric functions (q-Racah, big q-Jacobi, q-Meixner, and Al-Salam--Carlitz) forms an orthogonal system of functions with respect to certain measure living on a space of infinite point configurations. The orthogonality measures of the four families are of independent interest. We show that they are linked by limit transitions which are consistent with the degenerations of the corresponding symmetric functions.

We derive identities for the determinants of matrices whose entries are (rising) powers of (products of) polynomials that satisfy a recurrence relation. In particular, these results cover the cases for Fibonacci polynomials, Lucas polynomials and certain orthogonal polynomials. These identities naturally generalize the determinant identities obtained by Alfred, Carlitz, Prodinger, Tangboonduangjit and Thanatipanonda.

We characterize the graphs with loops whose degree sequences have no repeated values and find their adjacency spectrum. In the case of simple graphs, such graphs are called anti-regular graphs and are examples of threshold graphs. The spectrum is found by using the known relationship between tridiagonal matrices and orthogonal polynomials.

We show how some special production matrices may be used to define families of generalized Eulerian triangles. We furthermore show that these generalized Eulerian triangles are the coefficient arrays of polynomials which are the moments of families of orthogonal polynomials. Using the previously defined $\mathcal{T}$ transform, we associate these generalized Eulerian triangles to triangles defined by Catalan generating functions. Again, these new triangles are the coefficient arrays of polynomial moment sequences. The main tools used are the Sumudu transform, Jacobi continued fractions and Riordan arrays.

Using the theory of exponential Riordan arrays, we show that the $1/k$-Eulerian polynomials are moments for a paramaterized family of orthogonal polynomials. In addition, we show that the related Savage-Viswanathan polynomials are also moments for appropriate families of orthogonal polynomials. We provide continued fraction ordinary generating functions and Hankel transforms for these moments, as well as the three-term recurrences for the corresponding orthogonal polynomials. We provide formulas for the $1/k$-Eulerian polynomials and the Savage-Viswanathan polynomials involving the Stirling numbers of the first and the second kind. Finally we show that the once-shifted polynomials are again moment sequences.

We propose a concise stochastic mechanics framework for chemical reaction systems that allows to formulate evolution equations for three general types of data: the probability generating functions, the exponential moment generating functions and the factorial moment generating functions. This formulation constitutes an intimate synergy between techniques of statistical physics and of combinatorics. We demonstrate how to analytically solve the evolution equations for all six elementary types of single-species chemical reactions by either combinatorial normal-ordering techniques, or, for the binary reactions, by means of Sobolev-Jacobi orthogonal polynomials. The former set of results in particular highlights the relationship between infinitesimal generators of stochastic evolution and parametric transformations of probability distributions.

We study the higher-order Euler polynomials and give the corresponding monic orthogonal polynomials, which are Meixner-Pollaczek polynomials with certain arguments and constant factors. Moreover, through a general connection between moments of random variables and the generalized Motzkin numbers, we can obtain a new recurrence formula and a matrix representation for the higher-order Euler polynomials, interpreting them as weighted lattice paths.

For $n=0,1,2,\ldots$ let $d_n^{(r)}(x)=\sum_{k=0}^n\binom{x+r+k}k\binom{x-r}{n-k}$. In this paper we illustrate the connection between $\{d_n^{(r)}(x)\}$ and Meixner polynomials. New formulas and recurrence relations for $d_n^{(r)}(x)$ are obtained, and a new proof of the formula for $d_n^{(r)}(x)^2$ is also given. In addition, for $r>-\frac 12$ and $n\ge 2$ we show that $d_n^{(r)}(x)>\frac{(2x+1)^n}{n!}>0$ for $x>-\frac 12$, and $(-1)^nd_n^{(r)}(x)>0$ for $x<-\frac 12$.

A simple method for transmitting quantum states within a quantum computer is via a quantum spin chain---that is, a path on $n$ vertices. Unweighted paths are of limited use, and so a natural generalization is to consider weighted paths; this has been further generalized to allow for loops (\emph{potentials} in the physics literature). We study the particularly important situation of perfect state transfer with respect to the corresponding adjacency matrix or Laplacian through the use of orthogonal polynomials. Low-dimensional examples are given in detail. Our main result is that PST with respect to the Laplacian matrix cannot occur for weighted paths on $n\geq 3$ vertices nor can it occur for certain symmetric weighted trees. The methods used lead us to a conjecture directly linking the rationality of the weights of weighted paths on $n>3$ vertices, with or without loops, with the capacity for PST between the end vertices with respect to the adjacency matrix.

The main result of the paper is a construction of a five-parameter family of new bases in the algebra of symmetric functions. These bases are inhomogeneous and share many properties of systems of orthogonal polynomials on an interval of the real line. This means, in particular, that the algebra of symmetric functions is embedded into the algebra of continuous functions on a certain compact space Omega, and under this realization, our bases turn into orthogonal bases of weighted Hilbert spaces corresponding to certain probability measures on Omega. These measures are of independent interest --- they are an infinite-dimensional analogue of the multidimensional q-Beta distributions. Our construction uses the big q-Jacobi polynomials and an extension of the Knop-Okounkov-Sahi multivariate interpolation polynomials to the case of infinite number of variables.

The aim of the dissertation is threefold: the first two parts are devoted to explore the Fourth Moment Theorem and universality properties for homogeneous sums, while the last part approaches the classical theory of orthogonal polynomials via the invariant theory of binary forms. Specifically, Part I deals with the Lindberg method of influence functions in free probability spaces. By providing a general multidimensional invariance principle for homogeneous sums in freely independent variables, a class of universal laws for semicircular and free Poisson approximations will be derived that satisfies also the so-called Fourth Moment phenomenon. It is known that the fourth moment phenomenon for homogeneous sums applies, for instance, when X is Gaussian, Poisson, semicircular or free Poisson distributed. Is there a characterizing property enabling this phenomenon, or does it occur accidentally? The goal of Part II is the characterization of random variables X such that homogeneous sums based on i.i.d. copies of X verify the Fourth Moment Theorem, both for classical and free probability spaces. The main results will be the determination of a condition on the fourth cumulant of X that is sufficient for the Fourth Moment Theorem to hold. The optimality of such condition is also discussed. Part III has a purely algebraic flavour, and aims at recasting orthogonality of polynomials within the invariant theory of binary forms through the symbolic methods introduced by Kung and Rota. Then, by focusing on apolarity. a unifying representation for (generalized) sequences of orthogonal polynomials (in any number of variables) is achieved and explicit formulae for the moments of the random discriminants are derived. In this specific case of cumulants, a focus is presented within the combinatorial approach to stochastic integration in terms of diagonal measures.

We derive upper and lower bounds on the degree $d$ for which the Lovász $\vartheta$ function, or equivalently sum-of-squares proofs with degree two, can refute the existence of a $k$-coloring in random regular graphs $G_{n,d}$. We show that this type of refutation fails well above the $k$-colorability transition, and in particular everywhere below the Kesten-Stigum threshold. This is consistent with the conjecture that refuting $k$-colorability, or distinguishing $G_{n,d}$ from the planted coloring model, is hard in this region. Our results also apply to the disassortative case of the stochastic block model, adding evidence to the conjecture that there is a regime where community detection is computationally hard even though it is information-theoretically possible. Using orthogonal polynomials, we also provide explicit upper bounds on $\vartheta(\overline{G})$ for regular graphs of a given girth, which may be of independent interest.

Smith normal form evaluations found by Bessenrodt and Stanley for some Hankel matrices of q-Catalan numbers are proven in two ways. One argument generalizes the Bessenrodt-Stanley results for the Smith normal form of a certain multivariate matrix that refines one studied by Berlekamp, Carlitz, Roselle, and Scoville. The second argument, which uses orthogonal polynomials, generalizes to a number of other Hankel matrices, Toeplitz matrices, and Gram matrices. It gives new results for q-Catalan numbers, q-Motzkin numbers, q-Schröder numbers, q-Stirling numbers, q-matching numbers, q-factorials, q-double factorials, as well as generating functions for permutations with eight statistics.

We give an overview of known results about Hilbert matrices from the point of view of orthogonal polynomials and compute Hankel determinants of harmonic numbers and related topics.

Using the language of Riordan arrays, we study a one-parameter family of orthogonal polynomials that we call the restricted Chebyshev-Boubaker polynomials. We characterize these polynomials in terms of the three term recurrences that they satisfy, and we study certain central sequences defined by their coefficient arrays. We give an integral representation for their moments, and we show that the Hankel transforms of these moments have a simple form. We show that the (sequence) Hankel transform of the row sums of the corresponding moment matrix is defined by a family of polynomials closely related to the Chebyshev polynomials of the second kind, and that these row sums are in fact the moments of another family of orthogonal polynomials.

Using the theory of exponential Riordan arrays, we show that the Eulerian-Dowling polynomials are moments for a paramaterized family of orthogonal polynomials. In addition, we show that the related Dowling and the Tanny-Dowling polynomials are also moments for appropriate families of orthogonal polynomials. We provide continued fraction generating functions and Hankel transforms for these polynomials.

These are the open problems presented at the 13th International Symposium on Orthogonal Polynomials, Special Functions and Applications (OPSFA13), Gaithersburg, Maryland, on June 4, 2015.

In this paper we introduce the polynomials $\{d_n^{(r)}(x)\}$ and $\{D_n^{(r)}(x)\}$ given by $d_n^{(r)}(x)=\sum_{k=0}^n\binom{x+r+k}k\binom{x-r}{n-k} \ (n\ge 0)$, $D_0^{(r)}(x)=1,\ D_1^{(r)}(x)=x$ and $D_{n+1}^{(r)}(x)=xD_n^{(r)}(x)-n(n+2r)D_{n-1}^{(r)}(x)\ (n\ge 1).$ We show that $\{D_n^{(r)}(x)\}$ are orthogonal polynomials for $r>-\frac 12$, and establish many identities for $\{d_n^{(r)}(x)\}$ and $\{D_n^{(r)}(x)\}$, especially obtain a formula for $d_n^{(r)}(x)^2$ and the linearization formulas for $d_m^{(r)}(x)d_n^{(r)}(x)$ and $D_m^{(r)}(x)D_n^{(r)}(x)$. As an application we extend recent work of Sun and Guo.