[논문 리뷰] Powers of a matrix and combinatorial identities

James McLaughlin, B. Sury|arXiv (Cornell University)|2018. 12. 29.

graph theory and CDMA systems인용 수 5

한 줄 요약

이 논문은 $k$개의 변수에 대한 일반적인 다항식 항등식을 유도하여, $k \times k$ 행렬의 거듭제곱 원소에 대한 닫힌 표현식을 그 행렬의 기본 대칭 다항식(트레이스, 행렬식 등)을 통해 가능하게 한다. 이 방법은 재귀적 행렬 항등식과 대칭 함수 이론을 활용하여, 일반화된 비네 공식과 투에 방정식의 해를 포함한 새로운 조합적 항등식을 도출한다.

ABSTRACT

In this article we obtain a general polynomial identity in $k$ variables, where $k\geq 2$ is an arbitrary positive integer. We use this identity to give a closed-form expression for the entries of the powers of a $k imes k$ matrix. Finally, we use these results to derive various combinatorial identities.

연구 동기 및 목표

• 대칭 다항식을 사용하여 기존의 $k=2$에 대한 다항식 항등식을 임의의 $k \geq 2$로 일반화한다.
• 임의의 $k \times k$ 행렬 $A$에 대해 $A^n$의 원소에 대한 닫힌 표현식을 고유값과 기본 대칭 함수로 제시한다.
• 행렬 거듭제곱 공식에서 유도된 새로운 조합적 항등식을 도출하여 비네 공식과 같은 결과를 확장한다.
• 특정 정수 계수 합의 근과 삼차 투에 방정식의 해 사이의 연결고리를 밝혀 버니스타인의 결과를 재구성한다.

제안 방법

• 다항식 항등식을 유도하여 합 $\sum x_1^{r_1}\cdots x_k^{r_k}$를 기본 대칭 다항식 $s_1, \dots, s_k$의 단항식 합으로 표현한다.
• 대칭 거듭제곱 합에 기여하는 바를 가중치로 부여하는 다항계수 $c(i_2,\dots,i_k,n)$를 도입한다.
• 행렬 거듭제곱에 항등식을 적용하여, $A^n$이 행렬 $A$의 특성 다항식에 기반한 선형 재귀를 만족함을 보인다.
• 귀납법과 재귀식 $a(n) = s_1 a(n-1) - s_2 a(n-2) + \cdots + (-1)^{k-1} s_k a(n-k)$을 사용하여 $A^n$을 $I, A, \dots, A^{k-1}$의 선형 조합으로 표현한다.
• 행렬 $A$를 특정하게 설정하여 특정 원소(예: $(1,2)$ 원소)를 추출하고, 변수 $x,y,z$에 대한 유리함수로 표현한다.
• 행렬 거듭제곱 공식을 활용하여 특정 행렬 원소나 매개변수 설정을 통해 항등식을 도출하고 양변을 비교한다.

실험 결과

연구 질문

• RQ1 기본 대칭 합을 거듭제곱 합과 대칭 다항식으로 표현할 수 있는 일반적인 다항식 항등식을 $k$개의 변수에 대해 구성할 수 있는가?
• RQ2 이러한 항등식을 사용하여 $k \times k$ 행렬 $A$에 대해 $A^n$의 원소에 대한 닫힌 표현식을 어떻게 도출할 수 있는가?
• RQ3 특정 행렬이나 매개변수 설정으로 행렬 거듭제곱 공식을 특수화했을 때 어떤 조합적 항등식이 도출되는가?
• RQ4 행렬 재귀를 통해 대수적 수론을 적용하여 함수 $f(n) = \sum_j (-1)^j \binom{n-2j}{j}$의 근을 특성화할 수 있는가?
• RQ5 행렬 거듭제곱의 재귀적 구조와 삼차 투에 방정식의 해 사이의 관계는 무엇인가?

주요 결과

• 논문은 $\sum_{r_1+\cdots+r_k=n} x_1^{r_1}\cdots x_k^{r_k}$에 대한 일반적인 항등식을 $s_1, \dots, s_k$의 대칭 다항식 합으로 유도하며, 이는 다항계수를 포함한다.
• 임의의 $k \times k$ 행렬 $A$에 대해 $n$번째 거듭제곱 $A^n$은 $I, A, \dots, A^{k-1}$의 선형 조합으로 표현되며, 계수는 고유값의 기본 대칭 다항식에 의존한다.
• 재귀식에서 $a(n)$의 계수는 명시적으로 $a(n) = \sum c(i_2,\dots,i_k,n) s_1^{n-\cdots} (-s_2)^{i_2} \cdots ((-1)^{k-1}s_k)^{i_k}$로 주어지며, 여기서 $c$는 다항계수이다.
• 특히 $k=3$일 경우, 항등식은 합 $\sum_{2i+3j\leq n} (-1)^i \binom{i+j}{j} \binom{n-i-2j}{i+j} (x+y+z)^{n-2i-3j} (xy+yz+zx)^i (xyz)^j$에 대해 유리함수 표현식을 도출한다.
• 행렬 $A$를 특수화함으로써 $\sum_{2i+3j\leq n} (-1)^i \binom{i+j}{j} \binom{n-i-2j}{i+j} (\theta+t)^{n-2i-3j} (\theta t + d)^i (\theta d)^j = a_n$과 같은 항등식을 도출하여 새로운 조합적 항등식을 얻는다.
• $f(n) = \sum_j (-1)^j \binom{n-2j}{j}$의 근은 삼차 투에 방정식 $x^3 + y^3 - x y^2 = 1$의 해와 대응되며, 유일한 해는 $n=3$과 $n=12$에 존재한다.