[논문 리뷰] On the geometry of tensor network states

J. M. Landsberg, Qi Yang외 1명|arXiv (Cornell University)|2011. 05. 23.

Topological and Geometric Data Analysis인용 수 5

한 줄 요약

이 논문은 순환을 포함하는 그래프와 관련된 텐서 네트워크 상태(TNS)의 집합이 제로지 닫혀 있지 않다는 것을 증명함으로써 양자 정보 이론의 한 질문을 해결한다—즉, TNS의 수열의 극한이 반드시 TNS가 되려면 안 된다. 저자들은 나무와 루프 그래프에 대한 TNS의 기하적 기술을 수립하고, 멀무레이-소니의 다양체의 경계를 통해 기하학적 복잡도 이론과 연결하며, TNS 공간이 극한에 대해 닫혀 있는지 여부를 결정하는 데 핵심이 되는 임계 조건을 밝혀낸다.

ABSTRACT

We answer a question of L. Grasedyck that arose in quantum information theory, showing that the limit of tensors in a space of tensor network states need not be a tensor network state. We also give geometric descriptions of spaces of tensor networks states corresponding to trees and loops. Grasedyck's question has a surprising connection to the area of Geometric Complexity Theory, in that the result is equivalent to the statement that the boundary of the Mulmuley-Sohoni type variety associated to matrix multiplication is strictly larger than the projections and re-labelings of matrix multiplication. Tensor Network States are also related to graphical models in algebraic statistics.

연구 동기 및 목표

• 라스 그라세디크가 제기한 질문, 즉 텐서 네트워크 상태의 집합이 극한에 대해 제로지 닫혀 있는지 여부를 해결하기 위해.
• 나무 구조와 순환 구조를 가진 그래프에 대해 텐서 네트워크 상태 공간의 기하적 특성화를 제공하기 위해.
• 텐서 네트워크 상태의 닫힘 성질을 기하학적 복잡도 이론의 문제, 특히 멀무레이-소니 다양체의 경계와 연결하기 위해.
• 정점 차원에 대한 임계 조건(부족 임계, 임계, 초과 임계)이 TNS 공간의 대수기하학적 성질에 어떻게 영향을 미치는지 분석하기 위해.
• 차수 1의 부족 임계 정점에 대해 번들 구성과 정점 축소 기법을 사용하여 복잡한 TNS 구성 요소를 더 단순한 경우로 환원하기 위해.

제안 방법

• 방향성 있는 그래프 Γ의 정점 V_j와 간선 e_s를 사용하여 텐서 네트워크 상태(TNS)를 정의하고, 각 간선에 보조 공간 E_s를 차원 e_s로 할당한다.
• 그래프의 구조를 이용해 국소 얽힘을 코딩함으로써, 정점 및 간선 공간의 텐서 곱에 작용하는 수축 사상의 이미지로 TNS(Γ, e, V)를 구성한다.
• 세그레 매핑의 단면 다양체와 그라스만다인 번들 기법을 포함한 대수기하학 기법을 적용하여 TNS 공간의 기하학을 기술한다.
• 차수 1의 부족 임계 정점에 대한 축소 기법을 적용하여, 이러한 정점들이 인접한 정점과 융합되고 차원이 조정됨으로써 제거될 수 있음을 보인다.
• 나무에 대해 반복적으로 축소하여 임계 또는 선형 경우로 간주함으로써 TNS 공간을 기하학적으로 기술하고, 최종적으로 그라스만다인 위의 번들의 이미지로 표현한다.
• 순환 그래프에 대한 TNS의 비닫힘과 멀무레이-소니 다양체의 경계가 행렬 곱셈 궤도의 폐쇄에 엄격하게 포함되어 있음을 등가로 설정한다.

실험 결과

연구 질문

• RQ1 순환을 포함하는 그래프 Γ와 관련된 텐서 네트워크 상태의 집합은 제로지 닫혀 있는가?
• RQ2 특히 나무와 루프에 대해, 텐서 네트워크 상태 공간의 기하적 성질은 그래프의 구조에 어떻게 의존하는가?
• RQ3 텐서 네트워크 상태의 닫힘 성질과 기하학적 복잡도 이론에서 멀무레이-소니 다양체의 경계 사이의 관계는 무엇인가?
• RQ4 텐서 네트워크 그래프의 차수 1 부족 임계 정점은 TNS 공간을 변화시키지 않고 체계적으로 축소될 수 있는가?
• RQ5 정점 차원에 대한 조건(임계, 부족 임계, 초과 임계)이 TNS 공간이 제로지 위상에서 닫혀 있거나 열려 있는지에 따라 어떻게 달라지는가?

주요 결과

• 순환을 포함하는 그래프와 관련된 텐서 네트워크 상태의 집합은 제로지 닫혀 있지 않으며, 이는 그라세디크의 질문에 대한 부정적 답변이다.
• 나무의 경우, 텐서 네트워크 상태 공간은 반복적인 번들 구성 기법을 통해 완전히 기술 가능하며, 모든 정점이 임계일 경우 극한에 대해 닫혀 있다.
• 루프 그래프의 TNS 공간 기하학적 구조는 행렬 곱셈과 관련된 멀무레이-소니 다양체의 경계와 동치이며, 이는 행렬 곱셈의 투영 및 재표현을 엄격하게 포함한다.
• 차수 1의 부족 임계 정점은 인접한 정점과 융합함으로써 제거 가능하며, 이는 그래프를 단순화하면서도 TNS 공간을 유지한다.
• 모든 정점이 임계일 경우, TNS 공간은 기저 공간 위에 피브리네이션된 그라스만다인의 곱과 동형이며, 그 차원은 간선 차원과 정점 차원을 포함한 공식으로 주어진다.
• 이 결과는 순환 그래프의 TNS 공간의 폐쇄에 속하는 텐서들이 유한 랭크 수축으로 표현될 수 없음을 시사하며, 양자 상태 근사에 있어 근본적인 기하학적 장애를 보여준다.