[论文解读] Counting With Irrational Tiles

Scott Garrabrant, Igor Pak|arXiv (Cornell University)|Jul 30, 2014

Advanced Combinatorial Mathematics参考文献 36被引用 6

一句话总结

本文通过单位高矩形中的无理长度瓷砖引入并表征了瓷砖计数函数，证明其恰好对应于$\mathbb{N}$-有理生成函数的对角线以及特定的二项式多重和。主要贡献在于通过多变量有理生成函数对这类序列进行了完整表征，并建立了与超几何函数及卡塔兰数的联系。

ABSTRACT

We introduce and study the number of tilings of unit height rectangles with irrational tiles. We prove that the class of sequences of these numbers coincides with the class of diagonals of N-rational generating functions and a class of certain binomial multisums. We then give asymptotic applications and establish connections to hypergeometric functions and Catalan numbers.

研究动机与目标

• 研究单位高矩形中由无理长度瓷砖构成的铺砖序列的组合结构。
• 表征此类铺砖函数的类，并将其与已知的生成函数类相关联。
• 建立无理瓷砖铺砖、有理生成函数的对角线以及二项式多重和之间的联系。
• 探索渐近行为及其与特殊函数（如超几何函数和卡塔兰数）的联系。
• 研究卡塔兰数是否可能作为无理瓷砖铺砖的渐近计数出现，提出其不可表示性的猜想。

提出的方法

• 为固定无理瓷砖集合$T$和固定偏移量$\varepsilon$，定义瓷砖计数函数$f_{T,\varepsilon}(n)$，用于计数$[1\times(n+\varepsilon)]$的铺砖。
• 使用广义转移矩阵法，证明此类函数源于多变量$\mathbb{N}$-有理生成函数的对角线。
• 将所有此类函数的类$\mathcal{F}$精确表征为$\mathcal{R}_k$（多变量$\mathbb{N}$-有理函数）的对角线。
• 建立$f(n)$可表示为多变量二项式和$\sum_{\mathbf{v}} \prod_{i=1}^r \binom{a_{i1}v_1 + \cdots + a_{id}v_d + a'_i n + a''_i}{\cdots}$的形式，从而与组合多重和建立联系。
• 应用形式幂级数与超几何函数理论的结果，分析渐近行为。
• 利用组合线性代数和“循环弹出”技术启发的循环分解与重数论证，证明结构性质。

实验结果

研究问题

• RQ1 哪些整数序列可作为使用固定有限个无理长度瓷砖对$[1\times(n+\varepsilon)]$进行铺砖的铺砖数？
• RQ2 每个此类铺砖序列是否都能表示为多变量$\mathbb{N}$-有理生成函数的对角线？
• RQ3 无理瓷砖铺砖与二项式多重和或超几何函数之间是否存在联系？
• RQ4 卡塔兰数$C_n$是否可能作为此类无理瓷砖铺砖序列的渐近增长出现？
• RQ5 是否存在非负有理生成函数但不是$\mathbb{N}$-有理的函数？它们与该铺砖框架有何关系？

主要发现

• 具有无理瓷砖的瓷砖计数函数类，恰好与$\mathbb{N}$-有理生成函数的对角线类完全一致。
• 每个此类铺砖函数$f(n)$均可表示为如下形式的多变量二项式和：$\sum_{\mathbf{v}} \prod_{i=1}^r \binom{a_{i1}v_1 + \cdots + a_{id}v_d + a'_i n + a''_i}{\cdots}$。
• 使用两个无理瓷砖$[1\times(\frac{1}{2} \pm \alpha)]$的铺砖数的生成函数为$F(x) = \frac{1}{\sqrt{1-4x}}$，对应中心二项式系数$\binom{2n}{n}$。
• 此类铺砖序列的渐近增长由其生成函数的奇点决定，且在某些情况下，渐近展开中的常数项为超越数（例如涉及$\pi$和$\Gamma(1/4)$）。
• 本文通过超几何函数分析提供了强有力的证据，表明卡塔兰数$C_n$无法被任何无理瓷砖铺砖函数渐近实现。
• 提出一个猜想：不存在任何无理瓷砖铺砖函数满足$f(n) \sim C_n$当$n \to \infty$，其依据是相关超几何乘积无法生成常数$\frac{\pi}{3\sqrt{3}}$。