Redian新闻
>
量子扩散,让独立集问题的解在量子态空间中自然“涌现”

量子扩散,让独立集问题的解在量子态空间中自然“涌现”

公众号新闻

最大团问题和最大独立集问题
考虑一个社交网络,用网络中的顶点代表人,网络中的边代表两人互相认识,而网络中一群相互认识的人,我们可以用一个由相应顶点两两连接构成的子图表示,并称之为团。如果想知道一个社交网络中有哪些共同朋友的群体以及其中最大的群体是哪个,我们该如何搜索寻找呢?这便是著名的最大团问题(Maximum Clique Problem),它属于一类NP难(NP-hard)问题。在计算复杂度理论中,如果求解一个问题的时间T随输入大小n呈多项式增长,即T(n) = O(nk),则称该问题为Polynomial复杂度问题,即P问题,这类问题容易求解。如果一个问题的解可以在多项式时间内被猜测和验证,则该问题称为 Nondeterministic Polynomial复杂度问题,简称NP问题,Nondeterministic意味着没有可遵循的特定规则来猜测该问题的解,一般认为不存在精确算法可以高效求解它。著名的整数质因子分解就是一个NP问题。NP难问题本身不是NP问题,但是如果任何一个NP难问题被证明是一个P问题,那么所有的NP问题就一定是P问题,即P=NP。(目前P=NP并未得到证明,且多数人相信P≠NP。)在图论中,最大团问题可用于社交网络分析,以识别具有共同兴趣、爱好或信仰的人群,除此之外,最大团问题在计算化学、生物信息学等领域也有诸多应用。

图1:社交网络示意图
最大团问题或团问题可以等价地转化为无向图上的独立集问题(Independent Set Problem)。它描述的是一个无向图中那些由两两不相邻的顶点所组成的集合。对于一张由V个顶点,E条边构成的图G(V, E),它的某一个独立集S是由图中若干顶点组成的,且要求S中任意两个顶点之间没有边的连接,每一个独立集所包含的顶点数目被定义为该独立集的基数,其中基数最大的独立集则称之为图G(V, E)的最大独立集。由于无向图中的一个团同时也是该无向图补图中的一个独立集,因此最大独立集问题与最大团问题在计算复杂度上是相互等价的。(在图论中,补图是指将原图中相邻边删去,不相邻边连接后形成的图。)

图2:十顶点彼得森图(左侧)及其补图(右侧)

图3:图G(8,7)的5个最大独立集
以图3中图G(8, 7)为例,我们将不属于独立集的空心点用二进制数0来表示,将属于独立集的实心点用二进制数1来表示,经过计算我们发现实心点个数最多为4个,例如图中的5种最大独立集(图3中右侧所示),可用8位二进制数表示。解决独立集问题或最大独立集问题在经济学、生物学、计算机视觉等领域有着广泛的应用。目前对于线图、平面图、树图等典型结构,寻找它们所有的最大独立集是一个Polynomial复杂度问题, 即P问题,可以用经典算法高效解决。然而,对于一般图,枚举或者计算其最大独立集数量已经被证明是NP难问题[1]。因此,计算机科学家们的普遍共识是:不存在精确求解一般图最大独立集问题的高效算法。因此如何利用量子计算的优势高效寻找一般图中的独立集,并进一步探索其最大独立集的问题是一个非常有趣和重要的问题。最近人们发现求解独立集问题可以自然地映射为一类求解哈密顿量基态的问题,然后利用量子绝热演化来获得基态。而随着实验技术的不断发展,操控量子系统作绝热演化已经成为可能[2-3]。
绝热量子计算
在过去的几十年里,由于量子绝热算法在解决一般基态问题方面比经典算法具有潜在的加速能力,因此人们付出了巨大的努力来设计和扩展量子绝热算法的能力,这些算法在计算化学、材料科学、机械制造等领域有着广泛的应用。
绝热量子计算的基本思想是:首先设计一个目标哈密顿量HP使得它的基态是我们所感兴趣的问题的解(它是未知的因此无法直接制备)。然后,我们再设计一个简单的哈密顿量HB,它的基态不但已知而且实验上易于制备。在实验中,我们将系统初始化为哈密顿量HB而且让其处于基态。接下来,通过施加外场的方式驱动该简单哈密顿量HB作绝热演化,使其缓慢演化为目标哈密顿量HP。根据绝热量子理论,系统在绝热演化过程中将会一直保持在基态,所以当演化结束后,系统所处的最终状态即为目标哈密顿量HP的基态,这正是该问题的解。


图4:系统的含时哈密顿量H(t)。t为时间参量,初始时t为0,演化结束时t为1

绝热量子计算的时间复杂度是指完成绝热演算所需的时间,与哈密顿量的本征能隙有关。具体地说,如果系统处于基态,在绝热演化过程中,基态与第一激发态之间的能隙Δ将给出系统演化速度的上界,当Δ越小时,系统的演化速度就越慢。整个算法的运行时间可以被约束为:


这里Δ代表H(t)的最小能缝,如图5所示

图5:绝热演化过程中系统能量E(t)随时间t的演化

虽然上述传统的由HB到HP的绝热演化方案简单且常用,但如何选择合适的初始哈密顿量HB使得能隙Δ尽量大仍是一项具有挑战性的任务。对于大多数的选择,能隙Δ会随系统大小n指数减小,这样得到的量子绝热算法是指数慢的,和相应的经典算法比没有优越性。
幸运的是,对于独立集问题,我们可以成功地避开这个困难。对应图G(V, E),我们构建如下多体哈密顿量其目标哈密顿量
这个哈密顿量的基态是简并的,它们和图G(V, E)的独立集一一对应。有别于传统的绝热演化方案,我们将哈密顿量同时设置为初始和目标哈密顿量,在绝热演化中每一个自旋缓慢旋转。由于基态简并,系统在演化中会等效地感受到一个非阿贝尔规范势(Non-Abelian Gauge Field)或非阿贝尔贝里联络(Non-Abelian Berry Connection)。这样一来,一个初始的易于制备的系统基态(如直积态|0⟩⊗n)将演化成为包含哈密顿量所有基态(对应独立集问题所有解)的相干叠加态∑an|gn⟩,最后,我们通过量子投影测量读出这个波函数中包含的解的信息,从而解决相应的独立集问题。这便是我们最近实验工作中用于求解独立集问题的量子算法的基本演算流程。
我们称这个与传统的绝热演化算法不同的方法为非阿贝尔绝热量子混合算法[4],在解决独立集问题上的它具有两个独特优势:(1)在绝热演化过程中,系统基态和第一激发态之间的能隙Δ是一个保持不变的常数4J,其中J是一个描述系统中两体相互作用耦合强度的基本参数。换句话说,我们算法中的能隙Δ与待求解的独立集问题G(V, E)的大小和结构均无关,这就确保了我们的算法具有一个恒定的运行时间,而且这比解决独立集问题中态制备和读出的时间短很多。(2)驱动哈密顿量演化只需要局部的幺正操作即可(例如绕固定轴的单比特旋转操作),这大大降低了实验中对量子系统的操控难度,使得利用可调线性光学量子线路来演示非阿贝尔绝热量子混合算法也是可行的。
量子扩散
从物理图像上看,非阿贝尔绝热混合过程可以等效看作一个粒子在高维中值图中的量子扩散现象[4]。对于一个图G(V, E),中值图里的顶点是它的独立集,当且仅当两个独立集之间的汉明距离(Hamming distance)为一时,两个顶点之间会有实线相连。为了更明确地阐明这种量子扩散过程,我们以代表性图G(8, 7)为例,可以看到系统最初被制备在一个简单的基态|g0⟩上,在八维中值图中我们用中心的黑点来表示(图6左上图)。在系统绝热演化过程中,系统初态逐渐演化为中间哈密顿量的基态,对应于八维中值图中心的黑点逐渐向四周扩散的过程,同时也是独立集问题的解开始在希尔伯特空间中自然“涌现”的过程,这里黑点和蓝点分别代表正确的基态,而红色和空心点代表错误的基态(图6右图)。最后,随着系统哈密顿量重新回到初始时的,系统的基态最终演化为哈密顿量所有基态的相干叠加,对应于八维中值图中的扩散结束,所有代表错误解的红点消失,而代表正确解的黑点和蓝点以大致相等的概率分布在八维中值图中(图6左下图)

图6:八维中值图中的量子扩散过程
基于上述理论模型,中国科大潘建伟、陈宇翱、姚星灿等与北京大学吴飙、美国麻省理工学院Frank Wilczek合作,首次在线性光学量子线路中演示了非阿贝尔绝热量子混合算法,并成功求解了若干个独立集问题,其中对图G(8, 7)的求解成功概率达到了87.5%,非平庸解占比达到31.4%。实验中还观测到量子态在高维中值图空间中的量子扩散过程,为利用非阿贝尔绝热混合算法解决具有内禀非阿贝尔规范对称性的组合优化问题铺平了道路,相关成果最近刊登在了《美国国家科学院院刊》(PNAS)[5]。
未来,研究者们还会继续改进现有的绝热量子算法模型[6],尝试提高最大独立集和非平庸独立集的求解概率,通过降低系统噪声来压制得到错误解的概率,并进一步探索在离子、原子等其他物理系统中实现更大尺度独立集问题的求解,在NISQ时代为量子计算解决特定复杂问题提供新的思路和开辟新的道路。
感谢吴飙教授对本文写作的帮助。

参考资料


[1] https://epubs.siam.org/doi/abs/10.1137/0208032
[2] https://www.science.org/doi/10.1126/science.1057726
[3] https://journals.aps.org/rmp/abstract/10.1103/RevModPhys.80.1061
[4] https://journals.aps.org/pra/abstract/10.1103/PhysRevA.101.012318.
[5] https://www.pnas.org/doi/epdf/10.1073/pnas.2212323120
[6] https://cpl.iphy.ac.cn/10.1088/0256-307X/38/3/030304

本文2023年5月24日发表于微信公众号 墨子沙龙量子扩散,让独立集问题的解在量子态空间中自然“涌现”,风云之授权载。


■ 扩展阅读

我种了40年“太阳”,为了点亮那盏灯 | 墨子沙龙

科学界最新Flag:10年内实现可控核聚变|墨子沙龙

【诺奖得主Wilczek科普专栏】用“CT”看量子世界|蔻享学术

袁岚峰:科普核聚变

袁岚峰:科普核聚变补遗

用日星的能量上升到神的高度——科普核聚变 | 袁岚峰

MIT要实现可控核聚变了?专家认为没这么简单 | 袁岚峰



风云之声


科学 · 爱国 · 价值

微信扫码关注该文公众号作者

戳这里提交新闻线索和高质量文章给我们。
相关阅读
收入高还不卷?这些顶级的金融工程项目,让你在量化行业稳稳躺赢~绿研院日报 | 刘庆峰:把认知大模型的“智慧涌现”掌握在中国人手里大坝被毁之后,世界最长液氨管道被炸!“毒云”扩散,乌士兵中毒身亡!俄国防部:乌克兰破坏小组炸的我开了十多年的二手车大老板避免英特尔的 AVX-512 指令集问题,AMD 要走属于自己的“大小核”CPU 道路44图详解《最高人民法院关于审理建设工程施工合同纠纷案件适用法律问题的解释(一)》免费领 | 斯奎尔全脑数学,锻炼孩子数学思维,让孩子学会自主独立思考,拥有解决问题的能力!最高法 最高检《关于办理强奸、猥亵未成年人刑事案件适用法律若干问题的解释》“九章”光量子计算原型机求解图论问题 | 量子科话量子不再神秘,你能体验到的量子技术——量子计算云平台|彭承志H1B中签率创历史新低!裁员潮持续扩散,旅游签可在美找工作,美国就业签证的冰火两重天……中科院量子信息与量子科技创新研究院在寻找粒子自旋与引力的耦合方面取得重要进展|量子科话硬核观察 #1057 谷歌再次重申“量子霸权”,声称制造了 70 个量子比特的量子超级计算扩散模型还能预测地震和犯罪?清华团队最新研究提出时空扩散点过程马拉松摸底测验当“衡水模式”在县中扩散,青少年心理危机更严重了【十大券商一周策略】TMT还能上车吗?1浪尚未结束!数字经济主线扩散,二季度可以积极些最新!上交所对发行上市4个问题的解答牛剑录取率跌至10年最低!学霸却还纷纷“涌”向英国:四年本硕只花一半的钱,真香!空间计算、AIGC……创新场景涌现,创业者开拓RTE边界|超音速计划惊爆!草莓引发甲肝扩散,Costco、沃尔玛正在召回!30万死! 致死率90%的冠状病毒或已扩散,有史最大规模,猫岛变坟场僵尸药在美国扩散,比芬太尼更可怕,吸食者变行尸走肉…玻璃缸里的孙凤 (6)美国高校顶级金融工程项目,让你在量化行业稳稳躺赢~是什么让ChatGPT变得如此聪明?仍然未知的大语言模型“能力涌现”现象 |【经纬科创汇*AI】(古詩詞英譯) 詩經.曹風.蜉蝣四维合成空间中本征拓扑非平庸的第二陈晶体朱民对话瑞·达利欧:美国银行业危机将扩散,美联储更难控制通胀杨东平 徐凯文 | 当“衡水模式”在县中扩散,青少年心理危机更严重了马斯克已离开上海,黄仁勋拟本月赴华,百度网盘回应从苹果应用商店下架,荣耀回应成立集成电路设计新公司,这就是今天的其他大新闻!神秘的“涌现”,AI有自我意识了吗??自旋三态配对密度波⸺全新的奇异量子态 | Ising专栏北京量子院量子工程研究部招聘半导体微纳加工工程师1名(支持半导体量子计算团队)
logo
联系我们隐私协议©2024 redian.news
Redian新闻
Redian.news刊载任何文章,不代表同意其说法或描述,仅为提供更多信息,也不构成任何建议。文章信息的合法性及真实性由其作者负责,与Redian.news及其运营公司无关。欢迎投稿,如发现稿件侵权,或作者不愿在本网发表文章,请版权拥有者通知本网处理。