[논문 리뷰] Permanental polynomials of skew adjacency matrices of oriented graphs

Shunyi Liu, Heping Zhang|arXiv (Cornell University)|2014. 09. 10.

Graph theory and applications참고 문헌 12인용 수 4

한 줄 요약

이 논문은 방향성 있는 그래프의 성향 인접 행렬을 통해 영구 다항식을 정의하며, 모든 방향성 부여가 동일한 영구 다항식을 가진다는 것과 그래프에 짝수 길이의 사이클이 존재하지 않을 때이고 그때에만 성립함을 증명한다. 다항식의 계수를 그래프의 구조적 요소들(예: 사이클, 매칭 등)로 해석하고, 영구 다항식의 근이 실수임을 증명하기 위해 그래프가 이분 그래프이면서 길이가 4의 배수인 짝수 사이클을 포함하지 않을 때에만 성립함을 보인다.

ABSTRACT

Let $G^σ$ be an orientation of a simple graph $G$. In this paper, the permanental polynomial of an oriented graph $G^σ$ is introduced. The coefficients of the permanental polynomial of $G^σ$ are interpreted in terms of the graph structure of $G^σ$, and it is proved that all orientations $G^σ$ of $G$ have the same permanental polynomial if and only if $G$ has no even cycles. Furthermore, the roots of the permanental polynomial of $G^σ$ are studied.

연구 동기 및 목표

• 방향성 있는 그래프의 성향 인접 행렬을 이용하여 영구 다항식을 정의하고 연구한다.
• 영구 다항식의 계수를 사이클, 매칭 등의 그래프의 구조적 구성 요소로 해석한다.
• 모든 방향성 부여가 동일한 영구 다항식을 가진 그래프를 특성화한다.
• 영구 다항식의 근의 성격과 분포, 특히 실수성과 대칭성에 대해 조사한다.

제안 방법

• 방향성 있는 그래프 $G^\sigma$의 영구 다항식을 $\pi(G^\sigma, x) = \mathrm{per}(xI - A_s(G^\sigma))$로 정의한다. 여기서 $A_s(G^\sigma)$는 성향 인접 행렬이다.
• 짝수 사이클 서그래프에 대해 합을 구하고, 사이클의 방향성과 구성 요소 수에 따라 가중치를 적용함으로써 $\pi(G^\sigma, x)$의 계수에 대한 색삭스 유형의 공식을 수립한다.
• 부호 반전 인베이션을 사용하여, 영구 다항식 $\mathrm{per}(A)$가 비자명한 값이 되기 위해선 짝수 길이의 사이클로 구성된 치환일 때에만 가능함을 증명한다.
• 계수의 그래프 이론적 해석을 활용하여, 그래프 $G$의 모든 방향성 부여가 동일한 영구 다항식을 가진다는 것과 그래프에 짝수 사이클이 존재하지 않을 때에만 성립함을 증명한다.
• 영구 다항식의 근을 특성 다항식과 스펙트럼 성질에 연결하여 분석함으로써, 특히 $S_p(G^\sigma)$ — 근들의 $p$제곱 합 — 를 활용한다.
• 이분 그래프와 페프피안 방향성에 관한 기존 결과를 적용하여, 영구 다항식의 근이 실수 또는 대칭이 되는 조건을 도출한다.

실험 결과

연구 질문

• RQ1 그래프 $G$의 모든 방향성 부여가 동일한 영구 다항식을 가지는 조건은 무엇인가?
• RQ2 방향성 있는 그래프의 영구 다항식 계수는 그 기저 그래프의 구조적 요소로 어떻게 해석할 수 있는가?
• RQ3 언제 영구 다항식의 근이 실수인가?
• RQ4 방향성 있는 그래프의 영구 다항식과 그 기저 무방향 그래프의 특성 다항식 사이의 관계는 무엇인가?
• RQ5 $S_p(G^\sigma) = iS_p(G)$가 성립하는 조건은 무엇이며, 이는 그래프의 구조에 어떤 의미를 갖는가?

주요 결과

• 모든 방향성 부여가 동일한 영구 다항식을 가지는 것은 그래프 $G$에 짝수 길이의 사이클이 존재하지 않을 때에만 성립한다.
• 영구 다항식 $\pi(G^\sigma, x)$에서 $x^{n-k}$의 계수인 $a_k(G^\sigma)$가 모든 홀수 $k$에 대해 0이 되는 것은 그래프 $G$가 이분 그래프일 때에만 성립한다.
• 그래프 $G^\sigma$의 영구 다항식의 모든 근이 실수임은 $G$가 이분 그래프이면서 길이가 4의 배수인 짝수 사이클을 포함하지 않을 때에만 성립한다.
• 모든 방향성 부여 $G^\sigma$에 대해 $S_p(G^\sigma) = iS_p(G)$가 성립하는 것은 $G$가 이분 그래프일 때에만 성립하며, $S_p(G^\sigma) = S(G)$가 성립하는 것은 $G$가 산림일 때에만 성립한다.
• 산림의 영구 다항식은 기저 그래프의 특성 다항식과 부호가 짝수 차수 계수에서만 다를 뿐, 그 외에는 동일하다.
• 이분 그래프가 아닌 그래프들 중에서도 $S_p(G^\sigma) = S(G)$를 만족하는 경우가 존재하지만, 이러한 그래프가 $S_p(G^\sigma) = iS_p(G)$를 만족하기 위해서는 반드시 이분 그래프이면서 길이가 4의 배수인 짝수 사이클을 포함하지 않아야 한다.