[논문 리뷰] Stern polynomials and algebraic independence

Daniel Duverney, Iekata Shiokawa|arXiv (Cornell University)|2026. 03. 26.

Advanced Combinatorial Mathematics인용 수 0

한 줄 요약

저자들은 정수 t≥2, k≥1 및 |α|<1인 0이 아닌 모든 대수적 α에 대해 H_k(α)와 H_k(α^{t^k})가 대수적으로 독립임을 증명한다. 이는 Mahler 방법을 관련 연속분수에 적용해서 얻은 결과이다.

ABSTRACT

Let $t\geq2$ and $k\geq1$ be integers. Let $H_{k}(z)$ with $\left\vert z ight\vert &lt;1$ be the limit of a certain subsequence of the Stern polynomials introduced by Dilcher and Eriksen. We use Mahler's method to prove the algebraic independence of the values at nonzero algebraic points of the functions $H_{k}(z)$ and $H_{k}(z^{t^{k}})$.

연구 동기 및 목표

• 수학적 맥락에서 Diophantine 및 transcendence 맥락 내에서 Stern 다항식과 그 극한 함수 H_k(z)을 연구하도록 동기를 부여한다.
• 0<|α|<1이고 0이 아닌 대수적 α에 대해 쌍 (H_k(α), H_k(α^{t^k}))의 대수적 독립성을 확립하는 것을 목표로 한다.
• 연속분수 표현과 Mahler 방법을 활용해 독립성 결과와 초분류적 결과를 도출한다.

제안 방법

• H_k(z)를 Dilcher–Eriksen Stern 다항식의 부분수열의 극한으로 정의한다.
• H_k(z^{t^k}), H_k(z^{t^{2k}}) 등으로 구성되는 기능적 시스템을 도출하고 2x2 행렬 재귀 A(z)를 이끈다.
• 가역적 특수화가 있는 선형 함수 방정식을 만족하는 함수들의 대수적 독립성에 대해 Mahler의 방법을 사용한다.
• 다음 보조 렘들을 증명한다: A(z)가 극값으로써 0만을 가지는 극(pole)이다; H_k(1/2)/H_k(1/2^{t^k})은 무정수(비합리수)이다; H_k(z)는 초분류적이다; H_k(z)와 H_k(z^{t^k})는 C(z) 상에서 대수적으로 독립이다.
• Ku. Nishioka의 Mahler 함수와 초분류 프레임워크를 적용하여 0<|α|<1인 대수적 α에서 쌍의 대수적 독립성을 결론으로 이끈다.
• H_k(α)/H_k(α^{t^k})를 포함하는 특정 연속분수에 대한 초분류 결과에 대한 결과를 도출한다.

실험 결과

연구 질문

• RQ1 모든 0이 아닌 대수적 α에 대해 0<|α|<1일 때 H_k(α)와 H_k(α^{t^k})가 대수적으로 독립한 쌍을 형성하는가?
• RQ2 Stern 다항식에서 생겨나는 연속분수 표현에 Mahler 방법을 효과적으로 적용하여 초분류성 결과를 도출할 수 있는가?
• RQ3 대수적 점에서의 특수화와 관련된 연속분수의 초분류적 결과는 어떠한가?
• RQ4 A(z)와 관련 재귀의 특성이 독립성 결론을 어떻게 이끄는가?

주요 결과

• H_k(α)와 H_k(α^{t^k})는 0<|α|<1인 모든 대수적 α에 대해 대수적으로 독립이다.
• H_k(α)/H_k(α^{t^k})의 연속분수 표현은 수렴하며, 0<|α|<1인 대수적 α일 때 초분류 값을 산출한다.
• H_k(z)는 C(z) 위에서 초분류이며, 계수 구조는 {0,1}로 제한된다.
• Az(z) 기반의 기능적 시스템은 Mahler 방법의 적용으로 대수적 독립성을 도출한다.
• 연속분수 표현에 대한 대수적 점에서의 결과는 corollaries로 초분류를 포함한다.