경로의 멱집합 독립 부분집합과 피보나치 큐브

초록

본 논문은 길이 n인 경로의 h차 멱그래프 Pₙ^{(h)}에서 독립 집합들의 포함 관계가 이루는 포스의 하세 다이어그램에 존재하는 변(에지)의 개수를 정확히 구한다. h=1인 경우는 잘 알려진 피보나치 큐브의 변 개수와 일치한다. 일반 h에 대해서는 피보나치와 유사한 수열 pₙ^{(h)}와 그 자체와의 컨볼루션을 이용해 변의 총수를 표현한다.

상세 분석

논문은 먼저 기본 그래프 구조를 정의한다. 길이 n인 단순 경로 Pₙ의 h차 멱그래프 Pₙ^{(h)}는 정점 i와 j가 |i−j|≤h일 때 서로 인접하도록 만든다. 이 그래프에서 두 정점이 인접하지 않는 집합을 독립 집합이라 하고, 모든 독립 집합을 포함 관계(⊆)에 따라 정렬하면 부분집합 격자(poset)가 형성된다. 이 격자의 하세 다이어그램은 바로 “한 원소를 추가하거나 삭제하는” 최소 커버 관계로 구성되며, 각 변은 한 독립 집합에서 바로 위(또는 아래)의 독립 집합으로 이동하는 과정을 나타낸다.

핵심은 이러한 변의 총수를 구하는 공식이다. 독립 집합의 크기가 k인 경우를 p_{n,k}^{(h)}라 두면 전체 변의 수는
E_n^{(h)} = Σ_{k≥0} k·p_{n,k}^{(h)}
가 된다. 여기서 p_{n,k}^{(h)}는 조합론적 방법으로 구할 수 있다. 저자는 먼저 전체 독립 집합의 개수 p_n^{(h)} = Σ_k p_{n,k}^{(h)}에 대한 재귀식을 도출한다. 경로의 구조적 특성 때문에
p_n^{(h)} = p_{n-1}^{(h)} + p_{n-h-1}^{(h)} (n≥h+1)
이라는 피보나치와 유사한 선형 재귀가 성립한다. 초기값은 p_0^{(h)}=1, p_i^{(h)}=2^{i} (0≤i≤h) 로 잡는다.

다음 단계에서는 변의 수를 p_n^{(h)}와 연결한다. 한 독립 집합 S에 새로운 정점 v를 추가하려면 v와 인접한 모든 정점이 S에 포함되지 않아야 한다. 이는 S가 v의 h-이웃을 피하는 경우와 동치이며, 이러한 경우의 수는 S가 포함하는 정점 수와 무관하게 동일한 패턴을 만든다. 저자는 이를 이용해 E_n^{(h)}를 두 개의 p_n^{(h)} 시퀀스의 컨볼루션 형태로 표현한다:
E_n^{(h)} = Σ_{i=0}^{n} p_i^{(h)}·p_{n-i}^{(h)}.
즉, 변의 총수는 p^{(h)}와 자기 자신을 곱한 결과의 n번째 항과 같다. 이는 생성함수 관점에서도 명확히 드러난다. p^{(h)}(x)=Σ_{n≥0} p_n^{(h)}x^n 라고 할 때, E^{(h)}(x)=p^{(h)}(x)^2 로 표현되며, 계수 비교를 통해 위 컨볼루션 식이 도출된다.

특히 h=1인 경우 p_n^{(1)}=F_{n+2} (Fibonacci 수) 가 되므로, E_n^{(1)}=Σ_{i=0}^{n}F_{i+2}·F_{n-i+2} 가 된다. 이는 바로 피보나치 큐브(Fibonacci cube)의 변 개수와 일치한다는 사실을 복원한다. 따라서 저자는 기존 결과를 일반화하고, h가 커질수록 “h‑피보나치 수열”이라 부를 수 있는 새로운 정수열이 등장함을 보여준다.

마지막으로 논문은 이 결과가 그래프 이론, 조합 최적화, 그리고 네트워크 토폴로지 설계(특히 저차원 하이퍼큐브와 유사한 구조) 등에 활용될 수 있음을 논의한다. 컨볼루션 형태의 공식은 알고리즘적 구현을 단순화시키며, 대규모 n에 대해 빠른 계산이 가능하도록 한다.