[논문 리뷰] Forbidden intersections for codes

Peter Keevash, Noam Lifshitz외 2명|arXiv (Cornell University)|2021. 03. 08.

Computability, Logic, AI Algorithms인용 수 13

한 줄 요약

이 논문은 큰 $ n $ 에 대해, 두 벡터가 정확히 $ t-1 $ 개의 좌표에서 일치하지 않는 $ (t-1) $-avoiding 코드 $[m]^n$ 에서의 최대 크기를 규명한다. 이는 $ t $-intersecting 해밍 볼의 크기 이하이며, 등호는 동형 볼일 때에만 성립한다. 증명은 전역 초수축성 기반의 새로운 젠타 근사 방법을 사용하여 아흐스베이드-카하트리안 정리의 범위를 더 넓은 코드 클래스로 확장한다.

ABSTRACT

Determining the maximum size of a $t$-intersecting code in $[m]^n$ was a longstanding open problem of Frankl and Füredi, solved independently by Ahlswede and Khachatrian and by Frankl and Tokushige. We extend their result to the setting of forbidden intersections, by showing that for any $m>2$ and $n$ large compared with $t$ (but not necessarily $m$) that the same bound holds for codes with the weaker property of being $(t-1)$-avoiding, i.e.\ having no two vectors that agree on exactly $t-1$ coordinates. Our proof proceeds via a junta approximation result of independent interest, which we prove via a development of our recent theory of global hypercontractivity: we show that any $(t-1)$-avoiding code is approximately contained in a $t$-intersecting junta (a code where membership is determined by a constant number of co-ordinates). In particular, when $t=1$ this gives an alternative proof of a recent result of Eberhard, Kahn, Narayanan and Spirkl that symmetric intersecting codes in $[m]^n$ have size $o(m^n)$.

연구 동기 및 목표

• 프랭클과 퓨레디의 오랜 미해결 문제를 해결한다. 즉, $[m]^n$ 내에서 $ t $-intersecting 코드의 최대 크기를 더 약한 금지 교차 조건 하에서 규명한다.
• 아흐스베이드-카하트리안의 최적 결과를, 두 벡터 간 정확히 $ t-1 $ 개의 일치를 피하는 코드로 확장한다. 이는 $ t $ 개 이상의 일치를 피하는 경우에만 적용되던 기존 결과를 넘어서는 것이다.
• 전역 초수축성 기반의 새로운 젠타 근사 기법을 개발하고, 이를 $ (t-1) $-avoiding 코드 분석에 적용한다.
• 에버하드 등이 제시한 대칭 교차 코드의 크기가 $ o(m^n) $ 임을 증명한 결과에 대해, 젠타 프레임워크를 통해 대체 증명을 제공한다.
• 금지 교차 문제의 무한대 해석을 $ \mathbb{R}^n $ 에서 탐색하며, 특히 $ (t-1) $-avoiding 집합의 하우스도르프 차원에 대해 고려한다.

제안 방법

• 편향된 초입방체에서의 날카로운 임계 현상의 일반화로, 무작위 접합 연산을 도입하여 $ (t-1) $-avoidance 조건 하에서 코드의 구조를 분석할 수 있도록 한다.
• 젠타 근사 결과를 확립한다: 임의의 $ (t-1) $-avoiding 코드는 상수 개의 좌표에 따라 결정되는 $ t $-intersecting 젠타에 근사적으로 포함된다.
• 전역 초수축성을 활용해 좌표의 影響를 제어하고 젠타 근사에 대한 안정성 한계를 도출한다.
• 아흐스베이드-카하트리안 정리의 안정성 판별판을 적용하여, 근사화된 젠타가 형태 $ \mathcal{S}_{t,r}[m]^n $ 의 해밍 볼이어야 한다고 보여준다.
• 백트래킹 추론 기법을 적용한다: 만약 코드가 측도 측면에서 볼에 가까운 경우, 최적성과 안정성에 의해 반드시 그와 동일해야 한다.
• 두 경우를 다룬다: 중간 크기의 알파벳 크기 $ m $ 와 매우 큰 알파벳 크기 $ m \geq 2^{n/N} $ 이며, 각각 다른 평균화 및 제약 기법을 사용한다.

실험 결과

연구 질문

• RQ1 [$ t $-intersecting 코드의 최적 경계를, 두 벡터 간 정확히 $ t-1 $ 개의 일치를 피하는 코드로 확장할 수 있는가?]
• RQ2 [$ (t-1) $-avoiding 코드에 대해 일반적인 젠타 근사 정리가 존재하는가? 특히 최적 예시가 젠타가 아닐 경우에도 말이다.]
• RQ3 전역 초수축성 기법을 사용해 고차원 곱공간에서의 금지 교차 문제에 대한 안정성 결과를 도출할 수 있는가?
• RQ4 $ (t-1) $-avoiding 조건이 코드가 $ m=2 $ 일 때조차도 해밍 볼에 점점 가까워진다는 것을 의미하는가?
• RQ5 $ \mathbb{R}^n $ 내에서 $ (t-1) $-avoiding 집합의 최대 가능한 하우스도르프 차원은 무엇인가?

주요 결과

• 모든 $ t \in \mathbb{N} $ 에 대해, $ n_0 \in \mathbb{N} $ 가 존재하여, $ m \geq 3 $ 이고 $ n \geq n_0 $ 인 임의의 $ (t-1) $-avoiding 코드 $ \mathcal{F} \subset [m]^n $ 에 대해 $ |\mathcal{F}| \leq \max_r |\mathcal{S}_{t,r}[m]^n| $ 를 만족하며, 등호는 동형 볼일 때에만 성립한다.
• 금지 조건 $ (t-1) $-avoiding 하에서의 최적 코드는 아흐스베이드와 카하트리안이 규명한 $ t $-intersecting 코드의 최적 예와 정확히 같다.
• 임의의 $ (t-1) $-avoiding 코드는 전역 초수축성과 무작위 접합을 통해 증명된 $ t $-intersecting 젠타에 근사적으로 포함되며, 이는 핵심적인 구조적 결과이다.
• 이 방법은 에버하드 등이 제시한 대칭 교차 코드의 크기가 $ o(m^n) $ 임을 보여주는 결과에 대해 대체 증명을 제공한다. 이는 이러한 코드들이 젠타 유사 구조에서 멀리 떨어져 있어야 한다는 점을 보여준다.
• 매우 큰 알파벳 크기 $ m \geq 2^{n/N} $ 에서는, 높은 경계 확률을 가진 딕터레이터 기반의 측도 이론적 접근을 사용하여 나머지 코드의 측도가 무시할 만큼 작다는 것을 보여준다.
• 논문은 $ m=2 $ 일 때 주요 결과가 성립하는지 여부를 열어두었으며, 이 경우 최적 예시가 젠타가 아니므로, 대체 안정성 기법이 필요할 것으로 암시한다.