在最简单的模型中,假设只有相邻的自旋相互作用。但在一般的伊辛优化问题中,任何自旋都可以与其他旋转相互作用,不管彼此之间的距离多远,这种相互作用的标记和强度对每对自旋来说可能是唯一的。当问题规模较大时,解决起来就非常困难(就像找出推销员拜访数十万潜在买家的路线问题一样困难)。如果我们能找到一种快速解决伊辛优化问题的方法,并找到一种方法来解决旅行商等类似问题,那么我们也许能更快地解决这些问题。
有两篇展示了 CIM 实力与优势的论文,发表在同一期《科学》杂志上,在全世界都引起了巨大反响。一篇是由NII和美国斯坦福大学的小组联合发表的《A full-programmable 100-spin connected Ising machine with all-to-all connections》(实现全连接的完全可编程100自旋规模的CIM),另一篇是主要由NTT小组研发发表的《A coherent Ising machine for 2000-node optimization questions》(用于解决2000节点优化问题的相干伊辛机)。
第一篇文章对光纤测量类CIM 解决某个小规模问题进行了性能评估。在 330m 光纤环路中生成 160 个自旋量子比特,其中有100 个自旋量子比特用于计算,要解决的问题是立方图中的 MAX-CUT (最大割)问题,图中所有顶点都有三个连接,已知MAX-CUT问题等价于寻找伊辛模型的基态问题,对于小规模问题已知精确解,所以我们可以此评估CIM的性能提升。所得结果的概要如下:
1、经实验发现,光脉冲循环60圈,仅用100us左右即可完成求解。
2、发现对于16自旋立方图问题,有 20% 或更高的概率获得精确解。
第二篇论文以实际应用为目标,评估了经典计算机上难以计算的2000个节点问题的性能。由于问题规模巨大而精确解未知,因此将其与经典计算机上的GW-SDP算法和模拟退火算法(SA)进行比较,以保证解的准确性。实验条件上,光纤环路长度为1km,可产生5082个脉冲,其中2000个脉冲自旋量子比特用于计算。所得结果的概要如下:
1、确认在2000自旋问题中,对于随机图、无标度图和完全图三种类型,可以在5ms内获得超过经典计算机使用GW-SDP算法精度的良好近似解。
2、在完全图中,CIM 能获得比经典计算机使用 SA 算法更准确的解,且求解速度提高了大约 20 到 50 倍。
从以上两篇论文的结果看,CIM的实力与优势显而易见。首先可以肯定这种方法能很好地解决实际问题。具体来说就是随着问题节点数规模增加,CIM的优势越来越明显。而在结果上则CIM有可能得到比经典计算机精度更高的近似解,满足可实用条件。此外,由于CIM计算时间约为5ms,可以通过多次尝试找到最佳解决方案来提高准确性。
论文中仅提到了CIM可解决MAX-CUT问题,基于不同类型的数学问题之间的相互规约,CIM还可解决很多其他实用的NP完全问题。在未来,通过解决更多类型的NP完全问题,探索 CIM更多的应用场景,这一点尤为重要。
参考:
https://mp.weixin.qq.com/s/BLKeuIgQkur04tPhnaWPjQ
https://kaiwu.qboson.com/portal.php?mod=view&aid=22
文献1: Ising machines as hardware solvers of combinatorial optimization problems https://www.nature.com/articles/s42254-022-00440-8
文献2 Training an Ising machine with equilibrium propagation https://www.nature.com/articles/s41467-024-46879-4
文献3 All-to-all reconfigurability with sparse and higher-order Ising machines https://www.nature.com/articles/s41467-024-53270-w