[論文レビュー] On the pattern of a unitary matrix

Simone Severini|arXiv (Cornell University)|May 16, 2002

Quantum Computing Algorithms and Architecture参考文献 7被引用数 4

ひとこと要約

本稿では、ユニタリ行列のパターンであるための必要条件として、強い四角形性（strong quadrangularity）の概念を導入する。線グラフ L(D) がユニタリーパターンであるための必要十分条件として、D がオイラー的（Eulerian）であること、および D が強く連結である場合には、そのような線グラフはハミルトニアンであることを示す。この条件により、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-サイクル、有向木、木などの特定のグラフ族を分析・分類する。
• 線グラフ L(D) がユニタリ行列のパターンであるための必要十分条件として、ベース有向グラフ D がオイラー的であることの証明を行う。
• 特にオイラー的およびハミルトニアン構造を含むグラフ理論的性質を応用し、ユニタリ行列パターンへの帰結を導出する。
• D が強く連結であり、かつ L(D) がユニタリーパターンである場合、L(D) がハミルトニアンであることを示す。

実験結果

リサーチクエスチョン

• RQ1 有向グラフがユニタリ行列のパターンであるためには、どのような構造的条件を満たす必要があるか？
• RQ2 線グラフ L(D) がユニタリ行列のパターンであるための条件は何か？
• RQ3 n-パス、n-サイクル、有向木、または無向木がユニタリ行列のパターンであることは可能か？
• RQ4 ベースグラフが強く連結である場合、線グラフのユニタリーパターン可能性がハミルトニアン性を示唆するか？
• RQ5 ベースグラフのオイラー的性質は、その線グラフのユニタリーパターン可能性とどのように関係するか？

主な発見

• 強い四角形性は、有向グラフがユニタリ行列のパターンであるための必要条件である。
• 線グラフ L(D) がユニタリ行列のパターンであるための必要十分条件は、ベース有向グラフ D がオイラー的であることである。
• D が強く連結であり、かつ L(D) がユニタリ行列のパターンである場合、L(D) はハミルトニアンでなければならない。
• n-パス、ループ付きn-パス、n-サイクル、有向木、および無向木は、ユニタリ行列のパターンではない。
• 強い四角形性の使用により、ユニタリ行列パターンをサポートできないグラフ族の体系的分類が可能になる。
• 本研究の結果は、ベースグラフにおけるオイラー的性質と、線グラフを通じたユニタリ行列実現可能性との間の深い関係を確立している。