{ "cells": [ { "cell_type": "markdown", "id": "eb419bc5-908c-4f0d-a4ff-c4d13f04e332", "metadata": { "tags": [] }, "source": [ "---\n", "title: \"量子汎用化（VQE）を用いたハイゼンベルグ鎖の基底状態エネルギー推定\"\n", "description: \"ハイゼンベルグ連鎖をシミュレーションし、その基底状態のエネルギーを推定するためのQiskitパターンを構築、デプロイ、実行します。\"\n", "---\n", "\n", "{/* cspell:ignore hyperparameters, forall, nabla, nparams */}\n", "\n", "\n", "\n", "# 量子汎用化（VQE）を用いたハイゼンベルグ鎖の基底状態エネルギー推定\n", "\n", "*推定実行時間：Heronプロセッサで37分（注：これはあくまで推定値です。 （実行時間は異なる場合があります。）*\n", "\n" ] }, { "cell_type": "markdown", "id": "e28ad544", "metadata": {}, "source": [ "\n", "\n", "## 学習成果\n", "\n", "このチュートリアルを完了すると、以下の内容を理解できるようになります：\n", "\n", "* Qiskit を使用してハイゼンベルグスピン鎖を量子ハミルトニアンとしてモデル化する方法\n", "* SPSAオプティマイザーを用いて量子系の基底状態エネルギーを推定する方法\n", "* IBM Quantum のプリミティブとセッションを使用して、 IBM® の量子ハードウェア上で変分ワークフローを実行する方法\n", "\n", "\n", "\n", "## 前提条件\n", "\n", "以下のトピックについて、あらかじめ理解しておくことをお勧めします：\n", "\n", "* [量子情報の基礎](/learning/courses/basics-of-quantum-information)\n", "* [Qiskitパターンの概要](/docs/guides/intro-to-patterns)\n", "* [変分アルゴリズム設計](/learning/courses/variational-algorithm-design)\n", "\n", "\n", "\n", "## 背景\n", "\n", "ハイゼンベルグスピン鎖は、物性物理学および量子磁性学において最も広く研究されているモデルの一つである。 これは、相互作用する量子スピンの一次元格子について記述したもので、隣接するスピンは交換相互作用を通じて結合している。 外部磁場が加わった等方性ハイゼンベルクモデルのハミルトニアンは、次のように表される：\n", "\n", "$H = \\sum_{\\langle i,j \\rangle} \\left( J_x X_i X_j + J_y Y_i Y_j + J_z Z_i Z_j \\right) + \\sum_{i} h_i Z_i,$\n", "\n", "ここで、 $X_i$、 $Y_i$、および $Z_i$ は、サイト $i$ に作用するパウリ演算子であり、和 $\\langle i,j \\rangle$ は最近接ペアに対してとられ、 $J_x = J_y = J_z = 0.5$ は交換結合定数（本チュートリアルでは等方性）であり、 $h_i$ はサイトに依存する外部磁場を表す。 このチュートリアルでは、磁場値は $[-1, 1]$ の範囲からランダムにサンプリングされます。なお、以下の実装において、「最近傍」ペアの集合は、最初の $N$ 個の量子ビット間のハードウェアバックエンド固有の結合によって決定されますが、デバイスのトポロジーによっては、これらが厳密な線形チェーンを形成しない場合があります。\n", "\n", "このハミルトニアンの基底状態エネルギーを理解することは、物理学において極めて重要である。 基底状態には、量子相転移、エンタングルメント構造、および磁気秩序に関する情報が含まれている。 従来、スピンの数が増加するにつれて、基底状態の正確なエネルギーを計算することは困難になります。これは、 $N$ 個のスピンを持つ場合、ヒルベルト空間の次元が $2^N$ という指数関数的なスケールで増加するためです。 このため、量子シミュレーションの最適な対象となる。\n", "\n", "変分量子固有値ソルバー（VQE）は、ハミルトニアンの基底状態エネルギーを推定するために設計された、量子・古典ハイブリッドアルゴリズムである。 この手法は、量子コンピュータ上でパラメータ化された量子状態 $|\\psi(\\theta)\\rangle$ （アンザッツと呼ばれる）を準備し、その期待値 $\\langle \\psi(\\theta) | H | \\psi(\\theta) \\rangle$ を測定することで機能する。その後、古典的な最適化アルゴリズムが、このエネルギーを最小化するようにパラメータ $\\theta$ を反復的に調整する。この際、測定されたエネルギーが常に真の基底状態エネルギーの上限となることを保証する変分原理が活用される。\n", "\n", "このチュートリアルでは、Qiskitのcircuitライブラリにあるansatz `efficient_su2` を使用します。これは、単一量子ビットの回転ゲートとエンタングルメントゲートを層状に構成するものです。 この最適化には、同時摂動確率近似（SPSA）アルゴリズムが用いられている。このアルゴリズムは、パラメータの数にかかわらず、1回の反復ごとにわずか2回の関数評価のみで勾配を推定するため、ノイズの多い量子ハードウェアに特に適している。\n", "\n" ] }, { "cell_type": "markdown", "id": "bc52f763", "metadata": {}, "source": [ "\n", "\n", "## 要件\n", "\n", "このチュートリアルを始める前に、以下のものがインストールされていることを確認してください：\n", "\n", "* Qiskit SDK v2.0 以降、 [可視化](/docs/api/qiskit/visualization)機能を搭載\n", "* Qiskit Runtime v0.44 またはそれ以降 (`pip install qiskit-ibm-runtime`)\n", "\n" ] }, { "cell_type": "markdown", "id": "a46e9e3e", "metadata": {}, "source": [ "\n", "\n", "## セットアップ\n", "\n" ] }, { "cell_type": "code", "execution_count": 1, "id": "e7754922", "metadata": {}, "outputs": [], "source": [ "import numpy as np\n", "import matplotlib.pyplot as plt\n", "from typing import Sequence\n", "\n", "from qiskit import QuantumCircuit\n", "from qiskit.quantum_info import SparsePauliOp\n", "from qiskit.primitives import BaseEstimatorV2\n", "from qiskit.circuit.library import XGate\n", "from qiskit.circuit.library import efficient_su2\n", "from qiskit.transpiler import PassManager\n", "from qiskit.transpiler.preset_passmanagers import generate_preset_pass_manager\n", "from qiskit.transpiler.passes.scheduling import (\n", " ALAPScheduleAnalysis,\n", " PadDynamicalDecoupling,\n", ")\n", "from qiskit_ibm_runtime import QiskitRuntimeService, Session, EstimatorV2\n", "\n", "\n", "def visualize_results(results):\n", " plt.plot(results[\"cost_history\"], lw=2)\n", " plt.xlabel(\"Number of function evaluations\")\n", " plt.ylabel(\"Energy\")\n", " plt.show()" ] }, { "cell_type": "markdown", "id": "890d9c81", "metadata": {}, "source": [ "\n", "\n", "## 小規模な例\n", "\n", "このセクションでは、Qiskitのパターンを小規模な例を用いて段階的に解説し、ワークフローを構築しながら主要な構成要素について説明します。\n", "\n" ] }, { "cell_type": "markdown", "id": "132fb15f-10b4-4d7e-83d8-f512a6f675d1", "metadata": {}, "source": [ "\n", "\n", "### ステップ1：古典的な入力を量子問題にマッピングする\n", "\n", "* 入力スピン数\n", "* アウトプットハイゼンベルグ連鎖をモデル化するアンサッツとハミルトニアン\n", "\n", "10スピンのハイゼンベルグ鎖をモデル化する近似解とハミルトニアンを構築せよ。 このステップでは、負荷が最も低いバックエンドの結合マップを用いて10スピンのハイゼンベルク・ハミルトニアンを構築し、アンザッツを `efficient_su2` 準備します。\n", "\n" ] }, { "cell_type": "code", "execution_count": 2, "id": "7e8d2f10-f1d6-4ec2-bac9-9db23499c9e1", "metadata": {}, "outputs": [ { "data": { "text/plain": [ "\"Output" ] }, "execution_count": 2, "metadata": {}, "output_type": "execute_result" } ], "source": [ "num_spins = 10\n", "ansatz = efficient_su2(num_qubits=num_spins, reps=2)\n", "\n", "service = QiskitRuntimeService()\n", "backend = service.least_busy(\n", " operational=True, min_num_qubits=num_spins, simulator=False\n", ")\n", "\n", "coupling = backend.target.build_coupling_map()\n", "reduced_coupling = coupling.reduce(list(range(num_spins)))\n", "\n", "edge_list = reduced_coupling.graph.edge_list()\n", "ham_list = []\n", "\n", "for edge in edge_list:\n", " ham_list.append((\"ZZ\", edge, 0.5))\n", " ham_list.append((\"YY\", edge, 0.5))\n", " ham_list.append((\"XX\", edge, 0.5))\n", "\n", "for qubit in reduced_coupling.physical_qubits:\n", " ham_list.append((\"Z\", [qubit], np.random.random() * 2 - 1))\n", "\n", "hamiltonian = SparsePauliOp.from_sparse_list(ham_list, num_qubits=num_spins)\n", "\n", "ansatz.draw(\"mpl\", style=\"iqp\")" ] }, { "cell_type": "markdown", "id": "ab79119b-5e56-49d8-a20e-1c8e665baec0", "metadata": {}, "source": [ "\n", "\n", "### ステップ2：量子ハードウェア実行に向けた問題の最適化\n", "\n", "* 入力抽象回路、観測可能\n", "* 出力：選択されたQPUに最適化されたターゲット回路と観測値\n", "\n", "Qiskitの `generate_preset_pass_manager` 関数を使用して、選択したQPUに関する回路の最適化ルーチンを自動的に生成します。 プリセットパスマネージャーの中で最高レベルの最適化を提供する `optimization_level=3`。 また、 `ALAPScheduleAnalysis` 、 `PadDynamicalDecoupling` 、デコヒーレンス・エラーを抑制するためのスケジューリング・パスも含んでいる。\n", "\n" ] }, { "cell_type": "code", "execution_count": 3, "id": "a0a5f1c8-5c31-4d9f-ae81-37bd67271d44", "metadata": {}, "outputs": [ { "data": { "text/plain": [ "\"Output" ] }, "execution_count": 3, "metadata": {}, "output_type": "execute_result" } ], "source": [ "target = backend.target\n", "pm = generate_preset_pass_manager(optimization_level=3, target=target)\n", "pm.scheduling = PassManager(\n", " [\n", " ALAPScheduleAnalysis(durations=target.durations()),\n", " PadDynamicalDecoupling(\n", " durations=target.durations(),\n", " dd_sequence=[XGate(), XGate()],\n", " pulse_alignment=target.pulse_alignment,\n", " ),\n", " ]\n", ")\n", "isa_ansatz = pm.run(ansatz)\n", "isa_observable = hamiltonian.apply_layout(isa_ansatz.layout)\n", "isa_ansatz.draw(\"mpl\", scale=0.6, style=\"iqp\", fold=-1, idle_wires=False)" ] }, { "cell_type": "markdown", "id": "9e889d0b-30b5-4e6b-84c9-d1f096abf132", "metadata": {}, "source": [ "\n", "\n", "### ステップ3: `Qiskit primitives`を使用して実行する\n", "\n", "* 入力対象回路と観測値\n", "* アウトプット最適化の結果\n", "\n", "回路パラメータを最適化することで、系の基底状態の推定エネルギーを最小化する。 最適化中にコスト関数を評価するには、 IBM Quantum`Estimator` プリミティブを使用します。\n", "\n", "ステップ2でバックエンド向けに回路を最適化したため、を設定し `skip_transpilation=True` 、最適化された回路を渡すことで、Quantum Computeサーバーでのトランスパイル処理を回避できます。 このデモでは、 IBM Quantum プリミティブを使用してQPU上で実行します。 statevector ベース `qiskit` のプリミティブで実行するには、 IBM Quantum のプリミティブを使用しているコードブロックを、コメントアウトされたブロックに置き換えてください。\n", "\n", "このチュートリアルでは、勾配法に基づく最適化アルゴリズムである同時摂動確率近似法（SPSA）を使用します。 次に、その概要を簡単に紹介し、Qiskit v2.0 を使用して SPSA を実装するためのコードを提示します。\n", "\n" ] }, { "cell_type": "markdown", "id": "64f97e6f", "metadata": {}, "source": [ "\n", "\n", "### SPSAのご紹介\n", "\n", "同時摂動確率近似法（SPSA） [\\[1\\]](#references) は、各反復においてわずか2回の関数呼び出しのみを用いて、勾配ベクトル全体を近似する最適化アルゴリズムである。 $f:\\mathbb{R}^p\\rightarrow \\mathbb{R}$ を、最適化対象のパラメータ $p$ を持つコスト関数とし、 $x_i\\in \\mathbb{R}^p$ を反復計算の $i^{th}$ ステップにおけるパラメータベクトルとする。 勾配を計算するために、サイズ $p$ のランダムベクトル $\\Delta_i$ が生成される。ここで、各要素 $\\Delta_{ij}$、 $\\forall$、 $j\\in \\{1,2,...,p\\}$ は、 $\\{-1, 1\\}$ から一様分布に従ってサンプリングされる。次に、ランダムベクトル $\\Delta_i$ の各要素に小さな値 $c_i$ を乗算し、ランダムな摂動を生成する。 その後、勾配は次のように推定される\n", "\n", "$[\\nabla f(x_i)]_j \\approx \\frac{f(x_i + c_i \\Delta_i) - f(x_i - c_i \\Delta_i)}{2c_i\\Delta_{ij}}.$\n", "\n", "直感的には、勾配推定の過程でランダムな外乱が加えられるため、ノイズに起因する $f$ の正確な値におけるわずかな偏差は許容され、考慮されることが期待される。 実際、SPSAはノイズに対する耐性が特に高いことで知られており、1回の反復ごとに必要なハードウェア呼び出しはわずか2回です。 したがって、これは変分アルゴリズムを実装する際に、最も好まれる最適化手法の一つである。\n", "\n", "このチュートリアルでは、 $i^{th}$ の反復処理におけるハイパーパラメータである $a_i$ および $c_i$ は、次のように計算されます\n", "\n", "$a_i = \\frac{a}{(A + i + 1)^\\alpha} \\quad \\text{and} \\quad c_i = \\frac{c}{(i+1)^\\gamma},$\n", "\n", "ここで、定数値は $A = 30$、 $\\alpha = 0.9$、 $a = 0.3$、 $c = 0.1$、および $\\gamma = 0.4$ とする。これらの値は [\\[2\\]](#references) から選択されたものである。 SPSAから良好な性能を引き出すには、ハイパーパラメータを適切に調整する必要があります。\n", "\n" ] }, { "cell_type": "code", "execution_count": 4, "id": "73a9352c", "metadata": {}, "outputs": [], "source": [ "def spsa(\n", " fun, x0, args=(), A=30, alpha=0.9, a=0.3, c=0.1, gamma=0.4, maxiter=100\n", "):\n", " nparams = len(x0)\n", " x = np.copy(x0)\n", "\n", " for i in range(maxiter):\n", " a_i = a / (A + i + 1) ** alpha\n", " c_i = c / (i + 1) ** gamma\n", " delta_i = np.random.choice([-1, 1], nparams)\n", "\n", " # two hardware calls\n", " eval_1 = fun(x + c_i * delta_i, *args)\n", " eval_2 = fun(x - c_i * delta_i, *args)\n", "\n", " # compute the gradient and update the parameters\n", " grad = (eval_1 - eval_2) / (2 * c_i) * np.reciprocal(delta_i)\n", " x = x - a_i * grad\n", "\n", " return x" ] }, { "cell_type": "code", "execution_count": 8, "id": "32ca3b6a", "metadata": {}, "outputs": [], "source": [ "def cost_func(\n", " params: Sequence,\n", " ansatz: QuantumCircuit,\n", " hamiltonian: SparsePauliOp,\n", " estimator: BaseEstimatorV2,\n", " cost_history_dict: dict,\n", ") -> float:\n", " \"\"\"Ground state energy evaluation.\"\"\"\n", " energy = (\n", " estimator.run([(ansatz, hamiltonian, [params])]).result()[0].data.evs\n", " )\n", "\n", " cost_history_dict[\"iters\"] += 1\n", " cost_history_dict[\"prev_vector\"] = list(params)\n", " cost_history_dict[\"cost_history\"].append(float(energy[0]))\n", "\n", " print(\n", " f\"Fx Iters. done: {cost_history_dict['iters']} [Current cost: {round(energy[0], 5)}]\",\n", " end=\"\\r\",\n", " )\n", "\n", " return energy\n", "\n", "\n", "def solve(x0, isa_ansatz, isa_observable, maxiter=150):\n", " cost_history_dict = {\n", " \"prev_vector\": None,\n", " \"iters\": 0,\n", " \"cost_history\": [],\n", " \"y_min\": None,\n", " }\n", "\n", " # Evaluate the problem using a QPU via `qiskit-ibm-runtime`\n", " with Session(backend=backend) as session:\n", " estimator = EstimatorV2(mode=session)\n", " estimator.skip_transpilation = True\n", " estimator.options.environment.job_tags = [\"TUT_HSVQE\"]\n", " x_opt = spsa(\n", " cost_func,\n", " x0=x0,\n", " args=(isa_ansatz, isa_observable, estimator, cost_history_dict),\n", " maxiter=maxiter,\n", " )\n", "\n", " y_min = cost_func(\n", " x_opt, isa_ansatz, isa_observable, estimator, cost_history_dict\n", " )\n", "\n", " return y_min, cost_history_dict" ] }, { "cell_type": "code", "execution_count": 9, "id": "f418b372", "metadata": {}, "outputs": [], "source": [ "np.random.seed(42)\n", "num_params = ansatz.num_parameters\n", "params = 2 * np.pi * np.random.random(num_params)" ] }, { "cell_type": "markdown", "id": "3bf42923", "metadata": {}, "source": [ "ここでは、 `maxiter = 50`. を設定します。 なお、勾配を計算するために各反復ごとに2回の関数呼び出しが必要となるため、関数呼び出しの総数は $2 \\times \\text{maxiter}$ 回となります。エネルギー推定の精度を高めるために、この値は任意のより大きな `maxiter` 値に増やすことができます。\n", "\n" ] }, { "cell_type": "code", "execution_count": 10, "id": "1732ce37", "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "Fx Iters. done: 101 [Current cost: -3.03843]" ] } ], "source": [ "maxiter = 50\n", "spsa_min, spsa_history = solve(\n", " params, isa_ansatz, isa_observable, maxiter=maxiter\n", ")" ] }, { "cell_type": "markdown", "id": "33abbb3f-6245-4610-a05d-e2bc4cc551f0", "metadata": {}, "source": [ "\n", "\n", "### ステップ4：後処理を行い、結果を希望の古典形式で返す\n", "\n", "* 入力：最適化中の基底状態エネルギーの推定値\n", "* 出力：基底状態の推定エネルギー\n", "\n" ] }, { "cell_type": "code", "execution_count": 11, "id": "e5b58771-d543-4e75-9746-fbc7b28e4360", "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "Estimated ground state energy: [-3.03842968]\n" ] } ], "source": [ "print(f\"Estimated ground state energy: {spsa_min}\")" ] }, { "cell_type": "code", "execution_count": 12, "id": "ecd7762a", "metadata": {}, "outputs": [ { "data": { "text/plain": [ "\"Output" ] }, "metadata": {}, "output_type": "display_data" } ], "source": [ "results = {\n", " \"spsa\": spsa_history,\n", "}\n", "\n", "visualize_results(spsa_history)" ] }, { "cell_type": "markdown", "id": "a3f4171f", "metadata": {}, "source": [ "\n", "\n", "## 大規模なハードウェアの例\n", "\n" ] }, { "cell_type": "markdown", "id": "746e6133", "metadata": {}, "source": [ "このチュートリアルには、大規模なハードウェアの例は含まれていません。 量子ビットの数が増えるにつれ、VQEは「 [バーレン・プラトー](/learning/courses/variational-algorithm-design/optimization-loops#barren-plateaus) 現象」により大きな課題に直面する。これは、コスト関数の勾配がシステムの規模とともに指数関数的に消失するため、大規模な回路では最適化が事実上不可能になるという現象である。 これにハードウェアノイズが加わるため、VQEをより長いスピン鎖に拡張しても、信頼性の高い再現性のある結果が得られないことになる。 これらの制限を克服する手法については、以下の「次のステップ」のセクションを参照してください。\n", "\n" ] }, { "cell_type": "markdown", "id": "8f14492c", "metadata": {}, "source": [ "\n", "\n", "## 課題\n", "\n", "ハイゼンベルグ連鎖のVQE実装が動作するようになったので、次のことを試してみてください：\n", "\n", "1. `reps=3`**アンザッツの深さを変えて試してみてください：** （例えば、と `efficient_su2``reps` を試 `reps=1` してみてください）。 アンザッツの深さは、基底状態のエネルギーの推定値や収束速度にどのような影響を与えるのでしょうか？ どの時点で、収益の逓減や不安定さが見られるようになりますか？\n", "2. **SPSAのハイパーパラメータを調整する：** 学習率のスケジューリングパラメータ（`a`, `c`, `alpha`, `gamma`, `A`）を調整し、収束にどのような影響を与えるかを確認する。 ここで使用されているデフォルト設定よりも収束が速い設定を見つけることはできますか？\n", "3. **結合トポロジーの比較：** バックエンドのネイティブ結合マップを使用する代わりに、単純な最近傍線形チェーンを構築して、その結果を比較してみてください。 物理ハードウェアの接続性は、トランスパイルされた回路の深さと最終的なエネルギー推定値にどのような影響を与えるのでしょうか？\n", "\n" ] }, { "cell_type": "markdown", "id": "217a9379", "metadata": {}, "source": [ "\n", "\n", "## 参照\n", "\n", "\\[1] スポール、J. C. (2002). 確率的最適化のための同時摂動アルゴリズムの実装。\n", "『IEEE Transactions on Aerospace and Electronic Systems』, 34(3), 817-823.\n", "\n", "\\[2] Sahin, M. Emre, 他 (2025). Qiskit Machine Learning ：量子ハードウェアおよび古典シミュレータ上で大規模な量子機械学習タスクを実行するためのオープンソースライブラリ。 arXiv:2505.17756.\n", "\n" ] }, { "cell_type": "markdown", "id": "8aefe54c", "metadata": {}, "source": [ "\n", "\n", "## 次のステップ\n", "\n", "\n", " この作品が興味深かったなら、以下の資料も気に入るかもしれません：\n", "\n", " * **サンプルベース量子対角化（SQD）を試してみてください：** このチュートリアルで示されたように、VQEは「バーレン・プラトー」や高い測定オーバーヘッドのため、大規模化において課題に直面しています。 IBM よりスケーラブルな代替手法として、 [サンプルベース量子対角化（SQD）](/docs/addons/qiskit-addon-sqd) を開発した。 VQEとは異なり、SQDでは変分最適化を一切行わず、代わりに量子コンピュータがサンプルを生成し、古典コンピュータがそれらのサンプルによって張られる部分空間上にハミルトニアンを射影し、それを対角化する。 これにより、測定回数を大幅に減らし、かつ「バーレン・プラトー」の影響を受けることなく、基底状態エネルギーの上限値を導き出すことができる。 [SQD](/docs/tutorials/sample-based-quantum-diagonalization) のチュートリアルに従って、このアプローチが実際にどのように機能するかを確認してください。\n", " * \\*\\*「量子対角化アルゴリズム」コースをご覧ください：\\*\\*IBM Quantum Learning の 「[量子対角化アルゴリズム](/learning/courses/quantum-diagonalization-algorithms) 」コースでは、VQEとSQDの両方について、それぞれのトレードオフを含め、理解を深めることができます。\n", "\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" }, "hours": 1.5, "qpuSeconds": 2220 }, "nbformat": 4, "nbformat_minor": 5 }