[논문 리뷰] Strongly Cospectral Vertices

Chris Godsil, Jamie Smith|arXiv (Cornell University)|2017. 09. 23.

Graph theory and applications참고 문헌 7인용 수 34

한 줄 요약

이 논문은 그래프에서 강한 공스펙트럴 정점의 개념을 도입하고 발전시킨다. 강한 공스펙트럴 정점이란 인접행렬의 각 고유부분공간에 대한 표준 기저벡터의 투영이 같거나 부호만 다를 때를 뜻한다. 이 논문은 연속 양자보행에서 완벽한 상태 전송을 위해서는 강한 공스펙트럴 정점이 반드시 필요하다는 것을 보이며, 특성, 구성, 자동기하학 및 유리함수와의 연결을 제시한다. 또한, 매우 좋은 상태 전송은 강한 공스펙트럴성을 함의한다는 것을 보여준다.

ABSTRACT

Two vertices $a$ and $b$ in a graph $X$ are cospectral if the vertex-deleted subgraphs $X\setminus a$ and $X\setminus b$ have the same characteristic polynomial. In this paper we investigate a strengthening of this relation on vertices, that arises in investigations of continuous quantum walks. Suppose the vectors $e_a$ for $a$ in $V(X)$ are the standard basis for $\mathbb{R}^{V(X)}$. We say that $a$ and $b$ are strongly cospectral if, for each eigenspace $U$ of $A(X)$, the orthogonal projections of $e_a$ and $e_b$ are either equal or differ only in sign. We develop the basic theory of this concept and provide constructions of graphs with pairs of strongly cospectral vertices. Given a continuous quantum walk on on a graph, each vertex determines a curve in complex projective space. We derive results that show tht the closer these curves are, the more "similar" the corresponding vertices are.

연구 동기 및 목표

• 강한 공스펙트럴 정점의 개념을 체계화하고, 스펙트럼 그래프 이론에서 공스펙트럴성의 보완으로서 연구한다.
• 강한 공스펙트럴성과 연속 양자보행, 특히 완벽한 상태 전송 및 매우 좋은 상태 전송 간의 관계를 규명한다.
• 강한 공스펙트럴 정점 쌍을 가진 그래프의 특성과 구성 방법을 제공한다.
• 강한 공스펙트럴성의 조합적 의미를 탐색하며, 자동기하학 및 균형 잡힌 분할과의 관계를 다룬다.
• 정점 투영 간의 거리와 스펙트럼 유사성, 공스펙트럴성 간의 정량적 상한을 유도한다.

제안 방법

• 각 스펙트럼 프로젝터 $ E_r $에 대해 $ E_r e_a = /pm E_r e_b $ 라는 조건을 통해 강한 공스펙트럴성을 정의함으로써, 투영이 부호를 제외하고 일치함을 보장한다.
• 인접행렬의 스펙트럼 분해 $ A = extstyleigoplus_r heta_r E_r $ 를 사용하여 양자 진동 $ U(t) = extstyleigoplus_r e^{it heta_r} E_r $ 를 분석한다.
• 연속 양자보행을 모델링하고 상태 궤도 간 거리 $ Vert D_a(t) - D_b Vert $ 를 분석하기 위해 유니터리 진동 $ D_a(t) = U(t) D_a U(-t) $ 를 적용한다.
• 특성 다항식을 포함한 유리함수, 예를 들어 $ rac{ ho(X ackslash egin{Bmatrix}a,backslash ight)}{ ho(X,t)} $ 를 사용하여 강한 공스펙트럴 쌍을 특성화한다.
• 행렬 $ A $ 의 최소다항식의 판별식 $ D $ 를 사용하여 $ D^2 ext{M}_X $ 가 정수행렬임을 보이고, 정점 투영 간 차이에 대한 하한을 도출한다.
• 코시-슈바르츠 부등식과 트레이스 추정을 적용하여 $ |U(t)_{a,b}| $ 를 유계화하고, 이와 스펙트럼 민감도 및 정점 유사성과의 관계를 규명한다.

실험 결과

연구 질문

• RQ1 그래프의 두 정점이 강한 공스펙트럴이 되기 위한 조건은 무엇인가?
• RQ2 강한 공스펙트럴성은 연속 양자보행에서 완벽한 상태 전송 및 매우 좋은 상태 전송과 어떻게 관련이 있는가?
• RQ3 특정 그래프 계열, 예를 들어 트리나 걷기 정규 그래프에서 강한 공스펙트럴 정점을 구성할 수 있는가?
• RQ4 강한 공스펙트럴성과 그래프의 자동기하학 간의 관계는 무엇인가?
• RQ5 정점 상태 궤도 간 거리에 대해 강한 공스펙트럴성을 보장하는 정량적 임계값이 존재하는가?

주요 결과

• 정점 $ a $ 와 $ b $ 사이의 완벽한 상태 전송는 모든 스펙트럼 프로젝터 $ E_r $ 에 대해 $ E_r e_a = /pm E_r e_b $ 라는 조건을 통해 강한 공스펙트럴임을 보여준다.
• 정점 $ a $ 에서 $ b $ 로의 매우 좋은 상태 전송는 궤도 거리 $ Vert D_a(t) - D_b Vert $ 가 임의로 작게 만들 수 있기에 $ a $ 와 $ b $ 가 강한 공스펙트럴임을 함의한다.
• 만약 $ Vert D_a(t) - D_b Vert < heta $ 라고 하며, 이 $ heta $ 가 최소다항식의 판별식에 따라 정의되면, $ a $ 와 $ b $ 는 강한 공스펙트럴이다.
• 강한 공스펙트럴 정점은 $ ext{tr}(E_r D_a) = ext{tr}(E_r D_b) $ 를 만족하고, 투영이 부호를 제외하고 일치할 때에만 $ |(E_r)_{a,b}| \neq 0 $ 이다.
• 판별식 $ D $ 가 주어진 $ D^{-2} $ 보다 작은 $ heta $ 에 대해 $ Vert D_a(t) - D_b Vert < heta $ 이면, $ a $ 와 $ b $ 는 강한 공스펙트럴이다.
• 임의의 상수 $ heta $ 가 존재하여 $ Vert D_a(t) - D_b Vert < heta $ 이면 $ a $ 와 $ b $ 는 강한 공스펙트럴이며, 이 $ heta $ 는 공스펙트럴성의 임계값보다 상당히 작다.