[논문 리뷰] Computation at a distance

Samuel Kutin, David Petrie Moulton외 1명|ArXiv.org|2007. 01. 26.

Quantum Computing Algorithms and Architecture참고 문헌 4인용 수 12

한 줄 요약

이 논문은 인접한 큐비트 간 연산만 允가되는 1차원 큐비트 배열에서 선형 역행성 회로의 깊이 복잡도를 연구한다. GF(2) 위에서의 임의의 선형 연산이 깊이 최대 5n 내에 구현될 수 있음을 증명하며, 일부 연산은 최소 2n+1 깊이가 필요하다는 점을 보여, 덧셈, 스왑, 역전과 같은 기본 연산에 대해 날카로운 경계를 설정한다.

ABSTRACT

We consider a model of computation motivated by possible limitations on quantum computers. We have a linear array of n wires, and we may perform operations only on pairs of adjacent wires. Our goal is to build a circuits that perform specified operations spanning all n wires. We show that the natural lower bound of n-1 on circuit depth is nearly tight for a variety of problems, and we prove linear upper bounds for additional problems. In particular, using only gates adding a wire (mod 2) into an adjacent wire, we can realize any linear operation in GL_n(2) as a circuit of depth 5n. We show that some linear operations require depth at least 2n+1.

연구 동기 및 목표

• 단지 인접 큐비트 게이트만을 사용하여 n 큐비트의 선형 배열에서 임의의 선형 역행성 연산을 최소 깊이로 어떻게 실행할 수 있는지 규명하기.
• 덧셈, 스왑, 회전, 역전과 같은 기본 연산에 대한 기존 하한과 상한 사이의 격차를 좁히기.
• 특히 역전이 최소 2n+1 깊이가 필요하고 2n+2 깊이로도 실행 가능하다는 점을 증명함으로써 GL_n(2) 내 연산에 대해 날카로운 깊이 경계를 설정하기.
• 구조적 및 계산적 증거를 바탕으로 GL_n(2) 내 임의의 행렬의 최대 깊이가 4n+O(1)일 수 있다는 가능성을 탐색하기.

제안 방법

• 회로를 GF(2) 위의 열벡터에 작용하는 기본 행렬의 순서로 모델링하며, 각 게이트를 항등행렬의 질량-1 변형으로 표현한다.
• 대부분의 역행성 선형 연산을 GL_n(2)의 원소로 표현하는 대수적 접근을 사용하며, 게이트는 단일 비대각선 1을 가진 전이행렬(즉, 기본 행렬)로 대응시킨다.
• 명시적 회로 구성 기법을 통해 깊이 경계를 확보한다: 예를 들어, 먼 거리의 연산을 수행하기 위해 연속된 CNOT을 이용해 데이터를 배열 전역으로 이동시킨다.
• 질량 기반 추론을 통해 하한을 유도한다: 중간 행렬의 총 질량가 0에서 최소 k−εn으로 증가해야 하며, 이는 최소 2k−εn개의 게이트가 필요함을 의미한다.
• 기존의 Beals의 회로 분해 결과를 활용하여 일반 행렬을 삼각형 형태로 분해하기 위한 재귀적 감소 전략을 적용한다.
• 작은 n(최대 6까지)에 대해 전수 검색을 수행하여 최대 회로 깊이를 경험적으로 평가하고 渐近적 행동에 대한 추측을 뒷받침한다.

실험 결과

연구 질문

• RQ1 단지 인접 CNOT 게이트만을 사용하여 n 라인에 걸쳐 덧셈을 수행하기 위해 필요한 최소 깊이는 얼마인가?
• RQ2 GL_n(2) 내 일반 선형 연산의 깊이가 4n+O(1) 이하로 경계될 수 있으며, 이 경계가 날카로운가?
• RQ3 역전 깊이에 대한 하한 2n+1은 날카로운가, 아니면 2n+2 이하로 개선될 수 있는가?
• RQ4 어느 정도의 연산 클래스(예: 순열, 임의의 선형 사상)에 대해 작은 상수를 가진 O(n) 깊이를 달성할 수 있는가?
• RQ5 GL_n(2)의 구조를 활용하여 직사각형 배열 구성 기법을 통해 일반 행렬을 깊이 4n으로 줄일 수 있는가?

주요 결과

• n개의 라인에 걸쳐 덧셈은 깊이 n+4로 실행 가능하며, 이는 작은 상수를 제외하고 n−1 하한과 일치한다.
• 첫 번째와 마지막 라인을 스왑하기 위해 깊이 n+8가 필요하며, 이 구성은 n개의 라인에 걸쳐 2 큐비트 게이트를 적용하는 데에도 일반화 가능하다.
• n개의 라인을 모두 회전시키는 것은 깊이 n+5로 달성 가능하며, 이에 대응하는 하한은 n−1로 연산의 복잡도를 반영한다.
• n개의 라인을 역전시키는 데 최소 2n+1 깊이가 필요하고, 2n+2 깊이로도 실행 가능하므로 날카로운 경계가 확립된다.
• GL_n(2) 내 임의의 행렬은 깊이 최대 5n 내에 실행 가능하며, 이 경계는 거의 날카로우며 대부분의 행렬이 최소 (2−ε)n 깊이가 필요하다는 점에서 확인된다.
• n≤6에 대한 전수 검색 결과, n=2에서 6까지 최대 깊이가 각각 3, 8, 10, 13, 14로 나타나, 최대 깊이가 2n+O(1)일 수 있으며 5n보다 작을 가능성이 제기된다.