arXivDaily arXiv每日学术速递 周一至周五更新
重置
全部学科分类 2094
热门方向导航
2504.10380 2026-06-19 math.DG gr-qc math-ph math.MG math.MP 版本更新

Lorentzian Gromov-Hausdorff convergence and pre-compactness

洛伦兹Gromov-Hausdorff收敛与预紧性

Andrea Mondino, Clemens Sämann

AI总结 本文引入洛伦兹空间的Gromov-Hausdorff收敛概念,基于因果钻石的ε-网和时间分离函数,证明了洛伦兹版本的Gromov预紧定理,并应用于全局双曲时空和曲率驱动的预紧性。

Comments 71 pages; v5: minor improvements, to appear in J. Reine Angew. Math

详情
AI中文摘要

本文的目标是为洛伦兹空间引入一种类似Gromov-Hausdorff的收敛概念,该概念建立在由因果钻石组成的$\epsilon$-网上,并仅依赖于时间分离函数。这产生了一种几何收敛概念,可应用于合成洛伦兹空间(洛伦兹前长度空间)或光滑时空。主要结果中,我们证明了著名的度量空间Gromov预紧定理的洛伦兹对应物,其中由球体控制覆盖被钻石控制覆盖所取代。这为满足柯西超曲面上一致加倍性质和因果性适当控制的全局双曲时空类,以及曲率驱动的预紧性,产生了几何预紧结果。论文最后部分建立了若干应用:我们展示了Chruściel-Grant近似是此处引入的洛伦兹Gromov-Hausdorff收敛的一个实例,证明了类时截面曲率界限在此收敛下是稳定的,引入了类时爆破切线,并讨论了与因果集理论主要猜想的联系。

英文摘要

The goal of the paper is to introduce a convergence à la Gromov-Hausdorff for Lorentzian spaces, building on $ε$-nets consisting of causal diamonds and relying only on the time separation function. This yields a geometric notion of convergence, which can be applied to synthetic Lorentzian spaces (Lorentzian pre-length spaces) or smooth spacetimes. Among the main results, we prove a Lorentzian counterpart of the celebrated Gromov's pre-compactness theorem for metric spaces, where controlled covers by balls are replaced by controlled covers by diamonds. This yields a geometric pre-compactness result for classes of globally hyperbolic spacetimes, satisfying a uniform doubling property on Cauchy hypersurfaces and a suitable control on the causality, and a curvature-driven pre-compactness result. The final part of the paper establishes several applications: we show that Chruściel-Grant approximations are an instance of the Lorentzian Gromov-Hausdorff convergence here introduced, we prove that timelike sectional curvature bounds are stable under such a convergence, we introduce timelike blow-up tangents and discuss connections with the main conjecture of causal set theory.

2512.07282 2026-06-19 math.AT 版本更新

Reproducing Kernel Hilbert Spaces for Virtual Persistence Diagrams

虚拟持久性图的再生核希尔伯特空间

Charles Fanning, Mehmet Aktas

AI总结 通过Grothendieck完备化将持久性图群化为格,定义相位图和特征图,引入热阻尼抑制不稳定频率,导出核的Lipschitz界并用于合成分割实验。

Comments 40 pages, 7 figures, submitted to Journal of Applied and Computational Topology

详情
AI中文摘要

持久性图是表示跨过滤的拓扑特征寿命的出生-死亡对有限多重集。现有的持久性图函数和核表示通常通过嵌入到辅助空间来外部构造。对于具有有限索引集的过滤,通过持久性图幺半群的Grothendieck完备化得到的关联虚拟持久性图群是一个有限生成的格。我们定义了一个相位图,将每个持久性区间映射到一个圆形坐标,以及一个特征图,聚合虚拟持久性图中区间的相位。我们在虚拟持久性图群的特征上引入热阻尼以抑制不稳定频率。我们推导了所得核的Lipschitz界,并将其应用于合成分割实验。

英文摘要

A persistence diagram is a finite multiset of birth-death pairs representing the lifetimes of topological features across a filtration. Existing functional and kernel representations of persistence diagrams are typically constructed extrinsically through embeddings into auxiliary spaces. For filtrations with finite indexing sets, the associated virtual persistence diagram group obtained by Grothendieck completion of the persistence diagram monoid is a finitely generated lattice. We define a phase map sending each persistence interval to a circular coordinate and a character map aggregating the phases of intervals in a virtual persistence diagram. We introduce heat damping on characters of virtual persistence diagram groups to suppress the unstable frequencies. We derive Lipschitz bounds for the resulting kernels and apply them in a synthetic segmentation experiment.

2512.06899 2026-06-19 cs.CR 版本更新

Patronus: Identifying and Mitigating Transferable Backdoors in Pre-trained Language Models

Patronus: 识别和缓解预训练语言模型中的可迁移后门

Tianhang Zhao, Haodong Zhao, Wei Du, Pengzhou Cheng, Junxian Li, Sufeng Duan, Haojin Zhu, Gongshen Liu

AI总结 针对预训练语言模型供应链中可迁移后门的安全威胁,提出Patronus防御框架,通过输入侧不变性检测和双阶段缓解策略,在15个模型和9个任务上实现≥98.3%后门检测召回率。

Comments Work in progress

详情
AI中文摘要

“预训练,然后微调”范式彻底改变了自然语言处理(NLP)。在此背景下,可迁移后门对预训练语言模型(PLMs)供应链构成严重威胁,然而防御研究仍处于起步阶段,主要依赖于检测输出特征空间中的异常。我们发现一个关键缺陷:下游任务的微调不可避免地会修改模型参数,改变输出分布,使得预先计算的防御失效。为解决此问题,我们提出Patronus,一种新颖的防御框架,将防御焦点从输出特征转移到输入侧不变性,利用对抗性触发即使在模型权重变化时也保持恒定的特性。为了克服离散文本优化的收敛挑战,Patronus引入了一种多触发对比搜索算法,有效桥接了基于梯度的优化与对比学习目标。此外,我们采用了一种双阶段缓解策略,结合实时输入监控和通过对抗训练进行的模型净化。在15个PLMs和9个任务上的大量实验表明,Patronus实现了≥98.3%的后门检测召回率,并将攻击成功率降低到干净设置的水平,在所有设置中显著优于所有最先进的基线。代码可从此https URL获取。

英文摘要

The ``Pre-train, then fine-tune'' paradigm has revolutionized Natural Language Processing (NLP). In this context, transferable backdoors pose a severe threat to the Pre-trained Language Models (PLMs) supply chain, yet defensive research remains nascent, primarily relying on detecting anomalies in the output feature space. We identify a critical flaw that fine-tuning on downstream tasks inevitably modifies model parameters, shifting the output distribution and rendering pre-computed defense ineffective. To address this, we propose Patronus, a novel defense framework that shifts the defensive focus from output features to input-side invariance, exploiting the fact that adversarial triggers remain constant even as model weights change. To overcome the convergence challenges of discrete text optimization, Patronus introduces a multi-trigger contrastive search algorithm that effectively bridges gradient-based optimization with contrastive learning objectives. Furthermore, we employ a dual-stage mitigation strategy combining real-time input monitoring with model purification via adversarial training. Extensive experiments across 15 PLMs and nine tasks demonstrate that Patronus achieves $\geq98.3\%$ backdoor detection recall and reduces attack success rates to clean settings, significantly outperforming all state-of-the-art baselines in all settings. Code is available at https://github.com/zth855/Patronus.

2512.04801 2026-06-19 quant-ph 版本更新

Hybrid VQE-CVQE algorithm using diabatic state preparation

使用非绝热态制备的混合VQE-CVQE算法

John P. T. Stenger, C. Stephen Hellberg, Daniel Gunlycke

AI总结 提出一种混合变分量子算法,通过非绝热态制备生成参数化酉算子,结合量子电路与经典优化,在IBM Brisbane上实现化学精度内的能量计算。

详情
AI中文摘要

我们提出一种混合变分量子算法,该算法中量子电路和后续经典优化都使用变分参数。与变分量子本征求解器(VQE)类似,该算法将参数化酉算子应用于量子比特寄存器。我们使用非绝热态制备生成该算子。量子测量结果随后用于指导级联变分量子本征求解器(CVQE)使用的经典优化过程。我们在一个相互作用电子系统上演示了该算法,并展示了它如何用于长期纠错以及短期中等规模量子计算机。我们在IBM Brisbane上进行的模拟产生的能量在化学精度范围内。

英文摘要

We propose a hybrid variational quantum algorithm that has variational parameters used by both the quantum circuit and the subsequent classical optimization. Similar to the Variational Quantum Eigensolver (VQE), this algorithm applies a parameterized unitary operator to the qubit register. We generate this operator using diabatic state preparation. The quantum measurement results then inform the classical optimization procedure used by the Cascaded Variational Quantum Eigensolver (CVQE). We demonstrate the algorithm on a system of interacting electrons and show how it can be used on long-term error-corrected as well as short-term intermediate-scale quantum computers. Our simulations performed on IBM Brisbane produced energies well within chemical accuracy.

2512.03232 2026-06-19 astro-ph.CO 版本更新

The DESI DR1 Peculiar Velocity Survey: global zero-point and $H_0$ constraints

DESI DR1 本动速度巡天:全局零点与 $H_0$ 约束

A. Carr, C. Howlett, A. J. Amsellem, Tamara M. Davis, K. Said, D. Parkinson, A. Palmese, J. Aguilar, S. Ahlen, J. Bautista, S. BenZvi, D. Bianchi, C. Blake, D. Brooks, T. Claybaugh, A. Cuceu, A. de la Macorra, P. Doel, K. Douglass, S. Ferraro, J. E. Forero-Romero, E. Gaztañaga, S. Gontcho A Gontcho, G. Gutierrez, H. K. Herrera-Alcantar, K. Honscheid, D. Huterer, M. Ishak, R. Joyce, A. G. Kim, D. Kirkby, A. Kremin, O. Lahav, C. Lamman, M. Landriau, L. Le Guillou, M. E. Levi, M. Manera, A. Meisner, R. Miquel, J. Moustakas, S. Nadathur, W. J. Percival, F. Prada, I. Pérez-Ràfols, F. Qin, C. Ross, G. Rossi, E. Sanchez, D. Schlegel, H. Seo, D. Sprayberry, G. Tarlé, R. J. Turner, B. A. Weaver, P. Zarrouk, R. Zhou, H. Zou

AI总结 利用 DESI 首批数据中超过10万个星系的相对距离测量,通过校准 Fundamental Plane 和 Tully-Fisher 关系的零点,以1.1 km/s/Mpc的系统误差测量哈勃常数 $H_0=73.7$。

Comments 22 pages, 13 figures. Updated to match published version

详情
Journal ref
ApJ 1004 (2026) 235
AI中文摘要

暗能量光谱仪(DESI)在其首批数据发布(DR1)中已提供了超过10万个具有相对距离测量的星系。本文的主要目的是对 DESI 的 Fundamental Plane 和 Tully-Fisher 关系进行零点校准,从而测量哈勃常数 $H_0$。该样本的统计不确定性低于以往用于测量 $H_0$ 的任何样本,我们研究了可能限制测量精度的绝对校准中的系统不确定性。我们改进了 DESI 早期数据发布的 Fundamental Plane $H_0$ 测量,方法包括:a) 使用群星表增加校准星系的数量,b) 研究近邻宇宙中的替代校准器。我们的基线测量校准到 SH0ES/Pantheon+ 型 Ia 超新星,得到 $H_0=73.7\pm 0.06\;(\text{统计})\pm 1.1\;(\text{系统})$ km s$^{-1}$ Mpc$^{-1}$。校准到表面亮度涨落(SBF)距离得到类似的 $H_0$。我们探索了使用其他校准器的测量,但由于这些校准器与 DESI 本动速度示踪体的重叠要小得多,目前精度较低。在未来的数据发布中,随着本动速度样本的进一步扩大,我们计划直接校准到造父变星和红巨星分支尖端,这将使不确定性降低到百分之一水平的 $H_0$ 测量。这将为 $H_0$ 测量提供超新星作为哈勃流样本的替代方案。

英文摘要

The Dark Energy Spectroscopic Instrument (DESI) in its first Data Release (DR1) already provides more than 100,000 galaxies with relative distance measurements. The primary purpose of this paper is to perform the calibration of the zero-point for the DESI Fundamental Plane and Tully-Fisher relations, which allows us to measure the Hubble constant, $H_0$. This sample has a lower statistical uncertainty than any previously used to measure $H_0$, and we investigate the systematic uncertainties in absolute calibration that could limit the accuracy of that measurement. We improve upon the DESI Early Data Release Fundamental Plane $H_0$ measurement by a) using a group catalog to increase the number of calibrator galaxies and b) investigating alternative calibrators in the nearby Universe. Our baseline measurement calibrates to the SH0ES/Pantheon+ type Ia supernovae, and finds $H_0=73.7\pm 0.06\;(\text{stat.})\pm 1.1\;(\text{syst.})$ km s$^{-1}$ Mpc$^{-1}$. Calibrating to surface brightness fluctuation (SBF) distances yields a similar $H_0$. We explore measurements using other calibrators, but these are currently less precise since the overlap with DESI peculiar velocity tracers is much smaller. In future data releases with an even larger peculiar velocity sample, we plan to calibrate directly to Cepheids and the tip of the red giant branch, which will enable the uncertainty to decrease towards a percent-level measurement of $H_0$. This will provide an alternative to supernovae as the Hubble flow sample for $H_0$ measurements.

2512.03220 2026-06-19 hep-ph hep-ex 版本更新

New physics in toponium's shadow?

顶夸克偶素阴影中的新物理?

Thomas Flacke, Benjamin Fuks, Dongchan Kim, Jinheung Kim, Seung J. Lee, Léandre Munoz-Aillaud

AI总结 研究在顶夸克偶素形成阈值附近,中性赝标量粒子如何通过有效理论修改顶夸克对产生率,并限制其参数空间。

Comments 8 pages, 3 figures; version accepted by PLB

详情
AI中文摘要

ATLAS和CMS最近报告了在阈值附近顶夸克对产生率的增强,该区域与顶夸克偶素形成相关的非微扰QCD动力学变得重要。我们使用一种有效描述,一致地包含微扰标准模型和新物理贡献、它们的干涉以及非微扰阈值效应,研究了这种行为在存在与胶子和顶夸克耦合的中性赝标量时如何被修改。我们表明,这些因素的组合效应显著塑造了赝标量参数空间的可行区域,特别是对于质量接近两倍顶夸克质量的窄共振。虽然标准模型阈值效应可以解释测量到的增强的相当大一部分,但当前数据仍然与来自赝标量相互作用的额外贡献兼容。

英文摘要

ATLAS and CMS have recently reported enhancements in the top-antitop production rate near threshold, a region where non-perturbative QCD dynamics associated with toponium formation become relevant. We investigate how this behaviour is modified in the presence of a neutral pseudoscalar that couples to gluons and top quarks, using an effective description that consistently incorporates perturbative Standard Model and new physics contributions, their interference and non-perturbative threshold effects. We show that the combined effect of those ingredients markedly shapes the viable region of the pseudoscalar parameter space, particularly for narrow resonances with masses close to twice the top mass. While Standard Model threshold effects could explain a sizeable part of the measured enhancements, the current data remain compatible with additional contributions from pseudoscalar interactions.

2512.02908 2026-06-19 q-bio.MN q-bio.QM q-bio.SC 版本更新

Imperfect molecular detection can renormalize apparent kinetic rates in stochastic gene regulatory networks

不完美的分子检测可以重整化随机基因调控网络中的表观动力学速率

Iryna Zabaikina, Ramon Grima

AI总结 研究不完美分子检测对基因调控网络随机动力学的影响,发现捕获效应在某些条件下可重整化动力学速率,为解释噪声单细胞测量提供系统基础。

Comments 28 pages, 6 figures. Changes include Table I, demonstrating accurate renormalization even for mean protein copy numbers of only a few tens of molecules, and Fig. 6, summarizing all models, reaction schemes, assumptions, rate rescalings, and validity regimes. The conclusion was expanded to discuss practical applications

详情
AI中文摘要

单细胞实验中的不完美分子检测引入了技术噪声,掩盖了基因调控网络的真实随机动力学。虽然分子捕获的二项模型提供了不完美检测的原理性描述,但迄今为止仅针对未明确考虑调控的简单基因表达模型进行了分析。在这里,我们将捕获的二项模型扩展到一般基因调控网络,以理解不完美捕获如何重塑观察到的分子计数的时间相关统计量。我们的结果揭示了捕获效应何时对应于一部分动力学速率的重整化,以及何时不能被吸收为有效速率,从而为解释有噪声的单细胞测量提供了系统基础。特别地,我们表明速率重整化取决于模型中调控细节的水平。对于基于启动子状态转换的隐式调控模型,只要基因产物合成不触发启动子状态变化(例如没有启动子近端暂停或暂停短暂),就会发生重整化。对于具有显式转录因子结合的模型,同样的条件成立,同时需要足够高的转录因子丰度,实际上每个细胞只需几十个分子。在这些情况下,技术噪声降低了合成基因产物的表观平均爆发大小,并加速了转录因子结合反应的表观速率。这种加速随着参与启动子转换的蛋白质种类和/或分子数量的增加而增强。这些效应对任意连接性的基因调控网络都成立,并且在时间依赖的动力学速率下仍然有效。

英文摘要

Imperfect molecular detection in single-cell experiments introduces technical noise that obscures the true stochastic dynamics of gene regulatory networks. While binomial models of molecular capture provide a principled description of imperfect detection, they have so far been analyzed only for simple gene-expression models that do not explicitly account for regulation. Here, we extend binomial models of capture to general gene regulatory networks to understand how imperfect capture reshapes the observed time-dependent statistics of molecular counts. Our results reveal when capture effects correspond to a renormalization of a subset of the kinetic rates and when they cannot be absorbed into effective rates, providing a systematic basis for interpreting noisy single-cell measurements. In particular, we show that rate renormalization depends on the level of regulatory detail in the model. For implicit regulatory models based on promoter state transitions, it arises whenever gene product synthesis does not trigger a promoter state change, as in the absence of promoter-proximal pausing or when pausing is short-lived. For models with explicit transcription factor binding, the same condition holds, together with sufficiently high transcription factor abundance, which in practice requires only a few tens of molecules per cell. In these cases, technical noise reduces the apparent mean burst size of synthesized gene products and accelerates the apparent rates of transcription factor binding reactions. This acceleration becomes stronger as the number of protein species and/or molecules involved in promoter switching increases. These effects hold for gene regulatory networks of arbitrary connectivity and remain valid under time-dependent kinetic rates.

2510.21290 2026-06-19 math.NA cs.NA 版本更新

A Variational Framework for the Complexity of PDE Solutions

偏微分方程解复杂性的变分框架

Juan Esteban Suarez Cardona, Holger Boche, Gitta Kutyniok

AI总结 提出基于最小二乘变分公式和梯度流的框架,从优化角度分析PDE解的可计算性和复杂性,建立多项式时间逼近与复杂性爆炸的充分条件。

详情
AI中文摘要

偏微分方程是描述物理现象的基本数学模型,但大多数实际感兴趣的PDE需要数值近似。这些方法的可行性受到现有计算模型的限制。由于数字计算机是数值计算的主要实现,而图灵机定义了其理论极限,因此PDE解的可计算性具有根本意义。它提供了一个严格的框架来区分有效可解的方程与那些编码了不可判定或不可计算行为的方程。一旦可计算性确立,复杂性理论量化了近似PDE解所需的资源。在这项工作中,我们提出了一个基于最小二乘变分公式和相关梯度流的新框架,从优化角度分析PDE解的可计算性和复杂性。我们的方法通过离散梯度流近似PDE解算子,将PDE性质(如强制性、椭圆性和凸性)与解复杂性联系起来。在此设置下,我们刻画了依赖于表示和离散化的充分条件,用于PDE允许多项式时间逼近的情形,以及出现复杂性爆炸(即多项式时间输入数据产生超多项式复杂性的解)的情形。总之,本文开发了一个用于分析PDE解类可计算性和计算复杂性的变分框架。结果展示了PDE结构和解正则性如何通过建立可计算性和复杂性界限的充分条件来影响其复杂性。除了理论刻画,该框架为有效数值方法提供了指导,并有助于理解数字计算在PDE问题上的局限性。

英文摘要

Partial Differential Equations (PDEs) are fundamental mathematical models for describing physical phenomena, yet most PDEs of practical interest require numerical approximations. The feasibility of such methods is constrained by existing computational models. Since digital computers are the primary realizations of numerical computations, and Turing machines define their theoretical limits, computability of PDE solutions is of fundamental significance. It provides a rigorous framework to distinguish equations that are effectively solvable from those that encode undecidable or non-computable behavior. Once computability is established, complexity theory quantifies the resources required to approximate PDE solutions. In this work, we present a novel framework based on least-squares variational formulations and associated gradient flows to analyze the computability and complexity of PDE solutions from an optimization perspective. Our approach approximates PDE solution operators via discrete gradient flows, linking PDE properties, such as coercivity, ellipticity, and convexity, to solution complexity. Within this setting, we characterize representation- and discretization-dependent sufficient conditions for regimes where PDEs admit polynomial-time approximations, as well as regimes exhibiting complexity blowup, where polynomial-time input data produce solutions with super-polynomial complexity. In summary, this paper develops a variational framework for analyzing computability and computational complexity of PDE solution classes. The results show how PDE structure and solution regularity influence their complexity, by establishing sufficient conditions for computability and complexity bounds. Beyond the theoretical characterization, the framework provides guidelines for effective numerical methods and contributes to understanding the limitations of digital computation for PDE problems.

2512.00560 2026-06-19 cs.SE 版本更新

SAGE: Semantic-Aware Gray-Box Game Regression Testing with Large Language Models

SAGE: 基于语义的灰盒游戏回归测试与大型语言模型

Jinyu Cai, Jialong Li, Nianyu Li, Zhenyu Mao, Mingyue Zhang, Kenji Tei

AI总结 提出SAGE框架,利用LLM引导强化学习自动生成测试套件,通过语义多目标优化精简测试,并基于更新日志语义分析优先排序,在Overcooked Plus和Minecraft中实现高效回归测试。

Comments This paper has been accepted by Automated Software Engineering journal

详情
AI中文摘要

现代实时服务游戏的快速迭代周期使得回归测试对于维持质量和稳定性不可或缺。然而,现有的回归测试方法面临关键限制,特别是在无法完全访问源代码的常见灰盒设置中:它们严重依赖手动构建测试用例,难以维护因冗余而日益庞大的测试套件,并且缺乏有效的机制来优先排序相关测试。这些挑战导致测试成本过高、自动化程度有限以及缺陷检测不足。为了解决这些问题,我们提出了SAGE,一个面向灰盒游戏环境的语义感知回归测试框架。SAGE系统地解决了测试生成、维护和选择的核心挑战。它采用LLM引导的强化学习进行高效、目标导向的探索,以自动生成多样化的基础测试套件。随后,它应用基于语义的多目标优化,通过平衡成本、覆盖率和稀有性,将该套件精炼为紧凑、高价值的子集。最后,它利用基于LLM的更新日志语义分析,优先排序与版本变更最相关的测试用例,从而实现跨迭代的高效适应。我们在两个代表性环境Overcooked Plus和Minecraft上评估了SAGE,并与自动化基线和人工记录的测试用例进行了比较。在所有环境中,SAGE以显著更低的执行成本实现了更优的缺陷检测,并展现出对版本更新的强大适应性。

英文摘要

The rapid iteration cycles of modern live-service games make regression testing indispensable for maintaining quality and stability. However, existing regression testing approaches face critical limitations, especially in common gray-box settings where full source code access is unavailable: they heavily rely on manual effort for test case construction, struggle to maintain growing suites plagued by redundancy, and lack efficient mechanisms for prioritizing relevant tests. These challenges result in excessive testing costs, limited automation, and insufficient bug detection. To address these issues, we propose SAGE, a semanticaware regression testing framework for gray-box game environments. SAGE systematically addresses the core challenges of test generation, maintenance, and selection. It employs LLM-guided reinforcement learning for efficient, goal-oriented exploration to automatically generate a diverse foundational test suite. Subsequently, it applies a semantic-based multi-objective optimization to refine this suite into a compact, high-value subset by balancing cost, coverage, and rarity. Finally, it leverages LLM-based semantic analysis of update logs to prioritize test cases most relevant to version changes, enabling efficient adaptation across iterations. We evaluate SAGE on two representative environments, Overcooked Plus and Minecraft, comparing against both automated baselines and human-recorded test cases. Across all environments, SAGE achieves superior bug detection with significantly lower execution cost, while demonstrating strong adaptability to version updates.

2109.14578 2026-06-19 math.GT 版本更新

Milnor-type invariants for surface-links and cut-diagrams

曲面链与切割图的Milnor型不变量

Benjamin Audoux, Jean-Baptiste Meilhan, Akira Yasuhara

AI总结 将Milnor链环不变量推广到4-空间中的曲面链(可能带边界),通过引入切割图(Gauss图的二维类比)构造群并提取Milnor型不变量,证明其为同痕不变量和链同伦不变量,并给出实现与分类结果。

Comments 40 pages. v.5: entirely revised version, with new organization; some applications and examples added

详情
AI中文摘要

我们将Milnor链环不变量推广到4-空间中的曲面链,可能带有边界。为此,我们引入了切割图的概念,它是Gauss图的二维类比。对于每个切割图,我们关联一个群,该群扩展了曲面链外部的基本群,并从其逐次幂零商中提取Milnor型不变量。我们证明这产生了曲面链的同痕不变量,并且其中一些甚至是链同伦不变量。我们给出了几个具体应用,包括实现和分类结果。进一步研究了切割图理论,旨在为4-空间中的曲面提供组合方法。

英文摘要

We generalize Milnor link invariants to surface-links in 4-space, possibly with boundary. To this end, we introduce the notion of cut-diagram, which is a 2-dimensional analogue of Gauss diagrams. To each cut-diagram, we associate a group extending the fundamental group of the exterior of a surface-link, and we extract Milnor-type invariants from its successive nilpotent quotients. We show that this yields concordance invariants for surface-links, and that some even are link-homotopy invariants. We give several concrete applications, including realization and classification results. The theory of cut-diagrams is further investigated, heading towards a combinatorial approach to surfaces in 4-space.

2511.23301 2026-06-19 quant-ph cond-mat.other 版本更新

Inhibited radiative decay enhances single-photon emitters

抑制辐射衰变增强单光子发射体

Florian Burger, Stephan Rinner, Andreas Gritsch, Kilian Sandholzer, Andreas Reiserer

AI总结 提出利用光子带隙抑制非期望衰变路径,增强单光子发射体在目标跃迁上的辐射,避免对高品质因子微腔的依赖,实现大频率范围内的高效光子收集和数十个掺铒离子的分辨与寻址。

详情
AI中文摘要

量子网络和模块化量子计算机需要高效的自旋-光子接口,通常通过光学谐振腔增强目标跃迁上的辐射衰变来实现。然而,这需要小模式体积和高品质因子,限制了复用能力并需要精确的频率调谐。在这里,我们展示了一种替代方法,规避了这些扩展瓶颈。利用具有定制光子带隙的W1硅光子晶体波导,我们选择性地抑制非期望的衰变路径,从而将发射重定向到目标跃迁。这使得在大频率范围内实现高效光子收集成为可能,从而能够分辨和单独寻址数十个掺铒离子。与体材料相比,它们的寿命得以保持甚至增加。器件的扩展模式体积允许使用更低的掺杂浓度,从而改善发射体相干性。我们的方法可以与Purcell增强相结合,并应用于其他自旋量子比特平台,为光子量子技术开辟了有趣的前景。

英文摘要

Quantum networks and modular quantum computers require efficient spin-photon interfaces, often realized using optical resonators that enhance radiative decay on a desired transition. However, this requires small mode volumes and high quality factors, which limits multiplexing capacity and demands precise frequency tuning. Here, we demonstrate an alternative approach that circumvents these bottlenecks for upscaling. Using a W1 silicon photonic crystal waveguide with a tailored photonic bandgap, we selectively inhibit unwanted decay pathways, thereby redirecting emission to the desired transition. This enables efficient photon collection over a large frequency range, allowing the resolution and individual addressing of tens of erbium dopants. Their lifetimes are preserved, or even increased, compared to bulk material. The extended mode volume of the devices enables the use of lower dopant concentrations, thereby improving emitter coherence. Our approach can be combined with Purcell enhancement and applied to other spin-qubit platforms, opening intriguing perspectives for photonic quantum technologies.

2511.22711 2026-06-19 hep-ph 版本更新

Bubble velocities in local equilibrium from a pseudopotential

局部平衡中来自赝势的气泡速度

Martin Münzenberg, Carlos Tamarit

AI总结 提出一种新方法,通过计算标量场赝势的极值来估计一阶相变中气泡的终端速度,无需求解运动方程或依赖简化状态方程。

Comments 25 pages, 8 figures; second version, journal reference added

详情
Journal ref
JCAP 06 (2026) 041
AI中文摘要

我们提出了一种新方法,用于估计等离子体局部平衡中一阶相变期间气泡的终端速度。该方法依赖于计算经历相变的标量场的修正势函数的极值。这个函数的形状(我们称之为“赝势”)随壁速度变化,如果流体温度对标量梯度的依赖性较弱(在具体例子中已确认高精度成立),则两个适当极值之间的赝势差给出了作用在气泡壁上的净向外压力。因此,正确的终端气泡速度是那些导致赝势中简并极小值的速度。这使得无需求解标量场的运动方程即可计算气泡速度,并且与其他方法相比,无需依赖简化的等离子体状态方程或选择特定的标量场剖面。我们以标准模型的单重态扩展为例,计算了净向外压力作为壁速度的函数。我们确认了文献中发现的混合气泡向外压力下降,这意味着稳态的缓燃是稳定的,而其爆燃对应物是不稳定的。

英文摘要

We present a new method to estimate terminal bubble velocities during first-order phase transitions in a plasma in local equilibrium. The method relies on calculating the extrema of a modified potential function for the scalar field undergoing the transition. The shape of this function, which we refer to as the ``pseudopotential'', changes with the wall velocity, and if the dependence of the fluid temperature on scalar gradients is weak -- which is confirmed to hold with high accuracy in concrete examples -- the difference in pseudopotential between two appropriate extrema gives the net outward pressure acting on the bubble wall. It then follows that the correct terminal bubble velocities are those that lead to degenerate minima in the pseudopotential. This allows to compute bubble velocities without having to solve the equation of motion of the scalar field, and in contrast to other methods this can be done without relying on simplified equations of state for the plasma or without choosing a specific ansatz for the scalar field profile. We illustrate the method in a singlet extension of the Standard Model, computing the net outward pressure as a function of the wall velocity. We confirm the dip in outward pressure found in the literature for hybrid bubbles, which implies that stationary deflagrations are stable, while their detonation counterparts are unstable.

2511.22558 2026-06-19 gr-qc hep-th math-ph math.MP 版本更新

A Universal Smarr Formula via Coupling Constants

通过耦合常数的通用Smarr公式

Kamal Hajian, Bayram Tekin, Onur Ucanok

AI总结 提出将引力理论中所有有量纲耦合常数视为热力学变量,通过引入辅助标量场和规范场,使Smarr公式和第一定律得到一致扩展,实现黑洞热力学的通用表述。

Comments 20 pages, published version with some typos removed

详情
Journal ref
Eur.Phys.J.C 86 (2026) 5, 541
AI中文摘要

在包含物质场和高阶导数修正的引力理论中,除非所有有量纲耦合被一致地纳入,否则标准的Smarr公式往往失效。传统上,诸如宇宙学常数或高阶导数项的系数被视为理论的不变特征,因此被排除在热力学相空间之外。在我们最近的工作中,我们发展了一个完全通用的框架,将每个这样的耦合提升为黑洞解的一个动力学、自由变化的参数。这是通过为每个耦合引入一个辅助标量场和规范场来实现的,通过这些场,耦合作为与涌现规范对称性的全局部分相关联的守恒电荷出现。相应的共轭变量自然地作为在黑洞视界处评估的电势出现。结果,第一定律和Smarr关系获得了额外的、系统确定的贡献,产生了黑洞热力学的一致且通用的扩展。我们通过重新审视文献中的几个黑洞例子来证明这一构造的有效性,在这些例子中,即使将宇宙学常数视为热力学变量,Smarr公式仍然不一致。我们的分析表明,只有通过这种广义方式包含所有有量纲耦合,才能获得内部一致的Smarr关系,从而为真正通用的黑洞热力学表述提供基础。

英文摘要

In gravitational theories containing matter fields and higher-derivative corrections, the standard Smarr formula often fails unless all dimensionful couplings are incorporated consistently. Traditionally, parameters such as the cosmological constant or the coefficients of higher-derivative terms are regarded as immutable features of the theory and therefore excluded from the thermodynamic phase space. In our recent work, we developed a fully general framework that promotes every such coupling to a dynamical, freely varying parameter of black hole solutions. This is accomplished by introducing, for each coupling, an auxiliary scalar and gauge field, through which the coupling appears as a conserved charge associated with the global sector of an emergent gauge symmetry. The corresponding conjugate variables naturally arise as electric potentials evaluated at the black hole horizon. As a result, the first law and the Smarr relation acquire additional, systematically determined contributions, yielding a consistent and universal extension of black hole thermodynamics. We illustrate the validity of this construction by revisiting several black hole examples in the literature where the Smarr formula remains inconsistent even after treating the cosmological constant as a thermodynamic variable. Our analysis shows that only by including all dimensionful couplings in this generalized manner can one obtain an internally consistent Smarr relation, thereby providing the foundation for a truly universal formulation of black hole thermodynamics.

2511.21617 2026-06-19 math.NT 版本更新

On efficient approximation of quadratic irrationals

关于二次无理数的高效逼近

Peter H. van der Kamp, Anthony Overmars, Marcel Jackson, Andrew N. W. Hone

AI总结 本文提出高效计算二次无理数收敛的算法,证明在拉格朗日定理的伽罗瓦细化条件下,平方根的收敛序列的某些抽取是带符号的切比雪夫序列,并可通过Householder方法生成。

Comments 13 pages, 11 references, no figures, V2 contains two additional (multiplicative) algorithms (3.4 and 3.5) and an additional example (3.4)

详情
AI中文摘要

我们提供了高效算法来计算二次无理数的收敛。我们证明,对于平方根,在拉格朗日定理的伽罗瓦细化成立的情况下,收敛序列的某些抽取是带符号的切比雪夫序列,这些序列也可以通过Householder方法生成。

英文摘要

We provide efficient algorithms to compute convergents of quadratic irrationals. We show that for square roots, in settings where Galois' refinement of Lagrange's theorem holds, certain decimations of the sequence of convergents are signed Chebyshev sequences, which can be also be generated by a Householder method.

2511.18341 2026-06-19 cond-mat.str-el 版本更新

Phase Structure and Machine Learning Identification in One Dimensional Systems with Power Law Correlated Disorder and Long Range Hopping

具有幂律关联无序和长程跳跃的一维系统中的相结构与机器学习识别

Mohammad Pouranvari

AI总结 研究一维紧束缚模型,其中位势具有幂律空间关联(指数α),跳跃振幅按|i-j|^{-β}衰减。通过大规模精确对角化,结合谱统计、态密度分析和能量分辨局域化指标,构建(α,β)平面上的完整相图,揭示稳健的迁移边和多重谱共存区域,并利用监督自编码器验证相分类。

详情
Journal ref
Sci Rep 16, 17720 (2026)
AI中文摘要

我们研究了一个一维紧束缚模型,其中在位势$\{\varepsilon_i\}$具有幂律空间关联(指数$\alpha$),跳跃振幅按$t_{ij}\sim |i-j|^{-\beta}$衰减。这个双参数族在短程安德森型无序、具有常规跳跃的关联无序以及具有非平凡离域化趋势的长程跳跃模型之间连续插值。通过大规模精确对角化,我们结合谱统计、态密度分析和能量分辨局域化指标(如参与比、单粒子纠缠熵、能级间距比$r$以及几何与算术态密度之比),构建了$(\alpha,\beta)$平面上的完整相图。从这些可观测量中,我们定义了相指示函数,以紧凑地量化整个谱上的局域化行为。我们的分析揭示了稳健的迁移边以及局域态、扩展态、共振态和临界态之间的多重谱共存区域。通过基于显式平滑代价函数的有限尺寸标度,我们能够提取临界指数并描绘$(\alpha,\beta)$参数空间中的转变线。为了验证和补充这些基于物理的诊断,我们采用了一个监督自编码器,直接从原始特征学习本征态结构的高层表示,并可靠地再现由指示函数定义的相分类。这些方法共同提供了由关联无序和长程跳跃驱动的谱转变的一致且自洽的图像,为表征长程一维系统中的迁移边建立了统一框架。

英文摘要

We investigate a one-dimensional tight-binding model in which onsite potentials $\{\varepsilon_i\}$ exhibit power-law spatialcorrelations (with exponent $α$) and the hopping amplitudes decay as $t_{ij}\sim |i-j|^{-β}$. This two-parameter family interpolates continuously between short-range Anderson-like disorder, correlated disorder with conventional hopping, and long-range hopping models with nontrivial delocalization tendencies. Using large-scale exact diagonalization, we construct a comprehensive phase map in the $(α,β)$ plane by combining spectral statistics, density-of-states analysis, and energy-resolved localization indicators such as the participation ratio, single-particle entanglement entropy, level-spacing ratio $r$, and the ratio of the geometric to arithmetic density of states. From these observables we define phase-indicator functions that compactly quantify localization behavior across the spectrum. Our analysis reveals robust mobility edges and multiple regimes of spectral coexistence between localized, extended, resonant, and critical states. Finite-size scaling, implemented via an explicit smoothness-based cost function, enables extraction of critical exponents and delineation of transition lines across the $(α,β)$ parameter space. To validate and complement these physics-based diagnostics, we employ a supervised autoencoder that learns high-level representations of eigenstate structure directly from raw features and reliably reproduces the phase classification defined by the indicator functions. Together, these approaches provide a coherent and internally consistent picture of the spectral transitions driven by correlated disorder and long-range hopping, establishing a unified framework for characterizing mobility edges in long-range one-dimensional systems.

2511.18288 2026-06-19 cs.SE 版本更新

Can Large Language Models Reason About Complex Execution Paths? An Empirical Study on Python

大型语言模型能否推理复杂执行路径?基于Python的实证研究

Wenhan Wang, Kaibo Liu, Zeyu Sun, An Ran Chen, Ge Li, Gang Huang, Lei Ma

AI总结 本文实证研究大型语言模型在Python执行路径推理中的可行性,构建测试用例生成和缺陷分类任务,发现LLM能提升路径覆盖率,但强推理模型不一定优于弱模型。

Comments Accepted by ACM Transactions on Software Engineering and Methodology (TOSEM)

详情
AI中文摘要

执行路径推理是理解程序语义的关键步骤,对于生成覆盖特定分支/路径的测试用例或检测由某些路径触发的缺陷(无需实际执行程序)至关重要。传统上,执行路径推理可通过符号执行技术实现,但现有的基于SMT的符号执行方法在处理复杂数据结构及外部API调用时面临困难。在具有高度灵活语法的语言(如Python)中,这一挑战更为突出,导致缺乏广泛采用的执行路径推理工具。因此,基于AI的方法进行执行路径推理成为一个有前景的方向。本文研究了采用大型语言模型(LLMs)进行Python执行路径推理的可行性,而传统的基于路径的符号执行工具在此环境中不可用。我们对两类路径推理任务进行了实证研究:用于测试用例生成的生成任务和用于缺陷检测的分类任务。我们从竞赛级程序和真实世界仓库中构建了新的评估流水线和基准。结果表明,最先进的LLMs能够正确推理执行路径,并提高真实世界软件的测试覆盖率,尽管推理能力更强的模型并不总是优于较弱的模型。这些发现凸显了利用LLMs作为路径感知代码推理的补充启发式方法的潜力,特别是在缺乏成熟符号执行工具的程序语言中。我们已在以下网址发布了基准和评估脚本:此 https URL。

英文摘要

Execution path reasoning is a key step towards program semantics understanding. It is crucial for generating test cases that cover certain branches/paths, or detecting bugs that are triggered by some paths without actually executing the program. Traditionally, execution path reasoning can be achieved by symbolic execution techniques, but existing SMT-based symbolic execution approaches struggle with complex data structures and external API calls. This challenge is even more pronounced in languages with highly flexible syntax, such as Python, resulting in a lack of widely adopted tools for reasoning on execution paths. Therefore, reasoning execution paths with AI-based approaches become a promising direction. In this paper, we investigate the feasibility of adopting large language models (LLMs) for execution path reasoning on Python, where traditional path-based symbolic execution tools are unavailable. We conduct an empirical study on two types of path reasoning tasks: generation tasks for test case generation and classification tasks for bug detection. We build new evaluation pipelines and benchmarks from both competition-level programs and real-world repositories. Our results show that state-of-the-art LLMs can perform correct reasoning on execution paths and improve test coverage on real-world software, though models with stronger reasoning abilities do not always outperform weaker ones. These findings highlight the potential of utilizing LLMs as a complementary heuristic for path-aware code reasoning, especially in program languages lacking mature symbolic execution tools. We have released our benchmark and evaluation scripts at https://github.com/jacobwwh/llm-path-study.

2511.17625 2026-06-19 cs.MA cs.GT 版本更新

Iterative Negotiation and Oversight: A Case Study in Decentralized Air Traffic Management

迭代协商与监督:去中心化空中交通管理案例研究

Jaehan Im, John-Paul Clarke, Ufuk Topcu, David Fridovich-Keil

AI总结 提出一种受监管的去中心化协商框架,通过交易拍卖实现共识,并引入税收式监督机制引导系统效率和公平性,理论保证有限时间终止,案例验证了框架在去中心化空中交通管理中的有效性。

详情
AI中文摘要

在去中心化多智能体系统中,自利智能体通常具有冲突偏好,达成共识仍然具有挑战性。现有的协调方法使智能体无需中央协调员即可达成共识,但无法对系统级目标(如效率或公平性)提供正式保证。为解决这一局限,我们提出一个受监管的去中心化协商框架,该框架通过有限的监管监督增强去中心化协商机制。该框架基于交易拍卖达成共识,使具有冲突偏好的自利智能体能够通过资产交易进行协商,同时避免直接披露私有资产估值。我们引入一种监督机制,实施类似税收的干预,引导去中心化协商走向系统高效和公平的结果,同时调节框架的收敛速度。我们建立了有限时间终止的理论保证,并推导出系统效率和收敛速度与监管干预水平相关的界限。基于美国空中交通管理中的协作航迹选项计划(一个改道倡议)的案例研究表明,该框架能够可靠地在自利空域扇区管理者之间达成共识,并揭示了监管干预水平如何调节系统效率与收敛速度之间的关系。综合理论和实验结果表明,所提出的框架提供了一种受监管的去中心化协调机制,在维护非合作最终选择的同时保障系统级目标。

英文摘要

Achieving consensus among self-interested agents remains challenging in decentralized multi-agent systems, where agents often have conflicting preferences. Existing coordination methods enable agents to reach consensus without a centralized coordinator, but do not provide formal guarantees on system-level objectives such as efficiency or fairness. To address this limitation, we propose a regulated decentralized negotiation framework that augments a decentralized negotiation mechanism with limited regulatory oversight. The framework builds upon the trading auction for consensus, enabling self-interested agents with conflicting preferences to negotiate through asset trading while avoiding direct disclosure of private asset valuations. We introduce an oversight mechanism, which implements a taxation-like intervention that guides decentralized negotiation toward system-efficient and equitable outcomes while also regulating how fast the framework converges. We establish theoretical guarantees of finite-time termination and derive bounds linking system efficiency and convergence rate to the level of regulatory intervention. A case study based on the collaborative trajectory options program, a rerouting initiative in U.S. air traffic management, demonstrates that the framework can reliably achieve consensus among self-interested airspace sector managers, and reveals how the level of regulatory intervention regulates the relationship between system efficiency and convergence speed. Taken together, the theoretical and experimental results indicate that the proposed framework provides a mechanism for regulated decentralized coordination that preserves noncooperative final selection while safeguarding system-level objectives.

2511.15385 2026-06-19 nucl-th nucl-ex 版本更新

A relativistic mechanism for the enhanced isovector spin-orbit interaction suggested by parity-violating electron scattering experiments

宇称破坏电子散射实验提示的增强同位旋矢量自旋-轨道相互作用的相对论机制

Mengying Qiu, Tong-Gang Yue, Zhen Zhang, Lie-Wen Chen

AI总结 通过相对论密度相关点耦合泛函框架,发现增强的同位旋矢量张量耦合可自然诱导强同位旋矢量自旋-轨道相互作用,为同时描述PREX-II和CREX结果提供可行途径。

Comments 19 pages, 13 figures, 5 tables. Accepted for publication in Physics Letters B

详情
AI中文摘要

近期对$^{208}$Pb(PREX-II)和$^{48}$Ca(CREX)的高精度宇称破坏电子散射(PVES)测量揭示,在现代核能量密度泛函(EDFs)中同时描述两者存在张力。对这些数据的分析表明,增强的同位旋矢量自旋-轨道相互作用可能有助于同时解释这两个测量结果,但其在协变密度泛函理论中的相对论起源仍有待阐明。我们证明,在协变密度相关点耦合EDF框架内,增强的同位旋矢量张量耦合可自然诱导如此强的同位旋矢量自旋-轨道相互作用。这一机制为同时描述PREX-II和CREX结果提供了一条有希望的途径,同时保持对有限核和核物质的合理描述。因此,对$^{48}$Ca的PVES为协变同位旋矢量张量相互作用提供了灵敏的探针。

英文摘要

Recent high-precision parity-violating electron scattering (PVES) measurements on $^{208}$Pb (PREX-II) and $^{48}$Ca (CREX) reveal a tension in their simultaneous description within modern nuclear energy density functionals (EDFs). Analyses of these data suggest that an enhanced isovector spin-orbit interaction may help account for both measurements, but its relativistic origin in covariant density functional theory remains to be clarified. We show that, within the framework of a covariant density-dependent point-coupling EDF, an enhanced isovector tensor coupling can naturally induce such a strong isovector spin-orbit interaction. This mechanism provides a promising route toward a simultaneous description of the PREX-II and CREX results while preserving a reasonable description of finite nuclei and nuclear matter. PVES on $^{48}$Ca thus provides a sensitive probe of the covariant isovector tensor interaction.

2511.14280 2026-06-19 eess.SY cs.SY math.OC 版本更新

A graph-informed regret metric for optimal distributed control

面向最优分布式控制的图信息遗憾度量

Daniele Martinelli, Andrea Martin, Giancarlo Ferrari-Trecate, Luca Furieri

AI总结 提出空间遗憾度量,衡量分布式控制器与拥有额外传感信息的先知控制器之间的最坏性能差距,并基于该度量设计分布式控制器,通过凸优化实现有限维近似,在电力系统仿真中有效抑制局部扰动。

详情
AI中文摘要

我们考虑使用分布式控制器对大规模系统进行最优控制,这些控制器的网络拓扑与子系统之间的耦合图相匹配。在这项工作中,我们引入了空间遗憾,这是一种基于图的度量,用于衡量分布式控制器与能够访问额外传感器信息的先知控制器之间的最坏情况性能差距。先知的图是信息图的用户指定扩展,产生一个基准策略,该策略惩罚那些额外传感会改善性能的扰动。最小化空间遗憾可以产生尊重名义信息图的分布式控制器,这些控制器模仿先知对大规模网络特征扰动(如局部扰动)的响应。我们证明,最小化空间遗憾可以转化为一个具有有限维近似的无限规划。为了扩展到大型网络,我们推导了空间遗憾的上界,该上界可以以分布式方式高效最小化。在电力系统模型上的数值实验表明,与基于经典度量的控制器相比,所得控制器能更有效地抑制局部扰动。

英文摘要

We consider the optimal control of large-scale systems using distributed controllers whose network topology mirrors the coupling graph between subsystems. In this work, we introduce spatial regret, a graph-informed metric measuring the worst-case performance gap between a distributed controller and an oracle with access to additional sensor information. The oracle's graph is a user-specified augmentation of the information graph, yielding a benchmark policy that penalizes disturbances for which additional sensing would improve performance. Minimizing spatial regret yields distributed controllers - respecting the nominal information graph - that emulate the oracle's response to disturbances characteristic of large-scale networks, such as localized perturbations. We show that minimizing spatial regret admits a convex reformulation as an infinite program with a finite-dimensional approximation. To scale to large networks, we derive an upper bound on the spatial regret that can be efficiently minimized in a distributed way. Numerical experiments on power-system models show that the resulting controllers mitigate localized disturbances more effectively than those based on classical metrics.

2511.13470 2026-06-19 math-ph cond-mat.mes-hall math.AP math.CA math.FA math.MP 版本更新

Magnetic Double-Wells: Lower Bounds on Tunneling

磁双阱:隧穿的下界

Charles L. Fefferman, Jacob Shapiro, Michael I. Weinstein

AI总结 研究强磁场和深势阱下的双阱系统,给出一般耦合常数下隧穿率的下界,补充了之前特殊构造中隧穿消失的反例。

Comments With an appendix by Tal Shpigel, 81 pages

详情
AI中文摘要

我们研究了具有强磁场和深势阱的双阱系统。对于一般耦合常数值,我们给出了隧穿率的下界。这一结果最近被宣布,并补充了我们最近的反例构造,该构造展示了在特殊构造的双阱势中隧穿消失的现象。

英文摘要

We study double-well systems with strong magnetic fields and deep potential wells. We present lower bounds on tunneling rates for generic values of the coupling constant. This result was recently announced and complements our recent counter-example construction which exhibits vanishing tunneling for specially-constructed double-well potentials.

2509.11951 2026-06-19 math.NA cs.NA math.AP 版本更新

X-ray imaging from nonlinear waves: numerical reconstruction of a cubic nonlinearity

非线性波X射线成像:三次非线性的数值重建

Suvi Anttila, Markus Harju, Teemu Tyni

AI总结 针对2+1维非线性波动方程的反边界值问题,提出基于Radon变换的直接数值重建方法,通过谱正则化稳定数值微分,实现从边界测量恢复势函数。

Comments 26 pages, 10 figures. Revised version based on peer-review feedback with improvements to Theorem 1, an addition of Theorem 2, and an additional figure in the time-dependent case

详情
AI中文摘要

我们研究了$2+1$维非线性波动方程的反边界值问题。目标是利用实值波从相关的Dirichlet-to-Neumann映射中恢复未知势$q(x, t)$。我们提出了一种直接数值重建方法,用于$q$的Radon变换,然后可以使用标准的X射线断层扫描技术反演以确定$q$。我们的实现引入了一种谱正则化程序,以稳定重建中所需的数值微分步骤,提高了对边界数据噪声的鲁棒性。我们给出了噪声测量正则化谱微分的严格证明和最优稳定性估计,这可能具有独立的意义。数值实验证明了从非线性波的边界测量中恢复势的可行性,并说明了基于Radon重建的优势。

英文摘要

We study an inverse boundary value problem for the nonlinear wave equation in $2 + 1$ dimensions. The objective is to recover an unknown potential $q(x, t)$ from the associated Dirichlet-to-Neumann map using real-valued waves. We propose a direct numerical reconstruction method for the Radon transform of $q$, which can then be inverted using standard X-ray tomography techniques to determine $q$. Our implementation introduces a spectral regularization procedure to stabilize the numerical differentiation step required in the reconstruction, improving robustness with respect to noise in the boundary data. We give rigorous justification and optimal stability estimates for the regularized spectral differentiation of noisy measurements, which may be of independent interest. Numerical experiments demonstrate the feasibility of recovering potentials from boundary measurements of nonlinear waves and illustrate the advantages of the Radon-based reconstruction.

2507.17955 2026-06-19 hep-ph hep-ex nucl-th 版本更新

Constraints on millicharged particles from nuclear gamma-decays

核伽马衰变对毫电荷粒子的约束

Ting Gao, Maxim Pospelov

AI总结 研究核反应堆中铀-239的伽马级联产生毫电荷粒子对,计算通量并利用电子反冲实验数据导出毫电荷上限,在0.7-2 MeV质量区间内最强。

Comments 19 pages, published version

详情
AI中文摘要

我们考虑核伽马衰变和伽马发射反应,这些反应可以是假设的毫电荷粒子(χ)的有效来源。特别是,我们重新审视了核反应堆环境中毫电荷粒子的产生,指出$^{239}$U的伽马级联是产生χ$\bar\chi$对的被忽视但强大的来源。与以往研究相比,这导致了更高的通量。然后,我们应用新的通量估计,从靠近反应堆堆芯的各种实验中搜索的电子反冲中推导出毫电荷值ε = Q_χ/e的新限制。导出的ε限制在质量区间~0.7-2 MeV内是最强的。我们还推导了来自太阳的MCP通量,并指出了低阈值暗物质搜索实验的潜在灵敏度。

英文摘要

We consider nuclear gamma decays and $γ$-emitting reactions that can be an efficient source of hypothetical millicharged particles ($χ$). In particular, we revisit the production of millicharged particles in nuclear reactor environment, pointing out that $γ$ cascades from $^{239}$U is an overlooked yet a powerful source of $χ\barχ$ pairs. This leads to an increased flux compared to previous studies. We then apply new estimates of the flux to derive novel limits on the value of millicharge, $\varepsilon = Q_χ/e$, from the electron recoil searched for in a variety of experiments placed in proximity to the reactor cores. The derived limits on $\varepsilon$ are the strongest in the interval of masses $\sim 0.7-2$ MeV. We also derive the MCP flux from the Sun and point out potential sensitivity of the low-threshold dark matter search experiments.

2502.12843 2026-06-19 astro-ph.CO 版本更新

Comparing the motion of dark matter and standard model particles on cosmological scales

比较暗物质与标准模型粒子在宇宙学尺度上的运动

Nastassia Grimm, Camille Bonvin, Isaac Tutusaus

AI总结 通过结合星系速度与Weyl势的测量,直接检验宇宙学尺度上暗物质服从欧拉方程的假设,并约束第五力的强度。

Comments 16 pages, 8 figures

详情
Journal ref
Nature Commun. 16 (2025) 1, 9399
AI中文摘要

由于暗物质粒子从未被直接探测到,我们不知道它们如何运动,特别是不知道它们如何在引力势阱中下落。通常假设暗物质仅与自身及标准模型粒子发生引力相互作用,因此其运动由欧拉方程支配。本文通过结合星系速度测量与编码在Weyl势中的引力势阱测量,直接在宇宙学尺度上检验这一假设。我们发现当前数据在红移$z\in [0.3,0.8]$范围内与欧拉方程一致,并对可能改变暗物质粒子下落方式的潜在第五力强度施加了约束。我们发现正第五力不能超过引力相互作用强度的7%,而负第五力被限制在21%。下一代巡天,包括Vera C. Rubin天文台的时空遗产巡天和暗能量光谱仪,将大幅改善这些约束,能够将偏离纯引力相互作用的程度限制在2%的水平。

英文摘要

Since dark matter particles have never been directly detected, we do not know how they move, and in particular we do not know how they fall inside gravitational potential wells. Usually it is assumed that dark matter only interacts gravitationally with itself and with particles of the standard model, and therefore that its motion is governed by Euler's equation. In this paper, we do test this assumption directly at cosmological scales, by combining measurements of galaxy velocities with measurements of gravitational potential wells, encoded in the Weyl potential. We find that current data are consistent with Euler's equation at redshifts $z\in [0.3,0.8]$, and we place constraints on the strength of a potential fifth force, which would alter the way dark matter particles fall. We find that a positive fifth force cannot exceed 7% of the gravitational interaction strength, while a negative fifth force is limited to 21%. The coming generation of surveys, including the Legacy Survey of Space and Time of the Vera C. Rubin Observatory and the Dark Energy Spectroscopic Instrument will drastically improve the constraints, allowing to constrain a departure from pure gravitational interaction at the level of 2%.

2511.09480 2026-06-19 math.CO cs.DM 版本更新

Enumeration in the lattice of $q$-decreasing words

$q$-递减词格中的枚举

Jean-Luc Baril, Nathanaël Hassler, Sergey Kirgizov

AI总结 本文证明了$q$-递减词按分量序构成格,枚举了$q>0$时的join-不可约元,对正有理数$q$给出了覆盖数、区间数和meet-不可约元的计数,并分析了渐近行为。

Comments 22 pages, 1 figure

详情
AI中文摘要

我们证明了配备分量序的$q$-递减词偏序集构成一个格。对于任意$q>0$,我们枚举了join-不可约元;对于任意正有理数$q$,我们确定了覆盖、区间和meet-不可约元的数量。后者呈现出与字母表大小为$2\lceil q\rceil+1$且避免长度为2的$\lceil q\rceil^2+2\lceil q\rceil-1$个连续模式的词相同的结构。此外,我们分析了其中几个量的渐近行为。

英文摘要

We prove that the poset of $q$-decreasing words equipped with the componentwise order forms a lattice. We enumerate the join-irreducible elements for arbitrary $q>0$, and for any positive rational number $q$, we determine the number of coverings, intervals and meet-irreducible elements. The latter present the same structure as words over an alphabet of $2\lceil q\rceil+1$ letters avoiding $\lceil q\rceil^2+2\lceil q\rceil-1$ consecutive patterns of length 2. Furthermore, we analyze the asymptotic behavior of several of these quantities.

2404.01171 2026-06-19 math.RT math.AG math.CT 版本更新

Singularity categories via higher McKay quivers with potential

通过带势的高阶McKay箭图的奇点范畴

Junyang Liu

AI总结 将Kalck-Yang关于三维Gorenstein商奇点的定理推广到任意维数,引入带势的高阶McKay箭图,并证明奇点范畴等价于小丛范畴,同时将Cohen-Macaulay模范畴等价于Higgs范畴,并处理非Gorenstein情形。

Comments 16 pages; v2: minor changes; v3: references added, readability improved; v4: published in Selecta Mathematica. New Series

详情
Journal ref
Selecta Math. (N.S.) 32, 54 (2026)
AI中文摘要

2018年,Kalck和Yang证明了与$3$维Gorenstein商奇点相关的奇点范畴(在直和项意义下)三角等价于与带势的McKay箭图相关的小丛范畴。我们引入带势的高阶McKay箭图,并将Kalck-Yang定理推广到任意维数。我们考虑的奇点范畴作为Cohen-Macaulay模范畴的稳定范畴出现。我们通过证明这些Cohen-Macaulay模范畴等价于Wu意义下的Higgs范畴,来细化对奇点范畴的描述。此外,我们描述了非Gorenstein情形下的奇点范畴。

英文摘要

In 2018, Kalck and Yang showed that the singularity categories associated with $3$-dimensional Gorenstein quotient singularities are triangle equivalent (up to direct summands) to small cluster categories associated with McKay quivers with potential. We introduce higher McKay quivers with potential and generalize Kalck and Yang's theorem to arbitrary dimensions. The singularity categories we consider occur as the stable categories of categories of Cohen-Macaulay modules. We refine our description of the singularity categories by showing that these categories of Cohen-Macaulay modules are equivalent to Higgs categories in the sense of Wu. Moreover, we describe the singularity categories in the non-Gorenstein case.

2511.08288 2026-06-19 math-ph math.AG math.CO math.MP math.PR math.SP 版本更新

The central heat trace on large compact classical groups

大紧致经典群上的中心热迹

Thibaut Lemoine, Mylène Maïda

AI总结 研究大N极限下紧致经典群热核中心迹的渐近展开,利用最高权与划分对应及拉普拉斯-贝尔特拉米算子的稳定性,并建立随机曲面表示,应用于Casimir谱计数和杨-米尔斯/赫维茨对偶。

Comments V2: expanded version. An application to asymptotic eigenvalue counting for the Casimir has been added. 41 pages, 1 figure

详情
AI中文摘要

我们研究紧致经典群上热核中心迹的大N渐近行为。对于每个经典族 $G_N\subset \mathrm{GL}_N(\C)$,我们利用适应大秩情形的最高权/划分对应,证明了完整的大N渐近展开,在此对应下拉普拉斯-贝尔特拉米算子的特征值作为移位对称函数代数中的可观测对象稳定。然后,我们证明了迹的随机曲面表示,用环面的分支覆盖表示。我们提供两个独立应用:Casimir谱的显式大秩计数律,具有指数型Hardy-Ramanujan增长,与固定秩下Weyl律的多项式行为形成对比;以及由Gross和Taylor发起的二维环面上杨-米尔斯/赫维茨对偶的严格概率公式,完成了作者之前的工作。我们还将此对偶扩展到杨-米尔斯/格罗莫夫-威滕对偶,将中心热迹的系数表示为格罗莫夫-威滕不变量生成函数的显式泛函。

英文摘要

We study the large-$N$ asymptotics of the central trace of the heat kernel on compact classical groups. For every classical family $G_N\subset \mathrm{GL}_N(\C)$, we prove a full large-$N$ asymptotic expansion, using a highest weights/partitions correspondence adapted to the large-rank regime, under which the eigenvalues of the Laplace--Beltrami operator stabilize as observables in the algebra of shifted symmetric functions. Then, we prove a random surface representation of the trace in terms of ramified coverings of the torus. We provide two independent applications: an explicit large-rank counting law for the Casimir spectrum, with exponential Hardy--Ramanujan-type growth in contrast with the polynomial behavior of Weyl's law at fixed rank, and a rigorous probabilistic formulation of the Yang--Mills/Hurwitz duality on a two-dimensional torus initiated by Gross and Taylor, completing a previous work of the authors. We also extend this duality to a Yang--Mills/Gromov--Witten duality by expressing the coefficients of the central heat trace as explicit functionals of the generating function of Gromov--Witten invariants.

2509.20436 2026-06-19 cond-mat.mes-hall 版本更新

Orbital Hall effect in spin-3/2 hole-doped semiconductors and its implications for orbitronics

自旋3/2空穴掺杂半导体中的轨道霍尔效应及其对轨道电子学的意义

James H. Cullen, Zhanning Wang, Dimitrie Culcer

AI总结 本文提出p型半导体(特别是Ge)作为轨道电子学平台,发现五种常见半导体中体空穴的轨道霍尔电导率比自旋霍尔效应高2-3个数量级,并指出p型Ge和Si是研究轨道转矩的理想平台。

Comments Commun Phys (2026)

详情
AI中文摘要

最先进的磁器件依赖于更快、更高效的存储元件。最近一项重大进展是发现轨道转矩,它利用布洛赫电子的轨道角动量来切换相邻铁磁体的磁化,这激发了对具有强轨道响应的轨道电子材料的探索,轨道霍尔效应(OHE)就是其中一例。这里我们提出p型半导体(重点关注Ge)作为轨道电子平台。我们证明,五种常见半导体中的体空穴表现出数量级为$10^3 (\hbar/e)\Omega^{-1}$cm$^{-1}$的巨大轨道霍尔电导率,超过自旋霍尔效应2-3个数量级。计算是在现代轨道磁化理论框架内进行的,同时结合了最近发现的OHE的量子修正。此外,我们认为体p型Ge和Si是研究由电荷电流产生的轨道转矩的理想试验台,因为自旋和轨道Edelstein效应被对称性禁止。我们的结果为在p型半导体的磁器件中产生强轨道转矩提供了蓝图,指导了这方面的实验工作。

英文摘要

State-of-the-art magnetic devices rely on faster, more efficient memory elements. A major recent advance is the discovery of orbital torques, which use the orbital angular momentum of Bloch electrons to switch the magnetisation of an adjacent ferromagnet, motivating the search for orbitronic materials with strong orbital responses, exemplified by the orbital Hall effect (OHE). Here we propose $p$-type semiconductors, with a focus on Ge, as orbitronic platforms. We demonstrate that bulk holes in five common semiconductors exhibit a large orbital Hall conductivity of order $10^3 (\hbar/e)Ω^{-1}$cm$^{-1}$, exceeding the spin-Hall effect by 2-3 orders of magnitude. The calculation is performed within the framework of the modern theory of orbital magnetisation, while incorporating recently-discovered quantum corrections to the OHE. Moreover, we argue that bulk $p$-type Ge and Si serve as ideal testbeds for the orbital torque resulting from a charge current, since the spin- and orbital-Edelstein effects are forbidden by symmetry. Our results provide a blueprint for producing strong orbital torques in magnetic devices with $p$-type semiconductors, guiding experimental work in this direction.

2403.05514 2026-06-19 math.CO math.AG 版本更新

Convex Geometry of Building Sets

构建集的凸几何

Spencer Backman, Richard Danner

AI总结 证明有限交半格上的构建集构成超可解凸几何,并应用于统一推广嵌套集复形的限制结果。

Comments 16 pages; minor revisions

详情
AI中文摘要

构建集最初在超平面排列补集的奇妙紧化的研究中引入,后来被推广到有限交半格。凸几何是反拟阵的对偶,提供了凸性的一个稳健的组合抽象。超可解凸几何和反拟阵出现在偏序集闭包算子、Coxeter群和拟阵活动的研究中。我们证明了有限交半格上的构建集构成一个超可解凸几何。作为一个应用,我们展示了构建集和嵌套集复形尊重有限交半格的某些限制,统一并推广了几位作者的结果。

英文摘要

Building sets were introduced in the study of wonderful compactifications of hyperplane arrangement complements and were later generalized to finite meet-semilattices. Convex geometries, the duals of antimatroids, offer a robust combinatorial abstraction of convexity. Supersolvable convex geometries and antimatroids appear in the study of poset closure operators, Coxeter groups, and matroid activities. We prove that the building sets on a finite meet-semilattice form a supersolvable convex geometry. As an application, we demonstrate that building sets and nested set complexes respect certain restrictions of finite meet-semilattices unifying and extending results of several authors.

2511.07212 2026-06-19 quant-ph cond-mat.stat-mech cond-mat.str-el math-ph math.MP 版本更新

Matrix-product state skeletons in Onsager-integrable quantum chains

Onsager可积量子链中的矩阵乘积态骨架

Imogen Camp, Nick G. Jones

AI总结 本文在Onsager可积手征时钟模型中构建了密集的矩阵乘积态(MPS)骨架,这些MPS在能隙区域是基态,在其他区域仍是本征态,并发现了低能激发态,给出了相互作用模型中无序参数的闭式表达式。

详情
Journal ref
J. Stat. Phys. 193 (2026)
AI中文摘要

矩阵乘积态(MPS)骨架是哈密顿量的连通网络,具有精确的MPS基态,并支撑相图。此前在自由费米子模型类中发现了这样的骨架。对于平移不变的BDI和AIII自由费米子类,已证明底层骨架是密集的,从而提供了该类中任意位置基态的MPS近似的解析方法。本文部分揭示了某些相互作用自旋链中的骨架:$N$态Onsager可选手征时钟族。我们构造了MPS,这些MPS在围绕一系列不动点哈密顿量(Onsager代数的生成元)的能隙区域中形成密集的MPS骨架。在这些能隙区域之外,这些MPS仍然是本征态,但不再给出多体基态。相反,它们是谱中特定扇区的基态。我们的方法还允许我们找到更多的MPS本征态;这些对应于前述能隙区域内的低激发态。这组MPS激发态超越了先前对$N=2$自由费米子MPS骨架基态的分析。作为我们结果的一个应用,我们在相互作用模型族中找到了无序参数的闭式表达式。最后,我们指出,我们的许多结果仅使用Onsager代数,并不特定于手征时钟模型表示。

英文摘要

Matrix-product state (MPS) skeletons are connected networks of Hamiltonians with exact MPS ground states that underlie a phase diagram. Such skeletons have previously been found in classes of free-fermion models. For the translation-invariant BDI and AIII free-fermion classes, it has been shown that the underlying skeleton is dense, giving an analytic approach to MPS approximation of ground states anywhere in the class. In this paper, we partially expose the skeleton in certain interacting spin chains: the $N$-state Onsager-integrable chiral clock families. We construct MPS that form a dense MPS skeleton in the gapped regions surrounding a sequence of fixed-point Hamiltonians (the generators of the Onsager algebra). Outside these gapped regions, these MPS remain eigenstates, but no longer give the many-body ground state. Rather, they are ground states in particular sectors of the spectrum. Our methods also allow us to find further MPS eigenstates; these correspond to low-lying excited states within the aforementioned gapped regions. This set of MPS excited states goes beyond the previous analysis of ground states on the $N=2$ free-fermion MPS skeleton. As an application of our results, we find a closed form for the disorder parameter in a family of interacting models. Finally, we remark that many of our results use only the Onsager algebra and are not specific to the chiral clock model representation.

2510.23945 2026-06-19 astro-ph.HE 版本更新

Cosmological Evolution of Gamma Ray Bursts

伽马射线暴的宇宙学演化

Sujay Champati, Vahé Petrosian, Maria G. Dainotti

AI总结 本文利用更大样本(含机器学习估计红移)和Efron-Petrosian方法研究长伽马射线暴的光度演化与红移分布,发现低红移过量,但加入ML估计红移后过量减少。

详情
AI中文摘要

伽马射线暴(GRBs)分为长暴(LGRBs)和短暴(SGRBs),其前身分别为塌缩星和致密天体并合(NS-NS或NS-黑洞)。LGRBs预期遵循宇宙恒星形成率(SFR),而SGRBs则遵循延迟版本的SFR。然而,这一划分受到质疑,最显著的是多项研究(总结于\cite{Petrosian_2024})观测到低红移LGRBs过量。最近两次低红移LGRBs的观测显示与千新星有关联,两者均表明致密并合也可能是LGRBs的来源。大多数显示这种分离的结果基于小样本(小于200个)有红移测量的LGRBs分析。本文旨在使用更大的LGRBs样本。过去十年中,有红移测量的LGRBs数量增加了两倍以上。在此数据集上,我们添加了使用机器学习(ML)方法估计红移的LGRBs样本(\cite{Narendra_2025})。为考虑红移测量导致的观测选择偏差,我们使用非参数、非分箱的Efron-Petrosian方法建立光度与红移之间的相关程度,即光度演化,然后使用Lynden-Bell $C^-$方法获得光度函数。我们发现,对于有红移测量的较大样本,存在低红移过量。加入具有ML估计红移的源(显示中红移范围过度)后,过量减少。

英文摘要

Gamma-ray bursts (GRBs) are classified as long (LGRBs) and short (SGRBs), with collapsars and compact-object mergers (NS-NS or NS-Black Holes) as progenitors, respectively. LGRBs are expected to follow the cosmic star formation rate (SFR), while SGRBs follow a delayed version of the SFR. However, this division has come under question, most prominently by observational evidence of an excess of LGRBs at low redshifts by several investigations, summarized in \cite{Petrosian_2024}. Two recent observations of low-redshift LGRBs show associations with kilonovae. Both of these indicate compact mergers as a potential source of LGRBs as well. Most results showing this separation are based on analyses of small (less than 200) samples of LGRBs with measured redshifts. The aim of this paper is to use a larger sample of LGRBs. The number of LGRBs with measured redshifts has increased by more than a factor of 2 over the last decade. To this data set we add a sample of LGRBs whose redshifts are estimated using a machine learning (ML) method (\cite{Narendra_2025}). To account for the observational selection bias due to redshift measurements, we use the non-parametric, non-binning Efron-Petrosian method to establish the degree of correlation between luminosity and redshift, \textit{the luminosity evolution}, and then use the Lynden-Bell $C^-$ method to obtain the luminosity function. We find a low redshift excess for the larger sample with measured redshifts. Adding the sources with ML-estimated redshifts, which shows overabundance of the mid-range redshifts, the excess is reduced.