量子计算的理论根基：希尔伯特空间与量子态公理化体系

承接经典计算与量子计算的范式差异：经典比特的状态是0或1的确定值，其状态空间是$N$维欧氏空间，$N$个经典比特最多只能处于$2^N$个可能状态中的一个；而量子比特的状态存在于希尔伯特空间中，可以是多个基矢的相干叠加，这种差异的本质是数学描述框架的根本分野——经典计算基于概率论，量子计算基于希尔伯特空间上的线性代数与量子力学基本公理。本章将严格推导量子计算的数学基础，为后续的工程实践构建严谨的理论框架。

---

1.1 量子力学的数学载体：希尔伯特空间与狄拉克符号体系

量子力学的所有物理量、态演化、测量过程都可以用希尔伯特空间上的线性代数运算严格描述，而狄拉克符号（bra-ket notation）是这套描述体系的核心工具，它既简化了数学表达，又直接对应物理意义。

1.1.1 希尔伯特空间的严格定义

希尔伯特空间$\mathcal{H}$是完备的内积空间，其核心性质由内积$\langle \cdot | \cdot \rangle$定义，内积需要满足以下三条公理： 1. 共轭对称性：对任意$|\phi\rangle, |\psi\rangle \in \mathcal{H}$，有$\langle \phi | \psi \rangle = \langle \psi | \phi \rangle^*$，其中$^*$表示复共轭； 2. 线性性：对任意复数$a,b$和态矢量$|\phi\rangle, |\psi_1\rangle, |\psi_2\rangle$，有$\langle \phi | (a|\psi_1\rangle + b|\psi_2\rangle) = a\langle \phi | \psi_1 \rangle + b\langle \phi | \psi_2 \rangle$，$(a\langle \phi_1 | + b\langle \phi_2 |) |\psi\rangle = a\langle \phi_1 | \psi \rangle + b\langle \phi_2 | \psi \rangle$； 3. 正定性：对任意$|\psi\rangle \in \mathcal{H}$，有$\langle \psi | \psi \rangle \geq 0$，且$\langle \psi | \psi \rangle = 0$当且仅当$|\psi\rangle$是零矢量。

> 📖 纸书注记：量子计算中仅用到有限维希尔伯特空间，即维度为有限整数的希尔伯特空间，其数学等价于$\mathbb{C}^n$（$n$维复向量空间）配标准内积。由于量子比特的维度有限，$n$个量子比特的希尔伯特空间维度为$2^n$，始终是有限值，因此无需考虑无限维希尔伯特空间的测度论等复杂问题。

完备性是希尔伯特空间区别于一般内积空间的核心性质：空间中所有柯西序列（序列中元素的距离随序号增大趋于0）都收敛于空间内的某个元素。这一性质保证了量子态演化的连续性，也为后续的谱分解、密度矩阵理论提供了数学基础。

1.1.2 狄拉克符号与基本运算规则

狄拉克符号用“右矢$|\psi\rangle$”表示希尔伯特空间中的矢量，用“左矢$\langle\psi|$”表示对偶空间（由所有线性泛函构成的空间）中的矢量，二者通过内积配对：

• 内积$\langle \phi | \psi \rangle$是左矢$\langle\phi|$与右矢$|\psi\rangle$的配对结果，是一个复数，表示两个态的重叠幅度；
• 外积$|\psi\rangle\langle\phi|$是线性算子，作用在任意态$|\chi\rangle$上时，结果为$\langle\phi|\chi\rangle |\psi\rangle$，即先取$|\chi\rangle$在$|\phi\rangle$上的投影系数，再乘以$|\psi\rangle$。

狄拉克符号的核心优势在于其与物理意义的直接对应：右矢对应量子系统的状态，左矢对应测量算符，内积对应概率幅，外积对应投影算符和密度矩阵。例如单量子比特的泡利Z算符可以表示为$Z = |0\rangle\langle0| - |1\rangle\langle1|$，直接对应其在计算基$\{|0\rangle, |1\rangle\}$上的对角矩阵形式。

1.1.3 张量积与多体希尔伯特空间

多体量子系统的希尔伯特空间由子系统希尔伯特空间的张量积构成：若系统1的希尔伯特空间为$\mathcal{H}_1$，系统2的为$\mathcal{H}_2$，则复合系统的希尔伯特空间为$\mathcal{H}_1 \otimes \mathcal{H}_2$，其维度为$\dim(\mathcal{H}_1) \times \dim(\mathcal{H}_2)$。张量积满足线性分配律： $$(a|\psi_1\rangle +

承接经典计算与量子计算的范式差异：经典比特的状态是0或1的确定值，其状态空间是$N$维欧氏空间，$N$个经典比特最多只能处于$2^N$个可能状态中的一个；而量子比特的状态存在于希尔伯特空间中，可以是多个基矢的相干叠加，这种差异的本质是数学描述框架的根本分野——经典计算基于概率论，量子计算基于希尔伯特空间上的线性代数与量子力学基本公理。本章将严格推导量子计算的数学基础，为后续的工程实践构建严谨的理论框架。

1.1 量子力学的数学载体：希尔伯特空间与狄拉克符号体系

量子力学的所有物理量、态演化、测量过程都可以用希尔伯特空间上的线性代数运算严格描述，而狄拉克符号（bra-ket notation）是这套描述体系的核心工具，它既简化了数学表达，又直接对应物理意义。

1.1.1 希尔伯特空间的严格定义

希尔伯特空间$\mathcal{H}$是完备的内积空间，其核心性质由内积$\langle \cdot | \cdot \rangle$定义，内积需要满足以下三条公理： 1. 共轭对称性：对任意$|\phi\rangle, |\psi\rangle \in \mathcal{H}$，有$\langle \phi | \psi \rangle = \langle \psi | \phi \rangle^*$，其中$^*$表示复共轭； 2. 线性性：对任意复数$a,b$和态矢量$|\phi\rangle, |\psi_1\rangle, |\psi_2\rangle$，有$\langle \phi | (a|\psi_1\rangle + b|\psi_2\rangle) = a\langle \phi | \psi_1 \rangle + b\langle \phi | \psi_2 \rangle$，$(a\langle \phi_1 | + b\langle \phi_2 |) |\psi\rangle = a\langle \phi_1 | \psi \rangle + b\langle \phi_2 | \psi \rangle$； 3. 正定性：对任意$|\psi\rangle \in \mathcal{H}$，有$\langle \psi | \psi \rangle \geq 0$，且$\langle \psi | \psi \rangle = 0$当且仅当$|\psi\rangle$是零矢量。

> 📖 纸书注记：量子计算中仅用到有限维希尔伯特空间，即维度为有限整数的希尔伯特空间，其数学等价于$\mathbb{C}^n$（$n$维复向量空间）配标准内积。由于量子比特的维度有限，$n$个量子比特的希尔伯特空间维度为$2^n$，始终是有限值，因此无需考虑无限维希尔伯特空间的测度论等复杂问题。

完备性是希尔伯特空间区别于一般内积空间的核心性质：空间中所有柯西序列（序列中元素的距离随序号增大趋于0）都收敛于空间内的某个元素。这一性质保证了量子态演化的连续性，也为后续的谱分解、密度矩阵理论提供了数学基础。

1.1.2 狄拉克符号与基本运算规则

狄拉克符号用“右矢$|\psi\rangle$”表示希尔伯特空间中的矢量，用“左矢$\langle\psi|$”表示对偶空间（由所有线性泛函构成的空间）中的矢量，二者通过内积配对：

• 内积$\langle \phi | \psi \rangle$是左矢$\langle\phi|$与右矢$|\psi\rangle$的配对结果，是一个复数，表示两个态的重叠幅度；
• 外积$|\psi\rangle\langle\phi|$是线性算子，作用在任意态$|\chi\rangle$上时，结果为$\langle\phi|\chi\rangle |\psi\rangle$，即先取$|\chi\rangle$在$|\phi\rangle$上的投影系数，再乘以$|\psi\rangle$。

狄拉克符号的核心优势在于其与物理意义的直接对应：右矢对应量子系统的状态，左矢对应测量算符，内积对应概率幅，外积对应投影算符和密度矩阵。例如单量子比特的泡利Z算符可以表示为$Z = |0\rangle\langle0| - |1\rangle\langle1|$，直接对应其在计算基$\{|0\rangle, |1\rangle\}$上的对角矩阵形式$\begin{pmatrix}1&0\\0&-1\end{pmatrix}$。

> 💡 电子版侧边栏提示：狄拉克符号的发明者保罗·狄拉克最初是为了简化量子力学的数学表达，避免反复书写向量和其对偶向量，如今它已经成为量子信息领域的通用语言，几乎所有量子算法、量子协议的描述都离不开它。

1.1.3 张量积与多体希尔伯特空间

多体量子系统的希尔伯特空间由子系统希尔伯特空间的张量积构成：若系统1的希尔伯特空间为$\mathcal{H}_1$，系统2的为$\mathcal{H}_2$，则复合系统的希尔伯特空间为$\mathcal{H}_1 \otimes \mathcal{H}_2$，其维度为$\dim(\mathcal{H}_1) \times \dim(\mathcal{H}_2)$。张量积满足线性分配律： $$(a|\psi_1\rangle + b|\psi_2\rangle) \otimes |\phi\rangle = a|\psi_1\rangle\otimes|\phi\rangle + b|\psi_2\rangle\otimes|\phi\rangle$$ $$|\psi\rangle \otimes (a|\phi_1\rangle + b|\phi_2\rangle) = a|\psi\rangle\otimes|\phi_1\rangle + b|\psi\rangle\otimes|\phi_2\rangle$$

张量积的物理意义是描述多个独立量子系统的复合态：如果系统1处于态$|\psi\rangle$，系统2处于态$|\phi\rangle$，且二者无关联，那么复合系统的态就是$|\psi\rangle\otimes|\phi\rangle$。以两个单量子比特为例，计算基$\{|0\rangle, |1\rangle\}$的张量积构成两量子比特的计算基：$|00\rangle=|0\rangle\otimes|0\rangle$，$|01\rangle=|0\rangle\otimes|1\rangle$，$|10\rangle=|1\rangle\otimes|0\rangle$，$|11\rangle=|1\rangle\otimes|1\rangle$，对应的希尔伯特空间维度为$2\times2=4$，任意两量子比特态都可以表示为这四个基矢的线性组合。

张量积与矩阵的张量积直接对应：若线性算子$A$作用在$\mathcal{H}_1$上，$B$作用在$\mathcal{H}_2$上，则复合算符$A\otimes B$作用在$\mathcal{H}_1\otimes\mathcal{H}_2$上。例如泡利X算符（比特翻转门）和Z算符的张量积$X\otimes Z$的矩阵形式为： $$X\otimes Z = \begin{pmatrix}0&1\\1&0\end{pmatrix} \otimes \begin{pmatrix}1&0\\0&-1\end{pmatrix} = \begin{pmatrix}0\cdot Z&1\cdot Z\\1\cdot Z&0\cdot Z\end{pmatrix} = \begin{pmatrix}0&0&1&0\\0&0&0&-1\\1&0&0&0\\0&-1&0&0\end{pmatrix}$$ 该算符作用在态$|01\rangle$（列向量形式为$\begin{pmatrix}0\\1\\0\\0\end{pmatrix}$）上时，结果为： $$X\otimes Z |01\rangle = \begin{pmatrix}0&0&1&0\\0&0&0&-1\\1&0&0&0\\0&-1&0&0\end{pmatrix} \begin{pmatrix}0\\1\\0\\0\end{pmatrix} = \begin{pmatrix}0\\0\\0\\-1\end{pmatrix} = -|10\rangle$$ 这个例子直观展示了多体量子操作的数学规则。

1.2 量子态的数学描述：纯态、混合态与密度矩阵

量子态的描述分为纯态和混合态两类，二者的数学描述框架完全不同， density matrix（密度矩阵）是统一描述两类量子态的核心工具。

1.2.1 纯态与叠加原理

纯态是可以用单个态矢量$|\psi\rangle$描述的量子态，满足归一化条件$\langle \psi | \psi \rangle = 1$，归一化的物理意义是量子态所有可能测量结果的概率之和为1。单量子比特的任意纯态可以表示为： $$|\psi\rangle = \alpha|0\rangle + \beta|1\rangle$$ 其中$\alpha, \beta \in \mathbb{C}$是概率幅，满足$|\alpha|^2 + |\beta|^2 = 1$。概率幅的模平方$|\alpha|^2$、$|\beta|^2$分别表示测量得到0、1的概率，而概率幅的相位（$\alpha=|\alpha|e^{i\theta_\alpha}$，$\beta=|\beta|e^{i\theta_\beta}$）会直接影响量子态的演化行为：全局相位$e^{i\theta}$（即$\theta_\alpha=\theta_\beta=\theta$）不会产生任何可观测的物理效应，但相对相位$\theta_\alpha-\theta_\beta$会决定量子态的相干性。例如态$|+\rangle=(|0\rangle+|1\rangle)/\sqrt{2}$和$|+i\rangle=(|0\rangle+i|1\rangle)/\sqrt{2}$的Z基测量概率都是0和1各占50%，但经过Hadamard门$H=\frac{1}{\sqrt{2}}\begin{pmatrix}1&1\\1&-1\end{pmatrix}$演化后，前者坍缩到$|0\rangle$的概率为100%，后者坍缩到$|1\rangle$的概率为100%，差异完全来自相对相位。

量子

例如态$|+\rangle=(|0\rangle+|1\rangle)/\sqrt{2}$和$|+i\rangle=(|0\rangle+i|1\rangle)/\sqrt{2}$的Z基测量概率都是0和1各占50%，但经过Hadamard门$H=\frac{1}{\sqrt{2}}\begin{pmatrix}1&1\\1&-1\end{pmatrix}$演化后，前者坍缩到$|0\rangle$的概率为100%，后者坍缩到$|1\rangle$的概率为100%，差异完全来自相对相位。这种叠加效应最直观的物理体现是双缝干涉实验：当单个电子被发射向带有两条狭缝的挡板时，其量子态可表示为$|\psi\rangle=\frac{1}{\sqrt{2}}(|\text{缝1}\rangle+|\text{缝2}\rangle)$，即同时处于“通过缝1”和“通过缝2”的叠加态；当电子打到后方的探测屏上时，某位置$x$的探测概率为$P(x)=|\langle x|\psi\rangle|^2=\frac{1}{2}\left(|\langle x|\text{缝1}\rangle|^2+|\langle x|\text{缝2}\rangle|^2+\langle x|\text{缝1}\rangle\langle\text{缝2}|x\rangle+\langle x|\text{缝2}\rangle\langle\text{缝1}|x\rangle\right)$，其中交叉项$\langle x|\text{缝1}\rangle\langle\text{缝2}|x\rangle+\text{c.c.}$是量子相干性的直接体现，对应经典波动理论的干涉条纹。如果我们在缝处放置探测器试图观测电子通过哪条缝，叠加态会立即坍缩为$|\text{缝1}\rangle$或$|\text{缝2}\rangle$，干涉条纹随之消失——这一现象直观展示了量子叠加的脆弱性，也是量子计算中需要对抗退相干的核心原因。

叠加原理与经典概率的根本差异在于：经典概率的混合态中，不同结果的概率是互斥的，不存在交叉干涉项；而量子叠加的相干态中，概率幅的相位差会直接产生可观测的干涉效应。这种相干性是量子并行性的基础：$n$个量子比特的叠加态可以同时承载$2^n$个基矢的振幅信息，通过幺正演化可以一次性对所有基矢施加操作，这是经典比特无法实现的。

1.2.2 混合态与统计系综

纯态描述的是确定性制备的、无外部扰动的单一量子系统，但在实际工程场景中，量子系统几乎总是与外部环境发生耦合，或者制备过程存在不可控的随机性：例如超导量子比特的制备过程中，控制脉冲的微小波动可能导致比特最终处于$|0\rangle$或$|1\rangle$的随机混合，而非确定的叠加态；再如量子光学中，若无法保证单个光子一定是处于$|+\rangle$还是$|-\rangle$，仅知道二者各占50%的概率，这种场景就无法用纯态描述。

这种无法精确知道系统处于哪个纯态，仅知道各纯态出现概率的统计系综，需要用混合态描述。混合态的本质是经典概率与量子概率的混合：其随机性来自经典层面的不确定性，而非量子层面的相干叠加。以两个制备场景为例： 1. 场景A：以50%的概率制备纯态$|0\rangle$，50%的概率制备纯态$|1\rangle$，这是典型的混合态； 2. 场景B：以100%的概率制备纯态$|+\rangle=(|0\rangle+|1\rangle)/