[논문 리뷰] Quantum Information Theory and Free Semialgebraic Geometry: One Wonderland Through Two Looking Glasses

Gemma De las Cuevas, Tim Netzer|arXiv (Cornell University)|2021. 02. 08.

Quantum Mechanics and Applications참고 문헌 49인용 수 4

한 줄 요약

이 논문은 양자 정보 이론과 자유 준가환 대수기하학 사이의 깊은 연결 고리를 확립하며, 양자 정보 이론과 자유 준가환 대수기하학이 비가환 긍정성과 볼록성 문제를 서로 보완적인 시각에서 텐서곱 공간 내에서 연구하고 있음을 보여준다. 이는 한 분야의 통찰—예를 들어 양자 상관관계, 분리 가능성, 텐서 네트워크의 긍정성—을 자유 준가환 대수기하학의 기하적 특성으로 번역할 수 있음을 보이며, 반대로도 마찬가지로, 이는 무한한 크기의 이동 대칭 시스템에 대한 결정 불가능성 결과를 포함한 새로운 계산적이고 개념적인 도구를 제공한다.

ABSTRACT

We illustrate how quantum information theory and free (i.e. noncommutative) semialgebraic geometry often study similar objects from different perspectives. We give examples in the context of positivity and separability, quantum magic squares, quantum correlations in non-local games, and positivity in tensor networks, and we show the benefits of combining the two perspectives. This paper is an invitation to consider the intersection of the two fields, and should be accessible for researchers from either field.

연구 동기 및 목표

• 비가환 긍정성과 볼록성의 공통 수학적 구조를 규명함으로써, 양자 정보 이론과 자유 준가환 대수기하학을 연결한다.
• 양자 정보 문제—예를 들어 분리 가능성, 양자 상관관계, 텐서 네트워크의 긍정성—이 자유 준가환 대수기하학의 기하학적 질문으로 재구성될 수 있음을 보여준다.
• 자유 준가환 대수기하학의 기하학적 도구가 무한 시스템에 대한 결정 불가능성 결과를 포함해 양자 정보 문제에 새로운 통찰을 제공할 수 있음을 보여준다.
• 양자 정보 이론 연구자들과 자유 준가환 대수기하학 연구자들이 접근 가능하도록 연결 고리를 명확히 하여 다학제적 협력을 촉진한다.

제안 방법

• 자유(비가환) 준가환 대수기하학의 프레임워크를 사용하여, 텐서곱 공간 내에서의 긍정성과 볼록성을 기하학적 대상으로 연구한다.
• 양자 정보 개념—예를 들어 양의 준정부호 행렬, POVM, 양자 마법의 사각형—과 자유 준가환 대수기하의 구성요소—예를 들어 자유 볼록껍질, 연산자 체계—를 비교한다.
• 다항식의 모멘트 기반 근사법을 통해, 전체 대각화가 불가능한 경우에도 저차수 추적값만으로 행렬이 양의 준정부호 쿨롱에 가까운 정도를 유계화할 수 있도록 한다.
• 양자 텐서 네트워크 문제를 비가환 긍정성 문제로 환원하며, 행렬 사라짐 문제를 활용해 이동 대칭 시스템의 긍정성 문제에 대한 결정 불가능성을 증명한다.
• 비국소 게임에서의 양자 상관관계를 자유 독립 모델의 자유 볼록껍질에 속하는지의 여부로 재구성한다.
• 확장 정리와 불변 분해를 사용하여, 군 작용 하에서 텐서곱 공간 내의 구조를 분석한다.

실험 결과

연구 질문

• RQ1 양자 정보 이론과 자유 준가환 대수기하학은 텐서곱 내의 양의 준정부호 행렬과 같은 동일한 수학적 대상을 서로 다른 방식으로 접근하는가?
• RQ2 자유 준가환 대수기하학의 기하학적 특성은 비국소 게임에서의 양자 상관관계 분석을 향상시킬 수 있는가?
• RQ3 비가환성은 특히 이동 대칭 설정에서 텐서 네트워크의 긍정성 문제의 결정 가능성을 결정하는 데 어떤 역할을 하는가?
• RQ4 저차수 다항식을 사용한 모멘트 기반 근사는 어떤 식으로 행렬이 양의 준정부호 쿨롱에 가까운지를 추정하는 데 사용될 수 있는가?
• RQ5 PVM의 자유 볼록껍질이 POVM의 집합을 얼마나 잘 복원할 수 있으며, 이는 양자 측정 이론에 어떤 함의를 갖는가?

주요 결과

• d, r ≥ 7일 때, 모든 n ∈ ℕ에 대해 이동 대칭 텐서 네트워크 상태 τₙ(ρ)가 양의 준정부호인지 여부를 판단하는 문제는 결정 불가능하다.
• 비국소 게임에서 실현 가능한 양자 상관관계의 집합은 자유 독립 모델의 자유 볼록껍질에 속하는지의 여부로 기하학적으로 특성화되며, 이는 기하학적 해석을 제공한다.
• 고정된 n에 대해, 텐서 네트워크 상태 ρ가 양의 준정부호 쿨롱에 가까운 정도는 tr(ρᵏ)의 저차수 모멘트와 함수 f(x) = max(x,0)의 다항식 근사로 유계화될 수 있다.
• f(x)의 제곱합 근사법을 통해, 전체 대각화가 불가능한 경우에도 세미정적 프로그래밍을 통해 효율적인 경계 계산이 가능하다.
• 모든 POVM을 PVM으로 확장하는 것은 PVM 집합의 자유 볼록껍질이 모든 POVM의 집합과 일치한다는 것을 의미하며, 이는 비가환 설정에서도 성립한다.
• 텐서곱 공간 내에서의 불변 분해 프레임워크는 양자 시스템을 넘어서 다변수 대칭 다항식에 대한 긍정성 제약 조건에도 적용 가능하다.