[논문 리뷰] How constructive is constructing measures?

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

Mathematical Dynamics and Fractals참고 문헌 25인용 수 5

한 줄 요약

이 논문은 Weihrauch 감소를 사용하여 주어진 지지집합을 가진 측도를 구성하는 데 필요한 계산 복잡도를 조사한다. 특히 양의 하우스도르프 차원을 가진 집합 위의 프로스트만 측도에 초점을 맞춘다. 이 논문은 이러한 측도를 구성하는 문제의 계산적 강도가 극한 연산자와 동일하다는 것을 입증하며, 심지어 계산 가능한 닫힘 및 개방 집합이라도 양의 차원을 가질 경우 계산 가능한 프로스트만 측도를 지지하지 못할 수 있음을 보여준다.

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 레이스 프레임워크를 사용하여 주어진 지지집합을 가진 측도를 구성하는 데 필요한 계산적 내용을 분류하는 것.
• 프로스트만의 보조정리와 그 변형의 효과적 내용을 분석하며, 특히 양의 하우스도르프 차원을 가진 집합 위의 계산 가능한 측도 존재성에 초점을 맞추는 것.
• 하우스도르프 차원 함수 자체의 Weihrauch 차수를 결정하는 것.
• 측도 구성과 계산 가능한 프로스트만 측도의 존재성의 맥락에서 계산 가능, 닫힘, 개방 집합 간의 차이를 조사하는 것.
• 계산 가능한 설정에서 보편적으로 측도가 0인 집합의 효과적 성질을 탐구하며, 특히 양의 하우스도르프 차원을 가진 집합에 초점을 맞추는 것.

제안 방법

• 측도 구성 문제의 계산적 강도를 비교하기 위해 Weihrauch 감소 프레임워크를 활용하는 것.
• 다양한 도메인에 있는 문제를 공통 공간에 통합하기 위해 스케일링 변환을 사용하며, 특히 측도 이론적 성질을 유지하기 위해 집합을 이진 구간에 매핑하는 것.
• 기존의 Weihrauch 차수(예: 닫힘 선택과 극한 연산자)와 측도 구성 문제 간의 감소를 수립하는 것.
• 대표 공간 내에서 닫힘 및 개방 집합의 표현을 사용하여 집합론적 연산의 계산 가능성과 연속성의 형식화.
• UTM 정리와 함수 공간 구성 방법을 사용하여 대표 공간의 범주에서 계산 가능한 함수형과 실현자 모델링.
• 특히 [0,1] 내의 컴act하고 개방된 집합을 사용하여, 측도 구성 문제와 극한 연산자 간의 동치성을 보여주는 명시적 실현자와 감소를 구성하는 것.

실험 결과

연구 질문

• RQ1 주어진 지지집합을 가진 측도를 구성하는 문제의 Weihrauch 차수는 무엇인가? 특히 지지집합이 닫힘 또는 개방 집합일 경우에 대해.
• RQ2 양의 하우스도르프 차원을 가진 집합 위의 프로스트만 측도를 구성하는 데 필요한 계산 복잡도는 다른 알려진 계산 문제와 어떻게 비교되는가?
• RQ3 계산 가능한 닫힘 및 개방 집합으로서의 양의 하우스도르프 차원을 가진 집합이 계산 가능한 프로스트만 측도를 지지하지 못할 수 있는가?
• RQ4 하우스도르프 차원 함수를 다중값 함수로 본다 하더라도, 그 계산적 강도는 무엇인가?
• RQ5 효과적 개념인 '계산 가능하게 전반적으로 측도 0' 또는 '산술적으로 전반적으로 측도 0'은 비가산 집합 위의 계산 가능한 측도 존재성에 얼마나 큰 영향을 미치는가?

주요 결과

• 주어진 개방 집합과 정확히 일치하는 지지집합을 가진 측도를 구성하는 문제는 계산 가능하지만, 일반적으로 닫힘 집합 위에 지지되는 측도를 구성하는 문제는 그렇지 않다.
• 하우스도르프 차원 함수의 Weihrauch 차수는 극한 연산자와 동일하다는 것이 입증되었다.
• 양의 하우스도르프 차원을 가진 집합 위에 프로스트만 측도를 구성하는 문제는 Weihrauch 동치성에 따라 극한 연산자와 동일하며, 즉 $\lim \equiv_{\textrm{W}} \operatorname{StrictFrost}$이다.
• 하우스도르프 차원이 1인 계산 가능한 닫힘 및 개방 집합이 존재하며, 이는 어떤 계산 가능한 비원소 측도 라돈 측도도 지지하지 않으며, 따라서 양의 차원이 계산 가능한 측도 구성 보장을 하지 못함을 보여준다.
• 집합 $A$가 계산 가능한 $s$-프로스트만 측도를 지지하는 것은, 모든 이진 구간 $I$에 대해 $I \cap A = \emptyset$ 또는 $A \cap I$가 $\mu(I \cap A) \geq 2^{-p(-\log|I|)}$를 만족하는 $s$-프로스트만 측도를 지지하는 계산 가능한 수열 $p$가 존재하는 것과 동치이다.
• 주어진 닫힘 집합 위에 지지되는 측도를 구성하는 문제는 자연수 위의 닫힘 선택과 [0,1] 위의 닫힘 선택의 조합과 Weihrauch 동치이며, 즉 $\textrm{C}_{\mathbb{N}} \times \textrm{C}_{[0,1]} \equiv_{\textrm{W}} \operatorname{Frost}$이다.