HHLアルゴリズム—固有スペクトルに必要な知識が主な欠点にならないのはなぜですか?
この質問は、量子位相推定とHHLアルゴリズムの続きです-必要な固有値に関する知識?。 上記の質問で、行列固有スペクトルに関する情報をHHLが考慮する必要性について質問しましたAAA。これは、HHLアルゴリズムが出てきたことを必要と固有値を持つ行列λj∈[0,1)λj∈[0,1)\lambda_j \in [0,1)正常に動作するが。 この条件に続いて、行列与えられAAA、HHLアルゴリズムを適用するために、以下の条件の1つをチェックする必要があります。 行列の固有値は、内のすべてのある[0,1)[0,1)[0,1)。 対(L,M)∈R2(L,M)∈R2(L,M) \in \mathbb{R}^2(のための下側から結合することLLLとのために上からMMM)の固有値λjλj\lambda_j行列のAAA。これらの境界は、条件1が検証されるように行列を再スケーリングするために使用できますAAA。 質問の最初のグループ:私はHHLに関する多くの論文を読みましたが、どれもこの制限について言及していませんでした。どうして?この制限は知られていますが、弱いと考えられていますか(つまり、この種の情報を入手するのは簡単です)?または、制限が不明でしたか?この制限について言及している研究論文はありますか? 次に、HHLの複雑性分析について説明します。量子システムアルゴリズムリニア:プライマー(Dervovic、Herbster、Mountney、Severini、アッシャー&Wossnig、2018)、HHL(およびいくつかの改良)の複雑さは、以下の画像に書かれています。 複雑度分析では、固有スペクトルに関する必要な知識が考慮されていません(少なくとも私は見つけられませんでした)。 考慮される行列がその固有値を分析的に推定するのに十分な特性を持っている場合はまれであり(少なくとも実際の行列では)、無視されます。 では、この答え、@DaftWullieは使用していますGershgorinの円定理を固有スペクトルの上限と下限を推定します。このアプローチの問題は、操作(O(√O(N)O(N)\mathcal{O}(N)振幅増幅が適用可能な場合)。この数の操作は、HHLの対数の複雑さを破壊します(同時に、従来のアルゴリズムよりも優れているだけです)。O(N−−√)O(N)\mathcal{O}(\sqrt{N}) 質問の2番目のグループ:複雑さに関してより良いアルゴリズムはありますか?そうでない場合、なぜHHLアルゴリズムが依然として従来のアルゴリズムよりも指数関数的に改善されているのですか?