On speeding up factoring with quantum SAT solvers
Michele Mosca, Jo\~ao Marcos Vensi Basso, Sebastian R. Verschoor

TL;DR
This paper explores using quantum SAT solvers to speed up a specific step in the Number Field Sieve for factoring, potentially surpassing classical methods if quantum solvers are faster.
Contribution
It introduces a SAT circuit for quantum solvers to find smooth numbers, a key step in factoring, highlighting a new approach to leverage quantum speedups.
Findings
Proposes a SAT circuit for quantum solvers to find smooth numbers.
Shows potential for quantum speedup in the factoring process.
Links quantum SAT solving to improvements over classical factoring methods.
Abstract
There have been several efforts to apply quantum SAT solving methods to factor large integers. While these methods may provide insight into quantum SAT solving, to date they have not led to a convincing path to integer factorization that is competitive with the best known classical method, the Number Field Sieve. Many of the techniques tried involved directly encoding multiplication to SAT or an equivalent NP-hard problem and looking for satisfying assignments of the variables representing the prime factors. The main challenge in these cases is that, to compete with the Number Field Sieve, the quantum SAT solver would need to be superpolynomially faster than classical SAT solvers. In this paper the use of SAT solvers is restricted to a smaller task related to factoring: finding smooth numbers, which is an essential step of the Number Field Sieve. We present a SAT circuit that can be…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
