量子计算文章选读
Abstract. 收录一些量子计算相关的论文 / 讲义的阅读笔记。主要围绕量子计算的优势（量子算法）、困难（量子复杂性）和工程实现问题（量子纠错、线路编译）。
- Discrete Quantum Algorithms
- Hamiltonian Simulation
- Quantum Complexity
- Quantum Error Correction
- Quantum Compiling
Discrete Quantum Algorithms
这一张表包含对于理解量子计算优势何在的的框架性内容。
| Title | Abstract | Link |
|---|---|---|
| 离散时间量子游走 | 对 Andrew M. Childs 讲义上的量子游走的理解。 | Link |
| Search with Wildcard Problem | 一种基于神秘测量的算法。 | Link |
这一张表是一些细碎的小问题。
| Title | Abstract | Link |
|---|---|---|
| 零阶梯度估计的量子算法 | Jordan Gradient Estimation。 | Link |
| 最小字典序循环移位的量子算法 | 一个不 tight 的算法。 | Link |
| 字符串匹配的量子算法 | 一个 $\tilde O(\sqrt n + \sqrt m)$ 的字符串匹配，启发自并行算法。 | Link |
Hamiltonian Simulation
| Title | Abstract | Link |
|---|---|---|
| 量子模拟基础 | 乘积公式、早期稀疏哈密顿量模拟算法。 | Link |
Quantum Complexity
| Title | Abstract | Link |
|---|---|---|
| 一些证明量子查询复杂度下界的办法 | 如题。 | Link |
Quantum Error Correction
这个表主要是 Daniel Gottesman 的讲义 Surviving as a Quantum Computer in a Classical World 的笔记。
| # | Title | Abstract | Link |
|---|---|---|---|
| Lecture 1 | 概述 | 主要是我校量子计算课程讲义 从经典纠错码出发，概述量子纠错码的模型和 stabilizer formalism 的直觉。 |
Link |
| Lecture 1+ | 补充内容 | 主要是 Daniel Gottesman 1，2，3 补充关于量子信道、纠错码建模和 stabilizer formalism 的严格推导 |
Link |
| Lecture 2 | 量子纠错码的构造 | 主要是 Daniel Gottesman 4, 5, 9.1、9.2 从经典纠错码构造稳定子码和从已知 QECC 构造大型 QECC |
Link |
| Lecture 3 | Clifford 群 | Daniel Gottesman 6 从 Clifford 群的代数结构到其应用 |
Link |
| Lecture 3+ | 理论补充 | Daniel Gottesman 7, 8 QEC Bounds，以及 Qudit Code |
Link |
Quantum Compiling
| Title | Abstract | Link |
|---|---|---|
| 可重排原子阵列的最优 Routing 算法 | 一个可以证明渐进最优的 Routing 算法。 | Link |
| 中性 Rydberg 原子量子计算编译的 Elona 算法 | 一个启发式多阶段编译算法。 | [Link](../../../../2025/07/07/ElonaAlgorithm/ |