[論文レビュー] An Introduction to the Moebius Function

Chris Godsil|arXiv (Cornell University)|Mar 18, 2018

Advanced Combinatorial Mathematics参考文献 9被引用数 3

ひとこと要約

この論文は、インシデント代数と行列の逆行列を用いて、部分順序集合（posets）におけるモービウス関数について包括的な導入を提供し、その代数的および組合せ的性質に焦点を当てる。モービウスの反転公式、posetの積におけるモービウス関数の乗法的性質、幾何的ラティス、部分集合ラティス、およびノンデザインへの応用を含み、モービウス関数値を用いた関数の台に対する明示的な上限を示している。

ABSTRACT

This is an introduction to the Möbius function of a poset. The chief novelty is in the exposition. We show how order-preserving maps from one poset to another can be used to relate their Möbius functions. We derive the basic results on the Möbius function, applying them in particular to geometric lattices.

研究の動機と目的

• インシデント代数と行列の逆行列を用いて、有限posetにおけるモービウス関数の体系的かつ包括的な解説を展開すること。
• モービウスの反転原理をposet上の関数変換の基本的ツールとして確立すること。
• posetの積におけるモービウス関数の振る舞いと、その除数ラティスおよびブールラティスへの影響を調査すること。
• meet半ラティスにおける強さtの関数の台サイズに対する下界を、モービウス関数値を用いて導出すること。
• これらの結果を組合せデザイン、特にノンtデザインに応用し、ブールラティスおよび部分空間ラティスなどの状況でタイトな上限を提供すること。

提案手法

• poset Pのインシデント代数を、順序関係と整合するn×n行列の集合として定義し、加法および乗法について閉じていることを確認する。
• 行列の逆行列を用いて、Zeta行列Z_P（x ≤ yのとき1、それ以外は0）の逆行列としてモービウス関数μ_Pを定義する。
• 行列方程式を用いてモービウスの反転公式を確立する：g = Z_P f if and only if f = M_P g、ここでM_P = Z_P^{-1}である。
• 恒等式(M_P Z_P)_{ab} = 0（a < bのとき）を用いて、μ_P(a,b)の再帰的公式を証明し、μ_P(a,b) = -∑_{a ≤ x < b} μ_P(a,x) を得る。
• posetの積におけるモービウス関数を分析し、μ_{P×Q}((x,y),(x',y')) = μ_P(x,x') μ_Q(y,y') が成り立つことを示す。
• これらの結果を応用して、強さtの関数の台の大きさに関する上限を導出し、特にμ(c,b)と恒等式∑_{x∧b=c} f(x) = μ(c,b) f(b)（(0,±1)-値関数の場合）を用いる。

実験結果

リサーチクエスチョン

• RQ1 インシデント代数における行列の逆行列を用いて、posetのモービウス関数を体系的に導出する方法は何か？
• RQ2 順序を保つ写像とposetのモービウス関数との関係は何か？
• RQ3 2つのposetの積におけるモービウス関数の振る舞いはどのように定まるのか？その除数ラティスおよびブールラティスへの影響は何か？
• RQ4 meet半ラティスにおける強さtの関数の台サイズに対するタイトな下界は何か？また、それらはモービウス関数値にどのように依存するか？
• RQ5 ブールラティス、部分空間ラティス、または分割ラティスなどの設定では、これらの上限を明示的に計算できるか？

主な発見

• a ≰ bのときモービウス関数μ_P(a,b)は0、a = bのとき1、それ以外の場合は-∑_{a ≤ x < b} μ_P(a,x) である。これは計算の再帰的メソッドを提供する。
• Zeta行列Z_Pの逆行列はPと整合するため、モービウス関数μ_Pは適切に定義され、順序構造をそのまま受け継ぐ。
• 積poset P×Qにおいて、μ_{P×Q}((x,y),(x',y')) = μ_P(x,x') μ_Q(y,y') が成り立つ。これにより、成分関数からの計算が可能になる。
• ブールラティスB(n)では、強さがt以上である関数の台サイズは少なくとも2^{t+1}以上であり、これはタイトで一般推定よりも強い。
• q進部分空間ラティスB_q(n)では、強さ-t関数の最小台サイズは∏_{i=0}^{t}(1 + q^i) に等しく、次元t+1の要素c ≤ bについて|μ(c,b)|を合計することで得られる。
• 分割ラティスP(n)では、n−k個のセルを持つ分割bについて∑_{c≤b} |μ(c,b)| = (n−k)! に等しく、ノンデザインの明確な台の上限を提供する。