[논문 리뷰] Cross-intersecting integer sequences

Peter Borg|arXiv (Cornell University)|2012. 12. 31.

Limits and Structures in Graph Theory참고 문헌 42인용 수 7

한 줄 요약

이 논문은 제한된 값을 가진 r- 및 s-부분 정수 시퀀스의 두 교차-교차 가족의 크기 곱에 대한 날카운 상계를 확립한다. 조건 c₁ ≥ 3 및 d₁ ≥ 3 또는 c = d 이며 r = s = n일 경우, |A||B| ≤ |S_c^{(r)}(1)||S_d^{(s)}(1)| 가 성립한다. 이 결과는 가중치가 부여된 시퀀스 가족으로의 에르되시–코–라도 정리의 일반화이며, 최대값을 가진 항목이 동일한 위치에 중심을 둔 스타 가족을 통해 등호 조건을 특성화한다.

ABSTRACT

We call $(a_1, \dots, a_n)$ an \emph{$r$-partial sequence} if exactly $r$ of its entries are positive integers and the rest are all zero. For ${\bf c} = (c_1, \dots, c_n)$ with $1 \leq c_1 \leq \dots \leq c_n$, let $S_{\bf c}^{(r)}$ be the set of $r$-partial sequences $(a_1, \dots, a_n)$ with $0 \leq a_i \leq c_i$ for each $i$ in $\{1, \dots, n\}$, and let $S_{\bf c}^{(r)}(1)$ be the set of members of $S_{\bf c}^{(r)}$ which have $a_1 = 1$. We say that $(a_1, \dots, a_n)$ \emph{meets} $(b_1, \dots, b_m)$ if $a_i = b_i eq 0$ for some $i$. Two sets $A$ and $B$ of sequences are said to be \emph{cross-intersecting} if each sequence in $A$ meets each sequence in $B$. Let ${\bf d} = (d_1, \dots, d_m)$ with $1 \leq d_1 \leq \dots \leq d_m$. Let $A \subseteq S_{\bf c}^{(r)}$ and $B \subseteq S_{\bf d}^{(s)}$ such that $A$ and $B$ are cross-intersecting. We show that $|A||B| \leq |S_{\bf c}^{(r)}(1)||S_{\bf d}^{(s)}(1)|$ if either $c_1 \geq 3$ and $d_1 \geq 3$ or ${\bf c} = {\bf d}$ and $r = s = n$. We also determine the cases of equality. We obtain this by proving a general cross-intersection theorem for \emph{weighted} sets. The bound generalises to one for $k \geq 2$ cross-intersecting sets.

연구 동기 및 목표

• 제약 조건이 증가하는 수열 c 및 d에 의해 제한된 r- 및 s-부분 정수 시퀀스의 두 교차-가족의 크기 곱의 최대값을 결정하기 위해.
• 에르되시–코–라도 정리와 같은 극값 집합 이론 결과를 항목 제약 조건이 있는 정수 시퀀스의 맥락으로 일반화하기 위해.
• c 및 d의 최소 항목에 대한 특정 조건 하에서 최대 곱을 달성하는 가족을 특성화하기 위해.
• 가중치가 부여된 시퀀스 가족에 대한 일반적인 교차-가족 정리 개발을 통해 다수의 교차 가족에의 응용을 가능하게 하기 위해.

제안 방법

• 정확히 r개의 양수 항목을 가지며 나머지는 0인 시퀀스를 r-부분 시퀀스로 정의하고, S_c^{(r)}를 0 ≤ a_i ≤ c_i 를 만족하는 이러한 시퀀스의 집합으로 정의한다.
• 교차-교란의 정의: 두 시퀀스가 같은 위치에서 0이 아닌 항목을 공유할 경우 교차-교란을 이룬다.
• 시퀀스를 격자 L_c^{(r)} 내의 집합으로 매핑하기 위한 업로딩 구축을 통해 문제를 가중치가 부여된 가족 설정으로 변환한다.
• 가중치가 부여된 가족에 대한 일반적인 교차-가족 정리를 적용하며, 이는 '동형사상 없음' 보조정리와 스타 기반 극값 가족에 의존한다.
• 최대 곱이 동일한 위치에서 최대 항목 값으로 중심을 둔 스타 가족일 때 달성됨을 확립한다.
• 단사 사상과 대칭성 논증(예: 모듈로 이동 θ)을 사용하여 c₁ = 2 인 경우의 상한을 증명하며, 이는 이차 부등식으로 귀결된다.

실험 결과

연구 질문

• RQ1 제약 조건이 c_i 및 d_i인 두 교차-가족 A ⊆ S_c^{(r)}, B ⊆ S_d^{(s)}에 대해 |A||B|의 최대 가능한 곱은 무엇인가요?
• RQ2 이러한 교차-가족에 대해 |A||B| ≤ |S_c^{(r)}(1)||S_d^{(s)}(1)| 의 등호는 언제 성립합니까?
• RQ3 제약 수열의 최소 항목 c₁ 및 d₁에 따라 극값 가족(예: 스타)의 구조는 어떻게 달라지나요?
• RQ4 고전적인 에르되시–코–라도 정리는 제한된 값을 가진 부분 지지도를 가진 정수 시퀀스로 일반화될 수 있나요?
• RQ5 대칭성과 가중치가 부여된 가족은 교차-가족 시퀀스 가족의 최적 상한을 도출하는 데 어떤 역할을 합니까?

주요 결과

• A 및 B가 동일한 위치 (p,q) 에 중심을 둔 스타이며, c_p = c_1 및 d_p = d_1 일 때 곱 |A||B| 가 최대가 된다.
• c₁ ≥ 3 및 d₁ ≥ 3 이거나 c = d 이며 r = s = n 이면 상한 |A||B| ≤ |S_c^{(r)}(1)||S_d^{(s)}(1)| 이 성립한다.
• 등호는 A 및 B가 동일한 위치 (p,q) 에 중심을 둔 최대 크기의 스타일일 때에만 성립한다. 이때 c_p = c_1 및 d_p = d_1 이다.
• c₁ = 2 인 경우, 단사 사상 θ 와 부등식 |A|(|L_c| - |A|) ≤ (|L_c|/2)² 를 통해 상한이 증명되며, 이는 |A||B| ≤ (|L_c|/c₁)² 로 이어진다.
• 이 결과는 k ≥ 2 개의 교차-가족으로 일반화되며, 크기 곱은 해당 스타 가족의 크기 곱으로 제한된다.
• 등호가 성립할 경우, 제시된 c₁ 및 d₁ 조건 하에서 극값 가족은 오직 스타로 유일하게 특성화된다.