[论文解读] Perfect colorings of the 12-cube that attain the bound on correlation immunity

Dmitry Fon-Der-Flaass|arXiv (Cornell University)|Mar 31, 2014

Coding theory and cryptography参考文献 1被引用 14

一句话总结

该论文构建了12维超立方体的完美2-着色，实现了谱图理论导出的相关免疫理论界，通过特征函数与面分解分析证明了参数(1,11,5,7)的非存在性，并利用群不变划分和分层着色规则显式构造了(3,9,7,5)的着色，共得到12种非同构变体。

ABSTRACT

We construct perfect $2$-colorings of the $12$-hypercube that attain our recent bound on the dimension of arbitrary correlation immune functions. We prove that such colorings with parameters $(x,12-x,4+x,8-x$) exist if $x=0$, $2$, $3$ and do not exist if $x=1$. This is a translation into English of the original paper by D. G. Fon-Der-Flaass, "Perfect colorings of the $12$-cube that attain the bound on correlation immunity", published in Russian in Siberian Electronic Mathematical Reports, vol. 4 (2007) 292-295.

研究动机与目标

• 确定哪些12维超立方体的完美2-着色能达到由谱图理论导出的相关免疫界。
• 解决12-超立方体中参数(x,12−x,4+x,8−x)在x=1,2,3,0时的完美着色存在性问题。
• 通过代数与组合对称性，提供满足界条件的着色的显式构造，特别是针对(3,9,7,5)。
• 证明12-超立方体的相关免疫界是紧致的，并刻画阻止某些参数集存在的结构性约束。

提出的方法

• 使用实值函数q在超立方体上的特征函数展开，其中黑色顶点取值11，白色顶点取值5，以分析其谱性质。
• 应用以二进制向量x为指标的正交基{f^x}，其中f^x(z) = (-1)^{|z\x|}，将q表示为系数w_x的线性组合。
• 推导出w_x = -5 + m，其中m为面[x]中黑色顶点的数量，确保系数为整数。
• 利用q的L²范数恒等式∑w_x² = 55，将非零系数的数量限制在最多55个。
• 分析3-面[y]，证明每个权重为3的向量必须包含于至少一个满足w_x ≠ 0的x中，从而得出|S| ≥ 55的下界。
• 通过坐标出现次数的双重计数，当假设(1,11,5,7)着色存在时，导出矛盾，因为55×4/12不是整数。

实验结果

研究问题

• RQ1 是否存在参数为(1,11,5,7)的12-超立方体完美2-着色，且达到相关免疫界？
• RQ2 能否为12-超立方体显式构造参数为(3,9,7,5)的完美2-着色？
• RQ3 何种结构性或组合性约束阻止了如(1,11,5,7)等某些参数集的存在，而允许其他参数集？
• RQ4 参数为(3,9,7,5)的非同构完美着色共有多少种？是否都能通过所提出的构造方法生成？

主要发现

• 通过权重为3的向量在非零系数面中的分布矛盾，证明了12-超立方体中不存在参数为(1,11,5,7)的完美2-着色。
• 参数为(3,9,7,5)的完美2-着色存在，并通过6维辅助超立方体的群不变划分显式构造。
• 构造中在6-超立方体中使用4个黑色、12个白色和12个灰色的2-面，着色传播规则在层L_x和L_G上定义。
• 该着色确保：当x为黑色时，每个顶点恰好有3个同色邻居和9个异色邻居；当x为白色时，恰好有5个同色邻居和7个异色邻居。
• 对于位于灰色面的顶点，其在面内有4个异色邻居，面外则有3个或5个异色邻居，具体取决于面的外部邻居结构。
• 由于在12个灰色面上可任意选择初始颜色值，该构造产生12种非同构着色，但所有非同构着色的总数仍未知。