Lower bounds for the Hausdorff dimension of expressible sets

기술적 요약: 표현 가능 집합의 하우스도르프 차원에 대한 하한

문제 제기
본 논문은 다음과 같은 급수로 구성된 실수 집합인 "표현 가능 집합"의 하우스도르프 차원을 조사합니다:
$$x = \sum_{n=1}^{\infty} \frac{1}{d_n a_n}$$
여기서 $(a_n)_{n=1}^{\infty}$는 실수 수열 (기저) 이고, $(d_n)_{n=1}^{\infty}$는 특정 집합 $D_n$에서 선택된 자연수 수열 (숫자) 입니다.

이 연구의 핵심 문제는 이러한 급수의 무리수성과 초월성에 대한 기존 결과와 그들이 생성하는 집합의 계량적 성질 사이의 간극을 해소하는 것입니다. Erdős(1975) 와 Hančl 의 이전 연구는 이러한 합이 무리수이거나 리우빌 수 (Hausdorff 차원이 0 인 집합) 가 되는 조건을 확립했습니다. 구체적으로, 수열 $a_n$이 충분히 빠르게 증가할 경우 (예: $\limsup a_n^{1/2^n} = \infty$), 결과적으로 생성된 수는 무리수가 되며, 증가 속도가 더 빠르면 리우빌 수가 됩니다. 그러나 성장 조건이 중간 정도이거나 숫자 $d_n$에 제한이 가해질 경우 어떤 일이 발생하는지는 명확하지 않았습니다. 저자들은 이러한 집합의 하우스도르프 차원에 대한 양의 하한을 확립함으로써, 특정 성장 조건 하에서 해당 집합이 리우빌 수 (및 잠재적으로 초월수가 아닐 수 있는 수) 가 아닌 수를 포함함을 증명하고자 합니다.

방법론
저자들은 기하학적 구성 접근법을 사용하여 표현 가능 집합을 일반화된 칸토어 집합으로 모델링합니다. 전략은 다음과 같습니다:

1. 칸토어 집합 구성: $a_n$을 기저로, $d_n$을 숫자로 하는 기수 체계로 급수를 간주합니다. 집합 $K(A, (D_n))$은 구간을 반복적으로 분할하여 구성됩니다.
2. 간격 분석: 일반화된 칸토어 집합의 하우스도르프 차원에 대한 알려진 하한 정리 (Falconer 기반의 정리 1) 를 적용하기 위해, 저자들은 각 단계 $n$에서 부분 구간 사이에 "간격"이 존재함을 보장해야 합니다. 이를 위해 인접한 부분합 사이의 차이가 급수의 최대 가능 꼬리합보다 엄격히 크다는 것을 증명해야 합니다.
3. 정량적 추정: 저자들은 각 단계에서 간격 크기 ($\varepsilon_n$) 에 대한 명시적 하한과 부분 구간의 수 ($m_n$) 에 대한 상한을 유도합니다. 이러한 추정치를 차분 공식에 대입합니다:
   $$\dim_H(C) \ge \limsup_{n \to \infty} \frac{\log(m_1 \cdots m_n)}{-\log(m_{n+1} \varepsilon_{n+1})}$$
4. 성장 분류: 분석은 수열 $a_n$의 성장률에 따라 세 가지 경우로 나뉩니다:
   • 기하급수적 성장 ($a_n = b^n$).
   • 이중 지수적 성장 ($a_n \approx 2^{N^n}$).
   • 느린 이중 지수적 성장 ($a_n \approx N^{2^n}$).

주요 기여 및 결과

• 정리 2 (기하급수적 성장): $b > 4$인 $a_n = b^n$ 수열과 유한 집합 $D_n = \{1, \dots, K\}$로 제한된 숫자 ($K^2 < b$) 에 대해, 저자들은 다음을 증명합니다:
  $$\dim_H(K) \ge \frac{\log(K)}{\log(b)}$$
  이 결과는 기저 $b$가 숫자 집합 크기에 비해 충분히 크다면, 숫자를 제한함으로써 차원을 전체 (구간) 에서 양의 값으로 줄일 수 있음을 보여줍니다.

• 정리 3 (이중 지수적 성장): $a_n = 2^{N^n f(n)}$으로 성장하는 수열과 숫자 집합 $D_n$에 대한 특정 제약 조건에 대해, 저자들은 하한을 확립합니다:
  $$\dim_H(K) \ge \frac{s}{(N-1)(N-s)}$$
  여기서 $s$와 $N$은 기저와 숫자 집합의 성장률과 관련된 매개변수입니다.

• 정리 4 (느린 이중 지수적 성장): $a_n = N^{2^n f(n)}$으로 성장하는 수열에 대해 하한이 유도됩니다:
  $$\dim_H(K) \ge \frac{s}{2-s}$$
  주목할 점은 이 하한이 기저 매개변수 $N$에 독립적이라는 것입니다. 이는 $N$이 증가함에 따라 하한이 감소하는 정리 3 과 대조됩니다.

• 계 5 (Erdős 기준의 날카로움): 저자들은 자신의 결과를 정수 수열에 적용합니다. 그들은 어떤 $t \in \mathbb{N}$에 대해 $\limsup_{n \to \infty} a_n^{1/t^n} < \infty$이면, 표현 가능 집합 $K(A)$가 리우빌 수를 포함하는 클래스인 $U^*$-수가 아닌 수를 포함함을 보여줍니다. $U^*$-수 집합의 하우스도르프 차원이 0 이므로, 이는 $K(A)$가 리우빌 수가 아닌 수를 포함함을 의미합니다. 이는 리우빌 수를 생성하기 위한 Erdős 의 조건이 날카롭다는 것을 확인시켜 주며, 성장 조건을 완화하면 리우빌 수가 아닌 수를 포함하는 양의 차원을 가진 집합이 생성됨을 보여줍니다.

의의 및 주장
본 논문은 제한된 숫자를 가진 표현 가능 집합의 하우스도르프 차원에 대한 최초의 양의 하한을 제공한다고 주장합니다. 주요 의의는 급속히 증가하는 수열에 대해 "리우빌" 성질이 보편적이지 않으며, 오히려 구체적인 성장률과 숫자 집합의 크기에 결정적으로 의존한다는 것을 입증하는 데 있습니다.

저자들은 명시적으로 자신의 결과가 Erdős 의 1976 년 구성이 이전 생각보다 약한 성장 조건 하에서도 리우빌 수가 아닌 수를 산출함을 보여준다고 명시합니다. 그들은 하한이 양수이지만 최적은 아닐 것으로 의심한다고 언급하는데, 이는 이러한 특정 집합에 대한 상한이 아직 계산되지 않았기 때문입니다. 논문은 정리 2 에서의 제한 $K^2 < b$를 제거하는 것과 이러한 집합에 대한 상한을 계산하는 것을 미해결 문제로 지적하며 마무리합니다. 이 연구는 새로운 응용을 제안하는 것이 아니라, 특정 급수 전개로 정의된 수의 계량적 성질에 대한 이론적 이해를 정교화하는 것입니다.