[논문 리뷰] Towards efficient algorithm deciding separability of distributed quantum states

Piotr Badziąg, Paweł Horodecki외 1명|ArXiv.org|2005. 04. 06.

Quantum Computing Algorithms and Architecture참고 문헌 2인용 수 3

한 줄 요약

이 논문은 농도 행렬에서 유도된 선형 방정식계를 해결하는 것으로 문제를 축소시켜 임의의 다중 부분 quantum 상태의 분리 가능성 여부를 결정하는 유한하고 기본적인 재귀 알고리즘을 제안한다. 일반 상태의 경우 $m\times n$ 차원에서 복잡도는 약 $\binom{mn+D-1}{D}$개의 변수로 감소하며, $D \leq 4$이므로 큰 $mn$에 대해 선형 대수를 통한 효율적인 분리 가능성 검사가 가능해진다.

ABSTRACT

It is pointed out that separability problem for arbitrary multi-partite states can be fully solved by a finite size, elementary recursive algorithm. In the worse case scenario, the underlying numerical procedure, may grow doubly exponentially with the state's rank. Nevertheless, we argue that for generic states, analysis of concurrence matrices essentially reduces the task of solving separability problem in $m imes n$ dimensions to solving a set of linear equations in about $\binom{mn+D-1}{D}$ variables, where $D$ decreases with $mn$ and for large $mn$ it should not exceed 4. Moreover, the same method is also applicable to multipartite states where it is at least equally efficient.

연구 동기 및 목표

• 임의의 다중 부분 quantum 상태의 분리 가능성 여부를 결정하는 데 유한하고 실용적인 알고리즘을 개발하는 것.
• 상태 랭크에 대해 이중 지수적으로 증가하는 기존의 양자화 제거 방법의 높은 복잡도를 극복하는 것.
• 농도 행렬을 분석하여 분리 가능성 문제를 선형 방정식계의 해법으로 환원하는 것.
• 이중 부분 상태의 경우와 유사한 효율성을 갖는 다중 부분 상태로 방법을 확장하는 것.
• NP-난이도의 약한 멤버십 공식화에 대한 실용적인 대안을 제공하기 위해 처리 가능한 $D$ 값이 있는 일반 상태에 집중하는 것.

제안 방법

• 이 방법은 상태의 밀도 행렬에서 유도된 농도 행렬을 활용하여 얽힘의 구조를 인코딩한다.
• 분리 가능성 문제는 변수 $u_{ki}$를 포함한 선형 방정식계 (14)로 환원되며, 이는 잠재적 제품 상태 분해를 매개변수화한다.
• 이 방정식계의 해 공간은 유효한 등장사상이 존재하는지 여부를 결정하며, 정규화 계수 $\lambda_k$에 대한 선형 제약조건 (15)을 통해 확인된다.
• 일반 상태의 경우 독립 변수의 수는 $\binom{mn+D-1}{D}$로 감소하며, 이때 $D$는 큰 $mn$에 대해 4 이하로 제한된다.
• 단일 이중 농도 행렬 대신 여러 개의 양의 행렬 $\hat{\mathcal{A}}_{jk}^{lm}$의 고유벡터를 분석함으로써 이 방법은 다중 부분 상태로 일반화된다.
• 무한대의 집합을 전수 조사하는 것을 피하기 위해 유리수 좌표를 가진 상태와 유한 차원의 해 다양체에 집중한다.

실험 결과

연구 질문

• RQ1 임의의 다중 부분 quantum 상태에 대해 분리 가능성 문제를 해결할 수 있는 끝내기 있고 기본적인 재귀 알고리즘이 존재하는가?
• RQ2 직접적인 양자화 제거 대신 농도 행렬을 분석함으로써 분리 가능성 테스트의 복잡도를 어느 정도 감소시킬 수 있는가?
• RQ3 일반적인 $m\times n$ 상태에서 분리 가능한 분해를 매개변수화하기 위해 필요한 효과적인 변수 수 $D$는 얼마인가?
• RQ4 이 방법은 다중 부분 상태에 대해 어떻게 스케일링되며, 이중 부분 상태의 경우와 유사한 효율성을 유지할 수 있는가?
• RQ5 농도 행렬 방정식의 해 공간을 활용하여 Lewenstein-Sanpera 유형의 분해를 분리 가능한 부분과 얽힌 부분으로 구성할 수 있는가?

주요 결과

• 임의의 다중 부분 상태에 대해 분리 가능성 문제는 끝내기 있고 기본적인 재귀 알고리즘을 통해 결정 가능하다.
• 일반적인 $m\times n$ 상태의 경우 문제는 $\binom{mn+D-1}{D}$개의 변수를 포함한 선형 방정식계로 환원되며, 큰 $mn$에 대해 $D \leq 4$이다.
• $3\times 3$ 차원에서 일반 상태에 대해 $D=1$이 충분하며, 수치적 증거는 $\Delta=2$일 때 $D \approx \sqrt{r}$임을 시사하여 처리 가능한 복잡도임을 나타낸다.
• 이 방법은 다중 부분 상태로 일반화되며, 일반적인 3-qubit 상태에 대해 $D=5$가 충분하여 변수 수는 792로 감소하고, 방정식 수는 1080으로 감소한다.
• 등장사상 조건 (15)는 $|\lambda_k|^2$에 대한 선형 시스템이며, 지수적 검색 없이도 해가 가능하므로 분리 가능성에 대한 효율적인 결정이 가능하다.
• 해 다양체가 저차원이 되는 일반 상태에 집중함으로써 이 방법은 약한 멤버십 문제의 NP-난이도를 피한다.