[論文レビュー] Boolean Term Orders and the Root System B_n

Diane Maclagan|ArXiv.org|Sep 24, 1998

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

ひとこと要約

この論文は、[n] の部分集合上のブール項順序と、根系 B_n に付随する向き付きマトロイドの1要素拡張の間の対応関係を確立する。項順序の整合性とフラップ関係を導入し、非整合な順序（フラップ欠陊を示すものも含む）が存在することを証明し、小さな n についてそれらを数え上げる。さらに、向き付きマトロイド理論を用いて、ブール項順序をバウエス問題の枠組みに埋め込む。

ABSTRACT

A boolean term order is a total order on subsets of [n]={1,...,n} such that \emptyset < alpha for all nonempty alpha contained in [n], and alpha < beta implies alpha \cup gamma < beta \cup gamma for all gamma which do not intersect alpha or beta. Boolean term orders arise in several different areas of mathematics, including Gröbner basis theory for the exterior algebra, and comparative probability. The main result of this paper is that boolean term orders correspond to one element extensions of the oriented matroid M(B_n), where B_n is the root system {e_i:1 \leq i \leq n \} \cup {e_i \pm e_j :1 \leq i < j \leq n}. This establishes boolean term orders in the frame work of the Baues problem. We also define a notion of coherence for a boolean term order, and a flip relation between different term orders. Other results include examples of noncoherent term orders, including an example exhibiting flip deficiency, and enumeration of boolean term orders for small values of n.

研究の動機と目的

• ブール項順序と向き付きマトロイド M(B_n) の1要素拡張との間の構造的対応関係を確立すること。
• ブール項順序のための整合性とフラップ関係を形式化し、異なる順序の分類と比較を可能にすること。
• 非整合なブール項順序が存在することを、明示的な構成を用いて示すこと。特にフラップ欠陊を示すものも含む。
• 小さな n の値についてブール項順序を数え上げ、今後の研究の基盤データを提供すること。
• ブール項順序の理論を、組合せ的位相におけるバウエス問題の広範な文脈に統合すること。

提案手法

• 幾何的基盤として、根系 B_n = {±e_i} ∪ {±e_i ± e_j | 1 ≤ i < j ≤ n} を用いる。
• 向き付きマトロイド理論を適用し、M(B_n) の1要素拡張を特徴づける。これらがブール項順序を分類することが示される。
• 符号付き部分集合と一貫した符号ベクトルに基づく実現可能性に基づいて、ブール項順序の整合性の概念を導入する。
• 項順序の公理を保つ最小変換として、項順序間のフラップ関係を定義する。
• 組合せ的数え上げ技法を用いて、小さな n についてブール項順序の数を数え上げ、構造的制約による検証を実施する。
• バウエス問題の枠組みを用いて、ブール項順序の空間を幾何的対象の組合せ的区分化と解釈する。

実験結果

リサーチクエスチョン

• RQ1 集合 [n] 上のブール項順序は、向き付きマトロイド M(B_n) とどのように関係しているか。
• RQ2 ブール項順序が整合的であるための条件は何か。また、その整合性はどのように組合せ的に特徴づけられるか。
• RQ3 非整合なブール項順序は存在するのか。もし存在するならば、フラップ欠陊を示すものも存在するか。
• RQ4 小さな n の値について、ブール項順序の数は何か。また、n が増加するにつれてその数はどのように増加するか。
• RQ5 ブール項順序の空間は、バウエス問題と B_n 根系の構造とどのように関係しているか。

主な発見

• ブール項順序は、向き付きマトロイド M(B_n) の1要素拡張と1対1に対応する。
• 非整合なブール項順序が存在し、本論文ではフラップ欠陊を示す具体的な例を提示する。
• n = 1, 2, 3, 4 の場合のブール項順序の数が明示的に数え上げられており、n が増加するにつれて急激に増加する。
• ブール項順序の整合性は、向き付きマトロイド枠組みにおける一貫した符号ベクトルの実現可能性によって特徴づけられる。
• フラップ関係は、項順序間の最小変換を定義し、非整合な順序の存在は、すべてのこのような変換が整合性を保たないことを示唆する。
• この枠組みは、ブール項順序をバウエス問題に成功裏に埋め込み、新しい幾何的・組合せ的解釈を提供する。