[논문 리뷰] Hankel continued fraction and its applications

Guo-Niu Han|arXiv (Cornell University)|2014. 06. 06.

Advanced Combinatorial Mathematics참고 문헌 10인용 수 4

한 줄 요약

이 논문은 유한체 위의 멱급수의 헨켈 행렬식을 평가하기 위한 새로운 방법인 하놀드 연분수를 소개한다. 고전적 자코비 연분수의 제한 조건인 모든 헨켈 행렬식이 0이 아니어야 한다는 조건이 필요 없도록 한다. 주요 기여는 유한체 𝔽_p 위의 멱급수가 약간의 조건 하에 이차 함수방정식을 만족할 경우, 그 하놀드 연분수가 궁극적으로 주기적이며, 이에 따라 그 헨켈 행렬식 수열 역시 궁극적으로 주기적임을 증명하는 것이다. 이는 자동수열, 예를 들어 정규 종이접기 수열과 투-모르스 수열의 헨켈 행렬식의 주기성을 자동으로 증명하는 데 기여한다.

ABSTRACT

The Hankel determinants of a given power series $f$ can be evaluated by using the Jacobi continued fraction expansion of $f$. However the existence of the Jacobi continued fraction needs that all Hankel determinants of $f$ are nonzero. We introduce {\it Hankel continued fraction}, whose existene and unicity are guaranteed without any condition for the power series $f$. The Hankel determinants can also be evaluated by using the Hankel continued fraction. It is well known that the continued fraction expansion of a quadratic irrational number is ultimately periodic. We prove a similar result for power series. If a power series $f$ over a finite field satisfies a quadratic functional equation, then the Hankel continued fraction is ultimately periodic. As an application, we derive the Hankel determinants of several automatic sequences, in particular, the regular paperfolding sequence. Thus we provide an automatic proof of a result obtained by Guo, Wu and Wen, which was conjectured by Coons-Vrbik.

연구 동기 및 목표

• 자코비 연분수의 한계를 극복하기 위해, 존재 조건으로 모든 헨켈 행렬식이 0이 아니어야 한다는 조건을 제거하고자 한다.
• 새로운 연분수 구성 방식을 통해 멱급수의 헨켈 행렬식을 평가하는 일반적인 프레임워크를 수립하고자 한다.
• 유한체 위에서 이차 함수방정식을 만족하는 멱급수의 하놀드 연분수가 궁극적으로 주기적임을 증명하고자 한다.
• 이 방법을 정규 종이접기 수열과 루딘-샤비어 수열과 같은 자동수열에 적용하여, 그 헨켈 행렬식 수열을 자동으로 유도하고자 한다.
• 통일된 대수적이고 알고리즘적인 접근을 통해 이전에 추측되거나 증명된 헨켈 행렬식 결과들을 자동으로 증명하고자 한다.

제안 방법

• 자코비 연분수의 일반화로 하놀드 연분수를 도입하며, 모든 멱급수에 대해 존재성과 유일성이 보장된다.
• 헨켈 행렬식으로부터 유도된 재귀관계를 통해 하놀드 연분수를 정의함으로써, 비영행렬식 조건 없이 수렴성을 확보한다.
• 유한체 𝔽_p 위의 멱급수 $ F(x) $ 가 주어진 초기 조건(예: $ B(0) = 1 $, $ C(0) = 0 $) 하에 이차 함수방정식을 만족할 경우, 그 하놀드 연분수가 궁극적으로 주기적임을 증명한다.
• 알고리즘 3.3을 사용하여 하놀드 연분수와 행렬식 수열을 알고리즘적으로 계산함으로써 자동 검증이 가능하게 한다.
• 특정 수열에 이론을 적용하기 위해, 이차 함수방정식을 유도한다(예: 정규 종이접기 수열 $ G_{a,b}(x) $), 그 후 주기성 결과를 활용해 $ H(F) $ 의 주기성을 도출한다.
• 접합 기법과 모듈로 2 감소를 활용하여 유리형 생성함수와 그 헨켈 행렬식을 분석하며, 특히 $ \mathbb{F}_2[[x]] $ 에서의 성질을 중심으로 다룬다.

실험 결과

연구 질문

• RQ1 모든 멱급수에 대해, 일부 행렬식이 0일 경우에도 하놀드 행렬식의 연분수 표현을 구성할 수 있는가?
• RQ2 유한체 위의 멱급수가 어떤 조건을 만족할 경우 하놀드 연분수가 궁극적으로 주기적이게 되는가?
• RQ3 자동수열의 헨켈 행렬식 수열의 주기성을 대수적 함수방정식을 통해 자동으로 증명할 수 있는가?
• RQ4 정규 종이접기 수열과 관련 수열의 헨켈 행렬식은 체계적으로 어떻게 계산할 수 있는가?
• RQ5 루딘-샤비어 수열과 스텐 수열의 헨켈 행렬식 수열은 모듈로 2에서 어떤 구조를 가지는가?

주요 결과

• 모든 체 위의 멱급수에 대해 하놀드 연분수가 존재하고 유일하며, 비영행렬식 조건이 필요하지 않다.
• 유한체 $ \mathbb{F}_p[[x]] $ 에 속한 멱급수 $ F(x) $ 가 조건 (i)–(iv)를 만족할 경우, 그 하놀드 연분수는 궁극적으로 주기적이다.
• 동일한 조건 하에 헨켈 행렬식 수열 $ H(F) $ 도 궁극적으로 주기적이며, 이는 알고리즘 3.3을 통해 자동 계산이 가능하다.
• 정규 종이접기 수열 $ G_{0,2}(x) $ 의 모듈로 2 헨켈 행렬식 수열은 $ (1,1,1,0,0,1,0,0,1,1)^* $ 로, 코운스와 비르비크의 추측을 확인한다.
• 루딘-샤비어 수열 $ f_1(x) $ 의 헨켈 행렬식 수열은 $ (1,0,0,1,0,0,1,0,0,1,1,1,0,0,0,0,1,1)^* \pmod{2} $ 이며, $ f_2(x) $ 와 $ f_3(x) $ 에 대해서도 유사한 결과를 도출한다.
• 스텐 수열 $ S(x) $ 에 대해 정규화된 헨켈 행렬식 $ H_n(S)/2^{n-2} \equiv (0,0,1,1)^* \pmod{2} $ 이고, 비킨넬–보르베이 생성함수 $ B(x) $ 에 대해서도 유사한 결과가 성립한다.