[논문 리뷰] A Universal Identity for Powers in Quadratic Algebras and a Matrix Derivation of a Fibonacci Identity

Marco Mantovanelli|arXiv (Cornell University)|2026. 03. 19.

semigroups and automata theory인용 수 0

한 줄 요약

본 논문은 x^m 을 x와 1의 항으로 표현하는 보편적 이차 환원식을 증명하고, 2x2 행렬의 거듭제곱에 대한 트레이스-행렬식 기반 공식을 도출하며, 피보나치 수로 특수화하여 Vorobtsov’s identity 를 얻는다.

ABSTRACT

We prove a universal identity for powers of elements in quadratic algebras, expressing x^m in terms of x and the identity. As a consequence, we obtain a general formula for powers of 2x2 matrices depending only on trace and determinant. Applying this to the Fibonacci matrix yields a binomial expansion formula for F_{nm}, recovering a recent identity of Vorobtsov. This shows that such identities arise from general algebraic principles rather than specific properties of Fibonacci numbers.

연구 동기 및 목표

• 이차 대수에서 원소의 거듭제곱에 대한 보편적 환원을 동기 부여하고 형식화한다.
• 트레이스와 행렬식에 의해 2x2 행렬의 거듭제곱 공식을 도출한다.
• 피보나치 수의 항등식이 특수한 성질이 아니라 보편적 대수 원리에서 비롯됨을 보인다.
• P_m 다항식을 Chebyshev(Dickson) 다항식과 연결하고 알려진 이항 전개를 재현한다.
• Vorobtsov’s identity를 특수한 경우로 도출하는 직접적인 보기를 제공한다.

제안 방법

• 보편적 이차 환원을 도입한다: x^2 - t x + d = 0 이고 P_m(t,d)를 P_0=0, P_1=1, P_{m+1}=t P_m - d P_{m-1}로 정의한다.
• 모든 m ≥ 1에 대해 x^m = P_m(t,d) x - d P_{m-1}(t,d)임을 증명한다.
• P_m은 이항 합 표현을 갖는다는 것을 보인다: P_m(t,d) = sum_{i=0}^{⌊(m-1)/2⌋} C(m-1-i,i) t^{m-1-2i} (-d)^i.
• Cayley–Hamilton 정리를 이용해 2x2 행렬 M의 거듭제곱을 재구성한다: M^m = P_m(tr M, det M) M - det(M) P_{m-1}(tr M, det M) I.
• sqrt(d)가 존재할 때 P_m을 Chebyshev(Dickson) 다항식과 연관시키면 P_m(t,d) = d^{(m-1)/2} U_{m-1}(t/(2 sqrt(d))) 이다.
• 피보나치 행렬 A에 적용하여 F_{nm}를 L_n 및 이항합으로 나타내는 공식을 도출하고 Vorobtsov’s identity를 재현한다.

실험 결과

연구 질문

• RQ1 이차 대수에서 원소의 거듭제곱을 지배하는 보편적 항등식은 무엇인가?
• RQ2 2x2 행렬의 거듭제곱을 트레이스와 행렬식만으로 어떻게 표현할 수 있는가?
• RQ3 이 보편적 프레임워크에서 피보나치 수열은 어떻게 나타나는가?
• RQ4 알려진 피보나치 수 항등식을 일반 이차 대수 원리의 추론으로 도출할 수 있는가?
• RQ5 보편적 P_m 다항식과 Chebyshev 다항식 사이의 연결고리는 무엇인가?

주요 결과

• 보편적 이차 환원이 존재한다: x^m = P_m(t,d) x - d P_{m-1}(t,d) 이고 P_m은 재귀적으로 정의된다.
• P_m 다항식은 이항 합의 닫힌 형태를 만족하며 거듭제곱을 x와 1의 조합으로 축약한다.
• 임의의 2x2 행렬 M에 대해 M^m 은 tr(M)과 det(M)만으로 표현될 수 있다: M^m = P_m(tr M, det M) M - det(M) P_{m-1}(tr M, det M).
• 피보나치 행렬에 적용하면 F_{nm}를 L_n과 d = -1로 나타내는 이항 전개를 얻어 Vorobtsov’s identity 를 재현한다.
• P_m은 Chebyshev(Dickson) 다항식과 밀접하게 관련되어 고전적인 행렬 거듭제곱 표현을 일반화한다.
• 피보나치 케이스는 피보나치 수의 특별한 성질이라기보다 일반 대수 원칙의 특수화로 제시된다.