2026-10论文中文摘要
$\mathsf{Cheq}$ 的不可有限公理化与不可判定性
Non-finite Axiomatizability and Undecidability of $\mathsf{Cheq}$
arXiv 2609.39577 · 2026-10-01异步移动ISAC设备中基于IMU集成的可靠多普勒估计
Reliable Doppler Estimation in Asynchronous Moving ISAC Devices via IMU Integration
arXiv 2609.39576 · 2026-10-01ECHO-G: 具身共语拟人运动生成
ECHO-G: Embodied Co-speech Humanoid mOtion Generation
arXiv 2609.39575 · 2026-10-01多胶子振幅的精确颜色求和：直接法、多重态法与对称群傅里叶方法
Exact color sums for multi-gluon amplitudes: direct, multiplet and symmetric-group Fourier methods
arXiv 2609.39574 · 2026-10-01Steering Fields：用于安全图像生成及更广泛场景的自适应向量场
Steering Fields: Adaptive Vector Fields for Safe Image Generation and Beyond
arXiv 2609.39573 · 2026-10-01紧凑语言，复杂模型转变：歧义与欠指定如何及在何处影响大语言模型
Compact Language, Complex Model Shifts: How and Where Ambiguity and Underspecification Affect LLMs
arXiv 2609.39572 · 2026-10-01稀疏规划器：一种基于条件变分自编码器的高效采样混合规划器
Sparse Planner: A Hybrid Planner for Efficient Sampling via a Conditional Variational Autoencoder
arXiv 2609.39570 · 2026-10-01配偶保护型唐提式养老金：基于神经网络优化的家庭减支
Spouse-Protected Tontines: Household Decumulation via Neural-Network Optimization
arXiv 2609.39569 · 2026-10-01自规格可验证代码生成
Self-Spec Verifiable Code Generation
arXiv 2609.39568 · 2026-10-01球面拓扑曲面的不变形状分析
Invariant Shape Analysis of Surfaces with Spherical Topology
arXiv 2609.39567 · 2026-10-01从给定证据到主动收集证据：面向纵向医学推理的智能体学习
From Given to Gathered Evidence: Agentic Learning for Longitudinal Medical Reasoning
arXiv 2609.39566 · 2026-10-01Montesinos纽结的Delta-解结数为一
Montesinos Knots with Delta-Unknotting Number One
arXiv 2609.39565 · 2026-10-01RESUME：基于运动与残差信号的循环状态更新，用于高效视频语言建模
RESUME: Recurrent State Updates from Motion and Residual Signals for Efficient Video Language Modeling
arXiv 2609.39563 · 2026-10-01衣藻纤毛的轴丝弯曲刚度暗示单分子马达力超过 5 pN
Axonemal bending stiffness of $\mathit{Chlamydomonas}$ cilia implies single-motor forces above $5\,\mathrm{pN}$
arXiv 2609.39562 · 2026-10-01候选保留用于溯因学习
Candidate Retention for Abductive Learning
arXiv 2609.39561 · 2026-10-01自排斥采样用于扩散语言模型
Self-Repulsive Sampling for Diffusion Language Models
arXiv 2609.39560 · 2026-10-01分而治之：通过精确分解为独立子实例实现MAPF-Collapse
Divide and Collapse: MAPF-Collapse via Exact Decomposition into Independent Sub-Instances
arXiv 2609.39559 · 2026-10-01基于人体力矩估计的任务无关辅助外骨骼控制的一般性能保证
General Performance Guarantee for Human Torque Estimation-Based Task-Agnostic Assistive Exoskeleton Control
arXiv 2609.39558 · 2026-10-01压缩静态函数的一致性方法
Consensus for Compressed Static Functions
arXiv 2609.39557 · 2026-10-01精确最大似然解码超越树宽：基于秩分解动态规划
Exact Maximum Likelihood Decoding beyond Treewidth via Rank-Decomposition Dynamic Programming
arXiv 2609.39556 · 2026-10-01Judd-Ofelt分析：采用MCVD结合纳米颗粒掺杂制备的掺钬铝硅酸盐光学玻璃
Judd-Ofelt analysis of holmium-doped alumino-silicate optical glass prepared by MCVD combined with nanoparticle doping
arXiv 2609.39555 · 2026-10-01K3曲面中Lagrangian球面的Thomas-Yau-Joyce结果
A Thomas-Yau-Joyce result for Lagrangian spheres in K3 surfaces
arXiv 2609.39554 · 2026-10-01EffGS：高效且高保真的高斯泼溅
EffGS: Efficient and High-Fidelity Gaussian Splatting
arXiv 2609.39553 · 2026-10-01编码器中的幽灵：歌词到歌曲生成中可解码的艺术家身份表示
Ghost in the Encoder: Decodable Artist Identity Representations in Lyrics-to-Song Generation
arXiv 2609.39552 · 2026-10-01RankEvolve：一种用于演化排序模型的可靠多智能体自动研究框架
RankEvolve: A Reliable Multi-Agent Auto-Research Harness for Evolving Ranking Models
arXiv 2609.39551 · 2026-10-01双曲原型路由用于无重放类增量学习
Hyperbolic Prototype Routing for Rehearsal-Free Class-Incremental Learning
arXiv 2609.39550 · 2026-10-01投机性安全蜜罐：面向多轮智能体攻击的主动防御
Speculative Safety Honeypot: Toward Proactive Defense Against Multi-turn Agent Attacks
arXiv 2609.39549 · 2026-10-01学习正常扩散动力学用于文本到图像模型的后门防御
Learning Normal Diffusion Dynamics for Backdoor Defense in Text-to-Image Models
arXiv 2609.39548 · 2026-10-01在不完美先验条件下学习可靠的GUI智能体
Learning Reliable GUI Agents under Imperfect Priors
arXiv 2609.39547 · 2026-10-01FAIR合规的异构天文数据架构：KazVO框架
FAIR-Compliant Architecture for Heterogeneous Astronomical Data: KazVO Framework
arXiv 2609.39546 · 2026-10-01无等波速型假设下具有间接一般记忆阻尼的耦合二阶发展方程的稳定性
Stability for coupled second order evolution equations with indirect general memory-dampings without the equal-wave-speeds-type hypothesis
arXiv 2609.39545 · 2026-10-01动力学陷俘区域的现象学
Phenomenology of dynamical trapped regions
arXiv 2609.39543 · 2026-10-01预训练模型在驾驶行为视频描述中的适配方法比较研究
Comparative study of adapting pre-trained models for driving behavior video captioning
arXiv 2609.39542 · 2026-10-01玻璃中玻色峰与振动相位之间的关系
On the Relation Between the Boson Peak and the Vibrational Phases in Glasses
arXiv 2609.39541 · 2026-10-01重新审视球腔内大质量标量场的真空能量
Reconsidering the Vacuum Energy of a Massive Scalar Field in a Spherical Cavity
arXiv 2609.39540 · 2026-10-01关于伪半球超图的色数
On the chromatic number of pseudohemisphere hypergraphs
arXiv 2609.39538 · 2026-10-01可复用的语义网框架：基于证据的欧盟《人工智能法案》基本权利影响评估
A Reusable Semantic Web Framework for Evidence-Grounded Fundamental Rights Impact Assessments under the EU AI Act
arXiv 2609.39537 · 2026-10-01高能He+辐照在块体h-BN中产生的硼空位
Boron vacancies in bulk h-BN created by high-energy He+ irradiation
arXiv 2609.39535 · 2026-10-01I$_2$和CH$_3$I在过渡金属修饰的二维材料基底上吸附的第一性原理研究：电子结构与反应动力学的见解
First-Principles Study of I$_2$ and CH$_3$I Adsorption on Transition Metal Decorated 2D-Material substrates : Insights from Electronic Structure and Reaction Kinetics
arXiv 2609.39534 · 2026-10-01通过LP对偶获得带预算拍卖的紧致流动性福利保证
Tight Liquid Welfare Guarantees for Auctions with Budgets via LP Duality
arXiv 2609.39532 · 2026-10-01WEIRDO：弱残差正则化的Doob h-变换扩散对齐
WEIRDO: WEak resIdual Regularized DOob's h-transform diffusion alignment
arXiv 2609.39531 · 2026-10-01将 eBPF 可观测性扩展到非标准执行环境
Extending eBPF observability to Non-standard execution environments
arXiv 2609.39530 · 2026-10-01超大质量带电引力微子与Lux-Zeplin事件
Supermassive charged gravitinos and the Lux-Zeplin event
arXiv 2609.39529 · 2026-10-01量子自旋环境中最优局部恢复不能改变临界正交指数
Optimal local recovery cannot alter critical orthogonality exponents in quantum spin environments
arXiv 2609.39528 · 2026-10-01镜头光晕去除与重建
Lens Flare Removal and Reconstruction
arXiv 2609.39527 · 2026-10-01离散强制：将离散引导注入连续去噪以实现少步动作专家
Discrete Forcing: Infusing Discrete Guidance into Continuous Denoising for Few-Step Action Experts
arXiv 2609.39526 · 2026-10-01利用辅助监督缓解摊销贝叶斯推断中的表示差距
Mitigating Representation Gaps in Amortized Bayesian Inference with Auxiliary Supervision
arXiv 2609.39525 · 2026-10-01广义仿射分形插值函数的Assouad型维数及其应用
Assouad type dimensions of generalized affine fractal interpolation functions and their applications
arXiv 2609.39524 · 2026-10-01CIDER-FM：面向多样实验机制因果推断的基础模型
CIDER-FM: Foundation Models for Causal Inference from Diverse Experimental Regimes
arXiv 2609.39523 · 2026-10-01基于ZnSe的场效应晶体管在低温下的实现，作为未来自旋量子比特应用的平台
Realization of ZnSe-based Field-Effect Transistors operating at Cryogenic Temperatures as a Platform for Future Spin-Qubit Applications
arXiv 2609.39521 · 2026-10-01
