arXivDaily arXiv每日学术速递 周一至周五更新
重置
全部学科分类 2040
热门方向导航
2606.11858 2026-06-11 eess.SY cs.SY 新提交

Koopman-based NMPC for Virtually Coupled Train Control System

基于Koopman的非线性模型预测控制在虚拟耦合列车控制系统中的应用

Yiwen Zhang, Lorenzo Calogero, Shukai Li, Alessandro Rizzo, Anton V. Proskurnikov

AI总结 提出基于Koopman的非线性模型预测控制(K-NMPC)方法,通过闭式可观测函数将列车动力学提升至有限维Koopman空间,将在线最优控制问题转化为二次规划,显著降低计算时间,实现与离散NMPC相当的控制性能。

Comments to be presented at IFAC World Congress 2026

详情
AI中文摘要

本文研究了一种基于Koopman的分析型非线性模型预测控制(K-NMPC)方法,用于虚拟耦合列车系统的跟踪控制。通过闭式可观测函数,将包含列车动力学、速度和控制输入限制、乘客舒适度约束以及碰撞避免的非线性列车运动模型系统地提升到有限维Koopman空间。在沿移位预测轨迹冻结仿射参数变化提升预测器后,在线最优控制问题被求解为一个可以高效求解的二次规划。所提出的K-NMPC与时间离散NMPC方案进行了基准测试,显示出相当的控制性能,同时显著减少了在线计算时间,并在实际虚拟耦合列车控制系统中具有强大的实时实现潜力。

英文摘要

This paper investigates an analytical Koopman-based nonlinear model predictive control (K-NMPC) approach for tracking control of virtually coupled train systems. A nonlinear train movement model incorporating train dynamics, speed and control input limits, passenger comfort constraints, and collision avoidance is systematically lifted into a finite-dimensional Koopman space through closed-form observable functions. After freezing the affine parameter-varying lifted predictor along the shifted predicted trajectory, the online optimal control problem is solved as a quadratic program that can be solved efficiently. The proposed KNMPC is benchmarked against a time-discrete NMPC scheme, demonstrating comparable control performance with significantly reduced online computation time and strong potential for real-time implementation in practical virtually coupled train control systems.

2606.11856 2026-06-11 math.AP 新提交

Some results for a stationary Navier-Stokes equation with a rough drift in a weighted functional framework

带粗糙漂移的稳态Navier-Stokes方程在加权函数框架下的一些结果

Diego Chamorro, Anca-Nicoleta Marcoci, Liviu-Gabriel Marcoci

AI总结 研究带奇异积分算子粗糙漂移的稳态Navier-Stokes方程,在加权Morrey-Sobolev空间中构造小外力下的解,并给出存在唯一性结果。

详情
AI中文摘要

本文研究了一类稳态Navier-Stokes方程的解,其中考虑了一个由奇异积分算子给出的粗糙漂移,该算子不属于经典的Calderón-Zygmund奇异积分算子族。给定一个小外力,我们在加权Morrey-Sobolev空间的框架下构造了该系统的解。使用基于Morrey的Sobolev空间提供了比通常基于Lebesgue的Sobolev空间更一般的设定,而Muckenhoupt权的存在使我们能够从多个角度给出一些存在性和唯一性结果。

英文摘要

In this article, we study some classes of solutions for a stationary Navier-Stokes equation where we consider a rough drift given by a singular integral operator which does not belong to the classical Calder{ó}n-Zygmund family of singular integral operators. Given a small external force, we will construct solutions to this system in the framework of weighted Morrey-Sobolev spaces. The use of Morrey-based Sobolev spaces provides a more general setting than the usual Lebesgue-based Sobolev spaces, and the presence of Muckenhoupt weights will allow us to present some existence and uniqueness results from several points of view.

2606.11855 2026-06-11 math.OC 新提交

Distributionally Robust Reinsurance under Robust Optimized Certainty Equivalent Risk Measure

鲁棒优化等价确定性风险度量下的分布鲁棒再保险

Xinqiao Xie, Taizhong Hu, Tiantian Mao

AI总结 提出鲁棒优化等价确定性(ROCE)风险度量类,涵盖CVaR和expectiles,并研究其在均值-方差和Wasserstein不确定性集下的分布鲁棒再保险问题,得到有限维可解公式。

详情
AI中文摘要

本文引入了一类偏好鲁棒风险度量——鲁棒优化等价确定性(ROCE),它涵盖了包括条件风险价值(CVaR)和expectiles在内的几种广泛使用的度量作为特例。受分布鲁棒最优再保险(DROR)最新发展的启发,我们研究了ROCE风险度量下的DROR问题,并考虑了两种重要的不确定性集:均值-方差不确定性集和Wasserstein不确定性集。对于均值-方差不确定性集,我们通过证明只需考虑三点分布,将无限维优化问题重新表述为有限维问题。这为广泛的ROCE风险度量类提供了一个统一且显式的公式,并提供了一个简化框架,该框架也恢复了CVaR和expectiles的早期结果。对于Wasserstein不确定性集,我们也推导出了一个可处理的有限维公式。由此产生的数据驱动模型能够高效计算,并有助于在最优免赔额设计中系统地比较基于矩和基于Wasserstein的不确定性集。数值实验展示了我们重新表述的程序的性能。

英文摘要

In this paper, we introduce a class of preference robust risk measures-\emph{robust optimized certainty equivalents} (ROCE)-which encompasses several widely used measures, including Conditional Value-at-Risk and expectiles, as special cases. Motivated by recent developments in distributionally robust optimal reinsurance (DROR), we investigate DROR problems under the ROCE risk measure and consider two prominent uncertainty sets: the mean-variance uncertainty set and the Wasserstein uncertainty set. For the mean-variance uncertainty set, we reformulate the infinite-dimensional optimization problem into a finite-dimensional one by showing that it suffices to consider three-point distributions. This leads to a unified and explicit formulation for a broad class of ROCE risk measures and offers a simplified framework that also recovers earlier results for Conditional Value-at-Risk and expectiles. For the Wasserstein uncertainty set, we also derive a tractable finite-dimensional formulation. The resulting data-driven models enable efficient computation and facilitate a systematic comparison between moment-based and Wasserstein-based uncertainty sets in the optimal deductible design. Numerical experiments are exhibited to illustrate the performance of our reformulated programs.

2606.11852 2026-06-11 cs.DM math.CO math.OC 新提交

The relaxation complexity of the standard simplex is logarithmic

标准单纯形的松弛复杂度是对数级别的

Simon Keil, Stefan Weltge

AI总结 本文通过显式初等构造证明离散标准单纯形Δ_d的松弛复杂度rc(Δ_d)=O(log d),改进了先前O(d/√log d)的上界,并匹配渐近下界。

Comments 5 pages

详情
AI中文摘要

对于整数点集$X$,松弛复杂度$\operatorname{rc}(X)$是使得$P \cap \mathbb{Z}^d = X$的多面体$P$的最小面数。本文关注$X$为离散标准单纯形$\Delta_d = \{\mathbf{0}, \mathbf{e}_1, \dots, \mathbf{e}_d\}$的情形。我们通过显式初等构造证明$\operatorname{rc}(\Delta_d) = O(\log d)$。这改进了Aprile、Averkov、Di Summa和Hojny(2024)先前的最佳上界$\operatorname{rc}(\Delta_d) = O(d / \sqrt{\log d})$,并匹配了Averkov和Schymura(2022)的渐近下界。

英文摘要

For a set $X$ of integer points, the relaxation complexity $\operatorname{rc}(X)$ is the smallest number of facets of any polyhedron $P$ such that $P \cap \mathbb{Z}^d = X$. In this paper, we focus on the case where $X$ is the discrete standard simplex $Δ_d = \{\mathbf{0}, \mathbf{e}_1, \dots, \mathbf{e}_d\}$. We show that $\operatorname{rc}(Δ_d) = O(\log d)$ by an explicit, elementary construction. This improves upon the previously best-known upper bound $\operatorname{rc}(Δ_d) = O(d / \sqrt{\log d})$ due to Aprile, Averkov, Di Summa, and Hojny (2024) and matches an asymptotic lower bound by Averkov and Schymura (2022).

2606.11850 2026-06-11 cond-mat.soft physics.bio-ph 新提交

Pinned Boundaries Delay Contraction and Shape Stress Relaxation in Active Gels

固定边界延迟收缩并塑造活性凝胶中的应力松弛

Aniket Marne, James Clarke, Aravind Rao, Hyunjae Lee, Kyla Wong, Aditya Sriram, Rae Robertson-Anderson, Moumita Das, José Alvarado

AI总结 本研究通过重构的肌动球蛋白凝胶,研究固定边界条件下收缩动力学,发现应力积累导致延迟收缩、间歇动力学和非均匀应变,并建立流体力学模型解释应力释放机制。

详情
AI中文摘要

细胞动态地产生、传递和耗散应力。这些过程的核心是肌动球蛋白皮层,一种驱动细胞力学行为的活性收缩材料。虽然先前的研究集中于自由收缩的肌动球蛋白系统,但机械约束(如与边界的粘附)的作用仍较少探索。为了解决这一问题,我们采用重构的肌动球蛋白凝胶来研究细胞收缩性。我们研究了固定边界条件下的收缩动力学,其中凝胶横向粘附到两个相对的表面,模拟组织和胚胎中的超细胞肌动球蛋白网络。我们发现固定收缩导致应力积累,延迟收缩,产生间歇动力学,并生成空间非均匀应变场。应力通过多种途径释放,包括活性应力驱动的对称收缩和缺陷驱动过程(如边界脱离和内部破裂)。我们开发了一个流体力学模型,包含弹性、粘性和活性应力贡献,区分应力积累和应力释放阶段,并将活性应力的变化与观察到的间歇动力学联系起来。该模型预测了脱离事件前后不同的能量松弛速率,为应力耗散提供了见解。我们将实验与数值模拟进行比较,模拟再现了观察到的行为,并揭示了在应力积累和松弛过程中内部能量如何产生和耗散。总之,我们的结果证明了边界条件和空间异质性如何控制收缩性活性凝胶的力学行为。这些发现为细胞和组织尺度系统中的应力调节提供了见解,并可能指导适应性软材料和仿生机器人系统的设计。

英文摘要

Cells dynamically generate, transmit, and dissipate stress. Central to these processes is the actomyosin cortex, an active contractile material that drives cellular mechanical behavior. While prior studies have focused on freely contracting actomyosin systems, the role of mechanical constraints such as adhesion to boundaries remains less explored. To address this, we employ reconstituted actomyosin gels to investigate cellular contractility. We study contraction dynamics under pinned boundary conditions, where the gel is adhered transversely to two opposing surfaces, mimicking supracellular actomyosin networks in tissues and embryos. We find that pinned contraction leads to stress buildup, delaying contraction, producing intermittent dynamics, and generating spatially nonuniform strain fields. Stress is relieved through several pathways, including active-stress-driven symmetric constriction and defect-driven processes such as boundary detachment and internal rupture. We develop a hydrodynamic model incorporating elastic, viscous, and active stress contributions that distinguishes between stress-accumulation and stress-release phases and links variations in active stress to the observed intermittent dynamics. The model predicts distinct energy relaxation rates before and after detachment events, providing insight into stress dissipation. We compare experiments with numerical simulations, which reproduce the observed behavior and reveal how internal energy is generated and dissipated during stress buildup and relaxation. Together, our results demonstrate how boundary conditions and spatial heterogeneity govern the mechanical behavior of contractile active gels. These findings provide insight into stress regulation in cellular and tissue-scale systems and may inform the design of adaptive soft materials and bioinspired robotic systems.

2606.11849 2026-06-11 physics.geo-ph cond-mat.mtrl-sci cond-mat.soft 新提交

Breakdown of the classical rupture theory and earthquake propagation in the "forbidden" super-Rayleigh range

经典破裂理论的失效与地震在“禁止”的超瑞利范围内的传播

Anna Pomyalov, Fabian Barras, Eran Bouchbinder

AI总结 研究揭示摩擦速率依赖性导致破裂连续穿过超瑞利范围进入超剪切状态,无需突变,挑战经典理论。

详情
AI中文摘要

通常认为,以超过剪切波速传播的地震会发生超剪切转变,从亚瑞利状态不连续地跳跃到超剪切状态。超瑞利范围,即瑞利波速与剪切波速之间的传播速度范围,被二维经典破裂理论视为“禁止”的。这里,我们重新审视经典理论背后的假设,并发展了一种考虑断层强度(摩擦阻力)对滑移速率依赖性的破裂理论。该理论在接近瑞利波速的范围内与数值模拟定量吻合。然而,非常接近瑞利波速时,由于摩擦速率非线性,二维破裂解改变了其性质,破裂连续地穿过“禁止”的超瑞利范围进入超剪切状态,而没有明显的超剪切转变。这些结果表明,实验中普遍观察到的摩擦速率依赖性对快速地震传播具有深远影响。

英文摘要

Earthquakes propagating faster than the shear wave-speed are commonly thought to undergo a super-shear transition upon which they discontinuously jump from the sub-Rayleigh regime to the super-shear one. The super-Rayleigh regime, i.e., the range of propagation speeds between the Rayleigh and shear wave-speeds, is regarded as "forbidden" by the two-dimensional classical rupture theory. Here, we revisit the assumptions underlying the classical theory and develop a rupture theory that takes into account the dependence of the fault strength (frictional resistance) on the slip rate. The theory quantitatively agrees with numerical simulations nearly up to the Rayleigh wave-speed. Yet, very close to the latter, two-dimensional rupture solutions change their character due to frictional rate nonlinearity and rupture continuously propagates through the "forbidden" super-Rayleigh range into the super-shear regime, without a sharp super-shear transition. These results demonstrate that frictional rate dependence, generically observed in experiments, can have profound implications for fast earthquake propagation.

2606.11848 2026-06-11 astro-ph.IM astro-ph.SR 新提交

Some polarized lines of the second solar spectrum (SrI, CaI, BaII, C2, MgH, NdII) observed at the Meudon Solar Tower spectropolarimeter

在默东太阳塔光谱偏振仪观测到的第二太阳光谱的一些偏振线(SrI, CaI, BaII, C2, MgH, NdII)

Jean-Marie Malherbe

AI总结 本文处理了2008年默东太阳塔光谱偏振仪未发表的观测数据,旨在通过Hanle效应测量宁静太阳中微弱且湍流的未解析磁场。

详情
AI中文摘要

第二太阳光谱是太阳临边附近斯托克斯参数Q(线偏振)的光谱。它由少数偏振线组成,其Q/I约为1%(如CaI、SrI或BaII),但大多数线表现出较弱的偏振。本文介绍了对2008年用默东太阳塔光谱偏振仪进行的未发表观测的处理,这些观测对于通过Hanle效应测量宁静太阳中微弱且湍流的未解析磁场具有重要意义。

英文摘要

The second solar spectrum is the spectrum of the Stokes parameter Q (linear polarization) close to the solar limb. It is made of a few polarized lines with Q/I of about 1% (such as CaI, SrI, or BaII), but most lines exhibit weaker polarization. This paper presents processing of unpublished observations made in 2008 with the Meudon solar tower spectropolarimeter, which are of interest for weak and turbulent unresolved magnetic field measurements in the quiet Sun, through the Hanle effect.

2606.11847 2026-06-11 math.AG 新提交

Degree of tensor train varieties via integral geometry

通过积分几何的张量列簇的度数

Andrea Rosana, Otto T. P. Schmidt

AI总结 本文利用积分几何方法,推导了张量列簇的度数的组合表达式,并提供了Julia软件包。

Comments 24 pages, 3 figures. Comments are welcome

详情
AI中文摘要

本文考虑张量列簇。这些张量簇出现在包括量子多体物理和机器学习在内的多个领域。利用积分几何方法,我们得到了它们度数的组合表达式。我们提供了可直接使用的Julia软件包 this http URL。

英文摘要

In this work we consider tensor train varieties. These are varieties of tensors arising in a range of fields, including quantum many-body physics and machine learning. Using methods from integral geometry, we obtain a combinatorial expression for their degrees. We provide the ready-to-use julia package TTVarietyDegree$.$jl$.$

2606.11845 2026-06-11 math.PR 新提交

Stochastic epidemic model with varying infectivity and waning immunity: the law of large numbers with unbounded infectivity

具有可变传染性和免疫力衰减的随机流行病模型:无界传染性的大数定律

Raphaël Forien, Étienne Pardoux

AI总结 研究具有感染年龄依赖传染性和渐进免疫力衰减的流行病模型,在传染性上确界期望有限但无确定性上界时,证明大数定律。

详情
AI中文摘要

我们重新审视了具有感染年龄依赖传染性和渐进免疫力衰减的流行病模型的大种群极限,假设随机传染性函数在$t$上的上确界具有有限期望,而之前的证明假设该上确界存在确定性上界。

英文摘要

We revisit the large population limit of our epidemic model with infection age dependent infectivity and progressive immunity waning, under the assumption that the supremum in $t$ of the random infectivity function has a finite expectation, while the previous proofs assumed that this supremum admits a deterministic upper bound.

2606.11843 2026-06-11 quant-ph 新提交

Quantum iterative approach to the Traveling Salesman Problem

旅行商问题的量子迭代方法

Arturo Rodríguez-Almazán, Guillermo Rivas, Ricardo S. Alonso, Daniela Falcó, Mir Amir Hosseini

AI总结 提出一种结合量子相位估计和Grover搜索的量子迭代框架,通过编码路径成本为量子相位,利用振幅放大迭代优化,在小规模实例上验证可行性,并给出期望复杂度分析。

详情
AI中文摘要

旅行商问题(TSP)是组合优化中经典的NP难问题,随着问题规模增大,确定一组城市间最短路径在计算上变得不可行。本文探索量子计算作为解决这一复杂性的替代方法。与现有主要依赖量子退火的方法不同,我们提出了一种集成量子相位估计(QPE)和Grover搜索算法的量子迭代框架。路径成本被编码为量子相位,使QPE能够高效评估它们,而通过Grover-Long算法实现的振幅放大则迭代地将解空间精炼至最优路径。在小规模TSP实例上的概念验证案例研究证明了该方法的可行性及其扩展到更大优化问题的潜力。此外,在基于期望的分析下,该算法表现出期望计算复杂度为$O(\frac{m^2\log_2(m)\log_2(1/\epsilon)}{\sqrt{\epsilon}})$,其中依赖于误差容忍参数$\epsilon$。该估计省略了初始化项,我们期望未来的改进使其相对于相位估计成为次主导项。

英文摘要

The Traveling Salesman Problem (TSP) is a classical NP-hard problem in combinatorial optimization, where determining the shortest route among a set of cities becomes computationally prohibitive as the problem size increases. This work explores quantum computing as an alternative approach to address this complexity. Unlike existing methods that primarily rely on quantum annealing, we propose a quantum iterative framework integrating Quantum Phase Estimation (QPE) and Grover's search algorithm. Route costs are encoded as quantum phases, enabling QPE to efficiently evaluate them, while Amplitude Amplification, implemented via the Grover-Long algorithm, iteratively refines the solution space toward the optimal route. A proof-of-concept case study on a small-scale TSP instance demonstrates the feasibility of this approach and its potential for scaling to larger optimization problems. Furthermore, under an expectation-based analysis, the algorithm exhibits an expected computational complexity of $O(\frac{m^2\log_2(m)\log_2(1/ε)}{\sqrtε})$ which depends on the error tolerance parameter $ε$. This estimation omits the initialization term, which we expect future refinements to render subdominant to Phase Estimation.

2606.11842 2026-06-11 math.AG 新提交

Brauer groups of smooth loci in linear systems and torsors over Jacobians of plane curves

线性系统中光滑轨迹的 Brauer 群与平面曲线雅可比上的 torsors

Moritz Hartlieb, Weite Pi

AI总结 研究单连通光滑射影簇线性系统中光滑轨迹的 Brauer 群,在适当丰沛条件下证明其至多为 Z/2Z,并应用于计算通用光滑平面曲线相对雅可比上的 Tate-Shafarevich 群。

Comments 28 pages, comments are welcome!

详情
AI中文摘要

我们研究单连通光滑射影簇线性系统中光滑轨迹的 Brauer 群。在适当的丰沛条件下,我们证明 Brauer 群至多为 $\mathbb Z/2 \mathbb Z$。这适用于当底层簇为射影平面、非常一般的 K3 曲面或一般的三次四重时。作为应用,我们计算了参数化通用光滑平面曲线相对雅可比上的 torsors 的 Tate--Shafarevich 群。我们的方法是通过研究线性系统中的 $2$-节点轨迹。

英文摘要

We study Brauer groups of the smooth loci in linear systems on simply connected smooth projective varieties. Under a suitable ampleness condition, we prove that the Brauer group is at most $\mathbb Z/2 \mathbb Z$. This applies when the underlying variety is the projective plane, a very general K3 surface, or a general cubic fourfold. As an application, we compute the Tate--Shafarevich group parametrizing torsors over the relative Jacobians of universal smooth plane curves. Our approach is via a study of the $2$-nodal locus in the linear system.

2606.11839 2026-06-11 cs.CR 新提交

Systematic Cybersecurity Risk Analysis of European Rail Traffic Management System

欧洲铁路交通管理系统的系统性网络安全风险分析

Kacper Darowski, Sebastian N. Peters, Lukas Lautenschlager

AI总结 本研究系统建模ERTMS组件,分析其面临的安全威胁,发现遗留标准引入的漏洞在多种部署场景中持续存在,并指出全面转向ETCS 2级是提升网络安全的关键措施。

Comments Extended version of the paper accepted at ARES 2026 CPRA. First three authors contributed equally to this work

详情
AI中文摘要

欧洲铁路交通管理系统(ERTMS)是欧盟广泛采用的统一列车管理标准。尽管该标准支持完全自动驾驶等用例,但网络安全一直是事后考虑。风险分析能够系统评估威胁和缓解措施并确定优先级。迄今为止,尚不清楚ERTMS中哪些威胁最为重要。本研究系统建模ERTMS组件,并根据底层技术中识别的威胁分析其安全性。结果表明,尽管ERTMS在铁路安全中发挥关键作用,但其安全状况令人担忧。使用EuroBalises和GSM-Railway(GSM-R)等遗留标准引入了漏洞,这些漏洞在最小ERTMS实现、采用各种可选安全措施的部署以及系统未来演进(例如采用未来铁路移动通信系统(FRMCS))中持续存在。全面过渡到欧洲列车控制系统(ETCS)2级被认为是推进ERTMS网络安全的最重要措施。结果表明,ERTMS需要向安全方向转变,以确保可用性和安全运行。虽然所选方法证明了其可行性并显示了ERTMS的剩余弱点,但未来需要开展以铁路为中心的适应性研究,以改进计算风险的量化和评估。

英文摘要

European Rail Traffic Management System (ERTMS) is a widely adopted standard unifying train management in the EU. While the standard allows for use cases like fully autonomous driving, cybersecurity has been an afterthought. Risk analysis enables the systematic assessment and prioritization of threats and mitigations. To date, it remains unclear which threats are most significant in ERTMS. This study systematically models components of ERTMS and analyzes their security in light of threats identified in the underlying technologies. The results suggest a concerning state of ERTMS, despite its critical role in railway safety. The use of legacy standards like EuroBalises and GSM-Railway (GSM-R) introduces vulnerabilities that persist across minimal ERTMS implementations, deployments incorporating various optional safety measures, and prospective future evolutions of the system, e.g., adopting Future Railway Mobile Communication System (FRMCS). Fully transitioning to European Train Control System (ETCS) level 2 was identified as the most significant measure for advancing ERTMS cybersecurity. The results indicate that a shift of ERTMS toward security is required to ensure availability and safe operation. While the chosen methodology proved its feasibility and shows remaining weaknesses of ERTMS, future work is needed to develop railway-centric adaptations to improve the quantification and evaluation of the computed risks.

2606.11834 2026-06-11 cs.SE 新提交

How Requirements Quality Makes (or Breaks) Traceability Link Recovery

需求质量如何决定(或破坏)追踪链接恢复

Tobias Hey, Julian Frattini

AI总结 研究需求质量缺陷对自动化追踪链接恢复(TLR)性能的影响,通过标注189个用例描述中的28种缺陷并测试五种TLR方法,发现某些缺陷有害或有益,且不同方法响应各异。

Comments to be published in "2026 IEEE 34th International Requirements Engineering Conference (RE)"

详情
AI中文摘要

需求和源代码之间的追踪信息极大地有利于软件系统的维护。由于手动建立追踪链接繁琐且易出错,先前的研究探索了自动化追踪链接恢复(TLR)方法来支持此任务。然而,需求中的质量缺陷会影响后续活动(如TLR),但关于此影响的证据仍然稀缺。我们的目标是提供关于此影响的实证证据。同时,我们旨在理解在这些质量缺陷下TLR方法的性能如何变化。为此,我们在两个数据集的189个用例描述中标注了28种质量缺陷。然后,我们在数据集上执行了五种不同的TLR方法,并测量了它们恢复追踪链接的性能。最后,我们进行了统计测试以量化这些缺陷对性能的影响强度。我们的结果表明,某些质量缺陷会损害TLR性能,例如不以名词短语开头的句子,而其他缺陷实际上有益于性能,例如包含实现细节的用例。此外,不同类型的方法对这些缺陷的响应不同。因此,选择TLR方法的性能优化取决于数据集的质量。

英文摘要

Traceability information between requirements and source code greatly benefits the maintenance of a software system. Since manually establishing trace links is cumbersome and error-prone, previous research explored automated traceability link recovery (TLR) approaches to support this task. However, quality defects in requirements impact subsequent activities such as TLR, yet evidence about this remains scarce. Our objective is to contribute empirical evidence on this impact. At the same time, we aim to understand how the performance of TLR approaches varies given these quality defects. To this end, we annotated 28 types of quality defect in 189 use case descriptions from two datasets. Then, we executed five distinct TLR approaches on the dataset and measured their performance in recovering trace links. Finally, we performed statistical tests to quantify the defects' effect strength on this performance. Our results show that some quality defects harm TLR performance, e.g., sentences that do not start with noun phrases, while others actually benefit performance, e.g., use cases that include implementation details. Moreover, different types of approaches respond differently to these defects. As a consequence, the performance-optimizing choice of a TLR approach depends on the quality of the dataset.

2606.11832 2026-06-11 cond-mat.soft 新提交

On the flash temperature in accelerated sliding contacts

加速滑动接触中的闪温研究

B. N. J. Persson

AI总结 将闪温的多尺度理论扩展到加速运动情况,通过数值结果展示理论,揭示接触区温升对摩擦磨损的影响。

详情
AI中文摘要

滑动接触中固体接触区域的温升很容易达到几百开尔文,从而显著影响摩擦和磨损。本文将早期的闪温多尺度理论(参考文献\cite{MP})扩展到加速运动的情况,并给出数值结果以说明该理论。

英文摘要

The temperature increase in the contact regions between solids in sliding contact can easily reach several hundred Kelvin and thereby dramatically affect friction and wear. Here I extend an earlier multiscale theory for the flash temperature (Ref. \cite{MP}) to the case of accelerated motion, and present numerical results illustrating the theory.

2606.11829 2026-06-11 eess.SP 新提交

Parametric Channel Estimation with Hardware Impaired Hybrid Beamformers: Sensing, Communications, and Power Efficiency Tradeoffs

硬件受损混合波束赋形器的参数化信道估计:感知、通信与功率效率权衡

Enrique T. R. Pinto, Silvio Mandelli, Marcus Henninger, Markku Juntti

AI总结 本文研究混合波束赋形架构下硬件损伤对感知与通信性能的影响,提出双各向同性概念和多重起始SAGE算法,发现中等分辨率ADC在功耗与性能间取得最佳平衡。

详情
AI中文摘要

由于全数字阵列的高功耗和高硬件成本,混合波束赋形器通常被视为更经济的选择。此外,使用高分辨率模数转换器(ADC)也可能导致过高的功耗,因此考虑在射频(RF)前端设计中使用较低分辨率的转换器。有限的量化分辨率以及由功率放大器(PA)和低噪声放大器(LNA)引起的非线性会对系统性能产生重大影响。虽然硬件损伤对通信的影响已被广泛研究,但其对感知性能的影响却鲜有探索。在这项工作中,我们研究了混合波束赋形架构、硬件损伤以及感知和通信性能之间的相互作用。此外,我们定义了导频-合并器对的双各向同性概念,形式化了完美能量公平波束扫描的概念。还引入了多重起始(MS)空间交替广义期望最大化算法(SAGE),旨在解决混合波束赋形系统中参数化信道估计(PCE)带来的优化问题。然后,我们提供了一组数值结果,评估了波束赋形器架构和ADC分辨率对PCE、感知和通信性能的影响。结果表明,中等分辨率ADC导致最节能的配置,在大多数波束赋形架构中实现了功耗与性能之间的最佳权衡。此外,具有高分辨率转换器的全数字波束赋形架构通常可以用具有中等分辨率转换器的混合波束赋形器设置替代,而不会显著降低性能,同时功耗和整体硬件成本更低。

英文摘要

Due to high power consumption and hardware costs of fully digital arrays, hybrid beamformers are often considered as a more economic alternative. Furthermore, using high resolution analog to digital converters (ADCs) can also have prohibitive power consumption, which leads to lower resolution converters being considered for radio frequency (RF) front end design. The finite quantization resolution as well as the nonlinearities caused by the power amplifiers (PAs) and low noise amplifiers (LNAs) can have a substantial impact on system performance. While widely studied for communications, the impact of hardware impairments on sensing performance is considerably less explored. In this work, we study the interplay between hybrid beamforming architectures, hardware impairments, and sensing and communications performance. Additionally, we define the concept of double-isotropy for pilot-combiner pairs, formalizing the notion of a perfectly energy-fair beam sweep. The multiple start (MS) space alternating generalized expectation maximization algorithm (SAGE) is also introduced, aimed at addressing the optimization issues arising from parametric channel estimation (PCE) in hybrid beamformed systems. We then provide a set of numerical results assessing the impacts of beamformer architecture and ADC resolution on PCE, sensing, and communications performance. The results show that medium resolution ADCs lead to the most power efficient configurations, with the best tradeoff between power consumption and performance for the majority of beamforming architectures. Additionally, fully digital beamforming architectures with high resolution converters can often be substituted for a hybrid beamformer setup with medium resolution converters without significant performance loss at a lower power consumption and overall hardware cost.

2606.11827 2026-06-11 cs.CR 新提交

Jaguar: Fast Private CNN Inference with Power-of-Two Homomorphic Arithmetic

Jaguar: 基于2的幂同态算术的快速私有CNN推理

Yewon Jeong, Nayoung Jung, Hyeri Roh, Woo-Seok Choi

AI总结 提出Jaguar系统,采用2的幂密文环设计,通过SPA-Conv卷积核和精确密文侧截断,消除NTT瓶颈和后ReLU截断协议,在ImageNet模型上实现2-3.7倍延迟降低。

Comments 29 pages, 8 figures, including appendix

详情
AI中文摘要

混合HE/2PC私有CNN推理仍然受到卷积中素数模同态算术以及精度流的瓶颈,该精度流在调用单独的截断协议之前以双倍位宽运行ReLU。我们提出Jaguar,一个基于单一设计选择——2的幂密文环——的系统,解决了这两个问题。该选择实现了SPA-Conv,一种系数域卷积核,用标量-多项式累加取代以NTT为中心的多项式乘法,以及通过本地右移实现的精确密文侧截断,使得ReLU直接以目标定点精度运行,并消除了后ReLU截断协议。在NTT仍然真正有用的情况下——在客户端,用于解密过程中的单个多项式乘法——我们通过一个辅助NTT素数恢复它,在保持解密为O(N log N)的同时保留了2的幂协议基础。在禁用AVX的ImageNet规模ResNet-18、ResNet-50和MobileNetV2上,Jaguar的端到端延迟比Cheetah低2.07-3.72倍,比Rhombus低2.16-3.36倍,通信量比Cheetah低1.16-1.76倍。

英文摘要

Hybrid HE/2PC private CNN inference remains bottlenecked by prime-modulus homomorphic arithmetic in convolution and by a precision flow that runs ReLU at doubled bitwidth before invoking a separate truncation protocol. We present Jaguar, a system built on a single design choice--a power-of-two ciphertext ring--that addresses both. The choice enables SPA-Conv, a coefficient-domain convolution kernel that replaces NTT-centric polynomial multiplication with scalar-polynomial accumulation, and an exact ciphertext-side truncation by local right shifts that lets ReLU run directly at the target fixed-point precision and eliminates the post-ReLU truncation protocol. Where NTT remains genuinely useful--at the client, for the single polynomial multiplication during decryption--we recover it through an auxiliary NTT prime, preserving the power-of-two protocol substrate while keeping decryption O(N log N). On ImageNet-scale ResNet-18, ResNet-50, and MobileNetV2 with AVX disabled, Jaguar achieves 2.07-3.72x lower end-to-end latency than Cheetah and 2.16-3.36x lower than Rhombus, with 1.16-1.76x lower communication than Cheetah.

2606.11825 2026-06-11 math.DG math-ph math.MG math.MP 新提交

A singularity theorem in terms of asymptotic expansion

基于渐近展开的奇点定理

Fabio Cavalletti, Andrea Mondino

AI总结 用渐近体积增长条件替代经典聚焦假设,在强能量条件下证明过去类时测地线不完备性,并推广到合成强能量条件的全局双曲洛伦兹长度空间。

详情
AI中文摘要

我们证明了一个奇点定理,其中霍金-彭罗斯理论的经典聚焦假设被渐近体积增长的条件所取代。在强能量条件下,我们引入了与紧致柯西超曲面相关的渐近体积膨胀不变量,并证明这些不变量的均匀正下界意味着过去类时测地线不完备性。更精确地说,我们得到了从超曲面到其时间过去的时间分离的显式上界。该定理推广到满足合成强能量条件 $\mathsf{TCD}^e_p(0,N)$ 的全局双曲洛伦兹长度空间,得到了一个无需任何光滑性或可微性假设的不可延拓结果。我们还证明了等距超曲面的面积比较定理和基于相关渐近膨胀不变量的体积奇点定理。

英文摘要

We prove a singularity theorem in which the classical focusing hypothesis of Hawking--Penrose theory is replaced by a condition on asymptotic volume growth. Under the strong energy condition, we introduce asymptotic volume-expansion invariants associated with a compact Cauchy hypersurface and show that a uniform positive lower bound on these invariants implies past timelike geodesic incompleteness. More precisely, we obtain an explicit upper bound on the time-separation from the hypersurface to its chronological past. The theorem extends to globally hyperbolic Lorentzian length spaces satisfying the synthetic strong energy condition $\mathsf{TCD}^e_p(0,N)$, yielding an inextendibility result valid without any smoothness or differentiability assumption. We also prove an area comparison theorem for equidistant hypersurfaces and a volume singularity theorem based on related asymptotic expansion invariants.

2606.11824 2026-06-11 cs.DC 新提交

Optimizing Cloud Deployment: Blending of IaaS and FaaS for Microservice Architecture

优化云部署:微服务架构中IaaS与FaaS的混合

Nikhil Kapoor, Sougata Mukherjea

AI总结 提出一种指标驱动方法,通过自动化框架分析性能指标,将微服务从纯IaaS迁移至IaaS+FaaS混合模型,以优化资源利用和可扩展性。

详情
Journal ref
Paper published in IEEE CloudCom 2025 conference (http://www.cloudcom2025.org: https://ieeexplore.ieee.org/abstract/document/11331551)
AI中文摘要

云计算的快速发展导致了混合部署的采用,这种部署融合了基础设施即服务(IaaS)和函数即服务(FaaS)服务模型,以优化资源利用率、可扩展性和运营效率。本文提出了一项全面的研究和实际实现,采用指标驱动的方法,以两个微服务应用为案例,将微服务从传统的IaaS服务模型迁移到混合的IaaS+FaaS模型。研究开发了一个自动化框架,用于分析服务级性能指标,以识别最适合无服务器执行的微服务。我们的研究结果突出了不同云服务模型的优势和局限性,并为云原生应用的优化部署提供了一种可扩展且可复制的自动化方法。

英文摘要

The rapid evolution of cloud computing has resulted in the adoption of hybrid deployments that blend Infrastructure-as-a-Service (IaaS) and Function-as-a-Service (FaaS) service models to optimize resource utilization, scalability, and operational efficiency. This paper presents a comprehensive study and practical implementation of a metrics-driven approach for migrating microservices from a traditional IaaS service model to a hybrid IaaS + FaaS model, using two microservice applications as case studies. The research develops an automated framework to analyze service-level performance metrics to identify microservices that are best suited for serverless execution. The findings of our research highlight the benefits and limitations of different cloud service models and provide a scalable and replicable automated methodology for optimized deployment of cloud-native applications.

2606.11823 2026-06-11 cond-mat.soft cond-mat.mtrl-sci physics.class-ph 新提交

Nonlinear Mechanics and Predictable Bifurcation of Multi-Cell Kresling Origami Chains

多胞Kresling折纸链的非线性力学与可预测分岔

Songlin Yue, Leo de Waal, David Garcia Cava, Marcelo A. Dias

AI总结 通过连续和分岔分析,研究了Kresling折纸链从单层到多层系统的平衡分支和失稳机制,提出了预测n层链平衡路径和逆向设计策略。

详情
AI中文摘要

具有轴向扭转耦合的元结构可以通过Kresling折纸图案中的新兴运动学实现。这些结构的一个核心挑战是理解其非线性力学行为,特别是平衡分支和分岔图。这涉及识别期望响应与定义设计空间的几何变量之间的关系,包括Kresling多边形数量、初始扭转角、高度、半径和折痕长度。随着n层链中组成单元数量的增加,我们追踪在连续失稳下延伸到后临界区域的复杂平衡分支,包括分支点分岔和极限点失稳。本文首先通过将折痕线建模为轴向承载元件,建立几何设计变量与组装链响应曲线之间的关系。随后,通过连续和分岔分析系统研究平衡分支和失稳,从单层系统开始,逐步扩展到两层和三层配置。最后,提出一种泛化策略,将这些发现推广到n层Kresling链。该策略能够使用指定的临界点预测性地构建平衡路径,并实现多层元结构的逆向设计,以控制后临界行为。它为具有可编程响应的架构机械超材料的逆向设计和优化提供了基础。

英文摘要

Meta-structures that display axial-twist coupling can be achieved through the emerging kinematics in Kresling origami patterns. A central challenge in these structures is understanding their nonlinear mechanical behaviour, specifically their equilibrium branches and bifurcation diagrams. This involves identifying relationships between desired responses and the geometric variables that define the design space, including the Kresling polygon count, initial twist angle, height, radius, and crease lengths. As the number of constituent units increases in an n-layer chain, we track complex equilibrium branches extending into the post-critical regime under successive instabilities, including branch-point bifurcations and limit-point instabilities. This work begins by establishing the relationship between the geometric design variables and the response curves of the assembled chain by modelling the crease lines as axial-load-carrying elements. Subsequently, equilibrium branches and instabilities are systematically investigated via continuation and bifurcation analysis, beginning with the single-layer system and progressively extending to two- and three-layer configurations. Finally, a generalisation strategy is proposed to extend these findings to an n-layer Kresling chain. This strategy enables the predictive construction of equilibrium paths and the inverse design of multi-layer meta-structures, using prescribed critical points to control post-critical behaviour. It provides a foundation for the inverse design and optimisation of architected mechanical metamaterials with programmable responses.

2606.11822 2026-06-11 quant-ph 新提交

Large Fluctuations in Open Quantum Systems

开放量子系统中的大涨落

V. Yu. Mylnikov, S. O. Potashin, A. Kamenev

AI总结 研究驱动开放量子系统稳态中非典型测量结果的统计,发现大偏差函数在驱动耗散系统中出现非解析性,并通过参量驱动Kerr振荡器示例,揭示多个瞬子轨迹竞争导致大偏差函数的不连续导数。

Comments 17 pages, 7 figures

详情
AI中文摘要

我们研究驱动开放量子系统稳态中非典型测量结果的统计。在平衡态中,相空间上的概率分布(例如由Wigner函数编码)在相空间坐标上是解析的。我们证明,在驱动耗散系统中这一性质通常丧失:它们的大偏差函数会出现导数不连续的线和面。作为一个说明性例子,我们考虑一个参量驱动的Kerr振荡器,它与耗散热浴线性及/或非线性耦合。诱导振荡的振幅和相位中的罕见涨落由相应的Keldysh-Lindblad作用的半经典瞬子轨迹控制。我们证明,给定的涨落可以通过多个不同的瞬子轨迹实现。这些轨迹之间的竞争导致主导瞬子的突然切换,从而在大偏差函数中产生非解析特征。

英文摘要

We study statistics of atypical measurement outcomes in the steady states of driven open quantum systems. In equilibrium, the probability distribution over the phase space, as encoded in, e.g., the Wigner function, is analytic in the phase-space coordinates. We show that this property is generically lost in driven dissipative systems: their {\it large-deviation function} develops lines and surfaces across which its derivatives are discontinuous. As an illustrative example, we consider a parametrically driven Kerr oscillator coupled linearly and/or nonlinearly to a dissipative bath. Rare fluctuations in the amplitude and phase of the induced oscillations are governed by semiclassical instanton trajectories of the corresponding Keldysh-Lindblad action. We demonstrate that a given fluctuation can be realized through multiple distinct instanton trajectories. The competition between these trajectories leads to abrupt switching of the dominant instanton and, consequently, to non-analytic features in the large-deviation function.

2606.11821 2026-06-11 physics.plasm-ph 新提交

VEQ: a fast parametric Grad--Shafranov solver for fixed-boundary tokamak equilibria with flexible source profiles

VEQ:一种用于固定边界托卡马克平衡的快速参数化Grad-Shafranov求解器,具有灵活的源剖面

Ruohan Zhang, Huasheng Xie, Yueyan Li, Weiqi Meng, Feng Wang, Zhengxiong Wang

AI总结 提出VEQ快速参数化框架,通过变分投影残差求解固定边界Grad-Shafranov方程,支持多种输入路线,在三个测试案例中实现毫秒级求解和低形状误差。

详情
AI中文摘要

Veloce EQuilibrium (VEQ) 是一个紧凑的参数化框架,用于托卡马克建模工作流程,能够以低延迟重复查询连续的固定边界平衡。本文评估的 VEQPy 实现是一个轴对称固定边界 Grad-Shafranov 求解器,其主求解过程强制执行变分诱导的投影残差。其活动未知量包括 MXH 型磁通面谐波和用于径向剖面及源闭合的移位 Chebyshev 系数。六种输入路线通过特定闭合接受压力梯度、环向场函数、极向磁通梯度、环向电流、电流密度和安全因子信息,而所有路线映射到相同的有限维残差算子。控制测试显示,对于从共同参考平衡生成的平滑、相互兼容的输入,路线具有一致性。对于三个 G-EQDSK 案例中的帕累托选择简化配置,最精确的选择行对应一个 D 形案例(9个活动参数,小半径归一化形状误差 1.4e-3,仅求解中位数 1.6 ms)、一个 H 模案例(65个参数,1.1e-3,19 ms)和一个 X 点案例(94个参数,1.9e-3,15 ms),后者被视为偏滤器边界的平滑固定边界表示。采样的逐点强形式 Grad-Shafranov 诊断表明,丰富活动表示主要改善内部力平衡,而 H 模和 X 点案例的全局 RMS 和最大值仍由近边界贡献主导。在与从 G-EQDSK 读取的目标几何进行的孤立一维输运-几何耦合测试中,温度剖面响应保持在约百分之一以下。这些结果支持将 VEQ 用于重复的平衡几何查询,前提是保留逐点诊断以筛选需要边界细化、局部校正或更高保真度平衡求解的案例。

英文摘要

Veloce EQuilibrium (VEQ) is a compact parametric framework for tokamak modeling workflows that repeatedly query continuous fixed-boundary equilibria at low latency. The VEQPy implementation evaluated here is an axisymmetric fixed-boundary Grad-Shafranov solver whose main solve enforces a variationally induced projected residual. Its active unknowns are MXH-type flux-surface harmonics and shifted-Chebyshev coefficients for radial profile and source closures. Six input routes accept pressure-gradient, toroidal-field-function, poloidal-flux-gradient, enclosed toroidal current, current-density and safety-factor information through route-specific closures, while all routes map to the same finite-dimensional residual operator. Controlled tests show route consistency for smooth, mutually compatible inputs generated from a common reference equilibrium. For Pareto-selected reduced configurations in three G-EQDSK cases, the most accurate selected rows correspond to a D-shaped case (9 active parameters, minor-radius-normalized shape error 1.4e-3, solve-only median 1.6 ms), an H-mode case (65, 1.1e-3, 19 ms), and an X-point case treated as a smoothed fixed-boundary representation of a diverted boundary (94, 1.9e-3, 15 ms). Sampled pointwise strong-form Grad-Shafranov diagnostics show that enriching the active representation mainly improves interior force balance, whereas the global RMS and maximum values for the H-mode and X-point cases remain dominated by near-boundary contributions. In an isolated one-dimensional transport-geometry coupling test against the target geometry read from G-EQDSK, the temperature-profile response remains below about one percent. These results support using VEQ for repeated equilibrium-geometry queries, provided that pointwise diagnostics are retained to screen cases requiring boundary refinement, local correction or higher-fidelity equilibrium solves.

2606.11820 2026-06-11 math.OC cs.DS 新提交

On finding exact solutions of linear programs in the oracle model

在oracle模型中寻找线性规划精确解

Daniel Dadush, László A. Végh, Giacomo Zambelli

AI总结 提出一种在oracle模型中求解线性规划的算法,通过几何条件数实现精确解,无需位复杂度参数。

详情
AI中文摘要

我们考虑oracle模型中的线性规划:$\max\{c^\top x \,:\, x\in P\}$,其中多面体$P=\{x\in\mathbb{R}^n\,:\, Ax\le b\}$由分离oracle给出。我们提出一种算法,使用$O(n^2\log(n/\delta))$次oracle调用和$O(n^4\log(n/\delta)+n^5\log\log(1/\delta))$次算术运算找到精确原始和对偶解,其中$\delta$是与系统$(A,b)$相关的几何条件数。这些界不依赖于成本向量$c$,也不需要先验知道$\delta$。对于有理数数据,$\log(1/\delta)$在$(A,b)$的编码大小中多项式有界,从而提供了多项式时间算法。该算法以黑箱方式工作,需要近似原始和对偶解的子程序;当使用Jiang、Lee、Song和Wong(STOC 2020)的切割平面方法作为子程序时,达到上述运行时间。尽管近似求解器可能只返回原始解,我们基于Burrell和Todd(Math. Oper. Res. 1985)的工作开发了一个提取对偶证书的通用框架。我们的算法加强了Grötschel、Lovász和Schrijver(Prog. Comb. Opt. 1984)以及Frank和Tardos(Combinatorica 1987)依赖于位复杂度参数的结果。我们的算法避免了基于舍入的论证(如同时丢番图逼近),而使用几何论证。

英文摘要

We consider linear programming in the oracle model: $\max\{c^\top x \,:\, x\in P\}$, where the polyhedron $P=\{x\in\mathbb{R}^n\,:\, Ax\le b\}$ is given by a separation oracle. We present an algorithm that finds exact primal and dual solutions using $O(n^2\log(n/δ))$ oracle calls and $O(n^4\log(n/δ)+n^5\log\log(1/δ))$ arithmetic operations, where $δ$ is a geometric condition number associated with the system $(A,b)$. These bounds do not depend on the cost vector $c$ and do not require a priori knowledge of $δ$. For rational data, $\log(1/δ)$ is polynomially bounded in the encoding size of $(A,b)$, thus providing a polynomial-time algorithm. The algorithm works in a black box manner, requiring a subroutine for approximate primal and dual solutions; the above running times are achieved when using the cutting plane method of Jiang, Lee, Song, and Wong (STOC 2020) for this subroutine. Whereas approximate solvers may return primal solutions only, we develop a general framework for extracting dual certificates based on the work of Burrell and Todd (Math. Oper. Res. 1985). Our algorithm strengthens results by Grötschel, Lovász, and Schrijver (Prog. Comb. Opt. 1984), and by Frank and Tardos (Combinatorica 1987) that rely on bit-complexity arguments. Our algorithm avoids rounding-based arguments such as simultaneous Diophantine approximation and uses geometric arguments instead.

2606.11819 2026-06-11 cs.IT math.IT 新提交

STCC: A Unified Source-Channel Semantic Token Coding Framework for Semantic Communications

STCC:一种用于语义通信的统一源信道语义令牌编码框架

Zhicheng Bao, Chen Dong, Sen Wang, Long Liu, Nan Ma, Hao Chen, Xiaodong Xu, Yinqiu Liu, Ping Zhang

AI总结 提出STCC框架,通过语义令牌编解码器(STC)将离散语义令牌映射为几何结构化的星座图,利用三重损失优化使信道噪声转化为拓扑错误,在低信噪比下显著优于传统系统。

详情
AI中文摘要

深度联合源信道编码(JSCC)已成为克服无线通信中“悬崖效应”的有前景范式。然而,现有的深度JSCC框架直接操作原始模拟数据(如图像像素),而非基础模型所需的离散语义令牌。此外,传统系统采用固定的、手工设计的星座图,平等对待所有令牌,导致信道噪声下出现灾难性随机错误。本文提出语义令牌码本通信(STCC)作为一种统一的源信道语义令牌编码框架,旨在通过噪声信道传输基础模型的离散语义令牌。STCC的核心是语义令牌编解码器(STC)。它接受离散令牌作为输入,保持与基础模型的兼容性,同时采用残差多层感知器(即基于MLP的编码器)学习几何结构化的星座图,并通过三重损失目标进行优化。这种学习映射迫使信道拓扑与语义嵌入空间对齐,确保信道噪声导致拓扑错误而非随机破坏。从理论和实验上表征了这一现象,识别出符号模态中的“语义漂移”和感知模态中的“结构失真”,其中错误将预测转移到语义或结构相似的令牌。大量实验表明,STCC在低信噪比区域显著优于传统系统,有效将信道噪声转化为语义变化,而无需修改接收端。

英文摘要

Deep Joint Source-Channel Coding (JSCC) has emerged as a promising paradigm for overcoming the ``cliff effect" in wireless communications. However, existing Deep JSCC frameworks operate directly on raw analog data such as image pixels rather than the discrete semantic tokens that foundation models require. Moreover, traditional systems employ fixed, hand-designed constellations that treat all tokens equally, leading to catastrophic random errors under channel noise. In this paper, the Semantic Token Codebook Communication (STCC) is proposed as a unified source-channel semantic token coding framework designed to transmit the discrete semantic tokens of foundation models over noisy channels. The core of STCC is the Semantic Token Codec (STC). It accepts discrete tokens as input, which maintains compatibility with foundation models while employing a residual multiple layer perceptron, i.e., MLP-based encoder that learns geometrically structured constellations optimized with a triple-loss objective. This learned mapping forces the channel topology to align with the semantic embedding space, ensuring that channel noise results in topological errors rather than random corruption. This phenomenon is theoretically and empirically characterized, identifying ``Semantic Drift" in symbolic modalities and ``Structural Distortion" in perceptual modalities, where errors shift predictions to semantically or structurally similar tokens. Extensive experiments demonstrate that STCC significantly outperforms traditional systems in low-SNR regimes, effectively converting channel noise into semantic variations without requiring receiver-side modification.

2606.11815 2026-06-11 cs.SE 新提交

Understanding and Detecting Scalability Faults in Large-Scale Distributed Systems

理解与检测大规模分布式系统中的可扩展性故障

Hao-Nan Zhu, Goodness Ayinmode, Cesar A. Stuardo, Haryadi S. Gunawi, Cindy Rubio-González

AI总结 本文首次系统研究大规模分布式系统中的可扩展性故障,发现多数故障由维度代码片段与反模式协同导致,并提出ScaleLens方法,结合动态与静态分析检测此类故障,效果优于基线。

详情
AI中文摘要

可扩展的分布式系统构成了现代计算基础设施的支柱。然而,随着规模的增长,系统复杂性可能导致可扩展性故障。可扩展性故障难以发现和诊断,因为它们通常是潜在的,只有在大规模部署时才会显现。在本文中,我们首次对可扩展性故障进行了全面研究,并提出了一种检测方法。首先,我们系统地调查了来自10个大规模分布式系统的444个可扩展性问题报告,以了解可扩展性故障的常见反模式和根本原因。我们发现,大多数故障是由维度代码片段与相关反模式之间的协同作用引起的。其次,基于我们的发现,我们设计并实现了ScaleLens,一种新颖的可扩展性故障检测方法。ScaleLens结合动态和静态分析来精确定位维度代码片段,并将其与反模式匹配。我们的评估表明,与基线相比,ScaleLens检测到的与已知可扩展性故障相关的维度代码片段数量是基线的4.2倍。在Cassandra、HDFS和Ignite的最新稳定版本上,ScaleLens检测到334个维度代码片段,并确认了问题行为。

英文摘要

Scalable distributed systems form the backbone of modern computing infrastructure. However, as scale grows, system complexity may lead to scalability faults. Scalability faults are challenging to uncover and diagnose, as they are often latent and only manifest at large-scale deployment. In this paper, we present the first comprehensive study on scalability faults and propose an approach for their detection. First, we systematically investigate 444 scalability issue reports from 10 large-scale distributed systems to understand the common anti-patterns and root causes of scalability faults. We found that the majority of these faults are caused by the synergy between dimensional code fragments and anti-patterns associated with them. Second, based on our findings, we design and implement ScaleLens, a novel approach to detect scalability faults. ScaleLens combines dynamic and static analyses to pinpoint dimensional code fragments and match them with anti-patterns. Our evaluation shows that ScaleLens detects 4.2x more dimensional code fragments associated with known scalability faults compared to the baseline. On the latest stable versions of Cassandra, HDFS, and Ignite, ScaleLens detects 334 dimensional code fragments with confirmed problematic behavior.

2606.11813 2026-06-11 math.DG math.SP 新提交

Sub-Riemannian Selberg Trace Formulae for Compact Quotients of SL(2,R) and Determinants of Sub-Laplacians

SL(2,R)紧商群的亚黎曼Selberg迹公式与亚拉普拉斯算子的行列式

Fabrice Baudoin

AI总结 本文证明了SL(2,R)紧商群的亚黎曼Selberg迹公式,通过SO(2)纤维的傅里叶分解将热迹计算约化为双曲平面上Maass拉普拉斯算子的Selberg迹公式,并利用该公式计算亚拉普拉斯算子的zeta正则化行列式,得到简洁的行列式表达式。

详情
AI中文摘要

我们证明了SL(2,R)紧商群的亚黎曼Selberg迹公式。利用沿SO(2)-纤维的傅里叶分解,我们将热迹计算约化为双曲平面上Maass拉普拉斯算子的Selberg迹公式。得到的公式包含一个恒等贡献和一个双曲贡献,后者涉及闭测地线上依赖于特征的theta因子。然后我们使用这个迹公式来计算亚拉普拉斯算子的zeta正则化行列式。行列式公式非常简洁,表示为仅依赖于基础双曲曲面的行列式与一个显式的相对Selberg乘积的乘积。

英文摘要

We prove sub-Riemannian Selberg trace formulae for compact quotients of SL(2, R). Using the Fourier decomposition along the SO(2)-fibers, we reduce the heat trace computation to the Selberg trace formula for Maass Laplacians on the hyperbolic plane. The resulting formula has an identity contribution and a hyperbolic contribution, the latter involving a character-dependent theta factor over closed geodesics. We then use this trace formula to compute the zeta-regularized determinant of the sub-Laplacian. The determinant formula is remarkably compact and is expressed in terms of a determinant depending only on the base hyperbolic surface and an explicit relative Selberg product.

2606.11812 2026-06-11 math.AP 新提交

Local and global strong solutions to a reduced model for inviscid micropolar fluids

无粘微极性流体简化模型的局部和全局强解

F. Fanelli, P. G. Fernández Dalgo, M. E. Martínez Martini

AI总结 研究无粘微极性流体二维简化模型的适定性,在Besov空间中建立局部强解的存在唯一性,并在次临界条件下证明全局存在性。

Comments Submitted

详情
AI中文摘要

本文研究了微极性流体简化二维模型的适定性问题。该简化模型描述了流体速度场的欧拉型方程与微旋转场(在此设定中为标量场)的输运-扩散方程之间的耦合。我们在Besov空间$B^s_{p,1}$(正则性指标$s\geq1+2/p$)中建立了强解的局部存在唯一性。此外,在次临界情形$s>1+2/p$下,我们证明这些解全局存在。临界情形$s=1+2/p$下正则性的全局保持性仍是开放问题。

英文摘要

This paper investigates the well-posedness issue for a reduced two-dimensional model of micropolar fluids. This reduced model presents a coupling between an Euler-type equation for the velocity field of the fluid and a transport-diffusion equation for the microrotation field (which is a scalar field, in this setting). We establish the local existence and uniqueness of strong solutions in the scale of Besov space $B^s_{p,1}$ having regularity index $s\geq1+2/p$. Furthermore, in the subcritical case when $s>1+2/p$, we prove that these solutions exist globally in time. The global persistence of regularity in the critical setting $s=1+2/p$ remains open.

2606.11811 2026-06-11 physics.optics 新提交

Multi-pulse accumulation of gas molecular coherence enables gigahertz ultrafast frequency conversion

气体分子相干性的多脉冲累积实现千兆赫兹超快频率转换

Yazhou Wang, Marcello Meneghetti, Ian Davidson, Timothy Bate, J. E. Antonio-Lopez, Qiang Fu, Jaroslaw Rzegocki, Gregory T. Jasion, Rodrigo Amezcua-Correa, Francesco Poletti, Christos Markos

AI总结 提出一种基于气体分子相干性在多脉冲序列中累积的频率转换机制,在空芯光纤中实现高达3 GHz重复率、纳焦耳脉冲能量的拉曼频率转换。

Comments 34 pages, 15 figures

详情
AI中文摘要

超快激光的频率转换从根本上受限于脉冲能量与重复率之间的权衡,限制了对基础科学和工业关键领域的访问。在这里,我们展示了一种频率转换机制,其中分子相干性在充气空芯光纤中的超快脉冲序列中累积。与由单个高能脉冲引发的传统非线性相互作用不同,该机制依赖于由连续脉冲驱动的相干分子振荡的集体建立。利用这一机制,我们在高达3 GHz的重复率下实现了纳焦耳脉冲能量的拉曼频率转换。结果建立了一个由气体分子振荡的相干累积控制的非线性光学相互作用机制,对超快激光科学和频率转换技术具有广泛意义。

英文摘要

Frequency conversion of ultrafast lasers is fundamentally constrained by the trade-off between pulse energy and repetition rate, limiting access to regimes critical for fundamental science and industry. Here, we demonstrate a frequency-conversion mechanism in which molecular coherence accumulates across ultrafast pulse trains in gas-filled hollow-core fibers. Unlike conventional nonlinear interactions initiated by individual high-energy pulses, this mechanism relies on the collective buildup of coherent molecular oscillations driven by successive pulses. Using this mechanism, we achieve Raman frequency conversion at repetition rates up to 3 GHz with nanojoule pulse energies. The results establish a regime of nonlinear optical interaction governed by coherence accumulation of gas molecular oscillations with broad implications for ultrafast laser science and frequency conversion technologies.

2606.11810 2026-06-11 cond-mat.supr-con quant-ph 新提交

Mathematical Basis for Analyzing Superconducting Phase Transitions Using Catastrophe Theory

利用突变理论分析超导相变的数学基础

Jiu Hui Wu, Hua Tian, Kejiang Zhou

AI总结 通过Lyapunov-Schmidt约化建立从量子多体路径积分到尖点突变模型的严格数学桥梁,为超导相变的突变理论分析提供理论基础。

详情
AI中文摘要

我们通过Lyapunov-Schmidt约化建立了从量子多体路径积分到尖点突变模型的严格数学桥梁,为利用突变理论分析超导相变提供了理论基础。首先,证明了在临界点附近,无限维有效作用量与有限维突变微分同胚。其次,从Ginzburg-Landau自由能泛函出发,Euler-Lagrange偏微分方程可以约化为尖点突变模型。第三,通过Hubbard-Stratonovich变换、Matsubara频率展开和Grassmann代数,推导了从费米子虚时路径积分到尖点突变的过程。此外,我们将这一框架与我们提出的吸附势理论联系起来,阐明了高温超导中电子配对机制的突变拓扑本质。从第一性原理电子结构计算精确微观推导吸附势将增强该理论的预测能力。

英文摘要

We establish a rigorous mathematical bridge from quantum many-body path integrals to the cusp catastrophe model by Lyapunov-Schmidt reduction, which provides a theoretical foundation for analyzing superconducting phase transition using the catastrophe theory. First, it is proved that, near the critical point the infinite-dimensional effective action is diffeomorphic to a finite-dimensional catastrophe. Secondly, starting from Ginzburg-Landau free energy functional, the Euler-Lagrange partial differential equation can be reduced to the cusp catastrophe model. Thirdly, the fermionic imaginary-time path integral to the cusp catastrophe is derived through the Hubbard-Stratonovich transformation, Matsubara frequency expansion, and Grassmann algebra. Furthermore, we connect this framework with the adsorption potential theory we proposed, elucidating the catastrophic topological nature of the electron pairing mechanism in high-temperature superconductivity. The precise microscopic derivation of the adsorption potential from first-principles electronic structure calculations would strengthen the predictive power of the theory.

2606.11809 2026-06-11 physics.chem-ph 新提交

Symplectic and Thermodynamically Consistent Molecular Dynamics in the Frequency Domain

频域中的辛且热力学一致的分子动力学

Kyunghoon Han, Alexandre Tkatchenko, Joshua T. Berryman

AI总结 提出傅里叶积分分子动力学(FIMD),在频域中稳定可逆地传播哈密顿系统的选定振动运动,同时实现带选择和振动分析,无需后处理。

Comments Under review : Physical Review Letters

详情
AI中文摘要

我们引入了傅里叶积分分子动力学(FIMD),这是一种在时间上稳定且可逆地传播哈密顿系统选定振动运动的方法,同时在频域中分析和控制动力学。这使得带选择和振动分析成为积分器的特性,而非后处理步骤。我们使用经典力场、基于量子数据训练的机器学习力场以及半经验量子化学方法,对CO$_2$和封端的Ace--Phe--Tyr--NMe肽进行了演示。该方法在所选频带内重现光谱,抑制带外响应,揭示模式耦合,并展示了光谱特征对力场的依赖性,特别是对于热力学重要的低频区域。FIMD提供了一种高效且透明的方式来探索光谱和量热观测背后的振动物理机制。

英文摘要

We introduce Fourier integrator molecular dynamics (FIMD), a method for propagating selected vibrational motion of Hamiltonian systems stably and reversibly in time while analyzing and controlling dynamics in the frequency domain. This makes band selection and vibrational analysis features of the integrator rather than post-processing steps. We demonstrate the method with classical force fields, a machine-learned force field trained on quantum data, and semi-empirical quantum chemistry for CO$_2$ and the capped Ace--Phe--Tyr--NMe peptide. The method reproduces spectra within the chosen band, suppresses out-of-band response, reveals mode coupling, and demonstrates force-field dependence of spectral features, especially for the thermodynamically important low frequencies. FIMD offers an efficient and transparent way to probe the vibrational physics underlying spectroscopic and calorimetric observables.

2606.11808 2026-06-11 hep-ph hep-ex nucl-ex 新提交

Nonexistence of hidden-charm pentaquarks in $J/ψ$ photoproduction

$J/\psi$ 光产生中隐藏粲五夸克态的不存在性

Samson Clymton, Sang-Ho Kim, Hyun-Chul Kim

AI总结 通过耦合道重散射机制研究 $\gamma p \to J/\psi p$ 过程,发现 $\bar{D}^{(*)} \Sigma_c$ 道贡献被抑制,导致隐藏粲五夸克信号在光产生中不出现,与 LHCb 观测一致。

Comments 10 pages, 7 figures

详情
AI中文摘要

我们研究质子上的 $J/\psi$ 光产生过程 $\gamma p \to J/\psi p$,以阐明 GlueX 和 CLAS12 实验报告的隐藏粲五夸克信号的不存在性。在耦合道重散射机制中,我们采用先前耦合道分析中动态生成 $P_{c\bar{c}}$ 态的跃迁振幅。到 $J/\psi N$ 道的核振幅包括 $t$ 道重介子交换和 $u$ 道重重子交换。我们发现,来自 $\bar{D}^{(*)} \Sigma_c$ 道的重散射贡献——对于 $P_{c\bar{c}}$ 共振的形成不可或缺——比来自 $\bar{D}^{(*)} \Lambda_c$ 的贡献小约一个数量级,因为 $g_{\bar{D}^{(*)}N\Sigma_c}$ 大约是 $g_{\bar{D}^{(*)}N\Lambda_c}$ 的五分之一。由于 $P_{c\bar{c}}$ 共振主要通过 $\bar{D}^{(*)} \Sigma_c$ 中间态耦合到 $J/\psi N$ 道,它们的抑制阻止了五夸克信号在光产生中出现。仅用一个参数控制整体归一化,本工作很好地描述了 GlueX 和 CLAS12 的截面数据。这些结果表明,光产生中的零结果不必与 LHCb 合作组观测到的五夸克信号相矛盾。

英文摘要

We investigate $J/ψ$ photoproduction off the proton, $γp \to J/ψp$, to elucidate the nonexistence of hidden-charm pentaquark signals reported by the GlueX and CLAS12 experiments. Within a coupled-channel rescattering mechanism, we employ the transition amplitudes from a previous coupled-channel analysis that dynamically generates the $P_{c\bar{c}}$ states. The kernel amplitudes for the transition to the $J/ψN$ channel include both $t$-channel heavy-meson exchange and $u$-channel heavy-baryon exchange. We find that the rescattering contributions from the $\bar{D}^{(*)}Σ_c$ channels -- indispensable for the formation of the $P_{c\bar{c}}$ resonances -- are about one order of magnitude smaller than those from $\bar{D}^{(*)}Λ_c$, since $g_{\bar{D}^{(*)}NΣ_c}$ is roughly five times smaller than $g_{\bar{D}^{(*)}NΛ_c}$. Since the $P_{c\bar{c}}$ resonances couple to the $J/ψN$ channel predominantly through the $\bar{D}^{(*)}Σ_c$ intermediate states, their suppression prevents the pentaquark signal from appearing in photoproduction. With only a single parameter controlling the overall normalization, the present work describes the GlueX and CLAS12 cross sections well. These results suggest that the null result from photoproduction need not be in conflict with the pentaquark signals observed by the LHCb Collaboration.