Formally Verifying Quantum Phase Estimation Circuits with 1,000+ Qubits
本文提出了一种基于无量化位向量逻辑的符号化量子比特抽象方法，成功实现了对包含多达 1,024 个相位量子比特的量子相位估计电路的高效形式化验证，且内存占用低于 3.5 GB。
⚛️ Category
quant-ph
1134 篇论文
Distributed g(2) Retrieval with Atomic Clocks: Eliminating Conventional Sync Protocols
该论文展示了一种利用紧凑型芯片级原子钟进行精确计时，从而在无需传统同步协议的情况下测量分发至远距离的偏振纠缠光子符合计数的方法。
Efficient training of photonic quantum generative models
该论文提出了一种基于最大均值差异的线性光学量子生成模型高效训练方案，利用中间复杂度电路可经典模拟的特性实现“经典训练、量子部署”，并通过数值实验验证了初始化策略和 Ansatz 选择对训练效果的影响。
Quantum algorithm for anisotropic diffusion and convection equations with vector norm scaling
该论文提出了一种用于求解各向异性扩散和对流偏微分方程的量子数值方案，并通过引入向量范数分析证明，相较于传统的算子范数分析，该方法能将扩散和对流方程演化所需的时间步数分别指数级减少 和 倍。
Large Language Model-Assisted Superconducting Qubit Experiments
该论文提出了一种利用大语言模型通过按需生成工具来自动化超导量子比特控制与测量的框架，成功实现了谐振器自主表征及量子非破坏性测量的复现，为复杂量子硬件的实验部署提供了更灵活、用户友好的范式。
Quantum Simulation of Massive Relativistic Fields in 2 + 1 Dimensions
该研究利用均匀二维玻色 - 爱因斯坦凝聚体中两个相干耦合的自旋分量，在二维空间加一维时间的条件下实现了对大质量相对论场（特别是正弦 - 戈登模型）的量子模拟，成功观测到了具有可调质量隙的相对论性色散关系以及拓扑畴壁等非微扰现象，为研究宇宙学相关的预加热、拓扑缺陷动力学及相对论性假真空衰变提供了新途径。
Universal Non-stabilizerness Dynamics Across Quantum Phase Transitions
该论文将非稳定化资源的研究从平衡态拓展至跨越量子相变的含时驱动过程，揭示了在慢速驱动下稳定化Rényi熵和泡利谱累积量随驱动速率呈现普适幂律标度，并发现泡利谱的对数渐近服从高斯分布。
Time delocalization and causality across temporal quantum reference frames
该论文探讨了在关系量子动力学中，当比较不同时间参考系下的涌现动力学时，事件的时间定域性与因果关系的相互作用，并指出将干预操作纳入约束方程本身的第二种方法不仅能确保多时钟视角下因果关系的自洽性，还能自然地描述具有不定因果顺序的量子场景。
The Structure of Circle Graph States
该论文深入刻画了圆图态的局域等价性，证明了圆图态在-局部补操作下封闭且与平面码态存在一一对应，从而给出了圆图态上测量基量子计算可高效经典模拟的简洁证明，并指出计算与给定图态局域等价的状态数量是-难问题。
Quantum Sensing of Birefringence Beyond the Classical Limit with a Hyper-Entangled SU(1,1) Interferometer
本文提出了一种利用双折射耦合的超纠缠 SU(1,1) 干涉仪方案，通过偏振纠缠与非线性增益机制，在考虑实际损耗条件下实现了超越散粒噪声极限的双折射测量，理论预测灵敏度可提升 3 至 15 分贝。
Parallel iQCC Enables 200 Qubit Scale Quantum Chemistry on Accelerated Computing Platforms Surpassing Classical Benchmarks in Ruthenium Catalysts
该论文提出了一种并行 GPU 加速的迭代量子耦合簇（iQCC）方法，通过克服经典模拟瓶颈并避免 barren-plateau 问题，成功在 100 至 124 量子比特规模下模拟了钌催化剂的电子结构，其精度超越密度矩阵重整化群，表明量子化学优势的实际门槛可能远高于此前预期的 50 量子比特。
The uncloneable bit exists
该论文通过利用量子信息原理（特别是纠缠的单体性）证明了无条件安全的量子不可克隆加密方案的存在，确立了自然界中无法被两个非通信 adversaries 同时解密的“不可克隆比特”这一经典密码学无法实现的基本原语。
Random layers for quantum optimal control with exponential expressivity
该论文提出了一种名为 RALLY 的量子最优控制新方法，通过将随机脉冲分组为层并仅优化每层的一个参数（如时长或幅度缩放因子），实现了指数级收敛至均匀 Haar 随机系综，从而以极少的优化参数高效探索酉空间，在多项任务中显著优于现有算法并逼近信息论下限。
Rényi exponent landscape of multipartite entanglement in free-fermion systems
该论文揭示了自由费米子系统中 Rényi 三阶互信息在小费米动量下表现出独特的依赖性标度行为，指出整数阶 Rényi 指数存在导致无法从整数数据重构冯·诺依曼信号的“副本阻碍”现象，而基于负性的度量则能提供显著增强的信号。
Quantum nonlocality: no, yes, how and why
该论文通过区分统计层面的“软”问题与检测序列层面的“硬”问题，论证了贝尔不等式的统计违反并不证明量子非局域性的存在，而基于洛伦兹协变坍缩假设的上下文指令所导致的检测序列非局域性虽无法实验验证，却在计算机模拟中得以体现，且与相对论相容。
High-optical-depth, sub-Doppler-width absorption lines at telecom wavelengths in hot, optically driven rubidium vapor
该研究通过在热铷原子蒸气中利用强控制场修饰中间能级，成功在 1529 nm 通信波段实现了兼具高光学厚度（约 4）与亚多普勒线宽（约 17 MHz）的吸收谱线，从而在无需激光冷却的简单实验平台上克服了多普勒展宽的限制。
Experimental demonstration of optimal measurement for unambiguously discriminating asymmetric qudit states
该研究提出了一种优化投影测量方案，并首次利用光子轨道角动量态在实验中实现了对非对称高维量子态的无误差最优区分。
Genuinely entangled subspaces and strongly nonlocal unextendible biseparable bases in four-partite systems
该论文针对局部维度不小于 3 的四体量子系统，提出了一种构造强非局域未扩展双可分基（UBB）的方法，并基于此构建了具有全二分可蒸馏性的真正纠缠子空间及其具体正交基，为量子非局域性理论及量子信息处理任务提供了重要的理论基础。
Universal Family-Vicsek scaling in quantum gases far from equilibrium
该研究在一维光晶格玻色气体中观测到了通用的 Family-Vicsek 标度律，证实了经典表面生长的普适标度行为可延伸至量子多体系统，从而建立了跨越经典与量子系统的非平衡普适性统一框架。
Toda-like Hamiltonian as a probe for quantized prey-predator dynamics
本文通过分析受约束的 Toda 型哈密顿量的相空间特征，揭示了其在模拟经典 Lotka-Volterra 捕食者 - 猎物动力学时，不仅具有经典稳定性，还展现出由量子扭曲和非微扰修正所定义的量子稳定性，从而为描述竞争性微观生物系统中的量子模式提供了首个预测性理论框架。