2026-07论文中文摘要
具有传递交换性条件的克林代数
Kleene Algebra with Transitive Commutativity Conditions
arXiv 2607.09635 · 2026-07-13关于$\mathbf{SO(3)}$-维滕-雷谢蒂金-图拉耶夫量子表示的密度和满射性
On the density and surjectivity of $\mathbf{SO(3)}$-Witten-Reshetikhin-Turaev quantum representations
arXiv 2607.09633 · 2026-07-13Lean-QIT：迈向量子信息理论的形式化基础设施
Lean-QIT: Towards a Formal Infrastructure for Quantum Information Theory
arXiv 2607.09632 · 2026-07-13割同伦与边着色问题的复杂性
Cut-homotopies and the complexity of edge-coloring problems
arXiv 2607.09631 · 2026-07-13合成数据和标签分布对油菜分枝计数的影响
The Effects of Synthetic Data and Label Distribution on Canola Branch Counting
arXiv 2607.09630 · 2026-07-13用于计算问题提出的间接和直接人工智能支架：初步经验报告
Indirect and Direct AI Scaffolding for Computational Problem Posing: A Pilot Experience Report
arXiv 2607.09628 · 2026-07-13局部可检查标记中局部计算算法的新复杂度类
New Complexity Classes in Locally Checkable Labeling for Local Computation Algorithms
arXiv 2607.09626 · 2026-07-13禁止较短奇圈的平面图中奇圈的最大数量
The maximum number of odd cycles in planar graphs forbidding shorter odd cycles
arXiv 2607.09624 · 2026-07-13通过置信度校准和增量推理实现特定任务的多模态问答代理，用于QANTA 2026
Task-Specific Multimodal Question Answering Agents via Confidence Calibration and Incremental Reasoning for QANTA 2026
arXiv 2607.09623 · 2026-07-13具有大皮卡数的超凯勒流形的对应关系
Correspondences for hyperkähler varieties with large Picard numbers
arXiv 2607.09622 · 2026-07-13非平衡经济学：物理学家的视角
Non-Equilibrium Economics: A Physicist's Point of View
arXiv 2607.09620 · 2026-07-13分段光滑向量场的同宿定理
Homoclinic Theorems for piecewise smooth vector fields
arXiv 2607.09618 · 2026-07-13用于前端设计中电子设计自动化的大语言模型：挑战与机遇
LLM for EDA in Front-End Design: Challenges and Opportunities
arXiv 2607.09616 · 2026-07-13热孤立驱动量子系统的涨落定理：非绝热性、额外功与强不等式
Fluctuation theorems for thermally isolated driven quantum systems: nonadiabaticity, excess work and strong inequalities
arXiv 2607.09615 · 2026-07-13Inunda：用于高分辨率洪水淹没建模的GPU原生、支持智能体、可微求解器
Inunda: A GPU-Native, Agent-enabled, Differentiable Solver for High-Resolution Flood Inundation Modeling
arXiv 2607.09614 · 2026-07-13用于分布数据的带特征选择的动态弗雷歇回归
Dynamic Frechet Regression with Feature Selection for Distributional Data
arXiv 2607.09613 · 2026-07-13幺半模型范畴的富集变化
Change of Enrichment for Monoidal Model Categories
arXiv 2607.09612 · 2026-07-13迈向实时句子级手语翻译
Toward Real-Time Sentence-Level Sign Language Translation
arXiv 2607.09611 · 2026-07-13在宇宙丝状结构轮廓中寻找模糊暗物质的特征
Searching for signatures of fuzzy dark matter in cosmic filament profiles
arXiv 2607.09609 · 2026-07-13媒体测量与自摆乌龙：归因、营销组合模型和个体层面的增量性
Media Measurement and the Assisted Own Goal: Attribution, Marketing-Mix Models, and Individual-Level Incrementality
arXiv 2607.09608 · 2026-07-13通过势阱实现二维光学连续波状态的稳定化
Stabilization of two-dimensional optical continuous-wave states by a potential trough
arXiv 2607.09607 · 2026-07-13圆锥体和凸多面体的重叠展开
Overlapping Unfoldings of Cones and Convex Polyhedra
arXiv 2607.09606 · 2026-07-13量子管弦乐队：递归混合程序的具体语义
Quantum Orchestras: a Concrete Semantics for Recursive Hybrid Programs
arXiv 2607.09605 · 2026-07-13利用荧光光谱和飞行时间对锶冷原子源进行表征
Characterisation of a strontium cold atom source using fluorescence spectroscopy and time-of-flight
arXiv 2607.09604 · 2026-07-13Mosaic：运行时高效的多智能体实体规划
Mosaic: Runtime-Efficient Multi-Agent Embodied Planning
arXiv 2607.09603 · 2026-07-13二元输入加性高斯白噪声（BIAWGN）信道上Reed-Muller码的软判决折叠投影聚合译码的密度进化
Density Evolution of Soft-Decision Collapsed Projection-Aggregation Decoding for Reed-Muller Codes over the BIAWGN Channel
arXiv 2607.09602 · 2026-07-13同调拓扑量子场论
Homological Topological Quantum Field Theories
arXiv 2607.09601 · 2026-07-13广义非线性虚时演化
Generalized Nonlinear Imaginary-Time Evolution
arXiv 2607.09599 · 2026-07-13用于量子协议的千兆赫兹速率全光纤有源偏振态分析仪
GHz-rate all-fiber active polarization state analyzer for quantum protocols
arXiv 2607.09597 · 2026-07-13使用一维湍流（ODT）对湍流同心环形管道流动的数值模拟：第2部分：传热
Numerical Simulation of Turbulent Concentric Annular Pipe Flow using One-Dimensional Turbulence (ODT): Part 2: Heat Transfer
arXiv 2607.09596 · 2026-07-13一种用于非绝热分子动力学的半经典高斯波包方法
A Semiclassical Gaussian Wavepacket Method for Non-Adiabatic Molecular Dynamics
arXiv 2607.09592 · 2026-07-13地球中微子振荡层析成像的二阶微扰修正
Second-Order Perturbative Correction for Neutrino Oscillation Tomography of the Earth
arXiv 2607.09591 · 2026-07-13PAC-ACT：用于动作分块变换器的训练后演员评论家方法
PAC-ACT: Post-training Actor-Critic for Action Chunking Transformers
arXiv 2607.09590 · 2026-07-13公正能源转型的区域经济影响：煤炭地区的经验教训
Regional Economic Impacts of the Just Energy Transition: Lessons for Coal Regions
arXiv 2607.09589 · 2026-07-13近线性时间内最小距离的改进近似
Improved Approximation of Min-Distances in Near-Linear Time
arXiv 2607.09588 · 2026-07-13CoDiMAD：基于扩散的特权蒸馏用于无通信多机器人协调
CoDiMAD: Diffusion-Based Privileged Distillation for Communication-Free Multi-Robot Coordination
arXiv 2607.09587 · 2026-07-13TrustX智能体风险分类框架（ARC）：对内部创建的智能体人工智能系统进行风险分层
TrustX Agent Risk Classification Framework (ARC): Risk-Tiering Internally Created Agentic AI Systems
arXiv 2607.09586 · 2026-07-13具有逆平方势的薛定谔算子的精确和端点双权分数积分估计
Sharp and Endpoint Two-Weight Fractional Integral Estimates for Schr"odinger Operators with Inverse-Square Potentials
arXiv 2607.09585 · 2026-07-13KnitID：用于无电池认证、定位和交互的机器编织RFID天线
KnitID: Machine-Knitted RFID Antennas for Battery-Free Authentication, Localization and Interaction
arXiv 2607.09584 · 2026-07-13从上方进行可提示的概念分割：评估SAM 3在遥感中的零样本和单样本能力
Promptable Concept Segmentation from Above: Evaluating SAM 3's Zero-Shot and One-Shot Capabilities in Remote Sensing
arXiv 2607.09583 · 2026-07-13用于化学动力学建模的具有残差数据增强的熵约束机器学习
Entropy-Constrained Machine Learning with Residual Data Augmentation for Modeling Chemical Kinetics
arXiv 2607.09582 · 2026-07-13高度守恒量子二聚体模型中的热化
Thermalization in a Height-Conserving Quantum Dimer Model
arXiv 2607.09580 · 2026-07-13错误模型有多大用处？线性模型中均值误设下用于推断的信息共享
How useful is a wrong model? Information-sharing for inference under mean misspecification in linear models
arXiv 2607.09579 · 2026-07-13知识图谱与可解释人工智能作为城市采矿的互补资源
Knowledge Graphs and Explainable AI as Complementary Resources for Urban Mining
arXiv 2607.09578 · 2026-07-13噪声积分发放神经元系统的概率估计
Probabilistic estimates for a system of noisy integrate-and-fire neurons
arXiv 2607.09575 · 2026-07-13关于热完全多原子气体稳定蒸发的最大总熵产生模型
On Maximal Total Entropy Production Models for Steady Evaporation of a Calorically Perfect Polyatomic Gas
arXiv 2607.09574 · 2026-07-13软共线有效理论下B→D1(2420)和B→D1'(2430)形状因子在次领头阶的求和规则
SCET sum rules for $B\to D_1(2420)$ and $B\to D_1'(2430)$ form factors at next-to-leading order
arXiv 2607.09573 · 2026-07-13一种用于应用超导体电磁建模的云访问开源框架
A Cloud-Accessible Open-Source Framework for the Electromagnetic Modelling of Applied Superconductors
arXiv 2607.09572 · 2026-07-13CHEFT：一种混合有效场论晕模型
CHEFT: A Hybrid Effective Field Theory halo model
arXiv 2607.09571 · 2026-07-13限制驱动埋入式硅量子阱中谷分裂高于4K
Confinement drives valley splitting above 4K in buried silicon quantum wells
arXiv 2607.09570 · 2026-07-13
