MIT Momentum Information Science Notes 1.1

MIT的量子信息科学这门课上课的教授是Peter Shor，就是传说中应用于大数分解量子算法的shor算法的发明者，老头讲课语气贼可爱哈哈哈
csdn的版本是我渣翻译的，英文原版笔记在原po，请见：

http://101.132.38.91/index.php/2018/02/12/mit-momentum-information-science-notes-1-1/

Chapter1

Lecture1.1 History and Development of Quantum Computation

I. 经典计算模型

1. 图灵机（普适的）
2. 有限状态机（非普适的）
3. lambda代数（普适的）
4. 硬币(emm……)（非普适的）
5. 电路模型：（超普适,superuniversal）（可以表示一切图灵机能表示的计算模型）

思考题：为什么图灵没有采用更加普适的电路模型？
对于“停机问题”，图灵机是无解的（uncomputable）。

II.量子计算，1900-1930

1. Einstein, Podoski, Rosin,1936:“量子计算理论是不完善的。”原因：不确定性原理，一个量子的动量与位置不能同时被测量
2. 薛定谔的回应：量子纠缠（ERP pairs）
3. 1964, Bell’s approve: ERP pair没有传统意义上的解释，因此这种不完善并不是传统意义上的不完善。
4. 1982，herbert， FLASH(First Laser Amplified Superluminal Hookup),基于ERP对的快于光速的通信方式。但是这种证明被证明为是有缺陷的。
5. 1981，Manin、Feymann，很难模拟量子计算机，因为需要O(2^cn)来测量n个例子，但是相比传统计算机而言量子计算机可能会更快一些。
6. 1982，不可复制理论(non-cloning theorem)：一个未知量子的状态不能被复制。
7. 1985，Deutsch:描述了量子计算机，并认为比传统计算机有更高的优越性。
8. 1992，Deutsch-Joszer，量子计算在某种程度上是可行的。
9. 1993，Simon认为量子计算机相对于传统计算机，其计算速度的优化是指数性的
10. 1994，Shor本人：大数分解、求离散对数的量子算法
11. 1995，Love Grover:搜索算法，空间复杂度N，时间复杂度N^(1/2)。

III 分解算法误差问题

传统意义上解决误差问题的方法：
1. 检查点，出现问题不需要重来一遍，从最近的检查点开始。（不可行：量子不能被复制）
2. 错误矫正代码，通过位之间的比对发现并改正错误。（可行）
3. 大冗余，有任何一个bit错误，只要丢弃并重新复制一个bit即可（不可行）