フーリエ次元の検査で量子計算の指数的優位を示す

この論文をやさしく読む

ひとことで言うと

ブール関数のフーリエ次元が小さいかを検査する問題で、量子アルゴリズムが古典的な方法より指数的に少ない計算量で済むことを示した理論研究。

何に役立つ？

フーリエ解析に関係する性質検査で、量子計算と古典計算の理論的な必要計算量を比べる基準になる。

この研究の面白いところ

量子側のΘ(k)という結果と古典側の指数的な下界を組み合わせ、さらに古典側の上界を改善して、両者の隔たりと古典下界の鋭さを示している。

どこまで分かった？

これは特定の性質検査問題の理論的な計算量の結果であり、実機での実行時間を比較したものではない。計算量のε依存性や前提の詳細は要旨の範囲だけでは十分には分からない。

v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。

アブストラクトの日本語訳

ブール関数fのゼロでないフーリエ係数が張る部分空間の次元がkであるとき、この関数のフーリエ次元はkである。本研究は、関数のフーリエ次元が高々kであるか、それともその性質からεだけ離れているかを判定する性質検査の問題を考える。この問題に対して、計算量がΘ(k)の量子的な性質検査アルゴリズムが存在することを示す。この問題に対するGopalanらの古典的な下界Ω(2のk/2乗)と合わせると、この課題で量子計算に指数的な優位があることになる。さらに、計算量がチルダO(2のk/2乗／ε)の古典的な検査アルゴリズムを示し、従来知られていた最良の上界を改善する。これにより、先行する下界が本質的に達成可能なほど鋭いことも示す。

v1の要旨から自動生成。本文の精読・人による確認は未実施。