[論文レビュー] A Note on Boolean Lattices and Farey Sequences

Andrey O. Matveev|ArXiv.org|Feb 5, 2007

Limits and Structures in Graph Theory被引用数 4

ひとこと要約

本稿は、2m要素の集合のべき集合のブールギャップのランク-m 要素に関連するファレイ部分列 ℱ(ℬ(2m), m) の左半分および右半分の標準的ファレイ列 𝒻ₘ 間の単調な全単写像を確立する。この写像は、分数のモジュラ逆数を用いて直前・直後の分数を定義する。また、二項係数をこれらの列にインデックスとして用いた新しい組合せ的恒等式を導出し、ランクに基づく部分集合の数え上げとモジュラー算術的制約を通じて、ブールギャップとファレイ列の間の深い構造的関係を明らかにする。

ABSTRACT

We establish monotone bijections between the Farey sequences of order m and the halfsequences of Farey subsequences associated with the rank m elements of the Boolean lattice of subsets of a 2m-set. We also present a few related combinatorial identities.

研究の動機と目的

• 2m要素集合のべき集合のブールギャップにおけるランク-m 要素に関連するファレイ部分列 ℱ(ℬ(2m), m) の左半分および右半分と、標準的ファレイ列 𝒻ₘ 間の構造的対応を確立すること。
• ℱ(ℬ(2m), m) の組合せ的性質を調査し、特にランクに基づく部分集合への分割と、二項係数によるその数え上げを扱うこと。
• ℱ(ℬ(2m), m) の全単写像と対称性の性質を活用して、特に順序反転写像の下で得られる新しい組合せ的恒等式を導出すること。
• ℱ(ℬ(2m), m) に対して確立された全単写像を用いて、標準的ファレイ列 𝒻ₘ へと拡張し、同様の恒等式を 𝒻ₘ に対して得ること。

提案手法

• 分数のモジュラ逆数を用いて、直前・直後の分数を定義することで、ファレイ列 𝒻ₘ と ℱ(ℬ(2m), m) の左半分および右半分の間の単調な全単写像を構築する。
• 順序反転写像 𝒻(ℬ(n), m) → 𝒻(ℬ(n), n−m) を h/k ↦ (k−h)/k で定義し、これが双対性と対称性を保つことを適用する。
• 特にランク-m 要素によって生成される順序イデアルおよびフィルターを用いて、ブールギャップ ℬ(n) のposet 構造を活用し、部分poset ℱ(𝕀(a′) ∩ ℬ(n)⁽¹⁾) を分割する。
• 2ⁿ − 2ⁿ⁻ᵐ の濃度を表す2通りの式を等置することで、重要な恒等式を導出する。1つは部分集合の数え上げによるもので、もう1つは ℱ(ℬ(n), m) の分数にわたる二項係数の和によるものである。
• ℱ(ℬ(n), m) と ℱ(ℬ(n), n−m) 間の対称性を応用し、命題2を導出する。この命題は、二つの二項係数の和が 2ⁿ − 2ᵐ − 2ⁿ⁻ᵐ + 1 に等しいことを示す。
• 一般ケースを n = 2m に特化し、命題7および系8を導出する。これらは、特定の区間内の分数にわたる和と二項係数の積を含む、ℱ(ℬ(2m), m) および 𝒻ₘ に対して対称的な恒等式を提示する。

実験結果

リサーチクエスチョン

• RQ1 ファレイ列 𝒻ₘ と、2m要素集合のブールギャップにおけるランク-m 要素に関連する ℱ(ℬ(2m), m) の半分列との間には、どのように単調な全単写像が成立するか？
• RQ2 ブールギャップ ℬ(n) の部分poset ℱ(𝕀(a′) ∩ ℬ(n)⁽¹⁾) の分割から、どのような組合せ的恒等式が生じるか？
• RQ3 写像 h/k ↦ (k−h)/k を通じた ℱ(ℬ(n), m) と ℱ(ℬ(n), n−m) 間の対称性は、どのようにバランスの取れた二項係数の和を導くか？
• RQ4 ℱ(ℬ(2m), m) に対して確立された全単写像を用いて、標準的ファレイ列 𝒻ₘ に対してどのような恒等式が導出可能か？
• RQ5 モジュラ逆数と床関数は、ℱ(ℬ(2m), m) の分数の直前・直後の分数を決定するために、どのように機能するか？

主な発見

• 標準的ファレイ列 𝒻ₘ と ℱ(ℬ(2m), m) の左半分および右半分との間には、単調な全単写像が存在する。この写像では、分数 h/k の直前・直後が h に関する (k−h) におけるモジュラ逆数によって定義される。
• ∑_{h/k ∈ ℱ(ℬ(2m), m), 0 < h/k < 1} ∑_{s ≤ ⌊min{m/h, m/(k−h)}⌋} ₑ(m, sh)⋅₇(m, s(k−h)) = 2²ᵐ − 2ᵐ⁺¹ + 1 が成り立つ。
• h/k < 1/2 の分数の和と h/k > 1/2 の分数の和は等しく、両者とも 2²ᵐ⁻¹ − 2ᵐ − ½⋅₇(2m, m) + 1 に等しい。
• h/k ∈ (0, 1/3) および (1/3, 1/2) の項の和 ∑(ₑ(m, s·h) + ₑ(m, s·(k−2h))) と、h/k ∈ (1/2, 2/3) および (2/3, 1) の項の和は等しく、共通の値は 2²ᵐ⁻¹ − 2ᵐ − ½⋅₇(2m, m) − ∑_{t≤⌊m/2⌋} ₑ(m, 2t)⋅₇(m, t) + 1 に等しい。
• 標準的ファレイ列 𝒻ₘ に対して、恒等式 ∑_{h/k ∈ 𝒻ₘ, 0 < h/k < 1} ∑_{s ≤ ⌊m/k⌋} ₑ(m, sh)⋅₇(m, sk) = 2²ᵐ⁻¹ − 2ᵐ − ½⋅₇(2m, m) + 1 が成り立つ。
• 𝒻ₘ に対して、h/k < 1/2 の和 ∑ ₑ(m, sk)(ₑ(m, sh) + ₑ(m, s(k−h))) と h/k > 1/2 の和は等しく、両者とも 2²ᵐ⁻¹ − 2ᵐ − ½⋅₇(2m, m) − ∑_{t≤⌊m/2⌋} ₑ(m, 2t)⋅₇(m, t) + 1 に等しい。