精读笔记
Problem Setting
这篇论文不是在解决某个具体优化 benchmark，而是在建立一个非阿基米德优化的工作空间。目标是：当变量天然属于 p-adic、Laurent series 或更一般 complete non-Archimedean field 时，如何既利用 ultrametric 的层级结构，又避免直接在完全不连通的 K^n 上做纯组合搜索。
真正难点是几何与优化之间不匹配。K^n 的强三角不等式使其非常适合表达 nested/disjoint hierarchy，但也导致拓扑完全不连通；没有自然路径、没有可用切向、没有传统梯度下降，局部移动基本是离散跳转。已有 p-adic ML / statistics 工作多直接在 K^n 上定义目标，然后不得不依赖枚举、下降或问题特化结构。关键矛盾是：忠实的非阿基米德表示会牺牲连续优化结构；引入欧氏/双曲替代又会稀释原本的 ultrametric inductive bias。
Motivation
作者的出发点很明确：层级数据本来就是 ultrametric-friendly 的，但优化不能停留在 K^n。双曲空间和高维欧氏 embedding 是 workaround，它们用曲率或维度容量去近似层级，而不是直接使用非阿基米德域的树状拓扑。另一方面，直接 p-adic optimisation 又缺少 geodesic 和 tangent，导致梯度方法天然不可行。
核心观察来自 Berkovich geometry：如果不只看点，而看闭盘及其嵌套关系，非阿基米德空间会获得路径连通和树结构。问题是完整 Berkovich 空间太大、分类复杂、计算对象不明确。因此本文试图抽取其中最可计算的部分：以 closed polydiscs / product Gauss points 为优化域。缺的是一个既像 Berkovich 那样拓扑良好、又像数据结构那样可枚举和可搜索的中间对象。
Core Idea
论文的核心思想是把变量从 K^n 中的点 lift 到 B^n 中的多圆盘。一个 polydisc 代表一组非阿基米德点及其共同分辨率；优化过程不再直接猜一个 p-adic 点，而是从粗粒度区域逐步 refine 到更小区域。这样，非阿基米德的层级结构不再是优化障碍，而成为搜索空间本身。
这个建模改变的本质在于：优化状态带有尺度信息。K^n 里的点只表示最终解；B^n 里的盘同时表示候选集合、局部分支、半径/分辨率和可继续细化的方向。absolute polynomial |f(B)| = sup_{z in B}|f(z)| 与这种区域状态天然兼容：它在包含序下单调，沿 geodesic 有分段多项式结构，零点控制下降方向。相比 prior 直接在 K^n 上优化，本文不是给 K^n 补一个 optimizer，而是换了优化域，使 tree search、gradient-like descent 和 global optimistic search 都有统一几何语义。
Method
1. Polydisc geometry：B^n 定义为闭盘乘积，H^n 为正半径部分。join 给出两点的最小共同上界，d_B/d_H 把树上的上下移动转为距离。它解决的是 K^n 无路径的问题；核心变化是把 ultrametric ball hierarchy 显式变成 geodesic metric space。
2. Tangent directions：一维切向由删除某个盘后的连通分支给出；rational positive-radius discs 的切向由 residue projective line P^1_k 索引，高维还要加各坐标移动速度。它解决的是“非欧氏树状空间如何定义方向”的问题；核心变化是方向不再是线性向量，而是分支选择 + 半径变化速率。
3. Absolute / valuation polynomials：多项式在盘上的 sup absolute value 或 inf valuation 可显式计算为 Gauss norm，沿 geodesic 分段多项式/热带线性。它解决的是目标函数既要可计算又要与非阿基米德几何相容的问题；核心变化是目标由点值函数变成区域上界函数。
4. Existence theory：正系数 absolute polynomial sums 因包含单调性可把极小值问题拉回 K^n，或用射影闭包中零点交的条件判断是否 attain。线性/一元情形有更强结论。它解决的是 lifted 空间中极小值是否存在的问题；核心变化是把优化良定性归因到零点在 affine/projective 边界的排列。
5. Rational skeleton algorithms：把 rational polydiscs 看成 DAG/tree，children 是提高某些 valuative radii 的细化。best-first、gradient descent、DOO、MCTS 都是在这个 skeleton 上选择 refine 路径。它解决计算可执行性问题；核心变化是将连续 polydisc optimization 离散化为有几何含义的 sequential decision process。
Key Insight / Why It Works
最重要的 insight 是：在非阿基米德世界里，“区域”比“点”更适合作为优化状态。盘的包含关系已经编码了所有局部层级信息，而 absolute polynomial 在盘上的值正好由零点是否进入该盘控制。于是优化的有效性主要来自 representation alignment：目标函数的变化、树的分支、代数零点和搜索细化方向是同一套结构。
理论上成立的关键是非阿基米德刚性：多项式在不含根的盘上绝对值局部常数；沿 geodesic 的变化只在经过零点相关区域时发生。这解释了为什么 best-first descent 在求根和 absolute polynomial sum 上表现合理：搜索不是在光滑 landscape 上爬坡，而是在寻找包含零点或接近零点排列的分支。
最可能的核心贡献是 polydisc-as-optimisation-domain，而不是 MCTS/DOO 本身。MCTS、DOO、best-first 都是已有搜索思想的搬运；新增价值在于作者给出了一个自然的 search graph，并证明这个 graph 与非阿基米德函数的几何结构一致。gradient descent 的“gradient”也不是欧氏意义的梯度，更像在有限/可枚举切向中选择最陡分支。
需要直说：实验中的性能增益很可能主要来自 test-time compute 和目标函数结构匹配，尤其 MCTS 比 greedy 好是预期内的搜索预算效应，不足以证明框架具备强泛化或真实 ML 优势。universal approximation 也主要是函数类丰富性的数学保证，不说明训练可行性；这部分更像理论完备性补丁，而不是实际性能来源。
Relation To Prior Work
最接近的 prior 是直接在 p-adic / non-Archimedean K^n 上做统计学习或优化的工作，如 p-adic regression、p-adic ML，以及使用非阿基米德神经网络的路线。这些工作通常保留 K^n 作为变量域，因此优化层面受完全不连通拓扑限制。本文的本质差异是 domain lift：从点空间转向盘空间，从离散 ultrametric topology 转向 Berkovich-inspired geodesic tree geometry。
与双曲 embedding 的差异也很实质。双曲空间用负曲率近似树；polydisc space 直接继承 ultrametric ball tree。前者是连续 Riemannian 几何中的 hierarchy bias，后者是代数/valuation 几何中的 hierarchy bias。对于真正 ultrametric 数据，后者 inductive bias 更硬、更忠实；但代价是 field arithmetic 和 branching search。
与 Berkovich geometry 的关系是“裁剪版 Berkovich”。B^n 只取 product closed discs / Gauss seminorms，排除 full analytification 中大量复杂 seminorm，尤其高维非 product 点和一维 type IV 点。这个裁剪不是弱点本身，而是工程和优化上的必要选择：牺牲完整性，换取显式 metric、join、tangent 和算法可实现性。
看似新的 MCTS/DOO-polydisc 算法，本质是已有 hierarchical global optimisation / tree search 的重组；实质创新在于证明 rational polydisc skeleton 是这些算法的自然承载结构，并把 objective upper-bound / monotonicity 与非阿基米德盘包含序关联起来。
Dataset / Evaluation
评估主要是合成实验：多项式求根、absolute polynomial sum minimisation、插值、简单函数学习。任务覆盖了论文理论最适配的场景，即目标由 absolute polynomials 或其组合构成；这能验证库和算法在预期结构下工作，但不能验证真实层级数据建模能力。
没有真实世界层级数据实验，也没有与双曲 embedding、欧氏高维 embedding、现有 p-adic ML 方法在同一任务上的系统对比。因此 evaluation 支撑的是“这个框架可实现、可运行、在合成非阿基米德优化任务上有合理行为”，而不是“它是更好的 hierarchical learning framework”。
MCTS 平均表现更好并不意外，因为它花费更多搜索预算；论文也承认其计算成本明显更高。增益归因不够干净：到底是 polydisc 几何提供了更好 inductive bias，还是 MCTS 探索更多节点带来的 test-time compute 优势，文中未充分说明。DOO 的理论收敛结果支撑较强，但实验上不是主导最优方法。
Limitation
第一，理论适用范围偏结构化。最强结果集中在正系数 absolute polynomial sums、局部紧离散赋值域、线性或一元情形。一般高维、多项式不满足射影零点条件时，极小值可能不存在或不可界定。高维甚至没有类似一元的统一 bounded search region。
第二，scalability 上限明显。rational skeleton 的 branching factor 与 n 和 residue field size 相关；degree-d children 会进一步增加分支。MCTS/DAG-MCTS 在高维下依赖大量节点评估，实际复杂度可能迅速失控。所谓连续几何优化最终仍落到大规模树/DAG 搜索，只是搜索节点有更好几何语义。
第三，函数类表达性与可优化性之间有缺口。Stone-Weierstrass universal approximation 说明 linear combinations of absolute polynomials 足够表达连续函数，但并不说明可以有效学习，尤其不说明参数化模型的优化 landscape 好处理。
第四，实验与应用 claim 之间有鸿沟。真实 hierarchical dataset、joint embedding learning、分类/回归泛化都没有实证支撑。当前结果更像 foundational framework + synthetic sanity checks。若要声称机器学习价值，还需要证明它在真实层级任务中比 hyperbolic / Euclidean / tree-kernel 方法有优势。
第五，polydisc 裁剪可能限制表达。排除完整 Berkovich 空间中的复杂点带来可计算性，但对于高维 analytic phenomena 是否足够，文中未充分说明。
Takeaway
- 1. 最值得记住的是 domain lift：非阿基米德优化不应直接在 K^n 上做，而应在盘空间上做；这把完全不连通的点集变成可 geodesic 搜索的层级空间。
- 2. absolute polynomial 的真正价值在于与盘包含序和零点结构对齐；这是比“universal approximator”更重要的性质。
- 3. 算法贡献的本质不是发明新 optimizer，而是把已有 tree search / optimistic optimisation 放进一个有代数几何语义的 rational skeleton。
- 4. 未来真正值得做的是三件事：控制高维 branching、学习真实数据的 polydisc embedding、扩展到更丰富但仍可优化的函数类。
一句话总结
这篇论文把非阿基米德优化从“在完全不连通的 K^n 上搜索点”推进到“在 Berkovich-inspired polydisc 层级空间上搜索区域”，真正贡献是一个几何化的优化域和与之匹配的函数/搜索结构，而非某个具体优化算法。