arXiv++ Combinatorics

We study the inversion enumerator of permutations whose descent set is fixed to be the set of multiples of a fixed integer $k \ge 2$. For each $n$, let $\mathfrak{S}_n^{(k)}$ denote the set of permutations of $\{1,\dots,n\}$ whose descent set is exactly $\{i : k \mid i\}$, and define the polynomial $$ a_n^{(k)}(q)=\sum_{σ\in \mathfrak{S}_n^{(k)}} q^{\mathrm{inv}(σ)}. $$ We prove that the associated $q$-exponential generating function $$ F_k(t;q)=\sum_{n\ge 0}\frac{t^n}{[n]_q!}\,a_n^{(k)}(q), $$ where $[n]_q!$ denotes the $q$-factorial, admits an explicit closed form as a ratio of two $k$-periodically truncated $q$-exponential series. The proof is purely analytic and is based on a functional equation satisfied by $F_k(t;q)$, obtained via a decomposition of the $q$-exponential series into residue classes modulo $k$. Coefficient extraction yields a convolution identity involving Gaussian binomial coefficients, which uniquely determines the inversion enumerator. This provides an analytic alternative to classical inclusion--exclusion and structural combinatorial arguments for permutation classes with periodic descent constraints.

We analyze a weighted convolution of Catalan numbers $$ \sum_{k=0}^{n} \binom{2k}{k}\binom{2(n-k)}{n-k} a^k = \sum_{k=0}^{n} (k+1)(n-k+1) C_k C_{n-k} a^k, $$ emphasizing its combinatorial, analytic, and probabilistic aspects. We derive a compact closed form in terms of the Gauss hypergeometric function ${}_2F_1(-n,1/2;1;1-a)$, valid for all complex values of the parameter $a$. The sum admits a natural interpretation in terms of return probabilities of independent simple random walks, linking weighted convolutions of central binomial coefficients to classical probability theory. Furthermore, a refinement via Narayana numbers highlights the contribution of peak distributions in pairs of Dyck paths, providing a finer combinatorial perspective. An integral representation is also proposed, suggesting a connection with orthogonal polynomials and spectral measures. Our approach illustrates how analytic and probabilistic techniques complement combinatorial reasoning in evaluating complex sums.

We develop a systematic and fully explicit approach to the evaluation of binomial sums involving reciprocals of binomial coefficients based on Beta integral techniques. Starting from a simple integral representation, we provide a derivation of classical identities, including Frisch's formula, with all intermediate transformations rigorously justified. This framework naturally extends to parametric sums, yielding integral representations that lead to closed forms in terms of hypergeometric functions. In particular, we establish connections with terminating ${}_2F_1$ and generalized ${}_3F_2$ series, thereby linking discrete combinatorial sums with the analytic theory of special functions. We further derive explicit finite expansions suitable for symbolic and numerical computation, as well as higher-order extensions involving Pochhammer symbols. In addition, we present new families of identities, including shifted reciprocal sums and weighted sums involving powers of the summation index, which admit unified hypergeometric representations. Overall, the Beta integral method provides a versatile and unifying framework bridging combinatorial identities, integral representations, and hypergeometric analysis, and opens the way to further generalizations in combinatorics and special function theory.

We introduce and study modular truncations of the Ackermann function viewed as self-maps on finite rings. These maps form a hierarchy of rapidly increasing compositional complexity indexed by recursion depth. We investigate their structural properties, sensitivity to depth variation, and induced distributions modulo powers of two. Motivated by these properties, we define hierarchical hash-type constructions based on depth-dependent Ackermann evaluation. Several conjectures and open problems on distribution, cycle structure, and asymptotic behavior are proposed.

Tangent numbers $T_{2n-1}$, which enumerate alternating permutations of odd length, play a prominent role in the Taylor series expansion of the tangent function $\tan(x)$. In this work, we adopt a combinatorial approach based on the excedance statistic of permutations, which allows us to interpret the coefficients of the tangent series in a structural and enumerative way. Using this framework, we establish a classical identity that relates the alternating sum of excedances to the hyperbolic tangent function. This perspective highlights deep connections with Eulerian polynomials, provides a combinatorial interpretation of tangent numbers, and links these sequences to Genocchi numbers and related arithmetic properties. The approach not only unifies analytic and combinatorial viewpoints but also opens the way to generalizations to other permutation statistics and families of specialized permutations.

Toeplitz matrices arise naturally in harmonic analysis, operator theory, and numerical analysis. In this note we investigate Toeplitz matrices whose coefficients depend on the matrix size through a scaled kernel $a_k=f(k/n)$. We show that the empirical mean of their eigenvalues converges to a weighted integral of $f$, where the weight $1-|x|$ reflects the density of diagonals in Toeplitz matrices. We then introduce a combinatorial construction associating a Toeplitz matrix to a permutation via its displacement counts. For a uniformly random permutation, the expected matrix converges to the Toeplitz matrix generated by the triangular kernel $1-|x|$. Interestingly, the triangular kernel also appears as the covariance function of the integrated Brownian motion, providing a probabilistic interpretation of the same operator. Finally, we analyze the integral operator with kernel $(1-|x-y|)$ on $[0,1]$ and determine its eigenfunctions and eigenvalues explicitly. This operator describes the limiting spectral structure associated with the averaged Toeplitz matrices arising from permutation displacements. These results highlight a natural bridge between Toeplitz matrix theory, permutation statistics, and classical integral operators.

We investigate inequalities for partial sums of complex numbers with bounded modulus and zero total sum, a topic referred to as "polygonal confinement". Starting from Steinitz's classical result, we provide detailed constructions yielding explicit bounds, including $\sqrt{5}$, $\sqrt{3}$, $2$, and $\sqrt{2}$, depending on geometric constraints or weighted settings. The proofs are fully detailed with step-by-step constructions of permutations, highlighting the combinatorial and geometric intuition. We conclude with conjectures on optimal universal constants and directions for future research.

We propose sum rules for permutations $p_n(k)$ of the ensemble $\left\{1,2,\cdots,n\right\}$ with $k$ fixed points, in the form of partial sums of their moments. The corresponding identities involve Stirling numbers of the first kind $s(q,r)$. Using a formula due to Vassilev-Missana and the Schlömlich expression of Stirling numbers, we also deduce sum rules for binomial coefficients. Connections with Bell numbers $B_n$ are outlined.

In this work, we study the discrete observables $$E_k = \sum_{i,j=1}^n (i-j)^k A_{i,j}$$ associated with $n\times n$ alternating sign matrices $A = (A_{i,j})$. This work develops exact formulas for expectations using Bernoulli polynomials, exponential generating functions, expansions in $1/n$ linked to Riemann zeta functions, and cumulants up to fourth order via integrable kernel methods. All intermediate calculations, expansions, and pedagogical details are provided to illustrate the interplay between combinatorial sums, analytic expansions, and integrable structures in alternating sign matrices.

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 provide a unified combinatorial framework connecting Entringer numbers, Dumont-Viennot snakes, and elliptically weighted continued fractions, which gives a structural interpretation of the Jacobi elliptic identity \begin{equation} \mathrm{sn}'(u)=\mathrm{cn}(u)\,\mathrm{dn}(u), \end{equation} where $\mathrm{sn}$, $\mathrm{cn}$ and $\mathrm{dn}$ are the Jacobi elliptic functions. This framework allows the decomposition of weighted snakes corresponding to the derivative of $\mathrm{sn}$ into canonical $\mathrm{cn}$- and $\mathrm{dn}$-components, bridging classical combinatorics and elliptic function theory.

While the value of the radius of convergence of the generating series of the Catalan numbers is well-known, obtaining it solely from recurrence relations is less immediate. It is sometimes considered that no known proof establishes that the radius $R$ equals 1/4 without relying on the explicit closed formula for the Catalan numbers. In particular, it has been shown that one can obtain, at the cost of substantial technical effort and without resorting to the main Segner recursion relation or to the explicit formula for the Catalan number, the lower bound $R\geq 1/6$. In this work, we prove that Touchard's recurrence alone yields the optimal exponential upper bound $\limsup_{n\to\infty} C_n^{1/n} \le 4$, which implies $R \ge 1/4$. Combined with the classical lower estimate $\limsup_{n\to\infty} C_n^{1/n} \ge 4$, obtained from central binomial coefficients, this gives $R = 1/4$.

We introduce a steganographic information hiding scheme based on structural properties of numerical semigroups arising from the Frobenius coin problem. Instead of encoding data through representable integers, the proposed protocol embeds information into the gap structure of carefully chosen symmetric numerical semigroups. Symmetry guarantees a balanced gap density, ensuring that encoded values are statistically indistinguishable from uniform numerical noise to an observer lacking the private generating set. The security of the scheme relies on the assumed average-case hardness of numerical semigroup membership inference for hidden generators, offering a novel number-theoretic primitive for covert communication and post-quantum resilient information hiding.

We present identities for permutations with fixed points. The formulas are based on successive derivations or integrations of the determinant of a particular matrix.

We propose a sum rule for derangements. Three different proofs are provided. The first one involves integral representations and the second one relies on the Hermite identity for the integer part of the product of an integer by a real number. The third one, which, unlike the previous ones, is not based on induction, proceeds directly from a recurrence relation for the number of derangements.

The Clebsch-Gordan coefficients or Wigner $3j$ symbols are known to be proportional to a $_3F_2(1)$ hypergeometric series, and Racah $6j$ coefficients to a $_4F_3(1)$. In general, however, non-trivial $9j$ symbols can not be expressed as a $_5F_4$. In this letter, we show, using the Dougall-Ramanujan identity, that special stretched $9j$ symbols can be reformulated as $_5F_4(1)$ hypergeometric series.

We present an integral expression of the Catalan numbers, based on Féaux' integral representation of $\log\left[Γ(x)\right]$, $Γ$ being the usual Gamma function. The obtained formula may be the starting point of the derivation of new relations involving central binomial coefficients or Catalan numbers.

We propose a sum rule for $r$-derangements (meaning that the elements are restricted to be in distinct cycles in the cycle decomposition) involving binomial coefficients. The identity, obtained using the Cauchy product of two exponential generating functions, generalizes a known relation for usual derangements.

In this article, we propose an integral expression of the Catalan numbers, based on Malmstén's definite-integral representation of $\ln\left[Γ(x)\right]$, $Γ$ being the usual Gamma function. The obtained expression is likely to yield new summations involving Catalan numbers or central binomial coefficients.

In this article, we use the Touchard identity in order to obtain new integral representations for Catalan numbers. The main idea consists in combining the identity with a known integral representation and resorting to the binomial theorem. The same procedure is applied to a variant of the Touchard identity proposed by Callan a few years ago. The method presented here can be generalized to derive additional integral representations from known ones, provided that the latter have a well-suited form and lend themselves to an analytical summation under the integral sign.