Foundations ยท Circuits
GHZ state preparation
Theorem statement
$$
\mathtt{CNOT}_{2,3}\mathtt{CNOT}_{1,2}\mathtt{H}_1\ket{000}
= \frac{\ket{000}+\ket{111}}{\sqrt{2}}.
$$
- $\mathtt{H}_i$
- Hadamard gate acting on qubit i.
- $\mathtt{CNOT}_{i,j}$
- Controlled-NOT gate with control qubit i and target qubit j.
Sources
- Going Beyond Bell's Theorem
Daniel M. Greenberger, Michael A. Horne, Anton Zeilinger, 1989
- Quantum Computation and Quantum Information
Michael A. Nielsen, Isaac L. Chuang, 2010
Lean context
- Import
QuantumAlg.Algorithms.GHZ- Lean declaration
QuantumAlg.GHZStatePreparation.main
Copy a short prompt with the import, theorem name, citations, and public source link.