arXiv++ Combinatorics

With the exception of q-hypergeometric summation, the use of computer algebra packages implementing Zeilberger's "holonomic systems approach" in a broader mathematical sense is less common in the field of q-series and basic hypergeometric functions. A major objective of this article is to popularize the usage of such tools also in these domains. Concrete case studies showing software in action introduce to the basic techniques. An application highlight is a new computer-assisted proof of the celebrated Ismail-Zhang formula, an important q-analog of a classical expansion formula of plane waves in terms of Gegenbauer polynomials.

An automorphism group of an incidence structure I induces a tactical decomposition on I. It is well known that tactical decompositions of t-designs satisfy certain necessary conditions which can be expressed as equations in terms of the coefficients of tactical decomposition matrices. In this article we present results obtained for tactical decompositions of q-analogs of t-designs, more precisely, of 2-(v,k,lambda_2;q) designs. We show that coefficients of tactical decomposition matrices of a design over finite field satisfy an equation system analog to the one known for block designs. Furthermore, taking into consideration specific properties of designs over the binary field, we obtain an additional system of inequations for these coefficients in that case.

An n-core partition is an integer partition whose Young diagram contains no hook lengths equal to n. We consider partitions that are simultaneously a-core and b-core for two relatively prime integers a and b. These are related to abacus diagrams and the combinatorics of the affine symmetric group (type A). We observe that self-conjugate simultaneous core partitions correspond to the combinatorics of type C, and use abacus diagrams to unite the discussion of these two sets of objects. In particular, we prove that (2n)- and (2mn+1)-core partitions correspond naturally to dominant alcoves in the m-Shi arrangement of type C_n, generalizing a result of Fishel--Vazirani for type A. We also introduce a major statistic on simultaneous n- and (n+1)-core partitions and on self-conjugate simultaneous (2n)- and (2n+1)-core partitions that yield q-analogues of the Coxeter-Catalan numbers of type A and type C. We present related conjectures and open questions on the average size of a simultaneous core partition, q-analogs of generalized Catalan numbers, and generalizations to other Coxeter groups. We also discuss connections with the cyclic sieving phenomenon and q,t-Catalan numbers.

The interest in $q$-analogs of codes and designs has been increased in the last few years as a consequence of their new application in error-correction for random network coding. There are many interesting theoretical, algebraic, and combinatorial coding problems concerning these q-analogs which remained unsolved. The first goal of this paper is to make a short summary of the large amount of research which was done in the area mainly in the last few years and to provide most of the relevant references. The second goal of this paper is to present one hundred open questions and problems for future research, whose solution will advance the knowledge in this area. The third goal of this paper is to present and start some directions in solving some of these problems.

The well-known middle levels problem is to find a Hammiltonian cycle in the graph induced from the binary Hamming graph $\cH_2(2k+1)$ by the words of weight $k$ or $k+1$. In this paper we define the $q$-analog of the middle levels problem. Let $n=2k+1$ and let $q$ be a power of a prime number. Consider the set of $(k+1)$-dimensional subspaces and the set of $k$-dimensional subspaces of $\F_q^n$. Can these subspaces be ordered in a way that for any two adjacent subspaces $X$ and $Y$, either $X \subset Y$ or $Y \subset X$? A construction method which yields many Hamiltonian cycles for any given $q$ and $k=2$ is presented.

A $P_q(t,k,n)$ $q$-packing design is a selection of $k$-subspaces of $\F_q^n$ such that each $t$-subspace is contained in at most one element of the collection. A successful approach adopted from the Kramer-Mesner-method of prescribing a group of automorphisms was applied by Kohnert and Kurz to construct some constant dimension codes with moderate parameters which arise by $q$-packing designs. In this paper we recall this approach and give a version of the Kramer-Mesner-method breaking the condition that the whole $q$-packing design must admit the prescribed group of automorphisms. Afterwards, we describe the basic idea of an algorithm to tackle the integer linear optimization problems representing the $q$-packing design construction by means of a metaheuristic approach. Finally, we give some improvements on the size of $P_2(2,3,n)$ $q$-packing designs.

A Steiner structure $\dS = \dS_q[t,k,n]$ is a set of $k$-dimensional subspaces of $\F_q^n$ such that each $t$-dimensional subspace of $\F_q^n$ is contained in exactly one subspace of $\dS$. Steiner structures are the $q$-analogs of Steiner systems; they are presently known to exist only for $t = 1$, $t=k$, and\linebreak for $k = n$. The existence of nontrivial $q$-analogs of Steiner systems has occupied mathematicians for over three decades. In fact, it was conjectured that they do not exist. In this paper, we show that nontrivial Steiner structures do exist. First, we describe a general method which may be used to produce Steiner structures. The method uses two mappings in a finite field: the Frobenius map and the cyclic shift map. These maps are applied to codes in the Grassmannian, in order to form an automorphism group of the Steiner structure. Using this method, assisted by an exact-cover computer search, we explicitly generate a Steiner structure $\dS_2[2,3,13]$. We conjecture that many other Steiner structures, with different parameters, exist.

In this paper we give the first construction of a q-analog of a Steiner system. Using a computer search we found at least 26 q-Steiner Systems S_2[2,3,13] admitting the normalizer of a singer cycle as a group of automorphisms.

Permutation tableaux are combinatorial objects related with permutations and various statistics on them. They appeared in connection with total positivity in Grassmannians, and stationary probabilities in a PASEP model. In particular they gave rise to an interesting q-analog of Eulerian numbers. The purpose of this article is to study some combinatorial properties of type B permutation tableaux, defined by Lam and Williams, and links with signed permutation statistics. We show that many of the tools used for permutation tableaux generalize in this case, including: the Matrix Ansatz (a method originally related with the PASEP), bijections with labeled paths and links with continued fractions, bijections with signed permutations. In particular we obtain a q-analog of the type B Eulerian numbers, having a lot in common with the previously known q-Eulerian numbers: for example they have a nice symmetry property, they have the type B Narayana numbers as constant terms. The signed permutation statistics arising here are of several kinds. Firstly, there are several variants of descents and excedances, and more precisely of flag descents and flag excedances. Other statistics are the crossings and alignments, which generalize a previous definition on (unsigned) permutations. There are also some pattern-like statistics arising from variants of the bijection of Fran\ccon and Viennot.

The q-binomial coefficients are the polynomial cousins of the traditional binomial coefficients, and a number of identities for binomial coefficients can be translated into this polynomial setting. For instance, the familiar vanishing of the alternating sum across row n of Pascal's triangle is captured by the so-called Gaussian Formula. In this paper, we find a q-binomial congruence which synthesizes this result and Fleck's congruence for binomial coefficients.

We discuss three distinct topics of independent interest; one in enumerative combinatorics, one in symmetric function theory, and one in algebraic geometry. The topic in enumerative combinatorics concerns a q-analog of a generalization of the Eulerian polynomials, the one in symmetric function theory deals with a refinement of the chromatic symmetric functions of Stanley, and the one in algebraic geometry deals with Tymoczko's representation of the symmetric group on the cohomology of the regular semisimple Hessenberg variety of type A. Our purpose is to explore some remarkable connections between these topics.

We prove a $q$-analog of a classical binomial congruence due to Ljunggren which states that \[ \binom{a p}{b p} \equiv \binom{a}{b} \] modulo $p^3$ for primes $p\ge5$. This congruence subsumes and builds on earlier congruences by Babbage, Wolstenholme and Glaisher for which we recall existing $q$-analogs. Our congruence generalizes an earlier result of Clark.

Touchard-Riordan-like formulas are some expressions appearing in enumeration problems and as moments of orthogonal polynomials. We begin this article with a new combinatorial approach to prove these kind of formulas, related with integer partitions. This gives a new perspective on the original result of Touchard and Riordan. But the main goal is to give a combinatorial proof of a Touchard-Riordan--like formula for q-secant numbers discovered by the first author. An interesting limit case of these objects can be directly interpreted in terms of partitions, so that we obtain a connection between the formula for q-secant numbers, and a particular case of Jacobi's triple product identity. Building on this particular case, we obtain a "finite version" of the triple product identity. It is in the form of a finite sum which is given a combinatorial meaning, so that the triple product identity can be obtained by taking the limit. Here the proof is non-combinatorial and relies on a functional equation satisfied by a T-fraction. Then from this result on the triple product identity, we derive a whole new family of Touchard-Riordan--like formulas whose combinatorics is not yet understood. Eventually, we prove a Touchard-Riordan--like formula for a q-analog of Genocchi numbers, which is related with Jacobi's identity for (q;q)^3 rather than the triple product identity.

Springer numbers are an analog of Euler numbers for the group of signed permutations. Arnol'd showed that they count some objects called snakes, that generalize alternating permutations. Hoffman established a link between Springer numbers, snakes, and some polynomials related with the successive derivatives of trigonometric functions. The goal of this article is to give further combinatorial properties of derivative polynomials, in terms of snakes and other objects: cycle-alternating permutations, weighted Dyck or Motzkin paths, increasing trees and forests. We obtain the generating functions, in terms of trigonometric functions for exponential ones and in terms of J-fractions for ordinary ones. We also define natural q-analogs, make a link with normal ordering problems and combinatorial theory of differential equations.

Eulerian quasisymmetric functions were introduced by Shareshian and Wachs in order to obtain a q-analog of Euler's exponential generating function formula for the Eulerian numbers. They are defined via the symmetric group, and applying the stable and nonstable principal specializations yields formulas for joint distributions of permutation statistics. We consider the wreath product of the cyclic group with the symmetric group, also known as the group of colored permutations. We use this group to introduce colored Eulerian quasisymmetric functions, which are a generalization of Eulerian quasisymmetric functions. We derive a formula for the generating function of these colored Eulerian quasisymmetric functions, which reduces to a formula of Shareshian and Wachs for the Eulerian quasisymmetric functions. We show that applying the stable and nonstable principal specializations yields formulas for joint distributions of colored permutation statistics, which generalize the Shareshian-Wachs q-analog of Euler's formula, formulas of Foata and Han, and a formula of Chow and Gessel.

We provide some variations on the Greene-Krammer's identity which involve q-Catalan numbers. Our method reveals a curious analogy between these new identities and some congruences modulo a prime.

We prove a $q$-analog of the following result due to McKay, Morse and Wilf: the probability that a random standard Young tableau of size $n$ contains a fixed standard Young tableau of shape $λ\vdash k$ tends to $f^λ/k!$ in the large $n$ limit, where $f^λ$ is the number of standard Young tableaux of shape $λ$. We also consider the probability that a random pair $(P,Q)$ of standard Young tableaux of the same shape contains a fixed pair $(A,B)$ of standard Young tableaux.

We derive some q-analogs of Euler-Cassini-type identities and of recurrence formulas for powers of Fibonacci polynomials.

We study new statistics on permutations that are variations on the descent and the inversion statistics. In particular, we consider the alternating descent set of a permutation sigma = sigma_1sigma_2...sigma_n defined as the set of indices i such that either i is odd and sigma_i > sigma_{i+1}, or i is even and sigma_i < sigma_{i+1}. We show that this statistic is equidistributed with the 3-descent set statistic on permutations sigma = sigma_1sigma_2...sigma_{n+1} with sigma_1 = 1, defined to be the set of indices i such that the triple sigma_i sigma_{i+1} sigma_{i+2} forms an odd permutation of size 3. We then introduce Mahonian inversion statistics corresponding to the two new variations of descents and show that the joint distributions of the resulting descent-inversion pairs are the same. We examine the generating functions involving alternating Eulerian polynomials, defined by analogy with the classical Eulerian polynomials sum_{sigma in S_n} t^{des(sigma)+1} using alternating descents. For the alternating descent set statistic, we define the generating polynomial in two non-commutative variables by analogy with the ab-index of the Boolean algebra B_n, and make observations about it. By looking at the number of alternating inversions in alternating (down-up) permutations, we obtain a new q-analog of the Euler number E_n and show how it emerges in a q-analog of an identity expressing E_n as a weighted sum of Dyck paths.

In the present paper we construct and solve a differential model for the q-analog of the Plancherel growth process. The construction is based on a deformation of the Makrov-Krein correspondence between continual diagrams and probability distributions.