arXivDaily arXiv每日学术速递 周一至周五更新
重置
全部学科分类 2148
热门方向导航
2606.08182 2026-06-10 gr-qc 新提交

Higher-dimensional quantum-corrected Oppenheimer-Snyder model with a cosmological constant

含宇宙学常数的高维量子修正Oppenheimer-Snyder模型

Shudi Jiang, Jianhui Lin, Xiangdong Zhang

AI总结 将高维量子Oppenheimer-Snyder模型推广至含宇宙学常数情形,在AdS情况下研究扩展相空间热力学,发现量子修正使小黑洞温度趋于零并引发额外相变。

Comments 12 pages, 7 figures. Accepted by Universe

详情
Journal ref
Universe 2026, 12(6), 168
AI中文摘要

我们将高维量子Oppenheimer-Snyder模型推广到含宇宙学常数的情况。对于AdS情况,我们在扩展相空间形式中讨论其热力学性质,并与经典黑洞进行比较。对于AdS时空中量子修正的小黑洞,温度不再发散而是趋于零。此外,热容表现出由量子修正引起的额外相变的特征行为,突显了量子效应对黑洞热力学的深远影响。

英文摘要

We extended the higher-dimensional quantum Oppenheimer-Snyder model to the case with a cosmological constant. For AdS case, we discuss its thermodynamic properties in extend phase space formalism and make comparison with classical black holes. For quantum-corrected small black holes in AdS spacetime, the temperature no longer diverges but tends to zero. Additionally, the heat capacity exhibits characteristic behavior indicative of an extra phase transition induced by quantum corrections, highlighting the profound impact of quantum effects on black hole thermodynamics.

2606.08119 2026-06-10 cs.CR cs.OS 新提交

Policy Description Language for Authorization using Logic-Based Programming

基于逻辑编程的授权策略描述语言

Masaki Hashimoto, Mira Kim, Hidenori Tsuji, Hidehiko Tanaka

AI总结 针对现有策略语言无法细粒度表达访问控制模型的问题,提出一种基于Datalog的策略描述语言,支持将进程动态状态等条件作为决策要素,并在SELinux中验证其有效性和表达能力。

详情
Journal ref
IPSJ Journal, Vol.51, No.9, pp.1682-1691, Sep. 2010
AI中文摘要

最近,由于无法根除信息系统的漏洞,我们必须通过称为纵深防御策略的多层防御来为安全事件的发生做准备。在多层防御中,以细粒度授权访问以有效组成每一层非常重要,并且许多访问控制模型被提出以遵循这一点。然而,迄今为止提出的策略描述语言无法以适当的粒度恰当地表达这些模型。在本文中,我们提出了一种策略描述语言,该语言可以指定多种访问控制条件,例如应用程序进程的动态状态,作为决策数据的元素,并在Datalog中实现它。使用所提出的语言,我们编写了SELinux的策略,SELinux是实现多层防御的主要实现,并通过评估其有效性和表达能力来确认所提出语言的优点。

英文摘要

Recently, with the impossibility of eradicating the vulnerabilities of information systems, we must prepare for the occurrence of the security incident by the multi-layer defense called the Defense-in-Depth strategy. In the multi-layer defense, it is important to authorize accesses in fine-grained granularity to compose each layer effectively, and many access control models are proposed to follow them. However, policy description languages proposed so far cannot express the models appropriately in proper granularity. In this paper, we propose a policy description language which can designate many kinds of conditions for access control, such as the dynamic status of an application process, as an element of decision data, and implement it in Datalog. Using the proposed language, we compose the policy of SELinux, which is a major implementation achieving the multi-layer defense, and we confirm the advantages of the proposed language by evaluating its validity and expressiveness.

2606.08060 2026-06-10 cs.OS cs.CR 新提交

TOMOYO Linux: A Mandatory Access Control Method Based on Application Execution State

TOMOYO Linux:基于应用程序执行状态的强制访问控制方法

Toshiharu Harada, Tetsuo Handa, Masaki Hashimoto, Hidehiko Tanaka

AI总结 提出一种基于应用程序历史和执行意图的强制访问控制方法,通过TOMOYO Linux实现,降低恶意访问和误操作风险。

详情
Journal ref
IPSJ Journal, Vol.53, No.9, pp.2130-2147, Sep. 2012
AI中文摘要

现有的访问控制方法基于作为主体的应用程序和作为对象的文件的组合来授予访问请求。因此,应用程序的意图以及授予访问请求可能造成的潜在影响未被考虑。在本文中,我们提出了一种基于应用程序历史和意图的新型访问控制方法。通过我们的访问控制方法,系统管理员可以降低由恶意访问尝试和错误操作引起的风险。本文将解释该概念和实现设计,并提供TOMOYO Linux(我们对Linux的新型访问控制方法的实现)的简要评估报告。

英文摘要

Existing access control methods grant access requests based on the combinations of applications as subject and files as objects. Therefore intents of applications and the possible effects caused by granting the access requests have not been taken into consideration. In this paper, we propose a new access control method based on application history and intents. With our access control method, system administrators can reduce the risks caused by malicious access attempts and wrong operations. In this paper, the concept and implementation design will be explained as well as the brief evaluation report of TOMOYO Linux, our implementation of the new access control method to Linux.

2606.07319 2026-06-10 cs.CR 新提交

Authorized and Verifiable Searchable Encryption Based on Public Key Equality Test for Cloud Storage

基于公钥相等测试的授权可验证可搜索加密用于云存储

Xiuping Li, Kaiwen Wang, Xiaolin Chang

AI总结 提出AVPKEET方案,实现密文文件级授权和公开可验证性,并基于此构建AVSE方案,支持一次性令牌、批量操作和细粒度访问控制,实验表明令牌尺寸最小(168字节)。

Comments 15 pages,4 figures

详情
AI中文摘要

云存储革新了数据管理,但也引发了功能性与隐私性之间的冲突。公钥相等测试(PKEET)是一种先进的密码学技术,可以在无需共享密钥的情况下,通过跨密钥密文比较实现多用户可搜索加密(SE)。然而,现有的基于PKEET的SE方案缺乏密文文件级授权、公开可验证性或SE级支持。本文首先提出了一种新颖的PKEET方案,即AVPKEET(授权可验证PKEET)。它实现了密文文件的不可转移和不可重放授权,同时支持公开可验证性,且无需可信第三方。然后,我们提出了一种基于AVPKEET的SE方案,记为AVSE(授权可验证SE),具有绑定用户和随机数的一次性不可转移令牌、批量操作以及细粒度访问控制(全部、部分、单个)。我们在标准假设下证明了OW-CCA2安全性、令牌不可伪造性和验证可靠性。实验结果表明,AVSE实现了最紧凑的令牌尺寸(168字节),同时独特地提供了密文文件级授权和公开验证,且对于云存储部署的开销可接受。

英文摘要

Cloud storage revolutionizes data management but raises conflicts between functionality and privacy. Public Key Encryption with Equality Test (PKEET), an advanced cryptographic technique, can enable multi-user searchable encryption (SE) through cross-key ciphertext comparison without shared keys. However, existing PKEET-based SE schemes lack ciphertext-file-level authorization, public verifiability, or SE-level support. This paper first proposes a novel PKEET scheme, AVPKEET (Authorized and Verifiable PKEET). It enables non-transferable and non-replayable authorization of ciphertext files, while supporting public verifiability, all without the need for trusted third parties. Then we propose an AVPKEET-based SE scheme, denoted as AVSE (Authorized and Verifiable SE), featuring one-time non-transferable tokens bound to users and nonces, batch operations, and fine-grained access control (ALL, PARTIAL, SINGLE). We prove OW-CCA2 security, token unforgeability, and verification soundness under standard assumptions. Experiment results demonstrate that AVSE achieves the most compact token size (168 bytes) while uniquely providing both ciphertext-file-level authorization and public verification, with acceptable overhead for cloud storage deployment.

2606.09221 2026-06-10 math.PR cs.DM math.CO math.FA 交叉投稿

Log-Sobolev under random monotone censoring

随机单调删失下的对数Sobolev不等式

Patrick Oliveira Santos, Raghavendra Tripathi, Pierre Youssef

AI总结 本文证明布尔立方体的对数Sobolev不等式在随机单调删失下保持稳定,并推导出典型单调子集上的超收缩性、高斯集中和O(n log n)混合时间,解决了Ding和Mossel的猜想。

Comments 15pages+ references, 1 figure

详情
AI中文摘要

我们证明布尔立方体的对数Sobolev不等式在随机单调删失下是稳定的。更精确地说,如果$A_n\subseteq \{0,1\}^n$是从所有单调子集中均匀选取的,那么$A_n$上删失游走的对数Sobolev常数以高概率为$n$阶。作为推论,布尔立方体的若干解析和概率性质对典型单调子集仍然成立:删失半群是超收缩的,$A_n$上的均匀测度对Lipschitz可观测函数满足高斯集中,并且关联的游走在时间$O(n\log n)$内混合。后者证明了Ding和Mossel关于几乎所有单调集的混合界的猜想。该结果是真正的典型而非普适的。我们构造了密度远离零的单调集,其对数Sobolev常数为$n^2$阶。为证明该结果,我们建立了Hamming帽的尖锐对数Sobolev不等式,并结合调和延拓论证将其转移到位于附近帽之间的单调集,以及Korshunov关于随机单调集的结构定理。

英文摘要

We show that the logarithmic Sobolev inequality of the Boolean cube is stable under random monotone censoring. More precisely, if $A_n\subseteq \{0,1\}^n$ is chosen uniformly among all monotone subsets, then the logarithmic Sobolev constant of the censored walk on $A_n$ is of order $n$ with high probability. As a consequence, several analytic and probabilistic properties of the Boolean cube persist for a typical monotone subset: the censored semigroup is hypercontractive, the uniform measure on $A_n$ satisfies Gaussian concentration for Lipschitz observables, and the associated walk mixes in time $O(n\log n)$. The latter proves a conjectured mixing bound of Ding and Mossel for almost all monotone sets. The result is genuinely typical rather than universal. We construct monotone sets of density bounded away from zero whose logarithmic Sobolev constant is of order $n^2$. To prove the result, we establish a sharp logarithmic Sobolev inequality for Hamming caps and combine it with a harmonic extension argument transferring this inequality to monotone sets lying between nearby caps, together with a structural theorem of Korshunov on random monotone sets.

2606.08265 2026-06-10 econ.GN cs.CY q-fin.EC 交叉投稿

Unintended Consequences of Recommender System Interventions: Evidence from a Field Experiment

推荐系统干预的非预期后果:来自现场实验的证据

Shilei Luo, Song Yao, Dennis J. Zhang

AI总结 通过短视频平台现场实验发现,睡眠提醒干预反而增加深夜使用14.75%和总使用2.18%,原因在于干预揭示了高潜在需求,触发推荐策略更新,形成持久性系统级影响。

详情
AI中文摘要

推荐系统中的平台内容干预通常被评估为静态“助推”,忽略了系统会从用户行为中自适应学习。我们通过短视频平台的大规模现场实验研究了这一动态。实验涉及一项旨在减少深夜使用的“睡眠提醒”活动。矛盾的是,干预使深夜参与度增加了14.75%,整体平台使用增加了2.18%,并且这种影响在实验结束后持续了数周。我们通过强制探索机制解释这一现象,表明干预通过揭示推广内容的高潜在需求,触发了常规用户行为不会产生的推荐策略更新。干预产生的数据促使算法更新其活动后策略,强化了活动本意要缓解的参与循环。我们的发现表明,面向用户的干预可以有效重新训练底层算法,引发内容分发的持久性系统级变化,这对平台治理和社会责任倡议中的标准评估指标提出了挑战。

英文摘要

Platform content interventions in recommendation systems are typically evaluated as static "nudges", ignoring that the systems adaptively learn from the resulting user behavior. We investigate this dynamic through a large-scale field experiment on a short-video platform. The experiment involves a "sleep reminder" campaign designed to reduce late-night usage. Paradoxically, the intervention increased late-night engagement by 14.75% and overall platform usage by 2.18%, and the effects persisted for weeks even after the experiment. We explain this through a forced-exploration mechanism, showing that by revealing high latent demand for the promoted content, the intervention triggers a recommendation policy update that routine user behavior would not produce. The data generated by the intervention induced the algorithm to update its post-campaign policy, reinforcing the very engagement loops the campaign aimed to mitigate. Our findings demonstrate that user-facing interventions can effectively retrain the underlying algorithm, triggering durable, system-wide shifts in content distribution that challenge standard evaluation metrics in platform governance and social responsibility initiatives.

2606.03004 2026-06-10 hep-th gr-qc math-ph math.MP quant-ph 交叉投稿

Kinematical correlations via $κ$-Poincaré coproducts

通过 $κ$-Poincaré 余积的运动学关联

Mohammad Ali Gorji, Babak Vakili

AI总结 研究 $\kappa$-Minkowski 时空中 Hopf 代数动量合成律的运动学后果,发现经典基中平移本征值 $P_\mu$ 与有序平面波标签 $p_\mu$ 的非线性关系在高动量区域导致分支依赖性,并给出 $\kappa$ 形变的背对背动量关联。

Comments 21+7 pages, 1 figure

详情
AI中文摘要

我们研究了 $\kappa$-Minkowski 时空中 Hopf-代数动量合成律的运动学后果。同一弯曲动量空间可以用不同坐标描述。在双交叉积基中,有序平面波标签是平移生成元的本征值,因此相关映射是一一对应的。而在经典基中,平移本征值 $P_\mu$ 与有序平面波标签 $p_\mu$ 非线性相关。这种关系在高动量区域可能不是全局一一对应的。当给定的经典基四动量允许不止一个实辅助原像时,分支敏感量 $P_+\equiv P_0+P_4=\kappa e^{p_0/\kappa}$ 进入余积并解析两粒子态中的分支。因此,施加总动量为零的约束会给出依赖于分支的 $\kappa$ 形变背对背动量关联。在单分支区域,这只是一个形变的关联乘积,而在多分支区域,仅由 $P_\mu$ 指定的态可以展开为不同的辅助分支。如果将 $P_\mu$ 视为直接有意义的动量,物理内容是产生的形变关联模式。如果赋予辅助变量 $p_\mu$ 操作意义,相同的约束态可以解释为不同辅助分支上的叠加。我们还将此结构与标准的正则自伴非相对论最小长度模型进行比较,发现其物理域上没有类似的光滑局部两实分支反演。

英文摘要

We study a kinematical consequence of the Hopf-algebraic momentum composition law in $κ$-Minkowski spacetime. The same curved momentum space can be described in different coordinates. In the bicrossproduct basis the ordered-plane-wave labels are the translation-generator eigenvalues, so the relevant map is one-to-one. In the classical basis, instead, the translation eigenvalues $P_μ$ are nonlinearly related to the ordered-plane-wave labels $p_μ$. This relation can fail to be globally one-to-one in a high-momentum region. When a given classical-basis four-momentum admits more than one real auxiliary preimage, the branch-sensitive quantity $P_+\equiv P_0+P_4=κe^{p_0/κ}$ enters the coproduct and resolves the branches in two-particle states. Imposing the vanishing total-momentum constraint therefore gives branch-dependent $κ$-deformed back-to-back momentum correlations. In a single-branch regime this is just a deformed correlated product, while in a multibranch regime a state specified only by $P_μ$ can be expanded into distinct auxiliary branches. If $P_μ$ are taken as the directly meaningful momenta, the physical content is the resulting deformed correlation pattern. If the auxiliary variables $p_μ$ are assigned operational meaning, the same constrained state can be interpreted as a superposition over different auxiliary branches. We also compare this structure with standard regular self-adjoint nonrelativistic minimal-length models and find no analogous smooth local two-real-branch inversion on their physical domains.

2605.24886 2026-06-10 astro-ph.HE hep-ph nucl-th physics.class-ph physics.comp-ph 交叉投稿

Pulse Modulation as a Signature of the Asteroid-Neutron Star Collision Model for High-Energy Transients

脉冲调制作为小行星-中子星碰撞模型的高能瞬变信号

Partha Bagchi, Biswanath Layek, Dheeraj Saini, Anjishnu Sarkar, Ajit M. Srivastava, Deepthi Godaba Venkata

AI总结 提出小行星-中子星碰撞后,由于惯性矩非对角分量的发展导致脉冲星摆动,从而产生可观测的脉冲轮廓调制,作为高能瞬变(如伽马射线暴和快速射电暴)的验证信号。

详情
AI中文摘要

小行星-中子星碰撞模型已被提出作为高能瞬变(如伽马射线暴和快速射电暴)的可能来源。小行星撞击后最终溶解到中子星中的事件序列可能产生其他几个可观测后果。我们提出,由于惯性矩非对角分量的发展,合并后的后果可能导致脉冲星(假设中子星恰好是脉冲星)的摆动。使用各种参数的样本值,即大小、形状、沉积位置以及预先存在的脉冲星形变参数($η$),我们计算了脉冲星的详细脉冲轮廓调制。我们观察到在特征时间尺度上脉冲轮廓调制的独特模式,该时间尺度比脉冲定时增强了$1/η$倍。重要的是,即使惯性矩分量的微小变化(量级为$ε$)也能产生量级为$ε/η$的大脉冲轮廓调制(取决于小行星物质沉积的相对位置)。因此,如果小行星-中子星碰撞是高能瞬变的原因,那么相关的脉冲轮廓调制可能作为此类事件的可证伪观测信号。

英文摘要

Asteroid-neutron star collision models have been proposed as possible sources of high-energy transients, such as gamma-ray bursts (GRBs) and fast radio bursts (FRBs). The sequence of events following the impact of the asteroid and finally dissolving into the neutron star can have several other observable consequences. We propose that due to the development of the off-diagonal moment of inertia (MI) components, the merger's aftermath can lead to the wobbling of the pulsar (assuming the neutron star happens to be a pulsar). Using sample values of various parameters, viz., size, shape, the locations of the deposits, and the pre-existing pulsar deformation parameter ($η$), we calculate the detailed pulse profile modulation of the pulsar. We observe a distinct pattern of pulse profile modulation on a characteristic timescale enhanced by a factor of $1/η$ compared to the pulse timing. Importantly, even small changes in the MI components, of order $ε$, can produce large pulse profile modulations of order $ε/η$ (depending on the relative location of asteroid material deposition). Thus, if an asteroid-neutron star collision is responsible for a high-energy transient, the associated pulse profile modulation may serve as a falsifiable observational signature of such an event.

2605.04889 2026-06-10 math.CO 版本更新

An Andrews-Gordon Type Identity Related to Andrews' Parity Consideration

与Andrews奇偶性考虑相关的Andrews-Gordon型恒等式

Robert X. J. Hao, Xiaorui Niu, Doris D. M. Sang, Diane Y. H. Shi

AI总结 本文针对Rogers-Ramanujan-Gordon定理中k与a模2不同余的情况,利用Bailey引理导出Andrews-Gordon型恒等式,并通过格路峰值给出组合解释。

详情
AI中文摘要

Andrews研究了Rogers-Ramanujan-Gordon定理中的奇偶性条件。在偶数部分或奇数部分出现偶数次的条件下,Andrews发现了两个Rogers-Ramanujan-Gordon型分拆定理并推导了相应的生成函数。在Rogers-Ramanujan-Gordon定理中,有两个参数$k$和$a$,其中$k-1$是连续部分$l$和$l+1$的最大个数,$a-1$是等于$1$的部分的最大个数。Andrews的第一个定理处理$k\equiv a \\;(\rm{mod}\\;2)$的情况,而第二个定理涉及$k$为偶数且$a$为奇数的情况。这两个分拆恒等式的右边具有不同的无穷乘积形式。在本文中,我们考虑$k\not\equiv a \\;(\rm{mod}\\;2)$的情况,并利用Bailey引理得到一个Andrews-Gordon型恒等式,其右边与Andrews恒等式中$k\equiv a \\;(\rm{mod}\\;2)$的情况一致。通过固定相应格路的峰数,我们还推导出一个递推系统,其解与乘积边的生成函数一致。我们未能找到该表达式的无穷和形式在分拆方面的合适组合解释,但借助格路,我们给出了一个恰当的组合解释。最后,我们应用Bailey引理解析地证明了该恒等式。

英文摘要

Andrews investigated parity conditions in the Rogers-Ramanujan-Gordon theorem. Under the conditions that even parts or odd parts appear an even number of times, Andrews discovered two Rogers-Ramanujan-Gordon type partition theorems and derived corresponding generating functions. In the Rogers-Ramanujan-Gordon theorem, there are two parameters $k$ and $a$, where $k-1$ is the maximum number of consecutive parts $l$ and $l+1$, and $a-1$ is the maximum number of parts equal to $1$. Andrews' first theorem deals with the case $k\equiv a \;(\rm{mod}\;2)$, while the second theorem concerns the case where $k$ is even and $a$ is odd. These two partition identities have different infinite product forms on the right-hand side. In this paper, we consider the case $k\not\equiv a \;(\rm{mod}\;2)$ and use Bailey's lemma to obtain an Andrews-Gordon type identity whose right-hand side coincides with that of Andrews' identity for the case $k\equiv a \;(\rm{mod}\;2)$. By fixing the number of peaks of the corresponding lattice paths, we also derive a recurrence system whose solution agrees with the product-side generating function. We were unable to find a suitable combinatorial interpretation of the infinite sum form of this expression in terms of partitions, but with the help of lattice paths, we provide an appropriate combinatorial interpretation. Finally, we prove this identity analytically by applying Bailey's lemma.

2605.04765 2026-06-10 math.NA cs.NA 版本更新

A Generalized FC-Gram Approximation Framework with Analysis and Applications

广义FC-Gram逼近框架及其分析与应用

Prakash Nainwal, Akash Anand

AI总结 提出广义FC-Gram框架,通过截断函数控制Gram多项式延拓,建立收敛定理,误差为O(n^{-min(r+β,d)}),并应用于线性ODE和抛物型PDE的高阶求解。

详情
AI中文摘要

FC-Gram算法通过将非周期函数周期延拓到更大区间来构造高阶三角逼近,延拓区间上Gram多项式的混合延续质量直接决定逼近精度。我们提出GenFC,一个广义FC-Gram框架,其中每个Gram多项式的延续由满足指定边界平坦条件的截断函数塑造。我们建立了一个收敛定理,表明对于任何这样的族,GenFC逼近误差在原区间的上确界范数下满足$O(n^{-\min(r+\beta,\,d)})$,其中$f \in C^r([0,1])$具有可积的$(r+1)$阶导数,$d$是Gram多项式的数量,$\beta \in [0,1]$是$f^{(r+1)}$的傅里叶衰减指数。作者最近引入的改进FC-Gram算法作为特例被恢复,并且文中构造了几个满足这些条件的显式族。在光滑、有限正则性和快速振荡测试案例上的数值实验证实了理论预测。该框架进一步应用于通过后向微分公式(BDF)时间步进的线性ODE和抛物型PDE的高阶求解器,展示了全程的高阶精度。

英文摘要

The FC-Gram algorithm constructs high-order trigonometric approximations of nonperiodic functions by periodically extending them to a larger interval, with the quality of the blending continuation of Gram polynomials over the extension interval directly governing the approximation accuracy. We introduce GenFC, a generalized FC-Gram framework in which the continuation of each Gram polynomial is shaped by a cutoff function satisfying prescribed boundary flatness conditions. We establish a convergence theorem showing that for any such family the GenFC approximation error satisfies $O(n^{-\min(r+β,\,d)})$ in the supremum norm on the original interval, where $f \in C^r([0,1])$ has an integrable $(r+1)$th derivative, $d$ is the number of Gram polynomials, and $β\in [0,1]$ is the Fourier decay exponent of $f^{(r+1)}$. The modified FC-Gram algorithm, recently introduced by the authors, is recovered as a special case, and several explicit families satisfying these conditions are constructed in the paper. Numerical experiments across smooth, limited-regularity, and rapidly oscillating test cases confirm the theoretical predictions. The framework is further applied to high-order solvers for linear ODEs and parabolic PDEs via backward differentiation formulae (BDF) time-stepping, demonstrating high-order accuracy throughout.

2606.09714 2026-06-10 hep-ex hep-ph 版本更新

Atmospheric Neutrino Oscillations: the Full Picture

大气中微子振荡:完整图景

Philipp Eller

AI总结 通过联合分析多个大气中微子数据集(Super-Kamiokande、IceCube-DeepCore、KM3NeT/ORCA)和反应堆数据(Daya Bay),首次实现统一物理模型描述所有数据,得到有竞争力的混合参数测量,排除CP守恒并偏好正常质量顺序。

详情
AI中文摘要

我们首次对多个大气中微子数据集进行了联合振荡分析,包括来自Super-Kamiokande、IceCube-DeepCore和KM3NeT/ORCA的数据,以及来自Daya Bay的反应堆数据。这种组合长期以来被认为在实验合作之外不可行;我们证明了一个统一的物理模型可以同时描述所有数据集,且没有显著的参数张力。通过对1536个bin中的839048个事件进行拟合,涉及91个参数,我们的联合分析得到了有竞争力的中微子混合参数测量,排除了CP守恒,并偏好正常质量顺序而非反质量顺序。

英文摘要

We present the first combined oscillation analysis of multiple atmospheric neutrino datasets, featuring data from Super-Kamiokande, IceCube-DeepCore, and KM3NeT/ORCA together with reactor data from Daya Bay. Such combinations have long been considered infeasible outside experimental collaborations; we demonstrate that a unified physics model can simultaneously describe all datasets with no significant parameter tensions. Fitting 839048 events across 1536 bins with 91 parameters, our combined analysis yields competitive measurements of the neutrino mixing parameters, and prefers the Normal over the Inverted Mass Ordering.

2606.09712 2026-06-10 math.PR 版本更新

Nearest zero-critical point distances for Gaussian SU(2) polynomials

高斯SU(2)多项式的最接近零-临界点距离

Renjie Feng

AI总结 研究高斯SU(2)多项式零点的最接近临界点距离,证明重标距离的经验测度弱收敛于Y=2/|Z|的分布,其中Z服从Fubini-Study概率测度。

详情
AI中文摘要

我们研究高斯SU(2)多项式$p_n$的最接近零-临界点距离。如果$z_i$是$p_n$的一个零点,且$D_n(z_i)$表示其到最近临界点的Fubini-Study距离,我们证明重标距离$nD_n(z_i)$的经验测度在概率意义下弱收敛于\[ Y=\frac{2}{|Z|} \]的分布,其中$Z$服从仿射坐标下的Fubini-Study概率测度。等价地,\[ \mathbb P(Y\le y)=\frac{y^2}{y^2+4}, \qquad y>0. \] 证明确定了确定性宏观相互作用场\[ V_{\mathrm{FS}}(z)=\frac{\bar z}{1+|z|^2}, \] 该场控制典型零点与其最近临界点之间的主导位移。极限分布的厚右尾源于该场在例外点$z=0$处的退化。

英文摘要

We study nearest zero--critical point distances for the Gaussian SU(2) polynomial $p_n$. For each zero $z_i$ of $p_n$, let $D_n(z_i)$ denote its Fubini--Study distance to the nearest critical point. We prove that the empirical measure of the rescaled distances $nD_n(z_i)$ converges weakly in probability to the law of $2/|Z|$, where $Z$ is distributed according to the Fubini--Study probability measure in the affine chart.

2606.09241 2026-06-10 cs.IR 版本更新

Closing the Indexing-Decoding Gap in Multimodal Generative Retrieval via Prefix Retention Optimization

通过前缀保留优化缩小多模态生成式检索中的索引-解码差距

Yufei Chen, Zihan Wang, Yubao Tang, Yukun Zhao, Maarten de Rijke, Zhaochun Ren

AI总结 提出前缀保留优化(PRO)框架,通过前缀排序蒸馏、词汇调度和几何分数融合三种机制,缩小多模态生成式检索中索引与解码之间的差距,提升目标标识符前缀的保留率,在九个多模态检索任务上超越现有基线。

Comments 29 pages, 5 figures; code: https://github.com/layingfish/MGR_PRO

详情
AI中文摘要

多模态生成式检索将多模态检索形式化为离散标识符生成,无需对外部嵌入进行显式相似性搜索。现有方法通过残差量化构建标识符,并使用trie约束的束搜索进行解码。这种组合引入了索引-解码差距:标识符学习目标(包括重构损失和对比损失)并未在解码过程中显式强制前缀可区分性。因此,即使是优化良好的标识符,也可能因低秩前缀而在束搜索早期被不可逆地剪枝。我们从理论上刻画了这一差距,并推导出一个生存界,该界将前缀保留与索引和解码中的三个可控因素联系起来。基于该界,我们提出PRO(前缀保留优化),一个统一框架,包含三种机制:(i)前缀排序蒸馏,使用列表式损失将对齐的量化前缀排序与预量化嵌入诱导的排序对齐;(ii)词汇调度,从浅层到深层残差量化级别增加码本大小,以减少非目标前缀的早期竞争;(iii)几何分数融合,将每个候选前缀向量化,并将其与查询的相似性纳入束搜索评分,进一步减少索引-解码不匹配。在九个多模态检索任务上的实验表明,PRO提高了目标标识符前缀的保留率,并优于现有的多模态生成式检索基线。

英文摘要

Multimodal generative retrieval formulates multimodal retrieval as discrete identifier generation, eliminating the need for explicit similarity search over external embeddings. Existing approaches construct identifiers via residual quantization and decode them with trie-constrained beam search. This combination introduces an indexing-decoding gap: identifier learning objectives, including reconstruction and contrastive losses, do not explicitly enforce prefix discriminability during decoding. As a result, even well-optimized identifiers can be irreversibly pruned early in beam search due to low-rank prefixes. We theoretically characterize this gap and derive a survival bound that relates prefix retention to three controllable factors in indexing and decoding. Building on this bound, we propose PRO, prefix retention optimization, a unified framework comprising three mechanisms: (i) prefix ranking distillation aligns quantized prefix rankings with those induced by pre-quantization embeddings using a listwise loss; (ii) vocabulary scheduling increases codebook sizes from shallow to deep residual quantization levels to reduce early competition from non-target prefixes; and (iii) geometric score fusion vectorizes each candidate prefix and incorporates its similarity to the query into beam search scoring, further reducing the indexing-decoding mismatch. Experiments on nine multimodal retrieval tasks show that PRO improves retention of target identifier prefixes and outperforms existing multimodal generative retrieval baselines.

2606.09230 2026-06-10 math.RT 版本更新

Wavefront sets and descent method for finite classical groups

有限经典群的波前集与下降法

Zhicheng Wang

AI总结 本文通过下降法完成有限域上经典群不可约表示波前集中有理幂零轨道的显式描述,并建立单幂表示波前集与Lusztig典范商的关系及Alvis-Curtis对偶。

Comments Corrected several typos

详情
AI中文摘要

在本文中,我们完成了特征 $p>3(h-1)$ 的有限域 $\mathbbm{k}$ 上经典群不可约表示波前集中有理幂零轨道的显式描述,其中 $h$ 是相应根系的外尔数。特别地,对于单幂表示,我们根据Lusztig典范商描述了其波前集中的有理幂零轨道,并建立了这些轨道的Alvis-Curtis对偶。我们的方法基于下降法。我们发展了一种新的幂零轨道合成律,将有理波前集的计算简化为我们先前工作中建立的有限Gan-Gross-Prasad问题。

英文摘要

In this paper, we complete the explicit description of rational nilpotent orbits in wavefront sets for irreducible representations of classical groups over a finite field $\mathbbm{k}$ of characteristic $p>3(h-1)$, where $h$ is the Coxeter number of the corresponding root system. In particular, for unipotent representations, we describe the rational nilpotent orbits in their wavefront sets in terms of Lusztig canonical quotients and establish the Alvis-Curtis duality for these orbits. Our approach is based on the descent method. We develop a new composition law for nilpotent orbits, which reduces the computation of rational wavefront sets to the finite Gan-Gross-Prasad problem established in our previous work.

2606.09136 2026-06-10 math.NT 版本更新

Fourier Coefficients of Siegel-Eisenstein Series of Degree $2m$ and Weight $m+1$

次数$2m$和权$m+1$的Siegel-Eisenstein级数的傅里叶系数

Nobuki Takeda

AI总结 研究$m\equiv1\pmod4$且$m\geq5$时Siegel-Eisenstein级数$E_{m+1}^{(2m)}(Z)$的傅里叶系数,利用Mizumoto的傅里叶展开公式确定常数项和例外非零傅里叶系数,得到Kohnen和Nagaoka的二次公式的高次类比。

Comments 27 pages

详情
AI中文摘要

我们研究了$m\equiv1\pmod4$且$m\geq5$时Siegel-Eisenstein级数$E_{m+1}^{(2m)}(Z)$的傅里叶系数。利用Mizumoto的傅里叶展开公式,我们确定了常数项和例外非零傅里叶系数。该结果给出了Kohnen和Nagaoka的二次公式的高次类比,后者后来被Haruki重新推导。

英文摘要

We study Fourier coefficients of the Siegel-Eisenstein series $E_{m+1}^{(2m)}(Z)$ for $m\equiv1\pmod4$ and $m\geq5$. Using the Fourier expansion formula due to Mizumoto, we determine the constant term and the exceptional non-zero Fourier coefficients. The result gives a higher-degree analogue of the degree-two formulas of Kohnen and Nagaoka, which were later rederived by Haruki.

2606.08856 2026-06-10 math.OC cs.SY eess.SY 版本更新

Optimal Control and Dissipativity of Linear Hermitian Matrix-Valued Dynamical Systems

线性厄米矩阵值动力系统的最优控制与耗散性

Corentin Briat

AI总结 针对状态为厄米矩阵的线性脉冲系统,提出统一框架解决最优控制、最优转向、耗散分析和零和微分博弈,基于关键恒等式、扩展Schur补引理和Schur内积分解,给出时变条件下的充分必要条件、LMI表征和显式最优策略。

Comments 86 pages

详情
AI中文摘要

我们为线性脉冲系统开发了一个统一框架,用于线性成本最优控制、有限时间最优转向、耗散性分析和零和微分博弈,其状态是$\mathbb{H}^{n+m}_{\succeq0}$中演化的厄米矩阵,该类包含连续时间和离散时间线性系统以及切换系统作为退化情况,并包括线性(随机)混合系统的二阶矩动力学。整个理论基于三个工具:一个将成本、轨迹和对偶变量联系起来的单一\emph{关键恒等式}、一个扩展Schur补引理和一个Schur内积分解,它们同样应用于流积分和每次跳跃。这些为每个问题类在时变假设下(无需时间不变性或周期性)在有限和无限时域上提供了结构统一的充分必要条件、对偶线性矩阵不等式(LMI)表征和显式最优策略,以及对于允许因果驻留时间策略的问题的因果驻留时间策略。

英文摘要

We develop a unified framework for linear-cost optimal control, finite-time optimal steering, dissipativity analysis, and zero-sum differential games for linear impulsive systems whose state is a Hermitian matrix evolving in $\mathbb{H}^{n+m}_{\succeq0}$, a class that encompasses continuous- and discrete-time linear systems and switched systems as degenerate cases, and includes the second-order moment dynamics of linear (stochastic) hybrid systems. The entire theory rests on three tools: a single \emph{key identity} relating cost, trajectory, and a dual variable, an Extended Schur complement lemma, and a Schur inner-product decomposition, applied identically to the flow integral and to each jump. These yield structurally uniform sufficient and necessary conditions, dual linear matrix inequality (LMI) characterizations, and explicit optimal policies for every problem class, on both finite and infinite horizons under time-varying assumptions (without time invariance or periodicity), together with causal dwell-time policies for the problems that admit them.

2606.08723 2026-06-10 cs.DL cs.CY 版本更新

From Text to Discovery: How Large Language Models Are Accelerating and Complicating Research Across Scientific and Humanistic Disciplines

从文本到发现:LLM如何重塑科学与人文研究?

Saleh Afroogh, Yasser Pouresmaeil, Yiming Xu, Kevin Chen, Abhejay Murali, Junfeng Jiao

AI总结 本文综述LLM在自然科学、社会科学和人文学科中的应用,分析其加速研究流程的潜力与挑战,并提出负责任整合的议程。

详情
AI中文摘要

大型语言模型(LLM)正在迅速重塑自然科学、社会科学和人文学科的学术研究,然而科学界缺乏对这些工具如何被整合、它们带来了什么以及它们在哪些方面存在不足的全面、跨学科的描述。本文通过描绘其当前状态并概述将其负责任地整合到科学研究中的议程来填补这一空白。我们的分析揭示了一个一致的模式:LLM有意义地加速了研究工作流程——从假设生成和文献综合到数据分析和科学写作——同时引入了与幻觉、可重复性、数据集偏差和模型不透明性相关的严重挑战。除了技术限制之外,我们确定了十个未被充分探索的挑战,包括研究者自主性的侵蚀、人工智能驱动的确认偏差、作者身份模糊性以及对这些技术的不平等获取——这些系统性风险需要跨学科治理框架、稳健的验证标准和扩展的可解释性研究。

英文摘要

Large Language Models (LLMs) are rapidly reshaping academic research across the natural sciences, social sciences, and humanities, yet the scientific community lacks a comprehensive, cross-disciplinary account of how these tools are being integrated, what they deliver, and where they fall short. This paper addresses that gap by mapping their current state and outlining an agenda for their responsible integration into scientific research. Our analysis reveals a consistent pattern: LLMs meaningfully accelerate research workflows -- from hypothesis generation and literature synthesis to data analysis and scientific writing -- while introducing serious challenges related to hallucination, reproducibility, dataset bias, and model opacity. Beyond technical limitations, we identify ten underexplored challenges, including the erosion of researcher autonomy, AI-driven confirmation bias, authorship ambiguity, and unequal access to these technologies -- systemic risks that demand interdisciplinary governance frameworks, robust validation standards, and expanded explainability research.

2606.08604 2026-06-10 cs.IR 版本更新

Gryphon: A Unified Architecture for Semantic-ID Generation and Item-Level Scoring in Industrial Recommendations

Gryphon: 工业推荐中语义ID生成与物品级评分的统一架构

Daria Tikhonovich, Oleg Sorokin, Vladislav Dodonov, Mariia Ulianova, Ilya Murzin

AI总结 提出Gryphon架构,在生成式检索中联合训练物品级评分组件,通过直接重评分解决序列似然校准和ID碰撞问题,在工业音乐服务上Recall@1000提升3.7%,并简化候选生成流水线。

详情
AI中文摘要

生成式检索(GR)已成为候选生成的可扩展方法:每个物品被分配一个称为语义ID(SID)的短层次化令牌序列,下一个物品的SID通过自回归方式解码。一个实际限制是解码器的束搜索优化的是令牌序列的似然,而非底层物品的相关性。当序列似然因束搜索误差累积而校准不良,以及多个物品坍缩到同一个SID并获得相同分数时,这些目标会发生偏离。我们提出Gryphon,一种编码器-解码器生成式推荐架构,它在SID生成的同时添加了一个联合训练的物品级评分组件,重用编码器在单次前向传播中计算的用户表示。Gryphon不按累积令牌似然对SID排序,而是将每个生成的SID解析为其具体物品并直接对这些物品重新评分,从而规避了校准不良的序列分数,并分离了碰撞到同一标识符上的物品。在一个工业音乐服务上,使用下一物品预测目标训练物品级评分,Gryphon在可比参数数量和延迟下,达到了最高的物品级Recall@1000,超过最强基线(比原始GR高3.7%,比碰撞解决GR高2.5%)。Gryphon的物品级排名也优于其对相同候选的束似然排名(+4.2%增益),证明了GR中物品级评分的好处。在为期7天的A/B测试中,作为唯一的候选来源部署,Gryphon在总收听时间上没有产生统计显著变化(+0.25%),同时取代了包含超过15个候选生成器和单独预排序阶段的流水线,大大简化了候选生成系统。

英文摘要

Generative retrieval (GR) has become a scalable approach to candidate generation: each item is assigned a short hierarchical token sequence called a Semantic ID (SID), and the next item's SID is decoded autoregressively. A practical limitation is that the decoder's beam search optimizes the likelihood of token sequences, not the relevance of the underlying items. These objectives diverge when sequence likelihood is poorly calibrated due to beam search error accumulation, and when several items collapse onto a single SID and receive identical scores. We introduce Gryphon, an encoder-decoder generative recommendation architecture that adds a jointly trained item-level scoring component alongside SID generation, reusing the encoder's user representation computed in a single forward pass. Instead of ranking SIDs by accumulated token likelihood, Gryphon resolves each generated SID to its concrete items and re-scores those items directly, which sidesteps miscalibrated sequence scores and separates items that collide on the same identifier. On an industrial music service, with item-level scoring trained under a next-item-prediction objective, Gryphon attains the highest item-level Recall@1000, above the strongest baselines (+3.7% over vanilla GR and +2.5% over collision-resolved GR) at comparable parameter count and latency. Gryphon's item-level ranking also surpasses its beam-likelihood ranking of the same candidates (+4.2% gain), demonstrating the benefit of item-level scoring in GR. Deployed as the sole candidate source in a 7-day A/B test, Gryphon produced no statistically significant change in total listening time (+0.25%) while replacing a pipeline of more than 15 candidate generators and a separate preranking stage, substantially simplifying the candidate-generation system.

2606.08579 2026-06-10 quant-ph cond-mat.stat-mech math-ph math.MP 版本更新

Another Legacy of Andrzej Kossakowski: A Self-Contained Derivation of the GKLS Equation

Andrzej Kossakowski 的另一个遗产:GKLS 方程的自包含推导

Gen Kimura

AI总结 本文为纪念 GKLS 方程 50 周年,自包含地重构了从马尔可夫性、完全正性、迹保持和无穷小结构推导出 GKLS 生成元的一条逻辑路径,并包含对 Kossakowski 的个人回忆。

Comments 48 pages,

详情
AI中文摘要

本文是为 OSID 特刊撰写的,该特刊致力于纪念 Gorini--Kossakowski--Lindblad--Sudarshan 方程 50 周年。其目的并非给出全面的历史回顾,而是以自包含的方式重构一条通向 GKLS 生成元的逻辑路径。重点放在 Kossakowski 的结构性洞见上:马尔可夫性、完全正性、迹保持以及量子动力学半群的无穷小结构的结合,自然导出了生成元的著名形式。我还包含了一些对 Andrzej Kossakowski 的个人回忆,我在 2003--2004 年间曾在他的指导下担任了一年的博士后研究员。

英文摘要

This note is written for the special issue of OSID dedicated to the 50th anniversary of the Gorini--Kossakowski--Lindblad--Sudarshan equation. Its purpose is not to give a comprehensive historical review, but rather to reconstruct, in a self-contained way, one logical route leading to the GKLS generator. The emphasis is placed on Kossakowski's structural insight: the combination of Markovianity, complete positivity, trace preservation, and the infinitesimal structure of quantum dynamical semigroups naturally leads to the celebrated form of the generator. I also include a few personal recollections of Andrzej Kossakowski, under whose guidance I spent one year as a postdoctoral researcher in 2003--2004.

2606.08534 2026-06-10 econ.GN cs.CY q-fin.EC 版本更新

A Taxonomy of Real-World Asset Tokenization for Blockchain-Based Financial Infrastructure

基于区块链的金融基础设施中真实世界资产代币化的分类法

Giorgio Vella, Luca Pennella, Mark C. Ballandies

AI总结 提出系统级分类法,从治理、资产结构、代币属性、分布式账本技术和经济五个维度分类真实世界资产代币化,并应用于20个主要系统,揭示混合架构和文档缺口。

详情
AI中文摘要

真实世界资产(RWA)代币化已成为区块链技术的重要应用,使链外金融和非金融资产能够通过基于区块链的工具表示。然而,已部署的RWA系统仍然难以比较,因为法律主张、托管安排、代币机制、验证过程和链上集成通常被分开描述。本文开发了一个系统级的RWA代币化分类法,以分类链外资产如何在法律、经济和技术上在链上表示。遵循迭代分类法开发方法,我们将23个维度组织成五个组成部分:治理、资产结构、代币属性、分布式账本技术和经济。我们将分类法应用于按市值选择的20个主要RWA系统,并比较它们跨资产类别和实施模型的设计选择。分类显示,当前RWA代币化主要通过混合架构实现:区块链代币支持表示、转移控制、赎回工作流、定价和可组合性,而核心法律保证仍锚定在链外法律包装、托管安排、合规流程和验证机制中。分析还揭示了关于投票权、争议论坛、销毁机制、供应约束和储备验证的重复性文档缺口。总体而言,该分类法为比较RWA系统、识别设计模式和局限性以及支持未来关于基于区块链的金融基础设施的研究提供了结构化基础。

英文摘要

Real-world asset (RWA) tokenization has emerged as a prominent application of blockchain technology, enabling off-chain financial and non-financial assets to be represented through blockchain-based instruments. However, deployed RWA systems remain difficult to compare because legal claims, custody arrangements, token mechanics, verification processes, and on-chain integrations are often described separately. This paper develops a systems-level taxonomy of RWA tokenization to classify how off-chain assets are legally, economically, and technically represented on-chain. Following an iterative taxonomy-development method, we organize twenty-three dimensions into five components: governance, asset structure, token properties, distributed ledger technology, and economy. We apply the taxonomy to twenty major RWA systems selected by market capitalization and compare their design choices across asset classes and implementation models. The classification shows that current RWA tokenization is predominantly implemented through hybrid architectures: blockchain tokens support representation, transfer control, redemption workflows, pricing, and composability, while core legal guarantees remain anchored in off-chain legal wrappers, custodial arrangements, compliance processes, and verification mechanisms. The analysis also reveals recurring documentation gaps concerning voting rights, dispute forums, burn mechanics, supply constraints, and reserve verification. Overall, the taxonomy provides a structured basis for comparing RWA systems, identifying design patterns and limitations, and supporting future research on blockchain-based financial infrastructure.

2606.08120 2026-06-10 math.AG math.AC math.CO 版本更新

Deformation Theory and Torus-Fixed Geometry of the Nested Hilbert Scheme of Points

嵌套Hilbert概形的形变理论与环面不动点几何

Chenyang Zhao

AI总结 本文研究嵌套Hilbert概形 (A^2)^{[n,n+1]},通过形变理论、环面作用和Young图组合学,刻画了切空间、环面不动点及其权重公式。

Comments No change to the mathematical content. 37 pages, fixed MathJax delimiters in the abstract

详情
AI中文摘要

本文结合形变理论、环面作用和Young图组合学,研究了嵌套Hilbert概形 ((\mathbb{A}^2)^{[n,n+1]}=\mathrm{Hilb}^{n,n+1}(\mathbb{A}^2))。我们首先回顾了定义Hilbert概形所需的概形论和函子基础。然后利用一阶形变的经典结果,将 (T_I(\mathbb{A}^2)^{[n]}) 同构于 (\mathrm{Hom}_{\mathbb{C}[x,y]}(I,\mathbb{C}[x,y]/I))。对于嵌套对 (I\subset J),其中 (\dim_{\mathbb{C}}\mathbb{C}[x,y]/I=n+1) 且 (\dim_{\mathbb{C}}\mathbb{C}[x,y]/J=n),切空间成为相容性核 (T_{(I,J)}(\mathbb{A}^2)^{[n,n+1]}\cong \ker(\mathrm{Hom}(I,R/I)\oplus \mathrm{Hom}(J,R/J)\to \mathrm{Hom}(I,R/J)))。环面不动点由一个划分 (\lambda\vdash n+1) 及其Young图的一个可去角 (c) 索引。该角不仅是组合的,还对应 (R/I_\lambda) 中一维socle方向的单项式形式。到 ((\mathbb{A}^2)^{[n]}\times \mathbb{A}^2) 的爆破映射的纤维由 (J/\mathfrak m_pJ) 的一维商构成的射影空间给出,其环面不动点是较小图的可加盒子。这两个局部纤维解释了通用族、爆破几何和Young图组合学如何共同研究嵌套Hilbert概形的局部几何。最后,我们推导了在本文使用的环面约定下不动点 ((I_\lambda,I_{\lambda\setminus c})) 处的切权重公式。利用标准箭头基,我们在证明中展示了臂-腿权重如何通过由 (c) 决定的缩短规则被相容性核修改。Macaulay2验证从单项式合冲计算了相容性核,并检查了所有大小不超过16的划分的权重公式。

英文摘要

In this paper, we study the nested Hilbert scheme $(\mathbb{A}^2)^{[n,n+1]}=\mathrm{Hilb}^{n,n+1}(\mathbb{A}^2)$ from a combination of deformation theory, torus actions, and Young diagram combinatorics. We first recall the scheme theory and functor basics needed to define Hilbert schemes. We then use a classic result on first-order deformations to identify $T_I(\mathbb{A}^2)^{[n]}\cong \mathrm{Hom}_{\mathbb{C}[x,y]}(I,\mathbb{C}[x,y]/I)$. For a nested pair $I\subset J$, with $\dim_{\mathbb{C}}\mathbb{C}[x,y]/I=n+1$ and $\dim_{\mathbb{C}}\mathbb{C}[x,y]/J=n$, the tangent space becomes a compatibility kernel $T_{(I,J)}(\mathbb{A}^2)^{[n,n+1]}\cong \ker(\mathrm{Hom}(I,R/I)\oplus \mathrm{Hom}(J,R/J)\to \mathrm{Hom}(I,R/J))$. The torus-fixed points are indexed by a partition $λ\vdash n+1$ together with a removable corner $c$ of its Young diagram. This corner is not only combinatorial, but also the monomial form of a one dimensional socle direction in $R/I_λ$. The blow-up map to $(\mathbb{A}^2)^{[n]}\times \mathbb{A}^2$ has fibres given by projective spaces of one-dimensional quotients of $J/\mathfrak m_pJ$, whose torus-fixed points are addable boxes of the smaller diagram. These two local fibres explain how the universal family, the blow-up geometry, and Young diagram combinatorics come together in the study of the local geometry of the nested Hilbert scheme of points. Finally, we derive the tangent weight formula at a fixed point $(I_λ,I_{λ\setminus c})$ in the torus convention used in the paper. Using the standard arrow basis, we show in the proof how the arm-leg weights are modified by the compatibility kernel through a shortening rule determined by $c$. A Macaulay2 verification computes the compatibility kernel from monomial syzygies and checks the weight formula for all partitions of size at most $16$.

2606.07920 2026-06-10 math.OC 版本更新

Combining Reinforcement Learning with Arc-search Interior-Point Method for Path Planning

结合强化学习与弧搜索内点法的路径规划

Yaguang Yang, Qiang Le, Isaac E. Weintraub

AI总结 提出一种结合强化学习与弧搜索内点法的框架,利用强化学习的实时决策能力和弧搜索内点法的优化性能,实现障碍物环境下的高效路径规划。

Comments 15 pages, 9 figures

详情
AI中文摘要

在包含障碍物的环境中进行路径规划具有众多实际应用。该问题具有挑战性,因为它本质上是非线性和非凸的。因此,人们开发了多种技术来解决这个问题,其中机器学习和最优控制(或优化)已成为两种突出的方法。通常,机器学习方法不需要高保真模型,训练好的智能体通常能够实时生成可行路径。然而,所得到的路径在性能目标(如最小化路径长度或旅行时间)方面不一定是最优的。相比之下,最优控制和优化方法通常依赖于高保真模型,并且通常需要可能无法满足实时约束的计算工作量。尽管如此,这些方法更有可能产生最优或接近最优的解。为了克服每种方法的局限性,同时利用它们各自的优势,本文提出了一种结合强化学习与弧搜索内点法的路径规划框架。数值模拟表明,所提出的方法有效地整合了强化学习的实时决策能力与弧搜索内点法的优化性能,从而提高了路径规划性能。

英文摘要

Path planning in environments containing obstacles has numerous practical applications. The problem is challenging because it is inherently nonlinear and nonconvex. Consequently, a variety of techniques have been developed to address this problem, among which machine learning and optimal control (or optimization) have emerged as two prominent approaches. In general, machine learning methods do not require a high-fidelity model, and a trained agent can often generate a feasible path in real time. However, the resulting path is not necessarily optimal with respect to performance objectives such as minimizing path length or travel time. In contrast, optimal control and optimization methods typically rely on high-fidelity models and often require computational effort that may not satisfy real-time constraints. Nevertheless, these methods are more likely to produce optimal or near-optimal solutions. To overcome the limitations of each approach while exploiting their respective strengths, this paper proposes a framework that combines reinforcement learning with an arc-search interior-point method for path planning. Numerical simulations demonstrate that the proposed approach effectively integrates the real-time decision-making capability of reinforcement learning with the optimization performance of the arc-search interior-point method, resulting in improved path-planning performance.

2606.07817 2026-06-10 physics.flu-dyn 版本更新

Nonspherical gas bubble dynamics in viscoelastic soft materials

粘弹性软材料中非球形气泡动力学

Sawyer Remillard, Mauro Rodriguez

AI总结 针对粘弹性材料中非球形气泡动力学预测难题,提出叠加旋转扰动的势流模型,采用Kelvin-Voigt本构,满足动量平衡和应力连续,与实验数据吻合。

详情
AI中文摘要

粘弹性材料中非球形气泡动力学影响其周围介质的应力传递和能量耗散,且难以预测。准确预测在从生物医学过程到高应变率流变测量等应用中至关重要。然而,现有模型未能充分捕捉非球形旋转动力学。我们公式化并叠加了一个旋转贡献到扰动变形与势贡献中。基于变形场建立了线性化的正向和逆向坐标映射,用于计算速度、加速度和应力。旋转自由度的加入满足了气泡表面的动量平衡方程和应力连续性。气泡周围材料采用具有牛顿粘性和二次应变硬化neo-Hookean弹性的Kelvin-Voigt本构模型进行建模。当忽略弹性效应且径向振荡较小时,该模型与先前的粘性流体模型一致。当粘性效应相对于弹性较小时,剪切波从气泡表面辐射到材料中。产生的应变能是非局域的,并相对于基于势的模型增加了扰动振幅随时间的阻尼。我们展示了形状模式的稳定性与先前的超声强迫实验以及不同形状模式的时间演化与先前的激光诱导空化实验数据之间的一致性。

英文摘要

Nonspherical gas bubble dynamics in viscoelastic materials influence the stress transmission and energy dissipation of their surroundings and are difficult to predict. Their accurate prediction is essential in applications ranging from biomedical procedures to high-strain-rate rheological measurements. However, existing models do not sufficiently capture the nonspherical rotational dynamics. We formulate and superpose a rotational contribution to the perturbed deformation with a potential contribution. Linearised forward and inverse coordinate maps are formulated based on the deformation field which are used to compute velocities, accelerations, and stresses. The addition of the rotational degree of freedom satisfies the momentum balance equations and stress continuity at the bubble surface. The material surrounding the bubble is modelled with a Kelvin-Voigt constitutive model with Newtonian viscosity and quadratic strain-stiffening neo-Hookean elasticity. The model agrees with previous viscous fluids models when elastic effects are neglected and radial oscillations are small. When viscous effects are small relative to elastic, shear waves radiate from the bubble surface into the material. The resulting strain energy is delocalised and increases damping of the perturbation amplitude in time relative to potential-based models. We show agreement between the stability of the shape modes with previous ultrasound forced experiments and temporal evolution of different shape modes with previous laser-induced cavitation experimental data.

2606.07800 2026-06-10 quant-ph physics.atom-ph 版本更新

Near-deterministic single-atom loading on a photonic integrated circuit

在光子集成电路上近确定性的单原子加载

Xinchao Zhou, Ahreum Lee, Dipanjan Das, Saivirinchi Prabandhakavi, Chen-Lung Hung

AI总结 利用光镊中的移动光晶格形成精密光学传送带,将原子稳定输送到微环谐振器电路上,通过实时反馈实现82%的单原子转移概率,达到强耦合条件C>1。

Comments 11 pages, 9 figures

详情
AI中文摘要

将相同的量子发射器耦合到光子集成电路(PIC)是扩展量子科学和信息处理的发射器-光子接口的关键步骤。中性原子因其不可区分性和可控性而成为有吸引力的候选者。然而,在PIC上实现高效原子捕获并同时实现强单原子-光子耦合的实验实现至今仍难以实现。在这里,我们展示了在微环谐振器电路上近确定性的单原子加载,达到了腔量子电动力学中强耦合的单原子协同参数C>1。我们利用由光镊中的移动光晶格形成的精密光学传送带,将捕获的原子稳定地输送到PIC上。通过连续监测通过电路的探测光子传输(该传输对微环谐振器附近单个原子的接近敏感),我们在传送带传输中检测到70个占据晶格位点的平均占有率为1.5,位置重复性为4 nm。基于实时反馈,我们确定性地将输送的原子转移到微环上的固定陷阱中,实现了82%(18%)的单原子(双原子)转移概率。我们的技术可以扩展到确定性的、高效的原子阵列组装,为中性原子与复杂功能PIC的集成提供可扩展的途径。

英文摘要

Coupling identical quantum emitters to a photonic integrated circuit (PIC) is a key step for scaling up emitter-photon interfaces for quantum science and information processing. Neutral atoms are attractive candidates due to their indistinguishability and controllability. However, experimental realizations of efficient atom trapping on a PIC while achieving strong single atom-photon coupling has so-far remained elusive. Here, we demonstrate near-deterministic single-atom loading on a microring resonator circuit, reaching single-atom cooperativity parameter C > 1 for strong coupling in cavity quantum electrodynamics. We utilize a precision optical conveyor belt, formed by a moving optical lattice in an optical tweezer, to steadily deliver trapped atoms onto a PIC. By continuously monitoring the transmission of probe photons through the circuit, which is sensitive to the proximity of single atoms near a microring resonator, we detect mean occupancy of 1.5 from 70 occupied lattice sites in a conveyor-belt transport of 4 nm position reproducibility. Based upon real-time feedback, we deterministically transfer the delivered atoms into a stationary trap on the microring, achieving 82% (18%) probability of single-(two-)atom transfer. Our technique can be extended to deterministic, highly efficient atom array assembly, providing a scalable route for neutral atom integration with PICs of complex functionalities.

2606.07762 2026-06-10 stat.ME stat.OT 版本更新

Probabilistic Win Ratio Method For Hierarchical Composite Endpoints With Coarsened Outcomes

用于粗化结果的分层复合终点的概率胜率方法

Lei Li, Jing Lei, Yuexiao Dong

AI总结 提出概率胜率(PWR)方法,通过条件概率替代确定性比较,处理删失和缺失数据,提高效率并减少偏倚,在完全观测时退化为标准胜率。

详情
AI中文摘要

胜率越来越多地用于分析临床试验中的优先复合终点,但标准实现依赖于确定性成对比较,在存在删失和特定终点缺失的情况下表现不佳。在这种情况下,未解决的比较通常被视为平局,导致效率损失和潜在的偏倚推断,尤其是当低优先级结果不完全观测时。我们提出了概率胜率(PWR),一个在粗化观测下估计经典胜率的框架。PWR用给定观测数据下的胜、负或平局的条件概率替代确定性成对决策,允许部分观测的比较按不确定性明确惩罚后贡献分数。比较的粗化程度越大,有效权重越小,而完全观测的比较与经典分析中一样贡献,保留了临床优先级结构。当结果完全观测时,PWR精确退化为标准胜率估计量。模拟研究表明,PWR在一系列删失和缺失场景中保持低偏倚和均方误差。两个临床试验案例研究展示了互补的数据机制,在近乎完整的数据中展示了校准,在大量右删失下展示了稳定性。

英文摘要

The win ratio is increasingly used to analyze prioritized composite endpoints in clinical trials, but standard implementations rely on deterministic pairwise comparisons and can perform poorly in the presence of censoring and endpoint-specific missingness. In such settings, unresolved comparisons are often treated as ties, leading to loss of efficiency and potentially biased inference, particularly when lower-priority outcomes are incompletely observed. We propose the probabilistic win ratio (PWR), a framework for estimating the classical win ratio under coarsened observation. The PWR replaces deterministic pairwise decisions with conditional probabilities of win, loss, or tie given the observed data, allowing partially observed comparisons to contribute fractionally while being explicitly penalized according to their uncertainty. Comparisons with greater coarsening receive smaller effective weight, whereas fully observed comparisons contribute as in the classical analysis, preserving the clinical priority structure. When outcomes are fully observed, the PWR reduces exactly to the standard win ratio estimator. Simulation studies show that the PWR maintains low bias and mean squared error across a range of censoring and missingness scenarios. Two clinical trial case studies illustrate complementary data regimes, demonstrating calibration in near-complete data and stability under substantial right censoring.

2606.07747 2026-06-10 quant-ph 版本更新

$100\pmΔt$ Years of Quantum Uncertainty: From Origins to Modern Insights

$100\pm\Delta t$ 年的量子不确定性:从起源到现代见解

Lorcan O. Conlon, Biveen Shajilal, Jie Zhao, Tim C. Ralph, Gerd Leuchs, Ulrik L. Andersen, Syed M. Assad, Ping Koy Lam, Yunlong Xiao

AI总结 本文回顾海森堡不确定性原理百年来的发展,从最初的思想实验到多种数学形式,重点阐述其在量子计量学、多参数估计和压缩态中的应用,并展望未来。

Comments Comments and suggestions are very welcome

详情
AI中文摘要

海森堡不确定性原理是量子力学的基石,标志着与经典物理学的决定性决裂。大约一个世纪前,通过一个思想实验——测量电子位置不可避免地会干扰其动量——它最初作为一个看似简单的想法诞生,引发了无数研究,并发展成为今天丰富的研究领域。本综述追溯其发展成一系列数学形式——称为不确定关系——并探讨它们之间的相互联系和广泛应用。我们强调其在量子计量学中的核心作用,其中它支撑着从量子系统中以越来越高的精度提取信息的策略,以及它与多参数估计和压缩态的联系。本综述献给不确定性原理百年纪念,反思它如何加深了我们对量子理论的理解并推动了实际进展,并展望一个充满进一步惊喜和变革性发现的世纪。

英文摘要

Heisenberg's uncertainty principle is a cornerstone of quantum mechanics, marking a decisive departure from classical physics. Conceived almost a century ago through a thought experiment showing that measuring an electron's position inevitably disturbs its momentum, it began as a deceptively simple idea that sparked countless studies and grew into the rich research field it is today. This review traces its development into a spectrum of mathematical formulations -- known as uncertainty relations -- and explores their interconnections and wide-ranging applications. We highlight its central role in quantum metrology, where it underpins strategies for extracting information from quantum systems with ever-increasing precision, and its links to multiparameter estimation and squeezed states. This review, dedicated to the centenary of the uncertainty principle, reflects on how it has deepened our understanding of quantum theory and driven practical advances, and looks ahead to a century poised for further surprising and transformative discoveries.

2606.07129 2026-06-10 stat.AP 版本更新

Collaborative estimation and evaluation of SARS-CoV-2 variant nowcasting in the United States

美国SARS-CoV-2变异株实时预测的协作估计与评估

Isaac MacArthur, Thomas Robacker, Bren Case, Spencer J. Fox, Dylan H. Morris, Evan L. Ray, Benjamin Rogers, Becky Sweger, Natalie M. Linton, John Huddleston, Andrew Magee, Zachary Susswein, Jover Lee, Trevor Bedford, Marlin D. Figgins, Ehsan Suez, Rajath Prabhakar, Tomas Leon, Brent Siegel, Mugdha Thakur, Christopher M. Hoover, Rahil Ryder, Jesse Elder, Michael Kupperman, Ruian Ke, Emma Goldberg, Sebastian Funk, Maryclare Griffin, Nicholas G. Reich, Kaitlyn E. Johnson

AI总结 本文介绍美国SARS-CoV-2变异株实时预测中心的构建,评估五种模型和基线模型在2024-2025年流感季的表现,发现基线模型整体表现良好,测序量低的地区模型性能波动更大。

Comments 32 pages, 9 figures

详情
AI中文摘要

估计和预测病原体变异动态的能力可以为公共卫生应对措施提供信息,包括规划传播性或严重性的增加、群体免疫的变化或疫苗或治疗有效性的改变。COVID-19大流行表明,通过病毒基因组测序监测SARS-CoV-2变异株演变的重要性,使得预测模型能够估计近期、现在和短期未来的变异频率。协作预测中心在大流行期间为集中预测病例、住院和死亡等流行病学指标提供了宝贵途径;然而,针对变异动态的预测中心尚不存在。本文讨论了美国SARS-CoV-2变异株实时预测中心的创建,该中心旨在收集美国州级指定SARS-CoV-2变异株相对丰度的估计值。我们讨论了构建该中心的设计决策和挑战及其评分程序。利用该中心首个呼吸道病毒季节(实时预测日期为2024年10月9日至2025年6月4日)的提交数据,我们评估了五个个体模型和一个基线模型。我们发现,基线模型(汇集全美序列)整体表现良好,大多数个体模型表现相似或略差。测序量较低的地区模型性能变异性更大。针对单个地点提交的模型优于针对所有地点提交的模型,这可能是由于本地数据的及时性和规模更大。关于不同变异出现阶段相对模型性能的许多问题仍有待研究,我们最后提出了该中心内外的未来方向。

英文摘要

The ability to estimate and predict pathogen variant dynamics can inform public health responses, including planning for increased transmission or severity, shifts in population immunity, or changes to vaccine or therapeutic effectiveness. The COVID-19 pandemic demonstrated the importance of monitoring SARS-CoV-2 variant evolution through viral genome sequencing, enabling predictive models to estimate variant frequencies in the recent past, present, and short-term future. Collaborative forecasting Hubs provided a valuable way to centralize predictive modeling of epidemiological indicators such as cases, hospitalizations, and deaths during the pandemic; however, none existed for variant dynamics. Here, we discuss the creation of the United States SARS-CoV-2 Variant Nowcast Hub, designed to solicit estimates of the relative abundance of a specified set of SARS-CoV-2 variants at the U.S. state level. We discuss the design decisions and challenges in building the Hub and its scoring procedures. Using submissions from the Hub's first respiratory virus season (nowcast dates October 9th, 2024 to June 4th, 2025), we evaluate five individual models and a baseline model. We found that the baseline model, which pools sequences across the U.S., performs well overall, with most individual models performing similarly or slightly worse. Locations with lower sequencing volumes exhibited greater variability in model performance. Models submitted for a single location outperformed those submitted for all locations, potentially due to greater timeliness and magnitude of local data. Much remains to be investigated regarding relative model performance across different phases of variant emergence, and we conclude by proposing future directions within and beyond this Hub.

2606.07131 2026-06-10 cs.CR cs.SE 版本更新

MalSkillBench: A Runtime-Verified Benchmark of Malicious Agent Skills

MalSkillBench: 一个运行时验证的恶意智能体技能基准

Wenbo Guo, Wei Zeng, Chengwei Liu, Xiaojun Jia, Yijia Xu, Lei Tang, Yong Fang, Yang Liu

AI总结 提出MalSkillBench,首个运行时验证的恶意智能体技能基准,包含3944个恶意技能,通过闭环生成-验证-反馈流水线构建,揭示代码注入与提示注入检测的不对称性,并指出联合推理任务意图、代码和指令的必要性。

详情
AI中文摘要

AI编码智能体(如Claude Code和Gemini CLI)越来越多地通过第三方技能扩展自身:这些技能是捆绑了自然语言指令、可执行脚本和工具权限的markdown包。由于技能同时是代码和面向智能体的指令,它引入了一种供应链依赖,其风险既非纯代码也非纯提示。检测工具从未针对覆盖这种混合空间的经过验证的真实情况进行评估,导致其有效性未知且仅限野外的评估存在偏差。我们提出MalSkillBench,首个运行时验证的恶意智能体技能基准:包含3944个恶意技能,按照108个单元的三维分类法进行标注。其中,3214个来自闭环生成-验证-反馈流水线,仅接受在Docker沙箱中在系统调用监控和LLM评判下恶意行为触发的样本;我们额外添加了703个野外样本和4000个匹配的良性技能。我们的测量结果一致:代码注入达到94.5%的验证率,但提示注入仅为75.8%,这种脆弱性后来使其难以检测;野外样本范围狭窄,主要来自一个加密货币盗窃活动(86.6%为单一行为,81%来自两个账户),但存在一个规模虽小但架构新颖的尾部,攻击智能体控制平面;最强的技能特定检测器在代码注入上达到98.4%的召回率,但在提示注入和智能体控制攻击上崩溃,仅凭野外评分会使排名波动高达66个召回点;供应链扫描器和提示注入防御各自仅看到技能的一半,没有组合能恢复代码-指令关系。因此,检测恶意技能需要联合推理任务意图、代码和指令。我们发布了数据集、流水线、基线和结果。

英文摘要

AI coding agents such as Claude Code and Gemini CLI increasingly extend themselves with third-party skills: markdown packages bundling natural-language instructions, executable scripts, and tool permissions. Because a skill is at once code and agent-facing instruction, it introduces a supply chain dependency whose risk is neither pure code nor pure prompt. Detection tools have never been measured against verified ground truth spanning this hybrid space, leaving their effectiveness unknown and wild-only evaluations biased. We present MalSkillBench, the first runtime-verified benchmark of malicious agent skills: 3,944 malicious skills labeled along a three-dimensional taxonomy of 108 cells. Of these, 3,214 come from a closed-loop Generate-Verify-Feedback pipeline admitting only samples whose malicious behavior fires inside a Docker sandbox under system-call monitoring and an LLM judge; we add 703 in-the-wild and 4,000 matched benign skills. Our measurements are consistent: code injection reaches 94.5% verification yield but prompt injection only 75.8%, the same fragility that later makes it hard to detect; the wild sample is narrow, dominated by one cryptocurrency-theft campaign (86.6% one behavior, 81% from two accounts) with a small but architecturally new tail attacking the agent control plane; the strongest skill-specific detector reaches 98.4% recall on code injection yet collapses on prompt-injection and agent-control attacks, and wild-only scoring swings the ranking by up to 66 recall points; supply-chain scanners and prompt-injection defenses each see only half of a skill, and no combination recovers the code-instruction relationship. Detecting malicious skills therefore requires reasoning jointly over task intent, code, and instructions. We release the dataset, pipeline, baselines, and results.

2606.06971 2026-06-10 cs.MA cs.SI 版本更新

Modeling U.S. Attitudes Toward China via an Event-Steered Multi-Agent Simulator

通过事件驱动的多智能体模拟器建模美国对华态度

Chenxu Zhu, Hantao Yao, Wu Liu, Junbo Guo, Yongdong Zhang

AI总结 提出事件驱动多智能体模拟器(ES-MAS),利用CURE数据集和双流数据集成引擎(DSDIE)及新闻驱动动态交互模块(NDDI),模拟美国对华舆论的动态演化,实验表明优于现有模型。

详情
AI中文摘要

理解舆论的动态演化,如美国公众对中国的态度,对于评估地缘政治风险至关重要。然而,现有的基于LLM的多智能体模拟器主要依赖静态规则和固定数据集,限制了其捕捉现实世界中宏观层面舆论转变的动态、事件驱动特性的能力。为解决这一限制,我们提出了一种事件驱动的多智能体模拟器(ES-MAS),其中重大事件和日常新闻通过智能体之间的动态交互持续驱动舆论演化。我们首先构建了中美关系演化(CURE)数据集,涵盖2021年至2025年的20个季度,包括258个重大事件和超过14,000篇日常新闻文章,为建模舆论动态提供了全面的时间基础。基于CURE数据集,我们提出了双流数据集成引擎(DSDIE),该引擎通过宏观层面事件将模拟与历史时间线对齐,同时基于个体智能体画像和上下文信号实现个性化信息暴露。此外,我们设计了新闻驱动的动态交互(NDDI)模块,该模块自适应地将具有共同新闻兴趣的智能体分组到局部交互上下文中,促进自下而上的共识形成,同时降低孤立信息茧房的风险。在CURE数据集上的实验结果表明,ES-MAS在复现真实世界历史趋势方面显著优于现有模拟器,为建模动态舆论演化提供了一个可扩展且有效的框架。

英文摘要

Understanding the dynamic evolution of opinions, such as U.S. public attitudes toward China, is essential for assessing geopolitical risks. However, existing LLM-based multiagent simulators predominantly rely on static rules and fixed datasets, limiting their ability to capture the dynamic, event-driven nature of macro-level opinion shifts in real-world settings. To address this limitation, we propose an Event-Steered Multi-Agent Simulator (ES-MAS), in which significant events and daily news continuously drive opinion evolution through dynamic interactions among agents. We first construct the China-U.S. Relation Evolution (CURE) dataset, covering 20 quarters from 2021 to 2025, including 258 major events and over 14,000 daily news articles, and providing a comprehensive temporal foundation for modeling opinion dynamics. Building upon the CURE dataset, we propose a Dual-Stream Data Integration Engine (DSDIE) that aligns simulations with historical timelines via macro-level events while enabling personalized information exposure based on individual agent profiles and contextual signals. Furthermore, we design a News-Driven Dynamic Interaction (NDDI) module, which adaptively groups agents with shared news interests into localized interaction contexts, facilitating bottom-up consensus formation while mitigating the risk of isolated information cocoons. Experimental results on the CURE dataset demonstrate that ES-MAS substantially outperforms existing simulators in reproducing real-world historical trends, offering a scalable and effective framework for modeling dynamic opinion evolution.

2606.06839 2026-06-10 math.NA cs.NA 版本更新

Adaptive multiscale model reduction for linear elasticity equation in perforated domains

穿孔域线性弹性方程的自适应多尺度模型降阶

Wei Xie, Eric Chung, Yin Yang, Yunqing Huang

AI总结 提出约束能量最小化广义多尺度有限元法求解穿孔域线弹性问题,通过离线构造局部能量最小化基函数捕捉穿孔引起的细尺度几何信息,在线阶段采用残差驱动基函数自适应提高精度,并证明收敛性。

详情
AI中文摘要

本文针对异质穿孔域中的线性弹性问题,发展了约束能量最小化广义多尺度有限元法(CEM-GMsFEM)。大量穿孔的存在给计算域引入了多尺度特征,使得直接细网格模拟计算成本高昂。所提方法遵循CEM-GMsFEM的标准离线-在线分解。在离线阶段,在粗网格单元上求解局部谱问题以构造辅助空间,然后在过采样区域上计算局部能量最小化基函数,以捕捉穿孔引起的细尺度几何信息。在线阶段,在扩大的粗网格邻域内构造残差驱动基函数,以纳入源项信息并自适应地提高多尺度近似的精度。我们建立了离线阶段和在线阶段的收敛性结果。特别地,我们推导了局部多尺度近似的误差估计,并证明了自适应在线富集算法的收敛性。此外,我们表明在线阶段使用的过采样区域可以局部确定,从而在保持收敛性质的同时降低计算成本。针对不同几何构型的穿孔介质的数值实验证明了所提方法的准确性和效率。

英文摘要

In this paper, we develop a Constraint Energy Minimizing Generalized Multiscale Finite Element Method (CEM-GMsFEM) for solving linear elasticity problems in heterogeneous perforated domains. The presence of numerous perforations introduces multiple scales into the computational domain, making direct fine-grid simulations computationally expensive. The proposed method follows the standard offline--online decomposition of CEM-GMsFEM. In the offline stage, local spectral problems are solved on coarse elements to construct auxiliary spaces, and localized energy-minimizing basis functions are then computed on oversampled regions to capture fine-scale geometric information induced by the perforations. In the online stage, residual-driven basis functions are constructed in enlarged coarse neighborhoods to incorporate source-term information and improve the accuracy of the multiscale approximation adaptively. We establish convergence results for both the offline and online stages. In particular, we derive error estimates for the localized multiscale approximation and prove the convergence of the adaptive online enrichment algorithm. Moreover, we show that the oversampling regions used in the online stage can be determined locally, leading to a reduction in computational cost while maintaining convergence properties. Numerical experiments on perforated media with different geometric configurations demonstrate the accuracy and efficiency of the proposed method.