量子计算与量子信息读书笔记——第1章简介与概述（下）

注：这是全文的后半部分，前文传送门：
https://blog.csdn.net/qq_37638320/article/details/129971731

量子算法

经典计算

原理：任何经典电路都可以用等价的仅含可逆原件的，由可逆门Toffoli门构成的电路代替

量子电路不能直接用于模拟经典电路：酉量子逻辑门本质上是可逆的，而许多经典逻辑门本质上是不可逆的

Toffoli门

• 概念：控制比特、目标比特
• 作用：当两个控制比特都置为1时目标比特翻转，否则不变：$(a,b,c)\to (a,b,c\oplus ab)$
• 矩阵表示：$\left[\begin{array}{cccccccc}1& 0& 0& 0& 0& 0& 0& 0\\ 0& 1& 0& 0& 0& 0& 0& 0\\ 0& 0& 1& 0& 0& 0& 0& 0\\ 0& 0& 0& 1& 0& 0& 0& 0\\ 0& 0& 0& 0& 1& 0& 0& 0\\ 0& 0& 0& 0& 0& 1& 0& 0\\ 0& 0& 0& 0& 0& 0& 0& 1\\ 0& 0& 0& 0& 0& 0& 1& 0\end{array}\right]$
• 电路表示：
• 性质：
  1. 可逆门，逆为自身
  2. 可用于模拟不可逆经典逻辑门，并且保证量子计算机可以进行任何经典（确定性）计算机能够完成的计算

NAND	扇出
上方两比特表示NAND门的输入，第3个比特设置为标准状态1，称为辅助态	第2个比特是输入（0/1），其它两个比特是标准辅助态，扇出的输出在第2个和第3个比特

有了这两个操作就可以模拟电路中的其它元件，所以任意经典电路都可以被等价的可逆电路模拟

非确定经典计算机

令$|0⟩$通过一个阿达玛门得到$\frac{|0⟩+|1⟩}{\sqrt{2}}$，再测量这个态，结果是$|0⟩,|1⟩$各$50\%$的概率。为量子计算机提供了有效模拟不确定的经典计算机的能力

量子并行性

内涵：量子并行性允许量子计算机同时计算在不同$x$值下的函数值$f(x)$

原理：设 f ( x ) : { 0 , 1 } → { 0 , 1 } f(x):\{0,1\}\to\{0,1\} f(x):{0,1}→{0,1}，定义$U_f:|x,y⟩\to |x,y\oplus f(x)⟩$

1. 第一个寄存器被称为数据寄存器，第二个寄存器被称为目标寄存器
2. 酉变换
3. y = 0时，第二个比特的终态是值$f(x)$
4. 暂且将$U_f$看作一个黑盒

在数据寄存器中制备叠加态$\frac{|0⟩+|1⟩}{\sqrt{2}}$，然后作用$U_f$：
$$\frac{|0⟩+|1⟩}{\sqrt{2}}|0⟩=\frac{1}{\sqrt{2}}|00⟩+\frac{1}{\sqrt{2}}|10⟩\to \frac{1}{\sqrt{2}}|0,f(0)⟩+\frac{1}{\sqrt{2}}|1,f(1)⟩$$
得到态$\frac{|0,f(0)⟩+|1,f(1)⟩}{\sqrt{2}}$：同时计算了$f(0),f(1)$的值，与经典的并行性用多个电路同时计算$f(x)$不同，利用量子计算机处于不同状态的叠加态的能力，单个$f(x)$电路用来同时计算多个$x$的函数值

任意比特函数的推广

初态制备为$|0⟩$，将2个阿达玛门同时作用在n比特上（记作$H^{\otimes 2}$），输出为
$$(\frac{|0⟩+|1⟩}{\sqrt{2}})(\frac{|0⟩+|1⟩}{\sqrt{2}})=\frac{|00⟩+|01⟩+|10⟩+|11⟩}{2}$$
一般地，当初态均为$|0⟩$时，$n$比特上均作用阿达玛门（记作$H^{\otimes n}$）后得到
$$\frac{1}{\sqrt{2^n}}\sum _x|x⟩$$
n比特输入x和单比特输出$f(x)$函数的量子并行性计算：制备$n+1$比特的量子态${|0⟩}^{\otimes n}|0⟩$，然后将阿达玛变换作用在前$n$个量子比特上，再通过量子电路$U_f$，得到态$\frac{1}{\sqrt{2^n}}\sum _x|x⟩|f(x)⟩$（即${|0⟩}^{\otimes n}|0⟩\stackrel{H^{\otimes n}}{⟶}\stackrel{U_f}{⟶}\frac{1}{\sqrt{2^n}}\sum _x|x⟩|f(x)⟩$，计算f一次计算f的所有值）

局限性：测量${\sum }_x|x,f(x)⟩$只能得到一个$x$的函数值$f(x)$（需要更高的信息抽取能力）

Deutsch算法

原理：将量子并行性和量子力学中的重要性质相干性结合起来

输入态$|{\psi }_0⟩=|01⟩$

通过两个阿达玛门后得到$|{\psi }_1⟩=\left[\frac{|0⟩+|1⟩}{\sqrt{2}}\right]\left[\frac{|0⟩-|1⟩}{\sqrt{2}}\right]$

易知，$|x⟩(|0⟩-|1⟩)/\sqrt{2}\stackrel{U_f}{⟶}|x⟩(|0\oplus f(x)⟩-|1\oplus f(x)⟩)/\sqrt{2}=\{\begin{array}{ll}|x⟩(|0⟩-|1⟩)/\sqrt{2},& f(x)=0,\\ -|x⟩(|0⟩-|1⟩)/\sqrt{2},& f(x)=1.\end{array}=(-1{)}^{f(x)}|x⟩(|0⟩-|1⟩)/\sqrt{2}$

所以
$$\begin{array}{ll}|{\psi }_2⟩& =U_f(\frac{|0⟩}{\sqrt{2}}\frac{|0⟩-|1⟩}{\sqrt{2}}+\frac{|1⟩}{\sqrt{2}}\frac{|0⟩-|1⟩}{\sqrt{2}})\\ & =\frac{1}{\sqrt{2}}{U}_f(|0⟩\frac{|0⟩-|1⟩}{\sqrt{2}})+\frac{1}{\sqrt{2}}{U}_f(|1⟩\frac{|0⟩-|1⟩}{\sqrt{2}})\\ & =\frac{1}{\sqrt{2}}(-1{)}^{f(0)}|0⟩\frac{|0⟩-|1⟩}{\sqrt{2}}+\frac{1}{\sqrt{2}}(-1{)}^{f(1)}|1⟩\frac{|0⟩-|1⟩}{\sqrt{2}}\\ & =\left[\frac{(-1{)}^{f(0)}|0⟩+(-1{)}^{f(1)}|1⟩}{\sqrt{2}}\right]\left[\frac{|0⟩-|1⟩}{\sqrt{2}}\right]\\ & =\{\begin{array}{ll}\pm \left[\frac{|0⟩+|1⟩}{\sqrt{2}}\right]\left[\frac{|0⟩-|1⟩}{\sqrt{2}}\right],& f(0)=f(1),\\ \pm \left[\frac{|0⟩-|1⟩}{\sqrt{2}}\right]\left[\frac{|0⟩-|1⟩}{\sqrt{2}}\right],& f(0)\ne f(1).\end{array}\end{array}$$
最后阿达玛门作用在第一个量子比特得
$$|{\psi }_3⟩=\{\begin{array}{ll}\pm |0⟩\left[\frac{|0⟩-|1⟩}{\sqrt{2}}\right],& f(0)=f(1),\\ \pm |1⟩\left[\frac{|0⟩-|1⟩}{\sqrt{2}}\right],& f(0)\ne f(1).\end{array}$$
又$\{\begin{array}{ll}f(0)\oplus f(1)=0,& f(0)=f(1),\\ f(0)\oplus f(1)=1,& f(0)\ne f(1).\end{array}$

故$|{\psi }_3⟩=\pm |f(0)\oplus f(1)⟩\left[\frac{|0⟩-|1⟩}{\sqrt{2}}\right]$

通过测量第一个量子比特，我们可以确定$f(0)\oplus f(1)$.

结论：量子电路有能力通过计算一次$f(x)$来确定$f(x)$的全局性质

众多量子算法其设计的本质都是在精心选择函数和最终变换，使得能高效地确定有用的全局信息

Deutsch-Jozsa算法

Deutsch问题：Alice从$0\sim 2^n-1$中选择一个数$x$寄给Bob，Bob计算出$f(x)$的值寄回Alice.其中$f(x)$值非零即一，且$f(x)$要么对所有$x$均为常数，要么为平衡函数，即对于所有可能的$x$一半取$1$，另一半取$0$。问Alice最少通信多少次能成功？

确定性经典算法：$2^{n-1}+1$次

量子计算：交换量子比特，使用一个酉变换$U_f$计算$f(x)$，1次

前n个量子比特为查询寄存器，最后一个量子比特为答案寄存器。

输入态$|{\psi }_0⟩={|0⟩}^{\otimes n}|1⟩$

经过阿达玛门作用，有 ∣ ψ 1 ⟩ = ∑ x ∈ { 0 , 1 } n ∣ x ⟩ 2 n [ ∣ 0 ⟩ − ∣ 1 ⟩ 2 ] \ket{\psi_1}=\sum\limits_{x\in\{0,1\}^n}\dfrac{\ket x}{\sqrt{2^n}}\left[\dfrac{\ket0-\ket1}{\sqrt2}\right] ∣ψ1​⟩=x∈{0,1}n∑​2n ​∣x⟩​[2 ​∣0⟩−∣1⟩​]

由上知，$|x⟩(|0⟩-|1⟩)/\sqrt{2}\stackrel{U_f}{⟶}(-1{)}^{f(x)}|x⟩(|0⟩-|1⟩)/\sqrt{2}$

故使用$U_f:|x,y⟩\to |x,y\oplus f(x)⟩$得
$$\begin{array}{ll}|{\psi }_2⟩& =U_f(\sum _x\frac{|x⟩}{\sqrt{2^n}}\left[\frac{|0⟩-|1⟩}{\sqrt{2}}\right])\\ & =\sum _x\frac{1}{\sqrt{2^n}}{U}_f(|x⟩\left[\frac{|0⟩-|1⟩}{\sqrt{2}}\right])\\ & =\sum _x\frac{(-1{)}^{f(x)}|x⟩}{\sqrt{2^n}}\left[\frac{|0⟩-|1⟩}{\sqrt{2}}\right]\end{array}$$
由$H|0⟩=(|0⟩+|1⟩)/\sqrt{2}=((-1{)}^{0\ast 0}|0⟩+(-1{)}^{0\ast 1}|1⟩)/\sqrt{2},H|1⟩=(|0⟩-|1⟩)/\sqrt{2}=((-1{)}^{1\ast 0}|0⟩+(-1{)}^{1\ast 1}|1⟩)/\sqrt{2}$

所以 H ∣ x ⟩ = ∑ z ∈ { 0 , 1 } ( − 1 ) x z ∣ z ⟩ / 2 H\ket x=\sum_{z\in\{0,1\}}(-1)^{xz}\ket z/\sqrt2 H∣x⟩=∑z∈{0,1}​(−1)xz∣z⟩/2 ​

推广到多量子比特，有 H ⊗ n ∣ x 1 , ⋯   , x n ⟩ = ∏ i = 1 n ∑ z i ∈ { 0 , 1 } ( − 1 ) x i z i ∣ z i ⟩ 2 = ∑ z 1 , ⋯   , z n ( − 1 ) x 1 z 1 + ⋯ + x n z n ∣ z 1 , ⋯   , z n ⟩ 2 n H^{\otimes n}\ket{x_1,\cdots,x_n}=\prod\limits_{i=1}^n\sum\limits_{z_i\in\{0,1\}}\dfrac{(-1)^{x_iz_i}\ket{z_i}}{\sqrt2}=\dfrac{\sum\limits_{z_1,\cdots,z_n}(-1)^{x_1z_1+\cdots+x_nz_n}\ket{z_1,\cdots,z_n}}{\sqrt{2^n}} H⊗n∣x1​,⋯,xn​⟩=i=1∏n​zi​∈{0,1}∑​2 ​(−1)xi​zi​∣zi​⟩​=2n ​z1​,⋯,zn​∑​(−1)x1​z1​+⋯+xn​zn​∣z1​,⋯,zn​⟩​

记$x\cdot z$为$x,z$二进制表示下按位内积，则$H^{\otimes n}|x⟩=\frac{{\sum }_z(-1{)}^{x\cdot z}|z⟩}{\sqrt{2^n}}$

利用该结果计算$|{\psi }_3⟩$得
$$\begin{array}{ll}|{\psi }_3⟩& =H^{\otimes n}|{\psi }_2⟩\\ & =\sum _x\frac{(-1{)}^{f(x)}}{\sqrt{2^n}}{H}^{\otimes n}|x⟩\left[\frac{|0⟩-|1⟩}{\sqrt{2}}\right]\\ & =\sum _x\frac{(-1{)}^{f(x)}}{\sqrt{2^n}}\sum _z\frac{(-1{)}^{x\cdot z}|z⟩}{\sqrt{2^n}}\left[\frac{|0⟩-|1⟩}{\sqrt{2}}\right]\\ & =\sum _x\sum _z\frac{(-1{)}^{x\cdot z+f(x)}|z⟩}{2^n}\left[\frac{|0⟩-|1⟩}{\sqrt{2}}\right]\\ & =\sum _z\sum _x\frac{(-1{)}^{x\cdot z+f(x)}|z⟩}{2^n}\left[\frac{|0⟩-|1⟩}{\sqrt{2}}\right]\end{array}$$
现对查询寄存器进行观察：

当$f(x)$为常函数时，态${|0⟩}^{\otimes n}$对应的振幅为${\sum }_x(-1{)}^{x\cdot \overline{00\cdots 0}+f(x)}/2^n={\sum }_x(-1{)}^{f(x)}/2^n=(-1{)}^{f(x)}=\pm 1$

由于$|{\psi }_3⟩$为单位长度，所以其它振幅均为0，观测会使得查询寄存器中所有量子比特均为0；

当$f(x)$为平衡函数时，态${|0⟩}^{\otimes n}$的振幅为${\sum }_x(-1{)}^{f(x)}/2^n=0$，测量会使得查询寄存器至少有一个量子比特不是0.

局限性：

1. 尚未找到应用场景
2. 与经典算法可比性差，计算函数的方式很不同
3. 概率经典计算机同样可以优于确定性模型

量子算法总结

基于傅里叶变换的量子算法

离散傅里叶变换：$N$元复数集$x_0,\cdots ,x_{N-1}$到复数集$y_0,\cdots ,y_{N-1}$的变换，其中
$$y_k\equiv \frac{1}{\sqrt{N}}\sum _{j=0}^{N-1}{e}^{2\pi ijk/N}{x}_j$$
量子力学形式：在计算基$|j⟩$上定义$n$量子比特的线性变换$U(0⩽j⩽2^n-1)$：
$$|j⟩\to \frac{1}{\sqrt{2^n}}\sum _{k=0}^{2^n-1}{e}^{2\pi ijk/2^n}|k⟩$$
易验证其为酉变换。

作用于叠加态：
$$\sum _{j=0}^{2^n-1}{x}_j|j⟩\to \frac{1}{\sqrt{2^n}}\sum _{k=0}^{2^n-1}\left[\sum _{j=0}^{2^n-1}{e}^{2\pi ijk/2^n}{x}_j\right]|k⟩=\sum _{k=0}^{2^n-1}{y}_k|k⟩$$
效率：经典$O(N\log N)=n{2}^n$，量子$O({\log }^{2}N)=n^2$

局限：无法直接得到变换后的结果$y_k$

实例：Deutsch-Jozsa算法、Shor算法

量子搜索算法

问题：给定一个大小为$N$的状态空间，没有关于其结构的先验知识，我们想要在搜索空间中找到一个满足已知性质的元素

效率：经典$O(N)$，量子$O(\sqrt{N})$

量子模拟

概念：模拟自然发生的量子系统（$kn$个量子比特）

局限：有效模拟并不意味着得到量子系统中所期望得到的信息（在测量后，一个$kn$个量子比特的模拟将会坍缩到一个确定的态，只留下$kn$比特的信息；在波函数中$c^n$比特的“隐藏信息”不能全部访问）

问题：研究能够有效抽取期望得到的答案的方法

作用：获取其它量子算法灵感的一般途径

摩尔定律的量子推论：如果能够每两年向量子计算机增加一个量子比特，量子计算机将保持与经典计算机相同的步伐

量子计算的能力

计算复杂性理论

• 复杂性类：一系列计算问题的集合，所有这些问题在求解所需的计算资源上具有相同的性质

  复杂性类	说明
  P	在经典计算机中能够快速求解
  NP	在经典计算机中能够快速验证解
  NP-complete	一个算法如果能够求解一个特殊的NP完全问题，那么稍微增加一点计算资源就可以被用于求解其它NP问题
  PSPACE	能用有限空间资源求解的问题
  BPP	如果允许有界的错误概率，能够用随机算法在多项式时间内求解
  BQP	能够被量子计算机有效求解的计算问题（允许有界的错误概率）

• 经典与量子复杂性类的关系：

  

现有结论：

1. 尽管量子计算机可以求解素因子分解问题（普遍相信在NP中），但由于不确定该问题是否为NP完全问题，无法知道量子计算机是否可以求解所有NP问题；且基于搜索的方法并不能有效的给出所有NP问题的解
2. 量子计算机能有效地求解P类问题，但PSPACE以外的问题不能被有效求解
3. 量子计算机计算能力严格强于经典计算机这一命题的证明很可能是不平凡的

实验量子信息处理

Stern-Gerlach实验

目的：表明量子比特结构是两能级量子系统

原理：氢原子具有一个质子和一个环绕的电子，可以看作质子周围的一点“电流”，该电流使原子具有磁场，每个原子都有“磁偶极矩”，使得每个原子表现得像一块小的条形磁铁，其轴线对应于电子旋转的轴。把小磁铁扔过一个磁场会导致磁铁被磁场偏转，我们期望在实验中看到类似的原子偏转。

注：受当时技术水平限制，最初的实验是用Ag完成的实验，Ag具有复杂的结构，解释复杂效应的难度更大

内容：热原子从烤箱中“射出”，通过一个导致原子偏转的磁场，然后记录每个原子的位置。

原子如何偏转取决于原子的磁偶极矩（即电子旋转的轴）以及Stern-Gerlach装置产生的磁场。通过适当地构造Stern-Gerlach器件，我们可以使原子偏转一定量，而该量取决于原子磁偶极矩的$z$分量，其中$z$是一些固定的外轴

现象与解释：

1. 离开炉子的热原子从一组离散的角度出现：磁偶极矩是量子化的
2. 氢原子具有零磁矩，但观测到了两个光束，一个被磁场向上$(|+Z⟩)$偏转，另一个则向下$(|-Z⟩)$偏转：氢原子中的电子有一个叫做自旋的量，电子的自旋对氢原子的磁偶极矩产生额外的贡献

进一步实验以描述电子自旋：

将两个Stern-Gerlach设备级联在一起，将第二个设备侧向倾斜，使得磁场沿$\hat{x}$偏转原子；阻止第一台设备的$|-Z⟩$输出，而将$|+Z⟩$输出发送至沿着$\hat{x}$轴的第二设备，将检测器放置在最终处以测量沿$\hat{x}$轴的原子分布

现象与解释：

1. 指向$+\hat{z}$方向的经典磁偶极子在$x$方向没有净磁矩，但实验上观察到两个强度相等的峰值：通过第二个设备的每个原子可以被描述成$|+Z⟩|+X⟩$或$|+Z⟩|-X⟩$，来指代可能被观测到的自旋的两个值

通过发送之前的输出使之通过第二个$\hat{z}$导向的Stern-Gerlach设备

现象与解释：

1. 在最终输出处再次观察到两个强度相等的光束：一个$|+Z⟩$态由相等比例的$|+X⟩$和$|-X⟩$态组成，一个$|+X⟩$态由相等比例的$|+Z⟩$和$|-Z⟩$态组成

量子比特模型解释：

用$|0⟩,|1⟩$表示量子比特的状态，并分配$|+Z⟩\leftarrow |0⟩,|-Z⟩\leftarrow |1⟩,|+X⟩\leftarrow (|0⟩+|1⟩)/\sqrt{2},|-X⟩\leftarrow (|0⟩-|1⟩)/\sqrt{2}$，假设$\hat{z}$Stern-Gerlach装置在计算基$|0⟩,|1⟩$下测量自旋（即量子比特），$\hat{x}$Stern-Gerlach实验装置在基$(|0⟩+|1⟩)/\sqrt{2},(|0⟩-|1⟩)/\sqrt{2}$下测量自旋。

在级联$\hat{z}-\hat{x}-\hat{z}$实验中，从第一个实验射出的自旋处于状态$|+Z⟩=|0⟩=(|+X⟩+|-X⟩)/\sqrt{2}$，那么第二个装置得到$|+X⟩$的概率是$\frac{1}{2}$；相似地，第三个装置得到$|+Z⟩$的概率是$\frac{1}{2}$.因此，量子比特模型正确预言了级联Stern-Gerlach实验的结果。

问题：没有证明量子比特是毫无疑问的理解电子自旋的正确方式（由于此类实验很多，现在相信量子比特是描述电子自旋的最好模型）

更进一步，我们相信量子比特模型以及它向更高维度的推广（量子力学）能够描述每个物理系统

实用量子信息处理的前景

问题：是否存在某种原理禁止我们进行一种或多种形式的量子信息处理？

1. 噪声可能对有用的量子信息处理构成根本性障碍

   量子纠错码理论：量子噪声需要解决，但不是根本性的原理问题

   量子计算的阈值定理：如果量子计算机中的噪声水平可以降低到某个常数“阈值”以下，那么就可以使用量子纠错码来进一步地降低噪声，只需要很小的计算复杂性开销，基本上可以降低到任意小

2. 量子力学可能是不正确的

应用：既然构建量子信息处理设备没有根本性的障碍，为什么我们要投入大量的时间和金钱这样做？

1. 【小规模】量子态层析：确定系统的量子状态方法，通过重复制备同一个量子态，然后以不同的方式测量，以建立量子态的完整描述

   量子过程层析成像：完全表征量子系统的动态学

2. 小规模通信原语：分发少量需要高度安全的关键材料

3. 【中等规模】量子系统模拟：确定材料的基本性质；实验室设计和测试新分子性质的工具（狭义第一性原理计算）

4. 【大规模】大整数素因子分解，计算离散对数，量子搜索

实现：

1. 光学技术（电磁辐射）
2. 囚禁不同原子（离子阱，中性原子阱，电磁辐射）——精湛的状态制备和量子测量
3. 核磁共振NMR——极好的动态演化

量子信息处理不仅仅是另一种信息处理技术：量子计算是信息处理的一个抽象范式，可能在技术上有许多不同的实现。人们可以比较量子计算的两个不同方案的技术优点，即使量子计算机的一个非常糟糕的方案，它与精湛设计的经典计算机也具有定性的本质不同

量子信息

内涵

• 广义：与使用量子力学的信息处理相关的所有操作
• 具体：对基本量子信息处理任务的研究（量子信息理论）

基本目标

1. 确定量子力学中的基本静态资源类：例如量子比特、经典比特、贝尔态
2. 确定量子力学中动力学过程的基本类：例如内存（在一段时间内存储量子态的能力）、量子信息传输、复制（或试图复制）量子态、保护量子信息处理免受噪声影响
3. 量化执行基本动态过程所需的资源折衷

核心问题

1. 是什么使量子信息处理成为可能？
2. 是什么分离了量子世界与经典世界？
3. 量子计算中正在利用哪些经典世界中无法获得的资源？

量子信息理论问题

使用量子信道传输经典信息

基本结果：香农无噪声信道编码定理，有噪声信道编码定理

信息源：由一组概率$p_j,j=1,2,\cdots ,d$描述，信源每次随机地以概率$p_j$产生“字母”$j$，信源每次使用都相互独立

香农无噪声信道编码定理

• 香农熵：由概率$p_j$描述的经典信源可以被压缩，以使得平均每次使用信源可用$H(p_j)$位信息来表示，其中$H(p_j)=-{\sum }_j{p}_j\log (p_j)$是信源概率分布的函数，即香农熵（如果尝试比这更少的比特来对信源进行压缩时会导致在信息解压缩时出错的概率很高）

• 基本目标的实现：

  目标	结果
  目标1	确定了两个静态资源：比特和信息源
  目标2	确定了两阶段动态过程：压缩信息源，解压缩以恢复信息源
  目标3	找到最优数据压缩方案确定消耗资源的量化标准

香农有噪声信道编码定理

• 量化了可以通过有噪声信道可靠传输的信息量（空间/时间（存在噪声时信息的存储问题））

• 纠错码：在信道发送的信息中引入足够多的冗余，这样即使在某些信息被破坏之后，仍然可以恢复原始消息（提供了计算任意噪声信道容量的通用过程）

• 基本目标的实现：

  目标	结果
  目标1	确定了两个静态资源：比特和信息源
  目标2	确定了三个动态过程：信道中的噪声，使用纠错码对状态执行编码和解码
  目标3	对于固定噪声模型，香农定理告诉我们如果要实现可靠的信息传输，最佳纠错方案必须引入多少冗余

量子信息理论问题

• 问题1：使用量子态作为介质传输经典信息会发生什么？

  结论：在无噪声信道中传输信息时，量子比特不会导致所需的通信量有任何显著的节省

• 问题2：通过带有噪声的量子信道传输经典信息会发生什么？

  HSW定理：提供带有噪声的量子信道容量的下界

• 问题3：是否可以使用纠缠态编码来提高容量？

  迄今为止的所有证据表明，使用纠缠态编码无助于提高容量。但证明或证否仍悬而未决

通过量子信道传输量子信息

量子信息源：由一组概率$p_j$和相应的量子态$|{\psi }_j⟩$描述，信源的每次使用都有概率$p_j$产生状态$|{\psi }_j⟩$，信源每次使用相互独立

压缩信源输出

• 经典数据压缩标准技术：考虑单比特量子信源，以概率$p$输出状态$|0⟩$，以概率$1-p$输出状态$|1⟩$，与发射单比特的经典源相同，使用与经典类似的技术来压缩信息源，只需要$H(p,1-p)$量子比特来存储压缩信息；若信源以概率$p$输出状态$|0⟩$，以概率$1-p$输出状态$(|0⟩+|1⟩)/\sqrt{2}$将不再适用，由于一般来说无法区分状态$|0⟩,(|0⟩+|1⟩)/\sqrt{2}$

• Schumacher无噪声信道编码定理：

  • 保真度：信源产生的量子态可能会因为压缩——解压缩过程略微失真，为了量化失真，为压缩方案引入保真度，度量由压缩方案引入的平均失真

  • Schumacher无噪声信道编码定理量化了在接近1的保真度恢复信息源的限制下，进行量子数据压缩所需的资源

    信源产生正交量子态：定理退化为信源可以被压缩但不超过经典极限$H(p_j)$

    信源产生非正交量子态：量子信源可以被压缩到冯·诺依曼熵，当且仅当状态$|{\psi }_j⟩$彼此正交时，冯·诺依曼熵与香农熵一致；否则信源$(p_j,|{\psi }_j⟩)$的冯·诺依曼熵通常严格小于香农熵$H(p_j)$

  • 实例：对以概率$p$输出状态$|0⟩$，以概率$1-p$输出状态$(|0⟩+|1⟩)/\sqrt{2}$的信源进行压缩

    信源使用$n$次（$n$为很大的数），由大数定理，信源以高概率发送$np$份$|0⟩$和$n(1-p)$份$(|0⟩+|1⟩)/\sqrt{2}$，在重新将系统排序的意义下，有
    $${|0⟩}^{\otimes np}{\left(\frac{|0⟩+|1⟩}{\sqrt{2}}\right)}^{\otimes n(1-p)}$$
    假设将右侧的$|0⟩+|1⟩$展开，由于$n(1-p)$很大，由大数定理推断乘积项中大约一半是0，一半是1，可以用如下形式的状态的叠加来近似：
    $${|0⟩}^{\otimes n(1-p)/2}{|1⟩}^{\otimes n(1-p)/2}$$
    因此信源发送的态可由以下形式的叠加态来估计
    $${|0⟩}^{\otimes n(1+p)/2}{|1⟩}^{\otimes n(1-p)/2}(\ast )$$
    这种形式的态一共有$C_n^{n(1+p)/2}$，由斯特林公式近似为$N\equiv C_n^{n(1+p)/2}=2^{nH[(1+p)/2,(1-p)/2]}$

    压缩方法：将$(\ast )$的所有态标记为$|c_1⟩\sim |c_N⟩$

    压缩：$\forall 1⩽j⩽N$，$j$表示$nH[(1+p)/2,(1-p)/2]$位二进制数。在信源发出的$n$量子比特上执行酉变换$U:|c_j⟩\mapsto |j⟩{|0⟩}^{n-nH[(1+p)/2,(1-p)/2]}$，然后将最后$n-nH[(1+p)/2,(1-p)/2]$个量子比特丢弃，剩下$nH[(1+p)/2,(1-p)/2]$量子比特的压缩态$|j⟩$

    解压缩：在压缩态的末尾添上${|0⟩}^{n-nH[(1+p)/2,(1-p)/2]}$，然后执行$U^{-1}$

  • 理解：利用状态不正交的事实，导致它们比正交状态有更多的物理相似性，利用冗余可以实现数据压缩

量子可区分性

量子力学并不总是可以区分任何状态：例如，量子力学不允许任何过程可靠地区分状态$|0⟩,(|0⟩+|1⟩)/\sqrt{2}$.假设试图通过计算基上测量来区分时，虽然测量结果为1意味着状态必须是$(|0⟩+|1⟩)/\sqrt{2}$，但我们无法从测量结果为0推断出有关量子态身份的任何信息

非正交量子态的不可区分性：量子态包含无法通过测量获得的隐藏信息（量子信息理论的核心之一是发展度量来量化非正交量子态的可区分度）

1. 若我们可以区分任意量子态，则使用纠缠能够比光速更快地进行通信（Bob能判断出与之共享量子比特的Alice在哪组基下进行了测量）
2. 量子货币（在钞票中嵌入量子序列，由于伪造者无法确定的得到其中的量子比特状态而不破坏它们；通过在$(|0⟩,|1⟩)$或$(|+⟩,|-⟩)$上测量来验证真伪）

纠缠的产生与转化

相关问题：

1. 产生纠缠：如果双方要创建一个在他们之间共享的特定纠缠态，假设它们之间没有共享纠缠，那么双方必须交换多少量子比特？

   分布式量子计算可以简单视为用于在两方或者更多方之间产生纠缠的方法；实现这样的分布式量子计算的通信量下界也是实现相应的纠缠态所需要的通信量的下界

2. 转化纠缠：假设Alice和Bob之间共享了一个贝尔态，他们希望将其转换为其它类型的纠缠状态，他们需要什么资源才能完成这项任务？