[논문 리뷰] On the Two Conjectures of the Wiener Index

Ya-Lei Jin, Xiao‐Dong Zhang|arXiv (Cornell University)|2013. 04. 03.

Graph theory and applications참고 문헌 15인용 수 11

한 줄 요약

이 논문은 경로 그래프의 위너 행렬의 특성다항식에 대한 추측 1.2를 증명한다. 이는 이차형계수와 고유값의 역수를 포함하는 정확한 공식을 확인한다. 반면 추측 1.4는 반례를 제시함으로써 반증된다. 이 추측은 최대 차수 제약 조건 하에서 고차수 정점의 분포가 고리의 중심을 중심으로 대칭일 경우 위너 지수를 최대화한다고 주장했으나, 실제로는 한쪽 끝 쪽으로 기울어진 비대칭 구조가 최적임을 입증하였다.

ABSTRACT

The Wiener index of a graph, which is the sum of the distances between all pairs of vertices, has been well studied. Recently, Sills and Wang in 2012 proposed two conjectures on the maximal Wiener index of trees with a given degree sequence. This note proves one of the two conjectures and disproves the other.

연구 동기 및 목표

• Sills와 Wang(2012)가 제기한, 주어진 차수 수열을 가진 트리에서 최대 위너 지수를 갖는 문제에 대한 두 개의 열린 추측을 해결하기 위해.
• 위너 행렬 $ A_k $에 대한 제안된 특성다항식 공식이 맞는지 확인하기 위해.
• 최대 차수 제약 조건 하에서 위너 지수를 최대화하는 트리가 고리의 중심을 중심으로 고차수 정점의 분포가 대칭이어야 하는지 확인하기 위해.
• 최대 차수 제약 조건 하에서 위너 지수를 최대화하는 데 필요한 차수 수열의 구성을 완전히 규명하기 위해.

제안 방법

• 경로 그래프의 거리 행렬 $ D(P_k) $ 와 위너 행렬 $ A_k $ 간의 관계를 이용하여 추측 1.2를 증명하였다. 이는 $ D(P_k) $ 의 알려진 행렬식 공식을 활용하였다.
• 항등식 $ A_k = \frac{1}{2} D(P_k) $ 를 사용하여 $ \det(D(P_k) - \lambda I_k) $ 의 알려진 계수들로부터 특성다항식 $ C_k(\lambda) $ 를 유도하였다.
• Graham와 Lovász의 거리 행렬 계수 결과를 응용하고, 조합적 항등식을 통해 대칭 Dyck 경로와의 연결 고리를 설정하였다.
• 고차수 정점의 분포가 대칭이 아닌 비대칭인 반례를 구성함으로써 추측 1.4를 반증하였다. 특히 중심에 큰 차수를 가지며, 하위 차수는 대칭적으로 배치된 차수 수열을 선택하여 최적 구조가 비대칭임을 입증하였다.
• 위너 지수를 카르티어풀 트리에서 표현하기 위해 이차형식 $ q(x) = x^T A_k x $ 를 사용하였고, $ x_i = \deg(v_i) - 1 $ 에 대한 제약 조건 하에서 최대화를 분석하였다.
• Zhang 등(2016)의 극값 구조 정리에 기반하여, 고리의 중심을 중심으로 단조 또는 대칭적인 차수 분포를 가지는 후보 최적 트리를 식별하였다.

실험 결과

연구 질문

• RQ1 위너 행렬 $ A_k $ 의 특성다항식이 이차형계수와 $ \lambda $ 의 역수를 포함하는 제안된 닫힌 형식 표현을 정확히 따르는가?
• RQ2 행렬 $ A_k $ 의 최대 고유값이 $ \frac{\sqrt{3}k^2 - 2}{10} $ 으로 渐近적으로 근사되는가?
• RQ3 최대 차수 제약 조건 하에서 고리의 중심을 중심으로 고차수 정점의 분포가 대칭일 경우 위너 지수가 최대가 되는가?
• RQ4 차수 다중집합이 대칭이지만 최적의 차수 수열 구성이 비대칭일 수 있는가?

주요 결과

• 추측 1.2는 참으로 증명됨: $ A_k $ 의 특성다항식은 정확히 $ C_k(\lambda) = (-1)^k \lambda^k \left(1 - \frac{k}{4} \sum_{j=1}^{k-1} \frac{j}{j+1} \binom{k+j}{2j+1} \lambda^{-j-1} \right) $ 로 표현된다.
• 행렬 $ A_k $ 의 최대 고유값은 $ \lambda_{\max} = \frac{1}{2(\cosh\theta - 1)} $ 로 정확히 주어지며, 여기서 $ \theta $ 는 $ \tanh(\theta/2) \tanh(k\theta/2) = 1/k $ 을 만족한다.
• 추측 1.4는 반증됨: $ m_s = 2h+1 $ 이고 $ a_s > \sum_{i=1}^{s-1} m_i a_i $ 인 반례가 존재하지만, 최적의 구조는 대칭이 아니다.
• 반례에서 차수 수열 $ \{k+s^2, k+s^2, k+s^2, s-1, s-1, \dots, 1, \dots, 1\} $ (여기서 $ k+s^2 > s-1 > \dots > 1 $) 은 유일한 최댓값을 $ x = (k+s^2, k+s^2, 1, \dots, 1, 2, 2, \dots, s-1, s-1, k+s^2) $ 에서 가지며, 이는 비대칭이다.
• 최적의 구조에서 $ l_s = h+1 $, $ r_s = h $, 그리고 $ l_s = r_s + 1 $ 이며, 이는 대칭 조건 $ |l_i - r_i| \leq 1 $ 과 $ l_i + r_i = m_i $ 가 균형 있게 만족되지 않음을 의미한다.
• 결과적으로, 차수 수열 제약 조건 하에서 최대 위너 지수를 갖는 경우 반드시 대칭 배치를 선호하는 것은 아니며, 이는 이전의 히우리스틱 가정을 도전한다.