[논문 리뷰] Tensor network non-zero testing

Sevag Gharibian, Zeph Landau외 2명|arXiv (Cornell University)|2014. 06. 20.

Quantum many-body systems참고 문헌 33인용 수 3

한 줄 요약

이 논문은 텐서 네트워크의 영이 아닌 값 테스팅(TNZ)의 계산 복잡도를 조사하며, 일반적인 TNZ가 다항식 계층(Polynomial Hierarchy)에 속해 있지 않다는 점을 증명한다. 비음수 및 단사 텐서 네트워크의 경우 TNZ가 NP에서 다항 시간 내에 해결 가능하다는 것을 보이며, 이는 국소 차원 D가 일정하고 $k \in O(\log n)$인 교환 가능한 스토쿠라스틱 $k$-SAT 문제에 대해 처음으로 알려진 NP 상界를 제공한다. 이는 광범위한 조건 하에서 교환 가능한 양자 해밀토니안의 새로운 클래스가 NP에 속한다는 것을 드러낸다.

ABSTRACT

Tensor networks are a central tool in condensed matter physics. In this paper, we study the task of tensor network non-zero testing (TNZ): Given a tensor network T, does T represent a non-zero vector? We show that TNZ is not in the Polynomial-Time Hierarchy unless the hierarchy collapses. We next show (among other results) that the special cases of TNZ on non-negative and injective tensor networks are in NP. Using this, we make a simple observation: The commuting variant of the MA-complete stoquastic k-SAT problem on D-dimensional qudits is in NP for logarithmic k and constant D. This reveals the first class of quantum Hamiltonians whose commuting variant is known to be in NP for all (1) logarithmic k, (2) constant D, and (3) for arbitrary interaction graphs.

연구 동기 및 목표

• 텐서 네트워크가 영이 아닌 벡터를 나타내는지 결정하는 계산 복잡도를 규명하는 것.
• 특히 비음수 및 단사 텐서 네트워크를 포함한 텐서 네트워크 영이 아닌 값 테스팅의 특수 케이스의 복잡도를 분석하는 것.
• 교환 가능한 $k$-지역 해밀토니안 문제와 양자 복잡도 이론에서의 스토쿠라스틱 $k$-SAT 문제에 대한 영향을 설정하는 것.
• 특히 로그형 $k$와 일정한 국소 차원 $D$에 대해 교환 가능한 $k$-지역 해밀토니안 문제가 NP에 속할 조건을 규명하는 것.

제안 방법

• 입력 매개변수 $\alpha \geq \beta \geq 0$ 와 갭 $\alpha - \beta \geq 1$ 를 갖는 일반화된 텐서 네트워크 영이 아닌 값 테스팅(gTNZ) 문제를 정의하는 것.
• 일반적인 gTNZ가 $\#P$-난이도이며, 다항식 계층이 붕괴하지 않는 한 TNZ가 $\Sigma_i^p$에 속하지 않는다는 것을 증명하는 것.
• 비음수 텐서 네트워크가 비결정적 검증을 통해 증거 상태의 영이 아닌 노름을 확인하는 방식으로 NP로 감소됨을 보여주는 것.
• 교환 가능한 항의 스펙트럼 프로젝터를 사용하여, 교환 가능한 $k$-지역 해밀토니안 문제에서 TNZ로의 비결정적 다항 시간 감소를 구성하는 것.
• 스토쿠라스틱 해밀토니안의 비음수 성질을 활용하여, 그 지배 상태 존재 문제의 복잡도가 NP에 속함을 보이는 것.
• 단사 텐서 네트워크의 성질을 이용하여 영이 아닌 네트워크를 특성화하고 복잡도 한계를 유도하는 것.

실험 결과

연구 질문

• RQ1 일반적인 텐서 네트워크 영이 아닌 값 테스팅 문제는 다항식 계층에 속하는가? 만약 그렇지 않다면 어떤 결과가 도출되는가?
• RQ2 비음수 텐서 네트워크의 경우 NP에서 해결 가능할 수 있으며, 이러한 해결을 가능하게 하는 구조적 성질은 무엇인가?
• RQ3 영이 아닌 텐서 네트워크를 NP에서 테스트할 수 있다는 사실이, $k \in O(\log n)$ 및 $D \in O(1)$ 조건 하에서 교환 가능한 $k$-지역 해밀토니안 문제가 NP에 속한다는 것을 의미하는가?
• RQ4 교환 가능한 해밀토니안에서 유도된 텐서 네트워크의 특정 구조를 활용하여 $k$-CLH 문제를 NP에 둘 수 있는가?
• RQ5 G-단사 텐서 네트워크의 경우 TNZ의 복잡도는 무엇이며, 단사 또는 비음수 케이스와 비교해보면 어떠한가?

주요 결과

• 일반적인 텐서 네트워크 영이 아닌 값 테스팅(TNZ)은 다항식 계층의 $\Sigma_i^p$에 속해 있지 않으며, 다항식 계층이 $\Sigma_{i+2}^p$로 붕괴하지 않는 한, 이는 강력한 비가역성을 시사한다.
• 비음수 텐서 네트워크의 특수 케이스는 TNZ를 NP-완전으로 만든다. 이는 고리 수가 3이고 결합 차원이 3인 3-정규 그래프에서도 성립한다.
• 국소 차원 $D \in O(1)$ 이며 $k \in O(\log n)$ 조건 하에서, 교환 가능한 스토쿠라스틱 $k$-SAT의 변형은 비음수 구조 덕분에 NP에 속한다.
• $k \in O\left(\log n\right)$ 및 $D \in O(1)$ 조건 하에서, 교환 가능한 $k$-지역 해밀토니안 문제에서 TNZ로의 비결정적 다항 시간 감소가 존재한다.
• 단사 텐서 네트워크는 항상 영이 아닌 벡터를 나타내지만, 그 역은 성립하지 않으며, 이는 단사성이 영이 아닌 출력을 보장하는 데 충분하지만 필수 조건은 아님을 의미한다.
• 이 결과들은 모든 로그형 $k$, 일정한 $D$, 임의의 상호작용 그래프에 대해 교환 가능한 양자 해밀토니안의 변형이 NP에 속하는 것으로 알려진 첫 번째 클래스를 확립한다.