Formalizing the stability of the two Higgs doublet model potential into Lean: identifying an error in the literature
本文通过将 2006 年关于两希格斯二重态模型（2HDM）势稳定性的经典论文形式化至 Lean 定理证明器，首次发现并证实了该文献中存在一个导致其核心定理失效的非平凡错误。
⚛️ Category
hep-ph
499 篇论文
Probing the CP Property of ALP-photon Interactions at Future Lepton Colliders
该论文研究了未来轻子对撞机如何通过分析 过程中末态电子的方位角差分布，来探测同时具有 CP 守恒和 CP 破坏性质的轴子类粒子（ALP）与光子的相互作用，并指出该方法不仅能将灵敏度提升至优于当前电子电偶极矩约束的水平，还能有效区分 ALP 相互作用的 CP 结构。
Nonminimal Lorentz Violation in Atomic and Molecular Spectroscopy Experiments
该论文综述了原子与分子光谱实验中非最小洛伦兹破坏的信号，概述了现有 SME 系数的约束情况，并强调了利用高角动量态进行首次探测未约束系数的潜力。
Gravitational waves in metric-affine bumblebee gravity
本文研究了度规 - 仿射框架下自发破缺洛伦兹对称性的bumblebee模型中的引力波传播与辐射，推导了依赖于背景矢量取向的修正色散关系，分析了两种真空构型下的极化模式与辐射特征，并基于GW170817/GRB 170817A等多信使观测数据对洛伦兹破缺参数给出了天文约束。
Connecting baryon light-front wave functions to quasi-transverse-momentum-dependent correlators in lattice QCD
该论文提出了一种利用格点 QCD 中的等时关联函数提取重子光前波函数的方法，通过算符乘积展开证明了其因子化性质，并验证了波函数的重整化独立性及其演化方程。
The Dark Photon: a 2026 Perspective
这篇论文从 2026 年的视角出发，对暗光子的理论及其在粒子物理研究中的重要性进行了教学式综述，并探讨了利用实验室、天体物理和宇宙学探针开展的搜寻工作。
Effects of fermions in one-loop propagators in the Curci-Ferrari-Delbourgo-Jarvis gauge
本文在 Curci-Ferrari-Delbourgo-Jarvis 规范下，通过引入动力学夸克完成了一圈夸克传播子计算，证实了该框架在红外区域具有稳定性，并表明有限规范参数能更好地复现格点 QCD 趋势，从而为处理具有大质量胶子的微扰 QCD 提供了潜在的红外安全方案。
Precise Predictions for Hadronic Higgs Decays
该论文利用新发展的“广义天线形式”，计算了希格斯玻色子强子衰变（特别是与通道）的喷注率及经典 QCD 事件形状观测量至 NNLO 精度，并对部分观测量匹配了 NNLL 重求和，从而为未来希格斯工厂的精确测量提供了关键理论支持。
Radiative corrections to the nucleon isovector and
该论文通过系统纳入电弱、QCD 和 QED 辐射修正以及高阶π介子质量分裂效应，更新了格点 QCD 与物理轴矢量耦合常数之间的关系，得出总辐射修正为$3.5(2.1)\%5.6(7)\%$），并据此给出了相应的预期格点 QCD 结果。
Cobimaximal mixing pattern from a inverse seesaw model
该论文提出了一种基于对称性和阿贝尔离散对称性的逆跷跷板模型，通过特定的对称性破缺机制实现了钴最大混合模式，并证明在正常质量等级情形下该模型能成功解释宇宙重子不对称性。
Circular stable orbits in realistic static and spherically-symmetric spacetimes
该论文通过数值求解修正的 TOV 方程并匹配外部真空解，研究了 （）引力模型中中子星时空的测地线结构，发现大质量粒子的稳定圆轨道呈现为受恒星中心压强、状态方程及参数 敏感影响的离散径向带，且在该参数范围内外部不存在光子球。
Black Hole Mergers as the Fastest Photon Ring Scramblers
该论文通过映射双黑洞并合后的最终状态，证明了其对应的克尔黑洞构型能使零测地线以自然界最快的速度失稳，从而揭示了黑洞并合产物与其不稳定零轨道之间的深刻联系。
Multimessenger Characterization of High-Energy Neutrino Emission from the Brightest Neutrino-Active Galactic Nuclei
该研究利用费米卫星的亚 GeV 射线数据与中微子能谱相结合，打破了 AGN 湍流日冕中微子发射参数的简并性，并探讨了类 NGC 1068 的射电宁静 AGN 对宇宙中微子背景的贡献，从而为识别更多中微子活跃星系及指导未来分析提供了依据。
Flash from the Past: New Gamma-Ray Constraints on Light CP-even Scalar from SN1987A
该研究利用太阳最大任务（SMM）卫星对 SN1987A 的旧伽马射线观测数据，通过未探测到预期的光子过剩信号，对轻标量粒子与标准模型希格斯玻色子的混合角设定了新的限制。
Fock state probability changes in open quantum systems
本文提出了一种基于路径积分的新方法，用于直接计算开放量子系统中福克态概率的演化，并通过标量场模型及中微子玩具模型的研究表明，初始关联会导致真空或双粒子态概率随时间变化，且较轻的中微子质量会因环境相互作用而产生更显著的粒子数畸变。
How to tame penguins: Advancing to high-precision measurements of and
本文利用 QCD 的味对称性，结合 LHCb 和 Belle-II 的最新 CP 不对称性测量数据，通过控制模式修正企鹅图效应，从而实现了标准模型下介子混合相位和的高精度提取，并展望了未来实验的潜力。
Electromagnetic tomography of radial flow in the quark-gluon plasma
该论文提出了一种通过联合分析热光子和双轻子谱来提取夸克 - 胶子等离子体有效径向流的新型多信使方法，该方法无需不可直接测量的参考基准，为未来在 RHIC 和 LHC 上探测高温 QCD 物质早期动力学提供了具体的实验路线图。
Probing lepton number violating SMEFT operators at the same-sign muon collider
该论文研究了在同号μ子对撞机（TRISTAN）上通过过程探测七维SMEFT算符的潜力，表明其能灵敏测试八个不同算符，并提供了超越现有LHC约束及未来FCC预测的独特新物理探测途径。
Exploring Scalar Leptoquarks at Muon Collider via Indirect Signatures and Right-Handed Neutrino-Assisted Decays
本文研究了在缪子对撞机上通过间接探测（如双喷注谱的高横动量行为）和直接产生（成对及单产生）来寻找耦合轻夸克与右手中微子的标量轻夸克双重态的潜力，发现间接探测在宽质量范围内具有稳健灵敏度，而单产生过程在汤川耦合下可将探测质量上限显著扩展至多TeV能区，从而超越HL-LHC的探测能力。
Magnetic, thermal and rotational evolution of isolated neutron stars
这篇综述文章概述了孤立中子星磁热演化的基础理论，重点介绍了数值方法、基准测试以及从轴对称模拟到全三维模型的最新进展，旨在指导未来的代码开发并深化对中子星多样性的理解。