[논문 리뷰] Quantum Matching Theory (with new complexity theoretic, combinatorial and topological insights on the nature of the Quantum Entanglement)

Leonid Gurvits|ArXiv.org|2002. 01. 07.

Quantum Computing Algorithms and Architecture참고 문헌 18인용 수 14

한 줄 요약

이 논문은 양자 정보 이론에서 랭크 비감소 선형 양의 약분리 가능한 연산자와 기하적 매트로이드 교차 성질 사이의 등가성을 설정하는 양자 매칭 이론을 제안한다. 이러한 연산자가 완전히 양의적(completely positive)임을 보이며, 이를 위해 비특이 행렬 A가 존재하여 T(X) − AXA† 가 완전히 양의적임을 보이고, 초콜라 행렬의 양자 영구행렬에 하한을 제시한다: QP(CH(T)) ≥ N!|Det(A)|² > 0.

ABSTRACT

Classical matching theory can be defined in terms of matrices with nonnegative entries. The notion of Positive operator, central in Quantum Theory, is a natural generalization of matrices with nonnegative entries. Based on this point of view, we introduce a definition of perfect Quantum (operator) matching . We show that the new notion inherits many "classical" properties, but not all of them . This new notion goes somewhere beyound matroids . For separable bipartite quantum states this new notion coinsides with the full rank property of the intersection of two corresponding geometric matroids . In the classical situation, permanents are naturally associated with perfects matchings. We introduce an analog of permanents for positive operators, called Quantum Permanent and show how this generalization of the permanent is related to the Quantum Entanglement. Besides many other things, Quantum Permanents provide new rational inequalities necessary for the separability of bipartite quantum states . Using Quantum Permanents, we give deterministic poly-time algorithm to solve Hidden Matroids Intersection Problem and indicate some "classical" complexity difficulties associated with the Quantum Entanglement. Finally, we prove that the weak membership problem for the convex set of separable bipartite density matrices is NP-HARD.

연구 동기 및 목표

• 밀도 행렬 위의 선형 연산자를 통해 양자 얽힘과 조합론적 및 위상수학적 구조를 연결하는 새로운 이론적 프레임워크를 수립하기 위해.
• 기하적 매트로이드 교차 구조를 사용하여 선형 양의 약분리 가능한 연산자 T가 랭크 비감소임을 특성화하기 위해.
• 특히 비특이 행렬 A의 존재를 통해 이러한 연산자가 완전히 양의적임을 보일 조건을 규명하기 위해.
• 초콜라 행렬의 양자 영구행렬에 하한을 유도하여 A의 행렬식과 연결하기 위해.
• 복잡도 이론적, 조합론적, 위상수학적 통찰을 양자 얽힘의 구조에 통합하기 위해.

제안 방법

• 모든 X ⪰ 0에 대해 Im(T(X)) = Im(∑i xi yi† X yi xi†)를 만족하는 일급 행렬 {xiyi†}의 집합을 통해 M(N) → M(N)으로의 선형 양의 약분리 가능한 연산자 T를 정의한다.
• T가 랭크 비감소임과 두 기하적 매트로이드 MI(X,Y)의 교차 랭크가 N과 일치함이 등가임을 증명한다.
• 모든 X ⪰ 0에 대해 Im(AXA†) ⊆ Im(T(X))를 만족하는 비특이 행렬 A를 도입하여 연산자 이미지 포함성과 행렬의 구조를 연결한다.
• 완전히 양의적 T에 대해, T′(X) = T(X) − AXA† 가 완전히 양의적임은 비특이 A가 존재함과 동치임을 보인다.
• 양자 영구행렬과 행렬식 성질을 사용하여 QP(CH(T)) ≥ N!|Det(A)|² > 0라는 부등식을 도출한다. 여기서 CH(T)는 T의 초콜라 행렬이다.
• 선형대수학, 매트로이드 이론, 양자 정보 이론의 도구를 사용하여 얽힘과 연산자 양의성에 대한 구조적 통찰을 통합한다.

실험 결과

연구 질문

• RQ1 선형 양의 약분리 가능한 연산자 T: M(N) → M(N)가 언제 랭크 비감소인가?
• RQ2 두 기하적 매트로이드 MI(X,Y)의 교차 랭크는 T의 구조와 어떻게 관련이 있는가?
• RQ3 비특이 행렬 A의 존재가 T(X) − AXA† 가 완전히 양의적임을 보장하는 조건은 무엇인가?
• RQ4 초콜라 행렬 CH(T)의 양자 영구행렬에 대한 정량적 하한은 det(A)로 어떻게 표현되는가?
• RQ5 매트로이드 이론의 조합론적 및 위상수학적 구조는 양자 얽힘의 본질을 어떻게 반영하는가?

주요 결과

• 선형 양의 약분리 가능한 연산자 T는 두 기하적 매트로이드 MI(X,Y)의 교차 랭크가 정확히 N과 일치할 때에만 랭크 비감소임이 보장된다.
• 모든 X ⪰ 0에 대해 Im(AXA†) ⊆ Im(T(X))를 만족하는 비특이 행렬 A의 존재는 T가 랭크 비감소임과 동치이다.
• T가 완전히 양의적이라면, T(X) − AXA† 가 완전히 양의적임은 비특이 A의 존재와 동치이다.
• T의 초콜라 행렬의 양자 영구행렬은 QP(CH(T)) ≥ N!|Det(A)|² > 0를 만족하며, 이는 비자명한 하한을 제공한다.
• 랭크 비감소 행동과 매트로이드 교차 랭크 사이의 등가는 양자 연산자 이론과 조합론 사이의 깊은 연결을 확립한다.
• 결과는 연산자 이론적 이중성에 기반하여 복잡도 이론적, 조합론적, 위상수학적 시각을 양자 얽힘의 구조에 통합한다.