[论文解读] 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) $-避免码（即任意两向量不恰好在 $ t-1 $ 个坐标上一致）的大小至多等于最大 $ t $-相交汉明球的大小，且仅当为同构球时取等，从而解决了编码理论中的一个禁止相交问题。证明使用了一种基于全局超收缩性的新颖截断近似方法，将 Ahlswede-Khachatrian 定理推广到了更广泛的码类。

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 $-相交码最大大小的开放问题，但条件弱化为禁止恰好 $ t-1 $ 个坐标一致。
• 将 Ahlswede-Khachatrian 的极值结果推广至避免任意两向量恰好 $ t-1 $ 个一致的码类，而不仅限于有 $ t $ 个或以上一致的码。
• 开发并应用一种基于全局超收缩性的新型截断近似技术，以分析 $ (t-1) $-避免码。
• 通过截断框架，为 Eberhard 等人关于对称相交码大小为 $ o(m^n) $ 的结果提供一种替代证明。
• 探讨 $ \mathbb{R}^n $ 中禁止相交问题的无穷维类比，特别是 $ (t-1) $-避免集合的 Hausdorff 维数。

提出的方法

• 引入一种随机粘合操作，作为偏置超立方体中尖锐阈值现象的通用类比，以分析在 $ (t-1) $-避免条件下的码结构。
• 建立截断近似结果：任意 $ (t-1) $-避免码近似包含于一个 $ t $-相交截断中，其成员资格仅依赖于常数个坐标。
• 利用全局超收缩性控制坐标的影响力，并推导截断近似的稳定性界。
• 应用 Ahlswede-Khachatrian 定理的稳定性版本，表明近似截断必须为形如 $ \mathcal{S}_{t,r}[m]^n $ 的汉明球。
• 实施一种自举论证：若码在测度上接近一个球，则由于极值性与稳定性，它必须等于该球。
• 处理两种情形：中等字母表大小 $ m $，以及巨大字母表大小 $ m \geq 2^{n/N} $，分别使用不同的平均化与限制技术。

实验结果

研究问题

• RQ1 能否将 $[m]^n$ 中 $ t $-相交码的极值界推广至仅避免向量间恰好 $ t-1 $ 个一致的码？
• RQ2 是否存在一个适用于 $ (t-1) $-避免码的一般截断近似定理，即使极值例子本身并非截断？
• RQ3 全局超收缩性方法能否用于推导高维乘积空间中禁止相交问题的稳定性结果？
• RQ4 在 $ m=2 $ 的情况下，$ (t-1) $-避免条件是否意味着码在渐近意义下必须接近汉明球？
• RQ5 $ (t-1) $-避免集合在 $ \mathbb{R}^n $ 中的最大可能 Hausdorff 维数是多少？

主要发现

• 对所有 $ 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) $-避免条件下，极值码与 Ahlswede 和 Khachatrian 所刻画的 $ t $-相交码完全相同。
• 任意 $ (t-1) $-避免码近似包含于一个 $ t $-相交截断中，这是通过全局超收缩性与随机粘合方法证明的关键结构性结果。
• 该方法为 Eberhard 等人关于对称相交码在 $[m]^n$ 中大小为 $ o(m^n) $ 的结果提供了替代证明，方法是表明此类码必须远离截断结构。
• 对于巨大字母表 $ m \geq 2^{n/N} $，证明使用基于高边际测度字典的测度论论证，表明剩余码的测度可忽略不计。
• 论文未解决 $ m=2 $ 时主结果是否成立的问题，此时极值例子并非截断，提示需要发展替代的稳定性技术。