[論文レビュー] A Quantum Optics Argument for the #P-hardness of a Class of Multidimensional Integrals

Peter P. Rohde, Dominic W. Berry+2 more|arXiv (Cornell University)|Jul 18, 2016

Optical Network Technologies被引用数 3

ひとこと要約

本論文は、量子光学の形式を用いて、量子光学に現れる多次元積分のクラスが、行列のパーマネントに計算的に同等であることを示し、パーマネントが既に#P困難であることが知られていることから、その積分の計算が#P困難であることを確立している。ボソンサンプリングの出力振幅を特性関数を用いて位相空間で表現することで、これらの積分を評価することはパーマネントを計算することと同程度に難しいことが示され、計算複雑性理論への量子物理学に由来する新しい手法が提示された。

ABSTRACT

Matrix permanents arise naturally in the context of linear optical networks fed with nonclassical states of light. In this letter we tie the computational complexity of a class of multi-dimensional integrals to the permanents of large matrices using a simple quantum optics argument. In this way we prove that evaluating integrals in this class is extbf{\#P}-hard. Our work provides a new approach for using methods from quantum physics to prove statements in computer science.

研究の動機と目的

• 量子光学系に現れる特定の多次元積分の計算複雑性を確立すること。
• 行列パーマネントの既知の#P困難性を活用して、これらの積分の評価が#P困難であることを示すこと。
• 特に位相空間表現を用いた量子光学の道具を用いて、計算複雑性の分析に新たな手法を提供すること。
• ボソンサンプリングにおけるパーマネントに基づく形式と積分に基づく形式の間の同等性が、量子物理学と計算複雑性理論の間の相互浸透を可能にすることを示すこと。
• 特殊ケース（例：置換行列）が古典的に効率的な積分をもたらすことを示し、既知のパーマネントの複雑性結果と整合していることを確認すること。

提案手法

• 位相空間における量子光学的特性関数を用いて、線形光学的ネットワークの出力振幅を形式化する。
• Wigner関数とガウス状態表現を用いて、複素振幅αに関する多次元積分として出力状態を表現する。
• 与えられた光子数配置の確率振幅の明示的な積分表現を導出し、パーマネントに基づく形式と同等であることを示す。
• 対称化およびガウス積分の技法を用いて、積分形式と行列パーマネントとの数学的同等性を確立する。
• パーマネント計算の#P困難性が既知であることを踏まえ、対応する積分評価の#P困難性を導出する。
• 特殊ケース（例：置換行列）を分析して、積分の分離可能性を示し、古典的効率的評価が可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 量子光学の位相空間形式に現れる多次元積分の評価は、計算的に困難であるか？
• RQ2 量子光学における物理的同等性を通じて、行列パーマネントの#P困難性を対応する積分のクラスに移譲できるか？
• RQ3 積分形式の構造は、下位のパーマネントの計算複雑性をどのように反映しているか？
• RQ4 積分に特定の構造的特徴（例：分離可能性）が存在する場合、それらはパーマネントの古典的に行いやすいケースに対応するか？
• RQ5 量子光学の道具を、数学的積分に関する複雑性理論的結果を導出するために体系的に用いることができるか？

主な発見

• ボソンサンプリング出力振幅の位相空間表現から導かれる多次元積分のクラスは、最悪ケースにおいて計算が#P困難である。
• 積分形式はパーマネントに基づく形式と数学的に同等であり、パーマネントが#P困難である以上、これらの積分に対しても#P困難である。
• 置換行列の場合、積分は分離可能となり、正確に1に評価される。これは、このようなケースが古典的に効率的であることを確認しており、すべてのσに対してperm(σ) = 1であるという事実と整合的である。
• 出力確率振幅の積分表現は、|α_j|²の積と位相空間変数を含む多次元ガウス積分として与えられる。
• パーマネントと積分形式の間の同等性は正確であり、線形光学的ネットワークにおけるすべての入力状態とユニタリ変換に対して成立する。
• 本研究は、量子光学の道具が数学的問題に関する複雑性理論的記述を証明するための新しいフレームワークとして用いられることを示している。