arXivDaily arXiv每日学术速递 周一至周五更新
重置
全部学科分类 1719
2511.03955 2026-06-08 math.OC math.PR 版本更新

Hidden Convexity in Queueing Models

排队模型中的隐藏凸性

Xin Chen, Linwei Xin, Minda Zhao

AI总结 本文研究了排队系统中到达和服务速率的联合控制,旨在最小化长期期望成本减收益。尽管目标函数非凸,但一阶方法能收敛到全局最优解。通过变量变换,问题可重新表述为凸优化问题,并建立PLK条件以支持一阶方法的全局收敛性。

详情
AI中文摘要

我们研究了具有最小化长期期望成本减收益目标的排队系统中到达和服务速率的联合控制。尽管目标函数是非凸的,但一阶方法在实践中被观察到收敛到全局最优解。本文通过表征优化景观并识别隐藏的凸性,为这一经验现象提供了理论基础。该问题在适当的变量变换后可重新表述为凸优化问题。利用这种隐藏的凸性,我们为原始控制问题建立了Polyak-Lojasiewicz-Kurdyka(PLK)条件,该条件排除了虚假局部极小值并支持一阶方法的全局收敛性。我们的分析适用于广泛的$GI/GI/1$排队模型,包括具有Gamma分布的到达和服务时间的模型,以及具有对数凹到达时间的$GI/M/1$队列。作为证明的关键成分,我们建立了在交通强度的平方根变换下预期队列长度的新的凸性性质。

英文摘要

We study the joint control of arrival and service rates in queueing systems with the objective of minimizing long-run expected cost minus revenue. Although the objective function is non-convex, first-order methods have been empirically observed to converge to globally optimal solutions. This paper provides a theoretical foundation for this empirical phenomenon by characterizing the optimization landscape and identifying a hidden convexity: the problem admits a convex reformulation after an appropriate change of variables. Leveraging this hidden convexity, we establish the Polyak-Lojasiewicz-Kurdyka (PLK) condition for the original control problem, which excludes spurious local minima and supports global convergence guarantees for first-order methods. Our analysis applies to a broad class of $GI/GI/1$ queueing models, including those with Gamma-distributed interarrival and service times, as well as $GI/M/1$ queues with log-concave interarrival times. As a key ingredient in the proof, we establish a new convexity property of the expected queue length under a square-root transformation of the traffic intensity.

2511.05166 2026-06-08 gr-qc 版本更新

Cosmological perturbations in Energy-Momentum Squared Gravity

能量-动量平方引力中的宇宙扰动

Peter K. S. Dunsby, Maria-Alexia Caldis, Eduardo Bittencourt

AI总结 本文研究了能量-动量平方引力中线性宇宙扰动的协变和 gauge 不变分析,探讨了标量、矢量和张量模式在辐射和尘埃背景下的传播方程,以及非线性效应对宇宙学参数和声速的影响。

Comments 32 pages, 5 figures. This version matches the published one

详情
Journal ref
Gen Relativ Gravit 58, 64 (2026)
AI中文摘要

本文对能量-动量平方引力中的线性宇宙扰动进行了完全协变且 gauge 不变的分析。在 1+3 格式下,我们推导了标量、矢量和张量模式在 FLRW 背景上的精确传播方程,在辐射和尘埃背景下。两个代表性子类被详细研究,非线性效应通过 $\mathcal{O}(ηρ^2)$ 修正或方程-状态参数和声速的修改进入。对于标量扰动,密度对比相对于广义相对论可以增强或减少,取决于耦合参数和波长范围。类似的行为发生在矢量模式中,允许早期时间的非平凡涡旋。张量模式由韦伊尔张量的磁部分和剪切张量描述,以衰减波的形式传播,具有缓慢变化的有效质量。所有领域在 $η\!\to\!0$ 时都连续回归到 GR 限制。该框架隔离了稳健的特征 - 早期时间标量倾斜、张量衰减偏移和改变的涡旋衰减 - 这些特征可以与 CMB 和大尺度结构观测相结合,以约束这些引力理论。

英文摘要

We present a fully covariant and gauge-invariant analysis of linear cosmological perturbations in Energy-Momentum Squared Gravity. Working within the 1+3 formalism, we derive the exact propagation equations for scalar, vector, and tensor modes on FLRW backgrounds, in the case of radiation and dust. Two representative subclasses are examined in detail, in which non-linearity enters through $\mathcal{O}(ηρ^2)$ corrections or modifications in the equation-of-state parameter and the sound speed. For scalar perturbations, the density contrast can be enhanced or reduced relative to General Relativity, depending on the coupling parameter and the wavelength regime. A similar behaviour occurs for vector modes, allowing for a non-trivial vorticity at early-times. Tensor modes, described by the magnetic part of the Weyl tensor and the shear tensor propagate as damped waves with slowly varying effective masses. All sectors reduce continuously to their GR limits as $η\!\to\!0$. The framework isolates robust signatures - early-time scalar tilts, tensor damping shifts, and altered vorticity decay - that can be confronted with CMB and large-scale-structure observations to constrain these theories of gravity.

2211.02192 2026-06-08 stat.ME stat.AP 版本更新

A Mixed Model Approach for Estimating Regional Functional Connectivity from Voxel-level BOLD Signals

基于体素级BOLD信号的区域功能连接估计的混合模型方法

Ruobin Liu, Chao Zhang, Chau Tran, Sophie Achard, Wendy Meiring, Alexander Petersen

AI总结 提出线性混合效应模型,显式建模区域间和区域内相关性及测量误差,通过最大似然估计实现无偏且置信区间覆盖准确的功能连接估计,优于传统平均相关法。

详情
AI中文摘要

静息态脑功能连接量化不同脑区活动模式之间的同步性。在功能磁共振成像中,每个区域包含一组空间连续的体素,用于采集血氧水平依赖信号。普遍使用的平均相关(CA)估计器及其他类似指标,是通过每个区域内空间聚合信号计算得出的,并且仍然是神经科学家最常用的区域间连接量化方法。它们的流行主要归因于计算简单,尽管存在明显的偏差且缺乏统计原理上的合理性。通过利用线性混合效应模型,可以将区域间和区域内相关性以及测量误差明确建模为信号变异性来源。开发了一种新颖的计算流程,聚焦于受试者水平的区域间相关参数,以应对将最大似然估计应用于这种结构化、高维时空数据的挑战。模拟结果证实,与CA相比,所提出的估计器在减少偏差和准确置信区间覆盖方面均具有优越性。该方法还应用于构建来自人类连接组项目重测数据库的个体人脑网络。区域间相关估计的一致性表明,所提出的方法可能具有显著的科学优势,对于同一受试者的重测扫描,其产生的结果比CA更可靠。

英文摘要

Resting-state brain functional connectivity quantifies the synchrony between activity patterns of different brain regions. In functional magnetic resonance imaging, each region comprises a set of spatially contiguous voxels at which blood-oxygen-level-dependent signals are acquired. The ubiquitous Correlation of Averages (CA) estimator, and other similar metrics, are computed from spatially aggregated signals within each region, and remain the quantifications of inter-regional connectivity most used by neuroscientists. Their popularity is primarily due to computational simplicity despite their demonstrable bias and lack of statistically principled justification. By leveraging linear mixed-effects models, both inter-regional and intra-regional correlation and measurement error can be explicitly modeled as signal variability sources. A novel computational pipeline, focused on subject-level inter-regional correlation parameters of interest, is developed to address the challenges of applying maximum likelihood estimation to such structured, high-dimensional spatiotemporal data. Simulation results confirm the superiority of the proposed estimator relative to CA in terms of both decreased bias and accurate confidence interval coverage across simulation settings. The proposed method is also applied to construct individual human brain networks for subjects from a Human Connectome Project test-retest database. Concordances between inter-regional correlation estimates demonstrate the potentially substantial scientific benefits of the proposed approach that reliably produces more consistent results than CA for test-retest scans of the same subject.

2511.03491 2026-06-08 math.AP cond-mat.mes-hall cond-mat.quant-gas math-ph math.MP 版本更新

Dimensional reduction for anyons in the average-field approximation

任何子在平均场近似下的维度约简

Qiyun Yang

AI总结 本文基于平均场近似研究任何子的维度约简,通过各向异性囚禁势推导出有效1D模型,并在H²适定性下严格建立基态能量和时间依赖解。

详情
AI中文摘要

我们研究了在平均场/近玻色子水平上的阿贝尔任何子,其动力学由Chern-Simons-Schrödinger系统支配。我们考虑通过引入各向异性囚禁势对这个二维模型进行维度约简,并推导出在追踪出紧束缚方向后得到的有效1D模型。在松散束缚方向上,所得到的有效动力学由一个五次非聚焦非线性Schrödinger方程所捕获。我们在H²适定性假设下,严格建立了该维度约简过程,包括基态能量和时间依赖解。

英文摘要

We study abelian anyons at the mean-field/almost-bosonic level, whose dynamics are governed by the Chern-Simons-Schrödinger system. We consider the dimensional reduction of this 2D model by introducing an anisotropic trapping potential, and derive an effective 1D model after tracing out the tight confinement direction. The resulting effective dynamics in the loose confinement direction is captured by a quintic defocusing nonlinear Schrödinger equation. We rigorously establish this dimensional reduction process in the sense of ground state energies and time-dependent solutions, under an $H^2$ well-posedness assumption.

2511.01201 2026-06-08 cond-mat.mtrl-sci physics.app-ph 版本更新

Strong coupling between coherent ferrons and cavity acoustic phonons

相干费尔松与腔体声子的强耦合

Yujie Zhu, Jiaxuan Wu, Anna N. Morozovska, Eugene A. Eliseev, Yulian M. Vysochanskii, Venkatraman Gopalan, Long-Qing Chen, Xufeng Zhang, Wei Zhang, Jia-Mian Hu

AI总结 研究通过理论证明相干费尔松与腔体声子的强耦合,展示在铜铟磷硫六膜中实现室温下的超强费尔松-声子耦合,并预测通过铁电开关实现模式特异的费尔松-声子混合化控制。

详情
AI中文摘要

相干费尔松,作为极化波的量子,有可能与多种其他准粒子耦合,以实现量子通信、计算和传感中的新型控制模式。本文理论证明了基本模(波数为零)相干费尔松与腔体体声子之间的强耦合混合态。以范德瓦尔铁电CuInP2S6膜为例,预测在室温下实现超强费尔松-声子耦合,其中耦合强度g_c超过共振频率ω_0的10%。我们还预测通过铁电开关实现模式特异的费尔松-声子混合化控制。进一步表明CuInP2S6可在铁电-反铁电相变附近达到根本有趣但具有挑战性的深强耦合区(即g_c/ω_0>1)。我们的发现为利用相干费尔松作为强且可调的相干耦合混合量子系统奠定了理论基础。

英文摘要

Coherent ferrons, the quanta of polarization waves, can potentially be hybridized with many other quasiparticles for achieving novel control modalities in quantum communication, computing, and sensing. Here, we theoretically demonstrate a new hybridized state resulting from the strong coupling between fundamental-mode (wavenumber is zero) coherent ferrons and cavity bulk acoustic phonons. Using a van der Waals ferroelectric CuInP2S6 membrane as an example, we predict an ultra-strong ferron-phonon coupling at room temperature, where the coupling strength g_c reaches over 10% of the resonant frequency ω_0. We also predict an in-situ bistable electric-field control of mode-specific ferron-phonon hybridization via ferroelectric switching. We further show that CuInP2S6 allows for reaching the fundamentally intriguing but challenging deep strong coupling regime (i.e., g_c/ω_0>1) near the ferroelectric-to-paraelectric phase transition. Our findings establish the theoretical basis for exploiting coherent ferron as a new contender for hybrid quantum system with strong and highly tunable coherent coupling

2508.18813 2026-06-08 eess.SY cs.SY 版本更新

Recursive Experiment Design for Closed-Loop Identification of ARMAX Systems with Output Perturbation Limits

递归实验设计用于ARMAX系统闭环识别中的输出扰动限制

Jingwei Hu, Dave Zachariah, Torbjörn Wigren, Petre Stoica

AI总结 本文提出一种递归实验设计方法,通过在固定输出反馈控制器生成的输入中加入有界探测信号,以在保持输出扰动限制内实现ARMAX模型的闭环识别。

详情
AI中文摘要

在许多应用中,系统辨识实验必须在闭环中进行以确保安全或维持系统运行。本文考虑通过在固定输出反馈控制器生成的输入中加入有界探测信号,递归设计信息丰富的实验,以对ARMAX模型进行闭环识别。所生成的输出扰动应保持在用户指定的限制内。我们分析了该设置的可辨识性和可行性条件,并推导出可以高效闭式计算的探测信号。我们通过数值实验展示了该设计的有效性和性质。

英文摘要

In many applications, system identification experiments must be performed in closed loop to ensure safety or to maintain system operation. In this paper, we consider the recursive design of informative experiments for ARMAX models by adding a bounded probing signal to the input generated by a fixed output feedback controller. The resulting output perturbations should be kept within user-specified limits. We analyze the identifiability and feasibility conditions of this setting and then proceed to derive a probing signal that can be efficiently computed in closed form. We demonstrate the effectiveness and properties of the design in numerical experiments.

2310.17362 2026-06-08 math.RT 版本更新

Intermediate Macdonald Polynomials and Their Vector Versions

中间Macdonald多项式及其向量版本

Philip Schlösser

AI总结 本文研究了中间Macdonald多项式的基本性质,包括其正交基性质和对称差反射算子的对角化,以及计算其范数,并提出向量值多项式的解释。

详情
Journal ref
SIGMA 22 (2026), 057, 34 pages
AI中文摘要

对于具有固定原点和有限Weyl群W_0的仿射根系统S,中间Macdonald多项式是不变于子群W_J≤W_0的正交多项式。W_J=1和W_J=W_0的极端情况分别对应非对称和对称Macdonald多项式。本文利用双仿射Hecke代数研究其基本性质,包括它们形成正交基以及对角化一个可交换的差反射算子代数,并计算其范数。最后,本文提供了中间Macdonald多项式作为向量值多项式的两种解释,并将其与文献联系起来。

英文摘要

Intermediate Macdonald polynomials for an affine root system $S$ with fixed origin and finite Weyl group $W_0$ are orthogonal polynomials invariant under a parabolic subgroup $W_J\le W_0$. The extreme cases of $W_J=1$ and $W_J=W_0$ correspond to the non-symmetric and symmetric Macdonald polynomials, respectively. In this paper, we use double-affine Hecke algebras to study their basic properties, including that they form an orthogonal basis and that they diagonalise a commutative algebra of difference-reflection operators, and calculate their norms. Finally, we provide two interpretations of intermediate Macdonald polynomials as vector-valued polynomials and connect them to the literature.

2510.15771 2026-06-08 cond-mat.soft 版本更新

Self-organization and cyclic positioning of active condensates

主动凝聚体的自组织与循环定位

Hossein Vahid, Jens-Uwe Sommer, Abhinav Sharma

AI总结 研究通过主动布朗粒子模型揭示了活动梯度如何控制凝聚体的位置和周转,发现活性滴状体沿活动梯度迁移并循环定位。

详情
AI中文摘要

凝聚性主动组装体通常由空间非均匀的非平衡驱动调节,如运动性、生化降解或机械活动的梯度。这种非均匀驱动会影响凝聚体或细胞集体的积累位置、稳定性及与周围环境的物质交换。然而,活动梯度控制凝聚性主动物质位置和周转的最小物理机制仍不清楚。本文通过具有空间变化活动场的吸引力主动布朗粒子(ABPs)模型进行研究,利用布朗动力学模拟显示这些粒子经历液-气相分离,空间变化活动场诱导出显著的涌现动力学。吸引力主动滴状体沿活动梯度迁移,足够高活动下可分裂或蒸发至稀释相。对于有限簇,蒸发的ABPs可通过模拟盒内重新分布,重新组装成新簇于低活动区域,并再次向高活动区域迁移,通过重复成核、迁移、蒸发和重新组装产生循环定位。

英文摘要

Cohesive active assemblies are often regulated by spatially heterogeneous nonequilibrium driving, such as gradients in motility, biochemical turnover, or mechanical activity. Such heterogeneous driving can influence where condensates or cell collectives accumulate, how stable they are, and how they exchange material with their surroundings. However, the minimal physical mechanisms by which activity gradients control the positioning and turnover of cohesive active matter remain unclear. Here, we address this question using a model of attractive active Brownian particles (ABPs) in a spatially varying activity field. Using Brownian dynamics simulations, we show that these particles undergo liquid-gas phase separation, and spatially varying activity fields induce striking emergent dynamics. Attractive active droplets migrate up activity gradients, and at sufficiently high activity, they can fragment or evaporate into a dilute phase. For finite clusters, evaporated ABPs can redistribute through the simulation box, reassemble into new clusters in lower-activity regions, and migrate again toward higher activity, giving rise to cyclic positioning through repeated nucleation, migration, evaporation, and reassembly.

2412.17480 2026-06-08 math.GR math.RA 版本更新

Width bounds and Steinhaus property for unit groups of continuous rings

关于连续环单位群的宽度界限与Steinhaus性质

Josefin Bernard, Friedrich Martin Schneider

AI总结 本文证明了连续环单位群GL(R)的分解定理,表明每个元素可表示为7个交换子或16个 involutions 的乘积,并推导出GL(R)在自然秩拓扑下具有Steinhaus性质,从而得出所有连续同态必为连续映射,进一步影响动力系统行为。

Comments 61 pages, no figures; v2/v3: minor modifications, 61 pages

详情
AI中文摘要

我们证明了对于任意非离散不可约连续环R(按von Neumann意义),单位群GL(R)的代数分解定理,从而得出GL(R)中每个元素既是7个交换子的乘积,也是16个involution的乘积。结合对involution几何的进一步研究,我们推导出GL(R)在自然秩拓扑下具有所谓的Steinhaus性质,因此从GL(R)到可分拓扑群的每个同态必为连续映射。由于先前的工作,这进一步产生了动力学影响:例如,对于GL(R)在非空度量紧致空间上的每个连续作用,每个GL(R)元素在后者中都具有不动点。特别是,我们的结果回答了Carderi和Thom的两个问题,甚至在广义形式下。

英文摘要

We prove an algebraic decomposition theorem for the unit group $\mathrm{GL}(R)$ of an arbitrary non-discrete irreducible, continuous ring $R$ (in von Neumann's sense), which entails that every element of $\mathrm{GL}(R)$ is both a product of $7$ commutators and a product of $16$ involutions. Combining this with further insights into the geometry of involutions, we deduce that $\mathrm{GL}(R)$ has the so-called Steinhaus property with respect to the natural rank topology, thus every homomorphism from $\mathrm{GL}(R)$ to a separable topological group is necessarily continuous. Due to earlier work, this has further dynamical ramifications: for instance, for every action of $\mathrm{GL}(R)$ by homeomorphisms on a non-void metrizable compact space, every element of $\mathrm{GL}(R)$ admits a fixed point in the latter. In particular, our results answer two questions by Carderi and Thom, even in generalized form.

2510.17462 2026-06-08 eess.SP cs.SY eess.SY 版本更新

ORIX: Orchestration of RIS with xApps for Smart Wireless Factory Environments

ORIX:基于xApps的RIS在智能无线工厂环境中的协调

Sefa Kayraklik, Ali Fuat Sahin, Onur Salan, Recep A. Tasci, Recep Vural, Yusuf Islam Tek, Ertugrul Basar, Ibrahim Hokelek, Ali Gorcin, Karim Boutiba, Adlen Ksentini

AI总结 本文提出ORIX方法,通过xApps实现RIS与O-RAN的协同,提供端到端仿真平台评估RIS在智能无线工厂中的性能,平衡系统性能与实际约束。

Comments Accepted in IEEE Wireless Communications, Copyright IEEE

详情
AI中文摘要

智能无线工厂(SWF)愿景要求高灵活性、低延迟和可靠连接,超越传统无线解决方案。可重构智能表面(RIS)赋能通信与开放无线接入网络(O-RAN)架构结合,成为满足这些挑战性需求的有前途的解决方案。本文介绍ORIX方法,通过基于xApps的控制将RIS技术引入O-RAN生态系统,为SWF环境提供RIS服务模型、RIS信道模拟器和实用RIS优化策略。这些元素共同提供端到端仿真平台,用于在部署前评估RIS布置、控制和性能。所展示的案例研究展示了ORIX如何评估可实现的性能增益、探索关键RIS设计参数之间的权衡,并识别平衡系统性能与实际实施约束的部署策略。通过将理论进展与工业可行性结合,ORIX为RIS辅助O-RAN网络在工业场景中推动下一代无线通信奠定基础。

英文摘要

The vision of a smart wireless factory (SWF) demands highly flexible, low-latency, and reliable connectivity that goes beyond conventional wireless solutions. Reconfigurable intelligent surface (RIS)-empowered communications, when integrated with the open radio access network (O-RAN) architectures, have emerged as a promising enabler to meet these challenging requirements. This article introduces the methodology for the orchestration of RIS with xApps (ORIX), bringing the RIS technology into the O-RAN ecosystem through xApp-based control for SWF environments. ORIX features three key components: an O-RAN-compliant RIS service model for dynamic configuration, an RIS channel simulator that supports 3GPP indoor factory models with multiple industrial scenarios, and practical RIS optimization strategies with finite-resolution control. Together, these elements provide a realistic end-to-end emulation platform for evaluating RIS placement, control, and performance in SWF environments prior to deployment. The presented case study demonstrates how ORIX enables the evaluation of achievable performance gains, exploration of trade-offs among key RIS design parameters, and identification of deployment strategies that balance system performance with practical implementation constraints. By bridging theoretical advances with industrial feasibility, ORIX lays the groundwork for RIS-assisted O-RAN networks to power next-generation wireless communication in industrial scenarios.

2510.15093 2026-06-08 math.NA cs.NA physics.comp-ph stat.ML 版本更新

Fast spectral separation method for kinetic equation with anisotropic non-stationary collision operator retaining micro-model fidelity

保留微观模型保真度的各向异性非平稳碰撞算子的动力学方程快速谱分离方法

Yue Zhao, Huan Lei

AI总结 提出一种从分子动力学学习的数据驱动碰撞算子,通过各向异性非平稳核和快速谱分离方法(O(N log N)算法)扩展动力学模型至弱耦合之外,保持结构守恒与H定理。

详情
AI中文摘要

我们提出了一种通用的、数据驱动的单组分等离子体碰撞算子,该算子从分子动力学模拟中学习,将碰撞动力学模型扩展到弱耦合区域之外。所提出的算子具有各向异性、非平稳的碰撞核,考虑了经典Landau公式中通常忽略的粒子相关性。为了实现高效的数值评估,我们开发了一种快速谱分离方法,将核表示为单变量基函数的低秩张量积。该公式通过快速傅里叶变换实现了$O(N \log N)$算法,并通过保持结构的中心差分离散化保留了关键的物理性质,包括离散守恒律和H定理。数值实验表明,所提出的模型在中等耦合区域准确捕捉了超越标准Landau模型的等离子体动力学,同时保持了高计算效率和结构保持性质。

英文摘要

We present a generalized, data-driven collisional operator for one-component plasmas, learned from molecular dynamics simulations, to extend the collisional kinetic model beyond the weakly coupled regime. The proposed operator features an anisotropic, non-stationary collision kernel that accounts for particle correlations typically neglected in classical Landau formulations. To enable efficient numerical evaluation, we develop a fast spectral separation method that represents the kernel as a low-rank tensor product of univariate basis functions. This formulation admits an $O(N \log N)$ algorithm via fast Fourier transforms and preserves key physical properties, including discrete conservation laws and the H-theorem, through a structure-preserving central difference discretization. Numerical experiments demonstrate that the proposed model accurately captures plasma dynamics in the moderately coupled regime beyond the standard Landau model while maintaining high computational efficiency and structure-preserving properties.

2510.14813 2026-06-08 cond-mat.str-el quant-ph 版本更新

Quantum Fisher Information as a Thermal Probe in Frustrated Magnets through Insights from Quantum Spin Ice

量子 Fisher 信息作为 frustrated 磁体的热探针:通过量子自旋冰的见解

Chengkang Zhou, Zhengbang Zhou, Félix Desrochers, Yong Baek Kim, Zi Yang Meng

AI总结 本文利用量子 Fisher 信息研究量子自旋冰的热与动力学性质,通过多向环更新量子蒙特卡罗算法等方法计算QFI,揭示相图及相变行为。

Comments 10+13 pages, 3+11 figures

详情
AI中文摘要

量子 Fisher 信息(QFI)是通过非弹性中子散射测量多体纠缠的指标。本文展示QFI揭示量子自旋冰(QSI)的热和动力学性质,通过开发多向环更新量子蒙特卡罗算法、精确对角化和规范平均场理论,计算了吡咯лит晶格的QFI。温度和动量依赖性QFI映射相图,区分铁磁有序相、临界区、零磁通QSI和π-磁通QSI。QFI还捕捉两个临界尺度:从平凡顺磁到经典自旋冰,再到QSI。通过cerium基吡咯лит实验讨论π-磁通QSI。结果表明QFI不仅检测纠缠,还作为敏感的热和动力学探针用于 frustrated 量子磁体。

英文摘要

Quantum Fisher information (QFI) is a measure of multipartite entanglement accessible via inelastic neutron scattering. Here we demonstrate that QFI reveals thermal and dynamical properties of quantum spin ice (QSI), a three-dimensional quantum spin liquid with fractionalized excitations. By developing a multi-directed loop update quantum Monte Carlo algorithm, along with exact diagonalization and gauge mean-field theory, we compute the QFI for the pyrochlore lattice. The temperature and momentum dependence of QFI maps the phase diagram, distinguishing the ferromagnetic ordered phase, its critical region, the zero-flux QSI, and the $π$-flux QSI. QFI also captures two crossover scales: from trivial paramagnet to classical spin ice, then to QSI. We discuss the $π$-flux QSI in light of experiments on cerium-based pyrochlores. Our results suggest that QFI not only detects entanglement but also serves as a sensitive thermal and dynamical probe for frustrated quantum magnets.

2510.12973 2026-06-08 math.NT math.AG 版本更新

Separable Pseudo-reductive Bands with Applications to Rational Points

可分离伪可约带及其在有理点应用

Azur Đonlagić

AI总结 本文扩展了Galois理论中关于代数带的Borovoi-Springer解释,研究可分离带在任意字段的fppf位势上局部表示的性质,并证明在特定条件下的全局表示性,同时推广了Borovoi的阿贝尔化理论并应用到有理点问题。

Comments 91 pages; version updates: \#\1. added the weak approximation case in subsections 5.2, 5.3 \#\2. generalized B.2.1 beyond smooth groups, also the Čech theory in 2.4 to all locally algebraic fppf bands \#\3. minor typos fixed/exposition improved, notably in subsection 3.3

详情
AI中文摘要

我们扩展了Galois理论中关于代数带的Borovoi-Springer解释,将其推广到一类在任意字段$k$的fppf位势上局部表示的可分离带。接下来,一个在$k$上局部由伪可约群表示的带,当$[k : k^p] = p$时,被证明可以全局表示,且存在一般情况下的反例。当$k$是全局或局部域时,我们推导了Borovoi阿贝尔化理论对可分离带的推广。作为应用,我们证明了Brauer-Manin障碍是伪可约群(更一般地,是具有分裂单位元核的光滑连通有理群)的同质空间满足哈塞原理和弱逼近的唯一障碍,当该同质空间具有光滑连通的几何稳定子群时。

英文摘要

We extend the Galois-theoretic Borovoi-Springer interpretation of algebraic bands to a class of étale-locally represented bands on the fppf site of an arbitrary field $k$, which we call separable bands. Next, a band represented étale-locally over $k$ by a pseudo-reductive group is shown to be globally representable when $[k : k^p] = p$, with counterexamples in general. When $k$ is a global or local field, we deduce a generalization of Borovoi's abelianization theory to separable bands represented by smooth connected algebraic groups. As an application, we prove that the Brauer-Manin obstruction is the only obstruction to both the Hasse principle and weak approximation on a homogeneous space of a pseudo-reductive group (more generally, of a smooth connected affine algebraic group with split unipotent radical) having a smooth connected geometric stabilizer.

2510.11373 2026-06-08 astro-ph.GA 版本更新

JWST COSMOS-3D: Spectroscopic Census and Luminosity Function of [O III] Emitters at 6.75<z<9.05 in COSMOS

JWST COSMOS-3D:6.75<z<9.05红移范围内[C III]发射体的光谱普查及其[C III]光度函数

Romain A. Meyer, Feige Wang, Koki Kakiichi, Gabe Brammer, Jackie Champagne, Katharina Jurk, Zihao Li, Zijian Li, Marat Musin, Sindhu Satyavolu, Jan-Torge Schindler, Marko Shuntov, Yi Xu, Siwei Zou, Fuyan Bian, Caitlin Casey, Eiichi Egami, Xiaohui Fan, Danyang Jiang, Nicolas Laporte, Weizhe Liu, Pascal Oesch, Lidia Tasca, Jinyi Yang, Zijian Zhang, Hollis Akins, Zheng Cai, Dave A. Coulter, Jiamu Huang, Mingyu Li, Weizhe Liu, Yongming Liang, Bingcheng Jin, Xiangyu Jin, Jeyhan Kartaltepe, Jasleen Matharu, Maria Pudoka, Wei-Leong Tee, Callum Witten, Haowen Zhang, Yongda Zhu

AI总结 本文基于COSMOS-3D数据,研究了6.75<z<9.05红移范围内[C III]发射体的光谱普查及[C III]光度函数,发现红移7-8时[C III]光度密度下降,揭示了早期宇宙中[C III]发射体金属licity和恒星形成率密度的可能变化。

Comments Updated paper after referee report + full COSMOS-3D field. [OIII] catalogue public at https://github.com/rameyer/cosmos3d

详情
AI中文摘要

我们给出了6.75<z<9.05红移范围内通过光谱选择的[C III]+Hb发射体目录,并在COSMOS区域内得到了[C III]5008Å光度函数(LF)。利用COSMOS-3D覆盖的0.33平方度区域,我们进行了最大的[C III]发射体光谱搜索。我们给出了249个[C III]发射体及其相关完备性函数。推导出的[C III]LF约束使我们能够表征[C III]LF的拐点,从而在z~7,8处得到改进的[C III]LF约束。值得注意的是,我们发现红移7到8之间[C III]光度密度出现下降,这可能表明在这些红移下[C III]发射体的金属licity以及宇宙恒星形成率密度在下降。我们发现能够再现z~7,8 [C III]LF的理论模型在[C III]等效宽度分布上表现不佳,暗示了早期宇宙中[C III]及其他星系际线的建模可能存在挑战。最后,我们提供了[C III]发射体宇宙方差的首次约束,估计在0.33平方度区域内z~7,8 [C III]LF的分数不确定性为15%。这一估计与通过聚类推导的结果一致,表明从较小的星系遗产场推导出的[C III]LF受到宇宙方差的显著影响。我们的结果强调了宽视场JWST slitless调查在绘制银河系大尺度结构直至再电离时期中的基础作用,为多种科学案例提供了研究基础。

英文摘要

We present a catalogue of spectroscopically-selected [OIII]+Hb emitters at 6.75<z<9.05 and the resulting [OIII] 5008 ÅLuminosity Function (LF) in the COSMOS field. We leverage the 0.33 deg$^{2}$ covered by COSMOS-3D using NIRCam/WFSS F444W to perform the largest spectroscopic search for [OIII] emitters at 6.75<z<9.05. We present our catalogue of 249 [OIII] emitters and their associated completeness function. The inferred constraints on the [OIII] LF enable us to characterise the knee of the [OIII] LF, resulting in improved [OIII] LF constraints at z~7,8. Notably, we find evidence for a decline of the [OIII] luminosity density between z~7 and z~8, which could be expected if the metallicity of [OIII] emitters, as well as the cosmic star-formation rate density, is declining at these redshifts. We find that theoretical models that reproduce the z~7,8 [OIII] LF do not reproduce well the [OIII] equivalent width distribution, pointing to potential challenges in the modelling of[OIII] and other nebular lines in the early Universe. Finally, we provide the first constraints on the cosmic variance of [OIII] emitters, estimating at 15% the fractional uncertainty for the z~7,8 [OIII] LF in the 0.33 deg$^2$ field. This estimate is in good agreement with that inferred from clustering, and shows that the [OIII] LF derived from smaller extragalactic legacy fields is strongly affected by cosmic variance. Our results highlight the fundamental role that wide-area JWST slitless surveys play to map the galaxy large-scale structure down into the reionisation era, serving as a springboard for a variety of science cases.

2510.10436 2026-06-08 cs.CR 版本更新

Post-Quantum Cryptography and Quantum-Safe Security: A Comprehensive Survey

后量子密码学与量子安全:综述

Gaurab Chhetri, Shriyank Somvanshi, Pavan Hebli, Shamyo Brotee, Subasish Das

AI总结 本文综述后量子密码学的发展,涵盖各类密码家族的分类、性能比较、硬件加速及部署应用,强调量子安全系统的实际应用与挑战。

Comments Preprint under active peer review for ACM Computing Surveys

详情
AI中文摘要

后量子密码学(PQC)正从评估转向部署,随着NIST对ML-KEM、ML-DSA和SLH-DSA的标准最终确定。本文全面回顾从基础理论到实际应用的领域。首先,我们开发了一个涵盖格、码、哈希、多变量、同源和MPC-in-the-Head家族的分类体系,总结了安全假设、密码分析和标准化状态。然后,我们通过代表性、基于实现的测量比较性能和通信成本,并审查硬件加速(AVX2,FPGA/ASIC)和实现安全,重点在于侧信道抗性。向上构建,我们检查协议集成(TLS,DNSSEC),PKI和证书卫生,以及在受限和高保证环境(物联网、云、金融、区块链)中的部署。我们还讨论与量子技术(QKD、QRNGs)的互补性以及近期量子计算的限制。贯穿始终,我们强调密码敏捷性、混合迁移和证据指导。最后,我们讨论开放问题,涵盖参数敏捷性、泄漏容错实现和特定领域的部署手册。本文旨在为研究人员和从业者提供实用参考,连接标准、工程和运营。

英文摘要

Post-quantum cryptography (PQC) is moving from evaluation to deployment as NIST finalizes standards for ML-KEM, ML-DSA, and SLH-DSA. This survey maps the space from foundations to practice. We first develop a taxonomy across lattice-, code-, hash-, multivariate-, isogeny-, and MPC-in-the-Head families, summarizing security assumptions, cryptanalysis, and standardization status. We then compare performance and communication costs using representative, implementation-grounded measurements, and review hardware acceleration (AVX2, FPGA/ASIC) and implementation security with a focus on side-channel resistance. Building upward, we examine protocol integration (TLS, DNSSEC), PKI and certificate hygiene, and deployment in constrained and high-assurance environments (IoT, cloud, finance, blockchain). We also discuss complementarity with quantum technologies (QKD, QRNGs) and the limits of near-term quantum computing. Throughout, we emphasize crypto-agility, hybrid migration, and evidence-based guidance for operators. We conclude with open problems spanning parameter agility, leakage-resilient implementations, and domain-specific rollout playbooks. This survey aims to be a practical reference for researchers and practitioners planning quantum-safe systems, bridging standards, engineering, and operations.

2510.06393 2026-06-08 gr-qc astro-ph.HE 版本更新

A comprehensive look into the accuracy of SpEC binary black hole waveforms

对SpEC双黑洞波形准确性的全面审视

Taylor Knapp, Katerina Chatziioannou, Keefe Mitman, Mark A. Scheel, Michael Boyle, Lawrence E. Kidder, Harald Pfeiffer

AI总结 本文研究SpEC生成的双黑洞波形准确性,提出三种误差指标,发现数值误差随二体演化累积,但并非在后期更动态阶段更大,且误差与自转预cessing相关。

Comments 18 pages, 11 figures, accepted to PRD

详情
AI中文摘要

数值相对论模拟为二体系统提供了完整的动力学描述,包括引力辐射。这些模拟产生的波形在引力波探测和推断中有广泛应用。本文重新审视SpEC生成的波形准确性,提出三种准确性度量标准:(i)广义频率加权不匹配度,(ii)相对振幅差,(iii)不同时间点的相位差。我们确认数值误差随二体演化累积,但误差并非在最后更动态阶段更大。研究参数空间中的误差,我们发现不匹配度和相位差与预cessing自转正相关,但与对齐自转或偏心率相关性较小。最后,振幅和相位差在交换目录中的分辨率时对称,表明误差源是随机的,而非系统性的。

英文摘要

Numerical relativity simulations provide a full description of the dynamics of binary systems, including gravitational radiation. The waveforms produced by these simulations have a number of applications in gravitational-wave detection and inference. In this work, we revisit the accuracy of the waveforms produced by the Spectral Einstein Code. Motivated by the wide range of waveform applications, we propose and explore three accuracy metrics between simulation resolutions: (i) the generalized frequency-weighted mismatch, (ii) the relative amplitude difference, and (iii) the phase difference at different times. We confirm that numerical errors accumulate over the binary evolution, but the error is not intrinsically larger during the latest, more dynamical stages. Studying errors across the parameter space, we identify a positive correlation between both the mismatch and the phase difference with precessing spin, but little correlation with aligned spin or eccentricity. Lastly, amplitude and phases differences are symmetric upon exchanging resolutions across the catalog, suggesting that the dominant source of error is random, rather than something systematic that affects all waveforms similarly.

2112.02403 2026-06-08 math.NT math.RT 版本更新

Asymptotics of Schwartz functions

Schwartz函数的渐近性质

Chun-Hsien Hsu

AI总结 本文研究分裂、单连通、几乎单代数群G的极大抛物子群P的仿射闭包X_P上的Schwartz空间,证明两种定义在经典群和G2情形下等价,并建立Poisson求和公式。

Comments 83 pages. Minor edit. Reference updated (Previous file was incorrect)

详情
AI中文摘要

设$G$为分裂、单连通、几乎单代数群,$P$为$G$的极大抛物子群。Braverman和Kazhdan在\cite{BKnormalized}中定义了$P^{\mathrm{der}}ackslash G$的仿射闭包$X_P$上的Schwartz空间。在若干前期工作之后,\cite{Getz:Hsu:Leslie}给出了另一种更易于分析处理的定义。当$G$为经典群或$G_2$时,我们证明这两种定义一致,并证明了Schwartz空间的一些先前猜想性质,这些性质将在应用中发挥作用。在此过程中,我们利用Fourier理论给出了$X_P$上微分算子环的另一种构造。我们还建立了这些情形下的Poisson求和公式。

英文摘要

Let $G$ be a split, simply connected, almost simple algebraic group, and let $P$ be a maximal parabolic subgroup of $G$. Braverman and Kazhdan in \cite{BKnormalized} defined a Schwartz space on the affine closure $X_P$ of $P^{\mathrm{der}}\backslash G$. An alternate, more analytically tractable definition was given in \cite{Getz:Hsu:Leslie}, following several earlier works. When $G$ is a classical group or $G_2$, we show the two definitions coincide and prove several previously conjectured properties of the Schwartz space that will be useful in applications. Along the way, we give an alternative construction of the ring of differential operators on $X_P$ using the Fourier theory. We also establish the Poisson summation formulae in these cases.

2505.01337 2026-06-08 math.PR math-ph math.MP 版本更新

VRJP recurrence and fractional-moment decay for the \(H^{2|2}\) model's effective field on the hierarchical lattice

$H^{2|2}$模型在分层晶格上的有效场的顶点增强跳跃过程的复发性及分数动量衰减

Jinglin Wang, Xiaolin Zeng

AI总结 本文基于$H^{2|2}$模型在分层晶格上的有效场,证明了顶点增强跳跃过程在谱维数d<2时的复发性,并在临界维数d=2时,对强增强情况成立,利用分数动量方法和分层粗粒化恒等式,确定了分层VRJP相图的复发侧。

Comments 30 pages, 4 figures

详情
AI中文摘要

我们证明了在分层晶格上,对于谱维数$d<2$,对于每一个导电参数$\overline{W}$的值,顶点增强跳跃过程具有复发性;在临界谱维数$d=2$时,对于足够强的增强,即足够小的$\overline{W}$,也成立。关键估计是关联随机薛定谔算子的格林函数的分数动量界,表现为在分层尺度上的几何衰减。证明结合了分数动量方法和精确的分层粗粒化恒等式,将路径展开转化为块尺度上的递归,并控制由长程边产生的组合增长。与d>2区域的长程序结果结合,这些估计确定了分层VRJP相图的复发侧,仅剩下弱增强临界区域未被解决。

英文摘要

We prove recurrence of the vertex-reinforced jump process on the hierarchical lattice for spectral dimension \(d<2\) for every value of the conductance parameter \(\overline{W}\), and at the critical spectral dimension \(d=2\) for sufficiently strong reinforcement, i.e., sufficiently small \(\overline{W}\). The key estimate is a fractional-moment bound for the Green's function of the associated random Schrödinger operator, expressed as geometric decay across hierarchical scales for the effective \(H^{2|2}\) field. The proof combines the fractional-moment method with an exact hierarchical coarse-graining identity, which turns the path expansion into a recursion over block scales and controls the combinatorial growth created by long-range edges. Together with existing long-range-order results in the regime \(d>2\), these estimates identify the recurrent side of the hierarchical VRJP phase diagram, leaving only the weak-reinforcement critical regime open.

2509.02187 2026-06-08 math.NT math.DS math.RA 版本更新

Divisibility by $p$ for Markoff-like Surfaces

$p$的可除性与马尔科夫型曲面

Matthew de Courcy-Ireland, Matthew Litman, Yuma Mizuno

AI总结 研究带有额外非对角项的马尔科夫型曲面在素数域上的轨道,证明典型曲面的非平凡轨道大小可被$p$整除,扩展了陈文的定理,证明方法基于马丁的近期论证,预期一般情况下仅有一个轨道,特殊参数下至少有两个或四个轨道。

Comments 26 pages, 8 figures, 1 table. v2: updated references, corrected eq. (9). v3: minor edits, updated Figure 8

详情
AI中文摘要

我们研究一组带有额外非对角项的马尔科夫型曲面在素数域$\mathbb{F}_p$上的轨道。证明对于此类形式的典型曲面,每个非平凡轨道的大小都可被$p$整除。这扩展了陈文关于马尔科夫曲面本身的定理。证明方法紧密遵循并扩展了马丁最近的论证。我们预期一般情况下仅有一个轨道。对于某些特殊参数,我们证明至少存在两个或四个轨道。凯莱的立方曲面在参数化例外情况和规定模$p$下的解数方面起作用。

英文摘要

We study orbits in a family of Markoff-like surfaces with extra off-diagonal terms over prime fields $\mathbb{F}_p$. It is shown that, for a typical surface of this form, every non-trivial orbit has size divisible by $p$. This extends a theorem of W.Y. Chen from the Markoff surface itself to others in this family. The proof closely follows and elaborates on a recent argument of D.E. Martin. We expect that there is just one orbit generically. For some special parameters, we prove that there are at least two or four orbits. Cayley's cubic surface plays a role in parametrising the exceptional cases and dictating the number of solutions mod $p$.

2508.12698 2026-06-08 gr-qc quant-ph 版本更新

Quantum spacetime from constraints: wave equations and fields

从约束中构建量子时空:波方程与场

Tommaso Favalli

AI总结 本文通过扩展Page和Wootters量子时间形式化,结合量子钟和尺,构建了量子时空的全关系模型,并展示标准波方程从该框架自然涌现,无需外部时空结构。

Comments 19 pages, 1 figure

详情
AI中文摘要

在先前的工作中,我们展示了时间和空间可以在无背景坐标的情况下,从纠缠中涌现,存在于全局约束的量子宇宙中。通过将Page和Wootters量子时间形式化扩展到包含量子钟和尺,并对总能量和动量施加全局约束,我们构建了一个完全关系的量子时空模型。在此基础上,我们进一步在1+1维中展示,标准的量子粒子波方程(薛定谔、克莱因-戈尔登和狄拉克方程)自然地从该框架中涌现。方程的解直接由约束推导得出,而无需假设任何外部时空结构。其次量子化形式化也得到了实施和讨论。我们的结果进一步支持了量子时空中的动力学可能从纠缠和约束中涌现这一想法。

英文摘要

In previous works, we showed that both time and space can emerge from entanglement within a globally constrained quantum Universe, with no background coordinates. By extending the Page and Wootters quantum time formalism to include both quantum clocks and rods, and imposing global constraints on total energy and momentum, we constructed a fully relational model of quantum spacetime. Here we take a further step: working in 1+1 dimensions, we show that the standard wave equations governing quantum particles (the Schrödinger, Klein-Gordon and Dirac equations) emerge naturally from this framework. The solutions of the equations are derived directly from the constraints, without assuming any external spacetime structure. The second quantization formalism is also implemented and discussed. Our results provide further support for the idea that quantum dynamics in spacetime may emerge from entanglement and constraints.

2509.20598 2026-06-08 math.AP 版本更新

Extended Sobolev Scale on Non-Compact Manifolds

非紧流形上的扩展Sobolev尺度

Ognjen Milatovic

AI总结 本文在非紧流形上定义扩展Sobolev尺度H^φ(X),并研究其作为插值空间的性质及PUPDO的映射性质,同时证明其与扩展A尺度的等价性。

Comments We clarified the exposition in several places and we added a few references. arXiv admin note: text overlap with arXiv:2310.10894

详情
AI中文摘要

通过将Mikhailets和Murach在紧流形上定义的

英文摘要

Adapting the definition of ``extended Sobolev scale" on compact manifolds by Mikhailets and Murach to the setting of a (generally non-compact) manifold of bounded geometry $X$, we define the ``extended Sobolev scale" $H^φ(X)$, where $φ$ is a function which is $RO$-varying at infinity. With the help of the scale $H^φ(X)$, we obtain a description of all Hilbert function-spaces that serve as interpolation spaces with respect to a pair of Sobolev spaces $[H^{(s_0)}(X), H^{(s_1)}(X)]$, with $s_0<s_1$. We use this interpolation property to establish a mapping property of proper uniform pseudo-differential operators (PUPDOs) in the context of the scale $H^φ(X)$. Additionally, using a first-order positive-definite PUPDO $A$ of elliptic type we define the ``extended $A$-scale" $H^φ_{A}(X)$ and show that it coincides, up to norm equivalence, with the scale $H^φ(X)$. Besides the mentioned results, we show that further properties of the $H^φ$-scale, originally established by Mikhailets and Murach on $\mathbb{R}^n$ and on compact manifolds, carry over to manifolds of bounded geometry.

2501.04658 2026-06-08 math.PR math.OC 版本更新

Quadratic-form Optimal Transport

二次型最优传输

Ruodu Wang, Zhenyuan Zhang

AI总结 本文提出二次型最优传输框架,探讨其在不平等测量、方差、协方差等场景下的应用,并介绍新的diamond传输方法解决相关优化问题。

Comments 43 pages, 5 figures; to appear in Mathematical Programming

详情
AI中文摘要

我们引入了二次型最优传输(QOT)框架,其传输成本形式为$\iint c\,\mathrm{d}π\otimes\mathrm{d}π$,其中π是两个边缘分布之间的耦合。二次型传输成本的例子包括不平等测量、双变量函数的方差、协方差、Kendall's tau、Gromov--Wasserstein距离、二次指派问题和经典最优传输的二次正则化。QOT与经典传输问题相比具有显著不同的数学结构,并面临许多技术挑战。我们展示了QOT的基本性质,并提供了若干显式解的实例。对于包括矩形成本函数在内的广泛成本函数类,QOT问题通过一种称为diamond传输的新耦合方法得到解决,其copula支持在单位正方形中的diamond上。

英文摘要

We introduce the framework of quadratic-form optimal transport (QOT), whose transport cost has the form $\iint c\,\mathrm{d}π\otimes\mathrm{d}π$ for some coupling $π$ between two marginals. Interesting examples of quadratic-form transport cost and their optimization include inequality measurement, the variance of a bivariate function, covariance, Kendall's tau, the Gromov--Wasserstein distance, quadratic assignment problems, and quadratic regularization of classic optimal transport. QOT leads to substantially different mathematical structures compared to classic transport problems and many technical challenges. We illustrate the fundamental properties of QOT and provide several cases where explicit solutions are obtained. For a wide class of cost functions, including the rectangular cost functions, the QOT problem is solved by a new coupling called the diamond transport, whose copula is supported on a diamond in the unit square.

2509.04265 2026-06-08 math.DS 版本更新

Reinforcement-Learning-Guided Data-Driven Estimation of Spectral Properties of Stochastic Koopman Semigroups

基于强化学习的数据驱动随机Koopman半群谱性质估计

Yuanchao Xu, Jing Liu, Weiping Ding, Zhongwei Shen, Isao Ishikawa

AI总结 本文提出Reinforced SDMD方法,结合强化学习与随机动态模式分解,用于更准确估计随机Koopman半群的谱性质,通过探索奖励机制优化采样区域以提高估计精度。

详情
AI中文摘要

Koopman谱分析将非线性随机动力学转化为可观测量的线性演化,从而获得衰减率、振荡模式和亚稳态行为。然而,在实践中,EDMD、SDMD等估计器对轨迹数据的收集位置依赖性强。如果大多数轨迹起始于信息含量低的区域,即使使用丰富的字典,主导特征值和特征函数的估计也可能不佳。本文提出Reinforced SDMD,一种将随机动态模式分解与强化学习结合的数据采集方法。RL智能体选择轨迹初始化区域,SDMD更新Koopman近似,谱一致性奖励评估新生成数据上的估计特征对。探索奖励用于避免重复采样状态空间的小部分。我们在随机双井、杜芬和 FitzHugh-Nagumo 系统上测试多臂老虎机、DQN 和 PPO。学习策略将更多样本置于对估计主导Koopman特征对有用的区域。我们还给出误差传播分析,展示SDMD算子误差如何进入对应的老虎机、近似价值迭代和近似策略迭代界限。

英文摘要

Koopman spectral analysis turns nonlinear stochastic dynamics into a linear evolution of observables and gives access to decay rates, oscillatory modes, and metastable behavior. In practice, however, EDMD, SDMD, and related estimators depend strongly on where the trajectory data are collected. If most trajectories start in regions that carry little spectral information, the leading eigenvalues and eigenfunctions can be poorly estimated even with a rich dictionary. We propose \emph{Reinforced SDMD}, a data-acquisition method that couples Stochastic Dynamic Mode Decomposition with reinforcement learning. The RL agent chooses trajectory-initialization regions, SDMD updates the Koopman approximation, and a spectral-consistency reward evaluates the estimated eigenpairs on the newly generated data. An exploration bonus is added to avoid repeatedly sampling only a small part of the state space. We test multi-armed bandits, DQN, and PPO on stochastic double-well, Duffing, and FitzHugh--Nagumo systems. The learned policies place more samples in regions that are useful for estimating the leading Koopman eigenpairs. We also give an error-propagation analysis showing how SDMD operator error enters the corresponding bandit, approximate value-iteration, and approximate policy-iteration bounds.

2502.02416 2026-06-08 math.DS 版本更新

Limitations of deducing measures of limsup sets from measures of finite intersections

从有限交集的测度推导limsup集的测度的局限性

Charlie Wilson

AI总结 本文指出Beresnevich和Velani的结果中球集条件的必要性,并构造了不满足该条件但limsup集测度不同的例子。

Comments Revised introduction, typos corrected, added relevant new results and removed results subsumed by these

详情
AI中文摘要

早期由Borel和Cantelli以及Chung(Rendiconti del Circolo Matematico di Palermo,1909)和Erdős(Transactions of the AMS,1952)的结果为limsup集的测度提供了以构成集及其交集的测度为条件的界。Beresnevich和Velani(Journal of Mathematical Analysis and its Applications,2023)最近的工作指出,对于球集序列,对应的limsup集测度为正等价于这些球的测度及其 pairwise 交集的测度之间的关系条件。本文证明了Beresnevich和Velani结果中球集条件的严格必要性。此外,令$d \in \mathbb{N}$,令$[0,1]^d$配备Lebesgue测度$μ$。固定$m \in \mathbb{N}$。当去掉集合为球的条件时,我们可以找到两个集合序列$(A_i)_{i \in \mathbb{N}}$和$(B_i)_{i \in \mathbb{N}}$在$[0,1]^d$中,使得对于所有$i \in \mathbb{N}$,有$μ(A_i)=μ(B_i)$且对于任何序列$(i_1,i_2,...,i_l)$,其中对于所有$l \leq m$,有$μ(A_{i_1}\cap A_{i_2} \cap... \cap A_{i_l})=μ(B_{i_1}\cap B_{i_2} \cap... \cap B_{i_l})$但$μ(\limsup_{i \rightarrow \infty} A_i)=1$且$μ(\limsup_{i \rightarrow \infty} B_i)=0$。

英文摘要

Early results by Borel and Cantelli and Chung (Rendiconti del Circolo Matematico di Palermo, 1909) and Erdős (Transactions of the AMS, 1952) have provided bounds for the measure of a limsup set in terms of measures of its constituent sets and their intersections. Recent work by Beresnevich and Velani (Journal of Mathematical Analysis and its Applications, 2023) states that for sequences of balls the measure of the corresponding limsup set being positive is equivalent to a condition on the relationship between the measures of these balls and their pairwise intersections. In this paper, we show that the condition that the sets are balls is strictly necessary in the result of Beresnevich and Velani. Moreover, let $d \in \mathbb{N}$ and let $[0,1]^d$ be equipped with Lebesgue measure $μ$. Fix $m \in \mathbb{N}$. When we drop the condition that the sets are balls, we can find two sequences of sets $(A_i)_{i \in \mathbb{N}}$ and $(B_i)_{i \in \mathbb{N}}$ in $[0,1]^d$ such that $μ(A_i)=μ(B_i)$ for all $i \in \mathbb{N}$ and for any sequence $(i_1,i_2,...,i_l)$ where for all $l \leq m$ we have $μ(A_{i_1}\cap A_{i_2} \cap... \cap A_{i_l})=μ(B_{i_1}\cap B_{i_2} \cap... \cap B_{i_l})$ but $μ(\limsup_{i \rightarrow \infty} A_i)=1$ and $μ(\limsup_{i \rightarrow \infty} B_i)=0$.

2509.01494 2026-06-08 cs.SE 版本更新

SWR-Bench: Assessing LLM Performance in Real-World Code Review Comment Generation

SWR-Bench:评估大语言模型在真实世界代码审查评论生成中的性能

Zhengran Zeng, Ruikai Shi, Keke Han, Yixin Li, Kaicheng Sun, Yidong Wang, Zhuohao Yu, Rui Xie, Wei Ye, Shikun Zhang

AI总结 SWR-Bench通过1000个手动验证的GitHubPull Requests,评估LLM在真实世界代码审查中的性能,提出客观评估方法并验证了多评论聚合策略,显著提升ACR性能。

详情
AI中文摘要

自动化代码审查(ACR)对软件质量至关重要,但现有基准测试往往无法反映真实世界复杂性,阻碍了现代大语言模型(LLMs)的评估。当前基准测试通常聚焦于细粒度代码单元,缺乏完整项目上下文,并使用不充分的评估指标。为解决这些限制,我们引入SWRBench,一个新的包含1000个手动验证的Pull Requests(PRs)的基准测试,提供PR为中心的审查,具有完整的项目上下文。SWRBench采用一种客观的基于LLM的评估方法,通过验证生成的审查是否覆盖结构化的地面真相中的问题,与人类判断高度一致(约90%的一致性)。我们对主流ACR工具和LLMs在SWRBench上的系统评估表明,当前系统表现不佳,ACR工具在检测功能错误方面更擅长。随后,我们提出并验证了一种简单的多审查聚合策略,显著提升了ACR性能,将F1分数提高了高达43.67%。我们的贡献包括SWRBench基准测试、其客观评估方法、对当前ACR能力的全面研究以及一种有效的增强方法,为推进ACR研究提供了有价值的见解。

英文摘要

Automated Code Review (ACR) is crucial for software quality, yet existing benchmarks often fail to reflect real-world complexities, hindering the evaluation of modern Large Language Models (LLMs). Current benchmarks frequently focus on fine-grained code units, lack complete project context, and use inadequate evaluation metrics. To address these limitations, we introduce SWRBench , a new benchmark comprising 1000 manually verified Pull Requests (PRs) from GitHub, offering PR-centric review with full project context. SWRBench employs an objective LLM-based evaluation method that aligns strongly with human judgment (~90 agreement) by verifying if issues from a structured ground truth are covered in generated reviews. Our systematic evaluation of mainstream ACR tools and LLMs on SWRBench reveals that current systems underperform, and ACR tools are more adept at detecting functional errors. Subsequently, we propose and validate a simple multi-review aggregation strategy that significantly boosts ACR performance, increasing F1 scores by up to 43.67%. Our contributions include the SWRBench benchmark, its objective evaluation method, a comprehensive study of current ACR capabilities, and an effective enhancement approach, offering valuable insights for advancing ACR research.

2509.00909 2026-06-08 cs.IR 版本更新

HiPS: Hierarchical PDF Segmentation of Doctrinal Legal Books

HiPS: doctrinal法律书籍的分层PDF分割

Sabine Wehnert, Harikrishnan Changaramkulath, Ivan Habernal

AI总结 本文提出HiPS,用于分层PDF分割doctrinal法律书籍,提供了一个包含49本开放获取法律书籍的黄金标准基准,包含9812个手动编纂的标题、层级和页面锚点,同时引入了基于目录和无目录的分割管道,以提高标题检测、层级重建和边界分配的准确性。

Comments 11 pages, 9 figures. Accepted as a demo paper at ICAIL 2026. This arXiv version includes an appendix, new results, bug fixes, and presentation improvements beyond the earlier preprint; consequently, some reported numbers differ

详情
AI中文摘要

PDF解析器近年来在页面级布局理解上有所改进。然而,恢复具有可靠边界的文档全局章节层次结构仍然对深度结构化的书籍来说很脆弱:许多系统只暴露页面局部的标题角色,假设层次较浅,或依赖高质量的PDF标签或目录(TOC)元数据,而公开的深度书籍层次结构的黄金标准数据很少。我们提出了HiPS用于doctrinal法律书籍的分层PDF分割,并做出了两项主要贡献。首先,我们发布了一个包含49本开放获取法律书籍的黄金标准基准,包含9,812个手动编纂的标题、层级和页面锚点,使评估标题检测、层次重建和章节边界分配成为可能。其次,我们引入了互补的分割管道:一个基于目录的解析器用于具有可靠大纲元数据的书籍,以及一个无目录的LLM优化管道,结合OCR空白提示、XML排版和局部上下文。在广泛的比较中,基于目录的管道在元数据完整时表现最强,而无目录的LLM优化管道在元数据缺失或嘈杂时提高了标题精度、深层恢复和边界质量。

英文摘要

PDF parsers have recently improved on page-level layout understanding. However, recovering a document-global section hierarchy with reliable boundaries remains brittle for deeply structured books: many systems expose only page-local heading roles, assume shallow depth, or rely on high-quality PDF tags or Table of Contents (TOC) metadata, and public gold-standard data for deep book hierarchies is scarce. We present HiPS for hierarchical PDF segmentation of doctrinal legal books and make two main contributions. First, we release a gold-standard benchmark of 49 open-access law books with 9,812 manually curated headings, hierarchy levels, and page anchors, enabling evaluation of title detection, hierarchy reconstruction, and section boundary assignment. Second, we introduce complementary segmentation pipelines: a TOC-based parser for books with reliable outline metadata and a TOC-free LLM-refined pipeline that combines OCR whitespace cues, XML typography, and local context. Across a broad comparison against open-source parsers and multimodal/LLM baselines, the TOC-based pipeline is strongest when metadata is complete, while the LLM-refined pipeline improves heading precision, deep-level recovery, and boundary quality when metadata is missing or noisy.

2508.19536 2026-06-08 cond-mat.supr-con cond-mat.str-el 版本更新

Superconductivity and the quasiparticle mass enhancement near the CDW critical point using Bethe-Salpeter method: Application to cuprates

近铁磁序临界点处超导性与准粒子质量增强的Bethe-Salpeter方法研究:应用于铜基超导体

Youichi Yamakawa, Hiroshi Kontani

AI总结 本文基于Bethe-Salpeter方法研究铁磁序临界点附近超导性与准粒子质量增强,揭示了电子-电子相互作用在二维Hubbard模型中非微扰效应,并解释了铜基超导体相图中d波超导性增强的机制。

Comments 15 pages, 10 figures

详情
AI中文摘要

近年来,强关联金属中的电荷通道序引起了广泛关注。代表性例子包括铜基超导体和铁基超导体中的电子各向异性序,以及kagome金属中的星形五角形序。临界现象和非常规超导性源于此类电荷通道序的涨落,是当前的核心问题;然而,许多体效应(顶点修正)在均场近似之外起关键作用,其起源和计算方法尚未确立。本文提出Bethe-Salpeter方程方法,用于评估二维Hubbard模型中电子-电子相互作用。基于Baym-Kadanoff守恒近似,发现电荷通道中吸引相互作用源于Aslamazov-Larkin顶点修正,描述自旋涨落的干涉过程。将此方法应用于正方形晶格Hubbard模型,发现吸引电荷涨落与排斥自旋涨落的协同作用产生高临界温度d波超导性并增强有效质量。这些结果为铜基超导体相图提供了自然解释,在电荷序临界点附近d波超导性显著增强。该理论也可应用于铁基和镍酸盐超导体,表明未来应用的广阔前景。

英文摘要

In recent years, charge-channel order in strongly correlated metals has attracted much attention. Representative examples include electronic nematic order in cuprates and iron-based superconductors, and Star-of-David order in kagome metals. Critical phenomena and unconventional superconductivity arising from fluctuations of such charge-channel orders are central issues today; however, the essential role is played by many-body effects (vertex corrections) beyond the mean-field approximation, and their origin and computational methods have not been established. In this study, we propose the Bethe-Salpeter equation method to evaluate electron-electron interactions in two-dimensional Hubbard models beyond the mean-field approximation. Based on the Baym-Kadanoff conserving approximation, we find that an attractive interaction in the charge channel emerges from the Aslamazov-Larkin vertex corrections that describe the interference processes among spin fluctuations. Applying this method to the square-lattice Hubbard model shows that the cooperation of attractive charge fluctuations and repulsive spin fluctuations yields high-$T_c$ $d$-wave superconductivity together with enhanced effective mass. These results provide a natural explanation for the phase diagram of cuprate superconductors, in which $d$-wave superconductivity is strongly enhanced near the charge-order critical point.The theory can also be applied to iron-based and nickelate superconductors, suggesting broad potential for future applications.

2508.18657 2026-06-08 cond-mat.mes-hall 版本更新

Emergent topology of flat bands in a twisted bilayer $α$-$T_3$ lattice

平带在扭曲双层α−T3晶格中的涌现拓扑

Gourab Paul, Srijata Lahiri, Kuntal Bhattacharyya, Saurabh Basu

AI总结 研究了晶格几何和布里渊区扩大导致的带折叠如何相互作用,生成并修改扭曲双层α−T3系统中的带拓扑。平带在dice极限下表现出显著退化,与h-BN层对齐后形成具有不同拓扑特性的子带,其中远离电中性区域出现非退化拓扑子带。

Comments 17 pages, 14 figures

详情
AI中文摘要

我们研究了晶格几何的破坏性干涉与布里渊区扩大的带折叠如何相互作用,生成并随后修改扭曲双层α−T3系统中的带拓扑。在dice极限下,涌现的平带表现出显著的退化,当与h-BN层对齐时,退化被消除,从而形成具有不同拓扑特性的子带。值得注意的是,接近电中性区域的子带表现出平凡行为,而在远离电中性区域出现拓扑非退化的奇异子带。拓扑带在α−θ平面的较大区域中与其余带隔离,但通过与最近邻带的杂化表现出多个相变。我们研究了杂化Wannier电荷中心和陈数的演变,以表征不同的新兴拓扑相。最后,研究了拓扑带的平坦度随α和θ的变化,以明确量子干涉和带折叠对拓扑带宽度的影响。

英文摘要

We investigate an interesting interplay of destructive interference due to lattice geometry and band folding due to enlargement of the Brillouin zone in generating and subsequently modifying the band topology in a twisted bilayer $α$-$T_3$ system. The pronounced degeneracy of the emergent flat band in the dice limit of the $α$-$T_3$ lattice is removed on alignment with h-BN layers, resulting in the formation of sub-bands with varying topological characteristics. Remarkably, while the sub-band near charge neutrality exhibits a trivial behavior, a topologically non-degenerate singular sub-band emerges away from charge neutrality. The topological band remains isolated from the rest of the bands for a substantial area of the $α- θ$ plane (where $α$ and $θ$ correspond to the hopping ratio and twist angle respectively) while exhibiting multiple phase transitions as a function of the aforementioned parameters via hybridization with its nearest bands. We study the evolution of the hybrid Wannier charge center and the Chern number to characterize the different emergent topological phases. Finally, the degree of flatness of the topological band is studied as a function of both $α$ and $θ$ to explicitly show the influence of quantum interference and band folding on the width of the topological band.

2508.15006 2026-06-08 eess.SY cs.SY 版本更新

Structure-preserving Optimal Kron-based Reduction of Radial Distribution Networks

保持结构的最优克罗内克基于简化 radial 分布网络

Omid Mokhtari, Samuel Chevalier, Mads Almassalkhi

AI总结 本文提出了一种改进的克罗内克基于网络简化方法,通过增强可扩展性、保持径向性以及线性化电压误差约束,实现了对大规模配电网络的高效简化,实验表明在不同规模的网络中均取得显著的简化效果。

详情
AI中文摘要

网络简化通过将复杂电气网络简化以应对大规模输电和配电网的计算挑战。传统网络简化方法通常基于预定义的节点或线路集以保持在简化网络中。本文基于之前关于网络最优克罗内克基于简化的研究,将其建模为混合整数线性规划问题,以增强框架的三个方面。首先,通过切割平面限制、收紧Big M界限和零注入节点简化阶段来提高可扩展性。其次,引入了保持径向性的步骤以识别并恢复确保径向性的节点。线性化的电压幅度误差约束被纳入以显式限制完整网络和简化网络之间的差异。该模型通过应用533节点配电测试系统和3499节点公用事业馈线等代表性负载场景进行验证。在533节点系统中,实现了85%的简化,最大电压误差低于0.0025每单位,而在3499节点馈线中,超过94%的简化,最大电压误差低于0.002每单位。此外,我们还表明,当应用于克罗内克简化网络时,径向化步骤能加速最优电压控制问题的运行时间。

英文摘要

Network reduction simplifies complex electrical networks to address computational challenges of large-scale transmission and distribution grids. Traditional network reduction methods are often based on a predefined set of nodes or lines to remain in the reduced network. This paper builds upon previous work on optimal Kron-based reduction of networks, which was formulated as a mixed-integer linear program, to enhance the framework in three aspects. First, the scalability is improved via a cutting plane restriction, tightened Big M bounds, and a zero-injection node reduction stage. Next, we introduce a radiality-preservation step to identify and recover nodes whose restoration ensures radiality. A linearized voltage magnitude error constraint is incorporated to explicitly bound the difference between full and reduced networks. The model is validated through its application to the 533-bus distribution test system and a 3499-bus utility feeder for a set of representative loading scenarios. In the 533-bus system, an 85% reduction was achieved with a maximum voltage error below 0.0025 per unit, while in the 3499-bus feeder, over 94% reduction was obtained with maximum voltage errors below 0.002 per unit. Additionally, we show that the radialization step accelerates the runtime of optimal voltage control problems when applied to Kron-reduced networks.

2403.17022 2026-06-08 math.CV 版本更新

Hermitian Geometry of Complex Multivectors, Determinants and Orientations

复多向量的埃尔米特几何,行列式与定向

André L. G. Mandolesi

AI总结 本文提出复多向量和行列式的两种几何解释,包括体积平方根和体积分数,引入新的全形指数测量复子空间的非全形性,并讨论复定向与克莱因代数与埃尔米特几何的关系。

Comments Published version

详情
Journal ref
Adv. Appl. Clifford Algebras 36, 35 (2026)
AI中文摘要

本文提出了复多向量和行列式的两种几何解释:一种是通过体积平方根,另一种是通过体积分数。分数由新的全形指数确定,该指数通过广义凯勒角度或不相交角度测量复子空间$\mathbb{C}^n$的非全形性,并关联实与复外积。解释还结合了自然但不常见的复定向概念,与基本复变换相关。本文还提出了复 blade(可分解多向量)作为平行六面体分数的图形表示,并讨论了克莱因代数与埃尔米特几何的关系(或不)。

英文摘要

Two geometric interpretations for complex multivectors and determinants are presented: a little known one in terms of square roots of volumes, and a new one using fractions of volumes. The fraction is determined by a new holomorphy index, which measures the lack of holomorphy of real subspaces of $\mathbb{C}^n$ via generalized Kähler angles or a disjointness angle, and relates real and complex exterior products. The interpretations are completed with a natural but uncommon concept of complex orientation, related to elementary complex transformations. We also propose graphical representations for complex blades (decomposable multivectors) as fractions of parallelotopes, and discuss how Clifford algebras relate (or not) to Hermitian geometry.