跳转到内容
本文内容

Ising(伊辛)模型&QUBO模型

Ising模型介绍

伊辛模型(Ising Model)是一种经典的统计物理模型,用来解释统计物理学中的磁性物质相互作用(相变)现象。Ising模型是统计物理学中唯一一个同时具备表述简单、内涵丰富、应用广泛三种优点的模型,可以扩展到其它自然和社会科学问题。

抽象为数学形式为:

H(σ)=i,jJijσiσjμihiσi

其中,σ为待求自旋变量,代表二进制决策变量,取值为{1,1};

H为哈密顿量;

J为二次项系数,代表相互作用,通常对称,即JijJji

μh为线性项系数,是已知量。

从物理上看,任何温度下自旋的平均取向由两个对抗的因素相互竞争决定,即能量趋向最小而熵趋向最大,使得自由能达到最小值。因此只要将数学问题求解的变量映射为Ising模型中的自旋变量,原问题可转化为寻找系统哈密顿量最低的自旋组态优化搜索问题;

在数学上,求解Ising模型的基态能量是一个整数规划问题,属于NP-complete问题之一,这与组合优化问题有相似之处。利用量子计算机求解组合优化问题,即是将问题转换为Ising模型,并通过以自旋方式运行的量子物理系统找到基态去求解问题,即系统中处于“最高效”集体振荡模式对应给定Ising问题的最优解。

QUBO模型介绍

QUBO(Quadratic Unconstrained Binary Optimizatoin),无约束二次二进制优化模型,是如今量子计算中应用最广泛的优化模型,它统一了丰富多样的组合优化问题,通过量子计算机加速,可高效求解组合优化问题。同时QUBO模型可以表达位运算,进而表达各种逻辑,操作简便。

其表达式为:

fQ(x)=i=1nj=1iqijxixj

其中,xi取值为{0,1},是二进制决策变量**(在QUBO中,变量为0或1,而不是-1和+1)**;

qij为二次项的系数矩阵,描述不同变量间的相互作用。

QUBO问题是一个NP-Hard问题,对于理论计算机科学中的许多经典问题,如最大割、图着色和划分问题,都可以转化为QUBO问题;一些机器学习模型也可以Embedd到QUBO中,包括支持向量机、聚类和概率图形模型;此外,由于其与Ising模型的密切联系,QUBO构成了绝热量子计算的核心问题类。

相互关系

描述

QUBO和Ising模型在数学上有着密切的联系,且可以通过适当的变量映射和数学转换相互转化,它们本质上描述的是相似的二进制优化问题。QUBO模型更便于建模,Ising模型可以直接用于专用量子计算机求解器进行求解。专用量子计算机利用光的经典特性通过优化Ising模型来解决QUBO问题,从而在组合优化问题中展现出强大的计算能力,在毫秒级别的时间内找到最优解。

在Ising模型中,每个变量表示的是一个二进制值(通常是+1或-1),代表了物理系统中的“自旋”方向。通常,为了与QUBO模型兼容,变量可以通过简单的映射转换为0和1。

例如使用如下变量代换:

σi=2xi1xi=(σi+1)/2

这样,当σ1时,Xi=1,当σ=1时,Xi=0

而QUBO模型每个变量取值为0或1,这使得在求解时更直接适用于许多优化算法,尤其是量子计算领域的优化方法。

描述

基于 MIT 许可发布