[論文レビュー] Forbidden intersections for codes

Peter Keevash, Noam Lifshitz+2 more|arXiv (Cornell University)|Mar 8, 2021

Computability, Logic, AI Algorithms被引用数 13

ひとこと要約

この論文は、符号理論における禁止された交差問題を解決し、$ n $ が十分に大きい場合、任意の $[m]^n$ 内の $ (t-1) $-回避符号（任意の2つのベクトルがちょうど $ t-1 $ 個の座標で一致しないもの）のサイズは、最大の $ t $-交差ハミング球のサイズ以下であり、等号成立は同型な球に限る、ことを証明している。証明には、グローバルハイパーコントラクトニティを用いた新規なジャンタ近似法が用いられ、アールスイード＝カハチャトリアンの定理がより広いクラスの符号へと拡張されている。

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)$.

研究の動機と目的

• Frankl と Füredi が提起した長年の未解決問題、すなわち $[m]^n$ 内の $ t $-交差符号の最大サイズを、より弱い禁止交差条件の下で解くこと。
• アールスイード＝カハチャトリアンの極値結果を、2つのベクトルの一致が $ t $ 個以上である場合に限らない、正確に $ t-1 $ 個の一致を回避する符号へと拡張すること。
• グローバルハイパーコントラクトニティに基づく新規なジャンタ近似技術を開発・適用し、$ (t-1) $-回避符号を分析すること。
• エーバーハードらによる対称的交差符号が $ o(m^n) $ のサイズを持つという結果の別証明を、ジャンタ枠組みを用いて与えること。
• $ \mathbb{R}^n $ における禁止交差問題の無限的アナログを検討し、特に $ (t-1) $-回避集合のハウスドルフ次元について考察すること。

提案手法

• 偏りのあるハイパーキューブにおける鋭い閾値現象の柔軟なアナログとして、ランダムな接合操作を導入し、$ (t-1) $-回避下での符号構造の分析を可能にする。
• ジャンタ近似結果の確立：任意の $ (t-1) $-回避符号は、定数個の座標に依存する $ t $-交差ジャンタに近似的に含まれる。
• グローバルハイパーコントラクトニティを用いて座標の影響を制御し、ジャンタ近似の安定性バウンドを導出する。
• アールスイード＝カハチャトリアンの定理の安定版を適用し、近似ジャンタが形式 $ \mathcal{S}_{t,r}[m]^n $ のハミング球でなければならないことを示す。
• ブートストラップ的議論の実装：符号が測度論的に球に近いならば、極値性と安定性からそれが等しいはずである。
• 2つの場合を処理する：中程度のアルファベットサイズ $ m $ と、巨大なアルファベットサイズ $ m \geq 2^{n/N} $ で、それぞれ異なる平均化および制限技術を用いる。

実験結果

リサーチクエスチョン

• RQ1 符号が2つのベクトル間の一致を正確に $ t-1 $ 個だけ回避するという条件下で、$[m]^n$ 内の $ t $-交差符号の極値境界を、$ t $-交差符号の極値境界へと拡張できるか？
• RQ2 極値例がジャンタでない場合でも、$ (t-1) $-回避符号に対して一般のジャンタ近似定理が存在するか？
• RQ3 グローバルハイパーコントラクトニティの手法を用いて、高次元積空間における禁止交差問題の安定性結果を導出できるか？
• RQ4 $ m=2 $ の場合でも、$ (t-1) $-回避条件が符号がハミング球に漸近的に近いことを示唆するか？
• RQ5 $ \mathbb{R}^n $ 内の $ (t-1) $-回避集合の最大ハウスドルフ次元は何か？

主な発見

• すべての $ t \in \mathbb{N} $ に対して、ある $ n_0 \in \mathbb{N} $ が存在し、$ m \geq 3 $ かつ $ n \geq n_0 $ である任意の $ (t-1) $-回避符号 $ \mathcal{F} \subset [m]^n $ に対して $ |\mathcal{F}| \leq \max_r |\mathcal{S}_{t,r}[m]^n| $ が成り立ち、等号成立は同型球に限る。
• $ (t-1) $-回避条件下での極値符号は、アールスイードとカハチャトリアンによって特徴づけられた $ t $-交差符号の極値符号と完全に一致する。
• 任意の $ (t-1) $-回避符号は、$ t $-交差ジャンタに近似的に含まれる。これはグローバルハイパーコントラクトニティとランダム接合を用いた、重要な構造的結果である。
• この手法により、エーバーハードらの結果（対称的交差符号が $ o(m^n) $ のサイズを持つ）の別証明が得られ、その符号がジャンタに類似していないことから、それらは大きく離れていることが示された。
• 巨大なアルファベットサイズ $ m \geq 2^{n/N} $ の場合、測度論的議論を用い、マージナル測度が大きなディクタターに基づいて、残りの符号は測度的に無視できることが示された。
• 本論文は、$ m=2 $ の場合に主結果が成り立つかどうかは未解決としている。この場合、極値例はジャンタではないため、代替の安定性技法の必要性が示唆されている。