[論文レビュー] Cobweb posets - Recent Results

A. K. Kwaśniewski, Maciej Dziemiańczuk|arXiv (Cornell University)|Jan 25, 2008

Advanced Combinatorial Mathematics参考文献 30被引用数 20

ひとこと要約

本稿は、許容可能な整数列によって定義されるコブウェブポセット（有向非巡回グラフ）を調査し、フィボナッチ木を一般化し、F-二項係数の共同組合せ的解釈を可能にする。主な貢献は、これらのポセットから導かれる離散ハイパーボックスのタイリング条件の特徴付けであり、自然数、フィボナッチ数、ガウス数の系列ではタイリングが存在することを証明する一方で、他の系列では失敗することを示し、分野における長年のタイリング問題を解決する。

ABSTRACT

Cobweb posets uniquely represented by directed acyclic graphs are such a generalization of the Fibonacci tree that allows joint combinatorial interpretation for all of them under admissibility condition. This interpretation was derived in the source papers ([6,7] and references therein to the first author).[7,6,8] include natural enquires to be reported on here. The purpose of this presentation is to report on the progress in solving computational problems which are quite easily formulated for the new class of directed acyclic graphs interpreted as Hasse diagrams. The problems posed there and not yet all solved completely are of crucial importance for the vast class of new partially ordered sets with joint combinatorial interpretation. These so called cobweb posets - are relatives of Fibonacci tree and are labeled by specific number sequences - natural numbers sequence and Fibonacci sequence included. The cobweb posets might be identified with a chain of di-bicliques i.e. by definition - a chain of complete bipartite one direction digraphs [6]. Any chain of relations is therefore obtainable from the cobweb poset chain of complete relations via deleting arcs in di-bicliques of the complete relations chain. In particular we response to one of those problems [1].

研究の動機と目的

• コブウェブタイリング問題を解決する：F-ボックス（離散ハイパーボックス）が形式 $V_m$ の部分ボックスにタイリング可能となる条件を特定する。
• F-ボックスのタイリングが存在するための許容可能な系列を特徴づけ、F-二項係数の組合せ的解釈を拡張する。
• 特にGCD-同型系列に注目し、このようなタイリングを許可する系列を特定する有効な特徴づけとアルゴリズムを提供する。
• コブウェブポセット、ホイットニー数、および特別な数列（フィボナッチ数、ガウス数など）との関係を確立する。
• タイリング問題を、特別に構築されたグラフにおけるクリーク問題に再定式化し、アルゴリズム的手法による解決を可能にする。

提案手法

• コブウェブポセットを、各レベル $\Phi_n$ が許容可能な系列 $F = \langle k_F \rangle_{k=0}^n$ の項に対応する、有向二部グラフ（完全二部有向グラフ）の鎖として定義する。
• $F$-二項係数 ${{n}\choose{k}}_F$ を、$m$ 次元の $F$-ボックス $V_{k+1,n}$ を $\kappa = |V_m|$ 個の互いに素で等価な部分ボックス $V_m$ に分割する方法の数として表現する。
• $V_{m,n}$ の $\kappa$-分割を、すべての部分ボックスが形式 $V_m$ で、かつ互いに素かつ被覆的であることを要件とするタイリングとして導入する。
• 離散ハイパーボックス言語を用いてタイリング問題をモデル化し、$V_{m,n}$ は系列 $F$ によって与えられる辺長を持つ $m$ 次元ボックスであり、タイリングは自己相似的分解に対応する。
• タイリング問題を、有効な部分ボックス構成を符号化するように特別に構築したグラフにおけるクリーク問題に再定式化し、タイリングのアルゴリズム的探索を可能にする。
• GCD-同型系列の概念を用いて、$F$-系列がタイリングを支持する構造的性質を同定し、『基本コブウェブ許容二分木』を用いて進展を遂げた。

実験結果

リサーチクエスチョン

• RQ1 どの条件下で $m$ 次元の $F$-ボックス $V_{m,n}$ が形式 $V_m$ の部分ボックスにタイリング可能となるか？
• RQ2 すべての $F$-ボックスのタイリングを許容する許容可能な系列 $F$ は何か？ そして、これらは有効に特徴づけられ、アルゴリズム的に生成可能か？
• RQ3 許容性条件だけがタイリングに十分であるか、それ以上の構造的制約が必要か？
• RQ4 GCD-同型系列はタイリングの存在とどのように関係するか？ また、これらはタイリングの予測や構築に用いることができるか？
• RQ5 タイリング問題は、特別に設計されたグラフにおけるクリークの探索といった、既知のグラフ理論的問題に還元可能か？

主な発見

• 自然数列 $F = \langle n \rangle_{n \geq 0}$ に対してタイリングが存在することが、離散ハイパーボックス分割と自己相似的分解を用いて証明された。
• フィボナッチ数列 $F = \langle F_n \rangle_{n \geq 0}$に対してもタイリングが存在し、フィボナッチ二項係数の組合せ的解釈が拡張された。
• ガウス数列 $F = \langle n_q \rangle_{n \geq 0}$に対してもタイリングが確認され、このフレームワークの広範な適用可能性が示された。
• すべての許容可能な系列がタイリングを許容するわけではない。反例が構成され、許容性はタイリングに必要な条件ではあるが十分ではないことが示された。
• タイリング問題は、特別に設計されたグラフにおけるクリーク問題に再定式化され、タイリングの同定に向けた潜在的なアルゴリズム的解決策が得られた。
• GCD-準同型問題の解決に向けて進展が得られ、『基本コブウェブ許容二分木』がGCD-同型系列を同定するためのツールを提供した。