arXiv++ Combinatorics

Browse math.CO papers from arXiv

Papers by Yidong Sun

25 paper(s) by this author · All BibTeX
2025-06-10
Enumerating several statistics of r-Colored Dyck paths with no dd-steps having the same colors
Published in Discrete Mathematics 348 (2025) • View PublicationBIB
An $r$-colored Dyck path is a Dyck path with all $\mathbf{d}$-steps having one of $r$ colors in $[r]=\{1, 2, \dots, r\}$. In this paper, we consider several statistics on the set $\mathcal{A}_{n,0}^{(r)}$ of $r$-colored Dyck paths of length $2n$ with no two consecutive $\mathbf{d}$-steps having the same colors. Precisely, the paper studies the statistics ``number of points" at level $\ell$, ``number of $\mathbf{u}$-steps" at level $\ell+1$, ``number of peaks" at level $\ell+1$ and ``number of $\mathbf{udu}$-steps" on the set $\mathcal{A}_{n,0}^{(r)}$. The counting formulas of the first three statistics are established by Riordan arrays related to $S(a,b; x)$, the weighted generating function of $(a,b)$-Schröder paths. By a useful and surprising relations satisfied by $S(a,b; x)$, several identities related to these counting formulas are also described.
2022-04-17
A bijection between the sets of $(a,b,b^2)$-Generalized Motzkin paths avoiding $\mathbf{uvv}$-patterns and $\mathbf{uvu}$-patterns
Published • View PublicationBIB
A generalized Motzkin path, called G-Motzkin path for short, of length $n$ is a lattice path from $(0, 0)$ to $(n, 0)$ in the first quadrant of the XOY-plane that consists of up steps $\mathbf{u}=(1, 1)$, down steps $\mathbf{d}=(1, -1)$, horizontal steps $\mathbf{h}=(1, 0)$ and vertical steps $\mathbf{v}=(0, -1)$. An $(a,b,c)$-G-Motzkin path is a weighted G-Motzkin path such that the $\mathbf{u}$-steps, $\mathbf{h}$-steps, $\mathbf{v}$-steps and $\mathbf{d}$-steps are weighted respectively by $1, a, b$ and $c$. Let $τ$ be a word on $\{\mathbf{u}, \mathbf{d}, \mathbf{v}, \mathbf{d}\}$, denoted by $\mathcal{G}_n^τ(a,b,c)$ the set of $τ$-avoiding $(a,b,c)$-G-Motzkin paths of length $n$ for a pattern $τ$. In this paper, we consider the $\mathbf{uvv}$-avoiding $(a,b,c)$-G-Motzkin paths and provide a direct bijection $σ$ between $\mathcal{G}_n^{\mathbf{uvv}}(a,b,b^2)$ and $\mathcal{G}_n^{\mathbf{uvu}}(a,b,b^2)$. Finally, the set of fixed points of $σ$ is also described and counted.
2022-01-23
Some statistics on generalized Motzkin paths with vertical steps
Published • View PublicationBIB
Recently, several authors have considered lattice paths with various steps, including vertical steps permitted. In this paper, we consider a kind of generalized Motzkin paths, called {\it G-Motzkin paths} for short, that is lattice paths from $(0, 0)$ to $(n, 0)$ in the first quadrant of the $XOY$-plane that consist of up steps $\mathbf{u}=(1, 1)$, down steps $\mathbf{d}=(1, -1)$, horizontal steps $\mathbf{h}=(1, 0)$ and vertical steps $\mathbf{v}=(0, -1)$. We mainly count the number of G-Motzkin paths of length $n$ with given number of $\mathbf{z}$-steps for $\mathbf{z}\in \{\mathbf{u}, \mathbf{h}, \mathbf{v}, \mathbf{d}\}$, and enumerate the statistics "number of $\mathbf{z}$-steps" at given level in G-Motzkin paths for $\mathbf{z}\in \{\mathbf{u}, \mathbf{h}, \mathbf{v}, \mathbf{d}\}$, some explicit formulas and combinatorial identities are given by bijective and algebraic methods, some enumerative results are linked with Riordan arrays according to the structure decompositions of G-Motzkin paths. We also discuss the statistics "number of $\mathbf{z}_1\mathbf{z}_2$-steps" in G-Motzkin paths for $\mathbf{z}_1, \mathbf{z}_2\in \{\mathbf{u}, \mathbf{h}, \mathbf{v}, \mathbf{d}\}$, the exact counting formulas except for $\mathbf{z}_1\mathbf{z}_2=\mathbf{dd}$ are obtained by the Lagrange inversion formula and their generating functions.
2022-01-23
The $\mathbf{uvu}$-avoiding $(a,b,c)$-Generalized Motzkin paths with vertical steps: bijections and statistic enumerations
Published • View PublicationBIB
A generalized Motzkin path, called G-Motzkin path for short, of length $n$ is a lattice path from $(0, 0)$ to $(n, 0)$ in the first quadrant of the XOY-plane that consists of up steps $\mathbf{u}=(1, 1)$, down steps $\mathbf{d}=(1, -1)$, horizontal steps $\mathbf{h}=(1, 0)$ and vertical steps $\mathbf{v}=(0, -1)$. An $(a,b,c)$-G-Motzkin path is a weighted G-Motzkin path such that the $\mathbf{u}$-steps, $\mathbf{h}$-steps, $\mathbf{v}$-steps and $\mathbf{d}$-steps are weighted respectively by $1, a, b$ and $c$. In this paper, we first give bijections between the set of $\mathbf{uvu}$-avoiding $(a,b,b^2)$-G-Motzkin paths of length $n$ and the set of $(a,b)$-Schröder paths as well as the set of $(a+b,b)$-Dyck paths of length $2n$, between the set of $\{\mathbf{uvu, uu}\}$-avoiding $(a,b,b^2)$-G-Motzkin paths of length $n$ and the set of $(a+b,ab)$-Motzkin paths of length $n$, between the set of $\{\mathbf{uvu,uu}\}$-avoiding $(a,b,b^2)$-G-Motzkin paths of length $n+1$ beginning with an $\mathbf{h}$-step weighted by $a$ and the set of $(a,b)$-Dyck paths of length $2n+2$. In the last section, we focus on the enumeration of statistics "number of $\mathbf{z}$-steps" for $\mathbf{z}\in \{\mathbf{u}, \mathbf{h}, \mathbf{v}, \mathbf{d}\}$ and "number of points" at given level in $\mathbf{uvu}$-avoiding G-Motzkin paths. These counting results are linked with Riordan arrays.
2021-12-27
Symmetric and asymmetric peaks or valleys in (partial) Dyck paths
Published • View PublicationBIB
The concepts of symmetric and asymmetric peaks in Dyck paths were introduced by Flórez and Ramírez, who counted the total number of such peaks over all Dyck paths of a given length. Elizalde generalized their results by giving multivariate generating functions that keep track of the number of symmetric peaks and the number of asymmetric peaks. Elizalde also considered the analogous notion of symmetric valleys by a continued fraction method. In this paper, mainly by bijective methods, we devote to enumerating the statistics "symmetric peaks", "asymmetric peaks", "symmetric valleys" and "asymmetric valleys" of weight $k+1$ over all (partial) Dyck paths of a given length. Our results refine some consequences of Flórez and Ramírez, and Elizalde.
2021-12-27
Weighted Dyck paths with special restrictions on the levels of valleys
Published • View PublicationBIB
This paper concentrates on the set $\mathcal{V}_n$ of weighted Dyck paths of length $2n$ with special restrictions on the level of valleys. We first give its explicit formula of the counting generating function in terms of certain weight functions. When the weight functions are specialized, some connections are builded between $\mathcal{V}_n$ and other classical combinatorial structures such as $(a,b)$-Motzkin paths, $q$-Schröder paths, Delannoy paths and complete $k$-ary trees. Some bijections are also established between these settings and $\mathcal{V}_n$ subject to certain special weight functions.
2018-10-18
Some properties of a class of refined Eulerian polynomials
In recent, H. Sun defined a new kind of refined Eulerian polynomials, namely, \begin{eqnarray*} A_n(p,q)=\sum_{π\in \mathfrak{S}_n}p^{{\rm odes}(π)}q^{{\rm edes}(π)} \end{eqnarray*} for $n\geq 1$, where ${odes}(π)$ and ${edes}(π)$ enumerate the number of descents of permutation $π$ in odd and even positions, respectively. In this paper, we build an exponential generating function for $A_{n}(p,q)$ and establish an explicit formula for $A_{n}(p,q)$ in terms of Eulerian polynomials $A_{n}(q)$ and $C(q)$, the generating function for Catalan numbers. In certain special case, we set up a connection between $A_{n}(p,q)$ and $A_{n}(p,0)$ or $A_{n}(0,q)$, and express the coefficients of $A_{n}(0,q)$ by Eulerian numbers. Specially, this connection creates a new relation between Euler numbers and Eulerian numbers.
Combinatorial identities related to $2\times 2$ submatrices of recursive matrices
Published • View PublicationBIB
Recursive matrices are ubiquitous in combinatorics, which have been extensively studied. We focus on the study of the sums of $2\times 2$ minors of certain recursive matrices, the alternating sums of their $2\times 2$ minors, and the sums of their $2\times 2$ permanents. We obtain some combinatorial identities related to these sums, which generalized the work of Sun and Ma in [{\it Electron. J. Combin. 2014}] and [{\it European J. Combin. 2014}]. With the help of the computer algebra package {\tt HolonomicFunctions}, we further get some new identities involving Narayana polynomials.
2013-05-09
Minors of a Class of Riordan Arrays Related to Weighted Partial Motzkin Paths
Published • View PublicationBIB
A partial Motzkin path is a path from $(0, 0)$ to $(n, k)$ in the $XOY$-plane that does not go below the $X$-axis and consists of up steps $U=(1, 1)$, down steps $D=(1, -1)$ and horizontal steps $H=(1, 0)$. A weighted partial Motzkin path is a partial Motzkin path with the weight assignment that all up steps and down steps are weighted by 1, the horizontal steps are endowed with a weight $x$ if they are lying on $X$-axis, and endowed with a weight $y$ if they are not lying on $X$-axis. Denote by $M_{n,k}(x, y)$ to be the weight function of all weighted partial Motzkin paths from $(0, 0)$ to $(n, k)$, and $\mathcal{M}=(M_{n,k}(x,y))_{n\geq k\geq 0}$ to be the infinite lower triangular matrices. In this paper, we consider the sums of minors of second order of the matrix $\mathcal{M}$, and obtain a lot of interesting determinant identities related to $\mathcal{M}$, which are proved by bijections using weighted partial Motzkin paths. When the weight parameters $(x, y)$ are specialized, several new identities are obtained related to some classical sequences involving Catalan numbers. Besides, in the alternating cases we also give some new explicit formulas for Catalan numbers.
2013-05-09
Four transformations on the Catalan triangle
Published • View PublicationBIB
In this paper, we define four transformations on the classical Catalan triangle $\mathcal{C}=(C_{n,k})_{n\geq k\geq 0}$ with $C_{n,k}=\frac{k+1}{n+1}\binom{2n-k}{n}$. The first three ones are based on the determinant and the forth is utilizing the permanent of a square matrix. It not only produces many known and new identities involving Catalan numbers, but also provides a new viewpoint on combinatorial triangles.
2013-01-04
Another simple proof of an identity conjectured by Lacasse
Published • View PublicationBIB
In this note, using the derangement polynomials and their umbral representation, we give another simple proof of an identity conjectured by Lacasse in the study of the PAC-Bayesian machine learning theory.
2010-09-15
Congruences on the Bell polynomials and the derangement polynomials
Published • View PublicationBIB
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.
2010-07-08
The largest singletons in weighted set partitions and its applications
Published • View PublicationBIB
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.
2010-07-08
$λ$-factorials of $n$
Published • View PublicationBIB
Recently, by the Riordan's identity related to tree enumerations, \begin{eqnarray*} \sum_{k=0}^{n}\binom{n}{k}(k+1)!(n+1)^{n-k} &=& (n+1)^{n+1}, \end{eqnarray*} Sun and Xu derived another analogous one, \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 number of permutations with no fixed points on $\{1,2,\dots, k\}$. In the paper, we utilize the $λ$-factorials of $n$, defined by Eriksen, Freij and W$\ddot{a}$stlund, to give a unified generalization of these two identities. We provide for it a combinatorial proof by the functional digraph theory and another two algebraic proofs. Using the umbral representation of our generalized identity and the Abel's binomial formula, we deduce several properties for $λ$-factorials of $n$ and establish the curious relations between the generating functions of general and exponential types for any sequence of numbers or polynomials.
2010-07-08
The largest singletons of set partitions
Published • View PublicationBIB
Recently, Deutsch and Elizalde studied the largest and the smallest fixed points of permutations. Motivated by their work, we consider the analogous problems in set partitions. Let $A_{n,k}$ denote the number of partitions of $\{1,2,\dots, n+1\}$ with the largest singleton $\{k+1\}$ for $0\leq k\leq n$. In this paper, several explicit formulas for $A_{n,k}$, involving a Dobinski-type analog, are obtained by algebraic and combinatorial methods, many combinatorial identities involving $A_{n,k}$ and Bell numbers are presented by operator methods, and congruence properties of $A_{n,k}$ are also investigated. It will been showed that the sequences $(A_{n+k,k})_{n\geq 0}$ and $(A_{n+k,k})_{k\geq 0}$ (mod $p$) are periodic for any prime $p$, and contain a string of $p-1$ consecutive zeroes. Moreover their minimum periods are conjectured to be $N_p=\frac{p^p-1}{p-1}$ for any prime $p$.
2008-05-28
Potential Polynomials and Motzkin Paths
Published • View PublicationBIB
A {\em Motzkin path} of length $n$ is a lattice path from $(0,0)$ to $(n,0)$ in the plane integer lattice $\mathbb{Z}\times\mathbb{Z}$ consisting of horizontal-steps $(1, 0)$, up-steps $(1,1)$, and down-steps $(1,-1)$, which never passes below the x-axis. A {\em $u$-segment {\rm (resp.} $h$-segment {\rm)}} of a Motzkin path is a maximum sequence of consecutive up-steps ({\rm resp.} horizontal-steps). The present paper studies two kinds of statistics on Motzkin paths: "number of $u$-segments" and "number of $h$-segments". The Lagrange inversion formula is utilized to represent the weighted generating function for the number of Motzkin paths according to the statistics as a sum of the partial Bell polynomials or the potential polynomials. As an application, a general framework for studying compositions are also provided.
2008-05-09
Two kinds of hook length formulas for complete $m$-ary trees
Published • View PublicationBIB
In this paper, we define two kinds of hook length for internal vertices of complete $m$-ary trees, and deduce their corresponding hook length formulas, which generalize the main results obtained by Du and Liu.
2008-05-09
Bell Polynomials and $k$-generalized Dyck Paths
Published • View PublicationBIB
A {\em k-generalized Dyck path} of length $n$ is a lattice path from $(0,0)$ to $(n,0)$ in the plane integer lattice $\mathbb{Z}\times\mathbb{Z}$ consisting of horizontal-steps $(k, 0)$ for a given integer $k\geq 0$, up-steps $(1,1)$, and down-steps $(1,-1)$, which never passes below the x-axis. The present paper studies three kinds of statistics on $k$-generalized Dyck paths: "number of $u$-segments", "number of internal $u$-segments" and "number of $(u,h)$-segments". The Lagrange inversion formula is used to represent the generating function for the number of $k$-generalized Dyck paths according to the statistics as a sum of the partial Bell polynomials or the potential polynomials. Many important special cases are considered leading to several surprising observations. Moreover, enumeration results related to $u$-segments and $(u,h)$-segments are also established, which produce many new combinatorial identities, and specially, two new expressions for Catalan numbers.
2008-05-09
On the number of combinations without certain separations
Published in European Journal of Combinatorics; V.29, Iss.5, July 2008, Pages 1200-1206 • View PublicationBIB
In this paper we enumerate the number of ways of selecting $k$ objects from $n$ objects arrayed in a line such that no two selected ones are separated by $m-1,2m-1,...,pm-1$ objects and provide three different formulas when $m,p\geq 1$ and $n\geq pm(k-1)$. Also, we prove that the number of ways of selecting $k$ objects from $n$ objects arrayed in a circle such that no two selected ones are separated by $m-1,2m-1,...,pm-1$ objects is given by $\frac{n}{n-pk}\binom{n-pk}{k}$, where $m,p\geq 1$ and $n\geq mpk+1$.
2008-05-09
The Star of David Rule
Published • View PublicationBIB
In this note, a new concept called {\em $SDR$-matrix} is proposed, which is an infinite lower triangular matrix obeying the generalized rule of David star. Some basic properties of $SDR$-matrices are discussed and two conjectures on $SDR$-matrices are presented, one of which states that if a matrix is a $SDR$-matrix, then so is its matrix inverse (if exists).