Ising(伊辛)模型&QUBO模型
Ising模型介绍
伊辛模型(Ising Model)是一种经典的统计物理模型,用来解释统计物理学中的磁性物质相互作用(相变)现象。Ising模型是统计物理学中唯一一个同时具备表述简单、内涵丰富、应用广泛三种优点的模型,可以扩展到其它自然和社会科学问题。
抽象为数学形式为:
其中,
从物理上看,任何温度下自旋的平均取向由两个对抗的因素相互竞争决定,即能量趋向最小而熵趋向最大,使得自由能达到最小值。因此只要将数学问题求解的变量映射为Ising模型中的自旋变量,原问题可转化为寻找系统哈密顿量最低的自旋组态优化搜索问题;
在数学上,求解Ising模型的基态能量是一个整数规划问题,属于NP-complete问题之一,这与组合优化问题有相似之处。利用量子计算机求解组合优化问题,即是将问题转换为Ising模型,并通过以自旋方式运行的量子物理系统找到基态去求解问题,即系统中处于“最高效”集体振荡模式对应给定Ising问题的最优解。
QUBO模型介绍
QUBO(Quadratic Unconstrained Binary Optimizatoin),无约束二次二进制优化模型,是如今量子计算中应用最广泛的优化模型,它统一了丰富多样的组合优化问题,通过量子计算机加速,可高效求解组合优化问题。同时QUBO模型可以表达位运算,进而表达各种逻辑,操作简便。
其表达式为:
其中,
QUBO问题是一个NP-Hard问题,对于理论计算机科学中的许多经典问题,如最大割、图着色和划分问题,都可以转化为QUBO问题;一些机器学习模型也可以Embedd到QUBO中,包括支持向量机、聚类和概率图形模型;此外,由于其与Ising模型的密切联系,QUBO构成了绝热量子计算的核心问题类。
相互关系

QUBO和Ising模型在数学上有着密切的联系,且可以通过适当的变量映射和数学转换相互转化,它们本质上描述的是相似的二进制优化问题。QUBO模型更便于建模,Ising模型可以直接用于专用量子计算机求解器进行求解。专用量子计算机利用光的经典特性通过优化Ising模型来解决QUBO问题,从而在组合优化问题中展现出强大的计算能力,在毫秒级别的时间内找到最优解。
在Ising模型中,每个变量表示的是一个二进制值(通常是+1或-1),代表了物理系统中的“自旋”方向。通常,为了与QUBO模型兼容,变量可以通过简单的映射转换为0和1。
例如使用如下变量代换:
这样,当
而QUBO模型每个变量取值为0或1,这使得在求解时更直接适用于许多优化算法,尤其是量子计算领域的优化方法。

