Revision #1515 → #1783 · back to history
modifiedHadamard gate7297aab743aa
| Field | From #1515 | To #1783 |
|---|
| note | Mathlib's 'Hadamard' refers to the three-lines theorem and the matrix Hadamard product, not the quantum Hadamard gate. | Mathlib's 'Hadamard' refers to the three-lines theorem and the matrix Hadamard (entrywise) product, not the quantum Hadamard gate. |
modifiedTwo-qubit tensor product stateb464628e9239
| Field | From #1515 | To #1783 |
|---|
| mathlib.module | Mathlib.LinearAlgebra.TensorProduct.Basic | Mathlib.LinearAlgebra.TensorProduct.Defs |
modifiedNOT gatee21be40dc3d3
| Field | From #1515 | To #1783 |
|---|
| anchors | [{"section":"Unitary operators","snippet":"One important gate for both classical and quantum computation is the NOT gate"},{"type":"math_alttext","value":"{\\displaystyle X:={\\begin{pmatrix}0&1\\\\1&0\\end{pmatrix}}.}"}] | [{"section":"Unitary operators","snippet":"One important gate for both classical and quantum computation is the NOT gate"},{"type":"math_alttext","value":"{\\displaystyle X:={\\begin{pmatrix}0&1\\\\1&0\\end{pmatrix}}.}"}] |
modifiedControlled NOT (CNOT) gate2896294c91cb
| Field | From #1515 | To #1783 |
|---|
| anchors | [{"section":"Unitary operators","snippet":"The controlled NOT (CNOT) gate can then be represented using the following matrix"},{"type":"math_alttext","value":"{\\displaystyle |00\\rangle :={\\begin{pmatrix}1\\\\0\\\\0\\\\0\\end{pmatrix}};\\quad |01\\rangle :={\\begin{pmatrix}0\\\\1\\\\0\\\\0\\end{pmatrix}};\\quad |10\\rangle :={\\begin{pmatrix}0\\\\0\\\\1\\\\0\\end{pmatrix}};\\quad |11\\rangle :={\\begin{pmatrix}0\\\\0\\\\0\\\\1\\end{pmatrix}}.}"},{"type":"math_alttext","value":"{\\displaystyle \\operatorname {CNOT} :={\\begin{pmatrix}1&0&0&0\\\\0&1&0&0\\\\0&0&0&1\\\\0&0&1&0\\end{pmatrix}}.}"}] | [{"section":"Unitary operators","snippet":"The controlled NOT (CNOT) gate can then be represented using the following matrix"},{"type":"math_alttext","value":"{\\displaystyle |00\\rangle :={\\begin{pmatrix}1\\\\0\\\\0\\\\0\\end{pmatrix}};\\quad |01\\rangle :={\\begin{pmatrix}0\\\\1\\\\0\\\\0\\end{pmatrix}};\\quad |10\\rangle :={\\begin{pmatrix}0\\\\0\\\\1\\\\0\\end{pmatrix}};\\quad |11\\rangle :={\\begin{pmatrix}0\\\\0\\\\0\\\\1\\end{pmatrix}}.}"},{"type":"math_alttext","value":"{\\displaystyle \\operatorname {CNOT} :={\\begin{pmatrix}1&0&0&0\\\\0&1&0&0\\\\0&0&0&1\\\\0&0&1&0\\end{pmatrix}}.}"}] |
addedHalting problem0f3cc6a42120
addedChurch–Turing thesis not disproved by quantum computers3c6bf7a6d137
addedInteger factorization01411bdac820
addedDiscrete logarithm problem2d002edd7f1d
addedHidden subgroup problem22afd6f3fd33
addedQuantum Fourier transform6a15a6d4bef1
addedIsing model8743b6db8db7