Paper 2024/2034

The Jacobi Factoring Circuit: Quantum Factoring with Near-Linear Gates and Sublinear Space and Depth

Abstract

We present a compact quantum circuit for factoring a large class of integers, including some whose classical hardness is expected to be equivalent to RSA (but not including RSA integers themselves). To our knowledge, it is the first polynomial-time circuit to achieve sublinear qubit count for a classically-hard factoring problem; the circuit also achieves sublinear depth and nearly linear gate count. We build on the quantum algorithm for squarefree decomposition discovered by Li, Peng, Du and Suter (Nature Scientific Reports 2012), which relies on computing the Jacobi symbol in quantum superposition. Our circuit completely factors any number $$, whose prime decomposition has distinct exponents, and finds at least one non-trivial factor if not all exponents are the same. In particular, to factor an $$-bit integer $$ (with $$ and $$ prime, and $$ for some $$), our circuit uses $$ qubits and has depth at most $$, with $$ quantum gates. When $$ with $$, the space and depth are sublinear in $$, yet no known classical algorithms exploit the relatively small size of $$ to run faster than general-purpose factoring algorithms. We thus believe that factoring such numbers has potential to be the most concretely efficient classically-verifiable proof of quantumness currently known. The technical core of our contribution is a new space-efficient quantum algorithm to compute the Jacobi symbol of $$ mod $$, in the regime where $$ is classical and much larger than $$. Crucially, our circuit reads the bits of the classical value $$ in a streaming fashion, never storing more than $$ qubits of quantum information at one time. In the context of the larger Jacobi algorithm for factoring $$, this reduces the overall qubit count to be roughly proportional to the length of $$, rather than the length of $$. Our circuit for computing the Jacobi symbol is also highly gate-efficient and parallelizable, achieving gate count $$ and depth at most $$. Finally, we note that our circuit for computing the Jacobi symbol generalizes to related problems, such as computing the greatest common divisor, and thus could be of independent interest.

Note: Minor changes.