[논문 리뷰] On a quartic equation and two families of hyperquadratic continued fractions in power series fields

Alain Lasjaunias, Khalil Ayadi|arXiv (Cornell University)|2014. 12. 01.

Coding theory and cryptography참고 문헌 5인용 수 3

한 줄 요약

이 논문은 함수체 위에서의 사차방정식의 유일한 근 α(p) ∈ 𝔽(p)⁺의 연분수 전개를 연구하며, p mod 3에 따라 두 가지 다른 주기적 패턴을 보임을 보여준다. p ≡ 1 mod 3일 경우, α(p)는 첫 번째 종류의 완전한 Pₖ-전개이며 ν(α(p)) = 8/3이다. p ≡ 2 mod 3일 경우, α(p)는 두 번째 종류의 완전한 Pₖ-전개일 것으로 추측되며, 도출되는 최대 복잡도는 마勒의 정리에 따르면 4차 대수적 원소의 경우 이론적으로 달성 가능한 최댓값이다.

ABSTRACT

Casually introduced thirty years ago, a simple algebraic equation of degree 4, with coefficients in Fp[T], has a solution in the field of power series in 1/T, over the finite field Fp. For each prime p > 3, the continued fraction expansion of this solution is remarkable and it has a different general pattern according to the remainder, 1 or 2, in the division of p by 3. We describe two very large families of algebraic continued fractions, each containing these solutions, according to the class of p modulo 3. We can compute the irrationality measure for these algebraic continued fractions and, as a consequence, we obtain two different values for the solution of the quartic equation, only depending on the class of p modulo 3.

연구 동기 및 목표

• 홀수 소수 p > 3에 대해, 𝔽(p)((T⁻¹))에서 특정 사차방정식의 근 α(p)의 연분수 전개를 분석한다.
• p mod 3의 잔여류에 따라 연분수의 구조를 두 가지 다른 가족으로 분류한다.
• 연분수의 복잡도 ν(α(p))를 결정하고, p ≡ 2 mod 3인 경우 그 최대성을 확립한다.
• p ≡ 1 mod 3일 경우 α(p)가 첫 번째 종류의 완전한 Pₖ-전개임을 증명하고, p ≡ 2 mod 3일 경우 두 번째 종류의 완전한 Pₖ-전개일 것으로 추측한다.
• 복잡도 불변량 ν₀(α)의 정확한 값을 계산하고, 부분수의 차수 합의 재귀적 분석과 극한 분석을 통해 총 복잡도 ν(α) = 2 + ν₀(α)를 유도한다.

제안 방법

• 논문은 멱급수 체에서의 연분수 이론을 사용하며, 특히 초평면 원소와 그 전개에 중점을 둔다.
• 복잡도 ν(α)는 부분수의 차수 비율의 극한을 통해 정의되며, 재귀적 차수 합에서 유도된 불변량 ν₀(α) = max(lim sₙ, lim tₙ)를 사용한다.
• p-진 값과 블록 구조에 기반한 재귀 관계를 이용해 연분수 수열 내 블록의 총 차수 D(Vₙ,i)를 계산한다.
• 누적 차수를 추적하기 위해 vₙ, D(Jₙ), D(Vₙ), rₙ의 수열을 도입하며, 이를 통해 sₙ = v₂ₙ / rₙ 및 tₙ = v₂ₙ₊₁ / (rₙ + D(Vₙ,₁) - v₂ₙ₊₁)를 유도한다.
• sₙ과 tₙ의 극한 행동을 분석하여 ν₀(α) = max(lim sₙ, lim tₙ)를 도출하고, 최종 복잡도 ν(α) = 2 + ν₀(α)를 산출한다.
• p ≡ 1 mod 3(첫 번째 종류 전개)와 p ≡ 2 mod 3(두 번째 종류, 추측)의 두 경우를 구분하며, p에 따라 다른 매개변수 k, l, m, l₁를 사용한다.

실험 결과

연구 질문

• RQ1 홀수 소수 p > 3에 대해, 𝔽(p)((T⁻¹))에서 사차방정식 (Eq)의 근 α(p)의 연분수 전개는 어떤 구조를 가지는가?
• RQ2 p ≡ 1 mod 3인지 p ≡ 2 mod 3인지에 따라 α(p)의 연분수 구조는 어떻게 다를까?
• RQ3 α(p)에 대한 복잡도 불변량 ν(α(p))의 정확한 값은 무엇이며, 마를러의 정리에 따르면 이론적으로 달성 가능한 최댓값에 도달하는가?
• RQ4 α(p)는 첫 번째 종류인지 두 번째 종류의 완전한 Pₖ-전개인가? 매개변수 k, l, m, l₁는 p에 따라 어떻게 달라지는가?
• RQ5 ν₀(α(p)) = p − 1인 조건은 언제이고, 언제는 p − 1보다 엄밀히 작아지는가?

주요 결과

• p ≡ 1 mod 3일 경우, α(p)는 k = (p−1)/3, l = (p−1)/2인 첫 번째 종류의 완전한 Pₖ-전개이며, 이에 따라 ν(α(p)) = 8/3이다.
• p ≡ 2 mod 3일 경우, α(p)는 k = (p+1)/3, l = (p+1)²/3, m = (p+1)/2, l₁ = k/2인 두 번째 종류의 완전한 Pₖ-전개일 것으로 추측되며, 이에 따라 ν(α(p)) = 4이다.
• ν₀(α(p))가 이론적으로 달성 가능한 최댓값 p−1에 도달하는 것은 m = 1 및 l = 2일 때에만 가능하며, 이는 부분수의 순서가 자연수 전체 집합임을 의미한다.
• p ≡ 2 mod 3일 경우 ν(α(p)) = 4는 마를러의 정리에 따르면 4차 대수적 원소의 경우 이론적으로 달성 가능한 최댓값을 도달한다.
• limₙ sₙ = (p−1)(p−2k+1)/ν₁ 및 limₙ tₙ = p(p−1)(p−2k+1)/ν₂가 유도되며, 여기서 ν₁ = m(p−2k−1)+l, ν₂ = ν₁ + l₁(p²−1)−2k(p−1)이다. 이를 통해 최종 복잡도 계산이 가능해진다.
• 논문은 ν₀(α(p)) = p−1이 성립하는 것은 m=1, l=2인 극한 경우에만이며, 이 외의 경우 ν₀(α(p)) < p−1임을 증명한다. 이는 최대 복잡도가 희귀하며 구조적으로 제약을 받음을 보여준다.