[논문 리뷰] Domination Parameters of the Unitary Cayley Graph of $\mathbb{Z}/n\mathbb{Z}$

Amanda Burcroff|arXiv (Cornell University)|2018. 09. 13.

Graph Labeling and Dimension Problems참고 문헌 22인용 수 3

한 줄 요약

이 논문은 $ℚ/n\mathbb{Z}$ 위의 유니타리 카일리 그래프 $X_n$에서의 지배 매개변수를 조사하며, 총 지배, 비중복성, 독립 수에 초점을 맞춘다. $g(n)$이 잰브스트할 함수일 때, 임의의 많은 소인수를 가진 정수 $n$의 무한한 가지만을 구성하여 총 지배 수 $γ_t(X_n) \leq g(n) - 2$를 만족시키며, Defant와 Iyer의 두 개의 열린 질문에 긍정적으로 답한다.

ABSTRACT

The unitary Cayley graph of $\mathbb{Z}/n\mathbb{Z}$, denoted $X_n$, is the graph on $\{0,\dots,n-1\}$ where vertices $a$ and $b$ are adjacent if and only if $\gcd(a-b,n) = 1$. We answer a question of Defant and Iyer by constructing a family of infinitely many integers $n$ such that $γ_t(X_n) \leq g(n) - 2$, where $γ_t$ denotes the total domination number and $g$ denotes the Jacobsthal function. We determine the irredundance number, domination number, and lower independence number of certain direct products of complete graphs and give bounds for these parameters for any direct product of complete graphs. We provide upper bounds on the size of irredundant sets in direct products of balanced, complete multipartite graphs which are asymptotically correct for the unitary Cayley graphs of integers with a bounded smallest prime factor.

연구 동기 및 목표

• 정수 $n$이 존재하여 $\gamma_t(X_n) \leq g(n)-2$ 및 $\gamma(X_n) \leq g(n)-2$를 만족하는지에 대한 열린 질문을 해결하기.
• 직접 곱의 완전 그래프에서의 지배 매개변수—비중복성, 지배, 하한 독립 수—를 결정하기.
• 균형 잡힌 완전 다중분할 그래프의 곱으로서의 $X_n$의 구조를 분석하여 $X_n$의 결과를 확장하기.
• 고차원 곱에서 구성 요소 그래프의 크기에 따른 지배 매개변수의 의존성 탐색하기.
• 균형 잡힌 완전 다중분할 그래프의 곱에 대해 $\operatorname{IR}(G) = \alpha(G)$라는 추측을 내세워 알려진 결과를 일반화하기.

제안 방법

• 소수 거듭제곱에 대해 중국인법정리를 활용한 동형사상 $X_n \cong \prod_{i=1}^t K[p_i^{\alpha_i-1}, p_i]$를 사용한다.
• 조합론적 추론과 깃발 원리(피그노우 원리)를 적용하여 완전 다중분할 그래프의 직접 곱에서 비중복 집합의 크기를 한계한다.
• 총 지배 집합으로서 크기가 $g(n)-2$인 지배 순환을 $X_n$에 구성하여 $γ_t(X_n)$의 상한을 확립한다.
• 개인 이웃과 벡터 사영을 분석하여 가정된 비중복 집합 크기에서 모순을 이끌어낸다.
• GCD-그래프에 대한 기존 결과와 고유값의 정수성에 기반해 더 넓은 그래프 계열로의 확장을 제안한다.
• Defant와 Iyer의 기법을 변형하여 균형 잡힌 완전 다중분할 그래프의 곱에서 상한 비중복성 및 상한 지배 수를 계산한다.

실험 결과

연구 질문

• RQ1 무한히 많은 정수 $n$이 존재하여 $\gamma_t(X_n) \leq g(n) - 2$를 만족하는가?
• RQ2 그러한 정수 $n$이 임의의 많은 서로 다른 소인수를 가질 수 있는가?
• RQ3 정수 $n$이 존재하여 $\gamma_t(X_n) \leq g(n) - 3$를 만족하는가?
• RQ4 어떤 제곱무효 수 $n$에 대해 $\operatorname{ir}(X_n) = i(X_n)$가 성립하는가?
• RQ5 직접 곱 $\prod_{i=1}^t K_{n_i}$의 지배 매개변수는 언제 모든 $n_i$에 의존하는가?

주요 결과

• 논문은 임의의 많은 서로 다른 소인수를 가진 정수 $n$의 무한한 가족을 구성하여 $\gamma_t(X_n) \leq g(n) - 2$를 만족시키며, Defant와 Iyer의 두 질문에 긍정적으로 답한다.
• 무한히 많은 $n$에 대해 $\gamma_t(X_n) \leq g(n) - 2$가 성립함을 증명하며, $X_n$에 크기가 $g(n) - 2$인 지배 순환(총 지배 집합)이 존재함을 보이며 상한을 확립한다.
• 최대 세 개의 인자만을 가진 완전 그래프의 직접 곱에 대해 비중복성, 지배, 하한 독립 수를 결정한다.
• 소수 $n$, $n = 2p$, $n = 3p$ (소수 $p$에 대해), 또는 정확히 세 개의 소인수를 가진 제곱무효 수인 $n$일 때 $\operatorname{ir}(X_n) = i(X_n)$임을 보여준다.
• 완전 그래프 $K_a \times K_b \times K_c$의 지배 수가 $a$, $b$, $c$에 독립됨을 증명하지만, 네 개의 인자에 대해서는 모든 네 크기에 의존함을 보여준다.
• 모든 곱 $G = \prod_{i=1}^t K[a_i, b_i]$에 대해 $\operatorname{IR}(G) = \alpha(G)$라는 추측을 내세우며, 강력한 완전 그래프에 대한 기존 결과를 일반화한다.