MUBs from bent functions

想象一下，你正在试图整理一个庞大的信息图书馆，但你需要以一种确保没有任何两种整理书籍的方式看起来相同，同时它们又能完美契合的方式进行。这就是**互无偏基（Mutually Unbiased Bases, MUBs）**的核心挑战，这是一个用于量子物理和数学的概念。

在这篇论文中，数学家威廉·M·坎托（William M. Kantor）提出了一种新的、简单的“配方”，用于构建这些完美的组织系统。他通过利用一种称为**弯曲函数（bent function）**的特殊数学函数来实现这一点。

以下是他思想的分解，使用了日常类比：

1. 目标：完美的洗牌

想象一副扑克牌。你可以按花色（红桃、方块等）或按等级（A、2、3 等）来整理它们。

如果你知道一张牌是“红桃 A"，你就确切知道它在“花色”列表中的位置。
但如果你查看“等级”列表，知道它是"A"并不能告诉你它属于哪种花色；它可能是四种花色中的任何一种。

在量子世界中，科学家们希望创建许多不同的“列表”（基），使得知道一个项目在其中一个列表中的位置，对于它在任何其他列表中的位置提供零信息。他们希望创建尽可能多的这种完全不同的列表。坎托将这种列表的“完整集合”称为互无偏基的完整集合。

2. 秘密成分：弯曲函数

为了构建这些列表，坎托使用了“弯曲函数”。

类比：想象一个函数是一台机器，它接收一个输入（比如一个数字）并输出一个结果。一个“弯曲”的函数是一台被完美“扭曲”或“弯曲”的机器。
特性：如果你只改变输入一点点，输出的变化是完全不可预测且均匀分布的。这就像一枚公平的硬币，无论翻转多少次，它都不会卡在“正面”或“反面”上。
"Mubent"集合：坎托需要一整队这样的弯曲函数。规则是，如果你从队伍中取出任意两个函数并将其中一个减去另一个，结果必须也是一个完美的弯曲函数。他将此称为**"mubent 集合”**。

3. 构建：两种不同的配方

坎托展示了如何利用这些函数队来构建列表，但他必须根据系统的大小（具体而言，是项目数量是奇素数还是 2 的幂）使用两种略有不同的配方。

配方 A：适用于奇数（“奇特征”情况）

设置：想象你有一个点网格。你有一个标准列表（“标准基”）。
魔法：对于你"mubent 集合”中的每一个弯曲函数，你创建一个新列表。你是通过将标准列表中的项目使用涉及该弯曲函数的特定公式混合在一起来实现的。
结果：坎托从数学上证明，如果你从标准列表开始，并添加由你的弯曲函数创建的所有新列表，你就会得到一个完整集合。每个列表相对于其他每个列表都是完美“无偏”的。
限制：这个配方对奇数非常有效，但如果你尝试将其用于数字 2（2 的幂），它就会失效。

配方 B：适用于 2 的幂（“特征 2"情况）

问题：第一个配方对 2 的幂无效，因为“弯曲”函数的行为方式不同。
修正：坎托稍微改变了规则。他不再使用简单列表中的数字（0, 1, 2...），而是使用“模 4"系统中的数字（0, 1, 2, 3）。
新的弯曲定义：在这个系统中，如果一个函数的输出之间的差异以非常具体且平衡的方式分布（0 和 2 的数量相等，1 和 3 的数量相等），则该函数是“弯曲”的。
结果：使用这种修改后的定义和一种称为“扩散集（spread set）”的特殊矩阵（数字网格），他构建了新列表。就像第一个配方一样，这创建了一组完美的无偏列表的完整集合。

4. 为什么这很重要（根据论文）

简洁性：以前构建这些集合的方法通常依赖于复杂的群论或几何学。坎托的方法是“初等”且直接的：它将新列表写成旧列表的简单组合。
完备性：他证明了这些方法生成了最大可能数量的列表（对于大小为 N 的系统，生成 N + 1 个列表）。
局限性：论文指出，虽然这种构建方法很简单，但它主要使用“二次”函数（一种特定且简单的弯曲函数类型）。它并没有解决是否存在其他更奇特的弯曲函数类型可以创建更多独特集合的谜团，但它提供了一个坚实且可行的基础。

总结

坎托的论文就像一本食谱。他说：“如果你想创建一个完美的集合，包含整理量子系统的完全不同的方式，这里有一个简单的食谱。

召集一队‘弯曲’函数（被完美扭曲的函数）。
如果你的系统是一个奇数，使用配方 A。
如果你的系统是 2 的幂，使用配方 B（这需要一种稍微不同类型的弯曲函数）。
将它们与你的标准列表混合，你就会得到一个完整的、完美的无偏基集合。”

这篇论文是一个数学证明，表明这个食谱总是有效，提供了一种清晰且明确的方法来生成这些复杂的结构。

技术摘要：由弯曲函数构造的互无偏基

问题陈述
本文探讨了在复向量空间 $\mathbb{C}^N$ 中构造完备互无偏基（MUBs）集合的问题，其中 $N = p^n$ ， $p$ 为素数。两个标准正交基是互无偏的，如果其中一个基中的任意向量与另一个基中的任意向量之间的内积模长恰好为 $1/\sqrt{N}$ 。一个完备集合由 $N+1$ 个这样的两两无偏基组成。虽然针对该问题已存在群论和几何方法（参考文献 [WoF, Wo, CCKS, Ka]），但本笔记旨在提供一种独特的、初等的构造方法，该方法利用弯曲函数（bent functions）将新基向量明确地表示为标准基的线性组合。

方法论
作者 William M. Kantor 提出了一种基于"mubent"函数集的统一定义。该方法根据域的特征有所不同：

奇特征（ $p > 2$ ）：
- 令 $V = \mathbb{Z}_p^n$ 。mubent 集 $\mathfrak{B}$ 定义为包含 $|V|$ 个函数 $V \to \mathbb{Z}_p$ 的集合，使得集合中任意两个不同函数之差均为一个弯曲函数。
- 函数 $B: V \to \mathbb{Z}_p$ 是弯曲的，如果对于任意非零 $u \in V$ ，差函数 $v \mapsto B(v+u) - B(v)$ 在 $\mathbb{Z}_p$ 中取每个值的次数恰好为 $|V|/p$ 。
- 该构造定义了一个标准基 $M_\infty = \{e_a \mid a \in V\}$ ，以及对于每个 $B \in \mathfrak{B}$ 的一组基 $M_B = \{ \frac{1}{\sqrt{N}} e_{a,B} \mid a \in V \}$ 。
- 向量 $e_{a,B}$ 被构造为显式的线性组合： $e_{a,B} = \sum_{v \in V} \zeta^{a \cdot v + B(v)} e_v$ ，其中 $\zeta$ 是 $p$ 次本原单位根。
特征 2（ $p = 2$ ）：
- 该构造被调整为使用函数 $V \to \mathbb{Z}_4$ 而非 $\mathbb{Z}_2$ ，因为 $\mathbb{Z}_2$ 上弯曲函数的标准定义无法产生大小为 $N+1$ 的完备集合（最大规模限制为 $2^{n-1} + 1$ ）。
- 在此情况下，mubent 集 $\mathfrak{B}$ 由 $|V|$ 个函数 $V \to \mathbb{Z}_4$ 组成，使得任意两个函数之差是一个弯曲函数 $V \to \mathbb{Z}_4$ 。
- 函数 $B: V \to \mathbb{Z}_4$ 是弯曲的，如果对于 $0 \neq u \in V$ ，计数 $n(u, k) = |\{v \in V \mid B(v+u) - B(v) = k\}|$ 满足 $n(u, 0) = n(u, 2)$ 且 $n(u, 1) = n(u, 3)$ 。
- 基向量的定义类似，使用 $i$ （虚数单位）作为单位根： $e_{a,B} = \sum_{v \in V} (-1)^{a \cdot v} i^{B(v)} e_v$ 。

主要结果与定理
本文确立了两个主要定理以证明该构造的有效性：

定理 2.1（奇特征）： 如果 $\mathfrak{B}$ 是函数 $V \to \mathbb{Z}_p$ 的 mubent 集，则集合 $\{M_\infty\} \cup \{M_B \mid B \in \mathfrak{B}\}$ 构成 $\mathbb{C}^N$ 中的一组完备 MUBs。证明依赖于计算内积模长的平方，利用弯曲函数的分布性质证明对于不同的基，该值等于 $1/N$ 。
定理 3.1（特征 2）： 如果 $\mathfrak{B}$ 是函数 $V \to \mathbb{Z}_4$ 的 mubent 集，则 $\{M_\infty\} \cup \{M_B \mid B \in \mathfrak{B}\}$ 构成 $\mathbb{C}^N$ 中的一组完备 MUBs。证明同样表明，由于 $\mathbb{Z}_4$ 上弯曲函数固有的特定平衡条件（ $n(u,0)=n(u,2)$ 和 $n(u,1)=n(u,3)$ ），交叉相关项为零。

具体构造与示例
本文提供了 mubent 集的具体实例以证明此类构造的存在性：

二次函数： 对于奇素数 $p$ ，最简单的例子使用迹映射和形式为 $x \mapsto \text{Tr}(ax^2)$ 的二次函数。mubent 条件对应于关联矩阵集合形成一个“扩散集”（spread set，即任意两个矩阵之差均为非奇异矩阵的集合）。
特征 2 的适应： 对于 $p=2$ ，本文利用了 $\mathbb{Z}_4$ 上的对称矩阵。引理 3.2 证明，任何模 2 约化后非奇异的 $\mathbb{Z}_4$ 上对称矩阵 $M$ 都会生成一个二次弯曲函数 $B_M(v) = \hat{v}M\hat{v}^T$ 。命题 3.3 表明， $\mathbb{Z}_2$ 上对称矩阵的任何扩散集都会产生一组从 $V$ 到 $\mathbb{Z}_4$ 的二次函数 mubent 集，从而生成一组完备的 MUBs。
熟悉的集合： 本文指出，示例 2.2 和 3.4 恢复了文献中此前已知的最熟悉的完备 MUBs 集合。

意义与主张
作者将这项工作呈现为一个“简短、初等的构造”，提供了与占主导地位的群论和几何方法不同的视角。其主要意义在于：

显式性： 新基向量被明确地写为标准基的线性组合，直接源自弯曲函数。
统一性： 它为奇特征和偶特征提供了一个连贯的框架，其中特征 2 的情况需要特定的修改以使用 $\mathbb{Z}_4$ ，从而克服 $\mathbb{Z}_2$ 弯曲函数的局限性。
对新颖性的谦逊： 作者明确指出，虽然方法不同，但“并未导致任何新的完备 MUBs 集合的构造”。已知生成的集合（通过二次函数和扩散集）与现有文献一致。
局限性： 本文承认该方法目前并未解决关于完备 MUBs 集合酉等价性的问题，而群论方法通过海森堡群和有限仿射平面处理了该问题。此外，本文指出，对于 $p=2$ ，已知完备集合的数量不受 $N$ 的多项式限制，而对于 $p>2$ ，已知集合的数量为 $O(N)$ 。

总之，本文作为一份简洁的技术笔记，展示了如何系统地利用弯曲函数生成完备的 MUBs 集合，并通过初等代数证明验证了该构造，同时并未声称发现了以前未知的基集合。