🔢 mathematics

Designs, linear codes, plateaued functions, and their interconnections

本文深入探究组合设计、线性码与布尔函数之间的深刻联系。

原作者： Jong Yoon Hyun, Jieun Kwon, Jiaxin Wang, Yansheng Wu

发布于 2026-05-26

📖 1 分钟阅读🧠 深度阅读

原作者： Jong Yoon Hyun, Jieun Kwon, Jiaxin Wang, Yansheng Wu

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

想象你是一位大师级建筑师，正在使用三种截然不同的建筑材料：设计（模式的蓝图）、代码（用于发送信息的秘密语言）和函数（将输入转化为输出的数学配方）。

长期以来，数学家们一直知道这三种材料之间存在着隐秘的联系，就像三种不同的语言描述着同一座 underlying 城市。这篇由 Hyun、Kwon、Wang 和 Wu 撰写的论文，充当了一位新的翻译者和一位大师级建造者。它不仅展示了这些材料之间的联系，还利用它们构建了新的结构，并解决了关于它们如何契合的两个长期存在的谜团。

以下是他们所做工作的简要分解，使用了日常类比。

1. 三个主要角色

要理解这篇论文，你需要了解三个主要角色：

布尔函数：把它们想象成“魔法配方”。你输入一个由 0 和 1 组成的列表（就像一个交换机），配方就会输出一个单一的 0 或 1。有些配方非常混乱且难以预测（被称为“弯曲”或“平台”函数），这使得它们在密码学中对于保密非常有用。
线性码：把它们想象成“秘密代码”或“纠错语言”。它们用于发送信息，以便如果在传输过程中有几个字母被弄乱，接收者仍然能够找出原始信息。
组合设计：把它们想象成“完美平衡的模式”。想象一个锦标赛日程表，其中每一对选手相遇的次数完全相同；或者想象一个花园，其中每一对花朵都被相同数量的特定灌木环绕。

2. 重大发现：新的“三重”规则

作者引入了一个名为三重对称差性质 (TSDP) 的新概念。

旧规则：以前，数学家们知道这样一个规则：如果你在一个模式中取两个块（组）并将它们混合，结果要么是另一个块，要么是完全相反的块。
新规则 (TSDP)：作者发现了一个更深层的规则。如果你取三个不同的块并将它们全部混合在一起，结果仍然要么是一个块，要么是一个块的相反。
类比：想象你有三种不同颜色的颜料。如果你混合任意两种，你会得到一种可预测的颜色。作者发现，如果你将三种特定的颜料混合在一起，你仍然会得到一种可预测的颜色（要么是标准颜料，要么是其负色）。这一性质帮助他们更准确地识别和分类这些模式。

3. 解决“双胞胎”谜团

这篇论文解决了由先前的研究者 Ding 和 Tang 提出的两个具体谜题（开放问题 14.20 和 14.23）。

谜题：如果你有两个看起来不同但实际上只是彼此变体的“魔法配方”（布尔函数）（在数学上等价），它们是否会产生相同的“秘密代码”和相同的“模式”？
答案：是的。作者证明了，如果配方是等价的，那么生成的代码和模式也是等价的。这就像说：“如果两位厨师使用相同的配方（只是对成分的命名不同），他们将烤出完全相同的蛋糕，并写出完全相同的说明书。”
为何重要：这证实了配方、代码和模式之间的联系是不可打破的。你不能改变其中一个而不以可预测的方式改变其他两个。

4. 构建新的、非 identical 的双胞胎

这篇论文最有趣的部分之一是发现了那些看起来相同但实际上并非如此的双胞胎。

场景：作者构建了两个新的模式家族（设计）。
转折：这两个家族具有完全相同的统计数据（相同的点数、相同的块数、相同的连接）。如果你只看数字，它们似乎完全相同。
现实：然而，它们是非同构的。这意味着如果你试图将一个模式映射到另一个模式上，它无法吻合。它们就像两座拥有完全相同面积和窗户数量的房子，但平面图却完全不同。
他们是如何做到的：他们使用了特定类型的“魔法配方”（平台函数），这些函数没有“线性结构”（没有可预测的捷径）。这使得他们能够创造出这些独特的、非 identical 的双胞胎。

5. “自同构”群：谁是老板？

这篇论文还提出了一个问题：“谁掌管这些模式？”
在数学中，“自同构群”是指你可以打乱模式的所有方式（如旋转拼图或交换颜色）而不破坏模式规则的集合。

作者精确计算了这些新模式的“老板”是谁。
他们发现，对于某些类型的配方，“老板”们形成了一个非常具体、众所周知的数学群（与辛群相关），这有助于数学家深入理解这些设计的对称性和结构。

总结

用通俗的话来说，这篇论文是一座桥梁建造者。

它以前所未有的紧密程度连接了配方（函数）、代码和模式（设计）。
它引入了一种新的“三重混合规则”（TSDP），以更好地分类这些模式。
它通过证明等价的配方总是导致等价的代码和模式，解决了两个谜团。
它发现了新的模式，这些模式在纸上看起来相同，但在现实中结构不同。
它精确地弄清楚了这些模式如何在不被破坏的情况下被打乱和旋转。

作者不仅描述了联系，还利用这些联系构建了新的结构，并提供了理解它们如何运作的钥匙（自同构群）。

技术摘要：设计、线性码、 plateaued 函数及其相互联系

1. 问题陈述

本文研究了组合设计、线性码与布尔函数之间的深刻联系，特别聚焦于plateaued 函数（bent 函数的推广）。本研究由 Ding 和 Tang 在其专著《Designs from Linear Codes》（2022）中提出的两个具体开放问题所驱动：

开放问题 1 (14.20)：两个 bent 函数 $f$ 和 $g$ 的等价性，与由它们导出的二元线性码 $eCD_f$ 和 $eCD_g$ 的等价性之间有何关系？
开放问题 2 (14.23)：两个 bent 函数 $f$ 和 $g$ 的等价性，与由码 $eCD_f$ 和 $eCD_g$ 支撑的设计的同构性之间有何关系？

虽然先前的工作（特别是 Bending、Dempwolff 和 Neumann 的研究）已确立了这些关系在bent 函数（0-plateaued 函数）情形下的成立，但将其推广至 $r$ -plateaued 函数（其中 $0 \le r < m$ ）仍是一个待探索的开放领域。此外，本文旨在刻画由这些广义函数导出的设计的结构性质（例如三重对称差性质）。

2. 方法论

作者结合了代数组合学、编码理论和布尔函数分析。关键的方法论组成部分包括：

通用构造框架：本文建立了一种从布尔函数 $f_b$ （由集合 $B$ 索引）构造关联结构（设计）的通用方法，其中块定义为支撑集 $\{p \in P : f_b(p) = 1\}$ 。
Walsh 变换分析：作者利用 Walsh 变换 $W_f$ 及其支撑集 $S_f$ 来刻画所得设计的参数。他们利用了 $r$ -plateaued 函数的性质，即 $|W_f(a)| \in \{0, \pm 2^{(m+r)/2}\}$ 。
等价性的代数刻画：本研究通过分析自同构群和关联矩阵的线性张量来探究设计与码的等价性。他们利用了函数的仿射等价性与其关联码的等价性之间的关系。
对称差性质：本文引入并分析了任意 2-设计的三重对称差性质 (TSDP)，将对称设计的已知对称差性质 (SDP) 进行了推广。
秩分析：利用关联矩阵的 2-秩对设计进行分类，特别是区分最小秩设计与具有更高秩的设计。

3. 主要贡献与结果

A. 新概念与推广

三重对称差性质 (TSDP)：作者将 TSDP 设计定义为：任意三个不同块的对称差要么是一个块，要么是该块的补集。他们证明了由 $r$ -plateaued 函数（无非零线性结构）导出的加法设计满足 TSDP，但通常不满足双重对称差性质 (DSDP)，从而产生了非对称的简单 2-设计。
推广至 $r$ -plateaued 函数：本文将 Bending 从 bent 函数构造加法设计的方法推广到了 $r$ -plateaued 函数。它提供了这些设计存在性的一个新的、简化的证明（引理 5），并刻画了基于 $2^{m-r}$ 个点的简单 2-设计（定理 3）。

B. 开放问题的解决

本文通过将结果推广到 $r$ -plateaued 函数，为 Ding 和 Tang 的开放问题 1 和 2 提供了统一的解决方案：

定理 4 与 5：作者确立了对于无非零线性结构的 $r$ -plateaued 函数，函数的等价性等价于其加法设计的同构性，也等价于其关联线性码的等价性。
定理 7：专门针对 bent 函数，本文证明了两个 bent 函数 $f$ $f$ 和 $g$ $g$ 的仿射等价性等价于：
1. 设计 $D_f$ 和 $D_g$ 的同构性（通过特定的拟对称设计方法构造）。
2. 线性码 $eCD_f$ 和 $eCD_g$ 的等价性。
3. 由最小权重和中间权重码字支撑的设计的同构性。
  这有效地解决了开放问题 1 和 2。

C. 自同构群

本文计算了加法设计及其对应线性码的自同构群：

定理 8：它刻画了由 $r$ -plateaued 函数 $f$ 导出的加法设计 $AD_f$ 的自同构群 $\text{Aut}(AD_f)$ ，证明其同构于函数 $f$ 本身的自同构群，该群由特定的仿射置换定义。
推论 5：对于二次 bent 函数和特定的 Maiorana-McFarland bent 函数，证明了其自同构群同构于辛群与向量空间的半直积（ $Sp_m(\mathbb{F}_2) \rtimes \mathbb{F}_2^m$ ）。

D. 参数相同但不同构的设计

本文构造了新的布尔函数族，它们生成的 2-设计具有与已知设计（例如点 - 超平面设计的补集或 TSDP 设计）相同的参数，但不同构于这些已知设计。

定理 9 与 10：这些定理表明，即使参数和 2-秩重合，潜在的结构性质（例如平移设计的 TSDP 状态）也能区分这些设计。例如，如果由 bent 函数导出的平移设计不是 TSDP 设计，那么新构造的设计就与标准的加法设计不同构。

4. 意义与主张

本文声称显著扩展了连接布尔函数、线性码和组合设计的理论框架。其主要意义在于：

推广：从 bent 函数扩展到更广泛的 $r$ -plateaued 函数类，从而在单一框架下统一了对称设计与非对称设计的研究。
解决开放问题：为 Ding 和 Tang 提出的关于 bent 函数及其关联码/设计的等价性问题提供了确定的答案。
结构洞察：引入 TSDP 作为 2-设计的统一性质，并证明了即使 plateaued 函数导出的加法设计不是对称的，它们也具有这一性质。
自同构刻画：通过计算更广泛函数类及其关联码的自同构群，扩展了 Bending、Dempwolff 和 Neumann 的先前结果。

作者得出结论，这三个领域之间的相互联系为进一步研究提供了丰富的机会，特别是在分类最小秩设计和探索特定 bent 函数的自同构群方面。这项工作并未提出新的实验应用，而是加深了对编码与设计理论中结构关系的理论理解。