可积砖墙电路中算符纠缠的平方根增长反例
作者给出一个四态可积砖墙电路反例，其中局部算符的冯·诺伊曼纠缠以 加上 的形式增长，而固定指标的 Rényi 纠缠在指标低于1时线性增长、高于1时对数增长。
动态展示门槛：AI 前沿与应用 ≥ 65 分，量子方向 ≥ 60 分；已确认精选照常展示。
#复杂性
arXiv · quant-ph arXiv · quant-ph 具有有限记忆的量子过程序贯容量研究
Yibin Wang 提出序贯响应容量，用于衡量固定内部记忆的量子设备在多轮自适应测试中区分候选过程的能力。基于论文摘要，研究建立了固定系统规模、记忆规模和概率分辨率下容量与运行长度、概率分辨率的紧致关系，并报告容量随运行长度呈 K log K 增长；单可见比特上的时变相位旋转构造可达到该增长。
arXiv · quant-ph 研究者提出无需 conditioning 的非均匀量子 Fourier 与 Chebyshev 变换算法
作者提出一种无需 conditioning 的非均匀 Chebyshev 变换量子算法，适用于在 x∈[-1,1] 上均匀、在角度 θ=arccos x 上非均匀的 Chebyshev 节点，并使误差界不再依赖既有方法中的几何参数 κ。
arXiv · quant-ph Minbo Gao、Tianshi Yu 和 Lihong Zhi 通过线性系统博弈构造 Tsirelson 问题逼近形式的显式反例
Minbo Gao、Tianshi Yu 和 Lihong Zhi 构造了一个显式二元线性系统博弈，分离有限维量子相关集 C_qa 与对易算符相关集 C_qc。
arXiv · quant-ph 量子检索实现数据压缩：自适应与非自适应查询方案
该研究提出用量子检索实现数据压缩，并分别分析自适应与非自适应查询下的压缩空间。在自适应查询情形下，作者报告压缩长度可在对数因子内达到最优；在非自适应查询情形下，方案对 m 的依赖在对数因子内最优，而对 n 的依赖至多比最优值差二次方。上述结果基于论文摘要，范围限于标准 oracle 编码和最多 t 次量子查询。
arXiv · quant-ph 研究确定集体对角酉变换的精确 LCU 采样开销及连分数分类
作者基于论文摘要证明，集体对角酉变换在一层单比特旋转上的最小 LCU 采样开销由 γ/π 的连分数决定。对最简有理角 πp/q，当 n≥2q−2 时，开销恰为 q，且均匀 q 点采样器达到该结果；开销随 n 呈 当且仅当 γ/π 坏可逼近，随 n 有界当且仅当其为有理数。
arXiv · quant-ph 一维量子 Gibbs 采样器在任意固定正温度下实现快速混合
基于论文摘要，作者证明一般一维非交换局域自旋系统的量子 Gibbs 采样器在任意固定正温度下均可快速混合：对含 n 个站点的系统，KMS 详细平衡采样器从任意初始状态达到迹范数误差 ε 的时间为 ，优于此前 的界。
arXiv · quant-ph 高阶网络Hodge Laplacian线性方程求解的量子复杂性
论文证明，在指定的稀疏预言机模型和参数承诺下，制备编码Hodge Laplacian线性方程归一化最小范数解的量子态是BQP困难的。作者通过一系列可高效恢复前序线性方程归一化最小范数解的归约，并结合相关判定问题的量子算法，证明该问题为BQP完备；以上结论基于论文摘要。
arXiv · quant-ph 费米子随机性的 Magic 成本
作者在论文摘要中提出，费米子随机性需要随系统规模增长的非高斯输入资源：对于4N模式上由有界大小块组成的纯半填充态，一体缺陷密度达到最大时 asymptotically 可恢复完整的Porter-Thomas矩层级。归一化碰撞矩的渐近值为2N/ν，ν为自然轨道占据方差之和；该量还下界确定性精确制备中非高斯资源模式与保宇称局域门的组合成本，并可由两拷贝数涨落直接测量。
arXiv · quant-ph 译码量子干涉测量在流式场景下获得指数级量子优势
基于论文摘要，作者证明译码量子干涉测量（DQI）在流式设置中具有可证明的量子优势。针对由 Hermite 插值和 Hasse 导数定义的多项式约束问题，量子算法单遍读取输入、满足93%的约束，并使用多对数空间及每个输入条目的多对数计算时间；满足76%约束的经典算法则需要多项式空间，即使允许多项数次读取和无限时间。
arXiv · quant-ph 基于分数块灵敏度的含噪量子查询复杂性下界
基于论文摘要，Mehil Agarwal、Shravas Rao 和 Fang Song 以分数块灵敏度（fbs）研究不完美预言机访问下的量子查询复杂度，证明疏忽型预言机、混合查询及独立去相位噪声的多种下界。
arXiv · quant-ph Tal Barak 完整证明加权有谱隙 Clique Homology 的 QMA₁ 困难性
Tal Barak 完整证明了固定高效可计算的 k(n) 和逆多项式 γ(n) 下，加权有谱隙 clique homology 对 QMA₁(\mathcal G) 困难。
arXiv · quant-ph精选 双图性与扩张性测试获得近似最优的 \widetilde{\Omega}(N^{1/3}) 量子查询下界
Chandrima Kayal、Sayantan Sen 和 Dániel Szabó 在基于论文摘要的研究中证明了双图性与扩张性测试均需要 \widetilde{\Omega}(N^{1/3}) 次量子查询。该结果将两类问题在多项式对数因子意义下的量子查询复杂度刻画为近似最优，方法依赖中间问题、归约以及对多项式的更精细分析。
本站判断：基于论文摘要，该研究将双图性和扩张性测试的量子查询下界推进至近似紧的 \widetilde{\Omega}(N^{1/3})，从而在多项式对数因子意义下刻画了两类问题的量子查询复杂度。证明通过引入与原问题相互归约的中间问题，并更精细地分析相关多项式；其影响主要针对量子查询模型，不直接涉及具体硬件实现。
arXiv · quant-ph 时间反演对称性认证的纠缠查询复杂度下界研究
研究作者提出仅使用前向访问和可信量子操作的时间反演对称性认证测试，并证明可靠区分时间反演对称 circular ensembles 与 Haar 随机 n 比特酉动力学需要 次查询，其中 e 为探针和测量的对数纠缠负性中的较小值。使用最大纠缠探针和 SWAP 测量可将查询次数降至常数，任意固定且兼容的探针与测量也可获得对应的复杂度关系。
arXiv · quant-ph 通过准过程函数刻画n量子比特酉变换
基于论文摘要，作者提出用准过程函数将任意n量子比特酉变换规范表示为准过程函数酉变换（qPFU），并用该表示理解无纠缠量子非定域性以及因果顺序与局域性的权衡。研究给出控制条件的互斥性（MECC）和无歧义性两个充分但非必要条件，且证明二者不等价；此外，作者将MECC酉变换的电路深度联系到Hamming图上的团划分问题，并据此给出深度界和过程函数酉纯化构造。
arXiv · quant-ph 从3SUM到在线SetDisjointness的量子细粒度下界
作者提出从3SUM到在线SetDisjointness的次线性时间量子约简，并给出从3XOR出发的类似约简。基于论文摘要，这些结果将量子3SUM猜想转化为具有O(N^p)预处理时间和O(N^q)查询时间的量子SetDisjointness算法的p+2q≥1权衡下界。