[논문 리뷰] Fully graphical treatment of the quantum algorithm for the Hidden Subgroup Problem

Stefano Gogioso, Aleks Kissinger|ArXiv.org|2017. 01. 30.

Quantum Computing Algorithms and Architecture참고 문헌 24인용 수 5

한 줄 요약

이 논문은 아벨 Hidden Subgroup Problem(HSP)에 대한 양자 알고리즘에 대한 처음으로 완전한 다이어그램 증명을 제시하며, 강한 보완성 관측량이 양자 우월성을 가능하게 하는 핵심 대수적 특성임을 보여준다. 고카테고리 양자역학과 스트링 다이어그램을 사용하여 저자들은 증명을 유한 차원 양자 이론을 초월해 실수 양자 이론과 격자 및 토러스와 같은 무한 차원 시스템으로 일반화한다.

ABSTRACT

The abelian Hidden Subgroup Problem (HSP) is extremely general, and many problems with known quantum exponential speed-up (such as integers factorisation, the discrete logarithm and Simon's problem) can be seen as specific instances of it. The traditional presentation of the quantum protocol for the abelian HSP is low-level, and relies heavily on the the interplay between classical group theory and complex vector spaces. Instead, we give a high-level diagrammatic presentation which showcases the quantum structures truly at play. Specifically, we provide the first fully diagrammatic proof of correctness for the abelian HSP protocol, showing that strongly complementary observables are the key ingredient to its success. Being fully diagrammatic, our proof extends beyond the traditional case of finite-dimensional quantum theory: for example, we can use it to show that Simon's problem can be efficiently solved in real quantum theory, and to obtain a protocol that solves the HSP for certain infinite abelian groups.

연구 동기 및 목표

• 낮은 수준의 대수적 접근 방식을 넘어서, 아벨 Hidden Subgroup Problem(HSP)에 대한 양자 알고리즘에 대해 고수준의 완전한 다이어그램 증명을 제공하는 것.
• 강한 보완성 관측량이 HSP에서 양자 가속을 가능하게 하는 핵심 구조적 특성임을 보여주며, 부수적인 결과가 아니라는 것을 입증하는 것.
• 표준 유한 차원 양자역학을 초월해 호환 가능한 대수적 구조를 가진 다른 이론으로 HSP 알고리즘의 적용 범위를 확장하는 것.
• 다이어그램 프레임워크를 사용하여 실수 양자 이론에서 시몬 문제를 효율적으로 해결할 수 있음을 보여주는 것.
• 비표준 해석학과 무한 차원 힐베르트 공간을 사용하여 HSP 알고리즘을 Z^N과 T^N과 같은 무한 아벨 군으로 일반화하는 것.

제안 방법

• 순서적 연산을 위해 왼쪽에서 오른쪽으로의 조합을 사용하는, 무결성 대칭 모나이드 범주와 스트링 다이어그램의 그래픽적 언어를 사용하여 양자 과정을 표현하는 것.
• 양자 푸리에 변환과 유니터리 오라클 U_f를 다이어그램 계산 내에서 특별히 †-프로비우스 대수로 표현하는 것.
• †-프로비우스 대수 간의 강한 보완성을 사용하여 HSP 알고리즘에서의 양자 우월성을 특성화하는 것.
• 다이어그램 구성 요소인 하다마드, 오라클, 푸리에 변환의 조합으로 양자 서브루틴을 형식화하며, 모두 다이어그램 언어로 표현하는 것.
• 유계 및 비유계 연산자와 딜라 함수를 포함하는 범주 ⋆Hilb를 통해 무한 차원 설정으로 프레임워크를 확장하는 것.
• 이론적 설정에서 적절한 강한 보완 쌍의 존재를 검증함으로써, 다이어그램 증명을 실수 양자 이론과 무한 아벨 군으로 적용하는 것.

실험 결과

연구 질문

• RQ1 강한 보완성은 아벨 HSP에서 양자 서브루틴 성공의 필수적이고도 충분한 조건인가?
• RQ2 HSP에 대한 양자 알고리즘은 복잡한 벡터 공간에서 벗어나, 완전히 다이어그램적이고 범주론적 프레임워크로 재구성될 수 있는가?
• RQ3 다이어그램 접근법은 실수 양자 이론으로 확장되며, 그 설정에서 시몬 문제가 효율적으로 해결될 수 있음을 증명할 수 있는가?
• RQ4 다이어그램 방법과 비표준 해석학을 사용하여 HSP 알고리즘을 Z^N과 T^N과 같은 무한 아벨 군으로 일반화할 수 있는가?
• RQ5 무한 차원의 경우, 특히 니르만이 무한한 경우, 고전적 후처리 단계는 어떻게 변형되는가?

주요 결과

• 논문은 아벨 HSP 양자 알고리즘에 대한 처음으로 완전한 다이어그램 증명을 확립하며, 강한 보완성이 양자 우월성을 가능하게 하는 핵심 구조적 특성임을 보여준다.
• 다이어그램 프레임워크는 실수 양자 이론에서 시몬 문제가 효율적으로 해결될 수 있음을 확인하며, 그 설정에서 필요한 강한 보완 관측량이 존재한다는 것을 입증한다.
• 이 접근법은 무한 차원 양자 시스템으로 일반화되어, Z^N(격자)와 T^N(토러스)와 같은 무한 아벨 군에서의 HSP에 대해 유효한 양자 서브루틴을 도출한다.
• G = Z^N의 경우, 모든 몫 G/H와 Ann[H] ≤ T^N이 유한하므로 고전적 후처리가 유한하고 효율적이다.
• G = T^N의 경우, Z^N에서의 무한 니르만으로 인해 고전적 후처리에 약간의 조정이 필요하지만, 양자 부분은 그대로 유효하고 다이어그램적으로 타당하다.
• 이 프레임워크는 다양한 물리적 이론에 대해 강건하다: 복소수 위의 표준 양자 이론, 실수 위의 실수 양자 이론, 그리고 범주 ⋆Hilb를 통한 무한 차원 이론에 모두 적용된다.