[논문 리뷰] Frankl-Rödl type theorems for codes and permutations

Peter Keevash, Eoin Long|arXiv (Cornell University)|2014. 02. 25.

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

한 줄 요약

이 논문은 종속된 랜덤 셀렉션을 사용하여 프랭클-로들 유형 정리에 대한 새로운 확률적 증명을 제시하며, 큰 알파벳 기반 코드의 금지된 거리에 대해 유의미하게 향상된 경계를 제공하고, 순열 가족과 약한 선형 꽃집합에 대한 새로운 결과를 도출한다. 주요 기여는 고정된 해밍 거리 $ d \in [\epsilon n, (1-\epsilon)n] $를 피하는 코드에 대해 $ q^{(1-\theta)n} $의 더 강력한 상계를 제시하는 것으로, $ \theta = \theta(\epsilon) > 0 $이며, 이는 순열 가족과 선형 꽃집합에까지 확장된다.

ABSTRACT

We give a new proof of the Frankl-Rödl theorem on forbidden intersections, via the probabilistic method of dependent random choice. Our method extends to codes with forbidden distances, where over large alphabets our bound is significantly better than that obtained by Frankl and Rödl. We also apply our bound to a question of Ellis on sets of permutations with forbidden distances, and to establish a weak form of a conjecture of Alon, Shpilka and Umans on sunflowers.

연구 동기 및 목표

• 종속된 랜덤 셀렉션을 활용한 프랭클-로들 유형 정리에 대한 새로운 증명 기법을 개발하기 위해.
• 특히 큰 알파벳에서 금지된 해밍 거리를 가진 코드의 크기에 대한 기존 경계를 향상시키기 위해.
• 이러한 경계를 금지된 거리가 있는 순열 가족과 약한 선형 꽃집합으로 확장하기 위해.
• 알론, 스피르카, 우만스의 $[q]^n$ 내 강한 선형 꽃집합에 대한 추측에 대한 증거를 제공하기 위해.

제안 방법

• 종속된 랜덤 셀렉션의 확률적 방법을 적용하여 금지된 교차에 대한 프랭클-로들 정리를 재증명하기 위해.
• 종속된 랜덤 셀렉션을 사용해 두 벡터가 일치하는 좌표의 무작위 부분집합을 구성함으로써, 거리 제어를 가능하게 하기 위해.
• 무작위 부분입체에서 포착된 $ d $-페어 수를 세는 랜덤 변수 $ Y $ 를 정의하고, $ \mathbb{E}[X - Y] $ 에 대한 하한을 유도하여 $ d $-페어를 피하기 위해.
• 엔트로피와 이항계수의 경계를 사용해 무작위 집합의 크기를 제어하고, 코드가 너무 크면 모순이 발생함을 도출하기 위해.
• 짝수 거리의 경우를 홀수 거리로 확장하기 위해 분할 기법을 적용하고 공통 확장에 대해 짝수 경우를 적용하기 위해.
• 개선된 코드 경계를 순열 가족에 적용하기 위해 $[n]^n$ 내에서 순열을 벡터로 식별하고, 합의 기반 정의를 통해 약한 선형 꽃집합이 없는 집합에 적용하기 위해.

실험 결과

연구 질문

• RQ1 금지된 교차에 대한 프랭클-로들 정리는 새로운 확률적 방법으로 재증명될 수 있는가?
• RQ2 큰 알파벳에서 고정된 해밍 거리를 피하는 코드의 경계는 유의미하게 향상시킬 수 있는가?
• RQ3 만약 금지된 거리 $ d \in [\epsilon n, (1-\epsilon)n] $ 가 존재한다면, 순열 가족의 크기는 얼마나 클 수 있는가?
• RQ4 이 방법은 금지된 약한 선형 꽃집합에 대한 경계를 확장할 수 있는가?
• RQ5 개선된 경계는 알론, 스피르카, 우만스의 강한 선형 꽃집합에 대한 추측을 지지하는가?

주요 결과

• 이 논문은 고정된 거리 $ d \in [\epsilon n, (1-\epsilon)n] $ 를 피하는 $ q $-아리 코드에 대해 $ |\mathcal{C}| \leq q^{(1-\delta)n} $ 의 새로운 상계를 확립하며, $ \delta = \delta(\epsilon) > 0 $ 이다. 이는 큰 $ q $ 에서 프랭클-로들의 $ (q - \delta)^n $ 경계보다 유의미하게 향상된 것이다.
• 순열 가족 $ \mathcal{S} \subset S_n $ 에 대해, $ d \in [\epsilon n, (1-\epsilon)n] $ 가 금지될 경우 $ |\mathcal{S}| < (n!)^{1-\delta} $ 이다. 여기서 $ \delta = \delta(\epsilon) > 0 $ 이다.
• 이 방법은 약한 $ k $-피트 선형 꽃집합을 피하는 임의의 집합 $ \mathcal{C} \subset [q]^n $ 에 대해 $ |\mathcal{C}| \leq q^{(1-\delta)n} $ 를 증명하며, $ \delta = \delta(k) > 0 $ 이다. 이는 강한 선형 꽃집합에 대한 추측을 지지한다.
• 종속된 랜덤 셀렉션을 통한 증명 기법은 코드가 너무 크면 큰 부분집합이 반드시 금지된 $ d $-페어를 포함하게 되므로 모순을 유도한다.
• 이를 통해 $ q $-아리 코드의 경계는 지수 항에서 $ q $ 에 대해 독립적이며, 프랭클-로들의 $ (q - \delta)^n $ 과 달리 큰 $ q $ 에서 훨씬 더 강력하다.
• 홀수 거리의 경우도 분할 및 짝수 경우로의 환원을 통해 확장되며, 이로 인해 점근적 경계가 유지된다.