几何代数能重写量子计算吗？从 Pauli 到转子的一条综述

学过一点线性代数，再摸过量子计算入门的人，几乎都会在某一天撞上同一块「砖」：Pauli 矩阵。它们是 \(2\times 2\) 的厄米酉矩阵，平方是单位阵，彼此反对易——听起来像一堆抽象符号。可一旦你学了几何代数（Geometric Algebra，也叫 Clifford 代数），那三块砖会突然变成三维空间里的三条单位向量。于是一个几乎无法抑制的念头冒出来：既然单比特的「坐标轴」本来就是空间几何，那整个量子计算，能不能干脆用几何代数重写一遍？

这条路已经有人走了几十年：从把 Pauli 读成空间向量，到用多粒子时空代数写 CNOT，再到用复 Clifford 代数一次性装下 n 比特门，脉络清楚，文献可查。下面按「你在算什么 → 符号怎么读 → 文献怎么铺 → 边界在哪」来讲清楚。

一句话先说清楚

可以重写：把 Hilbert 空间、Dirac 记号、酉门，换成几何代数里的多重向量、转子、夹心积，在单比特乃至多比特上都能做同构翻译。

不等于改写物理：期望值、纠缠、不可克隆、测量塌缩，并不会因为换了语言就自动变成别的东西；更不会自动送你一台新硬件，或一张复杂度意义上的「免费加速券」。

换语言，是换坐标系；不是换宇宙。

为什么总是 Pauli 把人「勾」进来

标准量子课里，单比特态可以画在 Bloch 球上：单位球面上的一点对应一个纯态，绕轴旋转对应酉变换。球面上三个直角坐标方向，正好对应三个 Pauli 算符 \(\sigma_x,\sigma_y,\sigma_z\)。

几何代数告诉你：三维欧氏空间的 Clifford 代数 \(G_3=\mathrm{Cl}(3)\)，由三条正交单位向量 \(\{e_1,e_2,e_3\}\) 生成，乘法规则是

• \(e_i e_j + e_j e_i = 2\delta_{ij}\)（读作：几何积里，同向平方为 \(+1\)，正交则反对易）

人话：两条正交单位向量一乘，得到的是一块带方向的「面积片」（二重向量），再乘第三条，得到整个空间的「有向体积」（赝标量）。而这套乘法表，和 Pauli 矩阵代数同构——Hestenes 早就强调过：Pauli 矩阵不是凭空蹦出来的矩阵，它们就是三维空间几何的矩阵表象（见 Hestenes 论 Clifford 代数与量子力学诠释）。

于是 Bloch 球上的旋转，不再只是「\(SU(2)\) 矩阵作用在 \(\mathbb{C}^2\)」，而可以读成：转子夹着态转一圈。直觉从「矩阵乘法」回到「空间里怎么拧」。

你甚至会有一种「早该这样讲」的感觉：量子课里为了让矩阵好看而引入的对易关系，在几何代数里不过是「向量怎么乘出力臂、怎么乘出体积」。单比特这一层，语言迁移几乎是顺水推舟；真正要小心的是，后面多比特会不会同样顺——答案是：能嵌进去，但不免费。

代数事实：单比特几乎「天生」是 \(G_3\)

把事实摊开，尽量少装神秘：

1. Pauli ↔ \(G_3\)
   三条 Pauli 对应三条单位向量（或其矩阵表象）。代数维数都是 \(8=2^3\)：标量、三个向量、三个二重向量、一个赝标量。

2. 偶子代数 ↔ 四元数 / 转子
   只取「偶数阶」部分（标量 + 二重向量），得到一个与四元数同构的子代数。单位化后的偶元素就是转子 \(R\)（读作 rotor）：用来做旋转的代数元件。

3. 虚数单位常对应赝标量
   \(I=e_1 e_2 e_3\)（读作：三条基向量的几何积，单位赝标量），满足 \(I^2=-1\)，且与偶子代数里的元素可交换到足以扮演「\(i\)」的角色。人话：量子课里那个「转相位的 \(i\)」，在三维几何代数里常常可以指着空间的有向体积说「就是它」。

4. 单比特酉变换 ↔ 转子夹心积
   向量（或与 Bloch 向量对应的元素）\(v\) 经旋转变成
   \(v' = R\, v\, \tilde{R}\)
   （读作：左边乘转子 \(R\)，右边乘其逆 \(\tilde{R}\)）。人话：夹心积就是「拧过去再拧回来」的代数写法；它自动保证长度不变，对应酉性。

5. Bloch 球的几何读法
   纯态对应球面上的方向；绕轴 \(\hat{n}\) 转角 \(\theta\) 的转子，大致长成 \(\exp(-I\hat{n}\,\theta/2)\) 这种形式。人话：转角出现「一半」，不是玄学，而是自旋 \(1/2\) 与空间旋转的双重覆盖——\(SU(2)\) 盖住 \(SO(3)\)——几何代数把这件事写得很直白。

Doran 与 Lasenby 的教科书 Geometric Algebra for Physicists 把上述语言系统化；Cambridge 组的 States and Operators 则把自旋态与算符一并放进时空代数框架。

历史主线：谁在认真「用 GA 写量子信息」

这条线并不冷门到无人问津，也不新到昨天刚发明。粗线条如下。

奠基与物理几何化
Hestenes 把 Pauli / Dirac 代数重新读成空间与时空的几何代数，强调矩阵表象背后的几何对象（见上文 Hestenes PDF，以及其 STA 系列工作）。

教科书级整理
Doran & Lasenby（2003）把 GA 写成物理学家可学的语言，量子与自旋占专门章节。

量子信息早期翻译
Somaroo、Cory、Havel 把量子计算操作写进多粒子几何代数，并与 NMR 的积算符语言对照：quant-ph/9801002。

Havel 与 Doran 的长文更系统：Geometric Algebra in Quantum Information Processing。他们从欧氏自旋子讲到 Minkowski 时空代数，讨论密度算符、纠缠在 Lorentz 变换下的行为，并说明：多份时空的直和会在代数上诱导出张量积结构，再经合适商代数，回到常规多比特矩阵代数。

复 Clifford 同构路线
Vlasov 很早就指出：复 Clifford 代数 \(\mathrm{Cl}(2n,\mathbb{C})\) 同构于全部 \(2^n\times 2^n\) 复矩阵，因此任何 \(n\) 比特门的酉矩阵都坐落在这个代数里，且生成元的张量式结构贴近复合系统：quant-ph/9907079。

近年 Hrdina、Navráť、Vašík 把 \(n\) 比特与门明确放进 \(\mathrm{Cl}(2n,\mathbb{C})\)，用 Witt 基与原始幂等元构造自旋子空间，并与实 GA 写法对照：arXiv:2201.02246（亦见 DOI）。

MSTA：多粒子时空代数写门
Cafaro 与 Mancini 用 multiparticle spacetime algebra（MSTA）给出单比特与两比特态、Bell 态，以及 X/Y/Z、H、相位门、CNOT、CZ、SWAP 等的显式 GA 刻画，并借转子群重看通用门证明：arXiv:1006.2071。他们后来又写了回顾与纠缠侧重版：arXiv:2405.08152。

读这些文献时有个稳定印象：大家是在做忠实的语言翻译与几何注释，而不是宣布量子力学被「几何化推翻」了。

教学向：单比特门在 GA 里长什么样

下面用「符号 + 读法 + 人话」。不同论文的约定（左乘 / 夹心、\(I\) 的位置、哪个轴叫 \(e_3\)）会差一个相位或符号，精神一致即可。

Pauli-X（比特翻转）
在 Bloch 图像上：绕 \(x\) 轴转 \(\pi\)。
GA 读法：对应绕 \(e_1\) 的 \(180^\circ\) 转子夹心，或等价地用与 \(e_1\) 相关的反射/旋转复合。
人话：南北极对调的那种翻——\(|0\rangle\leftrightarrow|1\rangle\)，相对相位按约定收拾。

Pauli-Y / Pauli-Z
同理，绕 \(y\)、\(z\) 轴转 \(\pi\)。Z 门在计算基下是相位门的特例：\(|1\rangle\) 吃一个相对负号。

Hadamard
H 把 \(z\) 轴「扳」到 \(x\) 轴（再带标准相位约定）。
GA 里常写成绕「\(x+z\) 方向」转 \(180^\circ\) 一类的转子。
人话：它不是神秘的「平方根叠加按钮」，而是 Bloch 球上一次具体的 \(90^\circ\) 轴交换式旋转。

把 X、Z、H 都说成转子之后，有个课堂小练习很有用：只允许夹心积与赝标量，亲手推出 \(HZH=X\)（在合适约定下）。你做的仍是同一条代数恒等式，但每一步都能指着「绕哪根轴拧」——这就是 GA 教学向的甜头所在。

一般旋转门 \(R_{\hat{n}}(\theta)\)
就是前面的 \(\exp(-I\hat{n}\,\theta/2)\) 夹心。所有单比特酉门（模掉全局相位）都落在这张球的旋转群里。

测量与期望值
观测量仍是厄米算符；在 GA 语言里，常把 Pauli 观测量读成向量方向，期望值读成「态对应的向量 / 多重向量」与该方向的标量积（或取标量部）。
人话：指针指向哪，平均值就是 Bloch 向量在那根轴上的投影——几何图像与教科书矩阵计算对齐。

密度算符
混态是纯态的凸组合；在 GA / MSTA 叙述里，密度算符同样被写成代数里的元素，酉演化仍是夹心（或等价的双边作用），非酉通道则要另加完全正映射的结构——Havel & Doran 文中专门示范了若干量子信息中的非酉操作。

多比特：张量积如何「嵌进」GA——务必讲清构造

这里最容易自欺：以为「几何积」自动等于「张量积」。不是。

至少有两条成熟构造，目的都是人为地把复合系统的张量结构嵌进某个更大的 Clifford / 几何代数：

1. MSTA（多粒子时空代数）
   为每个粒子（比特）复制一份时空（或空间）生成元 \(\{\gamma_\mu^{(a)}\}\)。不同粒子的向量正交，因而反对易；再通过选取合适的「相对向量 / 幂等元 / 商」把物理上的张量积算符代数捞出来。Cafaro–Mancini、Havel–Doran、Somaroo 等走的是这条几何味更重的路。纠缠态（如 Bell）可以写成该大代数里的特定多重向量，但「看不见的关联」并不会因为写成刀片（blade）就变成经典可分。

2. 复 Clifford 同构 \(\mathrm{Cl}(2n,\mathbb{C})\cong M_{2^n}(\mathbb{C})\)
   用 \(2n\) 个生成元（Witt 基等）直接生成全部 \(n\) 比特矩阵代数；计算基可由原始幂等元乘一串产生算符得到。Vlasov（1999）与 Hrdina 等（2022）把门的左乘写成代数乘法，张量积门对应「作用在正交子空间生成元上的几何积式构造」——仍然是同构翻译，不是几何积魔法般地冒出纠缠。

选哪条，取决于你要「更几何的时空图像」还是「更短的复矩阵同构」。工具书与论文里两者并存，并不互相取消。

一个实用对照：做两比特 CNOT 的课堂演示时，MSTA 路线会写出带粒子标签的生成元，强调「控制比特与靶比特住在不同拷贝里」；复 Clifford 路线则直接在对应维数的复矩阵代数里点名元素。两者算出的矩阵元应当一致——若不一致，先查约定，而不是先怀疑量子力学。

必须划清的三件事

1. 改写符号 ≠ 改写物理

把 \(|\psi\rangle\mapsto U|\psi\rangle\) 写成 \(R\psi\tilde{R}\)，预测的概率、可观测量谱、信道容量公式，在同构下一一对应。没有新的「几何力」凭空出现。若某篇文声称仅凭改记号就推翻量子理论，那已经超出「重写量子计算」的题面，需要另开物理争论，而不是代数翻译。

2. 多比特与纠缠在 GA 里仍然不免费直观

单比特的 Bloch 球，是 GA 最得意的广告。两比特的纯态空间是 \(\mathbb{CP}^3\)，纠缠有一整套不变量；MSTA 或 \(\mathrm{Cl}(2n,\mathbb{C})\) 能容纳它们，不等于你肉眼一看多重向量就「看见」了可分性。文献里写 Bell 态的 GA 表达式，价值在于统一语言与计算，不在于把纠缠变成中学立体几何题。

3. 专设防撞名：Clifford 群 ≠ 「用 Clifford 代数当坐标系」

量子计算口语里的 Clifford 群 / Clifford 电路，指的是：把 Pauli 串映射到 Pauli 串（差相位）的那类酉门；它们与 stabilizer 形式体系、Gottesman–Knill 定理绑在一起——经典可高效模拟的一大块电路。

几何代数也叫 Clifford 代数，因为历史上游自 Clifford 先生的代数构造。

这两个「Clifford」：

• 一个是门群 / 电路复杂度概念；
• 一个是坐标代数概念。

用 Clifford 代数重写量子力学，并不自动让你只使用 Clifford 门；反过来，学 stabilizer 也不等于你在学 Hestenes 的几何积。开会时撞名，建议把句子说全：「Clifford group」还是「Clifford algebra」。

收益与边界

收益（务实的那些）

• 教学与直觉：单比特旋转、自旋进动、NMR 积算符，用转子与夹心积讲，常常比「背矩阵」更贴手。
• 统一语言：同一套多重向量，可连接经典刚体转动、相对论时空、自旋；对已经在用 GA 做电磁或机器人学的人，量子这一章是「方言互通」。
• 表示论清晰：\(\mathrm{Cl}(2n,\mathbb{C})\) 与矩阵代数的同构，给「门为什么是这么大的酉群」一个干净的代数书架。

边界（同样务实）

• 不承诺复杂度突破：没有被广泛接受的结果说「换成 GA 乘法表之后，Shor / Grover 的渐近复杂度掉下来」。同构语言保存的是同一类计算问题。
• 工具链仍以 Hilbert / Dirac 为主：论文、SDK、编译器、纠错教材，默认 braket 与矩阵。GA 是平行注释与少数社群的母语，不是工业默认值。
• 多比特书写成本：MSTA 生成元带粒子上下标，复 Clifford 要维护 Witt 基与幂等元；比起直接写 \(U\otimes V\)，工程上未必更省事。
• 软件生态：主流量子 SDK 输出的是电路与态向量；若要在生产路径里「全程 GA」，你得自己维护一层互译。这对教学笔记本很合适，对要跟硬件校准对接的流程，额外层就是额外风险。

所以诚实结论是：GA 重写是好注释、好桥梁，不是默认操作系统。

旁支标注：类量子、却不调用微观 QM 的 GA 计算

另有一支主张值得点名，但请放在括号里：用几何代数做「量子似」算法，却不依赖微观量子力学。Aerts 与 Czachor 的 Cartoon Computation（quant-ph/0611279）用刀片与几何积替代张量积与纠缠，在几何语言下重做 Deutsch–Jozsa 一类任务，并强调这是几何结构上的并行，而非声称造出了标准意义的量子硬件。

这与「把标准量子计算翻译成 GA」不是同一论文题。前者是另一种计算隐喻；后者是同构重写。本文主体只做后者；前者仅作边界标注，避免读者把两支捏成一支。

该不该学：实用判断

• 若你的目标是做研究、写编译器、跟实验——先把 Dirac、密度矩阵、电路模型学硬；GA 作为选修注释，能加深单比特几何，但不必绑成主线。
• 若你已经在用几何代数（计算机图形、机器人、相对论电动力学）——花几天读 Havel–Doran 与 Cafaro–Mancini，会非常划算：量子门突然说的是你熟悉的转子方言。
• 若你期待「学会 GA = 得到新量子优势」——现有文献不支持把期望值设那么高；把它当成好教科书级的几何化，心态会健康很多。

延伸阅读（带链接）

1. Havel & Doran, quant-ph/0004031 — GA 量子信息处理长文
2. Somaroo, Cory, Havel, quant-ph/9801002 — 多粒子 GA 写量子运算
3. Cafaro & Mancini, arXiv:1006.2071 — MSTA 下的门与通用性
4. Cafaro & Mancini, arXiv:2405.08152 — 纠缠与通用性回顾
5. Vlasov, quant-ph/9907079 — 复 Clifford 与 \(n\) 比特门
6. Hrdina et al., arXiv:2201.02246 — 复 Clifford 实现量子计算
7. Doran & Lasenby, Geometric Algebra for Physicists — 系统教材
8. Hestenes, Clifford Algebra and the Interpretation of QM — Pauli 几何诠释
9. Doran, Lasenby, Gull — States and Operators — STA 中的态与算符
10. Aerts & Czachor, quant-ph/0611279 — 类量子 GA 计算（旁支）

附录：Dirac 记号 ↔ GA 说法速查

综述基于可公开检索的 arXiv / DOI 文献整理；判断「能重写、不改物理、不自动加速」是对上述同构工作的归纳，而非对某一实验室硬件路线的评价。