包邮量子计算导论

目录
“量子信息前沿丛书”序言 前言
**章 计算模型及计算复杂度 1
1.1 普适**计算 1
1.1.1 图灵机及可计算性 2
1.1.2 计算复杂度理论 11
1.1.3 线路模型与普适门 48
1.2 普适量子计算 54
1.2.1 可逆计算 55
1.2.2 量子线路模型及普适量子逻辑门 60
1.2.3 量子门的线路复杂度与精度 80
1.3 量子图灵机与计算复杂度 92
1.3.1 量子图灵机 92
1.3.2 量子图灵机与线路模型的等价 95
1.3.3 量子计算复杂度 99
1.3.4 量子证明和交互证明系统 104
1.4 计算复杂度与物理理论 126
1.4.1 后选择量子计算 127
1.4.2 宇称时间反演对称量子理论与计算复杂度 130
主要参考书目与综述 133
第二章 基本量子算法 134
2.1 量子搜索类算法 135
2.1.1 Grover 算法 136
2.1.2 量子振幅放大算法 144
2.2 Hadamard Test 类算法 146
2.2.1 Hadamard Test 146
2.2.2 SWAP Test 150
2.3 量子傅里叶变换类算法 152
2.3.1 基于 Hadamard 变换的量子算法 153
2.3.2 ZN 上量子傅里叶变换及其应用 159
2.4 量子相位估计算法及哈密顿量模拟算法 189
2.4.1 量子相位估计算法 189
2.4.2 哈密顿量模拟算法 193
2.4.3 量子信号处理算法 208
2.4.4 哈密顿量模拟的应用 219
2.5 量子态的有效制备与量子优越性 234
2.5.1 量子态的有效制备 234
2.5.2 量子采样与量子优越性 244
2.6 变分量子算法 269
2.6.1 主要变分量子算法 270
2.6.2 变分量子态的构造 274
主要参考书目与综述 284
第三章 量子计算模型 285
3.1 One-way 量子计算 285
3.1.1 图态及其性质 286
3.1.2 图态的测量与普适量子门 302
3.2 拓扑量子计算 319
3.2.1 马约拉纳任意子与量子计算 320
3.2.2 拓扑量子计算的一般理论 329
3.2.3 Jones 多项式与拓扑量子计算 350
3.3 基于量子行走的量子计算 361
3.3.1 量子行走 362
3.3.2 基于量子行走的算法 365
3.3.3 量子行走实现普适量子门 375
3.4 绝热量子计算 387
3.4.1 量子绝热定理 387
3.4.2 绝热量子计算 389
3.4.3 绝热量子计算与量子线路模型的等价 393
3.4.4 绝热量子计算与量子退火算法 396
3.4.5 绝热量子计算与 QAOA 400
主要参考书目与综述 401
附录 403
Ib 线性代数及矩阵分析基础 410
IIa 群论基础 412
IIb 单量子比特*优量子控制 424
IIc 量子 Metropolis-Hastings 算法 434
IId 费米系统到比特系统的映射 437
IIIa 绝热哈密顿量 H (s) 的能隙估计 443
索引 451