Ding Jingwen, Spallitta Giuseppe, Sebastiani Roberto
Department of Computer Science and Engineering, University of Trento, Trento, Italy.
Sci Rep. 2024 Feb 12;14(1):3518. doi: 10.1038/s41598-024-53708-7.
This paper investigates novel techniques to solve prime factorization by quantum annealing (QA). First, we present a very-compact modular encoding of a multiplier circuit into the architecture of current D-Wave QA devices. The key contribution is a compact encoding of a controlled full-adder into an 8-qubit module in the Pegasus topology, which we synthesized using Optimization Modulo Theories. This allows us to encode up to a 21 × 12-bit multiplier (and a 22 × 8-bit one) into the Pegasus 5760-qubit topology of current annealers. To the best of our knowledge, these are the largest factorization problems ever encoded into a quantum annealer. Second, we investigated the problem of actually solving encoded PF problems by running an extensive experimental evaluation on a D-Wave Advantage 4.1 quantum annealer. In the experiments we introduced different approaches to initialize the multiplier qubits and adopted several performance enhancement techniques. Overall, 8,219,999 = 32,749 × 251 was the highest prime product we were able to factorize within the limits of our QPU resources. To the best of our knowledge, this is the largest number which was ever factorized by means of a quantum annealer; also, this is the largest number which was ever factorized by means of any quantum device without relying on external search or preprocessing procedures run on classical computers.
本文研究了通过量子退火(QA)解决质因数分解的新技术。首先,我们提出了一种将乘法器电路非常紧凑地模块化编码到当前D-Wave量子退火设备架构中的方法。关键贡献在于将一个受控全加器紧凑地编码到Pegasus拓扑结构中的一个8量子比特模块中,我们使用优化模理论对其进行了合成。这使我们能够将一个高达21×12比特的乘法器(以及一个22×8比特的乘法器)编码到当前退火器的Pegasus 5760量子比特拓扑结构中。据我们所知,这些是有史以来编码到量子退火器中的最大因式分解问题。其次,我们通过在D-Wave Advantage 4.1量子退火器上进行广泛的实验评估,研究了实际解决编码后的质因数分解(PF)问题的方法。在实验中,我们引入了不同的方法来初始化乘法器量子比特,并采用了几种性能增强技术。总体而言,8219999 = 32749×251是我们在量子处理单元(QPU)资源限制内能够分解的最高质因数乘积。据我们所知,这是有史以来通过量子退火器分解的最大数字;此外,这也是有史以来通过任何量子设备分解的最大数字,且不依赖于在经典计算机上运行的外部搜索或预处理程序。