arXiv++ Combinatorics

The Dumont differential system on the Jacobi elliptic functions was introduced by Dumont (Math Comp, 1979, 33: 1293--1297) and was extensively studied by Dumont, Viennot, Flajolet and so on. In this paper, we first present a labeling scheme for the cycle structure of permutations. We then introduce two types of Jacobi-pairs of differential equations. We present a general method to derive the solutions of these differential equations. As applications, we present some characterizations for several permutation statistics.

Suppose $G$ is a simple graph with $n$ vertices, $m$ edges, and rank $r$. Let $χ_G(t)=a_0t^n-a_1t^{n-1}+\cdots +(-1)^ra_rt^{n-r}$ be the chromatic polynomial of $G$. For $q,k\in \Bbb{Z}$ and $0\le k\le q+r+1$, we obtain a sharp two-side bound for the partial binomial sum of the coefficient sequence, that is, \[ {r+q\choose k}\le \sum_{i=0}^{k}{q\choose k-i}a_{i}\le {m+q\choose k}. \] Indeed, this bound holds for the characteristic polynomial of hyperplane arrangements and matroids, and its weak version can be generalized to the characteristic polynomial of toric arrangements and arithmetic matroids. We also propose a problem on the geometric interpretation of the above bound.

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$. L. Shapiro [9] found the Chung-Feller properties for the Motzkin paths. Mohanty's book [5] devotes an entire section to exploring Chung-Feller theorem. Many Chung-Feller theorems are consequences of the results in [5]. In this paper, we consider the $(n,m)$-lattice paths. We study two parameters for an $(n,m)$-lattice path: the non-positive length and the rightmost minimum length. We obtain the Chung-Feller theorems of the $(n,m)$-lattice path on these two parameters by bijection methods. We are more interested in the pointed $(n,m)$-lattice paths. We investigate two parameters for an pointed $(n,m)$-lattice path: the pointed non-positive length and the pointed rightmost minimum length. We generalize the results in [5]. Using the main results in this paper, we may find the Chung-Feller theorems of many different lattice paths.

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)$.

Let $P(x)$ be a polynomial of degree $m$, with nonnegative and non-decreasing coefficients. We settle the conjecture that for any positive real number $d$, the coefficients of $P(x+d)$ form a unimodal sequence, of which the special case $d$ being a positive integer has already been asserted in a previous work. Further, we explore the location of modes of $P(x+d)$ and present some sufficient conditions on $m$ and $d$ for which $P(x+d)$ has the unique mode $\lceil{m-d\over d+1}\rceil$.

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}$.

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.

The enumeration of perfect matchings of graphs is equivalent to the dimer problem which has applications in statistical physics. A graph $G$ is said to be $n$-rotation symmetric if the cyclic group of order $n$ is a subgroup of the automorphism group of $G$. Jockusch (Perfect matchings and perfect squares, J. Combin. Theory Ser. A, 67(1994), 100-115) and Kuperberg (An exploration of the permanent-determinant method, Electron. J. Combin., 5(1998), #46) proved independently that if $G$ is a plane bipartite graph of order $N$ with $2n$-rotation symmetry, then the number of perfect matchings of $G$ can be expressed as the product of $n$ determinants of order $N/2n$. In this paper we give this result a new presentation. We use this result to compute the entropy of a bulk plane bipartite lattice with $2n$-notation symmetry. We obtain explicit expressions for the numbers of perfect matchings and entropies for two types of cylinders. Using the results on the entropy of the torus obtained by Kenyon, Okounkov, and Sheffield (Dimers and amoebae, Ann. Math. 163(2006), 1019--1056) and by Salinas and Nagle (Theory of the phase transition in the layered hydrogen-bonded $SnCl^2\cdot 2H_2O$ crystal, Phys. Rev. B, 9(1974), 4920--4931), we show that each of the cylinders considered and its corresponding torus have the same entropy. Finally, we pose some problems.

Let $T$ be a weighted tree. The weight of a subtree $T_1$ of $T$ is defined as the product of weights of vertices and edges of $T_1$. We obtain a linear-time algorithm to count the sum of weights of subtrees of $T$. As applications, we characterize the tree with the diameter at least $d$, which has the maximum number of subtrees, and we characterize the tree with the maximum degree at least $Δ$, which has the minimum number of subtrees.

In this paper we prove that two quantities relating to the length of permutations defined on trees are independent of the structures of trees. We also find that these results are closely related to the results obtained by Graham and Pollak (Bell System Tech. J. 50(1971) 2495--2519) and by Bapat, Kirkland, and Neumann (Linear Alg. Appl. 401(2005) 193--209).

We present some Pfaffian identities, which are completely different from the Plücker relations. As consequences we obtain a quadratic identity for the number of perfect matchings of plane graphs, which has a simpler form than the formula by Yan et al (Graphical condensation of plane graphs: a combinatorial approach, Theoret. Comput. Sci., to appear), and we also obtain some new determinant identities.

The method of graphical vertex-condensation for enumerating perfect matchings of plane bipartite graph was found by Propp (Theoret. Comput. Sci. 303(2003), 267-301), and was generalized by Kuo (Theoret. Comput. Sci. 319 (2004), 29-57) and Yan and Zhang (J. Combin. Theory Ser. A, 110(2005), 113-125). In this paper, by a purely combinatorial method some explicit identities on graphical vertex-condensation for enumerating perfect matchings of plane graphs (which do not need to be bipartite) are obtained. As applications of our results, some results on graphical edge-condensation for enumerating perfect matchings are proved, and we count the sum of weights of perfect matchings of weighted Aztec diamond.

A triangle $\{a(n,k)\}_{0\le k\le n}$ of nonnegative numbers is LC-positive if for each $r$, the sequence of polynomials $\sum_{k=r}^{n}a(n,k)q^k$ is $q$-log-concave. It is double LC-positive if both triangles $\{a(n,k)\}$ and $\{a(n,n-k)\}$ are LC-positive. We show that if $\{a(n,k)\}$ is LC-positive then the log-concavity of the sequence $\{x_k\}$ implies that of the sequence $\{z_n\}$ defined by $z_n=\sum_{k=0}^{n}a(n,k)x_k$, and if $\{a(n,k)\}$ is double LC-positive then the log-concavity of sequences $\{x_k\}$ and $\{y_k\}$ implies that of the sequence $\{z_n\}$ defined by $z_n=\sum_{k=0}^{n}a(n,k)x_ky_{n-k}$. Examples of double LC-positive triangles include the constant triangle and the Pascal triangle. We also give a generalization of a result of Liggett that is used to prove a conjecture of Pemantle on characteristics of negative dependence.

For finite subsets A_1,...,A_n of a field, their sumset is given by {a_1+...+a_n: a_1 in A_1,...,a_n in A_n}. In this paper we study various restricted sumsets of A_1,...,A_n with restrictions of the following forms: a_i-a_j not in S_{ij}, or alpha_ia_i not=alpha_ja_j, or a_i+b_i not=a_j+b_j (mod m_{ij}). Furthermore, we gain an insight into relations among recent results on this area obtained in quite different ways.

The Wiener index is a graphical invariant that has found extensive application in chemistry. We define a generating function, which we call the Wiener polynomial, whose derivative is a q-analog of the Wiener index. We study some of the elementary properties of this polynomial and compute it for some common graphs. We then find a formula for the Wiener polynomial of a dendrimer, a certain highly regular tree of interest to chemists, and show that it is unimodal. Finally, we point out a connection with the Poincare polynomial of a finite Coxeter group.