[논문 리뷰] Extension results for boolean maps and a class of systems of linear inequalities

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

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)-체계를 순서된 변수와 가중합을 포함한 선형부등식의 집합으로 정의한다.
• 각 (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)-체계에서 호환성에 대한 완전한 불변량임을 입증하며, 해법 가능성에 대한 최소 특징을 제공한다.