arXivDaily arXiv每日学术速递 周一至周五更新
全部学科分类 1106
专题追踪
2605.01086 2026-05-05 cs.DC

FPTC: A Fast Parallel Transform-based Codec for Efficient Asymmetric Signal Compression

FPTC:一种高效的非对称信号压缩编解码器

Ben Mechels, Ryan Billmeyer, Alexander Chen, Shiyang Li, Caiwen Ding

AI总结 FPTC采用轻量级顺序编码器和大规模并行GPU解码器,通过窗口化DCT和混合三区映射实现高效非对称信号压缩,提升压缩比和解压吞吐量。

Comments 12 pages, 14 figures

详情
AI中文摘要

现代高性能计算和物联网部署生成大量信号数据,需在资源受限的采集设备上高效压缩并在中央服务器上大规模解压。尽管损失性压缩广泛用于低功耗硬件传感器以减少存储和传输成本,但现有方法很少同时优化重建质量和解压吞吐量,也未跨信号域通用化。本文介绍FPTC,一种高吞吐量的非对称信号编解码器,采用轻量级顺序编码器和专为服务器端批量解压设计的大量并行GPU解码器。FPTC应用窗口化离散余弦变换(DCT)利用频域稀疏性,使用混合三区映射量化频谱系数,并使用Huffman编码结合新型打包方案对结果进行熵编码。FPTC的流水线设计面向GPU吞吐量优化,最大化性能而不牺牲重建质量。我们在四个信号域的十组数据集上评估FPTC,结果表明FPTC在压缩比方面优于现有框架,同时保持竞争力的吞吐量,实现3.6倍(电力)、3.1倍(气象)、1.5倍(生物医学)和1.2倍(地震)的压缩性能。

英文摘要

Modern high-performance computing and Internet-of-Things deployments increasingly generate large volumes of signal data that must be compressed efficiently on resource-constrained acquisition devices and decompressed at scale on centralized servers. Lossy compression is widely adopted to minimize storage and transmission costs on low-power hardware sensors, yet existing methods rarely optimize for both reconstruction quality and decompression throughput simultaneously, nor do they apply methods that generalize across signal domains. In this work, we introduce FPTC, a high-throughput asymmetric signal codec that pairs a lightweight sequential encoder with a massively parallel GPU decoder designed for server-side batch decompression. FPTC applies a windowed discrete cosine transform (DCT) to exploit frequency-domain sparsity, quantizes spectral coefficients with a hybrid three-zone mapping, and entropy codes the result using Huffman coding with a novel packing scheme. The pipeline used in FPTC is designed to be throughput oriented on the GPU, maximizing performance without sacrificing reconstruction quality. We evaluate FPTC on ten datasets spanning four signal domains: biomedical diagnostic, seismic reflections, power-grid production metrics, and meteorological recordings. Our results demonstrate that FPTC outperforms existing frameworks in compression ratio while maintaining competitive throughput, achieving multiplicative compression performance of 3.6x (power), 3.1x (meteorological), 1.5x (biomedical), and 1.2x (seismic) over existing frameworks.

2605.01085 2026-05-05 hep-lat

Comparing RM123 and non-perturbative QCD+QED approaches to the HVP with C-periodic boundary conditions

比较RM123与非微扰QCD+QED方法在C周期边界条件下的HVP计算

Anian Altherr, Isabel Campos, Alessandro Cotellucci, Roman Gruber, Tim Harris, Javad Komijani, Francesca Margari, Marina K. Marinkovic, Letizia Parato, Agostino Patella, Sara Rosso, Nazario Tantalo, Paola Tavella

AI总结 研究比较了RM123和非微扰QCD+QED方法在C周期边界条件下计算HVP的不确定性和方法差异,探讨其对未来 lattice QCD+QED 计算的影响。

Comments 11 pages, 2 figures, Proceedings of the 42nd International Symposium on Lattice Field Theory (LATTICE2025), Mumbai, India

详情
AI中文摘要

宇称破缺修正是标准模型预测μ子g-2的主要不确定性来源。在最近的RC*合作组工作中,我们使用两种策略计算非宇称单态电流的中间窗口贡献:RM123方法和完全非微扰动态QCD+QED模拟。在固定晶格间距和体积,使用N_f=1+2+1动态费米子,并在两种计算中完全包含海夸克效应的情况下,我们发现模拟完整的QCD+QED分布在固定统计下产生更小的不确定性。我们总结了两种方法的比较,并讨论了其对未来晶格QCD+QED计算的影响。

英文摘要

Isospin-breaking corrections to the HVP are among the leading sources of uncertainty in the Standard Model prediction of the muon $g-2$. In recent work by the RC$^{\star}$ collaboration, we compute the intermediate window contribution for a flavour non-singlet current using two strategies to include isospin-breaking corrections: the RM123 approach and a fully non-perturbative dynamical QCD+QED simulation. In both computations, we use $C$-periodic spatial boundary conditions to ensure that locality, gauge invariance, and translational invariance are preserved throughout the calculation. At fixed lattice spacing and volume with $N_f =1+2+1$ dynamical fermions, and fully including sea-quark effects in both computations, we find that simulating the full QCD+QED distribution yields smaller uncertainties for a fixed statistics. We summarize the comparison of the two approaches and discuss the implications for future lattice QCD+QED computations.

2605.01083 2026-05-05 q-bio.TO cs.NA math.NA

Modelling the electrophysiological interactions between human pluripotent cell-derived cardiomyocite grafts and host ventricular tissue

建模人类多能细胞衍生的心肌细胞移植体与宿主心室组织之间的电生理相互作用

Suran Galappaththige, Vadim N Biktashev, Faisal J Alibhai, Michael Laflamme

AI总结 研究心肌细胞移植体与宿主心室组织的电生理相互作用,通过计算模型探讨电耦合对宿主组织电活动的影响,为心肌细胞疗法中的心律失常风险评估提供工具。

Comments 23 pages, 10 figures, as submitted to PLOS Comp Biol

详情
AI中文摘要

人类多能干细胞衍生的心肌细胞(hPSC-CMs)是心肌梗死后再生的有希望疗法,但其应用受限于移植后频繁发生的移植物相关心律失常。实验研究显示,这些心律失常可能起源于移植物内部,可能作为异位起搏点,但成功激发宿主组织的机制仍不明确。电耦合在移植物-宿主界面的重要性显著,但难以直接测量或控制。计算机建模可提供帮助。本文提出一个计算框架,利用生理可解释的参数化系统研究移植物-宿主电相互作用。我们将移植物-宿主界面建模为一个具有定义特定导电性的内部边界,允许直接控制耦合强度,以可测量组织属性为单位。我们通过有限差分和有限元离散化在已建立的心脏建模平台中建立控制方程并实施计算。使用代表性的解剖和生理配置,我们展示了界面导电性变化如何影响自发移植物活动引发宿主组织传播电活动的能力。该框架提供了一种可重复、机理透明的工具,用于研究移植物相关心律失常的形成,并为评估心肌细胞疗法中减轻心律失常风险的策略奠定基础。

英文摘要

Human pluripotent stem cell-derived cardiomyocytes (hPSC-CMs) are a promising therapy for regenerating myocardium after infarction, but their use is limited by graft-related arrhythmias that frequently occur shortly after transplantation. Experimental studies indicate that these arrhythmias can originate within the graft, which may act as an ectopic pacemaker, yet the mechanisms governing successful excitation of host tissue remain poorly understood. In particular, the role of electrical coupling at the graft-host interface is important, but difficult to measure directly or control. Computer modelling can help here. Here, we present a computational framework that enables systematic investigation of graft-host electrical interactions using a physiologically interpretable parameterisation. We model the graft-host interface as an internal boundary with a defined specific conductance, allowing direct control over coupling strength in units that correspond to measurable tissue properties. We formulate the governing equations and implement the computations using both finite-difference and finite-element discretisations in established cardiac modelling platforms. Using representative anatomical and physiological configurations, we demonstrate how variations in interface conductance influence the ability of spontaneous graft activity to initiate propagating excitation in host tissue. This framework provides a reproducible, mechanistically transparent tool for studying graft-related arrhythmogenesis and lays a foundation for evaluating strategies to mitigate arrhythmic risk in cardiac cell therapy.

2605.01079 2026-05-05 math.AP math-ph math.MP

Convolution-to-sum identities for Mittag-Leffler type functions

Mittag-Leffler型函数的卷积到求和恒等式

William Cvetko, Elena Cherkaev

AI总结 本文提出Mittag-Leffler型函数的卷积到求和恒等式,通过拉普拉斯域分析分数算子,揭示了Riemann-Liouville和Caputo分数导数的本征函数,并推导出R/P函数的求和公式及Euler恒等式的推广。

详情
AI中文摘要

三角函数的乘积到求和恒等式在函数理论和众多应用中起着基础性作用。本文在此基础上,提出Mittag-Leffler型函数的卷积到求和恒等式。通过分数算子的拉普拉斯域分析,我们识别出一个包含Riemann-Liouville和Caputo分数导数本征函数的Mittag-Leffler型函数族。我们考虑了这一类的两种密切相关参数化形式$R_{α,v}$和$P_{α,w}$。两个此类函数的卷积可以表示为它们的级数。此外,如果函数具有相同的阶$α$,则通过拉普拉斯域中的部分分式分解,卷积可以简化为两个$P/R$函数的和。进一步地,$R$和$P$函数满足Euler恒等式的推广,将先前结果的范围扩展到$P/R$函数的卷积,其阶$α_1,α_2$由有理数因子相关联。对于$\frac{α_1}{α_2} = \frac{n}{m}$,所得到的和具有$n+m$项。本文所发展的基础结果和方法通过其在强迫子扩散和分数衰减波方程(Caputo-Wismer-Kelvin,或分数Kelvin-Voigt模型)中的应用得到展示。

英文摘要

Product-to-sum identities for trigonometric functions play a fundamental role in function theory and numerous applications. In this spirit, we present convolution-to-sum identities for Mittag-Leffler type functions. Using a Laplace domain analysis of fractional operators, we identify a family of Mittag-Leffler type functions that encapsulates the eigenfunctions of Riemann-Liouville and Caputo fractional derivatives. We work with two closely-related parameterizations of this class, $R_{α,v}$ and $P_{α,w}$. The convolution of two such functions can be expressed as a series of them. Moreover, if the functions share the same order $α$, the convolution can be reduced to a sum of two $P/R$ functions through a partial-fraction decomposition in the Laplace domain. Furthermore, $R$ and $P$ functions satisfy a generalization of Euler's identity, which expands the scope of the previous result to convolutions of $P/R$ functions whose orders $α_1,α_2$ are related by a rational factor. For $\frac{α_1}{α_2} = \frac{n}{m}$, the resulting sum has $n+m$ terms. The foundational results and methods developed here are illustrated by their application to forced subdiffusion and to a fractionally attenuated wave equation (the Caputo-Wismer-Kelvin, or the fractional Kelvin-Voigt model).

2605.01076 2026-05-05 astro-ph.GA

Analysis of spatial velocities of several samples of open star clusters

若干开放恒星团空间速度分析

Vadim V. Bobylev, Anisa T. Bajkova

AI总结 研究利用新猎人-雷弗特目录分析开放恒星团的运动学,发现银河系旋转角速度参数及年轻恒星团径向速度周期性特征,推导出太阳系附近可能的轨道半径。

Comments 14 pages, 5 figures and 2 tables

Journal ref Astronomy Letters, 2025, Vol. 51, No. 11-12

详情
AI中文摘要

利用新猎人-雷弗特目录对4003个年龄小于2亿年的开放恒星团(OSCs)进行分析,得出银河系旋转角速度参数:$Ω_0 = 28.99\pm0.11$ km/s/kpc,$Ω^{'}_0 = -3.909\pm0.026$ km/s/kpc$^{2}$,$Ω^{''}_0 = 0.5662\pm0.018$ km/s/kpc$^{3}$,其中$V_0=234.8\pm3.0$ km/s对应$R_0=8.1\pm0.1$ kpc。发现年轻于6亿年的恒星团径向速度存在周期性,而年轻于4亿年的恒星团表现出残余切向速度波。对三个平均年龄分别为18、72和143 Myr的恒星团样本进行径向速度傅里叶谱分析,得出波长$λ$和速度扰动幅度$f_R$分别为:$λ=2.0$ kpc和$f_R=4.3$ km/s,$λ=2.2$ kpc和$f_R=8.2$ km/s,$λ=2.1$ kpc和$f_R=9.6$ km/s。发现恒星团径向速度波的极值位置随年龄变化而系统性变化。根据这些位移,得出旋转螺旋模式角速度$Ω_p$与银河系旋转速度的差值$|ΔΩ|=2.0\pm0.5_{stat}\pm2.3_{syst}$ km/s/kpc。据此估计出两个可能的轨道半径:$8.6\pm0.2$ kpc和$7.6\pm0.2$ kpc,表明太阳系非常接近轨道半径。

英文摘要

An analysis of the kinematics of open star clusters (OSCs) using their characteristics from the new Hunt and Reffert catalog was conducted. Based on 4003 OSCs younger than 200 million years, the following values for the angular velocity of the Galaxy's rotation were found: $Ω_0 = 28.99\pm0.11$ km/s/kpc, $Ω^{'}_0 = -3.909\pm0.026$ km/s/kpc$^{2}$ and $Ω^{''}_0 = 0.5662\pm0.018$ km/s/kpc$^{3}$, where $V_0=234.8\pm3.0$ km/s for $R_0=8.1\pm0.1$ kpc. It was found that periodicity in the radial velocities of OSCs is manifested in clusters younger than 600 Myr, while a wave in residual tangential velocities is observed only in the youngest ones, younger than 40 Myr. A spectral Fourier analysis of the radial velocities of three OSC samples with average ages of 18, 72, and 143 Myr was used to obtain the following values of the wavelength $λ$ and the velocity perturbation amplitude $f_R$: $λ=2.0$ kpc and $f_R=4.3$ km/s, $λ=2.2$ kpc and $f_R=8.2$ km/s, $λ=2.1$ kpc and $f_R=9.6$ km/s, respectively. A systematic change in the positions of the maxima and minima of the waves in the radial velocities of OSCs was found depending on the age of the sample. From the analysis of these shifts, the value of the absolute value of the difference $|ΔΩ|$ between the angular velocity of rotation of the spiral pattern $Ω_p$ and the rotation velocity of the Galaxy was found, $|ΔΩ|=2.0\pm0.5_{stat}\pm2.3_{syst}$ km/s/kpc. Based on this, an estimate of two possible values of the corotation radius was obtained: $8.6\pm0.2$ kpc and $7.6\pm0.2$ kpc, which indicates that the Sun is very close to the corotation.

2605.01071 2026-05-05 math.CO

A differential characterization of volume polynomials of permutohedra

体积多项式微分特征的刻画

Tristram Bogart, Federico Castillo, Damián de la Fuente, David Plaza

AI总结 研究矩阵关联的分层向量空间,证明其与方向导数空间一致,当主余子式非零时空间有限维,维度为二项式系数,总维度为2的幂。构造不可约根系Cartan矩阵对应的排列多面体面体积多项式基,提出几何性准则。

Comments 11 pages, 1 figure

详情
AI中文摘要

我们研究一个与方阵关联的分层向量空间,该空间由行上的有限差分条件定义。我们证明该空间与方向导数定义的空间一致,并证明其有限维当且仅当所有主余子式非零。在此情况下,每个次数的维度等于一个二项式系数,总维度为2的幂。对于不可约根系的Cartan矩阵,我们构造了相应排列多面体面的体积多项式基,从而提出一个称为几何性的基本准则,用于判断一个多项式是否可以表示为这些体积多项式的线性组合。

英文摘要

We study a graded vector space of polynomials associated to a square matrix, defined by a finite difference condition along the rows. We show this space coincides with one defined by directional derivatives, and prove it is finite-dimensional precisely when all principal minors are nonzero. In that case, its dimension in each degree equals a binomial coefficient, giving total dimension a power of two. For Cartan matrices of irreducible root systems, we construct an explicit basis of volume polynomials of faces of the associated permutohedra, yielding an elementary criterion, which we call geometricity, for expressing a polynomial as a linear combination of these volume polynomials.

2605.01070 2026-05-05 math.AP

Stability of p-area minimizing surfaces in the Heisenberg group

Heisenberg群中p-面积最小曲面的稳定性

Amir Moradifam, Gerardo Orozco-Fernandez

AI总结 研究Heisenberg群中带权重p-面积函数的最小化解的稳定性,通过对均值曲率H的扰动分析,建立方向场的L^1稳定性,并在二维和三维情况下得到W^{1,1}稳定性估计。

详情
AI中文摘要

我们研究了与给定p-均值曲率表面相关的加权p-面积函数的最小化解的稳定性。尽管存在性和唯一性结果已得到确立,但关于均值曲率H扰动的定量稳定性在非零H情况下仍鲜有探讨。利用Rockafellar-Fenchel对偶框架,我们识别出每个最小化解对应的唯一向量场,并证明其在H扰动下的稳定性。这为水平梯度的方向场提供了定量控制。基于此结构,我们在自然几何假设下建立了可接受最小化解的L^1稳定性。在二维和三维情况下,我们还基于额外的正则性和结构假设,推导出W^{1,1}稳定性估计,并以||H-~H||_{L^∞}的显式速率表达。我们的结果为具有给定非零p-均值曲率的p-面积最小图提供了首个定量稳定性理论,即使在无权重情况下也是如此。数值模拟用于说明理论结果的鲁棒性。

英文摘要

We study the stability of minimizers of weighted $p$-area functionals associated with prescribed $p$-mean curvature surfaces in the Heisenberg group. While existence and uniqueness results are well established, quantitative stability with respect to perturbations of the mean curvature $H$ remains largely unexplored in the nonzero-$H$ regime. Using a Rockafellar--Fenchel duality framework, we identify a unique underlying vector field associated with each minimizer and prove its stability under perturbations of $H$. This yields quantitative control of the direction field of the horizontal gradient. Building on this structure, we establish $L^1$ stability of admissible minimizers under natural geometric assumptions on level sets. In dimensions two and three, we also derive $W^{1,1}$ stability estimates under additional regularity and structural hypotheses, with explicit rates in terms of $\|H-\tilde H\|_{L^\infty}$. Our results provide the first quantitative stability theory for $p$-area minimizing graphs with prescribed nonzero $p$-mean curvature, even in the unweighted case. Numerical simulations are included to illustrate the robustness of the theoretical results.

2605.01068 2026-05-05 eess.SP

Integrating acoustic tapping with a UAV platform for tile condition classification

将声学敲击与无人机平台结合用于瓦片状况分类

Piedad J. Miranda, Ronan Reza, Leonel Lagos, Mackenson Telusma, Christine A. Langton, Fernando Moreu

AI总结 本文提出利用无人机诱导动态扰动研究声学敲击测试可靠性,通过能量基信号校正方法和PCA降维处理,提升无人机平台下瓦片分类性能。

详情
AI中文摘要

确保建筑瓦片的结构完整性对公共安全和城市基础设施的耐久性至关重要。本研究提出一个受控实验框架,量化无人机诱导的动态扰动对建筑外墙检查声学敲击测试可靠性的影晌。该工作明确分析振动引起的退化,并引入基于能量的信号校正方法,在运动干扰下保持分类性能。此外,主成分分析(PCA)被应用于处理和分类无线获取的声学数据,降低维度同时保留关键缺陷相关特征。使用Stewart平台重现从无人机飞行特性导出的受控振荡条件,从而在多个振动振幅下进行系统评估。结果表明,随着扰动的增加,分类准确率显著下降,但通过所提出的基于能量的滤波方法,可以将准确率恢复到98%以上。

英文摘要

Ensuring the structural integrity of building tiles is important for public safety and the durability of urban infrastructure. This study proposes a controlled experimental framework to quantify the effect of Unmanned Aerial vehicle (UAV) induced dynamic perturbations on acoustic tap-testing reliability for facade inspection. This work explicitly analyzes vibration-induced degradation and introduces an energy-based signal correction method to preserve classification performance under motion disturbances. In addition, Principal Component Analysis (PCA) is applied to process and classify wirelessly acquired acoustic data, reducing dimensionality while preserving key defect related features. A Stewart platform is used to reproduce controlled oscillatory conditions derived from UAV flight characterization, enabling systematic evaluation across multiple vibration amplitudes. Results show that classification accuracy degrades significantly under increasing perturbations, but can be restored above 98% using the proposed energy-based filtering approach.

2605.01064 2026-05-05 physics.chem-ph cond-mat.mtrl-sci physics.comp-ph

Stochastic Cluster Expansion for Excited State Energies

随机簇展开法用于激发态能级

Annabelle Canestraight, Russell Miller, Libor Veis, Vojtech Vlcek

AI总结 本文提出基于随机簇展开法的激发态能级计算方法,通过最小前线化学子空间和随机采样,有效计算激发能隙,避免大或预选活性空间,适用于强相关体系。

详情
AI中文摘要

在强相关系统中,激发态电子结构仍具挑战性,因多体希尔伯特空间指数增长及构造系统控制的活性空间困难。基于此前用于基态相关能的随机簇展开(SCE)框架,我们扩展该方法以计算激发能隙,通过直接表达能量差为轨道空间簇贡献的层次结构。在此方法中,激发能通过涉及最小前线化学子空间(FCS)的降维计算和剩余轨道环境的随机采样来重构。此方法消除了对大或化学预选活性空间的需求。我们通过电荷转移复合物和聚炔类化合物验证了该方法,获得与全系统结果一致的准确单重-三重态能隙。该方法以低阶簇项收敛,并为相关体系的激发态提供可系统改进的框架。

英文摘要

Excited-state electronic structure in strongly correlated systems remains challenging due to the exponential scaling of the many-body Hilbert space and the difficulty of constructing systematically controlled active spaces. Building on the stochastic cluster expansion (SCE) framework previously developed for ground-state correlation energies, we extend the formalism to excitation gaps by expressing energy differences directly as a hierarchy of orbital-space cluster contributions. In this formulation, excitation energies are reconstructed from reduced-rank calculations involving a minimal frontier chemical subspace (FCS), treated exactly, together with stochastic sampling of the remaining orbital environment. This approach eliminates the need for large or chemically preselected active spaces. We demonstrate the method on charge-transfer complexes and polyacenes, where accurate singlet-triplet gaps are obtained that agree with full-system results. The method converges with low-order cluster terms and provides a systematically improvable framework for excited states in correlated systems.

2605.01062 2026-05-05 stat.ME math.ST stat.TH

Single Change-Point Detection via Energy Distance with Application to Genomic Data

通过能量距离进行单变化点检测及其在基因组数据中的应用

Suthakaran Ratnasingam

AI总结 本文提出一种非参数方法,利用能量距离检测独立观测序列中的单变化点,分析检验统计量的渐近性质,并通过仿真实验展示其在不同误差分布下的鲁棒性,结合二进制分割方法处理多变化点。

Comments 25 pages, 8 figures, 3 tables

详情
AI中文摘要

本文开发并分析了一种非参数方法,用于通过能量距离检测独立观测序列中的单变化点。在原假设下,对于任何固定的候选分割点,标准化统计量$\mathcal{Z}_{n,k}$收敛于标准正态极限。对于全局检测,我们使用扫描统计量$T_n=\max_{k\in K_η}|\mathcal{Z}_{n,k}|$,并利用置换检验校准临界值,从而在可交换性下实现有效的I类错误控制。仿真实验表明,所提出的方法在各种误差分布下表现出更好的鲁棒性。为了处理实际应用中的多个变化点,该方法结合了二进制分割方法。使用乳腺癌细胞系(MDA157)的cDNA微阵列CGH数据来说明所提出方法在基因组序列中的检测和估计能力。

英文摘要

In this paper, we develop and analyze a nonparametric procedure for detecting a single change point in sequences of independent observations using energy distance. The asymptotic properties of the test statistic are derived under both null and alternative hypotheses. Under the null hypothesis, for any fixed candidate split point, the standardized statistic $\mathcal{Z}_{n,k}$ converges to a standard normal limit. For global detection, we use the scan statistic $T_n=\max_{k\in K_η}|\mathcal{Z}_{n,k}|$ and calibrate critical values using a permutation test, which yields valid type I error control under exchangeability. The simulation study shows that the proposed method demonstrates much better robustness across various error distributions. To handle multiple change points in practical applications, the method is combined with a binary segmentation approach. The breast cancer cell line (MDA157) from cDNA microarray CGH data is used to illustrate the detection and estimation capabilities of the proposed method for genomic sequences.

2605.01061 2026-05-05 cs.MM

PRISM: Exposing and Resolving Spurious Isolation in Federated Multimodal Continual Learning

PRISM:揭示并解决联邦多模态持续学习中的虚假隔离

Beining Wu, Zihao Ding, Jun Huang

AI总结 本文提出PRISM方法,通过维护专家梯度子空间基底和重新解释MoE路由,解决联邦多模态持续学习中路由隔离失效、遗忘积累和梯度冲突问题,实验表明其在多个数据集上优于现有基线。

Comments submitted to IEEE

详情
AI中文摘要

尽管当前基于混合专家低秩适应(MoE-LoRA)的联邦多模态持续学习假设路由能将任务特定知识隔离到不同专家中,但本文认为路由是按样本进行的,而遗忘在任务序列中积累,且即使路由最大化极化,每个专家内仍存在梯度冲突。此外,激活子空间保护可能失效,因为参数高效微调导致任务纠缠,且联邦平均(FedAvg)破坏客户端侧正交性。为此,本文提出PRISM(Per-expert Routing-projection Interference-informed Subspace Method),维护每个专家的梯度子空间基底,其正交性在FedAvg下保持,并重新解释MoE路由为容量分配器。实验表明,在LLaVA-1.5-7B、LLaVA-1.5-13B和Qwen2.5-VL-7B上,PRISM在CoIN-6和CoIN-Long-10上优于十六个最先进的基线,在多个数据集上性能提升显著。

英文摘要

While current federated multimodal continual learning over mixture-of-experts low-rank adaptation (MoE-LoRA) is built on the unverified assumption that routing isolates task-specific knowledge into disjoint experts, we argue that routing operates per-sample, while forgetting accumulates across the task sequence, and gradient conflict persists within each expert even when routing is maximally polarized. Moreover, activation-subspace protection can also fail because, under parameter-efficient fine-tuning, it entangles tasks due to a dimension-counting bound, and federated averaging (FedAvg) disrupts client-side orthogonality. To address this, we propose PRISM (Per-expert Routing-projection Interference-informed Subspace Method), which maintains a per-expert gradient subspace basis whose orthogonality is preserved under FedAvg and reinterprets MoE routing as a capacity allocator. Our results show that, on LLaVA-1.5-7B, LLaVA-1.5-13B, and Qwen2.5-VL-7B across CoIN-6 and CoIN-Long-10, PRISM outperforms sixteen the state of the art baselines in average accuracy. Compared to the best federated multimodal baseline, the performance margin increases from +3.23 pp on CoIN-6 to +6.06 pp on CoIN-Long-10.

2605.01054 2026-05-05 physics.optics cond-mat.mes-hall cond-mat.mtrl-sci

Two-Photon-Induced Direct 3D Printing of Freeform High-Index Phase-Change Sb2S3 Nanostructures

双光子诱导直接3D打印自由成形高折射率相变Sb2S3纳米结构

Abhrodeep Dey, Andrea Dellith, Anne Sauer, Uwe Hübner, Henrik Schneidewind, Markus A Schmidt, Astrid Bingel, Volker Deckert, Jer-Shing Huang, Wei Wang

AI总结 本文提出一种双光子诱导直接打印方法,实现高折射率相变材料Sb2S3的自由成形3D打印,用于制备光子器件,具有亚微米分辨率和高效制备能力。

Comments 29 pages,6 figures

详情
AI中文摘要

硫化物最近作为一种重要的相变材料(PCMs)在纳米光子学中崭露头角,因其在可见到近红外范围内极高的折射率(RI)和低光学损耗。它们在相变过程中表现出超大的折射率变化(>0.7),可通过多种刺激如电偏压、激光照射或热加热触发。这些特性使其成为平面光学和超材料应用的有吸引力材料。目前,硫化物PCMs的纳米光子学实现大多依赖于通过固态靶材涂覆来制备二维(2D)或近三维(3D)薄层图案化,这限制了快速原型化3D自由成型微/纳结构,从而限制了几何设计自由度和器件功能。在此,我们展示了将硫化物PCMs直接打印成功能结构的方法。该方法基于在特殊合成的硫化锑(Sb2S3)前驱液中进行双光子诱导固化(DITPS)的浸入。直接打印DITPS方法简单、无掩模、快速且成本效益高,能够实现具有亚微米分辨率的光子器件真正自由成型3D打印。我们展示了在金和ITO基底上直接书写不同线宽剖面的Sb2S3螺线,以及在单次打印步骤中制作功能平面菲涅耳区板(FZPs)和计算机生成全息超材料(CGHMs)。因此,这种自由DITPS方法能够快速原型化高折射率超材料,并为将高折射率PCMs整合到现有光子架构和器件平台开辟了新途径。

英文摘要

Chalcogenides have recently emerged as an important class of phase-change materials (PCMs) for nanophotonics, owing to their very high refractive index (RI) and low optical loss in the visible to near-infrared range. They exhibit an ultralarge RI change (> 0.7) upon phase transition, which can be triggered by multiple stimuli such as electrical bias, laser illumination or thermal heating. These properties make them highly appealing materials for flat optics and metasurface applications. Current nanophotonic implementations of chalcogenide PCMs mostly rely on two-dimensional (2D) or quasi three-dimensional (3D) thin film patterning based on the coating of chalcogenide materials from a solid-state target. This limits fast prototyping of 3D freeform micro- and nanostructures, thus restricting geometric design freedom and device functionality. Here, we demonstrate a solution-phase direct printing of chalcogenide PCMs into functional structures. The method is based on dip in two photon-induced solidification (DITPS) of a specially synthesized antimony trisulfide (Sb2S3) precursor solution. Direct printing with DITPS is simple, maskless, fast and cost effective, enabling true freeform 3D printing of photonic devices with sub micron resolution. We show direct writing of Sb2S3 helices with different wire cross section profiles on gold and ITO substrates, as well as functional planar Fresnel zone plates (FZPs) and computer generated hologram metasurfaces (CGHMs) in a single printing step. This freeform DITPS approach thus enables rapid 3D prototyping of high index metasurfaces and opens a route to integrating high-index PCMs into existing photonic architectures and device platforms.

2605.01052 2026-05-05 quant-ph math.ST physics.data-an physics.optics stat.TH

Entropic Reciprocity in Time-Reversed Young Interferometry

时间反演的年轻干涉仪中的熵互惠性

Jianming Wen

AI总结 研究时间反演年轻干涉仪如何重组而非逆转光学熵,揭示其作为信息处理器的独特性。

Comments This work provides an explicit definition on time reversal based on information theory

详情
AI中文摘要

我们展示时间反演的年轻干涉仪重组而非逆转光学熵。固定探测器条件了互惠源-探测器格林函数,并产生源标签概率分布。标准和时间反演几何中的边缘熵通常不等;互惠不变量是源和探测器坐标之间的互信息。在破坏性响应附近,条件源标签熵可能减少,而小相位、倾斜或模糊扰动的费舍尔信息增加。结果表明时间反演年轻干涉仪是一种无类比的源空间信息处理器。

英文摘要

We show that time-reversed Young interferometry reorganizes, rather than reverses, optical entropy. A fixed detector conditions the reciprocal source--detector Green function and produces a source-label probability distribution. Marginal entropies in the standard and time-reversed geometries are generally unequal; the reciprocal invariant is instead the mutual information between source and detector coordinates. Near a destructive response, the conditioned source-label entropy can decrease while Fisher information for small phase, tilt, or defocus perturbations increases. The result identifies time-reversed Young interferometry as a source-space information processor with no analogue in ordinary detector-plane fringe readout.

2605.01049 2026-05-05 cond-mat.mtrl-sci

A hidden bulk polymorph governs charge transport dimensionality in an organic semiconductor

一种隐含的本征多形体调控有机半导体中的电荷输运维度

Caterina Zuffa, Marco Bardini, Fabian Gasser, Mauricio Sevilla, Robinson Cortes-Huerto, Alessandro Greco, Lorenzo Soprani, Guanzhao Wen, Jaco J. Geuchies, Mischa Bonn, Gabriele D'Avino, Lucia Maini, Hai I. Wang, Lucia Di Virgilio

AI总结 研究发现DNTT存在未被识别的本征多形体,通过X射线衍射等手段证实其在电荷输运维度和载流子效率调控中的作用。

Comments 29 pages, 5 figures

详情
AI中文摘要

有机半导体(OSCs)广泛用于柔性光电子技术,其性能不仅由分子设计决定,还受固态堆积影响,可能产生多形性。Dinaphthothienothiophene(DNTT)长期以来被认为单形,但本文发现并分离了其未被识别的本征多形体,称为蓝色DNTT,因其特征蓝色发光而得名。蓝色DNTT与商业粉体中已知的绿色DNTT共存,但此前被忽视。通过X射线衍射、拉曼和THz光谱结合模拟,证明DNTT的多形性重塑了低频声子景观和转移积分网络,影响电荷输运。尽管绿色DNTT表现出二维电荷输运,其中空穴比电子更活泼,但蓝色DNTT则通过独特的波浪形堆积,使电荷沿所有晶向输运。蓝色DNTT中沿晶格a和b轴的电子迁移率超过绿色相中空穴迁移率的两倍。据我们所知,这是首个报告的具有三维电荷输运的含烯基半导体。多形性作为调控有机半导体电荷输运维度和载流子效率的关键因素。

英文摘要

Organic semiconductors (OSCs) are widely explored for flexible optoelectronic technologies, with performance governed not only by molecular design, but also by solid-state packing, which can give rise to polymorphism. Dinaphthothienothiophene (DNTT) is a benchmark OSC that has long been considered monomorphic. Here, we discover, isolate, and resolve the crystal structure of a previously unrecognised bulk polymorph of DNTT, termed blue DNTT owing to its characteristic blue emission. Coexisting with the well-known (green) DNTT in commercial powders, yet previously overlooked, blue DNTT represents the thermodynamically stable form. By combining X-ray diffraction, Raman, and THz spectroscopy with simulations, we demonstrate that polymorphism in DNTT reshapes the low-frequency phonon landscape and transfer-integral network, impacting charge transport. While green DNTT exhibits two-dimensional charge transport with holes more mobile than electrons, blue DNTT shows charge transport along all crystallographic directions enabled by a distinct herringbone packing. Electron mobility along the crystallographic a and b-axes in blue DNTT exceeds twice the hole mobility in the green phase. To our knowledge, this is the first reported acene-based semiconductor exhibiting three-dimensional charge transport. Polymorphism emerges as a key lever to tune charge transport dimensionality and carrier efficiency in organic semiconductors.

2605.01045 2026-05-05 cond-mat.mtrl-sci

Understanding the lifetime of water with dynamic network analysis: the case of CsOH.H2O

理解水的寿命:动态网络分析:CsOH.H2O案例

Graeme J. Ackland, Ciprian G. Pruteanu, John S. Loveday, Keishiro Yamashita

AI总结 研究CsOH.H2O中水分子寿命,通过动态网络分析揭示氢键动态行为及质子交换机制,提出新型拉曼活性理论模型。

详情
AI中文摘要

我们描述了氢氧化铯单水合物(CsOH·H2O)中原子级运动,该化合物包含水层和氢氧根离子层。在该组成下,每个氧原子参与三个氢键,在六方结构中形成准二维蜂窝晶格。尽管氧和铯原子形成典型晶体晶格,氢原子的动力学更为复杂。我们证明共价键和氢键持续相互转换,意味着水和羟基通过质子交换相互转换。水和羟基的有序-无序转变通过化学反应而非分子旋转或扩散实现。一个氢原子可旋转出层,留下2D层中的空位。此类氢空位可通过单分子旋转快速扩散,导致快速离子导电。质子交换导致一种结合伸缩和交换过程的新型拉曼活性,我们为此开发了理论模型。这将表现为一个宽单峰,与H2O和OH伸缩振动相关,以及一个低频峰在高温下出现。

英文摘要

We describe the atomic-level motions in caesium hydroxide monohydrate (CsOH$\cdot$H$_2$O), which is a chemical compound containing layers of water and hydroxide ions. At this composition, each oxygen is involved in three hydrogen bonds which, in the hexagonal structure, form a quasi-2D honeycomb lattice. While oxygen and caesium atoms form a typical crystal lattice, the dynamics of the hydrogen atoms are more complex. Here we show that the covalent and hydrogen bonds are continually interconverting, meaning that the water and hydroxyl are interconverting by proton exchange. The order-disorder transition of the water and hydroxyl proceeds by chemical reaction rather than rotation or diffusion of the molecules. A hydrogen can rotate out of the layer, leaving a vacant site in the 2D layer. Such a hydrogen vacancy can diffuse rapidly by single molecule rotation, leading to fast-ionic conduction. The proton exchange leads to a novel type of Raman activity combining stretch and exchange processes, for which we develop a theoretical model. This would manifest in a broad single peak associated with both H$_2$O and OH stretches and a low frequency peak appearing at elevated temperature.

2605.01044 2026-05-05 cs.DM

Efficient Reconstruction of Arboreal Networks

arboreal网络的高效重建

Katharina T. Huber, Katherine St. John

AI总结 本文提出了一种基于三元组和新概念双元的无栈arboreal网络编码方法,实现了多项式时间算法,用于从完整三元组和双元系统中构建网络,并引入了多根网络的自然度量。

Comments 9 pages

详情
AI中文摘要

Arboreal网络是其底层图为树的多根系统发育网络。本文给出了无栈arboreal网络的编码方式,基于三元组和新概念双元。这导致了一种多项式时间算法,用于从完整的三元组和双元系统中构造这些网络。分类结果展示了正确性,并导致了这些多根网络的自然度量。

英文摘要

Arboreal networks are multi-rooted phylogenetic networks whose underlying graph is a tree. We give an encoding of stack-free arboreal networks in terms of triplets and the novel concept of a duet. This yields a polynomial time algorithm to construct these networks from complete triplet and duet systems. The classification results show correctness and lead to a natural metric on these multi-rooted networks.

2605.01043 2026-05-05 cs.HC

Non-Markovian Dynamical Systems Modeling of Electroencephalogram-based Brain Activity for Anticipating the Cognitive Fatigue Level

非马尔可夫动力学系统建模:基于脑电图的脑活动用于预测认知疲劳水平

Zeinabsadat Saghi, Daria Riabukhina, Olubukola Akinbami, Paul Bogdan, Souti Chattopadhyay

AI总结 本文提出基于分数动力学网络的机器学习框架,利用分数阶微分方程捕捉脑信号依赖性,通过多标度特性检测认知疲劳转变,实现93.33%的分类准确率和95%的AUROC。

详情
AI中文摘要

认知疲劳从专注注意转为不准确反应,可能在高风险环境中导致灾难性失败,但现有黑箱评估技术忽视了大脑的非马尔可夫性和时间变化的相互依赖性质,限制了实时相变检测。本文开发了一种基于耦合分数阶微分方程的分数动力学网络机器学习(FDNML)框架,以捕捉脑信号相互依赖性并实时检测认知疲劳转变。脑活动的多标度特性表现出在不同疲劳水平下具有不同的广义分形维度特征,状态0-1、1-2和0-2之间的Wasserstein距离分别为0.10、0.13和0.08。该框架实现了93.33%的分类准确率和95%的AUROC,通过早期检测神经状态转变来防止性能下降。

英文摘要

Cognitive fatigue, which transitions from focused attention to inexact responses, can cause catastrophic failures in high-stakes environments, yet current black-box assessment techniques ignore the brain's non-Markovian and time-varying interdependent properties, limiting real-time phase transition detection. We develop a fractional dynamical networks-based machine learning (FDNML) framework using coupled fractional-order differential equations to capture brain signal interdependencies and detect cognitive fatigue transitions in real-time. Multifractal properties of brain activity exhibit distinct generalized fractal dimension signatures across fatigue levels, with Wasserstein distances of 0.10, 0.13, and 0.08 between states 0-1, 1-2, and 0-2, respectively. The framework achieves 93.33% classification accuracy and 95% AUROC, enabling the prevention of performance degradation through early detection of neural state transitions.

2605.01042 2026-05-05 cs.SE

ProMoTA: a model-driven framework for end-to-end traceability analysis

ProMoTA:一种面向端到端可追溯分析的模型驱动框架

Sadaf Mustafiz, Marko Mijalkovic, Moharram Challenger

AI总结 本文提出一种整合端到端可追溯性与过程建模的方法,通过megamodels和模型转换链实现过程执行自动化,构建全局模型可追溯性,支持端到端可追溯分析。

详情
AI中文摘要

在本文中,我们提出了一种将端到端可追溯性与过程建模相结合的方法。我们的过程模型代表MDE工作流,涵盖平台无关建模、平台特定建模和代码生成阶段。通过megamodels和模型转换链实现过程执行自动化。端到端可追溯信息的生成使从高层输入模型到生成代码的全局模型可追溯性成为可能,为可追溯性分析奠定基础。我们构建了一个基于Eclipse的框架ProMoTA来支持我们的方法。ProMoTA扩展了Acceleo模型转换语言,引入了局部可追溯性支持。它还包含一个全局可追溯性地图生成器和端到端可追溯性分析模块,为用户提供整个转换过程的全景视图。我们的框架通过使用基于无线传感器网络的物联网应用进行了演示。

英文摘要

In this paper, we propose an approach that integrates end-to-end traceability with process modelling. OurprocessmodelsrepresentMDEworkflowsthatspan platform-independent-modelling, platform-specificmodelling, andcodegenerationphases. Processexecutionisautomated using megamodels and model transformation chains. The generation of end-to-end traceability information enables global model traceability, from high-level input models to generated code, forming the basis for traceability analysis. We have built an Eclipse-based framework, ProMoTA, to support our approach. ProMoTA extends the Acceleo model transformation language, introducing local traceability support. It also includes a global traceability map generator and end-to-end traceability analysis modules, providing users with a holistic view of the entire transformation process. Our framework is demonstrated with the use of a Wireless Sensor Network-Based IoT application.

2605.01035 2026-05-05 quant-ph

A Scalable FPGA Architecture for Real-Time Decoding of Quantum LDPC Codes Using GARI

一种用于量子LDPC码实时解码的可扩展FPGA架构

Daniel Báscones, Arshpreet Singh Maan, Valentin Savin, Francisco Garcia-Herrero

AI总结 本文提出一种基于消息传递的FPGA架构,用于解码量子LDPC码中的相关误差,利用GARI方法的检测器误差模型,实现灵活扩展和低功耗高效解码。

详情
AI中文摘要

本文介绍了一种新的硬件架构,用于解码量子LDPC码中的相关误差。解码器基于消息传递,并利用通过最近引入的图扩展和重 wiring(GARI)方法获得的检测器误差模型结构。所提出的架构支持灵活的扩展,并且原则上可以适应任何使用GARI框架的量子LDPC码。它通过资源重用保持适度的并行度,从而减少功耗和面积需求,同时保持低解码延迟。作为案例研究,该架构在VCU19P FPGA上实现了三个解码器核心,针对[[144,12,12]]双变量自行车码,每轮解码的平均延迟为596 ns。该实现消耗的资源比之前的GARI方案少六倍,是首个在单个FPGA设备上实现多个解码器核心以解码相关误差的报告。这使得在经典侧更有效地扩展量子误差校正层,减少总体功耗,同时在不牺牲解码准确性的情况下满足实时约束。

英文摘要

In this work, we introduce a new hardware architecture for decoding correlated errors in quantum LDPC codes. The decoder is based on message passing and exploits the structure of the detector error model obtained through the recently introduced Graph Augmentation and Rewiring for Inference (GARI) method. The proposed architecture enables flexible scaling and can, in principle, adapt to any quantum LDPC codes using the GARI framework. It leverages resource reuse while maintaining a modest degree of parallelism, thereby reducing power consumption and area requirements, while preserving low decoding latency. As a case study, the architecture was implemented on a VCU19P FPGA as an ensemble of three decoder cores targeting the [[144,12,12]] bivariate bicycle code, achieving an average latency of 596 ns per decoding round. This implementation consumes six times fewer resources than the previous GARI-based proposal, being the first reported implementation of multiple decoder cores for correlated errors on a single FPGA device. This enables better energy-conscious scaling of the quantum error correction layer on the classical side, reducing overall power consumption while meeting real-time constraints without compromising decoding accuracy under correlated errors.

2605.01033 2026-05-05 cond-mat.str-el cond-mat.stat-mech

Manipulation of electromagnetic wave propagation in quantum-spin-chain medium

在量子自旋链介质中操控电磁波传播

Taras Krokhmalskii, Taras Verkholyak, Ostap Baran, Dmytro Yaremchuk, Taras Hutak, Oleg Derzhko

AI总结 研究一维磁性晶体中电磁波传播机制,通过计算色散关系k(ω)展示外部磁场对电磁波传播的调控,为更真实的磁性介质模型提供理论支持。

Comments 8 pages, 3 figures

详情
AI中文摘要

我们考虑了一种简单的二维磁性晶体模型,并研究了电磁波在该介质中的传播。通过计算色散关系k(ω),可以展示如何通过外部磁场控制电磁波的传播。我们的严格计算对于更真实(但数学上更难以处理)的磁性介质模型应具有用处。

英文摘要

We consider a simple model of one-dimensional magnetic crystal and examine the propagation of an electromagnetic wave through such a medium. Calculating the dispersion relation ${\bf k}(ω)$ allows us to illustrate how the spread of the electromagnetic wave can be controlled by an external magnetic field. Our rigorous calculations should be useful for more realistic (and less tractable mathematically) models of magnetic media.

2605.01031 2026-05-05 cond-mat.mtrl-sci

Influence of Coherent Elastic Strain on Phase Separation in BCC Nb-V Alloys

coherent弹性应变对BCC铌-钒合金相分离的影响

Siya Zhu, Raymundo Arróyave

AI总结 研究通过整合相干弹性兼容性,揭示其对BCC铌-钒合金相分离的抑制作用,改变相平衡解释,提供通用相图建模框架。

Comments 24 pages, 5 figures, Supplementary Information available

详情
AI中文摘要

Coherent elastic strain是合金系统中相分离热力学的重要但常被忽视的贡献,特别是在分解相有显著晶格不匹配的情况下。我们开发了一个热力学框架,将相干弹性兼容性直接纳入相图计算,与传统CALPHAD化学自由能相结合。应用于BCC铌-钒系统时,该框架显示相干弹性显著抑制相分离,缩小混溶间隙,并降低临界温度至实验观测值。除了这些定量效应,相干约束还定性地改变了相平衡的解释:平衡分解组成成为温度和整体合金组成函数,因此两相边界不再代表唯一的共存组成。这些结果确立了相干弹性作为晶格不匹配系统中的关键热力学因素,并提供了一个通用的相干相图建模框架。

英文摘要

Coherent elastic strain is an important but often neglected contribution to phase-separation thermodynamics in alloy systems where decomposed phases have appreciable lattice mismatch. We develop a thermodynamic framework that incorporates coherent elastic compatibility directly into phase-diagram calculations alongside conventional CALPHAD chemical free energies. Applied to the BCC Nb-V system, the framework shows that coherent elasticity substantially suppresses phase separation, narrows the miscibility gap, and lowers the critical temperature toward experimentally observed values. Beyond these quantitative effects, the coherent constraint qualitatively alters the interpretation of phase equilibria: the equilibrium decomposition compositions become functions of both temperature and overall alloy composition, so the two-phase boundary no longer represents unique coexistence compositions. These results establish coherent elasticity as a key thermodynamic factor in lattice-mismatched systems and provide a general framework for coherent phase-diagram modeling.

2605.01029 2026-05-05 cond-mat.str-el quant-ph

Model-agnostic cooling algorithms for strongly interacting fermions

不依赖模型的冷却算法用于强相互作用费米子

Henning Schlömer, Liyuan Chen, Susanne F. Yelin, Hong-Ye Hu

AI总结 本文提出一种无需谱信息的随机对称保持冷却算法,通过局部耦合操作符和随机采样的能量分裂驱动费米子系统向低能态演化,验证了其在多种超导相关模型中的通用性。

Comments 5+2 pages

详情
AI中文摘要

强相互作用费米子是凝聚态物理中最具挑战性的问题之一,如高温超导。这些系统的低能态编码了其本质的微观性质,但难以被经典方法访问。量子模拟提供了可行的途径,其中工程耗散成为特别有吸引力的方法。然而,现有冷却协议通常依赖于准粒子谱或映射到自由费米子极限的知识。在本文中,我们介绍了一种随机、对称保持的冷却算法,仅需局部耦合操作符与随机采样的能量分裂,驱动通用费米子系统向低能态曼陀。我们对与高温超导相关的标准关联费米子模型进行了基准测试,涵盖金属、密度波、配对、超导和相分离相。在所有模型中,我们观察到普遍的冷却行为:能量单调松弛,谱权重集中在低能区,以及相关基态秩序的稳定化。我们的结果证明了随机耗散冷却作为在可编程量子设备上准备强关联费米子态的一般策略。

英文摘要

Strongly interacting fermions underpin some of the most challenging problems in condensed matter physics, such as high-temperature superconductivity. The low-energy states of these systems encode their essential microscopic properties, yet remain largely inaccessible to classical methods. Quantum simulation offers a promising path forward, and among state-preparation strategies, engineered dissipation has emerged as a particularly compelling approach. Existing cooling protocols, however, typically rely on knowledge of the quasiparticle spectrum or mappings to free-fermion limits. In this letter, we introduce a randomized, symmetry-preserving cooling algorithm that requires no spectral information, using only local coupling operators to ancilla degrees of freedom with randomly sampled energy splittings to drive generic fermionic systems toward their low-energy manifold. We benchmark the protocol on canonical correlated fermionic models relevant to high-temperature superconductors, spanning metallic, density-wave, paired, superconducting, and phase-separated phases. Across all models, we observe universal cooling behavior: monotonic energy relaxation, concentration of spectral weight at low energies, and stabilization of correlated ground-state order. Our results establish randomized dissipative cooling as a general strategy for preparing strongly correlated fermionic states on programmable quantum devices.

2605.01028 2026-05-05 cs.LO math.DG

Stokes' Theorem for Smooth Singular Cubes in Lean 4: True Pullback, Bridges to mathlib4, and Chain-Level d^2=0

斯托克斯定理在Lean 4中的光滑奇异性立方体应用:真正的拉回、连接到mathlib4、以及链级d²=0

David B. Hulak, Arthur F. Ramos, Ruy J. G. B. de Queiroz

AI总结 本文在Lean 4中形式化了任意维数的斯托克斯定理,通过弗雷歇导数实现真正微分形式拉回,并结合mathlib4的extDeriv抽象,扩展了链级斯托克斯理论,验证了奇异立方链的d²=0性质。

详情
AI中文摘要

我们提出了一个无责备的Lean 4/mathlib4形式化,用于在任意维度中光滑奇异性立方体的斯托克斯定理,使用通过弗雷歇导数实现的真正微分形式拉回。该开发还包括连接到mathlib4的抽象extDeriv,链级斯托克斯扩展,通过Z-线性性扩展的斯托克斯,奇异立方链的d²=0,轴对齐立方的箱斯托克斯,维度特化,以及与Harrison的HOL Light形式化的结构化比较。

英文摘要

We present a sorry-free Lean 4/mathlib4 formalization of Stokes' theorem for smooth singular cubes in arbitrary dimension, using true differential-form pullback via the Frechet derivative. The development also includes a bridge to mathlib4's abstract extDeriv, chain-level Stokes extended by Z-linearity, d^2=0 for singular cubical chains, box Stokes for axis-aligned cubes, dimensional specializations, and a structured comparison with Harrison's HOL Light formalization.

2605.01027 2026-05-05 math.GT math.DG

The geometry of branched coverings of hyperbolic manifolds

双曲流形的分支覆盖几何

Ursula Hamenstädt

AI总结 研究双曲流形的分支覆盖几何性质,重点探讨高维闭合双曲流形沿完全测地子流形的覆盖结构及其几何特性。

Comments 17 pages. The article was written in the style of a survey as a final report for the DFG priority program "Geometry at infinity", licensed by Springer Publ. Comp

详情
AI中文摘要

我们讨论了闭合双曲流形(维度n≥3)的覆盖的几何性质,这些覆盖沿一个完全测地的二维子流形Σ分支。这些结果大多为专家所知,但难以在文献中找到这种形式的总结。

英文摘要

We discuss geometric properties of covers of closed hyperbolic manifolds of dimension $n\geq 3$, branched along a totally geodesic codimension two submanifold $Σ$. The results are mostly known to the experts but hard to find in the literature in this form.

2605.01026 2026-05-05 math.GT math.QA

A HOMFLYPT-type invariant for pseudo links via a resolution in Hecke algebras

伪链接的HOMFLYPT型不变量:通过Hecke代数中的解析

Ioannis Diamantis

AI总结 本文通过Hecke代数中的解析构造了伪链接的HOMFLYPT型不变量,解决了伪 Reidemeister 1 移动带来的障碍,基于解析同态和Ocneanu迹得到自然的伪 skein 关系。

Comments 21 pages, 6 figures

详情
AI中文摘要

伪链接通过允许缺失的交叉信息(称为预交叉)扩展了经典链接。尽管伪辫框架通过Markov型定理提供了伪链接的代数描述,但使用Hecke代数技术构造多项式不变量受到伪Reidemeister 1移动的阻碍。本文通过类型A的伪Hecke代数构造了定向伪链接的HOMFLYPT型不变量。该构造基于将每个伪生成元映射为辫子生成元及其逆的线性组合的解析同态,将预交叉解释为经典交叉的代数叠加。将此映射与Ocneanu迹结合并应用适当归一化后,得到满足自然伪skein关系的不变量。进一步证明该不变量可通过所有伪交叉的经典解的加权和形式化为状态和,以及通过其在经典链接上的值和伪skein关系的 skein-理论 特征进行描述。

英文摘要

Pseudo links generalize classical links by allowing crossings with missing over/under information, called pre-crossings. While the pseudo braid framework provides an algebraic description of pseudo links via a Markov-type theorem, the construction of polynomial invariants using Hecke algebra techniques is obstructed by the presence of the pseudo Reidemeister 1 move. In this paper, we construct a HOMFLYPT-type invariant for oriented pseudo links via the pseudo Hecke algebra of type \(A\). The construction is based on a resolution homomorphism that maps each pseudo generator to a linear combination of a braid generator and its inverse, interpreting pre-crossings as algebraic superpositions of classical crossings. Composing this map with the Ocneanu trace and applying a suitable normalization yields an invariant satisfying a natural pseudo skein relation. We further show that the invariant admits a state-sum formulation as a weighted sum of classical HOMFLYPT-type invariants over all classical resolutions of the pseudo crossings, as well as a skein-theoretic characterization in terms of its values on classical links and the pseudo skein relation.

2605.01025 2026-05-05 cs.GT

Your Loss is My Gain: Low Stake Attacks on Liquid Staking Pools

你的损失是我的收益:针对流动性质押池的低 stakes 攻击

Sen Yang, Aviv Yaish, Arthur Gervais, Fan Zhang

AI总结 本文研究了流动性质押池中因低 stakes 攻击导致的经济安全漏洞,通过深度强化学习框架发现攻击策略,并分析了应用层的盈利渠道。

Comments 47 pages, 15 figures, 7 tables

详情
AI中文摘要

无许可的权益证明(PoS)经济安全依赖于违反共识安全或活锁的高成本。我们证明流动性质押引入了未被标准PoS经济安全论证所涵盖的额外风险。通过研究以太坊数据,我们发现流动性质押池的操作性能与随后的标准化流动性质押代币(LST)回报呈正相关。受此启发,我们提出了一种跨层攻击:低 stakes 攻击者可以操纵共识协议以降低目标池的性能,并在应用层采取有利可图的立场,如果市场重新定价相应的LST与历史观察到的相关性一致。为了使共识层操纵具体化,我们开发了深度强化学习(DRL)框架以自动发现攻击策略。我们的评估显示,学习到的策略可以恢复接近最优的理论攻击并揭示新的操纵行为,显著降低目标池的性能。我们进一步刻画了可行的应用层货币化渠道,并通过蒙特卡洛模拟详细分析了杠杆空头,证明此类攻击对主要质押池的LST具有超过一半的概率盈利。我们的发现揭示了在具有流动性质押的PoS系统中被忽视的攻击面,并暴露了共识与经济安全之间的差距。

英文摘要

Permissionless Proof-of-Stake (PoS) economic security is predicated on the high cost of violating consensus safety or liveness. We show that liquid staking introduces additional risks that are not captured by standard PoS economic security arguments. Through an empirical study of Ethereum data, we find that the operational performance of liquid staking pools is positively associated with subsequent normalized liquid staking token (LST) returns. Motivated by this, we present a cross-layer attack: a low-stake adversary can manipulate the consensus protocol to degrade a target pool's performance and take application-layer positions that profit if the market reprices the corresponding \gls{LST} in-line with the historically observed association. To make the consensus layer manipulation concrete, we develop a deep reinforcement learning (DRL) framework to automatically discover attack strategies. Our evaluation shows that the learned strategies can recover near-optimal theoretical attacks and uncover new manipulation behaviors that significantly degrade target pool performance. We further characterize feasible application-layer monetization channels and analyze leveraged shorting in detail using Monte Carlo simulations, showing that such attacks can be profitable with over one-half probability for LSTs of major staking pools. Our findings reveal a previously overlooked attack surface in PoS systems with liquid staking and expose a gap between consensus and economic security.

2605.01023 2026-05-05 astro-ph.CO astro-ph.HE gr-qc hep-ph

Formation and Redshift Evolution of Dark Matter Spikes

暗物质尖峰的形成与红移演化

Gonzalo Herrera, Abdelaziz Hussein, Lina Necib, Elliot Y. Davies, Xuejian Shen

AI总结 研究暗物质尖峰在恒星周围形成及红移演化,通过半解析框架分析暗物质与恒星相空间分布的耦合方程,发现恒星引力加热使内坡度趋近1.5,产生比传统预测低但高于NFW尖峰的过密区域。

Comments 27 pages, 14 figures

详情
AI中文摘要

暗物质密度尖峰在恒星周围形成可显著增强间接和直接探测信号。然而,传统预测假设在纯暗物质环境中零质量种子,未跟踪周围恒星的长期动态影响。本文提出一个半解析框架,首先推广绝热尖峰形成以包括有限种子质量、恒星尖峰和非圆形轨道,然后通过求解耦合的福克-普朗克方程研究后续宇宙演化,其中加热率由宇宙恒星形成率调节。从传统Gondolo-Silk尖峰开始,保守地考虑天体物理不确定性,发现恒星引力加热使内坡度趋近γ_χ≈1.5,在几吉年(例如z≈2时)内形成,产生比传统预测低但高于NFW尖峰的过密区域。提供红移依赖的基准,用于散射、衰变和湮灭信号相关的柱密度和J因子。任何对银河核区暗物质信号的稳健解释必须考虑这种演化。

英文摘要

Dark matter density spikes forming around adiabatically growing black holes can dramatically enhance indirect and direct detection signals. Canonical predictions, however, assume a zero-mass seed in a purely dark matter environment and do not track the long-term dynamical impact of surrounding stars. We present a semi-analytic framework that first generalizes adiabatic spike formation to include finite seed masses, stellar cusps, and non-circular orbits, and then studies the subsequent cosmic evolution by solving coupled Fokker-Planck equations for the dark matter and stellar phase-space distributions, with a heating rate modulated by the cosmic star formation rate. Starting conservatively from canonical Gondolo-Silk spikes and marginalizing over astrophysical uncertainties, we find that stellar gravitational heating drives the inner slope towards $γ_χ\simeq 1.5$ within a few Gyrs (e.g by $z \lesssim 2$ for spikes formed at $z\simeq 10$), yielding overdensities two to four orders of magnitude below canonical expectations but still well above an NFW-like cusp. We provide redshift-dependent benchmarks for the column density and $J$-factor relevant to scattering, decay and annihilation signatures. Any robust interpretation of indirect dark matter signals from galactic nuclei must account for this evolution.

2605.01021 2026-05-05 nlin.AO

Kuramoto model on the $D$-dimensional torus

Kuramoto模型在D维环面上

Marcel Novaes

AI总结 本文提出了一种扩展的Kuramoto模型,粒子在D维环面上运动,具有一级相变。通过多维Ott-Antonsen假设建立平均场动力学,证明同步由鞍点分岔产生,而无序态始终稳定。理论计算通过数值模拟验证。

Comments 16 pages, 2 figures

详情
AI中文摘要

我们提出了一种交互振子Kuramoto模型的推广,其中粒子在D维环面表面运动。与传统一维版本不同,该模型具有一级相变。我们通过多维Ott-Antonsen假设建立了其平均场动力学,并显示同步由鞍点分岔产生,而无序态始终稳定。我们的理论计算通过数值模拟得到验证。

英文摘要

We propose a generalization of the Kuramoto model of interacting oscillators in which the particles move on the surface of a $D$-dimensional torus. In contrast with the traditional one-dimensional version, this model has a first order phase transition. We establish its mean field dynamics by means of a multidimensional Ott-Antonsen ansatz, and show that synchronization arises from a saddle-node bifurcation, while the incoherent state is always stable. Our theoretical calculations are validated by numerical simulations.

2605.01019 2026-05-05 astro-ph.IM

The Outer Space Treaty Won't Save Us From Ourselves

外层空间条约无法拯救我们于自身

John Barentine, Aparna Venkatesan

AI总结 外层空间活动的快速增长引发伦理和哲学问题,尤其是太空军事化。现有法律框架面临公众和私人利益的可持续压力,需重新审视太空作为环境的法律地位以确保其完整性。

Comments 6 pages

Journal ref Frontiers in Space Technologies (Space Economy), Vol. 7 (2026)

详情
AI中文摘要

人类在外层空间活动的迅速增长发出关于伦理和哲学问题的警报,特别是关于太空军事化。现有的国际法律框架,即《外层空间条约》(OST),将和平探索太空用于科学研究视为与其他'使用'同等地位,要求在可能有害干扰方面给予'适当考虑'。OST充满理想但执行机制薄弱,依赖所有参与方的善意作为问责的基础。但该框架现在面临来自公众和私人利益的不可持续压力,当前协议如OST可能无法及时提供实质性的保护。地球上的'威慑伦理'与'协议伦理'框架正在迅速扩展到宇宙环境。我们主张将太空视为环境作为未来确保其完整性的基础,并分享基于和平合作管理共享环境的协议示例。这些代表了可能的前进道路,既符合伦理,也服务于理性的自我利益和自我保存,这在人类的关键转折点上至关重要。

英文摘要

The rapid growth of human activities in outer space sounds urgent alarms around ethical and philosophical issues, particularly concerning space militarization. The present international legal framework governing activities in space, the Outer Space Treaty (OST), views the peaceful exploration of space for scientific research as co-equal to other 'uses' entitled to "due regard" with respect to "potentially harmful interference" on the part of other space actors. The OST is deeply aspirational but has weak enforcement mechanisms, relying at its core on the goodwill of all involved parties as the fundamental basis for accountability. But that framework now faces unsustainable pressures from both public and private interests, and current agreements like the OST may be unable to exert timely, material protections. Terrestrial frameworks of "ethics of deterrence" versus the "ethics of agreements" are quickly expanding into cosmic environments. We argue for the legal recognition of space as an environment as the basis of any future approach to securing its integrity, and share examples of agreements grounded in peaceful cooperative stewardship of shared environments. These represent potential pathways forward that are ethical and also serve rational self-interest and self-preservation at this crucial juncture for humanity.

2605.01016 2026-05-05 physics.chem-ph

Quantum Flow algorithm: quantum simulations of chemical systems using reduced quantum resources and constant depth quantum circuits

量子流算法:利用减少的量子资源和常深量子电路进行化学系统的量子模拟

Bhumika Jayee, Nathan M. Myers, Duo Song, Eric J. Bylaska, Karol Kowalski, Nicholas P. Bauman

AI总结 量子流算法通过减少的量子资源和固定深度量子电路模拟化学系统,其性能优于传统方法,且在水分子中展示了双重下折策略的有效性。

详情
AI中文摘要

我们评估了基于单元耦合簇方案(单和双激发)的量子流(QFlow)算法的性能,该方案使用成本效益高的求解器。所得能量与在相同活化空间但增加更高阶激发(包括三重和四重激发)的类似QFlow方案的成果进行了对比。在所有考虑的分子系统中,QFlow-SD与传统单元耦合簇单双框架结果接近,但所需量子比特远少。在cc-pVTZ基组下,我们进一步展示了复合双步下折策略的性能。该方法首先基于双单元耦合簇方案进行耦合簇下折,随后在所得到的目标空间内进行QFlow处理,展示了经典下折与量子流优化结合的有效性。

英文摘要

We assess the performance of the Quantum Flow (QFlow) algorithm employing cost-effective solvers based on the unitary coupled-cluster ansatz with single and double excitations (QFlow-SD). The resulting energies are benchmarked against those obtained with an analogous QFlow formulation defined in the same active spaces but augmented by higher-rank excitations, including triples and quadruples (QFlow-SDTQ). Across all molecular systems considered, QFlow-SD exhibits close agreement with results from the canonical unitary coupled cluster with singles and doubles framework, while requiring substantially fewer qubits than the latter. For the water molecule in the cc-pVTZ basis, we further demonstrate the performance of a composite two-step downfolding strategy. In this approach, an initial coupled-cluster downfolding based on the double unitary coupled-cluster ansatz is followed by a QFlow treatment within the resulting target space, illustrating the effectiveness of combining classical downfolding with quantum flow optimization.