kp-010 单比特门：X、H 与相位门

一句话定义

单比特门是作用在 ℂ² 上的 2×2 酉矩阵；常用成员有 X（翻转）、H（制造叠加）、Z/S/T（相位家族）与任意角度旋转门 R_x/R_y/R_z。

为什么重要

门是量子计算的"指令集"。所有多比特操作、所有算法最终都编译成这些小矩阵的乘积；硬件工程师的任务是把它们变成微波脉冲或激光序列（模块 05）。掌握每个门的矩阵、作用效果与 Bloch 球图像，后续一切推导都只是矩阵乘法的体力活。

前置知识

kp-007（狄拉克符号）、kp-008（酉矩阵定义）。本节开始进行矩阵乘法，逐例展开。

核心概念

X = [[0,1],[1,0]]：量子非门，X|0⟩=|1⟩；Bloch 球上绕 x 轴转 π。
Z = [[1,0],[0,−1]]：给 |1⟩ 乘 −1，只动相位不动概率；绕 z 轴转 π。
H = 1√2[[1,1],[1,−1]]：在 |0⟩/|1⟩ 与 |+⟩/|−⟩ 两套基之间来回换挡；H|0⟩=|+⟩，H|+⟩=|0⟩，H²=I。
S = diag(1, i)：√Z，作用两次等于 Z；T = diag(1, e^iπ/4)：再开一次方，kp-012 中通用性的关键角色。
旋转门 R_x/y/z(θ)：绕 Bloch 球对应轴转 θ；连续参数版本，硬件原生门多为旋转门。

直观类比

把 Bloch 球想成一只骰子：X 是翻面（上下对调），Z 是绕竖轴拧半圈（正反不动、朝向反转），H 是"斜着翻 180°"——它把北极送到赤道（|0⟩ 变 |+⟩）。相位门 S、T 则是把骰子绕竖轴拧四分之一圈、八分之一圈：骰子姿态变了，但从上往下看（计算基测量）毫无变化——相位变化只有通过后续干涉才能暴露，这正是 kp-003 的伏笔。

原理与机制

每个门的效果由矩阵-向量乘法给出，两条验证即可上手。其一，H|0⟩ = ½(1,1)ᵀ 拆成 (|0⟩+|1⟩)/√2 = |+⟩；H|+⟩ = ½(1+1, 1−1)ᵀ = (1,0)ᵀ = |0⟩，故 H 是自逆的"基交换器"。其二，Z|+⟩ = ½(1,−1)ᵀ = |−⟩：Z 不改测量概率（|±⟩ 测 0 都是 1/2），却把 |+⟩ 变成了 |−⟩——相位信息实体存在。旋转门 R_z(θ) = diag(e^−iθ/2, e^iθ/2) 与 Z 只差全局相位，说明"家族成员"在数学上连续过渡。任何单比特酉矩阵都能分解为 R_z·R_y·R_z（欧拉角式），这是 kp-012 通用性论证的素材。

公式或模型

矩阵清单（列向量右乘）：
X = [[0,1],[1,0]]，H = 1√2[[1,1],[1,−1]]，Z = [[1,0],[0,−1]]，S = [[1,0],[0,i]]，T = [[1,0],[0,e^iπ/4]]。

关键恒等式：H² = I；S² = Z；T² = S；HZH = X（用 H 换基后翻转相位等于翻转比特——kp-013 的等价变换实例）。

图示

实例或案例

在量子云平台（kp-030）上写四行代码即可验证 HZ 效果差异：制备 H·Z·H|0⟩ 并测量，直方图显示 100% 是 1——因为 HZH = X。这说明"相位门不能单独观测"但"可以通过换基变成败特门"，软件层面一切相位技巧最终都以测量概率落地。

与其他知识点的关系

kp-011 把单比特门升级为受控双比特门；kp-012 讨论"哪些门凑在一起才够用"；kp-013 用 HZH = X 演示线路化简；kp-015 的相位回踢建立在 Z 型相位操作上。

常见误区

"门是物理开关"：数学上门是酉矩阵；物理上是一段精心整形的脉冲，两者通过 kp-021–024 的机制对应。
"相位门没用，因为测不出来"：单独测确实无差别，但配合干涉（后续 H 或受控操作）相位决定输出分布——量子算法的核心资产恰是相位。
"H 是随机数发生器"：H 是确定性酉变换；随机性只出现在测量环节。

自测题

验证 HZH = X。

答案要点：直接矩阵相乘：H·diag(1,−1)·H = ½[[1,1],[1,−1]]·[[1,0],[0,−1]]·½[[1,1],[1,−1]] = [[0,1],[1,0]]。

S 作用两次等于什么？T 呢？

答案要点：S² = Z；T² = S（故 T⁴ = Z），相位逐级开方。

为什么说 R_z(θ) 与 Z 只差一个全局相位？

答案要点：R_z(θ) = e^−iθ/2·diag(1, e^iθ)，与 Z 型对角阵相比多出的公共因子是全局相位，无观测效应。

延伸阅读

M. A. Nielsen、I. L. Chuang《Quantum Computation and Quantum Information》4.1–4.2 节；N. D. Mermin《Quantum Computer Science》第 2 章（电路图规范）。

单比特门：X、H 与相位门