<p>We provide two improvements to Regev’s quantum factoring algorithm (Journal of the ACM 2025), addressing its space efficiency and its noise-tolerance. Our first contribution is to improve the quantum space efficiency of Regev’s algorithm while keeping the circuit size the same. Our main result constructs a quantum factoring circuit using <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(O(n \log n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>O</mi> <mo stretchy="false">(</mo> <mi>n</mi> <mo>log</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> qubits and <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(O(n^{3/2} \log n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>O</mi> <mo stretchy="false">(</mo> <msup> <mi>n</mi> <mrow> <mn>3</mn> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </msup> <mo>log</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> gates. We achieve the best of Shor and Regev (upto a logarithmic factor in the space complexity): on the one hand, Regev’s circuit requires <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(O(n^{3/2})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>O</mi> <mo stretchy="false">(</mo> <msup> <mi>n</mi> <mrow> <mn>3</mn> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> qubits and <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(O(n^{3/2} \log n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>O</mi> <mo stretchy="false">(</mo> <msup> <mi>n</mi> <mrow> <mn>3</mn> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </msup> <mo>log</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> gates, while Shor’s circuit requires <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(O(n^2 \log n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>O</mi> <mo stretchy="false">(</mo> <msup> <mi>n</mi> <mn>2</mn> </msup> <mo>log</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> gates but only <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(O(n \log n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>O</mi> <mo stretchy="false">(</mo> <mi>n</mi> <mo>log</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> qubits. As with Regev, to factor an <i>n</i>-bit integer <i>N</i>, we run our circuit independently <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(O(\sqrt{n})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>O</mi> <mo stretchy="false">(</mo> <msqrt> <mi>n</mi> </msqrt> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> times and apply Regev’s classical postprocessing procedure. Our optimization is achieved by implementing efficient and reversible modular exponentiation with Fibonacci numbers in the exponent, rather than the usual powers of 2, adapting work by Kaliski (arXiv:1711.02491) from the classical reversible setting to the quantum setting. Additionally, we show how to generalize our reversible exponentiation technique beyond the Fibonacci numbers to obtain constant-factor improvements in the number of qubits and/or gates. Our second contribution is to show that Regev’s classical postprocessing procedure can be modified to tolerate a constant fraction of the quantum circuit runs being corrupted by errors. In contrast, Regev’s analysis of his classical postprocessing procedure requires all <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\approx \sqrt{n}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>≈</mo> <msqrt> <mi>n</mi> </msqrt> </mrow> </math></EquationSource> </InlineEquation> runs to be successful. In a nutshell, we achieve this using lattice reduction techniques to detect and filter out corrupt samples.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Space-Efficient and Noise-Robust Quantum Factoring

  • Seyoon Ragavan,
  • Vinod Vaikuntanathan

摘要

We provide two improvements to Regev’s quantum factoring algorithm (Journal of the ACM 2025), addressing its space efficiency and its noise-tolerance. Our first contribution is to improve the quantum space efficiency of Regev’s algorithm while keeping the circuit size the same. Our main result constructs a quantum factoring circuit using \(O(n \log n)\) O ( n log n ) qubits and \(O(n^{3/2} \log n)\) O ( n 3 / 2 log n ) gates. We achieve the best of Shor and Regev (upto a logarithmic factor in the space complexity): on the one hand, Regev’s circuit requires \(O(n^{3/2})\) O ( n 3 / 2 ) qubits and \(O(n^{3/2} \log n)\) O ( n 3 / 2 log n ) gates, while Shor’s circuit requires \(O(n^2 \log n)\) O ( n 2 log n ) gates but only \(O(n \log n)\) O ( n log n ) qubits. As with Regev, to factor an n-bit integer N, we run our circuit independently \(O(\sqrt{n})\) O ( n ) times and apply Regev’s classical postprocessing procedure. Our optimization is achieved by implementing efficient and reversible modular exponentiation with Fibonacci numbers in the exponent, rather than the usual powers of 2, adapting work by Kaliski (arXiv:1711.02491) from the classical reversible setting to the quantum setting. Additionally, we show how to generalize our reversible exponentiation technique beyond the Fibonacci numbers to obtain constant-factor improvements in the number of qubits and/or gates. Our second contribution is to show that Regev’s classical postprocessing procedure can be modified to tolerate a constant fraction of the quantum circuit runs being corrupted by errors. In contrast, Regev’s analysis of his classical postprocessing procedure requires all \(\approx \sqrt{n}\) n runs to be successful. In a nutshell, we achieve this using lattice reduction techniques to detect and filter out corrupt samples.