[논문 리뷰] Generalised intermediate dimensions

Amlan Banaji|arXiv (Cornell University)|2020. 11. 17.

Mathematical Dynamics and Fractals참고 문헌 34인용 수 6

한 줄 요약

이 논문은 고정된 스케일링 $[\delta^{1/\theta}, \delta]$ 대신 더 넓은 함수 클래스 $\Phi(\delta)$로 대체함으로써 Falconer 등이 제안한 중간 차원의 일반화인 $\Phi$-중간 차원을 도입한다. 이는 불연속적인 중간 차원을 가진 프랙탈 집합에 대한 더 정교한 기하학적 분석을 가능하게 한다. 주요 기여는 임의의 컴팩트 집합에 대해, 표준 중간 차원이 실패할 수 있는 경우에도 하우스도르프 차원과 박스 차원 사이를 완전히 보간하는 $\Phi$ 함수의 가족이 존재함을 증명하는 것이다.

ABSTRACT

We introduce a family of dimensions, which we call the $Φ$-intermediate dimensions, that lie between the Hausdorff and box dimensions and generalise the intermediate dimensions introduced by Falconer, Fraser and Kempton. This is done by restricting the relative sizes of the covering sets in a way that allows for greater refinement than in the definition of the intermediate dimensions. We also extend the theory from Euclidean space to a wider class of metric spaces. We prove that these dimensions can be used to 'recover the interpolation' between the Hausdorff and box dimensions of compact subsets for which the intermediate dimensions are discontinuous at $θ=0$, thus providing finer geometric information about such sets. We prove continuity-like results involving the Assouad and lower dimensions, which give a sharp general lower bound for the intermediate dimensions that is positive for all $θ\in (0,1]$ for sets with positive box dimension. We also prove Hölder distortion estimates, a mass distribution principle, and a Frostman type lemma, which we use to study dimensions of product sets.

연구 동기 및 목표

• 고정된 스케일링 간격을 더 넓은 함수 클래스 $\\Phi(\\delta)$로 대체하여 중간 차원을 일반화함으로써, 특히 표준 중간 차원이 $\theta=0$에서 불연속적인 경우에 대해 프랙탈 집합의 더 정교한 기하학적 분석을 가능하게 한다.
• 유럽 공간에서의 중간 차원 이론을 더 넓은 범위의 메트릭 공간으로 확장한다.
• 표준 중간 차원이 $\theta=0$에서 불연속적인 경우를 해결하고, 하우스도르프 차원과 박스 차원 사이의 연속적인 보간을 제공한다.
• 아소우드 차원과 하향 차원을 포함한 연속성 유사한 경계를 수립하여 $\theta \in (0,1]$ 에서 날카로운 양의 하한을 도출한다.
• 곱집합의 차원을 연구하기 위한 도구로 질량 분포 원리와 프로스트만 유사 보조정리를 개발한다.

제안 방법

• 적합한 함수 $\Phi$ 가 $\delta \to 0^+$ 일 때 $\Phi(\delta) \to 0$ 이고 $\Phi(\delta)/\delta \to 0$ 를 만족하도록 하여, 커버링 집합의 직경을 구간 $[\Phi(\delta), \delta]$ 로 제한함으로써 $\Phi$-중간 차원을 정의한다.
• 유클리드 공간을 초월한 메트릭 공간의 컴팩트 부분집합으로 이 정의를 일반화하여 프레임워크를 확장한다.
• 홀더 연속 사상 하에서 $\Phi$-중간 차원의 홀더 왜곡 추정치를 증명하고, 홀더 지수에 대한 의존성을 보여준다.
• 측도의 감쇠가 통제되는 방식으로 $\Phi$-중간 차원을 경계 짓는 질량 분포 원리와 프로스트만 유사 보조정리를 수립한다.
• 이 도구들을 사용하여 $\Phi$-중간 차원의 곱 공식과 유한 안정성 성질을 도출한다.
• 모든 $s \in [\dim_H F, \overline{\dim}_B F]$ 에 대해 $\underline{\dim}^{\Phi_s}F = \min\{s, \underline{\dim}_B F\}$ 와 $\overline{\dim}^{\Phi_s}F = \min\{s, \overline{\dim}_B F\}$ 를 만족하는 구체적인 함수 가족 $\Phi_s$ 를 구성한다.

실험 결과

연구 질문

• RQ1 표준 중간 차원이 $\theta=0$ 에서 불연속적인 경우에 대해, 커버링 집합의 상대적 크기를 더 정교하게 제어할 수 있도록 중간 차원을 일반화할 수 있는가?
• RQ2 임의의 컴팩트 집합에 대해, 하우스도르프 차원과 박스 차원 사이를 완전히 보간하는 함수 가족 $\Phi$ 를 구성할 수 있는가?
• RQ3 홀더 및 리프시츠 사상 하에서 $\Phi$-중간 차원은 어떻게 행동하며, 어떤 왜곡 추정치를 도출할 수 있는가?
• RQ4 질량 분포 및 프로스트만 유사 원리는 $\Phi$-중간 차원을 어떻게 지배하는가? 그리고 이를 곱집합 분석에 어떻게 활용할 수 있는가?
• RQ5 $\Phi$-중간 차원은 매개변수 $\Phi$ 에 대해 연속적인가? 그리고 다양한 집합들 사이에서 연속성을 확보할 수 있는가?

주요 결과

• 임의의 컴팩트 집합 $F$ 에 대해, 모든 $s \in [\dim_H F, \overline{\dim}_B F]$ 에 대해 $\underline{\dim}^{\Phi_s}F = \min\{s, \underline{\dim}_B F\}$ 와 $\overline{\dim}^{\Phi_s}F = \min\{s, \overline{\dim}_B F\}$ 를 만족하는 적합한 함수 가족 $\Phi_s$ 가 존재함을 보여, 하우스도르프 차원과 박스 차원 사이의 완전한 보간이 가능함을 입증한다.
• $\Phi$-중간 차원은 표준 중간 차원의 경우 $\theta$ 에 대해 연속적이지만, 본 논문은 다른 $\Phi$ 가족을 사용할 경우 다른 집합에서는 이 연속성이 실패할 수 있음을 보여주며, $F = E \cup G$ 에 대한 반례로 이를 입증한다.
• 날카로운 하한이 확립된다: 상자 차원이 양수인 임의의 집합에 대해, 모든 $\theta \in (0,1]$ 에 대해 $\Phi$-중간 차원은 양수이며, 이 하한은 하향 차원과 아소우드 차원에 따라 달라진다.
• 홀더 왜곡 추정치가 증명된다: $f$ 가 $\alpha$-홀더 이면 $\dim^{\Phi}_{\mathrm{H}}(f(E)) \leq \alpha \cdot \dim^{\Phi}_{\mathrm{H}}(E)$ 를 만족하며, 이는 홀더 사상 하에서 차원이 어떻게 척도가 변하는지를 보여준다.
• 질량 분포 원리가 확립된다: 측도 $\mu$ 가 모든 $x$ 와 작은 $r$ 에 대해 $\mu(B(x,r)) \leq C \cdot \Phi(r)^s$ 를 만족하면 $\dim^{\Phi}(E) \geq s$ 를 도출할 수 있으며, 이는 하한을 위한 도구가 된다.
• 프로스트만 유사 보조정리가 증명된다: 모든 $s < \dim^{\Phi}(E)$ 에 대해, 모든 $x$ 와 작은 $r$ 에 대해 $\mu(B(x,r)) \leq C \cdot \Phi(r)^s$ 를 만족하는 보렐 측도 $\mu$ 가 존재하며, 이를 통해 측도 구성으로 상한을 도출할 수 있다.