[論文レビュー] Quantum Threshold Is Powerful

Daniel Grier, John R. Morris|arXiv (Cornell University)|Nov 7, 2024

Quantum Information and Cryptography被引用数 1

ひとこと要約

この論文は、ハミング重みがしきい値を超えるかどうかを計算する量子しきい値ゲートが、定数深さかつ多項式サイズで高い忠実度で量子ファンアウトゲートを実装できることを証明している。この構成は、ローゼンタールによる一般化トフォリゲートに関する結果を一般化し、パリティを弱く近似できる任意のゲートがファンアウトの代用として使用可能であることを示しており、定数深さ量子回路におけるしきい値ゲートとファンアウトの計算的同等性を確立している。

ABSTRACT

In 2005, Høyer and Špalek showed that constant-depth quantum circuits augmented with multi-qubit Fanout gates are quite powerful, able to compute a wide variety of Boolean functions as well as the quantum Fourier transform. They also asked what other multi-qubit gates could rival Fanout in terms of computational power, and suggested that the quantum Threshold gate might be one such candidate. Threshold is the gate that indicates if the Hamming weight of a classical basis state input is greater than some target value. We prove that Threshold is indeed powerful - there are polynomial-size constant-depth quantum circuits with Threshold gates that compute Fanout to high fidelity. Our proof is a generalization of a proof by Rosenthal that exponential-size constant-depth circuits with generalized Toffoli gates can compute Fanout. Our construction reveals that other quantum gates able to "weakly approximate" Parity can also be used as substitutes for Fanout.

研究の動機と目的

• 量子しきい値ゲートが定数深さ量子回路において多量子ビットファンアウトゲートの計算的パワーを模倣できるかどうかを特定すること。
• HøyerおよびŠpalek（2005年）およびTakahashiおよびTani（2011年）が提起した長年の未解決問題、すなわち、しきい値ゲートが低深さ量子計算における普遍的素子としての可能性を解明すること。
• 具体的には、パリティ制限付き位相ゲートと呼ばれる広範な量子ゲートクラス——特に、同じハミング重みの偶奇性を持つ文字列集合 S に制限された位相ゲート USn —— が一般化トフォリゲートと組み合わせることでファンアウトをシミュレートできることを同定すること。

提案手法

• ローゼンタールによるトフォリベースのファンアウト構成の一般化を用いて、しきい値ゲートと単一量子ビット操作からなる定数深さ量子回路を構築し、高忠実度でファンアウトを計算する。
• 「弱いパリティ」ゲート——特定の偶奇性（偶数または奇数）を持つ入力にのみ非自明に作用する位相ゲート——をキーブロックとして導入する。
• しきい値ゲートが一般化トフォリゲートをシミュレートできることを示し、これによりトフォリベースの回路技法をしきい値ベースのモデルに応用可能とする。
• 線形写像 E を用いてクイドル状態を量子ビットに符号化し、制御付き MODn,p,ℓ ゲートと順列操作を用いてモジュロ演算（例：mod-p 加算）をシミュレートする。
• 一連の制御スワップに類似した操作と順列ユニタリー操作（Uσ）を用いて、∑k k·sk mod p を計算する。ここで sk は値 k をとる入力量子ビットの数を表す。
• 得られた回路を Qp ゲートで共役することで、符号化された量子ビット上での完全なファンアウト操作を達成し、QNC0における標準的ファンアウトと同等であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 量子しきい値ゲートは定数深さかつ多項式サイズでファンアウトゲートをシミュレートできるか？
• RQ2 定数深さ量子回路の文脈において、しきい値ゲートはファンアウトゲートと同等の計算的パワーを持つと見なせるか？
• RQ3 多量子ビットゲートが定数深さモデルでファンアウトを置き換えるために必要な構造的性質は何か？
• RQ4 特定の偶奇性を持つ入力にのみ作用するパリティを弱く近似するゲート——いわゆる弱いパリティゲート——を用いて、完全なパリティまたはファンアウト操作を構築できるか？
• RQ5 弱いパリティゲートがファンアウトシミュレーションに十分であるために必要な最小限の追加ゲート（例：トフォリゲート）の集合は何か？

主な発見

• 本論文は、BQTC0 = BQNC0_wf を確立し、定数深さ量子回路における量子しきい値ゲートがファンアウトと同等の計算パワーを持つことを証明した。
• しきい値ゲートは一般化トフォリゲートをシミュレート可能であり、これによりしきい値ベースのモデルでも既存のトフォリベースの構成が利用可能になる。
• すべての文字列が同じハミング重みの偶奇性を持つ集合 S に制限された位相ゲート USn は、一般化トフォリゲートと組み合わせることでファンアウトをシミュレート可能である。
• |Sn| ≥ 2n−O(1) または |Sn| ≤ 2(1−ε)n の場合、USn ゲートのみでパリティをシミュレート可能であるが、後者の場合、超多項式サイズの回路を必要とする。
• 本構成により、すべての p > 1 に対して QNC0_wf = QNC0[p] が成り立ち、さらに QNC0_a = QNC0_wf（すべての a > 1）が成立することが示され、しきい値ベースの回路がモジュロ算術ゲートを備えた回路と同等のパワーを持つことが証明された。
• 全回路は、しきい値ゲート、単一量子ビット操作、および少数のトフォリゲートのみを用いて、符号化されたクイドル上に正確なファンアウトを実現しており、定数深さかつ多項式サイズの量子回路として実装可能である。