[论文解读] Multiple Qubits as Symplectic Polar Spaces of Order Two

Метод Санига, Michel Planat|ArXiv.org|Dec 21, 2006

Finite Group Theory Research参考文献 6被引用 37

一句话总结

本文提出N-量子比特泡利算符的代数结构对应于有限辛极射影空间 $W_{2N-1}(2)$ 的几何结构，将算符视为点，可交换集合视为生成元，非对易对视为非正交点。关键贡献在于建立量子算符代数与有限几何之间的几何框架，明确关联到 $W_{2N-1}(2)$ 中的最大可交换子集与分解（spreads）。

ABSTRACT

It is surmised that the algebra of the Pauli operators on the Hilbert space of N-qubits is embodied in the geometry of the symplectic polar space of rank N and order two, W_{2N - 1}(2). The operators (discarding the identity) answer to the points of W_{2N - 1}(2), their partitionings into maximally commuting subsets correspond to spreads of the space, a maximally commuting subset has its representative in a maximal totally isotropic subspace of W_{2N - 1}(2) and, finally, "commuting" translates into "collinear" (or "perpendicular").

研究动机与目标

• 建立N-量子比特泡利算符代数与有限辛极射影空间之间的几何对应关系。
• 将泡利算符的最大可交换子集解释为 $W_{2N-1}(2)$ 中的生成元。
• 证明泡利算符划分为可交换子集的方式对应于极射影空间中的分解（spreads）。
• 通过 $W_{2N-1}(2)$ 中的正交性关系，为算符非对易性提供几何解释。
• 利用有限几何将已知的两量子比特情形推广至任意N-量子比特系统。

提出的方法

• 将非单位泡利算符（排除单位算符）与具有 $4^N - 1$ 个点的 $W_{2N-1}(2)$ 中的点一一对应。
• 利用 $V(2N,2)$ 上的辛形式定义点之间的正交性，对应于算符的可交换性。
• 将泡利算符的最大可交换子集（MCSs）映射为 $W_{2N-1}(2)$ 中维度为 $N-1$ 的最大全迷向子空间（即生成元）。
• 将所有非单位泡利算符划分为MCSs 的方式表示为 $W_{2N-1}(2)$ 的分解，每个分解由 $2^N + 1$ 个生成元构成。
• 应用 $W_{2N-1}(2)$ 的已知组合公式：$|S| = 2^N + 1$，$|G| = 2^N - 1$，以及每个点有 $2^{2N-1}$ 个非正交点。
• 利用 $N=2$ 时的广义四边形 $W_3(2)$ 作为具体实现，验证该框架。

实验结果

研究问题

• RQ1 N-量子比特泡利算符的代数结构能否被 $W_{2N-1}(2)$ 的几何结构完全描述？
• RQ2 泡利算符的最大可交换子集是否对应于 $W_{2N-1}(2)$ 中的最大全迷向子空间？
• RQ3 将泡利算符划分为相互可交换子集的方式是否等价于 $W_{2N-1}(2)$ 中的一个分解？
• RQ4 与给定算符不满足对易关系的泡利算符数量，如何与 $W_{2N-1}(2)$ 的几何结构相关联？
• RQ5 能否利用有限辛极射影空间将已知的两量子比特情形推广至N-量子比特系统？

主要发现

• N-量子比特系统中 $4^N - 1$ 个非单位泡利算符恰好对应于 $W_{2N-1}(2)$ 的 $4^N - 1$ 个点。
• 泡利算符的最大可交换子集对应于 $W_{2N-1}(2)$ 中的生成元（即最大全迷向子空间），每个子集大小为 $2^N - 1$。
• 将泡利算符划分为 $2^N + 1$ 个最大可交换子集的方式对应于 $W_{2N-1}(2)$ 的分解，每个分解恰好包含 $2^N + 1$ 个生成元。
• 与给定算符不满足对易关系的泡利算符数量为 $2^{2N-1}$，与 $W_{2N-1}(2)$ 中给定点的非正交点数量完全一致。
• 当 $N=2$ 时，几何结构退化为二阶广义四边形，验证了该框架在最简单非平凡情形下的正确性。
• N-量子比特泡利代数中不同最大可交换子集（即生成元）的总数为 $(2+1)(2^2+1)\cdots(2^N+1)$，与 $W_{2N-1}(2)$ 中生成元的数量完全一致。