ImprovedSimulationofStabilizerCircuits.pptVIP

Improved Simulation of Stabilizer Circuits;Quantum Computing:New Challenges for Computer Architecture;Our Approach: Start With A Subset of Quantum Computations;Gates Allowed In Stabilizer Circuits;X2=Y2=Z2=I XY=iZ YZ=iX ZX=iY XZ=-iY ZY=-iX YX=-iZ Unitary matrix U stabilizes a quantum state |?? if U|?? = |??. Stabilizers of |?? form a group X stabilizes |0?+|1? -X stabilizes |0?+|1? Y stabilizes |0?+i|1? -Y stabilizes |0?-i|1? Z stabilizes |0? -Z stabilizes |1?;If |?? can be produced from the all-0 state by just CNOT, Hadamard, and phase gates, then |?? is stabilized by 2n tensor prod