[논문 리뷰] Phase map decompositions for unitaries

Niel de Beaudrap, Vincent Danos외 1명|ArXiv.org|2006. 03. 29.

Quantum Computing Algorithms and Architecture참고 문헌 34인용 수 15

한 줄 요약

이 논문은 한 방식의 양자 계산 모델에서 회로 모델에 의존하지 않고 직접적으로 실행 가능한 한 방식 양자 계산 패턴을 생성할 수 있도록, 보편적인 위상 맵 분해를 제안한다. 유니터리 연산을 준비, 대각 위상, 제한 맵으로 분해하고, 그래프 이론적 흐름 조건을 사용함으로써 다항 시간 내에 효율적이고 결정적인 측정 기반 양자 패턴을 구성한다.

ABSTRACT

We propose a universal decomposition of unitary maps over a tensorial power of C^2, introducing the key concept of "phase maps", and investigate how this decomposition can be used to implement unitary maps directly in the measurement-based model for quantum computing. Specifically, we show how to extract from such a decomposition a matching entangled graph state (with inputs), and a set of measurements angles, when there is one. Next, we check whether the obtained graph state verifies a "flow" condition, which guarantees an execution order such that the dependent measurements and corrections of the pattern yield deterministic results. Using a graph theoretic characterization of flows, we can determine whether a flow can be constructed for a graph state in polynomial time. This approach yields an algorithmic procedure which, when it succeeds, may produce an efficient pattern for a given unitary.

연구 동기 및 목표

• 유니터리 사상의 보편적 분해를 개발하여 세 구성 요소로 나누기: 상태 준비, 단위 계수를 가진 대각 위상 연산, 상태 제한. 이는 위상 맵 분해를 형성한다.
• 회로 모델을 완전히 회피하고, 이러한 분해에서 직접적으로 한 방식 양자 패턴을 구성한다.
• 주어진 위상 맵 분해가 결정적인 한 방식 패턴에 해당하는지 여부를 그래프 이론적 흐름 조건을 사용하여 판단한다.
• 성공할 경우, 한 방식 모델에서 유니터리 연산의 효율적인 측정 패턴 구현을 제공하는 알고리즘 절차를 제시한다.
• 기본 얽힘 그래프에서 흐름의 존재를 검증함으로써 이러한 패턴을 효율적으로 구성할 수 있는지 여부를 조사한다.

제안 방법

• 유니터리 사상의 보편적 표현으로서 위상 맵 분해의 개념을 도입한다: U = R ∘ Φ ∘ P. 여기서 P는 보조 큐비트를 준비하고, Φ는 단위 계수를 가진 대각 위상 이동을 적용하며, R은 출력 공간으로 제한한다.
• 주어진 유니터리 연산에 대해 유효한 모든 위상 맵 분해를 나열하는 알고리즘(알고리즘 1)을 제안하며, 이는 대각 맵 Φ의 계수를 풀이하는 데 사용된다.
• 각 분해에 대해, 입력과 측정 각도의 집합을 가진 얽힘 그래프 상태와의 매칭 여부를 확인한다(알고리즘 2). 이는 유니터리의 행렬 표현의 구조를 이용한다.
• 흐름의 그래프 이론적 특성화(정리 1)를 적용하여, 패턴에 대해 결정적인 실행 순서가 존재하는지 검증한다.
• 경로 커버에 대한 상태 추적과 최대값 계산을 사용하여 다항 시간 내에 흐름 존재 여부를 판단하는 깊이 우선 탐색 기반 알고리즘(알고리즘 4)을 활용한다.
• 흐름 조건을 사용하여 측정 및 보정의 의존성 순서를 정의함으로써, 모든 계산 분지에서 동일한 유니터리 변환을 보장하는 결정적 실행을 확보한다.

실험 결과

연구 질문

• RQ1 회로 모델을 회피하고 직접적으로 한 방식 양자 패턴을 구성할 수 있는 보편적인 유니터리 사상 분해를 정의할 수 있는가?
• RQ2 주어진 유니터리 연산에 대해 위상 맵 분해를 체계적으로 생성하는 방법은 무엇이며, 그 존재를 제약하는 조건은 무엇인가?
• RQ3 위상 맵 분해가 결정적인 한 방식 패턴과 유효한 실행 순서를 가질 수 있는 조건은 무엇인가?
• RQ4 기본 얽힘 그래프에서 흐름의 존재 여부를 효율적으로 판단할 수 있으며, 이는 결과 패턴의 결정적 실행을 보장하는가?
• RQ5 주어진 분해가 효율적이고 실행 가능한 측정 패턴을 이끌어내는지 검증하는 데 필요한 계산 복잡도는 무엇인가?

주요 결과

• 위상 맵 분해 U = R ∘ Φ ∘ P 는 큐비트 공간의 텐서 곱 위에서 정의된 임의의 유니터리 연산에 대해 보편적이다.
• 이 방법은 회로 모델을 거치지 않고도 직접적으로 한 방식 패턴을 구성할 수 있게 하여, 더 효율적인 구현이 가능할 수 있다.
• 기본 얽힘 그래프에서 흐름의 존재 여부는 제안된 깊이 우선 탐색 알고리즘(알고리즘 4)을 사용하여 다항 시간 내에 검증할 수 있으며, 시간 복잡도는 O(km)이다. 여기서 k는 입력/출력 수이고 m은 간선 수이다.
• 유효한 흐름은 측정 및 보정의 결정적 실행 순서를 보장하며, 모든 계산 분지에서 동일한 유니터리 변환을 보장한다.
• 이 알고리즘 절차는 임의의 유니터리에 적용 가능하며, 성공할 경우 모든 얽힘 연산이 먼저 수행되는 표준 형식의 한 방식 패턴을 생성한다.
• 측정 각도를 특정 값(예: π/4의 배수)으로 제한함으로써 최적화가 가능할 수 있으나, 이러한 경우 정확한 해가 항상 존재하지는 않는다.