[论文解读] A note on absolutely minimal extensions in finite metric spaces

Alberto Domínguez Corella, Trí Minh Lê|arXiv (Cornell University)|Jan 14, 2026

Advanced Topology and Set Theory被引用 0

一句话总结

该论文表明相对于 2^{X\A} 的绝对最小 Lipschitz 拓展（AMLE）在四点空间中存在，但在五点空间中可能不存在，并给出明确的反例。

ABSTRACT

Absolutely minimal Lipschitz extensions (AMLEs) are known to exist in many infinite metric settings, but the finite case is less settled. In metric spaces with at most four points, every function on a nonempty subset admits an AMLE in the sense that the Lipschitz constant cannot be further reduced on sets that are disjoint from the prescribed domain. We show that in five-point spaces such extensions may fail to exist.

研究动机与目标

• 研究有限度量空间中绝对最小 Lipschitz 拓展（AMLE）的存在性。
• 确定当 X 有限时，相对于 2^{X\A} 的 AMLE 是否总是存在。
• 提供一个具体的五点反例，展示相对于 2^{X\A} 的 AMLE 不存在。
• 讨论离散 AMLE 定义及相关概念（如离散无穷拉普拉斯算子）的含义。

提出的方法

• 综述度量空间中现有的 AMLE 定义（Juutinen 的方法及变体）。
• 构造明确的有限 metric 空间和子集 A 上的给定数据 f。
• 计算 McShane–Whitney 拓展 m 与 M，并推导 AMLE 的约束条件。
• 通过案例分析表明在五点示例中不存在相对于 2^{X\A} 的 AMLE 能满足 AMLE 条件。
• 就嵌入与非欧几里得变体给出评注，以展示反例的鲁棒性。

实验结果

研究问题

• RQ1 相对于 2^{X\A} 的 AMLE 在有限度量空间中是否总是存在？
• RQ2 如果不，总是存在的最小点数 n 是多少？是否会出现反例？
• RQ3 AMLE 存在性不成立是否可推广到非欧几里得或非图结构的离散情形？
• RQ4 离散空间中 Juutinen 的 AMLE 概念有何含义與影响？

主要发现

• 相对于 2^{X\A} 的 AMLE 在所有四点度量空间中存在（命题 1.2）。
• 存在一个五点度量空间和一个二点定义域 A 及其取值 f，使之不存在相对于 2^{X\A} 的 AMLE（定理 1.3）。
• 在离散情形下，AMLE 的唯一性可能失败（注释 2.3）。
• 离散无穷拉普拉斯算子构造（2.2）在有限图中不一定产生 AMLE（2.1 的讨论）。
• 该五点反例可以嵌入任意维度的欧几里得空间，并可推广到非欧几里得构造（注释 1.4 与 2.5）。