包邮给程序员讲透量子计算

目　　录译者序前言致谢第1章　数学基础　11.1　复数　11.2　狄拉克符号、左矢和右矢　21.2.1　内积　31.2.2　外积　41.3　张量积　41.4　酉矩阵和埃尔米特矩阵　51.5　公式的埃尔米特伴随　61.6　特征值和特征向量　61.7　矩阵的迹　7目　　录译者序前言致谢第1章　数学基础　11.1　复数　11.2　狄拉克符号、左矢和右矢　21.2.1　内积　31.2.2　外积　41.3　张量积　41.4　酉矩阵和埃尔米特矩阵　51.5　公式的埃尔米特伴随　61.6　特征值和特征向量　61.7　矩阵的迹　7第2章　量子计算基础　92.1　Tensor类　92.2　量子比特　122.3　量子态　142.3.1　量子比特顺序　162.3.2　二进制表示　172.3.3　成员函数　182.3.4　量子态构造函数　202.3.5　密度矩阵　222.4　辅助函数　222.4.1　比特转换　222.4.2　比特迭代　232.5　算子　232.5.1　酉算子　232.5.2　基类　242.5.3　算子的作用　252.5.4　多量子比特　272.5.5　算子填充　292.6　单量子比特门　302.6.1　单位门　302.6.2　Pauli矩阵　312.6.3　旋转　322.6.4　相位门　342.6.5　灵活的相位门　352.6.6　门的平方根　362.6.7　投影算子　382.6.8　Hadamard门　392.7　受控门　412.7.1　受控非门　442.7.2　受控–受控非门　442.7.3　交换门　452.7.4　受控交换门　462.8　量子电路表示方法　462.9　Bloch球　492.10　全局相位　522.11　量子纠缠　532.11.1　直积态　542.11.2　纠缠电路　542.11.3　Bell态　562.11.4　GHZ态　562.11.5　*大纠缠　572.12　量子不可克隆定理　572.13　对消计算　582.14　约化密度矩阵和分迹　602.15　测量　632.15.1　量子力学的基本假设　632.15.2　投影测量　642.15.3　实现　662.15.4　例子　67第3章　简单算法　693.1　随机数生成器　693.2　门的等价　703.2.1　门的根的平方就是门　713.2.2　倒转受控非门　713.2.3　受控Z门　723.2.4　非Y门　733.2.5　Pauli矩阵的关系　743.2.6　改变旋转轴　743.2.7　受控–受控门　753.2.8　多重受控门　763.2.9　受控门的等价　773.2.10　交换门　783.3　经典算术　783.4　交换测试　823.5　量子隐形传态　863.6　超密编码　903.7　Bernstein-Vazirani算法　933.8　Deutsch算法　953.8.1　问题：区分两种函数　963.8.2　构造Uf　983.8.3　计算算子　1003.8.4　实验　1013.8.5　通用oracle算子　1033.8.6　Bernstein-Vazirani算法的oracle形式　1033.9　Deutsch-Jozsa算法　104第4章　可扩展、快速仿真　1074.1　仿真复杂性　1074.2　量子寄存器　1094.3　电路　1114.3.1　量子比特　1124.3.2　门的作用　1134.3.3　门　1134.3.4　伴随门　1144.3.5　测量　1154.3.6　交换算子　1154.3.7　多重受控门的构建　1164.3.8　例子　1174.4　门的快速作用　1184.5　加速门的作用　1224.5.1　电路的*终实现　1244.5.2　过早优化，**步　1254.6　稀疏表示　127第5章　超越经典　1305.1　1万年、2天还是200s　1315.2　量子随机电路算法　1315.3　电路构造　1335.4　估计　1365.5　评估　138第6章　复杂算法　1406.1　相位反冲　1416.2　量子傅里叶变换　1426.2.1　二进制分数　1426.2.2　相位门　1446.2.3　量子傅里叶变换理论　1446.2.4　双量子比特量子傅里叶变换　1466.2.5　量子傅里叶变换算子　1486.2.6　在线模拟　1496.3　量子算术　1506.4　相位估计　1576.4.1　特征值与特征向量　1576.4.2　相位估计理论　1576.4.3　推导细节　1586.4.4　实现　1626.5　Shor算法　1646.5.1　模运算　1646.5.2　*大公因数　1656.5.3　因数分解　1656.5.4　周期寻找　1676.5.5　Playground　1686.6　求阶　1706.6.1　主程序　1746.6.2　支撑程序　1766.6.3　模加法　1786.6.4　受控模乘法　1806.6.5　连分数　1816.6.6　实验　1826.7　Grover算法　1836.7.1　高层次概述　1836.7.2　相位反转　1846.7.3　关于均值的反转　1856.7.4　简单的数字例子　1866.7.5　双量子比特的例子　1866.7.6　迭代次数　1886.7.7　相位反转的实现　1906.7.8　相位反转算子　1916.7.9　关于均值的反转的实现　1916.7.10　关于均值反转的算子　1946.7.11　Grover算法的实现　1956.8　振幅放大　1986.9　量子计数　2006.10　量子随机游走　2046.10.1　一维游走　2046.10.2　付诸行动　2066.11　变分量子本征求解器　2086.11.1　系统演化　2096.11.2　变分原理　2106.11.3　用Pauli基测量　2116.11.4　VQE算法　2136.11.5　测量特征值　2156.11.6　多量子比特　2176.12　量子近似优化算法　2206.13　*大割算法　2216.13.1　NP算法的Ising公式　2216.13.2　*大割/*小割　2216.13.3　构造图　2236.13.4　计算*大割　2236.13.5　构造哈密顿量　2256.13.6　窥视法的VQE　2276.14　子集和算法　2286.14.1　实现　2296.14.2　实验　2306.15　Solovay–Kitaev定理与算法　2316.15.1　通用门　2326.15.2　SU(2)　2326.15.3　Bloch球的角度和轴　2326.15.4　相似性度量　2346.15.5　预计算门　2346.15.6　算法　2356.15.7　平衡的群交换子　2366.15.8　评估　2396.15.9　随机门序列　240第7章　量子纠错　2427.1　量子噪声　2427.1.1　量子操作　2447.1.2　比特翻转和相位翻转信道　2457.1.3　去极化信道　2457.1.4　振幅阻尼和相位阻尼　2467.1.5　非精确门　2467.2　量子纠错理论　2477.2.1　量子重复码　2487.2.2　纠正比特翻转错误　2497.2.3　纠正相位翻转错误　2517.3　9量子比特Shor码　252第8章　量子编程语言、编译器和工具　2548.1　量子编译面临的挑战　2558.2　量子编程模型　2558.3　量子编程语言　2568.3.1　QASM　2578.3.2　QCL　2578.3.3　Scaffold　2598.3.4　Q语言　2608.3.5　Quipper　2618.3.6　Silq　2628.3.7　商业系统　2638.4　编译器优化　2638.4.1　经典编译器优化　2648.4.2　简单门变换　2658.4.3　门融合　2658.4.4　门调度　2668.4.5　窥孔优化　2678.4.6　高性能模式库　2688.4.7　逻辑到物理的映射　2688.4.8　物理门的分解　2698.5　转译　2698.5.1　中间表示　2708.5.2　中间表示节点　2708.5.3　中间表示基类　2718.5.4　量子电路扩展　2718.5.5　电路的电路　2728.5.6　代码生成　2738.5.7　QASM　2748.5.8　LIBQ　2758.5.9　Cirq　2768.5.10　开源模拟器　277附录　稀疏实现　279参考文献　290