Algebraic values of transcendental power series with geometric coefficient moduli

기술 요약: 기하급수적 계수 절댓값을 갖는 초월적 멱급수의 대수적 값

문제 제기 및 배경
본 논문은 초월 함수가 취하는 값의 산술적 성질, 특히 경직된 테일러 전개와 함수가 대수적 점에서 대수적 값을 가져야 한다는 요구 사이의 긴밀한 관계를 조사한다. 이 탐구는 마러(Mahler)의 문제 A, B, C의 맥락 내에서 이루어진다. 문제 B와 C는 해결되었으나, 문제 A는 여전히 미해결 상태로 남아 있다: 즉, 유계인 정수 계수($a_k \in \mathbb{Z}$)를 가지는 초월 함수 $f(z) = \sum a_k z^k$ 중 $f(\mathbb{Q} \cap B(0,1)) \subseteq \mathbb{Q}$를 만족하는 함수가 존재하는가 하는 문제이다.

Marques와 Moreira [9]의 선행 연구는 계수의 조건이 소인수가 $\{2, 3\}$으로 제한된 경우로 완화된다면 그러한 함수가 존재함을 보여주었다. 이는 두 개의 곱셈적으로 독립적인 소인수를 사용하는 "국소적 소멸(local-annihilation)" 메커니즘에 의존했다. 본 논문은 만약 계수의 절댓값이 하나의 실수 대수적 수 $\lambda > 1$에 의해 생성되는 계수(rank-one multiplicative semigroup)로 제한될 때도 이러한 구성이 가능한지 조사한다. 구체적으로, 모든 0이 아닌 계수 $a_k$가 $|a_k| = \lambda^m$ (단, $m \ge 0$인 정수)를 만족하면서, 모든 대수적 점 $\alpha$에서 모든 도함수 $f^{(s)}$가 대수적 값을 갖도록 하는 함수를 구성할 수 있는지를 묻는다.

방법론
이 구성은 계수의 크기와 그 위상(argument, 편각)을 분리하는 것에 기초한다. 저자는 0과 모든 대수적 수 $\gamma$ 중 $|\gamma| = \lambda^m$을 만족하는 수들을 포함하는 집합 $D_\lambda$를 정의한다. 핵심 전략은 세 가지 주요 구성 요소로 이루어진다:

1. 대수적 다각형 상쇄 (Algebraic Polygonal Cancellation): 본 논문은 "대수적 다각형 보조정리"(보조정리 2.2)를 확립한다. 이는 엄격하게 다각형 허용 가능한 양의 실수 길이들( $m+1$ 변의 삼각형 부등식을 만족하는)에 대해, 해당 길이들을 가지며 합이 0이 되는 대수적 벡터들이 존재함을 증명한다. 이를 통해 주어진 계수의 절댓값을 변경하지 않으면서 특정 대수적 점 $\alpha$에서의 다항식 값을 상쇄할 수 있는 "상쇄 승수(annihilating multipliers)"를 구축할 수 있다.
2. 희소 다항식 블록 (Sparse Polynomial Blocks): 저자는 계수가 $D_\lambda$에 속하는 다항식 열 $(H_n)_{n \ge 0}$을 구성한다. 이 다항식들은 단위 원 내부의 조밀한 대수적 점들의 열 $\{\alpha_i\}$에서 고차 소멸(vanishing)하도록 설계되었다. 구성 과정에서는 상쇄 승수를 반복적으로 사용하여 $H_n$이 $\alpha_1, \dots, \alpha_n$에서 고차 소멸하도록 만든다.
3. 간극 경직성 및 초월성 (Gap Rigidity and Transcendence): 최종 함수는 $f_\varepsilon(z) = \sum \varepsilon_n z^{t_n} H_n(z)$ (여기서 $\varepsilon_n \in \{-1, 1\}$ 및 급격히 성장하는 정수 $t_n$)로 정의된다. $t_n$의 급격한 성장은 이동된 다항식 블록들의 지지집합(support)이 서로 겹치지 않음을 보장한다. 이러한 희소성은 멱급수에 큰 간극(gap)을 만든다. 본 논문은 연속적인 간극 끝점 사이의 비율이 무한대로 발산하는 충분히 큰 간극을 가진 멱급수는 $\mathbb{C}(z)$ 위에서 초월적이라는 마러의 간극 경직성 정리(정리 2.6)를 인용한다.

주요 결과
주요 정리(정리 1.1)는 이러한 함수가 연속체(continuum)만큼 존재함을 확립한다. 구체적으로, 임의의 실수 대수적 $\lambda > 1$에 대하여 다음을 만족하는 멱급수 $f(z) = \sum a_k z^k$가 무수히 많이 존재한다:

• 수렴 반경: 정확히 1.
• 계수 절댓값: 모든 0이 아닌 계수 $a_k$는 대수적이며, $|a_k| = \lambda^m$ (단, $m \ge 0$인 정수)를 만족한다.
• 대수적 제트 (Algebraic Jets): 모든 정수 $s \ge 0$와 단위 원 내부의 대수적 점 $\alpha \in \mathbb{Q} \cap B(0,1)$에 대하여, 도함수 $f^{(s)}(\alpha)$는 대수적이다 (계수가 적절한 체(field)에서 선택될 경우 유리수이다).
• 초월성: 모든 도함수 $f^{(s)}$는 $\mathbb{C}(z)$ 위에서 초월적이다.

또한, 본 논문은 복소 위상의 필요성에 대한 부정적인 결과를 제공한다. 명제 4.1과 따름정리 4.2는 만약 계수가 실수 rank-one 알파벳 $R_\lambda = \{0\} \cup \{\pm \lambda^m\}$로 제한된다면, 이러한 다항식의 영점(zeros)이 매우 엄격하게 제한됨(반드시 $S_\lambda$-unit이어야 함)을 보여준다. 결과적으로, 이러한 다항식의 구성에 사용된 국소적 상쇄 메커니즘은 실수 계수 위에서는 작동하지 않는데, 이는 임의의 대수적 점에서 필요한 상쇄를 만들어낼 수 없기 때문이다.

의의 및 주장
본 논문은 대수적 복소 위상이 산술적 장애물을 극복하는 데 있어 결정적인 역할을 한다는 점을 고립시켜 보여준다고 주장한다. 저자는 계수의 절댓값에 대한 rank-one 제한이, 대수적 위상이 허용된다면 모든 대수적 점에서의 전체 해석적 제트(analytic jet)의 대수성과 양립할 수 있음을 보여준다.

저자는 이 결과가 마러의 문제 A를 해결하는 것이 아님을 명시적으로 밝힌다. 구성된 함수들은 일반적으로 비실수 계수를 가지며 유계가 아니다 (왜냐하면 $\lambda > 1$이기 때문이다). 대신, 이 연구는 [9]의 정수 계수 구성에 대한 보완적 결과로서, 정수 계수에서는 두 개의 곱셈적으로 독립적인 생성자가 충분하지만, 단일 생성자의 경우에는 유사한 산술적 보간(interpolation) 성질을 달성하기 위해 복소 위상의 유연성이 필요함을 강조한다. 본 논문은 "아르키메데스적 자유(Archimedean freedom)"를 제공하는 복소 위상이 실수 rank-one 알파벳에서는 불가능한 국소적 상쇄를 가능하게 한다고 결론짓는다.