arXivDaily arXiv每日学术速递 周一至周五更新
重置
全部学科分类 1792
2606.14193 2026-06-15 cs.DB 新提交

Revisiting Filtered ANN Benchmarks: A Hardness-Controlled Benchmark Generator for Realistic Evaluation

重新审视过滤式近似最近邻基准测试:面向真实评估的难度可控基准生成器

Mintaek Lim, Dogeun Kim, Minwoo Kim, Jaeyoung Do

AI总结 提出α-Hardness查询级难度度量,基于过取因子建模条件执行链,并设计HCBGen生成器控制难度分布,揭示现有基准测试在困难查询下的鲁棒性差距。

Comments Accepted for publication in PVLDB Volume 19, Issue 10 and presentation at VLDB 2026

详情
AI中文摘要

过滤式近似最近邻(FANN)搜索必须同时满足向量相似性和结构化谓词,但由于真实混合工作负载很少可共享且现有基准测试依赖于临时合成或半真实构造,评估仍然脆弱。我们认为真实性取决于执行驱动的查询难度:早期过滤失败会导致额外候选的过度获取,从而影响延迟、吞吐量和召回率。基于这一见解,我们提出α-Hardness,一种查询级难度度量,通过过取因子对条件执行链进行建模,并自然扩展到策略条件设置。在不同数据集和混合策略中,α-Hardness与经验性能表现出强烈的单调一致性,而常见代理指标如选择性或属性-向量相关性通常不稳定或策略不一致。我们进一步引入HCBGen,一种难度可控的基准生成器,它使用α-Hardness作为显式控制信号,在粗粒度偏置模式下合成工作负载或匹配目标难度分布。实验表明,广泛使用的基准测试占据了难度谱中狭窄且相对容易的部分,掩盖了在困难查询下出现的鲁棒性差距。最后,我们证明匹配难度分布能够生成隐私保护的代理工作负载,紧密复现性能趋势,从而桥接研究基准测试与真实评估。

英文摘要

Filtered approximate nearest neighbor (FANN) search must satisfy both vector similarity and structured predicates, yet evaluations remain brittle because real hybrid workloads are rarely shareable and existing benchmarks rely on ad-hoc synthetic or semi-real constructions. We argue that realism hinges on execution-driven query difficulty: failures in early filtering trigger over-fetching of additional candidates, shaping latency, throughput, and recall. Building on this insight, we propose $\alpha$-Hardness, a query-level hardness metric that models the conditional execution chain via the over-fetch factor and extends naturally to strategy-conditioned settings. Across diverse datasets and hybrid strategies, $\alpha$-Hardness exhibits strong monotonic alignment with empirical performance, while common proxies such as selectivity or attribute-vector correlation are frequently unstable or strategy-inconsistent. We further introduce HCBGen, a hardness-controlled benchmark generator that uses $\alpha$-Hardness as an explicit control signal to synthesize workloads under coarse bias modes or to match a target hardness profile. Our experiments show that widely used benchmarks occupy a narrow, relatively easy portion of the hardness spectrum, masking robustness gaps that emerge under harder queries. Finally, we demonstrate that matching hardness distributions enables privacy-preserving proxy workloads that closely reproduce performance trends, bridging research benchmarks and real evaluation.

2606.14191 2026-06-15 math.NA math.DS 新提交

A Generalized Hacker Dynamics Model with Nonlinear Incidence: Analysis and Positivity-Preserving Numerical Simulation

具有非线性发生率的广义黑客动力学模型:分析与保正数值模拟

Manh Tuan Hoang, Hoai Thu Pham, Matthias Ehrhardt

AI总结 提出一类具有非线性发生率的广义黑客动力学模型,分析其正性、有界性、基本再生数和平衡点稳定性,并开发二阶保正非标准有限差分格式用于数值模拟。

Comments 27 pages, 3 figures

详情
AI中文摘要

我们提出并分析了一个用于网络安全系统中黑客动力学的广义仓室模型。该模型是最近引入的一个框架的扩展,将双线性相互作用项替换为一大类非线性发生率函数。这提供了更大的建模灵活性,并允许描述更广泛的网络传播和信息扩散过程。首先,我们研究了模型的定性动力学。我们建立了解的正性和有界性,推导了基本再生数,并刻画了无黑客平衡点和有黑客平衡点的存在性。我们得到了局部和全局渐近稳定性结果,从而给出了关于基本再生数的全局动力学的完整描述。接下来,我们开发了一个二阶、保正的非标准有限差分(NSFD)格式用于数值模拟。与许多现有的通常为一阶精度的NSFD方法不同,所提出的方法在任意步长下实现二阶收敛同时保持正性。此外,所提出的方法再现了连续模型的渐近稳定性性质,使其适用于长时间模拟。数值实验验证了理论结果,并证明了所提出方案相比几种一阶方法具有更优的精度和定性性能。

英文摘要

We propose and analyze a generalized compartment model for hacker dynamics in cybersecurity systems. This model is an extension of a recently introduced framework, replacing the bilinear interaction term with a broad class of nonlinear incidence functions. This provides greater modeling flexibility and allows for the description of a wider range of cyber-propagation and information-spreading processes. First, we investigate the qualitative dynamics of the model. We establish the positivity and boundedness of solutions, derive the basic reproduction number, and characterize the existence of hacker-free and hacker-present equilibria. We obtain local and global asymptotic stability results, yielding a complete description of the global dynamics in terms of the basic reproduction number. Next, we develop a second-order, positivity-preserving, nonstandard finite difference (NSFD) scheme for numerical simulations. Unlike many existing NSFD approaches, which are typically first-order accurate, the proposed method achieves second-order convergence while preserving positivity for arbitrary step sizes. Furthermore, the proposed method reproduces the asymptotic stability properties of the continuous model, making it suitable for long-time simulations. Numerical experiments validate the theoretical results and demonstrate the superior accuracy and qualitative performance of the proposed scheme compared to several first-order methods.

2606.14190 2026-06-15 math.CO 新提交

Intersection Arrays of Completely Regular Codes of Covering Radius One in Generalized Petersen Graphs

广义Petersen图中覆盖半径1的完全正则码的交数组

Hamed Karami

AI总结 研究广义Petersen图GP(n,k)中覆盖半径1的完全正则码的所有可能交数组,通过完美2-着色等价转化为商矩阵枚举,给出存在性的充要算术条件并构造显式周期着色。

详情
AI中文摘要

我们确定了广义Petersen图\(GP(n,k)\)中覆盖半径1的完全正则码的所有可能交数组,其中\(n\geq 3\)且\(1\leq k<n/2\)。在完美着色的等价语言中,这相当于枚举所有完美2-着色的商矩阵,直到交换两种颜色。由于\(GP(n,k)\)是三次图,只有六个可能的非平凡商矩阵。对于每个矩阵,我们给出了其存在的关于\(n\)和\(k\)的充要算术条件。可行的情况通过显式的周期着色实现。不存在部分通过将局部着色条件简化为循环线性方程组并应用单位根上的傅里叶论证得到。结合先前已知的\(GP(n,2)\)和\(GP(n,3)\)情况,结果给出了广义Petersen族中商矩阵的完整算术分类,从而也给出了覆盖半径1的完全正则码参数的完整分类。

英文摘要

We determine all possible intersection arrays of completely regular codes of covering radius one in the generalized Petersen graphs \(GP(n,k)\), where \(n\geq 3\) and \(1\leq k<n/2\). In the equivalent language of perfect colorings, this amounts to enumerating all quotient matrices of perfect \(2\)-colorings, up to interchanging the two colors. Since \(GP(n,k)\) is cubic, there are only six possible nontrivial quotient matrices. For each of them, we give necessary and sufficient arithmetic conditions on \(n\) and \(k\) for its existence. The feasible cases are realized by explicit periodic colorings. The nonexistence part is obtained by reducing the local coloring conditions to cyclic systems of linear equations and applying a Fourier argument on roots of unity. Together with the previously known cases \(GP(n,2)\) and \(GP(n,3)\), the results give a complete arithmetic classification of quotient matrices, and hence of covering-radius-one completely regular code parameters, in the generalized Petersen family.

2606.14189 2026-06-15 cs.SI 新提交

Fair Influence Maximization in Hypergraphs

超图中的公平影响力最大化

Zoë Abhelakh, Tianrui Mao, Huijuan Wang

AI总结 针对超图上的公平影响力最大化问题,提出启发式种子选择算法FIMH,在SICP传播模型下平衡影响力和公平性,实验表明其影响力与现有方法相当且显著降低不公平性。

Comments 10 pages without appendix. 8 Figures without appendix. 13 figures in total

详情
AI中文摘要

影响力最大化问题旨在选择一组种子节点,以最大化传播过程结束时的影响力,即受影响的平均节点数。该问题在病毒式营销、公共卫生运动和社会影响等领域有广泛应用。在具有显著社区结构的网络中,现有方法通常导致受影响节点在社区间分布不均,这是不公平的。尽管公平影响力最大化(FIM)问题已在成对网络中得到研究,但在超图(更能准确表示涉及群体交互的真实世界系统)中仍鲜有探索。我们提出了FIMH,一种用于超图上FIM的启发式种子选择算法,基于易感-感染接触过程(SICP)传播模型。FIMH迭代估计每个候选节点对影响力和公平性的贡献,并使用无参数乌托邦距离准则选择在这两个目标之间取得最佳权衡的节点作为额外种子。在七个真实世界超图上的实验表明,FIMH实现了与最先进的IM方法相当的影响力,同时显著降低了影响力差异。对所选种子节点的拓扑特性及其对影响力和公平性贡献的分析进一步支持了FIMH的有效性。

英文摘要

The influence maximization problem aims to select a set of seed nodes that maximize the influence, i.e., the average number of influenced nodes, at the end of a spreading process. It has been widely studied with applications in viral marketing, public health campaigns, and social influence. In networks with pronounced community structure, existing approaches often yield an uneven distribution of influenced nodes across communities, which is unfair. Although the fair influence maximization (FIM) problem has been studied for pairwise networks, it remains largely unexplored for hyper graphs, which more accurately represent real-world systems involving group interactions. We introduce FIMH, a heuristic seed-selection algorithm for FIM on hyper graphs, under the Susceptible-Infected Contact Process (SICP) spreading model. FIMH iteratively estimates the contribution of each candidate node to influence and fairness and selects the node that best trades off these two objectives as an additional seed using a parameter-free utopia-distance criterion. Experiments on seven real-world hypergraphs demonstrate that FIMH achieves an influence comparable to that of state-of-the-art IM methods while significantly reducing influence disparity. Analysis of the topological properties of the selected seed nodes and their contributions to influence and fairness further supports the effectiveness of FIMH.

2606.14186 2026-06-15 cond-mat.stat-mech math-ph 新提交

Stochastic Thermodynamics on Time-Evolving Curved Spaces

时间演化弯曲空间上的随机热力学

Rihito Nagase, Shoki Sugimoto, Asuka Takatsu, Takahiro Sagawa

AI总结 针对具有时变度规的过阻尼朗之万系统,构建了随机热力学框架,揭示了度规时间变化对能量平衡的贡献,并证明了熵产生满足热力学第二定律。

Comments (7+6) pages, 3 figures

详情
AI中文摘要

我们在具有时变度规的非相对论弯曲空间上构建了过阻尼朗之万系统的随机热力学。度规的时间依赖性通过对动能做功而贡献于能量平衡,在过阻尼条件下,该功瞬间以热的形式耗散。这一贡献使我们的框架在热力学上自洽,熵产生满足热力学第二定律。作为特例,当度规按照后向里奇流演化时,熵平衡展现出与Perelman熵泛函相似的结构。我们的框架为量化时间演化空间(如膜上的扩散)中的动力学热力学成本提供了途径。

英文摘要

We construct stochastic thermodynamics of overdamped Langevin systems on nonrelaticvistic curved spaces with time-dependent metrics. The time dependence of the metric contributes to the energy balance by performing work on the kinetic energy, which is instantaneously dissipated as heat in the overdamped regime. This contribution makes our framework thermodynamically consistent so that entropy production satisfies the second law of thermodynamics. As a special case, when the metric evolves according to backward Ricci flow, the entropy balance exhibits a structure similar to Perelman's entropy functional. Our framework provides a way to quantify thermodynamic costs in dynamics on time-evolving spaces such as diffusion on membranes.

2606.14185 2026-06-15 math.FA math.MG 新提交

Common Spectral Eigenvalue Spectra for Random Convolutions Generated by Hadamard Triples

由Hadamard三元组生成的随机卷积的公共谱特征值谱

Wei-Jie Wang, Xin Yang

AI总结 研究有限Hadamard三元组随机卷积生成的Moran测度的公共谱,证明对每个非满数字间隙大于1的Moran测度,存在连续统多个可数集作为其谱,且谱的Beurling维数可任意选取。

详情
AI中文摘要

Lu证明了集合 $$\mathcal{T}:=\{t\in\mathbb{Z}\setminus\{0\}:(q,\mathcal{D},tL)\text{ 构成一个Hadamard三元组}\}$$ 是 $\mu_{q,D}$ 的一个谱特征值集,其中 $(q,\mathcal{D},L)$ 是一个Hadamard三元组。并且他们证明对于 $s \in [0,\frac{\log \#\mathcal{D}}{\log q}]$,相应的谱构成一个基数为连续统的族。本文研究由有限Hadamard三元组随机卷积生成的Moran测度。设 $$\mu=\delta_{M_1^{-1}D_1}*\delta_{M_2^{-1}D_2}*\cdots, \qquad M_k=q_1q_2\cdots q_k,$$ 其中因子由有限个三元组 $\{(N_j,B_j,L_j):1\le j\le m\}$、$(\omega_k)_{k=1}^{\infty}\in\{1,2,\ldots,m\}^{\mathbb N}$ 和 $n_k\in\mathbb N^+$ 通过设置 $$ q_k=N_{\omega_k}^{n_k},\qquad D_k=B_{\omega_k},\qquad E_k=N_{\omega_k}^{n_k-1}L_{\omega_k} $$ 产生。假设非满数字间隙 $$\rho:=\min_{1\le j\le m}\frac{N_j}{\#B_j}>1.$$ 对于公共Hadamard三元组乘子集 $$\mathcal{T}_*:=\bigcap_{j=1}^m\{t\in\mathbb{Z}\setminus\{0\}:(N_j,B_j,tL_j)\text{ 是一个Hadamard三元组}\},$$ 我们的主要结果是,对于每个 $$0\le s\le \kappa_\omega:=\limsup_{R\to\infty}\frac{\sum_{r=1}^R\log \#D_r}{\sum_{r=1}^R\log q_r},$$ 存在连续统多个可数集 $\Lambda\subset\mathbb{Z}$,使得 $t\Lambda$ 是 $\mu$ 的一个谱,且对每个 $t\in\mathcal{T}_*$ 有 $\dim_{Be}\Lambda=s$。

英文摘要

Lu proved that the set $$\mathcal{T}:=\{t\in\mathbb{Z}\setminus\{0\}:(q,\mathcal{D},tL)\text{ forms a Hadamard triple}\}$$ constitutes a spectral eigenvalue set for $\mu_{q,D}$, where $(q,\mathcal{D},L)$ is a Hadamard triple. And they prove for $s \in [0,\frac{\log \#\mathcal{D}}{\log q}]$, the corresponding spectra form a family of cardinality continuum. In this paper, we study Moran measures formed by random convolutions of finite Hadamard triples. Let $$\mu=\delta_{M_1^{-1}D_1}*\delta_{M_2^{-1}D_2}*\cdots, \qquad M_k=q_1q_2\cdots q_k,$$ where the factors are produced from finitely many triples $\{(N_j,B_j,L_j):1\le j\le m\}$, $(\omega_k)_{k=1}^{\infty}\in\{1,2,\ldots,m\}^{\mathbb N}$, and $n_k\in\mathbb N^+$, by setting $$ q_k=N_{\omega_k}^{n_k},\qquad D_k=B_{\omega_k},\qquad E_k=N_{\omega_k}^{n_k-1}L_{\omega_k}. $$ Assume a non-full-digit gap $$\rho:=\min_{1\le j\le m}\frac{N_j}{\#B_j}>1.$$ For the common Hadamard triple multiplier set $$\mathcal{T}_*:=\bigcap_{j=1}^m\{t\in\mathbb{Z}\setminus\{0\}:(N_j,B_j,tL_j)\text{ is a Hadamard triple}\},$$ Our main result is that, for every $$0\le s\le \kappa_\omega:=\limsup_{R\to\infty}\frac{\sum_{r=1}^R\log \#D_r}{\sum_{r=1}^R\log q_r},$$ there exist continuum many countable sets $\Lambda\subset\mathbb{Z}$ such that $t\Lambda$ is a spectrum of $\mu$ for every $t\in\mathcal{T}_*$ and $\dim_{Be}\Lambda=s$.

2606.14184 2026-06-15 astro-ph.SR 新提交

Multi-line Wave Signatures in a Sunspot from Near-UV Sunrise III/SUSI Observations

来自近紫外 Sunrise III/SUSI 观测的太阳黑子多线波特征

Shahin Jafarzadeh, David B. Jess, Marco Stangalini, Richard J. Morton, Tobias Felipe, Michele Berretti, Sami K. Solanki, H. N. Smitha, Andreas Lagg, Achim Gandorfer, Alex Feller, Francisco A. Iglesias, Tino L. Riethmüller, Bianca Grauf, Johannes Hoelken, Yukio Katsukawa, Pietro Bernasconi, Thomas Berkefeld, Alberto Álvarez-Herrero, Masahito Kubo, David Orozco Suárez, Michael Carpenter, Alexander Bell, Valentín Martínez Pillet, Francisco Javier Bailén, Julian Blanco Rodríguez, Juan Sebastián Castellanos Durán, Edvarda Harnes, Ryohtaroh T. Ishikawa, Yusuke Kawabata, Takuma Matsumoto, Takayoshi Oba, Azaymi L. Siu-Tapia, Hanna Strecker, Dusan Vukadinović

AI总结 利用 Sunrise III/SUSI 近紫外光谱仪对太阳黑子进行多线观测,通过分析 44 条谱线的强度与速度时间序列,发现黑子本影中存在多频波,主导频率从 2 到 10 mHz 不等,且形成高度排序无法解释该分布。

Comments Accepted for publication in The Astrophysical Journal Letters

详情
AI中文摘要

磁流体动力学波在太阳低层大气磁结构中重新分布能量,然而由于大多数研究仅使用少数几个分离的诊断,对黑子上方波功率和主导频率如何组织的约束仍然有限。本文利用 Sunrise-III 紫外光谱偏振成像仪(SUSI)的近紫外光谱,展示了太阳黑子中的多线波特征。我们分析了在 327-329 nm 光谱窗口(>100 条谱线)中对盘心附近太阳黑子进行的两小时重复光栅扫描时间序列。从中我们选择了 44 条谱线,辐射传输计算表明这些谱线在本影核心内的有效形成高度从深层光球延伸到低层色球。对于每条谱线,我们使用专用的多线拟合程序提取线心强度和视线速度时间序列,并计算 Morlet 小波功率谱。精细的全局小波谱显示,大多数谱线(在强度和速度方面)都是真正的多频,具有一个主导峰值以及高达 12 mHz 的显著统计功率。对归一化谱的无监督聚类将谱线分组为具有相似谱形状的族,并揭示了整个集合中主导频率从约 2 到约 10 mHz 的递进,对于强度和速度均是如此(不一定在同一条谱线中)。这种行为无法通过简单的形成高度排序重现,这表明形成高度估计的不确定性和谱线依赖的诊断响应共同决定了排序。这些 Sunrise-III/SUSI 观测为近紫外多线波研究开辟了新领域,并首次系统表征了该光谱区域中频率结构的太阳黑子波行为。

英文摘要

Magnetohydrodynamic waves redistribute energy in magnetic structures of the lower solar atmosphere, yet constraints on how wave power and dominant frequencies are organised above sunspots remain limited because most studies use only a few well-separated diagnostics. Here we present multiline wave signatures in a sunspot from near-UV spectroscopy with the Sunrise-III UV Spectropolarimeter and Imager (SUSI). We analyse a two-hour time series of repeated raster scans of a sunspot near disc centre in the 327-329 nm spectral window (> 100 lines). From these, we select 44 lines that radiative-transfer calculations suggest sample effective formation heights within the umbral core from deep photosphere toward the low chromosphere. For each line, we extract line-core intensity and line-of-sight velocity time series using a dedicated multi-line fitting routine and compute Morlet-wavelet power spectra. The refined global wavelet spectra show that most lines (in both intensity and velocity) are genuinely multi-frequency, with a dominant peak and substantial statistically significant power up to 12 mHz. Unsupervised clustering of the normalised spectra groups lines into families with similar spectral shapes and reveals a progression of dominant frequencies from ~2 to ~10 mHz across the ensemble, for both intensity and velocity (not necessarily in the same lines). This behaviour is not reproduced by a simple formation-height ranking, suggesting that uncertainties in the formation-height estimates and line-dependent diagnostic response together shape the ordering. These Sunrise-III/SUSI observations open a new regime for near-UV multi-line wave studies and provide the first systematic characterisation of frequency-structured sunspot wave behaviour in this spectral region.

2606.14183 2026-06-15 cond-mat.mtrl-sci 新提交

The Structure-tuning Magnetism in the Co(NbxTa1-x)2O6 Series

Co(NbxTa1-x)2O6 系列中的结构调控磁性

Sirui Huang, Lun Jin, Yuchen Liu, Xiyu Chen, Leili Tan

AI总结 通过掺杂Ta和Nb调控Co(NbxTa1-x)2O6的晶体结构,构建了磁相图,发现Ta掺杂可增强低维量子现象。

详情
AI中文摘要

低维量子材料在物理学界已被广泛研究,其中Co2+是最常嵌入结构基元的磁性离子之一。CoNb2O6和CoTa2O6均呈现有效自旋-1/2态,前者持续引起兴趣而后者鲜有研究。这种差异可归因于它们不同的晶体结构,不仅在于晶系,更重要的是CoO6八面体的连接方式。我们成功地将这两种化合物融合在一起,并绘制了掺杂极限。我们发现Ta和Nb掺杂以微妙但不同的方式改变了母体化合物的性质,并构建了Co(NbxTa1-x)2O6 (0 < x < 1) 系列的磁相图。此外,我们的结果表明,Ta掺杂可能为在CoNb2O6晶体结构开始崩塌之前增强其低维量子现象铺平道路。

英文摘要

Low dimensional quantum materials have been extensively studied within the physics community, among which Co2+ is one of the most popular magnetic ions to be embedded into the structural motif. CoNb2O6 and CoTa2O6 both have adopted an effective spin-1/2 state, with the former attracting enduring interest while the latter being rarely investigated. This difference can be attributed to their distinct crystal structures, not only in crystal systems, but more important, how the CoO6 octahedra are connected. We successfully merge these two compounds together and map out the doping limits. We find out Ta and Nb dopants modify the properties of the parent compounds in subtle but different ways and construct a magnetic phase diagram of the Co(NbxTa1-x)2O6 (0 < x < 1) series. In addition, our results suggest that Ta-doping may pave a way to strengthen the lower-dimensional quantum phenomena in CoNb2O6 before its crystal structure starts to melt down.

2606.14182 2026-06-15 q-fin.TR math.AP q-fin.ST 新提交

Correlation emergence and the Epps effect in two coupled limit order books

两个耦合限价订单簿中的相关性涌现与Epps效应

Chris Angstmann, Tim Gebbie

AI总结 通过建立耦合反应扩散方程模型,从订单流微观动态出发,解析推导出相关性随聚合时间变化的闭合表达式,揭示Epps效应源于异步事件时钟、有限耦合响应时间及其组合三种机制。

Comments 13 pages, 4 appendices with calculation outlines

详情
AI中文摘要

我们给出了两个耦合限价订单簿中相关性涌现和Epps效应的统一解析描述。该模型从订单流的离散随机游走描述出发,包含创建、取消和扩散。在订单创建层面引入了簿之间的配对交易耦合。我们阐明了离散模型如何简化为具有定义交易价格的移动反应边界的耦合反应-扩散方程。利用耦合的正则化局部响应表示,我们推导了作为聚合时间函数的实现相关性的近似闭合形式表达式。这里,Epps效应被证明源于三种不同的机制:异步事件时钟(从属化)、有限耦合响应时间以及它们的组合。

英文摘要

We give a unified analytic account of correlation emergence and the Epps effect in two coupled limit order books. The model starts from a discrete random-walk description of order flow with creation, cancellation and diffusion. A pair-trader coupling between the books is introduced at the level of order creation. We clarify how the discrete model reduces to coupled reaction--diffusion equations with a moving reaction boundary defining the transaction price. Using a regularised local-response representation of the coupling, we derive approximate closed-form expressions for realised correlations as a function of aggregation time. Here the Epps effect is shown to arise from three distinct mechanisms: asynchronous event clocks (subordination), finite coupling response times, and their combination.

2606.14180 2026-06-15 gr-qc 新提交

Majorana Neutrinos in Sandwich Wave Spacetimes: Flavor Modulation and Helicity Transitions

夹层波时空中的马约拉纳中微子:味调制与螺旋度跃迁

Yorgo Senikoglu

AI总结 研究马约拉纳中微子在精确引力夹层波背景中的传播,通过Takagi分解发现局域脉冲破坏质量本征态的运动学对齐,导致残余相位偏移,并耦合马约拉纳自旋张量引发螺旋度跃迁,产生横向动量平面的各向异性,表明引力波对中微子束的味和螺旋度留下修正,体现引力记忆效应。

详情
AI中文摘要

我们研究了穿越精确引力夹层波背景的大质量马约拉纳中微子的传播。通过采用Takagi分解来解耦矩阵场方程,我们表明局域脉冲破坏了质量本征态在穿过波区时的运动学对齐,在波前的横向轮廓上留下了永久的残余相位偏移。波的不对称性直接耦合到马约拉纳自旋张量,迫使从左手构型到右手构型的跃迁。在波尾之后,残余漂移参数作用于极化态的手征性,在横向动量平面上引入了强各向异性。这些结果表明,经过的引力波对中微子束的味和螺旋度留下了修正,作为引力记忆效应的标志。

英文摘要

We present the propagation of massive Majorana neutrinos crossing an exact gravitational sandwich wave background. By employing a Takagi factorization to decouple the matrix field equations, We show that the localized pulse breaks the kinematic alignment of the mass eigenstates as they propagate through the wave zone, leaving a permanent residual phase shift across the transverse profile of the wavefront. The wave asymmetry couples directly to the Majorana spin tensor, forcing a transition from left-handed to right-handed configurations. Behind the wave tail, the residual drift parameters act to polarize the state's chirality, introducing a strong anisotropy across the transverse momentum plane. These results show that a passing gravitational wave leaves a modification on both the flavor and helicity of a neutrino beam, as a sign of the gravitational memory effect.

2606.14178 2026-06-15 gr-qc hep-th quant-ph 新提交

Note on the local calculation of decoherence of quantum superposition in the static black holes

关于静态黑洞中量子叠加退相干局域计算的注记

Ran Li, Zhong-Xiao Man, Jin Wang

AI总结 研究Schwarzschild和Reissner-Nordström黑洞中静态粒子量子空间叠加的退相干,通过相干态生成和Wightman函数推导退相干泛函的局域表达式,发现退相干行为依赖于环境场的量子态,Unruh和Hartle-Hawking真空中的热效应可导致非零退相干。

详情
AI中文摘要

我们研究了Schwarzschild和Reissner-Nordström黑洞中静态粒子的量子空间叠加的退相干。通过将粒子视为局域经典源并与量子标量场耦合,我们通过相干态生成重新表述了Danielson-Satishchandran-Wald (DSW) 思想实验中的退相干过程,并推导了退相干泛函在Wightman函数下的局域表达式。在长时间极限下,退相干率由Wightman函数的低频行为表征。然后,我们采用渐近匹配方法计算了Boulware、Unruh和Hartle-Hawking真空下Wightman函数的解析表达式。我们表明退相干行为依赖于环境场的量子态。虽然Boulware真空对静态叠加给出零退相干,但Unruh和Hartle-Hawking真空中与霍金辐射相关的热效应可以诱导非零退相干。

英文摘要

We investigate the decoherence of a quantum spatial superposition of a static particle in Schwarzschild and Reissner-Nordström black holes. By treating the particle as a localized classical source coupled to a quantum scalar field, we reformulate the decoherence process in the Danielson-Satishchandran-Wald (DSW) gedankenexperiment through coherent state generation and derive the local expression for the decoherence functional in terms of the Wightman function. In the long-time limit, the decoherence rate is shown to be characterized by the low-frequency behavior of the Wightman function. We then employ the asymptotic matching method to calculate the analytical expressions of the Wightman functions in the Boulware, Unruh, and Hartle-Hawking vacua. We show that the decoherence behavior depends on the quantum state of the environmental field. While the Boulware vacuum gives vanishing decoherence for a static superposition, the thermal effects associated with Hawking radiation in the Unruh and Hartle-Hawking vacua can induce nonvanishing decoherence.

2606.14177 2026-06-15 quant-ph cond-mat.mes-hall cond-mat.str-el 新提交

Dynamically frozen long-distance entanglement via non-Hermitian PT-symmetric systems

通过非厄米PT对称系统的动态冻结长距离纠缠

Sejal Ahuja, Keshav Das Agarwal, Aditi Sen De

AI总结 研究非厄米PT对称自旋链中,虚交错磁场诱导的异常点附近长距离纠缠的动态生成与冻结,发现弱场下纠缠时间平均近单位且冻结。

Comments 16 pages, 9 figures and 1 table

详情
AI中文摘要

在分布式量子网络中,相互作用的自旋系统可以介导远距离节点之间高度纠缠链接的生成。我们研究了有效奇偶时间(PT)对称的非厄米自旋-1/2体与两个量子链接弱耦合的作用,这种耦合源于影响体和链接的环境相互作用。聚焦于有效的非厄米最近邻(NN)Su-Schrieffer-Heeger(SSH)模型,我们分析了非厄米性如何影响长距离纠缠(LDE)的动态形成。对于一个由量子XX体受虚交错磁场影响的范例模型,我们解析地确定了由链接之间的体介导相互作用产生的异常点。结合解析和数值方法,我们证明了一个初始完全可分离的状态可以在破缺区域中这些异常点附近动态演化为高度纠缠的链接状态。此外,在时间和系统参数优化后,弱虚磁场和体-链接耦合下出现了近单位时间平均的链接间纠缠,这在相应的厄米系统中无法实现。而且,非厄米动力学在异常点附近表现出高纠缠的冻结,这是厄米对应物中不存在的特征。我们还确定了长程相互作用强度的区域,其产生比相应NN模型更高的时间平均纠缠。此外,我们证实了LDE在稳态中持续存在,突显了工程非厄米动力学在量子网络中实现鲁棒且冻结的纠缠链接的前景。

英文摘要

In distributed quantum networks, interacting spin systems can mediate the generation of highly entangled links between distant nodes. We investigate the role of effective parity-time (PT)-symmetric non-Hermitian spin-1/2 bulks weakly coupled to two quantum links, obtained due to the environmental interactions affecting both the bulk and the links. Focusing on effective non-Hermitian nearest-neighbor (NN) Su-Schrieffer-Heeger (SSH) models, we analyze how non-Hermiticity influences the dynamical formation of long-distance entanglement (LDE). For a paradigmatic model consisting of a quantum XX bulk subjected to imaginary staggered magnetic fields, we analytically determine the exceptional points arising from the resulting bulk-mediated interactions between the links. Combining analytical and numerical methods, we demonstrate that an initially fully separable state can dynamically evolve into highly entangled link states near these exceptional points in the broken regime. Further, after optimizing over time and system parameters, near-unit time-averaged entanglement between the links emerges under weak imaginary magnetic fields and bulk-link couplings, which cannot be attained in the corresponding Hermitian systems. Moreover, the non-Hermitian dynamics exhibit a freezing of high entanglement in the vicinity of exceptional points, a feature absent in Hermitian counterparts. We also identify regimes of long-range interaction strengths that yield a higher time-averaged entanglement than the corresponding NN models. Furthermore, we establish that LDE persists in the stationary regime, highlighting the promise of engineered non-Hermitian dynamics for realizing robust and frozen entangled links in quantum networks.

2606.14175 2026-06-15 eess.AS 新提交

HIDVAS: A Hearing Instrument Dataset in Various Acoustical Scenarios for Algorithm Evaluation and Training

HIDVAS:用于算法评估和训练的各种声学场景下的助听器数据集

Arnout Roebben, Giuliano Bernardi, Jan Wouters, Toon van Waterschoot, Marc Moonen

AI总结 提出HIDVAS数据集,包含多种声学场景下的脉冲响应和音频录音,用于助听器算法评估和训练,涵盖不同耳塞、混响条件和音源。

Comments Accepted for publication in Journal on Audio, Speech, and Music Processing

详情
AI中文摘要

为了评估音频信号处理算法的性能并训练数据驱动算法(例如应用于助听器),可以使用模拟数据或记录数据。虽然可以使用数学模型生成大批量模拟数据,但记录数据能更充分地表示真实场景。因此,本文介绍了各种声学场景下的助听器数据集(HIDVAS)。该数据集包括使用八个外部扬声器、两个外部麦克风和一个人工头的脉冲响应和音频录音。在人工头上安装了耳背式(BTE)助听器外壳,每个外壳有两个麦克风,并在人工头的耳朵中插入了耳道式接收器(RIC)助听器扬声器。人工头还包含位于其鼓膜处的麦克风。脉冲响应是通过对每个麦克风-扬声器对的扫频正弦录音计算得到的,音频录音是通过通过每个单独的扬声器播放音频(男声和女声、语音成形噪声、歌唱声、弦乐器、管乐器和打击乐器)并使用所有麦克风同时录音获得的。这些录音在四个助听器耳塞(开放式、半开放式、封闭式和无RIC)下,在一个房间的三种混响条件(T30 = 0.09 s、T30 = 0.47 s和T30 = 0.73 s)以及另一个房间的一种混响条件(T30 = 1.48 s)下重复进行。通过三个示例用例展示了该数据集作为“盒子中的助听器”的用途。

英文摘要

To evaluate the performance of audio signal processing algorithms and to train data-driven algorithms, e.g., as applied in hearing instruments, either simulated or recorded data can be used. While large batches of simulated data can be generated using mathematical models, recorded data provide a more adequate representation of real-life scenarios. Therefore, in this paper, the Hearing Instrument Dataset in Various Acoustical Scenarios (HIDVAS) is introduced. This dataset consists of both impulse responses and audio recordings using eight external loudspeakers, two external microphones, and a dummy head. On this dummy head behind-the-ear (BTE) hearing instrument shells with two microphones per shell are mounted, and in the dummy head's ears receiver-in-canal (RIC) hearing instrument loudspeakers are inserted. The dummy head also contains microphones located at its eardrum. The impulse responses have been computed from a swept-sine recording for each microphone-loudspeaker pair, and the audio recordings have been obtained by playing back audio (male and female speech, speech shaped noise, singing voice, stringed instrument, wind instrument, and percussion instrument) through each individual loudspeaker and recording simultaneously using all microphones. These recordings have been repeated for four hearing instrument domes (open, semi-open, closed, and no-RIC) in three reverberation conditions in one room (T30 = 0.09 s, T30 = 0.47 s, and T30 = 0.73 s), and in one reverberation condition in a different room (T30 = 1.48 s). The usage of the dataset as a `hearing instrument in a box' is exemplified with three example use cases.

2606.14174 2026-06-15 nlin.CD cond-mat.stat-mech 新提交

Universal Construction of Generalized Lyapunov Functions for Nonlinear Dynamical Systems Using Physics-Informed Neural Networks

基于物理信息神经网络的非线性动力系统广义Lyapunov函数的通用构造

Z. C. Tu

AI总结 提出一种无数据的物理信息神经网络框架,通过嵌入Lyapunov不等式和弱散度兼容性条件,为非线性非梯度系统构造广义Lyapunov函数,并在多个基准系统中验证其有效性。

Comments 5 pages, 4 figures

详情
AI中文摘要

标量势景观是理解动力系统稳定性和跃迁的最有用方法之一。然而,对于非梯度动力学,构造具有循环结构的非线性流的全局Lyapunov型标量仍然是一个主要障碍。我们引入广义Lyapunov函数,这是一个沿确定性轨迹非增的标量函数,作为非平衡势的统一概念。普通Lyapunov函数、Freidlin-Wentzell拟势和Ao型势是其特例。然后,我们提出一个无数据的物理信息神经网络框架,其中Lyapunov不等式和弱散度兼容性条件直接嵌入损失函数。该方法在线性系统、Hopf标准型、van der Pol振荡器以及具有两个链接极限环的三维Hopf-link流上进行了测试。学习到的景观与可用的分析基准一致,并将不变集揭示为低势或常势结构,为非线性非梯度系统的势景观构造提供了一条实用途径。

英文摘要

A scalar potential landscape is one of the most useful ways to understand the stability and transition of a dynamical system. For non-gradient dynamics, however, the construction of a global Lyapunov-type scalar for nonlinear flows with recurrent structures remains a major obstacle. We introduce the generalized Lyapunov function, a scalar function that is non-increasing along deterministic trajectories, as a unifying notion of nonequilibrium potential. Ordinary Lyapunov functions, Freidlin--Wentzell quasi-potentials, and Ao-type potentials are recovered as special representatives. We then propose a data-free physics-informed neural-network framework in which the Lyapunov inequality and a weak divergence-scale compatibility condition are directly embedded into the loss function. The method is tested on linear systems, the Hopf normal form, the van der Pol oscillator, and a three-dimensional Hopf-link flow with two linked limit cycles. The learned landscapes agree with available analytical benchmarks and reveal the invariant sets as low-potential or constant-potential structures, providing a practical route to potential-landscape construction for nonlinear non-gradient systems.

2606.14173 2026-06-15 cs.GR physics.optics 新提交

HoloPathTracer: Fast and Accurate Wave Path Tracing for Holography

HoloPathTracer: 用于全息术的快速且精确的波路径追踪

Wenbin Zhou, Xiangyu Meng, Jiankai Xing, Xin Liu, Suyeon Choi, Yifan Peng

AI总结 提出一种基于路径追踪的物理精确波光学渲染框架,通过蒙特卡洛方法同时求解渲染方程和瑞利-索末菲积分,实现全息图的高效生成,并利用环境辐射缓存加速收敛,在空间光调制器原型上验证了自然3D线索和复杂材质的全息重建。

Comments ACM Transactions on Graphics, Vol. 45, No. 4, Article 39, July 2026, 12 pages. Presented at SIGGRAPH 2026

详情
AI中文摘要

全息术在VR/AR中提供了独特的优势,能够在保持紧凑外形的同时实现感知真实感。然而,其感知质量取决于将逼真场景的丰富波前编码为干涉图案,然后非相干地复用所得波场以供感知。现有的CGH范式通过预渲染离散场景扇区的辐射度,将辐射度估计与波传播解耦。这种辐射测量与波动光学计算之间的分离本质上限制了可以忠实再现的焦点线索和视觉效果的范���,包括深度和视角连续性,以及基于物理的材料行为,如光泽或镜面反射和折射。我们提出了一种物理精确且计算高效的波动光学渲染框架,利用路径追踪将完整的3D视觉线索编码到相位全息图中。具体来说,我们采用蒙特卡洛方法同时求解渲染方程和瑞利-索末菲积分。我们的算法完全兼容现代图形技术,并可以通过路径复用,以最小的额外时间成本生成多个时间复用的随机全息图。通过使用环境辐射缓存的快速近似,我们实现了数量级的收敛速度提升。由此产生的相干波场固有地编码了全面的视觉效果,在复振幅监督下转换为纯相位全息图。通过在基于空间光调制器的显示原型上进行广泛的模拟和实验验证,我们展示了自然3D线索和复杂材料的忠实全息重建,包括真实的散焦模糊、视角相关效果以及外观高光和反射。

英文摘要

Holography offers unique advantages for delivering perceptual realism while preserving compact form factors in VR/AR. Its perceptual quality, however, hinges on encoding rich wavefronts of photorealistic scenes into interference patterns and then incoherently multiplexing the resulting wave fields for perception. Existing CGH paradigms decouple radiance estimation from wave propagation by pre-rendering radiance on discretized scene sectors. This separation between radiometric and wave-optical computation inherently limits the range of focus cues and visual effects that can be faithfully reproduced, including depth- and view-continuity, and physically based material behaviors such as glossy or mirror-like reflection and refraction. We present a physically accurate yet computationally efficient wave optics rendering framework leveraging path tracing to encode full 3D visual cues into phase holograms. Specifically, we employ a Monte Carlo method to solve both the rendering equation and the Rayleigh--Sommerfeld integral simultaneously. Our algorithm is fully compatible with modern graphics techniques and can generate multiple time-multiplexed random holograms with minimal additional time cost via Path Reuse. By employing a fast approximation with an ambient radiance cache, we realize an order of magnitude convergence speed improvement. The resulting coherent wave fields that inherently encode comprehensive visual effects are converted into phase-only holograms under complex-amplitude supervision. Through extensive simulations and experimental validations on a spatial light modulator-based display prototype, we demonstrate faithful holographic reconstructions of natural 3D cues and complex materials, including realistic defocus blur, view-dependent effects, as well as appearance highlights and reflections.

2606.14171 2026-06-15 nucl-th 新提交

Teleportation in Proton Systems Revisited

质子系统中量子隐形传态的再探讨

H. Witała

AI总结 研究三质子系统中初始纠缠Bell态对散射的影响,通过数值模拟和现实核子-核子势计算,发现通过测量最终质子3'的极化可清晰观测到量子隐形传态,即使靶质子1极化很小。

Comments 34 pages, 11 figures

详情
AI中文摘要

我们讨论了由初始构型中存在纠缠的质子-质子Bell态所引发的三质子系统散射的奇特性质。我们使用核物理的标准自旋形式来表述问题,以便详细跟踪导致该系统中量子力学态隐形传态的反应路径。通过对系统进行数值模拟并基于现实的核子-核子势进行计算,我们评估了相关的自旋可观测量,并寻找一个简单、实验上可行的信号,该信号能够提供量子隐形传态的清晰证据。对于属于纠缠质子对23的质子2与氢靶1相互作用从而触发隐形传态过程的情况,我们发现即使靶质子1的极化很小,通过测量最终质子3'的极化也能得到隐形传态的清晰证据。该极化的主要成分几乎完全从靶质子1转移到质子3,且发生在以强纠缠为特征的角度区域。对于非极化的靶质子1,量子隐形传态不再可能。残余量子关联的唯一明确标志将通过测量强纠缠的末态质子对1'2'的自旋关联来提供。间接证据也可以通过测量末态质子2'的极化获得,尽管相应的效应相对较弱。

英文摘要

We discuss the peculiarities of scattering in a three-proton system induced by the presence of an entangled proton-proton Bell-like state in the initial configuration. We formulate the problem using the standard spin formalism of nuclear physics in order to follow in detail the reaction pathways leading to the teleportation of a quantum-mechanical state within this system. By performing numerical simulations of the system and calculations based on a realistic nucleon-nucleon potential, we evaluate the relevant spin observables and search for a simple, experimentally feasible signal that could provide clear evidence of quantum teleportation. For the case in which proton 2, belonging to the entangled proton pair 23, interacts with hydrogen target 1, thereby triggering the teleportation process, we find clear evidence of teleportation through measurements of the final polarization of proton 3', even for small values of the polarization of target proton 1. The dominant component of this polarization is transferred almost entirely from target proton 1 to proton 3 in the angular region characterized by strong entanglement. For an unpolarized target proton 1, quantum teleportation is no longer possible. The only unambiguous signature of the residual quantum correlations would be provided by measurements of the spin correlations within the strongly entangled final-state proton pair 1'2'. Indirect evidence may also be obtained from measurements of the polarization of proton 2' in the final state, although the corresponding effectis relatively weak.

2606.14170 2026-06-15 math.PR math.NA 新提交

Uniform-in-time error estimates for McKean-Vlasov SDEs with common noise and stochastic algorithms

带共同噪声的McKean-Vlasov SDE及其随机算法的均匀时间误差估计

Yuhang Zhang, Minghui Song

AI总结 通过构造反射渐近耦合,对带共同噪声的McKean-Vlasov SDE与相互作用粒子系统诱导的测度值过程,在漂移项仅长程耗散下得到概率距离的均匀时间估计,并应用于数值方法的误差估计和条件混沌传播的量化。

详情
AI中文摘要

本文中,通过构造反射渐近耦合,我们首先探索了由带共同噪声的McKean-Vlasov SDE和相互作用粒子系统诱导的两个测度值过程在概率距离上的均匀时间估计,其中漂移项仅在长距离上耗散。作为该估计的直接应用,我们建立了通过向后/驯服/自适应Euler-Maruyama方法得到的数值解的均匀时间误差估计。此外,作为另一个直接应用,量化了均匀时间条件混沌传播。

英文摘要

In this work, by construct an asymptotic coupling by reflection, we first explore the uniform-in-time estimate on probability distance for two measure-valued processes induced by a McKean-Vlasov SDE with common noise and an interacting particle system, where the drift terms are dissipative merely in the long distance. As direct applications of this estimate, we establish the uniform-in-time error estimates for the numerical solutions derived via backward/tamed/adaptive Euler-Maruyama methods. Moreover, as another direct application, the uniform-in-time conditional propagation of chaos is quantified.

2606.14167 2026-06-15 cs.LO cs.CC 新提交

Algebraic Circuits Over Sum and Shift and Existential Presburger Arithmetic with Divisibility

关于和与移位上的代数电路以及带可除性的存在Presburger算术

Ignacio Barros, Michaël Cadilhac, Guillermo A. Pérez

AI总结 研究带可除性谓词的存在Presburger算术(EPAD)的可满足性问题,证明其为PP-hard,从而否定其属于NP的预期,并定义可多项式时间识别的片段MergeAbs。

详情
AI中文摘要

我们研究了带可除性谓词的存在Presburger算术(EPAD)。其可满足性问题长期以来已知是NP难的,并且常被预期属于NP。我们证明它是PP难的,从而否定了这一预期,除非NP=PP。这也意味着单词方程和长度约束的正布尔组合的可满足性是PP难的。下界与Lipshitz风格强形式的简化相容。我们定义了一个多项式时间可识别的片段,称为MergeAbs,在该片段中,可除性原子的通常有限商替换可以重复进行,直到没有可除性原子剩余。然而,即使在这个完全可简化的片段上,EPAD可满足性已经是PP难的。该归约从一个关于仅使用加法和移位的算术电路类的阈值系数问题开始。归约中使用的相同系统也暴露了归一化的局限性。一个由$j$索引的多项式大小的缩放族强制了一个端点关系$v=(2^{2^j}+1)u$,而自然的有限商简化将其记录为一个具有互质系数的方程,其最大系数的比特大小为$\Theta(2^j)$。

英文摘要

We study existential Presburger arithmetic extended with divisibility predicates (EPAD). Its satisfiability problem has long been known to be NP-hard, and has often been expected to lie in NP. We prove that it is PP-hard, ruling out this expectation unless NP=PP. This also implies \PP-hardness of satisfiability for positive Boolean combinations of word equations and length constraints. The lower bound is compatible with a strong form of Lipshitz-style simplification. We define a polynomial-time recognizable fragment, called \MergeAbs, in which the usual finite-quotient replacement of divisibility atoms can be repeated until no divisibility atom remains. Nevertheless, EPAD satisfiability is already PP-hard on this fully simplifiable fragment. The reduction starts from a threshold coefficient problem for a class of arithmetic circuits using only addition and shifts. The same systems used in the reduction also expose a limitation of normalization. A polynomial-size scaling family, indexed by $j$, forces an endpoint relation $v=(2^{2^j}+1)u$, and the natural finite-quotient simplification records it as one equation with coprime coefficients whose largest coefficient has bit-size $\Theta(2^j)$.

2606.14166 2026-06-15 hep-ph hep-ex nucl-th 新提交

Thermal dileptons to probe the baryon-rich QCD matter in the forward region of LHC energy heavy-ion collisions

热双轻子探测LHC能量重离子碰撞前向区域富重子QCD物质

Motomi Oya, Nicholas J. Benoit, Chiho Nonaka, Azumi Sakai, Yorito Yamaguchi

AI总结 在LHC能量下,通过(3+1)维流体动力学框架研究有限重子化学势对前向快度区域热双轻子产生的影响,发现重子密度导致双轻子产额减少3-4%,但有效温度仍与早期QGP温度强相关。

Comments 11 pages, 9 figures

详情
AI中文摘要

我们研究了在$\sqrt{s_{\text{NN}}}=5.02~\text{TeV}$的中心Pb-Pb碰撞中,具有有限重子化学势($\mu_{\text{B}}$)的夸克-胶子等离子体(QGP)的热双轻子产生。最近的研究表明,即使在LHC能量下,前向快度区域也能达到可观的重子密度。我们将有限$\mu_{\text{B}}$纳入(3+1)维流体动力学框架,并发现$\mu_{\text{B}}$在介质演化过程中在$\eta_\text{s}=6$附近超过500 MeV。利用该框架,我们计算了宽快度范围内的热双轻子谱,并评估了有限$\mu_{\text{B}}$对双轻子产生的影响。在前向快度区域$5.2 < y < 7.2$,由于有限重子密度下夸克-反夸克丰度降低,观察到3-4%的抑制。我们进一步检查了从中间质量区域$1.2 < M_{\ell \ell} < 2.6~\text{GeV}$的双轻子质谱中提取的有效温度。有效温度与底层流体动力学温度保持强相关,并对QGP演化的早期高温阶段保持敏感性。这些结果表明,前向快度双轻子仍然是有效的温度计,同时提供了对LHC有限重子密度的敏感性。

英文摘要

We investigate thermal dilepton production from a quark-gluon plasma (QGP) with finite baryon chemical potential ($\mu_{\text{B}}$) in central Pb-Pb collisions at $\sqrt{s_{\text{NN}}}=5.02~\text{TeV}$. Recent studies suggest that sizable baryon densities can be achieved at forward rapidity even at LHC energies. We incorporate finite $\mu_{\text{B}}$ into a (3+1)-dimensional hydrodynamic framework and find that $\mu_{\text{B}}$ exceeds 500 MeV around $\eta_\text{s} = 6$ during the medium evolution. Using this framework, we calculate thermal dilepton spectra over a wide rapidity range and evaluate the impact of finite $\mu_{\text{B}}$ on dilepton production. A suppression of 3-4% is observed in the forward-rapidity region $5.2 < y < 7.2$ due to the reduced quark-antiquark abundance at finite baryon density. We further examine the effective temperature extracted from dilepton mass spectra in the intermediate-mass region $1.2 < M_{\ell \ell} < 2.6~\text{GeV}$. The effective temperature remains strongly correlated with the underlying hydrodynamic temperature and retains sensitivity to the early high-temperature stage of the QGP evolution. These results demonstrate that forward-rapidity dileptons remain effective thermometers while providing sensitivity to finite baryon density at the LHC.

2606.14165 2026-06-15 cs.CR 新提交

Security Evaluation of Mobile Banking Applications in Sudan

苏丹移动银行应用的安全评估

Abdelmonim Naway

AI总结 本研究使用SAST工具对苏丹四大移动银行应用进行安全审计,发现SSL固定缺失、弱随机数生成等关键漏洞,并提出安全设计建议。

Comments 14 pages, 8 tables, 2 figures. Submitted for peer review

详情
AI中文摘要

苏丹金融部门的快速数字化引发了移动银行应用(MBA)的激增;然而,这种增长常常超过了严格的安全审计。本研究对四个最广泛使用的苏丹MBA(Bankak、Fawry、Okash和Sahil)进行了全面的技术审计,这些应用共同服务于超过160万用户。利用移动安全框架(MobSF)和Quixxi的静态应用安全测试(SAST),根据OWASP移动应用安全验证标准(MASVS)对应用进行了评估。发现结果映射到通用弱点枚举(CWE)标识符,以识别系统性漏洞。分析揭示了安全状况的关键差异。市场领导者Bankak表现出最高的风险概况(12个漏洞),包括严重缺乏SSL证书固定和不安全的TrustManager实现,使其极易受到中间人(MitM)攻击。虽然Fawry表现出相对成熟(7个漏洞),但所有四个应用在安全随机数生成(CWE-330)方面普遍存在失败,可能危及会话令牌的完整性。此外,发现Bankak和Okash使用了已弃用的加密算法(MD5/SHA-1)。值得注意的是,所有应用成功禁用了ADB备份,但100%在生产APK中保留了详细调试符号,显著降低了逆向工程的障碍。本研究通过为开发者提供可行的技术建议以及在整个行业实施“安全设计”原则的战略路线图,填补了国家金融科技生态系统中的关键空白。

英文摘要

The rapid digitalization of the Sudanese financial sector has precipitated a surge in Mobile Banking Applications (MBAs); however, this growth has frequently outpaced rigorous security auditing. This study provides a comprehensive technical audit of the four most widely used Sudanese MBAs( Bankak, Fawry, Okash, and Sahil )collectively serving a user base of over 1.6 million. Utilizing Static Application Security Testing (SAST) via the Mobile Security Framework (MobSF) and Quixxi, the applications were evaluated against the OWASP Mobile Application Security Verification Standard (MASVS). Findings were mapped to Common Weakness Enumeration (CWE) identifiers to identify systemic vulnerabilities. Analysis revealed critical disparities in security posture. Bankak, the market leader, exhibited the highest risk profile (12 vulnerabilities), including a critical absence of SSL certificate pinning and unsafe TrustManager implementations, rendering it highly susceptible to Man-in-the-Middle (MitM) attacks. While Fawry demonstrated relative maturity (7 vulnerabilities), a universal failure was observed across all four applications regarding secure random number generation (CWE-330), potentially compromising session token integrity. Additionally, Bankak and Okash were found to utilize deprecated cryptographic algorithms (MD5/SHA-1). Notably, all applications successfully disabled ADB backups, yet 100% retained verbose debugging symbols in production APKs, significantly lowering the barrier for reverse engineering. This research addresses a critical gap in the national fintech ecosystem by providing actionable technical recommendations for developers and a strategic roadmap for implementing "security-by-design" principles across the sector.

2606.14164 2026-06-15 cs.SE cs.CR 新提交

Investigating Metamorphic Fuzz Oracle Enhancement via Large Language Models

通过大语言模型研究蜕变式模糊测试预言增强

Ruixiang Qian, Ding Yang, Zengxu Chen, Yuxuan Gao, Chunrong Fang, Chao Zhang, Zhenyu Chen

AI总结 提出基于大语言模型的MetaFOE框架,自动生成和集成蜕变关系以增强模糊测试预言,在OSS-Fuzz驱动上平均提升18.7%边覆盖并触发1528个独特崩溃。

Comments 28 pages

详情
AI中文摘要

模糊驱动是灰盒模糊测试的关键组件,它们封装目标接口、定义测试空间,并在很大程度上决定模糊测试的有效性。现有的模糊驱动通常依赖基于崩溃的预言进行安全测试,忽视了库功能并限制了漏洞检测能力。在本文中,我们首次对基于蜕变的模糊测试预言增强(MFOE)进行研究,它通过从蜕变关系(MRs)导出的基于蜕变的预言来增强现有模糊驱动。由于构建和集成此类预言需要大量领域知识,自动化MFOE具有挑战性。为应对这一挑战,我们提出MetaFOE,一个基于大语言模型的框架,可自动生成和集成基于蜕变的预言。我们使用三种现代大语言模型和五种提示策略在OSS-Fuzz驱动上评估MetaFOE。MetaFOE生成了3475个MR,其中77.3%适用,并实现了12351个元驱动,其中6228个有效。经过三小时模糊测试,有效的元驱动平均提升边覆盖18.7%,并触发了1528个独特崩溃。我们的结果证明了基于蜕变的预言增强的有效性,以及使用大语言模型自动化MFOE的可行性,为推进灰盒模糊测试提供了宝贵见解。

英文摘要

Fuzz drivers are essential components of greybox fuzzing, as they encapsulate target interfaces, define test spaces, and largely determine fuzzing effectiveness. Existing fuzz drivers typically rely on crash-based oracles for security testing, overlooking library functionality and limiting bug detection capability. In this paper, we present the first study on metamorphic-based fuzz oracle enhancement (MFOE), which augments existing fuzz drivers with metamorphic-based oracles derived from metamorphic relations (MRs). Since constructing and integrating such oracles requires substantial domain knowledge, automating MFOE is challenging. To address this challenge, we propose MetaFOE, an LLM-based framework that automatically generates and integrates metamorphic-based oracles. We evaluate MetaFOE on OSS-Fuzz drivers using three modern LLMs and five prompt strategies. MetaFOE generates 3,475 MRs, of which 77.3% are applicable, and implements 12,351 meta drivers, with 6,228 being valid. After three hours of fuzzing, the valid meta drivers improve edge coverage by an average of 18.7% and trigger 1,528 unique crashes. Our results demonstrate both the effectiveness of metamorphic-based oracle enhancement and the feasibility of using LLMs to automate MFOE, providing valuable insights for advancing greybox fuzzing.

2606.14163 2026-06-15 quant-ph 新提交

Collision models for open quantum systems coupled to finite environments

开放量子系统与有限环境耦合的碰撞模型

Gyaneswar Bhoi, Anil Shaji

AI总结 研究系统量子比特与同一环境量子比特重复碰撞,通过部分重置实现从马尔可夫到非马尔可夫动力学的连续过渡,并识别三种动力学区域。

Comments 20 Pages, 11 figures

详情
AI中文摘要

我们研究一个系统量子比特与同一个环境量子比特重复相互作用,在碰撞之间通过一个完全正迹保持映射对环境的储层作用。我们表明,完全抑制系统-环境相关性唯一地需要完全的环境重置,恢复具有时间无关的Gorini–Kossakowski–Sudarshan–Lindblad生成元的半群动力学,而部分重置则产生由单个无量纲弛豫参数控制的马尔可夫与非马尔可夫区域之间的连续过渡。对于共振激发-交换相互作用,我们获得了广义去极化通道和广义振幅阻尼通道作为储层诱导映射时的布洛赫矢量动力学的精确闭式表达式。使用Breuer–Laine–Piilo度量和Choi矩阵CP可分割性判据,我们在参数空间中识别出三个不同的动力学区域:CP可分割的马尔可夫动力学、CP不可分割但P可分割的动力学,以及非P可分割的非马尔可夫动力学。这些区域之间的边界以及均匀和各向异性环境弛豫的结构差异通过数值方法进行了表征。

英文摘要

We study a system qubit repeatedly interacting with the same environmental qubit, with a reservoir acting on the environment between collisions via a completely positive, trace-preserving map. We show that complete suppression of system--environment correlations uniquely requires a full environmental reset, recovering a semi group dynamics with a time-independent Gorini--Kossakowski--Sudarshan--Lindblad generator, whereas a partial reset yields a continuous transition between Markovian and non-Markovian regimes governed by a single dimensionless relaxation parameter. For a resonant excitation-exchange interaction, we obtain exact closed-form expressions for the Bloch-vector dynamics for both a generalized depolarizing channel and a generalized amplitude-damping channel acting as the reservoir-induced map. Using the Breuer--Laine--Piilo measure and a Choi-matrix CP-divisibility witness, we identify three distinct dynamical regimes across the parameter space: CP-divisible Markovian dynamics, CP-indivisible but P-divisible dynamics, and non-P-divisible non-Markovian dynamics. The boundaries between these regimes, and the structural differences between uniform and anisotropic environmental relaxation, are characterized numerically.

2606.14161 2026-06-15 math.CO 新提交

Ramsey-Turán Type Problem for Perfect Transitive Triangle Tilings in Digraphs

有向图中完美传递三角形铺砌的Ramsey-Turán型问题

Zhimin Wang, Zhilan Wang, Jin Yan

AI总结 研究有向图在独立数较小条件下,通过最小度条件保证完美传递三角形铺砌的存在性,给出了渐近最优的最小度下界。

Comments 19 pages, 3 figures

详情
AI中文摘要

经典的Corrádi-Hajnal定理指出,对于任意3的倍数$n$,如果$G$是一个具有$n$个顶点且$\delta(G) \geq 2n/3$的图,那么$G$可以划分为$n/3$个顶点不交的三角形拷贝[《Acta Math. Acad. Sci. Hung.》,14:423-439, 1964]。Balogh、Molla和Sharifzadeh通过添加独立数条件得到了一个更小的下界[《Random Struct. Algorithms》,49:669-693, 2016]。在本文中,我们研究了在独立数和度条件下有向图中的完美铺砌。有向图$D$的独立数$\alpha(D)$是使得$D$具有大小为$k$的独立集的最大整数$k$。我们证明,如果$D$是一个$n$顶点有向图,满足$\alpha(D)\leq o(1)n$和$\delta(D) \geq (1+o(1))n$,那么$D$具有一个完美的$T_3$-铺砌,其中$T_3$表示一个传递三角形。这个最小度条件是渐近最优的。此外,我们的结果蕴含了Balogh、Molla和Sharifzadeh关于完美三角形铺砌的定理。

英文摘要

The classical Corrádi-Hajnal theorem states that for any multiple $n$ of $3$, if $G$ is a graph with $n$ vertices and $\delta(G) \geq 2n/3$, then $G$ can be partitioned into $n/3$ vertex-disjoint copies of the triangle [\emph{Acta Math. Acad. Sci. Hung.}, 14:423-439, 1964]. Balogh, Molla and Sharifzadeh obtained a smaller lower bound by adding the independence number condition [\emph{Random Struct. Algorithms}, 49:669-693, 2016]. In this paper, we study perfect tilings in digraphs subject to conditions on the independence number and the degree. The independence number, $\alpha(D)$, of $D$ is the maximum integer $k$ such that $D$ has an independent set of cardinality $k$. We show that if $D$ is an $n$-vertex digraph with $\alpha(D)\leq o(1)n$ and $\delta(D) \geq (1+o(1))n$, then $D$ has a perfect $T_3$-tiling, where $T_3$ denotes a transitive triangle. This minimum degree condition is asymptotically best possible. Moreover, our result implies the theorem of Balogh, Molla, and Sharifzadeh concerning perfect triangle tilings.

2606.14158 2026-06-15 math.AP 新提交

Nonlinear stability and optimal decay rate of the planar entropy wave for Landau equation

Landau方程平面熵波的非线性稳定性与最优衰减率

Renjun Duan, Feimin Huang, Rui Li, Lingda Xu

AI总结 针对具有库仑相互作用的Landau方程,在无限通道域中研究熵波的非线性渐近稳定性与最优衰减率,通过时间-速度插值技术和耦合扩散波克服谱隙缺失,并引入变换恢复高维结构条件。

详情
AI中文摘要

本文研究了在一般扰动下,具有物理真实库仑相互作用的Landau方程熵波的非线性渐近稳定性与最优衰减率。我们考虑三维无限通道域 $\mathbb{R} \times \mathbb{T}^2$,该域同时具有一维和高维特征,因此带来两个主要分析挑战:(i) 对于具有库仑势的一维Landau方程,线性化算子缺乏谱隙阻碍了具有显式时间衰减率的波型稳定性结果的推导;(ii) 在接触间断研究中,由于缺乏关键结构条件,多维情形与一维情形有根本不同。我们发展了有效的分析方法来处理这些困难。为了克服谱隙不足导致的弱耗散,我们采用时间-速度插值技术增强耗散,并同时构造耦合扩散波以补偿时间衰减的损失。为了解决高维中缺失的结构条件,引入了一种新颖的变换以恢复扰动系统中的双边结构条件。通过发展导数级变换和精细的能量框架,我们恢复了导数所需的必要结构条件,建立了解的最优衰减,并证明了其非零模态的拉伸指数衰减。与以往依赖人工粘性或Navier-Stokes近似的方法不同,我们的方法直接利用方程的内在物理耗散及其与微观动力学成分的耦合,确保了更广泛的适用性。

英文摘要

This paper investigates the nonlinear asymptotic stability and optimal decay rates of entropy waves for the Landau equation with physically realistic Coulomb interactions under general perturbations. We consider the infinite channel domain $\mathbb{R} \times \mathbb{T}^2$ in three dimensions, which possesses both one-dimensional and high-dimensional characteristics, thereby posing two primary analytical challenges: (i) for the one-dimensional Landau equation with Coulomb potentials, the absence of a spectral gap in the linearized operator has obstructed the derivation of wave pattern stability results with explicit time decay rates; (ii) in the study of contact discontinuities, the multidimensional case fundamentally differs from the one-dimensional setting due to lack of a key structural condition. We develop effective analytical approaches to treat those difficulties. To overcome the weak dissipation caused by the spectral gap deficiency, we implement a time-velocity interpolation technique to enhance dissipation and simultaneously construct coupled diffusion waves to compensate for the loss of time decay. To address the missing structural condition in higher dimensions, a novel transformation is introduced to recover the two-sided structural condition within the perturbation system. By developing a derivative-level transformation and a refined energy framework, we restore the necessary structural condition for derivatives, establish the optimal decay of the solution, and prove the stretched exponential decay of its non-zero modes. In contrast to previous methods that rely on artificial viscosity or the Navier--Stokes approximation, our approach directly leverages the intrinsic physical dissipation of the equation and its coupling with the microscopic kinetic component, ensuring broader applicability.

2606.14154 2026-06-15 cs.CR 新提交

SkillMutator: Benchmarking and Defending Language-and-Code Cross-modal Attacks on LLM Agent Skills

SkillMutator: 基准测试与防御针对LLM代理技能的语言与代码跨模态攻击

Youngduk Kim, Minkyoo Song, Seungwon Shin

AI总结 提出SkillMutator基准,模拟13类跨模态攻击,并设计四阶段推理轨迹蒸馏框架,将检测率从17.1%提升至88.2%,超越GPT-4o-mini。

详情
AI中文摘要

大型语言模型(LLM)代理通过加载Agent Skills(将自然语言规范(this http URL)与可执行脚本和资源配对)在运行时扩展其能力。由于技能的行为依赖于自然语言指令和可执行代码,评估其安全性需要跨模态推理,从而产生新的语言与代码攻击面。攻击者可以在this http URL中呈现良性工作流,同时嵌入隐式指令,引导代理泄露敏感文件,即使脚本看似无害。这一攻击面尚未得到充分研究;先前的工作仅将技能视为提示注入向量或静态代码工件,使得跨模态交互产生的攻击在很大程度上未被测量。在我们的评估中,开源和商业技能扫描器仅能检测到2%-8%和9%-17%的此类攻击。为解决这一差距,我们引入了SkillMutator,这是第一个用于Agent Skills安装时语言与代码跨模态攻击检测的基准。它模拟了13个攻击类别的对抗性变异过程,利用扫描器反馈迭代优化恶意技能,使注入的行为与合法工作流难以区分。我们进一步提出了一个四阶段推理轨迹蒸馏框架,将前沿教师模型的轨迹蒸馏到较小的开源模型中。这产生了一个本地可部署的扫描器,避免了第三方数据暴露和过高的API成本。在最强SkillMutator子集(n=76)上,我们的蒸馏模型(Qwen2.5-Coder-7B-Instruct)将检测率从17.1%提升至88.2%,超过了GPT-4o-mini(23.7%)和GPT-5.4-mini(79.0%),并达到了前沿水平的GPT-5.4(86.8%)。这些结果表明,无需依赖昂贵的前沿模型即可实现对跨模态攻击的实用防御。

英文摘要

Large language model (LLM) agents increasingly extend their capabilities at runtime by loading Agent Skills, which pair natural-language specifications ( this http URL ) with executable scripts and resources. Because a skill's behavior relies on both natural-language instructions and executable code, assessing its safety requires cross-modal reasoning, creating a new language-and-code attack surface. Attackers can present a benign workflow in this http URL while embedding implicit directives that steer the agent to exfiltrate sensitive files, even if the scripts appear harmless. This attack surface remains understudied; prior work treats skills merely as prompt-injection vectors or static code artifacts, leaving attacks emerging from cross-modal interactions largely unmeasured. In our evaluation, open-source and commercial skill scanners detect only 2%-8% and 9%-17% of such attacks, respectively. To address this gap, we introduce SkillMutator, the first benchmark for install-time detection of language-and-code cross-modal attacks on Agent Skills. It emulates an adversarial mutation process across 13 attack categories, iteratively refining malicious skills using scanner feedback to make injected behaviors indistinguishable from legitimate workflows. We further propose a four-phase reasoning-trajectory distillation framework to distill frontier-teacher traces into smaller open-weight models. This produces a locally deployable scanner avoiding third-party data exposure and excessive API costs. On the strongest SkillMutator subset (n=76), our distilled model (Qwen2.5-Coder-7B-Instruct) improves detection from 17.1% to 88.2%, surpassing GPT-4o-mini (23.7%) and GPT-5.4-mini (79.0%), and reaching frontier-level GPT-5.4 (86.8%). These results show practical defense against cross-modal attacks is feasible without relying on costly frontier models.

2606.14152 2026-06-15 astro-ph.GA 新提交

Identifying Warped Galaxies in Pan-STARRS and Euclid using Deep Convolutional Neural Network

使用深度卷积神经网络识别Pan-STARRS和Euclid中的翘曲星系

Saranya Suguna, Arunima Banerjee

AI总结 通过微调Zoobot convNext-nano模型,在1000张侧向星系FITS图像上实现83%的翘曲识别准确率,并应用于Pan-STARRS和Euclid数据,发现翘曲星系具有更蓝、更年轻、不对称性更高的特征。

Comments 14 pages, 14 Figures, 3 tables (Submitted)

详情
AI中文摘要

翘曲的星系盘很常见,但其检测仍然具有挑战性,因为星系的外围通常很暗。深度成像巡天的进展提高了此类特征的可检测性,而机器学习则能够高效分析大型数据集。利用Pan-STARRS EGIPS星表,我们通过微调Zoobot convNext-nano模型在1000张侧向星系FITS图像上开发了一个深度学习框架,以83%的准确率区分翘曲和非翘曲侧向星系。然后将训练好的模型应用于更大的样本,以高预测概率阈值(≥0.85)识别出2088个翘曲星系和1398个非翘曲星系。此外,我们使用该模型对Euclid Q1巡天中的3226个侧向星系进行预测,展示了模型在不同分辨率数据集上的泛化能力。为了分析模型预测,我们使用LayerCAM识别对分类有贡献的星系图像区域。我们发现翘曲星系主要在其结构特性上存在差异,表现出较低的轴比和较高的不对称性。翘曲星系被发现更蓝,具有更年轻的恒星种群和增强的恒星形成。这些结果凸显了深度学习方法在识别细微形态特征(如翘曲)方面的有效性,并展示了其在当前和未来大型成像巡天中研究星系结构特性的潜力。

英文摘要

Warped galactic discs are common, yet their detection remains challenging, as the outskirts of galaxies are typically faint. Advances in deep imaging surveys improve the detectability of such features, while machine learning enables efficient analysis of large datasets. Using the Pan-STARRS EGIPS catalogue, we develop a deep learning framework by fine-tuning the Zoobot convNext-nano model on 1000 edge-on galaxy FITS images to distinguish warped and non-warped edge-on galaxies with 83\% accuracy. The trained model is then applied to a larger sample, identifying 2088 warped and 1398 non-warped galaxies with a high prediction probability threshold ($\geq 0.85$). Additionally, we use the model to predict on 3226 edge-on galaxies from the Euclid Q1 survey, demonstrating the model's ability to generalise across datasets with differing resolutions. To analyse the model predictions, we employ LayerCAM to identify the regions of galaxy images that contribute to the classification. We find that warped galaxies differ primarily in their structural properties, exhibiting lower axis ratios and higher asymmetry. Warped galaxies were found to be bluer, with younger stellar populations and enhanced star formation. These results highlight the effectiveness of deep learning methods in identifying subtle morphological features, such as warps, and demonstrate their potential for studying structural properties of galaxies in current and upcoming large imaging surveys.

2606.14151 2026-06-15 cs.NI 新提交

Aidos: A Hybrid Optimization Algorithm for Beam Hopping Scheduling in NGSO Mega-Constellations

Aidos:一种用于NGSO巨型星座波束跳变调度的混合优化算法

Lingkai Zhao, Zhe Chen, Kun Qiu, Yue Gao

AI总结 针对NGSO巨型星座中波束跳变调度问题,提出Aidos混合优化算法,结合流量感知随机密钥编码和滑动窗口Beta重采样策略,在79.2%吞吐量提升和99.45%延迟降低的同时,将计算时间降至9.3秒,实现在轨实时重规划。

详情
AI中文摘要

随着非地球静止轨道(NGSO)巨型星座的快速普及,波束跳变(BH)已成为多卫星、多覆盖场景下资源调度不可或缺的技术。通过在每个时隙内动态调整点波束功率和指向,BH实现了极高的频谱利用率。一个主要的工程挑战是实时生成波束跳变时间计划(BHTP)。传统算法(如轮询策略)以循环方式将波束均匀分配给所有服务小区。然而,实际流量遵循长尾分布;最活跃的10%热点小区产生的总需求超过50%,使得均匀分配不充分。为解决此问题,现有框架采用遗传算法(GA),其吞吐量比传统基线高出约80.7%。运行中的卫星覆盖范围包含超过1000个服务小区。GA为1127个小区生成BHTP需要67.8秒。由于550公里LEO卫星仅提供300秒的可见窗口,多次在线重计算不切实际。最先进的算法(如多智能体深度强化学习MADRL)在小区数量超过200时无法收敛。为克服这些挑战,我们提出一种新颖的BH调度算法Aidos。该算法将流量感知随机密钥编码集成到多目标元启发式搜索中,然后在自适应分布进化过程中应用滑动窗口Beta重采样策略,以提高BHTP的搜索效率和解决方案质量。实验表明,Aidos将吞吐量提高了79.2%,延迟降低了99.45%。其平均计算时间为9.3秒,使得在300秒卫星过境窗口内实现在线重规划成为可能。

英文摘要

With the rapid proliferation of non-geostationary orbit (NGSO) mega-constellations, beam hopping (BH) has become indispensable for resource scheduling in multi-satellite, multi-coverage scenarios. By dynamically adjusting spot beam power and pointing within each time slot, BH enables highly efficient spectrum utilization. A principal engineering challenge is the real-time generation of beam hopping time plans (BHTP). Traditional algorithms, such as the round-robin strategy, distribute beams evenly across all service cells in a round-robin fashion. However, real traffic follows a long-tail distribution; the most active 10% of hotspot cells generate more than 50% of the aggregate demand, making uniform allocation inadequate. To address this issue, existing frameworks adopt a genetic algorithm (GA), whose throughput is approximately 80.7% higher than the traditional baseline. Operational satellite footprints encompass more than 1,000 service cells. The GA requires 67.8 s to generate a BHTP for 1,127 cells. With a 550 km LEO satellite providing only a 300 s visibility window, multiple online recomputations are impractical. State-of-the-art algorithms, such as multi-agent deep reinforcement learning (MADRL), fail to converge once the cell count exceeds 200. To overcome these challenges, we propose a novel BH scheduling algorithm Aidos. The algorithm integrates traffic-aware random-key encoding into a multi-objective metaheuristic search, and then applies a sliding-window Beta resampling strategy during adaptive distribution evolution, to improve both the search efficiency and the solution quality of the BHTP. Experiments demonstrate that Aidos improves throughput by 79.2% and reduces latency by 99.45%. Its average computation time is 9.3 s, enabling online replanning within a 300 s satellite overpass window.

2606.14148 2026-06-15 math.GR 新提交

Virtual inheritance properties of graph products

图积的虚拟继承性质

Xiaoming Huang, Xiaolei Wu, Shengkui Ye

AI总结 本文证明多种虚拟性质在图积下封闭,包括虚拟RFRS、虚拟(紧)特殊、虚拟CAT(0)立方体及虚拟正规多自由,并通过初等证明简化了Januszkiewicz和Świątkowski的强可公度定理。

Comments 13pages. Comments welcome!

详情
AI中文摘要

我们证明许多虚拟性质在图积下是封闭的,包括:虚拟RFRS、虚拟(紧)特殊、虚拟CAT(0)立方体以及虚拟正规多自由。我们的证明使用了Januszkiewicz和Świątkowski关于图积的强可公度定理,并为此提供了一个初等证明。

英文摘要

We prove that many virtual properties are closed under taking graph products, including: virtually RFRS, virtually (compact) special, virtually CAT(0) cube, and virtually normally poly-free. Our proof uses Januszkiewicz and Świątkowski's strong commensurability theorem for graph products, for which we provide an elementary proof.

2606.14147 2026-06-15 cs.NI 新提交

Agon: A Semi-Supervised Framework for Robust Satellite Interference Detection

Agon:一种用于鲁棒卫星干扰检测的半监督框架

Boyu Yang, Chunyu Yang, Zhe Chen, Kun Qiu, Yue Gao

AI总结 针对卫星通信中频谱拥塞和干扰检测阈值固定导致虚警率高的问题,提出半监督框架Agon,结合掩码自编码器预训练与多任务微调,实现AUC提升25.3%。

详情
AI中文摘要

非地球静止轨道(NGSO)卫星与现有地球静止轨道(GSO)系统的快速扩张加剧了频谱拥塞和系统间干扰,对实时干扰管理提出了严格要求,以维持下一代通信网络中可靠的共存。虽然现有的基于机器学习(ML)的重建模型取得了一定进展,但由于固定阈值,它们仍局限于0.83的曲线下面积(AUC),导致不可接受的虚警率,破坏了关键链路的可靠性。此外,它们的解耦训练范式忽略了跨域依赖,将时域和频域AUC分别限制在0.83和0.71。为了解决这些局限性,本文引入了一种名为Agon的半监督卫星干扰检测框架,采用新颖的两阶段混合学习范式。Agon集成了双注意力变换器(DAT)的掩码自编码器(MAE)预训练与多任务微调,以优化直接二元分类器,有效消除了不稳定的阈值。此外,它结合了高阶统计量(HOS)增强注意力和小波正则化,以增强噪声鲁棒性和结构保真度。在公开的NGSO-GSO数据集和高保真NGSO-NGSO数据集上的广泛验证表明,Agon实现了最先进的(SOTA)检测性能,AUC提高了25.3%。此外,多任务学习(MTL)框架促进了准确的调制分类,准确率超过90%,同时在以不同离轴角和干扰噪声比(INR)为特征的各种场景中保持最佳检测性能。

英文摘要

The rapid expansion of non-geostationary orbit (NGSO) satellites alongside existing geostationary orbit (GSO) systems has intensified spectrum congestion and inter-system interference, placing stringent demands on real-time interference management to sustain reliable coexistence in next-generation communication networks. While existing machine learning (ML)-based reconstruction models have made strides, they remain constrained to an area under the curve (AUC) of 0.83 due to fixed thresholds, causing unacceptable false alarm rates that undermine critical link reliability. Additionally, their decoupled training paradigm neglects cross-domain dependencies, limiting time and frequency-domain AUCs to 0.83 and 0.71, respectively. To address these limitations, this paper introduces a semi-supervised satellite interference detection framework named Agon, employing a novel two-stage hybrid learning paradigm. Agon integrates masked autoencoder (MAE) pre-training of a dual attention transformer (DAT) with multi-task fine-tuning to optimize a direct binary classifier, effectively eliminating unstable thresholds. Furthermore, it incorporates high-order statistics (HOS)-augmented attention and wavelet regularization to bolster noise robustness and structural fidelity. Extensive validation on public NGSO-GSO dataset and a high-fidelity NGSO-NGSO dataset demonstrates that Agon achieves state-of-the-art (SOTA) detection performance, with a 25.3% improvement in AUC. Moreover, the multi-task learning (MTL) framework facilitates accurate modulation classification with accuracies exceeding 90%, while simultaneously maintaining optimal detection performance across diverse scenarios characterized by varying off-axis angles and interference-to-noise ratios (INRs).

2606.14146 2026-06-15 cs.NE 新提交

A Programmer's Guide to Cascaded Adaptive Combiners: Online Learning by Biologically Accurate Models of Multilayer Neuron Networks

级联自适应组合器程序员指南:基于多层神经元网络的生物精确模型在线学习

Martin Nilsson, Denis Kleyko

AI总结 提出一种更符合生物计算机制的机械性神经网络模型,通过级联自适应组合器实现多层网络的高效在线学习,替代反向传播,在图像分类任务中取得竞争性表现。

详情
AI中文摘要

生物多层神经元网络的学习提供了超越人工神经网络中常用加权和神经元模型的见解。本文介绍了一种可访问的机械性神经网络模型,该模型更准确地捕捉了生物计算的某些方面,同时为多层神经网络中的学习提供了一种简单而强大的机制。所提出的方法支持高效的在线流式学习,并为反向传播提供了一种实用的替代方案。我们在图像分类任务中展示了其潜力,取得了有竞争力的分类性能。该方法的简单性、生物学基础以及广泛适用性,为统一机械性神经元模型和机器学习的算法指明了一条有前景的道路。

英文摘要

Learning in biological multilayer neuronal networks offers insights that extend beyond the classical weighted-sum neuron model commonly used in artificial neural networks. This article presents an accessible guide to a mechanistic neuronal network model that more accurately captures aspects of biological computation while enabling a simple yet powerful mechanism for learning in multilayer neural networks. The proposed approach supports efficient online streamed learning and provides a practical alternative to backpropagation. We demonstrate its potential in an image classification task, achieving competitive classification performance. The approach's simplicity, biological grounding, and broad applicability highlight a promising path toward algorithms that unify mechanistic neuron models and machine learning.