[논문 리뷰] A tensor version of the quantum Wielandt theorem

Mateusz Michałek, Tim Seynnaeve외 1명|arXiv (Cornell University)|2018. 11. 13.

Advanced Operator Algebra Research참고 문헌 4인용 수 4

한 줄 요약

이 논문은 투영된 얽힌 쌍 상태(PEPS)에 대한 양자 Wielandt 정리의 텐서 버전을 수립하여, 2차원 이상의 텐서 네트워크에서의 단사성(injectivity)이 유한한 블로킹으로 잘 정의되어 있음을 증명한다. 대수기하학에서 비구성적인 Noetherian 추론을 사용하여, 단사성을 보장하는 유한한 격자 크기의 존재를 보이며, 양자 다체물리학 및 텐서 네트워크 분야에서 오랫동안 미해결된 문제를 해결한다.

ABSTRACT

We prove boundedness results for the injectivity regions for PEPS. Our result is a higher-dimensional generalization of the quantum Wielandt inequality.

연구 동기 및 목표

• 두 개 이상의 차원에서 투영된 얽힌 쌍 상태(PEPS)에 대해 양자 Wielandt 유형 정리가 존재하는지 여부라는 오랫동안 미해결된 열린 문제를 해결하기 위해.
• PEPS에서의 단사성이 잘 정의되어 있음을 입증하기 위해, 즉 가상 인덱스에서 물리적 인덱스로의 사상이 단사성이 되는 유한한 블로킹 크기가 존재함을 의미하기 위해.
• 이전에는 1차원에서의 행렬 곱 상태(MPS)에 대해서만 알려져 있던 양자 Wielandt 부등식을, 고차원 텐서 네트워크로 일반화하기 위해.
• 특히 힐버트의 기저 정리와 자르스키 닫힌 집합을 활용한 대수기하학 도구를 사용하여, 유한한 단사성 영역의 존재를 비구성적으로 증명하기 위해.
• 모든 단사적 PEPS에 대해 국소적 지원을 가진 유한한 부모 Hamiltionian이 수학적으로 타당함을 입증하기 위해.

제안 방법

• n차원 격자에서 가상 인덱스와 물리적 인덱스를 갖는 PEPS를 모델링하기 위해 격자 기반 프레임워크를 사용한다.
• 단사성 영역을, 가상 인덱스에서 물리적 인덱스로의 텐서 수축 사상이 단사성이 되는 격자로 정의한다.
• 허밀턴 기저 정리를 적용하여, 비단사성 구성이 매개변수 공간 내에서 자르스키 닫힌 부분집합이 되도록 한다.
• 단사성의 질량 조건이 특정 행렬식의 영이 되는 것과 동치임을 이용하여, 비단사성 텐서의 집합이 대수적임을 보인다.
• 크기가 증가하는 격자에 대한 내림차순 체인을 활용하여, Noetherian 성질에 의해 비단사성 집합의 체인이 정지함을 보인다.
• 결과를 재구성하여, 임의의 단사적 PEPS가 유한한 고정된 격자 형태 중 하나에서 단사성이 되는, 유한한 격자 집합의 존재를 보여준다. 이는 물리적 차원 d에 관계없이 성립한다.

실험 결과

연구 질문

• RQ1 두 개 이상의 차원에서 투영된 얽힌 쌍 상태(PEPS)에 대해 양자 Wielandt 유형 정리가 존재하는가?
• RQ2 PEPS에서의 단사성 개념이 잘 정의되어 있는가? 즉, 단사성이 보장되는 유한한 블로킹 크기가 존재하는가?
• RQ3 대수기하학을 사용하여, 모든 단사적 PEPS에 대해 국소적 지원을 가진 유한한 부모 해밀토니언의 존재를 입증할 수 있는가?
• RQ4 매개변수 공간 내에서 비단사성 PEPS 구성의 집합은 어떤 구조를 갖는가?
• RQ5 제안된 프레임워크를 사용하여 PEPS의 단사성은 알고리즘적으로 결정할 수 있는가?

주요 결과

• 이 논문은 결합 차수 D와 물리적 차수 d를 갖는 임의의 n차원 PEPS에 대해, 유한한 격자 크기가 존재함을 증명한다. 이 크기는 텐서 네트워크가 유한한 고정된 격자 형태 중 하나에서 단사성이 되는 것과 동치이다.
• 이러한 유한한 블로킹 크기의 존재는 힐버트의 기저 정리를 적용한 다항식 환의 Noetherian 성질에 의해 보장되며, 이는 비단사성 구성의 대수적 다양체에 적용된다.
• 격자 크기의 경계는 비구성적이다. 즉, 정확한 크기는 계산되지 않지만, 대수기하학을 통해 존재성이 증명된다.
• 결과는 기존에 1차원에서의 행렬 곱 상태(MPS)에 대해서만 알려져 있던 양자 Wielandt 정리를 고차원 텐서 네트워크(PEPS)로 일반화하여, 2차원 이상으로 단사성 결과를 확장한다.
• 이 증명은 PEPS의 단사성이 알고리즘적으로 결정될 수 있음을 암시한다. 비단사성 텐서의 집합이 자르스키 닫힌 집합이므로, 다항식 아이디얼 소속성 문제를 통해 결정 가능하기 때문이다.
• 결과는 모든 물리적 차원 d에 대해 균일하게 성립하며, 유한한 격자 집합은 n과 D에만 의존하며, d에는 영향을 받지 않는다.