analiza aiqbench
This paper presents a significant theoretical advancement in quantum computing by optimizing the gate count required for exact and approximate Quantum Fourier Transforms (QFT). By linking QFT efficiency directly to integer multiplication circuit complexity, the authors demonstrate how recent breakthroughs in classical multiplication algorithms could lead to more resource-efficient quantum circuits for Shor's algorithm and phase estimation. This work is crucial for reducing the hardware overhead of foundational quantum subroutines, directly impacting the feasibility of large-scale fault-tolerant quantum computing.
Improved Exact and Approximate Quantum Fourier Transforms from Multiplication
arXiv:2611.06341v1 Announce Type: new Abstract: In the world of quantum computing, quantum Fourier transform (QFT) has been one of the most important subroutines for quantum algorithms, as exemplified by Shor's factoring algorithms and phase estimation (which in itself has been used as a primitive in various quantum algorithms). In fact most of the well known quantum algorithms can be divided into two classes, QFT based algorithms and search based algorithms. The usual circuit for QFT (covered in almost every basic quantum algorithms course) needs $O(q^2)$ gates (and $O(q)$ qubits) to perform the exact Fourier transform over $\mathbb{F}_{2^q}$. Cleve and Watrous (FOCS 2000) improved this gate count to $O(q (\log q)^2 (\log \log q))$ using the integer multiplication algorithm in $O(n (\log n) (\log \log n))$ time for two $n$-bit integers (best known at that time). Our first main result shows that this gate count can be improved to $O(q (\log q))$. In fact, if there is a multiplication circuit, to multiply two $n$-bit integers, with $O(n (\log n)^{\alpha})$ gates; we get a QFT circuit with $O(q (\log q)^{\alpha})$ gates (improving upon $O(q (\log q)^{\alpha + 1})$) gates from the construction of Cleve and Watrous). Given the recent claim by OpenAI about integer multiplication, this opens up the possibility of having a QFT circuit with $o \left( q (\log q)\right)$ gates. On approximating the QFT over $\ZZ/(2^q \ZZ)$, the result of Ahokas, Cleve and Hales (ERATO 2003) showed that an approximating circuit can be built with $O \left( q (\log \log(q/\varepsilon))^{\alpha+1} \right)$ gates, where $\epsilon$ is the approximating parameter. Our second main result again improves this to $O \left( q (\log \log(q/\varepsilon))^{\alpha} \right)$ gates.
Abstract:In the world of quantum computing, quantum Fourier transform (QFT) has been one of the most important subroutines for quantum algorithms, as exemplified by Shor's factoring algorithms and phase estimation (which in itself has been used as a primitive in various quantum algorithms). In fact most of the well known quantum algorithms can be divided into two classes, QFT based algorithms and search based algorithms. The usual circuit for QFT (covered in almost every basic quantum algorithms course) needs $O(q^2)$ gates (and $O(q)$ qubits) to perform the exact Fourier transform over $\mathbb{F}_{2^q}$. Cleve and Watrous (FOCS 2000) improved this gate count to $O(q (\log q)^2 (\log \log q))$ using the integer multiplication algorithm in $O(n (\log n) (\log \log n))$ time for two $n$-bit integers (best known at that time). Our first main result shows that this gate count can be improved to $O(q (\log q))$. In fact, if there is a multiplication circuit, to multiply two $n$-bit integers, with $O(n (\log n)^{\alpha})$ gates; we get a QFT circuit with $O(q (\log q)^{\alpha})$ gates (improving upon $O(q (\log q)^{\alpha + 1})$) gates from the construction of Cleve and Watrous). Given the recent claim by OpenAI about integer multiplication, this opens up the possibility of having a QFT circuit with $o \left( q (\log q)\right)$ gates. On approximating the QFT over $\ZZ/(2^q \ZZ)$, the result of Ahokas, Cleve and Hales (ERATO 2003) showed that an approximating circuit can be built with $O \left( q (\log \log(q/\varepsilon))^{\alpha+1} \right)$ gates, where $\epsilon$ is the approximating parameter. Our second main result again improves this to $O \left( q (\log \log(q/\varepsilon))^{\alpha} \right)$ gates.
Quantum Physics (quant-ph); Computational Complexity (cs.CC)
arXiv:2611.06341 [quant-ph]
(or arXiv:2611.06341v1 [quant-ph] for this version)
https://doi.org/10.48550/arXiv.2611.06341 Focus to learn more arXiv-issued DOI via DataCite (pending registration)
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Text integral sub licența deschisă a publicației · 365 cuvinte
Subiecte conexe
DyRA: Dynamic Residual Approximation for Efficient Matrix Multiplication in DNNs
arXiv · 6 oct. 2026
Truthful Calibration Measures for Sequential Prediction
arXiv · 24 aug. 2026
Prediction Under Imperfect Compression: A Theory of Approximate MDL
arXiv · 5 iun. 2026
ATLAS: Automated Approximation of Transformers for Efficient Homomorphic Inference in One Hour
arXiv · 28 iul. 2026