[논문 리뷰] The Fermat cubic, elliptic functions, continued fractions, and a combinatorial excursion

Eric van Fossen Conrad, Philippe Flajolet|ArXiv.org|2005. 07. 13.

Advanced Combinatorial Mathematics참고 문헌 22인용 수 15

한 줄 요약

이 논문은 페르마의 삼차곡선 $x^3 + y^3 = 1$ 와 관련된 딕슨의 타원 함수, 분모가 삼차식이고 분자가 6차식인 연속분수, 그리고 폴리아 우르니와 제약 조건이 있는 순열과 같은 조합 구조 사이에 깊은 연결 고리를 설정한다. 이는 이러한 연속분수가 딕슨의 $\text{sm}$ 및 $\text{cm}$ 함수의 라플라스 변환으로부터 유도됨을 증명하며, 그 계수들이 수직다항식과 조합 모델을 통해 해석 가능하다는 것을 보여주며, 미분계수계와 확률과정 사이에 새로운 이somorphism을 드러낸다.

ABSTRACT

Elliptic functions considered by Dixon in the nineteenth century and related to Fermat's cubic, $x^3+y^3=1$, lead to a new set of continued fraction expansions with sextic numerators and cubic denominators. The functions and the fractions are pregnant with interesting combinatorics, including a special Pólya urn, a continuous-time branching process of the Yule type, as well as permutations satisfying various constraints that involve either parity of levels of elements or a repetitive pattern of order three. The combinatorial models are related to but different from models of elliptic functions earlier introduced by Viennot, Flajolet, Dumont, and Fran{ç}on.

연구 동기 및 목표

• 페르마의 삼차곡선 $x^3 + y^3 = 1$ 와 관련된 타원 함수로부터 유도된 분모가 삼차식이고 분자가 6차식인 새로운 유형의 연속분수를 수립하기 위해.
• 딕슨의 $\text{sm}$ 및 $\text{cm}$ 함수의 라플라스 변환과 이러한 연속분수, 수직다항식계 사이의 연결 고리를 설정하기 위해.
• 연속분수의 계수들이 폴리아 유형의 우르니와 제약 조건이 있는 순열을 포함한 조합 모델에서 유래됨을 보여주기 위해.
• 딕슨의 $\text{sm}$ 및 $\text{cm}$ 함수에 대한 기본 미분계수계가 연속시간 분열과정과 확률적 우르니 모델과 이somorphic임을 보여주기 위해.
• 플라조레트의 정리와 프랑송-비엔노의 정리를 활용하여 레이스패스와 가중 경로계를 통해 연속분수 계수의 조합적 해석을 제공하기 위해.

제안 방법

• 페르마의 삼차곡선 $x^3 + y^3 = 1$ 를 매개변수화하는 딕슨 타원 함수 $\text{sm}(u)$ 및 $\text{cm}(u)$ 가 만족하는 기본 비선형 미분계수계를 유도하기 위해.
• 라플라스 변환을 사용하여 $\text{sm}(u)$ 및 $\text{cm}(u)$ 를 형태 $\cfrac{x^2}{1 + b_0x^3 - \cfrac{1^6 x^6}{1 + b_1x^3 - \cdots}}$ 의 연속분수와 연결하기 위해, 여기서 $b_n = 2(3n+1)((3n+1)^2 + 1)$ 이다.
• 플라조레트의 연속분수 및 가중 레이스패스 정리를 적용하여 계수들을 경로계를 통해 조합적으로 해석하기 위해.
• 분모가 삼차식이고 분자가 6차식인 연속분수의 계수와 삼차 성장 동역학을 갖는 폴리아 유형의 우르니 모델의 역사 간 이분사적 사상 수립하기 위해.
• 연속시간 이중입자 분열과정(유일 유형)을 구성하여 생성함수를 $\text{cm}(u)$ 의 라플라스 변환과 일치시키며, 확률과정과 타원함수를 연결하기 위해.
• 하앵켈 행렬식 평가와 수직다항식계(OPS)를 사용하여 수렴분모의 특성을 기술하며, 하이브리드 마이크스너-브렌케 분류에 따라 만족함을 보여주기 위해.

실험 결과

연구 질문

• RQ1 분모가 삼차식이고 분자가 6차식인 연속분수들이 페르마의 삼차곡선과 관련된 타원함수로부터 체계적으로 도출될 수 있는가?
• RQ2 이러한 연속분수의 계수들을 뒷받침하는 조합 구조는 무엇이며, 이는 확률과정과 어떻게 관련되어 있는가?
• RQ3 딕슨의 $\text{sm}$ 및 $\text{cm}$ 함수의 라플라스 변환은 수직다항식계와 moments 문제와 어떻게 연결되는가?
• RQ4 순열 제약 조건—예를 들어 수준의 짝수/홀수, 이중 상승/하강—은 이러한 연속분수의 계수를 모델링하는 데 어떤 역할을 하는가?
• RQ5 페르마의 삼차곡선의 대수적 구조와 아페리 및 스티엘티에스의 연속분수의 산술적 성질 사이에 더 깊은 연결 고리가 존재하는가?

주요 결과

• 라플라스 변환으로부터 유도된 연속분수 $\int_0^\infty \text{sm}(u) e^{-u/x} du = \cfrac{x^2}{1 + b_0x^3 - \cfrac{1^6 x^6}{1 + b_1x^3 - \cdots}}$ 는 $b_n = 2(3n+1)((3n+1)^2 + 1)$ 이며, 이는 $F[\frac{1}{3}, \frac{2}{3}; \frac{4}{3}]$ 의 초함수의 역함수인 딕슨 함수 $\text{sm}(u)$ 의 라플라스 변환으로부터 유도된다.
• 연속분수의 계수들은 확률이 현재 구성에 따라 달라지는 우르니 모델을 통해 해석 가능하며, 강화 규칙이 삼차 성장을 보이는 과정에서 유도된다.
• 딕슨의 $\text{sm}$ 및 $\text{cm}$ 함수에 대한 미분계수계는 연속시간 이중입자 유일 유형 분열과정과 이somorphic이며, 딕슨 함수를 통해 정확한 해를 구할 수 있다.
• 연속분수로부터 유도된 수직다항식계의 생성함수는 $\sum_{n \geq 0} Q_n(z) \frac{t^{3n}}{(3n)!} = (1 - t^3)^{-1/3} E_{3,0}(z \theta(t)^3)$ 이며, 여기서 $\theta(t) = \int_0^t \frac{dw}{(1 - w^3)^{2/3}}$ 이고, 첫 번째 몇 개의 다항식은 $Q_0 = 1$, $Q_1 = 2 + z$, $Q_2 = 160 + 100z + z^2$, $Q_3 = 62720 + 42960z + 672z^2 + z^3$ 이다.
• 관련 수직성 측도에 대한 moments 문제의 해는 비유일적임이 입증되었으며, 기존의 연구(Gilewicz, Leopold, Ruffing, Valent)에 의해 확인되었으며, 측도의 비유일성 확인됨.
• 연속분수 계수들은 가중 레이스패스와 트리 표현에서의 정점 수준의 짝수/홀수, 정점의 꼭짓점, 골짜기, 이중 상승, 이중 하강 등의 순열 통계를 통해 조합적으로 해석된다.