arXivDaily arXiv每日学术速递 周一至周五更新
全部学科分类 2021
专题追踪
2606.05238 2026-06-05 cs.SE

DeployBench: Benchmarking LLM Agents for Research Artifact Deployment

DeployBench: 用于研究工件部署的LLM智能体基准测试

Yuanli Wang, Yaoyao Qian, Yue Zhang, Hanhan Zhou, Jindan Huang, Tianfu Fu, Qiuyang Mang, Huanzhi Mao, Wenhao Chai, Wendong Fan, Liqiang Jing

AI总结 提出DeployBench基准,包含51个跨领域的研究工件部署任务,评估LLM智能体在环境设置中的表现,发现主要失败原因是智能体过早停止且验证不充分。

详情
AI中文摘要

LLM智能体在软件工程和机器学习研究任务上取得了快速进展,但这些进展通常假设可以访问一个可运行的执行环境。对于随已发表论文发布的研究工件,从新机器设置这样的环境仍然是一个主要瓶颈。现有的环境设置基准并未涵盖研究工件部署的全部范围,这涉及多语言工具链、超越容器(例如GPU/CUDA和内核配置)的系统级依赖以及遗留工件兼容性。我们引入了DeployBench,一个包含51个跨领域研究工件部署任务的多领域基准,涵盖AI/ML、计算机系统和科学计算,覆盖所有这些维度。每个任务由一个隐藏的管道验证,该管道执行论文指定的实验并检查其输出。使用OpenHands评估四个最先进的LLM,通过率从7.8%到51.0%。失败主要由完成判断问题主导:154个失败中有97个是智能体终止的自我停止,其中智能体的预完成检查验证的目标与论文特定任务要求不同或更弱。DeployBench突出了当前智能体与自主部署之间的差距,并为科学研究智能体提供了一个现实的测试平台。

英文摘要

LLM agents have made rapid progress on software engineering and ML research tasks, but these advances often assume access to a working runnable environment. For research artifacts released alongside published papers, setting up such an environment from a fresh machine remains a major bottleneck. Existing environment setup benchmarks do not cover the full scope of research artifact deployment, which involves multi-language toolchains, system-level dependencies beyond containers (e.g. GPU/CUDA and kernel configurations), and legacy artifact compatibility. We introduce DeployBench, a multi-domain benchmark of 51 research-artifact deployment tasks spanning AI/ML, computer systems, and scientific computing, covering all these dimensions. Each task is verified by a hidden pipeline that executes the paper's designated experiment and checks its outputs. Evaluating four state-of-the-art LLMs with OpenHands yields pass-rates from 7.8% - 51.0% . Failures are dominated by a completion-judgment problem: 97 of 154 are agent-terminated self-stops, where the agent's pre-finish checks validate a different or weaker target than the paper-specific task requires. DeployBench highlights the gap between current agents and autonomous deployment, and offers a realistic testbed for scientific research agents.

2606.05237 2026-06-05 astro-ph.IM astro-ph.EP astro-ph.GA astro-ph.HE astro-ph.SR

GREX-PLUS Science Book v2

GREX-PLUS 科学书 v2

PLUS Science Team, Shunsuke Baba, Sirio Belli, Pietro Benotto, Ivan Delvecchio, Yoshinobu Fudamoto, Yuka Fujii, Yuichi Harikane, Yasuhiro Hirahara, Akio K. Inoue, Yoshiyuki Inoue, Hajime Kawahara, Taiki Kawamuro, Yui Kawashima, Lucas Kimmig, Tadayuki Kodama, Mitsuru Kokubo, Hiroyuki Kurokawa, Katsunori Kusakabe, Kosei Matsumoto, Noriyuki Matsunaga, Taro Matsuo, Yoshiki Matsuoka, Shuji Matsuura, Toru Misawa, Shota Miyazaki, Alessia Moretti, Kumiko Morihana, Takashi Moriya, Kentaro Nagamine, Kimihiko Nakajima, Hideko Nomura, Shota Notsu, Takafumi Ootsubo, Kazumasa Ohno, Giorgia Peluso, Bianca M. Poggianti, Mario Radovich, Giulia Rodighiero, Hideo Sagawa, Kazuhiro Shimasaku, Takashi Shimonishi, Ken-ichi Tadaki, Kosuke Takahashi, Michihiro Takami, Shuya Tan, Takumi Tanaka, Tsuyoshi Terai, Yoshiki Toba, Roberta Tripodi, Francesco Valentino, Benedetta Vulcani, Taihei Yano, Chikako Yasui, Stefano Zibetti

AI总结 介绍GREX-PLUS任务(JAXA战略L级任务候选),旨在通过搭载1米口径望远镜和两台科学仪器(宽视场相机和高分辨率光谱仪)研究星系形成与演化以及行星系统形成与演化,并总结其在多个天体物理学领域可实现的科学主题。

Comments This is a major updated version from arXiv:2304.08104

详情
AI中文摘要

GREX-PLUS(星系再电离探索者和行星宇宙光谱仪)是JAXA战略L级任务的候选任务,计划于2030年代发射。其主要科学目标有两个:星系形成与演化,以及行星系统形成与演化。GREX-PLUS航天器将搭载一台主镜孔径为1米、冷却至50 K的望远镜。将搭载两台科学仪器:工作在2--8 $μ$m波段的宽视场相机,以及工作在10--18 $μ$m波段、波长分辨率为30,000的高分辨率光谱仪。GREX-PLUS宽视场相机旨在探测红移$z>15$的第一代星系。GREX-PLUS高分辨率光谱仪旨在识别原行星盘中水“雪线”的位置。这两台仪器将为广泛的天文学课题提供独特的数据集,包括星系质量组装、超大质量黑洞的起源、红外背景辐射、星际介质中的分子光谱学、系外行星大气的透射光谱学、太阳系行星大气等。本文档是第二版,汇集了使用GREX-PLUS可以实现的科学主题。第2章和第3章中的每一节均基于多次GREX-PLUS科学研讨会上的报告。

英文摘要

GREX-PLUS (Galaxy Reionization EXplorer and PLanetary Universe Spectrometer) is a mission candidate for a JAXA strategic L-class mission to be launched in the 2030s. Its primary science goals are two-fold: galaxy formation and evolution, and planetary system formation and evolution. The GREX-PLUS spacecraft will carry a telescope with a 1 m primary mirror aperture cooled down to 50 K. The two science instruments will be onboard: a wide-field camera in the 2--8 $μ$m wavelength band and a high-resolution spectrometer with a wavelength resolution of 30,000 in the 10--18 $μ$m band. The GREX-PLUS wide-field camera aims to detect the first generation of galaxies at redshift $z>15$. The GREX-PLUS high-resolution spectrometer aims to identify the location of the water ``snowline'' in protoplanetary disks. Both instruments will provide unique datasets for a broad range of scientific topics, including galaxy mass assembly, the origin of supermassive blackholes, infrared background radiation, molecular spectroscopy in the interstellar medium, transit spectroscopy of exoplanet atmospheres, planetary atmospheres in the Solar System, and so on. This document is the second version of a collection of scientific themes that can be achieved with GREX-PLUS. Each section in Chapters~2 and 3 is based on presentations at several GREX-PLUS Science Workshops.

2606.05235 2026-06-05 gr-qc

Quantum Circuit Complexity as a Measure of Particle Creation in Bouncing Cosmologies

反弹宇宙学中作为粒子产生量度的量子电路复杂度

Samak Boonpan

AI总结 利用Lewis-Riesenfeld不变量方法,非微扰地研究了反弹宇宙背景中标量场的量子电路复杂度演化,发现复杂度在反弹点有限,且反弹后的增长与粒子产生强相关,其中“啁啾”贡献作为几何记忆量化了粒子产生的信息代价。

Comments Author accepted manuscript version of the article published in Physics Letters B

Journal ref Phys. Lett. B 878 (2026) 140565

详情
AI中文摘要

我们研究了非奇异反弹宇宙学背景中量子标量场的电路复杂度演化。与之前的微扰方法不同,我们利用Lewis-Riesenfeld不变量方法推导了一个精确的非微扰框架,用于描述跨越反弹的复杂度演化。我们证明复杂度在反弹点保持有限,主要由时空收缩导致的量子态压缩主导。关键的是,我们发现反弹后的复杂度增长与宇宙学粒子产生表现出强相关性。我们的分析揭示,复杂度的“啁啾”贡献充当了过渡的几何记忆,有效量化了非平凡时空几何中粒子产生的信息代价。

英文摘要

We investigate the evolution of circuit complexity for a quantum scalar field in a non-singular bouncing cosmological background. Unlike previous perturbative approaches, we utilize the Lewis-Riesenfeld invariant method to derive an exact non-perturbative framework for the complexity evolution across the bounce. We demonstrate that the complexity remains finite at the bounce, dominated by the squeezing of the quantum state due to spacetime contraction. Crucially, we find that the post-bounce growth of complexity exhibits a strong correlation with cosmological particle production. Our analysis reveals that the "chirping" contribution to complexity acts as a geometric memory of the transition, effectively quantifying the information cost of particle creation in non-trivial spacetime geometries.

2606.05231 2026-06-05 cond-mat.stat-mech

Nambu Nonequilibrium Thermodynamics and the Lyapunov Structure of Open Systems

Nambu非平衡热力学与开放系统的Lyapunov结构

So Katagiri

AI总结 通过开放活塞模型,提出由耗散势$S_{NB}$生成的梯度流描述不可逆弛豫,证明$S_{NB}$单调递增并充当Lyapunov函数,从而解决开放系统中热力学熵非单调的问题。

Comments 30 pages, 9 figures

详情
AI中文摘要

在开放非平衡系统中,子系统的热力学熵通常不是Lyapunov函数。即使在向平衡弛豫的过程中,由于与外部储库的交换,它也可能暂时减少。这引发了一个基本问题:如果有的话,什么热力学量组织了开放系统中的不可逆弛豫? 我们使用一个与压力储库和热浴耦合的显式开放活塞模型来解决这个问题。可逆部分被表述为由扩展能量和子系统熵生成的Nambu旋转流,而不可逆部分被写成由耗散势$S_{NB}$生成的梯度流。在绝热可逆极限下,Nambu括号在守恒水平面的交线上产生振荡的活塞运动。在耦合到热浴并加入摩擦后,子系统熵$S$可以表现出非单调振荡,而$S_{NB}=S-H_{1}/T_{b}$在提出的半正定耗散结构下单调增加。 我们表明,这种单调性并非源于将$S_{NB}$等同于热力学熵。相反,它源于两个几何条件:可逆Nambu流保持$S_{NB}$,且不可逆动力学可以写成由$S_{NB}$生成的半正定梯度流。因此,开放活塞模型提供了一个最小的宏观实现,其中热力学熵、耗散势、可逆时间顺序和不可逆弛豫可以明确分离。

英文摘要

In open nonequilibrium systems, the thermodynamic entropy of a subsystem is not generally a Lyapunov function. Even during relaxation toward equilibrium, it may decrease temporarily because of exchanges with external reservoirs. This raises a basic question: what thermodynamic quantity, if any, organizes irreversible relaxation in an open system? We address this question using an explicit open-piston model coupled to both a pressure reservoir and a heat bath. The reversible sector is formulated as a Nambu rotational flow generated by the extended energy and the subsystem entropy, while the irreversible sector is written as a gradient flow generated by a dissipation potential $S_{NB}$. In the adiabatic reversible limit, the Nambu bracket produces the oscillatory piston motion on the intersection of conserved level surfaces. After coupling to a heat bath and adding friction, the subsystem entropy $S$ can exhibit nonmonotonic oscillations, whereas $S_{NB}=S-H_{1}/T_{b}$ increases monotonically under the proposed positive-semidefinite dissipative structure. We show that this monotonicity is not a consequence of identifying $S_{NB}$ with thermodynamic entropy. Rather, it follows from two geometric conditions: the reversible Nambu flow preserves $S_{NB}$, and the irreversible dynamics can be written as a positive-semidefinite gradient flow generated by $S_{NB}$. The open-piston model therefore provides a minimal macroscopic realization in which thermodynamic entropy, dissipation potential, reversible temporal order, and irreversible relaxation can be separated explicitly.

2606.05229 2026-06-05 cs.OH physics.flu-dyn

Hairpin Vortices Extraction in Turbulent Boundary Layer Flows

湍流边界层中的发卡涡提取

Adeel Zafar, Zahra Poorshayegh, Lei Si, Di Yang, Guoning Chen

AI总结 提出一种基于合并树分割和自底向上重连接的发卡涡提取框架,通过骨架分析和标量准则验证,实现了无需手动调参、减少分割误差并提高准确性和计算效率的发卡涡自动提取。

详情
AI中文摘要

发卡涡是湍流边界层内的基本结构,在能量耗散、混合和动量输运中起着关键作用。然而,由于其形状不规则、尺度多变且与周围涡旋结构纠缠,准确提取这些结构仍然具有挑战性。本文提出了一种从湍流边界层中提取发卡涡的新框架。该方法首先识别涡旋区域,并通过基于合并树的分割将其分解为更小的片段。然后引入一种新颖的自底向上重连接方法,根据发卡涡的几何和物理特征对候选片段进行分组,从而得到包含完整发卡涡结构的区域。随后,通过骨架分析检测特征性的发卡形状,并使用额外的基于标量的准则进一步确认这些区域。最后,生成平滑的包围曲面以实现有效可视化。为了进行定量评估,从多个流场数据集中提取参考发卡涡作为真值。与现有方法相比,所提方法消除了手动参数调整,减少了欠分割和过分割,并显著提高了准确性和计算效率。在多个湍流案例上的演示表明,该方法在不同边界层条件下对发卡涡提取具有鲁棒性和有效性。

英文摘要

Hairpin vortices are fundamental structures within turbulent boundary layers, playing a crucial role in energy dissipation, mixing, and momentum transport. However, accurately extracting these structures remains challenging due to their irregular shapes, varying scales, and entanglement with surrounding vortical structures. This paper presents a novel framework for the extraction of hairpin vortices from turbulent boundary layers. The method begins by identifying vortical regions and decomposing them into smaller segments using merge tree based segmentation. A novel bottom up rejoining approach is then introduced to group candidate segments according to the geometric and physical characteristics of hairpin vortices, resulting in regions that encompass complete hairpin vortex structures. These regions are subsequently refined and validated through skeleton analysis to detect the characteristic hairpin shape and are further confirmed using additional scalar based criteria. Finally, smooth enclosing surfaces are generated for effective visualization. To enable quantitative evaluation, reference hairpin vortices are extracted from several flow datasets and used as ground truth. Compared with existing approaches, the proposed method eliminates manual parameter tuning, reduces under and over segmentation, and significantly improves both accuracy and computational efficiency. Demonstrations on multiple turbulent flow cases show that the method is robust and effective for hairpin vortex extraction under varying boundary layer conditions.

2606.05228 2026-06-05 cs.SE cs.PL

Where Do Large Language Models Fail on Competitive Programming? A Taxonomy of Failures by Algorithm Type and Difficulty Rating

大型语言模型在竞赛编程中哪里失败?基于算法类型和难度评级的失败分类

Ayush Kumar Jha, Shalini Jha

AI总结 通过系统实证研究,发现链式思维推理会显著降低GPT-4o的通过率并增加Claude的编译错误,且错误答案主导了两种模型的失败模式。

Comments 12 pages, 4 figures

详情
AI中文摘要

大型语言模型(LLMs)在竞赛编程基准测试中展现出日益增强的能力,然而技术报告主要发布总体通过率,掩盖了特定领域的弱点。我们使用一个平衡的分类体系,包含315个Codeforces问题,涵盖七种算法类别和三个难度级别,对LLM的失败模式进行了系统实证研究。我们在严格的执行条件下评估了GPT-4o和Claude Sonnet 4.6,控制了温度参数(T=0.2)。为了隔离推理框架对算法正确性的影响,我们进行了消融研究,比较了直接零样本生成与零样本链式思维(CoT)。我们的发现揭示了与标准NLP基准的严重偏离:强制使用CoT显著惩罚了GPT-4o,将其通过率从46.0%降至36.8%,并加剧了其在贪心逻辑中的关键弱点。相反,虽然Claude在CoT下保持了更高的逻辑基线(63.5%),但扩展的文本生成严重降低了其Markdown指令遵循能力,导致其编译错误增加了两倍以上(从9增至31,增幅244%)。此外,失败模式分析表明,错误答案(WA)是两种模型的主要判决——占GPT-4o未通过解决方案的90%以上,以及Claude的约70%。这些发现实证表明,标准提示工程技术无法弥合竞赛编程环境中的算法推理差距。

英文摘要

Large language models (LLMs) demonstrate increasing proficiency on competitive programming benchmarks, yet technical reports predominantly publish aggregate pass rates, obscuring domain-specific vulnerabilities. We present a systematic empirical study of LLM failure patterns using a balanced taxonomy of 315 Codeforces problems across seven algorithm categories and three difficulty tiers. We evaluate GPT-4o and Claude Sonnet 4.6 under strict execution-based conditions, controlling for temperature (T = 0.2). To isolate the impact of reasoning frameworks on algorithmic correctness, we conduct an ablation study comparing direct zero-shot generation against zero-shot Chain-of-Thought (CoT). Our findings reveal a severe divergence from standard NLP benchmarks: forcing CoT aggressively penalizes GPT-4o, dropping its pass rate from 46.0% to 36.8% and exacerbating a critical weakness in Greedy logic. Conversely, while Claude maintains a higher logical baseline (63.5% under CoT), the expanded text generation severely degrades its markdown instruction adherence, causing its Compile Errors to more than triple (from 9 to 31, a 244% increase). Furthermore, failure-mode analysis indicates that Wrong Answer (WA) is the dominant verdict for both models--accounting for over 90% of GPT-4o's and roughly 70% of Claude's unaccepted solutions. These findings empirically demonstrate that standard prompt engineering techniques fail to bridge the algorithmic reasoning gap in competitive programming environments.

2606.05226 2026-06-05 physics.gen-ph

Klein--Gordon and Dirac Oscillators with an Apparent Mass Induced by the Momentum-Space Dual of the Fock--Lorentz Transformations

具有由Fock-Lorentz变换的动量空间对偶诱导的表观质量的Klein-Gordon和Dirac振子

Abdelmalek Boumali, N. Jafari, Manizheh Botshekananfard

AI总结 通过Fock-Lorentz变换的动量空间对偶导出变形相对论质壳,得到含时表观质量,进而对Klein-Gordon和Dirac方程进行正则量子化,并在一维绝热近似下解析求解振子谱。

详情
AI中文摘要

我们提出了一种受控的Fock-Lorentz (FL)变换的动量空间对偶,并利用它导出了一个变形的相对论质壳。将FL共形因子限制在宇宙坐标系的世界线$\vx=0$上,不变关系的形式为$(E^{2}-\vp^{2}c^{2})(1+ct/R)^{2}=m_{0}^{2}c^{4}$,这等价于具有含时表观质量$\mapp(t)=m_{0}/(1+ct/R)$的标准狭义相对论色散律。然后,正则量子化得到包含缓慢变化质量尺度的Klein-Gordon (KG)和Dirac方程。我们明确展示了将Dirac方程平方后,除了正比于$\dot\mapp$的一阶修正(被康普顿波长与FL尺度之比压制)外,可重现KG算子。该构造并非作为唯一的协变相空间理论提出;相反,它是一个旨在隔离FL共形因子谱后果的世界线假设。作为应用,我们研究了一维KG和Dirac振子。在由小参数$ε=c/(Rω)\ll1$控制的绝热区域中,得到了闭式瞬时谱。Dirac振子的计算以分量形式进行,然后简化为物理旋量谱,从而避免了上下分量阶梯的双重计数。无量纲图展示了表观质量漂移、诱导的谱演化以及绝热有效区域。对于宇宙学尺度的$R$,非绝热修正完全可以忽略;在形式极限$t\to\infty$下,表观质量趋于零,对于固定量子数,瞬时能级向$E=0$坍缩。

英文摘要

We propose a controlled momentum-space dual of the Fock--Lorentz (FL) transformations and use it to derive a deformed relativistic mass shell. Restricting the FL conformal factor to the cosmological-frame world line $\vx=0$, the invariant relation takes the form $(E^{2}-\vp^{2}c^{2})(1+ct/R)^{2}=m_{0}^{2}c^{4}$, which is equivalent to the standard special-relativistic dispersion law with a time-dependent apparent mass $\mapp(t)=m_{0}/(1+ct/R)$. Canonical quantization then yields Klein--Gordon (KG) and Dirac equations containing a slowly varying mass scale. We show explicitly that squaring the Dirac equation reproduces the KG operator, modulo first-order corrections proportional to $\dot\mapp$ that are suppressed by the ratio of the Compton wavelength to the FL scale. The construction is not presented as a unique covariant phase-space theory; rather, it is a world-line ansatz designed to isolate the spectral consequences of the FL conformal factor. As applications, we study the one-dimensional KG and Dirac oscillators. In the adiabatic regime, governed by the small parameter $ε=c/(Rω)\ll1$, closed-form instantaneous spectra are obtained. The Dirac-oscillator calculation is carried out in component form and then reduced to the physical spinor spectrum, thereby avoiding the double counting of the upper and lower component ladders. Dimensionless plots illustrate the apparent-mass drift, the induced spectral evolution, and the domain of adiabatic validity. For cosmological values of $R$, non-adiabatic corrections are entirely negligible; in the formal limit $t\to\infty$ the apparent mass tends to zero and, for fixed quantum number, the instantaneous levels collapse toward $E=0$.

2606.05224 2026-06-05 math.NT

Theorem $(1+1.9)$ on the Goldbach Conjecture

定理 $(1+1.9)$ 关于哥德巴赫猜想

Jiamin Li, Jianya Liu

AI总结 本文通过构造新的加权筛法和采用新的分析工具,无条件证明了命题 $(1+1.9)$ 成立,即在哥德巴赫猜想中,每个充分大的偶数可表示为 $p+rq$ 且 $r \leq q^{0.9}$,其中 $r$ 为1或素数,$p,q$ 为素数;在埃利奥特-哈尔伯斯坦猜想下指数可改进至1.4,同时类似结果应用于孪生素数猜想。

Comments 66 pages, 1 figure

详情
AI中文摘要

对于 $1 \leq a \leq 2$,我们称命题 $(1+a)$ 成立,如果每个充分大的偶数 $N$ 可以写成 $$N = p + rq, \quad r \leq q^{a-1},$$ 其中 $r$ 是1或素数,$p,q$ 是素数。因此命题 $(1+1)$ 本质上是二元哥德巴赫猜想,命题 $(1+2)$ 是陈氏定理。我们无条件证明了命题 $(1+1.9)$ 成立。假设埃利奥特-哈尔伯斯坦猜想,指数 $1.9$ 可以改进到 $1.4$。类似地,命题 $(1-a)$ 是为孪生素数猜想制定的。我们无条件证明了命题 $(1-1.75)$,并在埃利奥特-哈尔伯斯坦猜想下证明了命题 $(1-1.4)$。六十年来,命题 $(1+2)$ 和 $(1+1)$ 之间,以及命题 $(1-2)$ 和 $(1-1)$ 之间一直存在巨大的理论鸿沟。通过构造新的加权筛法和采用新的分析工具,本文在它们之间建立了连接路径,并在这一研究方向上取得了突破。

英文摘要

For $1 \leq a \leq 2$, we say Proposition $(1+a)$ holds if every sufficiently large even integer $N$ can be written as $$N = p + rq, \quad r \leq q^{a-1},$$ where $r$ is either $1$ or prime, and $p,q$ are primes. Thus Proposition $(1+1)$ is essentially the binary Goldbach Conjecture, and Proposition $(1+2)$ is Chen's theorem. We prove unconditionally that Proposition $(1+1.9)$ is true. Assuming the Elliott--Halberstam Conjecture, the exponent $1.9$ can be improved to $1.4$. Analogously, Proposition $(1-a)$ is formulated for the Twin Prime Conjecture. Unconditionally, we prove Proposition $(1-1.75)$, and under the Elliott--Halberstam Conjecture, Proposition $(1-1.4)$. For six decades, a substantial theoretical divide has persisted between Propositions $(1+2)$ and $(1+1)$, and likewise between Propositions $(1-2)$ and $(1-1)$. By constructing new weighted sieves and adopting new analytic tools, this paper establishes a connecting pathway between them and achieves breakthroughs in this line of research.

2606.05223 2026-06-05 math.NT

Corrigendum to "Isomorphism classes of Drinfeld modules over finite fields"

关于“有限域上Drinfeld模的同构类”的勘误

Valentijn Karemaker, Jeffrey Katen, Mihran Papikian

AI总结 本文修正了arXiv:2209.15033中定理5.4的错误,并用本文定理替换以完善定理B的证明。

Comments 8 pages

详情
AI中文摘要

在本注记中,我们对论文“有限域上Drinfeld模的同构类”(arXiv:2209.15033)的定理5.4进行了修正。该论文的主要定理(引言中的定理A和B)仍然成立;在定理B的证明中,需要用本文的定理替换错误的定理5.4来修改论证。

英文摘要

In this note we provide corrections to Theorem 5.4 of the paper ``Isomorphism classes of Drinfeld modules over finite fields'', arXiv:2209.15033. The main theorems of this paper, Theorem A and B in its introduction, are valid as stated; in the proof of Theorem B the argument needs to be modified by replacing the erroneous Theorem 5.4 by the theorem of this note.

2606.05220 2026-06-05 math.GM

The α -Discounting (α-DMCDM) as an extension of AHP, TOPSIS, VIKOR, PROMETHEE, and Weighted Sum

α-折扣(α-DMCDM)作为AHP、TOPSIS、VIKOR、PROMETHEE和加权和的扩展

Florentin Smarandache

AI总结 针对传统多准则决策方法在处理不一致、多边或非线性偏好结构时的局限性,提出α-折扣MCDM方法,通过引入全局折扣参数α将不一致的偏好方程转化为可解代数系统,扩展了AHP等经典方法。

Comments 16 pages

Journal ref Neutrosophic Sets and Systems, Vol. 98, 2026, pp. 252-267

详情
AI中文摘要

层次分析法(AHP)和其他经典多准则决策(MCDM)技术在决策者能够提供一致的两两判断时表现出色。然而,现实世界的问题通常涉及不一致、多边或非线性的偏好结构,使得传统方法不再适用。α-折扣MCDM(α-D MCDM)通过嵌入一个全局折扣参数α扩展了AHP,该参数将不一致的偏好方程系统转化为可解的代数系统。

英文摘要

The Analytic Hierarchy Process (AHP) and other classic Multi-Criteria Decision Making (MCDM) techniques excel when decision makers can provide consistent pair wise judgments. Real world problems, however, often involve inconsistent, n-wise, or non-linear preference structures that render traditional methods inadequate. The α-Discounting MCDM (α-D MCDM) extends AHP by embedding a global discounting parameter α that transforms an inconsistent system of preference equations into a solvable algebraic system.

2606.05218 2026-06-05 math.GM

Counting Votes with Multisets

用多重集计票

Bart Jacobs, Michael Johnson, Richard Buckland

AI总结 本文利用多重集的交换幺半群、函子和单子等范畴论性质,推导和表达即时决选、德博尔达和单一可转移投票三种计票系统的结果。

详情
AI中文摘要

多重集是一个'集合',其中元素可以出现多次。这种结构非常适合表达选举结果,例如60票'赞成'和40票'反对'。此外,多重集在计票算法中是一种有用的数据类型。这将在三种不同形式的计票中加以说明,即:'即时决选'、'德博尔达'和'单一可转移投票'。多重集的相关抽象性质是:(1)它们构成一个(自由)交换幺半群,(2)它们构成一个函子,(3)也构成一个单子。本文说明了如何利用这些范畴论性质来推导和表达选举结果。重点不在于所涉及的(初等)范畴论,而在于其在投票系统中的应用。

英文摘要

A multiset is a 'set' in which elements may occur multiple times. These structures are ideal for expressing the outcome of an election, for instance of the form 60 'yes' and 40 'no'. Moreover, multisets are a useful datatype in vote counting algorithms. This will be illustrated in three different forms of vote counting, known as: 'instant-runoff', 'De Borda', and 'single transferrable vote'. The relevant abstract properties of multisets are: (1) they form a (free) commutative monoid, and (2) they form a functor, and (3) also a monad. This paper illustrates how such categorical properties can be put to good use in deriving and expressing election outcomes. The emphasis is not on the (elementary) category theory involved, but on its application in voting systems.

2606.05216 2026-06-05 cs.IT cs.ET math.IT

A Comprehensive Survey on Semantic Communication in Non-Terrestrial Networks: Architectures, Methodologies, and Challenges

非地面网络中语义通信的全面综述:架构、方法与挑战

Loc X. Nguyen, Avi Deb Raha, Huy Q. Le, Zhu Han, Eui-Nam Huh, Choong Seon Hong

AI总结 本文综述了非地面网络(NTN)中语义通信(SemCom)的应用,通过将NTN的每个限制与SemCom的对应特性配对,系统梳理了卫星、无人机/高空平台和空地一体化网络中的架构、方法及挑战。

Comments 30 pages, 6 figures, 7 tables

详情
AI中文摘要

第六代无线网络旨在提供超越地面基础设施限制的泛在、无缝和智能连接。非地面网络(NTN)是实现这一愿景的核心,将覆盖范围扩展到地面部署无法经济到达的欠发达地区、偏远地形和灾区。然而,NTN架构面临诸多限制:长距离的严重路径损耗、长传播延迟、大且时变的多普勒频移、有限的可见窗口以及紧张的星载能量和计算预算。语义通信(SemCom)传输数据的含义而非原始比特级表示,与这些条件异常匹配:面向任务的极端压缩率缓解了带宽稀缺,深度联合源信道编码防止了低信噪比下的悬崖效应,生成式AI从雨衰或阻塞链路中幸存的稀疏线索重建内容。这种观察——每个NTN限制都对应一个解决它的SemCom特性——推动了本综述。我们首先逐一分析NTN限制,并将其与互补的SemCom设计选择配对;然后沿三个轴组织文献:NTN平台、语义方法论和支持技术;接着按平台深入探讨以卫星为中心、以无人机/高空平台为中心和集成空地一体化系统。综述最后指出了开放研究问题、现有标准中的空白以及未来方向,包括基础模型的应用、能量感知调度和用于深空通信的量子辅助SemCom。

英文摘要

The sixth-generation wireless networks are envisioned to deliver ubiquitous, seamless, and intelligent connectivity that reaches far beyond the limits of terrestrial infrastructure. Non-terrestrial networks (NTNs) are central to this vision, extending coverage to underserved regions, remote terrain, and disaster zones that terrestrial deployment cannot economically reach. However, NTN architecture faces numerous limitations: severe path loss over long distances, long propagation delays, large and time-varying Doppler shifts, limited visibility windows, and tight on-board energy and computing budgets. Semantic communication (SemCom), which conveys the meaning of data rather than its raw bit-level representation, is unusually well matched to these conditions: extreme compression rate for task-oriented eases bandwidth scarcity, deep joint source-channel coding prevents the cliff effect due to low signal-to-noise ratio, and generative-AI reconstructs content from sparse cues that survive rain-faded or blocked links. This observation, that each NTN limitation maps onto a SemCom property that addresses it, motivates our survey. We first walk through the NTN limitations one by one, pairing each with the SemCom design choices that complement it, then we organize the literature along three axes: the NTN platform, the semantic methodology, and the supporting techniques, and follow this with platform-by-platform deep dives on satellite-centric, UAV/HAPS-centric, and integrated SAGIN systems. The survey concludes by identifying open research problems, gaps in existing standards, and future directions, including the application of foundation models, energy-aware scheduling, and quantum-assisted SemCom for deep space communication.

2606.05215 2026-06-05 math.HO

Introduction to Measure and Integration Theory

测度与积分理论导论

Hugo Guadalupe Reyna-Castañeda, María de los Ángeles Sandoval-Romero, Luis Antonio Cedeño-Pérez

AI总结 本文从黎曼积分到勒贝格积分的概念过渡出发,系统介绍了可测集、可测函数、σ-代数上的测度、勒贝格积分、收敛定理和L^p空间,强调极限过程在现代分析中的作用。

Comments 259 pages

详情
AI中文摘要

这些笔记提供了测度与积分理论的严谨且易于理解的介绍,重点强调了从黎曼积分到勒贝格积分的概念过渡以及极限过程在现代分析中的作用。本文发展了可测集、可测函数、σ-代数上的测度、勒贝格积分、收敛定理和L^p空间的基本理论。特别关注积分与收敛之间的相互作用,以及促使测度论发展的黎曼积分的局限性。通过详细的证明、例子、习题和补充项目,本文力求在数学严谨性与教学清晰性之间取得平衡。这些笔记主要面向首次接触测度论的数学及相关领域的本科生,也可作为分析学入门研究生课程的参考。

英文摘要

These notes provide a rigorous and accessible introduction to measure and integration theory, with emphasis on the conceptual transition from the Riemann integral to the Lebesgue integral and the role played by limiting processes in modern analysis. The manuscript develops the basic theory of measurable sets, measurable functions, measures on $σ$-algebras, Lebesgue integration, convergence theorems, and $L^p$ spaces. Particular attention is devoted to the interaction between integration and convergence, as well as to the limitations of the Riemann integral that motivate the development of measure theory. The exposition seeks to balance mathematical rigor with pedagogical clarity through detailed proofs, examples, exercises, and supplementary projects. These notes are intended primarily for undergraduate students in mathematics and related areas encountering measure theory for the first time, although they may also serve as a reference for introductory graduate courses in analysis.

2606.05214 2026-06-05 math.GM

Analytic umbral transmutations and Bessel moments

解析阴影变换与贝塞尔矩

Roberto Ricci, Giuseppe Dattoli

AI总结 本文提出解析阴影方法处理贝塞尔矩,通过梅林-巴恩斯阴影变换克服形式展开的非容许超几何级数问题,并应用于三次、四次及五次贝塞尔矩的计算。

Comments Submitted to Journal of Mathematical Analysis and Applications

详情
AI中文摘要

我们发展了一种解析阴影方法来处理贝塞尔矩,将其作为具体测试平台,论证从形式指数阴影演算到梅林-巴恩斯阴影变换理论的过渡。虽然形式过程在合适的收敛区域内能复现正确结果,但在物理相关参数值下可能导致非容许的超几何展开。三次矩提供了基本例子[...]我们证明,通过将纯形式展开替换为解析阴影变换可以消除这一障碍。在此设定下,指数阴影配对通过梅林-巴恩斯积分解释,拉马努金主定理作为与给定贝塞尔乘积相关的谱基态(或时钟)的逆选择原理。分解式\(J_0^3=J_0J_0^2\)产生两个不同的时钟,并将三次全线矩约化为一维巴恩斯积分,等价于梅耶尔\(G\)-函数。这给出了三次贝塞尔矩的经典值,并阐明了为何发散的阿佩尔实现只是全局有意义的阴影恒等式的局部表示。随后,相同机制被应用于缩放的三次乘积和四次贝塞尔矩。[...]五次矩标志着第一个真正的高秩情况:自然的阴影分组导致双变量巴恩斯变换,而非普通的梅耶尔\(G\)-函数。最后,我们讨论实分数幂\(J_0^\alpha\)(\(\alpha>2\)),表明相同解释在整数矩之外依然成立。[...]最终图景将贝塞尔矩识别为有效阴影变换的值,并将阴影表示的全局解析意义与其超几何残差展开的局部收敛性质分离开来。

英文摘要

We develop an analytic umbral approach to Bessel moments, using them as a concrete testbed justifying the passage from formal indicial umbral calculus to Mellin--Barnes umbral transmutation theory. [...] While the formal procedure reproduces the correct results in suitable convergence chambers, it may lead to non-admissible hypergeometric expansions at physically relevant parameter values. The cubic moment provides the basic example [...] We show that this obstruction is removed by replacing the purely formal expansion with an analytic umbral transmutation. In this setting, exponential umbral pairings are interpreted through Mellin--Barnes integrals, and Ramanujan's Master Theorem acts as an inverse selection principle for the spectral ground state, or clock, associated with a given Bessel product. The factorisation \(J_0^3=J_0J_0^2\) produces two distinct clocks and reduces the cubic full-line moment to a one-dimensional Barnes integral, equivalently to a Meijer \(G\)-function. This gives the classical value of the cubic Bessel moment and clarifies why the divergent Appell realisation is only a local representation of a globally meaningful umbral identity. The same mechanism is then applied to scaled cubic products and to the fourth Bessel moment. [...] The fifth moment marks the first genuinely higher-rank case: the natural umbral grouping leads to a bivariate Barnes transmutation rather than to an ordinary Meijer \(G\)-function. Finally, we discuss real fractional powers \(J_0^α\), \(α>2\), showing that the same interpretation persists beyond integer moments. [...] The resulting picture identifies Bessel moments as values of effective umbral transmutations and separates the global analytic meaning of the umbral representation from the local convergence properties of its hypergeometric residue expansions.

2606.05213 2026-06-05 math.GM

Umbral methods, function factorisation and generalisation of the Fourier transform method

阴影方法、函数分解与傅里叶变换方法的推广

Giuseppe Dattoli, Roberto Ricci, Tommaso Severati

AI总结 本文通过分解有理阴影算子,提出了一种系统构造超越经典正弦-余弦对的新三角函数的方法,并将其推广到n重分解,得到高阶三角分量。

Comments Submitted to MDPI Axioms

详情
AI中文摘要

我们提出了一种系统的方法,通过分解有理阴影算子来构造超越经典正弦-余弦对的类三角函数。基本思想很简单:通常的三角函数可以看作是有限分解产生的循环分量,同样的原理可以扩展到有理阴影表达式的n重分解。对于每个整数n≥2,该构造产生n个函数,它们扮演高阶三角分量的角色:它们的和重构了相应的阴影函数,而各个分量则隔离了其展开的不同循环扇区。该构造首先在形式阴影框架中发展。二次情形n=2给出高斯三角函数,其中余弦类分量是高斯函数,正弦类分量是其自然的阴影伴侣。三次情形n=3产生一个三分量循环系统,并展示了相同思想如何超越通常的奇偶分解。这些例子表明,三角分解不仅限于普通旋转,而是属于阴影演算中更广泛的循环原理。然后,我们通过最近发展的解析阴影框架重新解释相同的形式恒等式。在第二步中,循环分量通过Mellin-Barnes配对实现,单位根分解与相应谱核的分裂相关。这种解析公式为形式上获得的函数提供了围道表示、局部展开和扇区渐近行为。最后,我们指出了相同的循环核如何作用于傅里叶变换。由此产生的框架将高阶阴影三角函数呈现为分解的有理或指数阴影算子的自然循环分量。

英文摘要

We propose a systematic way to construct trigonometric-like functions beyond the classical sine--cosine pair by factorising rational umbral operators. The guiding idea is simple: the usual trigonometric functions may be viewed as cyclic components arising from a finite factorisation, and the same principle can be extended to an $n$-fold decomposition of rational umbral expressions. For each integer $n\geq 2$, the construction produces $n$ functions which play the role of higher-order trigonometric components: their sum reconstructs the corresponding umbral function, while the individual components isolate the different cyclic sectors of its expansion. The construction is developed first in the formal umbral setting. The quadratic case $n=2$ gives the Gaussian trigonometric functions, in which the cosine-like component is a Gaussian and the sine-like component is its natural umbral companion. The cubic case $n=3$ yields a three-component cyclic system and shows how the same idea extends beyond the usual even--odd decomposition. These examples suggest that trigonometric factorisation is not restricted to ordinary rotations, but belongs to a broader cyclic principle in umbral calculus. We then reinterpret the same formal identities through the recently developed analytic umbral framework. In this second step, the cyclic components are realised by Mellin--Barnes pairings, and the root-of-unity decomposition is related to the splitting of the corresponding spectral kernel. This analytic formulation provides contour representations, local expansions, and sectorial asymptotics for the functions obtained formally. Finally, we indicate how the same cyclic kernels act on Fourier transforms. The resulting framework presents higher-order umbral trigonometric functions as natural cyclic components of factorised rational or exponential umbral operators.

2606.05212 2026-06-05 physics.gen-ph

Effective Constrained Scalar--Gauss--Bonnet Inflation Motivated by $f(R,\mathcal{G})$ Gravity

受 $f(R,\mathcal{G})$ 引力启发的有效约束标量-高斯-博内特暴涨

G. G. L. Nashed, Sudan Hansraj, Amare Abebe

AI总结 本文通过统一参数化哈勃膨胀率和高斯-博内特耦合函数,在广义慢滚形式下推导出标量谱指数 $n_s$ 和张量标量比 $r$ 的解析表达式,发现高斯-博内特贡献可显著抑制张量模式,得到 $n_s \simeq 0.958$ 和 $r \simeq 2.7 \times 10^{-4}$,与观测数据边缘兼容,并阐明了精确约束极限与有效慢滚实现之间的区别。

Comments 20 pages; 3 figures; 1 table

详情
AI中文摘要

我们开发了一个有效框架,用于在受 $f(R,\mathcal{G})$ 引力限制扇区启发的约束标量-高斯-博内特理论中描述暴涨。通过在广义慢滚形式下使用哈勃膨胀率和高斯-博内特耦合函数的统一参数化,我们推导了标量谱指数 $n_s$ 和张量标量比 $r$ 的解析表达式,并研究了它们对模型参数的依赖性。我们表明,哈勃参数化主要通过慢滚参数 $ε_1$ 控制标量扇区,而高斯-博内特诱导的贡献 $ε_4$ 可以显著影响标量倾斜并强烈抑制原初张量模式,自然导致非常小的 $r$ 值。一个代表性的基准解给出 $n_s \simeq 0.958$ 和 $r \simeq 2.7 \times 10^{-4}$,与当前的 Planck、ACT 和 BICEP/Keck 约束边缘兼容。我们进一步研究了精确约束理论的标量扰动结构,其中拉格朗日乘子约束迫使度规扰动消失,并与引力动量约束一起意味着 $\dot{\mathcal{R}}=0$,在线性阶消除了传播的标量自由度。这一精确结果阐明了广义慢滚处理应被解释为有效的软约束描述。我们还讨论了扰动稳定性条件,包括相关动能系数和传播速度的正定性。我们的结果表明,有效约束标量-高斯-博内特框架提供了灵活且观测上可行的暴涨描述,同时澄清了精确约束极限与其有效慢滚实现之间的区别。

英文摘要

We develop an effective framework for inflation in a constrained scalar--Gauss--Bonnet theory motivated by a restricted sector of $f(R,\mathcal{G})$ gravity. Using unified parametrizations of the Hubble expansion rate and the Gauss--Bonnet coupling function within a generalized slow-roll formalism, we derive analytical expressions for the scalar spectral index $n_s$ and tensor-to-scalar ratio $r$, and study their dependence on the model parameters. We show that the Hubble parametrization mainly controls the scalar sector through the slow-roll parameter $ε_1$, while the Gauss--Bonnet-induced contribution $ε_4$ can significantly affect the scalar tilt and strongly suppress primordial tensor modes, naturally leading to very small values of $r$. A representative benchmark solution yields $n_s \simeq 0.958$ and $r \simeq 2.7 \times 10^{-4}$, marginally compatible with current Planck, ACT, and BICEP/Keck constraints. We further investigate the scalar perturbation structure of the exactly constrained theory, where the Lagrange-multiplier constraint forces the lapse perturbation to vanish and, together with the gravitational momentum constraint, implies $\dot{\mathcal{R}}=0$, eliminating the propagating scalar degree of freedom at linear order. This exact result clarifies that the generalized slow-roll treatment should be interpreted as an effective softly constrained description. We also discuss perturbative stability conditions, including the positivity of the relevant kinetic coefficients and propagation speeds. Our results demonstrate that the effective constrained scalar--Gauss--Bonnet framework provides a flexible and observationally viable description of inflation while clarifying the distinction between the exact constrained limit and its effective slow-roll realization.

2606.05211 2026-06-05 math.HO math.AG

The Euclidean algorithm, lotuses and singularities

欧几里得算法、莲花与奇点

Patrick Popescu-Pampu

AI总结 本文通过构造一种称为莲花的二维单纯复形,将互质整数对的辗转相减过程(慢速欧几里得算法)与平面曲线 y^a - x^b = 0 的最小嵌入解消中的逐次爆破过程对应起来,并展示了如何从莲花中重构互质整数对序列。

Comments 16 pages, 15 figures. This article not being in final form, comments and suggestions are welcome! In formulating them, please keep in mind that the article is intended to be also understandable by historians and philosophers of mathematics

详情
AI中文摘要

反演过程通过从较大的数中反复减去较小的数,将一对互质正整数 (a,b) 转化为 (1,1)。这一过程是应用于 (a,b) 的欧几里得算法的慢速版本,自然地对应于逐次爆破的过程,该过程导致由 y^a - x^b = 0 定义的平面曲线的最小嵌入解消。这个爆破过程可以用一种称为莲花的特殊二维单纯复形图形化表示。这使得在莲花内的精确位置定位反演过程或欧几里得算法中出现的各种数字成为可能。在这篇介绍性文章中,我首先回顾了从欧几里得算法生成的商序列出发构建莲花的方法。然后,我提出了一种替代方法,即直接利用反演过程生成的互质整数对序列,通过我称之为反演矩形的东西来构建莲花。最后,我解释了如何从莲花重构相应的互质整数对序列。这是莲花作为计算架构的一个简单示例。

英文摘要

The anthyphairetic process leads from a pair (a,b) of coprime positive integers to the pair (1,1) by successive subtractions of the smaller number from the bigger one. This process, which is a slow version of Euclid's algorithm applied to the pair (a,b), corresponds naturally to the process of successive blowups leading to the minimal embedded resolution of the plane curve defined by y^a - x^b = 0. This blowup process may be represented graphically by a special two-dimensional simplicial complex called a lotus. This allows to localize the various numbers appearing either during the anthyphairetic process or during the Euclidean algorithm at precise positions inside the lotus. In this introductory article, I recall first the construction of this lotus starting from the sequence of quotients generated by the Euclidean algorithm. I present then an alternative way of constructing it directly from the sequence of pairs of coprime integers generated by the anthyphairetic process, using what I call anthyphairetic rectangles. I conclude by explaining how to reconstruct from a lotus the corresponding sequence of pairs of coprime integers. This is a simple illustration of the way lotuses may serve as computational architectures.

2606.05210 2026-06-05 cond-mat.supr-con cond-mat.stat-mech

Superconducting Triple Point in UTe$_2$: Thermodynamics and Symmetry

UTe$_2$中的超导三相点:热力学与对称性

L. A. Melnikovsky

AI总结 本文通过朗道理论解释UTe$_2$相图中两个不同超导相与正常相之间的二阶相变线相交于一点的三相点现象,指出其不存在热力学限制,并基于不同规范对称性的两个超导序参量给出唯一解释。

Comments 3 pages, 1 figure

详情
AI中文摘要

在UTe$_2$的相图中,正常相与两个不同超导相之间的三条二阶相变线相交于一点。与普遍看法相反,这种三相点不存在热力学限制。该相图在朗道理论框架下用具有不同规范对称性的两个超导序参量进行解释。在空间均匀性假设下,这种解释是唯一的。

英文摘要

Three lines of second-order phase transitions between the normal phase and two distinct superconducting phases meet at a single point on the phase diagram of UTe$_2$. Contrary to common belief, there are no thermodynamic constraints for such triple points. The phase diagram is interpreted within Landau theory in terms of two superconducting order parameters with different gauge symmetries. Such an interpretation is unique under the assumption of spatial uniformity.

2606.05209 2026-06-05 math.NA cs.NA physics.flu-dyn

Entropy-Compatible Barrier Schemes for Diffusive FENE Flows

扩散FENE流的熵兼容势垒格式

Sai Peng

AI总结 针对FENE-P型扩散流和迹奇异FENE族闭包,提出并分析了一种保持有限可扩展性势垒的熵兼容离散格式,证明了迹势垒保持、熵兼容重构、自由能不等式和AP应力闭包等性质。

详情
AI中文摘要

FENE型构象张量模型施加了一个Oldroyd-B流所没有的有限可扩展性约束:构象张量必须满足$\CC\succ0$和$\tr\CC<L^2$。因此,正定性本身是不够的,因为数值状态在跨越奇异迹势垒时仍可保持正定。即使是对数参数化本身也不足以保持迹:高阶重构可以在注入人工FENE熵的同时保持在有限可扩展域内。我们针对具有聚合物质心分子扩散的FENE-P型流和具有相同熵结构的迹奇异FENE族闭包,开发并分析了一种保持势垒的熵兼容离散格式。该方法结合了迹势垒自由能、有限可扩展性对数参数化、最小阻尼熵兼容势垒对数重构、与势垒熵变量配对的分子扩散、聚合物功的兼容求积以及用于小Weissenberg数的缩放FENE应力变量。对于允许的离散状态,我们证明了在熵求积点上的有限可扩展性保持、最大熵允许重构参数的存在性和二分法可计算性、具有松弛和分子扩散势垒耗散的完全离散自由能不等式、定量AP应力闭包以及固定离散的牛顿极限。在有限可扩展域的紧子集上推导了条件相对熵估计。数值诊断验证了势垒保持、熵兼容重构、能量衰减、AP闭包、耦合速度-压力-应力精度以及迹约束附近的高Weissenberg数鲁棒性。

英文摘要

FENE-type conformation-tensor models impose a finite-extensibility constraint that is absent from Oldroyd--B flow: the conformation tensor must satisfy $\CC\succ0$ and $\tr\CC<L^2$. Positive definiteness alone is therefore insufficient, since a numerical state can remain positive while crossing the singular trace barrier. Even a trace-preserving logarithmic parametrization is not enough by itself: high-order reconstruction can remain inside the finite-extensibility domain while injecting artificial FENE entropy. We develop and analyze a barrier-preserving entropy-compatible discretization for FENE-P type flows with polymer center-of-mass molecular diffusion and for trace-singular FENE-family closures with the same entropy structure. The method combines a trace-barrier free energy, a finite-extensibility logarithmic parametrization, a least-damping entropy-compatible barrier-log reconstruction, molecular diffusion paired with the barrier entropy variable, compatible quadrature for polymeric work, and a scaled FENE stress variable for the small-Weissenberg limit. For admissible discrete states we prove finite-extensibility preservation at entropy quadrature points, existence and bisection computability of the maximal entropy-admissible reconstruction parameter, a fully discrete free-energy inequality with relaxation and molecular-diffusion barrier dissipation, a quantitative AP stress closure, and a fixed-discretization Newtonian limit. A conditional relative-entropy estimate is derived on compact subsets of the finite-extensibility domain. Numerical diagnostics verify barrier preservation, entropy-compatible reconstruction, energy decay, AP closure, coupled velocity--pressure--stress accuracy, and high-Weissenberg robustness near the trace constraint.

2606.05207 2026-06-05 math.GM

Pseudosymmetry, Ricci soliton and Curvature Inheritance symmetries of Friedmann Lemaître Robertson Walker spacetime

弗里德曼-勒梅特-罗伯逊-沃克时空的伪对称性、里奇孤子和曲率继承对称性

Absos Ali Shaikh, Kamiruzzaman

AI总结 本文全面研究了FLRW时空的曲率性质,证明了其满足多种伪对称型条件,并分析了里奇孤子、曲率继承对称性以及与LTB时空的比较。

Comments 42 Pages

详情
AI中文摘要

Friedmann--Lemaître--Robertson--Walker (FLRW) 时空最初由 Friedmann (1922-1924) 和 Lemaître (1927) 提出,随后由 Robertson 和 Walker (1935) 发展,是宇宙的各向同性且均匀的宇宙学模型。本文通过全面考察 FLRW 时空的曲率性质,填补了微分几何文献中的一个重要空白。证明了 FLRW 时空满足曲率条件 R · R - Q(S, R)=L_C Q(g, C) 以及若干与共形和共调和曲率张量相关的伪对称型条件。此外,发现 Tachibana 张量 Q(g,C) 和 Q(S, C) 与张量 (C · R + R · C) 呈线性依赖关系。还证明了该时空是 2-拟爱因斯坦流形、广义 Roter 型和 Ein(3)。里奇张量既不是循环平行的也不是 Codazzi 型的,但满足关于 R, C, P, K 和 W 曲率张量的若干兼容性要求。对里奇孤子和曲率继承性质的深入分析表明,该时空关于非 Killing 孤子向量场 ∂/∂t 和 ∂/∂r 允许几乎里奇孤子和 η-里奇 Yamabe 孤子结构。此外,时空关于坐标向量场 ∂/∂t 和 t 的梯度,对于黎曼曲率张量以及 Weyl 共形、共圆和共调和曲率张量具有广义曲率继承对称性质。随后,从各种曲率相关的几何性质和物理特性方面对 FLRW 和 Lemaître--Tolman--Bondi (LTB) 时空进行了比较。最后,给出了整个研究的一个值得注意的结论。

英文摘要

The Friedmann--Lemaître--Robertson--Walker (FLRW) spacetime, which was first proposed by Friedmann (1922--1924) and Lemaître (1927) and subsequently developed by Robertson and Walker (1935), is an isotropic and homogeneous cosmological model of the universe. This paper addresses a significant gap in the differential geometry literature by providing a comprehensive examination of the curvature properties of the FLRW spacetime. It is demonstrated that the FLRW spacetime satisfies the curvature condition R \cdot R - Q(S, R)=L_C Q(g, C) alongside several pseudosymmetric-type conditions related to the conformal and conharmonic curvature tensors. Furthermore, the Tachibana tensors Q(g,C) and Q(S, C) are found to exhibit a linear dependence on the tensor $(C \cdot R + R \cdot C)$. Additionally, the spacetime is shown to be a 2-quasi-Einstein manifold, generalized Roter type and Ein(3). The Ricci tensor is shown to be neither cyclic parallel nor of Codazzi type, yet it satisfies several compatibility requirements concerning the R, C, P, K and W curvature tensors. A thorough analysis of Ricci solitons and curvature inheritance properties reveals that the spacetime admits almost Ricci soliton and $η$-Ricci Yamabe soliton structures with respect to the non-Killing soliton vector fields $\frac{\partial}{\partial t}$ and $\frac{\partial}{\partial r}$. Moreover, the spacetime admits generalized curvature inheritance symmetry properties for the Riemann curvature tensor, as well as for the Weyl conformal, concircular, and conharmonic curvature tensors with respect to the coordinate vector field $\frac{\partial}{\partial t}$ and the gradient of $t$. Later, a comparison of the FLRW and Lemaître--Tolman--Bondi (LTB) spacetimes is provided in terms of various curvature-related geometric properties and physical characteristics. Finally, a noteworthy conclusion of the entire study is presented.

2606.05205 2026-06-05 physics.plasm-ph math-ph math.MP physics.class-ph

Exact solution of the Gaunt-modified Landau-Lifshitz equation in a plane wave

平面波中Gaunt修正的Landau-Lifshitz方程的精确解

S. A. Shekhanov, C. P. Ridgers

AI总结 通过Gaunt因子修正的Landau-Lifshitz方程,在平面电磁波中推导了电子能量和四速度的精确解,提供了半经典辐射反作用的解析描述。

Comments 15 pages, 5 figures

详情
AI中文摘要

我们使用由Gaunt因子建模的量子辐射反作用修正的Landau-Lifshitz方程,分析了平面电磁波中的电子动力学。在这种几何中,量子参数$χ$仅依赖于光前动量,使得修正的运动方程保留了经典问题的可积结构。我们推导了能量演化和四速度的精确解,在适当极限下该解简化为已知的经典结果。这些结果为平面波场中的半经典辐射反作用提供了解析和确定性的描述。

英文摘要

We analyze electron dynamics in a plane electromagnetic wave using the Landau-Lifshitz equation with a quantum radiation reaction correction modeled by a Gaunt factor. In this geometry, the quantum parameter $χ$ depends solely on the lightfront momentum, allowing the modified equation of motion to retain the integrable structure of the classical problem. We derive an exact solution for the energy evolution and the four-velocity, which reduces to the known classical result in the appropriate limit. The results provide an analytical and deterministic description of semiclassical radiation reaction in plane-wave fields.

2606.05204 2026-06-05 math-ph gr-qc hep-th math.MP physics.comp-ph

xCPS: an xAct package for covariant phase space, Noether charges, and entropy

xCPS: 用于协变相空间、Noether荷和熵的xAct包

Juan Margalef-Bentabol

AI总结 xCPS是一个基于xAct的张量代数包,用于场论中协变相空间形式体系的符号计算,自动推导运动方程、辛流、Noether对称性和荷,并支持Wald熵等热力学量的计算。

详情
AI中文摘要

xCPS是一个xAct张量代数包,用于场论中协变相空间形式体系的符号计算。从一般的拉格朗日量出发,xCPS自动推导运动方程和辛流。它系统地确定场空间中的无穷小变换是否为Noether对称性,并计算相应的Noether荷。此外,xCPS在许多情况下可以判断张量表达式是否为散度,如果是,则找到其散度势。通过实现带有分次超交换楔积和垂直算子的垂直外微分,该包能够高效计算规范理论和引力高阶导数模型,包括推导Wald熵等热力学量。xCPS在GPL许可下开源,可从https://github.com/juanmargalef获取。

英文摘要

xCPS is an xAct tensor algebra package for symbolic computations within the covariant phase space formalism of field theories. From a generic Lagrangian, xCPS automates the derivation of equations of motion and symplectic currents. It systematically determines whether an infinitesimal transformation in the space of fields is a Noether symmetry and computes the associated Noether charge. Additionally, xCPS can in many cases determine whether a tensorial expression is a divergence and, if so, find its divergence potential. By implementing vertical exterior calculus through a graded, supercommutative wedge product and vertical operators, the package enables efficient computations in gauge theories and higher-derivative models of gravity, including the derivation of thermodynamic quantities like Wald's entropy. xCPS is open-source under the GPL license and available at https://github.com/juanmargalef.

2606.05203 2026-06-05 physics.optics hep-ph

Time-frequency analysis of nonlinear Compton scattering via joint probability distributions

非线性康普顿散射的时频分析:基于联合概率分布

Nikita Larin, Daniel Seipt

AI总结 本文通过构建非负联合概率分布,在强场量子电动力学框架下对非线性康普顿散射进行时频分析,揭示了载波包络相位和偏振变化对辐射谱的影响。

详情
AI中文摘要

带电粒子与强激光脉冲的相互作用会产生辐射的若干特征谱特征,包括谐波产生、由于相位依赖的 ponderomotive 红移导致的谱展宽,以及复杂的次谐波结构。这些效应是在与电磁场相互作用的过程中累积的,因此本质上具有非局域性。为了更深入地理解强场量子电动力学(SFQED)过程及其实际应用,有必要采用能够在时间和能量域同时进行分析的工具。在时频分析中,联合分布(JDs)提供了这样的工具。在这项工作中,我们展示了如何在 SFQED 框架内设计一个 JD。具体来说,我们专注于构建一个非负的 JD,它允许清晰的概率解释。我们研究了所提出分布的性质,并通过将其应用于具有载波包络相位和可变极化的复杂激光脉冲配置中的非线性康普顿散射来测试其效用。

英文摘要

The interaction of charged particles with an intense laser pulse gives rise to a number of characteristic spectral features of emitted radiation, including the generation of harmonics, spectral broadening due to the phase-dependent ponderomotive red shift, and the emergence of intricate sub-harmonic structures. These effects are accumulated over the course of the interaction with the electromagnetic field and are therefore inherently nonlocal in nature. For a deeper understanding of strong-field quantum electrodynamics (SFQED) processes and their practical applications, it is desirable to employ tools that enable simultaneous analysis in the time and energy domains. In time-frequency analysis, such tools are provided by joint distributions (JDs). In this work, we demonstrate how a JD can be devised within the SFQED framework. Specifically, we focus on constructing a non-negative JD, which allows for a clear probabilistic interpretation. We study the properties of the proposed distribution and test its utility by applying it to the nonlinear Compton scattering in complex laser pulse configurations with carrier-envelope phase and variable polarization.

2606.05197 2026-06-05 quant-ph

Reply to "Interpreting Bohm quantum potentials in `Computing quantum waves exactly from classical action'"

回复“解读`从经典作用量精确计算量子波'中的玻姆量子势”

Gabor Vattay

AI总结 针对Lohmiller和Slotine试图用位置依赖时间变换消除玻姆量子势的论点,通过严格数学分析指出其违反多变量链式法则,证明空间导数在物理参考系中不为零,且其数学框架等价于仅对二次势精确的半经典Van Vleck传播子。

Comments Comment on arXiv:2605.20443, 3 pages, no figures

详情
AI中文摘要

Lohmiller和Slotine最近的arXiv文章arXiv:2605.20443试图解决他们提出的经典作用量与薛定谔方程之间精确等价中玻姆量子势的遗漏问题。他们引入了一个位置依赖的时间变换,以论证费曼核的概率密度振幅的空间导数消失。对此变换的严格数学检验揭示了多变量链式法则的违反。在物理参考系中,空间导数并不消失。作者提出的数学框架与已建立良好的半经典Van Vleck传播子完全相同,后者仅对二次势精确成立。

英文摘要

The recent arXiv posting arXiv:2605.20443 by Lohmiller and Slotine attempts to address the omission of the Bohm quantum potential in their proposed exact equivalence between classical action and the Schrödinger equation. They introduce a position-dependent time transformation to argue that the spatial derivatives of the probability density amplitude vanish for the Feynman kernel. A rigorous mathematical examination of this transformation reveals a violation of the multivariable chain rule. The spatial derivatives do not vanish in the physical reference frame. The mathematical framework presented by the authors remains identical to the well-established semiclassical Van Vleck propagator, which is exact exclusively for quadratic potentials.

2606.05196 2026-06-05 q-bio.MN math.CO

Uniform sampling of canalizing Boolean functions reveals hidden biases in Boolean network analysis

布尔函数规范采样的均匀化揭示布尔网络分析中的隐藏偏差

Ahana Ghosh, Claus Kadelka

AI总结 针对布尔函数参数均匀采样导致函数分布非均匀的偏差,提出结合动态规划和拒绝采样的均匀采样算法,并证明该偏差显著影响网络鲁棒性、稳定性等结论。

Comments 14 pages, 4 figures

详情
AI中文摘要

布尔网络被广泛用于模拟基因调控系统,其中布尔函数集合作为评估结构和动力学特性的零模型。常见方法通过均匀随机采样定义参数来生成规范和嵌套规范函数。然而,由于多个参数化可以表示相同的布尔函数,这导致不同函数上的非均匀分布,并系统性地偏倚随机集合。 本文开发了高效算法,用于均匀采样具有指定精确或最小规范深度的布尔函数,纠正了这一偏差。我们的方法结合了用于采样规范层结构的动态规划与基于拒绝的方法,并在BoolForge中实现。 我们表明,采样方案显著影响通常研究的函数级度量。在传统参数均匀采样下,嵌套规范函数的期望平均敏感度等于1,与变量数无关。相反,在函数均匀采样下,期望敏感度随系统规模增加,数值上接近约1.183。这种差异源于基于参数的采样对高敏感度函数的指数抑制。 这些差异传播到布尔网络模型,影响关于鲁棒性、稳定性、吸引子结构和基线动力学预期的结论。重新审视122个已发表的布尔基因调控网络模型,我们表明函数均匀零模型揭示了比先前推断的更强的低敏感度规范架构富集。我们的结果表明,广泛使用的零模型系统性地低估了基线敏感度,因此可能扭曲对生物网络中规范稳定作用的评估。

英文摘要

Boolean networks are widely used to model gene regulatory systems, where ensembles of Boolean functions serve as null models for assessing structural and dynamical properties. A common approach generates canalizing and nested canalizing functions by sampling their defining parameters uniformly at random. However, because multiple parameterizations can represent the same Boolean function, this induces a non-uniform distribution over distinct functions and systematically biases random ensembles. Here, we develop efficient algorithms for uniform sampling of Boolean functions with prescribed exact or minimal canalizing depth that correct this bias. Our approach combines dynamic programming for sampling canalizing layer structures with rejection-based methods and is implemented in BoolForge. We show that the sampling scheme substantially affects commonly studied function-level metrics. Under traditional parameter-uniform sampling, the expected average sensitivity of nested canalizing functions equals one independent of the number of variables. In contrast, under function-uniform sampling, the expected sensitivity increases with system size and numerically approaches approximately 1.183. This discrepancy arises from an exponential suppression of high-sensitivity functions under parameter-based sampling. These differences propagate to Boolean network models, affecting conclusions about robustness, stability, attractor structure, and baseline dynamical expectations. Revisiting 122 published Boolean gene regulatory network models, we show that function-uniform null models reveal a substantially stronger enrichment of low-sensitivity canalizing architectures than previously inferred. Our results demonstrate that widely used null models systematically underestimate baseline sensitivity and can therefore distort assessments of the stabilizing role of canalization in biological networks.

2606.05195 2026-06-05 math.NA cs.NA math.PR

Euler Scheme for Stochastic Functional Differential Equations Driven by Fractional Brownian Motion via Fractional Calculus Techniques

基于分数阶微积分技术的分数布朗运动驱动随机泛函微分方程的欧拉格式

Alexander Abreu, Héctor Araya, Lisandro Fermin, Johanna Garzón, Soledad Torres

AI总结 针对Hurst参数H>1/2的分数布朗运动驱动的带记忆随机泛函微分方程,提出并分析了基于分数阶微积分的欧拉型数值格式,证明了收敛性并给出了收敛阶。

详情
AI中文摘要

我们研究了一个由Hurst参数H>1/2的分数布朗运动驱动的带记忆随机泛函微分方程。在漂移和扩散系数满足适当正则性条件下,利用分数阶微积分工具提出并分析了一种欧拉型数值格式。我们证明了该格式的收敛性,并推导了关于离散化步长的相应收敛阶。数值模拟验证了理论结果并确认了所提方法的准确性。

英文摘要

We study a stochastic functional differential equation (SFDE) with memory driven by a fractional Brownian motion (fBm) with Hurst parameter H>1/2. An Euler-type numerical scheme is proposed and analyzed under suitable regularity conditions on the drift and diffusion coefficients using tools from fractional calculus. We prove the convergence of the scheme and derive the corresponding rate in terms of the discretization step. Numerical simulations illustrate the theoretical results and confirm the accuracy of the proposed method.

2606.05193 2026-06-05 math.DG

Hineva Inequality for Submanifolds of Real Space Forms with Semi-Symmetric Non-Metric Connection

具有半对称非度量连接的实空间形式子流形的Hineva不等式

M. S. Lone, M. A. Lone

AI总结 本文针对具有半对称非度量连接的实空间形式子流形,建立了Hineva不等式,给出了Ricci曲率的下界,并应用于多类子流形。

详情
AI中文摘要

在本文中,我们建立了具有半对称非度量连接的实空间形式子流形的Hineva不等式。我们推导了子流形Ricci曲率的一个尖锐下界,该下界用平均曲率向量和第二基本形式的平方范数表示。我们将此不等式应用于推导几类子流形的Hineva不等式。

英文摘要

In this paper, we establish the Hineva inequality for submanifolds of a real space form endowed with a semi-symmetric non-metric connection. We derive a sharp lower bound for the Ricci curvature of the submanifold in terms of the mean curvature vector and the squared norm of the second fundamental form. We apply this inequality to derive the Hineva inequality for several classes of submanifolds.

2606.05192 2026-06-05 math.RT

A problem on Hecke algebras for $\mathrm{GL}_n(F)$ for $n>2$ over $p$-adic field $F$

关于 $p$-进域 $F$ 上 $\mathrm{GL}_n(F)$ ($n>2$) 的 Hecke 代数的一个问题

Subha Sandeep Repaka

AI总结 研究 $p$-进域上 $\mathrm{GL}_n$ ($n>2$) 的 Hecke 代数,通过 Bernstein 分解和交织代数证明不同域上的 Hecke 代数 Morita 等价。

Comments 8 Pages

详情
AI中文摘要

我们研究 $G = \mathrm{GL}_n$ 且 $n>2$ 时的 Hecke 代数 $\mathcal{H}_G(F)$,其中 $F$ 是特征零的非阿基米德局部域。我们证明,对于 $G = \mathrm{GL}_n$ 且 $n>2$ 以及任意两个这样的域 $E$ 和 $F$,存在 Morita 等价 $\mathcal{H}_G(E) \sim \mathcal{H}_G(F)$,这通过使用 Hecke 代数的 Bernstein 分解并确定在 Morita 等价下产生 Bernstein 块的交织代数来实现。

英文摘要

We study the Hecke algebra $\mathcal{H}_G(F)$ for $G = \mathrm{GL}_n$ and $n>2$ where $F$ is a non-Archimedean local field of characteristic zero. We show that for $G = \mathrm{GL}_n$ and $n>2$ and any two such fields $E$ and $F$, there is a Morita equivalence $\mathcal{H}_G(E) \sim \mathcal{H}_G(F)$, by using the Bernstein decomposition of the Hecke algebra and by determining the intertwining algebras that yield the Bernstein blocks up to Morita equivalence.

2606.05190 2026-06-05 math.CA

A simple proof that the Riesz projection is bounded on $L^p(\mathbb{T})$ for $1<p<\infty$

一个简单的证明:Riesz投影在 $L^p(\mathbb{T})$ 上有界,其中 $1<p<\infty$

Ole Fredrik Brevig

AI总结 本文通过变体 M. Riesz 的经典论证,给出了 Riesz 投影在 $L^p(\mathbb{T})$ 上有界且界为 $\max(p,q)$ 的简单证明。

详情
AI中文摘要

令 $\mathbf{P}$ 表示单位圆 $\mathbb{T}$ 上的 Riesz 投影,并假设 $1<p<\infty$。我们给出了一个简单的证明,证明 $\|\mathbf{P}f\|_p \leq \max(p,q) \|f\|_p$,其中 $f$ 属于 $L^p(\mathbb{T})$ 且 $p^{-1}+q^{-1}=1$。我们的证明是 M. Riesz 证明 Hilbert 变换在 $L^p(\mathbb{T})$ 上有界的经典论证的一个变体。

英文摘要

Let $\mathbf{P}$ denote the Riesz projection on the unit circle $\mathbb{T}$ and suppose that $1<p<\infty$. We present a simple proof of the bound $\|\mathbf{P}f\|_p \leq \max(p,q) \|f\|_p$, where $f$ is in $L^p(\mathbb{T})$ and $p^{-1}+q^{-1}=1$. Our proof is a variation of a classical argument due to M. Riesz demonstrating that the Hilbert transform is bounded on $L^p(\mathbb{T})$.

2606.05184 2026-06-05 math.RT math.QA

Monoidal Categories associated with Kac-Moody Open Richardson Varieties in Symmetric Type

对称型中与Kac-Moody开Richardson簇相关的幺半范畴

Yingjin Bi

AI总结 本文通过分析广义极小的简单因子,将Kac-Moody开Richardson簇的簇代数结构与幺半范畴$\mathscr{C}_{w,v}$联系起来,证明了簇单项式对应简单模的同构类,并指出Grothendieck环包含Bao-Ye构造的簇代数结构。

Comments 44 pages

详情
AI中文摘要

在本文中,我们研究了由Fomin--Zelevinsky引入的广义极小子式\( Δ(w_{\leq k}Λ,\, v_{\leq k}Λ) \)在Kac--Moody开Richardson簇的坐标环中的分解性质。通过分析它们在幺半范畴$\mathscr{C}_{w,v}$中的简单因子,我们将这些簇的簇代数结构与Kashiwara--Kim--Oh--Park发展的范畴框架联系起来。特别地,我们证明了Kac--Moody开Richardson簇坐标环中的簇单项式对应于$\mathscr{C}_{w,v}$中简单模的同构类。作为推论,我们证明了Grothendieck环$K(\mathscr{C}_{w,v})$包含由Bao--Ye构造的坐标环上的簇代数结构。在有限型中,我们进一步证明了Leclerc的种子与Ménard关于开Richardson簇的种子一致,并且范畴$\widetilde{\mathscr{C}}_{w,v}$提供了开Richardson簇上簇结构的幺半范畴化。

英文摘要

In the present paper, we study the factorization properties of the generalized minors \( Δ(w_{\leq k}Λ,\, v_{\leq k}Λ), \) introduced by Fomin--Zelevinsky, in the coordinate rings of Kac--Moody open Richardson varieties. By analyzing their simple factors in the monoidal category $\mathscr{C}_{w,v}$, we connect the cluster algebra structure of these varieties with the categorical framework developed by Kashiwara--Kim--Oh--Park. In particular, we prove that cluster monomials in the coordinate ring of a Kac--Moody open Richardson variety correspond to isomorphism classes of simple modules in $\mathscr{C}_{w,v}$. As a consequence, we show that the Grothendieck ring $K(\mathscr{C}_{w,v})$ contains the cluster algebra structure on the coordinate ring constructed by Bao--Ye. In finite type, we further prove that Leclerc's seeds coincide with Ménard's seeds for open Richardson varieties, and that the category $\widetilde{\mathscr{C}}_{w,v}$ provides a monoidal categorification of the cluster structure on the open Richardson variety.