그래프 색칠을 통한 피보나치와 루카스 식의 일반화

본 논문은 그래프 색칠 이론을 이용해 피보나치와 루카스 수열을 보다 일반적인 형태로 확장하고, 그 과정에서 새로운 항등식들을 도출한다. 먼저 저자들은 (k,ℓ)‑색칠이라는 개념을 도입한다. 정점 집합 V에 색깔 c₁,…,c_{k+ℓ}을 할당하고, 첫 k개의 색은 인접 정점이 서로 다른 색을 가져야 하며, 나머지 ℓ개의 색은 제한이 없는 ‘와일드카드’로 취급한다. 이러한 색칠 방식의 개수를 χ_G(k,ℓ)라 정의하고, 이를 두 변수 다항식 χ_G(x,y)로 일반화한다. 이 다항식은 기존의 색칠 다항식(크로마틱 다항식)과 독립 다항식, 매칭 다항식 등을 모두 포함한다는 점에서 의미가 크다. Lemma 1.1에서는 전통적인 그래프 이론의 삭제‑수축(delete‑contract) 관계를 두 변수 형태로 확장한다. 구체적으로, 임의의 간선 e에 대해 χ_G(x,y)=χ_{G\ e}(x,y)−χ_{G/e}(x,y)+y·χ_{(G/e)\ v}(x,y) 라는 식을 얻는다. 여기서 v는 e를 수축한 뒤 남는 정점이다. 이 식은 색칠 수를 작은 그래프들로 분해해 재귀적으로 계산할 수 있게 해준다. 특히 x=1인 경우, 즉 ‘와일드카드’만을 사용한 색칠에 대해서는 Lemma 1.2가 두 가지 구체적인 식을 제공한다. 정점 v를 제거하거나, 간선 e를 제거하는 과정에서 해당 정점·간선의 차수(deg)를 가중치로 곱한다. 이러한 식들은 경로 그래프 P_n과 사이클 그래프 C_n에 적용하면 각각 선형 2차와 3차 재귀식을 얻는다. 경로 그래프와 사이클 그래프에 대해 색칠 수를 각각 a_n=χ_{P_n}(k,ℓ), b_n=χ_{C_n}(k,ℓ)라 정의한다. Lemma 1.3은 이 두 수열이 다음과 같은 초기값과 재귀식을 만족함을 증명한다. a₁=k+ℓ, a₂=(k+ℓ)²−k, a_n=(k+ℓ−1)a_{n−1}+ℓ a_{n−2}. b₁=ℓ, b₂=(k+ℓ)²−k, b₃=a₃−b₂+ℓ a₁, 그리고 b_n=(k+ℓ−2)b_{n−1}+(k+2ℓ−1)b_{n−2}+ℓ b_{n−3}. 특히 k와 ℓ의 특정 값에 따라 b_n은 차수가 낮은 재귀식으로 단순화된다. k=0이면 b_n=ℓ b_{n−1}, k=1이면 b_n=ℓ b_{n−1}+ℓ b_{n−2}이 된다. 가장 흥미로운 경우는 k=1, ℓ=1일 때이다. 이때 a_n=F_{n+2}, b_n=L_n이 되며, 여기서 F_n은 피보나치 수, L_n은 루카스 수이다. 이는 기존에 알려진 사실이며, 그래프 색칠 관점에서 자연스럽게 재현된다. 또한 k=2, ℓ=1이면 a_n은 Pell 수열과 일치한다는 점도 언급한다. 섹션 2에서는 k=1을 고정하고 ℓ을 일반적인 양의 정수로 두어, a_n과 b_n 사이의 다양한 항등식을 도출한다. Lemma 1.2를 그래프의 특정 정점·간선을 선택해 적용함으로써 다음과 같은 식들을 얻는다. (2.1) b_n=ℓ a_{n−1}+ℓ² a_{n−3} (2.2) b_n=a_n−ℓ² a_{n−4} (2.3) a_{r+s}=ℓ a_r a_{s−1}+ℓ² a_{r−1} a_{s−2} (2.4) a_{r+s}=a_r a_s−ℓ² a_{r−2} a_{s−2} (2.5) a_{r+s+t+1}=ℓ a_r a_s a_t+ℓ³ a_{r−1} a_{s−1} a_{t−1}−ℓ⁴ a_{r−2} a_{s−2} a_{t−2} 이들 식은 각각 경로와 사이클을 적절히 분해한 결과이며, 그래프 구조와 색칠 가중치 ℓ 사이의 관계를 명확히 보여준다. Corollary 2.2에서는 ℓ=1을 대입해 기존에 잘 알려진 피보나치 항등식들을 새로운 증명으로 재현한다. 예를 들어 L_n=F_{n+1}+F_{n−1}, F_{r+s}=F_{r+1}F_s+F_rF_{s−1}, F_{r+s+t}=F_{r+1}F_{s+1}F_{t+1}+F_rF_sF_t−F_{r−1}F_{s−1}F_{t−1} 등이 도출된다. 마지막 섹션에서는 현재 연구가 아직 탐구되지 않은 영역을 제시한다. 예를 들어, 카시니(Cassini)의 항등식에 대한 그래프 색칠 증명 가능성 등을 제안한다. 전체적으로 이 논문은 (k,ℓ)‑색칠 다항식이라는 새로운 도구를 통해 피보나치·루카스와 같은 고전적인 정수 수열을 그래프 이론적 관점에서 일반화하고, 그래프 분해 기법을 이용해 다양한 항등식을 직관적으로 증명한다는 점에서 학문적 기여가 크다.