Transcendence and measures via the refined Diophantine exponent

기술 요약: 정교화된 디오판토스 지수를 통한 초월성과 측도

문제 정의
본 논문은 계수 $a_i$가 유한한 정수 집합(또는 $S$-정수) 위의 무한 단어(infinite word)를 형성하고 $\beta$가 $|\beta| > 1$인 대수적 수일 때, 실수 $\xi = \sum_{i \ge 0} a_i \beta^{-i}$의 디오판토스 성질을 다룬다. 핵심 문제는 $\xi$의 초월성을 결정하고, 양적인 초월성 측도(대수적 수에 의해 $\xi$가 얼마나 잘 근사될 수 있는지에 대한 경계)를 확립하는 것이다.

아담체프스키(Adamczewski)와 뷔게오(Bugeaud)의 고전적 접근 방식은 계수 단어의 주기성을 측정하기 위해 디오판토스 지수($Dio(a)$)를 활용한다. 만약$Dio(a)$가$\beta$의 높이(height)에 비해 충분히 크다면, $\xi$는 대수적 수(제한된 형태)이거나 초월수이다. 그러나 고전적 지수는 부분 단어(subword)의 정확한 반복을 요구한다. 이러한 경직성은 "노이즈"에 의해 반복이 가려지거나, 반복이 근사적으로만 일어나는 경우(예: 특정 동역학계나 특정 조합적 구조를 가진 단어인 래큐너리 수열 등)에는 적용 가능성을 제한한다. 코르바자-자니에르(Corvaja-Zannier), 벨-딜러-존슨(Bell-Diller-Jonsson), 케비스-루카-오크웨인-스코스(Kebis-Luca-Ouaknine-Scoones-Worrell) 등의 선행 연구들이 고차원 부공간 정리(Subspace Theorem)의 응용을 통해 특정 사례들을 다루었으나, 클래식한 이분법의 강점을 유지하면서도 "노이즈"가 섞인 반복을 처리할 수 있는 통합된 프레임워크는 부족한 상태였다.

방법론
저자는 고전적인 $Dio(a)$를 일반화한 새로운 조합론적 불변량인 **정교화된 디오판토스 지수**($Rdio(a)$)를 도입한다.

1. $(\epsilon, \delta)$-폐쇄성(closedness)의 정의: 두 부분 단어가 동일해야 한다는 기존 정의 대신, 새로운 정의는 두 단어가 전체 단어 길이의 $\epsilon$배 이하인 총 길이를 가진 $\delta$개의 구간으로 덮일 수 있는 인덱스 집합에서 서로 달라도 된다는 것을 허용한다. 이는 "노이즈" 또는 불일치를 모델링한다.
2. 정교화된 지수: $Rdio(a)$는 단어$a$가$t_n \ge \rho s_n$인 성장률을 가지며 위와 같은 근사적 반복 조건을 만족하는 부분 단어들을 포함하는$\rho$의 상한(supremum)이다.
3. 부공간 정리의 적용:
   • 질적 측면 (정리 A): 증명은 $p$-진 부공간 정리를 적응시킨다. "불일치"(노이즈)는 선형 형식(linear forms)의 추가 변수로 취급된다. $\xi$, 그 유리 근사값들, 그리고 불일치 항들을 포함하는 선형 형식 체계를 구성함으로써, 저자는 $\xi$가 대수적이라면 불일치 항들의 계수가 반드시 0이어야 하며, 이는 $\xi$를 매우 제한된 대수적 형태로 강제함을 보인다.
   • 양적 측면 (정리 B): 초월성 측도를 도출하기 위해 저자는 에베르스(Evertse)의 양적 부공간 정리를 사용한다. 이를 위해서는 수열 $(r_n, s_n, t_n)$의 성장과 근사의 높이를 제어해야 한다. 증명은 조밀한 유리 근사들을 구성하고, 결과로 나타나는 부등식의 해의 개수를 제한함으로써 $|\xi - \alpha|_v$에 대한 명시적인 하한을 도출하는 과정을 포함한다.
4. 마흘러 분류(Mahler's Classification): 결과는 마흘러의 초월수 분류($A, S, T, U$-수) 내에서 해석되며, 유한하거나 무한한 근사 지수를 가진 수들을 구분한다.

주요 기여 및 결과

• 정리 A (초월성 이분법): 만약 $Rdio(a) > \frac{\log H(\beta)}{\log |\beta|_v}$라면, $\xi$는 수체 $K$에 속하거나(매우 제한된 형태로서) 초월수이다. 이는 아담체프스키-뷔게오, 코르바자-자니에르 등의 기존 결과를 통합하고 확장하며, 반복의 "노이즈"가 초월성 탐지를 방해하지 못함을 보여준다.
• 정리 B (초월성 측도): 더 강력한 점근적 조건(조건 $(**)_\rho$) 하에서, 저자는 $|\xi - \alpha|_v$에 대한 양적인 하한을 설정한다. 구체적으로, $K$에 속하지 않는 차수 $d$와 높이 $H(\alpha)$를 가진 대수적 수 $\alpha$에 대해, $|\xi - \alpha|_v \ge H(\alpha)^{-(2d)^c (\log 4d)(\log \log 4d)}$이다. 이는 $\xi$가 $U_d$-수(작은 $d$에 대해)이거나 $S$- 또는 $T$-수임을 의미한다.
• 정리 C (래큐너리 수): 래큐너리 급수 $\xi = \sum a_i \beta^{-u_i}$에 대하여, 본 논문은 간격 $u_{i+1}/u_i$의 성장성에 기반한 이분법을 제공한다. 간격이 초지수적으로 성장하면 $\xi$는 $U_d$-수이며, 그렇지 않으면 $S$- 또는 $T$-수이다. 이는 계수가 $S$-정수여야 한다는 요구 조건을 제거함으로써 기존의 경계치를 개선한다.
• 정리 D (슈투르미안 및 $k$-보나치 단어): $\beta$가 차수가 최대 2인 파이소트(Pisot) 수일 때, 저자는 슈투르미안 단어(유계된 부분 몫을 가짐)와 $k$-보나치 단어에 의해 생성되는 수들이 $S$- 또는 $T$-수임을 증명한다. 이는 정교화된 지수 결과와 이러한 단어들의 특성을 통해 구성된 조밀한 유리 근사를 결합하여 달성된다.

의의 및 주장
본 논문은 다양한 종류의 무한 단어(래큐너리, 스터터링, 에코잉, 그리고 대수적 역학에서 기원한 단어들)에 대해 기존의 초월성 결과를 회복하고 확장하는 통합된 프레임워크를 제공한다고 주장한다.

• 강건성(Robustness): 주요 의의는 "노이즈"가 섞인 반복을 다룰 수 있는 능력에 있다. 정교화된 지수 $Rdio(a)$는 부분 단어들이 동일하지 않더라도 반복을 탐지하며, 이는 고전적$Dio(a)$가 실패할 수 있는 시나리오(예:$Dio(a)=1$이지만$Rdio(a)=\infty$인 경우)에서도 작동한다.
• 양적 정교화: 본 연구는 질적인 초월성을 넘어 명시적인 초월성 측도를 제공하며, 결과적인 수들을 마흘러의 계층 구조 내에서 분류한다.
• 역학과의 연결: 방법론은 대수적 역학(벨, 딜러, 존슨)에서의 최근 돌파구, 특히 역학적 차수의 초월성과 관련된 연구로부터 동기를 얻었으며 이와 연결된다.
• 한계: 저자는 자신의 방법이 함수 방정식(functional equations)을 요구하는 고전적 파데 근사(Padé approximant) 접근법보다는 약한 결과를 낼 수 있지만, 무수히 많은 함수의 가족에 적용 가능하며 섭동(perturbation)에 강건하다는 점을 겸허히 언급한다. 또한, 이 방법이 특정 경우에 $\xi$가 $U_1$ 또는 $U_2$가 아님을 입증하지만, 고전적 디오판토스 지수가 유한할 때 $\xi$가 높은 차수의 $U_d$인지 결정하는 것은 여전히 어려운 과제로 남아 있다.

요약하자면, 본 논문은 근사적 반복을 포함하도록 초월성을 위한 조합론적 기준을 일반화함으로써, 초월성 및 초월성 측도를 효과적으로 확립할 수 있는 수들의 범위를 넓힘으로써 해당 분야를 발전시킨다.