[논문 리뷰] Asymptotic upper bounds on the shades of t-intersecting families

James Hirschorn|ArXiv.org|2008. 08. 11.

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

한 줄 요약

이 논문은 프랭클의 일반 추측을 확장하여 $m$-shade의 크기 상한을 渐近적으로 제시한다. 아흐르세이드-카하트리안 정리를 기반으로 하여, $m \to \infty$ 일 때 $[2m]$ 내의 $k(m)$-부분집합의 $t(m)$-교차하는 가족의 $m$-shade에 대한 정확한 渐近 상한을 도출한다. 특히, $t(m)$와 $k(m)$의 성장 조건 하에서, shade 곱의 정규화된 크기가 0으로 수렴함을 보여준다.

ABSTRACT

We examine the m-shades of t-intersecting families of k-subsets of [n], and conjecture on the optimal upper bound on their cardinalities. This conjecture extends Frankl's General Conjecture that was proven true by Ahlswede-Khachatrian. From this we deduce the precise asymptotic upper bounds on the cardinalities of m-shades of t(m)-intersecting families of k(m)-subsets of [2m], as m -> infinity. A generalization to cross-t-intersecting families is also considered.

연구 동기 및 목표

• [$m$-shade의 $t$-교차 가족의 $k$-부분집합의 크기 상한을 渐近적으로 확립한다.
• 특히 $[2m]$ 내의 $k(m)$-부분집합 설정에서, $m$-shade의 크기에 대한 프랭clud의 일반 추측을 확장한다.
• $m \to \infty$ 일 때, 교차-$t$-교차 가족의 $m$-shade 곱의 渐近 행동을 조사한다.
• 코헨과 랜덤 포싱과 관련된 기술적 집합 이론의 이분법에 대한 이론적 기초를 제공한다.

제안 방법

• 최대 $t$-교차 가족을 특정 가족 $\mathcal{F}_i(n,k,t)$의 합집합으로 특성화하기 위해 아흐르세이드-카하트리안 정리를 사용한다.
• shade 연산자 $\nabla_{\to m}$ 를 $t$-교차 가족에 적용하여 $m$-shade의 크기를 분석한다.
• 이항계수의 조합적 추정과 渐近 분석을 활용하여 $\nabla_{\to m}(\mathcal{F}_i)$ 의 크기를 경계한다.
• 교차-$t$-교차 쌍과 그 $m$-shade를 모델링하기 위해 가족 $\mathcal{G}_{ij}(n,k,t)$ 를 도입하고 분석한다.
• 레마 1을 적용하여 $[2m]\choose{m}$ 내의 비균일 색칠과 $t$-교차 가족의 $m$-shade 크기 간의 관계를 규명한다.
• 최대화 조건인 $M(2m,m,t)$ 가 $\mathcal{F}_{l(m)}(2m,m,t)$ 에 의해 달성된다고 가정하여 渐近 감소 결과를 도출한다.

실험 결과

연구 질문

• RQ1 $m \to \infty$ 일 때, $[2m]$ 내의 $k(m)$-부분집합의 $t(m)$-교차 가족의 $m$-shade 크기 상한은 무엇인가?
• RQ2 특정 성장 조건 하에서, $[2m]$ 내의 $k(m)$-부분집합의 $t(m)$-교차 가족의 $m$-shade 정규화된 크기는 0으로 수렴하는가?
• RQ3 $m \to \infty$ 일 때, 교차-$t$-교차 가족의 $m$-shade 곱의 渐近 행동은 어떻게 특징지을 수 있는가?
• RQ4 $\lim_{m\to\infty} t(m)/\sqrt{k(m)} = \infty$ 조건 하에서, $N_0(2m,m,m,k,k,t)$ 가 渐近적으로 0으로 감소하는가에 대한 추측은 타당한가?

주요 결과

• 조건 $k(m) = o(m)$ 및 $\lim_{m\to\infty} t(m)/\sqrt{k(m)} = \infty$ 하에서, $[2m]$ 내의 $t(m)$-교차 가족의 $m$-shade 크기 상한이 0으로 수렴함을 보였다.
• 동일한 조건 하에서, 최대 $t$-교차 가족 $\mathcal{F}_{l(m)}(2m,m,t)$ 의 $m$-shade 정규화된 크기는 $\lim_{m\to\infty} \frac{|\nabla_{\to m}(\mathcal{F}_{l(m)})|}{{2m \choose m}} = 0$ 를 만족한다.
• 조건 $k(m) = o(m)$ 및 $\lim_{m\to\infty} t(m)/\sqrt{k(m)} = \infty$ 하에서, 교차-$t$-교차 가족의 $m$-shade 곱은 $\lim_{m\to\infty} \frac{\sqrt{N_1(2m,m,k(m),t(m))}}{{2m \choose m}} = 0$ 를 만족하며, 이는 추측 6를 지지한다.
• 주어진 조건 하에서, $|\mathcal{F}_i(2m,m,t)|$ 의 표현식에 포함된 이항계수 합의 渐近 행동이 정규화된 형태로 1로 수렴함에 따라 결과가 도출된다.
• 논문은 $t$-교차 가족의 $m$-shade 크기가 $2|\nabla_{\to m}(X)|$ 이하로 경계됨을 확립하여, 조합적 shade 크기와 비균일 색칠 간의 연결 고리를 제공한다.
• 보조정리 7은 추측 1(에 대한 $M$)이 참이라면, 추측 2(에 대한 $M_0$)도 참임을 보여주며, 이는 $m$-shade 크기의 渐近 감소에 대한 조건부 증명을 제공한다.