[논문 리뷰] Controllable Subsets in Graphs

Chris Godsil|arXiv (Cornell University)|2010. 10. 15.

Graph theory and applications참고 문헌 3인용 수 6

한 줄 요약

이 논문은 그래프에서 제어 가능한 부분집합의 이론을 도입하고 발전시킨다. 부분집합 $S$의 특성 벡터 $z$에 대해 걷기 행렬 $W_S = [z, Az, \ldots, A^{v-1}z]$ 가 가역일 경우, 쌍 $(X,S)$ 를 제어 가능하다고 정의한다. 주요 기여는 제어 가능성에 의해 인접행렬의 모든 고유값이 단순하고, $S$ 를 보존하는 자동형사상은 항등사상뿐임을 보여주며, 스펙트럼적 및 대수적 특성으로 그래프 이론과 제어 이론을 연결한다.

ABSTRACT

Let $X$ be a graph on $v$ vertices with adjacency matrix $A$, and let let $S$ be a subset of its vertices with characteristic vector $z$. We say that the pair $(X,S)$ is controllable if the vectors $A^rz$ for $r=1,\ldots,v-1$ span $\mathbb{R}^v$. Our concern is chiefly with the cases where $S=V(X)$, or $S$ is a single vertex. In this paper we develop the basic theory of controllable pairs. We will see that if $(X,S)$ is controllable then the only automorphism of $X$ that fixes $S$ as a set is the identity. If $(X,S)$ is controllable for some subset $S$ then the eigenvalues of $A$ are all simple.

연구 동기 및 목표

• 그래프-부분집합 쌍 $(X,S)$ 에 대한 제어 가능성 개념을 체계화하고 분석하여 제어 이론의 아이디어를 그래프로 확장한다.
• 스펙트럼 분해와 유리 함수를 이용하여 제어 가능성의 필요 및 충분 조건을 수립한다.
• 제어 가능성은 모든 고유값이 단순하고 $S$ 를 보존하는 자동형사상이 항등사상뿐임과 같은 강력한 구조적 제약 조건을 유도함을 보여준다.
• 그래프 이론적 제어 가능성과 행렬 대수학 및 동적 시스템에서의 관측 가능성과 같은 대수적 구조를 연결한다.

제안 방법

• 부분집합 $S$ 의 특성 벡터 $z$ 에 대해 걷기 행렬 $W_S = [z, Az, \ldots, A^{v-1}z]$ 의 가역성에 의해 쌍 $(X,S)$ 의 제어 가능성을 정의한다.
• 스펙트럼 분해 $A = \sum \theta E_\theta$ 를 사용하여 $\operatorname{col}(W_S)$ 가 $\theta$ 가 $z$ 의 지지집합에 속할 때 $E_\theta z$ 에 의해 생성됨을 보이며, 제어 가능성과 비영 projection 을 갖는 서로 다른 고유값의 수를 연결한다.
• 유리 함수 $z^T(tI - A)^{-1}z$ 를 통해 제어 가능성을 특성화하여, $(X,S)$ 가 제어 가능할 조건은 이 함수가 정확히 $v$ 개의 서로 다른 극을 갖는 것임을 증명한다.
• 제어 가능성과 $A$ 와 $zz^T$ 가 전체 행렬 대수를 생성한다는 것 사이의 동치성을 확립하며, $0 \leq i,j < v$ 에 대해 $A^i z z^T A^j$ 가 선형 독립임을 이용한다.
• 동형성 불변성 적용: 두 쌍 $(X,y)$ 와 $(Y,z)$ 가 동형일 조건은 $A$ 와 $B$ 가 서로 유사하고, 그 유리 함수 $y^T(tI - A)^{-1}y$ 와 $z^T(tI - B)^{-1}z$ 가 동일한 것임을 보인다.
• 걷기 행렬을 제어 가능성 행렬로, 유리 함수를 전이 함수로 해석함으로써 제어 이론과의 연결 고리를 형성한다.

실험 결과

연구 질문

• RQ1 그래프-부분집합 쌍 $(X,S)$ 가 걷기 행렬 $W_S$ 의 가역성으로 정의된 제어 가능성이 되기 위한 조건은 무엇인가?
• RQ2 제어 가능성은 그래프의 자동형사상군에 어떤 제약을 끼치며, 특히 부분집합 $S$ 와의 관계에서 어떻게 작용하는가?
• RQ3 $(X,S)$ 가 제어 가능하기 위해 인접행렬 $A$ 가 만족해야 할 스펙트럼적 성질은 무엇인가? 특히 고유값의 중복도에 관하여.
• RQ4 제어 가능성 개념을 라플라시안 행렬과 간선 수정에 대해 어떻게 확장할 수 있는가?
• RQ5 행렬 $A$ 와 $zz^T$ 가 전체 행렬 대수 $\mathrm{Mat}_{v \times v}(\mathbb{R})$ 를 생성하는 정확한 대수적 조건은 무엇인가?

주요 결과

• 그래프-부분집합 쌍 $(X,S)$ 는 유리 함수 $z^T(tI - A)^{-1}z$ 가 정확히 $v$ 개의 서로 다른 극을 갖는 경우에만 제어 가능하다. 여기서 $z$ 는 $S$ 의 특성 벡터이다.
• $(X,S)$ 가 제어 가능하면, 인접행렬 $A$ 의 모든 고유값은 단순하다. 극의 수가 정점 수와 같기 때문이다.
• 그래프 $X$ 의 모든 자동형사상 중에서 $S$ 를 집합으로 고정하는 자동형사상은 항등사상 뿐이다. 걷기 행렬 $W_S$ 의 가역성 덕분이다.
• $(X,S)$ 가 제어 가능할 조건은 $0 \leq i,j < v$ 에 대해 $A^i z z^T A^j$ 가 전체 행렬 대수 $\mathrm{Mat}_{v \times v}(\mathbb{R})$ 의 기저를 이룬다는 것과 동치이다.
• 쌍 $(X,S)$ 가 제어 가능할 조건은 $A$-모듈 $z$ 가 $\mathbb{R}^v$ 를 생성한다는 것과 동치이며, 이는 걷기 행렬 $W_S$ 가 최대 질서를 갖는 것과 동치이다.
• 단일 정점 $u$ 에 대해, 유리 함수 $z^T(tI - A)^{-1}z$ 는 $\phi(X \setminus u, t)/\phi(X,t)$ 와 같다. 이는 걷기 행렬 행렬식의 재귀적 특성화를 제공한다.