[논문 리뷰] The distinguishing number of the augmented cube and hypercube powers

Melody Chan|ArXiv.org|2006. 01. 14.

Graph Labeling and Dimension Problems참고 문헌 8인용 수 7

한 줄 요약

이 논문은 $p$-번째 거듭제곱의 $n$-차원 초입방체 $Q_n^p$의 구분 수가 $2 < p < n-1$일 때 항상 2임을 증명함으로써 열려 있는 문제를 해결한다. 이는 초입방체 거듭제곱의 구분 수의 분류를 완성한다. 또한 증명된 바에 따르면 증강 초입방체 $AQ_n$의 구분 수는 $n \geq 4$일 때 $D(AQ_n) = 2$이며, $D(AQ_1)=2$, $D(AQ_2)=4$, $D(AQ_3)=3$이다. 이는 구분 수가 증가하다가 2로 떨어지는 수열에 대한 열린 질문에 답한다.

ABSTRACT

The distinguishing number of a graph G, denoted D(G), is the minimum number of colors such that there exists a coloring of the vertices of G where no nontrivial graph automorphism is color-preserving. In this paper, we show that the distinguishing number of p-th graph power of the n-dimensional hypercube is 2 whenever 2 &lt; p &lt; n-1. This completes the study of the distinguishing number of hypercube powers. We also compute the distinguishing number of the augmented cube, a variant of the hypercube, answering an open question.

연구 동기 및 목표

• 문헌 [3]에서 제기된 $2 < p < n-1$일 때 $Q_n^p$의 구분 수에 대한 열린 문제를 해결하기 위해.
• 모든 $n \geq 1$에 대해 증강 초입방체 $AQ_n$의 구분 수를 계산하기 위해.
• 문헌 [1]에서 제기된, 구분 수가 어떤 $k \geq 4$로 증가하다가 2로 감소하는 그래프 수열이 존재하는지 여부에 대한 열린 문제를 해결하기 위해.
• 초입방체 거듭제곱의 구분 수를 완전히 분류하고, 새로운 그래프 가족인 증강 초입방체의 구분 수를 특성화하기 위해.

제안 방법

• 초입방체 거듭제곱의 자기동형군에 관한 핵심 결과인 [10]을 활용하여, $p$가 홀수일 때 $\operatorname{Aut}(Q_n^p) \cong \operatorname{Aut}(Q_n)$이고, $p$가 짝수일 때 $\operatorname{Aut}(Q_n^2)$임을 보여준다.
• 만약 $\operatorname{Aut}(G_1) \subseteq \operatorname{Aut}(G_2)$이면 $D(G_1) \leq D(G_2)$임을 이용하여 $Q_n^p$의 구분 수를 $Q_n$과 $Q_n^2$의 구분 수와 연결한다.
• 정점의 인접성과 자기동형의 불변성을 기반으로 한 구조적 추론을 적용하여, 특정 정점 집합을 고정하는 유일한 자기동형은 항등사상임을 보여, $n \geq 4$일 때 $D(AQ_n) = 2$임을 증명한다.
• 이진 벡터와 거리 성질에 대한 케이스 분석을 통해 모든 0과 모든 1로 이루어진 정점들이 특정 집합 $M$에 대한 인접성으로 유일하게 결정됨을 보여, 자기동형이 이를 고정함을 강제한다.
• 기존 결과를 조합: $n \geq 4$일 때 $D(Q_n) = 2$이고 $n \geq 4$일 때 $D(Q_n^2) = 2$이며, 자기동형군의 동형성을 바탕으로 $2 < p < n - 1$일 때 $D(Q_n^p) = 2$임을 도출한다.
• $AQ_1$, $AQ_2$, $AQ_3$의 구분 수를 직접적으로 구조적 분석과 알려진 자기동형군 성질을 통해 검증한다.

실험 결과

연구 질문

• RQ1 초입방체 $Q_n$의 $p$-번째 거듭제곱인 $Q_n^p$의 구분 수는 $2 < p < n - 1$일 때 얼마인가요?
• RQ2 모든 $n \geq 1$에 대해 증강 초입방체 $AQ_n$의 구분 수는 얼마인가요?
• RQ3 문헌 [1]에서 제기한 바와 같이, 구분 수가 어떤 $k \geq 4$로 증가하다가 2로 감소하는 그래프 수열 $\{G_n\}_{n=1}^\infty$가 존재하는가요?
• RQ4 초입방체 거듭제곱 $Q_n^p$의 자기동형군은 $2 < p < n - 1$일 때 원래 초입방체 $Q_n$의 자기동형군과 어떻게 관련이 있나요?
• RQ5 특히 다른 그래프와 자기동형군이 동형일 경우에, 그래프의 구분 수는 그 자기동형군의 구조만으로 결정될 수 있는가요?

주요 결과

• $2 < p < n - 1$일 때 모든 $n$과 $p$에 대해 $D(Q_n^p) = 2$임을 보여, [3]에서 제기된 열린 문제를 해결한다.
• 증강 초입방체의 구분 수는 $D(AQ_1) = 2$, $D(AQ_2) = 4$, $D(AQ_3) = 3$, 그리고 $n \geq 4$일 때 $D(AQ_n) = 2$이다.
• $\{D(AQ_n)\}_{n=1}^\infty$ 수열은 $n=2$에서 4로 증가하고, $n=3$에서 3으로 감소하며, 이후 2로 안정화되므로, [1]에서 제기된 구분 수가 증가하다가 2로 떨어지는 수열에 대한 열린 질문에 답한다.
• $2 < p < n - 1$일 때 $Q_n^p$의 자기동형군은 $p$가 홀수이면 $\operatorname{Aut}(Q_n)$과 동형이며, $p$가 짝수이면 $\operatorname{Aut}(Q_n^2)$와 동형이므로, 이는 구분 수를 결정하는 데 기여한다.
• $n \geq 4$일 때 $AQ_n$의 자기동형군은 오직 항등사상만이 2색 칠하기를 유지하도록 작용하므로, 정점의 인접성과 고정된 집합의 구조적 분석을 통해 $D(AQ_n) = 2$임을 확인한다.
• 자기동형군의 동형 타입만으로 그래프의 구분 수가 결정되지 않음을 확인한다. 왜냐하면 $\operatorname{Aut}(Q_n^p) \cong \operatorname{Aut}(Q_n)$ 이지만 $D(Q_n^p) = D(Q_n) = 2$이며, $D(Q_n^2) = 2$이므로 동형군 간에 일관성이 있음을 보여준다.