Victor J. W. Guo, Jiang Zeng
Motivated by some binomial coefficients identities encountered in our approach to the enumeration of convex polyominoes, we prove some more general identities of the same type, one of which turns out to be related to a strange evaluation of ${}_3F_2$ of Gessel and Stanton.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
As a generalization of polyominoes we consider edge-to-edge connected nonoverlapping unions of regular $k$-gons. For $n\le 4$ we determine formulas for the number $a_k(n)$ of generalized polyominoes consisting of $n$ regular $k$-gons. Additionally we give a table of the numbers $a_k(n)$ for small $k$ and $n$ obtained by computer enumeration. We finish with some open problems for $k$-polyominoes.
Parallelogram polyominoes are a subclass of convex polyominoes in the square lattice that has been studied extensively in the literature. Recently congruence classes of convex polyominoes with respect to rotations and reflections have been enumerated by counting orbits under the action of the dihedral group D4, of symmetries of the square, on (translation-type) convex polyominoes. Asymmetric convex polyominoes were also enumerated using Moebius inversion in the lattice of subgroups of D4. Here we extend these results to the subclass of parallelogram polyominos using a subgroup D2 of D4 which a…
This paper concerns the enumeration of rotation-type and congruence-type convex polyominoes on the square lattice. These can be defined as orbits of the groups C4, of rotations, and D4, of symmetries of the square acting on (translation- type) polyominoes. In virtue of Burnside's Lemma, it is sufficient to enumerate the various symmetry classes (fixed points) of polyominoes defined by the elements of C4 and D4. Using the Temperley--Bousquet-Melou methodology, we solve this problem and provide explicit or recursive formulas for their generating functions according to width, height and area. We …
Fibonacci Polyominoes: Refined Enumeration and Dyck-Path Bijections
本文研究 Fibonacci 多联骨牌的按面积和半周长枚举，通过生成函数得到含 Catalan 数的精细公式，并建立与带标签 Dyck 路径的双射，将统计量转化为峰与返回，还研究等高连续列并得到 Motzkin 数控制的精细化。
Enumerations and Bijections for Stanley Polyominoes
本文基于列数、行数、面积、半周长及内部点和边数，推导了斯坦利多米诺的生成函数，并通过双射与Dyck路径、斜费舍尔图和无峰Motzkin路径建立组合联系，解决了平行多米诺的开放问题。
In this thesis, we consider the problem of characterizing and enumerating sets of polyominoes described in terms of some constraints, defined either by convexity or by pattern containment. We are interested in a well known subclass of convex polyominoes, the k-convex polyominoes for which the enumeration according to the semi-perimeter is known only for k=1,2. We obtain, from a recursive decomposition, the generating function of the class of k-convex parallelogram polyominoes, which turns out to be rational. Noting that this generating function can be expressed in terms of the Fibonacci polyno…
We obtain explicit formulas for the enumeration of labelled parallelogram polyominoes. These are the polyominoes that are bounded, above and below, by north-east lattice paths going from the origin to a point (k,n). The numbers from 1 and n (the labels) are bijectively attached to the $n$ north steps of the above-bounding path, with the condition that they appear in increasing values along consecutive north steps. We calculate the Frobenius characteristic of the action of the symmetric group S_n on these labels. All these enumeration results are refined to take into account the area of these p…
Automatic Enumeration of Tilings by Polyominoes
该研究基于Zeilberger的计算框架，复现L-四格骨牌铺砌的生成函数，还得到宽度5-9的显式生成函数及OEIS未收录的新序列，拓展了多联骨牌铺砌的枚举研究。
The main contribution of this paper is a new column-by-column method for the decomposition of generating functions of convex polyominoes suitable for enumeration with respect to various statistics including but not limited to interior vertices, boundary vertices of certain degrees, and outer site perimeter. Using this decomposition, among other things, we show that A) the average number of interior vertices over all convex polyominoes of perimeter $2n$ is asymptotic to $\frac{n^2}{12}+\frac{n\sqrt{n}}{3\sqrtπ} -\frac{(21π-16)n}{12π}.$ B) the average number of boundary vertices with degree two …
Hexagonal polyominoes are polyominoes on the honeycomb lattice. We enumerate the symmetry classes of convex hexagonal polyominoes. Here convexity is to be understood as convexity along the three main column directions. We deduce the generating series of free (i.e. up to reflection and rotation) and of asymmetric convex hexagonal polyominoes, according to area and half-perimeter. We give explicit formulas or implicit functional equations for the generating series, which are convenient for computer algebra.
Enumeration of Polyominoes up to Size N=59
本文通过数值计算验证了 n≤50 的多联骨牌计数，并新计算至 n≤59，扩展了计数极限，同时证明多线程优化可显著提升计算效率。
We put recent results on the symmetry of the joint distribution of the numbers of crossings and nestings of two edges over matchings, set partitions and linked partitions, in the larger context of the enumeration of increasing and decreasing chains of length 2 in fillings of moon polyominoes.
Enumeration on polyominoes determined by Catalan words avoiding $(\geq,\geq)$
本文研究了避免 $(\geq,\geq)$ 模式的 Catalan 字关联的 Motzkin polyomino，推导了基于长度、面积、半周长等参数的生成函数及闭式表达式，并将结果表示为三项式系数的线性组合。
Lin and Chang gave a generating function of convex polyominoes with an $m+1$ by $n+1$ minimal bounding rectangle. Gessel showed that their result implies that the number of such polyominoes is $$ \frac{m+n+mn}{m+n}{2m+2n\choose 2m}-\frac{2mn}{m+n}{m+n\choose m}^2. $$ We show that this result can be derived from some binomial coefficients identities related to the generating function of Jacobi polynomials.
$k$-Convex Polyominoes by Semi-perimeter
研究 k - 凸多联骨牌由半周长枚举的生成函数，通过分析生成的枚举数据得出推测解。
A polyomino is a finite, edge-connected set of cells in the plane. At the present time, an enumeration of all polyominoes is nowhere in sight. On the other hand, there are several subsets of polyominoes for which generating functions are known. For example, there exists extensive knowledge about column-convex polyominoes, a model introduced by Temperley in 1956. While studying column-convex polyominoes, researchers also gave a look at diagonally convex polyominoes (DCPs), but noticed an awkward feature: when the last diagonal of a DCP is deleted, the remaining object is not always a polyomino.…
Back in the early days of polyomino enumeration, a model called column-convex polyominoes was introduced and its area generating function was found. That generating function is rational: the numerator has degree four and the denominator has degree three. Let a column-duplex polyomino be a polyomino whose columns can have either one or two connected components. A simplex-duplex polyomino is a column-duplex polyomino in which there is no occurrence of two adjacent columns each having two connected components. Simplex-duplex polyominoes are not easy to deal with, but their area generating functio…
We discuss the combinatorics of decorated Dyck paths and decorated parallelogram polyominoes, extending to the decorated case the main results of both [Haglund 2004] and [Aval et al. 2014]. This settles in particular the cases $\langle\cdot,e_{n-d}h_d\rangle$ and $\langle\cdot,h_{n-d}h_d\rangle$ of the Delta conjecture of Haglund, Remmel and Wilson (2018). Along the way, we introduce some new statistics, formulate some new conjectures, prove some new identities of symmetric functions, and answer a few open problems in the literature (e.g. from [Haglund et al. 2018], [Zabrocki 2016], [Aval et a…
The Gaussian polynomial in variable $q$ is defined as the $q$-analog of the binomial coefficient. In addition to remarkable implications of these polynomials to abstract algebra, matrix theory and quantum computing, there is also a combinatorial interpretation through weighted lattice paths. This interpretation is equivalent to weighted board tilings, which can be used to establish Gaussian polynomial identities. In particular, we prove duals of such identities and evaluate related sums.
We derive combinatorial identities, involving the Bernoulli and Euler numbers, for the numbers of standard Young tableaux of certain skew shapes. This generalizes the classical formulas of D. Andre on the number of up-down permutations. The analysis uses a transfer operator approach extending the method of Elkies, combined with an identity expressing the volume of a certain polytope in terms of a Schur function.
In this paper, we enumerate lattice paths with certain constraints and apply the corresponding results to develop formulas for calculating the dimensions of submodules of a class of modules for planar upper triangular rook monoids. In particular, we show that the famous Catalan numbers appear as the dimensions of some special modules; we also obtain some combinatorial identities
Signed Counting on Restricted Partitions and Combinatorial Proofs of Three Identities
该研究受相关组合方法启发，对\(l\)-正则划分及其变体的三个恒等式给出组合证明，其中两个恒等式此前由他人通过解析方法建立，此为恒等式证明提供了新的组合证明方式。
We consider properties of the box polynomials, a one variable polynomial defined over all integer partitions $λ$ whose Young diagrams fit in an $m$ by $n$ box. We show that these polynomials can be expressed by the finite difference operator applied to the power $x^{m+n}$. Evaluating box polynomials yields a variety of identities involving set partition enumeration. We extend the latter identities using restricted growth words and a new operator called the fast Fourier operator, and consider connections between set partition enumeration and the chromatic polynomial on graphs. We also give conn…
The purpose of this note is to exhibit clearly how the "graphical condensation" identities of Kuo, Yan, Yeh and Zhang follow from classical Pfaffian identities by the Kasteleyn-Percus method for the enumeration of matchings. Knuth termed the relevant identities "overlapping Pfaffian" identities and the key concept of proof "superpositions of matchings". In our uniform presentation of the material, we also give an apparently unpublished general "overlapping Pfaffian" identity of Krattenthaler. A previous version of this paper contained an erroneous application of the Kasteleyn-Percus method, wh…
We investigate extremal functions ex_e(F,n) and ex_i(F,n) counting maximum numbers of edges and maximum numbers of vertex-edge incidences in simple hypergraphs H which have n vertices and do not contain a fixed hypergraph F; the containment respects linear orderings of vertices. We determine both functions exactly if F has only distinct singleton edges or if F is one of the 55 hypergraphs with at most four incidences (we give proofs only for six cases). We prove some exact formulae and recurrences for the numbers of hypergraphs, simple and all, with n incidences and derive rough logarithmic as…
In this note, by counting some colored plane trees we obtain several binomial identities. These identities can be viewed as specific evaluations of certain generalizations of the Narayana polynomials. As consequences, it provides combinatorial proofs for a bijective problem in Stanley's collection "Bijective Proof Problems", a new formula for the Narayana polynomials as well as a new expression for the Harer-Zagier formula enumerating unicellular maps, in a unified way. Furthermore, we identify a class of plane trees, whose enumeration is closely connected to the Schröder numbers. Many other b…
A code for square permutations and convex permutominoes
本文提出统一方法枚举方形排列与凸排列多米诺，解释其生成函数共性，并给出新公式与线性时间随机生成算法。
Unimodular matrices and lattice paths enumeration via Pascal's triangle
研究一类由二项式系数定义的矩阵，证明其行列式恒为1，揭示了帕斯卡三角形与格路计数之间的深刻联系。
Relations between the mean values of distributions of flipped spins on periodic Heisenberg XX chain and some aspects of enumerative combinatorics are discussed. The Bethe vectors, which are the state-vectors of the model, are considered both as on- and off-shell. It is this approach that makes it possible to represent and to study the correlation functions in the form of non-intersecting nests of lattice walks and related plane partitions. We distinguish between two types of walkers, namely lock step models and random turns. Of particular interest is the connection of random turns walks and a …
For integers $n, m$ with $n \geq 1$ and $0 \leq m \leq n$, an $(n,m)$-Dyck path is a lattice path in the integer lattice $\mathbb{Z} \times \mathbb{Z}$ using up steps $(0,1)$ and down steps $(1,0)$ that goes from the origin $(0,0)$ to the point $(n,n)$ and contains exactly $m$ up steps below the line $y=x$. The classical Chung-Feller theorem says that the total number of $(n,m)$-Dyck path is independent of $m$ and is equal to the $n$-th Catalan number $C_n=\frac{1}{n+1}{2n \choose n}$. For any integer $k$ with $1 \leq k \leq n$, let $p_{n,m,k}$ be the total number of $(n,m)$-Dyck paths with $k…
Some combinatorial interpretations of the Macdonald identities for affine root systems and Nekrasov--Okounkov type formulas
通过整数向量与双无限词表示的整数分拆之间的关联，给出仿射根系Macdonald恒等式的组合解释，并推导出各类型的q-Nekrasov--Okounkov公式。
Fibonacci and Lucas numbers arising from two-component spanning forests of wheel graphs
本文通过构造性双射和分析方法，推导出轮图两组件生成森林与斐波那契数、卢卡斯数的关系。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。