[논문 리뷰] A New Holant Dichotomy Inspired by Quantum Computation

Miriam Backens|arXiv (Cornell University)|2017. 01. 01.

Quantum Mechanics and Applications인용 수 7

한 줄 요약

이 논문은 양자 얽힘 이론에서 영감을 얻어, HOLANTc를 확장하여 네 가지 특정 일변수 함수를 자유롭게 허용하는 새로운 Holant 문제 가족인 HOLANT+를 소개한다. 양자 정보 이론—특히 얽힘 분류와 상태 사영—의 결과를 활용하여 HOLANT+에 대한 완전한 이분법 정리( dichotomy theorem )를 수립하며, 문제의 복잡도가 다항 시간 내에 해결 가능한지 또는 #P-난이도인지 여부를 결정짓는다. 이는 함수들이 특정 얽힘 클래스(예: 안정자 상태 또는 W-클래스 상태)에 속해 있는지 여부에 따라 결정된다.

ABSTRACT

Holant problems are a framework for the analysis of counting complexity problems on graphs. This framework is simultaneously general enough to encompass many counting problems on graphs and specific enough to allow the derivation of dichotomy results, partitioning all problems into those which are in FP and those which are #P-hard. The Holant framework is based on the theory of holographic algorithms, which was originally inspired by concepts from quantum computation, but this connection appears not to have been explored before. Here, we employ quantum information theory to explain existing results in a concise way and to derive a dichotomy for a new family of problems, which we call Holant^+. This family sits in between the known families of Holant^*, for which a full dichotomy is known, and Holant^c, for which only a restricted dichotomy is known. Using knowledge from entanglement theory -- both previously existing work and new results of our own -- we prove a full dichotomy theorem for Holant^+, which is very similar to the restricted Holant^c dichotomy and may thus be a stepping stone to a full dichotomy for that family.

연구 동기 및 목표

• HOLANT∗(모든 일변수 함수가 이용 가능)와 HOLANTc(두 개의 일변수 함수만 허용) 사이의 격차를 메우기 위해, 새로운 Holant 가족인 HOLANT+를 정의하는 것.
• 특히 얽힘 분류와 상태 사영을 포함한 양자 정보 이론을 적용하여 HOLANT+에 대한 완전한 이분법을 도출하는 것.
• 안정자 상태나 W-클래스 얽힘과 같은 양자 개념을 사용하여 다항 시간 내에 해결 가능한 Holant 문제의 새로운 간결한 특성화를 제공하는 것.
• HOLANTc에 대한 완전한 이분법의 기초를 마련하기 위해, 관련된 중간 단계의 클래스에 대해 완전한 이분법을 증명하는 것.

제안 방법

• 네 가지 특정 일변수 함수가 자유롭게 이용 가능한 Holant 프레임워크의 변종으로 HOLANT+를 정의하며, 이 중 두 개는 HOLANTc의 것과 같다.
• 양자 얽힘 이론을 사용하여 다항 시간 내에 해결 가능한 함수 집합을 특성화: 다항 시간 내 해결 가능성은 함수가 안정자 상태 또는 W-클래스 얽힘 범주에 속할 경우에 해당한다.
• 기존의 양자 얽힘 이론 결과—다수의 큐비트 상태를 사영하여 삼큐비트 얽힘을 유지하는 것—을 응용하여, 비퇴화된 이진 함수를 시뮬레이션하는 기구를 구성한다.
• 양자 얽힘 이론에서 새로운 결과를 증명한다: 임의의 진정으로 얽힌 n-큐비트 상태에 대해, (n−3) 개의 큐비트 부분집합과 텐서곱 사영자(프로젝터)가 존재하여 나머지 세 큐비트가 여전히 진정으로 얽혀 있게 된다.
• 홀로그래픽 감소와 발리언트의 Holant 정리를 사용하여 문제를 알려진 다항 시간 내 해결 가능한 경우나 난이도가 높은 경우로 감소시키며, 행렬 변환과 서명 격자 등가성 관계를 활용한다.
• 레마 22와 추론 23을 사용하여 서명을 추가하거나 변환해도 감소 가능성의 유지가 가능함을 보이며, 다양한 Holant 인스턴스 간의 감소를 가능하게 한다.

실험 결과

연구 질문

• RQ1 양자 얽힘 이론을 사용하여 HOLANT∗와 HOLANTc 사이에 위치하는 새로운 Holant 가족에 대해 완전한 이분법을 도출할 수 있는가?
• RQ2 특정 얽힘 클래스—예를 들어 W-클래스 상태와 안정자 상태—는 Holant 문제에서 다항 시간 내 해결 가능성의 결정에 어떤 역할을 하는가?
• RQ3 특히 상태 사영을 포함한 얽힘 이론의 결과를 활용하여, Holant 문제에서 비퇴화된 이진 함수를 시뮬레이션하는 기구를 구성할 수 있는가?
• RQ4 이중 큐비트 얽힘 사영 정리의 결과를 삼큐비트 시스템으로 확장하여 진정으로 얽힌 상태를 유지할 수 있는가?
• RQ5 HOLANT+에 네 가지 특정 일변수 함수를 포함시켰을 때, HOLANTc와 비교해 복잡도의 지형도에 어떤 영향을 미치는가?

주요 결과

• HOLANT+에 대해 완전한 이분법이 확립되었으며, Holant(F)가 다항 시간 내에 해결 가능하거나 #P-난이도임을 증명하였다.
• 다항 시간 내 해결 가능한 경우는 ⟨O◦E⟩ 또는 A의 부분집합인 함수 집합 F에 해당하며, 이는 양자 정보 이론에서 안정자 상태와 W-클래스 얽힌 상태에 해당한다.
• 양자 얽힘 이론에서 새로운 결과를 증명하였다: 임의의 진정으로 얽힌 n-큐비트 상태에 대해, (n−3) 개의 큐비트 부분집합과 텐서곱 프로젝터가 존재하여 나머지 세 큐비트가 여전히 진정으로 얽혀 있게 된다.
• 사영을 통한 대칭 삼진 W-클래스 상태의 구성은, 함수 집합이 특정 얽힘 클래스에 속해 있지 않은 한 #P-난이도임을 도출하는 데 기여한다.
• 논문은 만약 대칭 삼진 함수 |ψ⟩가 W-클래스에 속해 있지만 K◦M 또는 KX◦M에 속하지 않으면, 문제는 #P-난이도임을 보였다. 유일한 예외는 이러한 클래스 외부에 있는 대칭 이진 함수를 구성할 수 있는 경우이다.
• 서명 격자 변환과 행렬 공액 변환을 포함한 감소 기법들은, 홀로그래픽 감소와 발리언트의 정리 하에서 이분법이 유지됨을 확인한다.