arXivDaily arXiv每日学术速递 周一至周五更新
重置
全部学科分类 2157
2605.20097 2026-05-20 math.QA math-ph math.AG math.DG math.MP

The Hitchin and Knizhnik-Zamolodchikov connections are projectively equivalent in the genus zero case

希金斯和齐齐内克-扎莫洛多奇基夫连接在亏格为零的情况下是项目等价的

Jørgen Ellegaard Andersen, Tim Henke

AI总结 本文研究了在亏格为零且至少有三个标记点的情况下,齐齐内克-扎莫洛多奇基夫连接与希金斯连接之间的项目等价性,通过构造和分析这两个连接的向量丛来证明其等价性。

详情
AI中文摘要

本文建立了在亏格为零且至少有三个标记点的情况下,齐齐内克-扎莫洛多奇基夫连接与希金斯连接之间的项目等价性。齐齐内克-扎莫洛多奇基夫连接定义在Tsuchiya-Ueno-Yamada模型的共形块sheaf上,而希金斯连接则定义在通过模空间的几何量子化构造的Verlinde丛上。Pauly的同构证明了这两个向量丛的等价性。本文的主要定理是该同构将这两个连接在标量值的一形式下相互关联。此外,该定理还被用来通过辅助的元摄引数修正构造希金斯连接。作为主要定理的一个推论,这种构造的希金斯连接是项目唯一的且项目平坦的。

英文摘要

This paper establishes the projective equivalence between the Knizhnik-Zamolodchikov connection and the Hitchin connection in genus 0 with at least 3 marked points. The Knizhnik-Zamolodchikov connection is defined on the sheaf of conformal blocks in the Tsuchiya-Ueno-Yamada model of conformal field theory. The Hitchin connection is defined on the Verlinde bundle via geometric quantisation of the moduli space of flat connections. Pauly's isomorphism establishes the equivalence of these two vector bundles. The main theorem of this paper is that the isomorphism intertwines these two connections up to a scalar-valued one-form. In addition, this theorem is used to construct a Hitchin connection through an auxiliary metaplectic correction. As a corollary of the main theorem, this construction of the Hitchin connection is projectively unique and projectively flat.

2605.20096 2026-05-20 cond-mat.mtrl-sci

Lattice thermal conductivity decomposition: Peierls vs. non-Peierls contributions

晶格热导率分解:佩尔尔斯贡献与非佩尔尔斯贡献

Andrey Pereverzev

AI总结 本文比较了经典晶格热导率的格林-库波方法与二次热流分量及常用佩尔尔斯热流的计算结果,并评估了弛豫时间近似下的热导率。研究了三种晶体系统:固态氩、交替质量模型的固态氩和α-石英。所有材料的热导率计算结果在二次和佩尔尔斯热流下仅略有差异。在α-石英中,光学声子对热导率的贡献超过了声学模式。弛豫时间近似在所有三种系统中系统性地低估了热导率。

Comments 6 pages

详情
Journal ref
J. Appl. Phys. 139, 175105 (2026)
AI中文摘要

使用完整的经典热流计算格林-库波晶格热导率,并将其与热流的二次分量及常用佩尔尔斯热流的结果进行比较。此外,评估了弛豫时间近似下的热导率。研究了三种晶体系统:固态氩、固态氩的交替质量模型以及α-石英。对于所有考虑的材料,使用二次和佩尔尔斯热流计算的热导率仅略有不同。在α-石英的情况下,光学声子对热导率的贡献超过了声学模式的贡献。弛豫时间近似在所有三种系统中系统性地低估了热导率。

英文摘要

The Green-Kubo lattice thermal conductivity computed using the full classical heat current of a crystalline solid is compared with results obtained from the quadratic component of the heat current and from the commonly used Peierls heat current. In addition, thermal conductivity within the relaxation time approximation is evaluated. Three crystalline systems are investigated: solid argon, a model of solid argon with alternating masses, and $α$-quartz. For all materials considered, the thermal conductivities calculated using the quadratic and Peierls heat currents differ only slightly. In the case of $α$-quartz, the optical phonon contribution to the thermal conductivity is found to exceed that of the acoustic modes. The relaxation time approximation systematically underestimates the thermal conductivity in all three systems.

2605.20095 2026-05-20 cond-mat.mtrl-sci cond-mat.other

Spin polarization enhancement in a single-layer Bi(1-x)Sb(x) alloy on Ag(111) via isovalent substitution

通过等价置换在Ag(111)上单层Bi(1-x)Sb(x)合金中实现自旋极化增强

Javier D. Fuhr, Polina M. Sheverdyaeva, Paolo Moras, J. Esteban Gayone, Hugo Ascolani

AI总结 研究通过等价置换在Ag(111)上单层Bi(1-x)Sb(x)合金中实现自旋极化增强,结合ARPES和DFT计算揭示了自旋分裂和极化增强的机制。

详情
AI中文摘要

在室温下,Bi和Sb共吸附于Ag(111)表面,形成具有矩形3×√3结构的单层Bi(1-x)Sb(x)合金,每个晶胞包含四个原子(总覆盖度为2/3 ML),缺乏长程化学有序。我们通过结合角分辨光电子能谱(ARPES)和密度泛函理论(DFT)计算,研究了该系统的电子结构。为了研究由在固定晶格框架内用更重的原子(Bi)替换为更轻的等电子原子(Sb)所引起的反演对称性破缺的影响,我们聚焦于Bi富集的组成。ARPES测量揭示了四个表面态带,与基于矩形四原子覆盖层晶胞的DFT计算结果一致。DFT计算进一步表明,Sb的掺杂导致电子势在平面内和垂直方向上的不对称性,从而引起显著的自旋分裂和自旋极化。尽管这些效应部分被与基底的相互作用所减弱,但仍然显著。我们的工作通过一个具体的模型系统,展示了普遍原则:掺杂较轻的等电子元素可以显著增强自旋极化,可能为理解和设计Rashba相关系统提供有用的指导。

英文摘要

Co-adsorption of Bi and Sb on Ag(111) at room temperature yields a single-layer Bi(1-x)Sb(x) alloy with a rectangular 3xsqrt(3) structure containing four atoms per unit cell (2/3 ML total coverage) and lacking long-range chemical order. We present an electronic structure study of this system combining angle-resolved photoemission spectroscopy (ARPES) and density functional theory (DFT) calculations. To investigate the effect of inversion symmetry breaking induced by substituting a heavier atom (Bi) with a lighter isoelectronic one (Sb) within a fixed crystallographic framework, we focused on a Bi-rich composition. ARPES measurements reveal four surface-state bands, in good agreement with DFT calculations based on a rectangular four-atom overlayer unit cell. DFT calculations further show that Sb incorporation induces both in-plane and out-of-plane asymmetries in the electronic potential, leading to sizable spin splitting and spin polarization of the overlayer bands. Although these effects are partially reduced by interaction with the substrate, they remain significant. Our work illustrates, through a concrete model system, a general principle: incorporating a lighter isovalent element can significantly enhance spin polarization, potentially offering a useful design guideline for understanding and engineering Rashba-related systems.

2605.20094 2026-05-20 physics.ed-ph hep-th math-ph math.MP physics.class-ph quant-ph

Introduction to Higher Order Classical Dynamics: Pais-Uhlenbeck Model and Coupled Oscillators

高等经典动力学导论:Pais-Uhlenbeck模型与耦合振子

Cássius Anderson Miquele de Melo, Ivan Francisco de Souza

AI总结 本文介绍了高等阶导数的经典动力学,通过Pais-Uhlenbeck振子和耦合振子展示了Hamilton-Ostrogradski形式的应用,并希望为高级经典力学课程提供讨论基础。

Comments Version with expanded references

详情
AI中文摘要

自然界大多数定律涉及二阶导数。Ostrogradski是首个寻求更高阶导数方程的公式化者。他通过考虑广义坐标更高阶导数的拉格朗日量扩展了哈密顿方程。Hamilton-Ostrogradski形式成为后来更高阶导数研究的基础。然而,Hamilton-Ostrogradski形式在教科书或教学文献中很少被讨论。这促使我们展示如何将Hamilton-Ostrogradski形式应用于Pais-Uhlenbeck振子。我们希望本文所呈现的方法可以成为高级经典力学课程讨论的基础。

英文摘要

Most of the laws of Nature involve derivatives up to the second order. Ostrogradski was the first to seek a formulation of the equations of higher-order derivatives. He extended Hamilton's equations by considering Lagrangians that depend on higher-order derivatives of generalized coordinates. The Hamilton-Ostrogradski formulation served as the basis for later studies with higher-order derivatives. However, the Hamilton-Ostrogradski formalism is rarely discussed in textbooks or the pedagogical literature. This motivated us to show how the Hamilton-Ostrogradski formalism can be applied it to the Pais-Uhlenbeck oscillator. We hope that the approach presented in this work can serve as a basis for discussion in advanced classical mechanics courses.

2605.20093 2026-05-20 math.MG

Amicable Lattice Rhombuses are Amicable

相亲菱形是等量的

Bohdan Biekietov, Iwan Praton, Weiran Zeng

AI总结 本文研究了相亲菱形的性质,证明了所有相亲的整数格菱形实际上都是等量的。

详情
AI中文摘要

一个多边形如果其面积等于其周长,则称为等量的。如果一个多边形的面积等于另一个多边形的周长,且反之亦然,则称这两个多边形为相亲对。一个多边形如果其顶点位于整数格上,则称为整数格多边形。我们证明了相亲的整数格菱形实际上都是等量的。

英文摘要

A polygon is equable if its area is equal to its perimeter. A pair of polygons is an amicable pair if the area of the first is equal to the perimeter of the second, and vice versa. A polygon is a lattice polygon if its vertices lie on the integer lattice. We show that amicable lattice rhombuses are actually equable.

2605.20092 2026-05-20 quant-ph

Entropy Concentration and Universal Typicality for Weakly Almost i.i.d. Quantum Sources

熵集中与弱几乎i.i.d.量子源的通用典型性

Nilanjana Datta

AI总结 本文研究了弱几乎i.i.d.量子源的熵集中和通用典型性,提出了非交换弱大数定律和通用熵集中原理,为信息论应用提供了统一且概念清晰的方法,包括弱几乎i.i.d.源的通用压缩、非对称量子假设检验界、量子多体系统中宏观可观测量的集中结果以及平滑熵和谱熵量的界。

Comments 25 pages

详情
AI中文摘要

弱几乎i.i.d.量子源是多重粒子态序列,其固定大小边缘在平均意义上收敛到参考态的张量幂,同时允许任意全局相关性和纠缠。本文建立了两种集中原理:经验可观测量的非交换弱大数定律,以及显示渐近集中于由参考态的冯·诺依曼熵所支配的指数维子空间的通用熵集中原理。这些集中原理为超越i.i.d.设定的信息论应用提供了统一且概念清晰的方法,包括弱几乎i.i.d.源共享共同参考态的通用压缩的直接证明、非对称量子假设检验界、量子多体系统中包括广义吉布斯 Ensemble 的宏观可观测量的集中结果以及重复局部测量统计的集中结果,以及平滑熵和谱熵量的界。

英文摘要

Weakly almost i.i.d. quantum sources are sequences of multipartite states whose fixed-size marginals converge, on average, to tensor powers of a reference state, while allowing arbitrary global correlations and entanglement. We establish two concentration principles for such sources: a noncommutative weak law of large numbers for empirical observables, and a universal entropy-concentration principle showing asymptotic concentration on subspaces of exponential dimension governed by the von Neumann entropy of the reference state. These concentration principles provide a unified and conceptually transparent approach to several information-theoretic applications beyond the i.i.d. setting, including direct proofs of universal compression within classes of weakly almost i.i.d. sources sharing a common reference state, asymmetric quantum hypothesis-testing bounds, concentration results for macroscopic observables in quantum many-body systems including generalized Gibbs ensembles and for repeated local measurement statistics, as well as bounds on smooth- and spectral entropy quantities.

2605.20091 2026-05-20 math.NA cs.NA

Reliable sampling-based RKHS norm estimation via superconvergence

通过超收敛性实现可靠的基于采样的RKHS范数估计

Tizian Wenzel, Abdullah Tokmak, Christian Fiedler

AI总结 本文提出了一种基于采样的RKHS范数估计方法,通过超收敛性理论的最新进展,为学习控制算法的实用部署提供了可靠的范数估计方案。

详情
AI中文摘要

核方法是基于学习的控制、现代系统识别、替代建模等领域的基石。这类学习和函数逼近方法的一个关键优势是能够提供定量误差界,这些误差界在保证学习控制器及相关学习算法的安全性中起关键作用。然而,这些误差界依赖于目标函数的一个特定属性——其再生核希尔伯特空间(RKHS)范数——这在实践中通常无法获得。受这一严重缺陷的启发,我们提出了一种具有坚实理论基础的新基于采样的RKHS范数估计方法,利用了核方法理论中非常近期的超收敛性进展。我们的方法适用于广泛的实际相关函数类,并且仅需要对目标函数有合理的先验知识。大量的数值实验展示了所提出方法的有效性和实用性。通过提供可靠的RKHS范数估计方法,我们消除了学习控制算法实际部署的主要障碍。

英文摘要

Kernel methods are one of the cornerstones of learning-based control, modern system identification, surrogate modelling, and related fields. A key advantage of this class of learning and function approximation methods is the availability of quantitative error bounds, which in turn play a key role in guaranteeing the safety of learned controllers and related learning-based algorithms. However, these error bounds rely on a particular property of the target function -- its reproducing kernel Hilbert space (RKHS) norm -- which is usually impossible to obtain in practice. Motivated by this severe shortcoming, we present a novel sampling-based RKHS norm estimation approach with a solid theoretical foundation, leveraging very recent advances in the theory of superconvergence in kernel methods. Our method is applicable to a broad range of practically relevant function classes and requires only reasonable prior knowledge about the target function. Extensive numerical experiments demonstrate the efficacy and practical applicability of the proposed method. By providing a reliable RKHS norm estimation approach, we remove a major obstacle to the practical deployment of learning-based control algorithms.

2605.20089 2026-05-20 math.CV

Logarithmic Coefficients Problems of Geometric Subclass of Closed-to-convex Functions

几何闭合凸函数类的对数系数问题

Chayani Dhara, Nirupam Ghosh

AI总结 本文研究了几何闭合凸函数类W(α)中对数系数γ₁、γ₂、γ₃以及对数反系数Γ₁、Γ₂、Γ₃的精确界,得出了|γ₂|−|γ₁|和|Γ₂|−|Γ₁|的精确上界和下界,并建立了对数和反对数系数的第二Hankel行列式的精确不等式。

详情
AI中文摘要

对于α≥0,令W(α)为单位圆盘D内所有满足归一化条件f(0)=0和f′(0)=1,并满足Re{f′(z)+αz f''(z)}>0的解析函数类。本文旨在建立W(α)中函数的对数系数γ₁、γ₂和γ₃以及对数反系数Γ₁、Γ₂和Γ₃的精确界。对于类W(α),已经获得了|γ₂|−|γ₁|和|Γ₂|−|Γ₁|的精确上界和下界。此外,我们还为类W(1)建立了对数和反对数系数的第二Hankel行列式的精确不等式。

英文摘要

For $α\ge 0$, let $\mathcal{W}(α)$ be the class of all analytic functions in the unit disk $\mathbb{D}$ with normalization $f(0) = 0 $ and $ f'(0) = 1 $ that satisfy the relation $Re\,\{f'(z) + αz f''(z)\} > 0$. This article aims to establish sharp bounds for logarithmic coefficients $γ_1$, $γ_2$ and $γ_3$ and logarithmic inverse coefficients $Γ_1$, $Γ_2$ and $Γ_3$ of functions in $\mathcal{W}(α)$. The sharp upper and lower bounds for $\bigl|\,γ_2 \,\bigr|-\bigl|\,γ_1\,\bigr|$ and $\bigl|\,Γ_2 \,\bigr|-\bigl|\,Γ_1\,\bigr|$ have been obtained for the class $\mathcal{W}{(α)}$. In addition, we establish sharp inequality for the second Hankel determinant of the logarithmic and inverse logarithmic coefficients for the class $\mathcal{W}{(1)}$.

2605.20083 2026-05-20 cond-mat.mes-hall cond-mat.str-el

Spectral and transmission properties of multiple correlated quantum dots made simple

多重相关量子点的谱和传输性质的简化

Nahual Sobrino, Stefan Kurth

AI总结 本文提出了一种稳态密度泛函理论(i-DFT)方法,用于计算相互作用纳米尺度区域的谱和传输性质,通过构造不同相互作用和耦合几何结构的交换相关泛函,展示了该方法在多重量子点系统中的应用,包括库仑阻塞到Kondo区域的现象,结果在计算成本显著降低的情况下与多体方法一致。

Comments 21 pages, 4 figures

详情
AI中文摘要

稳态密度泛函理论,称为i-DFT,被用于计算一般相互作用的纳米尺度区域耦合到电子储库的谱和传输性质。交换相关泛函被构造用于不同的相互作用和耦合几何结构。该方法的潜力通过应用于各种多重量子点系统来展示,从库仑阻塞到Kondo区域,捕捉了如量子相变等现象。结果在计算成本显著降低的情况下与多体方法一致。

英文摘要

Steady-state density functional theory, called i-DFT, is employed to compute spectral and transmission properties of general interacting nanoscale regions coupled to electronic reservoirs. Exchange-correlation functionals are constructed for different interactions and coupling geometries. The potential of the method is illustrated by applications to various multiple quantum dots from the Coulomb blockade to the Kondo regime, capturing phenomena such as quantum phase transitions. The results are in excellent agreement with many-body approaches at a fraction of the computational cost.

2605.20081 2026-05-20 cs.CY

Bridging the Disciplinary Gap in Explainable AI: From Abstract Desiderata to Concrete Tasks

弥合可解释人工智能中的学科鸿沟:从抽象需求到具体任务

Hanwei Zhang, Jingwen Wang, Holger Hermanns

AI总结 本文探讨了可解释人工智能(XAI)中不同学科对需求的优先级差异问题,提出通过构建三维分类法和三步框架,将抽象需求转化为可衡量的具体任务,以提升XAI的实用性与一致性。

Comments 22 pages, 2 figures, 2 tables, AISoLA 2026

详情
Journal ref
AISoLA 2026
AI中文摘要

可解释人工智能(XAI)常被批评未能满足广泛的需求(例如公平性、问责制)且对利益相关者缺乏实际价值。这一挑战部分源于跨学科研究者优先考虑的不同需求集合仍不明确且依赖于具体情境,却期望XAI同时满足这些需求,导致碎片化且有时不兼容的操作化。我们主张许多需求并非独立,而是形成依赖结构,其中更高层次的目标(例如信任、问责制)依赖于更基础的属性(例如忠实性、鲁棒性)。某些需求是多方面的,最好在这些结构中理解。特别是,我们不同时解决所有需求,而是专注于依赖结构的子集,并将其转化为具体XAI任务,从而将研究问题分解为可衡量和可解决的单元。为此,我们提出一个三维分类法(目标、功能角色、证明方式)和一个三步框架,以推导出具有明确范围、可衡量的XAI任务。我们的方法基于系统文献综述和概念分析,并支持澄清需求、识别依赖关系、确定可行性以及限定设计空间,从而从抽象需求中推导出具体XAI任务。我们通过两个解释性案例展示了其效用,说明分类法和框架如何指导XAI中的系统任务设计和评估。

英文摘要

Explainable AI (XAI) is often criticized for failing to satisfy broad desiderata (e.g., fairness, accountability) and for limited practical value to stakeholders. This challenge partly arises because researchers across disciplines prioritize different sets of desiderata that remain underspecified and context-dependent, yet expect XAI to satisfy them simultaneously, resulting in fragmented and sometimes incompatible operationalizations. We argue that many desiderata are not independent, but instead form dependency structures in which higher-level goals (\emph{e.g.}, trust, accountability) rely on more foundational properties (\emph{e.g.}, faithfulness, robustness). Some desiderata are multi-faceted and are best understood within these structures. In particular, instead of addressing all desiderata at once, we focus on subsets of dependency structures and translate them into concrete XAI tasks, thereby decomposing research questions into benchmarkable and solvable units. To this end, we propose a three-axis taxonomy (\emph{target}, \emph{functional role}, and \emph{mode of justification}) and a three-step framework for deriving well-scoped, benchmarkable XAI tasks. Our approach builds on a systematic literature review and conceptual analysis, and supports clarifying desiderata, identifying dependencies, scoping feasibility, and delimiting the design space to derive concrete XAI tasks from abstract desiderata. We illustrate its utility through two explanatory cases, showing how the taxonomy and framework guide systematic task design and evaluation in XAI. {\color{red}{This is a preprint of a paper that will appear in AISoLA 2026.}}

2605.20080 2026-05-20 astro-ph.SR

TIC 295741342: A Triply-Eclipsing Triple Star System with a Giant Tertiary

TIC 295741342:一个三倍掩食三合星系统,带有巨星级的第三个星体

Brian P. Powell, Guillermo Torres, Veselin B. Kostov, Saul A. Rappaport, Tamás Borkovits, Robert Gagliano, David W. Latham

AI总结 研究发现并表征了一个三倍掩食三合星系统,通过TESS数据揭示了系统中三个星体的相对大小和光度贡献,并预测了下一个外掩食的中点时间。

Comments Accepted by The Astrophysical Journal, 18 May 2026

详情
AI中文摘要

我们报道了TIC 295741342的发现和表征,这是一个具有巨星级第三个星体的三倍掩食三合星系统。该双星系统由两个相似的主序星组成,轨道周期为4.75天。双星与巨星级第三个星体的轨道周期为412.8天。我们发现了两种退化解:一种是第三个星体正在上升红巨星分支(RGB),另一种是第三个星体位于水平分支(HB)并将最终上升渐近巨星分支(AGB)。在两种解中,系统几乎完全共面。在TESS Sector 33中,双星会背对巨星级第三个星体,产生一个独特的“头和肩”掩食,直接约束了三个星体的相对光度贡献和半径。我们使用综合的光谱-光动态模型,同时拟合TESS光曲线、掩食时间、光谱能量分布和来自48次TRES光谱的径向速度数据,以确定所有三个组成部分。使用MIST轨道表明,在两种解中,第三个星体将溢出其罗奇泡,一个在RGB,另一个在AGB。罗奇泡溢出将引发稳定的质子转移或共同包层演化的开始,这可能导致抛射和/或并合。我们的模型预测下一个外掩食的中点将在2026年9月1日发生,我们鼓励在±3天窗口内进行后续观测,以观察完整事件并进一步约束系统参数。

英文摘要

We present the discovery and characterization of TIC 295741342, a triply-eclipsing triple star system with a giant tertiary. The eclipsing binary consists of two similar main-sequence stars in a 4.75-day orbit. The binary is in a 412.8-day orbit with the giant tertiary. We found two degenerate solutions for the system: one where the tertiary is ascending the Red Giant Branch (RGB), and the other where the tertiary is on the Horizontal Branch (HB) and will eventually ascend the Asymptotic Giant Branch (AGB). In both solutions, the system is near-perfectly coplanar. In TESS Sector 33, the binary passes behind the giant tertiary, producing a distinctive "head-and-shoulders" eclipse that directly constrains the relative flux contributions and radii of all three stars. We modeled the system using a comprehensive spectro-photodynamical model that simultaneously fits the TESS lightcurve, eclipse times, spectral energy distribution, and radial velocities from 48 TRES spectra obtained over four years of observation resolving all three components. Evolutionary analysis using MIST tracks indicates that, in both solutions, the tertiary will overflow its Roche lobe, one in the RGB and the other in the AGB. The Roche lobe overflow will initiate either a stable mass transfer to the binary or a common envelope evolution that will likely result in ejections and/or mergers. Our models predict the midpoint of the next outer eclipse will occur on September 1, 2026 and we encourage follow-up observations with a $\pm$3 day window to observe the full event and further constrain the system parameters.

2605.20078 2026-05-20 quant-ph

On Performance and Limitations of NISQ Hardware for Simulations of Quantum Wave Packet Dynamics

关于NISQ硬件性能与限制在量子波包动力学模拟中的研究

Tamila Kuanysheva, Jonathan Andrade-Plascencia, Jayakrushna Sahoo, Brian Kendrick, Dmitri Babikov

AI总结 本文研究了NISQ硬件在模拟量子波包动力学中的性能与限制,采用基于网格的波函数编码方法,利用分裂运算符方法实现时间演化,并通过量子傅里叶变换和交换Pauli-Z门提高精度,从而实现对任意离散势能的模拟。

详情
AI中文摘要

数字量子模拟为研究量子动力学提供了一条有前景的途径,但近-term硬件中高效的算子表示和电路深度仍然是关键挑战。我们利用基于网格的波函数编码方法研究一维波包动力学。时间演化通过分裂运算符方法实现,动能算子通过具有多项式缩放的量子傅里叶变换(QFT)应用,势能算子通过交换Pauli-Z门表达,从而提高精度并允许纳入任意离散化的势能。虽然哈密顿量的完整Pauli分解随n呈指数级增长为O(4^n),但本方法将算子缩放减少到O(2^n)对于n个量子比特。我们在此方法上对经典模拟器和量子硬件(IBM Quantum和IonQ)进行了基准测试,针对两到五个量子比特的实现。对于两到三个量子比特的情况,所有平台在定性上重现了基准动力学;在更多量子比特的情况下,IBM的结果偏离更强烈,而IonQ则更接近基准。

英文摘要

Digital quantum simulation offers a promising route for studying quantum dynamics, but efficient operator representations and circuit depth remain key challenges for near-term hardware. We investigate one-dimensional wave packet dynamics using a grid-based encoding of the wave function onto qubit registers. Time evolution is implemented via split-operator approach, with kinetic energy operator applied using Quantum Fourier Transform (QFT) with polynomial scaling and potential energy operator expressed through commuting Pauli-Z gates, improving accuracy and enabling incorporation of arbitrary discretized potentials. While the full Pauli decomposition of Hamiltonian scales exponentially as O(4^n ), the present approach reduces the operator scaling to O(2^n) for n qubits. We benchmark this approach on classical simulators and quantum hardware (IBM Quantum and IonQ) for two- to five-qubit implementations. For two- and three-qubit cases, all platforms qualitatively reproduce the benchmarked dynamics; at larger qubit counts, the IBM results deviate more strongly, whereas IonQ remains closer to the benchmark.

2605.20077 2026-05-20 quant-ph

Ultra-Large-Capacity Passive Quantum Access Network Powered By Single Thermal Source

超大容量被动量子接入网络:由单一热源驱动

Yuehan Xu, Qijun Zhang, Xiaojuan Liao, Zidong Gao, Piao Tan, Xufeng Liang, Hanwen Yin, Peng Huang, Tao Wang, Guihua Zeng

AI总结 本文提出一种基于被动热态的量子接入网络(TS-QAN),利用单一热源生成多色量子随机性,支持304用户并达到13 Gbps的密钥率,解决了传统PON基量子接入网络在性能上的不足。

详情
AI中文摘要

量子密钥分发(QKD)通过一次性垫(OTP)加密利用物理定律的安全性为经典通信提供安全密钥。先进的基于PON的经典接入网络(CANs)支持最多256个用户,总速率为10 Gbps(10-Gbps @ 256-users)。OTP加密等效速率需求要求QKD接入网络(QANs)达到类似性能,但目前最先进的基于PON的QANs仍远未达到这一标准。为解决这一差距,我们提出了一种被动热态QAN(TS-QAN),通过单一热源生成多色量子随机性,支持304个用户并达到13 Gbps的密钥率(13-Gbps @ 304-users)。这一性能得益于三个特征。首先,通过Glauber-Sudarshan表示,广谱热态(Bose-Einstein统计)可以表示为高频带宽的高带宽高斯相干态集合,跨越频率模式,消除了许多主动调制器和量子随机数生成器(QRNGs)。其次,电光(EO)梳形光标提供时间变化的多色相位跟踪,使得每个频率模式热信号可以利用其光标辅助的本地本地振荡器(LLO)相干测量,无需大规模相位锁定网络。第三,状态广播允许每个用户在考虑残留广播诱导相关性后通过反向协商获得独立最终密钥,通过小SKR损失扩展网络容量。实验上,我们验证了基于连续变量QKD(CV-QKD)的13-Gbps @ 304-users TS-QAN,包括基于协方差矩阵的网络安全性分析,包括多模式Holevo泄漏和广播相关性。这项工作满足了从CAN到QAN的SKR和容量需求:13-Gbps @ 304-users满足了10-Gbps @ 256-users的基准,并为现代电信系统提供了一种可扩展的解决方案。

英文摘要

Quantum Key Distribution (QKD) provides secure keys for classical communications through one-time-pad (OTP) encryption with physical-law security. Advanced PON-based Classical Access Networks (CANs) support up to 256 users with a total rate of 10 Gbps (10-Gbps @ 256-users). The equivalent rate demand of OTP encryption requires QKD Access Networks (QANs) to reach comparable performance, yet state-of-the-art PON-based QANs remain far from this standard. To address this gap, we propose a passive Thermal-State QAN (TS-QAN) distributing polychromatic quantum randomness from a single thermal source and supporting 304 users with an aggregate secret key rate (SKR) of 13 Gbps (13-Gbps @ 304-users). This performance is enabled by three features. First, broadband thermal states with Bose-Einstein statistics can be represented, through the Glauber-Sudarshan representation, as high-bandwidth Gaussian coherent-state ensembles across frequency modes, eliminating many active modulators and quantum random number generators (QRNGs). Second, Electro-Optic (EO) comb beacons provide time-varying polychromatic phase tracking, so each frequency-mode thermal signal can be coherently measured with a Local Local Oscillator (LLO) aided by its beacon, without large-scale phase-locking networks. Third, state broadcasting allows each user to obtain independent final keys via reverse reconciliation after accounting for residual broadcast-induced correlations, expanding network capacity with small SKR losses. Experimentally, we verify a 13-Gbps @ 304-users TS-QAN using Continuous-Variable QKD (CV-QKD) under covariance-matrix-based network security analysis including multimode Holevo leakage and broadcast correlations. This work meets the SKR and capacity demands from CAN to QAN: 13-Gbps @ 304-users satisfies the 10-Gbps @ 256-users benchmark and provides a scalable solution for modern telecommunication systems.

2605.20076 2026-05-20 gr-qc astro-ph.CO hep-th physics.space-ph

A novel pre-inflationary model in view of the lack of angular correlation of CMB

一种新的预暴胀模型:鉴于CMB缺乏角相关性的视角

M. Montes, José Edgar Madriz Aguilar, A. Bernal, Diego Allan Reyna

AI总结 本文提出一种新的统一宇宙模型,通过单一标量场框架将普朗克时间开始的预暴胀时期与暴胀的开始联系起来,该模型通过调整因果结构自然解释了普朗克卫星报告的CMB大角度相关性抑制现象,同时通过量子场波动分析揭示了暴胀谱的抑制特性。

Comments 22 pages, no figures

详情
AI中文摘要

在本文中,我们提出了一种新的统一宇宙模型,该模型通过单一标量场框架将普朗克时间开始的预暴胀时期与暴胀的开始联系起来。预暴胀时期由减速膨胀和逐渐过渡到加速暴胀时期组成。这种早期动力学导致了修改后的因果结构,自然解释了普朗克卫星报告的宇宙微波背景(CMB)中大角度(θ≈60°)相关性的抑制。我们利用穆克哈诺夫-萨萨基方法和基于能量最小化的规范量子化程序研究了标量场的量子波动。我们发现,只有在暴胀开始时的亚视界模式下,真空态才被良好定义,这导致了原始功率谱的自然截止。所得到的谱在大尺度上表现出抑制,而在小尺度上保持近尺度不变。在适当的极限下,该模型恢复了标准de Sitter结果,与当前观测约束一致。这些结果突显了预暴胀动力学在一致暴胀框架内解决大尺度异常方面的相关性。

英文摘要

In this paper we propose a novel unified cosmological model that connects a pre-inflationary epoch, starting at the Planckian time, with the onset of inflation within a single scalar-field framework. The pre-inflationary phase is characterized by a decelerated expansion with an increasing comoving Hubble horizon, followed by a gradually transition to an accelerated inflationary regime. This early dynamics leads to a modified causal structure that naturally accounts for the suppression of large-angle $(θ\gtrsim 60^\circ)$ correlations in the cosmic microwave background (CMB) reported by the satellite PLANCK. We study the quantum fluctuations of the scalar field using the Mukhanov-Sasaki formalism and a canonical quantization procedure based on energy minimization. We find that the vacuum state is well-defined only for sub-horizon modes at the onset of inflation, which induces a natural cutoff in the primordial power spectrum. The resulting spectrum exhibits a suppression at large scales while remaining nearly scale-invariant at small scales. In the appropriate limit, the model recovers the standard de Sitter result, in agreement with current observational constraints. These results highlight the relevance of pre-inflationary dynamics for addressing large-scale anomalies within a consistent inflationary framework.

2605.20071 2026-05-20 quant-ph

Quantum Algorithms for Nonlinear Differential Equations via Pivot-Shifted Carleman Linearization

通过旋转变换的Carleman线性化实现非线性微分方程的量子算法

Ke Wang, Zikang Jia, Shravan Veerapaneni, Zhiyan Ding

AI总结 本文提出了一种基于旋转变换的Carleman线性化框架,用于解决二次非线性常微分方程的量子算法,通过在Carleman提升前进行旋转变换,并结合Lyapunov变换和缩放,扩大了可以在量子计算机上高效模拟的非线性系统的类别。对于在旋转变换后表现出稳定性的系统,建立了长时间收敛性。证明截断阶数仅与模拟时间及目标精度对数相关,并推导了准备与最终解成比例的状态的量子查询复杂度界。通过引入修改的非线性条件,该框架完全消除了传统初始条件的下限要求。对于更一般的系统,在旋转变换后仍不稳定的情况下,提供了短时间收敛保证,同样不受初始条件约束。对Logistic和Lotka-Volterra方程的数值实验表明,适当选择旋转变换可以提高稳定性和精度,并产生与截断阶数相关的指数误差衰减。这些结果表明,旋转变换为扩展基于Carleman的量子算法到更广泛的非线性动力学系统提供了一条实用且理论上有根据的途径。

详情
AI中文摘要

我们开发了一种旋转变换的Carleman线性化框架,用于解决二次非线性常微分方程的量子算法。通过在Carleman提升前进行旋转变换,并结合Lyapunov变换和缩放,我们扩大了可以在量子计算机上高效模拟的非线性系统的类别。对于在旋转变换后表现出稳定性的系统,我们建立了截断Carleman嵌入的长时间收敛性。我们证明截断阶数仅与模拟时间及目标精度对数相关,并推导了准备与最终解成比例的状态的量子查询复杂度界。通过引入修改的非线性条件,该框架完全消除了传统初始条件的下限要求。对于更一般的系统,在旋转变换后仍不稳定的情况下,我们提供了短时间收敛保证,同样不受初始条件约束。对Logistic和Lotka-Volterra方程的数值实验表明,适当选择旋转变换可以提高稳定性和精度,并产生与截断阶数相关的指数误差衰减。这些结果表明,旋转变换为扩展基于Carleman的量子算法到更广泛的非线性动力学系统提供了一条实用且理论上有根据的途径。

英文摘要

We develop a pivot-shifted Carleman linearization framework for quantum algorithms solving quadratic nonlinear ordinary differential equations. By shifting the dynamics by a pivot state prior to Carleman lifting, and combining this with a Lyapunov transform and rescaling, we enlarge the class of nonlinear systems that can be efficiently simulated on quantum computers. For systems that exhibit stability in the shifted coordinates, we establish long time convergence of the truncated Carleman embedding. We prove that the truncation order scales only logarithmically with the simulation time and target precision, and we derive end-to-end quantum query complexity bounds for preparing a state proportional to the final solution. By introducing a modified nonlinearity condition, this framework entirely removes the conventional lower bound requirement on the initial condition. For more general systems that remain unstable after shifting, we provide short time convergence guarantees that are similarly free from the initial condition constraints. Numerical experiments on the logistic and the Lotka-Volterra equations demonstrate that an appropriate pivot choice improves stability and accuracy, and yields exponential error decay with truncation order. These results show that pivot shifting provides a practical and theoretically justified route for extending Carleman-based quantum algorithms to a broader class of nonlinear dynamical systems.

2605.20070 2026-05-20 cs.DS math.OC

Optimizing for Fairness in Generalized Kidney Exchange: Theory and Computations

在一般肾脏交换中追求公平性:理论与计算

Claire Chang, Arin Khare, David Shmoys

AI总结 本文研究了如何在一般肾脏交换中通过理论和计算方法优化公平性,提出在加权设置中可以使用强多项式算法保证相同的公平性质,并通过实验证明在更一般的肾脏交换机制中加入公平性考虑具有显著优势。

Comments published in IOS 2026

详情
AI中文摘要

Roth, Sönmez, 和 Ünver 的开创性工作表明,可以利用非二分图匹配的Edmonds-Gallai结构定理来设计一种随机算法,以匹配肾脏交换中的患者-供体对,并具有极强的公平性属性。这一突破导致了能够找到最大基数匹配并最大化个体公平性目标(如纳什社会福利)的随机多项式时间算法。但实际允许的交换超越了基数匹配,扩展到加权变体,并允许路径和3-环等结构。我们证明在加权设置中匹配和2-路径可以使用强多项式算法保证相同的公平性质。虽然最大基数覆盖包含长度至少为三的环和路径是NP难的,但我们提供了一个一般结果,表明任何优化子程序(无论允许哪种结构)都可以通过多项式次数的调用来启动,从而产生具有与匹配相同公平性质的机制。我们通过合成数据集和真实数据样本的计算结果补充这些理论结果,展示了在更一般的肾脏交换机制中加入公平性考虑的显著优势。

英文摘要

The seminal work of Roth, Sönmez, & Ünver shows that the Edmonds-Gallai structure theorem for non-bipartite matching can be leveraged to yield a randomized algorithm to match patient-donor pairs in kidney exchange with extraordinarily strong properties. This breakthrough led to randomized polynomial-time algorithms to find a maximum-cardinality matching maximizing individual fairness objectives--measured by the probability that nodes are matched--such as Nash social welfare. But the exchanges allowed in practice go beyond cardinality matching, generalizing to weighted variants and allowing structures such as paths and 3-cycles. We show that strongly polynomial algorithms guaranteeing the same fairness properties can be obtained in weighted settings for matching and 2-paths. While even maximum cardinality coverage with cycles and paths of length at least three is NP-hard, we provide a general result showing that any optimization subroutine (for whichever structure is allowed) can be bootstrapped using a polynomial number of calls to yield a mechanism that has analogous fairness properties to those obtained for matching. We complement these theoretical results with computational results, both on well-studied synthetic data-sets and on samples drawn from real data, that demonstrate the striking advantages of adding fairness considerations to more general kidney-exchange mechanisms.

2605.20067 2026-05-20 cond-mat.mtrl-sci

Coherent terahertz magnon-phonon three-wave mixing in a layered antiferromagnet

层状反铁磁体中相干太赫兹磁子-声子三波混频

Liangyue Li, Na Wu, Zhengwang Lin, Zefen Li, Lixin Liu, Emil Vinas Boström, Yuan Wan, Xinbo Wang, Jianlin Luo, Fucai Liu, Angel Rubio, Qi Zhang

AI总结 研究通过双太赫兹泵光探针光谱技术,在层状反铁磁绝缘体FePS₃中直接观测到磁子-声子三波混频的相干非线性动力学,揭示了反铁磁磁子的二阶和三阶非线性响应,并识别了二维相干谱中多种非线性耦合,包括磁子与声子之间的和频与差频生成。

详情
AI中文摘要

集体激发之间的相干非线性动力学,如磁子和声子,驱动量子材料中的新兴现象,但它们的直接观测仍是一个核心挑战。在这里,使用双太赫兹泵光学探针光谱技术,我们报告了在层状反铁磁绝缘体FePS₃中磁子-声子三波混频的直接观测。我们解析了反铁磁磁子的二阶和三阶非线性响应,并在二维(2D)相干谱中识别了一套非线性耦合,包括磁子和声子之间的确定性和频生成。这些结果为利用相干非线性性来纠缠磁振子和振动激发奠定了基础,为太赫兹范围内量子控制和混合量子技术开辟了新途径。

英文摘要

The coherent nonlinear dynamics between collective excitations, such as magnons and phonons, drive emergent phenomena in quantum materials, yet their direct observation remains a central challenge. Here, using double-terahertz-pump optical-probe spectroscopy, we report the direct observation of coherent magnon-phonon three-wave mixing in the layered antiferromagnetic insulator FePS$_{3}$. We resolve both second- and third-order nonlinear responses of antiferromagnetic magnons and identify a suite of nonlinear couplings in two-dimensional (2D) coherent spectra, including definitive sum- and difference-frequency generation between magnons and phonons. These results lay the groundwork for exploiting coherent nonlinearities to entangle magnetic and vibrational excitations, opening avenues for quantum control and hybrid quantum technologies in the terahertz regime.

2605.20065 2026-05-20 cond-mat.stat-mech cond-mat.quant-gas quant-ph

Non-equilibrium quantum dynamics of interacting integrable models by Monte Carlo sampling Lehmann representations

相互作用可积分模型非平衡量子动力学的蒙特卡罗采样法:勒曼表示法

Riccardo Senese, Fabian H. L. Essler

AI总结 本文提出了一种蒙特卡罗采样方法,用于计算非平衡量子系统中局部算符的时间依赖期望值的勒曼表示,从而超越现有方法的系统大小和时间范围,通过与非相互作用模型的精确结果和弱相互作用下的短时结果对比,验证了方法的准确性,并应用于玻色-爱因斯坦凝聚体的利伯-林格尔模型中的量子淬火过程,确定了不同相互作用强度下的序参量时间演化。

Comments 9 + 26 pages, 6 + 6 figures

详情
AI中文摘要

确定在均匀量子淬火后有限时间内的相互作用可积分多粒子量子系统动力学是一个长期挑战。我们提出了一种蒙特卡罗采样方案,数值评估时间依赖的局部算符期望值的勒曼表示,使我们能够显著超越现有方法的系统大小和时间范围。该方法同时适用于完整的勒曼和淬火动作形式化。我们通过非相互作用晶格和连续模型的精确结果以及弱相互作用下的短时结果进行基准测试,发现有很好的一致性。我们将该方法应用于从利伯-林格尔模型中的玻色-爱因斯坦凝聚体的量子淬火过程,并确定了不同相互作用强度下的序参量时间演化。我们还讨论了更一般动态相关函数和设置中“符号问题”的出现。

英文摘要

Determining the dynamics of interacting integrable many-particle quantum systems at finite times after homogeneous quantum quenches is a long-standing challenge. We present a Monte Carlo sampling scheme that numerically evaluates the Lehmann representation for time-dependent expectation values of local operators, allowing us to access system sizes and times significantly beyond the reach of existing methods. The approach accommodates both the full Lehmann sum and the Quench Action formalism. We benchmark against exact results for non-interacting lattice and continuum models and short-time results at weak interactions, finding excellent agreement. We apply the method to quantum quenches from a Bose-Einstein condensate in the repulsive Lieb-Liniger model and determine the time evolution of the order parameter for a wide range of interaction strengths. We discuss the emergence of a "sign problem" for more general dynamical correlators and setups.

2605.20063 2026-05-20 gr-qc

The Role of Gravitational Energy Flux in Cosmic Acceleration

引力能量流在宇宙加速中的作用

S. C. Ulhoa, F. L. Carneiro, J. W. Maluf

AI总结 本文研究了引力辐射能量在大尺度宇宙动力学中的作用,探讨了引力能量作为广义相对论十进制等价形式中的明确物理量,是否通过其相关能量流贡献于宇宙加速,基于Bondi-Sachs框架分析了辐射空间时间的总引力能量和相应能量流,并强调了引力辐射在长时间尺度上的累积效应及引力能量在该形式下非正定性。

Comments 15 pages, 3 figures

详情
Journal ref
Phys. Scr. 101 205001, 2026
AI中文摘要

本文探讨了引力辐射能量在大尺度宇宙动力学中的作用。受观测到的加速膨胀启发,我们研究了引力能量是否通过其相关能量流贡献于宇宙加速。使用由Bondi-Sachs框架描述的辐射空间时间,我们分析了总引力能量和在渐近区域评估的相应能量流。特别强调了引力辐射在长时间尺度上的累积特性以及在该形式下引力能量并非正定性。本文分析为评估引力辐射能量及其流在宇宙学中的相关性提供了一致的理论基础。

英文摘要

The article deals with the role of gravitational radiation energy in the large-scale dynamics of the universe. Motivated by the observed accelerated expansion, we investigate whether gravitational energy, treated as a well-defined physical quantity within the teleparallel equivalent of general relativity, contributes to cosmological acceleration through its associated energy flux. Using radiative space-times described by the Bondi--Sachs framework, we analyze the total gravitational energy and the corresponding energy flux evaluated in asymptotic regions. Particular emphasis is placed on the cumulative character of gravitational radiation over long time scales and on the fact that gravitational energy in this formulation is not positively definite. The present analysis provides a consistent theoretical basis for assessing the relevance of gravitational radiation energy and its flux in cosmological contexts.

2605.20062 2026-05-20 math.AC cs.IT math.GR math.IT

Cyclotomic finite-field Fourier spectra: Galois descent, native subfields, and residual coding

循环有限域傅里叶谱:伽罗华降维、本原子域和残差编码

David Kumallagov, Daniil Sizikov, Anton Zarubin

AI总结 本文提出了一种伽罗华降维方法来研究任意有限基域上的有限域傅里叶谱。通过研究向量的傅里叶变换谱,证明了伽罗华降维定理,刻画了一维谱作为本原类索引的子域乘积,并展示了轨道种子表示在基域坐标中的最优性。对于任意向量,研究了两阶段表示g=f+h,其中f是类一致的,h是残差,并给出了精确支持最小化、符号重量生成函数、恢复保证、全局覆盖半径公式、随机残差尾界和熵型下界。还讨论了迹分解、正交基、规范子域嵌入和稀疏多项式残差后端的实现影响。

Comments 20 pages

详情
AI中文摘要

我们开发了一种伽罗华降维方法来研究任意有限基域上的有限域傅里叶谱。令K=F_q,L=F_{q^m}。如果对一个K值向量应用傅里叶变换,则其谱不是任意L^n中的元素:它满足弗罗贝尼乌斯一致性关系[ V_s^q=V_{qs mod n} ]。我们为有限阿贝尔群上的傅里叶变换证明了一个一般的伽罗华降维定理,刻画了一维谱作为本原类索引的子域乘积,并展示轨道种子表示在基域坐标中的最优性。对于任意L^n中的向量,我们研究了两阶段表示g=f+h,其中f是类一致的,h是残差。残差优化分离于本原类。我们给出了精确支持最小化,符号重量生成函数,类一致码的恢复保证,全局覆盖半径公式,随机残差尾界,以及熵型下界。我们还讨论了迹分解、正交基、规范子域嵌入和稀疏多项式残差后端的实现影响。

英文摘要

We develop a Galois descent approach to finite-field Fourier spectra over an arbitrary finite base field. Let $\mathbb K=\mathbb F_q$ and $\mathbb L=\mathbb F_{q^m}$. If a Fourier transform is applied to a $\mathbb K$-valued vector, then its spectrum is not an arbitrary element of $\mathbb L^n$: it satisfies the Frobenius consistency relation \[ V_s^q=V_{qs \bmod n}. \] We prove a general Galois-descent theorem for Fourier transforms on finite abelian groups, characterize the one-dimensional spectra as products of subfields indexed by $q$-cyclotomic classes, and show that the orbit-seed representation is optimal in base-field coordinates. For arbitrary vectors in $\mathbb L^n$, we study a two-stage representation $g=f+h$, where $f$ is class-consistent and $h$ is a residual. The residual optimization separates over cyclotomic classes. We give exact support minimization, a symbol weight enumerator for the class-consistent code, recovery guarantees, global covering-radius formulas, random residual tail bounds, and entropy-type lower bounds. We also discuss implementation consequences for trace decompositions, normal bases, canonical subfield embeddings, and sparse-polynomial residual backends.

2605.20060 2026-05-20 astro-ph.CO

Interacting Dark Sector field theory with phantom crossing

具有暗物质场理论的暗能量相交模型

E. Abdalla, O. P. F. Piedra, A. A. Escobal, A. M. Vicente, F. B. Abdalla, B. Wang, A. Marins

AI总结 本文提出一个基于场论的相互作用暗能量模型,能够自然地容纳暗能量方程状态近期跨越幻影分界线的双重跨越。模型中,费米子暗物质通过杨-米尔斯相互作用与由Born-Infeld动力学支配的超光速标量场耦合,幻影跨越出现在有效暗能量方程状态的层面,而底层标量场动力学仍为非幻影且有界。该模型与包括DESI(DR2)巡天的BAO数据、Planck 2018的宇宙微波背景距离先验数据以及最新Ia型超新星编目数据相结合,获得了不同数据组合下的稳健约束,并重构了最近的幻影分界线双重跨越。此外,在自然性假设下,该模型预计超轻费米子暗物质质量约为1.9×10⁻³ eV,暗示了暗物质领域新轻粒子的可能联系,并推动了未来利用宇宙扰动进行的测试。

详情
AI中文摘要

最近来自暗能量光谱仪器(DESI)的结果提供了证据,表明存在一个动态的暗能量成分,其方程状态似乎最近跨越了幻影分界线。在本文中,我们提出一个基于场论的相互作用暗能量模型,能够自然地容纳这种双重跨越。在我们的框架中,费米子暗物质通过杨-米尔斯相互作用与由Born-Infeld动力学支配的超光速标量场耦合。幻影跨越出现在有效暗能量方程状态的层面,而底层标量场动力学仍为非幻影且有界。我们与包括DESI(DR2)巡天的BAO数据、Planck 2018的宇宙微波背景距离先验数据以及最新Ia型超新星编目数据相结合,获得了不同数据组合下的稳健约束,并重构了最近的幻影分界线双重跨越。此外,在自然性假设下,该模型预计超轻费米子暗物质质量约为1.9×10⁻³ eV,暗示了暗物质领域新轻粒子的可能联系,并推动了未来利用宇宙扰动进行的测试。

英文摘要

Recent results from the Dark Energy Spectroscopic Instrument (DESI) provide evidence for a dynamical dark-energy component, whose equation of state appears to have recently crossed the phantom divide. In this Letter, we present an interacting dark-energy model, grounded in field theory, that naturally accommodates such a double crossing. In our framework, fermionic dark matter is coupled via a Yukawa interaction to a tachyonic scalar field governed by Born-Infeld dynamics. The phantom crossing arises at the level of the effective dark-energy equation of state, while the underlying scalar-field dynamics remains nonphantom and well bounded. We confront our model with data including BAO from the DESI (DR2) survey, CMB distance priors from Planck 2018, and the latest Type Ia supernovae compilations, obtaining robust constraints across the different data combinations and reconstructing a recent double crossing of the phantom divide. Furthermore, under naturalness assumptions, the model expects an ultralight fermionic dark matter mass of order $1.9\times10^{-3}\,\mathrm{eV}$, suggesting a possible connection with new light particles in the dark sector and motivating future tests with cosmological perturbations.

2605.20059 2026-05-20 cond-mat.supr-con

Secondary Collective Excitations in Intermediate to Strong-Coupling Superconductors

介于强耦合超导体中的二次集体激发

Joshua Althüser, Götz S. Uhrig

AI总结 本文研究了在介于强耦合超导体中,通过系统推导的能量转移依赖的有效电子-电子相互作用,揭示了二次相位和振幅模的出现,并探讨了这些相互作用对布拉维晶格的影响。

Comments 22 pages, 11 figures

详情
AI中文摘要

系统推导出的能量转移依赖的有效电子-电子相互作用,在各向同性超导体的介于强耦合区域中导致二次相位和振幅模的出现。我们通过迭代运动方程(iEoM)方法计算相应的响应函数,研究这些相互作用对布拉维晶格的影响。在弱耦合区域,我们发现常规的、初级振幅和相位模分别出现在ω=2Δ和ω=0处。对于中间耦合,振幅模脱离准粒子连续体向更低能量发展。进一步增加耦合,导致在连续体以下出现额外的、长寿命的二次集体激发。这种现象在很大程度上不依赖于底层晶格和特定费米能级。如果系统不具有粒子-空穴对称性,振幅和相位模会耦合。此外,我们扩展了方法以计算本征算符,即线性组合的算符,能够特定地激发每个二次模。我们识别出这些本征算符的系数中存在类似氢问题波函数的节点结构。

英文摘要

Considering systematically derived energy-transfer-dependent effective electron-electron interactions leads to the appearance of secondary phase and amplitude modes in isotropic superconductors in the intermediate-to-strong-coupling regime. We study the implications of such interactions on Bravais lattices by computing the corresponding response functions using the iterated equations of motion (iEoM) approach. In the weak-coupling regime, we find the conventional, primary amplitude and phase modes at $ω=2Δ$ and $ω=0$, respectively. For intermediate coupling, the amplitude mode detaches from the quasiparticle continuum towards lower energies. Increasing the coupling further leads to additional, long-lived secondary collective excitations below the continuum. This phenomenon is largely independent of the underlying lattice and the specific Fermi level. The amplitude and phase modes couple if the system is not particle-hole symmetric. Additionally, we extend the method to compute eigenoperators, i.e., linear combinations of operators that excite each secondary mode specifically. We identify nodal structures in the coefficients for these eigenoperators reminiscent of wave functions in the Hydrogen problem.

2605.20058 2026-05-20 hep-ph

Renormalisation and invariants for two U(1)s

重整化与两个U(1)的不变量

Sacha Davidson, Martin Gorbahn

AI总结 本文研究了具有两个U(1)规范对称性的模型的重整化问题,通过非规范的规范动能项形式,在场重参数化下保持协变性。该方法便于研究尺度演化中动能混合法的出现,因为规范动能项被赋予耦合矩阵。作者推导出到二阶环的MSbar重整化群方程,可以求解得到低能有效millicharges,这些依赖于模型的运行耦合常数和重质量标度。该方法允许从运行拉格朗日参数构造出不变量,这些不变量在通用规范场重参数化下保持不变,可以直接与如millicharge等可观测量相关联。

Comments 12 pages + appendices

详情
AI中文摘要

我们重新审视具有两个U(1)规范对称性的模型的重整化问题,采用非规范的规范动能项形式,该形式在两个规范玻色子之间的场重参数化下保持协变性。这种方法便于研究尺度演化中动能混合法的出现,因为规范动能项被赋予耦合矩阵。我们得到了到二阶环的MSbar重整化群方程,可以求解得到低能有效millicharges,这些依赖于模型的运行耦合常数和重质量标度。该方法允许从运行拉格朗日参数构造出``不变量'',这些不变量在通用规范场重参数化下保持不变,包括重标量,且可以直接与如millicharge等可观测量相关联。

英文摘要

We revisit the renormalisation of models with two U(1) gauge symmetries, in a formulation with non-canonical gauge kinetic terms which is covariant under field reparametrisations among the two gauge bosons. This approach is convenient to study the appearance of kinetic mixing in scale evolution, because a coupling matrix is attributed to the gauge kinetic terms. We obtain simple MSbar renormalisation group equations up to two-loop, which can be solved to give effective millicharges at low energy which depend on the running couplings and heavy mass scales of the model. This formulation allows to construct ``invariants'' out of running Lagrangian parameters, which are invariant under generic gauge field reparametrisations, including rescalings, and which can be related directly to observables such as the millicharge.

2605.20054 2026-05-20 cs.LO

Automating proof search when equality is a logical connective

将等价性视为逻辑连接词来自动化证明搜索

Kaustuv Chaudhuri, Arunava Gantait, Dale Miller

AI总结 本文提出了一种扩展unification以处理量词交替和正负出现方程的证明搜索程序,为第一顺序sequent calculus提供了支持等价性作为逻辑连接词的轻量级逻辑框架。

Comments To appear in IJCAR 2026: International Joint Conference on Automated Reasoning, Lisbon (Portugal), July 2026

详情
AI中文摘要

将语法等价性视为逻辑连接词——在sequent calculus中由左和右引入规则所规范——提供了一种优雅而强大的术语身份方法。这种对等价性的处理允许推导出核心数学原理,如皮亚诺公理(不包括归纳),并为Abella交互式证明助手提供了基础。然而,将此等价性整合到自动证明搜索中仍然具有挑战性。我们提出了一种证明搜索程序,扩展unification以处理量词交替和正负出现方程的复杂性。尽管已建立的逻辑框架如λProlog和LF缺乏对这种等价性的直接支持,我们的程序使能够使用这种等价性的轻量级逻辑框架得以实现。我们的系统在多种第一顺序sequent calculus中实现了unification-aware的证明搜索,这些calculus可以直接使用这种等价性形式。

英文摘要

Treating syntactic equality as a logical connective -- governed by left- and right-introduction rules within the sequent calculus -- offers an elegant and powerful approach to term identity. This treatment of equality allows for the derivation of core mathematical principles, such as Peano's axioms (excluding induction), and serves as a foundation for the Abella interactive proof assistant. However, integrating this equality into automated proof search remains challenging. We present a proof search procedure that extends unification to handle the complexities of quantifier alternation and equations that occur in both positive and negative occurrences. While established logical frameworks such as $λ$Prolog and LF lack direct support for this kind of equality, our procedure enables a lightweight logical framework that addresses this gap. Our system enables unification-aware proof search across a diverse range of first-order sequent calculi that can directly use this form of equality.

2605.20053 2026-05-20 math.AG

Zero cycles on Severi--Brauer flag varieties

塞弗里-布拉uer旗形 varieties 上的零次循环

Divyasree C-Ramachandran, Amit Hogadi

AI总结 本文研究了塞弗里-布拉uer旗形 varieties 上的零次循环 Chow 群,证明了其在特定条件下为 (d, n/d)-torsion,并给出了新的实例和更严格的 torsion 绑定。

Comments are most welcome! 12 pages

详情
AI中文摘要

设 $A$ 是一个定义在域 $F$ 上的中心简单代数,其指数为 $n$,令 $\mathrm{SB}_r(A)$ 表示与 $A$ 关联的第 $r$ 个广义塞弗里-布拉uer 变种。我们证明了零次循环的 Chow 群 $\mathrm{A_0}(\mathrm{SB}_r(A))$ 是 $(d, n/d)$-torsion,其中 $d = (r,n)$。我们的方法将一般情况简化为素数幂指数的除法代数,并给出了几个新的实例,在这些实例中 $\mathrm{A_0}$ 为平凡。此外,我们还证明如果 $F$ 是局部或全局域,则 $\mathrm{A_0}(\mathrm{SB}_r(A))=0$。由于塞弗里-布拉uer 旗形 varieties 与广义塞弗里-布拉uer 变种稳定地 birational,这些结果扩展到它们,从而得到对应于 $\mathrm{A_0}(X)$ 的 torsion 绑定和消失结果,其中 $X$ 与 $\mathrm{SB}_r(A)$ 稳定地 birational。

英文摘要

Let \(A\) be a central simple algebra over a field \(F\) with index \(n\) and let \(\mathrm{SB}_r(A)\) denote the \(r\)-th generalized Severi--Brauer variety associated with \(A\). We prove that the Chow group of zero cycles of degree zero \(\mathrm{A_0}(\mathrm{SB}_r(A))\) is \((d, n/d)\)-torsion where \(d = (r,n)\). Our approach reduces the general case to division algebras of prime power index and yields several new instances in which \(\mathrm{A_0}\) is trivial, together with sharper torsion bounds in general.\\ We also show that if \(F\) is a local or global field, then \(\mathrm{A_0}(\mathrm{SB}_r(A))=0\). Since Severi--Brauer flag varieties are stably birational to generalized Severi--Brauer varieties, these results extend to them, yielding corresponding torsion bounds and vanishing results for \(\mathrm{A_0}(X)\), where \(X\) is stably birational to \(\mathrm{SB}_r(A)\).

2605.20051 2026-05-20 cs.CR

Hunting Vulnerability Variants in AI Infra: Measurement and Reference-Driven Detection

在AI基础设施中寻找漏洞变体:测量与参考驱动的检测

Tian Dong, Yanjun Chen, Shoufeng Zhang, Huaien Zhang, Yunlong Lyu, Keke Lian, Dong Zhang, Shaofeng Li, Hao Chen

AI总结 本文研究了AI基础设施中漏洞变体的测量与参考驱动检测,通过分析688个GitHub仓库和251个公开披露的漏洞,发现AI基础设施项目经常共享重叠功能和重复的漏洞模式,提出了基于参考的多智能体框架INFRASCOPE,用于自动识别和验证新的漏洞变体。

Comments 19 pages

详情
AI中文摘要

AI基础设施已成为模型训练、部署和智能体编排的共享执行层。由于许多项目重新实现类似的模型中心工作流,一个仓库中披露的漏洞可能在另一个设计相关的仓库中以变体形式重现。然而,这些变体的普遍性和可检测性仍知之甚少。本文提出了一项关于AI基础设施漏洞变体的测量研究。分析688个GitHub仓库和251个公开披露的漏洞,我们发现AI基础设施项目经常共享重叠功能和重复的漏洞模式,为跨仓库变体提供了实际基础。基于这一发现,我们研究如何从已知披露中自动识别此类变体。我们提出INFRASCOPE,一种参考驱动的多智能体框架,从已知案例中提取可转移的漏洞语义,并用于在新仓库中定位和验证变体。在20个现实世界AI基础设施仓库上评估INFRASCOPE,我们发现了超过20个漏洞,包括11个已确认案例和4个已分配CVE的案例。

英文摘要

AI infra has become a shared execution layer for model training, deployment, and agent orchestration. Because many projects reimplement similar model-centric workflows, a vulnerability disclosed in one repository can recur as a variant in another repository with a related design. Yet the prevalence and detectability of these variants remain poorly understood. This paper presents a measurement study of vulnerability variants in AI infra. Analyzing 688 GitHub repositories and 251 publicly disclosed vulnerabilities, we find that AI infra projects frequently share overlapping functionality and recurrent vulnerable patterns, creating a concrete basis for cross-repository variants. Building on this finding, we study how to automatically identify such variants from known disclosures. We propose INFRASCOPE, a reference-driven multi-agent framework that extracts transferable vulnerability semantics from known cases and uses them to locate and validate variants in new repositories. Evaluating INFRASCOPE on 20 real-world AI infra repositories, we uncover over 20 vulnerabilities, including 11 acknowledged cases and 4 cases that have been assigned CVEs so far.

2605.20048 2026-05-20 hep-ex

Gaussian Process Eigenmodes for Statistical and Systematic Uncertainties in Template Fits

高斯过程本征模用于模板拟合中的统计和系统性不确定性

Vincent Alexander Croft

AI总结 本文提出利用高斯过程本征分解来高效估计统计和系统性不确定性,通过将直方图模板替换为由对数高斯柯克斯过程后验拟合蒙特卡洛数据得到的平滑函数表示,从而解决多维分析和有限蒙特卡洛样本模板中的问题。

详情
AI中文摘要

模板直方图是大型强子对撞机上统计推断的基础。HistFactory似然函数通过每个bin的Barlow-Beeston伽马因子编码模板不确定性,用于蒙特卡洛统计误差,以及通过插值修正器用于系统性形状变化。这两种机制随bin数的增加而扩展,这在多维分析和由有限蒙特卡洛样本构造的模板中变得有问题。我们提出利用本征分解来高效估计统计和系统性不确定性,当将直方图模板替换为由对数高斯柯克斯过程后验拟合蒙特卡洛数据得到的平滑函数表示时。后验协方差,通过每个系统性形状变化的秩-1更新,提供了一个统一的本征模基,编码了统计和系统性模板不确定性。截断到前几个本征模将完整的每个bin伽马因子和插值参数替换为少量的高斯约束幅度。我们证明这种构造包含Barlow-Beeston作为极限情况,并且高斯过程后验方差在每个bin上都被Barlow-Beeston方差所限制。

英文摘要

Template histograms are the foundation of statistical inference at the Large Hadron Collider. The HistFactory likelihood encodes template uncertainty through per-bin Barlow-Beeston gamma factors for Monte Carlo statistical error and through interpolation-based modifiers for systematic shape variations. These two mechanisms scale with the number of bins, which becomes problematic for multi-dimensional analyses and for templates constructed from limited Monte Carlo samples. We propose the use of eigenmode decomposition for efficiently estimating statistical and systematic uncertainties when replacing histogram templates with smooth functional representations derived from log-Gaussian Cox process posteriors fitted to the Monte Carlo data. The posterior covariance, augmented by rank-1 updates for each systematic shape variation, provides a unified eigenmode basis that encodes both statistical and systematic template uncertainty. Truncating to the leading eigenmodes replaces the full set of per-bin gamma factors and interpolation parameters with a small number of Gaussian-constrained amplitudes. We prove that this construction contains Barlow-Beeston as a limiting case and that the Gaussian Process posterior variance is bounded above by the Barlow-Beeston variance at every bin.

2605.20047 2026-05-20 cs.CR cs.AR cs.DC

Taking Cryptography Out of the Data Path via Near-Memory Processing in DRAM

通过DRAM中的近内存处理将密码学移出数据路径

Nicola Barcarolo, Brahmaiah Gandham, Mohammad Sadrosadati, Roberto Passerone, Onur Mutlu, Flavio Vella

AI总结 本文研究了通过近内存处理在DRAM中加速密码算法的潜力与限制,采用UPMEM架构评估算法可扩展性,发现多rank分布显著提升性能,实现实时PIM加速密码算法。

详情
AI中文摘要

加密算法如AES-128和SHA-256在确保数据安全性和完整性方面至关重要。尽管这些算法计算效率高,但其性能常受处理器为中心的架构(如CPU、GPU)限制,主要由于内存瓶颈。这种限制导致处理大量数据时延迟增加和能耗升高。为克服这些挑战,进程在内存(PIM)作为一种有前途的架构范式出现,允许计算直接在内存单元内或附近进行。通过最小化处理器与内存单元之间的数据移动,PIM可以显著加速加密算法并提高能效。已有研究表明PIM在根本上加速加密算法的有效性。然而,此前的工作尚未广泛展示真实PIM系统的潜力。本文旨在研究真实PIM在加速加密算法的潜力和限制。作为方法的一部分,使用UPMEM PIM架构评估加密算法的可扩展性。当这些算法在单个rank上运行时,其性能仍低于现代CPU。然而,将计算分布到多个rank显著提升了性能。当所有可用rank都被利用时,真实PIM能更有效地加速加密算法。

英文摘要

Cryptographic algorithms such as AES-128 and SHA-256 are fundamental to ensuring data security and integrity. Although these algorithms are computationally efficient, their performance is often constrained by the processor-centric architectures (e.g., CPUs, GPUs), primarily due to the memory bottleneck. This constraint leads to increased latency and higher energy consumption, particularly when handling large volumes of data. To overcome these challenges, Processing-in-Memory (PIM) has emerged as a promising architectural paradigm, allowing computation to occur directly within or near memory units. By minimizing data movement between the processor and memory units, PIM can significantly accelerate cryptographic algorithms while improving energy efficiency. Several pieces of prior work have demonstrated the effectiveness of PIM at fundamentally accelerating cryptographic algorithms. However, none of the prior works have extensively demonstrated the potential of a real-world PIM system. In this paper, we want to investigate the potential and limitations of real-world PIM in accelerating cryptographic algorithms. As part of our methodology, the UPMEM PIM architecture is used to assess the scalability of cryptographic algorithms. When these algorithms operate on a single rank, their performance remains below that of modern CPUs. However, distributing the computation across multiple ranks significantly enhances performance. When all available ranks are utilized, real-world PIM can accelerate cryptographic algorithms more effectively.

2605.20046 2026-05-20 physics.flu-dyn

Two-point enstrophy dynamics in homogeneous isotropic turbulence

二点涡量动力学在各向同性湍流中的研究

Gabriele Boga, Carlos B. da Silva, Sergio Chibbaro, Andrea Cimarelli

AI总结 本文通过Kármán-Howarth-Monin-Hill方法的二点形式,研究了各向同性湍流中涡量的多尺度动力学,发现涡量的二点预算主要由涡旋拉伸产生的生产平衡涡量破坏,并由扩散传输主导,从而防止了由惯性传输主导的涡量范围的出现。同时,纵向和横向贡献的分解揭示了惯性涡量通量的双重性质,即通过直接和反向的跨尺度传输非平凡地转移涡量。结果表明,这种双重性质与涡旋拉伸机制密切相关,除了通过涡量放大产生涡量外,还通过拉伸涡旋元素将纵向涡量转移到大尺度,通过在径向方向收缩涡旋元素将横向涡量转移到小尺度。这些贡献的总和导致涡量从大尺度向小尺度转移。本文提出使用压力传输项作为代理,以获得关于惯性能量和涡量传输相关事件的动力学信息。新发现强调了纵向能量传输中惯性压缩事件的相关性。同时,发现横向能量传输事件与由于涡旋拉伸机制导致的涡旋元素径向收缩之间有良好的相关性。

详情
AI中文摘要

在本文中,我们通过Kármán-Howarth-Monin-Hill方法提供的二点形式,研究了各向同性湍流中涡量的多尺度动力学。研究基于直接数值模拟,Taylor基于雷诺数在140 ≤ Re_λ ≤ 400范围内。在尺度r > 10η的情况下,二点涡量预算似乎完全由涡旋拉伸产生的生产平衡涡量破坏,并由更小尺度的扩散传输主导,从而防止了由涡量惯性传输主导的范围的出现。纵向和横向贡献的分解也突显了惯性涡量通量的双重性质。特别是,涡量似乎通过直接和反向跨尺度传输的非平凡组合在不同尺度之间转移。研究表明,这种双重性质与涡旋拉伸机制密切相关,除了通过涡量放大产生涡量外,还通过拉伸涡旋元素将纵向涡量转移到大尺度(通过拉伸涡旋元素),并通过在径向方向收缩这些涡旋元素将横向涡量转移到小尺度。这些两个贡献的总和导致涡量从大尺度向小尺度转移。我们提出使用压力传输项作为代理,以获得关于相关惯性能量和涡量传输事件的动力学信息。新发现强调了纵向能量传输中惯性压缩事件的相关性。同时,发现横向能量传输事件与由于涡旋拉伸机制导致的涡旋元素径向收缩之间有良好的相关性。

英文摘要

In the present work we investigate the multiscale dynamics of enstrophy in homogeneous isotropic turbulence by exploiting the two-point formalism provided by the Kármán-Howarth-Monin-Hill approach. The study is conducted on direct numerical simulations with a Taylor-based Reynolds number in the range of $140 \lesssim Re_λ \lesssim 400$. The two-point enstrophy budget at scales $r > 10 η$ appears to be entirely determined by production via vortex stretching, which balances enstrophy destruction, and to be dominated by the diffusive transport at smaller scales, thus preventing the emergence of a range dominated by the inertial transport of enstrophy. The decomposition in longitudinal and transverse contributions also highlights a dual nature of the inertial enstrophy flux. In particular, enstrophy appears to be transferred across scales through a non-trivial combination of direct and reverse interscale transfer. It is shown that the dual nature of this transfer is strictly related to the vortex stretching mechanism, which, in addition to producing enstrophy through vorticity amplification, also transfers longitudinal vorticity towards larger scales (by stretching the vortical elements) and transverse vorticity towards smaller scales (by contracting these vortical elements in the radial direction). The sum of these two contributions results in an overall transfer of enstrophy from large towards small scales. We propose the use of the pressure transport term as a proxy to obtain some information on the dynamics of relevant events of inertial energy and enstrophy transport. The new findings highlight the relevance of inertial compression events in longitudinal energy transport. At the same time, a good correlation between transverse energy transport events and the radial contraction of vortical elements due to vortex stretching mechanisms is also found.

2605.20045 2026-05-20 math.AG

Chow and cohomology rings of moduli stacks of plane quartics

四次曲线模栈的Chow环和上同调环

Kenneth Ascher, Donggun Lee

AI总结 本文研究了四次曲线模栈Hacking模栈的Chow环和上同调环,通过堆叠理论加权吹胀构造了一个光滑proper Deligne-Mumford堆栈,解决了KSBA和K-模空间之间的Calabi-Yau墙交叉问题,并计算了该模栈的Poincaré多项式,证明了循环类映射在有理系数下是同构的,并确定了其Chow环的生成元和关系。

Comments 55 pages

详情
AI中文摘要

本文研究了Hacking模栈$\mathcal{P}^{\mathrm{H}}$的Chow环和上同调环。我们通过堆叠理论加权吹胀构造了一个光滑proper Deligne--Mumford堆栈,解决了KSBA和K-模空间之间的Calabi-Yau墙交叉问题。其粗模空间在正则化后是KSBA、K-模空间和边界极化Calabi-Yau紧致化自然图示的纤维积。从这一点出发,我们计算了$\mathcal{P}^{\mathrm{H}}$的Poincaré多项式,证明了循环类映射在有理系数下是同构的,并确定了其Chow环的生成元和关系,用tautological类来表示。对于GIT和K-模空间堆栈也建立了类似的结果。

英文摘要

This paper studies the Chow and cohomology rings of the Hacking moduli stack $\mathcal{P}^{\mathrm{H}}$ of plane quartics. We construct a smooth proper Deligne--Mumford stack resolving the Calabi--Yau wall crossing between the KSBA and K-moduli compactifications for plane quartics via stack-theoretic weighted blowups. Its coarse moduli space is, up to normalization, the fiber product of the natural diagram relating the KSBA, K-moduli, and boundary polarized Calabi--Yau compactifications. From this, we compute the Poincaré polynomial of $\mathcal{P}^{\mathrm{H}}$, show that the cycle class map is an isomorphism with rational coefficients, and determine generators and relations for its Chow ring in terms of tautological classes. Analogous results are established for the GIT and K-moduli stacks.