[논문 리뷰] Mahler series with multiplicative coefficient sequences

Jason P. Bell, Daniel Smertnig|arXiv (Cornell University)|2026. 03. 24.

semigroups and automata theory인용 수 0

한 줄 요약

이 논문은 특성 0의 체에서 곱셈 계수를 가진 모든 k-Mahler 급수를 k-정규(k-regular)로 결론내고 계수 수열의 명시적 분해를 제시한다.

ABSTRACT

We prove that every Mahler series, over a field of characteristic $0$, with multiplicative coefficients is regular in the sense of Allouche and Shallit. We also obtain an explicit characterization of such series. This yields a joint extension of the characterization of rational series with multiplicative coefficients (by Bézivin and Bell--Bruin--Coons) and of multiplicative automatic sequences (by Konieczny--Lemańczyk--Müllner). Both of these results are used in our characterization, so we do not obtain new proofs of these special cases.

연구 동기 및 목표

• 합리적 케이스를 넘어서는 곱셈 계수를 가진 Mahler 급수를 동기 부여하고 연구한다.
• 이러한 k-Mahler 급수의 k-정규성을 언제 가지는지 특징지어 명시적 구조적 형태를 제공한다.
• 합리적 및 곱셈 자동 수열에 대한 알려진 결과를 k-Mahler 급수로 확장한다.
• 분해가 소수 거듭제곱 및 LRS/Rational 케이스와 상호 작용하는 방식을 보인다.

제안 방법

• 문제를 구성하기 위해 k-Mahler, k-정규, k-자동 클래스를 정의하고 활용한다.
• 곱셈 자동 수열에 대한 Konieczny–Lemańczyk–Müllner의 특징화를 적용한다.
• k가 소수 거듭제곱일 때 곱셈 계수를 분해하여 선형 재발 인자와 곱적이고 결국 주기적인 인자로 이루어진 곱을 얻는다.
• Mahler 분모의 보조 결과 및 대수적 연산에서의 거동을 다룬 보조 결과(정 Lemmas/Theorems 4.5, 4.6, 4.7)를 증명한다.
• 극대 이데알(mod maximal ideals)에서의 상승(lifting) 주장을 이용하여 k-정규에서 더 넓은 k-Mahler 설정으로 이동한다.
• k가 소수 거듭제곱인지 여부에 따라 사례를 나누고, 완전히 곱하기가 아닌 소수도 다룬다.

실험 결과

연구 질문

• RQ1 곱셈 계수를 가진 k-Mahler 급수가 언제 k-정규성을 갖는가?
• RQ2 그러한 급수의 계수 수열의 명시적 형태는 어떠하며 곱셈 인자들로 어떻게 분해되는가?
• RQ3 k가 소수 거듭제곱이 아닐 때와 아닐 때 결과는 어떻게 특수화되는가?
• RQ4 Mahler 분모가 대수적 작용 및 변환에 따라 곱셈 계수와 관련하여 어떻게 제어되는가?

주요 결과

• k에 서로 다른 두 개의 소수 구성요소가 적어도 있다면, 곱셈 계수를 가진 k-정규급수는 유리하다.
• 소수 거듭제곱 k = p^e에 대해, 곱셈적 k-정규급수 F는 f(p^i m) = g(i) · m^r χ(m) 형태의 분해를 허용하는데, 여기서 g는 LRS이고 r ≥ 0이며 χ는 곱셈적이고 결국 주기적이다.
• k가 소수 거듭제곱일 때에는 일반적으로 f(p i m) = g(i) · m^r χ(m) 형태의 일원적 표현이 존재하며, k가 소수 거품가 아니라면 급수는 유리이다.
• k가 소수 거듭제곱이 아니면 주요 결과는 유리성으로 수렴한다; 만약 k = p^e이면 g, r, χ에 의한 분해가 완전한 구조를 제공한다.
• 결과는 합리적 곱셈 계수와 곱셈 자동 수열의 알려진 특성을 확장하되, 이 특별한 사례들에 대한 새로운 증명을 제공하지 않는다.
• 여러 보조 결과는 Mahler 분모가 합, 곱, 치환 하에서 거동하는 방식을 보여주며, 이를 통해 주요 분해를 뒷받침한다.