基于移动云五岳量子云平台——恒山光量子算力平台的技术实践分享

现有经典计算的软件开发套件并不适用于量子计算，有较高的迁移成本，打破这一技术壁垒是降低量子计算实用化门槛的重中之重。北京玻色量子科技有限公司为了解决这一难题，自研“开物SDK”开发套件，大大降低了开发者门槛，并将该套件上线到移动云五岳量子云平台上，供高校、企业、个人开发者或其他用户使用，不需要学习量子物理的技术原理，即可开发量子算法并在量子计算机真机上完成求解。通过云技术连接用户与量子计算机真机，助力各行各业在“量子+”领域上实现突破。

本文将分享基于五岳量子云平台——恒山光量子算力平台的使用感悟。

“五岳”量子计算云平台提供了融合光量子物理算力和经典算力的全栈量子计算云平台，面向科研用户群体提供云上可便捷调用的光量子计算机算力资源以及多类型量子算法和应用的模拟仿真服务。其中，“恒山光量子算力平台”实现了100计算量子比特相干光量子计算机——“天工量子大脑”安全接入移动云算力底座，端到端实现“数据构建、任务提交、安全鉴权、状态监控、消息互传”的一站式支持，对外提供持续稳定的、任务式的量子真机算力服务。

 “开物SDK”是“天工量子大脑”真机最为重要的支撑之一，也是量子AI最重要的三大支柱之一。“开物SDK”一方面管理问题数据与量子系统底层硬件的映射，另一方面对接真实世界的场景，目的是让真实场景中的问题数据可以有效的转化为底层硬件上的量子关系，帮助用户实现计算。

工具下载及使用教程链接：

五岳量子计算云平台新建真机数据-五岳量子计算云平台快速入门-移动云产品帮助中心 (10086.cn)

当前，“开物SDK”在QUBO模型（二次无约束二值优化模型）转化、自动调参、真机模拟三个方面实现了自动化。用户只需关注建立与场景所对应的数学模型，SDK可以自动分解复杂算法，实现智能优化，一键解决约束项问题，无需接入真机即可模拟编程求解。“天工量子大脑”与“开物SDK”的结合，可以实现自动降阶、自适应约束、自动拆解，高效助力用户将高次模型简化为QUBO模型，使得计算更高效；保证精度平衡，使速度与准确两者兼得；自动分解大规模问题为小规模问题的集合，以实现用较小的量子比特数开销就能够实用于较大规模计算任务求解。
 

开物SDK是一套基于相干光量子计算机求解QUBO问题的软件开发套件，旨在帮助开发者在Python环境下直接构建可适用于相干光量子计算机的软件算法，并提供物理接口（如Ising矩阵）调用量子计算机物理真机。其中，SDK包含多种经典求解器和CIM模拟求解器，前/后处理模块等，将数学算法直接映射为量子计算机可识别的输入，使得开发者不用具备专门的量子物理知识，即可在数学建模层进行量子计算算法开发。目前分4个模块：1.QUBO：针对QUBO提供一系列求解前处理工具2.CIM：CIM求解模块包含模拟求解器和物理机接口等3.classical：包含多种求解QUBO或Ising的经典求解器4.sampler：求解后处理模块，将求解器输出的结果进行数据处理

 

使用相干光量子计算机解Max-Cut最大割问题实践
 

  1.问题描述 

Max-Cut最大割问题是NP-Complete问题。给定一张图，求一种分割方法，将所有顶点分割成两部分，目标是使得被切断的边的数量最大，或边的总权重最大。

以无向无权图为例。在图G(V,E)中，V为图的顶点集合，E为图的边集，w为图的邻接矩阵。对于i，j∈V，wij表示顶点i到顶点j是否有边，有连边关系则取1，无连边关系则取0，以决策变量σi表示顶点i的分类，其可能的取值为1，-1，分别表示将顶点i分为A类或B类。

则在给定的无向图中，将所有顶点分割成两群的分割方法所对应割取的边的个数为Z，模型表示为：

以一个四顶点实例说明，如下图所示，通过观察可以发现将1、2分为A类，3、4分为B类的“割”法将得到问题的最优解Z=4。

通过连边关系可知，邻接矩阵为

当顶点1、2为一组，顶点3、4为另一组时，σ1=σ2=1,σ3=σ4=-1。则上式变为

此时目标函数为

最大割数量为4，符合前文通过观察得到的答案。

注意到，wij为输入的常量，并不影响模型的计算，所以上式可以简化为：

其中，H表示哈密尔顿量，w为输入的邻接矩阵，决策变量σi表示顶点i的分类，上述式子就是一个最大割问题的Ising模型。

 

  2.建模代码输入矩阵 

  3.使用CIM模拟器查看量子比特演化 

查看单次CIM模拟的量子比特演化过程用到了kaiwu.cim.simulator_core模拟器，该模拟器输入CIM-Ising矩阵、pump功率、噪声强度、圈数、圈步长，输出量子比特演化的模拟量，需要注意的是，使用这个模拟器前一般会使用kaiwu.cim.normalizer对输入矩阵的特征值进行归一化：

计算哈密顿量，一般使用未进行归一化的矩阵进行计算：

绘制量子比特演化图与哈密顿量图：

 

 

  4.查看最优解 

查看最优解前：

需要将kaiwu.cim.simulator_core模拟器输出的数据使用kaiwu.sampler.binarizer进行二值化。关于kaiwu.sampler.binarizer我们在本示例中只输入第一个参数表示输入解集，其余参数保持默认即可。

最优解采样：

kaiwu.sampler.optimal_sampler将对二值的解集进行按能量排序，越靠前的解能量越低，即解越优。

取最优解，其中 opt = (解集, 能量)，下面第一个索引取解集，第二个索引取解集第一个解。

  5.使用CIM模拟器进行计算 

若想大规模计算，我们用到了kaiwu.cim.simulator模拟器，该模拟器输入CIM-Ising矩阵、pump功率、噪声强度、圈数、圈步长、归一化因子、独立运行次数，输出量子比特经过去重的二值化值，使用这个模拟器前就不需要使用kaiwu.cim.normalizer对输入矩阵的特征值进行归一化了：

  6.输出结果 

以上，就是通过快速上手开物SDK，使用相干光量子计算机——天工量子大脑550W求解Max-Cut最大割问题的详细步骤啦。

显然，“开物SDK”方便用户只需关注数学模型，基于Python，任意IDE环境均可适配，充分体现出“好用”和“全能”的性能优势。基于天工量子大脑真机，结合开物SDK与量子云服务，玻色量子自研的相干光量子计算技术可以在金融、通信、生命科学、材料化工、AI、电力能源等领域实现基于真实应用场景、真实业务数据、量子真机验证三位一体的应用探索。

同时，玻色量子还构建了一个“场景漏斗”。近一年来，已有数十个不同的场景进入“场景漏斗”，玻色量子已联合移动云等其他上市公司及科研机构产出近10篇场景移植验证成功的学术论文。当千行百业的用户都参与到量子计算的生态中，才能实现终极目标：找到量子计算的可规模扩展、可高频使用的场景。

2023年，为了更好的加速生态建设，玻色量子与北京图象图形学学会、移动云、南方科技大学成功举办首届“五岳杯”量子计算挑战赛。此次赛事共有近2000支队伍，近5000人报名竞赛！参赛者覆盖近500所中国高校，超过900个专业，总计收集到量子计算应用论文2000余份。

这些数字的背后，进一步证明了两点：第一，量子计算的加速能力可以赋能众多领域，只有更多的行业开发者加入，才能让量子计算发挥出真正的能力。第二，通过开物SDK，即使只是大学本科生，通过一定的数学和代码，也可以实现量子计算的使用。

基于天工量子大脑真机和开物SDK，玻色量子将与更多开发者合作，打破各种技术壁垒，更为广泛的实现量子计算实用化。