arXivDaily arXiv每日学术速递 周一至周五更新
全部学科分类 2086
专题追踪
2605.04088 2026-05-08 q-bio.NC math.PR nlin.CD physics.bio-ph

Noise-accelerated Kramers Escape and Coherence Resonance in a 5D Neural Manifold

噪声加速的Kramers逃逸与神经曼哈顿中相干共振

Yefan Wu

AI总结 本文研究了噪声对神经元兴奋性的影响,揭示了乘性噪声通过Kramers逃逸机制促进神经元在高维振荡器中达到病理性超兴奋状态的物理机制。

Comments 12 pages, 7 figures, revised version with more rigorous stability derivations. Currently under review at Physical Review E

详情
AI中文摘要

内在通道噪声对神经处理至关重要,但其状态依赖性在严格Feller边界条件约束下常被忽视。本文通过5DHodgkin-Huxley型皮层起搏器模型,利用全截断半隐式欧拉方案确保概率守恒和域保持积分,发现噪声诱导的过渡具有复杂的三相景观。在亚阈值区域,乘性噪声作为构造性力量,通过Kramers逃逸触发随机觉醒;接近亚临界Hopf分岔点,演变为高度稳健的相干共振。在超阈值振荡区域,框架揭示了噪声加速的Kramers逃逸机制,极端乘性噪声放大从超极化慢曼哈顿的逃逸率,将常规节律转化为高频不规则爆发。导电扰动实验验证了这一转变的生物鲁棒性。这些发现建立了一种物理严谨的机制,说明边界约束噪声如何驱动高维振荡器进入病理性超兴奋状态。

英文摘要

Intrinsic channel noise is fundamental to neural processing, yet its state-dependent nature, when constrained by strict Feller boundary conditions, is often overlooked. Here, we demonstrate that this bounded multiplicative noise is not merely a source of jitter but an active dynamical force that fundamentally reshapes neural excitability. Investigating a 5D Hodgkin-Huxley-type cortical pacemaker model, we utilize a full-truncation semi-implicit Euler scheme to ensure rigorous probability conservation and domain-preserving integration. Through comprehensive parameter sweeps, we uncover a rich triphasic landscape of noise-induced transitions dictated by the underlying bifurcation structure. Deep in the subthreshold regime, multiplicative noise acts as a constructive force, triggering stochastic awakening via Kramers escape. Near the subcritical Hopf bifurcation, this evolves into highly robust coherence resonance (CR). Crucially, in the supra-threshold oscillatory regime, our framework reveals a striking dynamical shift: a generalized, noise-accelerated Kramers escape. Under extreme multiplicative noise - characteristic of sparse channel populations - strictly bounded fluctuations actively amplify escape rates from the hyperpolarized slow manifold, transforming regular pacing into high-frequency, irregular bursting. Conductance perturbation experiments confirm the profound biological robustness of this transition. These findings establish a physically rigorous mechanism for how boundary-constrained noise drives high-dimensional oscillators toward states of pathological hyperexcitability.

2605.03713 2026-05-08 cs.AR cs.PF

SPEC CPU2026: Characterization, Representativeness, and Cross-Suite Comparison

SPEC CPU2026:特征、代表性及跨套件比较

Ruihao Li, Andrew Jacob, Neeraja J. Yadwadkar, Lizy K. John

AI总结 本文研究SPEC CPU2026在九种平台上的性能特征,发现其相比2017版增加了指令量和内存占用,同时通过分析发现其在架构评估中可通过精简工作负载集保持高保真度,并通过与其他基准的比较展示其在通用计算中的优势。

详情
AI中文摘要

专用加速器主导AI工作负载,但CPU仍是协调这些加速器和运行数据中心服务的关键。因此,CPU性能日益影响端到端系统效率,使基准测试需反映现代工作负载和瓶颈。然而,新兴CPU基准套件如何反映这些变化仍不明确。为此,我们首次全面分析了SPEC CPU2026在九种平台上的表现,发现其相比SPEC CPU2017增加了指令量和内存占用,并将压力转向新兴瓶颈,尤其是更高的指令缓存压力。我们进一步研究了完整套件在架构评估中的必要性,通过基于聚类的代表性分析发现,每个组中4-5个工作负载的精简集可保持96.4-99.9%的完整套件行为,大幅降低评估成本而不牺牲保真度。为更好地定位SPEC CPU2026,我们通过跨套件微架构指标将其与SPEC CPU2017、DCPerf和MLPerf进行比较。SPEC CPU2026仍然是通用套件,具有互补特性:它比MLPerf少向量密集,前端压力比DCPerf低,但比先前的SPEC CPU世代更接近真实世界CPU行为。最后,我们通过页面大小和分配器、预取、编译器优化、指令集敏感性和多核扩展等案例研究,展示了SPEC CPU2026在超越聚合分数方面支持的实际架构研究。新的轮换轮询模式生成的代理工作负载可近似DCPerf,将IPC差距降至13.7%。总体而言,SPEC CPU2026为严谨且成本效益高的CPU评估设定了新基础。

英文摘要

Specialized accelerators dominate AI workloads, but CPUs remain critical for orchestrating these accelerators and running datacenter services. As a result, CPU performance increasingly shapes end-to-end system efficiency, making it necessary for benchmarks to reflect modern workloads and bottlenecks. However, it remains unclear how emerging CPU benchmark suites reflect these shifts. To address this, we present the first comprehensive characterization of SPEC CPU2026 across nine platforms spanning recent Intel, AMD, Ampere, and Nvidia processors. We find that, compared to SPEC CPU2017, SPEC CPU2026 increases instruction volume and memory footprint, and shifts pressure toward emerging bottlenecks, most notably higher instruction-cache stress. We next examine whether the full suite is necessary for architectural evaluation. Using clustering-based representativeness analysis, we identify that compact subsets of 4-5 workloads per group preserve 96.4-99.9% of full-suite behavior, substantially reducing evaluation costs without sacrificing fidelity. To better position SPEC CPU2026, we compare it against SPEC CPU2017, DCPerf, and MLPerf using cross-suite microarchitectural metrics. SPEC CPU2026 remains a general-purpose suite with complementary characteristics: it is less vector-intensive than MLPerf and has lower frontend pressure than DCPerf, yet moves closer to real-world CPU behavior than prior SPEC CPU generations. Finally, we show that SPEC CPU2026 supports practical architectural studies beyond aggregate scores through case studies on page sizes and allocators, prefetching, compiler optimizations, ISA sensitivity, and many-core scaling. The new round-robin stagger mode generates proxy workloads that approximate DCPerf, reducing the IPC gap to 13.7%. Overall, SPEC CPU2026 sets a new foundation for rigorous and cost-effective CPU evaluation.

2605.03178 2026-05-08 stat.ME

Structure Learning for Directed Trees with Zero-Inflated Compositional Nodes

定向树中具有零膨胀组合节点的结构学习

Shuangjie Zhang, Bani K. Mallick, Yang Ni

AI总结 本文提出一种新的定向树结构学习框架,用于处理具有零膨胀特性的组合数据,通过KL散度评分函数和混合模型实现条件依赖结构的学习,并通过模拟和实际数据验证了方法的有效性。

Comments 29 pages, 2 figures

详情
AI中文摘要

组合数据,即受限于概率单纯形的向量比例,广泛出现在现代科学应用中,包括不同身体部位的微生物相对丰度和来自单细胞基因组学的细胞类型混合权重。尽管已有成熟的组合数据回归方法,但现有的图模型框架未能解决多个组合向量之间条件依赖结构的学习问题。本文提出了一种新的定向树结构学习框架,采用KL散度作为评分函数,并将每个子组合的条件期望建模为基线组合和由父节点驱动的成分的混合,后者由列随机转移矩阵参数化。这种形式尊重单纯形几何,优雅处理零膨胀组合,并结合转移矩阵的非退化条件,确保从观测数据中识别边方向。我们证明了结构恢复的一致性,并推导了有限样本保证,将所需样本量表征为信号间隙、节点维度和惩罚水平的函数。通过模拟和多站点微生物组数据及单细胞数据的应用,证明了该方法的有效性,得到了可解释的定向结构,与已知的生物机制一致。

英文摘要

Compositional data, which are vectors of proportions constrained to the probability simplex, arise frequently in modern scientific applications, including microbiome relative abundances across body sites and cell-type mixture weights derived from single-cell genomics. While regression methods for compositional data are well developed, no existing graphical model framework addresses the problem of learning conditional dependence structures among multiple compositional vectors. This paper introduces a novel framework for directed tree structure learning over compositional nodes. We employ the Kullback-Leibler divergence as the scoring function and model the conditional expectation of each child composition as a mixture of a baseline composition and a parent-driven component parameterized by a column-stochastic transition matrix. This formulation respects the simplex geometry, handles zero-inflated compositions gracefully, and, combined with a non-degeneracy condition on the transition matrix, ensures identifiability of edge directions from observational data. We prove consistency of structure recovery and derive finite-sample guarantees that characterize the required sample size in terms of the signal gap, node dimension, and penalty level. The efficacy of our approach is demonstrated through simulations and applications to multi-site microbiome data and single-cell data, yielding interpretable directed structures that align with known biological mechanisms.

2605.03162 2026-05-08 cond-mat.str-el cond-mat.mes-hall

Transition Metal Dichalcogenide Excitons in Periodic Electrostatic Potentials: Center-of-Mass Models

二维过渡金属二硫化物中周期电势下的激子:质心模型

Jose M. Torres-Lopez, Sudipta Kundu, Felipe H. da Jornada, Tony Heinz, Allan H. MacDonald

AI总结 本文研究了周期电势对二维过渡金属二硫化物中激子性质的影响,通过质心模型发现电势可导致谷分裂达10meV并诱导谷选择性激子色散。

Comments 10 pages, 10 figures

详情
AI中文摘要

二维范德华材料是激子态工程的有前景平台。本文研究了通过二次史ta克效应,周期电势对二维组VI过渡金属二硫化物半导体中激子性质的影响。通过仅保留质心和谷度自由度的模型,发现电势可驱动光学谷分裂达10meVs并诱导谷选择性激子色散。我们通过数值结果和解析近似结合,解释了这两种性质对电势旋转对称性的敏感性。谷分裂的重要后果是最低激子带非简并且在γ附近具有线性色散,预计会抑制热激发,允许二维空间中激子的真实玻色凝聚和超流性。

英文摘要

Two-dimensional (2D) van-der-Waals materials are a promising platform for exciton state engineering. In this paper, we study the properties of excitons in 2D group VI transition-metal dichalcogenide (TMD) semiconductors that are modified by a periodic electrostatic potential through the quadratic Stark effect. Using a model that retains only center-of-mass and valley degrees-of-freedom, we find that electrostatic potentials can drive optical valley splitting up to 10meVs and induce valley selective exciton dispersion. We explain why both properties are sensitive to the rotational symmetry of the electrostatic trapping potential using a combination of numerical results and analytical approximations. An important consequence of valley-splitting is that the lowest exciton band is non-degenerate and has a linear dispersion around $γ$ that is expected to suppress thermal excitations, allowing true Bose condensation and superfluidity of excitons in two space dimensions.

2605.02872 2026-05-08 quant-ph cond-mat.str-el

Precision gravimetry via harnessing interaction-induced resonances in optical lattices

通过光学晶格中相互作用诱导共振实现高精度重力测量

Hassan Manshouri, Moslem Zarei, Mehdi Abdi, Yasser Omar, Sougato Bose, Abolfazl Bayat

AI总结 研究通过光学晶格中的相互作用诱导共振增强量子 Fisher 信息,用于高精度重力加速度测量。

详情
AI中文摘要

通过将玻色-爱因斯坦凝聚体限制在受重力势能作用的垂直晶格中,我们分析量子 Fisher 信息与其随时间、系统大小和粒子数的标度关系。我们的结果表明,在局域相中, onsite 互作用 U 通过相对于共振条件 U=mh 的因子放大量子 Fisher 信息,其中 U 是梯度场振幅 h 的因子。这种精度增强可以用于具有有限粒子数的光学晶格中的重力加速度测量。

英文摘要

By confining a Bose-Einstein condensate in a vertical lattice subjected to a gravitational potential, we analyze the quantum Fisher information to determine its scaling with respect to time, system size and particle number. Our results reveal that in the localized phase, on-site interactions $U$ amplify the quantum Fisher information by a factor with respect to resonance condition $U=mh$ where $U$ is factor of gradient field amplitude $h$. This precision enhancement can be employed in gravitational acceleration measurements with a finite number of particles trapped in optical lattices.

2605.02842 2026-05-08 cs.HC

"I Don't Have Faith in the Developers to Use My Feedback": Understanding Player Values and Expectancy for Reporting Systems in Video Games

我无法相信开发者会使用我的反馈:理解玩家价值观和报告系统在视频游戏中的期望

Michael Yin, Chenxinran Shen, Robert Xiao

AI总结 研究通过期望价值理论分析玩家对报告系统的价值观和期望,揭示报告行为受利他与报复因素驱动,探讨系统透明度和开发者声誉对报告效果的影响。

Comments 29 pages, 2 figures, accepted at CSCW 2026

详情
AI中文摘要

多人视频游戏中的报告系统允许玩家表达对他人不满以对抗游戏内毒性。本文通过分布式调查(n=98)和后续访谈(n=19)探讨了玩家对报告的价值、期望结果及系统实现的期望。研究发现,报告行为受利他和报复因素驱动,玩家既寻求短期报复又希望促进长期社区改善。然而,玩家认为报告可能无法达成这些目标,系统信任受开发者声誉、报告透明度和社区契合度等因素影响。通过理解报告系统的价值和期望,本文讨论其对数字管理的广泛影响,并考虑当前及未来报告系统的设计。

英文摘要

Reporting systems in multiplayer video games allow players to express their dissatisfaction with others and combat in-game toxicity. In this work, we examined the act of reporting through the lens of expectancy-value theory. Using a distributed survey (n = 98) and follow-up interviews (n = 19), we explored the value players place on reporting, their desired outcomes, and their expectations that these outcomes will be achieved. Our findings revealed that reporting is motivated by both altruistic and retributive factors, with players seeking short-term revenge while also looking to foster an improved long-term community. Yet, players felt that reporting may not always meet these goals, with belief in the system being mediated by factors such as developer reputation, reporting transparency, and alignment with the community. By understanding the value and expectancy of reporting systems, we discuss their implications on broader digital moderation and consider current and potential future designs of reporting systems.

2605.02821 2026-05-08 cs.PF

When Is the Same Model Not the Same Service? A Measurement Study of Hosted Open-Weight LLM APIs

当同一模型不是同一服务时:一种托管开源大语言模型API的测量研究

Haorui Li, Zhenghui He, Xuanzi Liu, Yang Xu, Dongsheng Liu, Jiakang Ma, Lupan Wu, Yangjie Wu, Xiongchao Tang, Tianhui Shi

AI总结 本文通过测量研究探讨托管开源大语言模型API服务的异质性,发现服务层影响'同一模型'的含义,揭示了需求分布、供应与使用分离以及任务混合对服务选择的影响。

Comments 25 pages, 21 figures; substantially revised abstract, add open-sourced code repo

详情
AI中文摘要

开源大型语言模型(LLMs)通常被称为模型 artifact,但生产用户往往将其作为托管API服务使用。本文认为操作单元是服务对象:由模型变体、协议行为、上下文容量、列出价格、延迟分布、吞吐量、可靠性及任务可行性定义的特定提供者、时间变化的端点。利用AI Ping在2025年第四季度收集的采样请求日志、提供者元数据、兼容性探测、定价快照和连续延迟测量,我们研究了该服务层如何改变'同一模型'的含义。三种经验模式显现。首先,观察到的需求在版本间集中但持续:在显示家族汇总中,最大的家族承担了32.0%的相对需求,前五名承担了87.4%,基尼系数为0.693,而较旧的变体在新版本发布后仍保持活跃。第二,供应与使用分离:提供者列表的广度不意味着实际采用,列出的价格比延迟、吞吐量、上下文长度、协议支持和错误语义更具有锚定作用。第三,任务混合很重要:应用诱导不同的token长度制度,因此提供者选择是在提供者-模型-任务-时间元组上的受限决策,而不是通过模型名称查找。在两个受观察可行性约束的反事实场景中,路由将Qwen3-32B的成本降低了37.8%,并将DeepSeek-V3.2的平均吞吐量提高了约90%。结果支持将托管开源LLMs视为异质服务而非静态目录条目的测量观点。我们开源了测量方法和再生产工具包,以支持结果的再生产。

英文摘要

Open-weight large language models (LLMs) are usually named as model artifacts, but production users often consume them as hosted API services. This paper argues that the operational unit is a service object: a provider-specific, time-varying endpoint defined by model variant, protocol behavior, context capacity, listed price, latency and throughput distribution, reliability, and task feasibility. Using sampled request logs, provider metadata, compatibility probes, pricing snapshots, and continuous latency measurements collected by AI Ping during Q4 2025, we study how this service layer changes the meaning of "the same model." Three empirical patterns emerge. First, observed demand is concentrated but persistent across versions: in the displayed family aggregate, the largest family carries 32.0% of relative demand and the top five carry 87.4%, with a Gini coefficient of 0.693, while older variants remain active after newer releases. Second, supply and use separate: provider listing breadth does not imply realized adoption, and listed prices are more anchored than latency, throughput, context length, protocol support, and error semantics. Third, task mix matters: applications induce different token-length regimes, so provider choice is a constrained decision over provider-model-task-time tuples rather than a lookup by model name. In two representative counterfactuals under observed feasibility constraints, routing lowers Qwen3-32B cost by 37.8% and raises DeepSeek-V3.2 average throughput by about 90% relative to direct official access. The results support a measurement view of hosted open-weight LLMs as heterogeneous services, not static catalog entries. We open-source the measurement methodology and reproduction artifacts at https://github.com/haoruilee/llm_api_measurement_study to support result reproduction.

2605.02776 2026-05-08 econ.TH

Truthful Communication and Exclusive Information Clubs

诚实通信与专属信息俱乐部

Paolo Pin

AI总结 本文研究了战略性误报可能性如何影响内生通信网络。研究者通过噪声私人信号观察共同状态,形成成本通信链接,与邻居交换私人信息并选择行动。收益奖励准确性和协调性。俱乐部内成员观察到相同局部信号,选择相同后验行动,因此无动机扭曲报告。

详情
AI中文摘要

本文研究了战略性误报可能性如何影响内生通信网络。研究者通过噪声私人信号观察共同状态,形成成本通信链接,与邻居交换私人信息并选择行动。收益奖励准确性和协调性。链接的价值在于提供信息,但只有当诱导的局部信息结构使诚实传输激励相容时才有效。我们证明了团组件支持诚实通信:在团内,所有成员观察到相同的局部信号配置,选择相同的后验行动,因此没有动机扭曲报告。在信号精度异质和凸链接成本下,核心选择按信号精度排序的 assortative 信息俱乐部。这些稳定的诚实网络不必社会最优。因为信息精度的价值递减,将高精度代理集中于同一俱乐部可能在私人上稳定,但在社会上被更混合的划分所主导。

英文摘要

This paper studies how the possibility of strategic misreporting shapes endogenous communication networks. Agents observe noisy private signals about a common state, form costly communication links, exchange private messages with their neighbors, and then choose actions. Payoffs reward both accuracy and coordination with linked agents. A link is valuable because it gives access to information, but it is useful only if the induced local information structure makes truthful transmission incentive compatible. We show that clique components support truthful communication: within a clique, all members observe the same profile of local signals, choose the same posterior action, and therefore have no incentive to distort reports. With heterogeneous signal precisions and convex linking costs, the core selects assortative information clubs ordered by signal precision. These stable truthful networks need not be socially efficient. Because the informational value of precision is decreasing, concentrating high-precision agents in the same club may be privately stable but socially dominated by more mixed partitions.

2605.01769 2026-05-08 cs.CR cs.SE

VulKey: Automated Vulnerability Repair Guided by Domain-Specific Repair Patterns

VulKey:基于领域特定修复模式的自动漏洞修复

Jia Li, Zhuangbin Chen, Yuxin Su, Michael R. Lyu

AI总结 VulKey通过层级化抽象专家知识指导补丁生成,实现更高泛化性和语义丰富性,其在PrimeVul数据集上达到31.5%的修复准确率,超越现有方法。

Comments Accepted by FSE 26

详情
AI中文摘要

软件漏洞的增加凸显了有效自动漏洞修复(AVR)工具的必要性。尽管基于大语言模型(LLM)的方法有潜力,但它们难以整合结构化的安全知识,如CWE和NVD。当前方法要么通过将CWE-ID拼接入输入提示来浅层利用这些信息,效果有限,要么依赖于少样本学习,使用固定且无法泛化的示例,限制了其在现实场景中的有效性。为解决这一差距,我们提出了VulKey,一个基于LLM的AVR框架,利用专家知识的分层抽象来指导补丁生成。我们的新型三级抽象以CWE类型、语法动作和语义关键元素来制定修复策略。这种方法比具体示例更具泛化性,比传统基于语法的模板更具语义丰富性,克服了先前方法的覆盖限制。VulKey实施为一个两阶段流程:首先,专家知识匹配预测适当的修复模式;其次,修复代码生成使用模式引导的微调LLM生成安全补丁。在现实世界C/C++数据集PrimeVul上,VulKey实现了31.5%的修复准确率,超越最佳基线7.6%,并优于VulMaster和GPT-5等领先工具。此外,VulKey展示了跨语言和跨模型的泛化能力,在Java基准Vul4J上表现出最先进的性能。这些结果强调了结构化专家知识在提升AVR有效性中的重要性。我们的工作证明,通过层级模式显式建模和整合专家安全知识是构建更有效和可靠AVR工具的关键步骤。

英文摘要

The increasing prevalence of software vulnerabilities highlights the need for effective Automatic Vulnerability Repair (AVR) tools. While LLM-based approaches are promising, they struggle to incorporate structured security knowledge from sources like CWE and NVD. Current methods either use this information superficially by concatenating the CWE-ID into the input prompt, yielding negligible benefits, or rely on few-shot learning with rigid, non-generalizable examples, which limits their effectiveness in real-world scenarios. To address this gap, we propose VulKey, an LLM-based AVR framework that leverages a hierarchical abstraction of expert knowledge to guide patch generation. Our novel three-level abstraction formulates repair strategies in terms of CWE type, syntactic actions, and semantic key elements. This approach captures the essence of a security fix with greater generality than concrete examples and more semantic richness than traditional syntax-based templates, overcoming the coverage limitations of prior methods. VulKey is implemented as a two-stage pipeline: first, expert knowledge matching predicts an appropriate repair pattern for the vulnerability; second, repair code generation uses a pattern-guided, fine-tuned LLM to produce secure patches. On the real-world C/C++ dataset PrimeVul, VulKey achieves 31.5% repair accuracy, surpassing the best baseline by 7.6% and outperforming leading tools such as VulMaster and GPT-5. Moreover, VulKey demonstrates cross-language and cross-model generalizability, with state-of-the-art performance on the Java benchmark Vul4J. These results underscore the importance of structured expert knowledge in advancing AVR effectiveness. Our work demonstrates that explicitly modeling and integrating expert security knowledge through hierarchical patterns is a crucial step toward building more effective and reliable AVR tools.

2605.01538 2026-05-08 physics.med-ph eess.IV eess.SP

Automatic Aberration Correction for Transcranial Functional and Super-Resolution Ultrasound Imaging in Rodents and Nonhuman Primates

颅内功能及超分辨率超声成像的自动像差校正

Paul Xing, Antoine Malescot, Eric Martineau, Stephan Quessy, Ravi L. Rungta, Numa Dancause, Jean Provost

AI总结 本文提出了一种可微的波束成形框架,用于自动校正颅内超声成像中的像差,提升了小鼠和非人灵长类动物的成像分辨率和功能测量灵敏度。

详情
AI中文摘要

颅内超声定位显微镜(ULM)中的颅骨诱导像差仍然是主要障碍,通过微气泡误定位、假检测和成像伪影(如断开或重复的血管)降低灵敏度和空间精度。本文提出了一种可微的波束成形框架,用于自动校正颅内多普勒和ULM中的像差。我们的方法利用空间分布的延迟参数化像差,并通过角相干性作为目标函数进行闭环优化。我们展示了在活体中对颅内ULM的稳健改进,提高了小鼠和非人灵长类动物大脑的分辨率。我们还将可微波束成形扩展到功能测量,提高了颅内功能超声(fUS)和ULM的血流动力学量化灵敏度。将此方法扩展到非人灵长类动物的3D颅内ULM成像,我们展示了有效校正颅骨诱导像差并去除伪影(如血管重复)的能力。通过提供一个完全自动且通用的像差校正解决方案,本文降低了颅内超声成像的主要技术障碍,使非侵入性、超分辨率和功能神经成像在实验室和物种间更广泛地应用。

英文摘要

Skull-induced aberrations remain a major drawback of transcranial ultrasound localization microscopy (ULM), degrading sensitivity and spatial accuracy through microbubble mislocalization, false detections, and imaging artifacts, such as disconnected or duplicated vessels. Here, we present a differentiable beamforming framework for automatic aberration correction in transcranial Doppler and ULM. Our approach uses spatially distributed delay-based parameterization of the aberration that is optimized in a closed-loop manner using angular coherence as an objective function. We demonstrate robust improvements of transcranial ULM, in vivo, with enhanced resolution of both mouse and nonhuman primate (NHP) brains. We also extended differentiable beamforming to functional measurements, with improvements in the sensitivity of transcranial functional ultrasound (fUS) and ULM based hemodynamic quantification. Extending this approach to 3D transcranial ULM imaging in NHPs, we show efficient correction of skull induced aberrations and removal of artifacts, such as vessel duplications. By providing a fully automated and generalizable solution for aberration correction, this work lowers a major technical barrier to transcranial ultrasound imaging, enabling broader adoption of non-invasive, super-resolution and functional neuroimaging across laboratories and across species.

2605.00699 2026-05-08 cs.CR

STARE: Step-wise Temporal Alignment and Red-teaming Engine for Multi-modal Toxicity Attack

STARE:分步时间对齐与红队引擎用于多模态毒性攻击

Xutao Mao, Liangjie Zhao, Tao Liu, Xiang Zheng, Hongying Zan, Cong Wang

AI总结 STARE通过分步时间对齐和红队引擎,提升多模态毒性攻击的成功率,揭示优化诱导的相位对齐现象,为安全机制提供理论基础。

Comments ICML 2026

详情
AI中文摘要

对Vision-Language Models进行红队测试对于识别漏洞至关重要,特别是在对抗性图像-文本输入触发有毒输出的情况下。现有方法将图像生成视为黑盒,仅返回终端毒性评分,未能解答多步合成过程中何时以及如何产生有毒语义的问题。我们介绍了STARE,一种分层强化学习框架,将去噪轨迹本身视为攻击面,在直接白盒T2I和仅查询的黑盒VLM设置下进行。通过结合高级提示编辑器与低级T2I微调,利用组相对策略优化(GRPO),STARE在最先进的黑盒和白盒基线基础上将攻击成功率提高了68%。更重要的是,这种轨迹层面的视角揭示了优化诱导的相位对齐现象:普通模型表现出扩散的毒性,而对抗性优化将概念性伤害集中于早期语义阶段,细节导向的伤害集中于后期细化。针对任一窗口的定向扰动可选择性抑制不同的毒性类别,表明这种时间结构是一个真实的因果处理手段,而非分层设计的副作用。该现象将毒性形成从混沌过程转变为一小组可预测的漏洞窗口,既提供了强大的攻击引擎,也为相位感知的安全机制奠定了基础。内容警示:本文包含可能具有冒犯性或令人不安的有毒内容。

英文摘要

Red-teaming Vision-Language Models is essential for identifying vulnerabilities where adversarial image-text inputs trigger toxic outputs. Existing approaches treat image generation as a black box, returning only terminal toxicity scores and leaving open the question of when and how toxic semantics emerge during multi-step synthesis. We introduce STARE, a hierarchical reinforcement learning framework that treats the denoising trajectory itself as the attack surface, under a direct white-box T2I and query-only black-box VLM setting. By coupling a high-level prompt editor with low-level T2I fine-tuning via Group Relative Policy Optimization (GRPO), STARE attains a 68% improvement in Attack Success Rate over state-of-the-art black-box and white-box baselines. More importantly, this trajectory-level view surfaces the Optimization-Induced Phase Alignment phenomenon: vanilla models exhibit diffuse toxicity, whereas adversarial optimization concentrates conceptual harms into early semantic phases and detail-oriented harms into late refinement. Targeted perturbations of either window selectively suppress different toxicity categories, indicating that this temporal structure is a genuine causal handle rather than a side effect of the hierarchical design. The phenomenon turns toxicity formation from a chaotic process into a small set of predictable vulnerability windows, providing both a potent attack engine and a basis for phase-aware safety mechanisms. Content warning: This paper contains examples of toxic content that may be offensive or disturbing.

2605.00328 2026-05-08 math.NA cs.NA

Spectral decomposition of $(\star, ε)$-palindromic matrix polynomial and its applications

(⋆,ε)-回文矩阵多项式谱分解及其应用

Kang Zhao, Xin Wang, Xiaoxiao Ma

AI总结 本文通过标准对和参数矩阵对(⋆,ε)-回文二次矩阵多项式P(λ)进行谱分解,当J为块对角矩阵时,参数矩阵Γ具有特殊结构,并应用于无溢出的反特征值问题和特征值嵌入问题。

详情
AI中文摘要

本文通过标准对和参数矩阵对(⋆,ε)-回文二次矩阵多项式P(λ)进行谱分解,当J为块对角矩阵时,参数矩阵Γ具有特殊结构,并应用于无溢出的反特征值问题和特征值嵌入问题。

英文摘要

This paper provides the spectral decomposition of $(\star,ε)$-palindromic quadratic matrix polynomial $P(λ)$ by a standard pair and a parameter matrix. When $J$ is assumed to be a block diagonal matrix, the parameter matrix $Γ$ has a special structure. And then the spectral decomposition is applied to solve the inverse eigenvalue problem and the eigenvalue embedding problem with no spill-over.

2604.28131 2026-05-08 hep-ph hep-ex nucl-ex nucl-th

Simplified approach to extracting nucleon transversity in collinear factorization using near-side energy-energy correlators

利用近侧能量-能量关联量简化提取核子横极化分布函数的方法

Zhong-Bo Kang, Andreas Metz, Daniel Pitonyak, Congyue Zhang

AI总结 本文提出利用近侧能量-能量关联量在共线因子化框架中提取核子横极化分布函数的新方法,简化了传统方法中对部分子横向动量或共振的建模复杂度,并展示了其在半包容深非弹性散射和电子-正电子湮灭中的高阶解析结果。

Comments 5+3 pages, 3 figures; 3 pages, 2 figures of Supplemental Material; minor edits and typos corrected, remarks added about Jefferson Lab kinematics

详情
AI中文摘要

我们开发了一种新的策略,利用双轻子碎片化框架中的近侧能量-能量关联量,在共线因子化中访问核子横极化部分子分布函数(PDF)。我们展示了这种方法如何消除之前方法中必须建模部分子横向动量或最终态双轻子不变质量分布中共振的复杂性。我们展示了半包容深非弹性散射和电子-正电子湮灭中横向自旋可观测量的一阶解析结果,突显了其与提取(非)极化PDF和(单轻子)碎片化函数时使用的表达式之间的相似性。我们对现有和未来设施相关的动力学进行了预测,证明了能量-能量关联程序在提取横极化PDF方面的可行性。

英文摘要

We develop a novel strategy for accessing the transversity parton distribution function (PDF) of the nucleon within collinear factorization using near-side energy-energy correlators in the dihadron fragmentation framework. We show how this removes the complications of previous approaches that must model either intrinsic parton transverse momentum or resonances in the invariant mass distribution of a final-state dihadron. We present leading-order analytical results for transverse-spin observables in semi-inclusive deep-inelastic scattering and electron-positron annihilation, highlighting their close similarity to the expressions one uses in extracting (un)polarized PDFs and (single-hadron) fragmentation functions in collinear factorization. We make predictions for kinematics relevant for existing and future facilities that demonstrate the feasibility of an energy-energy correlator program in extracting the transversity PDF.

2604.27299 2026-05-08 quant-ph physics.optics

High-Rate Free-Space Continuous-Variable QKD with Self-Referenced Passive State Preparation

高吞吐量自由空间连续变量量子密钥分发与自参考被动态制备

H. W. Yin, X. J. Liao, Y. H. Xu, P. Huang, K. T. Zhu, T. Wang, G. H. Zeng

AI总结 本文提出一种基于自参考被动态制备的本地本地振荡器连续变量量子密钥分发系统,通过改进的时间模式理论证明了被动态制备与GMCS协议的等价性,实现了高精度时间变化频率和相位补偿算法,提升了系统信噪比和稳定性,达到了23.5dB损耗下的10.34 Mbps高吞吐量密钥率。

详情
AI中文摘要

连续变量量子密钥分发(CVQKD)利用被动态制备(PSP)提供低成本、高吞吐量的安全通信。然而,现有使用发射本地振荡器的PSP-CVQKD方案存在高光子泄漏噪声和稳定性差的问题,不适用于高损耗传输。在本文中,我们首次提出并实现了一种使用自参考(SR)PSP方案的本地本地振荡器(LLO)CVQKD系统,并通过时间模式理论给出了PSP与GMCS协议等价性的理论证明。通过采用新颖的自参考引导方案,实现了高精度时间变化频率和相位补偿算法,显著提高了系统的信噪比和稳定性。该系统在自由空间信道中实现了23.5dB损耗下的记录高渐近密钥率10.34 Mbps,同时在湍流条件下保持低额外噪声和稳健性能。本工作确立了SR-LLO CVQKD的可行性,为在现实环境中实现安全、高吞吐量量子通信提供了实际路径。

英文摘要

Continuous-variable quantum key distribution (CVQKD) using passive state preparation (PSP) offers low-cost, high-rate secure communication. However, the existing PSP-CVQKD scheme with a transmitted local oscillator has high photon leakage noise and poor stability, making it unsuitable for high-loss transmission. In this work, for the first time, we propose and implement a local local oscillator (LLO) CVQKD system using a self-referenced (SR) PSP scheme, and give a theoretical proof of the equivalence of the PSP and GMCS protocol using temporal-mode theory. By employing the novel self-referenced pilot scheme to achieve high-precision time-varying frequency and phase compensation algorithms, we significantly improve the system' s signal-to-noise ratio and stability. The system achieves a record-high asymptotic secret key rate of 10.34 Mbps over a free-space channel with up to 23.5 dB loss, while maintaining low excess noise and robust performance under turbulent conditions. This work establishes the feasibility of SR-LLO CVQKD, providing a practical pathway toward secure, high-rate quantum communication in realistic environments.

2604.27173 2026-05-08 quant-ph

Quantum Coordination without Conditioning under Restricted Information

量子协调无需条件限制在信息受限下

Faisal Shah Khan

AI总结 本文研究在信息受限下量子系统如何通过非交换局部结构实现经典方法无法达成的联合分布,展示了量子discord在协调中的作用。

Comments v2: Fixed and cleaned bibliography (removed erroneous citation, improved consistency, added recent references). Minor typographical improvements. Extension of arXiv:2505.08917. Quantum systems (even using only separable states) can implement latent-variable correlations unattainable by classical local models under restricted information via the global Born rule

详情
AI中文摘要

我们研究在信息受限下协调问题,其中经典局部模型无法实现某些相关分布,因为代理无法根据历史进行条件化。我们证明量子系统即使使用仅分离态也能克服这一限制。经典对角编码(共享潜在变量)和具有非交换局部结构的分离态(量子discord)均能实现经典局部规则在相同信息约束下无法达成的联合分布。量子优势源于允许潜在变量协调而不需代理对潜在变量本身进行条件化——一种在经典局部模型无法实现的构造。具有非零量子discord的分离态提供了另一种实现此类协调的机制。同时,量子模型仍受信息结构限制:不同于完美记忆,它们无法再现完全适应于已实现过去结果的依赖,这些结果在观察上无法区分。因此,量子相关性在某种程度上作为完美记忆的替代品。

英文摘要

We study coordination under restricted information, where classical local models fail to implement certain correlated distributions because agents cannot condition on past history. We show that quantum systems overcome this limitation even when using only separable states. Both classically diagonal encodings (shared latent variables) and separable states with noncommuting local structure (quantum discord) enable the implementation of joint distributions that are unattainable by any classical local rules under the same information constraints. The quantum advantage arises from enabling latent-variable coordination without requiring agents to condition on the latent variable itself -- a construction that succeeds where no classical local model can. Separable states with nonzero quantum discord provide an alternative mechanism for realizing such coordination. At the same time, quantum models remain strictly limited by the information structure: unlike perfect recall, they cannot reproduce fully adaptive dependence on realized past outcomes that are observationally indistinguishable. Thus, quantum correlations serve as a partial substitute for perfect recall.

2604.26808 2026-05-08 cs.GT cs.IT math.IT

MISES: Minimal Information Sufficiency for Effective Service

MISES: 最小信息充分性以实现有效服务

Joss Armstrong

AI总结 本文研究了基于类别的协调机制,通过将声明的服务类别映射到固定资源配置来分配资源,不观察个体需求类型。研究发现,相对福利差距Delta在聚合类内分配方差epsilon的范围内有紧致的双侧界,并证明了需求衍生的类别同时最小化福利损失和误报激励。

详情
AI中文摘要

基于类别的协调机制通过将声明的服务类别映射到固定资源配置来分配资源,不观察个体需求类型。我们为这一类机制建立了三个结果。首先,相对福利差距Delta在聚合类内分配方差epsilon的范围内满足紧致的双侧界:(alpha/2W*)epsilon <= Delta <= (beta/2W*)epsilon。其次,预期误报收益受同一epsilon限制,无需假设代理策略;需求衍生的类别同时最小化福利损失和误报激励。第三,在同质条件下,聚合结果指标严格主导个体指标,对于所有参数值,具有O(1/m)的有限样本功效差距。在任何固定的K下,需求衍生的类别标签是协调的充分统计量:收集个体数据超出类别标签会增加检测问题的噪声,而不会减少福利差距。然而,福利和检测对K施加了结构上相反的需求:福利随着更细的类别而改善,检测则更差。设计者面临一个可行性带[Kmin, Kmax],必须在其中选择K作为价值判断。我们声称,任何实现福利差距Delta <= epsilon*和遗漏检测率 <= beta*的协议至少需要Hlb(epsilon*, beta*)位的类别熵。我们通过合成人口50,000需求向量和四张匿名运营商网络(28,249个单元)五周的生产绩效管理数据来说明该机制。

英文摘要

Category-based coordination mechanisms allocate resources by mapping a declared service category to a fixed resource profile, without observing individual demand types. We establish three results for this class of mechanisms. First, the relative welfare gap Delta satisfies a tight two-sided bound in terms of the aggregate within-category allocation variance epsilon: (alpha/2W*)epsilon <= Delta <= (beta/2W*)epsilon. Second, the expected misreporting gain is bounded by the same epsilon without assumptions on agent strategy; demand-derived categories minimise both welfare loss and misreporting incentive simultaneously. Third, aggregate outcome metrics strictly dominate per-agent metrics for service-level detection under a homogeneity condition, for all parameter values, with a finite-sample power gap of O(1/m). At any fixed K, the demand-derived category label is the sufficient statistic for coordination: collecting per-agent data beyond the category label adds noise to the detection problem without reducing the welfare gap. However, welfare and detection impose structurally opposed demands on K: welfare improves with finer categories, detection worsens. The designer faces a feasibility band [Kmin, Kmax] and must choose K within it as a value judgement. We claim that any protocol achieving welfare gap Delta <= epsilon* and missed-detection rate <= beta* requires at least Hlb(epsilon*, beta*) bits of category entropy. We illustrate the mechanism on a synthetic population of 50,000 demand vectors and five weeks of production performance-management data from four anonymised operator networks (28,249 cells).

2604.26696 2026-05-08 math.DG

Scalar-flat Kähler surfaces whose Weyl tensor annihilates the Ricci form

标量平坦的凯勒表面及其威利张量 annihilates 里奇形式

Andrzej Derdzinski, Sinhwi Kim, JeongHyeong Park

AI总结 研究标量平坦凯勒表面中威利张量作用于2形式 annihilates 里奇形式的性质,证明其为里奇平坦或局部等距于两个曲率相反的实表面乘积。

Comments A minor style correction

详情
AI中文摘要

我们猜想,任何标量平坦凯勒表面中,威利张量作用于2形式 annihilates 里奇形式的必须是里奇平坦或局部等距于两个实表面的黎曼乘积。这等同于不存在proper weakly Einstein anti-self-dual凯勒表面。我们证明了上述猜想在三种特殊情况下成立:当流形是紧致的、当其中一个里奇特征分布是可积的,以及当里奇和威利张量的范数函数上相关时。

英文摘要

We conjecture that any scalar-flat Kähler surface in which the Weyl tensor acting on 2-forms annihilates the Ricci form must be either Ricci-flat or locally isometric to a Riemannian product of two real surfaces with mutually opposite nonzero constant Gaussian curvatures. This amounts to the nonexistence of proper weakly Einstein anti-self-dual Kähler surfaces. We prove the above conjecture in three special cases: when the manifold is compact, when one of the Ricci eigendistributions is integrable, and when the norms of the Ricci and Weyl tensors are functionally dependent

2604.26463 2026-05-08 physics.flu-dyn

A Hybrid Gas-Kinetic Scheme and Discrete Velocity Method for Continuum and Rarefied Flows

一种混合气体动力学方案与离散速度法用于连续流和稀薄流

Hangkong Wu, Yuze Zhu, Yajun Zhu, Kun Xu

AI总结 本文提出混合GKS-DVM方法,结合两种方法优势,平衡平衡分布函数与非平衡分布函数,实现连续和稀薄流的高精度与高效计算。

Comments 31 pages, 57 figures

详情
AI中文摘要

气体动力学方案(GKS)在连续流模拟中具有高计算效率和精度,但无法可靠捕捉稀薄效应。相比之下,离散速度法(DVM)更适合稀薄流,但在连续流中准确性下降且收敛慢。为此,本文提出混合GKS-DVM方法,通过数值碰撞时间平衡两种方法,确保在连续极限下恢复纳维-斯托克斯解,在稀薄极限下自然捕捉自由分子流。此外,引入数值碰撞时间显著增强了连续流中激波捕捉的鲁棒性。为进一步降低混合方法的计算成本,提出了基于局部Knudsen数和马赫数的自适应策略。通过四个代表性测试案例系统评估了所提方法的有效性和准确性:平板边界层、驱动腔体流、激波结构和半圆柱体流。结果表明,所提方法在连续和稀薄流 regime 中均实现高解精度和计算效率。

英文摘要

The gas-kinetic scheme (GKS) provides high computational efficiency and accuracy for continuum flow simulations but is unable to reliably capture rarefaction effects. In contrast, although the discrete velocity method (DVM) is better suited for rarefied flows, it exhibits reduced accuracy and slow convergence when applied to continuum regimes. To overcome these limitations, this work proposes a hybrid GKS-DVM method that integrates the strengths of both approaches. The hybrid approach balances the equilibrium distribution function in GKS with the upwind-reconstructed non-equilibrium distribution function in DVM through a numerical collision time. This balancing strategy ensures to recover Navier-Stokes solutions in the continuum limit (asymptotic preserving), while naturally capturing free molecular flows in the rarefied limit. Moreover, the introduction of a numerical collision time significantly enhances robustness in shock capturing for continuum flow applications. To further reduce computational cost of the hybrid approach, several adaptive strategies based on the local Knudsen number and Mach number have been proposed. The effectiveness and accuracy of the proposed hybrid method are systematically assessed through four representative test cases: a flat-plate boundary layer, a lid-driven cavity flow, shock structures, and flow past a semi-cylinder. The first case is subjected to continuum conditions, while the latter two span a broad range of Knudsen numbers. The results demonstrate that the proposed method achieves high solution accuracy and computational efficiency across both continuum and rarefied flow regimes.

2604.25703 2026-05-08 math-ph math.MP

Long-time asymptotics of the Newell equation on the line

直线上的Newell方程的长时间渐进行为

Deng-Shan Wang, Yingmin Yang

AI总结 本文基于Riemann-Hilbert方法研究Newell方程在Schwartz类初始条件下的长时间渐进行为,通过正反散射分析建立相关问题,利用非线性梯度下降法获得渐近表达式,扩展了Newell原始结果并提供严格证明。

详情
AI中文摘要

1978年,A.C.Newell在SIAM J.Appl.Math.35(4)(1978)650-664中提出一个可解的模型称为Newell方程,用于模拟长波与短波之间显著相互作用机制的研究。近五十年过去,Newell方程的长时间渐进行为仍是一个开放问题,至今未有结果报告。本文通过Riemann-Hilbert方法研究该模型在Schwartz类初始条件下的解的长时间渐进行为。通过正反散射分析,建立了相应的Riemann-Hilbert问题,并建立了其与Newell方程初值问题解的关系。通过消失引理证明了Riemann-Hilbert问题解的存在唯一性。随后,利用Deift-Zhou非线性梯度下降法获得了初值问题解在散射波区域的渐近表达式。本文扩展了Newell的原始结果,为他论文中第4节的发现提供了严格证明,并给出了显式表达式。此外,直接数值模拟与本文获得的理论结果的比较展示了渐近表达式的可靠性。

英文摘要

In 1978, A. C. Newell [SIAM J. Appl. Math. 35(4) (1978) 650-664] proposed an exactly solvable model called Newell equation, which simulates the investigation of significant interaction mechanism between long and short waves. Nearly fifty years have passed, yet the long-time asymptotics of the Newell equation remains an open problem to date, with no results reported. In this work, the long-time asymptotic behaviors of the solutions to this model under Schwartz class initial conditions are studied by using the Riemann-Hilbert formulation. Through direct and inverse scattering analysis, the corresponding Riemann-Hilbert problem is formulated, and its relationship with the solution to the initial-value problem of the Newell equation is established. The existence and uniqueness of the solution to the Riemann-Hilbert problem is proved by vanishing lemma. Subsequently, the asymptotic expressions of the solution to the initial-value problem in the dispersive wave region are obtained by using the Deift-Zhou nonlinear steepest descent method. This work extends Newell's original results, providing a rigorous proof for the findings presented in Section 4 of his paper, along with explicit expressions. Furthermore, the comparison between direct numerical simulations and the theoretical results obtained in this paper demonstrates the reliability of the asymptotic expressions.

2604.25686 2026-05-08 math.FA cs.NA math.NA math.SP

Some results on Krylov solvability in Banach space and connections to spectral theory

关于Banach空间中Krylov可解性的一些结果及其与谱理论的联系

Noe Angelo Caruso

AI总结 本文首次探讨Banach空间中逆线性问题的Krylov可解性分析,重点在于解决Krylov子空间的拓扑补集问题,并利用解析算子的谱工具进行研究。

详情
AI中文摘要

本文首次探讨Banach空间中逆线性问题的Krylov可解性分析。与已广泛研究的Hilbert空间设置不同,Banach空间设置在建立Krylov可解性与Krylov子空间自身结构特性之间的联系时面临特殊困难。核心在于封闭的Krylov子空间可能不总是具有拓扑补集。我们还开发了谱工具,以利用解析算子及其在解析集上的解析性质来解决该问题。

英文摘要

This article contains the first steps in a general analysis of the problem of Krylov solvability of the inverse linear problem in a Banach space. In contrast to the well-studied Hilbert space setting, the Banach space setting presents particular difficulties in creating the connection between Krylov solvability and structural properties of the Krylov subspace itself. At the centre of this is the fact that the closed Krylov subspace may not always have a topological complement. We also develop spectral tools in order to attack the problem using the resolvent operator and exploiting its holomorphic properties on the resolvent set.

2604.25630 2026-05-08 hep-ph

Probing the hadronic molecular nature of the $Ω(2012)$, $Ω(2380)$, and $Ω_c(3120)$ via femtoscopy correlation functions

探测Ω(2012)、Ω(2380)和Ω_c(3120)的有核分子性质:通过费米子相关函数

Si-Wei Liu, Wen-Tao Lyu, Ju-Jun Xie

AI总结 通过费米子相关函数研究Ω(2012)、Ω(2380)和Ω_c(3120)共振态的内部结构,采用有效势模型计算耦合通道的相关函数,发现显著增强结构,为动态生成的Ω(2012)和Ω_c(3120)态提供证据。

详情
AI中文摘要

我们研究了与Ω(2012)、Ω(2380)和Ω_c(3120)共振态相关的费米子相关函数,旨在阐明其内部结构。通过采用包含s波和d波相互作用的有效势模型,我们计算了相关通道的相关函数。数值结果揭示了Ξ^0K^-和Ξ_c^+K^-相关函数中的显著增强结构,为动态生成的Ω(2012)和Ω_c(3120)态提供了直接证据。此外,在Ξ*0K^-和Ξ*0K*^-通道中观察到显著的低动量增强,归因于Ω(2012)和Ω(2380)共振态。这些理论计算为未来在LHC和RHIC上的高精度测量提供了关键见解,提供了一种新的独立方法来确定这些Ω激发态的动态生成有核分子性质。

英文摘要

We investigate the femtoscopic correlation functions of systems associated with the $Ω(2012)$, $Ω(2380)$, and $Ω_c(3120)$ resonances, with the aim of elucidating their internal structures. By employing effective potential models that incorporate both $s$-wave and $d$-wave interactions, we calculate the correlation functions for the relevant coupled channels. Our numerical results reveal pronounced enhancement structures in the $Ξ^0K^-$ and $Ξ_c^+K^-$ correlation functions, which provide direct evidences for the dynamically generated $Ω(2012)$ and $Ω_c(3120)$ states. Furthermore, significant low-momentum enhancements are observed in the $Ξ^{*0}K^-$ and $Ξ^{*0}K^{*-}$ channel, which are attributed to the $Ω(2012)$ and $Ω(2380)$ resonances. These theoretical calculations provide crucial insights for future high-precision measurements at the LHC and RHIC, offering a novel and independent approach to determine the dynamically generated hadronic molecular nature of these $Ω$ excited states.

2604.25565 2026-05-08 stat.ME math.ST stat.TH

CBARA: Covariate-Balanced-and-Adjusted Response-Adaptive Randomization

CBARA:协变量平衡和调整的响应适应随机化

Hengjia Fang, Wei Ma

AI总结 CBARA结合CARA和CAR的优点,通过动态调整分配比例提升平衡性和鲁棒性,同时保持分配比例一致性。

详情
AI中文摘要

我们提出了一种协变量平衡和调整的响应适应随机化(CBARA)程序,用于临床试验的适应性设计,该程序结合了协变量调整响应适应随机化(CARA)和协变量适应随机化(CAR)的互补优势。CBARA程序根据观察到的反应和患者协变量资料动态调整目标分配比例,而无需要求模型正确指定,从而保留了CARA的伦理和效率考虑,同时提高了鲁棒性。此外,CBARA程序将CAR原理从固定目标分配比例扩展到协变量调整的自适应目标分配比例,但仍追求治疗分配相对于协变量特征的平衡。这种整合是通过新定义的不平衡向量和三个相互关联的组成部分:分配函数、参数估计和更新机制实现的。我们建立了在CBARA程序下协变量不平衡和估计量的渐近性质。结果表明,CBARA程序可以提高观察到和未观察到的协变量的平衡性,同时保持分配比例的一致性。理论分析是通过伪马尔可夫链框架进行的,其中引入了一种新的不匹配度量来处理泊松方程解对参数的连续性。

英文摘要

We propose the covariate-balanced-and-adjusted response-adaptive randomization (CBARA) procedure for adaptive design in clinical trials, which integrates the complementary strengths of covariate-adjusted response-adaptive randomization (CARA) and covariate-adaptive randomization (CAR). The CBARA procedure updates the target allocation ratio according to observed responses and patient covariate profiles without requiring a correctly specified model, thereby retaining CARA's ethical and efficiency considerations while improving robustness. In addition, the CBARA procedure extends the CAR principle from fixed target allocation ratios to covariate-adjusted adaptive target allocation ratios, yet still pursues balance in treatment allocation with respect to covariate features. This integration is enabled by a newly defined imbalance vector and three interrelated components: the allocation function, parameter estimation and update mechanism. We establish the asymptotic properties of covariate imbalance and the estimators under the CBARA procedure. The results demonstrate that the CBARA procedure can improve balance for both observed and unobserved covariates while preserving the consistency of the allocation ratio. The theoretical analysis is developed through a pseudo-Markov chain framework, where a new discrepancy measure for transition kernels is introduced to handle the continuity of Poisson equation solutions with respect to parameters.

2604.25248 2026-05-08 cond-mat.mes-hall cond-mat.stat-mech quant-ph

Anomalous Mixed-State Floquet Topology in One-Dimensional Open Quantum Systems

一维开放量子系统中异常的混合态Floquet拓扑

Görkem D. Dinc, Alexander Schnell, Andy M. Martin

AI总结 研究周期性驱动耗散的Su-Schrieffer-Heeger链的非平衡拓扑,利用EGP相揭示混合态拓扑结构,发现非平凡 winding 和准能谱带隙,提出拓扑不变量扩展至耗散有限温系统。

Comments 17 pages, 9 figures

详情
AI中文摘要

我们研究了周期性驱动、耗散的Su-Schrieffer-Heeger链的非平衡拓扑,利用EGP相(EGP)——一种扩展到开放量子系统的Zak相。与早期工作不同,我们使用Floquet-Born-Markov理论描述与热泡库的微观耦合。我们表明稳态可通过一个Hermitian纯度谱来表征,提供混合态的直接带拓扑类比。周期驱动诱导非平凡 winding 和具有不同0和π带隙的准能谱,每个间隙有受保护的边缘模式。我们识别出一对拓扑不变量(ϕ^{0}_{\mathrm{EGP}}, Δϕ^π_{\mathrm{EGP}}),揭示与孤立Floquet SSH系统已知的Z×Z分类一致的结构,并展示其如何扩展到耗散、有限温设置中。我们的结果表明在驱动-耗散高斯稳态中何时以及如何已知的Floquet拓扑得以保存,并确立Floquet拓扑作为孤立零温系统的稳健概念。底层形式为二次费米子系统与线性泡库耦合提供了一个通用框架。

英文摘要

We investigate the non-equilibrium topology of a periodically driven, dissipative Su-Schrieffer-Heeger chain using the ensemble geometric phase (EGP) $ϕ_{\mathrm{EGP}}$-a generalisation of the Zak phase to open quantum systems. In contrast to earlier work, we use Floquet-Born-Markov theory to describe the coupling to thermal reservoirs microscopically. We show that the steady state can be characterised by a Hermitian purity spectrum, providing a direct analogue of band topology for mixed states. The periodic drive induces nontrivial winding and a quasienergy spectrum with distinct $0$ and $π$ band gaps, with protected edge modes in each gap. We identify a pair of topological invariants $(ϕ^{0}_{\mathrm{EGP}}, Δϕ^π_{\mathrm{EGP}})$, revealing a structure consistent with a $\mathbb{Z}\times\mathbb{Z}$ classification known from isolated Floquet SSH systems, and show how it extends to a dissipative, finite-temperature setting in regimes where the steady-state structure remains well defined. Our results demonstrate when and how known Floquet topology survives in a driven-dissipative Gaussian steady state and establish Floquet topology as a robust concept beyond isolated zero-temperature systems. The underlying formalism provides a general framework for quadratic fermionic systems with linear bath couplings.

2604.24836 2026-05-08 astro-ph.GA

The Thermodynamic and Kinematic Evolution of Circumgalactic Gas around $z=1$ in the IllustrisTNG model

$z=1$时周围星系际气体的热力学和运动学演化(IllustrisTNG模型)

Daniel DeFelippis, Shy Genel, Greg L. Bryan

AI总结 研究$z=1$时六个多星系际介质在高时间分辨率下演化,发现其热力学和运动学特性随时间变化,反馈机制驱动气体加热和喷射,影响不同离子气体的相态演化。

Comments Accepted to ApJ. 22 pages, 11 figures

详情
AI中文摘要

围绕$z=1$时六个多星系际介质在高时间分辨率下的演化,发现其热力学和运动学特性随时间变化,反馈机制驱动气体加热和喷射,影响不同离子气体的相态演化。

英文摘要

The circumgalactic medium (CGM) is known to contain multiphase gas in various stages of evolution and interaction with the galaxy. In order to characterize its detailed behavior on short timescales, we use a subregion of the TNG100 cosmological simulation to study the evolution of the $z=1$ CGM around six galaxies in $10^{11.5}-10^{12}$ $M_{\odot}$ halos at a high time cadence of $\approx2$ Myr. We use Monte Carlo tracer particles to follow this CGM gas forward in time in a Lagrangian way and determine how its thermodynamic and kinematic properties change. We find that CGM gas mixes between different temperature and density phases quickly and within $\approx500$ Myr evolves into distinct cold ($T\approx10^4$ $\rm{K}$) and warm-hot ($T\approx10^{5.5}$ $\rm{K}$) phases at small and large distances from the galaxy, respectively, regardless of its initial ($z=1$) halo-centric radius. This is largely driven by feedback from the galaxy, which heats and ejects cold gas that had previously cooled and accreted toward and occasionally into the galaxy from the outer CGM. We see signatures of this process in autocorrelations of kinematic quantities, which take $\approx400$ Myr to fully decorrelate from their initial values, suggesting a timescale over which feedback disrupts and reprocesses CGM gas. We also examine gas in narrow temperature and density ranges associated with commonly observed ions and find that gas that is O VI-like stays in its phase for hundreds of Myr longer than gas that is Mg II-like or C IV-like, suggesting that CGM observations of different species could probe gas in different evolutionary states, even if the gas is cospatial.

2604.24237 2026-05-08 cs.DS

Computational Complexity of the Interval Ordering Problem

区间排序问题的计算复杂性

Simeon Pawlowski, Vincent Froese

AI总结 本文研究了由Dürr等人提出的区间排序问题,通过动态规划方法在多项式时间内解决特定成本函数下的优化问题,并证明了某些函数的NP难性。

详情
AI中文摘要

我们研究了Dürr等人[Discrete Appl. Math. 2012]提出的区间排序问题,该问题受生物信息学应用的启发。任务是给定n个区间,以最小化某个由给定成本函数f定义的目标函数。我们开发了一种动态规划方法,该方法通过O(2^n poly(n))次对f的调用和算术运算来解决该问题。此外,我们的方法为所有满足f-f(0)为亚加性或超加性的成本函数f提供了多项式时间算法。这回答了对于f(x)=2^x函数的开放问题。我们通过证明任何仅通过oracle访问解决该问题的算法的运行时间下界为2^{n-1},并进一步证明某些简单函数类的NP难性,从而显著缩小了该问题计算复杂性的差距。

英文摘要

We study an interval ordering problem introduced by Dürr et al. [Discrete Appl. Math. 2012] which is motivated by applications in bioinformatics. The task is to order a given set of n intervals with the goal of minimizing a certain objective which is defined via a given cost function $f$ which assigns a cost to the exposed part of each interval (that is, the pieces not covered by previous intervals). We develop a dynamic programming approach which solves the problem with $O(2^n\text{poly}(n))$ oracle calls to $f$ and arithmetic operations. Moreover, our approach yields polynomial-time algorithms for all cost functions $f$ such that $f-f(0)$ is subadditive or superadditive. This answers an open question for the function $f(x)=2^x$. We contrast these results by proving a running time lower bound of $2^{n-1}$ for any algorithm that solves the problem for every function $f$ (with oracle access only) and further proving NP-hardness for some classes of simple functions. Thus, we significantly narrow the gap regarding the computational complexity of the problem.

2604.23889 2026-05-08 math.OC

Learning to Control Stabilization in Column Generation

学习控制列生成中的稳定化

Olivia Wang, Reem Khir

AI总结 本文提出一种统一的平滑与惩罚框架,通过双参考点和稳定化参数设计,改进列生成的收敛性,并提出基于强化学习的自适应稳定化方法,在切割问题中显著提升效率。

详情
AI中文摘要

列生成是一种用于大规模线性规划的分解技术,但其收敛速度慢,主要由于初始对偶估计差和对偶震荡。平滑和惩罚技术可缓解这些问题,但其效果依赖于参数选择。本文提出一个统一框架,表明尽管机制不同,两者均受双设计选择控制:对偶空间中的参考点和调节参考点影响定价的稳定化参数。在此框架下,我们推导了参数界以确保进展,分析了预测对偶作为参考点,并为两种方法建立了收敛性保证。这些结果促进了RLSCG框架的设计,该框架通过强化学习自适应选择稳定化参数。在切割问题上的计算实验表明,RLSCG在大多数合成和基准实例中显著减少了迭代次数和计算时间,尤其在大规模实例中效果最佳。

英文摘要

Column generation is a widely used decomposition technique for large-scale linear programs, but it often suffers from slow convergence due to poor initial dual estimates and dual oscillations. Stabilization techniques such as smoothing and penalization can mitigate these issues, but their effectiveness depends heavily on parameter selection, which requires careful tuning to avoid degrading performance. This paper presents a common framework for smoothing and penalization, showing that despite their different mechanisms, both are governed by two design choices: a reference point in the dual space and stabilization parameters that regulate how strongly that reference influences pricing. Within this framework, we derive parameter bounds that ensure progress, analyze predicted duals as reference points, and establish convergence guarantees for both methods. These results motivate and guide the design of RLSCG, a reinforcement learning-guided framework that adaptively selects stabilization parameters at each iteration. Computational experiments on the Cutting Stock Problem show that RLSCG substantially reduces iteration count and computation time on most synthetic and benchmark instances relative to traditional column generation, rule-based adaptive stabilization, and learning-based column selection, with the largest gains on large-scale instances.

2604.22009 2026-05-08 hep-th gr-qc

Black Hole Response Theory and its Exact Shockwave Limit

黑洞响应理论及其精确冲击波极限

Lara Bohnenblust, Carl Jordan Eriksen, Jitze Hoogeveen, Gustav Uhre Jakobsen, Jan Plefka

AI总结 本文发展了适用于引力自力展开的黑洞响应世界线量子场论,通过消除世界线和引力子涨落,得到连接的引力子响应函数,用于系统性地计算引力自力展开。

Comments 67 pages, 3 figures; v2: fixed typos, added references

详情
AI中文摘要

我们发展了适用于引力自力展开的黑洞响应世界线量子场论(WQFT)。通过消除世界线和引力子涨落,得到连接的引力子响应函数:零阶响应一阶函数编码精确背景度规,一阶响应二阶函数描述引力波对黑洞的散射,高阶函数提供有效顶点用于系统性引力自力展开。作为首次应用,我们考虑无质量初级源,对应Aichelburg-Sexl冲击波或超高速黑洞。我们证明一阶响应重新求和到精确冲击波度规,且重新求和的探测顶点再现此背景中的精确测地线。然后我们精确计算离壳引力子二阶响应,通过重新求和完整的后闵氏级数。对于本征外部引力子,这给出冲击波背景中引力波散射的精确转移矩阵,包括反冲。PM展开在紧凑形式中指数化,其中Born项被整体相位修饰,包括Weinberg相位。我们的结果为未来高能 regime 中观测量如冲量和波形的1SF计算提供了基本WQFT成分。

英文摘要

We develop a black hole response formulation of worldline quantum field theory (WQFT) adapted to the gravitational self-force expansion. Integrating out the worldline and graviton fluctuations yields connected graviton response functions: the "zeroth response" one-point function encodes the exact background metric, the "first response" two-point function describes the scattering of a gravitational wave off the black hole, and higher-point functions provide effective vertices for a systematic gravitational self-force (SF) expansion. As a first application, we consider a massless primary source, corresponding to the Aichelburg-Sexl shockwave or an ultra-boosted black hole. We show that the one-point response resums to the exact shockwave metric and that the resummed probe vertices reproduce the exact geodesics in this background. We then compute the off-shell graviton two-point response exactly in the gravitational coupling $G$ by resumming the full post-Minkowskian series. For on-shell external gravitons this yields the exact transfer matrix for gravitational-wave scattering off the shockwave, including recoil. The PM expansion exponentiates to a compact form in which the Born term is dressed by an overall phase which includes the Weinberg phase. Our results provide the basic WQFT ingredients for future 1SF computations of observables such as the impulse and waveform in the ultra high-energy regime.

2604.21412 2026-05-08 cs.CY

A pragmatic classification framework for AI incident monitoring

一种实用的AI事件监控分类框架

Isaak Mengesha, Branwen Owen, Charlie Collins, Tina Wong, Simon Mylius, Peter Slattery, Sean McGregor

AI总结 本文提出一种分类框架,用于分析AI事件随时间变化的趋势,通过结构化问题、分层估计过程和分类方案,提升AI治理的实用性。

详情
AI中文摘要

事件监控可以推动高可靠行业和大规模技术的安全改进,但在AI治理中仍不完善。公共数据库收录了数千起AI事件,但简单的事件计数会混淆媒体报道倾向、系统部署('暴露')和每单位暴露的伤害频率。我们提出一种方法论框架,考虑这些因素并校准对可用证据的信心,以分析AI事件如何随时间变化。该框架包含三个组成部分:定义分析范围的结构化监控问题;分层估计过程,分别推导伤害和暴露趋势,包括通过LLM辅助过滤公共事件数据库;以及将结果趋势估计映射到可操作治理类别(升级、缓解、集中、退化或无法分类)的分类方案。通过案例研究,我们检验了该框架的澄清力和局限性,展示了在现实数据限制下治理洞察的证明概念,并提供了AI事件监控作为实用治理工具的证明。

英文摘要

Incident monitoring can drive safety improvements in high-reliability industries and population-scale technologies, but remains underdeveloped in AI governance. Public databases catalog thousands of AI incidents, but simple incident counts conflate media reporting propensity, system deployment ("exposure"), and harm frequency per unit exposure. We propose a methodological framework that accounts for these factors and calibrates confidence to available evidence in analyzing how AI incidents change over time. The framework comprises three components: a structured monitoring question that defines the scope of the analysis; a tiered estimation process that separately derives harm and exposure trends, including through LLM-assisted filtering of public incident databases; and a classification scheme that maps the resulting trend estimates onto actionable governance categories (Escalating, Mitigating, Concentrating, Receding or Unclassifiable). Through case studies, we examine the framework's clarifying power and limitations, demonstrate governance insight despite real-world data constraints, and provide a proof of concept for AI incident monitoring as a practical governance tool.

2604.18114 2026-05-08 hep-th

On the frame-like multispinor formalism for massive higher spins in d=4

关于四维中质量型高自旋场的架-like多旋量形式化

Yu. M. Zinoviev

AI总结 本文通过显式解四维中质量型高自旋场的本征约束,提出一种架-like、 gauge不变的描述方法,解决了现有文献中的空白问题,并展示了如何求解展开方程以确定非零本征场的高阶导数。

Comments v.2 21 pages, expanded by more technical details

详情
AI中文摘要

在本文中,我们通过提供一个显式的解来填补现有文献中关于高自旋的空白,即给出了四维中质量型高自旋场的本征约束的显式解。我们从质量自旋2和质量自旋5/2作为简单的例子开始,然后考虑任意整数和半整数自旋。我们还展示我们的结果允许我们找到所谓的展开方程的显式解,这些方程决定了所有非零本征场的高阶导数。

英文摘要

In this paper, we fill some gap in the existing literature on higher spins by presenting an explicit solution to the on-shell constraints for a frame-like, gauge invariant description of massive, higher spin fields in d=4. We begin with the massive spin 2 and massive spin 5/2 as simple illustrations, and then consider arbitrary integer and half-integer spin. We also show that our results allow us to find explicit solutions to the so-called unfolded equations that determine all higher-order derivatives of the physical field that are non-zero on-shell.

2604.17508 2026-05-08 cs.SE

Augmenting unit test suites from integration tests

从集成测试增强单元测试套件

Katerina Paltoglou, Vassilis E. Zafeiris

AI总结 本文提出利用静态和动态分析生成单元测试的方法,针对测试金字塔结构不合规的测试套件,通过集成测试生成隔离的组件依赖测试,提升覆盖率和故障定位能力。

Comments Revised version with additional figures and algorithms to clarify the proposed methodology

详情
AI中文摘要

我们提出一种方法,利用静态和动态分析来增强测试套件中的自动生成单元测试。该方法最适合用于测试套件中单元、集成和系统测试的分层不遵循推荐的测试金字塔结构的情况:大量单元测试提供高代码覆盖率并形成基础,较少的集成测试在中间验证组件协作,以及极少数的系统或UI测试在顶部测试接受或其他使用场景。相反,集成和系统测试代表了大多数测试用例,导致粒度粗、故障定位困难和执行时间长。该方法利用集成测试,测试组件及其依赖项,以生成验证组件依赖项隔离的单元测试。我们展示了并在Node.js平台上实证评估了所提出的方法,尽管它可以被移植和适应到其他语言和平台。评估基于一个作为Node.js工具实现的研究原型,并在十二个开源JS应用(基准项目)的上下文中进行。评估结果支持我们方法的有效性和实用性。

英文摘要

We propose a method that employs static and dynamic analysis for augmenting a test suite with automatically generated unit tests. The method is most suitable for test suites where the stratification of unit, integration and system tests does not conform to the recommended test pyramid structure: numerous unit tests providing high code coverage and forming the base, fewer integration tests in the middle that verify component collaboration, and far fewer system or UI tests at the top that exercise acceptance or other scenarios of use. Instead, integration and system tests represent the majority of test cases, resulting in coarse-grained tests with limited fault localization and longer execution times. The method leverages integration tests, exercising a component and its dependencies, to generate unit tests that verify component dependencies in isolation. We showcase and empirically evaluate the proposed method in the Node.js platform, although it can be ported and adapted to other languages and platforms. The evaluation is based on a research prototype implemented as a Node.js tool and is conducted in the context of twelve open source JS applications (benchmark projects). Evaluation results support the effectiveness and practicality of our approach.