[논문 리뷰] Dining Philosophers, Leader Election and Ring Size problems, in the quantum setting

Dorit Aharonov, Maor Ganz외 2명|arXiv (Cornell University)|2017. 07. 04.

Quantum Computing Algorithms and Architecture인용 수 2

한 줄 요약

이 논문은 고전적 환경에서 결정론적으로 해결할 수 없는 기본적인 분산 coordination 문제인 식사 철학자 문제에 대한 첫 번째 정확한 양자 프로토콜을 제시한다. 양자 얽힘과 식사 철학자 문제에서 리더 선출 문제로의 새로운 감소를 활용하여, 이전의 양자 리더 선출 프로토콜에 비해 시간 및 메모리 복잡도가 크게 향상된 결정론적이고 锁死 없는 해법을 달성한다.

ABSTRACT

In quantum programming, as in the classical case, concurrent control is a form of program coordination that proves well suited to express complex composition patterns. This paper introduces a quantum programming language with explicit parallel and synchronization primitives and its semantics. The language is explored through a Maude implementation, and illustrated with two non trivial examples.

연구 동기 및 목표

• 고전적 결정론적 환경에서 증명적으로 해결할 수 없는 식사 철학자 문제에 대한 결정론적 양자 프로토콜을 개발하는 것.
• 식사 철학자 문제로 감소시켜 양자 리더 선출의 시간 및 메모리 복잡도를 향상시키는 것.
• 양자 환경에서 정확한 식사 철학자 문제와 정확한 리더 선출 간의 동치성을 탐색하고, 고전적 제약과 대비하는 것.
• 일차원, 이동 대칭성을 갖는 양자 시스템에서 대칭성 붕괴에 관한 기초적인 질문을 탐구하는 것.

제안 방법

• 양자 얽힘과 측정 기반 조율을 사용하여 식사 철학자 문제에 대한 새로운 양자 프로토콜을 설계하는 것.
• 고전적 감소를 통해 정확한 리더 선출 문제를 식사 철학자 문제로 감소시켜 복잡도 향상을 가능하게 하는 것.
• 각 철학자가 고유 식별자를 갖지 않고 동일한 알고리즘을 실행하는 분산 비동기 모델을 사용하는 것.
• 공유 자원(젓가락)에 대한 접근을 사전에 사라지지 않는 방식으로 조율하기 위해 양자 통신과 국소 연산을 사용하는 것.
• 참가자가 가능한 수를 추적하기 위해 큐비트를 사용하는 카운팅 메커니즘을 적용하여 종료 조건을 가능하게 하는 것.
• 비동기 및 동기 모델 모두에서 복잡도를 분석하고, 라운드 수 및 통신에 대한 명시적 상한을 제공하는 것.

실험 결과

연구 질문

• RQ1 고전적으로 불가능한 정확하고 결정론적인 양자 프로토콜이 식사 철학자 문제를 해결할 수 있는가?
• RQ2 식사 철학자 문제로 감소시켜 리더 선출 문제를 해결할 때 양자적 이점이 존재하는가?
• RQ3 상수 깊이, 이동 대칭성을 갖는 양자 회로가 1차원 큐비트 고리에서 전역 대칭성을 깰 수 있는가?
• RQ4 정확한 해법을 위해 카운팅이 필수적인가, 아니면 하위 로그 메모리로 문제를 해결할 수 있는가?
• RQ5 리더 선출 없이 또는 상수 메모리로 양자 환경에서 고리 크기 문제를 해결할 수 있는가?

주요 결과

• 논문은 양자 분산 계산 분야에서 오랫동안 열려 있던 문제를 해결하는 첫 번째 정확한 양자 프로토콜을 제시한다.
• 제안된 프로토콜은 고전적 해법이 랜덤성을 필요로 하는 것과 달리, 锁사 없이 결정론적 종료를 달성한다.
• 동기 모델에서 이전의 양자 리더 선출 알고리즘 대비 시간 복잡도를 O(n³)에서 O(n²)로, 통신 복잡도를 O(n³)에서 O(n²)로 개선한다.
• 저자들은 양자 환경에서 정확한 식사 철학자 문제와 정확한 리더 선출 간의 동치성을 확립한다. 이 관계는 고전적 환경에서는 성립하지 않는다.
• 장거리 얽힘 생성의 한계에 기반하여, 상수 깊이, 이동 대칭성을 갖는 양자 회로는 전역 대칭성을 깰 수 없다는 추측을 제기한다.
• 고리 크기 문제 해결 및 하위 로그 메모리 해법 달성과 같은 열린 질문들이 제기되며, 이는 양자 분산 알고리즘 분야의 새로운 국경을 시사한다.