[논문 리뷰] Some results on minimum skew zero forcing sets, and skew zero forcing number

Luz M. DeAlba|arXiv (Cornell University)|2014. 04. 06.

Fixed Point Theorems Analysis참고 문헌 3인용 수 5

한 줄 요약

이 논문은 그래프 $G$의 모든 정점이 스케일러 색상 변경 규칙을 통해 검게 칠질 수 있도록 하는 정점 집합의 최소 크기인 스케일러 제로 포스팅 수 $\operatorname{Z}^{-}(G)$를 조사한다. 완전 다중분할 그래프의 스케일러 제로 포스팅 수를 특성화하고, 이중 및 순환 그래프에서 최소 스케일러 포스팅 집합과 매칭 간의 관계를 규명하며, 특정 이중 그래프에서 이러한 집합이 매트로이드의 기저를 이룬다는 것을 증명한다. 또한 여러 그래프 계열에서 $\operatorname{Z}^{-}(G) = |G| - \operatorname{mr}^{-}(\mathbb{F},G)$를 확립한다.

ABSTRACT

Let $G$ be a graph, and $Z$ a subset of its vertices, which we color black, while the remaining are colored white. We define the skew color change rule as follows: if $u$ is a vertex of $G$, and exactly one of its neighbors $v$, is white, then change the color of $v$ to black. A set $Z$ is a skew zero forcing set for $G$ if the application of the skew color change rule (as many times as necessary) will result in all the vertices in $G$ colored black. A set $Z$ is a minimum skew zero forcing set for $G$ if it is a skew zero forcing set for $G$ of least cardinality. The skew zero forcing number $\sZ (G)$ is the minimum of $|Z|$ over all skew zero forcing sets $Z$ for $G$. In this paper we discuss graphs that have extreme skew zero forcing number. We characterize complete multipartite graphs in terms of $\sZ (G)$. We note relations between minimum skew zero forcing sets and matchings in some bipartite graphs, and in unicyclic graphs. We establish that the elements in the set of minimum skew zero forcing sets in certain bipartite graphs are the bases of a matroid.

연구 동기 및 목표

• 완전 다중분할 그래프에 대한 스케일러 제로 포스팅 수 $\operatorname{Z}^{-}(G)$를 특성화하는 것.
• 이중 및 순환 그래프에서 최소 스케일러 포스팅 집합과 매칭 간의 관계를 조사하는 것.
• 매칭 $M$에서 $M$-비포화 정점의 집합이 최소 스케일러 포스팅 집합이 되는 조건을 규명하는 것.
• 특정 이중 그래프에서 최소 스케일러 포스팅 집합이 매트로이드의 기저가 되는 조건을 확립하는 것.
• 경로, 사이클, 휠, 카르테시안 곱 등 다양한 그래프 계열에 대해 $\operatorname{Z}^{-}(G)$의 정확한 값을 제공하는 것.

제안 방법

• 스케일러 색상 변경 규칙 정의: 정점 $u$가 정확히 하나의 흰색 인접 정점 $v$를 가지면, $u$는 $v$를 검게 칠한다.
• 스케일러 제로 포스팅 집합을 반복적 적용하여 모든 정점을 검게 칠할 수 있는 정점 집합으로 정의한다.
• 특정 그래프 계열에서 $\operatorname{Z}^{-}(G) = |G| - \operatorname{mr}^{-}(\mathbb{F},G)$라는 항등식을 통해 $\operatorname{Z}^{-}(G)$를 최소 스케일러 랭크 $\operatorname{mr}^{-}(\mathbb{F},G)$와 연결한다.
• 매칭, 특히 유일하게 제한된 매칭을 분석하여 최소 스케일러 포스팅 집합이 $M$-비포화 정점의 집합임을 규명한다.
• 특정 이중 그래프에서 최소 스케일러 포스팅 집합이 매트로이드의 기저와 정확히 일치함을 증명한다.
• 무한 체 위에서의 구조적 그래프 이론 및 행렬 랭크 성질을 응용하여 표준 그래프 계열의 $\operatorname{Z}^{-}(G)$ 정확한 값을 유도한다.

실험 결과

연구 질문

• RQ1 완전 $k$-분할 그래프에서 $\operatorname{Z}^{-}(G)$가 정점 수에 비례하여 가능한 최소값에 도달하는 경우는 언제인가?
• RQ2 매칭 $M$에서 $M$-비포화 정점의 집합이 그래프 $G$에 대해 최소 스케일러 포스팅 집합이 되는 조건은 무엇인가?
• RQ3 이중 그래프에서 최소 스케일러 포스팅 집합이 매트로이드의 기저가 되는 조건은 무엇인가?
• RQ4 경로, 사이클, 휠, 그래프의 카르테시안 곱에 대해 $\operatorname{Z}^{-}(G)$의 정확한 값은 무엇인가?
• RQ5 다양한 그래프 계열에서 $\operatorname{Z}^{-}(G)$와 $\operatorname{mr}^{-}(\mathbb{F},G)$ 간의 관계는 어떻게 되는가?

주요 결과

• 완전 $k$-분할 그래프 $K_{n_1,n_2,...,n_k}$의 스케일러 제로 포스팅 수는 공식 $\operatorname{Z}^{-}(G) = \max_{i \neq j} \min(n_i, n_j)$로 특성화되며, 이는 최소 스케일러 포스팅 집합의 크기를 결정한다.
• 순환 그래프 $U$에 대해 스케일러 제로 포스팅 수는 $\operatorname{Z}^{-}(U) = |U| - \operatorname{mr}^{-}(\mathbb{F},U)$를 만족하며, 이는 포스팅 수와 최소 스케일러 랭크 간의 직접적인 연결을 보여준다.
• 특정 이중 그래프에서 최소 스케일러 포스팅 집합은 정확히 매트로이드의 기저이며, 이는 풍부한 조합적 구조를 의미한다.
• $m,k$-피나폴로 그래프 $P_{m,k}$에 대해 스케일러 제로 포스팅 수는 $\operatorname{Z}^{-}(P_{m,k}) = m + k - 4$ ($m \geq 3, k \geq 1$)이며, 구조적 분석을 통해 정확한 값을 확인하였다.
• $s$-차 초입방체 $Q_s$의 스케일러 제로 포스팅 수는 $s \geq 2$일 때 $\operatorname{Z}^{-}(Q_s) = 2^{s-1}$이며, 이는 재귀적 구조와 대칭성에서 유도되었다.
• $s \geq 3, t \geq 3$인 카르테시안 곱 $K_s \square P_t$에 대해 $\operatorname{Z}^{-}(K_s \square P_t) = s$이며, 이는 $s$가 짝수거나 $s$와 $t$가 모두 홀수일 경우에 해당하며, 이 조건 하에서 $\operatorname{Z}^{-}(G) = |G| - \operatorname{mr}^{-}(\mathbb{F},G)$가 성립한다.