[논문 리뷰] Integral equienergetic non-isospectral Cayley graphs

Ricardo A. Podestá, Denis E. Videla|arXiv (Cornell University)|2020. 07. 02.

Graph theory and applications인용 수 1

한 줄 요약

이 논문은 임의의 아벨 군 $G$와 대칭 부분집합 $S$에 대해 카일리 그래프 $X(G,S)$와 그 여집합 $X^+(G,S)$가 등에너지임을 증명하며, 약간의 조건 하에 이러한 그래프들이 비동형, 정수, 연결, 비이분할임을 동시에 확립한다. 또한 유니터리 카일리 그래프 $G_R$, 일반화된 펠리 그래프 $\Gamma(k,q)$ 및 그 여집합을 포함하는 등에너지 비동형 삼중체의 가족을 특성화하며, 모든 그래프가 라만두잔인 경우도 포함한다.

ABSTRACT

We prove that the Cayley graphs $X(G,S)$ and $X^+(G,S)$ are equienergetic for any abelian group $G$ and any symmetric subset $S$. We focus on two subfamilies: unitary Cayley graphs $G_R=X(R,R^*)$, where $R$ is a commutative ring, and semiprimitive generalized Paley graphs $\Gamma(k,q) = X(\mathbb{F}_q,\{ x^k : x^k \in \mathbb{F}_q^*\})$. We prove that under mild conditions, $\{ G_R, G_R^+ \}$ and $\{\Gamma(k,q), \Gamma^+(k,q)\}$ are pairs of equienergetic non-isospectral graphs (generically integral, connected and non-bipartite). Then, we obtain conditions such that $\{G_R, \bar G_R\}$ and $\{\Gamma(k,q), \bar \Gamma(k,q)\}$ are equienergetic non-isospectral graphs. Finally, we characterize all (integral) equienergetic non-isospectral triples $\{G_R, G_R^+, \bar G_R\}$ and $\{\Gamma(k,q), \Gamma^+(k,q), \bar \Gamma(k,q)\}$ such that all the graphs are also Ramanujan.

연구 동기 및 목표

• 아벨 군에 대해 카일리 그래프 $X(G,S)$와 그 여집합 $X^+(G,S)$의 등에너지 성질을 확립하기.
• 등에너지 그래프가 비동형, 정수, 연결, 비이분할임을 보장하는 조건을 규명하기.
• 유니터리 카일리 그래프 $G_R$와 반정형 일반화된 펠리 그래프 $\Gamma(k,q)$로의 분석 확장하여 등에너지 비동형 쌍을 증명하기.
• $\{G_R, \bar G_R\}$와 $\{\Gamma(k,q), \bar \Gamma(k,q)\}$가 등에너지 비동형 쌍을 이루는 조건을 규명하기.
• $G_R$, $G_R^+$, $\bar G_R$ 및 $\Gamma(k,q)$, $\Gamma^+(k,q)$, $\bar \Gamma(k,q)$를 포함하는 모든 정수 등에너지 비동형 삼중체를 완전히 특성화하기.

제안 방법

• 아벨 군 $G$와 대칭 부분집합 $S$에 대해 카일리 그래프 $X(G,S)$와 그 여집합 $X^+(G,S)$를 군 이론적 구성으로 정의하기.
• 스펙트럼 그래프 이론을 적용하여 에너지와 고유값을 비교하고, 추적 및 고유값 합 항등식을 통해 등에너지 성질을 확립하기.
• 가환환 $R$ 위에서의 유니터리 카일리 그래프 $G_R = X(R, R^*)$와 일반화된 펠리 그래프 $\Gamma(k,q) = X(\mathbb{F}_q, \{x^k : x^k \in \mathbb{F}_q^*\})$에 집중하기.
• $G_R$와 $G_R^+$, 또는 $\Gamma(k,q)$와 $\Gamma^+(k,q)$가 비동형이지만 등에너지가 되도록 하는 $R$과 $q,k$에 대한 조건 유도하기.
• 수론적 및 환 이론적 성질을 활용하여 그래프의 정수성과 라만두잔 성질 분석하기.
• $\{G_R, G_R^+, \bar G_R\}$와 $\{\Gamma(k,q), \Gamma^+(k,q), \bar \Gamma(k,q)\}$의 체계적 특성화로, 세 그래프 모두 정수, 등에너지, 비동형, 라만두잔임을 보장하는 삼중체 분석하기.

실험 결과

연구 질문

• RQ1 아벨 군 $G$와 대칭 부분집합 $S$에 대해 카일리 그래프 $X(G,S)$와 $X^+(G,S)$가 등에너지가 되는 조건은 무엇인가?
• RQ2 등에너지 쌍 $\{G_R, G_R^+\}$와 $\{\Gamma(k,q), \Gamma^+(k,q)\}$가 비동형, 정수, 연결, 비이분할임을 보장하는 조건은 무엇인가?
• RQ3 $\{G_R, \bar G_R\}$와 $\{\Gamma(k,q), \bar \Gamma(k,q)\}$가 등에너지 비동형 그래프 쌍을 이룰 조건은 무엇인가?
• RQ4 $G_R$, $G_R^+$, $\bar G_R$ 및 $\Gamma(k,q)$, $\Gamma^+(k,q)$, $\bar \Gamma(k,q)$의 가족에서 동시에 라만두잔인 정수 그래프는 무엇인가?
• RQ5 유니터리 그래프 $G_R$, $G_R^+$, $\bar G_R$와 일반화된 펠리 그래프 $\Gamma(k,q)$, $\Gamma^+(k,q)$, $\bar \Gamma(k,q)$를 포함하는 등에너지 비동형 삼중체의 완전한 특성화는 무엇인가?

주요 결과

• 임의의 아벨 군 $G$와 대칭 부분집합 $S$에 대해 카일리 그래프 $X(G,S)$와 $X^+(G,S)$는 등에너지이다.
• 유니터리 카일리 그래프 $G_R = X(R, R^*)$와 그 여집합 $G_R^+$는 가환환 $R$에 대한 약간의 조건 하에 등에너지 비동형 쌍을 이룬다.
• 반정형 일반화된 펠리 그래프 $\Gamma(k,q)$와 그 여집합 $\Gamma^+(k,q)$는 $k$와 $q$가 특정 수론적 조건을 만족할 경우 등에너지이며 비동형이다.
• $\{G_R, \bar G_R\}$와 $\{\Gamma(k,q), \bar \Gamma(k,q)\}$는 $R$과 $q,k$에 적절한 조건이 만족될 경우 등에너지이자 비동형이다.
• 모든 정수 등에너지 비동형 삼중체 $\{G_R, G_R^+, \bar G_R\}$와 $\{\Gamma(k,q), \Gamma^+(k,q), \bar \Gamma(k,q)\}$는 완전히 특성화되었으며, 삼중체 내 모든 그래프가 라만두잔임을 추가로 보장한다.