[論文レビュー] Grid polygons from permutations and their enumeration by the kernel method

Toufik Mansour, Simone Severini|ArXiv.org|Mar 9, 2006

Advanced Combinatorial Mathematics参考文献 14被引用数 12

ひとこと要約

本稿では、順列から導かれるグリッド多角形である連続最小多角形を導入し、カーネル法を用いて幾何的制約下での数え上げを実施する。2、3、4面多角形について明示的な母関数を提供し、主な結果として正方形順列の閉形式母関数およびカタラン数・中央二項係数との関連を示す。

ABSTRACT

A grid polygon is a polygon whose vertices are points of a grid. We define an injective map between permutations of length n and a subset of grid polygons on n vertices, which we call consecutive-minima polygons. By the kernel method, we enumerate sets of permutations whose consecutive-minima polygons satisfy specific geometric conditions. We deal with 2-variate and 3-variate generating functions involving derivatives, cases which are not routinely solved by the kernel method.

研究の動機と目的

• 順列と呼ばれる特別なクラスのグリッド多角形、すなわち連続最小多角形との一対一対応を確立すること。
• 関連する連続最小多角形が特定の幾何的条件（例えば、固定された面数をもつこと）を満たす順列を数えること。
• 導関数を含む多変数母関数に対して、通常は容易に解けない場合にカーネル法の適用範囲を拡張すること。
• これらの多角形の組合せ的解釈および構造的性質（既知の組合せ的数列との関連を含む）を調査すること。

提案手法

• 各順列が一意に対応する連続最小多角形を定義するため、順列からグリッド点への単射写像を用いる。
• 多角形の頂点と接続性を定義する主要な組合せ的構造として、左-右最小値、右-左最小値、およびソースを導入する。
• 面数と頂点タイプごとに多角形の配置を追跡するため、生成関数 $ C_n(v,u) $、$ B_n(v,u) $、$ A_n(v,u) $ の再帰的関係を定式化する。
• 生成関数技法を用いて、再帰的関係を複数変数（例：$ C(v,u;x) $）における関数方程式に変換する。
• カーネル法を用いて複雑な多変数関数方程式を解き、特に $ u = v^{-1} $ を代入することで依存関係を消去し、$ C(1,1;x) $ を分離する。
• 生成関数の明示的閉形式表現、例えば $ C(1,1;x) = \frac{2(3x-1)x^2}{(1-4x)^{3/2}} + \frac{2x^2(1-7x+15x^2-8x^3)}{(1-2x)/(1-4x)^2} $ を導出し、多角形の個数の数え上げを可能にする。

実験結果

リサーチクエスチョン

• RQ1 2、3、4面をもつ連続最小多角形の個数はそれぞれどのように求められ、母関数で表現可能か？
• RQ2 本稿の多角形の数え上げに必要な導関数を含む多変数関数方程式を解くために、カーネル法を効果的に拡張できるか？
• RQ3 長さ $ n $ の正方形順列を数える式 $ 2(n+2)4^{n-3} - 2(n+1)\binom{2n-4}{n-3} $ に組合せ的解釈は存在するか？
• RQ4 一般の $ m $ に対して、$ m $-平行または $ m $-三角順列の母関数は、既知のケース $ m \leq 5 $ を超えてどのように得られるか？
• RQ5 連続最小多角形を特徴づける幾何的性質（最大面積、周囲長、対称性クラスなど）は何か？

主な発見

• 4面をもつ連続最小多角形の通常母関数は明示的に導出され、$ C(1,1;x) = \frac{2(3x-1)x^2}{(1-4x)^{3/2}} + \frac{2x^2(1-7x+15x^2-8x^3)}{(1-2x)/(1-4x)^2} $ である。
• n 個の頂点をもつ2面多角形の個数は $ \frac{2}{n-1}\binom{2n-4}{n-2} - 2 $ であり、これは $ (n-2) $ 番目のカタラン数の2倍に等しい。
• 2面以下の多角形の個数は $ \frac{2}{n-1}\binom{2n-4}{n-2} $ に等しく、カタラン数との関連を裏付ける。
• 長さ $ n+2 $ の三角順列の個数は $ \binom{2n}{n} $ に等しく、中央二項係数列 A000984 と一致する。
• 長さ $ n $ の正方形順列の個数は $ 2(n+2)4^{n-3} - 2(n+1)\binom{2n-4}{n-3} $ で与えられ、定理16および推論10から導出される。
• 母関数 $ Q'(1,1;x) = \frac{(1-3x)x^2}{(1-4x)^2} - \frac{2x^3}{(1-4x)^{3/2}} $ を用いて $ Q(1,1;x) = 2Q'(1,1;x) $ を導出し、正方形順列の完全な母関数が得られる。