[論文レビュー] Dining Philosophers, Leader Election and Ring Size problems, in the quantum setting

Dorit Aharonov, Maor Ganz+2 more|arXiv (Cornell University)|Jul 4, 2017

Quantum Computing Algorithms and Architecture被引用数 2

ひとこと要約

この論文は、古典的設定では決定的には解けない、基本的で分散型の協調問題である「食事する哲学者問題」に対する、初めての正確な量子プロトコルを提示する。著者たちは量子もつれと、食事する哲学者問題をリーダー選出問題に還元する独自の手法を活用することで、従来の量子リーダー選出プロトコルと比較して、時間的・メモリ的複雑性が著しく改善された決定的でロックアウトのない解決策を達成した。

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.

研究の動機と目的

• 古典的決定的設定では証明的に解けない食事する哲学者問題に対する決定的量子プロトコルの開発。
• 食事する哲学者問題に還元することで、量子リーダー選出の時間的・メモリ的複雑性を改善すること。
• 量子設定における正確な食事する哲学者問題と正確なリーダー選出問題の同等性を調査し、古典的制限と対比すること。
• 1次元で並進不変性を持つ量子系における対称性の破れに関する基礎的問題を考察すること。

提案手法

• 量子もつれと測定に基づく協調制御を用いて、食事する哲学者問題のための新しい量子プロトコルを設計する。
• 古典的還元を介して正確なリーダー選出問題を食事する哲学者問題に還元し、複雑性の向上を実現する。
• 各哲学者が同一のアルゴリズムを実行する分散的で非同期モデルを採用し、固有の識別子を一切使用しない。
• 量子通信と局所操作を用いて、共有リソース（箸）へのアクセスをデッドロックを回避して調整する。
• 参加可能な参加者の数を追跡するためのキュービットを用いたカウンティング機構を採用し、終了条件を可能にする。
• 非同期および同期モデルにおける複雑性を分析し、ラウンド数および通信量に対して明確な上限を提示する。

実験結果

リサーチクエスチョン

• RQ1 古典的には不可能であるにもかかわらず、正確で決定的な量子プロトコルが食事する哲学者問題を解けるか？
• RQ2 食事する哲学者問題に還元することで、リーダー選出問題を解く際に量子的優位性が得られるか？
• RQ3 定数深さで並進不変性を持つ量子回路は、1次元のキュービットリングでグローバルな対称性を破ることができるか？
• RQ4 正確な解法においてカウンティングは必要不可欠か？それとも対数未満のメモリで問題を解けるか？
• RQ5 リーダー選出を経由せずに、または定数メモリで量子設定においてリングサイズ問題を解けるか？

主な発見

• 本論文は、量子分散計算分野における長年の未解決問題を解消する、食事する哲学者問題に対する最初の正確な量子プロトコルを提示した。
• 提示されたプロトコルは、古典的解決策がランダムネスを必要とするのとは異なり、ロックアウトのない実行と決定的終了を達成した。
• 同期モデルにおいて、時間的複雑性を従来のO(n³)からO(n²)に、通信的複雑性をO(n³)からO(n²)に改善した。
• 著者たちは、量子設定において正確な食事する哲学者問題と正確なリーダー選出問題の間には同等性が成り立つことを確立したが、これは古典的状況では成立しない。
• 長距離もつれの生成に制限があることに基づき、定数深さで並進不変性を持つ量子回路ではグローバルな対称性を破ることができないという仮説を提示した。
• リングサイズ問題の解決や対数未満のメモリ解法の達成といった、未解決の問題を特定し、量子分散アルゴリズム分野における新たなフロンティアを示唆した。