We prove that recognizing the phase of matter of an unknown quantum state is quantum computationally hard. More specifically, we show that the quantum computational time of any phase recognition algorithm must grow exponentially in the range of correlations $ξ$ of the unknown state. This exponential growth renders the problem practically infeasible for even moderate correlation ranges, and leads to super-polynomial quantum computational time in the system size $n$ whenever $ξ= ω(\log n)$. Our results apply to a substantial portion of all known phases of matter, including symmetry-breaking phases and symmetry-protected topological phases for any discrete on-site symmetry group in any spatial dimension. To establish this hardness, we extend the study of pseudorandom unitaries (PRUs) to quantum systems with symmetries. We prove that symmetric PRUs exist under standard cryptographic conjectures, and can be constructed in extremely low circuit depths. We also establish hardness for systems with translation invariance and purely classical phases of matter. A key technical limitation is that the locality of the parent Hamiltonians of the states we consider is linear in $ξ$; the complexity of phase recognition for Hamiltonians with constant locality remains an important open question.


翻译:我们证明了识别未知量子态的物质相在量子计算意义下是困难的。具体而言,我们证明了任何相识别算法的量子计算时间必须随未知态关联长度$ξ$呈指数增长。这种指数增长使得该问题即使对于中等关联长度也实际不可行,并且当$ξ= ω(\log n)$时,会导致算法在系统尺寸$n$上具有超多项式量子计算时间。我们的结果适用于所有已知物质相的相当大部分,包括任意空间维度中任意离散局域对称群的对称破缺相和对称保护拓扑相。为确立这一困难性,我们将伪随机幺正算符(PRU)的研究推广至具有对称性的量子系统。我们证明了在标准密码学猜想下对称PRU是存在的,并且可以在极低的电路深度中构造。我们还确立了具有平移不变性及纯经典物质相系统的困难性。一个关键的技术限制在于我们所考虑态的父母哈密顿量的局域性与$ξ$呈线性关系;对于具有常数局域性的哈密顿量,其相识别问题的复杂性仍然是一个重要的开放性问题。

0
下载
关闭预览

相关内容

【剑桥大学-算法手册】Advanced Algorithms, Artificial Intelligence
专知会员服务
36+阅读 · 2024年11月11日
《复杂多学科设计中不确定性缓解实验方法》278页
专知会员服务
43+阅读 · 2024年5月9日
【2023新书】算法与设计复杂度,196页pdf
专知会员服务
78+阅读 · 2023年3月31日
专知会员服务
37+阅读 · 2021年9月12日
「PPT」深度学习中的不确定性估计
专知
27+阅读 · 2019年7月20日
【边缘计算】边缘计算面临的问题
产业智能官
17+阅读 · 2019年5月31日
你的算法可靠吗? 神经网络不确定性度量
专知
40+阅读 · 2019年4月27日
情感计算综述
人工智能学家
34+阅读 · 2019年4月6日
边缘计算(一)——边缘计算的兴起
大数据和云计算技术
12+阅读 · 2018年12月25日
计算文本相似度常用的四种方法
论智
33+阅读 · 2018年5月18日
各种相似性度量及Python实现
机器学习算法与Python学习
11+阅读 · 2017年7月6日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
1+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
2+阅读 · 2015年12月31日
国家自然科学基金
2+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
Arxiv
0+阅读 · 2月19日
VIP会员
最新内容
美军MAVEN项目全面解析:算法战架构
专知会员服务
2+阅读 · 34分钟前
从俄乌战场看“马赛克战”(万字长文)
专知会员服务
0+阅读 · 51分钟前
最新“指挥控制”领域出版物合集(16份)
专知会员服务
9+阅读 · 4月12日
面向军事作战需求开发的人工智能(RAIMOND)
专知会员服务
16+阅读 · 4月12日
远程空中优势:新一代超视距导弹的兴起
专知会员服务
2+阅读 · 4月12日
大语言模型溯因推理的统一分类学与综述
专知会员服务
5+阅读 · 4月12日
相关资讯
「PPT」深度学习中的不确定性估计
专知
27+阅读 · 2019年7月20日
【边缘计算】边缘计算面临的问题
产业智能官
17+阅读 · 2019年5月31日
你的算法可靠吗? 神经网络不确定性度量
专知
40+阅读 · 2019年4月27日
情感计算综述
人工智能学家
34+阅读 · 2019年4月6日
边缘计算(一)——边缘计算的兴起
大数据和云计算技术
12+阅读 · 2018年12月25日
计算文本相似度常用的四种方法
论智
33+阅读 · 2018年5月18日
各种相似性度量及Python实现
机器学习算法与Python学习
11+阅读 · 2017年7月6日
相关基金
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
1+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
2+阅读 · 2015年12月31日
国家自然科学基金
2+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
Top
微信扫码咨询专知VIP会员