[논문 리뷰] Circulant Tensors with Applications to Spectral Hypergraph Theory and Stochastic Process

Zhongming Chen, Liqun Qi|arXiv (Cornell University)|2013. 12. 10.

Tensor decomposition and applications참고 문헌 14인용 수 16

한 줄 요약

이 논문은 순환 텐서의 스펙트럼 성질을 수립하여, 음이 아닌 순환 텐서의 최대 H-고유값을 명시적으로 특정할 수 있음을 보이고, 짝수차 순환 B₀ 텐서가 준정적임을 증명한다. 이러한 결과들은 순환 초그래프 및 방향성 순환 초그래프의 구조적 성질을 확인하며, m차 정상 확률과정으로까지 확장된다. 여기서 m이 짝수일 경우, 그 m차 모멘트(순환 텐서로서 표현됨)는 준정적임을 보인다.

ABSTRACT

Circulant tensors naturally arise from stochastic process and spectral hypergraph theory. The joint moments of stochastic processes are symmetric circulant tensors. The adjacency, Laplacian and signless Laplacian tensors of circulant hypergraphs are also symmetric circulant tensors. The adjacency, Laplacian and signless Laplacian tensors of directed circulant hypergraphs are circulant tensors, but they are not symmetric in general. In this paper, we study spectral properties of circulant tensors and their applications in spectral hypergraph theory and stochastic process. We show that in certain cases, the largest H-eigenvalue of a circulant tensor can be explicitly identified. In particular, the largest H-eigenvalue of a nonnegative circulant tensor can be explicitly identified. This confirms the results in circulant hypergraphs and directed circulant hypergraphs. We prove that an even order circulant B$_0$ tensor is always positive semi-definite. This shows that the Laplacian tensor and the signless Laplacian tensor of a directed circulant even-uniform hypergraph are positive semi-definite. If a stochastic process is $m$th order stationary, where $m$ is even, then its $m$th order moment, which is a circulant tensor, must be positive semi-definite. In this paper, we give various conditions for a circulant tensor to be positive semi-definite.

연구 동기 및 목표

• 스펙트럼 초그래프 이론과 확률과정에서 발생하는 순환 텐서의 스펙트럼 성질을 조사한다.
• 짝수차 순환 텐서가 준정적이 되는 조건을 수립한다.
• 음이 아닌 순환 텐서의 최대 H-고유값이 명시적으로 특정될 수 있음을 확인한다.
• 짝수차 순환 B₀ 텐서가 준정적이며, 이는 방향성 순환 초그래프의 라플라스 및 부호 없는 라플라스 텐서로까지 확장됨을 증명한다.
• m차 정상 확률과정에서 m이 짝수일 경우, m차 모멘트 텐서가 준정적이 됨을 보인다.

제안 방법

• 인덱스의 순환 이동에 대한 불변성을 통해 순환 텐서를 정의하고, 순환 행렬을 고차 텐서로 일반화한다.
• 첫 번째 슬라이스로부터 임의의 순환 텐서를 생성하기 위해 루트 텐서와 관련 텐서를 도입한다.
• 이산 푸리에 변환(DFT) 프레임워크를 사용하여 순환 텐서의 명시적 고유값과 고유벡터를 유도한다.
• 단위 노름 조건 하에서 텐서 다중선형 형식의 최소화 문제를 제약 조건이 있는 최적화 문제로 공식화한다.
• 제약 조건이 만족되는 특정 조건 하에서 수렴 보장을 갖는 증명을 적용하여, 분할된 다중 승수 방법(ADMM)을 사용해 텐서 최적화 문제를 해결한다.
• 단위 구 조건에 대해 닫힌 형태의 하위문제 해를 구현하여, 효율적인 수치 계산을 가능하게 하는 ADMM를 구현한다.

실험 결과

연구 질문

• RQ1 음이 아닌 순환 텐서의 최대 H-고유값을 명시적으로 특정할 수 있는가?
• RQ2 짝수차 순환 텐서가 준정적이 되는 조건은 무엇인가?
• RQ3 방향성 순환 초그래프의 라플라스 및 부호 없는 라플라스 텐서는 준정적이냐?
• RQ4 m차 정상 확률과정에서 m이 짝수일 경우, m차 모멘트 텐서는 준정적이냐?
• RQ5 단위 구 위에서 텐서 다중선형 형식의 최적화는 ADMM를 통해 효율적으로 해결될 수 있는가?

주요 결과

• 음이 아닌 순환 텐서의 최대 H-고유값은 명시적으로 계산 가능하며, 이는 순환 초그래프의 스펙트럼 성질을 확인한다.
• 모든 짝수차 순환 B₀ 텐서는 준정적이다. 이는 방향성 순환 짝수균일 초그래프의 라플라스 및 부호 없는 라플라스 텐서가 준정적임을 의미한다.
• 모든 m차 정상 확률과정에서 m이 짝수일 경우, m차 모멘트 텐서(순환 텐서로서 표현됨)는 준정적이다.
• 테스트된 예제들(n=3,4)에 대해, ADMM 알고리즘이 100회의 시행 모두에서 전역 최솟값으로 수렴하며 성공률 100%를 기록하였고, 진짜 해와의 정확도가 10⁻⁵ 이내였다.
• 수치 결과는 ADMM 방법이 효율적임을 보이며, 4차 텐서의 경우 크기가 3인 경우 평균 62.73회, 크기가 4인 경우 평균 92.49회 반복하여 수렴하였다.
• 알고리즘은 소규모 문제에 대해서는 효과적이지만, Nsolve가 더 큰 인스턴스를 처리하지 못함에 따라 확장성에 한계가 있다.