Multivariable automatic arrays and transcendence

1. 연구 문제 및 배경 (Problem & Background)

이 논문은 자동화 이론 (Automata Theory) 과 디오판토스 근사 (Diophantine Approximation) 의 교차점에 위치하며, 다변수 (multidimensional) 자동 배열로 정의된 실수의 산술적 성질 (유리수인지 초월수인지) 을 규명하는 것을 목표로 합니다.

• 배경:
  • 단일 변수 (1D) 에서는 Adamczewski 와 Bugeaud 가 유명한 결과를 증명했습니다. 즉, 정수 $b \ge 2$ 와 유계 (bounded) 인 자동 수열 $(a_n)$ 에 대해 정의된 실수 $\alpha = \sum a_n b^{-n}$ 는 유리수이거나 초월수 중 하나이며, 중간인 대수적 무리수는 존재하지 않습니다.
  • 이 결과는 자동 수열의 낮은 조합적 복잡성 (stammering condition) 과 Schmidt 의 부분공간 정리 (Subspace Theorem) 를 결합하여 증명되었습니다.
• 문제 제기:
  • 위 결과가 다변수 (Multidimensional) 설정으로 확장될 수 있는가?
  • 즉, $r \ge 2$ 개의 서로 다른 기저 $a_1, \dots, a_r$ (대수적으로 독립) 과 $r$ 개의 자동 수열로 구성된 다변수 급수 $\alpha = \sum \frac{c_{n_1, \dots, n_r}}{a_1^{n_1} \cdots a_r^{n_r}}$ 에 대해 동일한 '유리수 또는 초월수'의 이분법이 성립하는가?

2. 주요 가정 및 설정 (Main Setting)

• 기저 (Bases): $a_1, \dots, a_r \ge 2$ 는 정수이며, $\log a_1, \dots, \log a_r$ 가 $\mathbb{Q}$ 위에서 선형 독립입니다 (즉, $a_1^{m_1} \cdots a_r^{m_r} = 1$ 인 해는 자명한 해 $(0, \dots, 0)$ 뿐임).
• 수열 (Sequences): 각 $i \in \{1, \dots, r\}$ 에 대해 $(p_n^{(i)})_{n \ge 0}$ 는 정수 값을 갖는 유계 $k_i$-자동 수열입니다.
• 배열 (Array): 함수 $f: \mathbb{Z}^r \to \mathbb{Z}$ 가 주어졌을 때, $r$ 차원 배열 $c_{n_1, \dots, n_r} = f(p_{n_1}^{(1)}, \dots, p_{n_r}^{(r)})$ 을 정의합니다.
• 대상 수 (Target Number):
  $$\alpha = \sum_{n_1, \dots, n_r \ge 0} \frac{c_{n_1, \dots, n_r}}{a_1^{n_1} \cdots a_r^{n_r}}$$
  이 수열 $c$ 는 $[k_1, \dots, k_r]$-자동 배열로 간주됩니다.

3. 방법론 (Methodology)

저자들은 단일 변수 경우의 증명 기법을 고차원으로 일반화하기 위해 다음과 같은 두 가지 핵심 도구를 결합했습니다.

A. 자동 수열의 조합적 성질: 'Stammering' 조건

• 자동 수열은 임의의 긴 접두사 (prefix) 내에 큰 반복 블록을 포함하는 Stammering 조건 (Condition $(\ast)_w$) 을 만족합니다.
• 구체적으로, 수열의 접두사가 $U_n V_n^w$ 형태 (여기서 $w > 1$) 로 근사될 수 있으며, $|U_n|/|V_n|$ 이 유계이고 $|V_n|$ 이 엄격하게 증가합니다.
• 이 성질을 이용하여 원래 수열을 점근적으로 주기적인 (eventually periodic) 보조 수열로 근사합니다.

B. 디오판토스 도구: Schmidt 의 부분공간 정리 (Subspace Theorem)

• 보조 유리수 구성: 각 $n$ 에 대해, 자동 수열의 접두사를 기반으로 한 점근적 주기 수열을 사용하여 유리수 $\alpha_n$ 을 구성합니다.
  • $\alpha_n$ 은 기하급수 합을 통해 명시적인 유리수 형태로 표현 가능하며, 분모는 $a_i^{r_n^{(i)}}(a_i^{s_n^{(i)}} - 1)$ 형태를 가집니다.
• 근사 오차 추정: Stammering 조건에 의해 $\alpha$ 와 $\alpha_n$ 사이의 오차 $|\alpha - \alpha_n|$ 이 매우 빠르게 감소함을 보입니다.
• 높이 (Height) 분석: $\alpha_n$ 을 구성하는 분자와 분모의 다항식 계수가 유계임을 이용하여, 점 $\mathbf{x}_n$ (분자, 분모, $\alpha$ 와의 관계식 포함) 의 높이 $H(\mathbf{x}_n)$ 을 추정합니다.
• 모순 유도:
  1. $\alpha$ 가 대수적 무리수라고 가정합니다.
  2. Schmidt 의 부분공간 정리를 적용하여, 충분히 많은 $n$ 에 대해 $\mathbf{x}_n$ 이 유한 개의 고유한 진부분공간에 속함을 보입니다.
  3. 이 부분공간 관계식을 분석하면, $a_i$ 들의 로그가 $\mathbb{Q}$-선형 독립이라는 가정과 모순되거나, $\alpha$ 가 유리수여야 함을 도출합니다.
  4. 특히, $u_{2r+1} = 0$ 인 경우 (즉, $\alpha$ 가 식에서 사라지는 경우), $a_i$ 들의 거듭제곱에 대한 선형 관계가 도출되어 $a_i$ 들의 대수적 독립성과 충돌합니다.

4. 주요 결과 (Key Results)

Theorem A (주정리):
$r \ge 2$, $a_1, \dots, a_r \ge 2$ 가 곱셈적으로 독립인 정수이고, $c_{n_1, \dots, n_r}$ 이 유계인 $r$ 차원 자동 배열일 때, 정의된 실수 $\alpha$ 는 유리수이거나 초월수입니다.

• 보충 설명: 만약 $\alpha$ 가 유리수라면, 이는 생성된 자동 배열이 점근적으로 주기적 (eventually periodic) 인 경우와 동치입니다.

5. 의의 및 기여 (Significance & Contributions)

1. 다변수 일반화: Adamczewski 와 Bugeaud 의 단일 변수 결과를 $r$ 차원 다변수 설정으로 성공적으로 확장했습니다. 이는 자동 수열 이론과 초월수 이론의 연결 고리를 고차원으로 넓힌 중요한 성과입니다.
2. 기법적 통합: 자동 수열의 조합적 구조 (Stammering) 와 고차원 디오판토스 근사 (Schmidt 의 부분공간 정리 및 S-unit 정리) 를 결합하여, 다변수 급수의 산술적 성질을 분석하는 새로운 프레임워크를 제시했습니다.
3. 개방된 문제의 해결: Hartmanis 와 Stearns 가 제기한 "저복잡도 계산 (real-time computable) 을 갖는 무리 대수적 수의 존재 여부"에 대한 논의의 다변수 버전으로, 대수적 무리수는 자동 배열로 정의된 급수에서 발생할 수 없음을 증명했습니다.
4. 향후 연구 방향: 이 논문은 더 일반적인 자동 배열 (예: $[k_1, \dots, k_r]$-자동 배열 전체) 에 대한 유사한 결과가 성립할지 여부에 대한 질문을 제기하며, 다변수 초월수 이론 연구의 기반을 마련했습니다.

요약

이 논문은 다변수 자동 배열로 정의된 실수가 유리수이거나 초월수임을 증명함으로써, 단일 변수에서의 유명한 정리를 고차원으로 성공적으로 일반화했습니다. 저자들은 자동 수열의 반복적 구조 (Stammering) 를 이용해 유리수 근사를 구성하고, Schmidt 의 부분공간 정리를 적용하여 대수적 무리수일 가능성을 배제하는 정교한 논증 과정을 제시했습니다.