[논문 리뷰] Strong NP-Hardness of the Quantum Separability Problem

Sevag Gharibian|arXiv (Cornell University)|2008. 10. 24.

Quantum Computing Algorithms and Architecture참고 문헌 40인용 수 6

한 줄 요약

이 논문은 양자 분리 가능성 문제의 강한 NP-난이도를 입증한다. 구체적으로, 양자 상태가 분리 가능 집합으로부터 역다항수 거리 떨어져 있을 때조차도 그 상태가 분리 가능한지 여부를 판단하는 것이 여전히 NP-난이도임을 보여준다. 이 결과는 CLIQUE 문제와 강력한 정수계획법 타당성 문제의 축소를 결합하여 도출되었으며, 이는 이전의 NP-난이도 결과들이 오직 지수적으로 가까운 상태에만 적용되었던 것을 넘어서, 역다항수 거리의 경우에도 성립함을 보여준다.

ABSTRACT

Given the density matrix rho of a bipartite quantum state, the quantum separability problem asks whether rho is entangled or separable. In 2003, Gurvits showed that this problem is NP-hard if rho is located within an inverse exponential (with respect to dimension) distance from the border of the set of separable quantum states. In this paper, we extend this NP-hardness to an inverse polynomial distance from the separable set. The result follows from a simple combination of works by Gurvits, Ioannou, and Liu. We apply our result to show (1) an immediate lower bound on the maximum distance between a bound entangled state and the separable set (assuming P != NP), and (2) NP-hardness for the problem of determining whether a completely positive trace-preserving linear map is entanglement-breaking.

연구 동기 및 목표

• 입력 상태가 분리 가능 집합으로부터 역다항수 거리 떨어져 있을 때, 양자 분리 가능성 문제(QUSEP)의 복잡도를 규명하는 것.
• 이전의 QUSEP에 대한 NP-난이도 결과를 지수적으로 가까운 상태의 영역을 넘어서 확장하여, 유한 정밀도 계산 문제의 영향이 덜한 영역까지 확장하는 것.
• P ≠ NP를 가정할 때, 경계 얽힘 상태와 분리 가능 집합 사이의 최대 유클리드 거리에 하한을 설정하는 것.
• 완전히 양의 정합성과 추적 보존을 만족하는 선형 사상이 얽힘 끊는지 여부를 판단하는 문제가 NP-난이도임을 증명하는 것.

제안 방법

• Liu가 확립한 바에 따라, NP-완전인 CLIQUE 문제에서 강력한 정수계획법 타당성 문제(RSDF)로의 다대일 축소를 활용한다.
• RSDF에서 약간의 근사로 볼록 집합을 분리하는 초평면이 존재하는지 테스트하는 약한 타당성(WVALα)으로의 튜링 축소를 적용한다.
• 특히 분리 가능 상태 집합 SM,N에 대해, 약한 타당성과 약한 멤버십(WMEMβ) 사이의 알려진 동치성을 활용한다.
• 밀도 행렬의 블로흐 벡터 표현을 사용하여 양자 상태 간의 트레이스 노름 거리와 그 블로흐 벡터 간 유클리드 거리 사이의 관계를 설정한다.
• 이러한 축소를 조합하여, β가 시스템 차원에 대해 역다항수일 때, WMEMβ(SM,N)이 NP-난이도임을 보여준다.
• 레미마 8을 사용하여 밀도 행렬의 힐베르트-스미스 노름을 그 블로흐 벡터의 유클리드 노름으로 연결함으로써, 분리 가능성 경계의 기하학적 분석을 가능하게 한다.

실험 결과

연구 질문

• RQ1 입력 상태가 분리 가능 집합으로부터 역다항수 거리 떨어져 있을 때, 양자 분리 가능성 문제가 강한 NP-난이도를 가질 수 있는가?
• RQ2 P ≠ NP를 가정할 경우, 경계 얽힘 상태와 분리 가능 집합 사이의 최대 유클리드 거리는 얼마인가?
• RQ3 양자 채널이 얽힘 끊는지 여부를 판단하는 문제가 NP-난이도인가?
• RQ4 분리 가능 상태에 대한 약한 멤버십 문제의 NP-난이도가 지수적으로 가까운 영역을 넘어서 확장될 수 있는가?
• RQ5 강력한 정수계획법 타당성 문제의 역할은 양자 상태 분류의 복잡도 한계를 설정하는 데 어떤가?

주요 결과

• 입력 상태가 분리 가능 집합으로부터 역다항수 거리 떨어져 있을 때, 양자 분리 가능성 문제가 강한 NP-난이도를 가짐을 입증하였으며, 이는 이전에 구르비츠가 지수적으로 작은 거리에 대해서만 성립했던 결과를 확장한 것이다.
• P ≠ NP를 가정할 경우, 경계 얽힘 상태와 분리 가능 집합 사이의 최대 유클리드 거리에 즉각적인 하한을 설정하였다.
• 완전히 양의 정합성과 추적 보존을 만족하는 선형 사상이 얽힘 끊는지 여부를 판단하는 문제가 NP-난이도임을 입증하였다.
• 증명은 CLIQUE ≤m RSDF ≤m WVALα(SM,N) ≤T WMEMβ(SM,N)의 연속적 축소 체인에 기반하며, β는 시스템 차원에 대해 역다항수이다.
• 구성된 상태의 블로흐 벡터의 노름이 O(√N)임을 보여주었으며, 여기서 N은 부분계의 차원이다. 이는 역다항수 거리 기준을 지지하는 데 기여한다.
• 결과는 유한 정밀도 입력 조건 하에서도, 상태가 분리 가능성 경계에 너무 가까이 있지 않은 한, 분리 가능 상태와 얽힘 상태를 구분하는 것이 여전히 계산적으로 어려움을 시사한다.