arXiv++ Combinatorics

The classical Chung-Feller theorem [2] tells us that the number of Dyck paths of length $n$ with flaws $m$ is the $n$-th Catalan number and independent on $m$. L. Shapiro [7] found the Chung-Feller properties for the Motzkin paths. In this paper, we find the connections between these two Chung-Feller theorems. We focus on the weighted versions of three classes of lattice paths and give the generalizations of the above two theorems. We prove the Chung-Feller theorems of Dyck type for these three classes of lattice paths and the Chung-Feller theorems of Motzkin type for two of these three classes. From the obtained results, we find an interesting fact that many lattice paths have the Chung-Feller properties of both Dyck type and Motzkin type.

Let $G$ be a connected graph with vertex set $\{0,1,2,...,n\}$. We allow $G$ to have multiple edges and loops. In this paper, we give a characterization of external activity by some parameters of $G$-parking functions. In particular, we give the definition of the bridge vertex of a $G$-parking function and obtain an expression of the Tutte polynomial $T_G(x,y)$ of $G$ in terms of $G$-parking functions. We find the Tutte polynomial enumerates the $G$-parking function by the number of the bridge vertices.

The classical Chung-Feller theorem [2] tells us that the number of Dyck paths of length $n$ with $m$ flaws is the $n$-th Catalan number and independent on $m$. In this paper, we consider the refinements of Dyck paths with flaws by four parameters, namely peak, valley, double descent and double ascent. Let ${p}_{n,m,k}$ be the number of all the Dyck paths of semi-length $n$ with $m$ flaws and $k$ peaks. First, we derive the reciprocity theorem for the polynomial $P_{n,m}(x)=\sum\limits_{k=1}^np_{n,m,k}x^k$. Then we find the Chung-Feller properties for the sum of $p_{n,m,k}$ and $p_{n,m,n-k}$. Finally, we provide a Chung-Feller type theorem for Dyck paths of length $n$ with $k$ double ascents: the number of all the Dyck paths of semi-length $n$ with $m$ flaws and $k$ double ascents is equal to the number of all the Dyck paths that have semi-length $n$, $k$ double ascents and never pass below the x-axis, which is counted by the Narayana number. Let ${v}_{n,m,k}$ (resp. $d_{n,m,k}$) be the number of all the Dyck paths of semi-length $n$ with $m$ flaws and $k$ valleys (resp. double descents). Some similar results are derived.

The conceptions of $G$-parking functions and $G$-multiparking functions were introduced in [15] and [12] respectively. In this paper, let $G$ be a connected graph with vertex set $\{1,2,...,n\}$ and $m\in V(G)$. We give the definition of $(G,m)$-multiparking function. This definition unifies the conceptions of $G$-parking function and $G$-multiparking function. We construct bijections between the set of $(G,m)$-multiparking functions and the set of $\mathcal{F}_{G,m}$ of spanning color $m$-forests of $G$. Furthermore we define the $(G,m)$-multiparking complement function, give the reciprocity theorem for $(G,m)$-multiparking function and extend the results [25,12] to $(G,m)$-multiparking function. Finally, we use a combinatorial methods to give a recursion of the generating function of the sum $\sum\limits_{i=1}^na_i$ of $G$-parking functions $(a_1,...,a_n)$.

In this paper, let $\mathcal{P}_{n,n+k;\leq n+k}$ (resp. $\mathcal{P}_{n;\leq s}$) denote the set of parking functions $α=(a_1,...,a_n)$ of length $n$ with $n+k$ (respe. $n$)parking spaces satisfying $1\leq a_i\leq n+k$ (resp. $1\leq a_i\leq s$) for all $i$. Let $p_{n,n+k;\leq n+k}=|\mathcal{P}_{n,n+k;\leq n+k}|$ and $p_{n;\leq s}=|\mathcal{P}_{n;\leq s}|$. Let $\mathcal{P}_{n;\leq s}^l$ denote the set of parking functions $α=(a_1,...,a_n)\in\mathcal{P}_{n;\leq s}$ such that $a_1=l$ and $p_{n;\leq s}^l=|\mathcal{P}_{n;\leq s}^l|$. We derive some formulas and recurrence relations for the sequences $p_{n,n+k;\leq n+k}$, $p_{n;\leq s}$ and $p_{n;\leq s}^l$ and give the generating functions for these sequences. We also study the asymptotic behavior for these sequences.

The circular descent of a permutation $σ$ is a set $\{σ(i)\mid σ(i)>σ(i+1)\}$. In this paper, we focus on the enumerations of permutations by the circular descent set. Let $cdes_n(S)$ be the number of permutations of length $n$ which have the circular descent set $S$. We derive the explicit formula for $cdes_n(S)$. We describe a class of generating binary trees $T_k $ with weights. We find that the number of permutations in the set $CDES_n(S)$ corresponds to the weights of $T_k$. As a application of the main results in this paper, we also give the enumeration of permutation tableaux according to their shape.

The circular peak set of a permutation $σ$ is the set $\{σ(i)\mid σ(i-1)<σ(i)>σ(i+1)\}$. Let $\mathcal{P}_n$ be the set of all the subset $S\subseteq [n]$ such that there exists a permutation $σ$ which has the circular set $S$. We can make the set $\mathcal{P}_n$ into a poset $\mathscr{P}_n$ by defining $S\preceq T$ if $S\subseteq T$ as sets. In this paper, we prove that the poset $\mathscr{P}_n$ is a simplicial complex on the vertex set $[3,n]$. We study the $f$-vector, the $f$-polynomial, the reduced Euler characteristic, the M$\ddot{o}$bius function, the $h$-vector and the $h$-polynomial of $\mathscr{P}_n$. We also derive the zeta polynomial of $\mathscr{P}_n$ and give the formula for the number of the chains in $\mathscr{P}_n$. By the poset $\mathscr{P}_n$, we define two algebras $\mathcal{A}_{\mathscr{P}_n}$ and $\mathcal{B}_{\mathscr{P}_n}$. We consider the Hilbert polynomials and the Hilbert series of the algebra $\mathcal{A}_{\mathscr{P}_n}$ and $\mathcal{B}_{\mathscr{P}_n}$.

The circular peak set of a permutation $σ$ is the set $\{σ(i)\mid σ(i-1)<σ(i)>σ(i+1)\}$. In this paper, we focus on the enumeration problems for permutations by circular peak sets. Let $cp_n(S)$ denote the number of the permutations of order $n$ which have the circular peak set $S$. For the case with $|S|=0,1,2$, we derive the explicit formulas for $cp_n(S)$. We also obtain some recurrence relations for the sequence $cp_n(S)$ and give the formula for $cp_n(S)$ in the general case.

In this paper, we focus on ordered $k$-flaw preference sets. Let $\mathcal{OP}_{n,\geq k}$ denote the set of ordered preference sets of length $n$ with at least $k$ flaws and $\mathcal{S}_{n,k}=\{(x_1,...,x_{n-k})\mid x_1+x_2+... +x_{n-k}=n+k, x_i\in\mathbb{N}\}$. We obtain a bijection from the sets $\mathcal{OP}_{n,\geq k}$ to $\mathcal{S}_{n,k}$. Let $\mathcal{OP}_{n,k}$ denote the set of ordered preference sets of length $n$ with exactly $k$ flaws. An $(n,k)$-\emph{flaw path} is a lattice path starting at $(0,0)$ and ending at $(2n,0)$ with only two kinds of steps--rise step: $U=(1,1)$ and fall step: $D=(1,-1)$ lying on the line $y = -k$ and touching this line. Let $\mathcal{D}_{n,k}$ denote the set of $(n, k)$-flaw paths. Also we establish a bijection between the sets $\mathcal{OP}_{n,k}$ and $\mathcal{D}_{n,k}$. Let $op_{n,\geq k,\leq l}^m$ $(op_{n, k, =l}^m)$ denote the number of preference sets $α=(a_1,...,a_n)$ with at least $k$ (exact) flaws and leading term $m$ satisfying $a_i\leq l$ for any $i$ $(\max\{a_i\mid 1\leq i\leq n\}=l)$, respectively. With the benefit of these bijections, we obtain the explicit formulas for $op_{n,\geq k,\leq l}^m$. Furthermore, we give the explicit formulas for $op_{n, k, =l}^m$. We derive some recurrence relations of the sequence formed by ordered $k$-flaw preference sets of length $n$ with leading term $m$. Using these recurrence relations, we obtain the generating functions of some corresponding $k$-flaw preference sets.

In this paper, let $\mathcal{P}_{n;\leq s;k}^l$ denote a set of $k$-flaw preference sets $(a_1,...,a_n)$ with $n$ parking spaces satisfying that $1\leq a_i\leq s$ for any $i$ and $a_1=l$ and $p_{n;\leq s;k}^l=|\mathcal{P}_{n;\leq s;k}^l|$. We use a combinatorial approach to the enumeration of $k$-flaw preference sets by their leading terms. The approach relies on bijections between the $k$-flaw preference sets and labeled rooted forests. Some bijective results between certain sets of $k$-flaw preference sets of distinct leading terms are also given. We derive some formulas and recurrence relations for the sequences $p_{n;\leq s;k}^l$ and give the generating functions for these sequences.