[논문 리뷰] On the pattern of a unitary matrix

Simone Severini|arXiv (Cornell University)|2002. 05. 16.

Quantum Computing Algorithms and Architecture참고 문헌 7인용 수 4

한 줄 요약

이 논문은 방향 그래프가 유니터리 행렬의 패턴이 되기 위한 필수 조건으로 강한 사각성(strong quadrangularity) 개념을 도입한다. 선 그래프 L(D)가 유니터리 패턴을 갖는다는 것은 그 기저 그래프 D가 유효한 그래프일 때이고, D가 강하게 연결되어 있을 경우 이러한 선 그래프는 해밀턴ian이어야 한다는 것을 유도한다. 이 조건은 n-경로, n-사이클, 방향 트리, 트리 등도 유니터리 패턴이 될 수 없음을 제거한다.

ABSTRACT

Abstract. Given a digraph D on n vertices, a matrix A of size n is said to have pattern D, if it has entry Aij ̸ = 0 if and only if (vi, vj) is an arc of D. We give a necessary condition, which is called strong quadrangularity, for a digraph to be the pattern of a unitary matrix. With the use of such a condition, we show that a line digraph L(D) is the pattern of a unitary matrix if and only if D is Eulerian. It follows that, if D is strongly connected and L (D) is the pattern of a unitary matrix then L (D) is Hamiltonian. Strong quadrangularity is also used to prove that n-paths, n-paths with loops at each vertex, n-cycles, directed trees and trees are not patterns of unitary matrices. 1.

연구 동기 및 목표

• 방향 그래프가 유니터리 행렬의 패턴이 될 수 있는 데 필요한 구조적 조건을 규명하는 것.
• 선 그래프, 사이클, 경로, 트리와 같은 특정 유형의 방향 그래프들이 유니터리 행렬의 패턴가능성 또는 불가능성을 규명하는 것.
• 기저 그래프의 유효성과 선 그래프를 통한 유니터리 행렬 패턴 간의 연결 고리를 설정하는 것.
• 선 그래프에서의 강한 연결성과 유니터리 패턴 가능성은 해밀턴성으로 이어진다는 것을 보여주는 것.

제안 방법

• 행렬의 패턴을 비례하는 방향 그래프로 정의하며, 간선은 비영원 요소에 대응한다.
• 유니터리 행렬의 패턴이 되기 위한 방향 그래프에 대해 강한 사각성을 필수 조건으로 도입한다.
• 강한 사각성을 사용해 n-경로, n-사이클, 방향 트리, 트리와 같은 특정 그래프 가족을 분석하고 분류한다.
• 기저 방향 그래프 D가 유효한 그래프일 때 선 그래프 L(D)가 유니터리 행렬의 패턴이 되는 것과 동치임을 증명한다.
• 특히 유효성과 해밀턴성과 같은 그래프 이론적 성질을 적용해 유니터리 행렬 패턴에 대한 함의를 도출한다.
• 기저 그래프 D의 강한 연결성과 선 그래프 L(D)의 유니터리 패턴 가능성은 L(D)가 해밀턴ian임을 함께 유도한다.

실험 결과

연구 질문

• RQ1 어떤 구조적 조건을 만족해야 방향 그래프가 유니터리 행렬의 패턴이 될 수 있는가?
• RQ2 선 그래프 L(D)가 유니터리 행렬의 패턴이 되기 위한 조건은 무엇인가?
• RQ3 n-경로, n-사이클, 방향 트리, 무방향 트리는 유니터리 행렬의 패턴이 될 수 있는가?
• RQ4 기저 그래프가 강하게 연결되어 있을 때, 선 그래프의 유니터리 패턴 가능성은 해밀턴성을 유도하는가?
• RQ5 기저 그래프의 유효성은 그 선 그래프의 유니터리 패턴 가능성과 어떻게 관련이 있는가?

주요 결과

• 강한 사각성은 방향 그래프가 유니터리 행렬의 패턴이 되기 위한 필수 조건이다.
• 기저 방향 그래프 D가 유효한 그래프일 때 선 그래프 L(D)는 유니터리 행렬의 패턴이 된다.
• 기저 그래프 D가 강하게 연결되어 있고 L(D)가 유니터리 행렬의 패턴일 경우, L(D)는 반드시 해밀턴ian이어야 한다.
• n-경로, 루프가 있는 n-경로, n-사이클, 방향 트리, 무방향 트리는 유니터리 행렬의 패턴이 될 수 없다.
• 강한 사각성의 사용은 유니터리 행렬 패턴을 지지할 수 없는 그래프 가족을 체계적으로 분류하는 데 기여한다.
• 결과적으로 기저 그래프의 유효성과 선 그래프를 통한 유니터리 행렬 실현 가능성 간의 깊은 연결 고리를 확립한다.