[논문 리뷰] Longest Induced Cycles on Cayley Graphs

Elena Fuchs, Justin Sinz|ArXiv.org|2004. 10. 13.

Limits and Structures in Graph Theory참고 문헌 4인용 수 9

한 줄 요약

이 논문은 단위 카일리 그래프 $X_n = \mathrm{Cay}(\mathbb{Z}_n, U_n)$에서의 가장 긴 유도된 사이클을 연구하며, $n$의 소인수에 대해 잔여 표현을 도입하여 문제를 조합적 문자열 비교로 환원한다. 주요 결과는 $n$이 $r$개의 서로 다른 소인수를 가질 때, 가장 긴 유도된 사이클의 길이가 소인수의 크기나 중복 여부에 관계없이 정확히 $2^r + 2$임을 보이며, 이 경계는 날카롭고 구성 가능하다.

ABSTRACT

In this paper we study the length of the longest induced cycle in the unitary Cayley graph $X_n = Cay(\mathbb Z_n; U_n)$, where $U_n$ is the group of units in $\mathbb Z_n$. Using residues modulo the primes dividing $n$, we introduce a representation of the vertices that reduces the problem to a purely combinatorial question of comparing strings of symbols. This representation allows us to prove that the multiplicity of each prime dividing $n$, and even the value of each prime (if sufficiently large) has no effect on the length of the longest induced cycle in $X_n$. We also see that if $n$ has $r$ distinct prime divisors, $X_n$ always contains an induced cycle of length $2^r+2$, improving the $r \ln r$ bound of Berrezbeitia and Giudici. Moreover, we extend our results for $X_n$ to conjunctions of complete $k_i$-partite graphs, where $k_i$ need not be finite, and also to unitary Cayley graphs on any quotient of a Dedekind domain.

연구 동기 및 목표

• 단위 카일리 그래프 $X_n = \mathrm{Cay}(\mathbb{Z}_n, U_n)$에서의 가장 긴 유도된 사이클의 최대 길이를 결정하는 것. 여기서 $n$은 $r$개의 서로 다른 소인수를 가진다.
• 이 최대 길이가 $n$을 나누는 특정 소인수와 그 중복도에 어떻게 의존하는지 규명하는 것.
• $m(r)$에 대한 하한과 상한을 향상시키는 것. 여기서 $m(r)$은 $r$개의 서로 다른 소인수를 가진 모든 $n$에 대해 유도된 사이클의 최대 길이이다.
• 완전 $k_i$-분할 그래프의 합성과 데데킨드 정역 위의 단위 카일리 그래프로 결과를 확장하는 것.
• $n$이 $r$개의 서로 다른 소인수를 가질 때, $2^r + 2$가 유도된 사이클 길이에 대한 날카로운 하한이자 상한임을 증명하는 것.

제안 방법

• $n$의 소인수 $p_1, \dots, p_r$에 대해 각 정점의 잔여 벡터로 표현하여, 인접성 조건을 각 위치에서 공통된 잔여값이 없음을 확인하는 것으로 환원한다.
• 중국인의 나머지 정리를 사용하여 각 잔여 문자열이 적어도 하나의 정점에 대응되며, $n$이 제곱자유일 경우 서로 다른 문자열이 서로 다른 정점에 대응됨을 보장한다.
• 정점 간의 '유사성'을 정의하여, 주어진 소인수 성분에서 동일한 잔여값을 공유할 때 정점이 유사하다고 간주하며, 인접성은 이러한 유사성이 전혀 없을 때 성립한다.
• 연속된 정점들이 공통된 잔여값을 갖지 않으며, 비연속 정점들은 적어도 하나의 성분에서 공통된 잔여값을 갖도록 잔여 문자열을 배열하여 길이 $2^r + 2$의 유도된 사이클을 구성한다.
• 외대수의 외적과 선형 독립성을 활용하여 알론의 정리(교차하는 집합족에 관한 정리)를 적용하여, $X_n$에서의 유도된 사이클이 $2^r + 2$를 초과할 수 없음을 증명한다.
• 잔여 표현과 사이클 구성 기법을 제곱자유가 아닌 국소환과 데데킨드 정역의 곱 위의 완전 $k_i$-분할 그래프의 합성으로 일반화한다.

실험 결과

연구 질문

• RQ1 유도된 사이클의 길이가 $n$의 소인수의 구체적 값이나 중복도에 따라 달라지는가?
• RQ2 $n$이 $r$개의 서로 다른 소인수를 가질 때, 가장 긴 유도된 사이클의 하한 $2^r + 2$를 달성할 수 있는가?
• RQ3 $n$이 $r$개의 서로 다른 소인수를 가질 때, 가장 긴 유도된 사이클의 길이에 대해 $2^r + 2$가 상한이 되는가?
• RQ4 $X_n$에 대한 결과를 완전 $k_i$-분할 그래프의 합성 또는 데데킨드 정역 위의 단위 카일리 그래프와 같은 더 일반적인 그래프 클래스로 확장할 수 있는가?
• RQ5 $m(r) = \max_n M(n)$의 정확한 값은 무엇인가? 여기서 $M(n)$은 $X_n$에서 가장 긴 유도된 사이클의 길이이며, 최댓값은 $r$개의 서로 다른 소인수를 가진 모든 $n$에 대해 취해진다.

주요 결과

• 유도된 사이클의 길이는 $n$의 서로 다른 소인수의 수 $r$에만 의존하며, 그 구체적 값이나 중복도에는 영향을 받지 않는다.
• $n$이 $r$개의 서로 다른 소인수를 가질 때, $X_n$에서 가장 긴 유도된 사이클의 길이는 정확히 $2^r + 2$이며, 이 경계는 날카롭다.
• $n$이 $r$개의 서로 다른 소인수를 가질 때, 길이 $2^r + 2$의 유도된 사이클은 소인수의 크기나 중복도에 관계없이 항상 구성 가능하다.
• 상한 $2^r + 2$는 알론의 정리(교차하는 집합족에 관한 정리)를 사용하여 증명되었으며, $X_n$에서의 유도된 사이클이 이 길이를 초과할 수 없음을 보였다.
• $n$이 제곱자유일 경우, 잔여 표현은 정점과 잔여 문자열 사이에 일대일 대응을 제공하여 사이클 분석을 단순화한다.
• 결과는 완전 $k_i$-분할 그래프의 합성과 국소환의 곱 및 데데킨드 정역 위의 단위 카일리 그래프로 확장되며, $\mathbb{Z}_n$을 초월한 프레임워크를 일반화한다.