arXiv++ Combinatorics

The alternating composition of $N = 2p$ weighted differential operators $w_j(x)\cdot\partial_x^{\,p}$ of strict order $p$ on the line $\mathbb{R} \ni x$ is again an operator of order $p$; its coefficient is the universal constant $c(p)$ times the Wronskian of the weights $w_1,\ldots,w_N$. Lie brackets of vector fields fix $c(p=1)=1$; we want to find $c(p \geqslant 2)$: e.g., $c(2) = 2$ or $c(3) = 90$. Direct symbolic expansion (over $|S_{2p}| =(2p)!$ permutations) fails for $p \geqslant 4$. Taking the monomials $w_j = x^{j-1}$ reduces the summation to the much smaller set $Φ_p \subseteq S_{2p-1} \subsetneq S_{2p}$ of late-growing permutations. Expressing $c(p)$ as a signed sum of products of falling factorials, we implement and speed up the algorithm that gains all the integer values up to $c(18) = 4.881\ldots \cdot 10^{462}$. The resulting sequence is new, now registered as OEIS A392714; its (sub)leading-order growth rate is $\log c(p) \simeq 2p^2\log p -b p^2 + \overline{o}(p^2)$ for $p\gg 1$, with $b\geqslant 2.6744$.

We introduce a natural generalization of the Bell numbers: the $m$-Bell numbers $B^{(m)}_{n}$, characterized by the property that $m$ applications of the binomial transform reproduce the original sequence shifted $m$ places to the left. Their exponential generating functions satisfy $m$-th order ordinary differential equations whose solutions are hypergeometric (hyper-Bessel) functions, specializing to the exponential function when $m=1$ (classical Bell numbers) and to modified Bessel functions when $m=2$ (yielding "Bessel-Bell" numbers). Mirroring the Bell-Stirling correspondence, we construct $m$-Stirling triangular arrays from the two-term recurrence $S_m (n+1,k) = m \left\lfloor k/m \right\rfloor S_m(n,k)+S_m(n,k-1)$ and prove an elementary shift identity from which the central structure theorem follows: the row sums of the $m$-Stirling triangle reproduce $B^{(m)}_{n}$, and, more finely, the residue-class row sums are precisely the $m$ primitive $m$-Bell sequences. The $m$-Stirling numbers come in dual pairs (with first-kind partners, generalized falling factorials, and Lah-type companions), serve as conversion operators between polynomial bases, admit Dobiński-like formulas, and count congruence-constrained partitions in an urn model as well as restricted permutation insertion histories. Finally, we show that the $m$-Bell numbers govern the moments of the Conway-Maxwell-Poisson distribution with integer dispersion parameter $ν=m$: the scaled moments are combinations of fixed hyper-Bessel carrier ratios whose integer coefficients are precisely the primitive $m$-Bell sequences, recovering for $m=1$ the classical fact that the moments of the Poisson distribution are the Bell numbers.

The alternating (zigzag) numbers $A_n$, counting the ascending alternating permutations of $\left\{1,\cdots,n\right\}$ and defined by the exponential generating function $\tan x+\sec x$, admit several classical combinatorial and analytic representations. In this work we unify and extend three complementary structures of $A_n$. First, starting from the Stirling number expansion of zigzag numbers, we derive a contour integral representation, as well as a positive Laplace-type integral representation $$ A_n = 2^n \int_0^\infty e^{-y} f_n(y)\, dy, \qquad f_n(y) := \sum_{k=0}^{n} (-1)^k S(n,k) \left(\frac{y}{2}\right)^k, $$ where the kernel $f_n(y)$ is the polynomial generating function of Stirling numbers. A continuous interpolation of the discrete product (falling factorial) is introduced subsequently. This provides a direct analytic bridge between set partitions and Laplace asymptotics. Second, using the partial fraction expansion of $\tan$, we obtain the well-known hyperbolic integral representation $$ A_{2n+1}=\frac{1}π\int_0^\infty\frac{y^{2n+1}}{\sinh(y/2)}\,dy, $$ equivalently expressed in classical $\cosh$ form for $A_{2n}$. This representation interprets zigzag numbers as spectral moments associated with half-integer poles. The connection with Fourier analysis and Mellin transforms is also outlined. Finally, combining spectral expansions with Stirling identities, we derive congruence relations modulo primes for $A_n$. These results exhibit a dual analytic-combinatorial structure of zigzag numbers, linking partition expansions, trigonometric spectra, and arithmetic properties.

We introduce the $B$-Stirling numbers of the first and second kind, which are the coefficients of the potential polynomials when we express them in terms of the monomials and the falling factorials, respectively. These numbers include, as particular cases, the partial and complete Bell polynomials, the degenerate and probabilistic Stirling numbers, and the $S$-restricted Stirling numbers, among others. Special attention is devoted to the computation of such numbers. On the one hand, a recursive formula is provided. On the other, we can compute Stirling numbers of one kind in terms of the other, with the help of the classical Stirling numbers.

In this paper, we introduce the \emph{$α$-chromatic symmetric functions} $χ^{(α)}_π[X;q]$, extending Shareshian and Wachs' chromatic symmetric functions with an additional real parameter $α$. We present positive combinatorial formulas with explicit interpretations. Notably, we show an explicit monomial expansion in terms of the $α$-binomial basis and an expansion into certain chromatic symmetric functions in terms of the $α$-falling factorial basis. Among various connections with other subjects, we highlight a significant link to $q$-rook theory, including a new solution to the $q$-hit problem posed by Garsia and Remmel in their 1986 paper introducing $q$-rook polynomials.

The notion of a descent polynomial, a function in enumerative combinatorics that counts permutations with specific properties, enjoys a revived recent research interest due to its connection with other important notions in combinatorics, viz. peak polynomials and symmetric functions. We define the function $\mathfrak{d}^{m}(I,n)$ as a generalization of the descent polynomial and we prove that for any positive integer $m$, this function is a polynomial in $n$ for sufficiently large $n$ (similarly to the descent polynomial). We obtain an explicit formula for $\mathfrak{d}^{m}(I,n)$ when $m$ is sufficiently large. We look at the coefficients of $\mathfrak{d}^{m}(I,n)$ in different falling factorial bases. We prove the positivity of the coefficients and discover a combinatorial interpretation for them. This result is similar to the positivity result of Diaz-Lopez et al. for the descent polynomial.

We define and study a spatial (infinite-dimensional) counterpart of Stirling numbers. In classical combinatorics, the Pochhammer symbol $(m)_n$ can be extended from a natural number $m\in\mathbb N$ to the falling factorials $(z)_n=z(z-1)\dotsm (z-n+1)$ of an argument $z$ from $\mathbb F=\mathbb R\text{ or }\mathbb C$, and Stirling numbers of the first and second kinds are the coefficients of the expansions of $(z)_n$ through $z^k$, $k\leq n$ and vice versa. When taking into account spatial positions of elements in a locally compact Polish space $X$, we replace $\mathbb N$ by the space of configurations -- discrete Radon measures $γ=\sum_iδ_{x_i}$ on $X$, where $δ_{x_i}$ is the Dirac measure with mass at $x_i$.The spatial falling factorials $(γ)_n:=\sum_{i_1}\sum_{i_2\ne i_1}\dotsm\sum_{i_n\ne i_1,\dots, i_n\ne i_{n-1}}δ_{(x_{i_1},x_{i_2},\dots,x_{i_n})}$ can be naturally extended to mappings $M^{(1)}(X)\niω\mapsto (ω)_n\in M^{(n)}(X)$, where $M^{(n)}(X)$ denotes the space of $\mathbb F$-valued, symmetric (for $n\ge2$) Radon measures on $X^n$. There is a natural duality between $M^{(n)}(X)$ and the space $\mathcal {CF}^{(n)}(X)$ of $\mathbb F$-valued, symmetric continuous functions on $X^n$ with compact support. The Stirling operators of the first and second kind, $\mathbf{s}(n,k)$ and $\mathbf{S}(n,k)$, are linear operators, acting between spaces $\mathcal {CF}^{(n)}(X)$ and $\mathcal {CF}^{(k)}(X)$ such that their dual operators, acting from $M^{(k)}(X)$ into $M^{(n)}(X)$, satisfy $(ω)_n=\sum_{k=1}^n\mathbf{s}(n,k)^*ω^{\otimes k}$ and $ω^{\otimes n}=\sum_{k=1}^n\mathbf{S}(n,k)^*(ω)_k$, respectively. We derive combinatorial properties of the Stirling operators, present their connections with a generalization of the Poisson point process and with the Wick ordering under the canonical commutation relations.

Given a chain of groups $G_0 \le G_1 \le G_2 ... $, we may form the corresponding chain of their representation rings, together with induction and restriction operators. We may let $\textrm{Res}^l$ denote the operator which restricts down $l$ steps, and similarly for $\textrm{Ind}^l$. Observe then that $\textrm{Ind}^l \textrm{Res}^l$ is an operator from any particular representation ring to itself. The central question that this paper addresses is: "What happens if the $\textrm{Ind}^l \textrm{Res}^l$ operator is a polynomial in the $\textrm{Ind} \textrm{Res}$ operator?". We show that chains of wreath products $\{H^n \rtimes S_n\}_{n \in \mathbb{N}}$ have this property, and in particular, the polynomials that appear in the case of symmetric groups are the falling factorial polynomials. An application of this fact gives a remarkable new way to compute characters of wreath products (in particular symmetric groups) using matrix multiplication. We then consider arbitrary chains of groups, and find very rigid constraints that such a chain must satisfy in order for $\textrm{Ind}^l \textrm{Res}^l$ to be a polynomial in $\textrm{Ind} \textrm{Res}$. Our rigid constraints justify the intuition that this property is indeed a very rare and special property.

In this paper, we study shifted Schur functions $S_μ^\star$, as well as a new family of shifted symmetric functions $\mathfrak{K}_μ$ linked to Kostka numbers. We prove that both are polynomials in multi-rectangular coordinates, with nonnegative coefficients when written in terms of falling factorials. We then propose a conjectural generalization to the Jack setting. This conjecture is a lifting of Knop and Sahi's positivity result for usual Jack polynomials and resembles recent conjectures of Lassalle. We prove our conjecture for one-part partitions.

Spivey presented a new approach to evaluate combinatorial sums by using finite differences. We present some closed forms for sums involving the binomial coefficients, Fibonacci and Lucas numbers in terms of the falling factorial.

Rook theory has been investigated by many people since its introduction by Kaplansky and Riordan in 1946. Goldman, Joichi and White in 1975 showed that the sum over $k$ of the product of the $(n-k)$-th rook numbers multiplied by the $k$-th falling factorial polynomials factorize into a product. In the sequel, different types of generalizations and analogues of this product formula have been derived by various authors. In 2008, Miceli and Remmel constructed a rook theory model involving augmented rook boards in which they showed the validity of a general product formula which can be specialized to all other product formulas that so far have appeared in the literature on rook theory. In this work, we construct an elliptic extension of the $q$-analogue of Miceli and Remmel's result. Special cases yield elliptic extensions of various known rook theory models.

Consider the Fibonacci numbers defined by setting $F_1=1=F_2$ and $F_n =F_{n-1}+F_{n-2}$ for $n \geq 3$. We let $n_F! = F_1 \cdots F_n$ and $\binom{n}{k}_F = \frac{n_F!}{k_F!(n-k)_F!}$. Let $(x)_{\downarrow_0} = (x)_{\uparrow_0} = 1$ and for $k \geq 1$, $(x)_{\downarrow_k} = x(x-1) \cdots (x-k+1)$ and $(x)_{\uparrow_k} = x(x+1) \cdots (x+k-1)$. Then the Stirling numbers of the first and second kind are the connections coefficients between the usual power basis $\{x^n:n \geq 0\}$ and the falling factorial basis $\{(x)_{\downarrow_n}:n \geq 0\}$ in the polynomial ring $\mathbb{Q}[x]$ and the Lah numbers are the connections coefficients between the rising factorial basis $\{(x)_{\uparrow_n}:n \geq 0\}$ and the falling factorial basis $\{(x)_{\downarrow_n}:n \geq 0\}$ in the polynomial ring $\mathbb{Q}[x]$. The goal of this paper is to find Fibonacci analogues for the Stirling numbers of the first and second kind and the Lah numbers. Our idea is to replace the falling factorial basis and the rising factorial basis by the Fibo-falling factorial basis $\{(x)_{\downarrow_{F,n}}:n \geq 0\}$ and the Fibo-rising factorial basis $\{(x)_{\uparrow_{F,n}}:n \geq 0\}$ where $(x)_{\downarrow_{F,0}} = (x)_{\uparrow_{F,0}} = 1$ and for $k \geq 1$, $(x)_{\downarrow_{F,k}} = x(x-F_1) \cdots (x-F_{k-1})$ and $(x)_{\uparrow_{F,k}} = x(x+F_1) \cdots (x+F_{k-1})$. Then we study the combinatorics of the connection coefficients betweenthe usual power basis, the Fibo-falling factorial basis, and the Fibo-rising factorial basis. In each case, we can give a rook theory model for the connections coefficients and show how this rook theory model can give combinatorial explanations for many of the properties of these coefficients.

Through a brute-force approach to calculating the higher derivatives of the falling factorial function, a number of interesting quantities were obtained and analyzed. In particular, it was found that a quantity that can be described as the "elementary symmetric harmonic sum" is a natural way to describe the solutions to such higher derivatives. The relationship of this type of generalized harmonic number to other quantities discussed in the literature, such as the r-Stirling numbers, was described in detail.

Goldman, Joichi, and White proved a beautiful theorem showing that the falling factorial generating function for the rook numbers of a Ferrers board factors over the integers. Briggs and Remmel studied an analogue of rook placements where rows are replaced by sets of $m$ rows called levels. They proved a version of the factorization theorem in that setting, but only for certain Ferrers boards. We generalize this result to any Ferrers board as well as giving a p,q-analogue. We also consider a dual situation involving weighted file placements which permit more than one rook in the same row. In both settings, we discuss properties of the resulting equivalence classes such as the number of elements in a class. In addition, we prove analogues of a theorem of Foata and Schützenberger giving a distinguished representative in each class as well as make connections with the q,t-Catalan numbers. We end with some open questions raised by this work.

A packing of subsets $\mathcal S_1,..., \mathcal S_n$ in a group $G$ is a sequence $(g_1,...,g_n)$ such that $g_1\mathcal S_1,...,g_n\mathcal S_n$ are disjoint subsets of $G$. We give a formula for the number of packings if the group $G$ is finite and if the subsets $\mathcal S_1,...,\mathcal S_n$ satisfy a genericity condition. This formula can be seen as a generalization of the falling factorials which encode the number of packings in the case where all the sets $\mathcal S_i$ are singletons.

In the present paper we introduce some expansions, based on the falling factorials, for the Euler Gamma function and the Riemann Zeta function. In the proofs we use the Faá di Bruno formula, Bell polynomials, potential polynomials, Mittag-Leffler polynomials, derivative polynomials and special numbers (Eulerian numbers and Stirling numbers of both kinds). We investigate the rate of convergence of the series and give some numerical examples.

A gain graph is a graph whose edges are labelled invertibly by "gains" from a group. "Switching" is a transformation of gain graphs that generalizes conjugation in a group. A "weak chromatic function" of gain graphs with gains in a fixed group satisfies three laws: deletion-contraction for links with neutral gain, invariance under switching, and nullity on graphs with a neutral loop. The laws lead to the "weak chromatic group" of gain graphs, which is the universal domain for weak chromatic functions. We find expressions, valid in that group, for a gain graph in terms of minors without neutral-gain edges, or with added complete neutral-gain subgraphs, that generalize the expression of an ordinary chromatic polynomial in terms of monomials or falling factorials. These expressions imply relations for chromatic functions of gain graphs. We apply our relations to some special integral gain graphs including those that correspond to the Shi, Linial, and Catalan arrangements, thereby obtaining new evaluations of and new ways to calculate the zero-free chromatic polynomial and the integral and modular chromatic functions of these gain graphs, hence the characteristic polynomials and hypercubical lattice-point counting functions of the arrangements. We also calculate the total chromatic polynomial of any gain graph and especially of the Catalan, Shi, and Linial gain graphs.

We investigate the coefficients generated by expressing the falling factorial $(xy)_k$ as a linear combination of falling factorial products $(x)_l (y)_m$ for $l,m =1,...,k$. Algebraic and combinatoric properties of these coefficients are discussed, including recurrence relations, closed-form formulae, relations with Stirling numbers, and a combinatorial characterization in terms of conjoint ranking tables.

In Combinatorics Stirling numbers may be defined in several ways. One such definition is given in [1], where an extensive consideration of Stirling numbers is presented. In this paper an alternative definition of Stirling numbers of both kind is given. Namely, Stirling numbers of the first kind appear in the closed formula for the n-th derivative of ln x. In the same way Stirling numbers of the second kind appear in the formula for the n-th derivative of f(e^x), where f(x) is an arbitrary smooth real function. This facts allow us to define Stirling numbers within the frame of differential calculus. These definitions may be interesting because arbitrary functions appear in them. Choosing suitable function we may obtain different properties of Stirling numbers by the use of derivatives only. Using simple properties of derivatives we obtain here three important properties of Stirling numbers. First are so called two terms recurrence relations, from which one can easily derive the combinatorial meaning of Stirling numbers. Next we obtain expansion formulas of powers into falling factorials, and vise versa. These expansions usually serve as the definitions of Stirling numbers, as in [1]. Finally, we obtain the exponential generating functions for Stirling and Bell numbers. As a by product the closed formulas for the $n$-th derivative of the functions f(e^x) and f(ln x) are obtained.

We define an enumerative function F(n,k,P,m) which is a generalization of binomial coefficients. Special cases of this function are also power function, factorials, rising factorials and falling factorials. The first section of the paper is an introduction. In the second section we derive an explicit formula for F. From the expression for the power function we obtain a number theory result. Then we derive a formula which shows that the case of arbitrary m may be reduced to the case m=0. This formula extends Vandermonde convolution. In the second section we describe F by the series of recurrence relations with respect to each of arguments k, n, and P. As a special case of the first recurrence relation we state a binomial identity. As a consequence of the second recurrence relation we obtain relation for coefficients of Chebyshev polynomial of both kind. This means that these polynomials might be defined in pure combinatorial way.