量子信息-学习记录1

1.1.关于课程（略）

1.2.经典计算（经典电路模型）

1.2 (a)bit与n-bit串

定义：bit(binary digit)，经典信息与计算的最小单位

取值范围集：{0,1}

状态只能处于x=0或x=1

2-bit串：

$$\begin{gathered} x_1=0,1 \\ {x}_2=0,1 \end{gathered}$$

也能表示为：

{$x_1{x}_2|x_i=0,1,i=0,1$}

n-bit串

{$x_1{x}_2\dots x_n|x_i=0,1,i=1,2,\dots ,n$}

可以有$2^n$种不同的串

1.2 (b)逻辑门

定义：1-bit逻辑门包括非门(NoT)和恒等门(Id)，对1-bit进行运算

非门：$x\to \bar{x},NOT(x)=1-x=1+x=\bar{x}$，类比C语言中的$!x$

恒等门：$x\to x$，$Id(x)=x$, $x=0,1$

两次非门运算等价于恒等门：$(NOT{)}^2=Id$

定义：2-bit门：包括与门(AND)、或门(OR)、异或门(XOR)、NAND（与非）门、NOR（或非）门，COPY门，对2-bit进行运算

与门：$(x,y)\to AND(x,y)=x\cdot y=x\wedge y$，类比C语言中的$x\&\&y$

或门：$(x,y)\to OR(x,y)=x+y-x\cdot y=x\vee y$，类比C语言中的$x||y$

异或门(Exclusive OR Gate)：$XOR(x,y)=x\oplus y$，其中$\oplus$是异或运算符，例如：$1\oplus 1=0,0\oplus 0=0,1\oplus 0=1$。异或运算的特点是，当不同的两个变量输入时，输出为1，否则输出为0

NAND门：$NAND(x,y)=NOT\cdot AND(x,y)=\overline{x\cdot y}=1-x\cdot y$，相当于与门前面加上非门

NOR门：$NOR(x,y)=NOT\cdot OR(x,y)=\overline{x\vee y}=\bar{x}\wedge \bar{y}$，相当于或门前面加上非门

COPY门：$COPY(x)=(x,x)$（？）

定义：3-bit门：包括Toffoli门、Fredkin门，对3-bit进行运算

Toffoli门：$(x,y,z)\to Toffoli(x,y,z)=(x,y,z\oplus x\cdot y)$

Fredkin门：$(x,y,z)\to Fred(x,y,z)=(x,xz\oplus \bar{x}y,xy\oplus \bar{x}z)$

定义：可逆门

例如：与门、或门、异或门、NAND门、NOR门是不可逆门（造成了信息损失），而恒等门、非门、Toffoli门、Fredkin门是可逆门（信息守恒）

定义：经典电路模型是一种经典计算的模型，它由一系列有限的逻辑门作用在有限长的bit串上（Turing machine）

定义：普遍门集(universal gate)：可以用来表示任何有限门集的基础门集

定理：门集{AND, NOT}或{OR, NOT}或{NAND, COPY}是普遍门集

定义：可逆计算是使用了可逆门的计算

定理：一个3-bit的Toffoli门（或3-bit的Fredkin门）可以进行普遍可逆的经典计算

问题：如何用与门和非门构建COPY门

1.3.信息与计算属于物理概念

David Deutsch于1985年提出：“计算机能否进行计算，只取决于物理定律，而与数学方法无关”，具有非常大的争议

参考：
【1】[Cambridge Series on Information and the Natural Sciences] Michael A. Nielsen, Isaac L. Chuang - Quantum computation and quantum information (2004, Cambridge University Press) - libgen.lc
【2】Lecture Notes on Quantum Information and Computation, Yong Zhang, School of Physics and Technology, Wuhan University