[論文レビュー] A Universal Identity for Powers in Quadratic Algebras and a Matrix Derivation of a Fibonacci Identity

Marco Mantovanelli|arXiv (Cornell University)|Mar 19, 2026

semigroups and automata theory被引用数 0

ひとこと要約

この論文は、x^m を x と 1 の形で表す普遍的な二次還元を証明し、2x2 行列のべき乗に対する迹と行列式に基づく公式を導出し、フィボナッチ数へ特化して Vorobtsov の恒等式を回復する。

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.

研究の動機と目的

• 二次代数の元のべき乗に対する普遍的還元を動機づけ formalize する。
• 迹と行列式の二乗矩陣に対するべき乗公式を導出する。
• フィボナッチ数列の恒等式が普遍的代数原理から生じることを示す。
• P_m 多項式をチェビシェフ/ディクソン多項式と関連づけ、既知の二項展開を回復する。
• Vorobtsov の恒等式を特別な場合として導く直接的な推論を提供する。

提案手法

• 普遍的二次還元を導入する: 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 の恒等式を再現する。

実験結果

リサーチクエスチョン

• 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 の恒等式を回復する。
• P_m は Chebyshev (Dickson) 多項式と密接に関連し、古典的な行列べき乗の表現を一般化している。
• フィボナッチの場合は、フィボナッチ数の特別な性質というより、一般的な代数原理の特例として提示される。