[論文レビュー] 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$ に対して、$[1\times(n+\varepsilon)]$ のタイリング数を数えるタイル数え上げ関数 $f_{T,\varepsilon}(n)$ を定義する。
• 一般化された転送行列法を用いて、このような関数が多変数 $\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}$ の形に表現可能であることを示し、組合せ的多重和と関連付ける。
• 形式的べき級数および超幾何関数理論の結果を応用して漸近的挙動を分析する。
• 組合せ的線形代数および「サイクルポッピング」技術にインspiredされたサイクル分解と多重度の議論を用いて、構造的性質を証明する。

実験結果

リサーチクエスチョン

• 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$ がいかなる無理数タイルタイリング関数の漸近的実現でもないという強い証拠が得られた。
• 関連する超幾何積から定数 $\frac{\pi}{3\sqrt{3}}$ を生成できないことに基づき、任意の無理数タイルタイリング関数が $f(n) \sim C_n$ を満たさないという予想が提示された。