量子计算学习笔记
11.23日周报:量子计算学习笔记
量子计算核心原理学习笔记
1. 量子力学基础
量子计算的理论基础源于量子力学的反直觉特性。它不仅仅是经典计算的延伸,而是基于完全不同的物理法则。
双缝干涉实验是理解其核心的开始:
单个粒子,如电子或光子在未被观测时表现出波动性,其波函数能够像水波一样同时穿过两条缝隙,并与自身发生干涉。然而,一旦引入测量设备试图确定其路径,干涉现象便会消失,粒子展现出确定的粒子性。
这揭示了量子计算的两个基本原则:
- 量子叠加:
在测量之前,一个量子系统并不是处于某个单一状态,而是存在于其所有可能状态的线性叠加中。 - 坍缩:
测量行为不是被动的读取,而是一个不可逆的物理过程。测量会破坏叠加态,迫使波函数“坍缩”到一个确定的经典基态。这意味着我们无法窥探计算过程中的中间状态,只能获取最终的测量结果。
2. 量子比特 (Qubit)
经典比特 vs 量子比特
经典比特 (Bit):是一个确定的 0 或 1,物理上通常通过三极管的高低电平实现。
量子比特 (Qubit):是量子计算的基本单位。利用叠加原理,它可以同时处于两个基本计算基矢 ∣ 0 ⟩ |0\rangle ∣0⟩ 和 ∣ 1 ⟩ |1\rangle ∣1⟩ 的线性叠加态中。
数学表示
一个量子比特的状态可以用一个二维复希尔伯特空间中的单位向量来表示,通常写作狄拉克符号(Bra-ket notation):
∣
ψ
⟩
=
α
∣
0
⟩
+
β
∣
1
⟩
|\psi\rangle = \alpha|0\rangle + \beta|1\rangle
∣ψ⟩=α∣0⟩+β∣1⟩

其中:
∣
0
⟩
=
[
1
0
]
|0\rangle = \begin{bmatrix} 1 \\ 0 \end{bmatrix}
∣0⟩=[10] 和
∣
1
⟩
=
[
0
1
]
|1\rangle = \begin{bmatrix} 0 \\ 1 \end{bmatrix}
∣1⟩=[01] 是计算基矢。
系数 α \alpha α 和 β \beta β 是复数概率幅。
归一化条件:概率总和必须为1,即 ∣ α ∣ 2 + ∣ β ∣ 2 = 1 |\alpha|^2 + |\beta|^2 = 1 ∣α∣2+∣β∣2=1。
物理意义:测量时,系统以 ∣ α ∣ 2 |\alpha|^2 ∣α∣2 的概率坍缩到 ∣ 0 ⟩ |0\rangle ∣0⟩,以 ∣ β ∣ 2 |\beta|^2 ∣β∣2 的概率坍缩到 ∣ 1 ⟩ |1\rangle ∣1⟩。
狄拉克符号
Ket (
∣
ψ
⟩
|\psi\rangle
∣ψ⟩):代表一个列向量。
Bra (
⟨
ψ
∣
\langle\psi|
⟨ψ∣):代表 Ket 的共轭转置,即
⟨
ψ
∣
=
(
α
∗
,
β
∗
)
\langle\psi| = (\alpha^*, \beta^*)
⟨ψ∣=(α∗,β∗)。
内积:由一个 bra 和一个 ket 构成,如
⟨
ϕ
∣
ψ
⟩
\langle\phi|\psi\rangle
⟨ϕ∣ψ⟩,结果是一个标量(复数)。
外积:由一个 ket 和一个 bra 构成,如
∣
ψ
⟩
⟨
ϕ
∣
|\psi\rangle\langle\phi|
∣ψ⟩⟨ϕ∣,结果是一个矩阵或算符。例如,
∣
0
⟩
⟨
0
∣
+
∣
1
⟩
⟨
1
∣
=
I
|0\rangle\langle0| + |1\rangle\langle1| = I
∣0⟩⟨0∣+∣1⟩⟨1∣=I。

3. 量子计算的三大核心假设
量子计算遵循量子力学的基本假设,这些假设构成了其数学和物理框架。
假设1:量子态空间
一个孤立量子系统的状态由一个复数向量空间中的单位向量完全描述。对于单个量子比特,该状态可以通过布洛赫球面 进行几何可视化。球面上任意一点都对应一个纯态,其参数化形式为:
∣
ψ
⟩
=
cos
(
θ
2
)
∣
0
⟩
+
e
i
ϕ
sin
(
θ
2
)
∣
1
⟩
|\psi\rangle = \cos(\frac{\theta}{2})|0\rangle + e^{i\phi}\sin(\frac{\theta}{2})|1\rangle
∣ψ⟩=cos(2θ)∣0⟩+eiϕsin(2θ)∣1⟩
其中,全体相位因子
e
i
α
e^{i\alpha}
eiα 不影响物理实在,因此可以忽略。
∣
0
⟩
|0\rangle
∣0⟩ 和
∣
1
⟩
|1\rangle
∣1⟩ 分别对应球面的北极和南极。

假设2:量子演化
一个封闭量子系统的演化过程是线性的,并且可以用一个幺正变换 来描述。
如果系统在
t
1
t_1
t1 时刻的状态是
∣
ψ
1
⟩
|\psi_1\rangle
∣ψ1⟩,在
t
2
t_2
t2 时刻的状态是
∣
ψ
2
⟩
|\psi_2\rangle
∣ψ2⟩,那么必然存在一个幺正矩阵
U
U
U 使得
∣
ψ
2
⟩
=
U
∣
ψ
1
⟩
|\psi_2\rangle = U|\psi_1\rangle
∣ψ2⟩=U∣ψ1⟩。

幺正性:
U
†
U
=
I
U^\dagger U = I
U†U=I。这种演化保证了系统的总概率(即向量的范数)守恒。
量子门:常见的单比特量子门,如 Pauli 门、Hadamard 门、Phase 门都是幺正矩阵的例子。

假设3:复合系统
当多个量子系统组合成一个复合系统时,其状态空间是各个子系统状态空间的张量积。例如,一个由两个量子比特组成的系统,其状态空间是两个二维空间的张量积,形成一个四维空间:
∣
ψ
⟩
⊗
∣
ϕ
⟩
=
(
a
b
)
⊗
(
c
d
)
=
(
a
c
a
d
b
c
b
d
)
|\psi\rangle \otimes |\phi\rangle = \begin{pmatrix} a \\ b \end{pmatrix} \otimes \begin{pmatrix} c \\ d \end{pmatrix} = \begin{pmatrix} ac \\ ad \\ bc \\ bd \end{pmatrix}
∣ψ⟩⊗∣ϕ⟩=(ab)⊗(cd)=
acadbcbd

4. 并行性与纠缠
基于复合系统的张量积假设,有两个关键特性:
- 量子并行性:
一个由 n n n 个量子比特组成的系统,其状态空间维度为 2 n 2^n 2n。这意味着一个寄存器可以同时处于所有 2 n 2^n 2n 个状态的叠加态中:
∣ Ψ ⟩ = ∑ x = 0 2 n − 1 c x ∣ x ⟩ |\Psi\rangle = \sum_{x=0}^{2^n-1} c_x |x\rangle ∣Ψ⟩=x=0∑2n−1cx∣x⟩
对这个寄存器进行一次量子门操作,其效果等同于对 2 n 2^n 2n 个输入数据同时进行了运算。

- 量子纠缠:
并非所有复合系统的状态都是乘积态。那些不能被分解为子系统张量积的状态,被称为纠缠态。
一个典型的两比特纠缠态,即贝尔态是:
∣ Φ + ⟩ = ∣ 00 ⟩ + ∣ 11 ⟩ 2 |\Phi^+\rangle = \frac{|00\rangle + |11\rangle}{\sqrt{2}} ∣Φ+⟩=2∣00⟩+∣11⟩
对这个系统进行测量,结果只可能是 00 或 11。一旦测量第一个比特得到 0,第二个比特的状态会瞬间确定为 0。


5. 可逆计算
要理解量子操作的本质,需引入可逆计算的概念。
不可逆性:经典逻辑门通常是不可逆的,输入信息的丢失伴随着能量耗散。
可逆性:由于量子演化是幺正的,**量子计算必须是可逆计算 **。
Toffoli 门与 Ancilla:
为了在量子计算机上模拟经典逻辑,可以使用 Toffoli 门(CCNOT)。它是一个通用的可逆门,将输入
(
x
,
y
,
z
)
(x, y, z)
(x,y,z) 映射到
(
x
,
y
,
z
⊕
(
x
∧
y
)
)
(x, y, z \oplus (x \land y))
(x,y,z⊕(x∧y))。通过引入辅助比特并将其设为 0,可以实现可逆的“与”运算。
- 逆运算:计算产生的 Ancilla “垃圾比特”必须通过逆向运行电路来清除,以恢复到初始状态。

6. 量子干涉
尽管有并行性,但在测量时系统会随机坍缩。如果只是单纯的并行计算,测量结果将是一堆随机噪声。量子算法的精髓在于利用
量子干涉:通过精确设计的量子门序列,操纵概率幅的相位。
相消干涉:让通往错误答案的计算路径因相位相反(正负抵消)而概率趋零。
相长干涉:让通往正确答案的路径因相位相同而相互增强。
最终使得测量时系统以极高的概率坍缩到正确的解上。
7. 经典量子算法
量子门组合成线路,实现了特定的算法功能:
- Deutsch-Jozsa算法:判断函数是常数还是平衡的。经典需查询 2 n − 1 + 1 2^{n-1}+1 2n−1+1 次,量子仅需 1次。
- Grover搜索算法:无序数据库搜索。利用振幅放大技术,复杂度从经典 O ( N ) O(N) O(N) 降为 O ( N ) O(\sqrt{N}) O(N)。
- Shor算法:大整数质因数分解。利用量子傅里叶变换求解周期问题,将复杂度从指数级降为多项式级,对 RSA 加密构成根本性威胁。
8. 量子退相干效应
这是物理实现量子计算机最大的挑战。量子态极其脆弱,与环境的任何微小相互作用都会导致系统与环境发生纠缠,从而破坏原本的叠加态和相干性,这会导致计算退化为经典概率过程。所有量子运算都必须在远小于退相干时间的尺度内完成;未来的方向是延长量子比特寿命、提高保真度以及研发量子纠错技术。
DAMO开发者矩阵,由阿里巴巴达摩院和中国互联网协会联合发起,致力于探讨最前沿的技术趋势与应用成果,搭建高质量的交流与分享平台,推动技术创新与产业应用链接,围绕“人工智能与新型计算”构建开放共享的开发者生态。
更多推荐



所有评论(0)