[논문 리뷰] Two Results on Union-Closed Families

Ilan Karpas|arXiv (Cornell University)|2017. 08. 04.

Limits and Structures in Graph Theory참고 문헌 19인용 수 5

한 줄 요약

이 논문은 부울 분석을 사용하여 유니언-폐쇄 가족에 대해 두 가지 핵심 결과를 확립한다: 첫째, 적어도 멱집합의 절반($2^{n-1}$개 집합)을 포함하는 모든 유니언-폐쇄 가족은 그 집합들 중 적어도 절반에 포함되는 원소를 가져야 한다. 둘째, 가족에 속하지 않지만 가족 내 어떤 집합을 포함하는 집합의 수는 최대 $2^{n-1}$이며, 이 경계는 날카로운 것이다. 이러한 결과들은 대규모 가족에서 원소의 풍부성(abbundance)이 성립함을 보여, 프랭클의 추측을 발전시킨다. 첫 번째 결과는 부울 함수의 푸리에 분석을 통해 증명된다.

ABSTRACT

We show that there is some absolute constant $c>0$, such that for any union-closed family $\mathcal{F} \subseteq 2^{[n]}$, if \mbox{$|\mathcal{F}| \geq (\frac{1}{2}-c)2^n$}, then there is some element $i \in [n]$ that appears in at least half of the sets of $\mathcal{F}$. We also show that for any union-closed family $\mathcal{F} \subseteq 2^{[n]}$, the number of sets which are not in $\mathcal{F}$ that cover a set in $\mathcal{F}$ is at most $2^{n-1}$, and provide examples where the inequality is tight.

연구 동기 및 목표

• 크기가 적어도 $2^{n-1}$인 모든 유니언-폐쇄 가족이 그 집합들 중 적어도 절반에 포함되는 원소를 포함함을 증명함으로써 프랭클의 추측을 지지한다.
• 유니언-폐쇄 가족에 속하지 않지만 가족 내 어떤 집합을 포함하는 집합의 수에 대해 $2^{n-1}$ 이하의 상한을 설정하고, 이 경계가 날카로운지 증명한다.
• 유니언-폐쇄 가족 내 원소의 풍부성에 관한 이전 결과를 강화하기 위해 고급 부울 분석 기법을 적용한다.
• 유니언-폐쇄 가족의 특성 함수의 푸리에 계수와 그 구조적 성질 간의 관계를 탐색한다.

제안 방법

• 유니언-폐쇄 가족의 특성 함수를 분석하기 위해 특히 초입방체 위의 푸리에 분석을 포함한 부울 분석을 사용한다.
• FKN 정리와 Kindler-Safra 정리를 적용하여 균형 함수로부터의 거리에 대한 경계를 설정하고, 특정 가정 하에서 모순을 이끌어낸다.
• 영향도 및 부울 함수의 푸리에 계수 분석을 통해 부울 함수의 양의 영향도 $I^+(f)$에 대한 경계를 유도한다.
• 유니언-폐쇄 가족이 단순 루트를 가진 부울 함수에 대응된다는 사실을 활용하여 구조적 제약 조건을 도출한다.
• 가족에 속하지 않지만 가족 내 집합을 포함하는 집합을 분석하기 위해 상부 그림자 연산자 $\partial^+\mathcal{F}$를 사용한다.
• 부울 함수 분석의 정리들을 조합론적 추론과 결합하여 원소의 풍부성과 그림자 크기에 대한 날카로운 경계를 증명한다.

실험 결과

연구 질문

• RQ1 크기가 적어도 $2^{n-1}$인 모든 유니언-폐쇄 가족이 그 집합들 중 적어도 절반에 포함되는 원소를 포함하는가?
• RQ2 유니언-폐쇄 가족 외부에 있지만 가족 내 어떤 집합을 포함하는 집합의 최대 가능한 크기는 얼마인가?
• RQ3 부울 분석 기법은 프랭클의 추측과 극단적 조합론의 관련 문제에 효과적으로 적용될 수 있는가?
• RQ4 유니언-폐쇄 가족의 특성 함수의 푸리에 계수는 그 가족의 구조적 성질을 어떻게 제약하는가?
• RQ5 단순 루트를 가진 부울 함수에서 음의 푸리에 계수 $\hat{f}(\emptyset)$와 양의 영향도 $I^+(f)$ 사이에 날카로운 관계가 존재하는가?

주요 결과

• 모든 유니언-폐쇄 가족 $\mathcal{F} \subseteq 2^{[n]}$에 대해 $|\mathcal{F}| \geq \left(\frac{1}{2} - c\right)2^n$ 를 만족하는 절대적 상수 $c > 0$ 가 존재하며, 이 가족은 그 집합들 중 적어도 절반에 포함되는 원소를 포함한다.
• 모든 유니언-폐쇄 가족 $\mathcal{F} \subseteq 2^{[n]}$에 대해, $\mathcal{F}$에 속하지 않지만 $\mathcal{F}$의 어떤 집합을 포함하는 집합의 수는 최대 $2^{n-1}$이며, 이 경계는 날카로운 것이다.
• $|\mathcal{F}| \geq 2^{n-1}$ 경계는 어떤 원소의 풍부성을 암시하며, 이는 이전 결과에서 요구하던 $|\mathcal{F}| \geq \left(\frac{2}{3} - \frac{1}{104}\right)2^n$ 보다 상당한 개선이다.
• 주요 결과의 증명은 원소가 풍부하지 않다는 가정 하에서 모순을 이끌어내기 위해 부울 분석의 새로운 기법, 특히 푸리에 분석을 사용한다.
• 상부 그림자 경계는 날카로우며, 예를 들어 $\mathcal{F} = \{A \subseteq [n] \mid 1 \notin A\}$ 의 경우 정확히 $2^{n-1}$개의 집합이 상부 그림자에 속하지만 $\mathcal{F}$에 속하지 않아 이를 통해 날카로움이 입증된다.
• 논문은 단순 루트를 가진 부울 함수에 대해 음의 푸리에 계수 $\hat{f}(\emptyset)$와 양의 영향도 $I^+(f)$ 사이에 날카로운 관계가 존재할 것이라 추측하며, 알려진 등면적 부등식의 일반화로 간주한다.