Foundations ยท Circuits
Bell state preparation
Theorem statement
$$
\mathtt{CNOT}_{1,2}\mathtt{H}_1\ket{00}
= \frac{\ket{00}+\ket{11}}{\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
- Quantum Computing: Lecture Notes
Ronald de Wolf, 2019
- Quantum Computation and Quantum Information
Michael A. Nielsen, Isaac L. Chuang, 2010
Lean context
- Lean declaration
QuantumAlg.BellStatePreparation.main
Copy a short prompt with the import, theorem name, citations, and public source link.