[論文レビュー] Reassessing the computational advantage of quantum-controlled ordering of gates

Martin J. Renner, Časlav Brukner|arXiv (Cornell University)|Feb 22, 2021

Quantum Computing Algorithms and Architecture参考文献 36被引用数 14

ひとこと要約

本稿は、フーリエ・プロミス問題（FPP）を解く際の不確実因果順序における量子優位性を再評価し、因果的量子アルゴリズムが従来予想されたよりも著しく優れたクエリ複雑度を達成できることを示している。置換位相の構造的分解と再帰的ブロック処理を活用することで、著者らは特定のFPPをO(n log n)クエリ、一般のFPPをO(n√n)クエリで解く因果的アルゴリズムを提示した。これにより、量子nスイッチの予想されるO(n²)の量子優位性は、O(n log n)またはO(n√n)にまで低下する。

ABSTRACT

Research on indefinite causal structures is a rapidly evolving field that has a potential not only to make a radical revision of the classical understanding of space-time but also to achieve enhanced functionalities of quantum information processing. For example, it is known that indefinite causal structures provide exponential advantage in communication complexity when compared to causal protocols. In quantum computation, such structures can decide whether two unitary gates commute or anticommute with a single call to each gate, which is impossible with conventional (causal) quantum algorithms. A generalization of this effect to $n$ unitary gates, originally introduced in M. Ara\'ujo et al., Phys. Rev. Lett. 113, 250402 (2014) and often called Fourier promise problem (FPP), can be solved with the quantum-$n$-switch and a single call to each gate, while the best known causal algorithm so far calls $O(n^2)$ gates. In this work, we show that this advantage is smaller than expected. In fact, we present a causal algorithm that solves the only known specific FPP with $O(n \log(n))$ queries and a causal algorithm that solves every FPP with $O(n\sqrt{n})$ queries. Besides the interest in such algorithms on their own, our results limit the expected advantage of indefinite causal structures for these problems.

研究の動機と目的

• フーリエ・プロミス問題（FPP）を解くために、量子nスイッチを用いたゲートの量子的制御順序の主張された計算的優位性を再評価すること。
• FPPのインスタンスに対して、量子nスイッチのクエリ複雑度に匹敵またはそれを上回る効率的な因果的量子アルゴリズムを開発すること。
• 不確実因果構造の指数的または二次的優位性が過大評価されていることを、近似的に最適なクエリスケーリングを示す因果的代替手法を構築することで実証すること。

提案手法

• サイズˆn = n/2のサブブロックに置換を再帰的に分解し、ブロック間での位相蓄積を可能にする。
• 各ブロックごとにˆk = n/ˆn = 2の制御キュービットを用いて置換順序を符号化し、位相蓄積を管理する。
• 二重ターゲットシステムアプローチを導入：一方のシステム|Ψk⟩が順方向の置換を処理し、もう一方のシステム|Φk⟩が逆方向の置換を処理することで、不要な相対位相をキャンセルする。
• 因子数値システムを用いて置換をラベル付けし、制御キュービット状態にマッピングすることで、体系的な位相追跡を可能にする。
• 重要な恒等式（式B.15）を導出：置換ブロックと基本置換との間の相対位相が、逆方向ブロックで反転されることを示し、キャンセルが可能になる。
• この位相キャンセル機構を複数のブロックに跨って適用することで、全置換の総位相を保持しつつ、ゲート呼び出しを最小限に抑える。

実験結果

リサーチクエスチョン

• RQ1 因果的量子アルゴリズムは、フーリエ・プロミス問題において、量子nスイッチと同等のクエリ複雑度を達成できるか？
• RQ2 因果的量子回路のみを用いてFPPを解くために必要な最小クエリ数は何か？
• RQ3 より効率的な因果的アルゴリズムが考案された場合、不確実因果順序によるFPPにおける指数的または二次的優位性は成立するか？
• RQ4 置換の構造的分解と位相キャンセルは、ゲート順序の重ね合わせの必要性を低減できるか？
• RQ5 特定および一般のFPPインスタンスにおいて、因果的アルゴリズムのクエリ複雑度はnに対してどのようにスケーリングするか？

主な発見

• 因果的アルゴリズムは、特定のFPPをO(n log n)クエリで解くことができ、従来因果回路に想定されたO(n²)の下界を著しく上回る。
• 一般の因果的アルゴリズムは、すべてのFPPをO(n√n)クエリで解くことができ、量子nスイッチの優位性が限定的であり、指数的ではないことを示している。
• 本稿では、置換の総位相を対ごとの位相αijに分解できることを証明し、体系的な位相追跡とキャンセルを可能にする。
• 順方向と逆方向のブロック間の位相キャンセル機構により、全置換のネット位相が保持されつつ、ゲート呼び出し数が削減される。
• n = 8の場合、冗長なターゲットシステムや制御キュービットを省略することで、ブラックボックスユニタリ呼び出しを56回から46回に削減し、実用的な効率性を示している。
• 結果として、FPPにおける不確実因果構造の計算的優位性は、従来の予想よりも小さいことが示され、量子優位性のシナリオにおける期待される利点が制限される。