arXiv++ Combinatorics

Using generating functions and some trivial bijections, we show in this paper that the binomial coefficients count the set of (123,132) and (123,213)-avoiding permutations according to the number of crossings. We also define a q-tableau of power of two and prove that it counts the set of (213,312) and (132,312)-avoiding permutations according to the number of crossings.

The Fibonacci number is the residue of a rational function, from which follows that Fibonacci number summation identities can be derived with the integral representation method, a method also used to derive combinatorial identities. A number of weighted generalized Fibonacci number summation identities are derived this way. From these identities some infinite series, generating functions and convolution identities are obtained. In addition, some weighted generalized Fibonacci number summation identities with binomial coefficients are derived. Many examples of both types of summation identities are provided.

We establish a $q$-analogue of Sun--Zhao's congruence on harmonic sums. Based on this $q$-congruence and a $q$-series identity, we prove a congruence conjecture on sums of central $q$-binomial coefficients, which was recently proposed by Guo. We also deduce a $q$-analogue of a congruence due to Apagodu and Zeilberger from Guo's $q$-congruence.

We discuss $q$-analogues of the classical congruence $\binom{ap}{bp}\equiv\binom{a}{b}\pmod{p^3}$, valid for primes $p>3$, as well as its generalisations. In particular, we prove related congruences for ($q$-analogues of) integral factorial ratios.

Permutation polynomials (PPs) and their inverses have applications in cryptography, coding theory and combinatorial design theory. In this paper, we make a brief summary of the inverses of PPs of finite fields, and give the inverses of all PPs of degree $\leq 6$ over finite fields $\mathbb{F}_{q}$ for all $q$ and the inverses of all PPs of degree $7$ over $\mathbb{F}_{2^n}$. The explicit inverse of a class of fifth degree PPs is the main result, which is obtained by using Lucas' theorem, some congruences of binomial coefficients, and a known formula for the inverses of PPs of finite fields.

The optimal cube factor of a graph, a special kind of component factor, is first introduced. Furthermore, the optimal cube factors of Fibonacci and matchable Lucas cubes are studied; and some results on the Padovan sequence and binomial coefficients are obtained.

We introduce a notion of $q$-deformed rational numbers and $q$-deformed continued fractions. A $q$-deformed rational is encoded by a triangulation of a polygon and can be computed recursively. The recursive formula is analogous to the $q$-deformed Pascal identitiy for the Gaussian binomial coefficients, but the Pascal triangle is replaced by the Farey graph. The coefficients of the polynomials defining the $q$-rational count quiver subrepresentations of the maximal indecomposable representation of the graph dual to the triangulation. Several other properties, such as total positivity properties, $q$-deformation of the Farey graph, matrix presentations and $q$-continuants are given, as well as a relation to the Jones polynomial of rational knots.

We present positivity conjectures for the Schur expansion of Jack symmetric functions in two bases given by binomial coefficients. Partial results suggest that there are rich combinatorics to be found in these bases, including Eulerian numbers, Stirling numbers, quasi-Yamanouchi tableaux, and rook boards. These results also lead to further conjectures about the fundamental quasisymmetric expansions of these bases, which we prove for special cases.

We present determinantal representations of the Catalan numbers, k-Fuss-Catalan numbers, and its generalized number. The entries of the normalized Hessenberg matrices are the binomial coefficients that related with the enumeration of lattice paths.

We provide necessary and sufficient conditions on the unimodality of a convolution of two sequences of binomial coefficients preceded by a finite number of ones. These convolution sequences arise as as rank sequences of posets of vertex-induced subtrees for a particular class of trees. The number of such trees whose poset of vertex-induced subgraphs containing the root is not rank unimodal is determined for a fixed number of vertices $i$.

A lucasene is a hexagon chain that is similar to a fibonaccene, an $L$-fence is a poset the Hasse diagram of which is isomorphic to the directed inner dual graph of the corresponding lucasene. A new class of cubes, which named after matchable Lucas cubes according to the number of its vertices (or elements), are a series of directed or undirected Hasse diagrams of filter lattices of $L$-fences. The basic properties and several classes of polynomials, e.g.\ rank generating functions, cube polynomials and degree sequence polynomials, of matchable Lucas cubes are obtained. Some special conclusions on binomial coefficients and Lucas triangle are given.

In this paper we discuss a class of double sums involving ratios of binomial coefficients. The sums are of the form \[ \sum_{j=0}^{n} \sum_{i=0}^j \frac{\binom{f_1(n)}{i}}{\binom{f_2(n)}{j}}\,c^{i-j}, \] where $f_1, f_2$ are functions of $n$. Such sums appear in the analyses of the Mabinogion urn and the Ehrenfest urn in probability. Using hypergeometric functions, we are able to simplify these sums, and in some cases express them in terms of the harmonic numbers.

The Lucas sequence is a sequence of polynomials in s, and t defined recursively by {0}=0, {1}=1, and {n}=s{n-1}+t{n-2} for n >= 2. On specialization of s and t one can recover the Fibonacci numbers, the nonnegative integers, and the q-integers [n]_q. Given a quantity which is expressed in terms of products and quotients of nonnegative integers, one obtains a Lucas analogue by replacing each factor of n in the expression with {n}. It is then natural to ask if the resulting rational function is actually a polynomial in s and t with nonnegative integer coefficients and, if so, what it counts. The first simple combinatorial interpretation for this polynomial analogue of the binomial coefficients was given by Sagan and Savage, although their model resisted being used to prove identities for these Lucasnomials or extending their ideas to other combinatorial sequences. The purpose of this paper is to give a new, even more natural model for these Lucasnomials using lattice paths which can be used to prove various equalities as well as extending to Catalan numbers and their relatives, such as those for finite Coxeter groups.

In this paper we show that many well-known counting coefficients, including the Catalan numbers, the Motzkin numbers, the central binomial coefficients, the central Delannoy numbers are Hausdorff moment sequences in a unified approach. In particular we answer a conjecture of Liang at al. which such numbers have unique representing measures. The smallest interval including the support of representing measure is explicitly found. Subsequences of Catalan-like numbers are also considered. We provide a necessary and sufficient condition for a pattern of subsequences that if sequences are the Stieltjes Catalan-like numbers, then their subsequences are Stieltjes Catalan-like numbers. Moreover, a representing measure of a linear combination of consecutive Catalan-like numbers is studied.

In this paper, the formal derivative operator defined with respect to context-free grammars is used to prove some properties about binomial coefficients and multifactorial numbers. In addition, we extend the formal derivative operator to matrix grammars and show that multifactorial numbers can also be generated.

We present a decomposition of the generalized binomial coefficients associated with Jack polynomials into two factors: a stem, which is described explicitly in terms of hooks of the indexing partitions, and a leaf, which inherits various recurrence properties from the binomial coefficients and depends exclusively on the skew diagram. We then derive a direct combinatorial formula for the leaf in the special case where the two indexing partitions differ by at most two rows. This formula also exhibits an unexpected symmetry with respect to the lengths of the two rows.

Many combinatorial matrices --- such as those of binomial coefficients, Stirling numbers of both kinds, and Lah numbers --- are known to be totally non-negative, meaning that all minors (determinants of square submatrices) are non-negative. The examples noted above can be placed in a common framework: for each one there is a non-decreasing sequence $(a_1, a_2, \ldots)$, and a sequence $(e_1, e_2, \ldots)$, such that the $(m,k)$-entry of the matrix is the coefficient of the polynomial $(x-a_1)\cdots(x-a_k)$ in the expansion of $(x-e_1)\cdots(x-e_m)$ as a linear combination of the polynomials $1, x-a_1, \ldots, (x-a_1)\cdots(x-a_m)$. We consider this general framework. For a non-decreasing sequence $(a_1, a_2, \ldots)$ we establish necessary and sufficient conditions on the sequence $(e_1, e_2, \ldots)$ for the corresponding matrix to be totally non-negative. As corollaries we obtain totally non-negativity of matrices of rook numbers of Ferrers boards, and of graph Stirling numbers of chordal graphs.

A "truncation" of Pascal's triangle is a triangular array of numbers that satisfies the usual Pascal recurrence but with a boundary condition that declares some terminal set of numbers along each row of the array to be zero. Presented here is a family of natural truncations of Pascal's triangle that generalize a kind of Catalan triangle. The numbers in each array are realized as differences of binomial coefficients, as counts of certain lattice paths and tableaux, and as entries of representing matrices for certain linear transformations of polynomial spaces. Lucas's theorem is applied to determine precisely those truncations for which the number of odd entries on each row is a power of two.

The trinomial transform of a sequence is a generalization of the well-known binomial transform, replacing binomial coefficients with trinomial coefficients. We examine Pascal-like triangles under trinomial transform, focusing on the ternary linear recurrent sequences. We determine the sums and alternating sums of the elements in columns, and we give some examples of the trinomial transform triangle.

We consider the number of partitions of $n$ whose Young diagrams fit inside an $m \times \ell$ rectangle; equivalently, we study the coefficients of the $q$-binomial coefficient $\binom{m+\ell}{m}_q$. We obtain sharp asymptotics throughout the regime $\ell = Θ(m)$ and $n = Θ(m^2)$. Previously, sharp asymptotics were derived by Takács only in the regime where $|n - \ell m /2| = O(\sqrt{\ell m (\ell + m)})$ using a local central limit theorem. Our approach is to solve a related large deviation problem: we describe the tilted measure that produces configurations whose bounding rectangle has the given aspect ratio and is filled to the given proportion. Our results are sufficiently sharp to yield the first asymptotic estimates on the consecutive differences of these numbers when $n$ is increased by one and $m, \ell$ remain the same, hence significantly refining Sylvester's unimodality theorem.