arXivDaily arXiv每日学术速递 周一至周五更新
重置
全部学科分类 1967
2605.14453 2026-05-15 stat.ME

Estimating Precision Matrices for High-Dimensional Interval-Valued Data

Zhongfeng Qin, Hao Xu, Wenhao Cui, Wan Tian

AI总结 本文研究了如何在高维区间值数据下估计精度矩阵,这类数据中每个观测值以区间形式表示而非单一数值,传统方法难以有效处理。作者提出了一种新的估计框架,假设区间上下界具有相同的条件依赖结构,并构建了区间图lasso优化目标函数进行估计。该方法在计算上高效,并在理论上证明了估计器的稀疏性和一致性,实验表明其在估计精度和可解释性方面优于现有方法。

详情
英文摘要

In the field of statistical learning and data analysis, estimating precision matrices (i.e., the inverse of covariance matrices) is a critical task, particularly for understanding dependency structures among variables. However, traditional methods often fall short when dealing with high-dimensional interval-valued data, where each observation is represented as an interval rather than a single point. This paper proposes a novel framework for estimating precision matrices in such contexts, addressing the unique challenges posed by the interval nature of the data. Specifically, we assume that the upper and lower bounds of the intervals share the same conditional dependency structure, and then formulate the interval graphical lasso optimization objective to estimate the precision matrix. At the optimization level, we provide an efficient computational approach, while at the theoretical level, we prove the sparsity and consistency of the estimator. Experimental results on simulated studies and real data applications demonstrate the superiority of the proposed method in terms of estimation precision and interpretability.

2605.14452 2026-05-15 math.AP

Local and global solutions to continuous fragmentation-coagulation equations with vanishing diffusion and unbounded fragmentation and coagulation rates

Sergey Shindin

AI总结 本文研究了在空间 $\mathbb{R}^d$ 上具有消失扩散、无界碎裂和凝聚速率的连续碎裂-凝聚方程的局部和全局解。通过适当控制扩散和凝聚过程,作者证明了在一大类系数下,系统具有经典的局部适定性。特别地,当速率满足幂律形式时,无论空间维数和初始数据大小如何,都存在全局经典解。

详情
英文摘要

In the paper, we study spatially distributed particle systems whose time evolution is governed by vanishing diffusion in space $\mathbb{R}^d$, $d\ge 1$, and by size-continuous fragmentation and coagulation processes with unbounded rates. We show that for a large class of coefficients, such systems are classically locally well-posed, provided the diffusion and the coagulation processes are suitably dominated by the fragmentation. In the special case of power rates, we demonstrate existence of global in time classical solutions in all spatial dimensions $d\ge 1$ and without any restrictions on the size of input data.

2605.14451 2026-05-15 cs.IT eess.SP math.IT

CP-OFDM Achieves Lower Ranging CRB Than Frequency-Spread Waveforms in the Large-Sample Regime

Fan Liu, Yifeng Xiong, Ya-Feng Liu, Jie Yang, Christos Masouros, Shi Jin

AI总结 本文研究了在通信符号随机性带来的根本性矛盾下,调制波形对成像精度的影响,特别是对测距的克拉美-罗界(CRB)的影响。通过分析联合时延-幅度估计的费舍尔信息矩阵结构,揭示了CP-OFDM在大样本情况下能够实现比频率扩展波形更低的测距CRB,并在有限符号数下具有局部最优性。研究还表明,CP-OFDM在时延和幅度联合估计中均优于其他典型波形,如SC、OTFS和AFDM。

Comments 20 pages, 1 figure, submitted to IEEE for possible publication

详情
英文摘要

The inherent randomness of communication symbols creates a fundamental tension in Integrated Sensing and Communications (ISAC). On the one hand, they enable data transmission while allowing sensing to fully reuse communication resources. On the other hand, their randomness induces waveform-dependent fluctuations that directly affect sensing accuracy. This paper investigates a foundational question arising from this tradeoff: \textit{How does the modulation waveform affect the ranging Cramér--Rao Bound (CRB) when sensing reuses random data symbols?} We address this question by revealing a structural factorization of the Fisher information matrix (FIM) for joint delay-amplitude estimation, which separates the deterministic Jacobian of the target geometry from the random frequency-domain signal power induced by the data symbols. This structure yields a Jensen-type universal lower bound on the CRB, which is exactly attained by CP-OFDM under PSK constellations. For QAM and broader sub-Gaussian constellations, we develop an asymptotic perturbation analysis of the inverse FIM and prove that, when the number of transmitted symbols $N$ grows large, CP-OFDM achieves a lower ranging CRB than any frequency-spread orthogonal waveform over the almost-sure event where the random FIM is invertible. This superiority is further extended to amplitude estimation and full joint delay-amplitude estimation. We also characterize the local geometry of the stochastic CRB minimization problem over the unitary group. The analysis reveals that CP-OFDM is a stationary point for finite $N$, and its Riemannian Hessian is positive semidefinite for sufficiently large $N$, establishing its asymptotic local optimality. Numerical results confirm that OFDM outperforms representative waveforms including SC, OTFS, and AFDM.

2605.14450 2026-05-15 cs.IR

Stop Overthinking: Unlocking Efficient Listwise Reranking with Minimal Reasoning

Danyang Liu, Kan Li

AI总结 该研究探讨了在列表级重排序中使用大型语言模型时,推理长度与排序质量之间的关系,发现过长的推理并不能带来显著的性能提升。为此,作者提出了一种长度正则化的自蒸馏框架,通过筛选出高排序性能且推理简洁的样本进行训练,使模型学会高效推理,减少冗余思考。实验表明,该方法在保持排序效果的同时,显著降低了推理时的计算成本,适用于对延迟敏感的应用场景。

详情
英文摘要

Listwise reranking utilizing Large Language Models (LLMs) has achieved state-of-the-art retrieval effectiveness. Recently, reasoning-enhanced models have further pushed these boundaries by employing Chain-of-Thought (CoT) to perform deep comparative analysis of candidate documents. However, this performance gain comes at a prohibitive computational cost, as models often generate thousands of reasoning tokens before producing a final ranking. In this work, we investigate the relationship between reasoning length and ranking quality, revealing an overthinking phenomenon where extended reasoning yields diminishing returns. To address this, we propose a Length-Regularized Self-Distillation framework. We synthesize a dataset by sampling diverse reasoning traces from a teacher model (Rank-K) and applying a Pareto-inspired filter to select traces that achieve high ranking performance with minimal token usage. By fine-tuning on these concise, high-quality rationales, the student model learns to internalize efficient reasoning patterns, effectively pruning redundant deliberation. Experiments on TREC Deep Learning and NeuCLIR benchmarks demonstrate that our method maintains the teacher's effectiveness while reducing inference token consumption by 34%-37% across different retrieval settings, offering a practical solution for deploying reasoning-enhanced rerankers in latency-sensitive applications.

2605.14447 2026-05-15 nucl-th hep-ph hep-th

Bayesian analysis of density profile of light dark matter elucidating the properties of dark matter admixed neutron stars in the presence of hyperons

Debashree Sen, Atanu Guha, Chang Ho Hyun

AI总结 本文研究了对称能、超子和轻质量暗物质对中子星结构及振荡特性的影响,通过贝叶斯分析探讨了暗物质混合中子星的性质。作者考虑了15种相对论平均场模型,并引入暗物质与强子物质之间的弱相互作用,结合子弹星团约束和遗迹密度限制,确定了暗物质参数的可能范围。研究发现,HESS J1731-347和GW170817等天文观测数据对确定中子星中轻质量暗物质的存在具有重要意义,并通过贝叶斯方法得出暗物质质量与密度参数的可能区间,且该区间在一定对称能范围内基本不受强子模型影响。

Comments 22 pages, 9 figures

详情
英文摘要

We study the impact of symmetry energy ($S$), hyperons, and dark matter (DM) on structural and oscillatory properties of neutron stars (NSs). Uncertainty from hadronic equation of state for NSs is considered with 15 relativistic mean field models having slope parameter ($L_0$) of $S$ in range $40-120$ MeV. DM admixed NSs (DMANSs) are described with feeble interaction between light DM fermions ($χ$) with hadronic matter in the presence of hyperons via scalar ($η$) and vector ($ξ$) dark mediators. The masses $m_χ$, $m_η$ and $m_ξ$ are related by self-interaction constraints from bullet cluster. DM self-interaction couplings are related to $m_χ$ by relic density constraint. The DM density is taken as an exponential function of baryon density with a free parameter $α$. Uncertainty from DM model is incorporated by exploring the dependence on $m_χ$ and $α$. Several DM search experiments have almost ruled out the existence of massive DM ($\gtrsim$ GeV). Lately, pursuit for sub-GeV DM has attracted significant attention. Therefore, we consider $m_χ<$ 1 GeV and $α\leq$ 0.1 such that the contribution of DM to the total mass of the DMANSs is $<10\%$. Comparing our results with various astrophysical constraints, we find that the HESS J1731-347 and GW170817 data are very important in determining the presence of light DM in NSs in moderate amount, relevant in the range $L_0\lesssim$ 58 MeV. Employing models of DMANSs that satisfy several observational data, we infer with Bayesian analysis, the likely ranges of $m_χ$ and $α$ are almost independent of the underlying hadronic model within 40 MeV $\lesssim$ $L_0$ $<$ 58 MeV. In the absence of DM and with the most probable values of $m_χ$ and $α$ obtained from the Bayesian inference, we calculate the frequencies of non-radial $f$- and $p_1$-modes oscillation of NSs/DMANSs.

2605.14446 2026-05-15 math.CO

Integer points in a simplex and related Diophantine problems: Hardy--Littlewood asymptotics in higher dimensions

M. M. Skriganov

AI总结 本文研究了高维单纯形中的整数点计数问题,并将其与相关的丢番图方程联系起来。作者推广了哈代-利特尔伍德在20世纪20年代对斜边为无理数的直角三角形中整数点数量的分析,建立了高维情况下的渐进行为。该工作为理解高维几何与数论之间的深层联系提供了新的分析工具和理论支持。

详情
英文摘要

In the early 1920s, Hardy and Littlewood considered the number of integer points in the right-angled triangles with irrational inclines of the diagonal. We extend their results to higher dimensions.

2605.14444 2026-05-15 stat.ME

Inlier Recovery for Robust Registration via Gram-Matrix Overlap

Ruizi Wu, Yuehaw Khoo, Wanjie Wang

AI总结 本文研究了在存在噪声和离群点的情况下,如何通过比较两个数据集的Gram矩阵的Hadamard乘积,实现鲁棒点集配准中的内点恢复问题。提出的方法将内点识别转化为结构化恢复问题,避免了对旋转群的直接优化,并开发了基于主特征向量匹配和行和匹配的两种算法。实验表明,这些方法在内点比例较低甚至趋于零的情况下仍能实现精确恢复,具有较好的鲁棒性和实用性。

详情
英文摘要

Robust point-set registration in the presence of noise and outliers is challenging because the matched points (inliers) must be identified before reliable alignment can be performed. Existing robust registration methods typically optimize over the transformation space and are often designed for regimes with a nonvanishing fraction of inliers. In this paper, we study the inlier recovery problem arising in robust registration by comparing two datasets through the Hadamard product of their Gram matrices. This formulation converts the inlier identification into a structured recovery problem and avoids direct optimization over the rotation group. Based on this idea, we develop two methods: an eigenvector matching method based on the leading eigenvector of the Gram-matrix overlap, and a row-sum matching method based on aggregated entrywise comparison. We show that the eigenvector method achieves weak recovery when the dimension and sample size are of the same order, while the row-sum method achieves exact recovery under a broader range of dimensional scalings. In particular, when the dimension is comparable to the sample size, exact recovery is possible even when the inlier fraction vanishes, with the number of inliers as small as order $\sqrt{n}$, up to logarithmic factors. We also discuss a parallel implementation for large-scale settings. Numerical experiments on brain imaging data and image examples demonstrate that the proposed methods effectively identify matched structure under substantial corruption.

2605.14442 2026-05-15 cs.CY

GGBound: A Genome-Grounded Agent for Microbial Life-Boundary Prediction

Hanbo Huang, Xuan Gong, Jing Wang, Lei Bai, Xiang Xiao, Weishu Zhao, Shiyu Liang

AI总结 本文提出了一种基于基因组的智能代理GGBound,用于预测微生物的生理生活边界,如温度、pH、盐度等环境条件下的生存能力。该方法通过将基因组嵌入与大型语言模型结合,并引入代谢模型和检索增强生成技术,实现了从基因组到生理特性的统一预测。实验表明,该代理在多个基准数据集上表现出色,显著优于现有方法,验证了其在基因型-表型关联分析中的有效性。

详情
英文摘要

Characterizing the physiological life boundaries of microbial strains, including viable temperature, pH, salinity, substrate utilization, and morphology, is central to biotechnology and ecology, yet traditionally requires exhaustive in vitro screening. Existing computational approaches either treat physiological traits as isolated supervised targets or repurpose biological foundation models as static encoders, leaving the genotype-to-physiology gap largely unbridged. We formulate microbial life-boundary prediction as a unified genome-to-physiology task and address it with a genome-conditioned, tool-augmented LLM agent. To support this task, we curate a strain-centric benchmark from IJSEM, NCBI, and BacDive covering 1,525 strains and 6,448 instances across viability intervals, environmental optima, substrate utilization, categorical traits, and morphology. Architecturally, the agent injects frozen LucaOne genome embeddings into a Qwen backbone via lightweight token fusion, and reasons over a similarity-based RAG module and a Genome-scale Metabolic Model (GEM) perturbation tool. We optimize the agent through a three-stage pipeline of gene-text alignment, agentic SFT on distilled trajectories, and GRPO with a novel counterfactual gene-grounding reward that reinforces the policy only when the authentic genome embedding causally improves correct-token generation relative to a zero-gene ablation. The resulting 4B-parameter agent matches or surpasses substantially larger frontier LLMs, with ablations confirming that genome-token fusion, dynamic tool use, and the counterfactual reward each yield distinct, significant gains.

2605.14441 2026-05-15 physics.optics

Tunable spatio-spectral Target Skyrmions and topological multiplexing

Pedro Ornelas, Niladri Modak, Oussama Korichi, Isaac Nape, Andrew Forbes, Robert Fickler

AI总结 该研究提出了一种可调的时空-光谱斯凯尔米子及其拓扑复用方法,突破了传统仅依赖两个自由度生成斯凯尔米子的限制,通过波长、空间和偏振三个自由度的非分离性构造出新型斯凯尔米子光束。研究设计了一种简单紧凑的生成方法,并引入可调参数增强控制自由度,实现了在单一光场中独立编码不同斯凯尔米子数的拓扑复用,为高容量、鲁棒的拓扑信息传输提供了新途径。

Comments 18 pages, 10 figures

详情
英文摘要

Optical Skyrmions have recently garnered much interest providing a potential avenue for high capacity, robust topological information transfer. Typically, Skyrmions are derived from the coupling of just two degrees of freedom (DoFs) limiting their versatility. In this work we realize spatio-spectral Skyrmions derived from the non-separability between three DoFs: wavelength, space and polarization. A compact and simple technique is used to generate the spatio-spectral vector beams (SSVB) carrying the desired Skyrmionic structure, offering simple pathways for complex Skyrmionic beam design. The topological structure, witnessed through a map between the spatio-spectral plane and the Poincaré sphere, exhibits an additional tunable $kπ$ parameter thereby enhancing the number of controllable DoFs. Our three DoF construction allows us to propose a novel topological multiplexing strategy that independently encodes different Skyrmion numbers at different radii of the field. We experimentally demonstrate the practicality of this approach by transmitting and receiving three distinct Skyrmion numbers encoded into a single topological field, for the first form of mode division multiplexing with Skyrmion topology. This work opens up new avenues for dense information encoding using multiple topological channels encoded in a single light field.

2605.14437 2026-05-15 astro-ph.HE astro-ph.CO astro-ph.GA astro-ph.SR

Not All Who Wander Are Lost: Early Excess Demographics in the Volume-limited ZTF DR2 SN Ia Sample

César Rojas-Bravo, Ning-Chen Sun, Mathew Smith, Chun Chen, Xiaohan Chen, Zexi Niu, Anyu Wang, Zi-Yang Wang, Yi-Han Zhao, Jifeng Liu

AI总结 本文研究了Ia型超新星在爆发初期的光度过剩现象,探讨其对前身星系统和爆炸机制的启示。基于ZTF DR2数据,作者在红移小于0.06的样本中系统性地搜索早期光度过剩事件,构建了包含42个过剩事件和110个无过剩事件的可靠样本,并通过统计检验发现,早期光度过剩事件在光变曲线特性、颜色及宿主星系环境等方面存在显著差异,揭示了Ia型超新星的多样性特征。

Comments Submitted to Research in Astronomy and Astrophysics (RAA). 23 pages, 6 figures, 4 tables (excluding references and appendices); 35 pages total

详情
英文摘要

Early-time flux excesses in Type Ia supernovae (SNe~Ia) offer a unique insight into their progenitor systems and explosion mechanisms. Although individual early-excess events and larger searches have been reported, demographic studies remain limited by sample size. We present a systematic search for early-time excess emission in a volume-limited sample ($z<0.06$) of SNe~Ia based on the Zwicky Transient Facility Data Release 2 (ZTF DR2). Using ZTF $g$- and $r$-band light curves, we identify candidates showing early-excesses shortly after the explosion time, and we apply conservative coverage and quality requirements to build reliable ``excess'' and ``no-excess'' bump and no-bump catalogs. From an initial sample of 1547 SNe~Ia, our final catalogs contain 42 early-excess and 110 no-excess events. We compare the two populations using SN and host environment parameters from ZTF DR2 and quantify the differences using two-sample statistical tests. We find the strongest differences are in SN light-curve properties: early-excess events have larger SALT2 stretch $x_1$ ($7.91σ$) and larger $r$-band secondary-maximum flux $\mathcal{F}_{r_2}$ ($6.25σ$), while differences in SALT2 color $c$ are weak ($0.57σ$). Early-excess events also favor bluer $(g-z)_{\rm local}$ ($3.41σ$) and lower $\log_{10} (M_*/M_\odot)_{\rm local}$ ($2.73σ$). Our results connect early excesses with SNe~Ia diversity, and motivate further analyses of upcoming larger samples.

2605.14436 2026-05-15 cond-mat.mes-hall

Periodic Behavior of Topology in Graphene with Nanohole Array

Yong-Cheng Jiang, Xing-Xiang Wang, Xiao Hu

AI总结 本研究探讨了具有纳米孔阵列的石墨烯体系中拓扑性质的周期性行为,提出了一种基于超晶格晶格常数直接诊断能带拓扑的方法。通过考虑纳米孔及其阵列所遵循的 $C_{6v}$ 晶体对称性,研究发现三角形和蜂窝形纳米孔阵列的非平凡拓扑性质随参数 $m$ 周期性出现,周期分别为二和六。该成果为基于石墨烯衍生物设计拓扑电子态提供了便捷的指导。

Comments 10 pages, 3 figures, 2 tables + Supplementary material (3 pages, 4 tables)

详情
英文摘要

We derive a way to diagnose band topology for graphene with triangular and/or honeycomb array of nanoholes directly from the lattice constant of superstructure $m\sqrt{3}\times m\sqrt{3}$ with integer $m$. Taking into account the $C_{6v}$ crystalline symmetry respected by nanoholes and their array, we demonstrate that nontrivial topology appears periodically with $m$ with period two (six) for triangular (honeycomb) array. These behaviors are verified by Wyckoff positions of Wannier centers and parity index of valence bands at high-symmetry points in Brillouin zone. The results provide a convenient guide for material design of topological electronic states based on graphene derivatives.

2605.14435 2026-05-15 cs.NI cs.CR

Geographic Patterns in I2P Peer Selection: An Empirical Network Topology Analysis

Siddique Abubakr Muntaka, Jess Kropczynski, Jacques Bou Abdo, Murat Ozer

AI总结 本文研究了隐形互联网项目(I2P)中节点选择的地理模式,通过分析327个路由器和254个连接的数据,发现I2P的路由拓扑在地理层面缺乏显著的同质性,节点选择呈现出高度异质和随机的地理混合特征。研究采用相似性分析、社区检测和置换检验等方法,表明I2P的节点选择机制有效避免了地理上的聚集,为理解其性能与匿名性之间的权衡提供了基础。

详情
英文摘要

The Invisible Internet Project (I2P) routes data via encrypted, decentralized tunnels. Peer selection can significantly affect security and performance. This empirical study examines whether geographic location systematically influences I2P's routing topology. Consistent with I2P's design principles, which include avoiding multiple peers from the same /16 IP subnet to maximize anonymity, we conducted assortativity analysis, community detection, and permutation testing on data from 327 routers and 254 connections (SWARM-I2P). We found a network-level absence of significant geographic homophily. The assortativity coefficient was r = 0.017 (p = 0.222). Same-country connections (11.1%) are statistically near random expectation (10.91%). Community detection found 110 highly modular groups (Q = 0.972) only moderately aligned geographically (NMI = 0.521). We conclude that aggregate peer selection in I2P leads to a highly heterogeneous, random geographical mixing, providing a foundation for understanding the performance-anonymity tradeoff.

2605.14433 2026-05-15 astro-ph.EP

Where Do Hot Jupiters Come From? Revisiting Tidal Disruption and Ejection in High-Eccentricity Migration

Qianli Fan, Shang-Fei Liu

AI总结 热木星的形成机制仍是天文学中的一个关键问题。本文通过三维流体动力学模拟,研究了具有真实致密核心的巨行星在高偏心率迁移过程中的潮汐破坏与抛射行为,发现即使核心质量仅为行星质量的百分之几,也会显著改变其演化结果。研究指出,在传统认为的破坏区域内,巨行星并不会被完全摧毁,而是可能逐渐演化为致密残骸或被抛射至自由漂浮行星群体,揭示了行星内部结构在高偏心率迁移过程中的重要作用。

Comments 17 pages, 6 figures, accepted for publication in The Astrophysical Journal Letters

详情
英文摘要

The origin of hot Jupiters remains a key open question. In the high-eccentricity migration scenario, traditional coreless models predict a strict tidal exclusion zone within $\sim 2.7$ tidal radii $r_\textrm{t}$, in which giant planets are either fully disrupted or ejected. We revisit this limit using three-dimensional hydrodynamic simulations of giant planets with realistic dense cores (10 - 20 $M_\oplus$). We find that even a few-percent-mass core fundamentally changes the outcome: \textbf{no total disruptions} occur within the previously suggested destruction zone ($\lesssim 2.7 \, r_\textrm{t}$). For deep encounters ($\lesssim 1.7 \, r_\textrm{t}$) planets suffer severe envelope stripping and are either progressively downsized to dense remnants or ejected after a few close encounters, possibly contributing to the free-floating planet population. In the intermediate regime ($ \sim 1.7 $--$2.0, r_\mathrm{t}$), planets experience significant partial mass loss over repeated encounters. For wider encounters ($ \gtrsim 2.0\, r_\mathrm{t} $), mass loss is minimal, allowing the planets gradually circularize into hot Jupiters. Furthermore, we show that for highly eccentric orbits ($e\gtrsim 0.9$), the change in specific orbital energy $ ΔE_{\mathrm{orb}} $ depends primarily on periastron distance $ r_\mathrm{p} $ rather than semi-major axis $ a $. This enables us to extrapolate our fixed-$ a $ results across a broad ($a$, $e$) parameter space and identify a well-defined tidal ejection zone whose sharp boundaries converge asymptotically. Our results highlight the crucial role of planetary internal structure in high-eccentricity migration and suggest that the survival and transformation of core-bearing giant planets are far more common than previously thought.

2605.14431 2026-05-15 cs.SE cs.CR

FuzzAgent: Multi-Agent System for Evolutionary Library Fuzzing

Yunlong Lyu, Peng Chen, Fengyi Wu, Junzhe Yu, Kit Long Hon, Hao Chen

AI总结 FuzzAgent 是一个基于多智能体系统的演化式库模糊测试框架,旨在解决传统库模糊测试在大规模应用中效率低、依赖人工干预和误报率高的问题。该系统通过多个协同工作的智能体,在整个模糊测试过程中持续利用运行时反馈进行迭代优化,从而逐步提升代码覆盖率并提高漏洞检测的准确性。实验表明,FuzzAgent 在 20 个真实 C/C++ 库上表现优异,覆盖分支数显著超过现有先进方法,并成功发现了 102 个真实库漏洞,其中 78 个已被官方确认并修复。

Comments Try FuzzAgent at https://fuzzany.org/

详情
英文摘要

Library fuzzing is essential for hardening the software supply chain, but adopting it at scale remains expensive. Practitioners still spend substantial effort on environment setup, struggle to generate harnesses that respect intricate API constraints, and lack reliable means to tell genuine library bugs from harness-induced crashes. Recent LLM-based systems automate parts of this pipeline, yet they typically operate as one-shot code generators that ignore runtime feedback, which limits both the depth of code they reach and the validity of the bugs they report. We argue that effective library fuzzing is iterative by nature: each campaign exposes new coverage bottlenecks and crashes, and the next campaign should evolve from these signals rather than restart from scratch. Building on this insight, we present FuzzAgent, a multi-agent system that turns library fuzzing into an evolutionary process, in which a team of specialized agents collaborates over the full fuzzing lifecycle and grounds every decision in concrete runtime evidence, so that the harness suite is successively refined toward deeper coverage and higher-fidelity crash analysis across rounds. We evaluate FuzzAgent on 20 real-world C/C++ libraries against four state-of-the-art baselines (OSS-Fuzz, OSS-Fuzz-Gen, PromptFuzz, and PromeFuzz). FuzzAgent completes the full fuzzing lifecycle for all 20 libraries without human intervention and reaches 179619 branches, exceeding OSS-Fuzz, PromptFuzz, PromeFuzz, and OSS-Fuzz-Gen by 45.1%, 73.2%, 92.1%, and 191.2%, respectively. FuzzAgent also identifies 102 genuine library bugs, 78 of which have already been acknowledged and fixed by upstream maintainers.

2605.14430 2026-05-15 math.OC

OPTIMUS: Optimization Productivity Tool for Intelligent Management of Utilizable Space

Souvik Bhattacharyya, Nisha Singh, Salman Haider, Balaji Nagarajan, Ved Prakash Dwivedi, Nithin Surendran, Karthik Nair

AI总结 本文研究了零售部门层面的有限货架空间优化问题,将商品组合选择建模为一个带约束的二进制背包问题,并采用动态规划方法在O(nc)时间内获得精确且可复现的解决方案。研究还结合混合整数规划模型进行二次货架优化,实验表明该OPTIMUS框架在多个部门和门店集群中平均提升了11.8%的销售额和9.5%的利润,为零售空间管理提供了可扩展、可解释且以利润为导向的优化工具。

详情
英文摘要

We study department-level retail space optimization, where limited bay capacity must be allocated among planograms (POGs) under business and operational constraints. The problem is formulated as a linear binary knapsack model, with potential SKUs treated as items characterized by space requirements and weighted value contributions from sales, margin, units, and assortment similarity. Dynamic Programming (DP) is employed to obtain exact and reproducible assortment decisions in O(nc) time, avoiding the variance inherent in heuristic approaches. These decisions are integrated with a second-stage bay optimization model formulated as a mixed-integer program. Evaluated end-to-end across ten optimization runs spanning multiple departments and store clusters, the OPTIMUS framework achieves an average sales lift of 11.8% and an average margin lift of 9.5%. Overall, OPTIMUS provides a scalable, interpretable, and profit-driven solution for enterprise-scale retail space management.

2605.14429 2026-05-15 math.CV

On some properties of bi-univalent functions in the unit disc

Milutin Obradović, Nikola Tuneski, Paweł Zaprawa

AI总结 本文研究单位圆内双全纯函数的初始系数模、相邻初始系数模的差、初始对数系数模以及第二Hankel行列式的上界问题。作者采用基于Grunsky系数的方法,为归一化的双全纯函数类提供了这些量的上界估计。该研究为复分析中双全纯函数的系数理论提供了新的结果和方法。

详情
英文摘要

In this paper we use a method based on the Grunsky coefficients to find upper bounds of the modulus of the initial coefficients, difference of the moduli of two consecutive initial coefficients, of the modulus of the initial logarithmic coefficient, and of the second Hankel determinant for the class of normalized bi-univalent functions.

2605.14428 2026-05-15 cs.DS math.CO

Branch-width of represented matroids in matrix multiplication time

Mujin Choi, Tuukka Korhonen, Sang-il Oum

AI总结 本文研究了在有限域上由矩阵表示的拟阵的分支宽度问题,提出了一种在 $O_{k,\mathbb F}(n^2) + O(n^\omega)$ 时间内判断拟阵分支宽度是否不超过 $k$ 的算法,其中 $\omega$ 是矩阵乘法的指数。相比之前至少需要 $Ω(n^3)$ 时间的算法,该方法在时间效率上有了显著提升。此外,该算法还带来了对有向图秩宽和拟阵路径宽的更快计算方法,并适用于包含有限个不同元素值的无限域矩阵的近似分支宽度计算。

Comments 29 pages

详情
英文摘要

For an $n$-element matroid $M$ given by an $n \times n$ matrix representation over a finite field $\mathbb F$ and an integer $k$, we present an $(O_{k,\mathbb F}(n^2)+O(n^ω))$-time algorithm that either finds a branch-decomposition of $M$ of width at most $k$, or confirms that the branch-width of $M$ is more than $k$, where $ω< 2.3714$ is the matrix multiplication exponent, and the $O_{k,\mathbb F}(\cdot)$-notation hides factors that depend on $k$ and $\mathbb F$ in a computable manner. All previous algorithms including Hliněný and Oum [SIAM J. Comput. (2008)] and Jeong, Kim, and Oum [SIAM J. Discrete Math. (2021)] run in at least $Ω(n^3)$ time. Moreover, if the input matrix representation is given by a standard form, our algorithm runs in $O_{k,\mathbb F}(n^2)$-time, since $O(n^ω)$-time is only needed for finding a standard form of the input matrix. When $M$ is given by an $m \times n$ matrix, the overhead for finding a standard form is $O(mn \min(m,n)^{ω-2})$. As corollaries, we obtain faster algorithms for rank-width of directed graphs and path-width of matroids represented over a fixed finite field. Furthermore, we also present an approximation algorithm for finding branch-width that works on infinite fields provided that the input matrix is of a standard form and contains a bounded number of distinct values of entries. To suggest that our algorithm is optimal, we observe that for every field $\mathbb F$, deciding whether the branch-width of a matroid represented over $\mathbb F$ is $0$ is as hard as deciding whether a square matrix over $\mathbb F$ is singular. Under the assumption that singularity testing requires $Ω(n^ω)$-time, this implies that the overhead of $O(n^ω)$ is unavoidable. We also show strengthenings of this observation to rule out some approximations under this assumption.

2605.14425 2026-05-15 math.CV

On some properties of logarithmic coefficients of inverse of univalent functions

Milutin Obradović, Nikola Tuneski, Paweł Zaprawa

AI总结 本文研究了单位圆内单叶函数的反函数的对数系数的一些性质,特别讨论了凸函数的情况。作者给出了初始对数系数的模的估计,并在某些情况下证明了这些估计是精确的,同时分析了两个连续系数模之间的差异。研究结果深化了对单叶函数反函数解析性质的理解。

详情
英文摘要

In this paper we consider some properties of the initial logarithmic coefficients for inverse functions of functions univalent in the unit disc. The case of convex functions is treated separately. We give estimate, in some cases sharp, of the modulus of the initial coefficients, as well as the difference of the modulus of two consecutive coefficients.

2605.14424 2026-05-15 astro-ph.GA physics.chem-ph

Observation of spontaneous N-bearing PAH formation using ion trap: a new formation pathway in the interstellar medium

Siddhartha S. Payra, Pratikkumar Thakkar, Shiv Gupta, Ruth Ann Mathews, Yash Lenka, Saurav Dutta, Nihar Ranjan Behera, Krishna R. Nandipati, G. Aravind

AI总结 本研究通过离子阱技术观察到一种新的含氮多环芳烃(N-PAH)的自发形成路径,揭示了气相嘧啶阳离子与乙炔之间的无能垒反应机制,生成了一种此前未被报道的环内含氮N-PAH分子。该发现为星际介质及土卫六大气中复杂有机分子的形成机制提供了新的线索,对天体化学研究具有重要意义。

详情
英文摘要

Nitrogen-bearing polycyclic aromatic hydrocarbons (N-PAHs) are key precursors to complex organic molecules in both the interstellar medium and the nitrogen-rich planetary atmospheres. Despite the recent detections of nitrogen-functionalized astromolecules, their formation pathways remain an open question. The discrepancies between their predicted and observed abundances point to unknown mechanism that govern their evolution in the astrophysical environments. Employing an ion trap technique and electronic structure calculations, we unravel multiple barrier-less reactions between gas-phase pyrimidine cations (C$_4$H$_4$N$_2^+$) and acetylene (C$_2$H$_2$) which form an hitherto unreported endocyclic- N-PAHs (C$_8$H$_7$N$_2^+$). The present measurements on reactions involving a double-nitrogen subsituted aromatic heterocycle have implications to the astrochemistry of both the Titan's atmosphere and interstellar medium.

2605.14419 2026-05-15 cs.DS

zSort: Stable Distribution Sort using Z-Score Partitioning

Hriday Jain, Ketan Sabale, Aditya Shastri, Hiren Kumar Thakkar, Ashutosh Londhe

AI总结 zSort 是一种基于 z 分数划分的稳定分布排序算法,旨在解决传统排序算法中稳定性与性能难以兼顾的问题。该算法通过自适应的 z 分数划分策略,在保证排序稳定性的同时避免了与键宽相关的复杂度增长。实验表明,zSort 在多种输入分布和大规模数据集上均优于现有的稳定排序算法,性能提升可达 3 到 4.5 倍,并在保持稳定性的前提下实现了与高性能不稳定算法相当的吞吐量。

详情
英文摘要

Sorting is a foundational primitive in modern data processing, influencing the execution speed of high-performance data pipelines. However, the algorithmic landscape is currently bifurcated by a pervasive "Stability Tax": practitioners must sacrifice either order preservation for high throughput or execution speed for stability. To address these limitations, this paper introduces, zSort, an adaptive z-score based distribution sorting algorithm that guarantees stability while avoiding pass complexity that scales with key-width. The performance of the proposed technique is evaluated using Microarchitectural analysis and experimental results. Microarchitectural analysis shows that zSort achieves a lower bad-speculation overhead (19.7%) than both stable baselines and several high-performance unstable algorithms and sustains a competitive IPC of 1.44. Empirical evaluation across diverse input distributions and datasets of up to 10^7 elements (64 bit) demonstrates that zSort consistently outperforms widely used comparison based stable sorting algorithms, achieving up to 3x-4.5x speedups, and a relatively better performance compared to LSD Radix, with larger gains on duplicate heavy and partially ordered inputs. Despite providing stability, zSort achieves comparable throughput as compared to high-performance unstable algorithms such as Skasort. It also maintains this performance on adaptive workloads where methods like Pdqsort typically excel and doesn't exhibit any extreme worst case. These results indicate that zSort substantially narrows the traditional performance gap between stable and unstable sorting and provides an efficient, stable sorting alternative.

2605.14412 2026-05-15 physics.optics

Tunable high-$Q$ Janus-to-chiral bound states in the continuum in bilayer PhCs

Zhexing Dong, Shengxuan Xia, Yee Sin Ang, Haiyu Meng

AI总结 该研究提出了一种双层全介电光子晶体结构,用于调控连续统中的Janus束缚态(BIC)和光学手性。通过选择性对称扰动,研究人员利用层间位移调控辐射通道的拓扑电荷,生成具有强手性选择性的Janus-手性BIC,并通过平面内位移进一步重构其极化拓扑。研究还表明,材料电导率可作为额外的调控自由度,实现可切换的高圆二色性响应,揭示了Janus辐射、极化奇点与内在手性之间的拓扑关系,为可重构的高品质因子手性光子器件提供了新路径。

详情
英文摘要

We propose a bilayer all-dielectric PhC for controlling Janus bound states in the continuum (BIC) and optical chirality through symmetry-selective perturbations. Starting from a symmetry-protected $Γ$-point BIC, we use interlayer displacement as one geometric control knob to generate different topological charges in the upward radiation and downward radiation channels. A subsequent diagonal in-plane displacement reconstructs the polarization topology around the BIC and generates a Janus-chiral BIC with strong handedness selectivity. In contrast, other in-plane perturbations generate chiral quasi-BICs with finite radiative coupling, for which the circular dichroism (CD) and resonance wavelength can be continuously tuned. We further show that material conductivity provides an additional dissipative degree of freedom for actively modulating the chiral response, with a switchable CD exceeding 0.89. Near-field optical-chirality distributions and multipole decompositions reveal that the chiral response originates from a symmetry-induced imbalance of local optical handedness and a spin-selective magnetic-dipole resonance. These results reveal the topological relationship between Janus radiation, polarization singularities and intrinsic chirality, thus paving a scalable route toward reconfigurable high-$Q$ chiral photonics.

2605.14410 2026-05-15 gr-qc

Dyonic black holes supporting nearly-black self-gravitating thin shells

Shahar Hod

AI总结 本文研究了具有准拓扑非线性电动力学场的荷电黑洞时空,探讨其能否支持具有自引力的薄壳结构。通过分析度规函数的径向导数特性,作者证明在特定径向区域中可以稳定地存在接近黑洞的自引力薄壳。研究发现,这些薄壳的半径具有普适性,与中心黑洞的质量无关,为理解黑洞与物质壳层的相互作用提供了新的视角。

Comments 11 pages

详情
英文摘要

It has recently been revealed that dyonic black-hole spacetimes of a quasitopological non-linear electrodynamic field theory may be characterized by discrete radial regions with the property $dg_{tt}(r)/dr=0$ in which spherically symmetric massive {\it test} shells (Dyson shells with negligible self-gravity) can be supported in static equilibrium states. In the present paper we prove that the dyonic spacetimes of the non-linear electrodynamic field theory may also be characterized by the presence of radial regions with the dimensionless property $d[r\cdot g_{tt}(r)]/dr\to0^+$ in which massive {\it self-gravitating} thin shells that are on the verge of becoming black holes can be supported in static equilibrium states. Intriguingly, it is proved that the discrete radii of these self-gravitating nearly-black Dyson shells are universal in the sense that they are independent of the masses of the central supporting dyonic compact objects.

2605.14409 2026-05-15 math.OC

On the Nature of Regularity Assumptions in Bilevel Optimization with Constrained Lower-level Problem

Xiaotian Jiang, Chang He, Mingyi Hong, Shuzhong Zhang

AI总结 本文研究了在带有约束下层问题的双层优化中常用的正则性假设,如线性独立约束资格、严格互补松弛条件和二阶充分条件。作者指出,要求这些条件在所有上层变量 $x$ 处都成立是一个很强的条件,几乎无法通过扰动下层问题的函数来满足。相反,这些条件在几乎所有 $x$ 处成立则是一个较弱且普遍适用的假设。研究还揭示了这两种要求在理论和计算上的本质差异,尽管它们仅在测度零集上不同,却对双层优化带来了根本性的挑战。

详情
英文摘要

In this paper, we study the regularity assumptions commonly adopted in bilevel optimization with constrained lower-level problems, including the linear independence constraint qualification, the strict complementary slackness condition, and the second-order sufficient condition. These conditions are typically required to hold for the lower-level problem at every upper-level variable $x$. We first show that the requirement that these conditions hold at every upper-level variable $x$ is strong, in the sense that it is non-prevalent: there exist problems for which no sufficiently small perturbation of the lower-level objective and constraints can make the conditions hold at every $x$. To establish the result, we prove rigidity theorems showing that certain structural quantities of the lower-level problem must remain invariant across all $x$ whenever these conditions hold everywhere. We then construct explicit counterexamples in which these invariants differ between two values of $x$. In contrast, we show that the weaker requirement, that these conditions hold at almost every $x$, is a weak assumption, in the sense that it is prevalent: with probability one over a random perturbation of the lower-level objective and constraints, each condition holds at almost every $x$. We further analyze the gap between the two requirements. Although the ``every $x$'' and ``almost every $x$'' versions differ only on a measure-zero set, we show that this difference introduces fundamental difficulties in both theory and computation for bilevel optimization.

2605.14408 2026-05-15 cond-mat.mtrl-sci cond-mat.mes-hall physics.app-ph physics.chem-ph

Strain-Enhanced Hydrogen Evolution, Electrical, Optical, and Thermoelectric Properties of the Multifunctional 2D CrSi2N4 Monolayer

Rao Uzair Ahmad, Fahd Sikandar Khan, Nasir Javed

AI总结 该研究通过第一性原理计算,系统评估了二维材料CrSi₂N₄单层在结构、电子、光学、热电及电催化等方面的性能。该材料具有稳定的七层对称结构,表现出良好的力学和热稳定性,并在拉伸应变下显著提升了析氢反应活性和热电性能。研究结果表明,CrSi₂N₄是一种多功能的新型二维材料,有望在热能回收、光电探测和绿色催化等领域得到应用。

详情
英文摘要

First-principles density functional theory (DFT) is employed to evaluate the structural, electronic, optical, thermoelectric, and electrocatalytic properties of monolayer CrSi2N4. Its symmetric N-Si-N-Cr-N-Si-N septuple-layer structure exhibits dynamic, thermal (300 K), and mechanical stability, supported by a -8.76 eV/atom cohesive energy. PBE and HSE06 functionals reveal an indirect bandgap of 0.58 eV and 2.16 eV, respectively, driven by localized Cr-3d and N-2p states. The monolayer features 15.57 static dielectric constant and maximum absorption coefficients of 0.9 X 10^6 cm-1 (visible) and 1.4 X 10^6 cm-1 (deep-UV). Semiclassical Boltzmann calculations predict an outstanding room-temperature n-type thermoelectric power factor of 3.5 x mW/mK2. For hydrogen evolution (HER), the basal plane yields a baseline hydrogen adsorption free energy (ΔGH) of 1.05 eV at the N-site. Applying +5% expansive biaxial strain improves HER kinetics, reducing ΔGH to 0.46 eV. Thus, CrSi2N4 is a resilient, tuneable candidate for waste-heat recovery, photodetectors, and sustainable electrocatalysis.

2605.14402 2026-05-15 math.CO

A Study on Type-2 Isomorphic Circulant Graphs: Part 8: $C_{432}(R)$, $C_{6750}(S)$ -- each has 2 types of Type-2 isomorphic circulant graphs

Vilfred Kamalappan

AI总结 本文研究了两类具有 Type-2 同构性质的循环图 $C_{432}(R)$ 和 $C_{6750}(S)$,分别在参数 $m=2$ 与 $m=3$、以及 $m=3$ 与 $m=5$ 下表现出 Type-2 同构特性。这是关于 Type-2 同构循环图系列研究的第八部分,进一步揭示了这类图在不同参数下的结构相似性。

Comments 99 pages

详情
英文摘要

In this study, we obtain the following two families of circulant graphs each has Type-2 isomorphic circulant graphs w.r.t. $m$ such that $m$ has more than one value. (i) Family of circulant graphs $C_{432}(R)$, each has isomorphic circulant graphs of Type-2 w.r.t. $m$ = 2 as well as $m$ = 3; and (ii) Family of circulant graphs $C_{6750}(S)$, each has isomorphic circulant graphs of Type-2 w.r.t. $m$ = 3 as well as $m$ = 5. This study is the $8^{th}$ part of a detailed study on Type-2 isomorphic circulant graphs having ten parts \cite{v2-1}-\cite{v2-10}.

2605.14400 2026-05-15 econ.EM

Partial Identification of the Valuation Distribution in Sequential English Auctions

Dongwoo Kim, Kyoo il Kim, Pallavi Pal

AI总结 本文将Haile和Tamer(2003)提出的静态英语拍卖不完全模型扩展到序贯英语拍卖中,考虑了竞拍者可能等待未来机会的情况,引入了动态机会成本约束,从而在无需求解动态均衡的前提下,得出非参数估值的上下界。作者提出了一种新的矩条件逆向估计方法,能够处理不同竞拍人数的拍卖数据,提高了估计稳定性,并支持解析标准误和光滑置信区间。该方法应用于韩国二手车拍卖和Cars and Bids在线拍卖,得出具有实际意义的估值区间,并揭示了等待选项对拍卖收益的影响及竞争程度对卖家收入的显著提升作用。

详情
英文摘要

This paper extends the incomplete model of Haile and Tamer (2003) from static English auctions to sequential English auctions. Because bidders may wait for future opportunities, the static condition that bidders do not let rivals win at beatable prices need not hold. We replace it with a dynamic opportunity-cost restriction, yielding nonparametric valuation bounds without solving a dynamic equilibrium. Sharp bounds are also characterized. We propose a novel moment-condition inversion estimator that pools auctions with heterogeneous bidder counts, mitigating finite-sample instability of order statistics approaches and admitting analytical standard errors and smooth confidence intervals. Applications to Korean wholesale used-car auctions and Cars and Bids online auctions deliver informative bounds. Counterfactual analyses show that the option to wait lowers first-period revenue by 8--11% in the Korean market, that increasing effective competition from 8 to 20 serious bidders in Cars and Bids raises seller revenue by 40--65%, and that maximin reserve prices vary substantially across vehicle clusters.

2605.14397 2026-05-15 physics.geo-ph cs.NA math.NA physics.comp-ph physics.flu-dyn

Three dimensional simulation of fluid-driven frictional and tensile ruptures on existing discontinuities

Brice Lecampion, Sylvain Brisson, Antareep Sarma, Ankit Gupta, Alexis Sáez, Regina Fakhretdinova

AI总结 本文提出了一种隐式全耦合的水力-机械求解器,用于模拟流体驱动的沿已有不连续面的三维摩擦滑动和张性破裂传播。该方法结合边界元法和有限元法,能够同时处理任意交叉断层和裂缝中的剪切滑动与张性开裂,并通过弹性预测-塑性修正方案实现复杂耦合行为的模拟。研究展示了该方法在多种复杂情况下的准确性与收敛性,并应用于多裂缝系统的实际案例分析,为理解流体驱动破裂的力学机制提供了有效工具。

详情
英文摘要

We present an implicit, fully-coupled hydro-mechanical solver for the three dimensional simulation of fluid-driven rupture propagation along existing discontinuities. The solver handles simultaneously frictional slip (shear failure) and tensile opening (hydraulic fracture) along arbitrary intersecting fractures and faults in a linearly elastic and impermeable rock matrix. The spatial discretization combines a collocation displacement discontinuity boundary element method for quasi-static elasticity with a Galerkin finite element method for nonlinear pore-fluid diffusion along the discontinuities. Frictional and tensile failure are governed by a poro-elastoplastic cohesive zone like interface law with slip-weakening friction, dilatancy, and tensile strength degradation, integrated via an elastic predictor-plastic corrector scheme. The strong nonlinear coupling between mechanical deformation and fracture permeability is handled via adaptive implicit time-stepping. Efficient block preconditioning of the coupled tangent system, leveraging hierarchical matrix representations of the boundary element operator, is essential to achieve robustness across the full range of fracture behaviors. Accuracy and convergence are demonstrated against a comprehensive suite of analytical and semi-analytical solutions of increasing complexity: fluid-driven frictional ruptures under constant and slip-weakening friction, dilatant ruptures with permeability changes, and penny shaped hydraulic fractures spanning the viscosity-to-toughness transition. The solver is further assessed on two multi-fracture configurations: injection into three intersecting fractures, and a height-confined hydraulic fracture intersecting a strike-slip fault. The proposed framework simultaneously captures frictional slip, dilatancy, permeability evolution, and tensile opening.

2605.14394 2026-05-15 quant-ph

Nonreciprocal magnon-magnon entanglement in a spinning cavity-magnon system

Zhisheng Xu, Mengxue Li, Chunfang Sun, Gangcheng Wang

AI总结 本文研究了在旋转腔-磁子系统中生成非对称磁子-磁子纠缠的方案。通过利用磁子的Kerr非线性效应和腔体旋转引起的萨格纳克效应,该方案显著增强了纠缠,并表现出明显的非对称特性。研究还表明,该纠缠在热噪声下仍具有鲁棒性,可在高达100 mK的温度下稳定存在,展示了旋转腔-磁子系统在实现非对称量子器件和推动量子技术发展中的潜力。

详情
英文摘要

Cavity-magnon systems, combining magnons and photons, offer a versatile platform for studying quantum entanglement and advancing quantum information science. In this work, we propose a scheme for generating nonreciprocal magnon-magnon entanglement in a hybrid system consisting of two yttrium iron garnet spheres coupled to a spinning whispering-gallery-mode cavity. By leveraging the magnon Kerr nonlinearity and the Sagnac effect arising from the cavity rotation, we show that the entanglement can be substantially enhanced, and the resulting entanglement exhibits pronounced nonreciprocal characteristics. Furthermore, our scheme demonstrates that the entanglement remains robust against thermal noise and persists at bath temperatures up to 100 mK. This work underscores the potential of spinning cavity-magnon systems as a versatile platform for realizing nonreciprocal quantum devices and facilitating the development of quantum technologies.

2605.14390 2026-05-15 math.LO math.GR

Model-theoretic Tameness in finite extensions of groups

Yatir Halevi, Saharon Shelah

AI总结 本文研究了在有限扩张下ω-稳定群的模型论性质,指出这类群的有限指数扩张或子群可能在模型论上表现出“不驯服”的特性。作者证明了存在某个ω-稳定群,使得任意给定的有限语言可数一阶结构均可在该群的某个有限指数扩张或子群中被解释。这一结果揭示了有限扩张对模型论性质的影响,为理解群的模型论行为提供了新的视角。

详情
英文摘要

It is shown that finite-index extensions and finite-index subgroups of $ω$-stable groups can be model-theoretically wild. More precisely, there exists an $ω$-stable group $G$ such that any given countable first-order structure in a finite language is interpretable both in some finite-index extension of $G$ and in some finite-index subgroup of $G$.

2605.14388 2026-05-15 q-bio.NC

Multiple mechanisms of rhythm switching in recurrent neural networks with adaptive time constants

Yutaka Yamaguti, Shota Nakamura

AI总结 该研究探讨了具有自适应时间常数的递归神经网络(RNNs)在多频段节律切换中的内部机制。通过训练具有神经元特异性可学习时间常数的漏积分RNN模型,研究发现低频节律由大量神经元共同参与生成,而高频节律则主要由少量时间常数较短的神经元主导。研究还揭示了节律切换依赖于多种共存机制,如活跃子群体的更替、网络整体基线变化以及神经元间相位重组,并指出不同训练运行中实现方式存在多样性,为理解神经系统的节律特异性功能分化提供了理论框架。

Comments 19 pages, 8 figures

详情
英文摘要

Although recurrent neural networks (RNNs) trained on cognitive tasks have become a widely used framework for studying neural computation, the internal mechanisms by which RNNs switch between rhythms across multiple frequency bands, and how these mechanisms relate to neuronal time constants, have not been systematically analyzed. We trained leaky integrator RNNs with neuron-specific learnable time constants on a four-band (theta, alpha, beta, gamma) rhythm-switching task and analyzed 20 independently trained networks. Whereas low-frequency rhythms were produced by distributed participation of many neurons, high-frequency rhythms were dominated by a small subpopulation of short-time-constant neurons, and the negative correlation between time constant and matched-mode amplitude strengthened monotonically with frequency. Rhythm switching was supported by multiple coexisting mechanisms: turnover of the active subpopulation, network-wide baseline shifts that reposition the operating point near distinct unstable fixed points, and inter-neuronal phase reorganization that selectively cancels or supports band components in the population output. The mechanism deployed for each mode pair varied across training runs, exposing a degeneracy of learned solutions. These findings parallel the coexistence of rhythm-specific and multi-rhythm interneurons reported in biological circuits and provide a candidate framework for interpreting frequency-band-specific functional differentiation in neural systems.