[논문 리뷰] Cayley graphs and symmetric interconnection networks

Ashwin Ganesan|arXiv (Cornell University)|2017. 03. 22.

Interconnection Networks and Systems참고 문헌 49인용 수 5

한 줄 요약

이 논문은 대칭 상호연결 네트워크에서 사용되는 카일리 그래프의 자기동형군과 고장 내성 성질을 조사한다. 에지-전이성 카일리 그래프, 즉 초입방체와 접히는 초입방체를 포함하여, 생성 행렬의 열 중 하나가 다른 두 열의 합이 아니라는 것을 보여줌으로써, 최소 차수와 동일한 최적의 정점 연결성을 달성함을 증명한다. 이는 정점 고장에 대한 최대 내성 보장을 보장한다.

ABSTRACT

These lecture notes are on automorphism groups of Cayley graphs and their applications to optimal fault-tolerance of some interconnection networks. We first give an introduction to automorphisms of graphs and an introduction to Cayley graphs. We then discuss automorphism groups of Cayley graphs. We prove that the vertex-connectivity of edge-transitive graphs is maximum possible. We investigate the automorphism group and vertex-connectivity of some families of Cayley graphs that have been considered for interconnection networks; we focus on the hypercubes, folded hypercubes, Cayley graphs generated by transpositions, and Cayley graphs from linear codes. New questions and open problems are also discussed.

연구 동기 및 목표

• 카일리 그래프의 자기동형군을 분석하고, 네트워크의 대칭성과 고장 내성에서의 역할을 규명한다.
• 카일리 그래프가 최적의 정점 연결성을 달성할 조건을 설정함으로써, 내성적인 상호연결 네트워크에 필수적인 요건을 확립한다.
• 초입방체, 접히는 초입방체, 전위 생성 그래프, 그리고 선형 코드에서 유도된 그래프와 같은 특정 카일리 그래프 가족의 구조적 성질을 조사한다.
• Z₂^r에서의 카일리 그래프가 최적의 고장 내성을 확보하기 위한 생성 행렬에 대한 충분조건을 규명한다.
• 대칭 네트워크 구조에서 자기동형군과 연결성에 관한 새로운 열린 문제를 제기한다.

제안 방법

• Sabidussi의 정리를 사용하여 정점 집합 위에서 정규 군 작용을 통해 카일리 그래프를 특성화한다.
• Watkins의 원자 부분 이론을 적용하여, 에지-전이성 그래프가 가능한 최대의 정점 연결성을 가짐을 증명한다.
• 군 작용과 그래프 대칭성을 활용하여 모든 카일리 그래프가 정점-전이성임을 보이고, 정규 카일리 그래프가 정규 자기동형군 부분군을 갖는다는 것을 증명한다.
• F₂에서의 0-1 행렬로 생성된 카일리 그래프를 분석하며, 생성 집합 S가 행렬의 열에 해당함을 고려한다.
• F₂^r에서 어떤 열도 다른 두 열의 합이 아니라는 조건을 적용하여, 카일리 그래프에서 최적의 고장 내성을 증명한다.
• F₂에서의 선형 대수를 사용하여, 계수 행렬이 전순위인 경우 카일리 그래프가 초입방체와 동형임을 보이고, 짝수 검사 행렬을 통해 접히는 초입방체를 특성화한다.

실험 결과

연구 질문

• RQ1 카일리 그래프의 정점 연결성이 최소 차수와 동일한 조건은 무엇인가, 이는 최적의 고장 내성을 의미한다?
• RQ2 카일리 그래프의 자기동형군은 상호연결 네트워크의 대칭성과 내성에 어떤 영향을 미치는가?
• RQ3 생성 행렬의 어떤 구조적 성질이 결과 그래프가 최적의 연결성을 가지게 하는가?
• RQ4 접히는 초입방체는 선형 코드에서 유도된 카일리 그래프로 특성화될 수 있으며, 이로부터 최적의 고장 내성을 상속받는가?
• RQ5 선형 코드에서 유도된 새로운 카일리 그래프 가족 중에서 최적의 연결성과 높은 대칭성을 동시에 확보한 것은 존재하는가?

주요 결과

• 에지-전이성 그래프, 특히 많은 카일리 그래프의 정점 연결성은 가능한 최대이며, 최소 차수와 동일하다.
• 초입방체 그래프 $Q_n$은 최적의 고장 내성을 보이며, 그 이유는 생성 행렬(항등행렬)이 $\mathbb{F}_2^r$에서 어떤 열도 다른 두 열의 합이 아니기 때문이다.
• 접히는 초입방체 $FQ_n$ (for $n \geq 4$) 역시 최적의 고장 내성을 확보한다. 그 이유는 생성 행렬(반복 코드의 짝수 검사 행렬)이 동일한 열 합 조건을 만족하기 때문이다.
• F₂에서 전순위인 $r \times n$ 행렬 $\mathcal{H}$로 생성된 카일리 그래프는 $\mathcal{H}$가 항등행렬일 경우 $Q_r$과 동형이다.
• 생성 행렬 $\mathcal{H}$의 어떤 열도 $\mathbb{F}_2^r$에서 다른 두 열의 합이 아니면, 카일리 그래프 $\mathrm{Cay}(\mathbb{Z}_2^r, S)$는 최적의 고장 내성을 가진다.
• 특히 계수 행렬이 전순위이면서 어떤 열도 다른 두 열의 합이 아닌 선형 코드에서 유도된 카일리 그래프는 최적의 연결성을 보이며, 고장 내성 네트워크 설계의 강력한 후보이다.