기술 요약: $L^p$-노름에서의 디리클레 개선 가능성 (Dirichlet Improvability)

문제 정의

본 논문은 $\mathbb{R}^2$ 상의 일반적인 $L^p$-노름에 대한 **디리클레 개선 가능한 수(Dirichlet improvable numbers)**의 분류 문제를 다룬다. 고전적인 $L^\infty$ (supremum norm)의 경우, 어떤 수가 디리클레 개선 가능하다는 것은 그 수가 나쁜 근사 가능(badly approximable)하지 않다는 것과 동치임이 잘 알려져 있다(정리 B).

구체적으로, 저자들은 다음 세 가지 상호 연결된 문제를 해결한다:

1. 분류 (문제 I): $L^\infty$에 대한 고전적 결과와 유사하게, $p$-디리클레 개선 가능한 수($DI_p$)를 그들의 정규 연분수 전개의 패턴을 통해 특징지을 수 있는가?
2. 차이의 메트릭 크기 (문제 II): 집합 차집합 $DI_p \setminus BA$ (나쁜 근사 가능하지만 $p$-개선 가능한 수들의 집합)가 풀 하우스도르프 차원(full Hausdorff dimension)을 갖는가? 이는 Kleinbock과 Rao가 유클리드 노름($p=2$)에 대해 제기했던 미해결 문제였다.
3. 비교 크기 (문제 III): 서로 다른 두 노름에 대한 개선 가능한 수들의 집합 사이의 차이, 즉 $DI_{p_1} \setminus DI_{p_2}$의 크기는 어떠한가?

방법론

저자들은 수의 기하학(geometry of numbers), 동역학계(dynamical systems), 그리고 **연분수의 메트릭 이론(metrical theory of continued fractions)**을 결합하여 연구를 수행한다.

1. Dani의 대응 관계와 임계 격자(Critical Lattices):
   본 연구는 Dani의 대응 관계를 활용하여 디오판토스 근사 문제를 단위 격자 공간 내 격자 궤적의 동역학 문제로 변환한다. 수 $\alpha$가 $F$-디리클레 비개선 가능(non-improvable)하다는 것은 격자 $\Lambda_\alpha(t)$의 궤적이 노름 $F$의 단위 구(unit ball) $B_F$에 대한 **임계 격자(critical lattice)**에 축적된다는 것과 동치이다.
   저자들은 $L^p$-단위 구($B_p$)에 대한 임계 격자의 분류 결과에 크게 의존하며, 이 분류는 Glazunov, Golovanov, Malyshev [14]에 의해 완성되었다. 이 분류는 임계 상수 $p_0 \approx 2.57$에서 구조적 분기(bifurcation)가 발생함을 보여준다.

2. 연분수의 패턴 분석:
   임계 격자로 수렴하는 격자 궤적의 극한 거동을 분석함으로써, 저자들은 $p$-디리클레 비개선 가능성에 대한 필요충분조건을 도출한다. 이 조건들은 $\alpha$의 연분수 전개에서 나타나는 특정 팰린드롬(palindromic) 또는 대칭 패턴으로 표현된다.

   • $2 < p < p_0$인 경우, 비개선 가능성은 $x, 1, 1, y$ 또는 $x, 2, y$ (여기서 $x, y$는 매우 큰 값)와 같은 패턴에 대응한다.
   • $p \in (1, 2) \cup (p_0, \infty)$인 경우, 패턴은 특정 상수 $\varsigma_p$ (방정식 $\varsigma + (1+\varsigma)^p = 2$의 근)의 연분수 전개에 따라 결정된다.

3. 하우스도르프 차원 경계:
   특정 집합이 풀 하우스도르프 차원을 가짐을 증명하기 위해, 저자들은 나쁜 근사 가능 수들의 집합에 특정 패턴을 삽입하여 부분 집합을 구성한다. 저자들은 기호 공간 매핑(symbolic space mapping) 기술(보조정리 9.1)을 사용하여, 이러한 패턴의 삽입이 밑바탕이 되는 집합의 차원을 보존하면서 디오판토스 성질을 변화시킨다는 것을 보여준다. 이는 삽입 함수가 국소 리프시츠(locally Lipschitz) 연속이고, 그 역함수가 국소 횔더(locally Hölder) 연속임을 증명하는 과정을 포함한다.

주요 기여 및 결과

1. 완전한 분류 (정리 3.1)

본 논문은 모든 $p \in [1, \infty)$에 대하여 $p$-디리클레 비개선 가능 수의 집합 $DI_p^c$에 대한 완전하고 효과적인 특징을 제공한다.

• Case $2 < p < p_0$: $\alpha \in DI_p^c$일 필요충분조건은 연분수에 $x, 1, 1, y$ 또는 $x, 2, y$ (단, $\min(x, y) \to \infty$) 패턴이 포함되는 것이다.
• Case $p \in (1, 2) \cup (p_0, \infty)$: 조건은 $\varsigma_p$에 의존한다. $\varsigma_p$가 유리수라면 $\varsigma_p$의 숫자를 포함하는 특정 유한 팰린드롬 패턴이 나타나야 한다. $\varsigma_p$가 무리수라면 $\varsigma_p$의 연분수로부터 유도된 임의의 길이의 팰린드롬 패턴이 나타나야 한다.
• Case $p=1$ 및 $p=2$: 특징화는 더 복잡한 대칭 패턴을 포함하며, $p=2$의 경우 $\beta \cdot \beta^* = 3$을 만족하는 수 쌍 $\beta, \beta^*$를 다룬다.

2. 차원에 관한 미해결 문제 해결

• 정리 1.1: 임의의 $p \in [1, \infty)$에 대하여, 집합 $DI_p \setminus BA$는 풀 하우스도르프 차원(차원 1)을 갖는다. 이는 Kleinbock과 Rao가 $p=2$에 대해 제기했던 질문을 해결하며, 이를 모든 $L^p$ 노름으로 일반화한다. 저자들은 $p=\infty$의 경우 $DI_\infty \setminus BA = \mathbb{Q}$이므로 이 결과가 성립하지 않음을 명시한다.
• 정리 1.2: 집합 $DI_2 \setminus DI_1$과 $DI_1 \setminus DI_2$는 모두 풀 하우스도르프 차원을 갖는다. 이는 서로 다른 $L^p$ 노름에 대한 개선 가능한 수들의 집합이 서로 다르며, 그 차이가 프랙탈 의미에서 "크다"는 것을 보여준다.

3. 특정 상수의 특징화

• 따름정리 3.9: 저자들은 자신들의 분류를 숫자 $e$에 적용한다. $e \in DI_p$일 필요충분조건은 $p \in (1, 2) \cup (p_0, \infty)$이다. 결과적으로 $e$는 $p \in [2, p_0]$ 범위에서 $p$-디리클레 개선 가능하지 않다.
• 따름정리 3.8: $p$-디리클레 비개선 나쁜 근사 가능 수가 존재하는 $p$의 집합은 $(1, 2) \cup (p_0, \infty)$에서 조밀(dense)하며, 르베그 측도는 0이지만, 풀 하우스도르프 차원을 갖는다.

4. 민코프스키 추측(Minkowski's Conjecture) 검증

본 논문은 Glazunov 등이 작성한 원본 증명[14]의 코드 누락 문제를 해결하며, $L^p$ 볼(ball)에 대한 임계 격자에 관한 민코프스키 추측의 증명을 독립적으로 검증한다 (부록 A).

의의 및 주장

본 논문은 연분수 패턴을 통해 $L^p$-노름에 대한 디리클레 개선 가능한 수에 대한 최초의 완전하고 효과적인 분류를 제공한다고 주장한다. 이는 $L^\infty$의 고전적 이론과 다른 노름들의 더 복적인 기하학 사이의 간극을 메운다.

본 연구의 의의는 다음과 같다:

1. 통합: $p_0 \approx 2.57$에서의 상전이(phase transition)를 드러냄으로써, 전체 $L^p$ 노름 가족에 걸친 디리클레 개선 가능성에 대한 이해를 통합한다.
2. 메트릭 해결: $DI_p \setminus BA$ 및 $DI_{p_1} \setminus DI_{p_2}$ 집합의 "크기"를 규명하여, 이들이 단순히 공집합이 아니라 최대 가능한 하우스도르프 차원을 가짐을 보여준다.
3. 구체적 적용: $L^p$ 노름 하에서의 숫자 $e$의 디오판토스 성질에 대한 확정적인 답을 제공한다.

저자들은 자신들의 결과가 휴리스틱(heuristic)한 논증을 피하고, 임계 격자의 분류와 연분수 이론으로부터 도출되었음을 강조한다. 이 연구는 거의 모든 수가 비개선 가능함(정리 C)을 확인하는 동시에, 개선 가능한 수의 집합이 구조적으로 풍부하며 노름 $p$의 선택에 따라 크게 달라질 수 있음을 입증한다.