2026-09论文中文摘要
优化下的对象到源映射：控制流踪迹能展示什么，以及源级覆盖在何处失效
Object-to-Source Mapping under Optimization: What a Control-Flow Trace Can Show, and Where Source-Level Coverage Breaks
arXiv 2609.29656 · 2026-09-25关于阿米巴轮廓的解析性
On the Analyticity of Amoeba Contours
arXiv 2609.29654 · 2026-09-25有限域本原元稠密子集中的算术级数
Arithmetic progressions in dense subsets of primitive elements of finite fields
arXiv 2609.29653 · 2026-09-25SmallReason-ColBERT：用于推理密集型检索的超小型后期交互检索器
SmallReason-ColBERT: An Ultra-Small Late-Interaction Retriever for Reasoning Intensive Retrieval
arXiv 2609.29652 · 2026-09-25随机化Jacobi-Davidson方法
Randomized Jacobi-Davidson method
arXiv 2609.29651 · 2026-09-25VG-TIE：一种基于可见性图的可解释表格到图像编码方法
VG-TIE: An interpretable tabular-to-image encoding method based on visibility graphs
arXiv 2609.29650 · 2026-09-25OBLIQ-IR：训练面向斜向查询的稠密检索器
OBLIQ-IR: Training a Dense Retriever for Oblique Queries
arXiv 2609.29649 · 2026-09-25Albireo：面向边缘视频目标检测的自适应、能效推理框架
Albireo: Adaptive, Energy-Efficient Inference Framework for Video Object Detection on the Edge
arXiv 2609.29648 · 2026-09-25AgentKernel：信任原生的智能体操作系统
AgentKernel: The Trust-Native Agentic Operating System
arXiv 2609.29647 · 2026-09-25顺序Phragmén规则保证2-近似核心稳定性
Sequential Phragmén Guarantees 2-Approximate Core Stability
arXiv 2609.29646 · 2026-09-25嵌入式系统中信息流安全的自动化抽象精化
Automated Abstraction Refinement for Information Flow Security in Embedded Systems
arXiv 2609.29645 · 2026-09-25大型空间结构的无标记多模态自主机器人检测
Markerless Multi-Modal Autonomous Robotic Inspection of Large Space Structures
arXiv 2609.29644 · 2026-09-25在 $S^4$ 上分离 Schur 乘子的算子范数与完全有界范数的最优方阵尺寸
Optimal square size for separating the operator and completely bounded norms of Schur multipliers on $S^4$
arXiv 2609.29643 · 2026-09-25高维Bedford-McMullen子移位的临界Hausdorff测度
Critical Hausdorff Measure for Higher-Dimensional Bedford-McMullen Subshifts
arXiv 2609.29642 · 2026-09-25网络物理系统中滤波、估计与故障检测的分布式算法：教程与综述
Distributed Algorithms for Filtering, Estimation, and Fault Detection over Cyber-Physical-Systems: A Tutorial and Survey
arXiv 2609.29640 · 2026-09-25SpectralCTGaussians：使用3D高斯泼溅的投影域重建与谱CT基础材料分解
SpectralCTGaussians: Projection-Domain Reconstruction and Basis Material Decomposition for Spectral CT using 3D Gaussian Splatting
arXiv 2609.29638 · 2026-09-25Meta分析中的设计索引异质性：一种约束位置-尺度规范
Design-Indexed Heterogeneity in Meta-Analysis: A Constrained Location-Scale Specification
arXiv 2609.29637 · 2026-09-25办公规模验证搜索中的操作符包、提出者强度与构造家族平台期
Operator Packages, Proposer Strength, and Construction-Family Plateaus in Office-Scale Verified Search
arXiv 2609.29636 · 2026-09-25对称保护的带内激子-声子散射及其由质量不对称性引起的破坏
Symmetry-protected intraband exciton-phonon scattering and its breakdown by mass asymmetry
arXiv 2609.29634 · 2026-09-25TTLab at AlexandriaX-2026：用于阿拉伯语机器翻译错误跨度检测与分类的微调表面标签器
TTLab at AlexandriaX-2026: A Fine-Tuned Surface Tagger for Arabic Machine-Translation Error-Span Detection and Classification
arXiv 2609.29633 · 2026-09-25论 murmurations
On murmurations
arXiv 2609.29631 · 2026-09-25PANEM：一种启发式延迟模型
PANEM: A Heuristic Latency Model
arXiv 2609.29629 · 2026-09-25多簇开放系统的数学建模：最小作用先验下从聚合数据恢复转移算子
Mathematical modelling of a multicluster open system: transfer-operator recovery from aggregate data under a least-action prior
arXiv 2609.29628 · 2026-09-25从死区到稳定旋转：自启动垂直轴风力机的三维涡动力学
From Dead-Band to Steady Rotation: Three-Dimensional Vortex Dynamics of Self-Starting Vertical-Axis Wind Turbines
arXiv 2609.29627 · 2026-09-25iCoder-27B：递归式AI主导开发的尖端工业编码模型
iCoder-27B: Recursive AI-Led Development of Frontier Industrial Coding Model
arXiv 2609.29626 · 2026-09-25公共教育预测基准的有限结构可靠性：对七个数据集的四维审计
Limited Structural Reliability in Public Educational Prediction Benchmarks: A Four-Dimension Audit of Seven Datasets
arXiv 2609.29625 · 2026-09-25Gerdjikov--Ivanov方程中非凸流体动力学下稀疏波与色散冲击波之间的相互作用
Interactions between rarefaction waves and dispersive shock waves in the Gerdjikov--Ivanov equation with non-convex hydrodynamics
arXiv 2609.29624 · 2026-09-25关于Alon问题：连通支配数与支配数之差的界
On Alon's problem concerning the difference between connected domination number and domination number
arXiv 2609.29623 · 2026-09-25最优恢复遇见贝叶斯学习：最坏情况界何时值得
Optimal Recovery Meets Bayesian Learning: Where Worst-Case Bounds Pay Off
arXiv 2609.29622 · 2026-09-25AgenticCADedit：一种有状态、工具介导的多模态3D CAD编辑智能体方法
AgenticCADedit: A Stateful, Tool-Mediated Agentic Approach to Multimodal 3D CAD Editing
arXiv 2609.29621 · 2026-09-25CAGE：面向覆盖优化的机制感知算法工程
CAGE: Regime-Aware Algorithm Engineering for Coverage Optimization
arXiv 2609.29619 · 2026-09-25小型MLA--SSM混合语言模型的探索性消融研究
An Exploratory Ablation of a Small MLA--SSM Hybrid Language Model
arXiv 2609.29618 · 2026-09-25热增压与膨胀强化在实验室破裂中的竞争
Competition between thermal pressurization and dilatant strengthening in laboratory ruptures
arXiv 2609.29617 · 2026-09-25Bänsch型四面体网格细化算法的闭包复杂度
Closure complexity of Bänsch-type algorithms for tetrahedral mesh refinement
arXiv 2609.29616 · 2026-09-25开局即胜：三玩家拍卖桥牌赛前优势分析的迭代捕获算法
Winning Before You Play: An Iterative Capture Algorithm for Pre-Game Dominance Analysis in Three-Player Auction Bridge
arXiv 2609.29615 · 2026-09-25位错-位错偶系统的半离散建模：有限元公式
Semidiscrete Modeling of Dislocation-Disclination Systems: Finite Element Formulation
arXiv 2609.29614 · 2026-09-25恶性黑色素瘤的循证鉴别诊断
Evidence-Driven Differential Diagnosis of Malignant Melanoma
arXiv 2609.29613 · 2026-09-25面向时空语义轨迹数据的量子范围查询
Towards Quantum Range Query for Spatial-Temporal-Semantic Trajectory Data
arXiv 2609.29612 · 2026-09-25从成熟度模型到地面真相：调和网络安全能力框架与全球南方家庭层面的治理现实
From Maturity Models to Ground Truth: Reconciling Cybersecurity Capacity Frameworks with Household-Level Governance Realities in the Global South
arXiv 2609.29611 · 2026-09-25IMEX-FND：面向多模态假新闻检测的可追踪交互感知混合专家框架
IMEX-FND: A Traceable Interaction-Aware Mixture-of-Experts Framework for Multimodal Fake News Detection
arXiv 2609.29610 · 2026-09-25决策剖析：面向多模态推荐的不确定性感知分层意图学习流匹配方法
Anatomy of a Decision: Uncertainty-aware Hierarchical Intent Learning via Flow Matching for Multimodal Recommendation
arXiv 2609.29609 · 2026-09-25Scott-Vogelius 元在三维 Freudenthal 网格上四阶和五阶的一致稳定性：解决 Farrell-Mitchell-Scott 猜想
Uniform Stability of Scott-Vogelius Elements on Three-Dimensional Freudenthal Meshes in Degrees Four and Five: Resolving the Farrell-Mitchell-Scott Conjecture
arXiv 2609.29608 · 2026-09-25STRAND：视频大语言模型中以对象为中心的空间-时间监控的基准测试与改进
STRAND: Benchmarking and Improving Object-Centric Spatio-Temporal Monitoring in Video Large Language Models
arXiv 2609.29607 · 2026-09-25有界STL安全性的时间不变控制障碍函数
Time-Invariant Control Barrier Functions for Bounded STL Safety
arXiv 2609.29606 · 2026-09-25四维非平面欧几里得标量 $\varphi^{4}$ 理论在阶乘系数界下的四耦合 beta 函数求和规则，以及求和后 beta 函数良定义的定义域
A summation rule for the four-coupling beta function of four-dimensional nonplanar Euclidean scalar $φ^{4}$ theory under factorial coefficient bounds, and a domain on which the summed beta function is well defined
arXiv 2609.29605 · 2026-09-25PROVE：基于证明引导的机制感知算子验证，用于医学视觉问答中的幻觉检测
PROVE: Proof-guided Regime-aware Operator Verification for Hallucination Detection in Medical Visual Question Answering
arXiv 2609.29604 · 2026-09-25MoSign：面向匿名虚拟现实用户的挑战-响应运动水印认证
MoSign: Challenge-Response Motion-Watermark Authentication for Anonymous Virtual-Reality Users
arXiv 2609.29603 · 2026-09-25利用低频热射电辐射观测估算太阳日冕磁场强度
Estimates of magnetic field strength in the solar corona using observations of thermal radio emission at low frequencies
arXiv 2609.29602 · 2026-09-25将语言模型从视觉编码器中解放出来：语义序列化作为小语言模型的感知接口
Free the Language Model From the Vision Encoder: Semantic Serialization as a Perception Interface for Small Language Models
arXiv 2609.29601 · 2026-09-25联邦轨迹预测中的主动客户端选择：不确定性感知与异构复杂度
Active Client Selection in Federated Trajectory Prediction with Uncertainty-Awareness and Heterogeneous Complexity
arXiv 2609.29600 · 2026-09-25
