[論文レビュー] Exponential functions of finite posets and the number of extensions with a fixed set of minimal points

Frank a Campo, Marcel Erné|arXiv (Cornell University)|Feb 5, 2018

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

ひとこと要約

本稿では、固定された最小元の集合と非最小元点上の与えられた誘導順序をもつラベル付き順序集合拡張の数として定義される、有限順序集合の指数関数を導入する。部分順序集合の下集合数を用いて、これらの関数の明示的および再帰的公式を導出し、それらが指数和であることを示す。主な結果として、閉形式表現、可除性の性質、漸近的挙動が得られ、5要素以下のすべての非ラベル付き順序集合について、このような関数の完全なリストが提示される。

ABSTRACT

We establish formulas for the number of all downsets (or equivalently, of all antichains) of a finite poset P. Then, using these numbers, we determine recursively and explicitly the number of all posets having a fixed set of minimal points and inducing the poset P on the non- minimal points. It turns out that these counting functions are closely related to a collection of downset numbers of certain subposets. Since any function of that kind is an exponential sum (with the number of minimal points as exponent), we call it the exponential function of the poset. Some linear equations, divisibility relations, upper and lower bounds, and asymptotical equalities for the counting functions are deduced. A list of all such exponential functions for posets with up to five points concludes the paper.

研究の動機と目的

• 固定された最小元の集合と残りの点における指定された誘導順序をもつラベル付き順序集合拡張を数えるための体系的な手法の開発。
• このような拡張を数える関数としての順序集合の指数関数を定義・分析し、それが最小元の数における指数和であることを示すこと。
• 部分順序集合の下集合数を用いて、これらの数え上げ関数の再帰的および明示的公式の確立。
• 指数関数の構造的性質（可除性、境界、漸近的挙動）の導出。
• 5要素以下のすべての非ラベル付き順序集合について、指数関数の完全なリストの作成。

提案手法

• 指数関数 $ e(m,P) $ を、$ m $ 個の最小元と $ K $ に誘導される $ P $ を持つ $ m + |K| $ 点のラベル付き順序集合の数として定義する。
• 順序集合の水平的および垂直的分解を用いて、$ e(m,P) $ を部分順序集合 $ U $ の下集合数 $ d(U) $ と再帰的に関係付ける。
• 順序を保つ関数と関係を活用して、下集合数を含む指数和として $ e(m,P) $ を表現する。
• 包含行列 $ A $, $ B $, $ C $, $ D $ を用いた行列表現を導出し、$ D $ には $ d(P_n)^m $ が含まれ、$ E^T $ が $ e(m,P_n) $ を与える。
• 特に $ C $-行列を用いて指数和の係数を表現することで、線形代数的手法を用いて $ e(m,P) $ を行列逆行列により解く。
• 下集合と上集合の双対性および $ \mathcal{D} $ と $ \mathcal{U} $ の函手的性質を用いて、組合せ的解釈を簡略化する。

実験結果

リサーチクエスチョン

• RQ1 固定された最小元の集合と非最小元点における与えられた誘導順序をもつラベル付き順序集合拡張の数を、どのように効率的に計算できるか。
• RQ2 数え上げ関数 $ e(m,P) $ の関数的形は何か。また、部分順序集合の下集合数とどのように関係するか。
• RQ3 指数関数 $ e(m,P) $ の構造的性質（可除性、境界、漸近的挙動）は何か。
• RQ4 5要素以下のすべての非ラベル付き順序集合について、指数関数の完全な分類を達成できるか。
• RQ5 下集合数と順序集合の上集合を含む行列表現は、$ e(m,P) $ の再帰的計算をどのように可能にするか。

主な発見

• 指数関数 $ e(m,P) $ は $ m $ における指数和であり、その係数は部分順序集合の下集合数から得られ、再帰的公式により明示的に計算可能である。
• 5要素以下の順序集合について、本稿では $ e(m,P) $ の完全なリストを提供しており、$ e_1(m) = 2^m - 1 $, $ e_2(m) = 3^m - 2^m $, $ e_3(m) = 4^m - 2\cdot 2^m + 1 $ といった閉形式も含む。
• 指数和構造のおかげで、関数 $ e(m,P) $ は可除性の性質を満たし、高さと最小元の数に基づいて $ d(P) $ の上界が導出される。
• 漸近的挙動は主項 $ d(P)^m $ に支配され、$ m $ が大きい場合に強い数値的推定が可能になる。
• 行列表現 $ A $, $ B $, $ C $, $ D $ を用いることで $ e(m,P) $ の効率的計算が可能となり、$ D $ には $ d(P_n)^m $ が含まれ、$ E^T $ が完全な指数関数を与える。
• 本稿では、$ e(m,P) $ が整数係数をもつ $ k^m $ 項の線形結合として表現可能であり、5点以下のすべての非ラベル付き順序集合についてそれらを体系的に計算する手法を提供する。