[논문 리뷰] Accessible values of Assouad and the lower dimensions of subsets

Changhao Chen, Meng Wu외 1명|arXiv (Cornell University)|2016. 02. 05.

Mathematical Dynamics and Fractals참고 문헌 8인용 수 4

한 줄 요약

이 논문은 이중(metric) 공간에서, 구간 $[0, \dim_A^*E]$ 내의 모든 값이 부분집합 $F \subset E$의 Assouad 차원으로 달성 가능하다는 것을 증명한다. 동일한 결과가 하위차원(lower dimension)에 대해서도 성립한다. 저자들은 커버링 및 패킹 추론을 이용한 반복적 부분집합 구성 방법을 통해 이 결과를 도출하며, 기존의 하우스도르프 및 패킹 차원에 대한 접근 가능성 결과를 이러한 분수차원(fractal dimensions)으로 확장한다.

ABSTRACT

Let $E$ be a subset of a doubling metric space $(X,d)$. We prove that for any $s\in [0, \dim_{A}E]$, where $\dim_{A}$ denotes the Assouad dimension, there exists a subset $F$ of $E$ such that $\dim_{A}F=s$. We also show that the same statement holds for the lower dimension $\dim_L$.

연구 동기 및 목표

• 이중 거리공간에서 주어진 부분집합 $E$에 대해, 범위 $[0, \dim_A^*E]$ 내의 모든 값이 부분집합 $F \subset E$의 Assouad 차원으로 달성 가능한지 조사한다.
• 기존의 차원(Hausdorff, 패킹, 박스-카운팅)에서의 접근 가능성 성질을 Assouad 및 하위차원으로 확장한다.
• 하위차원 또한 동일한 접근 가능성 성질을 만족함을 증명하며, Assouad 차원의 결과와 대응됨을 보인다.
• 국소적 및 전역적 Assouad 차원 간의 상관관계를 분석하고, 심지어 유클리드 공간에서도 이들이 상당히 다를 수 있음을 보이며, 사전에 지정된 국소 및 전역 차원을 가진 집합을 구성한다.

제안 방법

• Bi리프시츠 임bedding을 활용하여 문제를 유클리드 거리공간 $\mathbb{R}^d$ 의 부분집합으로 축소하기 위해 Assouad 임bedding 정리를 사용한다.
• 감소하는 척도에서 이격된 공들을 반복적으로 선택하여 부분집합 $F \subset E$를 구성하며, 커버링 수의 제어를 확보한다.
• $F = \bigcap_{n \geq 1} E_n$ 으로 정의하며, 여기서 $E_n$ 은 반지름 $R_n = \lambda^n R_0$ 인 $M^n$ 개의 이격된 공들의 합집합이며, $M = \lambda^{-\alpha}$ 이다.
• 하위차원의 정의에 따라 $N_r^*(F \cap B(x,R))$ 의 하한을 구함으로써, $(R/r)^\alpha$ 비례하는 하한을 확보한다.
• $0 < r < R \leq R_0$ 에 대해 부등식 $N_r^*(F \cap B(x,R)) \geq C_M (R/r)^\alpha$ 를 사용하며, 여기서 $C_M = 1/(M+1)$ 이다. 이를 통해 하위차원 조건을 검증한다.
• 积雪 변환(snowflake transformation)에 의한 Assouad 및 하위차원의 등가성 관계를 활용하여, 유클리드 공간에서의 결과를 일반적인 이중 공간으로 확장한다.

실험 결과

연구 질문

• RQ1 이중 거리공간에서 주어진 부분집합 $E$에 대해, 임의의 $\alpha \in [0, \dim_A^*E]$ 가 부분집합 $F \subset E$ 의 Assouad 차원으로 달성 가능한가?
• RQ2 하위차원 또한 접근 가능성 성질을 만족하는가? 즉, 임의의 $\alpha \in [0, \dim_L E]$ 에 대해 $\dim_L F = \alpha$ 를 만족하는 $F \subset E$ 가 존재하는가?
• RQ3 비유계 집합에서 국소적 및 전역적 Assouad 차원은 어떻게 관련되어 있으며, 이들은 독립적으로 지정 가능한가?
• RQ4 积雪 거리(metric)와 Bi리프시츠 임bedding은 일반적인 경우를 유클리드 공간으로 축소하는 데 어떤 역할을 하는가?

주요 결과

• 이중 거리공간의 부분집합 $E$ 와 임의의 $\alpha \in [0, \dim_A^*E]$ 에 대해, $\dim_A^*F = \alpha$ 를 만족하는 부분집합 $F \subset E$ 가 존재한다.
• 동일한 접근 가능성 결과가 하위차원에 대해서도 성립한다. 즉, 임의의 $\alpha \in [0, \dim_L E]$ 에 대해 $\dim_L F = \alpha$ 를 만족하는 $F \subset E$ 가 존재한다.
• 국소 Assouad 차원 $\dim_A^*E$ 와 전역 Assouad 차원 $\dim_A E$ 는 상당히 다를 수 있다. 예를 들어, $\dim_A^*\mathbb{Z}^d = 0$ 이지만 $\dim_A\mathbb{Z}^d = d$ 이다.
• 임의의 $0 \leq \alpha < \beta \leq d$ 에 대해, $\dim_A^*E = \alpha$ 이고 $\dim_A E = \beta$ 를 만족하는 $\mathbb{R}^d$ 의 부분집합 $E$ 가 존재한다.
• 부분집합 $F$ 의 구성은 $0 < r < R \leq R_0$ 에 대해 $N_r^*(F \cap B(x,R)) \geq C_M (R/r)^\alpha$ 를 만족함으로써, 하위차원 정의를 충족함을 보장한다. 이는 $\dim_L F = \alpha$ 를 보장한다.
• 국소 Assouad 차원에 대한 결과는 왕과 문(Wang and Wen)에 의해 별도로 확보되었으며, 이는 구성 방법의 강건성을 확인한다.