{ "cells": [ { "cell_type": "markdown", "id": "2b1776f4-c259-494e-a33d-1ebb0459426c", "metadata": {}, "source": [ "---\n", "title: \"クリロフ量子対角化\"\n", "description: \"古典的なクリロフ法から始め、クリロフ量子対角化（KQD）について解説する。収束と資源集約性について論じられている。\"\n", "---\n", "\n", "{/* cspell:ignore Hndt longrightarrow Bigg Jörg Liesen Zdenek Strakos Yousef Saad MINRES vstar nabla */}\n", "\n", "\n", "\n", "# クリロフ量子対角化\n", "\n", "クリロフ量子対角化(KQD)についてのこのレッスンでは、以下のことにお答えします：\n", "\n", "* 一般的にクリロフ法とは何ですか？\n", "* なぜクリロフ法が有効なのか、どのような条件下で有効なのか？\n", "* 量子コンピューターはどのような役割を果たしているのか？\n", "\n", "量子計算は文献 [\\[1\\]](#references) に基づいている。\n", "\n", "以下のビデオは、古典コンピューティングにおけるクリロフ法の概要、その使用動機、そして量子コンピューティングがそのワークストリームでどのような役割を果たせるかを説明している。続くテキストでは、より詳細な説明があり、クリロフ法を古典的に、また量子コンピューターを用いて実装している。\n", "\n", "\n", "\n" ] }, { "cell_type": "markdown", "id": "a9ba88fb-734e-44d8-ada4-c588e2654921", "metadata": {}, "source": [ "\n", "\n", "## 1. クリロフ法の導入\n", "\n", "**クリロフ部分空間法は**、 **クリロフ部分空間と**呼ばれるものを中心に構築されたいくつかの手法のいずれかを指す。これらの完全なレビューはこのレッスンの範囲外であるが、参考文献 [\\[2-4\\]](#references) はすべて、より実質的な背景を与えることができる。ここでは、クリロフ部分空間とは何か、それが固有値問題を解く上でどのように、そしてなぜ有用なのか、そして最後に量子コンピューター上でどのように実装できるのかに焦点を当てる。\n", "\n" ] }, { "cell_type": "markdown", "id": "9b47a985-ec1d-41e2-8516-6cfcd7713e5f", "metadata": {}, "source": [ "**定義**対称的な正の半定値 $N\\times N$ 行列 $A$ が与えられたとき，次数 $r$ のクリロフ空間 $\\mathcal{K}^r$ は，行列 $A$ の高次のべき乗 $r-1\\leq N$ までを参照ベクトル $\\vert v \\rangle$ と掛け合わせることによって得られるベクトルによってスパンされる空間である．\n", "\n", "$$\n", "\\mathcal{K}^r = \\text{span}\\left\\{ \\vert v \\rangle, A \\vert v \\rangle, A^2 \\vert v \\rangle, ..., A^{r-1} \\vert v \\rangle \\right\\}\n", "$$\n", "\n", "上記のベクトルはクリロフ部分空間と呼ばれるものにまたがっているが、直交していると考える理由はない。多くの場合、 **グラム・シュミット直交**化と同様の反復直交化処理を用いる。ここでは、それぞれの新しいベクトルが生成されるときに他のベクトルに対して直交するように作られているため、プロセスが若干異なる。この文脈では、これを**アーノルディ反復と**呼ぶ。最初のベクトル $|v\\rangle$ から始めて、次のベクトル $A|v\\rangle$ を生成し、 $|v\\rangle$ への投影を減算することによって、この2番目のベクトルが最初のベクトルと直交することを保証する。つまり\n", "\n", "$$\n", "\\begin{aligned}\n", "|v_0\\rangle &=\\frac{|v\\rangle}{\\left|\\left| |v\\rangle \\right|\\right|}\\\\\n", "\n", "|v_1\\rangle &=\\frac{A|v\\rangle-\\langle v_0|A|v\\rangle |v_0\\rangle}{\\left|\\left|A|v\\rangle-\\langle v_0|A|v\\rangle |v_0\\rangle \\right|\\right|}\n", "\\end{aligned}\n", "$$\n", "\n", "$|v_0\\rangle \\perp |v_1\\rangle$ であることが、今や容易に理解できる。なぜなら、\n", "\n", "$$\n", "\\langle v_0 | v_1\\rangle=\\frac{\\langle v_0 | A|v\\rangle-\\langle v_0 |A|v\\rangle\\langle v_0|v_0\\rangle}{\\left|\\left| A|v\\rangle-\\langle A|v\\rangle|v_0\\rangle |v_0\\rangle \\right|\\right|}=0\n", "$$\n", "\n", "次のベクトルも同様に、前の2つのベクトルと直交するようにする：\n", "\n", "$$\n", "|v_2\\rangle=\\frac{A |v_1\\rangle-\\langle v_0|A |v_1\\rangle |v_0\\rangle-\\langle v_1|A |v_1\\rangle |v_1\\rangle}{\\left|\\left| A |v_1\\rangle-\\langle v_0|A |v_1\\rangle |v_0\\rangle-\\langle v_1|A |v_1\\rangle |v_1\\rangle\\right|\\right|}\n", "$$\n", "\n", "このプロセスをすべてのベクトル（ $r$ ）について繰り返すと、クリロフ空間の完全な正規直交基底ができる。 $m$ 直交ベクトルは必然的に全空間にまたがるので、ここでの直交化処理は一度 $r>m$、ゼロになることに注意。また、 $A$ の固有ベクトルとなるベクトルがあれば、それ以降のベクトルはすべてそのベクトルの倍数となるため、この処理はゼロとなる。\n", "\n" ] }, { "cell_type": "markdown", "id": "5351576c-bc3c-4e21-8839-9c14eb10747f", "metadata": {}, "source": [ "\n", "\n", "### 1.1 簡単な例：手計算によるクリロフ\n", "\n", "ここで、些細に小さな行列に対するクリロフ部分空間の生成の過程を、ステップを踏んで見てみよう。 $A$ の初期行列から始める：\n", "\n", "$$\n", "A=\\begin{pmatrix}4&-1&0\\\\-1&4&-1\\\\0&-1&4\\end{pmatrix}\n", "$$\n", "\n", "この小さな例では、手作業でも簡単に固有ベクトルと固有値を求めることができる。ここでは数値解を示す。\n", "\n" ] }, { "cell_type": "code", "execution_count": null, "id": "49017c87-a971-4d2d-b6dc-b8ec9b64184a", "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "The eigenvalues are [2.58578644 4. 5.41421356]\n", "The eigenvectors are [[ 5.00000000e-01 -7.07106781e-01 5.00000000e-01]\n", " [ 7.07106781e-01 1.37464400e-16 -7.07106781e-01]\n", " [ 5.00000000e-01 7.07106781e-01 5.00000000e-01]]\n" ] } ], "source": [ "# One might use linalg.eigh here, but later matrices may not be Hermitian. So we use\n", "# linalg.eig in this lesson.\n", "\n", "import numpy as np\n", "\n", "A = np.array([[4, -1, 0], [-1, 4, -1], [0, -1, 4]])\n", "eigenvalues, eigenvectors = np.linalg.eig(A)\n", "print(\"The eigenvalues are \", eigenvalues)\n", "print(\"The eigenvectors are \", eigenvectors)" ] }, { "cell_type": "markdown", "id": "a0f96bc7-fef9-48c7-858a-5b44772d710f", "metadata": {}, "source": [ "後で比較するために、ここに記録しておく：\n", "\n", "$$\n", "\\begin{aligned}\n", "a_0&=2.59,&|0\\rangle&=&\\begin{pmatrix}1/2\\\\-\\sqrt{2}/2\\\\1/2\\end{pmatrix}\\\\\n", "\\\\\n", "a_1&=4,&|1\\rangle&=&\\begin{pmatrix}\\sqrt{2}/2\\\\0\\\\-\\sqrt{2}/2\\end{pmatrix}\\\\\n", "\\\\\n", "a_2&=5.41,&|2\\rangle&=&\\begin{pmatrix}1/2\\\\\\sqrt{2}/2\\\\1/2\\end{pmatrix}\n", "\\end{aligned}\n", "$$\n", "\n" ] }, { "cell_type": "markdown", "id": "7f237ba1-d380-4553-b5bc-94422b4f39c1", "metadata": {}, "source": [ "クリロフ部分空間 $r$ の次元を大きくするにつれて、このプロセスがどのように機能するか（あるいは機能しないか）を研究したい。そのために、このプロセスを適用する：\n", "\n", "* ランダムに選ばれたベクトル $|v\\rangle$ （上記のようにすでに正規化されている場合は $|v_0\\rangle$ ）と呼ぶ）から始まる完全なベクトル空間の部分空間を生成する。\n", "* その部分空間に完全行列 $A$ を射影し，その射影行列 $\\tilde{A}$ の固有値を求める．\n", "* グラム・シュミット直交化に似たプロセスで、正規直交であることを保証しながら、より多くのベクトルを生成して部分空間のサイズを大きくする。\n", "* $A$ をより大きな部分空間に投影し、その結果得られる行列の固有値 $\\tilde{A}$ を求める。\n", "* これを固有値が収束するまで（あるいはこのおもちゃのケースでは、元の行列 $A$ の全ベクトル空間にまたがるベクトルが生成されるまで）繰り返す。\n", "\n", "クリロフ法の通常の実装では、クリロフ部分空間を構築するたびに、その部分空間に射影された行列の固有値問題を解く必要はない。希望する次元の部分空間を構成し、その部分空間に行列を射影し、射影行列を対角化することができる。各サブスペース次元での投影と対角化は、収束をチェックするためだけに行われる。\n", "\n", "\n", "\n", "#### $r=1$ の寸法：\n", "\n", "ランダムなベクトルを選ぶ\n", "\n", "$$\n", "|v_0\\rangle=\\begin{pmatrix}1\\\\0\\\\0\\end{pmatrix}\n", "$$\n", "\n", "まだ正規化されていない場合は、正規化する。\n", "\n", "ここで、行列 $A$ をこの1つのベクトルの部分空間に射影する：\n", "\n", "$$\n", "\\tilde{A}_0=\\langle v_0| A|v_0\\rangle=\\begin{pmatrix}1&0&0\\end{pmatrix}\\begin{pmatrix}4&-1&0\\\\-1&4&-1\\\\0&-1&4\\end{pmatrix}\\begin{pmatrix}1\\\\0\\\\0\\end{pmatrix}=(4)\n", "$$\n", "\n", "これは、クリロフ部分空間への行列の射影であり、この部分空間にはベクトル $|v_0\\rangle$ が1つだけ含まれている。この行列の固有値はトリビュラルに4である。これは、 $A$ の固有値（この場合は1つだけ）の0次推定値と考えることができる。稚拙な推定値ではあるが、桁としては正しい。\n", "\n" ] }, { "cell_type": "markdown", "id": "a0eeb9b1-86a5-4bc8-8651-66588aea7686", "metadata": {}, "source": [ "\n", "\n", "#### $r=2$ の寸法：\n", "\n", "$A$、前のベクトルに対して次のベクトルを生成する：\n", "\n", "$$\n", "A|v_0\\rangle=\\begin{pmatrix}4&-1&0\\\\-1&4&-1\\\\0&-1&4\\end{pmatrix}\\begin{pmatrix}1\\\\0\\\\0\\end{pmatrix}=\\begin{pmatrix}4\\\\-1\\\\0\\end{pmatrix}\n", "$$\n", "\n", "ここで、直交性を確保するために、このベクトルの前のベクトルへの射影を差し引く。\n", "\n", "$$\n", "|v_1\\rangle=A|v_0\\rangle-\\langle v_0 |A|v_0\\rangle|v_0\\rangle\n", "$$\n", "\n", "$$\n", "|v_1\\rangle=\\begin{pmatrix}4\\\\-1\\\\0\\end{pmatrix}-\\begin{pmatrix}1& 0& 0\\end{pmatrix}\\begin{pmatrix}4\\\\-1\\\\0\\end{pmatrix}\\begin{pmatrix}1\\\\0\\\\0\\end{pmatrix}=\\begin{pmatrix}0\\\\-1\\\\0\\end{pmatrix}\n", "$$\n", "\n", "まだ正規化されていない場合は、正規化する。この場合、ベクトルはすでに正規化されている\n", "\n", "$$\n", "|v_1\\rangle=\\begin{pmatrix}0\\\\-1\\\\0\\end{pmatrix}\n", "$$\n", "\n", "ここで、行列Aをこれら2つのベクトルの部分空間に射影する：\n", "\n", "$$\n", "\\tilde{A}_1= \\begin{pmatrix} 1&0&0\\\\0&-1&0 \\end{pmatrix} \\begin{pmatrix}4&-1&0\\\\-1&4&-1\\\\0&-1&4\\end{pmatrix}\\begin{pmatrix}1&0\\\\0&-1\\\\0&0\\end{pmatrix}=\\begin{pmatrix}1&0&0\\\\0&-1&0\\end{pmatrix}\\begin{pmatrix}4&1\\\\-1&-4\\\\0&1\\end{pmatrix}=\\begin{pmatrix}4&1\\\\1&4\\end{pmatrix}\n", "$$\n", "\n", "この行列の固有値を求める問題が残っている。しかし、このマトリックスはフルマトリックスよりもわずかに小さい。非常に大きな行列を含む問題では、この小さな部分空間で作業することが非常に有利になることがある。\n", "\n", "$$\n", "\\det(\\tilde{A_1}-\\lambda I)=0\n", "$$\n", "\n", "$$\n", "\\begin{vmatrix} 4-\\lambda&1\\\\1&4-\\lambda\\end{vmatrix} =(4-\\lambda)^2-1=0\n", "$$\n", "\n", "$$\n", "4-\\lambda=±1→\\lambda=3,5\n", "$$\n", "\n", "これはまだ良い推定値とは言えないが、0次推定値よりは良い。プロセスが明確であることを確認するため、もう1度、この反復を実施する。なぜなら、次の反復で 3x3 行列を対角化することになり、時間も計算量も節約できないからである。\n", "\n" ] }, { "cell_type": "markdown", "id": "43ef6c6d-ba18-4e8f-94df-83c404d0015a", "metadata": {}, "source": [ "\n", "\n", "#### $r=3$ の寸法：\n", "\n", "ここで、前のベクトルに対してAを操作して、部分空間の次のベクトルを生成する：\n", "\n", "$$\n", "A|v_1\\rangle=\\begin{pmatrix}4&-1&0\\\\-1&4&-1\\\\0&-1&4\\end{pmatrix}\\begin{pmatrix}0\\\\-1\\\\0\\end{pmatrix}=\\begin{pmatrix}1\\\\-4\\\\1\\end{pmatrix}\n", "$$\n", "\n", "ここで、直交性を確保するために、このベクトルを前のベクトル両方に射影したものを差し引く。\n", "\n", "$$\n", "\\begin{aligned}\n", "|v_2\\rangle&=A|v_1\\rangle-\\langle v_0 |A|v_1\\rangle|v_0\\rangle-\\langle v_1 |A|v_1\\rangle|v_1\\rangle\\\\\n", "|v_2\\rangle&=\\begin{pmatrix}1\\\\-4\\\\1\\end{pmatrix}-\\begin{pmatrix}1& 0& 0 \\end{pmatrix}\\begin{pmatrix}1\\\\-4\\\\1\\end{pmatrix}\\begin{pmatrix}1\\\\0\\\\0\\end{pmatrix}-\\begin{pmatrix}0&-1& 0\\end{pmatrix}\\begin{pmatrix}1\\\\-4\\\\1\\end{pmatrix}\\begin{pmatrix}0\\\\-1\\\\0\\end{pmatrix}=\\begin{pmatrix}0\\\\0\\\\1\\end{pmatrix}\n", "\\end{aligned}\n", "$$\n", "\n", "まだ正規化されていない場合は、正規化する。この場合、ベクトルはすでに正規化されている\n", "\n", "$$\n", "|v_2 \\rangle=\\begin{pmatrix}0\\\\0\\\\1\\end{pmatrix}\n", "$$\n", "\n", "ここで、行列 $A$ をこれらのベクトルの部分空間に射影する：\n", "\n", "$$\n", "\\tilde{A}_2=\\begin{pmatrix}1&0&0\\\\0&-1&0\\\\0&0&1\\end{pmatrix}\\begin{pmatrix}4&-1&0\\\\-1&4&-1\\\\0&-1&4\\end{pmatrix}\\begin{pmatrix}1&0&0\\\\0&-1&0\\\\0&0&1\\end{pmatrix}=\\begin{pmatrix}4&-1&0\\\\1&-4&1\\\\0&-1&4\\end{pmatrix}\\begin{pmatrix}1&0&0\\\\0&-1&0\\\\0&0&1\\end{pmatrix}=\\begin{pmatrix}4&1&0\\\\1&4&1\\\\0&1&4\\end{pmatrix}\n", "$$\n", "\n" ] }, { "cell_type": "markdown", "id": "5f19b90b-93fa-4ccb-b8a2-3bbd55e4dab0", "metadata": {}, "source": [ "ここで固有値を決定する：\n", "\n", "$$\n", "\\det(\\tilde{A}_2-\\lambda I)=0\n", "$$\n", "\n", "$$\n", "\\begin{vmatrix}4-\\lambda&1&0\\\\1&4-\\lambda&1\\\\0&1&4-\\lambda\\end{vmatrix} = (4-\\lambda)((4-\\lambda)^2-1)-(4-\\lambda)=0\\\\\n", "$$\n", "\n", "$$\n", "4-\\lambda=0,4-\\lambda=±2^{1/2}→\\lambda=4-2^{1/2},4,4+2^{1/2}≈2.59,4,5.41\n", "$$\n", "\n", "これらの固有値は、まさに元の行列 $A$ の固有値です。クリロフ部分空間は，元の行列 $A$ のベクトル空間全体にまたがるように拡張されているので，このようになるに違いない．\n", "\n", "この例では、クリロフ法は直接対角化よりも特に簡単には見えないかもしれない。実際、後の節で述べるように、クリロフ法が有利なのはある行列次元以上だけである。これは、非常に大きな行列の固有値／固有ベクトル問題を解くのに役立つことを目的としている。\n", "\n", "![非常に大きな行列をクリロフ部分空間に投影した画像。つまり、左側に行列を作るクリロフ・ベクトルの行、ハミルトニアン、右側にクリロフ・ベクトルの列がある。](https://eu-de.quantum.cloud.ibm.com/learning/images/courses/quantum-diagonalization-algorithms/krylov/kqd-fig1.avif)\n", "\n", "これは \"手で \"作業した唯一の例であるが、以下のセクション2には計算例を示す。\n", "\n", "\n", "\n", "#### 用語の明確化\n", "\n", "よくある誤解は、与えられた問題に対するクリロフ部分空間は1つしかないというものだ。しかしもちろん、我々の行列を適用できる初期ベクトルは多数存在するので、可能なクリロフ部分空間も多数存在する。クリロフ部分空間 **」という**表現は、特定の例についてすでに定義された特定のクリロフ部分空間を指す場合にのみ使用する。一般的な問題解決アプローチについては、「**a** クリロフ部分空間」を参照する。\n", "最後に明確にしておきたいのは、\"クリロフ**空間** \"という言い方が有効だということだ。初期空間から部分空間への行列の射影という文脈で使われるため、「クリロフ**部分空間** 」と呼ばれることも多い。その文脈に沿って、ここではほとんど亜空間と呼ぶことにする。\n", "\n" ] }, { "cell_type": "markdown", "id": "f3117328-61e0-45a2-b8f2-05356d210fae", "metadata": {}, "source": [ "\n", "\n", "#### 理解度チェック\n", "\n", "なぜ(a)クリロフ部分空間 $r$ の次元を、注目する行列の次元 $N$ 以上に拡張することが有用でなく、(b)不可能なのかを説明せよ。\n", "\n", "\n", " \n", " (a) ベクトルを生成する際に直交正規化を行っているため、 $N$ 個のそのようなベクトルの集合は完全基底を成す。つまり、それらの線形結合を用いることで、その空間内の任意のベクトルを生成することができる。\n", "\n", " (b) 直交化のプロセスは、新しいベクトルのすべての先行するベクトルへの射影を差し引くことから成る。もし、それまでのすべてのベクトルがベクトル空間全体を張っているならば、部分空間全体への射影を引いても、常に零ベクトルが残ることになる。\n", " \n", "\n", "\n", "ある研究者が、小さなおもちゃのような行列にクリロフ法を適用して実演しているとしよう。行列 $A$ と初期ベクトル $|\\psi\\rangle$ の選択に何か問題があるのでしょうか？\n", "\n", "$$\n", "A=\\begin{pmatrix}2&1&3\\\\1&2&3\\\\3&3&5\\end{pmatrix}\n", "$$\n", "\n", "および\n", "\n", "$$\n", "|\\psi\\rangle=\\frac{1}{\\sqrt{2}}\\begin{pmatrix}1\\\\-1\\\\0\\end{pmatrix}.\n", "$$\n", "\n", "\n", " \n", " あなたの同僚は誤って初期ベクトルに固有ベクトルを選んでしまった。初期ベクトルに対して行列を作用させると、同じベクトルを固有値でスケーリングして返すだけである。これでは、次元が増加する部分空間は生成されない。同僚に、異なる初期ベクトルを選ぶように助言し、それが固有ベクトルでないことを確認する。\n", " \n", "\n", "\n", "与えられた行列にクリロフ法を適用し、適切な新しい初期ベクトルを選択する。あなたのクリロフ部分空間の0次および1次における最小固有値の推定値を書き出してください。\n", "\n", "$$\n", "A=\\begin{pmatrix}1&1&0\\\\1&1&1\\\\0&1&1\\end{pmatrix}\n", "$$\n", "\n", "\n", " \n", " 初期ベクトルの選択によって、多くの答えが考えられる。私たちはそれを選ぶ：\n", "\n", " $$\n", " |v_0\\rangle=\\frac{1}{\\sqrt{3}}\\begin{pmatrix}1\\\\1\\\\1\\end{pmatrix}.\n", " $$\n", "\n", " $|v_1\\rangle$ を得るには、 $|v_0\\rangle$ に $A$ を一度適用し、次に $|v_1\\rangle$ を $|v_0\\rangle$ に対して直交させる。\n", "\n", " $$\n", " A|v_0\\rangle=\\begin{pmatrix}1&1&0\\\\1&1&1\\\\0&1&1\\end{pmatrix}\\frac{1}{\\sqrt{3}}\\begin{pmatrix}1\\\\1\\\\1\\end{pmatrix} = \\frac{1}{\\sqrt{3}}\\begin{pmatrix}2\\\\3\\\\2\\end{pmatrix}\n", " $$\n", "\n", " $$\n", " A|v_0\\rangle - \\langle v_0|A|v_0\\rangle |v_0\\rangle=\\frac{1}{\\sqrt{3}}\\begin{pmatrix}2\\\\3\\\\2\\end{pmatrix} - \\frac{1}{\\sqrt{3}}\\begin{pmatrix}1&1&1\\end{pmatrix}\\frac{1}{\\sqrt{3}}\\begin{pmatrix}2\\\\3\\\\2\\end{pmatrix}\\frac{1}{\\sqrt{3}}\\begin{pmatrix}1\\\\1\\\\1\\end{pmatrix} = \\frac{1}{\\sqrt{3}}\\begin{pmatrix}2\\\\3\\\\2\\end{pmatrix}-\\frac{7}{3}\\frac{1}{\\sqrt{3}}\\begin{pmatrix}1\\\\1\\\\1\\end{pmatrix}=\\sqrt{\\frac{3}{2}}\\begin{pmatrix}-1/3\\\\2/3\\\\-1/3\\end{pmatrix}\n", " $$\n", "\n", " 0次では、クリロフ部分空間への射影は次のようになる\n", "\n", " $$\n", " \\langle v_0|A|v_0\\rangle=\\frac{1}{\\sqrt{3}}\\begin{pmatrix}1&1&1\\end{pmatrix} \\begin{pmatrix}1&1&0\\\\1&1&1\\\\0&1&1\\end{pmatrix} \\frac{1}{\\sqrt{3}}\\begin{pmatrix}1\\\\1\\\\1\\end{pmatrix} = \\frac{7}{3}\n", " $$\n", "\n", " 1次では、このクリロフ部分空間への射影は次のようになる\n", "\n", " $$\n", " \\langle V^1|A|V^1\\rangle=\\begin{pmatrix}\\frac{1}{\\sqrt{3}}&\\frac{1}{\\sqrt{3}}&\\frac{1}{\\sqrt{3}}\\\\-\\sqrt{\\frac{1}{6}}&\\sqrt{\\frac{2}{3}}&-\\sqrt{\\frac{1}{6}}\\end{pmatrix} \\begin{pmatrix}1&1&0\\\\1&1&1\\\\0&1&1\\end{pmatrix} \\begin{pmatrix}\\frac{1}{\\sqrt{3}}&-\\sqrt{\\frac{1}{6}}\\\\\\frac{1}{\\sqrt{3}}& \\sqrt{\\frac{2}{3}} \\\\ \\frac{1}{\\sqrt{3}}&-\\sqrt{\\frac{1}{6}}\\end{pmatrix}\n", " $$\n", "\n", " これは手作業でもできるが、numpyを使うのが最も簡単である：\n", "\n", " ```python\n", " import numpy as np\n", " vstar = np.array([[1/np.sqrt(3),1/np.sqrt(3),1/np.sqrt(3)],[-1/np.sqrt(6),np.sqrt(2/3),-1/np.sqrt(6)]]\n", " )\n", " A = np.array([[1, 1, 0],\n", " [1, 1, 1],\n", " [0, 1, 1]])\n", " v = np.array([[1/np.sqrt(3),-1/np.sqrt(6)],[1/np.sqrt(3),np.sqrt(2/3)],[1/np.sqrt(3),-1/np.sqrt(6)]])\n", " proj = vstar@A@v\n", " print(proj)\n", " eigenvalues, eigenvectors = np.linalg.eig(proj)\n", " print(\"The eigenvalues are \", eigenvalues)\n", " print(\"The eigenvectors are \", eigenvectors)\n", " ```\n", "\n", " outputs:\n", "\n", " ```python\n", " [[ 2.33333333 0.47140452]\n", " [ 0.47140452 -0.33333333]]\n", " The eigenvalues are [ 2.41421356 -0.41421356]\n", " The eigenvectors are [[ 0.98559856 -0.16910198]\n", " [ 0.16910198 0.98559856]]\n", " ```\n", "\n", " 最小固有値の推定値は -0.414 である。\n", " \n", "\n", "\n" ] }, { "cell_type": "markdown", "id": "5a4f969e-d346-485a-9e4c-a04dbc9492e9", "metadata": {}, "source": [ "\n", "\n", "### 1.2 クリロフ法の種類\n", "\n", "「クリロフ部分空間法」は、大規模な線形システムや固有値問題を解くために使われる、いくつかの反復技法のいずれかを指す。これらに共通するのは、クリロフ部分空間から近似解を構成することである\n", "\n", "$\\mathcal{K}^r(A,|v\\rangle ) = \\text{span}\\{|v\\rangle, A|v\\rangle, A^2|v\\rangle, ..., A^{r-1}|v\\rangle\\},$\n", "\n", "ここで、 $|v\\rangle$ は初期推測値である（文献 [\\[5\\]](#references) を参照）。収束率、メモリ使用量、全体的な計算コストなどの要素をバランスさせながら、この部分空間から最適な近似を選択する方法が異なる。このレッスンの焦点は、クリロフ部分空間法の文脈で量子コンピューティングを活用することである。以下の簡単な定義は、あくまでも文脈のためのものであり、これらの方法をさらに調べるための参考文献も含まれている。\n", "\n", "**共役勾配（CG）法** ：この方法は、対称な正定値線形システムを解くために使用される [\\[6\\]](#references)。これは、各反復における誤差のAノルムを最小化し、離散化楕円型PDEから生じる系に特に効果的です [\\[7\\]](#references)。次のセクションでは、このアプローチを使って、なぜクリロフ部分空間が線形システムの解の改善を探るのに効果的な部分空間なのかを説明する。\n", "\n", "**一般化最小残差（GMRES）法** ：これは、一般的な非対称線形システムを解くために設計されています。これは、各反復においてクリロフ空間上の残差ノルムを最小化するもので、ロバストであるが、大規模なシステムではメモリを消費する可能性がある [\\[7\\]](#references)。\n", "\n", "**最小残差(MINRES)法** ：この方法は、対称不定一次方程式を解くのに用いられる。 GMRESと似ていますが、行列の対称性を利用して計算コストを削減します [\\[8\\]](#references)。\n", "\n", "その他の注目すべきアプローチには、固有値問題に対するArnoldiの手法と密接な関係にある**完全直交化法（FOM）**、 **両共役勾配法（ BiCG** ）、 **誘導次元削減法（IDR）などが**ある。\n", "\n" ] }, { "cell_type": "markdown", "id": "774fa41b-9fbb-46cc-9c64-37f7a008e161", "metadata": {}, "source": [ "\n", "\n", "### 1.3 クリロフ部分空間法が機能する理由\n", "\n", "ここでは、クリロフ部分空間法が、最急降下法というレンズを通して、固有ベクトル近似の反復精密化を通して行列固有値を近似する効率的な方法であることを動機づける。基底状態の初期推測が与えられたとき、その初期推測に対する連続的な補正のうち、最速の収束をもたらす空間はクリロフ部分空間であることを論じる。収束動作の厳密な証明には至っていない。\n", "\n", "注目の行列 $A$ が対称かつ正定値であると仮定する。このため、我々の議論は上記のCG方式に最も適している。また、 $A$ がエルミートでなければならないと主張しているわけでもない（ハミルトニアンであればそうである必要がある）。\n", "\n", "私たちは通常、次のような形式の問題を解きたいと考える\n", "\n", "$$\n", "A|x\\rangle=|b\\rangle.\n", "$$\n", "\n", "$|b\\rangle=c|x\\rangle$ ここで、 $c$ は固有値問題のようにある定数である。しかし、今のところ、我々の問題提起はより一般的なものにとどまっている。\n", "\n", "まず、近似解であるベクトル $|x_0\\rangle$ から始めます。この推測 $|x_0\\rangle$ と、セクション 1.1 にある $|v_0\\rangle$ との間には類似点がありますが、ここではこれらを活用していません。 $|x_0\\rangle$ にはエラーがあると思われます。このエラーを $|e_0\\rangle$ と呼んでいます：\n", "\n", "$$\n", "|e_0\\rangle:=|x\\rangle−|x_0\\rangle.\n", "$$\n", "\n", "また、残差 $R_0$ を次のように定義する：\n", "\n", "$$\n", "|R_0\\rangle=|b\\rangle−A|x_0\\rangle.\n", "$$\n", "\n", "ここでは、クリロフ部分空間 $r$ の次元と残差を区別するために、大文字の $R$。\n", "\n", "![x とラベル付けされた真の固有ベクトル、x₀ とラベル付けされた推定値、およびこれら2つの間の誤差を表すグラフ。](https://eu-de.quantum.cloud.ibm.com/learning/images/courses/quantum-diagonalization-algorithms/krylov/kqd-fig2.avif)\n", "\n", "ここで、次のような補正を加えたい\n", "\n", "$$\n", "|x_1\\rangle=|x_0\\rangle+|p_0\\rangle,\n", "$$\n", "\n", "これは私たちの近似値を向上させるものである。ここで $|p_0\\rangle$、まだ決定していないベクトルがある。修正後の誤差を $|e_1\\rangle$ とする。結果\n", "\n", "$$\n", "|e_1\\rangle=|x\\rangle−|x_1\\rangle=|x\\rangle−(|x_0\\rangle+|p_0\\rangle)=|e_0\\rangle−|p_0\\rangle.\n", "$$\n", "\n", "真![の固有ベクトルと、初期推定値の更新値。更新された推定値は、真の固有ベクトルにより近い。](https://eu-de.quantum.cloud.ibm.com/learning/images/courses/quantum-diagonalization-algorithms/krylov/kqd-fig3.avif)\n", "\n", "私たちは、私たちの誤差が私たちの行列によって変換されたときにどのように振る舞うかに興味がある。そこで、誤差の $A$ -normを計算してみよう。それは\n", "\n", "$$\n", "\\begin{aligned}\n", "∥|e_0\\rangle−|p_0\\rangle∥_A^2&=\\left(\\langle e_0|A−\\langle p_0|A\\right)\\left(|e_0\\rangle−|p_0\\rangle\\right)\\\\\n", " & = \\langle e_0|A|e_0 \\rangle − \\langle e_0|A|p_0\\rangle − \\langle p_0|A|e_0\\rangle+\\langle p_0|A|p_0\\rangle\\\\\n", " & = \\langle e_0|A|e_0\\rangle−2\\langle e_0|A|p_0\\rangle+\\langle p_0|A|p_0\\rangle\\\\\n", " & = d−2\\langle R_0|p_0\\rangle +\\langle p_0|A|p_0\\rangle,\n", " \\end{aligned}\n", "$$\n", "\n", "ここでは、 $A$ という対称性、および $A |e_0\\rangle = |R_0\\rangle$ という関係式を利用している。ここで、 $d$ は $|p_0\\rangle$ とは無関係な定数である。セクション 1.2 で述べたように、誤差の $A$ ノルムは、最小化の対象として選択できる唯一の量ではないが、適切な量の一つである。この量が、補正ベクトル $|p_0\\rangle$ の選択によってどのように変化するかを確認したい。そこで、次のように設定して、関数 $f$ を定義する\n", "\n", "$$\n", "f(|p_0\\rangle)=\\langle p_0|A|p_0\\rangle−2\\langle R_0|p_0\\rangle+d.\n", "$$\n", "\n", "$f$ は、 $A$ -normで測定された補正 $|p_0\\rangle$ の関数としての誤差 $|e_1\\rangle$。したがって、 $f(|p_0\\rangle)$ ができるだけ小さくなるように、 $|p_0\\rangle$ を選びたい。この目的のために、 $f$ の勾配を計算する。 $A$ の対称性を用いると、次のようになる\n", "\n", "$$\n", "\\nabla f(|p_0\\rangle) = 2(A|p_0\\rangle−|R_0\\rangle).\n", "$$\n", "\n", "勾配は上昇が最も急な方向を指しており、つまりその反対方向が、関数が最も減少する方向、すなわち**下降が最も急な**方向となります。初期の推測として、 $|x_0\\rangle$ （ここで、 $|p_0\\rangle=0$ ）とすると、\n", "$\\nabla f(0) = -2|R_0\\rangle$ が成り立つ。\n", "したがって、関数 $f$ は、残差 $|R_0\\rangle$ の方向で最も減少する。したがって、あるスカラー $\\alpha_0$ に対して、ベクトル $|p_0\\rangle=\\alpha_0 |R_0\\rangle$ を加えることで、この初期の選択が最も恩恵を受けることになる。\n", "\n", "次のステップでは、やはりベクトル $|p_1\\rangle$、その値を現在の近似値に加える。先ほどと同じ論法で、あるスカラー $\\alpha_1$ に対して $|p_1\\rangle = \\alpha_1 |R_1\\rangle$ を選ぶ。このように続けると、 $k^\\text{th}$ の反復ベクトルは次のようになる\n", "\n", "$$\n", "|x_{k+1}\\rangle=|x_0\\rangle+\\alpha_0 |R_0\\rangle+\\alpha_1 |R_1\\rangle+⋯+\\alpha_k |R_k\\rangle.\n", "$$\n", "\n", "同様に、 $|R_0\\rangle$、 $|R_1\\rangle$、...と順番に追加していくことで、改善された推定値を選択する空間を構築したい。 $k^\\text{th}$ 推定されたベクトルは次のようになる\n", "\n", "$$\n", "|x_{k+1}\\rangle\\in |x_0\\rangle+\\text{span}\\{|R_0\\rangle,|R_1\\rangle,…,|R_k\\rangle \\}.\n", "$$\n", "\n", "さて、次の関係を使う\n", "\n", "$$\n", "|R_{k+1}\\rangle=|b\\rangle−A |x_{k+1}\\rangle=|b\\rangle−A(|x_k\\rangle+\\alpha_k |R_k\\rangle)=|R_k\\rangle−\\alpha_k A |R_k\\rangle,\n", "$$\n", "\n", "つまり\n", "\n", "$$\n", "\\text{span} \\{|R_0\\rangle,|R_1\\rangle,…,|R_k\\rangle \\}=\\text{span} \\{|R_0\\rangle,A|R_0\\rangle,…,A^{k}|R_0\\rangle \\}.\n", "$$\n", "\n", "つまり、正しい解 $|x\\rangle$ を最も効率的に近似する空間は、行列 $A$ を $|R_0\\rangle$ に対して順次作用させることによって構築される空間とまったく同じである。クリロフ部分空間とは\\*、\\* 最急降下法の各段階の方向ベクトルによって張られる空間のことである。\n", "\n", "最後に、我々はこのアプローチのスケーリングについて数値的な主張をしていないこと、また疎行列に対する比較的な利点について議論していないことを再確認する。これは、クリロフ部分空間法を使う動機付けと、直感的な感覚を加えることだけを意図している。ここで、これらの方法の数値的な挙動を探ってみることにする。\n", "\n" ] }, { "cell_type": "markdown", "id": "2df5e11f-62fe-4237-bcaf-36dcc88f11a7", "metadata": {}, "source": [ "\n", "\n", "#### 理解度チェック\n", "\n", "上記のワークフローでは、誤差の $A$ -normを最小化することを提案した。基底状態とその固有値を求める際に、他にどのような量を最小化することが考えられるか？\n", "\n", "\n", " \n", " 誤差の $A$ -normの代わりに残差ベクトルを使うことも考えられる。誤差ベクトルそのものを考慮することが有用な場合もあるだろう。\n", " \n", "\n", "\n" ] }, { "cell_type": "markdown", "id": "56bcf069-b3b5-4c51-b91f-7e9bb62c5c94", "metadata": {}, "source": [ "\n", "\n", "## 2. クラシカル計算におけるクリロフ法\n", "\n", "このセクションでは、固有値問題を解く際にクリロフ部分空間を活用できるように、アーノルディ反復を計算機的に実装する。まず小規模な例でこれを適用し、次に対象となる行列のサイズが大きくなるにつれて、計算時間がどのようにスケーリングするかを検証する。ここでの重要な考え方は、クリロフ空間にまたがるベクトルの生成が、必要な総計算時間に大きく寄与するということである。必要なメモリは、特定のクリロフ法によって異なる。しかし、メモリの制約により、従来のクリロフ法の使用が制限されることがある。\n", "\n" ] }, { "cell_type": "markdown", "id": "952459b6-75dd-4044-8cec-7004fbc48ddf", "metadata": {}, "source": [ "\n", "\n", "### 2.1 単純な小規模な例\n", "\n", "クリロフ部分空間を作る過程で、部分空間内のベクトルを正規直交化する必要がある。私たちの部分空間 `vknown` （正規化されているとは仮定していない）から確立されたベクトルと、私たちの部分空間 `vnext` に追加する候補ベクトルを取り、 `vnext` を `vknown` に直交させ、正規化する関数を定義しよう。さらに、クリロフ部分空間内のすべての確立されたベクトルに対して、このプロセスを段階的に実行する関数を定義して、完全に正規直交する集合を保証しよう。\n", "\n" ] }, { "cell_type": "code", "execution_count": null, "id": "fb4f96ea-906c-4819-a9cb-8e9409cac051", "metadata": {}, "outputs": [], "source": [ "# vknown is some established vector in our subspace. vnext is one we wish to add,\n", "# which must be orthogonal to vknown.\n", "\n", "\n", "def orthog_pair(vknown, vnext):\n", " vknown = vknown / np.sqrt(vknown.T @ vknown)\n", " diffvec = vknown.T @ vnext * vknown\n", " vnext = vnext - diffvec\n", " return vnext\n", "\n", "\n", "# v is the candidate vector to be added to our subspace. s is the existing subspace.\n", "\n", "\n", "def orthoset(v, s):\n", " v = v / np.sqrt(v.T @ v)\n", " temp = v\n", " for i in range(len(s)):\n", " temp = orthog_pair(s[i], temp)\n", " v = temp / np.sqrt(temp.T @ temp)\n", " return v" ] }, { "cell_type": "markdown", "id": "61a2704e-3985-4bd4-a9a9-253cc96c708b", "metadata": {}, "source": [ "ここで、クリロフベクトルの空間が元の行列の全空間に及ぶまで、繰り返しより大きなクリロフ部分空間を構築する関数を定義しよう。これにより、クリロフ部分空間の次元の関数として、我々のクリロフ部分空間法を用いて得られた固有値が、どの程度正確な値と一致するかを見ることができる。重要なのは、我々の関数 `krylov_full_build` 、クリロフ・ベクトル、投影ハミルトニアン、固有値、所要時間を返すことである。\n", "\n" ] }, { "cell_type": "code", "execution_count": null, "id": "818cceee-bd88-472a-8af9-0a6c0dec5646", "metadata": {}, "outputs": [], "source": [ "# Necessary imports and definitions to track time in microseconds\n", "import time\n", "\n", "\n", "def time_mus():\n", " return int(time.time() * 1000000)\n", "\n", "\n", "# This function constructs a Krylov subspace that spans the whole space of the original matrix.\n", "# Input:\n", "# v0 : initial vector\n", "# matrix : original matrix to be diagonalized\n", "# Output:\n", "# ks : Krylov vectors\n", "# Hs : projected Hamiltonians\n", "# eigs : eigenvalues\n", "# k_tot_times : time required for the operation\n", "\n", "\n", "def krylov_full_build(v0, matrix):\n", " t0 = time_mus()\n", " b = v0 / np.sqrt(v0 @ v0.T)\n", " A = matrix\n", " ks = []\n", " ks.append(b)\n", " Hs = []\n", " eigs = []\n", " Hs.append(b.T @ A @ b)\n", " eigs.append(np.array([b.T @ A @ b]))\n", " k_tot_times = []\n", "\n", " for j in range(len(A) - 1):\n", " vec = A @ ks[j].T\n", " ortho = orthoset(vec, ks)\n", " ks.append(ortho)\n", " ksarray = np.array(ks)\n", " Hs.append(ksarray @ A @ ksarray.T)\n", " eigs.append(np.linalg.eig(Hs[j + 1]).eigenvalues)\n", " k_tot_times.append(time_mus() - t0)\n", "\n", " # Return the Krylov vectors, the projected Hamiltonians, the eigenvalues,\n", " # and the total time required.\n", " return (ks, Hs, eigs, k_tot_times)" ] }, { "cell_type": "markdown", "id": "4cd7bdcc-65fd-4199-b9fd-d0a9f62cba17", "metadata": {}, "source": [ "まだかなり小さいが、手作業でやるよりは大きい行列でテストしてみよう。\n", "\n" ] }, { "cell_type": "code", "execution_count": null, "id": "3e2aa939-b568-4982-b64a-9f2e4b0da2b5", "metadata": {}, "outputs": [], "source": [ "# Define our small test matrix\n", "test_matrix = np.array(\n", " [\n", " [4, -1, 0, 1, 0],\n", " [-1, 4, -1, 2, 1],\n", " [0, -1, 4, 3, 3],\n", " [1, 2, 3, 4, 0],\n", " [0, 1, 3, 0, 4],\n", " ]\n", ")\n", "\n", "# Give the test matrix and an initial guess as arguments in the function defined above.\n", "# Calculate outputs.\n", "test_ks, test_Hs, test_eigs, text_k_tot_times = krylov_full_build(\n", " np.array([0.5, 0.5, 0, 0.5, 0.5]), test_matrix\n", ")" ] }, { "cell_type": "markdown", "id": "2f74fcf0-8959-4862-b33d-c8b1eddda2a8", "metadata": {}, "source": [ "最後のステップ（クリロフ空間が元の行列の完全なベクトル空間である場合）で、クリロフ法による固有値が厳密な数値対角化の固有値と正確に一致することを確認することで、我々の関数をチェックすることができる：\n", "\n" ] }, { "cell_type": "code", "execution_count": 5, "id": "704db2f6-5081-404d-9ae9-7264a62ea432", "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "[-1.36956923 8.43756009 2.9040308 5.34436028 4.68361806]\n", "[-1.36956923 8.43756009 2.9040308 4.68361806 5.34436028]\n" ] } ], "source": [ "print(np.linalg.eig(test_matrix).eigenvalues)\n", "print(test_eigs[len(test_matrix) - 1])" ] }, { "cell_type": "markdown", "id": "f0ddf041-d7e8-4131-bb4c-3310d8351c2c", "metadata": {}, "source": [ "それは成功した。もちろん、本当に重要なのは、クリロフ部分空間の次元の関数として、我々の近似がどれだけ優れているかということだ。我々は基底状態やその他の最小固有値を見つけることにしばしば関心を持つので（そして以下に説明する代数的な理由もある）、クリロフ部分空間の次元の関数として最小固有値の推定値を見てみよう。それは\n", "\n" ] }, { "cell_type": "code", "execution_count": 6, "id": "48b23ca9-a5ba-4a9c-bbc2-7fba75b36124", "metadata": {}, "outputs": [], "source": [ "def errors(matrix, krylov_eigs):\n", " targ_min = min(np.linalg.eig(matrix).eigenvalues)\n", " err = []\n", " for i in range(len(matrix)):\n", " err.append(min(krylov_eigs[i]) - targ_min)\n", " return err" ] }, { "cell_type": "code", "execution_count": 7, "id": "0912e12b-63bd-4026-ac8e-56bc5db8736e", "metadata": {}, "outputs": [ { "data": { "text/plain": [ " $\"Output$ " ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "import matplotlib.pyplot as plt\n", "\n", "krylov_error = errors(test_matrix, test_eigs)\n", "\n", "plt.plot(krylov_error)\n", "plt.axhline(y=0, color=\"red\", linestyle=\"--\") # Add dashed red line at y=0\n", "plt.xlabel(\"Order of Krylov subspace\") # Add x-axis label\n", "plt.ylabel(\"Error in minimum eigenvalue\") # Add y-axis label\n", "plt.show()" ] }, { "cell_type": "markdown", "id": "7af1b947-205b-46f8-bb23-d439ae6f076a", "metadata": {}, "source": [ "クリロフ部分空間が $\\mathcal{K}^2$ まで拡大すると、最小固有値がかなり正確に得られることがわかります。また、 $\\mathcal{K}^3$ の時点で完全に一致することがわかります。\n", "\n" ] }, { "cell_type": "markdown", "id": "7ee80bf2-e3e8-4124-9afc-ef2ef247f831", "metadata": {}, "source": [ "\n", "\n", "### 2.2 行列の次元による時間スケール\n", "\n", "クリロフ法が厳密な数値固有値解法よりも有利であることを、以下の方法で納得させよう：\n", "\n", "* ランダム行列を構成する（スパースではないので、KQDの理想的なアプリケーションではない）\n", "* NumPy を直接使う方法とクリロフ部分空間を使う方法の2つの方法で固有値を決定する。\n", "* 我々は、クリロフ推定を受け入れる前に、固有値がどの程度正確でなければならないかのカットオフ値を選択する。\n", "* この2つの方法で解くのに必要な壁時間を比較する。\n", "\n", "**注意点**以下で詳しく説明するように、クリロフ量子対角化は、行列表現が疎であるか、あるいは少数のパウリ作用素群を使って書くことができる作用素に適用するのが最適である。ここで使っているランダム行列は、そのような説明には当てはまらない。これらは、古典的なクリロフ法が役に立つかもしれないスケールを探るのに役立つに過ぎない。\n", "第二に、クリロフ法を使う場合、多くの異なるサイズのクリロフ部分空間を使って固有値を計算する。基底状態固有値の要求精度を達成する最小次元クリロフ部分空間の所要時間を報告する。繰り返しになるが、これは厳密固有値ソルバーで実行不可能な問題を解くのとは少し違う。なぜなら、必要な次元を評価するために厳密解を使っているからだ。\n", "\n", "まず、ランダムな行列のセットを生成する。\n", "\n" ] }, { "cell_type": "code", "execution_count": 8, "id": "a5f8f1f6-b334-43e4-ad40-fd689c07a3e1", "metadata": {}, "outputs": [], "source": [ "import numpy as np\n", "\n", "# Set the random seed\n", "np.random.seed(42)\n", "\n", "# how many random matrices will we make\n", "num_matrix = 200\n", "\n", "matrices = []\n", "for m in range(1, num_matrix):\n", " matrices.append(np.random.rand(m, m))" ] }, { "cell_type": "markdown", "id": "d1c31d97-7e76-4577-ab03-ce8f0aebf134", "metadata": {}, "source": [ "ここで、numpyを使って各行列を直接対角化する。後で比較するために、対角化に要する時間を計算する。\n", "\n" ] }, { "cell_type": "code", "execution_count": 9, "id": "d9cb6e36-9ad3-403f-823f-0072e9cf53fe", "metadata": {}, "outputs": [ { "data": { "text/plain": [ " $\"Output$ " ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "matrix_numpy_times = []\n", "matrix_numpy_eigs = []\n", "for mm in range(num_matrix - 1):\n", " t0 = time_mus()\n", " matrix_numpy_eigs.append(min(np.linalg.eig(matrices[mm]).eigenvalues))\n", " matrix_numpy_times.append(time_mus() - t0)\n", "\n", "plt.plot(matrix_numpy_times)\n", "plt.xlabel(\"Dimension of matrix\") # Add x-axis label\n", "plt.ylabel(\"Time to diagonalize (microsec)\") # Add y-axis label\n", "plt.show()" ] }, { "cell_type": "markdown", "id": "4e5d4af5-78da-4254-a726-4b0a72f98fe6", "metadata": {}, "source": [ "上の画像で、125次元付近で時間が異常に長くなっているのは、行列のランダムな性質によるものか、使用された古典的プロセッサの実装によるものかもしれないが、再現性はない。コードを再実行すると、異なる異常ピークを持つ異なるプロファイルが得られる。\n", "\n", "ここで各行列についてクリロフ部分空間を構築し、段階的に固有値を計算する。各ステップで、指定した絶対誤差の範囲内で最小固有値が得られたかどうかをチェックする。指定した誤差内で最初に固有値を与える部分空間が、計算時間を記録する部分空間である。このセルを実行するには、プロセッサーの速度にもよるが、数分かかるかもしれない。評価を省略したり、対角化する行列の最大次元を小さくしたりすることは自由である。事前に計算された結果を見るだけで十分だ。\n", "\n" ] }, { "cell_type": "code", "execution_count": null, "id": "7fbe57ec-507a-412e-b7fe-09aaea28e103", "metadata": {}, "outputs": [], "source": [ "# Choose the absolute error you can tolerate, and make a list for tracking the Krylov subspace size\n", "# at which that error is achieved.\n", "abserr = 0.05\n", "accept_subspace_size = []\n", "\n", "# Lists to store total time spent on the Krylov method, and the subset of that time spent on\n", "# diagonalizing the projected matrix.\n", "matrix_krylov_tot_times = []\n", "matrix_krylov_dim = []\n", "\n", "# Step through all our random matrices\n", "for mm in range(0, num_matrix - 1):\n", " test_ks, test_Hs, test_eigs, test_k_tot_times = krylov_full_build(\n", " np.ones(len(matrices[mm])), matrices[mm]\n", " )\n", " # We have not yet found a Krylov subspace that produces our minimum eigenvalue to\n", " # within the required error.\n", " found = 0\n", " for j in range(0, len(matrices[mm]) - 1):\n", " # If we still haven't found the desired subspace...\n", " if found == 0:\n", " # ...but if this one satisfies the requirement, then record everything\n", " if (\n", " abs((min(test_eigs[j]) - matrix_numpy_eigs[mm]) / matrix_numpy_eigs[mm])\n", " < abserr\n", " ):\n", " accept_subspace_size.append(j)\n", " matrix_krylov_tot_times.append(test_k_tot_times[j])\n", " matrix_krylov_dim.append(mm)\n", " found = 1" ] }, { "cell_type": "markdown", "id": "5046bfdb-9ff6-4142-9dc6-260ce26fd3f5", "metadata": {}, "source": [ "比較のために、この2つの方法で得られたタイムをプロットしてみよう：\n", "\n" ] }, { "cell_type": "code", "execution_count": 94, "id": "ed3302d5-a0a8-479b-9731-755fc5a1b684", "metadata": {}, "outputs": [ { "data": { "text/plain": [ " $\"Output$ " ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "plt.plot(matrix_numpy_times, color=\"blue\")\n", "plt.plot(matrix_krylov_dim, matrix_krylov_tot_times, color=\"green\")\n", "plt.xlabel(\"Dimension of matrix\") # Add x-axis label\n", "plt.ylabel(\"Time to diagonalize (microsec)\") # Add y-axis label\n", "plt.show()" ] }, { "cell_type": "markdown", "id": "e3c5ff65-964f-4b7c-8ca7-89958b3d9465", "metadata": {}, "source": [ "これらは実際に必要な時間であるが、議論のために、隣接するいくつかの点／マトリックス次元の平均によってこれらの曲線を平滑化してみよう。これは以下のように行われる：\n", "\n" ] }, { "cell_type": "code", "execution_count": null, "id": "41ac6108-526d-476b-8255-db9bb52a30ca", "metadata": {}, "outputs": [], "source": [ "smooth_numpy_times = []\n", "smooth_krylov_times = []\n", "\n", "# Choose the number of adjacent points over which to average forward;\n", "# the same will be used backward.\n", "smooth_steps = 10\n", "\n", "# We will do this smoothing for all points/matrix dimensions\n", "for i in range(len(matrix_krylov_tot_times)):\n", " # Ensure we don't exceed the boundaries of our lists\n", " start = max(0, i - smooth_steps)\n", " end = min(len(matrix_krylov_tot_times) - 1, i + smooth_steps)\n", "\n", " # Dummy variables for accumulating an average over adjacent points. This is done for both Krylov\n", " # and the NumPy calculations.\n", " smooth_count = 0\n", " smooth_numpy_sum = 0\n", " smooth_krylov_sum = 0\n", "\n", " for j in range(start, end):\n", " smooth_numpy_sum = smooth_numpy_sum + matrix_numpy_times[j]\n", " smooth_krylov_sum = smooth_krylov_sum + matrix_krylov_tot_times[j]\n", " smooth_count = smooth_count + 1\n", "\n", " # Appending the averaged adjacent values to our new smooth lists\n", " smooth_numpy_times.append(smooth_numpy_sum / smooth_count)\n", " smooth_krylov_times.append(smooth_krylov_sum / smooth_count)" ] }, { "cell_type": "code", "execution_count": 96, "id": "6963ee9b-55a8-42ab-bc4f-d470bb81e543", "metadata": {}, "outputs": [ { "data": { "text/plain": [ " $\"Output$ " ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "plt.plot(smooth_numpy_times, color=\"blue\")\n", "plt.plot(smooth_krylov_times, color=\"green\")\n", "plt.xlabel(\"Dimension of matrix\") # Add x-axis label\n", "plt.ylabel(\"Time to diagonalize (smoothed, microsec)\") # Add y-axis label\n", "plt.show()" ] }, { "cell_type": "markdown", "id": "7e1bbb91-5da7-43ea-8b99-d04ea1196e76", "metadata": {}, "source": [ "クリロフ部分空間の構築に必要な時間は、当初はnumpyの完全対角化に必要な時間を上回ることに注意してください。しかし、行列のサイズが大きくなると、クリロフ法が有利になる。これは許容誤差を小さくしても同じで、マトリックスサイズが大きくなるほど有利になる。これはバラバラにする価値がある。\n", "\n", "数値対角化の時間複雑度は $O(n^3)$ （アルゴリズムによって多少の違いはある）。 $n$ ベクトルの正規直交基底を生成する時間の複雑さも $O(n^3)$ である。つまり、クリロフ法の利点は、 $\\it{some}$ の正規直交基底の使用とは関係**なく**、関心のある固有値を効果的に選び出す特定の正規直交基底の使用にある。このことは、このレッスンの最初のセクションの証明のスケッチからすでに見たとおりであり、これはクリロフ法の収束保証にとって重要である。\n", "\n" ] }, { "cell_type": "markdown", "id": "da603cad-2e8e-4494-a0fd-f082953c35cc", "metadata": {}, "source": [ "これまでの歩みを振り返ってみよう：\n", "\n", "* 非常に大きな行列の場合、クリロフ部分空間法は、従来の対角化アルゴリズムよりも速く、必要な許容範囲内で近似固有値を得ることができる。\n", "* このような非常に大きな行列では、クリロフ部分空間の生成がクリロフ部分空間法の最も時間のかかる部分である。\n", "* したがって、クリロフ部分空間を効率的に生成する方法は非常に価値がある。\n", " ここでようやく量子コンピューターが登場する。\n", "\n" ] }, { "cell_type": "markdown", "id": "7782cac1-a86b-4a70-971f-3db5922838d7", "metadata": {}, "source": [ "\n", "\n", "#### 理解度チェック\n", "\n", "上記の、対角化時間と行列の次元との関係を示す平滑化されたグラフを参照してください。\n", "\n", "(a) このグラフによると、クリロフ法はおよそどの行列次元から計算速度が向上したか\n", "\n", "(b) クリロフ法がより高速になる閾値は、計算のどのような側面によって変化しうるか\n", "\n", "\n", " \n", " (a) 計算を再実行すると結果が異なる場合がありますが、クリロフ法は次元がおよそ80～85になると処理速度が向上します。\n", "\n", " (b) 答えはいくつもあります。重要な要素としては、求められる精度や、対角化される行列の疎さが挙げられます。\n", " \n", "\n", "\n" ] }, { "cell_type": "markdown", "id": "03b62a85-4737-41ec-b264-55d22fe814bc", "metadata": {}, "source": [ "\n", "\n", "## 3. 時間発展によるクリロフ\n", "\n", "これまで説明してきたことはすべて、古典的に行うことができる。では、量子コンピューターをいつ、どのように使うのか？非常に大きな行列の場合、クリロフ法は長い計算時間と大量のメモリを必要とする。 $|v\\rangle$、 $H$ の行列演算に要する時間は、最悪の場合 $O(N^2)$ のような規模になる。ベクトル上の疎行列の乗算（古典的なクリロフ型ソルバーの典型的なケース）でさえ、 $O(N)$ のような時間複雑度のスケーリングがある。これは、部分空間内のすべてのベクトルに対して行われます。通常、部分空間の次元 $r$ は $N$ の何分の一にもならず、 $\\log(N)$ のようにスケールすることが多い。したがって、すべてのベクトルを生成することは、最悪の場合、 $O(N^2 \\log(N))$ のようにスケールする。直交化のような他のステップもあるが、このスケーリングは覚えておくべき主要なスケーリングである。\n", "\n", "量子コンピューティングは、必要な時間とリソースのスケーリングを決定する問題の属性を変えることを可能にする。行列の大きさ（ $N$ ）に全面的に依存するのではなく、ショット数やハミルトニアンを構成する非共約パウリ項の数といったものを見ることになる。この仕組みを探ってみよう。\n", "\n" ] }, { "cell_type": "markdown", "id": "1636f90b-6bdf-4b11-aee3-9be3f2e82d79", "metadata": {}, "source": [ "\n", "\n", "### 3.1 時間発展\n", "\n", "量子状態を時間発展させる作用素は $e^{-iHt/\\hbar}$ （特に量子コンピューティングでは、表記から $\\hbar$ を削除することが非常に一般的）であることを思い出してほしい。このような演算子の指数関数を理解し、実現する一つの方法は、そのテイラー級数展開を見ることである。ある初期ベクトル $|v\\rangle$ に作用するこの操作は、初期状態に適用される $H$ のべき乗が増加する項の和をもたらすことに注意。初期推測の状態を時間発展させることで、クリロフ部分空間を作ればよさそうだ！\n", "\n", "$$\n", "\\begin{aligned}\n", "e^{-iHt/\\hbar}→e^{-iHt}&≈1-iHt-\\frac{(H^2 t^2)}{2}+⋯\\\\\n", "e^{-iHt} |v\\rangle &≈ |v\\rangle-iHt|v\\rangle-\\frac{(H^2 t^2)}{2}|v\\rangle+⋯\n", "\\end{aligned}\n", "$$\n", "\n", "注意点は、実際の量子コンピューターで時間発展を実現することである。ハミルトニアンの項の多くは互いに交わらない。したがって、 $e^{-iZ}$ のような単純な指数演算子は単純な回路に対応するが、一般的なハミルトニアンはそうではない。また、これらの項には非整合の項が含まれているため、指数では数のように単純な項の積に分解することはできない。\n", "\n", "$$\n", "e^{-iHt}=e^{-i(H_1+H_2+⋯+H_n)t}\\neq e^{-iH_1 t} e^{-iH_2 t}... e^{-iH_n t}\n", "$$\n", "\n", "つまり、これは些細なことではないが、量子コンピューティングではよく研究されているプロセスなのだ。私たちは量子コンピュータ上でトロッター化と呼ばれるプロセスを用いて時間進化を行うが、それ自体が豊かなテーマである [\\[10\\]](#references)。しかし、非常に高いレベルでは、時間発展を非常に小さなステップ、例えばサイズ $dt$ の $m$ ステップに分割することによって、項の非可換性の影響を制限することができる。\n", "\n", "$$\n", "e^{-iHt}=e^{-i(H_1+H_2+⋯+H_n )t} = (e^{-i(H_1+H_2+⋯+H_n )t/m} )^m\n", "≈(e^{-iH_1 dt} e^{-iH_2 dt} …e^{-iH_n dt} )^m\n", "$$\n", "\n", "ここで $dt = t/m$。\n", "\n", "Hのべき乗を直接用いて古典的な文脈で生成した、次数rのクリロフ部分空間を「べき乗クリロフ部分空間」と呼ぼう。\n", "\n", "$$\n", "\\mathcal{K}_P^r (H,|v\\rangle)=\\text{span}\\{|v\\rangle,H|v\\rangle,H^2 |v\\rangle… H^{r-1} |v\\rangle\\}\n", "$$\n", "\n", "ここで、ユニタリー時間発展演算子 $U \\equiv e^{-iHt}$ を用いて同様の空間を生成する。これを「ユニタリー・クリロフ空間」 $\\mathcal{K}_U^r$ と呼ぶことにする。私たちが古典的に用いているパワークリロフ部分空間 $\\mathcal{K}_P^r$ は、 $H$ がユニタリー演算子ではないため、量子コンピュータ上で直接生成することはできません。ユニタリー・クリロフ部分空間を用いることで、べき乗クリロフ部分空間と同様の収束保証が得られることが示される。すなわち、初期状態 $|v\\rangle$、指数関数的に消失しない真の基底状態との重なりがあり、固有値間に十分なギャップがある限り、基底状態の誤差は効率的に収束する。収束についてのより正確な議論は文献 [\\[1\\]](#references) を参照。\n", "\n", "ここで、 $U$ の累乗は異なる時間ステップになる（ $U$ の累乗 $k^\\text{th}$ は時間 $k \\times dt$ だけ進む）。総時間 $k dt$ に対して時間発展する部分空間の要素を、 $|\\psi_k\\rangle$ とラベル付けすることができる。\n", "\n" ] }, { "cell_type": "markdown", "id": "619c81f7-be3c-4ffa-87f0-2ab6420381ca", "metadata": {}, "source": [ "$$\n", "\\begin{aligned}\n", "U&=e^{-iHdt}\\\\\n", "U^k&=e^{-iH(kdt)}\\\\\n", "\\mathcal{K}_U^r&=\\text{span}\\{|\\psi\\rangle,U|\\psi\\rangle,U^2 |\\psi\\rangle… U^{r-1} |\\psi\\rangle\\}\n", "\\end{aligned}\n", "$$\n", "\n" ] }, { "cell_type": "markdown", "id": "ca6352b4-88c2-4dab-9f82-1750223ec8af", "metadata": {}, "source": [ "ハミルトニアンHをユニタリー・クリロフ部分空間 $\\mathcal{K}_U^r$ に射影することができる。言い換えれば、 $H$ の各行列要素を $\\mathcal{K}_U^r$ の基底で計算します。この投影行列を $\\tilde{H}$ と呼ぶことにする。\n", "\n", "\n", "\n", "### 3.2 量子コンピュータでの実装方法\n", "\n", "$\\tilde{H}$ の行列要素は期待値 $\\langle \\psi_m |H| \\psi_n\\rangle$ で与えられ、これは量子コンピュータを使って推定できる。 $H$、異なる量子ビット上のパウリ演算子の和として書くことができ、すべてのパウリ演算子を同時に測定できるわけではないことに留意してほしい。パウリ項を通約項のグループに分類し、それらを一度に測定することができる。しかし、すべての条件をカバーするためには、このようなグループがたくさん必要かもしれない。そこで、項を分割できる別個の通学グループの数、 $N_\\text{GCP}$ が重要になる。\n", "\n", "$$\n", "H=\\sum_{\\alpha=1}^{N_\\text{GCP}} c_\\alpha P_\\alpha\n", "$$\n", "\n", "ここで、 $P_\\alpha$ は、 $P_\\alpha \\sim IZIXII...YZXIX$ の形をとるパウリ文字列、あるいは互いに可換なそのようなパウリ文字列の集合である。 $H$ をこのような可測演算子の和として表すことができることを踏まえると、 $\\tilde{H}$ の行列要素に関する以下の式は、 IBM Quantum のプリミティブ推定器を用いて実現することができる。\n", "\n", "$$\n", "\\begin{aligned}\n", "\\tilde{H}_{mn}&=\\langle \\psi_m |H| \\psi_n\\rangle\\\\\n", "&=\\langle \\psi e^{iHt_m} |H| \\psi e^{-iHt_n}\\rangle\\\\\n", "&=\\langle \\psi e^{iHmdt} |H|\\psi e^{-iHndt}\\rangle\n", "\\end{aligned}\n", "$$\n", "\n", "ここで、 $\\vert \\psi_n \\rangle = e^{-i H t_n} \\vert \\psi \\rangle$ はユニタリ・クリロフ空間のベクトルであり、 $t_n = n dt$ は、選択された時間ステップ $dt$ の倍数である。量子コンピュータ上では、各行列要素の計算は、量子状態間の重なりを得ることができる任意のアルゴリズムを用いて行うことができます。このレッスンでは、アダマール検定について重点的に取り上げます。 $\\mathcal{K}_U$ の次元が $r$ であることを踏まえると、この部分空間に射影されたハミルトニアンの次元は $r \\times r$ となる。 $r$ が十分に小さい場合（一般に、固有値の推定値が収束するためには $r<<100$ で十分である）、古典的には、射影されたハミルトニアン $\\tilde{H}$ を容易に対角化することができる。しかし、クリロフ空間のベクトルが直交していないため、 $\\tilde{H}$ を直接対角化することはできない。それらの重なりを測定し、行列を作成する必要があります。 $\\tilde{S}$\n", "\n", "$$\n", "\\tilde{S}_{mn} = \\langle \\psi_m \\vert \\psi_n \\rangle\n", "$$\n", "\n", "これにより、非直交空間における固有値問題（一般化固有値問題とも呼ばれる）を解くことができる\n", "\n", "$$\n", "\\tilde{H} \\ \\vec{c} = E \\ \\tilde{S} \\ \\vec{c}\n", "$$\n", "\n", "そして、この一般化された固有値問題の解を見ることによって、 $H$ の固有値と固有状態の推定値を得ることができる。例えば、基底状態のエネルギーの推定値は、最小の固有値 $E$ と、対応する固有ベクトル $\\vec{c}$ から基底状態を取ることによって得られる。 $\\vec{c}$ の係数は、 $\\mathcal{K}_U$ にまたがるさまざまなベクトルの寄与を決定します。\n", "\n" ] }, { "cell_type": "markdown", "id": "7d29b607-3f2c-445c-9630-3cde4edf3299", "metadata": {}, "source": [ "\n", "\n", "#### 一般化された固有値問題\n", "\n", "なぜ単純に $\\tilde{H}$ を対角化できないのでしょうか？ $\\tilde{S}$、クリロフ基底（非常に特殊な場合を除き、すべて非直交である）の幾何学的形状に関する情報が含まれているので、 $\\tilde{H}$、それだけでは完全なハミルトニアンの射影を記述しないので、その固有値は完全なハミルトニアンの固有値とは特に関係がありません。一般化固有値問題を解くことは、完全なハミルトニアンのクリロフ空間への射影に対応する近似固有値と固有ベクトルを得るために必要である。\n", "\n" ] }, { "cell_type": "markdown", "id": "2f3ba07d-0c16-47fb-aeed-b4ef0a1f25e3", "metadata": {}, "source": [ "![修正ハダマード・テストを実行するためには、回路を異なる状態で何度も使用しなければならないことを示す、多くの層を持つ回路図。](https://eu-de.quantum.cloud.ibm.com/learning/images/courses/quantum-diagonalization-algorithms/krylov/kqd-fig4.avif)\n", "\n", "図に示すのは、異なる量子状態間の重なりを計算するために用いられる修正ハダマールテストの回路図である。各行列要素 $\\tilde{H}_{i,j}$、状態 $\\vert \\psi_i \\rangle$、 $\\vert \\psi_j \\rangle$ の間のハダマルド検定が行われる。図では、行列要素と対応する $\\text{Prep} \\; \\psi_i$、 $\\text{Prep} \\; \\psi_j$ の操作の配色によって、このことが強調されている。したがって、投影ハミルトニアン $\\tilde{H}$ のすべての行列要素を計算するために、クリロフ空間ベクトルのすべての可能な組み合わせに対するハダマルド検定のセットが必要となる。ハダマルド検定回路の一番上のワイヤーはアンシラ量子ビットで、XまたはY基底で測定され、その期待値は状態間の重なりの値を決定します。一番下のワイヤーは、システム・ハミルトニアンのすべての量子ビットを表している。 $\\text{Prep} \\; \\psi_i$ $\\vert \\psi_i \\rangle$ （）、（）はシステム・ハミルトニアンのパウリ分解を表す。量子コンピュータでの実装を以下に詳しく示します。 $\\text{Prep} \\; \\psi_j$ $P$ $H = \\sum_i P_i$\n", "\n" ] }, { "cell_type": "markdown", "id": "c12c2855-f276-48a2-8901-13baf0384778", "metadata": {}, "source": [ "\n", "\n", "## 4. 量子コンピュータ上でのクリロフ量子対角化\n", "\n", "次に、クリロフ量子対角化を実際の量子コンピュータで実装する。まずは便利なパッケージをいくつかインポートしてみよう。\n", "\n" ] }, { "cell_type": "code", "execution_count": 64, "id": "afa233e1-1e80-4843-a958-0f84cec707ea", "metadata": {}, "outputs": [], "source": [ "import numpy as np\n", "import scipy as sp\n", "import matplotlib.pylab as plt\n", "from typing import Union, List\n", "import warnings\n", "\n", "from qiskit.quantum_info import SparsePauliOp, Pauli\n", "from qiskit.circuit import Parameter\n", "from qiskit import QuantumCircuit, QuantumRegister\n", "from qiskit.circuit.library import PauliEvolutionGate\n", "from qiskit.synthesis import LieTrotter\n", "\n", "# from qiskit.providers.fake_provider import Fake20QV1\n", "from qiskit_ibm_runtime import QiskitRuntimeService, EstimatorV2 as Estimator, Batch\n", "\n", "import itertools as it\n", "\n", "warnings.filterwarnings(\"ignore\")" ] }, { "cell_type": "markdown", "id": "e4a3fba7-051f-4df4-b78a-7bfeb18caf1e", "metadata": {}, "source": [ "先ほど説明した一般化固有値問題を解く関数を以下に定義する。\n", "\n" ] }, { "cell_type": "code", "execution_count": 65, "id": "5446eb74-126f-4db1-b018-d5f4613f79e7", "metadata": {}, "outputs": [], "source": [ "def solve_regularized_gen_eig(\n", " h: np.ndarray,\n", " s: np.ndarray,\n", " threshold: float,\n", " k: int = 1,\n", " return_dimn: bool = False,\n", ") -> Union[float, List[float]]:\n", " \"\"\"\n", " Method for solving the generalized eigenvalue problem with regularization\n", "\n", " Args:\n", " h (numpy.ndarray):\n", " The effective representation of the matrix in our Krylov subspace\n", " s (numpy.ndarray):\n", " The matrix of overlaps between vectors of our Krylov subspace\n", " threshold (float):\n", " Cut-off value for the eigenvalue of s\n", " k (int):\n", " Number of eigenvalues to return\n", " return_dimn (bool):\n", " Whether to return the size of the regularized subspace\n", "\n", " Returns:\n", " lowest k-eigenvalue(s) that are the solution of the regularized generalized eigenvalue problem\n", "\n", "\n", " \"\"\"\n", " s_vals, s_vecs = sp.linalg.eigh(s)\n", " s_vecs = s_vecs.T\n", " good_vecs = np.array([vec for val, vec in zip(s_vals, s_vecs) if val > threshold])\n", " h_reg = good_vecs.conj() @ h @ good_vecs.T\n", " s_reg = good_vecs.conj() @ s @ good_vecs.T\n", " if k == 1:\n", " if return_dimn:\n", " return sp.linalg.eigh(h_reg, s_reg)[0][0], len(good_vecs)\n", " else:\n", " return sp.linalg.eigh(h_reg, s_reg)[0][0]\n", " else:\n", " if return_dimn:\n", " return sp.linalg.eigh(h_reg, s_reg)[0][:k], len(good_vecs)\n", " else:\n", " return sp.linalg.eigh(h_reg, s_reg)[0][:k]" ] }, { "cell_type": "markdown", "id": "7dce32ec-33eb-474d-88bf-e07f6563d6a2", "metadata": {}, "source": [ "少なくとも最初のベンチマークでは、収束挙動をチェックするために、厳密な古典解を知っておくことは有用である。以下の関数は、ハミルトニアンと量子ビット数を引数として、ハミルトニアンの基底状態エネルギーを計算します。\n", "\n" ] }, { "cell_type": "code", "execution_count": 66, "id": "f2d43bcc-5210-448d-b3d9-996796f782f6", "metadata": {}, "outputs": [], "source": [ "def single_particle_gs(H_op, n_qubits):\n", " \"\"\"\n", " Find the ground state of the single particle(excitation) sector\n", " \"\"\"\n", " H_x = []\n", " for p, coeff in H_op.to_list():\n", " H_x.append(set([i for i, v in enumerate(Pauli(p).x) if v]))\n", "\n", " H_z = []\n", " for p, coeff in H_op.to_list():\n", " H_z.append(set([i for i, v in enumerate(Pauli(p).z) if v]))\n", "\n", " H_c = H_op.coeffs\n", "\n", " print(\"n_sys_qubits\", n_qubits)\n", "\n", " n_exc = 1\n", " sub_dimn = int(sp.special.comb(n_qubits + 1, n_exc))\n", " print(\"n_exc\", n_exc, \", subspace dimension\", sub_dimn)\n", "\n", " few_particle_H = np.zeros((sub_dimn, sub_dimn), dtype=complex)\n", "\n", " sparse_vecs = [\n", " set(vec) for vec in it.combinations(range(n_qubits + 1), r=n_exc)\n", " ] # list all of the possible sets of n_exc indices of 1s in n_exc-particle states\n", "\n", " m = 0\n", " for i, i_set in enumerate(sparse_vecs):\n", " for j, j_set in enumerate(sparse_vecs):\n", " m += 1\n", "\n", " if len(i_set.symmetric_difference(j_set)) <= 2:\n", " for p_x, p_z, coeff in zip(H_x, H_z, H_c):\n", " if i_set.symmetric_difference(j_set) == p_x:\n", " sgn = ((-1j) ** len(p_x.intersection(p_z))) * (\n", " (-1) ** len(i_set.intersection(p_z))\n", " )\n", " else:\n", " sgn = 0\n", "\n", " few_particle_H[i, j] += sgn * coeff\n", "\n", " gs_en = min(np.linalg.eigvalsh(few_particle_H))\n", " print(\"single particle ground state energy: \", gs_en)\n", " return gs_en" ] }, { "cell_type": "markdown", "id": "c70998c4-e65c-456e-b3b4-61a289c8dd84", "metadata": {}, "source": [ "\n", "\n", "### 4.1 ステップ1: 問題を量子回路と演算子にマッピングする\n", "\n", "ここでハミルトニアンを定義する。これは上の関数とは異なり、上の関数はハミルトニアンを引数にとり、基底状態のみを返す。ここで定義するハミルトニアンは、すべてのエネルギー固有状態のエネルギー準位を決定するものであり、このハミルトニアンはパウリ作用素を用いて構成することができ、量子コンピューター上で実装することができる。\n", "\n", "我々は、「ハイゼンベルグ鎖」と呼ばれる、空間上でどのような向きにもなりうるスピンの鎖に対応するハミルトニアンを選ぶ。我々は、 $i^\\text{th}$ のスピンは、最も近い隣人（ $(i-1)^\\text{th}$ と $(i+1)^\\text{th}$ のスピン）の影響を受けるが、より遠い隣人の影響を受けることはないと仮定している。また、スピンが異なる軸を向いている場合、スピン間の相互作用が異なる可能性も考慮する。この非対称性は、例えばスピンが埋め込まれた結晶格子の構造によって生じることがある。\n", "\n" ] }, { "cell_type": "code", "execution_count": 67, "id": "8b547f8a-df47-4e56-921b-3955eb7c19a9", "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "[('ZZIIIIIIII', 2), ('IZZIIIIIII', 2), ('IIZZIIIIII', 2), ('IIIZZIIIII', 2), ('IIIIZZIIII', 2), ('IIIIIZZIII', 2), ('IIIIIIZZII', 2), ('IIIIIIIZZI', 2), ('IIIIIIIIZZ', 2), ('XXIIIIIIII', 1), ('IXXIIIIIII', 1), ('IIXXIIIIII', 1), ('IIIXXIIIII', 1), ('IIIIXXIIII', 1), ('IIIIIXXIII', 1), ('IIIIIIXXII', 1), ('IIIIIIIXXI', 1), ('IIIIIIIIXX', 1), ('YYIIIIIIII', 3), ('IYYIIIIIII', 3), ('IIYYIIIIII', 3), ('IIIYYIIIII', 3), ('IIIIYYIIII', 3), ('IIIIIYYIII', 3), ('IIIIIIYYII', 3), ('IIIIIIIYYI', 3), ('IIIIIIIIYY', 3)]\n" ] } ], "source": [ "# Define problem Hamiltonian.\n", "n_qubits = 10\n", "# coupling strength for XX, YY, and ZZ interactions\n", "JX = 1\n", "JY = 3\n", "JZ = 2\n", "\n", "# Define the Hamiltonian:\n", "H_int = [[\"I\"] * n_qubits for _ in range(3 * (n_qubits - 1))]\n", "for i in range(n_qubits - 1):\n", " H_int[i][i] = \"Z\"\n", " H_int[i][i + 1] = \"Z\"\n", "for i in range(n_qubits - 1):\n", " H_int[n_qubits - 1 + i][i] = \"X\"\n", " H_int[n_qubits - 1 + i][i + 1] = \"X\"\n", "for i in range(n_qubits - 1):\n", " H_int[2 * (n_qubits - 1) + i][i] = \"Y\"\n", " H_int[2 * (n_qubits - 1) + i][i + 1] = \"Y\"\n", "H_int = [\"\".join(term) for term in H_int]\n", "H_tot = [\n", " (term, JZ)\n", " if term.count(\"Z\") == 2\n", " else (term, JY)\n", " if term.count(\"Y\") == 2\n", " else (term, JX)\n", " for term in H_int\n", "]\n", "\n", "# Get operator\n", "H_op = SparsePauliOp.from_list(H_tot)\n", "print(H_tot)" ] }, { "cell_type": "markdown", "id": "759b8b55-894b-4d3b-93de-5df4f63f9609", "metadata": {}, "source": [ "以下のコードでは、ハミルトニアンを単一粒子状態に制限し、スペクトルノルムを用いて時間ステップ $dt$ の適切なサイズを設定しています。ハミルトニアンノルムの上限に基づいて）時間ステップ `dt` の値を発見的に選択します。文献 [\\[9\\]](#references) は、十分に小さいタイムステップは $\\pi/\\vert \\vert H \\vert \\vert$、ある点までは、この値を過大評価するよりも過小評価する方が望ましいことを示した。過大評価すると、高エネルギー状態からの寄与がクリロフ空間の最適状態さえも破壊してしまうからである。一方、 $dt$ を小さくしすぎると、クリロフ基底ベクトルのタイムステップごとの違いが小さくなるため、クリロフ部分空間のコンディショニングが悪くなる。\n", "\n" ] }, { "cell_type": "code", "execution_count": 68, "id": "3dd96fbe-47bb-444b-b403-c67c2dcc9d07", "metadata": {}, "outputs": [ { "data": { "text/plain": [ "np.float64(0.17453292519943295)" ] }, "execution_count": 68, "metadata": {}, "output_type": "execute_result" } ], "source": [ "# Get Hamiltonian restricted to single-particle states\n", "single_particle_H = np.zeros((n_qubits, n_qubits))\n", "for i in range(n_qubits):\n", " for j in range(i + 1):\n", " for p, coeff in H_op.to_list():\n", " p_x = Pauli(p).x\n", " p_z = Pauli(p).z\n", " if all(p_x[k] == ((i == k) + (j == k)) % 2 for k in range(n_qubits)):\n", " sgn = ((-1j) ** sum(p_z[k] and p_x[k] for k in range(n_qubits))) * (\n", " (-1) ** p_z[i]\n", " )\n", " else:\n", " sgn = 0\n", " single_particle_H[i, j] += sgn * coeff\n", "for i in range(n_qubits):\n", " for j in range(i + 1, n_qubits):\n", " single_particle_H[i, j] = np.conj(single_particle_H[j, i])\n", "\n", "# Set dt according to spectral norm\n", "dt = np.pi / np.linalg.norm(single_particle_H, ord=2)\n", "dt" ] }, { "cell_type": "markdown", "id": "cdb8c08b-caca-4bd5-ae93-065c42485e13", "metadata": {}, "source": [ "時間発展に使用するトロッターステップの数を指定します。また、最大クリロフ次元を4と指定します。このクリロフ次元は、現実的な応用には十分ではない。しかし、この例にはこれで十分である。さらに、より小さな次元での収束性を検証する。後のレッスンでは、ハミルトニアンをより大きな部分空間にスケーリングおよび射影する方法を探求します。\n", "\n" ] }, { "cell_type": "code", "execution_count": 69, "id": "d95c6f17-7275-474a-b1e5-a41c4539ed83", "metadata": {}, "outputs": [], "source": [ "# Set parameters for quantum Krylov algorithm\n", "krylov_dim = 4 # size of krylov subspace\n", "num_trotter_steps = 4\n", "dt_circ = dt / num_trotter_steps" ] }, { "cell_type": "markdown", "id": "29291306-28a3-4c12-94ef-b3ffd5521c76", "metadata": {}, "source": [ "\n", "\n", "#### 状態準備\n", "\n", "基底状態と重なる参照状態（ $\\vert \\psi \\rangle$ ）を選ぶ。このハミルトニアンでは、中央の量子ビット（ $\\vert 00..010...00 \\rangle$ ）が励起された状態を参照状態として用いる。\n", "\n" ] }, { "cell_type": "code", "execution_count": 70, "id": "410192fb-8197-4860-8c3a-2e874e2f9c56", "metadata": {}, "outputs": [ { "data": { "text/plain": [ " $\"Output$ " ] }, "execution_count": 70, "metadata": {}, "output_type": "execute_result" } ], "source": [ "qc_state_prep = QuantumCircuit(n_qubits)\n", "qc_state_prep.x(int(n_qubits / 2) + 1)\n", "qc_state_prep.draw(\"mpl\", scale=0.5)" ] }, { "cell_type": "markdown", "id": "dee3c383-fc2e-4420-8d04-861f5f4f4576", "metadata": {}, "source": [ "\n", "\n", "#### 時間発展\n", "\n", "我々は、与えられたハミルトニアンによって生成される時間発展演算子を実現することができる。 $U=e^{-iHt}$、 [リー・トロッター近似を](/docs/api/qiskit/qiskit.synthesis.LieTrotter)経由する。簡単のため、時間発展回路に内蔵されている `PauliEvolutionGate` 。一般的な構文はこうだ。\n", "\n" ] }, { "cell_type": "code", "execution_count": 71, "id": "4b3dddd0-391a-412a-9663-9e15a153125a", "metadata": {}, "outputs": [ { "data": { "text/plain": [ "" ] }, "execution_count": 71, "metadata": {}, "output_type": "execute_result" } ], "source": [ "t = Parameter(\"t\")\n", "\n", "## Create the time-evo op circuit\n", "evol_gate = PauliEvolutionGate(\n", " H_op, time=t, synthesis=LieTrotter(reps=num_trotter_steps)\n", ")\n", "\n", "qr = QuantumRegister(n_qubits)\n", "qc_evol = QuantumCircuit(qr)\n", "qc_evol.append(evol_gate, qargs=qr)" ] }, { "cell_type": "markdown", "id": "295bf203-2bc0-4c02-912b-423e5ca392bb", "metadata": {}, "source": [ "以下、ハダマードテストでこのバージョンを使用するが、時間 $dt$ に対して前進する。\n", "\n" ] }, { "cell_type": "markdown", "id": "03f71981-3a22-4ba6-8281-7b20895dbda3", "metadata": {}, "source": [ "\n", "\n", "#### ハダマール検定\n", "\n", "ここで、ハダマール検定を用いて、 $\\tilde{H}$ およびグラム行列 $\\tilde{S}$ の両方の行列要素を計算したいことを思い出してください。この文脈において、これがどのように機能するのかを振り返ってみましょう。まずは、 $\\tilde{H}$ の構成に焦点を当てます。全体的なプロセスを以下の図に示します。色分けされた状態準備ブロックの層（ $\\text{Prep}|\\psi_i\\rangle$ ）は、この処理が、我々の部分空間における $|\\psi_i\\rangle$ および $|\\psi_j\\rangle$ のすべての組み合わせに対して行われることを示唆している。\n", "\n", "![ハダマルド・テストを行うためには、多くの異なる状態について回路を評価する必要があることを示す、多くの層を持つ量子回路図のイメージ。](https://eu-de.quantum.cloud.ibm.com/learning/images/courses/quantum-diagonalization-algorithms/krylov/kqd-fig5.avif)\n", "\n", "各ステップにおけるシステムの状態は以下の通りである：\n", "\n", "$$\n", "\\begin{aligned}\n", " \\text{Step 0:}\\qquad|\\Psi\\rangle & = |0\\rangle|0\\rangle^N \\\\\n", " \\text{Step 1:}\\qquad|\\Psi\\rangle & = \\frac{1}{\\sqrt{2}}\\Big(|0\\rangle + |1\\rangle \\Big)|0\\rangle^N \\\\\n", " \\text{Step 2:}\\qquad|\\Psi\\rangle & = \\frac{1}{\\sqrt{2}}\\Big(|0\\rangle|0\\rangle^N+|1\\rangle |\\psi_i\\rangle\\Big)\\\\\n", " \\text{Step 3:}\\qquad|\\Psi\\rangle & = \\frac{1}{\\sqrt{2}}\\Big(|0\\rangle |0\\rangle^N+|1\\rangle P |\\psi_i\\rangle\\Big) \\\\\n", " \\text{Step 4:}\\qquad|\\Psi\\rangle & = \\frac{1}{\\sqrt{2}}\\Big(|0\\rangle |\\psi_j\\rangle+|1\\rangle P|\\psi_i\\rangle\\Big)\n", "\\end{aligned}\n", "$$\n", "\n", "ここで、 $P$ はハミルトニアンの分解におけるパウリ項である（ユニタリーでなくなるため、複数のパウリ項の線形結合にはなりえないことに注意--後で示す別の構成を使ってグループ化は可能）。 $\\text{Prep} \\; \\psi_i$、 $\\text{Prep} \\; \\psi_j$ は、ユニタリー・クリロフ空間のベクトル $|\\psi_i\\rangle$、 $|\\psi_j\\rangle$ を準備する制御された演算であり、 $|\\psi_k\\rangle = e^{-i H k dt } \\vert \\psi \\rangle = e^{-i H k dt } U_{\\psi} \\vert 0 \\rangle^N$。この回路に $X$ と $Y$ の測定を適用すると、必要な行列要素の実部と虚部がそれぞれ計算される。\n", "\n", "上記のステップ4から始めて、0番目の量子ビットにハダマードゲート $H$。\n", "\n", "$$\n", "\\begin{equation*}\n", " |\\Psi\\rangle \\longrightarrow\\quad\\frac{1}{2}|0\\rangle\\Big( |\\psi_j\\rangle + P|\\psi_i\\rangle\\Big) + \\frac{1}{2}|1\\rangle\\Big(|\\psi_j\\rangle - P|\\psi_i\\rangle\\Big)\n", "\\end{equation*}\n", "$$\n", "\n", "次に、 $X$ または $Y$ を測定する。\n", "\n", "$$\n", "\\begin{equation*}\n", "\\begin{split}\n", " \\Rightarrow\\quad\\langle X\\rangle &= \\frac{1}{4}\\Bigg(\\Big\\|| \\psi_j\\rangle + P|\\psi_i\\rangle \\Big\\|^2-\\Big\\||\\psi_j\\rangle - P|\\psi_i\\rangle\\Big\\|^2\\Bigg) \\\\\n", " &= \\text{Re}\\Big[\\langle\\psi_j| P|\\psi_i\\rangle\\Big].\n", "\\end{split}\n", "\\end{equation*}\n", "$$\n", "\n", "恒等式から $|a + b\\|^2 = \\langle a + b | a + b \\rangle = \\|a\\|^2 + \\|b\\|^2 + 2\\text{Re}\\langle a | b \\rangle$。同様に、 $Y$ を測定すると、次のようになる\n", "\n", "$$\n", "\\begin{equation*}\n", " \\langle Y\\rangle = \\text{Im}\\Big[\\langle\\psi_j| P|\\psi_i\\rangle\\Big].\n", "\\end{equation*}\n", "$$\n", "\n", "先に設定した時間進化にこれらのステップを加えると、次のようになる。\n", "\n" ] }, { "cell_type": "code", "execution_count": 72, "id": "ac536079-96f2-435b-a15f-72c207fa24d1", "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "Circuit for calculating the real part of the overlap in S via Hadamard test\n" ] }, { "data": { "text/plain": [ " $\"Output$ " ] }, "execution_count": 72, "metadata": {}, "output_type": "execute_result" } ], "source": [ "## Create the time-evo op circuit\n", "evol_gate = PauliEvolutionGate(\n", " H_op, time=dt, synthesis=LieTrotter(reps=num_trotter_steps)\n", ")\n", "\n", "## Create the time-evo op dagger circuit\n", "evol_gate_d = PauliEvolutionGate(\n", " H_op, time=dt, synthesis=LieTrotter(reps=num_trotter_steps)\n", ")\n", "evol_gate_d = evol_gate_d.inverse()\n", "\n", "# Put pieces together\n", "qc_reg = QuantumRegister(n_qubits)\n", "qc_temp = QuantumCircuit(qc_reg)\n", "qc_temp.compose(qc_state_prep, inplace=True)\n", "for _ in range(num_trotter_steps):\n", " qc_temp.append(evol_gate, qargs=qc_reg)\n", "for _ in range(num_trotter_steps):\n", " qc_temp.append(evol_gate_d, qargs=qc_reg)\n", "qc_temp.compose(qc_state_prep.inverse(), inplace=True)\n", "\n", "# Create controlled version of the circuit\n", "controlled_U = qc_temp.to_gate().control(1)\n", "\n", "# Create hadamard test circuit for real part\n", "qr = QuantumRegister(n_qubits + 1)\n", "qc_real = QuantumCircuit(qr)\n", "qc_real.h(0)\n", "qc_real.append(controlled_U, list(range(n_qubits + 1)))\n", "qc_real.h(0)\n", "\n", "print(\"Circuit for calculating the real part of the overlap in S via Hadamard test\")\n", "qc_real.draw(\"mpl\", fold=-1, scale=0.5)" ] }, { "cell_type": "markdown", "id": "b88673a4-859a-44f7-ac0c-38ecf17faf36", "metadata": {}, "source": [ "トロッター・サーキットの奥深さについてはすでに警告した。このような条件でハダマルドテストを実行すると、特にネイティブゲートに分解すると、さらに深い回路が得られる。もしデバイスのトポロジーを考慮すれば、これはさらに増えるだろう。従って、量子コンピュータを使う前に、回路の2量子ビットの深さをチェックするのは良い考えだ。\n", "\n" ] }, { "cell_type": "code", "execution_count": 73, "id": "f40d206a-9bd5-4355-8007-cecff21f7fbe", "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "Number of layers of 2Q operations 14401\n" ] } ], "source": [ "print(\n", " \"Number of layers of 2Q operations\",\n", " qc_real.decompose(reps=2).depth(lambda x: x[0].num_qubits == 2),\n", ")" ] }, { "cell_type": "markdown", "id": "bbd4f53b-8946-4713-89c2-e6bbbfa80609", "metadata": {}, "source": [ "これほど複雑な回路では、現代の量子コンピュータでは実用的な結果を得ることができません。 $\\tilde{H}$ と $\\tilde{S}$ を構築するには、もっと良い方法が必要です。これが、後述する効率的なアダマール検定が導入された理由である。\n", "\n" ] }, { "cell_type": "markdown", "id": "6cda7f15-7c76-40aa-bf2e-bfea141c8474", "metadata": {}, "source": [ "\n", "\n", "### 4. 2 ステップ2. 対象ハードウェア向けに回路と演算子を最適化する\n", "\n", "\n", "\n", "#### 効率的なハダマール検定\n", "\n", "いくつかの近似を導入し、モデルのハミルトニアンに関するいくつかの仮定に依存することで、得られたハダマルド・テストの深層回路を最適化することができる。例えば、次のようなハダマード・テストの回路を考えてみよう：\n", "\n", "![効率的なハダマルドテストを行うためには、多くの異なるユニタリー演算子に対して回路を評価する必要があることを示す。](https://eu-de.quantum.cloud.ibm.com/learning/images/courses/quantum-diagonalization-algorithms/krylov/kqd-fig6.avif)\n", "\n", "ハミルトニアン $H$ の下での $|0\\rangle^N$ の固有値 $E_0$ を古典的に計算できると仮定する。これはハミルトニアンがU(1)対称性を保存しているときに満たされる。これは強い仮定のように思えるかもしれないが、ハミルトニアンの作用に影響されない真空状態（この場合、 $|0\\rangle^N$ 状態に対応する）が存在すると仮定しても安全な場合がたくさんある。これは例えば、安定な分子（電子の数が保存されている）を記述する化学のハミルトニアンに当てはまります。\n", "ゲート $\\text{Prep} \\; \\psi_0$、所望の参照状態 $\\ket{\\psi_0} = \\text{Prep} \\; \\psi_0 \\ket{0} = e^{-i H 0 dt} U_{\\psi_0} \\ket{0}$ を準備することを考えると、例えば、化学のためのHF状態 $\\text{Prep} \\; \\psi_0$ を準備することは、単一量子ビットNOTの積になるので、制御された- $\\text{Prep} \\; \\psi_0$ は単なるCNOTの積である。\n", "すると、上記の回路は、測定前の以下の状態を実現する：\n", "\n", "$$\n", "\\begin{aligned}\n", " \\text{Step 0:}\\qquad|\\Psi\\rangle & = \\ket{0} \\ket{0}^{N}\\\\\n", " \\text{Step 1:}\\qquad|\\Psi\\rangle & = \\frac{1}{\\sqrt{2}}\\left(\\ket{0}\\ket{0}^N+ \\ket{1} \\ket{0}^N\\right)\\\\\n", " \\text{Step 2:}\\qquad|\\Psi\\rangle & = \\frac{1}{\\sqrt{2}}\\left(|0\\rangle|0\\rangle^N+|1\\rangle|\\psi_0\\rangle\\right)\\\\\n", " \\text{Step 3:}\\qquad|\\Psi\\rangle & = \\frac{1}{\\sqrt{2}}\\left(e^{i\\phi}\\ket{0}\\ket{0}^N+\\ket{1} U\\ket{\\psi_0}\\right)\\\\\n", " \\text{Step 4:}\\qquad|\\Psi\\rangle & = \\frac{1}{\\sqrt{2}}\\left(e^{i\\phi}\\ket{0} \\ket{\\psi_0}+\\ket{1} U\\ket{\\psi_0}\\right)\\\\\n", " & = \\frac{1}{2}\\left(\\ket{+}\\left(e^{i\\phi}\\ket{\\psi_0}+U\\ket{\\psi_0}\\right)+\\ket{-}\\left(e^{i\\phi}\\ket{\\psi_0}-U\\ket{\\psi_0}\\right)\\right)\\\\\n", " & = \\frac{1}{2}\\left(\\ket{+i}\\left(e^{i\\phi}\\ket{\\psi_0}-iU\\ket{\\psi_0}\\right)+\\ket{-i}\\left(e^{i\\phi}\\ket{\\psi_0}+iU\\ket{\\psi_0}\\right)\\right)\n", "\\end{aligned}\n", "$$\n", "\n", "ここでは、ステップ2からステップ3まで、古典的なシミュラブル位相シフト $ U\\ket{0}^N = e^{i\\phi}\\ket{0}^N$。したがって期待値は\n", "\n", "$$\n", "\\begin{aligned}\n", " \\langle X\\otimes P\\rangle&=\\frac{1}{4}\n", " \\Big(\n", " \\left(e^{-i\\phi}\\bra{\\psi_0}+\\bra{\\psi_0}U^\\dagger\\right)P\\left(e^{i\\phi}\\ket{\\psi_0}+U\\ket{\\psi_0}\\right)\n", " \\\\\n", " &\\qquad-\\left(e^{-i\\phi}\\bra{\\psi_0}-\\bra{\\psi_0}U^\\dagger\\right)P\\left(e^{i\\phi}\\ket{\\psi_0}-U\\ket{\\psi_0}\\right)\n", " \\Big)\\\\\n", " &=\\text{Re}\\left[e^{-i\\phi}\\bra{\\psi_0}PU\\ket{\\psi_0}\\right],\n", "\\end{aligned}\n", "\n", "$$\n", "\n", "$$\n", "\n", "\\begin{aligned}\n", " \\langle Y\\otimes P\\rangle&=\\frac{1}{4}\n", " \\Big(\n", " \\left(e^{-i\\phi}\\bra{\\psi_0}+i\\bra{\\psi_0}U^\\dagger\\right)P\\left(e^{i\\phi_0}\\ket{\\psi_0}-iU\\ket{\\psi_0}\\right)\n", " \\\\\n", " &\\qquad-\\left(e^{-i\\phi}\\bra{\\psi_0}-i\\bra{\\psi_0}U^\\dagger\\right)P\\left(e^{i\\phi}\\ket{\\psi_0}+iU\\ket{\\psi_0}\\right)\n", " \\Big)\\\\\n", " &=\\text{Im}\\left[e^{-i\\phi}\\bra{\\psi_0}PU\\ket{\\psi_0}\\right].\n", "\\end{aligned}\n", "\n", "$$\n", "\n", "これらの仮定を用いることで、より少ない制御演算で、関心のある演算子の期待値を書くことができた。実際には、制御された状態準備（ $\\text{Prep} \\; \\psi_0$ ）だけを実装すればよく、制御された時間発展は必要ない。上記のように計算を組み直すことで、結果として得られる回路の深さを大幅に減らすことができる。\n", "\n", "ボーナスとして、パウリ演算子は回路の途中で制御されたゲートとしてではなく、回路の最後で測定されるようになったので、上で示した分解 $H=\\sum_{\\alpha = 1}^{N_\\text{GCP}}c_\\alpha P_\\alpha $ のように、他の通学パウリ演算子と一緒に測定することができる。\n", "\n" ] }, { "cell_type": "markdown", "id": "cd24795e-3ef0-4629-87bf-8e04c471d665", "metadata": {}, "source": [ "\n", "\n", "### トロッター分解を用いて時間発展演算子を分解する\n", "\n", "時間発展演算子を厳密に実装する代わりに、トロッター分解を用いてその近似を実装することができます。ある順序のトロッター分解を数回繰り返すことで、近似によって生じる誤差をさらに低減することができます。以下では、検討しているハミルトニアンの相互作用グラフ（最近接相互作用のみ）に対して、最も効率的な方法でトロッター法の実装を直接構築する。実際には、結合強度 $J_x$、 $J_y$、 $J_z$ およびパラメータ化された角度 $t$ を持つパウリ回転 $R_{xx}$、 $R_{yy}$、 $R_{zz}$ を挿入します。これらは、 $e^{-i (J_x XX + J_y YY + J_z ZZ) t}$ の近似的な実装に対応しています。パウリ回転の定義と、実装しようとしている時間発展との違いを考慮すると、 $dt$ の時間発展を実現するには、パラメータ $2*dt$ を使用する必要があります。さらに、トロッターステップの繰り返し回数が奇数の場合、演算の順序を逆転させます。これは機能的には同等ですが、隣接する演算を単一の $SU(2)$ ユニタリー演算で合成できるようになります。これにより、汎用機能 `PauliEvolutionGate()` を使用した場合よりもはるかに浅い回路が得られます。\n", "\n" ] }, { "cell_type": "code", "execution_count": null, "id": "8d35e6cd-c0f6-4871-83da-86472d66be2c", "metadata": {}, "outputs": [ { "data": { "text/plain": [ " $\"Output$ " ] }, "execution_count": 74, "metadata": {}, "output_type": "execute_result" } ], "source": [ "t = Parameter(\"t\")\n", "\n", "# Create instruction for rotation about XX+YY-ZZ:\n", "Rxyz_circ = QuantumCircuit(2)\n", "Rxyz_circ.rxx(2 * JX * t, 0, 1)\n", "Rxyz_circ.ryy(2 * JY * t, 0, 1)\n", "Rxyz_circ.rzz(2 * JZ * t, 0, 1)\n", "Rxyz_instr = Rxyz_circ.to_instruction(label=\"R J_x XX + J_y YY + J_z ZZ\")\n", "\n", "interaction_list = [\n", " [[i, i + 1] for i in range(0, n_qubits - 1, 2)],\n", " [[i, i + 1] for i in range(1, n_qubits - 1, 2)],\n", "] # linear chain\n", "\n", "qr = QuantumRegister(n_qubits)\n", "trotter_step_circ = QuantumCircuit(qr)\n", "for i, color in enumerate(interaction_list):\n", " for interaction in color:\n", " trotter_step_circ.append(Rxyz_instr, interaction)\n", " if i < len(interaction_list) - 1:\n", " trotter_step_circ.barrier()\n", "reverse_trotter_step_circ = trotter_step_circ.reverse_ops()\n", "\n", "qc_evol = QuantumCircuit(qr)\n", "for step in range(num_trotter_steps):\n", " if step % 2 == 0:\n", " qc_evol = qc_evol.compose(trotter_step_circ)\n", " else:\n", " qc_evol = qc_evol.compose(reverse_trotter_step_circ)\n", "\n", "qc_evol.decompose().draw(\"mpl\", fold=-1, scale=0.5)" ] }, { "cell_type": "markdown", "id": "2a3d8d4a-fc0f-4702-ac69-67f63d0c0e30", "metadata": {}, "source": [ "この効率的なハダマルド・テストのために、再び初期状態を準備する。\n", "\n" ] }, { "cell_type": "code", "execution_count": 75, "id": "d1d0b9de-65d4-4a46-975d-6cfaaac05f9a", "metadata": {}, "outputs": [ { "data": { "text/plain": [ " $\"Output$ " ] }, "execution_count": 75, "metadata": {}, "output_type": "execute_result" } ], "source": [ "control = 0\n", "excitation = int(n_qubits / 2) + 1\n", "controlled_state_prep = QuantumCircuit(n_qubits + 1)\n", "controlled_state_prep.cx(control, excitation)\n", "controlled_state_prep.draw(\"mpl\", fold=-1, scale=0.5)" ] }, { "cell_type": "markdown", "id": "415e94f8-6594-42ab-b55b-80a34852b943", "metadata": {}, "source": [ "\n", "\n", "#### $\\tilde{S}$ および $\\tilde{H}$ の行列要素をHadamardテストを用いて計算するためのテンプレート回路\n", "\n", "ハダマード・テストで使用される回路の唯一の違いは、時間発展演算子の位相と測定される観測値である。したがって、時間発展演算子に依存するゲートのプレースホルダーを持つ、ハダマード・テストの一般的な回路を表すテンプレート回路を用意することができる。\n", "\n" ] }, { "cell_type": "code", "execution_count": 76, "id": "27a54efa-affb-41bc-8523-822f8d92d34f", "metadata": {}, "outputs": [], "source": [ "# Parameters for the template circuits\n", "parameters = []\n", "for idx in range(1, krylov_dim):\n", " parameters.append(dt_circ * (idx))" ] }, { "cell_type": "code", "execution_count": 77, "id": "37382668-1999-4475-b50f-2887449d5c93", "metadata": {}, "outputs": [ { "data": { "text/plain": [ " $\"Output$ " ] }, "execution_count": 77, "metadata": {}, "output_type": "execute_result" } ], "source": [ "# Create modified hadamard test circuit\n", "qr = QuantumRegister(n_qubits + 1)\n", "qc = QuantumCircuit(qr)\n", "qc.h(0)\n", "qc.compose(controlled_state_prep, list(range(n_qubits + 1)), inplace=True)\n", "qc.barrier()\n", "qc.compose(qc_evol, list(range(1, n_qubits + 1)), inplace=True)\n", "qc.barrier()\n", "qc.x(0)\n", "qc.compose(controlled_state_prep.inverse(), list(range(n_qubits + 1)), inplace=True)\n", "qc.x(0)\n", "\n", "qc.decompose().draw(\"mpl\", fold=-1)" ] }, { "cell_type": "code", "execution_count": 78, "id": "4ad71f04-ec89-473b-9b7a-db4d3936c85e", "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "The optimized circuit has 2Q gates depth: 50\n" ] } ], "source": [ "print(\n", " \"The optimized circuit has 2Q gates depth: \",\n", " qc.decompose().decompose().depth(lambda x: x[0].num_qubits == 2),\n", ")" ] }, { "cell_type": "markdown", "id": "6f60d587-8ae1-4daa-ab76-a032c2221ab7", "metadata": {}, "source": [ "この深さは、オリジナルのハダマード・テストに比べて大幅に減少している。この深さは、最新の量子コンピューターでも管理可能なものだが、それでもかなり高い。有用な結果を得るためには、最先端のエラー緩和を用いる必要がある。\n", "\n", "量子クリロフ計算を実行するバックエンドを選択し、その量子コンピューター上で実行できるように回路をトランスパイルする。\n", "\n" ] }, { "cell_type": "code", "execution_count": null, "id": "5683752b-d520-4cad-9fe9-7ebb7f495ba0", "metadata": {}, "outputs": [], "source": [ "# Use the least-busy backend or specify a quantum computer using the syntax commented out below.\n", "service = QiskitRuntimeService()\n", "backend = service.least_busy(operational=True, simulator=False)\n", "\n", "# Or you may choose a specify backend and channel if necessary for your workflow.\n", "# service = QiskitRuntimeService(channel=\"ibm_quantum_platform\")\n", "# backend = service.backend(\"ibm_fez\")" ] }, { "cell_type": "markdown", "id": "0337f370-edff-4dcb-9570-26818ee51d3a", "metadata": {}, "source": [ "ここで回路と演算子をトランスパイルする。\n", "\n" ] }, { "cell_type": "code", "execution_count": 80, "id": "8a7c9ea1-5bc3-40b7-aa55-040cbb5f8c28", "metadata": {}, "outputs": [], "source": [ "from qiskit.transpiler.preset_passmanagers import generate_preset_pass_manager\n", "\n", "target = backend.target\n", "basis_gates = list(target.operation_names)\n", "pm = generate_preset_pass_manager(\n", " optimization_level=3, backend=backend, basis_gates=basis_gates\n", ")\n", "\n", "qc_trans = pm.run(qc)" ] }, { "cell_type": "code", "execution_count": 81, "id": "054bcfba-fde3-4213-bbd7-d7a6dd6c03c8", "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "36\n", "OrderedDict([('rz', 410), ('sx', 361), ('cz', 156), ('x', 18), ('barrier', 6)])\n" ] }, { "data": { "text/plain": [ " $\"Output$ " ] }, "execution_count": 81, "metadata": {}, "output_type": "execute_result" } ], "source": [ "print(qc_trans.depth(lambda x: x[0].num_qubits == 2))\n", "print(qc_trans.count_ops())\n", "qc_trans.draw(\"mpl\", fold=-1, idle_wires=False, scale=0.5)" ] }, { "cell_type": "markdown", "id": "5395cc4a-ce59-4f8f-a126-1f8ca5507f83", "metadata": {}, "source": [ "最適化の後、我々のトランスパイルされた2量子ビットの深さはさらに減少した。\n", "\n", "\n", "\n", "### 4.3 ステップ3。 IBM Quantum プリミティブを使用して実行する\n", "\n", "次に、Estimatorで実行するためのPUBを作成する。\n", "\n" ] }, { "cell_type": "code", "execution_count": 82, "id": "5d949e77-d7af-47aa-91e1-40fcf5940996", "metadata": {}, "outputs": [], "source": [ "# Define observables to measure for S\n", "observable_S_real = \"I\" * (n_qubits) + \"X\"\n", "observable_S_imag = \"I\" * (n_qubits) + \"Y\"\n", "\n", "observable_op_real = SparsePauliOp(\n", " observable_S_real\n", ") # define a sparse pauli operator for the observable\n", "observable_op_imag = SparsePauliOp(observable_S_imag)\n", "\n", "layout = qc_trans.layout # get layout of transpiled circuit\n", "observable_op_real = observable_op_real.apply_layout(\n", " layout\n", ") # apply physical layout to the observable\n", "observable_op_imag = observable_op_imag.apply_layout(layout)\n", "observable_S_real = (\n", " observable_op_real.paulis.to_labels()\n", ") # get the label of the physical observable\n", "observable_S_imag = observable_op_imag.paulis.to_labels()\n", "\n", "observables_S = [[observable_S_real], [observable_S_imag]]\n", "\n", "\n", "# Define observables to measure for H\n", "# Hamiltonian terms to measure\n", "observable_list = []\n", "for pauli, coeff in zip(H_op.paulis, H_op.coeffs):\n", " # print(pauli)\n", " observable_H_real = pauli[::-1].to_label() + \"X\"\n", " observable_H_imag = pauli[::-1].to_label() + \"Y\"\n", " observable_list.append([observable_H_real])\n", " observable_list.append([observable_H_imag])\n", "\n", "layout = qc_trans.layout\n", "\n", "observable_trans_list = []\n", "for observable in observable_list:\n", " observable_op = SparsePauliOp(observable)\n", " observable_op = observable_op.apply_layout(layout)\n", " observable_trans_list.append([observable_op.paulis.to_labels()])\n", "\n", "observables_H = observable_trans_list\n", "\n", "\n", "# Define a sweep over parameter values\n", "params = np.vstack(parameters).T\n", "\n", "\n", "# Estimate the expectation value for all combinations of\n", "# observables and parameter values, where the pub result will have\n", "# shape (# observables, # parameter values).\n", "pub = (qc_trans, observables_S + observables_H, params)" ] }, { "cell_type": "markdown", "id": "e0f30365-57d2-4ece-ba62-4e534a810de6", "metadata": {}, "source": [ "$t=0$ の回路は古典的に計算可能である。量子コンピューターを使った $t\\neq 0$。\n", "\n" ] }, { "cell_type": "code", "execution_count": 83, "id": "298c43a4-e54c-4ac3-95bd-12f535d44790", "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "(10+0j)\n" ] } ], "source": [ "from qiskit.quantum_info import StabilizerState, Pauli\n", "\n", "\n", "qc_cliff = qc.assign_parameters({t: 0})\n", "\n", "\n", "# Get expectation values from experiment\n", "S_expval_real = StabilizerState(qc_cliff).expectation_value(\n", " Pauli(\"I\" * (n_qubits) + \"X\")\n", ")\n", "S_expval_imag = StabilizerState(qc_cliff).expectation_value(\n", " Pauli(\"I\" * (n_qubits) + \"Y\")\n", ")\n", "\n", "# Get expectation values\n", "S_expval = S_expval_real + 1j * S_expval_imag\n", "\n", "H_expval = 0\n", "for obs_idx, (pauli, coeff) in enumerate(zip(H_op.paulis, H_op.coeffs)):\n", " # Get expectation values from experiment\n", " expval_real = StabilizerState(qc_cliff).expectation_value(\n", " Pauli(pauli[::-1].to_label() + \"X\")\n", " )\n", " expval_imag = StabilizerState(qc_cliff).expectation_value(\n", " Pauli(pauli[::-1].to_label() + \"Y\")\n", " )\n", " expval = expval_real + 1j * expval_imag\n", "\n", " # Fill-in matrix elements\n", " H_expval += coeff * expval\n", "\n", "\n", "print(H_expval)" ] }, { "cell_type": "markdown", "id": "9b86af1c-7e37-427d-b4f0-fbca38d45a21", "metadata": {}, "source": [ "効率的なハダマード・テストを用いることで、ゲートの深さを1桁減らすことができたが、それでも最先端のエラー緩和を必要とするには十分な深さである。以下では、使用されるミティゲーションの属性を指定する。使用される手法はどれも重要だが、特に[確率的エラー増幅（PEA](/docs/guides/error-mitigation-and-suppression-techniques#probabilistic-error-amplification-pea) ）について言及する価値がある。この強力なテクニックには、大量の量子オーバーヘッドが伴う。ここで行われた計算は、実際の量子コンピューターで実行すると20分以上かかる。精度とオーバーヘッドを増減させるために、以下のパラメータを調整するとよいだろう。以下のデフォルト設定では、忠実度の高い結果が得られる。\n", "\n" ] }, { "cell_type": "code", "execution_count": 84, "id": "2dff41e1-d417-4af7-aa6c-537a9b0e0c7c", "metadata": {}, "outputs": [], "source": [ "# Experiment options\n", "num_randomizations = 300\n", "num_randomizations_learning = 20\n", "max_batch_circuits = 20\n", "shots_per_randomization = 100\n", "learning_pair_depths = [0, 4, 24]\n", "noise_factors = [1, 1.3, 1.6]\n", "\n", "# Base option formatting\n", "options = {\n", " # Builtin resilience settings for ZNE\n", " \"resilience\": {\n", " \"measure_mitigation\": True,\n", " \"zne_mitigation\": True,\n", " \"zne\": {\"noise_factors\": noise_factors},\n", " # TREX noise learning configuration\n", " \"measure_noise_learning\": {\n", " \"num_randomizations\": num_randomizations_learning,\n", " \"shots_per_randomization\": shots_per_randomization,\n", " },\n", " # PEA noise model configuration\n", " \"layer_noise_learning\": {\n", " \"max_layers_to_learn\": 10,\n", " \"layer_pair_depths\": learning_pair_depths,\n", " \"shots_per_randomization\": shots_per_randomization,\n", " \"num_randomizations\": num_randomizations_learning,\n", " },\n", " },\n", " # Randomization configuration\n", " \"twirling\": {\n", " \"num_randomizations\": num_randomizations,\n", " \"shots_per_randomization\": shots_per_randomization,\n", " \"strategy\": \"all\",\n", " },\n", " # Experimental settings for PEA method\n", " \"experimental\": {\n", " # # Just in case, disable any further qiskit transpilation not related to twirling / DD\n", " # \"skip_transpilation\": True,\n", " # Execution configuration\n", " \"execution\": {\n", " \"max_pubs_per_batch_job\": max_batch_circuits,\n", " \"fast_parametric_update\": True,\n", " },\n", " # Error Mitigation configuration\n", " \"resilience\": {\n", " # ZNE Configuration\n", " \"zne\": {\n", " \"amplifier\": \"pea\",\n", " \"return_all_extrapolated\": True,\n", " \"return_unextrapolated\": True,\n", " \"extrapolated_noise_factors\": [0] + noise_factors,\n", " }\n", " },\n", " },\n", "}" ] }, { "cell_type": "markdown", "id": "5932dc29-7905-4f54-9c97-2bb0fc9c1e39", "metadata": {}, "source": [ "最後に、 $\\tilde{S}$ と $\\tilde{H}$ の回路をEstimatorで実行する。\n", "\n" ] }, { "cell_type": "code", "execution_count": 85, "id": "01a41068-453f-4ff6-9664-c73be1965dc7", "metadata": {}, "outputs": [], "source": [ "# This job required 17 minutes of QPU time to run on a Heron r2 processor. This is only an estimate.\n", "# Your execution time may vary.\n", "\n", "with Batch(backend=backend) as batch:\n", " # Estimator\n", " estimator = Estimator(mode=batch, options=options)\n", "\n", " job = estimator.run([pub], precision=1)" ] }, { "cell_type": "markdown", "id": "936865a2-828d-4a45-987e-b62cce0535da", "metadata": {}, "source": [ "\n", "\n", "### 4.4 ステップ4. 結果の後処理と分析\n", "\n", "私たちが量子コンピュータから得たものは、 $\\tilde{S}$ の個々の行列要素と、 $\\tilde{H}$ の行列要素を構成する通約パウリ群である。これらの項を組み合わせて行列を復元し、一般化固有値問題を解くことができるようにしなければならない。\n", "\n" ] }, { "cell_type": "code", "execution_count": 86, "id": "28ed9319-dd36-4104-aba0-f8798cbbd2b6", "metadata": {}, "outputs": [], "source": [ "# Store the outputs as 'results'.\n", "results = job.result()[0]" ] }, { "cell_type": "markdown", "id": "1d3c0af8-fb06-415c-b591-f8e8faedc070", "metadata": {}, "source": [ "\n", "\n", "#### 有効ハミルトニアンとオーバーラップ行列を計算する\n", "\n", "まず、制御されていない時間発展中に $\\vert 0 \\rangle$ 状態によって蓄積された位相を計算する\n", "\n" ] }, { "cell_type": "code", "execution_count": 87, "id": "d36e8b32-621d-44da-808d-297c0b60754a", "metadata": {}, "outputs": [], "source": [ "prefactors = [\n", " np.exp(-1j * sum([c for p, c in H_op.to_list() if \"Z\" in p]) * i * dt)\n", " for i in range(1, krylov_dim)\n", "]" ] }, { "cell_type": "markdown", "id": "f20402f5-1264-4eeb-9d41-8dd6e53e82d3", "metadata": {}, "source": [ "回路の実行結果が得られたら、データを後処理して、以下の行列要素を計算することができる。 $S$\n", "\n" ] }, { "cell_type": "code", "execution_count": 88, "id": "d1ff8971-2f80-4130-b7f2-e95c3a1b476d", "metadata": {}, "outputs": [], "source": [ "# Assemble S, the overlap matrix of dimension D:\n", "S_first_row = np.zeros(krylov_dim, dtype=complex)\n", "S_first_row[0] = 1 + 0j\n", "\n", "# Add in ancilla-only measurements:\n", "for i in range(krylov_dim - 1):\n", " # Get expectation values from experiment\n", " expval_real = results.data.evs[0][0][i] # automatic extrapolated evs if ZNE is used\n", " expval_imag = results.data.evs[1][0][i] # automatic extrapolated evs if ZNE is used\n", "\n", " # Get expectation values\n", " expval = expval_real + 1j * expval_imag\n", " S_first_row[i + 1] += prefactors[i] * expval\n", "\n", "S_first_row_list = S_first_row.tolist() # for saving purposes\n", "\n", "\n", "S_circ = np.zeros((krylov_dim, krylov_dim), dtype=complex)\n", "\n", "# Distribute entries from first row across matrix:\n", "for i, j in it.product(range(krylov_dim), repeat=2):\n", " if i >= j:\n", " S_circ[j, i] = S_first_row[i - j]\n", " else:\n", " S_circ[j, i] = np.conj(S_first_row[j - i])" ] }, { "cell_type": "code", "execution_count": 89, "id": "bfe2a427-7ec6-48de-9321-fa6bf2dc7c94", "metadata": {}, "outputs": [ { "data": { "text/latex": [ "$$\n", "\\displaystyle \\left[\\begin{matrix}1.0 & 0.149322296177984 - 0.283023058106896 i & 0.185815978760175 - 0.0910521940394691 i & 0.0940509850777074 - 0.094154537369141 i\\\\0.149322296177984 + 0.283023058106896 i & 1.0 & 0.149322296177984 - 0.283023058106896 i & 0.185815978760175 - 0.0910521940394691 i\\\\0.185815978760175 + 0.0910521940394691 i & 0.149322296177984 + 0.283023058106896 i & 1.0 & 0.149322296177984 - 0.283023058106896 i\\\\0.0940509850777074 + 0.094154537369141 i & 0.185815978760175 + 0.0910521940394691 i & 0.149322296177984 + 0.283023058106896 i & 1.0\\end{matrix}\\right]\n", "$$" ], "text/plain": [ "Matrix([\n", "[ 1.0, 0.149322296177984 - 0.283023058106896*I, 0.185815978760175 - 0.0910521940394691*I, 0.0940509850777074 - 0.094154537369141*I],\n", "[ 0.149322296177984 + 0.283023058106896*I, 1.0, 0.149322296177984 - 0.283023058106896*I, 0.185815978760175 - 0.0910521940394691*I],\n", "[0.185815978760175 + 0.0910521940394691*I, 0.149322296177984 + 0.283023058106896*I, 1.0, 0.149322296177984 - 0.283023058106896*I],\n", "[0.0940509850777074 + 0.094154537369141*I, 0.185815978760175 + 0.0910521940394691*I, 0.149322296177984 + 0.283023058106896*I, 1.0]])" ] }, "execution_count": 89, "metadata": {}, "output_type": "execute_result" } ], "source": [ "from sympy import Matrix\n", "\n", "Matrix(S_circ)" ] }, { "cell_type": "markdown", "id": "2a863b6f-183f-4d7a-bac8-399da3e3578e", "metadata": {}, "source": [ "そして $\\tilde{H}$\n", "\n" ] }, { "cell_type": "code", "execution_count": 90, "id": "c551fdd0-91ef-4531-83d9-ed399b423bb9", "metadata": {}, "outputs": [], "source": [ "import itertools\n", "\n", "# Assemble S, the overlap matrix of dimension D:\n", "H_first_row = np.zeros(krylov_dim, dtype=complex)\n", "H_first_row[0] = H_expval\n", "\n", "for obs_idx, (pauli, coeff) in enumerate(zip(H_op.paulis, H_op.coeffs)):\n", " # Add in ancilla-only measurements:\n", " for i in range(krylov_dim - 1):\n", " # Get expectation values from experiment\n", " expval_real = results.data.evs[2 + 2 * obs_idx][0][\n", " i\n", " ] # automatic extrapolated evs if ZNE is used\n", " expval_imag = results.data.evs[2 + 2 * obs_idx + 1][0][\n", " i\n", " ] # automatic extrapolated evs if ZNE is used\n", "\n", " # Get expectation values\n", " expval = expval_real + 1j * expval_imag\n", " H_first_row[i + 1] += prefactors[i] * coeff * expval\n", "\n", "H_first_row_list = H_first_row.tolist()\n", "\n", "H_eff_circ = np.zeros((krylov_dim, krylov_dim), dtype=complex)\n", "\n", "# Distribute entries from first row across matrix:\n", "for i, j in itertools.product(range(krylov_dim), repeat=2):\n", " if i >= j:\n", " H_eff_circ[j, i] = H_first_row[i - j]\n", " else:\n", " H_eff_circ[j, i] = np.conj(H_first_row[j - i])" ] }, { "cell_type": "code", "execution_count": 91, "id": "d1950927-74d6-4012-81f2-3d0b7f476de8", "metadata": {}, "outputs": [ { "data": { "text/latex": [ "$$\n", "\\displaystyle \\left[\\begin{matrix}10.0 & -3.02044405310714 - 2.80721615865252 i & 0.496487054782717 + 0.188101957039621 i & 1.0770511571923 + 0.104340737159455 i\\\\-3.02044405310714 + 2.80721615865252 i & 10.0 & -3.02044405310714 - 2.80721615865252 i & 0.496487054782717 + 0.188101957039621 i\\\\0.496487054782717 - 0.188101957039621 i & -3.02044405310714 + 2.80721615865252 i & 10.0 & -3.02044405310714 - 2.80721615865252 i\\\\1.0770511571923 - 0.104340737159455 i & 0.496487054782717 - 0.188101957039621 i & -3.02044405310714 + 2.80721615865252 i & 10.0\\end{matrix}\\right]\n", "$$" ], "text/plain": [ "Matrix([\n", "[ 10.0, -3.02044405310714 - 2.80721615865252*I, 0.496487054782717 + 0.188101957039621*I, 1.0770511571923 + 0.104340737159455*I],\n", "[ -3.02044405310714 + 2.80721615865252*I, 10.0, -3.02044405310714 - 2.80721615865252*I, 0.496487054782717 + 0.188101957039621*I],\n", "[0.496487054782717 - 0.188101957039621*I, -3.02044405310714 + 2.80721615865252*I, 10.0, -3.02044405310714 - 2.80721615865252*I],\n", "[ 1.0770511571923 - 0.104340737159455*I, 0.496487054782717 - 0.188101957039621*I, -3.02044405310714 + 2.80721615865252*I, 10.0]])" ] }, "execution_count": 91, "metadata": {}, "output_type": "execute_result" } ], "source": [ "from sympy import Matrix\n", "\n", "Matrix(H_eff_circ)" ] }, { "cell_type": "markdown", "id": "7ec60832-f7be-447f-841e-e801241fdeae", "metadata": {}, "source": [ "最後に、 $\\tilde{H}$ の一般化固有値問題を解くことができる：\n", "\n", "$\\tilde{H} \\vec{c} = c S \\vec{c}$\n", "\n", "を計算し、基底状態のエネルギーの推定値を得る。 $c_{min}$\n", "\n" ] }, { "cell_type": "code", "execution_count": 92, "id": "d6635506-399f-47a3-a837-c5f2558f22b4", "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "The estimated ground state energy is: 10.0\n", "The estimated ground state energy is: 5.933953916292923\n", "The estimated ground state energy is: 4.4101773995740645\n", "The estimated ground state energy is: 3.921288588521255\n" ] } ], "source": [ "gnd_en_circ_est_list = []\n", "for d in range(1, krylov_dim + 1):\n", " # Solve generalized eigenvalue problem\n", " gnd_en_circ_est = solve_regularized_gen_eig(\n", " H_eff_circ[:d, :d], S_circ[:d, :d], threshold=1e-1\n", " )\n", " gnd_en_circ_est_list.append(gnd_en_circ_est)\n", " print(\"The estimated ground state energy is: \", gnd_en_circ_est)" ] }, { "cell_type": "markdown", "id": "15865587-85f4-41bc-9bf5-47464cf17298", "metadata": {}, "source": [ "一粒子セクターの場合、ハミルトニアンのこのセクターの基底状態を古典的に効率よく計算することができる\n", "\n" ] }, { "cell_type": "code", "execution_count": 93, "id": "3303ae29-c288-417a-9cf2-c82d9770de69", "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "n_sys_qubits 10\n", "n_exc 1 , subspace dimension 11\n", "single particle ground state energy: 2.391547869638771\n" ] } ], "source": [ "gs_en = single_particle_gs(H_op, n_qubits)" ] }, { "cell_type": "code", "execution_count": 94, "id": "2f904ea3-38bc-4841-81ce-cdb69f09a0b7", "metadata": {}, "outputs": [ { "data": { "text/plain": [ "27" ] }, "execution_count": 94, "metadata": {}, "output_type": "execute_result" } ], "source": [ "len(H_op)" ] }, { "cell_type": "code", "execution_count": 95, "id": "a5d4a983-1a30-4cea-b695-3e6a67338633", "metadata": {}, "outputs": [ { "data": { "text/plain": [ " $\"Output$ " ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "plt.plot(\n", " range(1, krylov_dim + 1),\n", " gnd_en_circ_est_list,\n", " color=\"blue\",\n", " linestyle=\"-.\",\n", " label=\"KQD estimate\",\n", ")\n", "plt.plot(\n", " range(1, krylov_dim + 1),\n", " [gs_en] * krylov_dim,\n", " color=\"red\",\n", " linestyle=\"-\",\n", " label=\"exact\",\n", ")\n", "plt.xticks(range(1, krylov_dim + 1), range(1, krylov_dim + 1))\n", "plt.legend()\n", "plt.xlabel(\"Krylov space dimension\")\n", "plt.ylabel(\"Energy\")\n", "plt.title(\"Estimating Ground state energy with Krylov Quantum Diagonalization\")\n", "plt.show()" ] }, { "cell_type": "markdown", "id": "543a2d98-1f72-4df1-ae22-f65d60c0d9c5", "metadata": {}, "source": [ "\n", "\n", "## 5. 考察と発展\n", "\n", "要約すると、まず参照状態から始め、それをさまざまな期間進化させてユニタリー・クリロフ部分空間を生成する。ハミルトニアンをその部分空間に投影する。また、部分空間ベクトルの重なりも推定する。最後に、低次元の一般化固有値問題を古典的に解く。\n", "\n", "![QKDのフローチャートの概要：参照状態から開始し、状態を近似クリロフベクトルに進化させ、クリロフ部分空間に投影し、投影された部分空間を古典的に対角化し、基底状態の特性を決定する。](https://eu-de.quantum.cloud.ibm.com/learning/images/courses/quantum-diagonalization-algorithms/krylov/kqd-fig7.avif)\n", "\n", "古典的なクリロフ技術と量子力学的なクリロフ技術の計算コストを決定するものを比較してみよう。すべてのステップにおいて、古典的アプローチと量子的アプローチの間に完全な類似性があるわけではない。この表は、さまざまなステップのスケーリングを集めたものである。\n", "\n", "![クリロフ法に対する古典的および量子的アプローチにおける様々なプロセスのスケーリングを説明する表。量子のステップの中には、アナログのないものもある。スケーリングは本文に記載されているものと同じ。](https://eu-de.quantum.cloud.ibm.com/learning/images/courses/quantum-diagonalization-algorithms/krylov/kqd-fig8.avif)\n", "\n", "ハミルトニアンには、一般的に（互いに可換でないため）同時に測定できない項が含まれていることを思い出してください。ハミルトニアンの項を、すべて同時に測定可能な、互いに可換なパウリ演算子のグループに分類します。また、互いに可換でないすべての項を説明するためには、このようなグループを多数必要とする場合があります。量子コンピュータ上で $\\tilde{H}$ を構築するには、ハミルトニアン内の可換なパウリ文字列の各グループごとに個別の測定を行う必要があり、そのそれぞれに多数のショットが必要となる。 $r^2$ 個の異なる行列要素について、これを行う必要があり、これらは $r^2$ 通りの異なる時間発展因子の組み合わせに対応する。これを削減する方法がいくつかある場合もありますが、この大まかな処理では、これに必要な時間は $N_\\text{shots}\\times N_\\text{GCP} \\times r^2$ のオーダーで増加します。 $S$ の各要素は推定する必要がありますが、その計算量は $O(N_\\text{shots}\\times r^2)$ のオーダーで増加します。最後に、投影空間における一般化固有値問題を解くには、従来の手法では $O(r^3)$ の計算量が必要です。\n", "\n", "量子クリロフ対角化は、ハミルトニアン中のパウリ群の数が比較的少ない場合に有効であることがわかる。これらのスケーリング依存性は、クリロフ法が有用なアプリケーションとそうでないアプリケーションを示唆している。\n", "ハミルトニアンの中には、量子ビットに写像したときに複雑さを増すものがあり、多数の非共通パウリ文字列を含み、少数の共通群に簡単に分割できないものがある。例えば、量子化学の問題ではよくあることだ。この複雑さは、近い将来の量子コンピューターに2つの主要な課題をもたらす：\n", "\n", "* $\\tilde{H}$ の各要素の推定は、項数が多いため計算コストが高くなる。\n", "* 必要なトロッター回路は法外に深くなる。\n", "\n", "上記の2点は、量子コンピューターがフォールトトレランス（耐障害性）に到達すれば問題は少なくなるが、当面は考慮しなければならない。量子化学の系よりも \"単純な \"写像を持つ系であっても、ハミルトニアンに非共約項が多すぎる場合には、同じ障害が発生する可能性がある。\n", "クリロフ法は、ハミルトニアンが比較的少数の通約パウリ群に分割でき、 $H$、トロッター回路の実装が容易な場合に最も有用である。例えば、物理学で注目されている多くの格子モデルでは、これらの条件が両方とも満たされている。 KQDは、基底状態についてほとんど知られていない場合に特に有効である。これは、その固有の収束保証と、地上状態に関する知識が不十分であるために他の方法が使えないようなシナリオで適用できることに起因する。\n", "\n", "KQDは強力なツールであるが、プロトコルの時間のかかる側面、特に投影ハミルトニアンの各要素の推定とクリロフ状態のオーバーラップには改善の余地がある。別のアプローチとしては、クリロフ法をサンプリングベースの手法と組み合わせて活用する方法がある。\n", "\n" ] }, { "cell_type": "markdown", "id": "7fa7609f-9e96-4b0c-b716-ae9242bb40ca", "metadata": {}, "source": [ "\n", "\n", "## 6. 付録\n", "\n", "\n", "\n", "### 付録I：実時間発展からのクリロフ部分空間\n", "\n", "ユニタリー・クリロフ空間は次のように定義される\n", "\n", "$$\n", "\\mathcal{K}_U(H, |\\psi\\rangle) = \\text{span}\\left\\{ |\\psi\\rangle, e^{-iH\\,dt} |\\psi\\rangle, \\dots, e^{-irH\\,dt} |\\psi\\rangle \\right\\}\n", "$$\n", "\n", "後で決めるタイムステップ $dt$。仮に $r$ が偶数であると仮定する。 $d=r/2$ を定義する。ハミルトニアンを上記のクリロフ空間に射影すると，クリロフ空間と区別がつかないことに注意してください．\n", "\n", "$$\n", "\\mathcal{K}_U(H, |\\psi\\rangle) = \\text{span}\\left\\{ e^{i\\,d\\,H\\,dt}|\\psi\\rangle, e^{i(d-1)H\\,dt} |\\psi\\rangle, \\dots, e^{-i(d-1)H\\,dt} |\\psi\\rangle, e^{-i\\,d\\,H\\,dt} |\\psi\\rangle \\right\\},\n", "$$\n", "\n", "つまり、すべての時間進化が $d$ タイムステップだけ後ろにシフトしている。\n", "見分けがつかない理由は、行列の要素にある\n", "\n", "$$\n", "\\tilde{H}_{j,k} = \\langle\\psi|e^{i\\,j\\,H\\,dt}He^{-i\\,k\\,H\\,dt}|\\psi\\rangle=\\langle\\psi|He^{i(j-k)H\\,dt}|\\psi\\rangle\n", "$$\n", "\n", "は、進化時間の全体的なシフトに対して不変であり、時間進化はハミルトニアンと通約するからである。奇数 $r$ については、 $r-1$ の分析を使うことができる。\n", "\n", "このクリロフ空間のどこかに、低エネルギー状態が必ず存在することを示したい。これは [\\[3\\]](#references) の定理 3.1 ：\n", "\n", "**請求項1：** ハミルトニアンのスペクトル範囲（つまり、基底状態エネルギーと最大エネルギーの間）のエネルギー $E$ に対して、次のような関数 $f$ が存在する。\n", "\n", "1. $f(E_0)=1$\n", "2. $|f(E)|\\le2\\left(1 + \\delta\\right)^{-d}$ $E_0$ から離れたところにあるのすべての値に対して、つまり指数関数的に抑制される。 $\\ge\\delta$ $E$\n", "3. $f(E)$ に対する $e^{ijE\\,dt}$ の線形結合である。 $j=-d,-d+1,...,d-1,d$\n", "\n", "以下に証明を示すが、完全で厳密な議論を理解したい人以外は読み飛ばしても構わない。今のところは、上記の主張の意味に焦点を当てる。上記の性質3により、上記のシフト・クリロフ空間は状態 $f(H)|\\psi\\rangle$ を含むことがわかる。これが我々の低エネルギー状態である。その理由を知るために、 $|\\psi\\rangle$ をエネルギー固有ベーシスで書いてみよう：\n", "\n", "$$\n", "|\\psi\\rangle = \\sum_{k=0}^{N}\\gamma_k|E_k\\rangle,\n", "$$\n", "\n", "ここで $|E_k\\rangle$ はk番目のエネルギー固有状態であり、 $\\gamma_k$ は初期状態 $|\\psi\\rangle$ におけるその振幅である。これによって表現すると、 $f(H)|\\psi\\rangle$ は次式で与えられる\n", "\n", "$$\n", "f(H)|\\psi\\rangle = \\sum_{k=0}^{N}\\gamma_kf(E_k)|E_k\\rangle,\n", "$$\n", "\n", "が固有状態 $|E_k\\rangle$ に作用するとき、 $H$ を $E_k$ で置き換えることができるという事実を利用している。したがって、この状態のエネルギー誤差は\n", "\n", "$$\n", "\\text{energy error} = \\frac{\\langle\\psi|f(H)(H-E_0)f(H)|\\psi\\rangle}{\\langle\\psi|f(H)^2|\\psi\\rangle}\n", "$$\n", "\n", "$$\n", "= \\frac{\\sum_{k=0}^{N}|\\gamma_k|^2f(E_k)^2(E_k-E_0)}{\\sum_{k=0}^{N}|\\gamma_k|^2f(E_k)^2}.\n", "$$\n", "\n", "これを理解しやすい上界にするために、まず分子の和を $E_k-E_0\\le\\delta$ の項と $E_k-E_0>\\delta$ の項に分ける：\n", "\n", "$$\n", "\\text{energy error} = \\frac{\\sum_{E_k\\le E_0+\\delta}|\\gamma_k|^2f(E_k)^2(E_k-E_0)}{\\sum_{k=0}^{N}|\\gamma_k|^2f(E_k)^2} + \\frac{\\sum_{E_k> E_0+\\delta}|\\gamma_k|^2f(E_k)^2(E_k-E_0)}{\\sum_{k=0}^{N}|\\gamma_k|^2f(E_k)^2}.\n", "$$\n", "\n", "第一項を $\\delta$ で上界することができる、\n", "\n", "$$\n", "\\frac{\\sum_{E_k\\le E_0+\\delta}|\\gamma_k|^2f(E_k)^2(E_k-E_0)}{\\sum_{k=0}^{N}|\\gamma_k|^2f(E_k)^2} < \\frac{\\delta\\sum_{E_k\\le E_0+\\delta}|\\gamma_k|^2f(E_k)^2}{\\sum_{k=0}^{N}|\\gamma_k|^2f(E_k)^2} \\le \\delta,\n", "$$\n", "\n", "ここで、最初のステップは、和のすべての $E_k$ について $E_k-E_0\\le\\delta$、2番目のステップは、分子の和が分母の和の部分集合であるため、続く。第2項については、まず分母を $|\\gamma_0|^2$。 $f(E_0)^2=1$ ：すべてを足し合わせると、次のようになる\n", "\n", "$$\n", "\\text{energy error} \\le \\delta + \\frac{1}{|\\gamma_0|^2}\\sum_{E_k>E_0+\\delta}|\\gamma_k|^2f(E_k)^2(E_k-E_0).\n", "$$\n", "\n", "残されたものを単純化するために、これらのすべての $E_k$、 $f$ の定義によって、 $f(E_k)^2 \\le 4\\left(1 + \\delta\\right)^{-2d}$。さらに、 $E_k-E_0<2\\|H\\|$ を上界し、 $\\sum_{E_k>E_0+\\delta}|\\gamma_k|^2<1$ を上界すると、次のようになる\n", "\n", "$$\n", "\\text{energy error} \\le \\delta + \\frac{8}{|\\gamma_0|^2}\\|H\\|\\left(1 + \\delta\\right)^{-2d}.\n", "$$\n", "\n", "これは、どのような $\\delta>0$ についても成り立つので、 $\\delta$ を目標誤差に等しく設定すれば、上の誤差境界は、クリロフ次元 $2d=r$ に従って指数関数的に収束する。また、 $\\delta\n", "\n", "### 付録II：請求項１の証明\n", "\n", "以下はほとんど [\\[3\\]](#references) の定理 3.1: $0 < a < b$ とし、 $\\Pi^*_d$ を最大次数 $d$ の残差多項式（0での値が1である多項式）の空間とする。に対する解は\n", "\n", "$$\n", "\\beta(a, b, d) = \\min_{p \\in \\Pi^*_d} \\max_{x \\in [a, b]} |p(x)| \\quad\n", "$$\n", "\n", "次と同一である\n", "\n", "$$\n", "p^*(x) = \\frac{T_d\\left(\\frac{b + a - 2x}{b - a}\\right)}{T_d\\left(\\frac{b + a}{b - a}\\right)}, \\quad\n", "$$\n", "\n", "となり、対応する最小値は\n", "\n", "$$\n", "\\beta(a, b, d) = T_d^{-1}\\left(\\frac{b + a}{b - a}\\right).\n", "$$\n", "\n", "我々はこれを複素指数で自然に表現できる関数に変換したい。なぜなら、それが量子クリロフ空間を生成する実時間進化だからである。\n", "そのためには、ハミルトニアンのスペクトル範囲内のエネルギーを、 $[0,1]$ ：defineの範囲内の数に変換する以下の変換を導入するのが便利である\n", "\n", "$$\n", "g(E) = \\frac{1-\\cos\\big((E-E_0)dt\\big)}{2},\n", "$$\n", "\n", "ここで $dt$ は $-\\pi < E_0dt < E_\\text{max}dt < \\pi$ のようなタイムステップである。 $E$ が $E_0$ から遠ざかるにつれて、 $g(E_0)=0$ と $g(E)$ が成長することに注意。\n", "\n", "ここで、パラメータa, b, dを $a = g(E_0 + \\delta)$, $b = 1$, d = int( r/2 ) に設定した多項式 $p^*(x)$ を使い、関数を定義する：\n", "\n", "$$\n", "f(E) = p^* \\left( g(E) \\right) = \\frac{T_d\\left(1 + 2\\frac{\\cos\\big((E-E_0)dt\\big) - \\cos\\big(\\delta\\,dt\\big)}{1 +\\cos\\big(\\delta\\,dt\\big)}\\right)}{T_d\\left(1 + 2\\frac{1-\\cos\\big(\\delta\\,dt\\big)}{1 + \\cos\\big(\\delta\\,dt\\big)}\\right)}\n", "$$\n", "\n", "ここで、 $E_0$ は基底状態のエネルギーである。 $f(E)$ が次数 $d$ の三角多項式、つまり $j=-d,-d+1,...,d-1,d$ に対する $e^{ijE\\,dt}$ の線形結合であることは、 $\\cos(x)=\\frac{e^{ix}+e^{-ix}}{2}$ を挿入することでわかる。さらに、上記の $p^*(x)$ の定義から、 $f(E_0)=p(0)=1$ と、 $\\vert E-E_0 \\vert > \\delta$ のようなスペクトル範囲内の任意の $E$ に対して、次のようになる\n", "\n", "$$\n", "|f(E)| \\le \\beta(a, b, d) = T_d^{-1}\\left(1 + 2\\frac{1-\\cos\\big(\\delta\\,dt\\big)}{1 + \\cos\\big(\\delta\\,dt\\big)}\\right)\n", "$$\n", "\n", "$$\n", "\\leq 2\\left(1 + \\delta\\right)^{-d} = 2\\left(1 + \\delta\\right)^{-\\lfloor k/2\\rfloor}.\n", "$$\n", "\n" ] }, { "cell_type": "markdown", "id": "97d292db-83bb-431c-97e3-91212e168ab8", "metadata": {}, "source": [ "\n", "\n", "## 参照資料：\n", "\n", "\\[1 ][https://arxiv.org/abs/2407.14431](https://arxiv.org/abs/2407.14431)\n", "\n", "\\[2 ][https://arxiv.org/abs/1811.09025](https://arxiv.org/abs/1811.09025)\n", "\n", "\\[3 ][https://people.math.ethz.ch/\\~mhg/pub/biksm.pdf](https://people.math.ethz.ch/~mhg/pub/biksm.pdf)\n", "\n", "\\[4 ][https://academic.oup.com/book/36426](https://academic.oup.com/book/36426)\n", "\n", "\\[5] [https://en.wikipedia.org/wiki/Krylov](https://en.wikipedia.org/wiki/Krylov_subspace)\n", "\n", "\\[6] クリロフ部分空間法：原理と分析, イェルク・リーゼン, ズデネク・ストラコス [https://academic.oup.com/book/36426](https://academic.oup.com/book/36426)\n", "\n", "\\[7] スパース線形システムの反復法」ユセフ・サード著\n", "\n", "\\[8] \"MINRES-QLP: A Krylov Subspace Method for Indefinite or Singular Symmetric Systems\" by Sou-Cheng Choi, Christopher Paige, and Michael Saunders. マイケル・サンダース( [https://epubs.siam.org/doi/10.1137/100787921](https://epubs.siam.org/doi/10.1137/100787921) )\n", "\n", "\\[9] イーサン・エッパリー、リン・リン、中務裕司。「量子部分空間対角化の理論」。 SIAM Journal on Matrix Analysis and Applications 43, 1263-1290 (2022).\n", "\n", "\\[10 ][https://link.aps.org/doi/10.1103/PRXQuantum.4.030319](https://link.aps.org/doi/10.1103/PRXQuantum.4.030319)\n", "\n" ] }, { "cell_type": "markdown", "metadata": {}, "id": "a1b8767d", "source": "© IBM Corp., 2017-2026" } ], "metadata": { "kernelspec": { "display_name": "Python 3", "language": "python", "name": "python3" }, "language_info": { "codemirror_mode": { "name": "ipython", "version": 3 }, "file_extension": ".py", "mimetype": "text/x-python", "name": "python", "nbconvert_exporter": "python", "pygments_lexer": "ipython3", "version": "3" } }, "nbformat": 4, "nbformat_minor": 2 }