The Dirichlet spectrum with respect to $L_1$ norm is $\left[\frac12,1\right]$

기술 요약: $L^1$ 노름에 대한 디리클레 스펙트럼

문제 정의
본 논문은 $\mathbb{R}^2$ 상의 노름 $F$와 연관된 디리클레 스펙트럼 $D[F]$를 조사한다. 무리수 $\alpha$에 대하여, 디리클레 상수 $d_F(\alpha)$는 $F$의 단위 구(unit ball)에 대한 격자 $\Lambda_\alpha(t) = \text{diag}(t^{-1}, t) \begin{pmatrix} 1 & 0 \\ -\alpha & 1 \end{pmatrix} \mathbb{Z}^2$의 첫 번째 성공적 최소값(first successive minimum)을 통해 정의된다. 정규화된 디리클레 상수는 $\delta_F(\alpha) = \Delta_F \cdot (d_F(\alpha))^2$로 주어진다 (여기서 $\Delta_F$는 단위 구의 임계 결정 상수이다). 스펙트럼 $D[F]$는 모든 $\alpha \in \mathbb{R} \setminus \mathbb{Q}$에 대한 이러한 값 $\delta_F(\alpha)$들의 집합이다.

고전적인 디리클레 스펙트럼(sup-norm, $L^\infty$와 연관된)의 구조가 이산적인 점들과 연속적인 "Hall's ray"를 모두 포함하는 복잡한 구조를 가지고 있는 것으로 알려진 반면, 다른 노름들에 대한 구조는 여전히 덜 이해되어 있다. 본 논문은 특히 $F^{[1]}(x, y) = |x| + |y|$로 정의되는 $L^1$ 노음에 초점을 맞춘다. 중심 문제는 $D[1] = \{ \delta_{F^{[1]}}(\alpha) : \alpha \in \mathbb{R} \setminus \mathbb{Q} \}$의 정확한 집합을 결정하는 것이다.

방법론
저자는 디오판토스 근사, 연분수, 그리고 프랙탈 기하학을 연결하는 다단계 전략을 사용한다:

1. 민코프스키 스펙트럼과의 연결: 본 논문은 $L^1$ 디리클레 스펙트럼과 민코프스키 대각 연분수(Minkowski diagonal continued fraction, DCF)와 연관된 민코프스키 스펙트럼 $M$ 사이의 직접적인 연결 고리를 확립한다. $\delta_{F^{[1]}}(\alpha) = 2m(\alpha)$임이 밝혀졌는데, 여기서 $m(\alpha)$는 $\{(q, \|q\alpha\|)\}$의 하부 볼록 껍질(lower convex hull)의 선형 보간인 $\mu_\alpha(t)$의 $t \mu_\alpha(t)$의 limsup으로 정의되는 민코프스키 상수이다. 결과적으로 $D[1] = 2M$이 된다. 따라서 문제는 $M$을 특징짓는 문제로 환원된다.

2. 함수적 표현: Moshchevitin의 결과를 활용하여, $m(\alpha)$는 $\alpha$의 정규 연분수 전개의 꼬리(tails)에 의존하는 두 함수 $G(x,y)$와 $F(x,y)$로부터 유도된 값들의 limsup으로 표현된다. 함수 $F$는 레전드르 부등식(Legendre's inequality)을 만족하는 연속적인 수렴값(convergents)에 대응하며, $G$는 "건너뛴(skipped)" 수렴값들에 대응한다. 분석을 용이하게 하기 위해, 저자는 $F$를 양의 실수 상에서 정의된 함수 $K(u,v)$로 변환하는 변수 변환을 도입하여 경계값 추정을 단순화한다.

3. 합 분해 알고리층(Sum Decomposition Algorithm): 임의의 무리수 $s \in (0,1)$를 부분 몫(partial quotients)이 무한대로 발산하는 두 연분수의 합 $s = \beta + \gamma$로 분해하는 최근에 발견된 알고리즘([27] 및 [4] 참조)을 핵심 도구로 사용한다. 이 분해는 특정 성질을 가진 수들을 명시적으로 구성할 수 있게 한다.

4. $\alpha$의 명시적 구성: 특정 값 $m \in (1/4, 1/2)$가 스펙트럼에 속함을 증명하기 위해, 저자는 타겟 값 $s = 4m-1$의 분해를 바탕으로 블록들을 연결하여 무리수 $\alpha$를 구성한다. 이 구성은 다음을 포함한다:

   • $\beta$와 $\gamma$의 부분 몫에 기초한 블록 $W_N = (b_N, \dots, b_1, 1, c_1, \dots, c_N)$ 생성.
   • 중앙의 숫자 '1'의 거동을 격리하기 위해 큰 "구분자(separator)" 부분 몫 $d_j$를 삽입.
   • 생성된 연분수를 분석하여, 민코프스키 상수의 limsup이 정확히 중앙의 "건너뛴" 항들(숫자 1과 연관된)에 의해 결정되며, 다른 모든 컷(cuts)들은 엄격히 더 작은 값을 가짐을 보여줌.

5. 하우스도르프 차원 분석: 레벨 셋(level sets) $\Theta_m = \{ \alpha : m(\alpha) = m \}$에 대하여, 저자는 제한된 부분 몫을 가진 수들의 집합을 임베딩하기 위해 구성된 블록들을 사용한다. 왜곡 논증(distortion arguments)과 연분수 실린더(continued fraction cylinders)의 성질을 적용하여, 이 집합들의 하우스도르프 차원을 추정한다.

주요 결과

• 정리 1.1 (주 결과): $L^1$ 노음에 대한 디리클레 스펙트럼은 다음의 폐구간이다:
  $$D[1] = \left[ \frac{1}{2}, 1 \right].$$
  이는 $\delta_{F^{[1]}}(\alpha)$가 (대칭 노름에 대해 일반적으로 가능한 범위인 $1/2 \le \delta_F(\alpha) \le 1$ 내에서) 전체 범위를 차지함을 확인시켜 준다. 이는 민코프스키 스펙트럼이 $M = [1/4, 1/2]$임을 의미한다.

• 정리 1.3 (레벨 셋의 차원): 임의의 $m \in (1/4, 1/2)$에 대하여, 레벨 셋 $\Theta_m$은 1/2보다 큰 하우스도르프 차원을 갖는다. 구체적으로, $s = 4m-1$이고 $A$가 충분히 클 때, $\dim_H \Theta_m \ge \delta_A$이다 (여기서 $\delta_A$는 부분 몫이 $A$ 이상인 수들의 집합의 차원이다).

• 정리 7.3: 임의의 $m \in (1/4, 1/2)$에 대하여, $\dim_H \Theta_m < 1$이다. 이는 이 레벨 셋들이 (풀 측도(full Lebesgue measure)를 갖는) 일반적인 경우($m=1/2$)와 구별됨을 나타낸다.

• 정리 7.6: 끝점 레벨 셋의 차원은 정확히 $\dim_H \Theta_{1/4} = 1/2$이다.

• 따름정리 7.7: $m$이 $1/4$에 위에서 접근함에 따라 차원의 극한값은 $1/2$이다.

의의 및 주장
본 논문은 일차원 디오판토스 스펙트럼의 구조를 완전히 기술한 첫 번째 사례라고 주장한다. 다차원 디리클레 스펙트럼은 최근 구간임이 밝혀졌으나, 일차원 케이스는 일반적으로 더 복잡하다. $D[1]$이 폐구간임을 증명함으로써, 본 연구는 $L^1$ 노음에 대한 구조 문제를 해결한다.

또한, 본 논문은 민코프키 상수의 레벨 셋들이 (내부 점들에 대해) 프랙탈적 의미에서 "크며" (차원 $> 1/2$), 끝점들은 독특한 차원적 성질을 가짐을 보여준다. 방법론은 연분수 연결을 통한 수의 명시적 구성을 통해 민코프스키 상수의 대수적 성질과 관련 집합의 기하학적 성질 사이의 간극을 메우는 데 의존한다.

저자는 이 결과가 $L^1$ 노름과 민코프스키 대각 연분수의 특정한 성질에 의존하며, 추가적인 조사 없이 임의의 노름에 대해 이러한 구조적 결과를 일반화한다고 주장하지 않음을 명시한다. 본 연구는 Moshchevitin이 제기한 민코프스키 스펙트럼 문제에 대한 해법으로 제시된다.