[論文レビュー] Distributed exact quantum algorithms for Deutsch-Jozsa problem

Hao Li, Daowen Qiu+1 more|arXiv (Cornell University)|Mar 19, 2023

Quantum Computing Algorithms and Architecture被引用数 6

ひとこと要約

本稿では、グローバル関数の性質（定数／バランス）と部分関数構造の間の同値性特性を活用して、デュイッチ＝ジョーズァ問題のための3つの分散型正確な量子アルゴリズムを提案する。量子トランスポートと複数ノードに跨る特化したユニタリ操作を用いることで、古典的分散手法に比べて指数的クエリ複雑度の優位性を達成し、元のDJアルゴリズムと比較してキュービット数と回路深さを削減する。

ABSTRACT

Deutsch-Jozsa (DJ) problem is one of the most important problems demonstrating the power of quantum algorithm. DJ problem can be described as a Boolean function $f$: $\{0,1\}^n ightarrow \{0,1\}$ with promising it is either constant or balanced, and the purpose is to determine which type it is. DJ algorithm can solve it exactly with one query. In this paper, we first discover the inherent structure of DJ problem in distributed scenario by giving a number of equivalence characterizations between $f$ being constant (balanced) and some properties of $f$'s subfunctions, and then we propose three distributed exact quantum algorithms for solving DJ problem. Our algorithms have essential acceleration over distributed classical deterministic algorithm, and can be extended to the case of multiple computing nodes. Compared with DJ algorithm, our algorithms can reduce the number of qubits and the depth of circuit implementing a single query operator. Therefore, we find that the structure of problem should be clarified for designing distributed quantum algorithm to solve it.

研究の動機と目的

• デュイッチ＝ジョーズァ問題のための正確でスケーラブルな分散型量子アルゴリズムの不足を解消すること。
• 部分関数解析を通じて、分散環境下におけるDJ問題の内在的構造的性質を同定すること。
• クエリ複雑度において、古典的決定的対比物を上回る分散型量子アルゴリズムを設計すること。
• 元のDJアルゴリズムと比較して、単一クエリ演算子におけるキュービット数と回路深さを低減すること。
• 量子トランスポートと制御操作を用いて、複数の計算ノードに跨るスケーラブルで正確な解決策を実現すること。

提案手法

• ブール関数fのグローバルな定数性またはバランス性と、その2^t個の部分関数f_wの性質との間の同値性特性を導出する。
• パウリ-ZおよびXOR操作を用いて2つの部分関数を比較するアルゴリズム1を設計し、2ノード環境に限定して適用可能である。
• 分散型シモンのアルゴリズムおよびHHLアルゴリズムの技術を応用し、制御回転とユニタリ操作を用いて部分関数値を集約するアルゴリズム2を設計する。
• アルゴリズム1および2の戦略を統合し、単一ゲートにおけるキュービット使用量を最小限に抑えるとともに、複数ノードをサポートするアルゴリズム3を設計する。
• 制御キュービットをノード間で伝送するために量子トランスポートを活用し、並列化されたオракルクエリを可能にするとともに、1オラクルあたりのキュービット数をO(n)からn−t+1に削減する。
• 制御ユニタリ操作と測定に基づく後処理を実装し、正確な解を確実に抽出する。

実験結果

リサーチクエスチョン

• RQ1 デュイッチ＝ジョーズァ問題のどの構造的性質が正確な分散型量子計算を可能にするか？
• RQ2 部分関数の関係性は、どのようにして正確な分散型量子アルゴリズムの設計に活用できるか？
• RQ3 分散型量子アルゴリズムは、DJ問題において古典的分散決定的アルゴリズムに比べて指数的高速化を達成できるか？
• RQ4 元のDJアルゴリズムと比較して、分散型単一クエリ演算子における回路深さとキュービット数をどの程度低減できるか？
• RQ5 量子トランスポートは、分散型量子アルゴリズムにおけるスケーラビリティ向上とリソースオーバーヘッド低減にどの程度寄与できるか？

主な発見

• 提案されたアルゴリズムは、古典的分散決定的アルゴリズムに比べて指数的クエリ複雑度の優位性を達成しており、最悪ケースでは2^{n-1}+1回のクエリを要する。
• アルゴリズム1は2つの部分関数に限定されるが、単一クエリ演算子に1キュービットのみを必要とし、その状況下でのキュービット使用量を最小限に抑える。
• アルゴリズム2は、ユニタリ演算子Uに2^t + t + 2キュービットを要するが、アルゴリズム3は最大単一ゲートキュービット数を3·2^{t-1} + t - 1にまで低減する。
• 量子トランスポートを用いることで、1オラクルあたりのキュービット数をO(n)からn−t+1に削減でき、並列化とノイズ耐性の向上が可能になる。
• アルゴリズムは正確かつスケーラブルであり、DJアルゴリズムを各部分関数に単純に適用した場合に生じる誤差蓄積を回避する。
• 性能表から、tが大きい場合にはアルゴリズム3がアルゴリズム2よりもキュービット数とゲート数が少ないことが示され、より優れたスケーラビリティを示している。