Calculating with the square root of NOT Alexis De Vos Imec v.z.w. and Universiteit Gent Belgium Cryptasc workshop Université Libre de Bruxelles, 6 Oct 2009
This is about groups
This is about groups Groups exist in three different flavours:
This is about groups Groups exist in three different flavours: finite groups Order is an integer infinite, but still discrete groups Order = ℵ 0 infinite groups with a non-countable number of elements = Lie groups Order = m
But first another story...
A logically irreversible computer 3 1 adding computer 4
3 1 adding computer 4?? adding computer 4
A logically reversible computer : 3 adding & subtracting computer 1 2 4
3 adding & subtracting computer 1 2 4 3 adding & subtracting computer 1 2 4
Truth table of three irreversible logic gates (a) XOR gate (b) NOR gate (c) AND gate. AB P AB P AB P 0 0 0 0 1 1 1 0 1 1 1 0 (a) P = A B 0 0 1 0 1 0 1 0 0 1 1 0 (b) P = A + B 0 0 0 0 1 0 1 0 0 1 1 1 (c) P = A B Truth table of a reversible logic gate AB PQ 0 0 0 0 0 1 1 0 1 0 1 1 1 1 0 1 P = A B Q = A
Truth table of three reversible logic gates of width 2 (a) an arbitrary reversible gate r (b) the identity gate i (c) the inverse r 1 of r AB PQ 0 0 0 0 0 1 1 0 1 0 1 1 1 1 0 1 (a) AB PQ 0 0 0 0 0 1 0 1 1 0 1 0 1 1 1 1 (b) AB PQ 0 0 0 0 0 1 1 1 1 0 0 1 1 1 1 0 (c) The group of reversible gates of width w is isomorphic to the symmetric group S 2 w. Its order is (2 w )!. Here w = 2 Thus S 4 Its order is 4! = 24.
The number r of reversible gates w r 1 2 2 24 3 40,320 4 20,922,789,888,000 r(w) = (2 w )!
The CONTROLLED NOT gate: P = A Q = A B. is equivalent with P = A Q = if (A = 0) then B else B. The CONTROLLED CONTROLLED NOT gate: P = A Q = B R = AB C. is equivalent with P = A Q = B R = if (AB = 0) then C else C.
Schematic for (a) CONTROLLED NOT gate (b) CONTROLLED CONTROLLED NOT gate (c) CONTROLLED SWAP gate a B _ Q _ A Q A A A B c C R A Q A A A B C R A Q A A A B b R _ C _ R C A A B B A A B B
Transistor cost: The CONTROLLED NOT gate or FEYNMAN gate : 8 transistors TheCONTROLLED CONTROLLED NOT gate ortoffoli gate : 16 transistors The CONTROLLED SWAP gate or FREDKIN gate : 16 transistors.
Microscope photograph (140 µm 120 µm) of 2.4-µm 4-bit reversible ripple adder (192 transistors).
Microscope photograph (610 µm 290 µm) of 0.8-µm 4-bit reversible carry-look-ahead adder (320 transistors).
Microscope photograph (1,430 µm 300 µm) of 0.35-µm 8-bit reversible multiplier (2,504 transistors).
Oscilloscope view of 0.35 µm full adder.
The number r of reversible circuits and the number q of quantum circuits w r q 1 2 4 2 24 16 3 40,320 64 4 20,922,789,888,000 256 r(w) = (2 w )! q(w) = (2w ) 2
Example: w = 1 r(w) = r(1) = 2 The two 1-bit computers (group S 2 ) are represented by the 2 2 permutation matrices: 1 0 0 1 and 0 1 1 0 q(w) = q(1) = 4 The infinitely many 1-qubit computers (group U(2)) are represented by the 2 2 unitary matrices: cos(θ) exp(iα) sin(θ) exp(iβ) sin(θ) exp(iγ) cos(θ) exp( iα + iβ + iγ)
Example: w = 1 r(w) = r(1) = 2 The two 1-bit computers (group S 2 ) are represented by the 2 2 permutation matrices: 1 0 0 1 and 0 1 1 0 q(w) = q(1) = 4 The infinitely many 1-qubit computers (group U(2)) are represented by the 2 2 unitary matrices: cos(θ) exp(iα) sin(θ) exp(iβ) sin(θ) exp(iγ) cos(θ) exp( iα + iβ + iγ) S 2? U(2) 2 < Order(?) < 4
Take S 2 and introduce an extra generator: 1 1 + i 1 i 2 1 i 1 + i 1 0 0 1 Obtain a group with four 2 2 matrices:, 1 1 + i 1 i 2 1 i 1 + i, 0 1 1 0, and 1 2 1 i 1 + i 1 + i 1 i S 2 Z 4 U(2) 2 < 4 < 4
Next: w = 2 Take S 4 and introduce an extra generator: 1 2 1 + i 1 i 0 0 1 i 1 + i 0 0 0 0 1 + i 1 i 0 0 1 i 1 + i S 4? U(4) 24 < 192 < 16
Next: w = 2 Take S 4 and introduce an extra generator: 1 2 1 + i 1 i 0 0 1 i 1 + i 0 0 0 0 1 + i 1 i 0 0 1 i 1 + i S 4? U(4) 24 < 192 < 16 Four representative circuits: a b c d
Next: w = 2 Take S 4 and introduce an other extra generator: 1 2 1 0 0 0 0 1 0 0 0 0 1 + i 1 i 0 0 1 i 1 + i S 4? U(4) 24 < ℵ 0 < 16
The number of reversible circuits, as a function of the circuit width w, if we allow no square roots of NOT, if we allow square roots of NOT, and if we allow controlled square roots of NOT. w classical classical plus NOT classical plus controlled NOT 1 2 4 not applicable 2 24 192 ℵ 0 3 4
The number of reversible circuits, as a function of the circuit width w, if we allow no square roots of NOT, if we allow square roots of NOT, and if we allow controlled square roots of NOT. w classical classical plus NOT classical plus controlled NOT 1 2 4 not applicable 2 24 192 ℵ 0 3 40,320 ℵ 0 ℵ 0 4 20,922,789,888,000 ℵ 0 ℵ 0
The number of reversible circuits, as a function of the circuit width w, if we allow no square roots of NOT, if we allow square roots of NOT, and if we allow controlled square roots of NOT. w classical classical plus NOT classical plus controlled NOT 1 2 4 not applicable 2 24 192 ℵ 0 3 40,320 ℵ 0 ℵ 0 4 20,922,789,888,000 ℵ 0 ℵ 0 Making two controlled NOT gates from a single NOT gate.
Future research: (1) Replace square root 0 1 1 0 by other root 0 1 1 0 2θ/π = 1/2 = 1 2 1 + i 1 i 1 i 1 + i, cos(θ) exp(iθ) i sin(θ) exp(iθ) i sin(θ) exp(iθ) cos(θ) exp(iθ)
Future research: (1) Replace square root 0 1 1 0 by other root 0 1 1 0 2θ/π = 1/2 = 1 2 1 + i 1 i 1 i 1 + i, cos(θ) exp(iθ) i sin(θ) exp(iθ) i sin(θ) exp(iθ) cos(θ) exp(iθ) S 2 U(1) U(2) 2 < 1 < 4
Future research: (1) Replace square root 0 1 1 0 by other root 0 1 1 0 2θ/π = 1/2 = 1 2 1 + i 1 i 1 i 1 + i, cos(θ) exp(iθ) i sin(θ) exp(iθ) i sin(θ) exp(iθ) cos(θ) exp(iθ) (2) Take square root of other (hermitian) 2 2 matrix e.g. Pauli matrix = Hadamard matrix = 1 2 0 i i 0 1 1 1 1