Quantum Fourier Transform (Q7361307)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
AFP entry Quantum_Fourier_Transform
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Quantum Fourier Transform |
AFP entry Quantum_Fourier_Transform |
Statements
28 January 2025
0 references
Pablo Manrique
0 references
Quantum Fourier Transform (English)
0 references
This work presents a formalization of the Quantum Fourier Transform, a fundamental component of Shor's factoring algorithm, with proofs of its correctness and unitarity. The proof is carried out by induction, relying on the algorithm's recursive definition. This formalization builds upon the Isabelle Marries Dirac quantum computing library, developed by A. Bordg, H. Lachnitt, and Y. He.
0 references
