{
"cells": [
{
"cell_type": "markdown",
"id": "eb16d89d-f6fc-417f-9ce5-19251d039df7",
"metadata": {},
"source": [
"---\n",
"title: \"周期的境界条件のための回路切断\"\n",
"description: \"最初の量子ビットと最後の量子ビットが隣接していないユーティリティ規模の周期的連鎖問題に対処するために回路切断を用いる。\"\n",
"---\n",
"\n",
"{/* cspell:ignore fontsize edgecolor */}\n",
"\n",
"\n",
"\n",
"# 周期的境界条件のための回路切断\n",
"\n",
"*使用時間の目安イーグルプロセッサーで2分（注：あくまでも目安です。 ランタイムは異なるかもしれない)。*\n",
"\n"
]
},
{
"cell_type": "markdown",
"id": "f053a0b1",
"metadata": {},
"source": [
"\n",
"\n",
"## 背景\n",
"\n",
"このノートでは、隣接する2つの量子ビット（最初と最後を含む）の間に2つの量子ビットが存在する、量子ビットの周期的なチェーンのシミュレーションを考えます。 周期鎖は、イジングモデルや分子シミュレーションなど、物理学や化学の問題でよく見られる。\n",
"\n",
"現在の IBM Quantum®デバイスは平面型である。 最初と最後の量子ビットが隣接するトポロジー上に、いくつかの周期的な鎖を直接埋め込むことが可能である。 しかし、十分に大きな問題では、最初と最後の量子ビットが離れていることがあり、そのため、これら2つの量子ビット間の2量子ビット演算に多くのSWAPゲートが必要になる。 このような周期境界問題は 本稿 で研究されている。\n",
"\n",
"このノートでは、このようなユーティリティスケールの周期連鎖問題（最初と最後の量子ビットが隣接していない）に対処するための回路切断の使い方を示す。 この長距離接続をカットすることで、回路の複数のインスタンスを実行し、いくつかの古典的な後処理を行う代償として、余分なSWAPゲートを回避することができる。 まとめると、長距離2量子ビット演算を論理的に計算するためにカッティングを取り入れることができる。 言い換えれば、このアプローチはカップリング・マップの接続性を効果的に高めることにつながり、SWAPゲートの数を減らすことになる。\n",
"\n",
"カットには2種類あることに注意してほしい。回路のワイヤーをカットする（ `wire cutting` ）場合と、2量子ビットのゲートを複数の1量子ビット演算で置き換える（ `gate cutting` ）場合だ。 このノートでは、ゲートカットに焦点を当てる。 ゲートカットの詳細については、 `qiskit-addon-cutting` の 説明資料 および対応する参考文献を参照のこと。 ワイヤーカットの詳細については、 [期待値推定のためのワイヤーカットの](/docs/tutorials/wire-cutting)チュートリアル、または キスキット・アドン・カット のチュートリアルを参照してください。\n",
"\n"
]
},
{
"cell_type": "markdown",
"id": "120312e5-0eed-4168-9098-633a3d0e6e57",
"metadata": {},
"source": [
"\n",
"\n",
"## 要件\n",
"\n",
"このチュートリアルを始める前に、以下のものがインストールされていることを確認してください：\n",
"\n",
"* Qiskit SDK v1.2 またはそれ以降 (`pip install qiskit`)\n",
"* Qiskit Runtime v0.3 またはそれ以降 (`pip install qiskit-ibm-runtime`)\n",
"* 回路切断 Qiskit アドオン v.9.0 以降 (`pip install qiskit-addon-cutting`)\n",
"\n"
]
},
{
"cell_type": "markdown",
"id": "f0af3c7d",
"metadata": {},
"source": [
"\n",
"\n",
"## セットアップ\n",
"\n"
]
},
{
"cell_type": "code",
"execution_count": null,
"id": "f01e3062",
"metadata": {},
"outputs": [],
"source": [
"import numpy as np\n",
"import matplotlib.pyplot as plt\n",
"import matplotlib as mpl\n",
"\n",
"from qiskit.transpiler import PassManager\n",
"from qiskit.transpiler.passes import (\n",
" BasisTranslator,\n",
" Optimize1qGatesDecomposition,\n",
")\n",
"from qiskit.circuit.equivalence_library import (\n",
" SessionEquivalenceLibrary as sel,\n",
")\n",
"from qiskit.converters import circuit_to_dag, dag_to_circuit\n",
"from qiskit.result import sampled_expectation_value\n",
"from qiskit.quantum_info import SparsePauliOp\n",
"from qiskit.transpiler.preset_passmanagers import generate_preset_pass_manager\n",
"from qiskit.circuit.library import TwoLocal\n",
"\n",
"from qiskit_addon_cutting import (\n",
" cut_gates,\n",
" generate_cutting_experiments,\n",
" reconstruct_expectation_values,\n",
")\n",
"\n",
"\n",
"from qiskit_ibm_runtime import QiskitRuntimeService\n",
"from qiskit_ibm_runtime import SamplerV2, SamplerOptions, Batch"
]
},
{
"cell_type": "markdown",
"id": "6e7c685c-3e10-4cf1-a435-2b0fc761ebc4",
"metadata": {},
"source": [
"\n",
"\n",
"## ステップ1：古典的な入力を量子問題にマッピングする\n",
"\n",
"ここでは、 TwoLocal 回路を生成し、いくつかのオブザーバブルを定義する。\n",
"\n",
"\n",
" - 入力回路を作るためのパラメータ
\n",
" - 出力抽象回路と観測値
\n",
"
\n",
"\n"
]
},
{
"cell_type": "markdown",
"id": "8590c112-cf8a-4bc3-ab8b-411d1a1b010a",
"metadata": {},
"source": [
"`entangler map` の最後の量子ビットと最初の量子ビットの間に周期的な接続性を持つ TwoLocal 回路について、ハードウェア的に効率的な `entangler map` を考える。 この長距離相互作用は、トランスパイル時に余分なSWAPゲートを生むことになり、回路の奥行きを広げることになる。\n",
"\n"
]
},
{
"cell_type": "markdown",
"id": "0776185d-4ea8-4a8c-ab14-121636444d8f",
"metadata": {},
"source": [
"\n",
"\n",
"#### バックエンドと初期レイアウトを選択\n",
"\n"
]
},
{
"cell_type": "code",
"execution_count": null,
"id": "81c616a7-248a-412b-bac5-080eb9199760",
"metadata": {},
"outputs": [],
"source": [
"service = QiskitRuntimeService()\n",
"backend = service.least_busy(\n",
" operational=True, simulator=False, min_num_qubits=127\n",
")"
]
},
{
"cell_type": "markdown",
"id": "15b9c4e5-7b25-4b95-9d79-bf73b9adad97",
"metadata": {},
"source": [
"このノートでは、109量子ビットの周期的な 1D チェーンを考える。これは127量子ビットの IBM 量子デバイスのトポロジーで最も長い 1D チェーンである。 SWAPゲートを追加することなく、127量子ビット・デバイス上に、最初と最後の量子ビットが隣り合うように109量子ビットの周期チェーンを配置することは不可能である。\n",
"\n"
]
},
{
"cell_type": "code",
"execution_count": 2,
"id": "6f8c4588-0532-41f9-9d6d-50e754466593",
"metadata": {},
"outputs": [
{
"data": {
"text/plain": [
"109"
]
},
"execution_count": 2,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"init_layout = [\n",
" 13,\n",
" 12,\n",
" 11,\n",
" 10,\n",
" 9,\n",
" 8,\n",
" 7,\n",
" 6,\n",
" 5,\n",
" 4,\n",
" 3,\n",
" 2,\n",
" 1,\n",
" 0,\n",
" 14,\n",
" 18,\n",
" 19,\n",
" 20,\n",
" 21,\n",
" 22,\n",
" 23,\n",
" 24,\n",
" 25,\n",
" 26,\n",
" 27,\n",
" 28,\n",
" 29,\n",
" 30,\n",
" 31,\n",
" 32,\n",
" 36,\n",
" 51,\n",
" 50,\n",
" 49,\n",
" 48,\n",
" 47,\n",
" 46,\n",
" 45,\n",
" 44,\n",
" 43,\n",
" 42,\n",
" 41,\n",
" 40,\n",
" 39,\n",
" 38,\n",
" 37,\n",
" 52,\n",
" 56,\n",
" 57,\n",
" 58,\n",
" 59,\n",
" 60,\n",
" 61,\n",
" 62,\n",
" 63,\n",
" 64,\n",
" 65,\n",
" 66,\n",
" 67,\n",
" 68,\n",
" 69,\n",
" 70,\n",
" 74,\n",
" 89,\n",
" 88,\n",
" 87,\n",
" 86,\n",
" 85,\n",
" 84,\n",
" 83,\n",
" 82,\n",
" 81,\n",
" 80,\n",
" 79,\n",
" 78,\n",
" 77,\n",
" 76,\n",
" 75,\n",
" 90,\n",
" 94,\n",
" 95,\n",
" 96,\n",
" 97,\n",
" 98,\n",
" 99,\n",
" 100,\n",
" 101,\n",
" 102,\n",
" 103,\n",
" 104,\n",
" 105,\n",
" 106,\n",
" 107,\n",
" 108,\n",
" 112,\n",
" 126,\n",
" 125,\n",
" 124,\n",
" 123,\n",
" 122,\n",
" 121,\n",
" 120,\n",
" 119,\n",
" 118,\n",
" 117,\n",
" 116,\n",
" 115,\n",
" 114,\n",
" 113,\n",
"]\n",
"\n",
"# the number of qubits in the circuit is governed by the length of the initial layout\n",
"num_qubits = len(init_layout)\n",
"num_qubits"
]
},
{
"cell_type": "markdown",
"id": "da94a31f-3bce-40e5-a580-b938ff255425",
"metadata": {},
"source": [
"\n",
"\n",
"#### TwoLocal 回路のエンタングラーマップを構築する\n",
"\n"
]
},
{
"cell_type": "code",
"execution_count": 3,
"id": "15bc3ac1-dbb6-4bb5-8d3e-63f3638f7a96",
"metadata": {},
"outputs": [],
"source": [
"coupling_map = [(i, i + 1) for i in range(0, len(init_layout) - 1)]\n",
"coupling_map.append(\n",
" (len(init_layout) - 1, 0)\n",
") # adding in the periodic connectivity"
]
},
{
"cell_type": "markdown",
"id": "b7b4970f-ac13-4644-a92f-1796de876767",
"metadata": {},
"source": [
"TwoLocal 回路により、 `rotation_blocks` と `entangler map` を複数回繰り返すことができる。 この場合、繰り返し回数によって、カットする必要のある周期ゲートの数が決まる。 サンプリングのオーバヘッドはカット数に応じて指数関数的に増加するため（詳細は[期待値推定のためのワイヤーカットの](/docs/tutorials/wire-cutting)チュートリアルを参照）、このノートでは繰り返し回数を2に固定する。\n",
"\n"
]
},
{
"cell_type": "code",
"execution_count": 4,
"id": "0cd786ff-9798-4e20-937f-a258eea88077",
"metadata": {},
"outputs": [],
"source": [
"num_reps = 2\n",
"entangler_map = []\n",
"\n",
"for even_edge in coupling_map[0 : len(coupling_map) : 2]:\n",
" entangler_map.append(even_edge)\n",
"\n",
"for odd_edge in coupling_map[1 : len(coupling_map) : 2]:\n",
" entangler_map.append(odd_edge)"
]
},
{
"cell_type": "code",
"execution_count": null,
"id": "79428537-66cf-40ce-87cf-0f75f591cb4b",
"metadata": {},
"outputs": [
{
"data": {
"text/plain": [
""
]
},
"execution_count": 5,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"ansatz = TwoLocal(\n",
" num_qubits=num_qubits,\n",
" rotation_blocks=\"rx\",\n",
" entanglement_blocks=\"cx\",\n",
" entanglement=entangler_map,\n",
" reps=num_reps,\n",
").decompose()\n",
"ansatz.draw(\"mpl\", fold=-1)"
]
},
{
"cell_type": "markdown",
"id": "18b2f9b3-07f0-47d0-88db-7182e03c5f53",
"metadata": {},
"source": [
"サーキットカッティングで結果の質を検証するためには、理想的な結果を知る必要がある。 現在選択されている回路は、総当たり的な古典的シミュレーションの域を超えている。 そのため、クリフォードにするために回路のパラメーターを慎重に固定する。\n",
"\n",
"最初の2層の `Rx` ゲートにはパラメータ値 $0$、最後の層には値 $\\pi$ を割り当てることにする。 これにより、この回路の理想的な結果は $|1\\rangle^{\\otimes n}$、 $n$ が量子ビットの数であることが保証される。 したがって、 $\\langle Z_i \\rangle$ と $\\langle Z_i Z_{i+1} \\rangle$ の期待値（ $i$ は量子ビットのインデックス）は、それぞれ $-1$ と $+1$ となる。\n",
"\n"
]
},
{
"cell_type": "code",
"execution_count": null,
"id": "a0d70827-ae61-49a0-b14c-c10b27963262",
"metadata": {},
"outputs": [],
"source": [
"params_last_layer = [np.pi] * ansatz.num_qubits\n",
"params = [0] * (ansatz.num_parameters - ansatz.num_qubits)\n",
"params.extend(params_last_layer)\n",
"\n",
"ansatz.assign_parameters(params, inplace=True)"
]
},
{
"cell_type": "markdown",
"id": "8f4289dd-30fd-4295-9d33-488f2fc03a3a",
"metadata": {},
"source": [
"\n",
"\n",
"#### 観測可能な量を選択する\n",
"\n"
]
},
{
"cell_type": "markdown",
"id": "6a359888-c685-4b28-b2d4-c29b89448e3b",
"metadata": {},
"source": [
"ゲートカットの利点を定量化するために、観測値 $\\frac{1}{n}\\sum_{i=1}^n \\langle Z_i \\rangle$ と $\\frac{1}{n-1}\\sum_{i=1}^{n-1} \\langle Z_i Z_{i+1} \\rangle$ の期待値を測定する。前述したように、理想的な期待値はそれぞれ $-1$ と $+1$ である。\n",
"\n"
]
},
{
"cell_type": "code",
"execution_count": null,
"id": "87a6a367-2d4e-410c-8e5f-3ef069f968d8",
"metadata": {},
"outputs": [],
"source": [
"observables = []\n",
"\n",
"for i in range(num_qubits):\n",
" obs = \"I\" * (i) + \"Z\" + \"I\" * (num_qubits - i - 1)\n",
" observables.append(obs)\n",
"\n",
"for i in range(num_qubits):\n",
" if i == num_qubits - 1:\n",
" obs = \"Z\" + \"I\" * (num_qubits - 2) + \"Z\"\n",
" else:\n",
" obs = \"I\" * i + \"ZZ\" + \"I\" * (num_qubits - i - 2)\n",
" observables.append(obs)\n",
"\n",
"observables = SparsePauliOp(observables)\n",
"paulis = observables.paulis\n",
"coeffs = observables.coeffs"
]
},
{
"cell_type": "markdown",
"id": "906440c1-4e5b-4f18-9bc7-d450dd7d2b24",
"metadata": {},
"source": [
"\n",
"\n",
"## ステップ2：量子ハードウェア実行に向けた問題の最適化\n",
"\n",
"\n",
" - 入力抽象回路と観測値
\n",
" - 出力：ターゲット回路と、長距離ゲートの切断によって生成される観測値
\n",
"
\n",
"\n"
]
},
{
"cell_type": "markdown",
"id": "2a7387e5-ead4-4dd8-a01f-974138cda3d9",
"metadata": {},
"source": [
"\n",
"\n",
"#### 回路をトランスパイルする\n",
"\n",
"回路はこの段階でトランスパイルすることも、切断後にトランスパイルすることもできる。 カッティング後にトランスパイルすると、サンプリングのオーバーヘッドが発生するため、生成された各サブ実験をトランスパイルする必要がある。 したがって、この段階でトランスパイルする方が、トランスパイルのオーバーヘッドを減らすことができる。\n",
"\n",
"しかし、この段階でネイティブのハードウェア接続でトランスパイレーションを行うと、トランスパイラーが複数のSWAPゲートを追加して、周期的な2量子ビット演算を配置することになる。 この問題を回避するために、私たちはカットする必要があるゲートを正確に知っていることを活用することができる。 具体的には、このような周期的な2量子ビットゲートに対応するために、遠く離れた量子ビット間に仮想的な接続を追加することで、仮想結合マップを作成することができる。 これにより、余分なSWAPゲートを組み込むことなく、この段階で回路をトランスパイルできるようになる。\n",
"\n"
]
},
{
"cell_type": "code",
"execution_count": 8,
"id": "c12bb07e-54a0-4597-8b4d-4d0fbf6a4c99",
"metadata": {},
"outputs": [],
"source": [
"coupling_map = backend.configuration().coupling_map\n",
"\n",
"# create a virtual coupling map with long range connectivity\n",
"virtual_coupling_map = coupling_map.copy()\n",
"virtual_coupling_map.append([init_layout[-1], init_layout[0]])\n",
"virtual_coupling_map.append([init_layout[0], init_layout[-1]])"
]
},
{
"cell_type": "code",
"execution_count": null,
"id": "ad38aa32-4613-46c5-bf62-da332a1b9dfb",
"metadata": {},
"outputs": [
{
"data": {
"text/plain": [
""
]
},
"execution_count": 9,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"pm_virtual = generate_preset_pass_manager(\n",
" optimization_level=1,\n",
" coupling_map=virtual_coupling_map,\n",
" initial_layout=init_layout,\n",
" basis_gates=backend.configuration().basis_gates,\n",
")\n",
"\n",
"virtual_mapped_circuit = pm_virtual.run(ansatz)\n",
"virtual_mapped_circuit.draw(\"mpl\", fold=-1, idle_wires=False)"
]
},
{
"cell_type": "markdown",
"id": "ecb4ae6e-f9a5-4453-a8a3-1a5aaaf954da",
"metadata": {},
"source": [
"\n",
"\n",
"#### 長距離の周期的接続性を切断する\n",
"\n"
]
},
{
"cell_type": "markdown",
"id": "c155eda9-ba08-4069-9962-ece21926f1db",
"metadata": {},
"source": [
"次に、トランスパイル回路のゲートをカットする。 カットする必要のある2量子ビットのゲートは、レイアウトの最後と最初の量子ビットを接続するものであることに注意。\n",
"\n"
]
},
{
"cell_type": "code",
"execution_count": null,
"id": "718ea31e-c8d8-4cf9-975b-fc0e77fb27c0",
"metadata": {},
"outputs": [],
"source": [
"# Find the indices of the distant gates\n",
"cut_indices = [\n",
" i\n",
" for i, instruction in enumerate(virtual_mapped_circuit.data)\n",
" if {virtual_mapped_circuit.find_bit(q)[0] for q in instruction.qubits}\n",
" == {init_layout[-1], init_layout[0]}\n",
"]"
]
},
{
"cell_type": "markdown",
"id": "c6091cb0-227d-454a-a2d8-7ba685b66121",
"metadata": {},
"source": [
"トランスパイルド・サーキットのレイアウトをオブザーバブルに適用する。\n",
"\n"
]
},
{
"cell_type": "code",
"execution_count": 12,
"id": "af57d942-5997-4920-91c6-295fbfef478d",
"metadata": {},
"outputs": [],
"source": [
"trans_observables = observables.apply_layout(virtual_mapped_circuit.layout)"
]
},
{
"cell_type": "markdown",
"id": "6a9a20e4-b722-456d-885b-d68ead3d341e",
"metadata": {},
"source": [
"最後に、異なる測定ベースと準備ベースにわたるサンプリングによって、サブ実験が生成される。\n",
"\n"
]
},
{
"cell_type": "code",
"execution_count": null,
"id": "981f111c-69e6-44c2-a297-c7df302cbc0e",
"metadata": {},
"outputs": [],
"source": [
"qpd_circuit, bases = cut_gates(virtual_mapped_circuit, cut_indices)\n",
"subexperiments, coefficients = generate_cutting_experiments(\n",
" circuits=qpd_circuit,\n",
" observables=trans_observables.paulis,\n",
" num_samples=np.inf,\n",
")"
]
},
{
"cell_type": "markdown",
"id": "60582298-52ae-4f10-b8c2-bc754cb6d24c",
"metadata": {},
"source": [
"長距離相互作用をカットすることは、測定ベースと準備ベースが異なる回路の複数のサンプルを実行することにつながることに注意してください。 これに関する詳細は、 単一量子ビット操作のサンプリングによる仮想2量子ビットゲートの構築 と 複数の2量子ビット・ユニットを持つ回路の切断 を参照されたい。\n",
"\n",
"カットされる周期ゲートの数は、 `TwoLocal` 層の繰り返し数に等しく、上記 `num_reps` のように定義される。 ゲートカットのサンプリングオーバーヘッドは6。 したがって、サブ実験の総数は $6^{num\\_reps}$ となる。\n",
"\n"
]
},
{
"cell_type": "code",
"execution_count": 14,
"id": "be4a43b4-c035-4814-a486-45eb9fe23d86",
"metadata": {},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"Number of subexperiments is 36 = 6**2\n"
]
}
],
"source": [
"print(f\"Number of subexperiments is {len(subexperiments)} = 6**{num_reps}\")"
]
},
{
"cell_type": "markdown",
"id": "41a11eed-a8c0-4cce-b59d-ca49c54b52b1",
"metadata": {},
"source": [
"\n",
"\n",
"#### サブ実験をトランスパイルする\n",
"\n"
]
},
{
"cell_type": "markdown",
"id": "5772d662-c030-4de6-9be4-e90cd599b173",
"metadata": {},
"source": [
"この時点で、サブ実験には、基底ゲートセットに含まれない1量子ビットゲートを持つ回路がいくつか含まれている。 これは、カットされた量子ビットが異なる基底で測定され、これに使用される回転ゲートが必ずしも基底ゲートセットに属さないためである。 例えば、X基底での測定は、通常のZ基底での測定の前にハダマードゲートを適用することを意味する。 しかし、ハダマードはベーシス・ゲートセットの一部ではない。\n",
"\n",
"サブ実験の各回路に全トランスパイル処理を適用する代わりに、特定のトランスパイルパスを使用することができる。 利用可能なすべてのトランスピレーション・パスの詳細については、 本書 を参照してください。\n",
"\n",
"これらの回路のすべてのゲートが基底ゲート集合に属することを保証するために、 `BasisTranslator` 、次に `Optimize1qGatesDecomposition` 。 配線や初期レイアウトの選択といった他のステップを再度実行しないため、これら2つのパスを使用する方が、トランスパイルプロセス全体よりも高速である。\n",
"\n"
]
},
{
"cell_type": "code",
"execution_count": null,
"id": "9c6d074f-5e48-4adb-9f4f-c5b03c9f7e36",
"metadata": {},
"outputs": [],
"source": [
"pass_ = PassManager(\n",
" [Optimize1qGatesDecomposition(basis=backend.configuration().basis_gates)]\n",
")\n",
"\n",
"subexperiments = pass_.run(\n",
" [\n",
" dag_to_circuit(\n",
" BasisTranslator(sel, target_basis=backend.basis_gates).run(\n",
" circuit_to_dag(circ)\n",
" )\n",
" )\n",
" for circ in subexperiments\n",
" ]\n",
")"
]
},
{
"cell_type": "markdown",
"id": "4c5c0c60-3caa-4bd6-80aa-f7dc412680bb",
"metadata": {},
"source": [
"\n",
"\n",
"## ステップ3: `Qiskit primitives`を使用して実行する\n",
"\n",
"\n",
" - 入力ターゲット回路
\n",
" - アウトプット準確率分布
\n",
"
\n",
"\n"
]
},
{
"cell_type": "markdown",
"id": "1fb3b96c-e55c-40e4-a5ca-4c327a192d73",
"metadata": {},
"source": [
"カット回路の実行には、 `SamplerV2` プリミティブを使用する。 `dynamical decoupling` 、 `twirling` 、このタイプの回路ではゲートカットの効果的な適用のみによる改善となる。\n",
"\n"
]
},
{
"cell_type": "code",
"execution_count": null,
"id": "69a7cc63-173b-467c-87c5-f0924b943f34",
"metadata": {},
"outputs": [],
"source": [
"options = SamplerOptions()\n",
"options.default_shots = 10000\n",
"options.dynamical_decoupling.enable = False\n",
"options.twirling.enable_gates = False\n",
"options.twirling.enable_measure = False"
]
},
{
"cell_type": "markdown",
"id": "e9311a78-cdc7-4ce2-9716-a0cb5fc03589",
"metadata": {},
"source": [
"では、バッチ・モードを使ってジョブを投入してみよう。\n",
"\n"
]
},
{
"cell_type": "code",
"execution_count": null,
"id": "6c1ba1d4-b4ed-4781-99f5-41e3f93672d7",
"metadata": {},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"Job ID cwxf7wq60bqg008pvt8g\n"
]
}
],
"source": [
"with Batch(backend=backend) as batch:\n",
" sampler = SamplerV2(options=options)\n",
" cut_job = sampler.run(subexperiments)\n",
"\n",
"print(f\"Job ID {cut_job.job_id()}\")"
]
},
{
"cell_type": "code",
"execution_count": 18,
"id": "54ca98b9-7f31-45d2-910a-97ad29b37a0d",
"metadata": {},
"outputs": [],
"source": [
"result = cut_job.result()"
]
},
{
"cell_type": "markdown",
"id": "dd7cbb19-22ab-4e5a-bd18-3c7b06f67478",
"metadata": {},
"source": [
"\n",
"\n",
"## ステップ4：後処理を行い、結果を希望の古典形式で返す\n",
"\n",
"\n",
" - 入力準確率分布
\n",
" - 出力再構成された期待値
\n",
"
\n",
"\n"
]
},
{
"cell_type": "code",
"execution_count": null,
"id": "3ee4af4c-4585-4a8d-87a6-921c2cdb1bd2",
"metadata": {},
"outputs": [],
"source": [
"reconstructed_expvals = reconstruct_expectation_values(\n",
" result,\n",
" coefficients,\n",
" paulis,\n",
")"
]
},
{
"cell_type": "markdown",
"id": "f2d78c56-001c-4fd5-97eb-6d45b0f84bda",
"metadata": {},
"source": [
"次に、 weight-1 と weight-2 Z型観測値の平均を計算する。\n",
"\n"
]
},
{
"cell_type": "code",
"execution_count": 20,
"id": "00714269-8c72-47eb-8651-3e2f5f65d505",
"metadata": {},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"Average of weight-1 expectation values is -0.741733944954063\n",
"Average of weight-2 expectation values is 0.6968862385320495\n"
]
}
],
"source": [
"cut_weight_1 = np.mean(reconstructed_expvals[:num_qubits])\n",
"cut_weight_2 = np.mean(reconstructed_expvals[num_qubits:])\n",
"\n",
"print(f\"Average of weight-1 expectation values is {cut_weight_1}\")\n",
"print(f\"Average of weight-2 expectation values is {cut_weight_2}\")"
]
},
{
"cell_type": "markdown",
"id": "1d15b180-107a-4078-afad-d306cf3098f5",
"metadata": {},
"source": [
"\n",
"\n",
"### クロス検証：未加工の期待値を取得する\n",
"\n"
]
},
{
"cell_type": "markdown",
"id": "b6387268-cbd6-4766-a43d-154e461dfbc4",
"metadata": {},
"source": [
"回路切断技術の優位性を切断なしと比較検証することは有益である。 ここでは、回路を切らずに期待値を計算することにする。 このようなカットされていない回路は、最初と最後の量子ビット間の2量子ビット演算を実装するのに必要なSWAPゲートの数が多いことに悩まされることに注意されたい。 `SamplerV2` 経由で確率分布を求めた後、 `sampled_expectation_value` 関数を用いてカットされていない回路の期待値を求めることにする。 これにより、すべてのインスタンスでプリミティブを均質に使用することができる。 しかし、 `EstimatorV2` 、期待値を直接計算することもできた。\n",
"\n"
]
},
{
"cell_type": "code",
"execution_count": 23,
"id": "0fcd5c53-703d-4e67-93d5-3ee4a7870753",
"metadata": {},
"outputs": [],
"source": [
"if ansatz.num_clbits == 0:\n",
" ansatz.measure_all()\n",
"\n",
"pm_uncut = generate_preset_pass_manager(\n",
" optimization_level=1, backend=backend, initial_layout=init_layout\n",
")\n",
"\n",
"transpiled_circuit = pm_uncut.run(ansatz)"
]
},
{
"cell_type": "code",
"execution_count": 24,
"id": "00e5b011-bec5-4917-a0d3-91943cad5927",
"metadata": {},
"outputs": [],
"source": [
"sampler = SamplerV2(mode=backend, options=options)\n",
"uncut_job = sampler.run([transpiled_circuit])"
]
},
{
"cell_type": "code",
"execution_count": 25,
"id": "ec68d688-7de4-4d95-8e52-23a1eea7d94e",
"metadata": {},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"The job id for the uncut clifford circuit is cwxfads2ac5g008jhe7g\n"
]
}
],
"source": [
"uncut_job_id = uncut_job.job_id()\n",
"print(f\"The job id for the uncut clifford circuit is {uncut_job_id}\")"
]
},
{
"cell_type": "code",
"execution_count": 26,
"id": "1e04489f-3dc9-4253-aa9a-719952f260e3",
"metadata": {},
"outputs": [],
"source": [
"uncut_result = uncut_job.result()[0]\n",
"uncut_counts = uncut_result.data.meas.get_counts()"
]
},
{
"cell_type": "markdown",
"id": "fb150558-6571-4475-aa81-08860c2782d6",
"metadata": {},
"source": [
"ここで、 weight-1、 weight-2 Z型観測量の平均期待値をカットなしで計算する。\n",
"\n"
]
},
{
"cell_type": "code",
"execution_count": null,
"id": "20991ea2-49a8-4258-9dd1-c064655674f1",
"metadata": {},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"Average of weight-1 expectation values is -0.32494128440366965\n",
"Average of weight-2 expectation values is 0.32340917431192656\n"
]
}
],
"source": [
"uncut_expvals = [\n",
" sampled_expectation_value(uncut_counts, obs) for obs in paulis\n",
"]\n",
"\n",
"uncut_weight_1 = np.mean(uncut_expvals[:num_qubits])\n",
"uncut_weight_2 = np.mean(uncut_expvals[num_qubits:])\n",
"\n",
"print(f\"Average of weight-1 expectation values is {uncut_weight_1}\")\n",
"print(f\"Average of weight-2 expectation values is {uncut_weight_2}\")"
]
},
{
"cell_type": "markdown",
"id": "ed843ab6-9614-45a8-864a-932d897c0d22",
"metadata": {},
"source": [
"\n",
"\n",
"### 可視化\n",
"\n"
]
},
{
"cell_type": "markdown",
"id": "94eccfea-feb6-4a1c-a8fd-b7491ddb3b7d",
"metadata": {},
"source": [
"ここで、周期的連鎖回路にゲートカットを使用した場合に、 weight-1 と weight-2 の観測値が改善されることを視覚化してみよう\n",
"\n"
]
},
{
"cell_type": "code",
"execution_count": null,
"id": "2ba8913f-ba35-409c-bc4c-5f28e3698f20",
"metadata": {},
"outputs": [
{
"data": {
"text/plain": [
""
]
},
"metadata": {},
"output_type": "display_data"
}
],
"source": [
"mpl.rcParams.update(mpl.rcParamsDefault)\n",
"\n",
"fig = plt.subplots(figsize=(12, 8), dpi=200)\n",
"width = 0.25\n",
"labels = [\"Weight-1\", \"Weight-2\"]\n",
"x = np.arange(len(labels))\n",
"\n",
"ideal = [-1, 1]\n",
"cut = [cut_weight_1, cut_weight_2]\n",
"uncut = [uncut_weight_1, uncut_weight_2]\n",
"\n",
"br1 = np.arange(len(ideal))\n",
"br2 = [x + width for x in br1]\n",
"br3 = [x + width for x in br2]\n",
"\n",
"plt.bar(\n",
" br1, ideal, width=width, edgecolor=\"k\", label=\"Ideal\", color=\"#4589ff\"\n",
")\n",
"plt.bar(br2, cut, width=width, edgecolor=\"k\", label=\"Cut\", color=\"#a56eff\")\n",
"plt.bar(\n",
" br3, uncut, width=width, edgecolor=\"k\", label=\"Uncut\", color=\"#009d9a\"\n",
")\n",
"\n",
"plt.axhline(y=0, color=\"k\", linestyle=\"-\")\n",
"\n",
"plt.xticks([r + width for r in range(len(ideal))], labels, fontsize=14)\n",
"plt.yticks(fontsize=14)\n",
"\n",
"plt.legend(fontsize=14)\n",
"plt.show()"
]
},
{
"cell_type": "markdown",
"id": "55de226b-1c87-48c8-b5e3-ba28e0640110",
"metadata": {},
"source": [
"\n",
"\n",
"### サマリー\n",
"\n",
"要約すると、109量子ビットの周期的な 1D チェーンについて、 weight-1 と weight-2 Z-types観測量の平均期待値を計算した。 そのために\n",
"\n",
"* 1D、最初の量子ビットと最後の量子ビットの間に長距離接続を追加して仮想結合マップを作成し、回路をトランスパイルした。\n",
" * この段階でトランスパイルすることで、カット後に各サブ実験を別々にトランスパイルするオーバーヘッドを避けることができた、\n",
" * 仮想結合マップを使うことで、最初の量子ビットと最後の量子ビットの間の2量子ビット演算のための余分なSWAPゲートを避けることができた。\n",
"* ゲートカットによってトランスパイルド回路から長距離コネクティビティを取り除いた。\n",
"* カットされた回路は、適切なトランスピレーション・パスを適用することで、基底ゲート・セットに変換される。\n",
"* `SamplerV2` プリミティブを使用して、 IBM 量子デバイス上でカット回路を実行した。\n",
"* は、カットされた回路の結果を再構成することによって期待値を得た。\n",
"\n"
]
},
{
"cell_type": "markdown",
"id": "a556c909-8cac-4500-ab52-9146b47194bf",
"metadata": {},
"source": [
"\n",
"\n",
"### 推定\n",
"\n",
"この結果から、 weight-1 $\\langle Z \\rangle$、 weight-2 $\\langle ZZ \\rangle$ タイプの観測値の平均が、周期ゲートをカットすることによって著しく改善されることに気づく。 なお、この研究にはエラー抑制や軽減の技術は含まれていない。 この改善は、この問題に対するゲートカットの適切な使い方によるものである。 緩和と抑制のテクニックを用いれば、結果はさらに改善されただろう。\n",
"\n",
"この研究は、ゲートカットを効果的に使って計算性能を向上させた例を示している。\n",
"\n"
]
},
{
"cell_type": "markdown",
"id": "6b013b53",
"metadata": {},
"source": [
"\n",
"\n",
"## チュートリアル調査\n",
"\n",
"このチュートリアルに関するご意見・ご感想をお寄せください。 あなたの洞察は、私たちのコンテンツの提供とユーザーエクスペリエンスを向上させるのに役立ちます。\n",
"\n",
"[アンケートへのリンク](https://your.feedback.ibm.com/jfe/form/SV_3fQQYAIjTxvIChg)\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": 120
},
"nbformat": 4,
"nbformat_minor": 5
}