任何经典一比特函数其中X ∈ { 0 ,1 } Ñ是Ñ位输入和ÿ ∈ { 0 ,1 }是Ñ位输出可被写为一个可逆的计算,
˚F ř:(X ,Ý )↦ (X ,ÿ ⊕ ˚F (X ))
(注意,任何功能的米F:X ↦ ÿX ∈ { 0 ,1 }ññÿ∈ { 0 ,1 }ñ
F[R:(x ,y)↦ (x ,y⊕ ˚F(x ))
米输出可以仅编写为
单独的1位函数。)
米
实现此目的的量子门基本上只是与可逆函数评估相对应的量子门。如果仅写出函数的真值表,则每一行对应于the矩阵的一行,并且输出告诉您哪个列条目包含1(所有其他条目包含0)。
对于XNOR,我们有标准真值表和可逆函数真值表
X00011011F(x )1个001个(x ,y)000001010011100101110111(x ,y⊕ ˚F(x ))001000010011100101111110
ü= ⎛⎝⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜01个0000001个0000000001个000000001个000000001个000000001个0000000001个0000001个0⎞⎠⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟。
f(x)f(x)
xa,ba∈{0,1}n−1b∈{0,1}af(a,b)b
f:(a,b)↦(a,f(a,b)).
ab00011011f(a,b)1001
a=01,0a=1ab00011011af(a,b)01001011
U=⎛⎝⎜⎜⎜0100100000100001⎞⎠⎟⎟⎟
cNOT⋅(1⊗X)