arXiv++ Combinatorics

We introduce a class of sequences, defined by means of partial Bell polynomials, that contains a basis for the space of linear recurrence sequences with constant coefficients as well as other well-known sequences like Catalan and Motzkin. For the family of `Bell sequences' considered in this paper, we give a general multifold convolution formula and illustrate our result with a few explicit examples.

We give an interpretation of the boson-fermion correspondence as a direct consequence of Jacobi-Trudi identity. This viewpoint enables us to construct from a generalized version of the Jacobi-Trudi identity the action of Clifford algebra on polynomial algebras that arrives as analogues of the algebra of symmetric functions. A generalized Giambelli identity is also proved to follow from that identity. As applications, we obtain explicit formulas for vertex operators corresponding to characters of the classical Lie algebras, shifted Schur functions, and generalized Schur symmetric functions associated to linear recurrence relations.

We recast homogeneous linear recurrence sequences with fixed coefficients in terms of partial Bell polynomials, and use their properties to obtain various combinatorial identities and multifold convolution formulas. Our approach relies on a basis of sequences that can be obtained as the INVERT transform of the coefficients of the given recurrence relation. For such a basis sequence $(y_n)$ with generating function $Y(t)$, and for any positive integer $r$, we give a formula for the convolved sequence generated by $Y(t)^r$ and prove that it satisfies an elegant recurrence relation.

Zeckendorf proved that any integer can be decomposed uniquely as a sum of non-adjacent Fibonacci numbers, $F_n$. Using continued fractions, Lekkerkerker proved the average number of summands of an $m \in [F_n, F_{n+1})$ is essentially $n/(\varphi^2 +1)$, with $\varphi$ the golden ratio. Miller-Wang generalized this by adopting a combinatorial perspective, proving that for any positive linear recurrence the number of summands in decompositions for integers in $[G_n, G_{n+1})$ converges to a Gaussian distribution. We prove the probability of a gap larger than the recurrence length converges to decaying geometrically, and that the distribution of the smaller gaps depends in a computable way on the coefficients of the recurrence. These results hold both for the average over all $m \in [G_n, G_{n+1})$, as well as holding almost surely for the gap measure associated to individual $m$. The techniques can also be used to determine the distribution of the longest gap between summands, which we prove is similar to the distribution of the longest gap between heads in tosses of a biased coin. It is a double exponential strongly concentrated about the mean, and is on the order of $\log n$ with computable constants depending on the recurrence.

The Subspace Theorem is a powerful tool in number theory. It has appeared in various forms and been adapted and improved over time. It's applications include diophantine approximation, results about integral points on algebraic curves and the construction of transcendental numbers. But its usefulness extends beyond the realms of number theory. Other applications of the Subspace Theorem include linear recurrence sequences and finite automata. In fact, these structures are closely related to each other and the construction of transcendental numbers. The Subspace Theorem also has a number of remarkable combinatorial applications. The purpose of this paper is to give a survey of some of these applications including sum-product estimates and bounds on unit distances. The presentation will be from the point of view of a discrete mathematician. We will state a number of variants of the Subspace Theorem below but we will not prove any of them as the proofs are beyond the scope of this work. However we will give a proof of a simplified special case of the Subspace Theorem which is still very useful for many problems in discrete mathematics.

We show that any graph polynomial from a wide class of graph polynomials yields a recurrence relation on an infinite class of families of graphs. The recurrence relations we obtain have coefficients which themselves satisfy linear recurrence relations. We give explicit applications to the Tutte polynomial and the independence polynomial. Furthermore, we get that for any sequence $a_{n}$ satisfying a linear recurrence with constant coefficients, the sub-sequence corresponding to square indices $a_{n^{2}}$ and related sub-sequences satisfy recurrences with recurrent coefficients.

We consider two decision problems for linear recurrence sequences (LRS) over the integers, namely the Positivity Problem (are all terms of a given LRS positive?) and the Ultimate Positivity Problem} (are all but finitely many terms of a given LRS positive?). We show decidability of both problems for LRS of order 5 or less, with complexity in the Counting Hierarchy for Positivity, and in polynomial time for Ultimate Positivity. Moreover, we show by way of hardness that extending the decidability of either problem to LRS of order 6 would entail major breakthroughs in analytic number theory, more precisely in the field of Diophantine approximation of transcendental numbers.

We consider Problem 6.94 posed in the book Concrete Mathematics by Graham, Knuth, and Patashnik, and solve it by using bivariate exponential generating functions. The family of recurrence relations considered in the problem contains many cases of combinatorial interest for particular choices of the six parameters that define it. We give a complete classification of the partial differential equations satisfied by the exponential generating functions, and solve them in all cases. We also show that the recurrence relations defining the combinatorial numbers appearing in this problem display an interesting degeneracy that we study in detail. Finally, we obtain for all cases the corresponding univariate row generating polynomials.

An ordered partition of $[n]=\{1, 2, \ldots, n\}$ is a partition whose blocks are endowed with a linear order. Let $\mathcal{OP}_{n,k}$ be set of ordered partitions of $[n]$ with $k$ blocks and $\mathcal{OP}_{n,k}(σ)$ be set of ordered partitions in $\mathcal{OP}_{n,k}$ that avoid a pattern $σ$. Recently, Godbole, Goyt, Herdan and Pudwell obtained formulas for the number of ordered partitions of $[n]$ with 3 blocks and the number of ordered partitions of $[n]$ with $n-1$ blocks avoiding a permutation pattern of length 3. They showed that $|\mathcal{OP}_{n,k}(σ)|=|\mathcal{OP}_{n,k}(123)|$ for any permutation $σ$ of length 3, and raised the question concerning the enumeration of $\mathcal{OP}_{n,k}(123)$. They also conjectured that the number of ordered partitions of $[2n]$ with blocks of size 2 avoiding a permutation pattern of length 3 satisfied a second order linear recurrence relation. In answer to the question of Godbole, et al., we obtain the generating function for $|\mathcal{OP}_{n,k}(123)|$ and we prove the conjecture on the recurrence relation.

We define impulse response sequence in the set of all linear recurring sequences satisfying a linear recurrence relation of order $r$. The generating function and expression of the impulse response sequence are presented. Some identities of impulse response sequences including a type of nonlinear expressions are established. The interrelationship between the impulse response sequence and other linear recurring sequences in the same set is given, which is used to transfer the identities of impulse response sequences to those of the linear recurring sequences in the same set. Some applications of impulse response sequences to the structure of Stirling numbers of the second order, the Wythoff array, and the Boustrophedon transform are studied.

Generalized Dyck paths (or discrete excursions) are one-dimensional paths that take their steps in a given finite set S, start and end at height 0, and remain at a non-negative height. Bousquet-Mélou showed that the generating function E_k of excursions of height at most k is of the form F_k/F_{k+1}, where the F_k are polynomials satisfying a linear recurrence relation. We give a combinatorial interpretation of the polynomials F_k and of their recurrence relation using a transfer matrix method. We then extend our method to enumerate discrete meanders (or paths that start at 0 and remain at a non-negative height, but may end anywhere). Finally, we study the particular case where the set S is symmetric and show that several simplifications occur.

Some applications of a result, which is proved recently, is considered. We first prove three determinantal identities concerning the binomial coefficient and Stirling numbers of the first and the second kind. We also easily obtain the inverse of the Vandermonde matrix. Then we derive a recurrence formula for sums of powers, which is similar to the well-known Newton identity. In the last section, we consider some sequences given by a homologous linear recurrence equation. A determinantal identity for the Fibonacci numbers of higher order is proved. We finish with an expression of the generalized Vandermonde determinant in terms of the standard Vandermonde determinant and elementary symmetric polynomials.

In 1997, Bousquet-Melou and Eriksson initiated the study of lecture hall partitions, a fascinating family of partitions that yield a finite version of Euler's celebrated odd/distinct partition theorem. In subsequent work on s-lecture hall partitions, they considered the self-reciprocal property for various associated generating functions, with the goal of characterizing those sequences s that give rise to generating functions of the form $((1-q^{e_1})(1-q^{e_2})...(1-q^{e_n}))^{-1}$. We continue this line of investigation, connecting their work to the more general context of Gorenstein cones. We focus on the Gorenstein condition for s-lecture hall cones when s is a positive integer sequence generated by a second-order homogeneous linear recurrence with initial values 0 and 1. Among such sequences s, we prove that the n-dimensional s-lecture hall cone is Gorenstein for all n greater than or equal to 1 if and only if s is an l-sequence. One consequence is that among such sequences s, unless s is an l-sequence, the generating function for the s-lecture hall partitions can have the form $((1-q^{e_1})(1-q^{e_2})...(1-q^{e_n}))^{-1}$ for at most finitely many n. We also apply the results to establish several conjectures by Pensyl and Savage regarding the symmetry of h*-vectors for s-lecture hall polytopes. We end with open questions and directions for further research.

We show that sequences of skew Schur polynomials obtained from stretched semi-standard Young tableaux satisfy a linear recurrence, which we give explicitly. Using this, we apply this to finding certain asymptotic behavior of these Schur polynomials and present conjectures on minimal recurrences for stretched Schur polynomials.

We prove that for arbitrary partitions $\mathbfλ \subseteq \mathbfκ,$ and integers $0\leq c<r\leq n,$ the sequence of Schur polynomials $S_{(\mathbfκ + k\cdot \mathbf{1}^c)/(\mathbfλ + k\cdot \mathbf{1}^r)}(x_1,...,x_n)$ for $k$ sufficiently large, satisfy a linear recurrence. The roots of the characteristic equation are given explicitly. These recurrences are also valid for certain sequences of minors of banded Toeplitz matrices. In addition, we show that Widom's determinant formula from 1958 is a special case of a well-known identity for Schur polynomials.

The domination polynomial D(G,x) of a graph G is the generating function of its dominating sets. We prove that D(G,x) satisfies a wide range of reduction formulas. We show linear recurrence relations for D(G,x) for arbitrary graphs and for various special cases. We give splitting formulas for D(G,x) based on articulation vertices, and more generally, on splitting sets of vertices.

The number of excursions (finite paths starting and ending at the origin) having a given number of steps and obeying various geometric constraints is a classical topic of combinatorics and probability theory. We prove that the sequence $(e^{\mathfrak{S}}_n)_{n\geq 0}$ of numbers of excursions in the quarter plane corresponding to a nonsingular step set $\mathfrak{S} \subseteq \{0,\pm 1 \}^2$ with infinite group does not satisfy any nontrivial linear recurrence with polynomial coefficients. Accordingly, in those cases, the trivariate generating function of the numbers of walks with given length and prescribed ending point is not D-finite. Moreover, we display the asymptotics of $e^{\mathfrak{S}}_n$.

A sequence $f_n(q)$ is $q$-holonomic if it satisfies a nontrivial linear recurrence with coefficients polynomials in $q$ and $q^n$. Our main theorems state that $q$-holonomicity is preserved under twisting, i.e., replacing $q$ by $ωq$ where $ω$ is a complex root of unity, and under the substitution $q \to q^α$ where $α$ is a rational number. Our proofs are constructive, work in the multivariate setting of $\partial$-finite sequences and are implemented in the Mathematica package HolonomicFunctions. Our results are illustrated by twisting natural $q$-holonomic sequences which appear in quantum topology, namely the colored Jones polynomial of pretzel knots and twist knots. The recurrence of the twisted colored Jones polynomial can be used to compute the asymptotics of the Kashaev invariant of a knot at an arbitrary complex root of unity.

Let $K$ be a field of characteristic zero and suppose that $f:\mathbb{N}\to K$ satisfies a recurrence of the form $$f(n)\ =\ \sum_{i=1}^d P_i(n) f(n-i),$$ for $n$ sufficiently large, where $P_1(z),...,P_d(z)$ are polynomials in $K[z]$. Given that $P_d(z)$ is a nonzero constant polynomial, we show that the set of $n\in \mathbb{N}$ for which $f(n)=0$ is a union of finitely many arithmetic progressions and a finite set. This generalizes the Skolem-Mahler-Lech theorem, which assumes that $f(n)$ satisfies a linear recurrence. We discuss examples and connections to the set of zero coefficients of a power series satisfying a homogeneous linear differential equation with rational function coefficients.

Recently, A. I. Aptekarev and his collaborators found a sequence of rational approximations to Euler's constant $γ$ defined by a third-order homogeneous linear recurrence. In this paper, we give a new interpretation of Aptekarev's approximations in terms of Meijer $G$-functions and hypergeometric-type series. This approach allows us to describe a very general construction giving linear forms in 1 and $γ$ with rational coefficients. Using this construction we find new rational approximations to $γ$ generated by a second-order inhomogeneous linear recurrence with polynomial coefficients. This leads to a continued fraction (though not a simple continued fraction) for Euler's constant. It seems to be the first non-trivial continued fraction expansion convergent to Euler's constant sub-exponentially, the elements of which can be expressed as a general pattern. It is interesting to note that the same homogeneous recurrence generates a continued fraction for the Euler-Gompertz constant found by Stieltjes in 1895.