[论文解读] How constructive is constructing measures?

Arno Pauly, Willem L. Fouché|arXiv (Cornell University)|Sep 11, 2014

Mathematical Dynamics and Fractals参考文献 25被引用 5

一句话总结

本文利用 Weihrauch 归约研究了在指定支撑下构造测度的计算复杂性，重点关注正 Hausdorff 维数集合上的 Frostman 测度。研究结果表明，构造此类测度的问题在计算强度上等价于极限算子，并且即使在计算性闭集与开集且具有正维数的情况下，也可能无法支持计算性 Frostman 测度。

ABSTRACT

Given some set, how hard is it to construct a measure supported by it? We classify some variations of this task in the Weihrauch lattice. Particular attention is paid to Frostman measures on sets with positive Hausdorff dimension. As a side result, the Weihrauch degree of Hausdorff dimension itself is determined.

研究动机与目标

• 利用 Weihrauch 格架对构造具有指定支撑的测度的计算内容进行分类。
• 分析 Frostman 引理及其变体的有效内容，特别是关于正 Hausdorff 维数集合上计算性测度的存在性。
• 确定 Hausdorff 维数函数本身的 Weihrauch 度。
• 研究在测度构造及计算性 Frostman 测度存在性背景下，计算性、闭集与开集之间的区别。
• 探索在计算设定下普遍测度为零集的有效性质，特别是那些具有正 Hausdorff 维数的集合。

提出的方法

• 采用 Weihrauch 归约框架比较测度构造问题的计算强度。
• 使用缩放操作将不同定义域上的问题嵌入到同一空间中，特别是将集合映射到 dyadic 区间以保持测度论性质。
• 在测度构造问题与已知 Weihrauch 度（如闭集选择和极限算子）之间建立归约关系。
• 利用表示空间中闭集与开集的表示形式，形式化集合运算的计算性与连续性。
• 应用 UTM 定理与函数空间构造，以在表示空间范畴中建模计算性泛函与实现者。
• 通过构造显式实现者与归约关系，证明测度构造问题与极限算子之间的等价性，特别利用 [0,1] 中的紧致与开集。

实验结果

研究问题

• RQ1 构造具有给定支撑的测度的问题的 Weihrauch 度是多少，特别是当支撑为闭集或开集时？
• RQ2 在正 Hausdorff 维数集合上构造 Frostman 测度的计算复杂性与其它已知计算问题相比如何？
• RQ3 是否存在一个计算性闭集与开集，其 Hausdorff 维数为正，却无法支持计算性 Frostman 测度？
• RQ4 当 Hausdorff 维数函数被视为多值函数时，其计算强度如何？
• RQ5 在有效概念如‘计算性普遍测度为零’或‘算术普遍测度为零’的框架下，这些概念在多大程度上影响了不可数集合上计算性测度的存在性？

主要发现

• 构造支撑恰好等于给定开集的测度的问题是可计算的，而构造支撑在闭集上的普遍问题则不是可计算的。
• Hausdorff 维数函数的 Weihrauch 度被证明等价于极限算子。
• 在正 Hausdorff 维数集合上构造 Frostman 测度的问题与极限算子 Weihrauch 等价，即 $\lim \equiv_{\textrm{W}} \operatorname{StrictFrost}$。
• 存在计算性闭集与开集，其 Hausdorff 维数为 1，却无法支持任何计算性非原子 Radon 测度，这表明正维数并不能保证可计算测度的构造。
• 当且仅当存在一个计算性序列 $p$，使得对每个 dyadic 区间 $I$，要么 $I \cap A = \emptyset$，要么 $A \cap I$ 支持一个 $s$-Frostman 测度且满足 $\mu(I \cap A) \geq 2^{-p(-\log|I|)}$ 时，集合才可支持计算性 $s$-Frostman 测度。
• 构造支撑在给定闭集上的测度问题与 $\mathbb{N}$ 上的闭集选择和 $[0,1]$ 上的闭集选择的组合 Weihrauch 等价，即 $\textrm{C}_{\mathbb{N}} \times \textrm{C}_{[0,1]} \equiv_{\textrm{W}} \operatorname{Frost}$。