[論文レビュー] Card deals, lattice paths, abelian words and combinatorial identities

David Callan|ArXiv.org|Dec 28, 2008

semigroups and automata theory参考文献 3被引用数 3

ひとこと要約

この論文は、3色のカードを用いたデルァンス型カード配り、ラベル付き格子路、3文字アルファベット上のアーベル行列を用いて、フロネル数およびアペリー数に関連する3つの族の恒等式に対する組合せ的解釈を提供する。バールカンドカード配りとアーベル行列の間の双対写像を確立し、それらの構成を用いて、$ \sum_{k=0}^{n}\binom{n}{k}^2\binom{n+k}{k}^2 = \sum_{k=0}^{n}\binom{n}{k}\binom{n+k}{k}\sum_{j=0}^{k}\binom{k}{j}^3$ のような恒等式の直接的で双対的な証明を提示し、それらを格子路および行列の統計と結びつける。

ABSTRACT

We give combinatorial interpretations of several related identities associated with the names Barrucand, Strehl and Franel, including one for the Apery numbers. The combinatorial constructs employed are derangement-type card deals as introduced in a previous paper on Barrucand's identity, labeled lattice paths and, following a comment of Jeffrey Shallit, abelian words over a 3-letter alphabet.

研究の動機と目的

• フロネル数およびアペリー数に関連する恒等式に対して、構成的組合せ的モデルを用いて組合せ的解釈を提供すること。
• バールカンドn回配りの配置と{1,2,3}上での2×nアーベル行列との間の双対写像を確立し、それらをアーベル平方と結びつけること。
• 恒等式(3)における複数の同数の組合せ的表現を、カード配り、格子路、行列の3つの等数な構成によって統一すること。
• 二項係数の立方和および重み付きパス数を含む恒等式に対する直接的で双対的な証明を提供すること。
• ジェフリー・シャリットが提起した、バールカンド型恒等式のアーベル語的解釈に関する疑問を解決すること。

提案手法

• バールカンドのデルァンス型カード配りの一般化として「ハナn回配り」を導入し、3色のカードを配る際、各プレイヤーが自分の色のカードを1枚も受け取らないように配る。
• ラベルを{1,2,3}に持つ上り(U)、下り(D)、フラット(F)のステップからなるラベル付き格子路を定義し、統計X（ラベルが1でないマッチングUDペア）およびY（ラベルが2より大きいフラットステップ）を導入する。
• バールカンドn回配りと2×nアーベル行列（アーベル平方を表す）との1対1対応を構成し、列のタイプを用いてカードの分配および手の所有権を符号化する。
• 変換規則：U→UU、D→DD、F₁→UD、F₂→DU を用い、ラベル付きパスをダイクに類似したパスに写像し、逆方向の写像も可能にし、パス長およびステップ数を保存する。
• チュ＝ヴァンダモンドの恒等式を用いて、統計XおよびYに関する和を簡略化し、恒等式(3)における式の同値性を証明する。
• 恒等式(3)の各項を組合せ的に解釈する：$ \binom{n}{k}\binom{2k}{k}2^k$ は赤の手のカード数kによるハナn回配りを数える。$2^k$ 因子は青の手に含まれる赤のカードの選択に由来する。$ \binom{n}{k}\binom{2n-k}{n}3^k$ はX+Y=kを満たすハナnパスを数える。ここでXは非1ラベルのマッチングUDペアの数、Yはラベルが2より大きいフラットステップの数である。$ \binom{n}{k}^2 4^k$ は各行にn−k個の1が含まれる2×nアーベル行列を数える。これは、赤の手にn−k種類の異なる額面を持つハナn回配りに対応する。$ \binom{n}{2k}\binom{2k}{k}4^k 5^{n-2k}$ は、ちょうどk個の上りステップを持つハナnパスを数える。ここでフラットステップは5通りのラベル付けが可能で、斜めステップは4通りのラベル付けが可能である。

実験結果

リサーチクエスチョン

• RQ1 バールカンドの恒等式は、3文字アルファベット上のアーベル行列を用いて直接的な組合せ的解釈を与えられるか？
• RQ2 フロネル恒等式 $ \sum_{k=0}^{n}\binom{n}{k}^3 = \sum_{k=0}^{n}\binom{n}{k}^2\binom{2k}{n}$ は、カード配りまたは格子路を用いてどのように組合せ的に解釈できるか？
• RQ3 多様な表現を持つ恒等式(3)の組合せ的意味は何か？この恒等式は二項係数および累乗を含む4つの異なる和を等しくする。
• RQ4 バールカンドn回配り、特定の統計を持つラベル付き格子路、2×nアーベル行列との間に自然な双対写像が存在するか？
• RQ5 バールカンドの恒等式における和 $ \sum_{j=0}^{k}\binom{k}{j}^3$ は、アーベル行列の列タイプを用いて解釈可能か？

主な発見

• バールカンドn回配りと{1,2,3}上での2×nアーベル行列との間の双対写像が確立され、各行列の列タイプが特定のカード配布パターンに対応する。
• 恒等式 $ \sum_{k=0}^{n}\binom{n}{k}\sum_{j=0}^{k}\binom{k}{j}^3 = \sum_{k=0}^{n}\binom{n}{k}^2\binom{2k}{k}$ は、アーベル行列の同じ集合を、赤の手のカード総数と異なる額面の数という2つの異なる統計によって数えるものとして解釈される。
• 和 $ \binom{n}{k}\binom{2k}{k}2^k$ は、赤の手にk枚のカードがあるハナn回配りを数える。ここで$2^k$ 因子は、青の手に含まれる赤のカードの選択に由来する。
• 式 $ \binom{n}{k}\binom{2n-k}{n}3^k$ は、X+Y=kを満たすハナnパスを数える。ここでXは非1ラベルのマッチングUDペアの数、Yはラベルが2より大きいフラットステップの数である。
• 和 $ \binom{n}{k}^2 4^k$ は、各行にn−k個の1が含まれる2×nアーベル行列を数える。これは、赤の手にn−k種類の異なる額面があるハナn回配りに対応する。
• 和 $ \binom{n}{2k}\binom{2k}{k}4^k 5^{n-2k}$ は、ちょうどk個の上りステップを持つハナnパスを数える。ここでフラットステップは5通りのラベル付けが可能で、斜めステップは4通りのラベル付けが可能である。