二次二元优化构造强正则图:QUBO 障碍定理与两种算法
智利天主教大学等机构的研究证明,除完美匹配、鸡尾酒 party 图和五边形三个退化族外,不存在以带标号强正则图(SRG)为精确全局极小值集的边变量二次函数,因此 Conway 的 99 顶点图问题无法用无辅助变量的 QUBO 求解。
智利天主教大学等机构的研究证明,除完美匹配、鸡尾酒 party 图和五边形三个退化族外,不存在以带标号强正则图(SRG)为精确全局极小值集的边变量二次函数,因此 Conway 的 99 顶点图问题无法用无辅助变量的 QUBO 求解。
一篇 arXiv 预印本提出不可能性定理,证明量子参数估计中"待估量存在唯一、先于且独立于测量的真实值"这一实在论假设,与量子态完备性(无隐变量)及探针与被测系统间存在纠缠三条假设不相容。作者指出探针与被测系统的纠缠是标准量子理论的普遍预言,因此若不接受隐变量、也不引入破坏纠缠的新物理机制,对参数估计的实在论解释最终不可能成立。
Xie-Hang Yu 与 Pavel Kos 证明,含局部量子信道(误差)的量子动力学中,晚期混合态投影系综完全由误差信道的归一化 Choi 态决定,且具有普适性,与底层幺正动力学的微观细节无关。
Hongrui Chen、Zhiyan Ding 与 Jianfeng Lu 提出一种证明量子 Gibbs 采样器 L2 与修正对数 Sobolev 不等式的新方法,其常数与系统尺寸无关,适用于满足 KMS 细致平衡的 Lindblad 生成元。
Arclight Quantum Computing 与 HYGON、中国科学院软件研究所等机构提出 ArcTN,一个通过自适应搜索与内存感知切片优化量子线路张量网络收缩排序的框架。
Fujitsu Research of Europe 等机构提出 StateDRIFT,一种利用初态与目标可观测量知识优化采样分布的 qDRIFT 变体,在保留 qDRIFT 截断界的前提下显著降低估计量的偏差与方差。
Cornell University 的 Matthew Can 与 Mark M. Wilde 证明了基于 Petz 解码器的单次纠缠生成与单向纠缠蒸馏界,利用 Cheng 的迹不等式将解码器的不保真度与二元假设检验代价关联,并把误差分析归结为随机子空间的二阶矩计算。
Sandia National Laboratories 与 JILA/University of Colorado 的研究团队推导了在小的门局域马尔可夫噪声下随机化基准测试(RB)衰减参数的解析表达式,证明 Pauli-随机误差率线性贡献于 RB 衰减参数,而 Hamiltonian 误差率通过一个规范不变的二次型贡献。
中国科学院软件研究所与 University of Technology Sydney 团队提出 ConQEC,据称是首个面向量子纠错码(QECC)实现的混合符号(concolic)测试框架。
Rostock 大学与 Tampere 大学的研究者基于微观 Huttner-Barnett 模型的路径积分表述,构建了含色散与吸收的非线性材料中光的量子理论,发现非线性吸收过程会产生非高斯噪声。理论包含 χ(2) 非线性过程所需的立方物质自相互作用,噪声极化由浴响应随机权重的解耦自然导出,立方自相互作用情形下解耦通过 Airy 函数实现。该理论按构造满足非线性涨落-耗散定理。
该研究为有限元结构动力学中的变分量子本征求解器(VQE)建立了评估框架,通过 Cholesky 变换将广义特征值问题映射为对称质量正交哈密顿量,并将高阶模态的简缩惩罚条件锐化为充要阈值。
墨西哥瓜达拉哈拉大学的研究者提出一种方法,将 Husimi Q 函数投影到集体测量空间,通过构造投影 star product 的近似类比来研究两能级系统的量子动力学。该方法将 Liouville 方程改写为近似形式,并用 Hellinger 距离与精确演化对比,结果显示对粒子置换不变的纯态和哈密顿量效果良好,而对任意纯态和非不变哈密顿量则出现偏差。
Phasecraft 与 Virginia Tech 的 Marcos Crichigno 和 Steve Flammia 提出用 AI agents 求解量子线路编译优化问题的方法,每个结果均由冻结的精确验证器认证,验证器本身也由 agent 与研究者共同构建并对照已解案例校验。
Sheffield 大学研究者提出一种利用现成纠缠光子对来纠缠固态量子发射器的方法,可绕开对光学全同发射器的制备需求,适用于发射谱线间隔大、线宽不一致的量子点。该方法在窄带光子输入下对典型量子点演示了 C = 0.95 的 concurrence。
Jan Wiersig(Otto von Guericke University Magdeburg)证明,对所有模式简并于单个全阶 Exceptional Point 的有限维非厄米系统,在固定 EP 衰变率下被动系统的谱响应强度存在一个尖锐上界,且仅当衰变算符为秩一时达到,即秩一损耗是增强全阶 EP 响应的最优配置。
Simula UiB 研究团队探讨了投影量子核(PQK)中经典超参数调优是否会掩盖量子特征映射的真实表达能力,并提出利用两比特纠缠捕获 IoT 数据多元相关性的新型量子特征映射。结果显示,大量调优可使 PQK 达到有竞争力的性能,而所提出的纠缠拓扑展现出显著更强的原生归纳偏置。这表明优越的量子架构设计能带来结构上更优的 PQK,其改进源于量子力学特性而非经典超参数调优。
湖南大学与东京大学团队证明,在开放量子系统中加入简单的重置(reset)通道即可在不改变哈密顿量、不施加连续相干驱动的情况下提升量子计量精度,并推导出统一的量子 Fisher 信息(QFI)重置速率响应恒等式。对于对角动力学下的静态参数估计,重置不改变短时 leading QFI;对流逝时间估计,重置在短时极限下产生可随重置速率平方标度的漂移贡献;对频率估计,增强则由真正的量子本征矢贡献主导。
南京邮电大学理学院团队在级联碰撞框架下研究三比特量子电池系统,发现两比特充电器取 Bell-like 纠缠态及其计算基 Bell-like 可分离态时,存储能量动力学与电池相位 γn 无关,充电涨落消失,而其他纠缠与可分离态均出现涨落。研究为在固有量子随机性下设计均匀充电的量子电池架构提供了充电器态工程范式。
论文提出利用阿秒光电子干涉(RABBIT)认证极端紫外(XUV)阿秒光场纠缠的方案,将光电子干涉映射为光学关联函数测量,得到红外-XUV 纠缠的负部分转置判据以及真多体纠缠(GME)的充分判据,且无需辅助光学测量。作者指出单个边带(sideband)的干涉条纹不足以认证纠缠,需结合中心边带 SB0 与上下边带 SB± 的多通道电子探测来提取所需矩,并讨论了方案向 XUV-XUV 纠缠认证的推广。
Czech Technical University in Prague 与 LAAS-CNRS 的 Llorenç Balada Gaggioli 和 Jakub Mareček 证明,为容忍输入错误,任何 stabilizer 协议(无论自适应、后选择或多级)都不优于对单个 stabilizer 码的投影,且对有理目标,故障模式有害当且仅当其补集有害。
Leibniz University Hannover 与 Helmholtz-Zentrum Berlin 的研究者提出一阶和二阶范数感知乘积公式,用于在量子计算机上高效求解量子力学薛定谔方程。
北京计算科学研究中心与东南大学团队在一维量子行走(QW)中证明,单个非厄米缺陷即可诱导无标度局域化,其局域化长度随系统尺寸线性标度。非厄米性驱动系统经历伪厄米(PH)相变,PH 对称性破缺伴随无标度局域化出现;继续增大非厄米性,系统发生第二次相变,出现两对束缚态,两个相变的临界点均由局域化性质确定。该机制在二维量子行走中同样成立,表明现象具有普适性。
四川师范大学团队提出基于 stabilizer 码综合征投影的量子纠错级联组织框架,指出单层 QEC 会将物理噪声映射为由码几何决定的块对角逻辑信道,无需物理 Pauli twirl。
Harvard University 的 Anurag Anshu 与 UC Berkeley 的 Quynh T. Nguyen 给出了 port-based teleportation(PBT)的一个初等高效线路,深度为 polylog(N, d),其中 N 为共享 EPR 态数目、d 为局域维度。
UCLA、QuEra Computing 与 Rutgers 团队提出一种按电路需求动态分配路由空间的 lattice-surgery 编译器与协同设计架构:虚拟量子比特布局固定,但物理间距可在执行阶段间变化。在应用基准上,该方法的时空体积几何平均降低 55.6%,编译速度比 DasCot 配置快 75.5 倍。电路综合案例研究展示了编译器暴露的优化权衡。
研究者在中心自旋模型(单个辅助自旋 Scen 通过星形拓扑耦合 N 个浴自旋)上实现了基于时间反转的量子增强计量,SATIN 回波协议配合集体 ⟨Jy⟩ 读出达到 N²/e 的 Fisher 信息,距 Heisenberg 极限 4.34 dB。
台湾大学团队将 CZ 门最优控制框架扩展至耦合强度、非简谐性与零磁通比特频率的不确定性,按其扰动哈密顿量非对角耦合或对角失谐进行分类并给出对应抑制机制。
清华大学、Zhongguancun Laboratory 与中科院软件所团队发布 FVQKD——一个用 Rocq 机器检验 QKD 安全性证明的库,完成 BB84 可组合有限密钥安全性的首个端到端机器检验完整证明。
北京航空航天大学 Hao-Fan Wang 与 Lin Chen 证明,在高阶 Bargmann 不变量为零的条件下,量子比特态组的集合相干性与集合 imaginarity 均等价于其中含有一对正交态。具体而言,排除最大混合态后,同一组态无 imaginarity 当且仅当含一对正交态;由此,单量子比特态组有 imaginarity 当且仅当删去任一态后剩余态组均相干。
香港理工大学与 Australian National University 研究团队在 Heisenberg 绘景下,用双线性量子随机微分方程(QSDEs)对量子有限能级系统做了系统的结构分析。
东京大学 Komaba Institute for Science(KIS)与 RIKEN Center for Quantum Computing(RQC)团队提出并演示了一种离子阱微运动补偿方法:通过辅助 RF 驱动将离子偏离 RF 零点的位移转化为基态冷却运动模的相干激发,并经量子比特读出,最优补偿场的 1σ 统计不确定度为 8 mV/m。
浙江师范大学团队提出用有限速率量子 Otto 循环作为热力学探针,探测广义 Aubry-André-Harper 链中准周期谱的动态可达性。研究表明功涨落统计由同时动态耦合、热占据且能量显著的跃迁通道决定,扩展、近临界与交叉协议的功涨落不呈普适排序;正平均功可与强非绝热布居转移共存,且存在正功循环占多数而平均功为负的有限速率窗口,该行为在有限尺寸分析中依然成立。
研究给出单层 QAOA 中问题结构的数学刻画:该结构由问题 cost 值与 mixer 相关行走计数决定的计算基最粗划分所诱导的联合概率分布编码,类间统计依赖可量化可用结构并给出指数放大的必要条件。
University of Oslo 的 Jan Gulla 和 Johannes Skaar 综述了相对论粒子定域化问题,提出通过局域测量来定义定域性,并将其与相对论因果性直接关联。
University of Southern California 与 University of Michigan 团队提出分布式双梳光谱方案,由单个双模压缩频率梳经无源分束器阵列分配为 K 个纠缠梳,同时利用空间域与频谱域纠缠提升宽带光谱信息提取。
Aalto University 与 Loughborough University 研究团队指出,看似自然的"精确替换热库占据数并保留系统—热库相干性"的量子重置协议未必对应物理的费米子态,转而构造了由独立、粒子数守恒的热衰减器组成的双库协议,按构造即满足完全正性与费米子可容许性。
该论文报告通过在微波等离子体化学气相沉积过程中定时注入GeH4,将锗空位(GeV−)定位到金刚石中厚度小于10 nm的层内,层内Ge浓度达17 ppm且环境无应变。
University of Ottawa 等机构的研究团队为 Pauli-based computation(PBC)给出了一种范式形式(normal form),完整刻画其自适应与纠缠结构,将 PBC 与单向量子计算统一为对偶的"时间反演"对应关系。
哥本哈根大学与 IBM Quantum 团队研究了 Bivariate Bicycle (BB) 码中导致 BP OSD 解码器失效的低权重错误配置。研究表明,在码容量下,BP OSD 会在权重远小于 d/2 的错误上失败,其根源是解码图的全局对称性阻碍了并行 BP 的收敛。通过修改 BP 更新规则和解码器实现,团队缓解了这些失效机制,显著降低了逻辑错误率。
The University of Arizona 的 Christos N. Gagatsos 证明,在固定平均光子数且无辅助系统的条件下,判别两个作用于玻色模式的量子信道时纯态探针最优:对任意混态探针都存在平均光子数完全相同的纯态探针,其性能至少不差。