[논문 리뷰] Maximum nullity and zero forcing number on cubic graphs

Saieed Akbari, Ebrahim Vatandoost외 1명|arXiv (Cornell University)|2017. 05. 27.

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

한 줄 요약

이 논문은 영점력 수가 3인 삼차 그래프를 특성화하고, 이 가족에 대해 최대 영공간 차원수는 3과 같다를 증명한다. 또한 최대 영공간 차원수와 영점력 수가 모두 4인 삼차 그래프의 가족을 제안하고, 최대 영공간 차원수와 그래프의 스패닝 트리의 잎 수 사이의 관계를 연결하는 알고리즘을 제시한다. 이 작업은 M(G) = Z(G)를 만족하는 그래프를 특정하는 열린 문제에 기여한다.

ABSTRACT

Let $G$ be a graph. The maximum nullity of $G$, denoted by $M(G)$, is defined to be the largest possible nullity over all real symmetric matrices $A$ whose $a_{ij} eq 0$ for $i eq j$, whenever two vertices $u_i$ and $u_j$ of $G$ are adjacent. In this paper, we characterize all cubic graphs with zero forcing number $3$. As a corollary, it is shown that if the zero forcing number is $3$, then $M(G)=3$. In addition, we introduce a family of cubic graphs containing graphs $G$ with $M(G)=Z(G)=4$. Also, we provide an algorithm which make a relation between maximum nullity of $G$ and the number of leaves in a spanning tree of $G$.

연구 동기 및 목표

• 영점력 수가 3인 모든 삼차 그래프를 특성화하는 것.
• 삼차 그래프의 최대 영공간 차원수와 스패닝 트리의 잎 수 사이의 관계를 설정하는 것.
• M(G) = Z(G) = 4인 삼차 그래프의 가족을 제공하는 것.
• M(G) = Z(G)를 만족하는 그래프를 특정하는 열린 문제에 기여하는 것.
• 제안된 1.2번 추측(삼차 그래프에서 영점력 수의 상한에 대한)을 도전하고 반례를 제시하는 것.

제안 방법

• 영점력 과정을 사용: 정점이 검정색이고 정확히 하나의 흰색 이웃을 가진 경우, 그 이웃도 검정색으로 변환되며, 더 이상 변화가 없을 때까지 반복한다.
• 삼차 그래프에서 크기가 3인 영점력 집합을 식별하고, 그러한 집합을 포함하는 그래프를 특성화한다.
• 색상 변경 규칙을 적용하여 영점력 수 Z(G)를 유도하고, 삼차 그래프의 구조적 성질과 연관시킨다.
• 그래프의 구조에서 스패닝 트리를 구성하고, 잎의 수를 사용하여 최대 영공간 차원수의 상한을 구한다.
• 스펙트럼 그래프 이론을 활용하여 고유값을 이용해 최대 영공간 차원수의 하한을 유도한다.
• 헤우드 그래프를 사례 연구로 분석하여 M(G) = Z(G)가 성립함을 검증한다.

실험 결과

연구 질문

• RQ1 어느 삼차 그래프가 영점력 수가 3인가?
• RQ2 Z(G) = 3인 삼차 그래프에 대해 M(G) = 3인가?
• RQ3 M(G) = Z(G) = 4인 삼차 그래프의 가족을 구성할 수 있는가?
• RQ4 삼차 그래프의 스패닝 트리에서의 잎 수가 M(G)에 대한 상한을 제공하는가?
• RQ5 제안된 1.2번 추측(Z(G) ≤ n/3 + 2, 연결된 삼차 그래프에 대해)은 참인가, 아니면 반례를 찾을 수 있는가?

주요 결과

• 이 논문은 영점력 수가 3인 삼차 그래프를 완전히 특성화한다.
• Z(G) = 3인 삼차 그래프에 대해 M(G) = 3임을 증명하여 이 가족에서 M(G) = Z(G)임을 확인한다.
• M(G) = Z(G) = 4인 삼차 그래프의 가족을 구성한다.
• 1.2번 추측에 대한 반례를 제시한다: 순서 16인 삼차 그래프에서 Z(G) = 8이며, 이는 n/3 + 2 = 16/3 + 2 ≈ 7.33을 초과한다.
• 최대 영공간 차원수 M(G)와 그래프 G의 스패닝 트리의 잎 수 사이의 관계를 연결하는 알고리즘을 개발한다.
• 헤우드 그래프가 M(G) = Z(G)를 만족함을 보여, 일부 삼차 그래프에 대해 M(G) = Z(G)가 성립한다는 더 넓은 추측을 뒷받침한다.