[논문 리뷰] Zero Forcing Sets for Graphs

Fatemeh Alinaghipour|arXiv (Cornell University)|2013. 11. 29.

Advanced Graph Theory Research참고 문헌 21인용 수 13

한 줄 요약

이 박사학위 논문은 그래프 이론에서의 제로 포싱 파라미터를 조사하며, 그래프와 관련된 대칭 행렬과 양의 준정적 행렬에 대한 최대 영차수의 조합적 경계로 제로 포싱 수 $ Z(G) $와 양의 제로 포싱 수 $ Z_+(G) $를 도입한다. 이 작업은 $ Z(G) = M(G) $를 만족하는 새로운 그래프 가족을 규명하고, 새로운 그래프 계열에서 $ Z(G) $와 경로 커버 수 사이의 등식을 증명하며, 포팅 트리들을 통해 $ Z_+(G) $와 나무 커버 수 사이의 연결고리를 제공함으로써 색칠 수, 독립 수 등과의 새로운 관계를 제시한다.

ABSTRACT

For any simple graph $G$ on $n$ vertices, the (positive semi-definite) minimum rank of $G$ is defined to be the smallest possible rank among all (positive semi-definite) real symmetric $n imes n$ matrices whose entry in position $(i,j)$, for $i eq j$, is non-zero if $ij$ is an edge in $G$ and zero otherwise. Also, the (positive semi-definite) maximum nullity of $G$ is defined to be the largest possible nullity of a (positive semi-definite) matrix in the above set of matrices. In this thesis we study two graph parameters, namely the zero forcing number of $G$, $Z(G)$, and the positive zero forcing number of $G$, $Z_+(G)$, which bound the maximum nullity and the positive semi-definite maximum nullity from above, respectively. With regard to the zero forcing number, we introduce some new families of graphs for which the zero forcing number and the maximum nullity are the same. Also we establish an equality between the zero forcing number and the path cover number for a new family of graphs. In addition, we establish a connection between the zero forcing number and the chromatic number of graphs. With regard to the positive zero forcing number, we introduce the concept of forcing trees in a graph and we establish a connection between the positive zero forcing number and the tree cover number. Also we study families of graphs for which these parameters coincide. In addition, we provide some new results on the connections of this parameter with other graph parameters, including the independence number and the chromatic number of $G$.

연구 동기 및 목표

• 제로 포싱 수 $ Z(G) $가 최대 영차수 $ M(G) $와 동일한 그래프 가족을 규명함으로써 기존의 나무에 대한 결과를 초과하여 확장한다.
• 새로운 그래프 계열에 대해 제로 포싱 수와 경로 커버 수 사이의 관계를 설정한다.
• 양의 제로 포싱 집합과 포팅 트리의 개념을 도입하고, $ Z_+(G) $와 나무 커버 수 $ T(G) $ 사이의 관계를 규명한다.
• 양의 제로 포싱 수 $ Z_+(G) $와 색칠 수, 독립 수와 같은 고전적 그래프 파라미터 사이의 구조적 연결고리를 탐색한다.
• 미해결 문제와 추측을 제시하여, 특히 그래프 연산과 $ k $-트리에 대한 향후 연구를 위한 방향을 모색한다.

제안 방법

• 색 변경 규칙을 적용하여 모든 정점을 검게 만들 수 있는 최소 크기의 정점 집합으로서 제로 포싱 집합을 정의하고, $ Z(G) $를 그 최소 크기로 정의한다.
• 색 변경 규칙을 수정한 양의 제로 포싱 규칙을 적용하여 $ Z_+(G) $를 정의하고, 이를 양의 준정적 행렬과 연결한다.
• 포팅 트리는 양의 제로 포싱 과정 동안 형성되는 유도 부분그래프로, $ Z_+(G) $의 구조적 분석을 가능하게 한다.
• 코로나, 합집합, 결합과 같은 그래프 연산을 적용하여 $ Z(G) $와 $ Z_+(G) $가 복합 구조에서 어떻게 행동하는지 분석한다.
• 조합 기법과 구조적 그래프 이론을 활용하여 $ Z(G) $, $ Z_+(G) $와 경로 커버 수, 나무 커버 수 등의 다른 파라미터 간의 등식을 증명한다.
• 스펙트럼 그래프 이론의 개념, 즉 영차수, 랭크, 고유값의 중복도를 활용하여 행렬 성질과 그래프 파라미터 간의 관계를 규명한다.

실험 결과

연구 질문

• RQ1 나무와 순환 그래프를 초월하여 어떤 그래프 가족에서 $ Z(G) = M(G) $가 성립하는가?
• RQ2 새로운 그래프 계열에서 $ Z(G) $와 경로 커버 수 사이의 관계는 무엇인가?
• RQ3 $ Z_+(G) = T(G) $가 성립하는 조건은 무엇이며, 특히 $ k $-트리와 그 하위 구조에서 어떻게 성립하는가?
• RQ4 일반적인 그래프에서 $ Z_+(G) $, 독립 수, 색칠 수 사이의 관계는 어떠한가?
• RQ5 카르테시안 곱, 여집합, 강한 곱과 같은 그래프 연산에 대해 $ Z(G) $와 $ Z_+(G) $의 값은 각각 얼마인가?

주요 결과

• 나무를 초월하는 새로운 그래프 가족에서 제로 포싱 수 $ Z(G) $가 최대 영차수 $ M(G) $와 동일하다는 것이 입증되었다.
• 새롭게 정의된 그래프 계열에서 $ Z(G) $와 경로 커버 수 사이의 등식이 확립되었다.
• $ 2 $-트리에 대해 양의 제로 포싱 수 $ Z_+(G) $가 나무 커버 수 $ T(G) $와 동일하다는 것이 입증되었다.
• $ t $개의 클러스터를 가지며, 각 클러스터의 크기가 최소 3이고, 최대 $ k-1 $개의 크기 $ k+1 $의 클리크를 공유하는 $ k $-트리의 경우, $ Z_+(G) = k + t $라는 등식이 성립할 것이라 추측된다.
• 양의 제로 포싱 수와 색칠 수 사이의 연결고리가 확립되었으며, 일반적으로 $ Z_+(G) \neq \text{색칠 수} $임을 보였지만, 구조적 제약 조건이 드러났다.
• 파라미터 $ \nu $와 $ \rho $에 대해 미니어 모노토닉성 성질을 규명하였으며, 이는 허드거의 추측 및 더 넓은 그래프 이론의 추측과 잠재적인 연결고리를 시사한다.