[论文解读] On the pattern of a unitary matrix

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

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

一句话总结

本文引入了强四边形性（strong quadrangularity）作为有向图成为酉矩阵模式的必要条件。证明了当且仅当基础有向图 D 为欧拉图时，其线图 L(D) 才是酉矩阵模式。此外，当 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-环、有向树和无向树均不能成为酉矩阵的模式。
• 强四边形性的应用使得对无法支持酉矩阵模式的图族实现系统性分类成为可能。
• 研究结果揭示了基图的欧拉性质与通过线图实现酉矩阵可实现性之间存在深层联系。