arXivDaily arXiv每日学术速递 周一至周五更新
重置
全部学科分类 2155
2605.19809 2026-05-20 cs.DS cs.CG

Deterministic Volume Estimation of Truncated Hypercubes

截断超立方体的确定性体积估计

Kyra Gunluk

AI总结 本文提出了一种确定性多项式时间算法,用于估计被固定数量约束所截断的超立方体的体积,这些约束类型为$f(x) \leq b$,其中$f$是多个非负、单调、凸的一元函数之和。主要贡献是能够在给定误差参数$\varepsilon$的情况下,以多项式时间复杂度计算单位超立方体与这些约束交集的体积近似值。

详情
AI中文摘要

我们提出了一种确定性多项式时间算法,用于估计被固定数量约束所截断的超立方体的体积,这些约束类型为$f(x) \leq b$,其中$f$是多个非负、单调、凸的一元函数之和。此类约束包括背包约束和范数球约束。当单位超立方体被单个线性约束(半空间)截断时,该问题已经是#P难的。给定$k$个这样的约束,在$n$维空间中,输入总长度不超过$L$位,输出总长度不超过$L_o$位,并且误差参数$\varepsilon > 0$,我们的算法能够在时间$poly_k(n, 1/\varepsilon, L, L_o)$内计算其与单位超立方体$[0,1]^n$交集的体积的$(1 + \varepsilon)$乘法近似值。

英文摘要

We present a deterministic polynomial-time algorithm for estimating the volume of a hypercube intersected by a fixed number of constraints of the type $f(x) \leq b$, where $f$ is the sum of univariate functions that are each nonnegative, monotone, and convex. Such constraints include knapsack and norm-ball constraints. The case of the unit hypercube truncated by a single linear constraint (halfspace) is already #P-hard. Given $k$ such constraints in dimension $n$, with total input length of at most $L$ bits, total output length of at most $L_o$ bits, and an error parameter $\varepsilon > 0$, our algorithm computes a $(1 + \varepsilon)$-multiplicative approximation of the volume of their intersection with the unit hypercube $[0,1]^n$ in time poly$_k(n, 1/\varepsilon, L,L_o)$.

2605.19808 2026-05-20 cond-mat.mtrl-sci physics.chem-ph

Partially reactive force field for the UiO-66 metal-organic framework

部分反应力场用于UiO-66金属有机框架

Akanksha Nawani, Rocio Semino

AI总结 本文提出了一种部分反应力场(nb-UiO-FF)用于模拟UiO-66金属有机框架,该力场通过 Morse 势和虚拟原子再现了 Zr 原子的各向异性电荷分布,并用于研究溶热条件下节点-配体结合的早期阶段,识别出热力学和动力学上均有利的瞬时结构特征。

Comments 17 pages, 12 figures, 6 tables

详情
AI中文摘要

UiO-66 是最广泛研究的金属有机框架(MOF),因其结构可调性,这归因于其能够维持结构中高含量的点缺陷的能力。其合成机制 largely 未知,仅有少数研究主要集中在 Zr-氧化物簇的形成上。在本工作中,引入了一种部分反应力场来模拟 UiO-66,称为 nb-UiO-FF。该力场通过 Morse 势和虚拟原子来引入节点-配体反应性,并再现 Zr 原子在节点中的各向异性电荷分布。nb-UiO-FF 能够再现 UiO-66 及其等结构同源物 UiO-67 的结构特征,以及在有或无缺陷的情况下框架的机械性能和稳定性,以及被激活或填充 N,N-二甲基甲酰胺或乙醇。该力场还被用于分子动力学方案中研究溶热条件下节点-配体结合的早期阶段。识别出热力学和动力学上均有利的瞬时结构特征。该力场使研究 UiO-66 的自组装以及其点缺陷的形成成为可能。

英文摘要

UiO-66 is the most widely studied metal-organic framework (MOF), on account of its structural tunability given by its capacity of sustaining high amounts of point defects in its structure. Its synthesis mechanism is largely unknown, with only a few works mostly focused on the formation of the Zr-oxide cluster. In this work, a partially reactive force field to model UiO-66, nb-UiO-FF, is introduced. This force field incorporates node--ligand reactivity via a Morse potential and the introduction of dummy atoms to reproduce the anisotropic charge distribution of the Zr atoms in the node. nb-UiO-FF reproduces structural features of both UiO-66 and its isoreticular analog UiO-67, mechanical properties and framework stability with or without defects, activated or filled with N,N-dimethylformamide or ethanol. The force field is further employed within a molecular dynamics scheme to study the early stages of solvothermal node--ligand binding. Transient structural motifs both thermodynamically and kinetically favored are identified. This force field enables studying the self-assembly of UiO-66, as well as the formation of its point defects.

2605.19807 2026-05-20 stat.ME

Reliable model selection in the presence of parameter non-identifiability

在参数非可识别性存在的情况下可靠模型选择

Yong See Foo, Torkel E. Loman, Alexander P. Browning, Ivo Siekmann, Ruth E. Baker, Jennifer A. Flegg

AI总结 本文研究了在参数非可识别性存在时证据计算方法的可靠性,提出了一种新的自适应多重重要性采样方法,以提高模型选择的鲁棒性,并通过生态案例展示了其在低计算成本下优于MCMC方法的性能。

Comments 33 pages, 8 figures

详情
AI中文摘要

数学模型对于理解生物系统的行为和预测具有重要价值,尽管其构建需要指定机制和关系,这些关系往往并不完全已知。在存在多个竞争模型的情况下,进行基于可用数据的推断时应考虑模型不确定性。贝叶斯模型选择是一种用于检验机理假设并生成模型不确定性下的预测的框架,通常需要计算模型证据。在本文中,我们研究了在参数非可识别性——即给定可用数据无法区分参数值——存在时证据计算方法的可靠性,并发现确定性证据近似方法由于其底层假设被违反,可以产生误导性的模型选择结果。我们提出了一种新的自适应多重重要性采样方法用于证据估计,并展示了其对非可识别性的鲁棒性。我们使用生态案例研究来展示简单的模型选择方法如何无法产生准确的结果,而我们的方法在显著较低的计算成本下产生的模型选择结果与MCMC方法获得的结果相当。鉴于参数非可识别性在数学生物学中的普遍性,本文提供了一种实用的方法,以在参数不明确的情况下实现可靠的模型选择。

英文摘要

Mathematical models are invaluable for understanding and predicting how biological systems behave, although their construction requires specifying mechanisms and relationships that are often not perfectly known. In the presence of multiple competing models, model uncertainty should be accounted for when performing inference based on available data. Bayesian model selection is a framework for testing mechanistic hypotheses and generating predictions under model uncertainty, which generally requires computation of the model evidence. In this work, we investigate the reliability of evidence computation methods when parameter non-identifiability -- the inability to distinguish between parameter values given available data -- is present, and find that deterministic evidence approximations can produce misleading model selection results because their underlying assumptions are violated. We propose a novel implementation of adaptive multiple importance sampling for evidence estimation, and demonstrate its robustness against non-identifiability. We use ecological case studies to demonstrate how simple model selection methods fail to produce accurate results, whereas our method yields model selection results that are comparable to those obtained by Markov chain Monte Carlo methods at substantially lower computational cost. Given the pervasiveness of parameter non-identifiability in mathematical biology, this work provides a practical approach to reliable model selection in the presence of poorly identified parameters.

2605.19803 2026-05-20 math.AG math.CV math.DS

Random products of birational maps: Equidistribution of preimages of curves

随机的birational映射乘积:曲线预像的等分布

Arnaud Nerrière

AI总结 本文研究了随机birational变换乘积对平面中曲线预像的等分布性质,基于Diller和Roeder最近的工作,探讨了Cremona群在所有平面模型的当前空间逆极限上的作用,并证明了随机有限支持行走的等分布性。

详情
AI中文摘要

我们考虑了通过随机birational变换乘积对曲线的迭代预像。跟随Diller和Roeder最近的工作,我们研究了Cremona群在所有平面模型的当前空间逆极限上的作用。我们证明了对于通用的有限支持随机行走,存在等分布性。

英文摘要

We consider iterated preimages of curves by random products of birational transformations of the plane. Following a recent work of Diller and Roeder, we study the action of the Cremona group on the inverse limit of the spaces of currents in all models of the plane. We show equidistribution for generic finitely supported random walks.

2605.19802 2026-05-20 cond-mat.mtrl-sci physics.app-ph physics.comp-ph

Building a Regional Data-Centric Materials Science Ecosystem for Processing-Rich Materials Innovation in the Great Plains

构建一个区域数据导向的材料科学生态系统以促进大平原地区加工丰富的材料创新

D. -M. Mei, K. Acharya, C. M. Adhikari, M. Adhikari, S. Aryal, B. V. Benson, K. Bhatta, S. Bhattarai, N. Budhathoki, A. M. Castillo, D. Chakraborty, S. Chhetri, S. Choudhury, T. A. Chowdhury, R. D. Cruz, B. Cui, S. Dhital, K. -M. Dong, R. Gapuz, A. Ghasemi, E. Z. Gnimpieba, B. D. S. Gurung, H. A. Hashim, R. I. Harry, K. -E. Hasin, M. K. Hassanzadeh, M. K. Jha, D. Kim, K. -C. Kong, B. Lama, A. Mahat, N. Maharjan, A. Majeed, J. Mammo, M. M. Masud, K. S. Moore, T. Mukherjee, A. Nawaz, H. Oli, S. A. Panamaldeniya, L. Pandey, R. Pandey, Z. Peng, A. Prem, M. M. Rana, K. Rana Magar, R. Rizk, C. S. Tadi, L. -W. Wang, Y. Yang, G. -L. Yin, C. -X. Yu, D. Zeng, M. Zhou, Q. Zhou

AI总结 本文提出通过建立区域化的数据导向材料科学生态系统,解决传统材料数据库难以捕捉的实验、加工丰富、设备级和领域相关数据问题,核心方法包括FAIR元数据、溯源性、持久样本标识符、不确定性感知建模、半闭环工作流、可堆叠的人员培训和分层治理,主要贡献是提出解决碎片化数据、算法-实验室转换弱、网络基础设施和技术人员访问不均、人员缺口以及共享和重用激励不足等五个耦合障碍的阶段路线图。

Comments 33 pages, 6 figures, and 8 tables

详情
AI中文摘要

数据导向的材料科学正在改变材料的发现、优化、制造和认证方式,然而许多限制部署的材料问题仍然依赖于实验、加工丰富、设备级和领域相关的数据,这些数据在传统材料数据库中难以捕捉。本文认为,大平原及相邻内陆研究走廊可以通过将分布式的实验资产组织成可信的区域材料数据生态系统,为国家做出独特的贡献。所提出的模型强调FAIR元数据、溯源性、持久样本标识符、不确定性感知建模、半闭环工作流、可堆叠的人员培训以及分层治理,适用于学术、公共、受控访问和行业保护的数据。本文识别出五个耦合障碍——碎片化数据、算法-实验室转换弱、网络基础设施和技术人员访问不均、材料-数据界面人员缺口以及共享和重用激励不足,并提出解决这些障碍的阶段路线图。一个高纯度锗试点展示了区域优势如何转化为可重用的数据集、基准模型、培训人员和决策改善的工作流。更广泛的信息是,区域在数据导向材料科学中的领导力将取决于可信的数据实践、互操作的基础设施、跨培训的人才以及应用驱动的材料挑战,而非地理集中。

英文摘要

Data-centric materials science is changing how materials are discovered, optimized, manufactured, and qualified, yet many deployment-limiting materials problems still depend on experimental, processing-rich, device-level, and field-relevant data that are difficult to capture in conventional materials databases. This perspective argues that the Great Plains and adjacent interior research corridor can make a distinctive national contribution by organizing distributed experimental assets into a trusted regional materials-data ecosystem. The proposed model emphasizes FAIR metadata, provenance, persistent sample identifiers, uncertainty-aware modeling, semi-closed-loop workflows, stackable workforce training, and tiered governance for academic, public, controlled-access, and industry-protected data. We identify five coupled barriers -- fragmented data, weak algorithm--laboratory translation, uneven access to cyberinfrastructure and technical staff, workforce gaps at the materials--data interface, and insufficient incentives for sharing and reuse -- and propose a staged roadmap for addressing them. A high-purity germanium pilot illustrates how regional strengths can be converted into reusable datasets, benchmark models, trained personnel, and decision-improving workflows. The broader message is that regional leadership in data-centric materials science will depend less on geographic concentration than on trustworthy data practices, interoperable infrastructure, cross-trained people, and application-driven materials challenges.

2605.19801 2026-05-20 quant-ph

Off-line quantum-advantage feature extraction for industrial production

离线量子优势特征提取用于工业生产

Carlos Flores-Garrigos, Gabriel D. Alvarado Barrios, Qi Zhang, Anton Simen, Enrique Solano

AI总结 本文提出量子特征代理框架,通过让量子计算机仅处理少量精心选择的子样本,而非所有样本,从而在工业生产中实现更高效的特征提取,减少计算成本。

详情
AI中文摘要

量子计算不再只是学术研究中的实验室奇观。具有超过100个量子位的工业处理器已商业化,并且首次能够以经典算法难以匹敌的方式从数据中提取信息。目前将这一能力应用于工业生产最直接的商业化方式是量子特征提取:将原始业务数据(图像、客户记录、分子或传感器读数)转化为更丰富的表示,以优于标准机器学习模型。然而,目前的演示与未来的生产系统之间有一个障碍:每个数据样本都需消耗量子计算执行。对于拥有数百万客户、卫星图像或交易的公司来说,对每个样本进行量子硬件处理是不可行的。本文介绍量子特征代理,由Kipu Quantum开发的框架,突破这一瓶颈。想法直观但具有挑战性:而不是让量子计算机查看每个样本,我们让其查看少量精心选择的子样本,其分布忠实代表完整集。一个简单的经典模型,即代理,然后学习量子诱导的模式,并将其应用于其余数据集,成本接近于零。量子处理器不再是每样本引擎,而成为表示的教师,而生产推理完全在经典硬件上运行。

英文摘要

Quantum computing is no longer a lab curiosity for academic research. Industrial processors exceeding 100 qubits are commercially accessible and, for the first time, can extract information from data in ways that classical algorithms struggle to match. The most direct way to monetize this capability for industrial production today is quantum feature extraction: turning raw business data (images, customer records, molecules, or sensor readings) into richer representations that outperform standard machine learning models. There is one obstacle, however, that stands between today's demonstrations and tomorrow's production systems: every sample of data costs a quantum computing execution. For a company with millions of customers, satellite images, or transactions per month, processing every sample on quantum hardware is simply not viable. This work introduces quantum feature surrogates, a framework developed by Kipu Quantum that breaks this bottleneck. The idea is intuitive though challenging: instead of asking the quantum computer to look at every single sample, we let it look at a small, carefully chosen subsample of the data, whose distribution faithfully represents the full set. A simple classical model, a surrogate, then learns the quantum-induced patterns and applies them to the rest of the dataset at near-zero cost. The quantum processor stops being a per-sample engine and becomes a teacher of representations, while production inference runs entirely on classical hardware.

2605.19800 2026-05-20 math-ph math.MP math.PR

The quantum Almeida-Thouless line in the self-overlap-corrected quantum Sherrington-Kirkpatrick model

自交叠修正的量子谢尔林-基普里亚克模型中的量子阿姆布罗斯-托乌勒斯线

Chokri Manai, Simone Warzel

AI总结 本文研究了自交叠修正的量子谢尔林-基普里亚克模型在垂直磁场中的玻璃转变,确定了玻璃相与顺磁相之间的相界,并基于简化后的帕里斯变分原理进行证明。

详情
AI中文摘要

我们对在垂直磁场中的自交叠修正的谢尔林-基普里亚克(SK)模型(也称为量子SK模型)的玻璃转变进行了完整分析。特别是,我们确定了玻璃相与顺磁相之间的相界。证明基于一个简化后的量子压力变分原理,仅涉及经典帕里斯序参量。作为证明的一部分,我们还分析了自交叠约束的量子SK模型的压力及其帕里斯描述,以及广义量子霍普菲尔德模型的压力。

英文摘要

We present a complete analysis of the glass transition in the self-overlap-corrected Sherrington-Kirkpatrick (SK) model in a transverse magnetic field, also referred to as the quantum SK model. In particular, we determine the phase boundary separating the glassy and paramagnetic phases. The proof is based on a simplified Parisi variational principle for the quantum pressure, which only involves classical Parisi order parameters. As part of the proof, we also analyze the pressure of the self-overlap-constrained quantum SK model and its Parisi description, as well as the pressure of generalized quantum Hopfield models.

2605.19796 2026-05-20 physics.flu-dyn

Kinetic closure of turbulence: collision-side modeling beyond the filtered BGK--Boltzmann equation

湍流的动量闭合:超越过滤BGK-玻尔兹曼方程的碰撞侧建模

Francesco Marson, Orestis Malaspinas

AI总结 本文扩展了最近引入的湍流动量闭合方法,通过发展其理论框架、操作实现和验证。与过滤纳维-斯托克斯方程不同,过滤玻尔兹曼方程保留了子格子对流传输,在线性流算子下,未解析物理集中在碰撞侧。我们表明,在稀薄气体LES和RANS范围内,玻尔兹曼和BGK型碰撞模型的主要限制不是分子混沌的失效,而是保留了在过滤引起有限时间相关性尺度上的马尔可夫碰撞过程。在BGK型框架中,闭合问题具有双重性:必须推断过滤细粒度平衡,这不能仅从过滤时刻中计算得出,且必须建模由碰撞产物协方差生成的非马尔可夫碰撞动力学。本文框架明确展示了这种双重结构,并通过基于子格子平衡残差的BGK型闭合来表示由此产生的碰撞协方差源项,其中湍流松弛频率由一种第一现象学实现给出。该框架依赖于由参考时间尺度比直接从动量方程的无量纲化中出现的查普曼-恩斯科格分析组织,从而避免了人为的湍流尺度分离。我们表明,查普曼-恩斯科格结构不是纯粹的Knudsen缩放:主要顺序由动能到宏观时间尺度比设定,而更高阶项保留了通过粒子速度混合缩放的额外马赫依赖性。由此得到的动量闭合通过格子玻尔兹曼模拟进行验证,并与Smagorinsky模型和基于正则化的碰撞模型进行比较。

详情
AI中文摘要

本文扩展了最近引入的湍流动量闭合方法,通过发展其理论框架、操作实现和验证。与过滤纳维-斯托克斯方程不同,过滤玻尔兹曼方程保留了子格子对流传输,在线性流算子下,未解析物理集中在碰撞侧。我们表明,在稀薄气体LES和RANS范围内,玻尔兹曼和BGK型碰撞模型的主要限制不是分子混沌的失效,而是保留了在过滤引起有限时间相关性尺度上的马尔可夫碰撞过程。在BGK型框架中,闭合问题具有双重性:必须推断过滤细粒度平衡,这不能仅从过滤时刻中计算得出,且必须建模由碰撞产物协方差生成的非马尔可夫碰撞动力学。本文框架明确展示了这种双重结构,并通过基于子格子平衡残差的BGK型闭合来表示由此产生的碰撞协方差源项,其中湍流松弛频率由一种第一现象学实现给出。该框架依赖于由参考时间尺度比直接从动量方程的无量纲化中出现的查普曼-恩斯科格分析组织,从而避免了人为的湍流尺度分离。我们表明,查普曼-恩斯科格结构不是纯粹的Knudsen缩放:主要顺序由动能到宏观时间尺度比设定,而更高阶项保留了通过粒子速度混合缩放的额外马赫依赖性。由此得到的动量闭合通过格子玻尔兹曼模拟进行验证,并与Smagorinsky模型和基于正则化的碰撞模型进行比较。

英文摘要

This article extends a recently introduced kinetic closure of turbulence by developing its theoretical framework, operational realizations, and validation. In contrast with filtered Navier--Stokes formulations, filtering the Boltzmann equation retains subgrid advective transport under the linear streaming operator, so that unresolved physics is concentrated on the collision side. We show that in the dilute-gas LES and RANS regimes, the main limitation of Boltzmann and BGK-type collision models is not the breakdown of molecular chaos, but the retention of a Markovian collision process at a scale where filtering induces finite temporal correlations in the collision product. In a BGK-type framework, the closure problem is dual: one must infer the filtered fine-grained equilibrium, which is not computable from filtered moments alone, and model the non-Markovian collision dynamics generated by the collision-product covariance. The present framework makes this dual structure explicit and represents the resulting collision-covariance source term through a BGK-like closure built from the subgrid equilibrium residual, with the turbulent relaxation frequency given by a first phenomenological realization. The framework relies on a Chapman--Enskog analysis organized by the reference timescale ratio emerging directly from the nondimensionalization of the kinetic equation and performed in the classical sense, thereby avoiding artificial turbulent scale separations. We show that the Chapman--Enskog structure is not a pure one-parameter Knudsen scaling: the primary ordering is set by the kinetic-to-macroscopic timescale ratio, while higher moments retain an additional Mach dependence through the mixed scaling of particle velocity. The resulting kinetic closures are validated through lattice Boltzmann simulations and compared with the Smagorinsky model and regularization-based collision models.

2605.19793 2026-05-20 cs.NI cs.ET cs.SY eess.SY

Motion-Coupled Sensing: When the State Change Powers Its Own Sensing

运动耦合感知:当状态变化本身驱动其自身的感知

Muhammad Tahir, Muhammad Mubbashar Baig, Umer Irfan, Muhammad Ahad, Naveed Anwar Bhatti

AI总结 该研究提出了一种运动耦合感知方法,利用机械运动提供的能量进行自供电的感知任务,解决了传统物联网系统中对电池维护和周期性轮询的依赖问题。

Comments 9 Pages, 12 Figures

详情
AI中文摘要

无电池物联网系统长期以来主要沿着两条路径发展:环境能量感知,其中能量到达与被监控事件相互分离,以及动能事件电报,其中用户操作本身为短时报告提供能量。机械闸门状态暴露了第三种情况:访问运动不仅是需要报告的事件,而且是潜在物理状态可能已改变并必须测量的时刻。我们证明常规铰链运动可以为一个有限的唤醒-感知-传输交易提供足够的能量,包括超声波感知和远距离LoRa上行链路。我们称之为运动耦合感知,并通过一个开源的紧凑型电磁谐振器实现,该谐振器可无需结构修改地适配到垃圾桶、门和柜子上。我们为最 demanding 的工作负载(垃圾桶监控)设计了该平台,其中每次操作必须为超声波测量和远距离LoRa上行链路提供能量。在五个校园地点和5,945次盖子操作中,垃圾桶部署实现了99.3%的每事件传输可靠性。在房间门上的现场部署中有1,870次操作,办公室柜子上有1,636次操作,分别实现了92%和94%的传输成功率,证明了相同的能量包络在不同铰链几何形状上无需硬件重新设计即可转移。这些结果表明,机械访问可以被视为自供电的感知交易,从而移除了物联网部署中周期性轮询和计划电池维护的需要。

英文摘要

Batteryless IoT systems have largely followed two paths: ambient-energy sensing, where energy arrival is decoupled from the event being monitored, and kinetic event telegrams, where a user actuation powers a short report of the actuation itself. Mechanically gated states expose a third case: the access motion is not only an event to report, but the moment at which a latent physical state may have changed and must be measured. We show that routine hinge motion can supply enough energy for one bounded wake-sense-transmit transaction, including ultrasonic sensing and a long-range LoRa uplink. We call this principle motion-coupled sensing and instantiate it with an open-source compact electromagnetic harvester that retrofits to bins, doors, and cabinets with no structural modification. We size the platform for the most demanding workload, waste-bin monitoring, where each actuation must power both an ultrasonic measurement and a long-range LoRa uplink. Across five campus locations and 5,945 lid actuations, the bin deployment achieves 99.3% per-event transmission reliability. Field deployments on room doors with 1,870 actuations and office cabinets with 1,636 actuations achieve 92% and 94% transmission success respectively, demonstrating that the same energy envelope transfers across hinge geometries without hardware redesign. These results show that mechanical access can be treated as a self-powered sensing transaction, removing periodic polling and scheduled battery maintenance for IoT deployments.

2605.19791 2026-05-20 gr-qc

Non-singular Inflation-Dark Energy Unification Model Based on Loop Quantum Cosmology and Mass-Varying Neutrinos

基于圈量子宇宙学和变质量中微子的非奇异膨胀-暗能量统一模型

Zhiming Shuai, Xiangdong Zhang

AI总结 本文提出一种基于广义正则化方案的非奇异五重膨胀模型,结合圈量子宇宙学和变质量中微子,解决大爆炸奇点并统一早期宇宙膨胀与晚期宇宙加速膨胀,同时通过中微子的背反应冻结标量场以实现暗能量时期。

Comments 22 pages, 4 figures

详情
AI中文摘要

将早期宇宙的膨胀范式与晚期宇宙加速膨胀统一,同时解决初始大爆炸奇点,仍然是现代宇宙学中最深刻挑战之一。本文提出一种非奇异五重膨胀模型,嵌入在Loop量子宇宙学的有效动力学中,基于广义正则化方案。量子几何效应自然地将初始奇点替换为量子反弹,随后进入超膨胀阶段,为后续慢滚动膨胀提供稳健的初始条件。为实现可行的晚期暗能量时期并解决巧合问题,引入标量场与质量变化中微子之间的耦合,即变质量中微子(MaVaNs)。随着中微子在膨胀后变得非相对论性,其背反应有效冻结标量场,触发晚期加速膨胀。我们数值追踪从量子反弹到现今的完整背景动力学。此外,利用观测数据紧密约束模型参数,包括Ia型超新星样本、暗能量光谱仪器(DESI)宇宙学声波振荡(BAO)和宇宙微波背景(CMB)距离先验。我们的结果表明,这种统一的LQC-MaVaNs五重框架与当前精确宇宙学观测高度一致。

英文摘要

Unifying the early-universe inflationary paradigm with late-time cosmic acceleration, while resolving the initial Big Bang singularity, remains one of the most profound challenges in modern cosmology. In this paper, we propose a non-singular quintessential inflation model embedded within the effective dynamics of Loop Quantum Cosmology (LQC) based on a Generalized Regularization Scheme. The quantum geometry effects naturally replace the initial singularity with a quantum bounce, followed by a phase of superinflation that sets robust initial conditions for the subsequent slow-roll inflation. To achieve a viable late-time dark energy epoch and address the coincidence problem, we introduce a coupling between the scalar field and massive neutrinos, known as Mass-Varying Neutrinos (MaVaNs). As neutrinos become non-relativistic in the post-inflationary evolution, their backreaction effectively freezes the scalar field, triggering the late-time accelerated expansion. We numerically trace the full background dynamics from the quantum bounce to the present day. Furthermore, we tightly constrain the model parameters utilizing the observational data, including the Type Ia supernovae sample, the Dark Energy Spectroscopic Instrument (DESI) Baryon Acoustic Oscillations (BAO) and Cosmic Microwave Background (CMB) distance priors. Our results demonstrate that this unified LQC-MaVaNs quintessential framework is highly consistent with current precision cosmological observations.

2605.19790 2026-05-20 eess.SP

Channel Estimation for Beyond Diagonal RIS-Aided Multi-User mmWave Systems

面向超diagonal RIS辅助多用户毫米波系统的信道估计

Linyu Peng, Tian Qiu, Cunhua Pan, Jiangzhou Wang, Taihao Zhang, Hong Ren

AI总结 本文提出了一种新的块克罗内克结构级联信道模型,用于超diagonal RIS辅助多用户毫米波系统,通过三级估计协议提高信道估计精度并降低试点开销。

详情
AI中文摘要

超diagonal可重构智能表面(BD-RIS)代表了推进毫米波(mmWave)通信的有前景的架构。然而,其复杂的元件连接破坏了传统的解耦数学结构,从而严重复杂化了级联信道估计。本文为配备均匀平面阵列(UPAs)的组连接BD-RIS辅助多用户(MU)毫米波系统提出了一种新的块克罗内克结构级联信道模型。通过利用级联信道稀疏性,提出了一种高效的三级估计协议。具体而言,第一阶段通过基于离散傅里叶变换(DFT)的方法获取基站(BS)接收到的公共到达角(AoAs)。第二阶段利用块克罗内克结构以及正交匹配追踪(OMP)和基于相关性的最小二乘(LS)方法来提取指定典型用户的完整级联信道。最后,第三阶段利用分层块OMP(HBOMP)算法来估计其他用户的信道。这种结构重建了公共和用户特定的组件,从根本上降低了计算复杂性并显著减少了试点开销。数值模拟验证了所提协议在保持相对低的试点开销的同时提高了信道估计精度。

英文摘要

Beyond diagonal reconfigurable intelligent surface (BD-RIS) represents a promising architecture for advancing millimeter-wave (mmWave) communications. However, its intricate inter-element connections invalidate the conventional decoupled mathematical structure, thereby severely complicating cascaded channel estimation. In this paper, we formulate a novel block-Kronecker-structured cascaded channel model for a \textit{group-connected} BD-RIS-aided multi-user (MU) mmWave system equipped with uniform planar arrays (UPAs). By exploiting the cascaded channel sparsity, an efficient three-stage estimation protocol is proposed. Specifically, Stage I acquires the common angles of arrival (AoAs) at the base station (BS) via a discrete Fourier transform (DFT)-based approach. Stage II leverages the block-Kronecker structure alongside orthogonal matching pursuit (OMP) and correlation-based least squares (LS) to extract the complete cascaded channel for a designated typical user. Finally, Stage III utilizes a Hierarchical Block OMP (HBOMP) algorithm to estimate the other users' channels. This structurally reconstructs the common and user-specific components, which fundamentally reduces the computational complexity and substantially reduces the pilot overhead. Numerical simulations verify that the proposed protocol yields improved channel estimation accuracy while maintaining a relatively low pilot overhead.

2605.19789 2026-05-20 q-bio.TO

Charting an embryological path to cancer cure: A discussion of disease hallmarks

绘制癌症治愈的胚胎学路径:对疾病特征的讨论

Jaime Cofre

AI总结 本文探讨将癌症视为胚胎学和进化现象的新视角,提出癌症与胚胎发育的相似性,并讨论其对治疗策略的启示。

Comments 12 pages, 1 Figures, Keywords: Cancer; Embryology; Evolution; Metazoa; Neoplasia; Oncology

详情
AI中文摘要

胚胎学长期以来在塑造我们对动物进化科学理解方面发挥了基础性作用。近年来,越来越多的证据也突显了其在癌症中的作用。尽管胚胎发育与癌症之间存在无可争议的相似性,但关于疾病在胚胎学层面的深远意义却鲜有讨论。本文探讨将癌症视为胚胎学和进化现象的理解,提供对疾病的新视角,并讨论在寻找治疗方案中的直接后果。

英文摘要

Embryology has long played a foundational role in shaping our scientific understanding of animal evolution. In recent decades, growing evidence has also highlighted its role in cancer. Despite the indisputable similarities between embryonic development and cancer, there has been limited discussion on the profound embryological implications for the disease. This article explores the understanding of cancer as an embryological and evolutionary phenomenon, offering a fresh perspective on the disease and discussing immediate consequences in the search for therapeutic approaches

2605.19788 2026-05-20 math.AG math.GT math.SG

A recursion for the volume of the moduli space of hyperbolic spheres

超球体模空间体积的一个递推公式

Michele Ancona, Damien Gayet

AI总结 本文证明了具有锥点或测地边界超球体模空间体积存在非线性递推关系,扩展了Zograf关于曲率尖点情况的研究结果。

详情
AI中文摘要

我们证明了具有锥点或测地边界的超球体模空间体积存在非线性递推关系。这一关系扩展了Zograf的结果,其中相同的关系被推导出用于尖点情况。

英文摘要

We prove the existence of a non-linear recursive relation for the volume of the moduli space of hyperbolic spheres with conical points or geodesic boundaries. This relation generalizes a result by Zograf, where the same was derived for cusps.

2605.19785 2026-05-20 cond-mat.dis-nn

Optimal Persistence Reveals Hidden Topology in Complex Energy Landscapes

最优持续性揭示复杂能量景观中的隐藏拓扑结构

LI Zhenpeng

AI总结 研究通过最优持续性揭示复杂能量景观中的隐藏拓扑结构,发现随着系统规模变化,持续性参数在不同温度下表现出不同的特征,揭示了有序到准连续GOE相变的临界行为。

Comments 5 pages, 3 figures, plus End Matter (8 pages total)

详情
AI中文摘要

无限持续性标志着拓扑相变。对于有限持续性,p=2球形自旋玻璃上的峡谷寻找率Gamma(tau_p)形成倒U型曲线,在最优tau_p*处达到峰值。在低温(T=0.05)下,当N从128增加到1024时,tau_p*从10降至5,标志着离散到准连续GOE的相变。对于N=1024,峰值在tau_p=5到6之间平坦,统计不确定范围内无法更精确确定。对于N≥128,峡谷宽度饱和于xi_eff=1,与测量的tau_p*=5(beta=0.4)一致。在较高温度(T≥0.15)下,tau_p*=10,beta(T)与1/T成正比,温度依赖性仅通过v_th=sqrt(2T)进入。对于T=0.10和N≥128,高分辨率扫描显示tau_p*=8.0;对于N≤64在同一温度下,粗扫描将tau_p*置于8-10范围内。因此,最优持续性揭示了景观的隐藏拓扑结构,这一原理预计在具有熵瓶颈的无序景观中具有普遍性。

英文摘要

Infinite persistence marks the topological transition. For finite persistence, the canyon-finding rate Gamma(tau_p) on the p=2 spherical spin glass forms an inverted-U profile, peaking at an optimal tau_p^*. At low temperature (T=0.05), tau_p^* drops from 10 to 5 as N increases through 128, marking the discrete-to-quasi-continuous GOE crossover. For N=1024, the peak is flat between tau_p=5 and 6 within statistical uncertainties, preventing a more precise determination. For N>=128, the canyon width saturates at xi_eff=1, consistent with the measured tau_p^*=5 when beta=0.4. At higher temperatures (T>=0.15), tau_p^*=10 and beta(T) scales as 1/T, with temperature dependence entering only through v_th = sqrt(2T). For T=0.10 and N>=128, high-resolution scans give tau_p^*=8.0; for N<=64 at the same temperature, coarse scans place tau_p^* in the range 8-10. Thus, optimal persistence reveals the hidden topology of the landscape-a principle expected to be generic in disordered landscapes with entropic bottlenecks.

2605.19784 2026-05-20 math.OC math.PR math.ST stat.ML stat.TH

Fast Spawn\&Prune (FS\&P): Global convergence of stochastic conic particle gradient descent via birth/death process

快速生成与剪枝(FS&P):通过生成/死亡过程实现随机锥粒子梯度下降的全局收敛

Yohann De Castro, Sébastien Gadat, Clément Marteau

AI总结 本文研究了连续稀疏回归中出现的目标函数(特别是Beurling LASSO)在测度空间中的全局优化问题。尽管锥粒子梯度下降(CPGD)方法计算高效,但非凸参数化可能导致陷入局部极小值。为此,作者引入了快速生成与剪枝(FS&P)算法,该算法扩展了De Castro等人(2025)提出的FastPart,并结合CPGD与生成-死亡过程。生成机制通过在违反一阶最优条件的区域引入粒子,确保渐近全局探索;死亡过程通过剪枝非信息性粒子保持计算效率。本文首次为这一类离散时间随机算法提供了全局收敛的理论保证,无需指数级初始化。此外,作者推导了经验风险的显式收敛率,其规模为O((log K/K)^{1/(2(2+d))}),其中K表示迭代次数,d为域的维度,从而量化了全局探索与局部细化之间的权衡。此外,样本复杂度为O(N^{-1/(4(2+d))})(忽略对数因子)。本文还提出了一种无需先验知识迭代预算的变体。

详情
AI中文摘要

我们研究了连续稀疏回归中出现的目标函数(特别是Beurling LASSO(BLASSO))在测度空间中的全局优化问题。尽管锥粒子梯度下降(CPGD)方法在计算上是高效的,但非凸参数化可能导致陷入局部极小值。为克服这一限制,我们引入了快速生成与剪枝(FS&P),一种随机算法,它扩展了De Castro等人(2025)提出的FastPart,并将CPGD与生成-死亡过程相结合。生成机制通过在违反一阶最优条件的区域引入粒子,确保渐近全局探索;死亡过程通过剪枝非信息性粒子保持计算效率。我们为这一类离散时间随机算法提供了首次理论保证,证明其全局收敛性,无需指数级初始化。此外,我们推导了经验风险的显式收敛率,其规模为O((log K/K)^{1/(2(2+d))}),其中K表示迭代次数,d为域的维度,从而量化了全局探索与局部细化之间的权衡。此外,样本复杂度为O(N^{-1/(4(2+d))})(忽略对数因子)。我们还提出了一种无需先验知识迭代预算的变体。

英文摘要

We investigate the global optimization of the objective function arising in continuous sparse regression, specifically the Beurling LASSO (BLASSO), over the space of measures. While Conic Particle Gradient Descent (CPGD) methods are computationally efficient, they may become trapped in local minima due to the non-convexity of the parameterization. To overcome this limitation, we introduce Fast Spawn\&Prune (FS\&P), a stochastic algorithm that extends FastPart introduced in De Castro et al. (2025) and combines CPGD with a birth-death process. The birth mechanism ensures asymptotic global exploration by introducing particles in regions where first-order optimality conditions are violated, while the death process preserves computational efficiency by pruning non-informative particles. We provide the first theoretical guarantee of global convergence for this class of discrete-time stochastic algorithms, without requiring exponentially large initializations. Furthermore, we derive explicit convergence rates for the excess risk, which scale as $\mathcal{O}\big(\left(\log K / K\right)^{\frac{1}{2(2+d)}}\big)$, where $K$ denotes the number of iterations and d the dimension of the domain, thereby quantifying the trade-off between global exploration and local refinement. Moreover, the sample complexity is $\mathcal{O}\big(N^{-\frac{1}{4(2+d)}}\big)$ (up to logarithmic factors). We also propose a horizon-free variant that does not require prior knowledge of the iteration budget.

2605.19783 2026-05-20 math.AG

Higher singularities for hypersurfaces

高阶奇异性对于超曲面

Mircea Mustata, Jakub Witaszek

AI总结 本文研究了复超曲面的高阶奇异性,证明了在特定条件下,若某个微分模同构,则所有低阶微分模也同构,并讨论了正特征下的类似结论。

Comments 25 pages

详情
AI中文摘要

在复超曲面D的奇异性位 locus 的余维数假设下,我们证明若\underline{Ω}^m_D ≅ Ω^m_D,则对于所有0 ≤ i ≤ m,有\underline{Ω}^i_D ≅ Ω^i_D。我们还讨论了正特征下的类似陈述。

英文摘要

With an assumption on the codimension of the singular locus of a complex hypersurface $D$ in smooth variety $X$, we show that if $\underlineΩ^m_D \cong Ω^m_D$, then $\underlineΩ^i_D \cong Ω^i_D$ for all $0 \leq i \leq m$. We also discuss an analogue of this statement in positive characteristic.

2605.19780 2026-05-20 hep-ex

Measurement of Born Cross Sections for $e^+e^- \to K^+Ξ^0\barΣ^-$ at $\sqrt{s} = 3.51-4.95$ GeV and Observation of $ψ(3770) \to K^+Ξ^0\barΣ^-$

测量 $e^+e^- o K^+Ξ^0arΣ^-$ 反应的 Born 截面及观察 $ψ(3770) o K^+Ξ^0arΣ^-$

BESIII Collaboration, M. Ablikim, M. N. Achasov, P. Adlarson, X. C. Ai, C. S. Akondi, R. Aliberti, A. Amoroso, Q. An, Y. H. An, Y. Bai, O. Bakina, H. R. Bao, X. L. Bao, M. Barbagiovanni, V. Batozskaya, K. Begzsuren, N. Berger, M. Berlowski, M. B. Bertani, D. Bettoni, F. Bianchi, E. Bianco, A. Bortone, I. Boyko, R. A. Briere, A. Brueggemann, D. Cabiati, H. Cai, M. H. Cai, X. Cai, A. Calcaterra, G. F. Cao, N. Cao, S. A. Cetin, X. Y. Chai, J. F. Chang, T. T. Chang, G. R. Che, Y. Z. Che, C. H. Chen, Chao Chen, G. Chen, H. S. Chen, H. Y. Chen, M. L. Chen, S. J. Chen, S. M. Chen, T. Chen, W. Chen, X. R. Chen, X. T. Chen, X. Y. Chen, Y. B. Chen, Y. Q. Chen, Z. K. Chen, J. Cheng, L. N. Cheng, S. K. Choi, X. Chu, G. Cibinetto, F. Cossio, J. Cottee-Meldrum, H. L. Dai, J. P. Dai, X. C. Dai, A. Dbeyssi, R. E. de Boer, D. Dedovich, C. Q. Deng, Z. Y. Deng, A. Denig, I. Denisenko, M. Destefanis, F. De Mori, E. Di Fiore, X. X. Ding, Y. Ding, Y. X. Ding, Yi. Ding, J. Dong, L. Y. Dong, M. Y. Dong, X. Dong, Z. J. Dong, M. C. Du, S. X. Du, Shaoxu Du, X. L. Du, Y. Q. Du, Y. Y. Duan, Z. H. Duan, P. Egorov, G. F. Fan, J. J. Fan, Y. H. Fan, J. Fang, Jin Fang, S. S. Fang, W. X. Fang, Y. Q. Fang, L. Fava, F. Feldbauer, G. Felici, C. Q. Feng, J. H. Feng, L. Feng, Q. X. Feng, Y. T. Feng, M. Fritsch, C. D. Fu, J. L. Fu, Y. W. Fu, H. Gao, Xu Gao, Y. Gao, Y. N. Gao, Y. Y. Gao, Yunong Gao, Z. Gao, S. Garbolino, I. Garzia, L. Ge, P. T. Ge, Z. W. Ge, C. Geng, E. M. Gersabeck, A. Gilman, K. Goetzen, J. Gollub, J. B. Gong, J. D. Gong, L. Gong, W. X. Gong, W. Gradl, S. Gramigna, M. Greco, M. D. Gu, M. H. Gu, C. Y. Guan, A. Q. Guo, H. Guo, J. N. Guo, L. B. Guo, M. J. Guo, R. P. Guo, X. Guo, Y. P. Guo, Z. Guo, A. Guskov, J. Gutierrez, J. Y. Han, T. T. Han, X. Han, F. Hanisch, K. D. Hao, X. Q. Hao, F. A. Harris, C. Z. He, K. K. He, K. L. He, F. H. Heinsius, C. H. Heinz, Y. K. Heng, C. Herold, P. C. Hong, G. Y. Hou, X. T. Hou, Y. R. Hou, Z. L. Hou, H. M. Hu, J. F. Hu, Q. P. Hu, S. L. Hu, T. Hu, Y. Hu, Y. X. Hu, Z. M. Hu, G. S. Huang, K. X. Huang, L. Q. Huang, P. Huang, X. T. Huang, Y. P. Huang, Y. S. Huang, T. Hussain, N. Hüsken, N. in der Wiesche, J. Jackson, Q. Ji, Q. P. Ji, W. Ji, X. B. Ji, X. L. Ji, Y. Y. Ji, L. K. Jia, X. Q. Jia, D. Jiang, H. B. Jiang, S. J. Jiang, X. S. Jiang, Y. Jiang, J. B. Jiao, J. K. Jiao, Z. Jiao, L. C. L. Jin, S. Jin, Y. Jin, M. Q. Jing, X. M. Jing, T. Johansson, S. Kabana, X. L. Kang, X. S. Kang, B. C. Ke, V. Khachatryan, A. Khoukaz, O. B. Kolcu, B. Kopf, L. Kröger, L. Krümmel, Y. Y. Kuang, M. Kuessner, X. Kui, N. Kumar, A. Kupsc, W. Kühn, Q. Lan, W. N. Lan, T. T. Lei, M. Lellmann, T. Lenz, C. Li, C. H. Li, C. K. Li, Chunkai Li, Cong Li, D. M. Li, F. Li, G. Li, H. B. Li, H. J. Li, H. L. Li, H. N. Li, H. P. Li, Hui Li, J. N. Li, J. S. Li, J. W. Li, K. Li, K. L. Li, L. J. Li, L. K. Li, Lei Li, M. H. Li, M. R. Li, M. T. Li, P. L. Li, P. R. Li, Q. M. Li, Q. X. Li, R. Li, S. Li, S. X. Li, S. Y. Li, Shanshan Li, T. Li, T. Y. Li, W. D. Li, W. G. Li, X. Li, X. H. Li, X. K. Li, X. L. Li, X. Y. Li, X. Z. Li, Y. Li, Y. H. Li, Y. B. Li, Y. C. Li, Y. G. Li, Y. P. Li, Z. H. Li, Z. J. Li, Z. L. Li, Z. X. Li, Z. Y. Li, C. Liang, H. Liang, Y. F. Liang, Y. T. Liang, Z. Z. Liang, G. R. Liao, L. B. Liao, M. H. Liao, Y. P. Liao, J. Libby, A. Limphirat, C. C. Lin, C. X. Lin, D. X. Lin, T. Lin, B. J. Liu, B. X. Liu, C. Liu, C. X. Liu, F. Liu, F. H. Liu, Feng Liu, G. M. Liu, H. Liu, H. B. Liu, H. M. Liu, Huihui Liu, J. B. Liu, J. J. Liu, K. Liu, K. Y. Liu, Ke Liu, Kun Liu, L. Liu, L. C. Liu, Lu Liu, M. H. Liu, P. L. Liu, Q. Liu, S. B. Liu, T. Liu, W. M. Liu, W. T. Liu, X. Liu, X. K. Liu, X. L. Liu, X. P. Liu, X. T. Liu, X. Y. Liu, Y. Liu, Y. B. Liu, Yi Liu, Z. A. Liu, Z. D. Liu, Z. L. Liu, Z. Q. Liu, Z. X. Liu, Z. Y. Liu, X. C. Lou, H. J. Lu, J. G. Lu, X. L. Lu, Y. Lu, Y. H. Lu, Y. P. Lu, Z. H. Lu, C. L. Luo, J. R. Luo, J. S. Luo, M. X. Luo, T. Luo, X. L. Luo, Z. Y. Lv, X. R. Lyu, Y. F. Lyu, Y. H. Lyu, F. C. Ma, H. L. Ma, Heng Ma, J. L. Ma, L. L. Ma, L. R. Ma, Q. M. Ma, R. Q. Ma, R. Y. Ma, T. Ma, X. T. Ma, X. Y. Ma, F. E. Maas, I. MacKay, M. Maggiora, S. Maity, S. Malde, Q. A. Malik, H. X. Mao, Y. J. Mao, Z. P. Mao, S. Marcello, A. Marshall, F. M. Melendi, Y. H. Meng, Z. X. Meng, G. Mezzadri, H. Miao, T. J. Min, R. E. Mitchell, X. H. Mo, B. Moses, N. Yu. Muchnoi, J. Muskalla, Y. Nefedov, F. Nerling, H. Neuwirth, Z. Ning, S. Nisar, Q. L. Niu, W. D. Niu, Y. Niu, C. Normand, S. L. Olsen, Q. Ouyang, I. V. Ovtin, S. Pacetti, Y. Pan, A. Pathak, Y. P. Pei, M. Pelizaeus, G. L. Peng, H. P. Peng, X. J. Peng, Y. Y. Peng, K. Peters, K. Petridis, J. L. Ping, R. G. Ping, S. Plura, V. Prasad, L. Pöpping, F. Z. Qi, H. R. Qi, M. Qi, S. Qian, W. B. Qian, C. F. Qiao, J. H. Qiao, J. J. Qin, J. L. Qin, L. Q. Qin, L. Y. Qin, P. B. Qin, X. P. Qin, X. S. Qin, Z. H. Qin, J. F. Qiu, Z. H. Qu, J. Rademacker, K. Ravindran, C. F. Redmer, A. Rivetti, M. Rolo, G. Rong, S. S. Rong, F. Rosini, Ch. Rosner, M. Q. Ruan, N. Salone, A. Sarantsev, Y. Schelhaas, M. Schernau, K. Schoenning, M. Scodeggio, W. Shan, X. Y. Shan, Z. J. Shang, J. F. Shangguan, L. G. Shao, M. Shao, C. P. Shen, H. F. Shen, W. H. Shen, X. Y. Shen, B. A. Shi, Ch. Y. Shi, H. Shi, J. L. Shi, J. Y. Shi, M. H. Shi, S. Y. Shi, X. Shi, H. L. Song, J. J. Song, M. H. Song, T. Z. Song, W. M. Song, Y. X. Song, Zirong Song, S. Sosio, S. Spataro, S. Stansilaus, F. Stieler, M. Stolte, S. S Su, G. B. Sun, G. X. Sun, H. Sun, H. K. Sun, J. F. Sun, K. Sun, L. Sun, R. Sun, S. S. Sun, T. Sun, W. Y. Sun, Y. C. Sun, Y. H. Sun, Y. J. Sun, Y. Z. Sun, Z. Q. Sun, Z. T. Sun, H. Tabaharizato, C. J. Tang, G. Y. Tang, J. Tang, J. J. Tang, L. F. Tang, Y. A. Tang, Z. H. Tang, L. Y. Tao, M. Tat, J. X. Teng, J. Y. Tian, W. H. Tian, Y. Tian, Z. F. Tian, K. Yu. Todyshev, I. Uman, E. van der Smagt, B. Wang, Bin Wang, Bo Wang, C. Wang, Chao Wang, Cong Wang, D. Y. Wang, F. K. Wang, H. J. Wang, H. R. Wang, J. Wang, J. J. Wang, J. P. Wang, K. Wang, L. L. Wang, L. W. Wang, M. Wang, Mi Wang, N. Y. Wang, P. Wang, S. Wang, Shun Wang, T. Wang, W. Wang, W. P. Wang, X. F. Wang, X. L. Wang, X. N. Wang, Xin Wang, Y. Wang, Y. D. Wang, Y. F. Wang, Y. H. Wang, Y. J. Wang, Y. L. Wang, Y. N. Wang, Yanning Wang, Yaqian Wang, Yi Wang, Yuan Wang, Z. Wang, Z. L. Wang, Z. Q. Wang, Z. Y. Wang, Zhi Wang, Ziyi Wang, D. Wei, D. H. Wei, D. J. Wei, H. R. Wei, F. Weidner, H. R. Wen, S. P. Wen, U. Wiedner, G. Wilkinson, M. Wolke, J. F. Wu, L. H. Wu, L. J. Wu, Lianjie Wu, S. G. Wu, S. M. Wu, X. W. Wu, Z. Wu, H. L. Xia, L. Xia, B. H. Xiang, D. Xiao, G. Y. Xiao, H. Xiao, Y. L. Xiao, Z. J. Xiao, C. Xie, K. J. Xie, Y. Xie, Y. G. Xie, Y. H. Xie, Z. P. Xie, T. Y. Xing, D. B. Xiong, G. F. Xu, H. Y. Xu, Q. J. Xu, Q. N. Xu, T. D. Xu, X. P. Xu, Y. Xu, Y. C. Xu, Z. S. Xu, F. Yan, L. Yan, W. B. Yan, W. C. Yan, W. H. Yan, W. P. Yan, X. Q. Yan, Y. Y. Yan, H. J. Yang, H. L. Yang, H. X. Yang, J. H. Yang, R. J. Yang, X. Y. Yang, Y. Yang, Y. G. Yang, Y. H. Yang, Y. M. Yang, Y. Q. Yang, Y. Z. Yang, Youhua Yang, Z. Y. Yang, W. J. Yao, Z. P. Yao, M. Ye, M. H. Ye, Z. J. Ye, K. Yi, Junhao Yin, Z. Y. You, B. X. Yu, C. X. Yu, G. Yu, J. S. Yu, L. W. Yu, T. Yu, X. D. Yu, Y. C. Yu, Yongchao Yu, C. Z. Yuan, H. Yuan, J. Yuan, Jie Yuan, L. Yuan, M. K. Yuan, S. H. Yuan, Y. Yuan, C. X. Yue, Ying Yue, A. A. Zafar, F. R. Zeng, S. H. Zeng, X. Zeng, Y. J. Zeng, Yujie Zeng, Y. C. Zhai, Y. H. Zhan, B. L. Zhang, B. X. Zhang, D. H. Zhang, G. Y. Zhang, Gengyuan Zhang, H. Zhang, H. C. Zhang, H. H. Zhang, H. Q. Zhang, H. R. Zhang, H. Y. Zhang, Han Zhang, J. Zhang, J. J. Zhang, J. L. Zhang, J. Q. Zhang, J. S. Zhang, J. W. Zhang, J. X. Zhang, J. Y. Zhang, J. Z. Zhang, Jianyu Zhang, Jin Zhang, Jiyuan Zhang, L. M. Zhang, Lei Zhang, N. Zhang, P. Zhang, Q. Zhang, Q. Y. Zhang, Q. Z. Zhang, R. Y. Zhang, S. H. Zhang, S. N. Zhang, Shulei Zhang, X. M. Zhang, X. Y. Zhang, Y. T. Zhang, Y. H. Zhang, Y. P. Zhang, Yao Zhang, Yu Zhang, Yu Zhang, Z. Zhang, Z. D. Zhang, Z. H. Zhang, Z. L. Zhang, Z. X. Zhang, Z. Y. Zhang, Zh. Zh. Zhang, Zhilong Zhang, Ziyang Zhang, Ziyu Zhang, G. Zhao, J. -P. Zhao, J. Y. Zhao, J. Z. Zhao, L. Zhao, Lei Zhao, M. G. Zhao, R. P. Zhao, S. J. Zhao, Y. B. Zhao, Y. L. Zhao, Y. P. Zhao, Y. X. Zhao, Z. G. Zhao, A. Zhemchugov, B. Zheng, B. M. Zheng, J. P. Zheng, W. J. Zheng, W. Q. Zheng, X. R. Zheng, Y. H. Zheng, B. Zhong, C. Zhong, X. Zhong, H. Zhou, J. Q. Zhou, S. Zhou, X. Zhou, X. K. Zhou, X. R. Zhou, X. Y. Zhou, Y. X. Zhou, Y. Z. Zhou, A. N. Zhu, J. Zhu, K. Zhu, K. J. Zhu, K. S. Zhu, L. X. Zhu, Lin Zhu, S. H. Zhu, T. J. Zhu, W. D. Zhu, W. J. Zhu, W. Z. Zhu, Y. C. Zhu, Z. A. Zhu, X. Y. Zhuang, M. Zhuge, J. H. Zou, J. Zu

AI总结 研究通过BESIII探测器在3.51-4.95 GeV中心对撞能下测量 $e^+e^- o K^+Ξ^0arΣ^-$ 反应的Born截面,并首次观测到 $ψ(377有一些理论预测相关。

Comments 13 pages, 3 figures, 1 End Matter

详情
AI中文摘要

利用BESIII探测器在BEPCII对撞机上收集到的44.55 fb$^{-1}$的 $e^+e^-$碰撞数据,我们报告了在3.51到4.95 GeV的中心对撞能范围内,对 $e^+e^- o K^+Ξ^0arΣ^-$ 反应的Born截面的首次测量。对拟合后的截面进行分析,揭示了首次观测到 $ψ(3770) o K^+Ξ^0arΣ^-$ 过程,其统计显著性为6.0σ,包括系统误差。该结果代表了首次观测到高于开放底阈值的无charm三体重子衰变过程。未观测到其他charmonium(-like)状态如 $ψ(4040)$, $ψ(4160)$, $Y(4230)$, $Y(4360)$, $ψ(4415)$, $Y(4500)$, $Y(4660)$ 或 $Y(4710)$ 的显著信号,并提供了每个假设的charmonium(-like)状态的分支比与电子部分宽度乘积的90%置信水平上限。此外,还提供了本研究与之前测量 $e^+e^- o K^{0}_{S}arΞ^{-}Σ^-$ 和 $K^-arΞ^+arΣ^0$ 的Born截面比值,可用于验证与异ospin对称性相关的理论预测。

英文摘要

Using 44.55 fb$^{-1}$ of $e^+e^-$ collision data collected by the BESIII detector at the BEPCII collider, we report the first measurement of the Born cross sections for the $e^+e^- \to K^+Ξ^0\barΣ^-$ reaction at fifty-six center-of-mass energies between 3.51 and 4.95~GeV. A fit to the dressed cross sections reveals the first observation of the $ψ(3770) \to K^+Ξ^0\barΣ^-$ process, with a statistical significance of 6.0$σ$ including systematic uncertainties. This result represents the first observation of charmless three-body baryonic decay of a vector charmonium state above the open-charm threshold. No significant signals for other charmonium(-like) states i.e., $ψ(4040)$, $ψ(4160)$, $Y(4230)$, $Y(4360)$, $ψ(4415)$, $Y(4500)$, $Y(4660)$ or $Y(4710)$ are observed, and the upper limits for the product of the branching fraction and the electronic partial width at the 90% confidence level for each assumed charmonium(-like) state are provided. Additionally, the ratios of Born cross sections between this work and the previous measurements of $e^+e^- \to K^{0}_{S}\barΞ^{-}Σ^-$ and $K^-\barΞ^+\barΣ^0$ are provided, which can be used to validate theoretical predictions related to isospin symmetry.

2605.19777 2026-05-20 math.OC

Funnel control with input filter for nonlinear systems with arbitrary relative degree

具有任意相对次数的非线性系统输入滤波器 funnel 控制

Janina Schaa, Thomas Berger

AI总结 本文提出了一种基于滤波变量集合的无导数扩展 funnel 控制方法,用于未知非线性多输入多输出系统输出参考跟踪问题,通过保证跟踪误差在预设性能范围内,避免输出信号微分并保持简单的结构。

Comments 8 pages, 1 figure

详情
AI中文摘要

本文针对未知非线性多输入多输出系统具有任意相对次数的输出参考跟踪问题,要求具有预设的暂态性能。我们提出了一种新的无导数扩展 funnel 控制方法,基于一组估计输出导数的滤波变量。所得到的控制器确保跟踪误差在预设性能范围内演化,同时避免对输出信号进行微分,并保持结构简单,仅具有少量调节参数。通过数值示例展示了所提方法的有效性。

英文摘要

This paper addresses output reference tracking with prescribed transient performance for unknown nonlinear multi-input multi-output systems with arbitrary relative degree. We propose a novel derivative-free extension of funnel control based on a collection of filter variables that estimate the output derivatives. The resulting controller ensures that the tracking error evolves within prescribed performance bounds, while avoiding differentiation of the output signal and maintaining a simple structure with only a small number of tuning parameters. The effectiveness of the proposed approach is illustrated by a numerical example.

2605.19775 2026-05-20 cs.DC cs.PF

Understanding Inference Scaling for LLMs: Bottlenecks, Trade-offs, and Performance Principles

理解大语言模型的推理扩展:瓶颈、权衡与性能原则

Moiz Arif, Avinash Maurya, Sudharshan Vazhkudai, Bogdan Nicolae

AI总结 本文研究了大语言模型推理扩展中的瓶颈、权衡和性能原则,通过在GPU集群上评估从8B到671B参数的模型,系统探讨了数据并行、张量并行和流水线并行之间的相互作用,揭示了推理工作负载中数据并行的容量陷阱以及张量并行和稀疏MoE模型的性能限制。

Comments ISCA'26: The 53rd International Symposium on Computer Architecture, Industry Track

详情
AI中文摘要

从传统的生成式AI向以推理为中心的架构转变,例如能够处理大量链式思考(CoT)处理的模型,标志着系统需求的根本性变革。与传统工作负载主要受计算瓶颈限制不同,推理工作负载生成长链的推理令牌,将推理推入了以容量瓶颈为主的领域。本文提出了全面的系统特征分析,在GPU集群上评估了从8B到671B参数的模型。通过系统地探讨数据并行、张量并行和流水线并行之间的相互作用,我们识别出了一些关键瓶颈,这些瓶颈超出了标准扩展启发式方法的范围。我们的分析表明,数据并行在小型模型中具有吞吐量效率,但在推理工作负载中由于KV缓存碎片化导致早期限制,从而产生次优的计算利用率。张量并行解锁了滞后的内存并提供了接近32B交叉点的亚线性增益。在前沿规模下,密集模型(如Llama-405B)受到互连和内存带宽的限制,倾向于高阶TP,而稀疏混合专家(MoE)模型(如DeepSeek-R1)受限于路由和同步延迟,并受益于混合策略。这些见解为导航推理悬崖提供了严谨的决策框架,为下一代推理基础设施确立了新的架构需求。

英文摘要

The transition from standard generative AI to \emph{reasoning-centric architectures}, exemplified by models capable of extensive Chain-of-Thought~(CoT) processing, marks a fundamental paradigm shift in system requirements. Unlike traditional workloads dominated by compute-bound prefill, reasoning workloads generate long chains of reasoning tokens that shift inference into a \emph{Capacity-Bound regime}. This paper presents a comprehensive system characterization, evaluating models ranging from 8B to 671B parameters on GPUs clusters. By systematically exploring the interplay between Data, Tensor, and Pipeline parallelism, we identify critical bottlenecks that defy standard scaling heuristics. Our analysis reveals that data parallelism is throughput efficient for small models but hits a capacity trap on reasoning workloads as KV-cache fragmentation forces early throttling resulting in sub-optimal compute utilization. Tensor parallelism unlocks stranded memory and delivers sublinear gains near the 32B crossover. At frontier scale, dense models (e.g., Llama-405B) are interconnect and memory-bandwidth bound and favor high-degree TP, while sparse Mixture-of-Experts (MoE) models (e.g., DeepSeek-R1) are limited by routing and synchronization latency and benefit from hybrid strategies. These insights provide a rigorous decision framework for navigating the reasoning cliff, establishing new architectural imperatives for the next generation of inference infrastructure.

2605.19774 2026-05-20 physics.flu-dyn

Self-similar breakup of a liquid ligament with a solid particle

含固态颗粒的液丝的自相似破裂

Sanjay Shukla, Federico Toschi

AI总结 研究了固态颗粒对液丝破裂动力学的影响,发现颗粒诱导的扰动触发了粘性区域的普遍针尖断裂动力学,破裂过程在液丝表面接近颗粒后变得自相似且与颗粒大小无关。

Comments 5 pages, 3 figures

详情
AI中文摘要

薄液丝的破裂受到局部扰动(如杂质或悬浮颗粒)的强烈影响。通过数值模拟和分析建模,我们研究了固态颗粒对拉伸液丝破裂动力学的作用。我们证明,颗粒诱导的扰动触发了粘性区域的普遍针尖断裂动力学。一旦液丝表面接近颗粒,随后的破裂变得自相似且不依赖于颗粒大小。我们基于液丝拉伸与Rayleigh-Plateau不稳定性之间的相互作用推导了针尖断裂时间的解析表达式,该表达式与模拟结果定量一致。我们的结果揭示了局部扰动如何控制含有固态颗粒的液丝破裂的普遍机制。

英文摘要

The breakup of thinning (stretching) liquid ligaments is strongly influenced by localized perturbations arising from impurities or suspended particles. Using numerical simulations and analytical modelling, we investigate the role of a solid particle on the breakup dynamics of a stretching liquid ligament. We show that particle-induced perturbations trigger a universal pinch-off dynamics in the viscous regime. Once the ligament surface approaches the particle, the subsequent breakup becomes self-similar and independent of the particle size. We derive an analytical expression for the pinch-off time based on the interplay between ligament stretching and Rayleigh-Plateau instability, which agrees quantitatively with simulations. Our results reveal a universal mechanism by which localized perturbations control the breakup of ligaments containing solid particles.

2605.19773 2026-05-20 math.NT

Split-prime supercongruence at the mixed CM point (1/6, 1/3; 1)

混合CM点处的分裂素数超同余((1/6, 1/3; 1)

Alex Shvets

AI总结 研究在混合CM点(1/6, 1/3; 1)处定义的A_n^{mix},证明对于所有分裂素数p≥7,p≡1 mod 3,以及所有m≥1,A_{mp}^{mix} ≡ A_m^{mix} mod p^4,并探讨CM增强与Hodge-gap预测的关系。

Comments 29 pages

详情
AI中文摘要

对于混合CM点(a,b,c) = (1/6, 1/3, 1),定义A_n^{mix} := 108^n [z^n] _2F_1(1/6, 1/3; 1; z)^3。对于每个分裂素数p ≥ 7,p ≡ 1 mod 3,以及每个m ≥ 1,我们证明无条件地A_{mp}^{mix} ≡ A_m^{mix} mod p^4。指数4超过了通用重量-3Hodge-gap预测的3;额外的p因子是附加到j=0的CM增强。我们还建立了匹配的无条件惰性素数障碍(p ≡ 2 mod 3),既作为形式参数同余在q侧,也作为系数层面Cartier奇偶律模p。证明使用了Gamma_0(3)上的模表示,参数t = u/(1+27u)^2,一个Lagrange-Burmann减少到三个Cartier恒等式Lambda_p(C_mix U_p^l) == 0 mod p^4对于l = 1,2,3,一个在rigidified堆栈X_0(3)上的饱和弱q-展开晶格处理垂直积分性,以及由mu_3-等变性驱动的canonical Frobenius lift在椭圆点P_-处的长度三Witt-Cartier极值估计。

英文摘要

For the mixed CM point (a,b,c) = (1/6, 1/3, 1), define A_n^{mix} := 108^n [z^n] _2F_1(1/6, 1/3; 1; z)^3. For every split prime p >= 7, p == 1 mod 3, and every m >= 1, we prove unconditionally A_{mp}^{mix} == A_m^{mix} mod p^4. The exponent 4 exceeds the generic weight-3 Hodge-gap prediction of 3; the extra factor of p is a CM enhancement attached to j=0. We also establish the matching unconditional inert-prime obstruction (p == 2 mod 3), both as a formal-parameter congruence on the q-side and as a coefficient-level Cartier parity law modulo p. The proof uses the modular realization on Gamma_0(3) with parameter t = u/(1+27u)^2, a Lagrange-Burmann reduction to three Cartier identities Lambda_p(C_mix U_p^l) == 0 mod p^4 for l = 1,2,3, a saturated weak q-expansion lattice on the rigidified stack X_0(3) handling vertical integrality, and a length-three Witt-Cartier pole estimate at the elliptic point P_- driven by mu_3-equivariance of the canonical Frobenius lift.

2605.18686 2026-05-20 cs.MS econ.EM

critband: A Python Package for Critical Bandwidth Analysis of Multimodal Distributions

critband: 一个用于多模分布临界带宽分析的Python包

Ruiyu Zhang, Qihao Wang

AI总结 本文提出critband,一个基于Silverman核密度方法的Python包,用于多模分布的临界带宽双峰检测,提供了稳健的模式计数求解器和FFT加速的KDE,以及k-模式检测、成分分解、双峰强度量化和超额质量估计等功能,验证表明其在不同情况下具有稳定的估计结果,且性能优于R的modetest()。

Comments 12 pages

详情
AI中文摘要

多模密度估计是科学计算中的基本问题。确定分布中的模式数量是一个核心的数值挑战,应用领域涵盖生态学、经济学、基因组学和天文学。虽然R生态系统通过multimode包提供了成熟的工具,但Python生态系统缺乏等效的完整实现。我们提出了critband,一个基于Silverman核密度方法的Python包,用于临界带宽双峰检测。该包实现了基于稳健括号模式计数求解器的临界带宽搜索和FFT加速的KDE,并提供了额外功能,包括k-模式检测、成分分解、双峰强度量化和超额质量估计。对十二个基准案例的验证显示,在分离程度、方差不等、权重不等和小样本量的情况下,结果在明显分离的情况下保持稳定,而在边界情况下表现出预期的不稳定性。性能基准测试显示,在测试设置下,critband通常比R的modetest()快3-10倍。

英文摘要

Multimodal density estimation is a fundamental problem in scientific computing. Determining the number of modes in a distribution is a core numerical challenge with applications across ecology, economics, genomics, and astronomy. While the R ecosystem provides mature tools through the multimode package, the Python ecosystem has lacked an equivalent cohesive implementation. We present critband, a Python package for critical bandwidth bimodality detection based on Silverman's kernel density approach. The package implements critical bandwidth search with a robust bracketed mode-count solver and FFT-accelerated KDE, and provides additional features including k-mode detection, component decomposition, bimodality strength quantification, and excess mass estimation. Validation against twelve benchmark cases spanning separation regimes, unequal variances, unequal weights, and small sample sizes shows stable estimates for clearly separated cases and expected instability for boundary cases. Performance benchmarks show critband is typically 3-10 times faster per case than R's modetest() in the tested setup.

2605.18484 2026-05-20 cs.CR

Bridging the Cybersecurity Gap Between Web2 and Web3 -- An Incident-Based Analysis of Organizational and Application-Level Security Failures

弥合Web2与Web3之间的网络安全差距——基于事件的组织及应用层面安全失败分析

Tarkan Yavas, Arslan Brömme

AI总结 本文通过分析Web3生态系统中公开记录的高影响安全事件,揭示了现有安全控制框架在应对Web3特定风险时的不足,并提出针对区块链系统的定制化安全控制类别,以弥补通用安全治理框架与Web3基础设施领域风险之间的差距。

Comments Preprint / working paper, v0.9.9.8. 15 pages, 2 tables, 21 references. Comments are welcome

详情
AI中文摘要

Web3基础设施的快速采用导致影响加密货币交易所、保管服务和区块链平台的安全事件数量不断增加。尽管现有研究主要关注智能合约和区块链协议中的漏洞,但现实中的大量损失来源于链下系统、组织流程和以人为中心的操作流程。本文对Web3生态系统中公开记录的高影响安全事件进行了定性、基于事件的分析,包括Bybit交易所事件(2025)、Ronin网络桥接漏洞(2022)和DMM比特币交易所 breach(2024)。所选案例被系统分析并映射到已建立的Web2安全参考框架,包括基于OWASP的漏洞类别和组织安全控制领域。结果表明,Web3环境中的主导失败模式未能被通用安全控制目录充分解决,特别是在加密密钥管理、交易批准治理、签名者和验证者基础设施、第三方工具依赖以及人为核心流程方面。基于这些发现,本文主张在Web3组织中采用已建立的信息安全管理体系(ISMS),并推导出一组针对区块链系统的定制化网络安全控制类别,以将现有ISMS框架应用于区块链系统。所提出的类别旨在弥合通用安全治理框架与Web3基础设施领域固有风险之间的差距。

英文摘要

The rapid adoption of Web3 infrastructures has led to a growing number of security incidents affecting cryptocurrency exchanges, custody services and blockchain-based platforms. While existing research predominantly focuses on vulnerabilities in smart contracts and blockchain protocols, a substantial portion of real-world losses originates from off-chain systems, organizational processes and human-centered operational workflows. This paper presents a qualitative, incident-based analysis of publicly documented, high-impact security breaches in the Web3 ecosystem, including the Bybit exchange incident (2025), the Ronin Network bridge compromise (2022), and the DMM Bitcoin exchange breach (2024). The selected cases are systematically analysed and mapped to established Web2 security reference frameworks, including OWASP-based vulnerability categories and organizational security control domains. The results indicate that dominant failure patterns in Web3 environments are insufficiently addressed by generic security control catalogues, particularly with respect to cryptographic key management, transaction approval governance, signer and validator infrastructure, third-party tooling dependencies, and human-in-the-loop processes. Based on these findings, this paper argues for the adoption of established information security management systems (ISMS) in Web3 organizations and derives a structured set of blockchain-specific cybersecurity control categories to operationalize existing ISMS frameworks for blockchain-based systems. The proposed categories aim to bridge the gap between generic security governance frameworks and domain-specific risks inherent to Web3 infrastructures.

2605.18222 2026-05-20 eess.AS

Contextual Biasing for Streaming ASR via CTC-based Word Spotting

通过基于CTC的词搜索实现流式ASR中的上下文偏置

Kai-Chen Tsai, Tien-Hong Lo, Yun-Ting Sun, Berlin Chen

AI总结 本文提出了一种基于CTC的词搜索的流式ASR上下文偏置方法,通过在音频块间维护活跃关键词路径,实现了跨块关键词检测,并引入增量承诺机制以降低延迟并保证输出稳定性,实验表明该方法有效降低了WER并提升了关键词F分数。

详情
AI中文摘要

上下文偏置对于提高自动语音识别(ASR)系统中罕见词和领域特定词的识别性能至关重要。尽管近年来提出了多种方法,但大多数方法集中在离线设置,并未明确解决流式ASR的挑战。例如,基于CTC的词搜索(CTC-WS)通过直接从CTC对数概率中检测关键词表现出强大性能,但其局限于离线处理并需要完整话语的访问。在本工作中,我们提出了CTC-WS的流式扩展,用于实时上下文偏置。我们的方法通过使用具有状态的标记传递算法在音频块间维护活跃关键词路径,从而实现跨块关键词检测。为确保低延迟和稳定输出,我们引入了增量承诺机制,该机制仅发出保证不受未来音频影响的片段,同时推迟不确定区域。该方法自然地与流式ASR流水线集成,无需对底层声学模型进行修改或额外训练,使其在实际部署中具有实用性。实验结果表明,我们的方法降低了整体WER,并有效提高了关键词F分数,证明了其在实时ASR应用中的有效性。

英文摘要

Contextual biasing is essential to improving the recognition of rare and domain-specific words in an automatic speech recognition (ASR) system. While numerous methods have been proposed in recent years, most of them focus on offline settings and do not explicitly address the challenges of streaming ASR. For example, CTC-based word spotting (CTC-WS) have demonstrated strong performance by directly detecting keywords from CTC log-probabilities, but they are limited to offline processing and require access to the full utterance. In This work, we present a streaming extension of CTC-WS for real-time contextual biasing. Our method maintains active keyword paths across audio chunks using a stateful token passing algorithm, enabling the detection of keywords that span multiple chunks. To ensure low latency and stable output, we introduce an incremental commitment mechanism that only emits segments guaranteed not to be affected by future audio, while deferring uncertain regions. This method naturally integrates with streaming ASR pipelines and does not require modifications to the underlying acoustic model or additional training, making it practical for real-world deployment. Experimental results show that our method reduces overall WER and effectively improves keyword F-score, demonstrating its effectiveness for real-time ASR applications.

2605.17983 2026-05-20 astro-ph.HE astro-ph.GA gr-qc

Higher-order statistics of the stochastic gravitational wave background from supermassive black hole binaries

超大质量黑洞双星的随机引力波背景的高阶统计量

Hinano Hisamatsu, Koutarou Kyutoku

AI总结 本文研究了超大质量黑洞双星随机引力波背景的高阶统计量,提出通过引入物理动机的下限积分限来解决红移积分延伸到z=0时统计量发散的问题,并展示了高阶统计量如何仅通过加权平均的啁啾质量来确定,为测试引力波背景的双星起源假设提供了新方法。

Comments 15 pages, 10 figures

详情
AI中文摘要

近期引力波观测的进展使脉冲星计时阵列成为检测纳赫兹带随机引力波背景的关键工具。广泛认为,这一背景主要归因于宇宙中 inspiraling 超大质量黑洞双星的集合。尽管传统分析主要关注引力波背景的频谱幅度和频率依赖性,但高阶统计量如方差、偏度和峰度可能有助于提取更多物理信息。然而,这些统计量在红移积分延伸到z=0时已知会发散。在本研究中,我们提出了一种策略,通过引入一个由检测单个源的灵敏度定义的物理动机的下限积分限z_min来解决这一问题。由于高阶统计量主要由本地源决定,我们可能在计算中采用关于红移的最低阶近似。在此近似下,我们证明所有高阶统计量(除了期望值)仅通过啁啾质量的加权平均<\mathcal{M}^{10/3}>来确定,而不受红移演化模型的影响。我们还发现方差与期望值的比值提供了关于<\mathcal{M}^{10/3}>/<\mathcal{M}^{5/3}>的信息,而不依赖于总合并次数。此外,我们发现峰度与平方偏度之间存在一致性关系,为测试引力波背景的双星起源假设铺平了道路。我们的发现表明,高阶统计量为解释引力波背景提供了新的窗口,提供了一种方法来打破现有的退化,并细化我们对质量函数的理解。

英文摘要

Recent progress in gravitational wave observations has positioned Pulsar Timing Arrays as a key tool for detecting the stochastic gravitational wave background in the nanohertz band. It is widely believed that this background is primarily attributed to the cosmic ensemble of inspiraling supermassive black hole binaries. While traditional analyses have predominantly focused on the spectral amplitude and frequency dependence of the gravitational wave background, higher-order statistics such as variance, skewness, and kurtosis could potentially be useful for extracting further physical information. However, these statistical moments are known to diverge when the redshift integration is extended down to z=0. In this study, we propose a strategy to resolve this issue by introducing a physically motivated lower integration limit, z_min, defined by the sensitivity for detecting individual sources. Since higher-order statistics are primarily determined by local sources, we may adopt the lowest-order approximation with respect to redshift in their computations. Under this approximation, we demonstrate that all higher-order statistics beyond the expectation value depend on the mass function only through a weighted average of the chirp mass, <\mathcal{M}^{10/3}>, irrespective of the redshift evolution model. We show that the ratio of the variance to the expectation value provides information on <\mathcal{M}^{10/3}>/<\mathcal{M}^{5/3}> independently of the total number of mergers. We also find a consistency relation between the kurtosis and the squared skewness, paving the way for testing the binary-origin hypothesis of the gravitational wave background. Our findings demonstrate that higher-order statistics provide a new window for interpreting the gravitational wave background, offering a methodology to break existing degeneracies and refine our understanding of the mass function.

2605.17299 2026-05-20 econ.GN cond-mat.stat-mech q-fin.EC q-fin.RM

Geometric Brownian motion with intermittent entries and exits

具有间歇进入和退出的几何布朗运动

Suvam Pal, Viktor Stojkoski, Arnab Pal, Trifce Sandev

AI总结 本文研究了一种扩展的几何布朗运动框架,结合了新单位的进入和当前人口的退出机制,扩展了早期的随机重置模型,其中这些速率被视为相同。该模型捕捉了许多经济可观测特征,可以解释为市场驱动的企业进入/退出、工人流入/流出以及收入增长/损失。该模型非保守,尽管进入和退出速率存在不对称性,但系统最终会趋于平稳分布。此外,我们的分析揭示了分布矩的三个不同动态制度,源于波动性、漂移、进入和退出速率之间的相互作用。我们进一步推导了生存概率和与观察变量达到特定阈值相关的平均首次通过时间,与竞争的进入-退出过程相关。有趣的是,我们发现了一个最优的退出速率,该速率最小化了平均首次通过时间,为如何通过进入和退出政策影响系统结果提供了见解。这些结果应有助于理解其中增长、波动性、进入和退出共同塑造异质单位演变的经济系统的长期行为。

Comments 15 pages, 8 figures

详情
AI中文摘要

我们研究了一种扩展的几何布朗运动框架,该框架结合了新单位的进入和当前人口的退出机制,扩展了早期的随机重置模型,其中这些速率被视为相同。该模型捕捉了许多经济可观测特征,可以解释为市场驱动的企业进入/退出、工人流入/流出以及收入增长/损失。该模型非保守,尽管进入和退出速率存在不对称性,但系统最终会趋于平稳分布。此外,我们的分析揭示了分布矩的三个不同动态制度,源于波动性、漂移、进入和退出速率之间的相互作用。我们进一步推导了生存概率和与观察变量达到特定阈值相关的平均首次通过时间,与竞争的进入-退出过程相关。有趣的是,我们发现了一个最优的退出速率,该速率最小化了平均首次通过时间,为如何通过进入和退出政策影响系统结果提供了见解。这些结果应有助于理解其中增长、波动性、进入和退出共同塑造异质单位演变的经济系统的长期行为。

英文摘要

We study a generalized geometric Brownian motion framework that incorporates both entries of new units and exit mechanisms for the current population, extending earlier stochastic resetting models where these rates are treated as identical. The model captures realistic features observed in many economic observables, which can be explained as market-driven firm entries/exits, worker inflow/outflow, and income growth/loss. This model is not conservative and, despite the asymmetry in the entry and exit rates, we find that the system eventually relaxes to a stationary distribution. Moreover, our analysis reveals three distinct dynamical regimes in the moments of the distribution, arising from the interplay between volatility, drift, entry, and exit rates. We further derive the survival probability and the mean first-passage time associated with the observed variable reaching certain threshold under the competing entry-exit processes. Interestingly, we identify an optimal exit rate that minimizes the mean first-passage time, providing insights into how entry and exit policies can influence the outcome of the system. These results should be useful for understanding the long-run behavior of economic systems in which growth, volatility, entry, and exit jointly shape the evolution of heterogeneous units.

2605.16820 2026-05-20 cs.LO

Satisfiability Modulo Extensional Constant Arrays (Extended Version)

可满足性模扩展常量数组(扩展版)

Mathias Preiner, Aina Niemetz, Clark Barrett

AI总结 本文提出了一种新的决策过程,用于支持常量数组的数组理论,能够处理任意索引域,并不局限于无限情况。

Comments Extended version with proofs of the paper accepted at CAV'26

详情
AI中文摘要

关于数组数据结构的推理是许多硬件和软件验证应用中的关键要求,尤其是在与机器整数结合时。扩展数组的可满足性模理论(SMT)提供了数组读取和写入运算符,并允许对数组进行扩展性。这足以表达计算机辅助验证的许多方面,但缺乏简洁性,难以高效处理初始化为默认值的数组。现有的扩展SMT-LIB数组理论以支持常量数组的程序仅限于具有无限索引域的数组,现有SMT求解器中的实现仅支持有限索引域理论的片段。在本文中,我们提出了一种新的决策过程,用于支持常量数组的数组理论,能够处理任意索引域,并不局限于无限情况。我们以抽象演算的形式呈现我们的过程,并展示了其反驳性和可满足性的正确性。我们基于我们的演算实现了一个决策过程,并将其应用于最先进的SMT求解器Bitwuzla中,并在多样化的基准和用例上评估了其性能。

英文摘要

Reasoning about array data structures is a key requirement for many applications in hardware and software verification, especially in combination with machine integers. The Satisfiability Modulo Theories (SMT) theory of extensional arrays provides array read and write operators and allows extensionality over arrays. This is sufficient to express many aspects of computer-aided verification, but lacks succinctness to efficiently deal with arrays that are initialized with a default value. Existing procedures for extending the SMT-LIB theory of arrays with support for constant arrays are limited to arrays with infinite index domains, and existing implementations in SMT solvers only support a fragment of the theory for finite index domains. In this paper, we present a novel decision procedure for the theory of arrays with constant arrays that supports arbitrary index domains and is not limited to the infinite case. We present our procedure as an abstract calculus and show its refutational and satisfiability soundness. We implement a decision procedure based on our calculus in the state-of-the-art SMT solver Bitwuzla and evaluate its performance on a diverse collection of benchmarks and use cases.

2605.16633 2026-05-20 math.CO

A new group in the Riordan family of matrix groups: the Sprugnoli group

Riordan矩阵族中的一个新的群:Sprugnoli群

Paul Barry

AI总结 本文定义了一个由幂级数定义的下三角矩阵群,该群可以看作是普通Riordan群和双Riordan群的推广。该群的元素由三个幂级数定义,序列分割和垂直拉伸的Riordan数组在该群的构建中起重要作用。本文给出了该新群的生成矩阵特征,并指示了如何基于n元组的幂级数定义更高阶群。该群以Renzo Sprugnoli命名,以纪念他在将Riordan群应用于组合问题以及理解Riordan数组丰富结构方面的贡献。

Comments 30 pages

详情
AI中文摘要

我们定义了一个由下三角矩阵组成的群,其列由幂级数定义。该群可以看作是普通Riordan群和双Riordan群的推广。该群的元素由三个幂级数定义。序列分割和垂直拉伸的Riordan数组在该群的构建中起重要作用。我们给出了该新群的生成矩阵特征。我们还指出了如何基于n元组的幂级数定义更高阶群。我们选择以Renzo Sprugnoli的名字命名该群,以纪念他在将Riordan群应用于组合问题以及理解Riordan数组丰富结构方面的贡献。

英文摘要

We define a group of lower-triangular matrices whose columns are defined by power series. This group can be seen as a generalization of the (ordinary) Riordan group and the double Riordan group. Elements of this group are defined by three power series. Sequence bisections and vertically stretched Riordan arrays play an important role in the formulation of this group. We give a production matrix characterization of this new group. We also indicate how higher order groups can be defined, based on $n$-tuples of power series. We have chosen to name this group in memory of Renzo Sprugnoli, who was a pioneer in the application of the Riordan group to combinatorial problems as well as contributing to an understanding of the rich structure of Riordan arrays.

2605.15540 2026-05-20 math.CO

Three Quantum Latin Squares of Order 6 with Cardinalities 13, 15, and 17

六阶三个量子拉丁方,基数为13、15和17

Zhipeng Xu

AI总结 本文提出了三个六阶量子拉丁方,其基数分别为13、15和17,通过不同的正交分解和Hadamard对构造方法实现了这些拉丁方。

详情
AI中文摘要

我们给出了三个显式的六阶量子拉丁方,其基数分别为13、15和17。在整个过程中,仅相差全局相位的向量被视为相同。基数为13的构造基于正交的直和分解$\C^6=\C^4\oplus\C^2$。基数为15和17的构造基于在坐标平面上支持的二维Hadamard对。

英文摘要

We give three explicit quantum Latin squares of order $6$, with cardinalities $13$, $15$, and $17$. Throughout, vectors differing only by a global phase are counted as identical. The cardinality-$13$ construction is based on an orthogonal direct-sum decomposition $\C^6=\C^4\oplus\C^2$. The cardinality-$15$ and cardinality-$17$ constructions are based on two-dimensional Hadamard pairs supported on coordinate planes.

2605.15130 2026-05-20 math.AP

Asymptotically Self-Similar Blowup for 3D Incompressible Euler with $C^{1, 1/3-}$ Velocity II: 3D Profiles, Blowup, and Limiting behavior

三维不可压缩欧拉方程的渐近自相似破裂 II:三维轮廓、破裂和极限行为

Jiajie Chen

AI总结 本文研究了三维不可压缩欧拉方程中无旋流体的自相似破裂问题,通过构造精确的C^α自相似破裂轮廓,并证明了从C_c^α初始涡度和C^{1,α}∩L^2初始速度出发的渐近自相似破裂,同时揭示了当α趋近于1/3^-时涡度轮廓和破裂解的极限行为。

Comments Minor edits. 133 pages

详情
AI中文摘要

对于任何α∈(0,1/3),我们构造了三维不可压缩欧拉方程无旋流体的精确C^α自相似破裂轮廓,并在此基础上证明了从C_c^α初始涡度和C^{1,α}∩L^2初始速度出发的渐近自相似破裂。此外,我们完整地刻画了当α→(1/3)^-时C^α涡度轮廓及其相关破裂解的极限行为。具体来说,当α→(1/3)^-时,空间破裂率c_{x,α}趋于∞,而C^α涡度轮廓Ω_{*,α}^θ渐近分解并强收敛于加权L^∞范数下的非零常数倍的r^{1/3}W_{1/3}(z),其中W_{1/3}是一个C^∞的1维破裂轮廓。我们的构造受到Hou-Zhang破裂场景的启发。利用固定点论证,我们将[11]中构造的1维模型的C^∞破裂轮廓提升为精确的3维破裂轮廓。为克服近似轮廓在r方向缺乏衰减以及捕捉各向异性结构,我们发展了一族各向异性加权估计,并引入了一种沿轨迹的积分分部方法,该方法利用方程两次。然后我们发展了低正则性设定下的有限余维稳定性论证,以证明3维轮廓的稳定性并建立渐近自相似破裂。该破裂结果在考虑轴对称无旋欧拉方程的全局正则性理论时是尖锐的,对于所有α≥1/3的C_c^α初始涡度。据我们所知,我们的结果提供了第一个例子,将1维非局部流体模型的奇异点提升到构造不可压缩流体方程在R^2或R^3中的破裂。

英文摘要

For any $α\in (0,1/3)$, we construct exact $C^α$ self-similar blowup profiles for the vorticity of the 3D incompressible Euler equation without swirl, and build on them to prove asymptotically self-similar blowup from $C_c^α$ initial vorticity and $C^{1,α}\cap L^2$ initial velocity. Moreover, we provide a complete characterization of the limiting behavior of the $C^α$ vorticity profiles and the associated blowup solutions as $α\to(1/3)^-$. Specifically, as $α\to(1/3)^-$, the spatial blowup rate $\mathsf{c}_{\mathsf{x},α}$ diverges to $\infty$, while the $C^α$ vorticity profile $Ω_{*,α}^θ$ asymptotically factorizes and converges strongly in a weighted $L^\infty$ norm to a nonzero constant multiple of $r^{1/3}\bar W_{1/3}(z)$, where $\bar W_{1/3}$ is a $C^\infty$ 1D blowup profile. Our construction is inspired by the Hou--Zhang blowup scenario. Using a fixed-point argument, we lift the $C^\infty$ blowup profiles for a 1D model constructed in the companion work [11] to exact 3D blowup profiles. To overcome the lack of $r$-directional decay in the approximate profile and capture the anisotropic structure, we develop a family of anisotropic weighted estimates and introduce a crucial integration-by-parts method along trajectories that exploits the equation twice. We then develop a finite codimension stability argument in a low-regularity setting to prove stability of the 3D profiles and establish asymptotically self-similar blowup. This blowup result is sharp in view of the global regularity theory for axisymmetric Euler without swirl with $ C_c^α$ initial vorticity for all $α\geq 1/3$. To the best of our knowledge, our results provide the first example in which a singularity from a 1D nonlocal fluid model is lifted to construct blowup for incompressible fluid equations in $\mathbb{R}^2$ or $\mathbb{R}^3$.