[论文解读] Extension results for boolean maps and a class of systems of linear inequalities

Cinzia Bisi, Giampiero Chiaselotti|arXiv (Cornell University)|Dec 25, 2010

Advanced Algebra and Logic参考文献 17被引用 3

一句话总结

本文引入了有限對合偏序集上布林映射的「核心」概念，特別著重於與未解決的 Manickam-Miklös-Singhi 猜想相關的 (n,r)-系統線性不等式。本文證明每一個這樣的布林映射都具有唯一的最小核心（即「基本核心」），該核心捕捉了系統的相容性，並確立了「形式相容」映射族完整地描述了相容的完整系統，從而解決了關於這些系統結構的開放問題。

ABSTRACT

In this paper we introduce the notion of {\it core} for two specific classes of boolean maps on finite involution posets (which are a generalization of the boolean lattices) and we prove some extension results for such families of boolean maps. Through the properties of the core, we provide a complete characterization of such maps. The main purpose of such abstract results is their application to the study of the compatibility of a particular class of systems of linear inequalities related to a conjecture of Manickam, Miklös and Singhi (\cite{ManSin88}, \cite{ManMik87}), still unsolved and that can be considered dual to the theorem of Erdös-Ko-Rado \cite{erd-ko-rad}.

研究动机与目标

• 使用偏序集上的布林映射，對與 Manickam-Miklös-Singhi 猜想相關的線性不等式系統的相容性進行特徵化。
• 定義並研究布林映射的「核心」，作為保留相容性的最小子系統。
• 引入「形式相容」映射的概念，其完整捕捉了相容 (n,r)-系統的性質。
• 解決關於形式相容映射族是否等於對應相容完整系統的映射集合的開放問題。

提出的方法

• 定義 (n,r)-系統為具有有序變數與加權和的線性不等式集合。
• 將每個 (n,r)-系統表示為格 (S(n,r), ⊑) 上的布林映射 A，其中對每個字串 w，A(w) = P（正向）或 N（負向）。
• 將 A 的「核心」定義為保留系統相容性的最小子系統。
• 將「基本核心」定義為布林映射 A 的唯一最小核心。
• 引入「補集點態」映射的概念，即每個字串 w 的分割都保持映射值不變。
• 將「形式相容」映射定義為滿足點態補集性且對最大字串 r⋯21|12⋯(n−r) 分別賦予 P（或 N）的映射。

实验结果

研究问题

• RQ1 形式相容映射族是否等於對應相容完整 (n,r)-系統的映射集合？
• RQ2 能否以最小核心完全特徵化完整 (n,r)-系統的相容性？
• RQ3 布林映射的基本核心是否唯一決定對應 (n,r)-系統的相容性？
• RQ4 是否存在相容但非形式相容的布林映射，表明特徵化存在缺口？

主要发现

• 每個 S(n,r) 上的布林映射 A 都具有唯一的最小核心，稱為基本核心，該核心捕捉了系統的相容性。
• 映射 A 的基本核心是保留與完整系統相同相容狀態的最小不等式子系統。
• 形式相容映射族 FC+(n,r) 包含所有對應於相容完整 (n,r)-系統的映射，即 χ(W+CT Syst(n,r)) ⊆ FC+(n,r)。
• A ∈ W−(6,3) 的例子顯示其具有點態補集核心但不屬於 FC−(6,3)，表明反向包含不成立，從而證明非完整系統下 Q3 為假。
• 本文證明了 W+(n,r) 族並未完全捕捉相容系統的性質，因此必須採用更嚴格的 FC+(n,r) 條件。
• 研究結果確立了基本核心是 (n,r)-系統中相容性的完整不變量，為可解性提供了最小特徵化。