Papers by Yi-Lin Lee
10 paper(s) by this author
· All BibTeX
Richardson tableaux and Motzkin paths
Richardson tableaux were introduced by Karp and Precup in their study of irreducible components of Springer fibers that are Richardson varieties. Guo gave an explicit bijection between Richardson tableaux and Motzkin paths through noncrossing involutions and the Robinson--Schensted (RS) algorithm. In this paper, we study Richardson tableaux of a fixed shape from the viewpoint of Motzkin paths. We introduce a shape algorithm, independent of the RS algorithm, that directly determines the shape of the corresponding Richardson tableau from a Motzkin path. Based on this algorithm, we construct a local bijection which keeps track of the major statistic and reproves combinatorially Karp and Precup's $q$-enumeration formula for Richardson tableaux of a given shape. We also prove a conjecture of Guo on the comajor generating function for Richardson tableaux with a prescribed number of odd columns.
Rowmotion on hook and two-row alt $ν$-Tamari lattices
In 2024, Ceballos and Chenevi{è}re introduced alt $ν$-Tamari lattices, parameterized by a lattice path $ν$ and an increment vector $δ$, as a common generalization of $ν$-Tamari and $ν$-Dyck lattices. We study rowmotion on two families: the alt hook-Tamari lattice $\mathsf{H}_δ(a,b)$ (where $ν=EN^{a-1}E^{b-1}N$) and the alt $2$-row-Tamari lattice $\mathsf{T}_δ(a,b)$ (where $ν=E^aNE^bN$).
We explicitly determine the orbit structures of $\mathsf{H}_δ(a,b)$ and $\mathsf{T}_δ(a,b)$ under rowmotion, and prove that their orbit structures are independent of the increment vector $δ$. As a consequence, we show that rowmotion on $\mathsf{H}_δ(a,b)$ exhibits the cyclic sieving phenomenon. We also compute orbit sums for several natural statistics. In the hook case, we evaluate the down-degree, peak, valley, and area statistics; in the $2$-row case, we focus on the down-degree statistic. All of these -- except for the area statistic -- are homometric under rowmotion.
Regarding the methodology of this paper, our results in the hook case are obtained by applying a simple local modification to their Hasse diagrams. In the $2$-row case, we introduce a switching property for semidistributive lattices, which allows us to compare the orbit structures arising from different increment vectors.
Enumeration of pattern-avoiding $(0,1)$-matrices and their symmetry classes
Recently, Brualdi and Cao studied $I_k$-avoiding $(0,1)$-matrices by decomposing them into zigzag paths and proved that the maximum number of $1$'s in such a matrix is given by an exact number. We further study the structure of maximal $I_k$-avoiding $(0,1)$-matrices (IAMs) by interpreting them as families of non-intersecting lattice paths on the square lattice. Using this perspective, we establish a bijection showing that IAMs are equinumerous with plane partitions of a certain size. Moreover, we classify all ten symmetry classes of IAMs under the action of the dihedral group of order $8$ and show that the enumeration formulas for these classes are given by simple product formulas. Extending this approach to skew shapes, we derive a conceptual formula for enumerating maximal $I_k$-avoiding $(0,1)$-fillings of skew shapes.
Block diagonally symmetric lozenge tilings
We introduce a new symmetry class of both boxed plane partitions and lozenge tilings of a hexagon, called the $\mathbf{r}$-block diagonal symmetry class, where $\mathbf{r}$ is an $n$-tuple of non-negative integers. We prove that the tiling generating function of this symmetry class under a certain weight assignment is given by a simple product formula. As a consequence, the volume generating function of $\mathbf{r}$-block symmetric plane partitions is obtained. Additionally, we consider $(\mathbf{r},\mathbf{r^{\prime}})$-block diagonally symmetric lozenge tilings by embedding the hexagon into a cylinder and present an identity for the signed enumeration of this symmetry class in specific cases. Two methods are provided to study this symmetry class: (1) the method of non-intersecting lattice paths with a modification, and (2) interpreting weighted lozenge tilings algebraically as (skew) Schur polynomials and applying the dual Pieri rule.
Domino Tilings, Domino Shuffling, and the Nabla Operator
We study domino tilings of certain regions $R_λ$, indexed by partitions $λ$, weighted according to generalized area and dinv statistics. These statistics arise from the $q,t$-Catalan combinatorics and Macdonald polynomials. We present a formula for the generating polynomial of these domino tilings in terms of the Bergeron--Garsia nabla operator. When $λ= (n^n)$ is a square shape, domino tilings of $R_λ$ are equivalent to those of the Aztec diamond of order $n$. In this case, we give a new product formula for the resulting polynomials by domino shuffling and its connection with alternating sign matrices. In particular, we obtain a combinatorial proof of the joint symmetry of the generalized area and dinv statistics.
Promotion, Tangled Labelings, and Sorting Generating Functions
We study Defant and Kravitz's generalization of Schützenberger's promotion operator to arbitrary labelings of finite posets in two directions. Defant and Kravitz showed that applying the promotion operator $n-1$ times to a labeling of a poset on $n$ elements always gives a natural labeling of the poset and called a labeling tangled if it requires the full $n-1$ promotions to reach a natural labeling. They also conjectured that there are at most $(n-1)!$ tangled labelings for any poset on $n$ elements. In the first direction, we propose a further strengthening of their conjecture by partitioning tangled labelings according to the element labeled $n-1$ and prove that this stronger conjecture holds for inflated rooted forest posets and a new class of posets called shoelace posets. In the second direction, we introduce sorting generating functions and cumulative generating functions for the number of labelings that require $k$ applications of the promotion operator to give a natural labeling. We prove that the coefficients of the cumulative generating function of the ordinal sum of antichains are log-concave and obtain a refinement of the weak order on the symmetric group.
Propp's benzels and Lai's nearly symmetric hexagons with holes
In this paper we present a new version of the second author's factorization theorem for perfect matchings of symmetric graphs. We then use our result to solve four open problems of Propp on the enumeration of trimer tilings on the hexagonal lattice.
As another application, we obtain a semi-factorization result for the number of lozenge tilings of a large class of hexagonal regions with holes (obtained by starting with an arbitrary symmetric hexagon with holes, and translating all the holes one unit lattice segment in the same direction). This in turn leads to the solution of two open problems posed by Lai and to an extension of a result due to Fulmek and Krattenthaler, which results in exact enumeration formulas for some new families of hexagonal regions with holes.
Our result also allows us to find new, simpler proofs (and in one case, a new, simpler form) of some formulas due to Krattenthaler for the number of perfect matchings of Aztec rectangles with unit holes along a lattice diagonal.
Off-diagonally symmetric domino tilings of the Aztec diamond of odd order
Published in Adv. in Appl. Math.161(2024), Paper No. 102759, 35 pp
• Search Publication
We study the enumeration of off-diagonally symmetric domino tilings of odd-order Aztec diamonds in two directions: (1) with one boundary defect, and (2) with maximally-many zeroes on the diagonal. In the first direction, we prove a symmetry property which states that the numbers of off-diagonally symmetric domino tilings of the Aztec diamond of order $2n-1$ are equal when the boundary defect is at the $k$th position and the $(2n-k)$th position on the boundary, respectively. This symmetry property proves a special case of a recent conjecture by Behrend, Fischer, and Koutschan.
In the second direction, a Pfaffian formula is obtained for the number of "nearly" off-diagonally symmetric domino tilings of odd-order Aztec diamonds, where the entries of the Pfaffian satisfy a simple recurrence relation. The numbers of domino tilings mentioned in the above two directions do not seem to have a simple product formula, but we show that these numbers satisfy simple matrix equations in which the entries of the matrix are given by Delannoy numbers. The proof of these results involves the method of non-intersecting lattice paths and a modification of Stembridge's Pfaffian formula for families of non-intersecting lattice paths. Finally, we propose conjectures concerning the log-concavity and asymptotic behavior of the number of off-diagonally symmetric domino tilings of odd-order Aztec diamonds.
Off-diagonally symmetric domino tilings of the Aztec diamond
Published in Electron. J. Combin.30(2023), no.4, Paper No. 4.20, 30 pp
• Search Publication
We introduce a new symmetry class of domino tilings of the Aztec diamond, called the off-diagonal symmetry class, which is motivated by the off-diagonally symmetric alternating sign matrices introduced by Kuperberg in 2002. We use the method of non-intersecting lattice paths and a modification of Stembridge's Pfaffian formula for families of non-intersecting lattice paths to enumerate our new symmetry class. The number of off-diagonally symmetric domino tilings of the Aztec diamond can be expressed as a Pfaffian of a matrix whose entries satisfy a nice and simple recurrence relation.
An extension of the Lindström-Gessel-Viennot theorem
Published in Electron. J. Combin. 29 (2022), no. 2, Paper No. 2.41, 31 pp
• View Publication
• BIB
Consider a weighted directed acyclic graph $G$ having an upward planar drawing. We give a formula for the total weight of the families of non-intersecting paths on $G$ with any given starting and ending points. While the Lindström-Gessel-Viennot theorem gives the signed enumeration of these weights (according to the connection type), our result provides the straight count, expressing it as a determinant whose entries are signed counts of lattice paths with given starting and ending points.