通过在稀疏访问模型中证明量子线性系统求解器猜想的下界 Ω(κ√s log(1/ε))，解决了一个关键的开放问题，建立了复杂性对条件数、稀疏度和目标精度的紧依赖关系。

#量子算法 #量子复杂性 #研究

通过证明在量子电路中添加新的2-量子比特门对时复杂性严格增加，扩展了已证实的Brown-Susskind猜想，推进了对量子计算缩放的理论理解。

#量子电路 #量子复杂性 #研究

完整刻画了SU(2N)上右不变黎曼度量的等距群，从而为量子复杂性分析提供了严格的几何方法，并应用于全息对偶和量子回路复杂性界的研究。

#量子复杂性 #量子算法 #研究

FormalFlow系统协调AI代理对低个体度测试的量子可靠性进行形式化，这是MIP*=RE中的核心定理。系统在63天内完成了126,367行已验证的Lean代码，同时发现并修正了已发表证明中的多个错误。

#量子复杂性 #形式化数学 #定理证明

证明了量子算法需要指数级 Ω(2^(n/24)) 次查询来在焊接树中找到入口到出口的路径，使用压缩预言机分析解决了关于量子加速范围的开放问题。

#量子算法 #量子复杂性 #研究

通过结合 Schrijver 的 theta 界与关联格式理论的新型谱刚性条件，证明了多个图族的量子图同态问题的 RE 完全性，建立了量子复杂性分类的关键结果。

#量子复杂性 #图同态 #研究

证明了团复形中的扭转检测是QMA₁-困难的，将量子复杂性结果从贝蒂数扩展开去。扭转——对谱方法不可见的拓扑信息——通过从模2同调的约化变得可访问，对量子拓扑具有影响...

#量子算法 #拓扑数据分析 #量子复杂性

研究人员证明了贝蒂数估计——一个关键的拓扑数据分析问题——对于经典和量子算法在平均情况下都是计算困难的，通过从植入团问题的规约证明。结果确定了量子在拓扑数据分析中仍可能具有优势的领域。

#量子算法 #拓扑数据分析 #量子复杂性

研究人员证明了QMA=QMA1，展示了量子Merlin-Arthur证明系统在使用Hadamard门、Toffoli门和X门的通用门集的情况下，可以在不损失计算能力的前提下实现完全性。

#量子复杂性 #量子证明 #研究

解决一个20年前的猜想：在傅里叶层级的所有连续层级之间证明了预言机分离，确立了每个额外的哈达玛层严格增加量子计算能力。

#量子算法 #量子复杂性 #研究

证明了三个量子复杂性类别是等价的，通过对对称张量态使用无维度稳定性界，解决了关于纯态量子证明系统及其与标准QMA关系的开放猜想。

#量子复杂性 #量子算法 #研究

对求解量子超图最大割的量子算法的平均情况困难性结果。利用量子重叠间隙性质框架，证明对于足够大的系统局部性，稳定且局部的量子算法会失效，将经典复杂性理论扩展到量子领域。

#量子算法 #量子复杂性 #研究

新的乘法对抗推导恢复了近似计数的细粒度量子查询复杂度界，提供了对汉明权重层演化的直接分析和显式的查询级别进度跟踪。

#量子算法 #量子复杂性 #量子信息

研究确立了多方通信中的指数分离：经典公共随机性通过O(log n)比特解决协调问题，而非纠缠量子协议需要Ω(n^((k-1)/(k+1)))量子比特。证明了量子叠加态无法高效模拟经典...

#量子通信 #量子复杂性 #研究

理论研究表明承诺问题在相对化设置中表现出与语言根本不同的行为。改进了量子-经典多项式层级的上界，并证明了PromiseBQP在健壮预言机访问下的自低性。

#量子复杂性 #理论计算机科学 #研究

表明二折Forrelation问题可以由多项式大小的常数深度量子电路求解，在标准输入上建立了量子（QAC0）和经典（AC0）浅层电路之间的自然分离，推进了对量子电路复杂性的理论理解。

#量子复杂性 #量子电路 #研究

我们证明了量子算法在计数正伯努利分布方面达到二次加速，通过新颖的布尔-平均情况复合定理建立接近匹配的界：Õ(√ρ/(Δϵ))上界和Ω(√ρ/(Δϵ))下界。

#量子算法 #量子复杂性 #研究

在半正定规划复杂度上建立了定量下界，用于近似可分离量子态的性质，改进了之前的准多项式界，并提供了关于纠缠认证困难性的见解。

#量子复杂性 #量子信息 #研究

针对循环着色的首个量子下界，利用超越经典模型的量子算法结构。证明单向一轮量子算法无法以高概率对有向循环进行4着色，建立了分布式量子计算中的基本限制。

#量子算法 #分布式计算 #量子复杂性

利用量子信息论和表示论技术，为任意有限群上的泛化隐移位问题的样本复杂性建立上界和下界。

#量子算法 #量子复杂性 #研究