量子信息学引论讲.pptVIP

离散对数问题 以上函数看似奇怪, 但它在密码学中很有用. 确定s允许我们解所谓的离散对数问题: 给定 a 和 , 求s 是什么? * 算法: 离散对数 * 算法: 离散对数(续) * 隐子群问题 所有已知的快速量子算法都可被描述为解决隐子群问题. ( the hidden subgroup problem) * 其中， 是一个适当选取的X上的二进制操作. 求K的一个生成集. 隐子群问题: 定义 设f 是从一个有限生成群G 到一个有限集合X上的函数, f 在一个子群K 的陪集上是一个常数, 且在每个陪集上的值都不同. 给定一个量子黑盒来执行酉变换 * 隐子群问题是承诺问题 隐子群问题的形式为: F(x)被承诺具有如此这般的性质, 表征此性质. 这是一个承诺问题, 它抓住了对于可比经典算法指数加快的量子算法类的重要约束. * 5.4.4 其它量子算法? 用隐子群问题作为描述量子算法的框架, 意味着有更多的难题可从考虑各种群G和函数f 来解决. 书中只描述了对于Abelian群来解此问题, 对于非Abelian群如何? 如何迈出隐子群问题的局限? * 本章回顾 5.1 量子Fourier变换 和经典离散Fourier变换形式相同 速度指数倍提高 但不能直接用来加速经典Fourier变换 5.2 相位估计 5.3 应用: 求阶与因数分解 5.4 量子Fourier变换的一般应用 下面的内容 1、量子搜索有兴趣的同学自己看。 2、量子计算机的物理实现。 简谐振子量子计算机 光学光子量子计算机 光学腔量子电动力学 离子阱 核磁共振 超导量子计算机 量子点量子计算机 其它实施方案 本讲结束 谢谢大家! * RSA密码系统 * RSA使用说明 　　 * 例子： 　 * 推导: (5.44)式 * 推导过程 由于 相位估计步骤的第一阶段 注意: 右边省略了归一化因子 * 图5.4 求阶算法的量子线路 第二个寄存器已被证明可以被初始化到|1态完成求解运算。 不过, 若利用练习5.14, 它也可被初始化到|0态. 这个线路也可用来进行因数分解。 * 量子Fourier变换的乘积表示 * 图5.1 量子Fourier变换的有效线路 此线路可从量子Fourier变换的乘积表示式中推出。 图中没示出线路末尾的交换门( swam gate), 用交换门把量子位的次序反过来。 图中也没有显示出输出中的归一化因子 。 * 其中x与N互质； （2） 算法: 量子求阶 输入：（1）一个黑箱Ux,N能执行变换： （3）L个量子位初始化到|1, 位初始化到|0 输出：满足xr=1(modN)的最小整数r 0。 运行时间：O(L3)个操作。成功率：O(1) * 算法: 量子求阶(步骤) * 5.3.2 应用: 因数分解 (factoring) 给定一个正合数N，它是由哪些素数相乘而得？ 最好的经典算法：O(exp(N)) 因数分解有什么用？ 破解密码 * 参考文献： A. Ekert and J. Jozsa, Rev. Mod. Phys. 68, 733 (1996). 合数和素数 素数(又称质数)指在一个大于1的自然数中，除了1和此整数自身外，没法被其他自然数整除的数 合数指在一个大于1的自然数中，除了1和此整数自身外，还有其他自然数整除的数 * MIPS是Million Instructions Per Second的缩写，每秒处理的百万级的机器语言指令数。这是衡量CPU速度的一个指标。像是一个Intel 80386 电脑可以每秒处理3百万到5百万机器语言指令，既我们可以说80386是3到5MIPS的CPU。MIPS只是衡量CPU性能的指标。 因数分解与求阶问题等价。 即, 一个求阶的快速算法可以容易地转成因数分解的快速算法。 * 因数分解与求阶问题等价 因数分解与求阶问题等价 * 把因数分解问题还原为求阶问题 分两步进行: 证明如果能够找到方程 的一个非平凡解， ，则可以计算出N的一个因子。 定理5.2 * * (2) 证明一个任意选取的与N互质的数y，非常可能具有一个偶数阶 r, 并且, 因而 是 的一个非平凡解。 定理5.3 把因数分解问题还原为求阶问题 定理 5.2 * 定理 5.2 g