🔬 atomic physics
Tunable state-dependent interactions in collisionally stable mixtures of polar molecules
本文提出了一种在极性分子中编码伪自旋态的方法，并利用双微波屏蔽在抑制碰撞的同时，实现高度可调控的长程、状态相关相互作用，从而促进对量子磁性、液滴和扩展哈伯德模型的 अध्ययन。
⚛️ Category
quant-ph
7375 篇论文
量子物理探索着物质与能量在微观尺度上最奇妙的行为，从神秘的叠加态到跨越空间的纠缠现象，这一领域正不断重塑我们对现实世界的理解。Gist.Science 致力于让深奥的 arXiv 预印本变得触手可及，我们追踪该分类下发布的每一份最新预印本，并为其提供两种解读视角：既包含通俗易懂的科普解读，也涵盖保留核心细节的技术摘要。
无论您是希望快速掌握前沿动态的科研工作者，还是对宇宙奥秘充满好奇的普通读者，这里都能为您提供清晰的研究概览。我们梳理了 arXiv 上量子物理板块的最新成果，确保您能第一时间读懂科学界的最新突破。下方列出了该领域刚刚发布的最新论文及其摘要。
🔬 atomic physics
Deterministic loading of molecular arrays by microwave-assisted collisions
本文提出了一种通过利用微波辅助碰撞来抑制碰撞损失的方法，该方法通过将分子储存在激发态并控制其排斥相互作用，从而实现从分子对中选择性地弹出单个分子，以此实现效率高达96%的分子镊阵列确定性加载。
⚛️ high-energy theory
Curved momentum space and finite Landau spectrum in -Minkowski spacetime
本文通过利用来自德西特动量空间的 -庞加莱卡西米尔算符，推导出了在 -闵可夫斯基时空中恒定磁场内带电标量粒子和自旋-1/2粒子的精确能量谱，揭示了动量空间曲率会诱导出一个最大不变动量，从而使朗道能级谱在依赖于自旋的最高朗道能级处发生截断。
⚛️ quantum physics
Lowering the implementation barrier of neutral-atom quantum computing with agentic workflows
本文介绍了一种代理工作流，该工作流能够将理论量子协议自动转化为在云端中性原子量子处理器上的实验，成功展示了其运行隔夜任务的能力，同时强调了人类专业知识对于科学验证的持续必要性，并指出了近期硬件实现的巨大潜力。
⚛️ quantum physics
Bipartite Bound Information Exists
本文通过证明某些经典相关性需要秘密比特来创建却无法产生可提取密钥，从而证明了二分界限信息的存在，同时阐明了这一现象是由纠缠态上的特定测量选择而非状态本身引起的。
⚛️ quantum physics
OmniQEC: discovering practical quantum error-correcting codes by an AI scientist
OmniQEC 是一个 AI 科学家框架，它利用大语言模型和协同的快慢搜索工作流，通过协同设计代码结构、综合征提取和解码，来发现能够超越现有基准的、具有实用性且硬件友好的量子纠错码。
⚛️ quantum physics
Sampling hard circuits with verifiably high fidelity
本文介绍了一种利用结构化、纠错电路的方法，旨在同时实现可证明的计算难度、高保真度量子态生成以及可验证的保真度认证，并通过一个产生 0.284 态保真度下界的 70 比特 Clifford 电路进行了实验演示。
⚛️ high-energy theory
Krylov-Space Memory Cores
本文引入了“克里洛夫空间记忆核”（Krylov-space memory cores），即热化非积系统克里洛夫空间内具有深度分辨率的定常结构，这些结构揭示了异常初始态如何通过由残余涨落、吉布斯失配和持续电流活动所表征的紧凑区域来保留结构化量子记忆，从而将其与泛指的参考态及积动力学区分开来。
⚛️ quantum physics
A Spectral Proof of the Hypergraph Moore Bound
本文通过建立利用 Kikuchi 矩阵锐利谱界作为核心证明技术的方法，证明了 -均匀超图在具有足够多边数时必包含小的偶覆盖，从而证明了 Feige 2008 年关于超图 Moore 界（Moore bound）的猜想。
💻 logic
Machine-Checked Certificates for the Geometric Half of the Minimum Kochen-Specker Bound
本文通过引入精确的有理情况树证书以及两个独立的检查器（一个基于 Python，另一个在 Lean 4 中经过形式化证明），以机器验证已发布的阻塞数据库中所有 180 个不同图的几何不可嵌入性，从而填补了最小 Kochen–Specker 界限中一个关键的验证空白，以此用经过内核检查的定理取代了未经验证的 Z3 决策，并同时发现了原证明流水线中存在的若干隐藏缺陷与差异并将其解决。