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

AppAgent-Claw: CLI Is All You Need for GUI Automation

AppAgent-Claw:CLI 即 GUI 自动化所需的一切

Zhixue Song, Zhiheng Zhang, Yi Song, Chi Zhang

AI总结 提出 AppAgent-Claw 系统,通过演示驱动将 GUI 工作流转换为可复用的 CLI 技能,无需运行时推理,实现高效、可靠的 GUI 自动化。

Comments 13 pages, 1 figure, 8 tables. Preprint

详情
AI中文摘要

OpenClaw 平台通过其面向技能的架构为自动化提供了实用基础,将外部能力组织为轻量级、可复用的组件,可通过命令行界面(CLI)高效调用。然而,一个显著的瓶颈依然存在:许多现实世界任务局限于图形用户界面(GUI),且没有稳定的 API 可用。虽然基于 LLM 的 GUI 代理提供了通用性,但它们依赖重复的实时模型推理,导致速度慢、成本高且不一致,无法作为高效的 OpenClaw 技能。在本文中,我们提出 AppAgent-Claw,一个演示驱动系统,可将 GUI 工作流转换为可靠、可复用的技能,无需运行时推理。通过遵循“一次记录,多次回放”的范式,系统捕获丰富的上下文元数据以促进稳健执行。它采用分层定位策略来处理视觉变化,并采用验证耦合执行模型来确保预期的屏幕效果。AppAgent-Claw 为将 GUI 绑定任务集成到 OpenClaw 生态系统中提供了实用、高效且可诊断的解决方案。

英文摘要

The OpenClaw platform provides a practical foundation for automation through its skill-oriented architecture, organizing external capabilities into lightweight, reusable components that can be invoked efficiently through a command-line interface (CLI). However, a significant bottleneck remains: many real-world tasks are confined to graphical user interfaces (GUIs) with no stable API available. While LLM-based GUI agents offer generality, their reliance on repeated live model inference makes them too slow, costly, and inconsistent to serve as efficient OpenClaw skills. In this paper, we present AppAgent-Claw, a demonstration-driven system that converts GUI workflows into reliable, reusable skills without runtime inference. By following a ``record-once, replay-many'' paradigm, the system captures rich contextual metadata to facilitate robust execution. It employs a layered localization strategy to handle visual shifts and a validation-coupled execution model to ensure intended on-screen effects. AppAgent-Claw provides a practical, efficient, and diagnosable solution for integrating GUI-bound tasks into the OpenClaw ecosystem.

2605.03995 2026-06-05 quant-ph physics.optics

Quantum Dispersive Waves and Multimode Squeezing in Pure-Kerr Parametrically Driven Cavity Solitons

纯Kerr参量驱动腔孤子中的量子色散波和多模压缩

Rafael Romero Mendez, Sashank Kaushik Sridhar, Samyak Gothi, Pradyoth Shandilya, Yichen Shen, Curtis Menyuk, Avik Dutt

AI总结 本文首次给出纯Kerr参量驱动腔孤子的多模量子描述,揭示阈值以下的单模和双模压缩以及阈值以上的新型量子色散波,并展示高达20 dB的压缩。

Comments 12 pages, 8 figures

详情
AI中文摘要

参量驱动腔孤子(PDCS)与单泵浦腔孤子不同,是由参量过程产生的局域光脉冲。这些腔孤子最近在纯Kerr介质中被发现,为非线性动力学研究和计量学提供了巨大前景。在此,我们首次给出纯Kerr PDCS的多模量子描述。在阈值以下区域,我们验证了单模和双模压缩,而在阈值以上,我们发现了新颖的“量子”色散波——孤子切连科夫辐射的量子类似物。除了揭示这些未探索的量子性质,我们还展示了PDCS产生高达20 dB的压缩,仅受限于过耦合和固有损耗(对于实验常规参数)。因此,我们为在这些系统中观测强多模量子噪声降低提供了途径。

英文摘要

Parametrically driven cavity solitons (PDCS), unlike single-pumped cavity solitons, are localized optical pulses arising from parametric processes. These cavity solitons, recently discovered in pure-Kerr media, offer great promise for nonlinear dynamics studies and metrology. Here, we present the first multimode quantum description of pure-Kerr PDCS. In the below threshold regime, we verify single- and two-mode squeezing, while above threshold we uncover novel "quantum" dispersive waves - the quantum analog of soliton Cherenkov radiation. Besides revealing these unexplored quantum properties, we show that PDCS generates up to 20 dB of squeezing, only limited by overcoupling and intrinsic losses for experimentally routine parameters. We therefore provide a pathway to observe strong multimode quantum noise reduction in these systems.

2606.05153 2026-06-05 physics.comp-ph cond-mat.soft physics.bio-ph physics.soc-ph

GEMINI: Generalized Ensnarlment Measure from Incomplete-linkage of Network-network Interactions

GEMINI:网络-网络相互作用不完全链接的广义纠缠度量

Yu Tian, Chinmayi Subramanya, Carl D. Modes

AI总结 提出GEMINI算子,通过不完全高斯链接积分量化空间嵌入网络中边之间的拓扑与几何关联,用于表征网络结构的复杂性。

Comments 32 pages, 14 figures

详情
AI中文摘要

空间嵌入网络是许多物理和生物系统的核心,其中几何和连接性共同塑造结构和功能。从细胞中网络状的膜结合细胞器到器官中多个不同流动网络的中尺度组织,生物组织的各个尺度上都有大量例子。在这些案例中,架构的复杂性迄今为止阻碍了我们将这些结构的机制或调控与简化建模甚至相关表征联系起来,使得结构-功能关系在很大程度上难以触及。复杂的、功能性的空间网络可以分解为树状和环状子结构,但我们仍然缺乏对这些元素如何交织以产生功能的理解,也缺乏在完整的网络背景下整体量化这些特征的拓扑和几何方面的工具。为了填补这一空白,我们在这里引入GEMINI,一个拓扑和几何感知算子,它直接表征空间嵌入网络架构中边之间的不完全链接和更一般的空间关联。GEMINI通过不完全版本的高斯链接积分包含边-边关联信息,这同时赋予它在边集合形成链接组合时对拓扑的敏感性。在合成晶格和小鼠脑血管数据上的验证表明,GEMINI系统地捕获和分类了结构组织的复杂性。我们的结果为分析现实数据中的空间网络提供了一种通用方法,其中拓扑和几何共同决定功能,从而为更全面地理解复杂网络组织是关键的大量生物实例中的结构-功能关系打开了大门。

英文摘要

Spatially embedded networks are central to many physical and biological systems, where geometry and connectivity jointly shape structure and function. Examples abound across the scales of biological organization, from network-like membrane-bound organelles in the cell to mesoscale tissue organization of multiple distinct flow networks in organs and beyond. In each of these cases, the complexity of the architectures has heretofore frustrated our ability to link mechanism or regulation of these structures to reduced modeling or even relevant characterization, putting structure-function relationships largely out of reach. Complex, functional spatial networks can be decomposed into tree-like and cyclic substructures, but we still lack both an understanding of how these elements intertwine to give rise to function, and the tools to holistically quantify both the topological and geometric aspects of these features in their full network context. To close this gap, we here introduce GEMINI, a topology and geometry aware operator that directly characterizes incomplete linking and more general spatial associations between edges in spatially embedded network architectures. GEMINI contains information on edge-edge association through an incomplete version of the Gauss linking integral which simultaneously endows it with topological sensitivity when collections of edges form linked assemblages. Validation on both synthetic lattices and on mouse brain vasculature data demonstrates that GEMINI systematically captures and classifies the complexity of structural organizations. Our results provide a general approach for analyzing spatial networks in realistic data, where topology and geometry together determine function, thus opening the door to a more complete understanding of structure-function relationships across a broad set of biological examples where complex network organization is key.

2606.05120 2026-06-05 stat.ME

Stochastic Sensitivity Analysis for Matched Observational Studies

匹配观察性研究的随机敏感性分析

Mengqi Lin, Colin B. Fogarty, Gongjun Xu

AI总结 针对匹配观察性研究,提出一种随机敏感性分析方法,通过将未测量混杂因素视为随机变量并寻找最坏条件分布,在允许隐藏偏差与潜在结果不完全对齐的情况下评估研究对未测量混杂的稳健性。

详情
AI中文摘要

敏感性分析探讨需要多强的未测量混杂才能解释观察性研究的结论。匹配研究中的传统方法在给定潜在结果以及观测和未观测混杂因素的条件下进行推断,然后针对未观测混杂因素的所有可能实现,找到条件处理分配的最坏情况分布。由此产生的最坏情况分配设想潜在结果与隐藏偏差之间存在强、近乎完美的相关性。我们提出一种随机敏感性分析,其目标是在给定潜在结果和观测混杂因素的条件下进行推断,同时将隐藏混杂因素视为具有未知条件分布的随机变量。我们不是寻找隐藏混杂因素的最坏情况实现,而是确定一个广泛分布类别上的最坏条件分布。这保留了敏感性分析的对抗性精神,同时允许隐藏偏差与潜在结果之间存在不完全对齐,其程度由标量敏感性参数控制。我们考虑对无参数假设的可解释类别和伯努利条件分布类别施加限制。设计敏感性计算和真实数据演示表明,与传统方法相比,即使允许很小程度的随机性,也能显著提高报告的对隐藏偏差的稳健性。

英文摘要

Sensitivity analysis asks how strong unmeasured confounding needs to be to explain away an observational study's conclusion. The conventional approach in matched studies conducts inference conditional upon the potential outcomes as well as both observed and unobserved confounders, and then finds the worst-case distribution for the conditional treatment assignments across all possible realizations of the unobserved confounder. The resulting worst-case allocation imagines strong, near perfect, correlations between the potential outcomes and hidden bias. We propose a stochastic sensitivity analysis that instead targets inference conditional upon potential outcomes and observed confounders while treating the hidden confounders as random with unknown conditional laws. Rather than finding the worst-case realizations for the hidden confounders, we instead determine the worst-case conditional law over a broad class of distributions. This preserves the adversarial spirit of sensitivity analysis while allowing for imperfect alignment between hidden bias and potential outcomes to a degree controlled by a scalar sensitivity parameter. We consider restrictions to both an interpretable class with no parametric assumptions and a Bernoulli class of conditional laws. Design sensitivity calculations and real-data demonstrations illustrate that allowing for even a small degree of stochasticity can materially increase reported robustness to hidden bias relative to the conventional approach.

2606.05105 2026-06-05 math.MG math.NT math.PR

Stochastically evolving ellipsoids with symmetries

具有对称性的随机演化椭球

Elisha B. Abuya, Nihar Gargava, Yufei Zhao

AI总结 通过引入Venkatesh的割圆对称性,改进Klartag的随机椭球演化过程,证明了存在一个普适常数c>0,使得在无穷维序列N上,R^N中存在密度至少为c N^2 log log N 2^{-N}的格球堆积。

Comments Statement of AI use included. The first author is using a pseudonym. Chat log is in the ancillary files as a pdf

详情
AI中文摘要

我们证明存在一个普适常数 $c > 0$,使得沿着无穷维序列 $N$,在 $\mathbb{R}^N$ 中存在密度至少为 $c N^2 \log\log N \, 2^{-N}$ 的格球堆积,将 Klartag 先前的最佳界改进了一个 $\log\log N$ 因子。证明遵循 Klartag 的随机椭球演化过程,并受 Venkatesh 引入的割圆对称性约束。

英文摘要

We prove that there is a universal constant $c > 0$ such that, along an infinite sequence of dimensions $N$, there are lattice sphere packings in $\mathbb{R}^N$ of density at least $c N^2 \log\log N \, 2^{-N}$, improving the previous best bound due to Klartag by a $\log\log N$ factor. The proof follows Klartag's stochastic ellipsoid evolution process, subject to the cyclotomic symmetries introduced by Venkatesh.

2606.05086 2026-06-05 hep-th

Fermionic Kaluza-Klein mode mixing in braneworlds

膜世界中费米子Kaluza-Klein模式混合

Chun-E Fu, Wen-Xuan Ma

AI总结 研究厚膜世界模型中背景扰动导致的费米子Kaluza-Klein模式混合,通过精确奇异值分解揭示宇称依赖的耦合与空间极化现象。

详情
AI中文摘要

我们研究了在厚膜世界模型中,受一般背景扰动影响的费米子Kaluza-Klein (KK) 模式混合。通常,孤立的静态背景完全由类薛定谔公式描述,该公式给出一个未扰动的KK本征态正交基。然而,一般扰动沿额外维度具有非平凡的空间分布。当完整的相互作用狄拉克算子在这个原始基中展开时,空间变化不可避免地导致不同KK能级之间的重叠积分非零,从而在四维有效质量矩阵中诱导出非对角耦合。因此,原始本征态不再是扰动系统的精确物理本征模。为了严格保持底层的五维手征结构并解析真实的物理态,我们对完整的非对角狄拉克质量矩阵采用了精确的奇异值分解(SVD)。我们的精确分析表明,这种模式混合对质量本征值引入了微小但结构化的修正。具体而言,奇宇称扰动算子严格诱导保持宏观Z2空间对称性的同宇称混合,而偶宇称算子则触发破坏Z2对称性的交叉宇称混合,导致KK概率密度的严重空间极化。从现象学角度看,这种极化将波函数向膜方向移动,将概率零点变为非零值,从而直接照亮了先前“暗”的KK模式。

英文摘要

We investigate fermionic Kaluza-Klein (KK) mode mixing in thick braneworld models subjected to generic background perturbations. Conventionally, isolated static backgrounds are completely described by a Schroedinger-like formulation, which yields an unperturbed orthogonal basis of KK eigenstates. However, generic perturbations possess a non-trivial spatial profile along the extra dimension. When the full interacting Dirac operator is expanded in this original basis, the spatial variation inevitably yields non-vanishing overlap integrals between distinct KK levels, thereby inducing off-diagonal couplings in the 4D effective mass matrix. Consequently, the original eigenstates are no longer exact physical eigenmodes of the perturbed system. To rigorously preserve the underlying 5D chiral structure and resolve the true physical states, we employ an exact Singular Value Decomposition (SVD) of the full, off-diagonal Dirac mass matrix. Our exact analysis reveals that this mode mixing introduces small but highly structured corrections to the mass eigenvalues. Specifically, parity-odd perturbation operators strictly induce same-parity mixing that preserves the macroscopic Z2 spatial symmetry, whereas parity-even operators trigger cross-parity mixing that shatters the Z2 symmetry, resulting in severe spatial polarization of the KK probability densities. Phenomenologically, such polarization shifts the wave functions toward the brane, turning probability zeros into non-zero values, which directly illuminates previously "dark" KK modes.

2606.05069 2026-06-05 cs.SI cs.CY

Federating Governance: How Community Rules Scale with Mastodon Instances

联邦治理:社区规则如何随 Mastodon 实例扩展

Rasika Muralidharan, Yong-Yeol Ahn, Bao Tran Truong

AI总结 通过分析不同规模 Mastodon 服务器的社区规则,研究内部规模压力(而非外部联邦交互)如何主导去中心化社交媒体治理的规则形式化、主题多样性和可读性。

Comments Accepted to CSCW 2026 at Salt Lake City, Utah, USA

详情
AI中文摘要

Mastodon 和 Bluesky 等去中心化社交媒体平台的兴起凸显了扩展自我治理和内容审核的挑战。随着社区的发展,它们面临需要日益复杂的治理结构的新问题。然而,由于审核主要由志愿者驱动,关于社区规则和审核实践应如何随增长而演变的正式指导有限。本研究通过分析不同规模服务器上的社区规则,调查了审核如何随 Mastodon 实例扩展。我们对这些规则进行分类以识别关键的治理优先级,并发现这些优先级在实例规模之间显著一致:无论规模大小,针对问题内容(如骚扰、仇恨言论和非法内容)的规则都占主导地位。虽然较小的社区关注较窄的主题集,但较大的服务器则更均衡地覆盖广泛的主题。我们对规则形式化的分析表明,社区规模强烈预测规则的发展。随着实例的增长,其规则变得更加广泛和主题多样化,但也表现出较低的可读性和语言多样性。相比之下,外部联邦交互的作用有限,主要与更广泛的规则范围相关,而不会实质性地影响规则的多样性或形式。这些发现凸显了内部因素与外部因素的相对影响,表明在去中心化社交媒体治理中,本地扩展压力超过了网络级动态。在 Mastodon 上观察到的扩展模式与之前在 Reddit 等中心化平台上识别的模式相似,表明社区规模对自我治理施加了超越平台架构的基本约束。

英文摘要

The rise of decentralized social media platforms like Mastodon and Bluesky highlights the challenge of scaling self-governance and moderation. As communities grow, they face new issues that demand increasingly complex governance structures. However, as moderation is mainly volunteer-driven, there is limited formal guidance on how community rules and moderation practices should evolve with growth. This study investigates how moderation scale with Mastodon instances by analyzing community rules across servers of varying sizes. We categorize these rules to identify key governance priorities and find that these priorities are remarkably consistent across instance sizes: rules addressing problematic content, such as harassment, hate speech, and illegal content, dominate regardless of scale. While smaller communities focus on narrower sets of topics, larger servers maintain a more balanced coverage of a broad range of topics. Our analysis of rule formalization reveals that community size strongly predicts rule development. As instances grow, their rules become more extensive and topically diverse, but also exhibit lower readability and linguistic diversity. In contrast, external federation interactions have a limited role, mainly associated with a broader scope of rules without substantially affecting their diversity or form. These findings highlight the relative influence of internal versus external factors, suggesting that local scaling pressures outweigh network-level dynamics in decentralized social media governance. The scaling pattern observed on Mastodon resemble those previously identified on centralized platforms such as Reddit, suggesting that community size imposes fundamental constraints on self-governance that transcend platform architectures

2606.04938 2026-06-05 hep-th

AdS$_9$ solutions in type II supergravities

II型超引力中的AdS$_9$解

Giuseppe Dibitetto, Nicolò Petri

AI总结 在II型超引力中构造了以区间为卷曲的AdS$_9$几何,分析了IIB型中由非平凡轴子-膨胀子背景支撑的解及其性质,以及大质量IIA型中由Romans质量和膨胀子支撑的AdS$_9$背景,并识别了微扰dS$_9$解。

Comments 8 pages, 5 figures. v2: refs. added

详情
AI中文摘要

我们在II型超引力中提出了新的解,描述了以区间为卷曲的AdS$_9$几何。在IIB型中,我们构建了一个由非平凡轴子-膨胀子轮廓支撑的解析背景族。尽管在区间两端存在强耦合奇点,这些解仍具有有限的欧几里得在壳作用和有限的全息中心荷。此外,它们具有$\mathbb Z_2$对称性,其中轴子变换为$C_0 ightarrow -C_0$。我们还研究了由Romans质量和膨胀子支撑的大质量IIA超引力中的AdS$_9$背景。数值积分揭示了具有强耦合奇点的解,其渐近行为与特征性的D8/O8轮廓一致。与IIB型情况相反,我们的分析表明欧几里得在壳作用发散。最后,我们在质量IIA超引力中识别了一族微扰dS$_9$解。

英文摘要

We present new solutions in type II supergravities describing AdS$_9$ geometries warped over an interval. In type IIB, we construct an analytic family of backgrounds supported by a non-trivial axio-dilaton profile. Despite the presence of strong-coupling singularities at both ends of the interval, these solutions exhibit both a finite Euclidean on-shell action and a finite holographic central charge. Moreover, they possess a $\mathbb Z_2$ symmetry under which the axion transforms as $C_0\rightarrow -C_0$. We also investigate AdS$_9$ backgrounds in massive IIA supergravity supported by the Romans mass and the dilaton. Numerical integration reveals solutions with a strong-coupling singularity whose asymptotic behavior is consistent with the characteristic D8/O8 profile. In contrast to the type IIB case, our analysis indicates that the Euclidean on-shell action diverges. Finally, we identify a family of perturbative dS$_9$ solutions in massive IIA supergravity.

2606.04933 2026-06-05 hep-th

$\text{AdS}_D\times I$ solutions in axio-dilaton gravity

轴子-膨胀引力中的 $\mathrm{AdS}_D\times I$ 解

Giuseppe Dibitetto, Nicolò Petri

AI总结 研究非超对称 $\mathrm{AdS}_D\times I$ 解,通过将运动方程重构为一阶自治动力系统,分析固定点及其稳定性,并给出包括 IIB 超引力中 $\mathrm{AdS}_9\times I$ 背景在内的若干解析解类。

Comments 30 pages, 8 figures. v2: refs. added

详情
AI中文摘要

我们在 $(D+1)$ 维引力耦合轴子-膨胀系统的背景下研究非超对称 $\mathrm{AdS}_D\times I$ 解,其中膨胀子具有任意逃逸势,且膨胀子与轴子动能具有任意指数耦合。我们分析运动方程,将其重构为一阶自治动力系统,并讨论固定点集、它们的物理解释及稳定性条件。我们找到了对任意 $D$ 成立的几类特殊解析解,包括 IIB 型超引力中的 $\mathrm{AdS}_9\times I$ 背景。最后,我们讨论了包括大规模 IIA 超引力情况在内的数值流的性质。

英文摘要

We study non-supersymmetric $\mathrm{AdS}_D\times I$ solutions in the context of $(D+1)$ dimensional gravity coupled to an axio-dilaton with arbitrary runaway potential for the dilaton and arbitrary exponential coupling of the dilaton to the axion kinetic energy. We analyze the equations of motion, reformulate them in terms of a first order autonomous dynamical system, and discuss the set of fixed points, their physical interpretation and their stability conditions. We find a few special classes of analytic solutions for arbitrary $D$, including $\mathrm{AdS}_9\times I$ backgrounds in type IIB supergravity. We conclude by discussing the properties of numerical flows including the massive IIA supergravity case.

2606.04901 2026-06-05 cs.CR

CLIF: Cross-layer LEO-ISL Fingerprinting for Physical and Network Attack Detection in Dense LEO Constellations

CLIF:面向密集LEO星座中物理与网络攻击检测的跨层LEO-ISL指纹识别

Varun Kohli, Arijit Bhattacharjee, Samar Shailendra, Biplab Sikdar

AI总结 提出一种跨层轻量行为指纹框架,融合物理层与网络层数据,在低计算开销下检测LEO星座中的欺骗、流量操纵和路由颠覆等攻击,基于马氏距离的检测器在Starlink、Kuiper和多运营商场景中分别达到99.5%、99.4%和94.8%的召回率,假阳性率低于0.7%。

详情
AI中文摘要

低地球轨道(LEO)巨型星座(如SpaceX的Starlink和Amazon的Kuiper)依赖光星间链路(ISL)进行自主网状路由,以提供全球低延迟电信、物联网(IoT)和安全服务。随着商业运营商和政府部署日益密集的星座并形成多运营商对等联盟,ISL的完整性对商业可用性和国家安全都变得至关重要。然而,LEO星座缺乏真实世界数据,且现有的实时安全方法严格专注于物理层安全,在网络层和复合攻击的覆盖上存在盲点。在本文中,我们提出一个跨层、轻量级的行为指纹框架,该框架融合星上物理层测量与网络层数据,以低计算开销检测异常。我们构建了一个轨道仿真,覆盖Starlink的第一壳层(1,584颗卫星)、Kuiper的第一壳层(1,156颗卫星)以及一个联合多运营商对等场景(2,740颗卫星),注入了十种攻击类型,涵盖不同严重程度的欺骗、流量操纵和路由颠覆。我们评估了三种无监督的每星检测器,其中基于马氏距离的检测器在Starlink上达到99.5%的召回率,在Kuiper上达到99.4%,在多运营商星座上达到94.8%,同时保持假阳性率(FPR)低于0.7%。我们的结果表明,跨层特征融合不仅对于LEO星座的全面安全是必要的,而且对于大规模网络具有高成本效益,同时适合资源受限卫星的严格星上能量预算。

英文摘要

Low-Earth Orbit (LEO) mega-constellations such as Starlink by SpaceX and Kuiper by Amazon rely on optical Inter-Satellite Links (ISLs) for autonomous mesh routing to provide low-latency telecommunication, Internet of Things (IoT), and security services globally. As commercial operators and governments deploy increasingly dense constellations and form multi-operator peering coalitions, ISL integrity becomes critical to both commercial availability and national security. However, there is a lack of real-world data for LEO constellations and existing real-time security approaches focus strictly on physical layer security, leaving blind spots in the coverage of network-layer and composite attacks. In this paper, we present a cross-layer, lightweight behavioral fingerprinting framework that fuses onboard physical-layer measurements with network-layer data to detect anomalies at low computational overhead. We construct an orbital simulation covering the first shells of Starlink (1,584 satellites), Kuiper (1,156 satellites), and a joint multi-operator peering scenario (2,740 satellites), injecting ten attack types that span spoofing, traffic manipulation, and routing subversion at varying severity. We evaluate three unsupervised, per-satellite detectors among which our Mahalanobis-distance-based detector achieves 99.5% recall on Starlink, 99.4% on Kuiper, and 94.8\% on the multi-operator constellation, while maintaining False Positive Rates (FPR) below 0.7%. Our results demonstrate that cross-layer feature fusion is not only necessary for comprehensive security of LEO constellations but highly cost-effective for large-scale networks while fitting into the strict onboard energy budgets of resource-constrained satellites.

2606.04899 2026-06-05 cs.CR

DIST-FL: Enhancing Security for TEE-based Aggregation in Federated Learning

DIST-FL:增强联邦学习中基于TEE的聚合安全性

Guanlong Wu, Ju Yang, Zhen Huang, Jianyu Niu, Guoxing Chen, Jianzong Wang, Yinqian Zhang

AI总结 针对服务器端对手利用TEE局限性(状态回滚和I/O操纵)攻击联邦学习的问题,提出DIST-FL分布式多TEE系统,通过操作线性化和可靠服务器输入实现鲁棒聚合,性能与单TEE相当且吞吐量提升6倍。

详情
AI中文摘要

可信执行环境(TEE)辅助的联邦学习协议成为应对服务器端对手并确保服务器可信性的有前途的解决方案。在本文中,我们剖析了现有协议,并证明服务器端对手仍可通过利用TEE的局限性(即状态回滚和I/O操纵)操纵客户端选择和重放聚合,从而破坏系统鲁棒性和隐私性。为此,我们提出了DIST-FL,一个由多个TEE守护的服务器分布式系统,形成仅追加账本,用于隐私保护且鲁棒的联邦学习聚合。具体而言,DIST-FL确保操作线性化以阻止状态回滚攻击,并整合来自可靠服务器的输入以缓解I/O操纵威胁。我们实现了DIST-FL并在广域网设置下进行了评估。实验结果表明,DIST-FL能有效应对所提出的攻击,性能与单TEE相当,同时利用TEE的计算优势,吞吐量比同类方案提升6倍。

英文摘要

Trusted Execution Environments (TEEs)-aided federated learning protocols emerge as promising solutions to counter server-side adversaries and ensure the trustworthiness of the server. In this paper, we dissect existing protocols and demonstrate that server-side adversaries can still manipulate client selection and replay aggregation to compromise system robustness and privacy, by exploiting TEE limitations, i.e., state rollback and I/O manipulation. To this end, we present DIST-FL, a distributed system of servers guarded by multiple TEEs forming an append-only ledger for privacy-preserved, robust FL aggregation. Specifically, DIST-FL ensures operation linearizability to thwart state rollback attacks and incorporates inputs from reliable servers to mitigate I/O manipulation threats. We implement DIST-FL and conduct evaluations in WAN settings. Experimental results demonstrate that DIST-FL can effectively counter the proposed attacks and match the single-TEE's performance while offering a 6x throughput boost over its counterparts, leveraging TEE's computational advantages.

2606.04882 2026-06-05 math.NA cs.NA

Arbitrary high order shaped stencils for time domain finite difference schemes in seismic wave propagation

地震波传播中时域有限差分格式的任意高阶形状模板

Pedro S. Peixoto, Felipe A. G. Silva

AI总结 本文提出一种通用数学框架,推导不同形状模板(十字、菱形、方形)的高阶空间有限差分格式,并通过Devito实现,证明非十字模板不提高精度,而色散优化的十字模板在紧凑模板上能以较低计算成本获得足够精度。

Comments 61 pages; 31 figures

详情
AI中文摘要

有限差分格式广泛用于近似不同的双曲(波状)微分方程,尤其对地震波模拟及其应用至关重要。基于泰勒级数的经典方法在文献中占主导地位;然而,已知这些方法可能遭受过度的数值色散。本文回顾并扩展了现有的声波传播高阶空间有限差分格式,采用从经典十字模板到菱形或方形模板的不同模板几何形状,并提出了一个通用的数学推导框架。数值实现在符号化、高级框架(Devito)中完成,该框架编译并运行高度优化的基于模板的计算,从而能够从底层解释方法的效率。我们证明,非十字模板形状(如菱形和方形模板)通常不会提供额外的精度或色散减少,尽管其计算成本更高。然而,在理想化和实际速度模型上的结果证实了使用色散优化的十字模板的优势,表明与经典方法相比,在更紧凑的模板上能以较低的计算成本获得足够的精度。最后,我们的方法实现使得使用Devito进行全尺度声学地震反演问题变得容易。

英文摘要

Finite Difference Schemes are widely used in the approximation of different hyperbolic (wave-like) differential equations, and are particularly important for seismic wave modelling and its applications. Classical methods based on Taylor Series are dominant in the literature; however, it is known that these methods can suffer from excessive numerical dispersion. In this paper, we review and extend existing high-order in space finite difference schemes for acoustic wave propagation, featuring different stencil geometries ranging from classical cross stencils to stencils with rhombus or square-like shapes, and propose a general mathematical framework for their derivation. The numerical implementation is performed in a symbolic, high-level framework (Devito), which compiles and runs highly optimized, stencil-based computations, allowing for a low-level interpretation of the methods efficiency. We demonstrate that non-cross stencil shapes, such as rhombus and square-based stencils, do not necessarily provide added accuracy or dispersion reduction in general, despite their increased computational cost. However, results on both idealized and realistic velocity models confirm the benefits of using dispersion-optimized cross-stencils, indicating adequate accuracy with reduced computational cost on more compact stencils compared to classic approaches. Finally, our implementation of the methods provides ease of use for full-scale acoustic seismic inversion problems using Devito.

2606.04692 2026-06-05 astro-ph.SR astro-ph.HE

Long-term investigation of gamma Cas analogs

γ Cas 类似物的长期研究

Yael Naze, Gregor Rauw, Robbie Webbe, Myron A. Smith, Christian Motch

AI总结 通过光谱和X射线监测,确认了五颗γ Cas类似星的双星性质并给出轨道解,发现X射线通量变化与光学变化的相关性,并揭示了HD162718的β Cep脉动特征。

Comments accepted for publication by A&A

详情
AI中文摘要

γ Cas类似星子类别包含具有明亮且硬X射线发射的Be星。这类天体预期存在长期变化,原因有二:它们的Be盘形成和消散,以及这类星被怀疑是长周期双星。本文分析了七个目标:其中五个受益于可见光波段的光谱监测(ESO、TIGRE和业余数据),三个在X射线波段被重复观测(使用XMM-Newton、Chandra和Swift)。还检查了宽波段测光数据。我们确认了五个目标(HD44458、HD110432、HD119682、HD161103和HD162718)的双星状态,并首次为它们全部提出了轨道解(其中两个仍是初步的)。它们的长周期(59-322天)和小速度振幅(K~5km/s)意味着低质量(~1 M_sol)伴星,与其他Be双星一致,并符合双星相互作用模型的预期。同时,在拥有大量X射线观测数据集的所有三个目标中检测到了X射线通量的变化。对于NGC 6649 9和HD162718,这些变化是适度的(三倍),并且与同时期的光学宽波段测光(保持相当稳定)不相关。相比之下,SS397的变化接近一个量级,并且最大且监测最好的X射线变化与光学变化良好相关。在最小通量时,SS397尽管具有接近正常的L_X/L_BOL比值,但仍保持硬X射线谱,这在γ Cas类似物中尚未见到。最后,HD161103、SS397和NGC 6649 9在短时间尺度上的测光行为似乎与宽频率群相关,正如Be星中典型发现的那样。HD162718的频率谱显示出(孤立的)周期性的复杂混合,主周期为6.658/天。因此,该目标是少数显示典型β Cep活动强高频信号的γ Cas类似星之一。

英文摘要

The subcategory of gamma Cas analogs gathers Be stars with bright and hard X-ray emission. Long-term variations are expected in such objects for two reasons: their Be disk builds and dissipates, and such stars are suspected long-period binaries. Seven targets are analysed in this paper: five of them benefit from a spectroscopic monitoring in the visible (ESO, TIGRE, and amateur data) and three of them have been repeatedly observed at X-ray wavelengths (using XMM-Newton, Chandra, and Swift). Broad-band photometric data are also examined. We confirm the binary status of five targets (HD44458, HD110432, HD119682, HD161103, and HD162718) and propose first orbital solutions for all of them (they remain preliminary for two cases). Their long periods (59-322 d) and small velocity amplitudes (K~5km/s) imply low-mass (~1 M_sol) companions, as in other Be binaries and in agreement with expectations from binary interaction models. In parallel, variations of the X-ray flux are detected in all three targets with a large dataset of X-ray observations. For NGC 6649 9 and HD162718, these changes are modest (a factor of three) and uncorrelated to simultaneous optical broad-band photometry (which remains rather stable). In contrast, SS397 varies by nearly one dex and the largest and best monitored X-ray changes correlate well with optical variations. At minimum flux, SS397 keeps a hard X-ray spectrum despite a nearly normal L_X/L_BOL ratio, which has not been seen yet among gamma Cas analogs. Finally, the photometric behaviours on short timescales of HD161103, SS397, and NGC 6649 9 appear linked to broad frequency groups, as typically found for Be stars. The frequency spectrum of HD162718 displays a complex mix of (isolated) periodicities with the main one at 6.658/d. This target is thus one of the rare gamma Cas analogs to display a strong high-frequency signal typical of beta Cep activity. [summarized]

2606.04577 2026-06-05 math.GR

Finite groups and rings generating varieties with rapid growth

生成具有快速增长的簇的有限群和环

Alexander Olshanskii

AI总结 研究有限泛代数生成的簇中自由代数的阶的增长速度,给出有限群和有限非结合代数达到最大增长(即Birkhoff不等式取等)的充要条件。

Comments 8 pages

详情
AI中文摘要

设 $A$ 是一个有限泛代数。那么由 $A$ 生成的簇(等式类)中 $n$ 元自由代数 $F_n$ 的阶满足 G. Birkhoff 不等式:$|F_n|\le |A|^{|A|^n}$ 对于 $n=1,2,\dots$ 由此可得 $\limsup_{n\to\infty}\sqrt[n]{\log |F_n|}\le |A|$。当 $A$ 是有限群或有限非结合代数时,我们得到该估计中取等的准则;等价地,序列 $\{|F_n|\}_{n=1}^{\infty}$ 具有最大增长的准则。

英文摘要

Let $A$ be a finite universal algebra. Then the orders of the $n$-generated free algebras $F_n$ in the variety (equational class) generated by $A$ satisfy G. Birkhoff's inequality: $|F_n|\le |A|^{|A|^n}$ for $n=1,2,\dots$ It follows that $\limsup_{n\to\infty}\sqrt[n]{\log |F_n|}\le |A|$. When $A$ is a finite group or a finite nonassociative algebra, we obtain a criterion for equality in this estimate; equivalently, a criterion for maximal growth of the sequence $\{|F_n|\}_{n=1}^{\infty}$.

2606.04515 2026-06-05 math-ph math.MP physics.class-ph physics.ed-ph

Discussion on the Physics Problem of a Boat Crossing a River

讨论船渡河的物理问题

Kyle Kou Yuchang, Simon Meng Zimin, Paul Zhang Yixing

AI总结 通过构建三种水流模型(恒定流、线性分布、偶次幂函数分布),利用矢量加法、微积分和微分方程推导了固定航向角下船舶空间轨迹的解析表达式,并采用拉格朗日乘子法求解了最短时间控制问题的最优航向角,为内河船舶智能导航系统的路径规划提供了理论支持。

Comments 19 pages for high school students attempt on the optimization problem

详情
AI中文摘要

本研究通过构建三种模型:恒定流(模型1)、线性分布(模型2)和偶次幂函数分布(模型3,可通过参数n调节),解决了非均匀流速下的船渡河问题。利用矢量加法,结合微积分和微分方程的解,推导了相对于水流固定航向角下船舶空间轨迹的解析表达式。对于最短时间控制问题,引入拉格朗日乘子法构建约束优化模型,并求解了满足到达正对岸边界条件的最优航向角的解析解。研究结果为内河船舶智能导航系统的路径规划提供了理论支持,提出的多模型分析框架能够有效模拟真实河流的复杂流速分布场景。

英文摘要

This study addresses the boat river-crossing problem under non-uniform flow velocities by constructing three models: constant flow (Model 1), linear distribution (Model 2), and even-power function distribution (Model 3, adjustable via parameter n ). By using the vector addition, combined with the solutions of calculus and differential equations, the analytical expression of the ship's spatial trajectory under a fixed heading angle relative to the water flow is derived. For the shortest-time control problem, the Lagrange multiplier method is introduced to construct a constrained optimization model, and the analytical solution of the optimal heading angle that satisfies the boundary condition of reaching the direct opposite bank is solved. The research results provide theoretical support for the path planning of inland ship intelligent navigation systems, and the proposed multi-model analysis framework can effectively simulate the complex flow velocity distribution scenarios of real rivers.

2606.04482 2026-06-05 math.MG math.FA

On hyperbolic and functional analogues of questions of Grünbaum and Loewner

关于 Grünbaum 和 Loewner 问题的双曲与函数类比

Yu Huang, Sergii Myroshnychenko, Kateryna Tatarko, Vladyslav Yaskin

AI总结 本文在双曲空间和 s-凹函数框架下研究 Grünbaum 与 Loewner 问题的类比,构造了高维反例并探讨低维未解情形。

详情
AI中文摘要

Myroshnychenko、Tatarko 和 Yaskin 在 $\mathbb{R}^n$($n \geq 5$)中构造了一个体 $K$,其性质是恰好存在一个通过 $K$ 的质心 $c(K)$ 的超平面 $H$,使得 $K\cap H$ 的质心与 $c(K)$ 重合。该构造为 $n\geq 5$ 时的 Grünbaum 和 Loewner 问题提供了答案,而这些问题的 $3$ 维和 $4$ 维情形仍然开放。我们研究了这些问题的类比,分别是在双曲空间 $\mathbb H^n$ 和 $\mathbb R^n$ 上的 $s$-凹函数设定中。

英文摘要

Myroshnychenko, Tatarko, and Yaskin constructed a body $K$ in $\mathbb{R}^n$, $n \geq 5$, with the property that there is exactly one hyperplane $H$ passing through $c(K)$, the centroid of $K$, such that the centroid of $K\cap H$ coincides with $c(K)$. This construction provided answers to questions of Grünbaum and Loewner for $n\geq 5$, which are still open in dimensions $3$ and $4$. We study analogues of these questions in the settings of hyperbolic space $\mathbb H^n$ and $s$-concave functions on $\mathbb R^n$.

2606.04439 2026-06-05 math.CO

Size Ramsey minimal graphs for star forests

星形森林的尺寸拉姆齐数

Pingting Fu, Zhidan Luo, Zhenyu Ni

AI总结 本文完全证实了Burr等人关于星形森林的尺寸拉姆齐数猜想以及Davoodi等人的多色版本猜想,并刻画了多色均匀星形森林的尺寸拉姆齐极小图。

详情
AI中文摘要

对于给定的图 $G_{1}, G_{2}, \dots, G_{t}$ 和 $G$,令 $G\rightarrow (G_{1}, G_{2}, \dots, G_{t})$ 表示对 $E(G)$ 的每个 $t$-染色都会在某个颜色 $i\in [t]$ 中得到一个单色的 $G_{i}$ 副本。{\it 尺寸拉姆齐数} $\hat{r}(G_{1}, G_{2}, \dots, G_{t})$ 是使得 $G\rightarrow (G_{1}, G_{2}, \dots, G_{t})$ 的最小 $G$ 的边数。如果 $G\rightarrow (G_{1}, G_{2}, \dots, G_{t})$ 且 $e(G)= \hat{r}(G_{1}, G_{2}, \dots, G_{t})$,则图 $G$ 称为 $(G_{1}, G_{2}, \dots, G_{t})$ 的{\it 尺寸拉姆齐极小图}。{\it 星形森林}是星形的顶点不交并,如果每个分支大小相同,则称为{\it 均匀星形森林}。1978年,Burr, Erdős, Faudree, Rousseau 和 Schelp 提出了关于星形森林的尺寸拉姆齐数的一个猜想。该猜想在许多情况下已被证实,但仍有待解决。2025年,Davoodi, Javadi, Kamranian 和 Raeisi 提出了一个多色版本的类似猜想。在本文中,我们完全证实了这两个猜想。此外,我们还刻画了多色均匀星形森林的尺寸拉姆齐极小图。

英文摘要

For given graphs $G_{1}, G_{2}, \dots, G_{t}$ and $G$, let $G\rightarrow (G_{1}, G_{2}, \dots, G_{t})$ denote that each $t$-coloring of $E(G)$ yields a monochromatic copy of $G_{i}$ in color $i$ for some $i\in [t]$. The {\it size Ramsey number} $\hat{r}(G_{1}, G_{2}, \dots, G_{t})$ is the minimum size of $G$ such that $G\rightarrow (G_{1}, G_{2}, \dots, G_{t})$. A graph $G$ is a {\it size Ramsey minimal graph} for $(G_{1}, G_{2}, \dots, G_{t})$ if $G\rightarrow (G_{1}, G_{2}, \dots, G_{t})$ and $e(G)= \hat{r}(G_{1}, G_{2}, \dots, G_{t})$. A {\it star forest} is a vertex-disjoint union of stars, and a {\it uniform star forest} is a star forest with the same size of each component. In 1978, Burr, Erdős, Faudree, Rousseau and Schelp, and in 2025, Davoodi, Javadi, Kamranian and Raeisi completely characterized the size minimal graphs for uniform star forests. In this paper, we completely characterize the size Ramsey minimal graphs for uniform star forests in multicolors.

2606.04332 2026-06-05 physics.plasm-ph astro-ph.HE

Radiation-induced electron spin polarization in ultrarelativistic kinetic turbulence

超相对论动力学湍流中的辐射诱导电子自旋极化

Peng Liu, Karen Z. Hatsagortsyan, Christoph H. Keitel, Zheng Gong

AI总结 利用粒子网格模拟研究高磁化条件下超相对论动力学湍流辐射等离子体中的电子自旋极化,发现非平衡湍流演化中轻子发射高能光子伴随自旋翻转可维持显著自旋极化,并识别出电磁动力学湍流区域,其特征参数由电场与磁场能量密度之比界定。

Comments Comments are welcome

详情
AI中文摘要

利用粒子网格模拟研究了高磁化条件下具有超相对论动力学湍流的辐射等离子体中的电子自旋极化。我们观察到,当轻子在非平衡湍流演化过程中经历高能光子发射并伴随自旋翻转时,可以维持显著的自旋极化。通过分析空间依赖的自旋极化的时间演化,我们识别出动力学湍流的一个电磁(EM)区域,该区域不同于以涡旋电流和磁岛为特征的众所周知的密度主导区域。在密度主导区域中,自旋极化仅瞬态存在,而在电磁区域中,在非耗散情况下会出现并持续显著的各向异性净极化。利用自旋信号与湍流特征之间的相关性,通过电场与磁场能量密度之比引入界定电磁区域的特征参数,并深入了解复杂等离子体湍流。本研究展示了在极端环境(如黑洞和磁星磁层)中对等离子体湍流进行自旋分辨研究的多样性。

英文摘要

Electron spin polarization in radiative plasmas with ultrarelativistic kinetic turbulence under highly magnetized conditions is investigated using particle-in-cell simulations. We observe that a significant spin polarization can be sustained when the leptons undergo energetic photon emission accompanied by spin flips during the nonequilibrium turbulent evolution. By analyzing the time evolution of spatially dependent spin polarization, we identify an electromagnetic (EM) regime of kinetic turbulence, distinct from the well-known density-dominated regime characterized by vortex currents and magnetic islands. While in the latter regime the spin polarization exists only transiently, in the EM regime significant anisotropic net polarization emerges and persists in non-dissipative scenarios. The correlation between spin signals and turbulence features is leveraged to introduce the characteristic parameter delimiting the EM regime via the ratio of electric and magnetic energy densities and to gain insight into complex plasma turbulence. This study demonstrates the versatility of a spin-resolved study of the plasma turbulence in extreme environments, such as black holes and magnetar magnetospheres.

2606.04318 2026-06-05 hep-th gr-qc

The Awada-Gibbons-Shaw Algebra in de Sitter Space and SUSY Breaking

德西特空间中的Awada-Gibbons-Shaw代数与超对称破缺

T. Banks

AI总结 通过变形Awada-Gibbons-Shaw局域超对称代数,重新推导了宇宙学超对称破缺关系$m_{3/2} = rac{C}{\sqrt{R_{dS} L_P}}$。

Comments 8 pages, LaTeX, revised version has just a comment clarifying assumptions about the gravitino wave function on the horizon

详情
AI中文摘要

我们通过变形Awada-Gibbons-Shaw局域超对称代数,重新推导了宇宙学超对称破缺关系$m_{3/2} = rac{C}{\sqrt{R_{dS} L_P}}$。

英文摘要

We rederive the Cosmological Supersymmetry Breaking Relation $m_{3/2} = \frac{C}{\sqrt{R_{dS} L_P}}$ from a deformation of the Awada-Gibbons-Shaw local supersymmetry algebra.

2606.04207 2026-06-05 eess.SP

Integrated Real-Time Testbed for Wideband RFID and Wireless Power Transfer

集成实时宽带RFID与无线功率传输测试平台

Lukas D'Angelo, Daniel Pöhl, Benjamin Deutschmann, Erik Leitinger, Klaus Witrisal

AI总结 提出一个集成实时8×8分布式MIMO测试平台,用于宽带反向散射通信和无线功率传输,通过信道状态信息实现能量收集增益和实时定位。

详情
AI中文摘要

本文介绍了一个实验性的集成实时8×8分布式MIMO(D-MIMO)测试平台,用于宽带反向散射通信(BSC)和无线功率传输(WPT)。该测试平台工作在2.45 GHz频段,相干采样率为200 MS/s,采用40 kHz的反向散射链路频率,并使用宽带5G NR参考信号进行激励。我们通过利用估计的信道状态信息(CSI)在两个目标应用中评估该测试平台:向反向散射设备(BD)的无线功率传输以及室内环境中BD的实时定位。结合所介绍的基带处理链,该测试平台需要不到2毫秒的总空中时间来完成系统激励并获取信号,用于后续的上行BSC信号同步和CSI估计。利用CSI,我们展示了高达12 dB的有效能量收集增益。

英文摘要

This contribution presents an experimental integrated real-time 8 x 8 distributed MIMO (D-MIMO) testbed for wideband backscatter communication (BSC) and wireless power transfer (WPT). The testbed operates in the 2.45 GHz band with coherent sampling at 200 MS/s, employs a backscatter link frequency of 40 kHz, and uses wideband 5G NR reference signals for excitation. We evaluate the testbed by exploiting the estimated channel state information (CSI) in two target applications: wireless power transfer towards the backscatter device (BD) and real-time positioning of a BD in an indoor environment. In conjunction with the baseband processing chain introduced, the testbed requires less than 2 ms of total airtime to excite the system and acquire the signals for subsequent synchronization and CSI estimation on uplink BSC signals. With the CSI, we demonstrate effective energy harvesting gains of up to 12 dB.

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

Center and derivations of generalized Weyl algebras over $\mathbb{Z}/p^n\mathbb{Z}$

关于 $\mathbb{Z}/p^n\mathbb{Z}$ 上的广义 Weyl 代数的中心与导子

Ruben Mamani-Velasco, Akaki Tikaradze

AI总结 本文计算了 $\mathbb{Z}/p^n\mathbb{Z}$ 上的经典广义 Weyl 代数或 $U(\mathfrak{sl}_2)$ 的中心与导子,并证明了在特征 $p>2$ 的域上,第一 Hochschild 上同调到中心导子的限制映射是同构。

Comments 13 pages, preliminary version, all comments welcome

详情
AI中文摘要

设 $A$ 为经典广义 Weyl 代数(也称为 A 型 Kleinian 奇点的非交换形变)或 $\mathbb{Z}/p^n\mathbb{Z}$ 上的包络代数 $U(\mathfrak{sl}_{2})$。本文计算了 $A$ 的中心与导子。具体地,我们证明了 $U(\mathfrak{sl}_2)$ 的中心由 Casimir 元素在其 $p$-中心的 Witt 向量环(长度为 $n-1$)上生成。我们对 $A$ 的导子的描述表明,若底环是特征 $p>2$ 的域 $k$,则从 $A$ 的第一 Hochschild 上同调 $HH^1_{k}(A)$ 到中心 $Z(A)$ 的 $k$-导子 $Der_{k}(Z(A), Z(A))$ 的限制映射是同构。

英文摘要

Let $A$ be either a classical generalized Weyl algebra (also known as a noncommutative deformation of type A Kleinian singularity) or the enveloping algebra $U(\mathfrak{sl}_{2})$ over $\mathbb{Z}/p^n\mathbb{Z}.$ In this paper we compute the center and derivations of $A.$ More specifically, we show that the center of $U(\mathfrak{sl}_2)$ is generated by the Casimir element over the ring of the Witt vectors (of length $n$) of its $p$-center. Our description of derivations of $A$ implies that if the ground ring is a field $k$ of characteristic $p>2,$ then the restriction homomorphism $HH^1_{k}(A)\to Der_{k}(Z(A), Z(A))$ from the first Hochschild cohomology of $A$ to $k$-derivations of the center is an isomorphism.

2606.02772 2026-06-05 stat.OT

Closing the Gap: Can Novice Statistics and Data Science Students Collaborate as Effectively as an Expert?

缩小差距:统计学和数据科学新手学生能否像专家一样有效协作?

Jessica L. Alzen, Ilana M. Trumble, Kimberly J. Cho, Eric A. Vance

AI总结 本研究评估了新手学生在与领域专家初次协作会议中的表现,并与专家进行对比,发现新手在ASCCR框架的态度、结构和关系维度上表现接近专家,并能通过项目缩小内容与沟通方面的差距,最终获得更高的专家反馈评分。

Comments 62 pages, 6 figures, revised and resubmitted to Journal of Statistics and Data Science Education

详情
AI中文摘要

ASCCR(态度-结构-内容-沟通-关系)框架最近被开发用于教授统计学家和数据科学家的协作技能。然而,其在现实环境中的有效性尚未得到系统评估。为此,我们评估了新手本科生和研究生在与真实领域专家的初次协作会议中的表现,并将其与一位专家协作者进行比较。通过视频记录、评分量表和领域专家反馈调查,我们发现新手与专家相比表现得出奇地好。具体而言,新手在ASCCR框架的态度、结构和关系组件上得分几乎与专家一样高。尽管新手在内容或沟通方面最初表现不佳,但他们能够缩小差距。到协作项目结束时,新手的总体领域专家反馈分数高于专家。我们研究的主要启示是,新手可以在非常短的时间内成为有效的协作者。我们讨论了研究结果的实践意义,并提出了将ASCCR框架整合到统计学和数据科学协作、咨询及顶点课程中的建议。

英文摘要

The ASCCR (Attitude-Structure-Content-Communication-Relationship) framework was recently developed to teach collaboration skills to statisticians and data scientists. However, its effectiveness in real-world settings has not yet been systematically evaluated. To assess this, we evaluated novice undergraduate and graduate students' performances in initial collaboration meetings with real domain experts and compared them to an expert collaborator. Using video recordings, rubric scores, and domain expert feedback surveys, we found that novices performed surprisingly well compared to the expert. Specifically, novices scored nearly as well as the expert on the Attitude, Structure, and Relationship components of the ASCCR framework. Although novices did not initially perform as well on the Content or Communication aspects, they were able to close the gap. By the end of the collaboration projects, the novices had higher overall domain expert feedback scores than the expert. The primary implication of our study is that novices can become effective collaborators in a very short time. We discuss our findings' practical implications and provide recommendations for integrating the ASCCR framework into statistics and data science collaboration, consulting, and capstone courses.

2606.03662 2026-06-05 cs.SE

Agentic Generation and Evolution of Knowledge Models

知识模型的智能生成与演化

Man Zhang, Tao Yue, Nazareno M. Aguirre, Diego Garbervetsky, Sebastian Uchitel

AI总结 提出TrustModel框架,通过三个智能子系统(建模、一致性、演化)实现知识模型的持续生成与演化,以支持动态环境下复杂软件系统的可信工程。

详情
AI中文摘要

自动驾驶、机器人等复杂软件系统日益与动态的物理、网络和社会环境交互。对其行为进行推理、在持续变化中维护以及安全演化需要关于系统、其假设及其运行环境的可信知识。知识模型为此类推理提供了实用基础,但随着系统演化,它们本身可能变得不完整、不一致或过时。本文提出TrustModel,一种用于活性知识模型的智能生成与演化的愿景。TrustModel包含三个智能子系统:建模,用于构建和更新知识模型;一致性,用于评估其与系统及其环境的一致性;以及演化,用于生成指导以保持知识模型与新兴变化同步。我们展示了如何将TrustModel实例化用于基于模型的测试,并讨论了其支持其他MDE活动的潜力,例如需求和假设监控、架构漂移跟踪以及变更影响评估。总体而言,TrustModel将活性知识模型定位为持续演化软件系统可信工程的基础。

英文摘要

Complex software systems such as autonomous vehicles, robotics increasingly interact with dynamic physical, cyber, and social environments. Reasoning about their behavior, maintaining them under continuous change, and evolving them safely require trustworthy knowledge about the system, its assumptions, and its operating context. Knowledge models (KMs) provide a practical basis for such reasoning, but they may themselves become incomplete, inconsistent, or outdated as systems evolve. This paper presents TrustModel, a vision for the agentic generation and evolution of living KMs. TrustModel comprises three agentic subsystems: Modeling, for constructing and updating KMs; Conformance, for assessing their alignment with the system and its environment; and Evolution, for generating guidance to keep KMs synchronized with emerging changes. We demonstrate how TrustModel can be instantiated for model-based testing and discuss its potential for supporting other MDE activities, such as requirements and assumption monitoring, architectural drift tracking, and change impact assessment. Overall, TrustModel positions living KMs as a foundation for dependable engineering of continuously evolving software systems.

2606.02797 2026-06-05 cs.CR

On Improving Robustness of Deepfake Image Detectors

关于提升深度伪造图像检测器鲁棒性的研究

Abu Taib Mohammed Shahjahan, Mohammad Mannan, Abdessamad Ben Hamza, Amr Youssef

AI总结 针对深度伪造检测器在对抗攻击下性能严重下降的问题,提出一种不依赖对抗训练的统一框架,通过频域高阶统计建模、内容无关噪声残差特征和补丁级语义破坏增强鲁棒性。

Comments Accepted at Usenix Security 2026

详情
AI中文摘要

生成式人工智能的快速发展带来了显著机遇,同时也引发了关于内容真实性的关键担忧。尽管近期研究越来越关注提升深度伪造检测器在未见生成模型上的泛化能力,但其对抗攻击的鲁棒性仍然有限。特别是,Abdullah 等人(IEEE SP 2024)评估了八种检测器,并证明大多数在对抗攻击下性能显著下降。我们通过测试七种最新的最先进检测器也观察到了相同现象。为解决此问题,我们提出一个统一框架,集成了三种互补的设计原则,且不依赖对抗训练数据:(i) 通过基于离散余弦变换(DCT)的四阶矩池化在频域进行高阶统计建模,(ii) 从噪声残差中提取内容无关的特征表示,以及 (iii) 通过补丁级语义破坏实现跨场景泛化。我们方法的一个关键见解是,对抗攻击主要作用于低阶统计量和视觉语义,而高阶残差-频率特性(尤其是峰度)在很大程度上不受约束。大量实验表明,我们的方法在六种架构多样的检测器上一致地提升了鲁棒性。值得注意的是,在当前对抗基准上,我们实现了高达 88.9% 的召回率下降减少,并将最近的最佳检测器(Yang 等人,IEEE CVPR 2025)在攻击下的准确率从 81.9% 提升至 97.15%。总体而言,我们的方法提供了一种原则性、架构无关的途径,用于提升深度伪造检测器对当前攻击的鲁棒性。

英文摘要

The rapid advancement of Generative AI has introduced remarkable opportunities while simultaneously raising critical concerns regarding content authenticity. While recent work has increasingly focused on improving the generalization of deepfake detectors across unseen generative models, their robustness against adversarial attacks remains limited. In particular, Abdullah et al. (IEEE SP 2024) evaluated eight detectors and demonstrated that most of them exhibit significant performance degradation under adversarial attacks. We also observed the same phenomenon by testing seven most recent state-of-the-art detectors. To address this problem, we propose a unified framework that integrates three complementary design principles without relying on adversarial training data: (i) higher-order statistical modeling in the frequency domain via Discrete Cosine Transform (DCT)-based moment pooling up to fourth order, (ii) content-agnostic feature representations derived from noise residuals, and (iii) cross-scene generalization enforced through patch-level semantic disruption. A key insight underpinning our approach is that adversarial attacks primarily operate on low-order statistics and visual semantics, leaving higher-order residual-frequency characteristics, particularly kurtosis, largely unconstrained. Extensive experiments demonstrate that our method consistently improves robustness across six architecturally diverse detectors. Notably, we achieve up to 88.9% reduction in recall degradation on current adversarial benchmarks, and improve the best-performing recent detector (Yang et al., IEEE CVPR 2025) from 81.9% to 97.15% accuracy under attack. Overall, our method provides a principled, architecture-agnostic approach for improving deepfake detection robustness against current attacks.

2606.03423 2026-06-05 math.OA math.FA

Sharp hypercontractivity for free group von Neumann algebras

自由群冯·诺依曼代数的尖锐超压缩性

Xinyuan Xie, Haonan Zhang

AI总结 本文证明了自由群冯·诺依曼代数上的泊松半群在最优时间内满足超压缩性。

Comments 10 pages. Minor revision and more discussion added

详情
AI中文摘要

我们证明了自由群冯·诺依曼代数上的泊松半群在最优时间内满足超压缩性。

英文摘要

We prove that the Poisson semigroup on free group von Neumann algebras satisfies hypercontractivity with optimal time.

2606.03133 2026-06-05 math.LO

The approximate strong completeness of the hypersequent calculus $\text{GŁ}\forall$

超序贯演算 $ ext{GŁ} orall$ 的近似强完备性

Kai Duo

AI总结 本文通过标记表方法证明了一阶Łukasiewicz逻辑的超序贯演算 $ ext{GŁ} orall$ 的近似强完备性,并作为应用证明了Gentzen中序定理的变体和近似Herbrand定理,同时引入了新的切割规则 $( ext{s-Cut})$ 并展示了 $ ext{GŁ} orall+( ext{s-Cut})$ 的近似强完备性。

详情
AI中文摘要

一阶Łukasiewicz逻辑的分析性Gentzen风格证明系统——超序贯演算 $ ext{GŁ} orall$ 及其近似完备性已被广泛研究。在本文中,我们通过标记表方法证明了 $ ext{GŁ} orall$ 的近似强完备性。作为应用,我们证明了 $ ext{GŁ} orall$ 中Gentzen中序定理的一个变体以及一个近似Herbrand定理。我们还引入了 $ ext{GŁ} orall$ 的一个新的切割规则 $( ext{s-Cut})$,并展示了 $ ext{GŁ} orall+( ext{s-Cut})$ 的近似强完备性。

英文摘要

An analytic Gentzen-style proof system of first-order Łukasiewicz logic, hypersequent calculus $\text{GŁ}\forall$, and its approximate completeness have been extensively studied. In this paper, we prove the approximate strong completeness of $\text{GŁ}\forall$ by a labelled tableau method. As applications, we prove a variant of Gentzen's midsequent theorem in $\text{GŁ}\forall$ and an approximate Herbrand's theorem. We also introduce a new cut rule $(\text{s-Cut})$ of $\text{GŁ}\forall$ and show the approximate strong completeness of $\text{GŁ}\forall+(\text{s-Cut})$.

2606.03859 2026-06-05 quant-ph cond-mat.dis-nn hep-th physics.comp-ph

Subspace-selective unitary manipulation based on the Hilbert-space symmetric structures in the multiple-quantum operator algebra spaces in the quantum-computing speedup theory

基于量子计算加速理论中多量子算子代数空间希尔伯特空间对称结构的子空间选择性酉操作

Xijia Miao

AI总结 本文通过研究多量子算子代数空间与希尔伯特空间对称结构的关系,提出子空间选择性酉操作,以利用量子计算加速资源加速量子计算与模拟。

Comments 201 pages and no figures

详情
AI中文摘要

量子计算加速理论将量子系统的对称结构和性质视为基本量子计算加速(QCS)资源,这些资源负责指数级加速量子计算和模拟。目前一个重大且重要的问题是如何利用这些基本QCS资源来本质地加速量子计算和模拟。本文作者为解决这一重要问题做出了巨大努力。本文的理论研究工作主要分为两部分:第一部分主要研究多量子算子代数空间,分析了多量子算子代数空间、酉时间演化过程的量子模拟以及存在于不同基本量子空间(多量子算子代数空间、密度算子空间和希尔伯特空间)中的基本QCS资源之间的关系,得出结论:多量子算子代数空间必须被定位为利用QCS资源加速量子计算和模拟的中心场所。第二部分主要研究基于希尔伯特空间对称结构的子空间选择性酉操作。认识到多量子算子代数空间是中心场所后,那些源自希尔伯特空间(量子态空间)的QCS资源必须被明确地考虑到多量子算子代数空间(线性算子空间)中,这是一个重要问题。子空间选择性酉操作能够解决这一问题,其目的是利用源自希尔伯特空间的基本QCS资源,在多量子算子代数空间中加速量子计算和模拟。

英文摘要

The quantum-computing speedup theory considers the symmetric structures and properties of quantum systems as the fundamental Quantum-Computing-Speedup (QCS) resources which are responsible for exponentially speeding up quantum computing and simulating. At present a large and important problem is how to make use of the fundamental QCS resources to speed up essentially quantum computing and simulating. Here the author makes a great effort toward solving this important problem. The theoretical research work in this paper is mainly divided into the two Parts I and II. The Part I investigates mainly the multiple-quantum operator algebra spaces. And the relationships are analyzed among the multiple-quantum operator algebra spaces, quantum simulating for the unitary time-evolutional processes, and the fundamental QCS resources which exist in the different kinds of basic quantum spaces: the multiple-quantum operator algebra spaces, the density operator spaces, and the Hilbert spaces. It concludes that the multiple-quantum operator algebra space must be positioned as the central place where the fundamental QCS resources are exploited to speed up quantum computing and simulating. The Part II investigates mainly the subspace-selective unitary manipulation based on the Hilbert-space symmetric structures. Recognize that the multiple-quantum operator algebra space is the central place. Then those fundamental QCS resources original from the Hilbert space (a quantum-state space) must be explicitly taken into account in the multiple-quantum operator algebra space (a linear operator space). This is an important problem. The subspace-selective unitary manipulation is able to solve this problem. It aims to harness the fundamental QCS resources original from the Hilbert space to speed up quantum computing and simulating in the multiple-quantum operator algebra space.

2606.02861 2026-06-05 quant-ph

Exact Solutions for Spin Conserving Models and the Wigner-Araki-Yanase Theorem

自旋守恒模型的精确解与Wigner-Araki-Yanase定理

Michael Steiner, Ronald Rendell

AI总结 通过构建角动量守恒测量模型,为Wigner-Araki-Yanase定理提供精确解,揭示守恒律对量子测量限制的物理本质。

Comments Accepted for publication in International Journal of Quantum Foundations

Journal ref International Journal of Quantum Foundations, Volume 12, Issue 3, pages 45-54, 2026

详情
AI中文摘要

Wigner-Araki-Yanase (WAY) 定理是关于在存在加法守恒律时量子测量限制的著名定理。在冯·诺依曼测量模型的假设下,其中系统守恒量 $L_{S}$ 有界,给定守恒的总加法系统加仪器量 $L_{SA}$,测量算子 $E_{S}$ 必须与 $L_{S}$ 对易。先前的证明利用了受动量守恒操作约束的幺正演化的性质,这往往掩盖了WAY定理的物理本质,并导致性能界限。由于普遍认为动量在测量中总是精确守恒的,我们转而开发了一个一般的角动量守恒测量模型。该模型被证明可以简单解释WAY定理的主要含义,并提供基于仪器模型的测量效应的精确结果。这通过从密度矩阵中追踪仪器以及基于Kraus算子的仅系统信道模型来展示。

英文摘要

The Wigner-Araki-Yanase (WAY) theorem is a well-known theorem regarding limitations of quantum measurement in the presence of additive conservation laws. Under the assumptions of the von Neumann measurement model, for which the system conserved quantity $L_{S}$ is bounded, given a conserved total additive system plus apparatus quantity $L_{SA}$, the measurement operator $E_{S}$ must commute with $L_{S}$. Prior proofs have exploited the properties of unitary evolution constrained by momentum conserving operations that tend to obscure the physical nature of the WAY theorem and as well lead to bounds on performance. As it is generally agreed that momentum is always exactly conserved in measurement, we instead develop a general angular momentum conserving model of measurement. This model is shown to lead to a simple explanation of the major implications of the WAY theorem and provides exact results of the effects of measurement based on the apparatus model. This is shown by both tracing the apparatus from the density matrix and also via a system-only channel model based on Kraus operators.

2606.03053 2026-06-05 cond-mat.mtrl-sci

Multiferroicity in the two-dimensional limit in hexagonal LuFeO3 films

六方LuFeO3薄膜中的二维极限多铁性

Huilin Lai, Junyu Tan, Jinfeng Zhai, Yang Shi, Lili Feng, Huanyu Zhang, Chuanrui Huo, Chuhang Liu, Lijun Wu, Lifeng Yin, Hangwen Guo, Jun Chen, Xiaoshan Xu, Jun Zhao, Yimei Zhu, Shiqing Deng, Wenbin Wang, Jian Shen

AI总结 研究在二维极限下六方LuFeO3薄膜中同时存在的铁电性和磁性,发现其在一半晶胞厚度时仍保持与体材料相当的铁电极化和磁电耦合。

详情
AI中文摘要

多铁氧化物结合了耦合的铁电和磁有序,是理解关联量子现象的核心。然而,当厚度接近二维极限时,传统上预期铁电性和磁性会分别由于退极化场和有限尺寸效应而消失。在这里,我们证明了六方LuFeO3(h-LuFeO3)在仅有一个半晶胞厚度的二维极限下仍保持耦合的铁电性和磁性。值得注意的是,室温下铁电极化仍与体材料相当,而长程磁性和磁电耦合在低温下持续存在。我们进一步表明,介导极化-磁性耦合的K3声子模式在二维极限下是稳定的。我们的结果确立了h-LuFeO3是第一个展现真正二维极限多铁性的氧化物体系,为长期寻求理解和控制原子尺度耦合铁性有序提供了根本性突破。

英文摘要

Multiferroic oxides, which combine coupled ferroelectric and magnetic orders, are central to understanding correlated quantum phenomena. Yet, as thickness approaches the two-dimensional (2D) limit, both ferroelectricity and magnetism are conventionally expected to vanish due to depolarization fields and finite-size effects, respectively. Here, we demonstrate that hexagonal LuFeO3 (h-LuFeO3) retains coupled ferroelectricity and magnetism at the 2D limit, with a thickness of just one and a half unit cells. Remarkably, the ferroelectric polarization remains comparable to bulk values at room temperature, while long-range magnetism and magnetoelectric coupling persist at low temperatures. We further show that the K3 phonon mode, which mediates the polarization-magnetism coupling, is stable down to the 2D limit. Our results establish h-LuFeO3 as the first oxide system to exhibit genuine 2D-limit multiferroicity, providing a fundamental breakthrough in the long-standing quest to understand and control coupled ferroic orders at the atomic scale.

2606.02721 2026-06-05 cond-mat.str-el cond-mat.mes-hall cond-mat.quant-gas hep-lat quant-ph

Simulating Condensed Matter Physics on Quantum Hardware

在量子硬件上模拟凝聚态物理

Ruizhe Shen, Tianqi Chen, Tommy Tai, Jin Ming Koh, Pouyan Ghaemi, Ching Hua Lee

AI总结 综述了基于量子硬件的凝聚态物理模拟进展,重点介绍门基数字量子计算机模拟,并讨论模拟实验作为补充基准,涵盖主要硬件平台、数字量子模拟的基本要素及其在凝聚态物理中的应用。

Comments 104 pages, 22 figures

详情
AI中文摘要

量子硬件平台在模拟凝聚态物质(包括但不限于强关联、拓扑和非平衡现象)方面的能力日益增强。本综述调查了基于量子硬件的凝聚态模拟的最新进展,主要强调基于门的数字量子计算机模拟,并将模拟实验作为补充基准进行讨论。我们首先回顾了主要的硬件平台,包括超导量子比特、离子阱、超冷原子、里德伯阵列、光子系统以及莫尔量子材料。然后介绍了数字量子模拟的基本要素。在此基础上,我们讨论了在凝聚态物理中的代表性应用,涵盖基态问题、强关联物质、拓扑相、非平衡动力学、开放系统物理以及高能物理启发的模拟。最后,我们总结了最先进的量子模拟工作流程中使用的关键方法工具。我们强调,当前的噪声量子模拟不仅作为近期演示,而且作为未来容错量子模拟所需的编码、诊断协议和错误控制策略的原型。

英文摘要

Quantum hardware platforms are getting increasingly sophisticated in their ability to simulate condensed matter, including but not limited to strongly-correlated, topological, and non-equilibrium phenomena. This review surveys recent progress in quantum-hardware-based simulations of condensed matter, primarily emphasizing gate-based digital quantum computer simulation, with analog experiments discussed as complementary benchmarks. We first review major hardware platforms, including superconducting qubits, trapped-ions, ultracold atoms, Rydberg arrays, photonic systems, and moire quantum materials. We then introduce the basic ingredients of digital quantum simulation. Building on this foundation, we discuss representative applications to condensed-matter physics, spanning ground-state problems, strongly correlated matter, topological phases, non-equilibrium dynamics, open-system physics, and high-energy-physics-inspired simulations. Finally, we summarize key methodological tools used in state-of-the-art quantum-simulation workflows. We emphasize that present noisy quantum simulations serve not only as near-term demonstrations, but also as prototypes for the encodings, diagnostic protocols and error-control strategies required for future fault-tolerant quantum simulation.