[논문 리뷰] Graph generated union-closed families of sets

Emanuel Knill|arXiv (Cornell University)|1994. 09. 16.

Advanced Graph Theory Research참고 문헌 1인용 수 24

한 줄 요약

이 논문은 그래프로 생성된 유니언-폐쇄 집합 가족에 대해, 가족에 속한 집합의 절반 이상을 포함하는 간선이 존재함을 보여줌으로써 유니언-폐쇄 집합 추측의 특수 케이스를 증명한다. 증명은 가족의 국소적 구조 분석을 활용하고, 교차 필터의 케일만의 보조정리(lemma)를 적용하여 조건부 밀도 하한을 확립함으로써, 이 가족 클래스에 대해 추측을 확인한다.

ABSTRACT

Let G be a graph with vertices V and edges E. Let F be the union-closed family of sets generated by E. Then F is the family of subsets of V without isolated points. Theorem: There is an edge e belongs to E such that |{U belongs to F | e belongs to U}| =< 1/2|F|. This is equivalent to the following assertion: If H is a union-closed family generated by a family of sets of maximum degree two, then there is an $x$ such that |{U belongs to H | x belongs to U}| > 1/2|H|. This is a special case of the union-closed sets conjecture. To put this result in perspective, a brief overview of research on the union-closed sets conjecture is given. A proof of a strong version of the theorem on graph-generated families of sets is presented. This proof depends on an analysis of the local properties of F and an application of Kleitman's lemma. Much of the proof applies to arbitrary union-closed families and can be used to obtain bounds on |{U belongs to F | e belongs to U}|/|F|.

연구 동기 및 목표

• 유한 그래프의 간선 집합에서 유도된 집합 가족에 대해, 유니언-폐쇄 집합 추측을 확립한다.
• 이러한 그래프로 생성된 가족에서, 최소한 절반 이상의 집합을 포함하는 원소(간선)가 존재함을 보여준다.
• 그래프에서 유도된 집합 가족에 대해 밀도 성질을 증명함으로써, 이 클래스에 대해 추측의 강력한 형태를 제시한다.
• 국소적 구조 분석과 케일만의 보조정리와 같은 극값 조합론 도구를 적용하여 기존의 유니언-폐쇄 가족 결과를 확장한다.

제안 방법

• 그래프 G의 간선 집합 E에서 유도된, 고립점이 없는 정점 부분집합 전체의 집합인, 그래프로 생성된 유니언-폐쇄 가족 F를 정의한다.
• 유니언-폐쇄 가족과 조인-세미라티스 사이의 쌍대 대응을 이용하여 문제를 만족 불가능한 원소와 조인-생성자로 재구성한다.
• 멱집합 내 필터의 교차 부분집합 밀도에 대한 케일만의 보조정리를 적용하여, 주어진 간선을 포함하는 집합의 비율을 하한으로 제한한다.
• 고정된 간선 U에 대한 정점 집합을 N_a, N_b, N_ab로 분할하여 가족 F의 국소적 성질을 분석한다.
• 간선 기반 필터 E(Y; x)를 정의하여, F에 속한 랜덤 집합이 주어진 부분집합 Y를 포함하고 동시에 x에 대한 제약 조건을 만족할 확률을 모델링한다.
• 0≤a≤1, b≥1일 때 성립하는 부등식 (1−a)^b ≥ 1−ab를 활용하여, 개별 간선 포함 확률의 곱을 이용해 밀도 τ(F; F₀)(U)의 하한을 확립한다.

실험 결과

연구 질문

• RQ1 모든 그래프로 생성된 유니언-폐쇄 집합 가정에서, 최소한 절반 이상의 집합을 포함하는 원소(간선)가 존재하는가?
• RQ2 생성 가족이 크기가 2 이하인 집합들로 이루어진 특수 케이스에서, 유니언-폐쇄 집합 추측을 증명할 수 있는가?
• RQ3 어떤 가족의 구조적 성질이 주어진 간선을 포함하는 집합의 밀도가 1/2 이상으로 하한이 보장되는지를 보장하는가?
• RQ4 교차 필터에 대한 케일만의 보조정리는 어떻게 적용되어 유니언-폐쇄 가정에서 원소 빈도의 정량적 하한을 도출할 수 있는가?

주요 결과

• 모든 그래프로 생성된 유니언-폐쇄 가정 F에 대해, F에 속한 집합 중 적어도 |F|/2개 이상을 포함하는 간선 e ∈ E 가 존재한다.
• U가 조인-불가능한 원소들의 그래프에서 최소 차수를 가지는 간선이라면, 모든 확장 F₀에 대해 밀도 성질 τ(F; F₀)(U) ≥ 1/2 가 성립함을 증명한다.
• 케일만의 보조정리를 활용하여, τ(F; F₀)(U) ≥ 1 + ∑_{Y⊆U} ω(H ∩ E(Y)) ≥ 1 + ∑_{Y⊆U} ∏_{x∉U} ω(E(Y; x)) 라는 하한을 확립한다.
• U에 속하지 않는 각 정점 x에 대해, 포함 확률 ω(E(∅; x)) 는 (1−1/2)^{n(x)} 이하로 하한이 보장되며, 여기서 n(x)는 x에 인접한 U 외부 간선 수이다.
• n_a ≥ 1 이고 n_b ≥ 1 이라면, 양측의 기여도 합 c_a + c_b ≥ (1−1/2)^{n_a}^{n_b} + (1−1/2)^{n_b}^{n_a} ≥ 1 이 되어 τ ≥ 1 이 보장된다.
• 가족이 단일 간선으로 생성되는 경우에도 결과가 성립하며, 이 경우 F는 부울 라티스를 이루고 추측은 자명하게 성립한다.