有序 henselian valued fields: 可定义性与 Borel 集
机器人学
2026-04-13 v1 人工智能
摘要
我们首先表明，由于其 resplendency，有序 henselian valued fields 允许在 Denef--Pas 语言中相对场量子消除 (relative field quantifier elimination)，该语言以线性序形式扩充了 field 和 residue field 排序。其次，我们从 dimensionality reduction 定理推导出，任何在有序 henselian valued field 中可定义的集合都是 order 拓扑下的 Borel 集。我们的结果置于 Shelah 的 NIP fields 分类猜想框架内，其与可定义 henselian valuations 研究以及统计学习基本定理之间的联系一起一起呈现。
引用
@article{arxiv.2604.08636,
title = {LEGO: Latent-space Exploration for Geometry-aware Optimization of Humanoid Kinematic Design},
author = {Jihwan Yoon and Taemoon Jeong and Jeongeun Park and Chanwoo Kim and Jaewoon Kwon and Yonghyeon Lee and Kyungjae Lee and Sungjoon Choi},
journal= {arXiv preprint arXiv:2604.08636},
year = {2026}
}
备注
Accepted in ICRA 2026