arXiv++ Combinatorics

A sequence $\{z_n\}_{n\geq0}$ is called ratio log-convex in the sense that the ratio sequence $\{\frac{z_{n+1}}{z_n}\}_{n\geq0}$ is log-convex. Based on a three-term recurrence for sequences, we develop techniques for dealing with the ratio log-convexity of ratio sequences. As applications, we prove that the ratio sequences of numbers, including the derangement numbers, the Motzkin numbers, the Fine numbers, Franel numbers and the Domb numbers are ratio log-convex, respectively. Finally, we not only prove that the sequence of derangement numbers is asymptotically infinitely log-monotonic, but also show some infinite log-monotonicity of some numbers related to the Gamma function, in particular, implying two results of Chen {\it et al.} on the infinite log-monotonicity of the Catalan numbers and the central binomial coefficients.

The aim of this paper is to develop analytic techniques to deal with certain monotonicity of combinatorial sequences. (1) A criterion for the monotonicity of the function $\sqrt[x]{f(x)}$ is given, which is a continuous analog for one result of Wang and Zhu. (2) The log-behavior of the functions $θ(x)=\sqrt[x]{2 ζ(x)Γ(x+1)}$ and $F(x)=\sqrt[x]{\frac{Γ(ax+b+1)}{Γ(c x+d+1)Γ(e x+f+1)}}$ is considered, where $ζ(x)$ and $Γ(x)$ are the Riemann zeta function and the Euler Gamma function, respectively. As consequences, the strict log-concavities of the function $θ(x)$ (a conjecture of Chen {\it et al.}) and $\{\sqrt[n]{z_n}\}$ for some combinatorial sequences (including the Bernoulli numbers, the Tangent numbers, the Catalan numbers, the Fuss-Catalan numbers and some Binomial coefficients) are demonstrated. In particular, this contains some results of Chen {\it et al.}, Luca and Stănică. (3). By researching logarithmically complete monotonicity of some functions, the infinite log-monotonicity of the sequence $\{\frac{(n_{0}+ia)!}{(k_0+ib)!(\overline{k_0}+i\overline{b})!}\}_{i\geq0}$ is proved. This generalizes two results of Chen {\it et al.} that both the Catalan numbers $\frac{1}{n+1}\binom{2n}{n}$ and central binomial coefficients $\binom{2n}{n}$ are infinitely log-monotonic and strengths one result of Su and Wang that $\binom{dn}{δn}$ is log-convex in $n$. (4) The asymptotically infinite log-monotonicity of derangement numbers is showed. (5)The logarithmically complete monotonicity of functions $1/\sqrt[x]{a ζ(x+b)Γ(x+c)}$ and $\sqrt[x]{ρ\prod_{i=1}^n\frac{Γ(x+a_i)}{Γ(x+b_i)}}$ is also obtained, which generalizes the results of Lee and Tepedelenlioǧlu, Qi and Li.

We introduce the notion of infinitely log-monotonic sequences. By establishing a connection between completely monotonic functions and infinitely log-monotonic sequences, we show that the sequences of the Bernoulli numbers, the Catalan numbers and the central binomial coefficients are infinitely log-monotonic. In particular, if a sequence $\{a_n\}_{n\geq 0}$ is log-monotonic of order two, then it is ratio log-concave in the sense that the sequence $\{a_{n+1}/a_{n}\}_{n\geq 0}$ is log-concave. Furthermore, we prove that if a sequence $\{a_n\}_{n\geq k}$ is ratio log-concave, then the sequence $\{\sqrt[n]{a_n}\}_{n\geq k}$ is strictly log-concave subject to a certain initial condition. As consequences, we show that the sequences of the derangement numbers, the Motzkin numbers, the Fine numbers, the central Delannoy numbers, the numbers of tree-like polyhexes and the Domb numbers are ratio log-concave. For the case of the Domb numbers $D_n$, we confirm a conjecture of Sun on the log-concavity of the sequence $\{\sqrt[n]{D_n}\}_{n\geq 1}$.

We confirm Sun's conjecture that $(\root{n+1}\of{F_{n+1}}/\root{n}\of{F_n})_{n\ge 4}$ is strictly decreasing to the limit 1, where $(F_n)_{n\ge0}$ is the Fibonacci sequence. We also prove that the sequence $(\root{n+1}\of{D_{n+1}}/\root{n}\of{D_n})_{n\ge3}$ is strictly decreasing with limit $1$, where $D_n$ is the $n$-th derangement number. For $m$-th order harmonic numbers $H_n^{(m)}=\sum_{k=1}^n 1/k^m\ (n=1,2,3,\ldots)$, we show that $(\root{n+1}\of{H^{(m)}_{n+1}}/\root{n}\of{H^{(m)}_n})_{n\ge3}$ is strictly increasing.

We use both Abel's lemma on summation by parts and Zeilberger's algorithm to find recurrence relations for definite summations. The role of Abel's lemma can be extended to the case of linear difference operators with polynomial coefficients. This approach can be used to verify and discover identities involving harmonic numbers and derangement numbers. As examples, we use the Abel-Zeilberger algorithm to prove the Paule-Schneider identities, the Apery-Schmidt-Strehl identity, Calkin's identity and some identities involving Fibonacci numbers.

We determine how the flag f-vector of any graded poset changes under the Rees product with the chain, and more generally, any t-ary tree. As a corollary, the Möbius function of the Rees product of any graded poset with the chain, and more generally, the t-ary tree, is exactly the same as the Rees product of its dual with the chain, respectively, t-ary chain. We then study enumerative and homological properties of the Rees product of the cubical lattice with the chain. We give a bijective proof that the Möbius function of this poset can be expressed as n times a signed derangement number. From this we derive a new bijective proof of Jonsson's result that the Möbius function of the Rees product of the Boolean algebra with the chain is given by a derangement number. Using poset homology techniques we find an explicit basis for the reduced homology and determine a representation for the reduced homology of the order complex of the Rees product of the cubical lattice with the chain over the symmetric group.

In this note, by the umbra calculus method, the Sun and Zagier's congruences involving the Bell numbers and the derangement numbers are generalized to the polynomial cases. Some special congruences are also provided.

In this paper we derive congruences expressing Bell numbers and derangement numbers in terms of each other modulo any prime.

Recently, Deutsch and Elizalde studied the largest and the smallest fixed points of permutations. Motivated by their work, we consider the analogous problems in weighted set partitions. Let $A_{n,k}(\mathbf{t})$ denote the total weight of partitions on $[n+1]$ with the largest singleton $\{k+1\}$. In this paper, explicit formulas for $A_{n,k}(\mathbf{t})$ and many combinatorial identities involving $A_{n,k}(\mathbf{t})$ are obtained by umbral operators and combinatorial methods. As applications, we investigate three special cases such as permutations, involutions and labeled forests. Particularly in the permutation case, we derive a surprising identity analogous to the Riordan identity related to tree enumerations, namely, \begin{eqnarray*} \sum_{k=0}^{n}\binom{n}{k}D_{k+1}(n+1)^{n-k} &=& n^{n+1}, \end{eqnarray*} where $D_{k}$ is the $k$-th derangement number or the number of permutations of $\{1,2,\dots, k\}$ with no fixed points.

We extend to several combinatorial Hopf algebras the endomorphism of symmetric functions sending the first power-sum to zero and leaving the other ones invariant. As a transformation of alphabets, this is the (1-E)-transform, where E is the exponential alphabet, whose elementary symmetric functions are e_n=1/n!. In the case of noncommutative symmetric functions, we recover Schocker's idempotents for derangement numbers [Discr. Math. 269 (2003), 239]. From these idempotents, we construct subalgebras of the descent algebras analogous to the peak algebras and study their representation theory. The case of WQSym leads to similar subalgebras of the Solomon-Tits algebras. In FQSym, the study of the transformation boils down to a simple solution of the Tsetlin library in the uniform case.

We give a new interpretation of the derangement numbers d_n as the sum of the values of the largest fixed points of all non-derangements of length n-1. We also show that the analogous sum for the smallest fixed points equals the number of permutations of length n with at least two fixed points. We provide analytic and bijective proofs of both results, as well as a new recurrence for the derangement numbers.

We show that the $q$-derangement numbers satisfy a ratio monotone property, which is analogous to the log-concavity and is stronger than the spiral property and the unimodality.

We obtain the decomposition of the tensor space $\mathfrak{sl}_n^{\otimes k}$ as a module for $\mathfrak{sl}_n$, find an explicit formula for the multiplicities of its irreducible summands, and (when $n \ge 2k$) describe the centralizer algebra $C=End_{\mathfrak{sl}_n}(\mathfrak{sl}_n^{\otimes k})$ and its representations. The multiplicities of the irreducible summands are derangement numbers in several important instances, and the dimension of $C$ is given by the number of derangements of a set of $2k$ elements.

We analyze random walks on a class of semigroups called ``left-regular bands''. These walks include the hyperplane chamber walks of Bidigare, Hanlon, and Rockmore. Using methods of ring theory, we show that the transition matrices are diagonalizable and we calculate the eigenvalues and multiplicities. The methods lead to explicit formulas for the projections onto the eigenspaces. As examples of these semigroup walks, we construct a random walk on the maximal chains of any distributive lattice, as well as two random walks associated with any matroid. The examples include a q-analogue of the Tsetlin library. The multiplicities of the eigenvalues in the matroid walks are ``generalized derangement numbers'', which may be of independent interest.