{
"cells": [
{
"cell_type": "markdown",
"id": "33c0bc6b-0506-4e17-9823-07a644d3093d",
"metadata": {},
"source": [
"---\n",
"title: \"量子カーネル法\"\n",
"description: \"量子カーネルは、カーネル行列要素および完全なカーネル行列を決定するために初期段階で使用され、古典的カーネルツールとのインターフェースが提示される。\"\n",
"---\n",
"\n",
"{/* cspell:ignore workstreams workstream xvals yvals xval Arunachalam scikit */}\n",
"\n",
"\n",
"\n",
"# 量子カーネル\n",
"\n",
"\n",
"\n",
"## 量子カーネル入門\n",
"\n",
"量子カーネル法」とは、量子コンピュータを使ってカーネルを推定する方法を指す。 この文脈では、「カーネル」はカーネル行列またはその中の個々のエントリーを指す。 特徴マッピング $\\Phi(\\vec{x})$ は、 $\\vec{x}\\in \\mathbb{R}^d$ から $\\Phi(\\vec{x})\\in \\mathbb{R}^{d'},$ へのマッピングであり、通常は $d'>d$ であり、このマッピングの目的は、データのカテゴリを超平面によって分離可能にすることである。 カーネル関数は、特徴マップ空間のベクトルを引数として取り、それらの内積、つまり $K:\\mathbb{R}^d\\times\\mathbb{R}^d\\rightarrow \\mathbb{R}$ と $K(x,y) = \\langle \\Phi(x)|\\Phi(y)\\rangle$ を返す。古典的には、カーネル関数の評価が容易な特徴マップに興味があります。 これは多くの場合、 $\\Phi(x)$ と $\\Phi(y)$ を構築することなく、特徴マッピングされた空間の内積が元のデータベクトルで書けるようなカーネル関数を見つけることを意味する。量子カーネルの方法では、特徴マッピングは量子回路によって行われ、カーネルはその回路の測定値と相対的な測定確率を用いて推定される。\n",
"\n",
"このレッスンでは、実質的なもつれを利用した符号化回路の深さを調べ、手で符号化した回路の深さと比較する。 これは、ある方法を他の方法よりも推奨しているわけではない。 あらかじめコード化された回路は奥が深すぎ、特注の回路では絡みが不十分で使い物にならないと気づくかもしれない。 繰り返しになるが、これらはあくまでも探索を可能にするためのものである。\n",
"\n",
"カーネル行列の推定を詳細に説明する前に、Qiskitパターンの言語を使ってワークフローの概要を説明します。\n",
"\n",
"\n",
"\n",
"### ステップ1：古典的な入力を量子問題にマッピングする\n",
"\n",
"* 入力訓練データセット\n",
"* 出力カーネル行列のエントリを計算するための抽象回路\n",
"\n",
"データセットが与えられたら、量子回路にデータをエンコードすることから始める。 言い換えれば、量子コンピューターのヒルベルト空間の状態にデータをマッピングする必要がある。 データ依存回路を構築することでこれを実現する。 これには多くの方法があり、前回のレッスンではいくつかの選択肢を紹介した。 データをエンコードする回路を自分で構築することもできるし、 `zz_feature_map` のような既成のフィーチャーマップを使うこともできる。 このレッスンでは、その両方を行う。\n",
"\n",
"1つのカーネル行列要素を計算するためには、2つの異なる点をエンコードし、それらの内積を推定できるようにしたいことに注意。 もちろん、完全な量子カーネルワークフローには、古典的な機械学習法と同様に、マップされたデータベクトル間のこのような内積が多数含まれる。 しかし、繰り返し実行される中核ステップは、単一のカーネル行列要素の推定である。 そのために、データに依存する量子回路を選択し、2つのデータベクトルを特徴空間にマッピングする。\n",
"\n",
"\n",
"\n",
"カーネル行列を生成するタスクでは、 $|0\\rangle^{\\otimes N}$ 状態を測定する確率に特に関心がある。この状態では、 $N$ のすべての量子ビットが $|0\\rangle$ 状態にある。 これを見るために、1つのデータベクトル $\\vec{x}_i$ の符号化とマッピングを担当する回路を $\\Phi(\\vec{x}_i)$、 $\\vec{x}_j$ の符号化とマッピングを担当する回路を $\\Phi(\\vec{x}_j)$ と書き、マッピングされた状態を次のように表すと考える\n",
"\n",
"$$\n",
"|\\psi(\\vec{x}_i)\\rangle = \\Phi(\\vec{x}_i)|0\\rangle^{\\otimes N}\n",
"$$\n",
"\n",
"$$\n",
"|\\psi(\\vec{x}_j)\\rangle = \\Phi(\\vec{x}_j)|0\\rangle^{\\otimes N}.\n",
"$$\n",
"\n",
"これらの状態は\\*、\\* データの高次元へのマッピングであり、カーネルのエントリーは内積となる\n",
"\n",
"$$\n",
"\\langle\\psi(\\vec{x}_j)|\\psi(\\vec{x}_i)\\rangle = \\langle 0 |^{\\otimes N}\\Phi^\\dagger(\\vec{x}_j)\\Phi(\\vec{x}_i)|0\\rangle^{\\otimes N}.\n",
"$$\n",
"\n",
"デフォルトの初期状態 $|0\\rangle^{\\otimes N}$ を回路 $\\Phi^\\dagger(\\vec{x}_j)$ と $\\Phi(\\vec{x}_i)$ の両方で操作した場合、状態 $|0\\rangle^{\\otimes N}$ を測定する確率は次のようになる\n",
"\n",
"$$\n",
"P_0 = |\\langle0|^{\\otimes N}\\Phi^\\dagger(\\vec{x}_j)\\Phi(\\vec{x}_i)|0\\rangle^{\\otimes N}|^2.\n",
"$$\n",
"\n",
"これはまさに我々が望む値である（ $||^2$ まで）。私たちの回路の測定レイヤーは、測定確率（あるいは、ある種のエラー緩和方法が使われている場合は、いわゆる「準確率」）を返す。 注目すべきは、ゼロの状態である $|0\\rangle^{\\otimes N}$ の確率である。\n",
"\n",
"\n",
"\n",
"### ステップ2：量子実行のための問題最適化\n",
"\n",
"* 入力：特定のバックエンドに最適化されていない抽象的な回路\n",
"* 出力：選択されたQPUに最適化されたターゲット回路と観測値\n",
"\n",
"このステップでは、Qiskitの `generate_preset_pass_manager` 関数を使用して、実験を実行する予定の実際の量子コンピューターに対する回路の最適化ルーチンを指定します。 `optimization_level=3` を設定した。これは、最高レベルの最適化を提供するプリセット・パス・マネージャーを使用することを意味する。 ここでいう「最適化」とは、実際の量子コンピューター上で回路の実装を最適化することである。 これには、ゲート深さを最小にする抽象量子回路の量子ビットに対応する物理量子ビットを選択することや、利用可能なエラーレートが最も低い物理量子ビットを選択することなどが含まれる。 これは、（COBYLAのような古典的なオプティマイザにおけるような）機械学習問題の最適化とは直接関係がない。\n",
"\n",
"ステップ2の実装方法によっては、回路を複数回最適化する必要があるかもしれません。マトリックス要素に関係する点のペアごとに、測定する回路が異なるからです。\n",
"\n",
"\n",
"\n",
"### ステップ 3: `IBM Quantum` プリミティブを使用して実行する\n",
"\n",
"* 入力ターゲット回路\n",
"* 出力確率分布\n",
"\n",
"IBM Quantum`Sampler` プリミティブを使用して、回路のサンプリングから得られる状態の確率分布を再構築します。 なお、これは「準確率分布」と呼ばれることもある点に留意してください。この用語は、ノイズが問題となる場合や、誤差低減などの追加の手順が導入される場合に適用されます。 このような場合、すべての確率の和が必ずしも1に等しくならないことがある。したがって、「準確率」と呼ばれる。\n",
"\n",
"\n",
"\n",
"### ステップ4：後処理を行い、結果を従来の形式で返す\n",
"\n",
"* 入力確率分布\n",
"* 出力：単一のカーネル行列要素，または繰り返す場合はカーネル行列\n",
"\n",
"量子回路上で $|0\\rangle^{\\otimes N}$ を測定する確率を計算し、使用した2つのデータベクトルに対応する位置にカーネル行列を入力する。 カーネル行列全体を埋めるには、各エントリーの量子実験を実行する必要がある。 いったんカーネル行列ができれば、 `pre-calculated kernels` を受け入れる多くの古典的な機械学習アルゴリズムでそれを使うことができる。 例: `qml_svc = SVC(kernel=\"precomputed\")`。 その後、古典的なワークストリームを使用して、テストデータにモデルを適用し、精度スコアを得ることができる。 精度の満足度によっては、フィーチャーマップなど、計算方法を見直す必要があるかもしれない。\n",
"\n",
"\n",
"\n",
"### 授業の構成\n",
"\n",
"このレッスンでは、実際の量子コンピュータで時間を最適に使うために、これらのステップをいくつかの方法で実行する。 量子カーネル法を応用して\n",
"\n",
"* 特徴量が比較的少ないデータに対して、実際のバックエンドを使用した単一のカーネル行列エントリーを行うことで、各ステップで何が起こっているのかを簡単に追うことができる。\n",
"* バックエンドをシミュレートし、特徴量が比較的少ないデータセット全体を使用することで、量子ワークストリームが古典的な機械学習手法とどのように結びつくかを確認することができる\n",
"* 実際の量子コンピュータを使用し、多くの特徴を持つデータに対して1つのカーネル行列を入力。 IBM®、量子コンピュータでの計算時間を考慮し、大規模なデータセットのカーネル行列全体の推定は行わない。\n",
"\n"
]
},
{
"cell_type": "code",
"execution_count": null,
"id": "2fedaf0c-efb4-4425-8e31-89ca0319375d",
"metadata": {},
"outputs": [],
"source": [
"# If you have not already, install scikit learn\n",
"#!pip install scikit-learn"
]
},
{
"cell_type": "markdown",
"id": "f05e564c-ae91-4365-88fb-a57183c525aa",
"metadata": {},
"source": [
"\n",
"\n",
"## 単一カーネル行列要素\n",
"\n",
"\n",
"\n",
"### ステップ1：古典的な入力を量子問題にマッピングする\n",
"\n",
"まず、わずか数個の特徴、例えば10個の特徴を持つデータセットを考えてみよう。 カーネル行列の要素を1つずつ計算するので、データセットは好きなだけ大きくできる。 少なくとも2つのポイントが必要なので、まずそこから始める（次の例では、完全なデータセットをインポートする）。 必要なパッケージをいくつかインポートしよう：\n",
"\n"
]
},
{
"cell_type": "code",
"execution_count": 1,
"id": "61f15d16-993a-4405-9454-685829cb08b4",
"metadata": {},
"outputs": [],
"source": [
"import pandas as pd\n",
"import numpy as np\n",
"import matplotlib.pyplot as plt\n",
"\n",
"# Two mock data points, including category labels, as in training\n",
"small_data = [\n",
" [-0.194, 0.114, -0.006, 0.301, -0.359, -0.088, -0.156, 0.342, -0.016, 0.143, 1],\n",
" [-0.1, 0.002, 0.244, 0.127, -0.064, -0.086, 0.072, 0.043, -0.053, 0.02, -1],\n",
"]\n",
"\n",
"# Data points with labels removed, for inner product\n",
"train_data = [small_data[0][:-1], small_data[1][:-1]]"
]
},
{
"cell_type": "markdown",
"id": "e9acb5ee-8c7a-467d-a7e9-e6219f4d443b",
"metadata": {},
"source": [
"`z_feature_map` を使ってみよう。\n",
"\n"
]
},
{
"cell_type": "code",
"execution_count": null,
"id": "9d8e424e-751a-4057-a879-cc39d83af953",
"metadata": {},
"outputs": [],
"source": [
"# from qiskit.circuit.library import zz_feature_map\n",
"# fm = zz_feature_map(feature_dimension=np.shape(train_data)[1], entanglement='linear', reps=1)\n",
"\n",
"from qiskit.circuit.library import z_feature_map\n",
"\n",
"fm = z_feature_map(feature_dimension=np.shape(train_data)[1])\n",
"\n",
"\n",
"unitary1 = fm.assign_parameters(train_data[0])\n",
"unitary2 = fm.assign_parameters(train_data[1])"
]
},
{
"cell_type": "markdown",
"id": "2b41da49-ce41-45eb-83ff-cfcbaa8c2c92",
"metadata": {},
"source": [
"上記の2つのユニタリーは、冒頭で説明した $U_1$ と $U_2$ に正確に対応している。 `unitary_overlap` を使って組み合わせることができる。 いつものように、サーキットの奥行きを注視したい。\n",
"\n"
]
},
{
"cell_type": "code",
"execution_count": null,
"id": "4273dcf7-784c-4edb-a9cd-9b249d24dbb8",
"metadata": {},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"circuit depth = 9\n"
]
},
{
"data": {
"text/plain": [
""
]
},
"execution_count": 3,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"from qiskit.circuit.library import unitary_overlap\n",
"\n",
"\n",
"overlap_circ = unitary_overlap(unitary1, unitary2)\n",
"overlap_circ.measure_all()\n",
"\n",
"print(\"circuit depth = \", overlap_circ.decompose().depth())\n",
"overlap_circ.decompose().draw(\"mpl\", scale=0.6, style=\"iqp\")"
]
},
{
"cell_type": "markdown",
"id": "0a9f9df0-d543-496a-99fd-8b66a53941a7",
"metadata": {},
"source": [
"\n",
"\n",
"### ステップ2：量子実行のための問題最適化\n",
"\n",
"私たちはまず、最もビジーでないバックエンドを選び、そのバックエンド上で動作するように回路を最適化する。\n",
"\n"
]
},
{
"cell_type": "code",
"execution_count": null,
"id": "27f62452-2534-4f97-a738-52e4a19a7772",
"metadata": {},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"\n"
]
}
],
"source": [
"# Import needed packages\n",
"from qiskit.transpiler.preset_passmanagers import generate_preset_pass_manager\n",
"from qiskit_ibm_runtime import QiskitRuntimeService\n",
"\n",
"# Get the least busy backend\n",
"service = QiskitRuntimeService()\n",
"backend = service.least_busy(\n",
" operational=True, simulator=False, min_num_qubits=fm.num_qubits\n",
")\n",
"print(backend)"
]
},
{
"cell_type": "code",
"execution_count": 5,
"id": "36cfd4e9-55c9-46c4-8afe-bd6cd0a40f45",
"metadata": {},
"outputs": [],
"source": [
"# Apply level 3 optimization to our overlap circuit\n",
"pm = generate_preset_pass_manager(optimization_level=3, backend=backend)\n",
"overlap_ibm = pm.run(overlap_circ)"
]
},
{
"cell_type": "markdown",
"id": "13def807-7e1a-44c8-a7d8-2db5ce0f75ec",
"metadata": {},
"source": [
"複雑な回路の場合、このステップは実際の量子コンピュータのネイティブゲートに対応するため、回路の深さを大幅に増加させ、情報を量子ビットから量子ビットに移動させる必要があるかもしれない。 この単純なケースでは、深さはほとんど影響を受けない。\n",
"\n"
]
},
{
"cell_type": "code",
"execution_count": 6,
"id": "79348ff5-4d6d-46d7-ae2b-e6ffbb22dd25",
"metadata": {},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"circuit depth = 10\n"
]
},
{
"data": {
"text/plain": [
"1"
]
},
"execution_count": 6,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"print(\"circuit depth = \", overlap_ibm.decompose().depth())\n",
"overlap_ibm.decompose().depth(lambda instr: len(instr.qubits) > 1)"
]
},
{
"cell_type": "markdown",
"id": "ec97b263-4037-4ed9-9588-110335d2c51d",
"metadata": {},
"source": [
"\n",
"\n",
"### ステップ 3: `IBM Quantum` プリミティブを使用して実行する\n",
"\n",
"シミュレーター上で実行するための構文は、以下のようにコメントアウトされている。 特徴数が少ないこのデータセットの場合、シミュレータ上で実行することはまだ選択肢の一つである。 ユーティリティ・スケールの計算では、通常、シミュレーションは実行不可能である。 シミュレーターは、縮小されたコードをデバッグするためだけに使うべきだ。\n",
"\n"
]
},
{
"cell_type": "code",
"execution_count": null,
"id": "36a81e65-d14f-4dc2-b64c-4acbd5a185cd",
"metadata": {},
"outputs": [],
"source": [
"# Run this for a simulator\n",
"\n",
"# from qiskit.primitives import StatevectorSampler\n",
"# from qiskit_ibm_runtime import Options, Session, Sampler\n",
"# num_shots = 10000\n",
"\n",
"# Evaluate the problem using state vector-based primitives from Qiskit\n",
"\n",
"# sampler = StatevectorSampler()\n",
"# results = sampler.run([overlap_circ], shots=num_shots).result()\n",
"\n",
"# .get_counts() returns counts associated with a state labeled by bit results\n",
"# such as |001101...01>.\n",
"\n",
"# counts_bit = results[0].data.meas.get_counts()\n",
"\n",
"# .get_int_counts returns the same counts, but labeled by integer equivalent\n",
"# of the above bit string.\n",
"\n",
"# counts = results[0].data.meas.get_int_counts()"
]
},
{
"cell_type": "code",
"execution_count": null,
"id": "1ad869b2-ad50-4a82-bc4c-70fd0ab802c5",
"metadata": {},
"outputs": [],
"source": [
"# Benchmarked on an Eagle processor, 7-11-24, took 4 sec.\n",
"\n",
"# Import the IBM Quantum primitive\n",
"from qiskit_ibm_runtime import Session, SamplerV2 as Sampler\n",
"\n",
"num_shots = 10000\n",
"\n",
"# Use sampler and get the counts\n",
"\n",
"sampler = Sampler(mode=backend)\n",
"results = sampler.run([overlap_ibm], shots=num_shots).result()\n",
"# .get_counts() returns counts associated with a state labeled by bit results such as |001101...01>.\n",
"counts_bit = results[0].data.meas.get_counts()\n",
"# .get_int_counts returns the same counts, but labeled by integer equivalent\n",
"# of the above bit string.\n",
"counts = results[0].data.meas.get_int_counts()"
]
},
{
"cell_type": "markdown",
"id": "16d66085-047a-4718-80fe-eb64c20bd398",
"metadata": {},
"source": [
"\n",
"\n",
"### ステップ4：後処理を行い、結果を従来の形式で返す\n",
"\n",
"冒頭で述べたように、ここで最も有用な測定は、ゼロ状態を測定する確率である $|00000\\rangle$。\n",
"\n"
]
},
{
"cell_type": "code",
"execution_count": 62,
"id": "33522847-21dc-48b8-9270-ce11fd1ec529",
"metadata": {},
"outputs": [
{
"data": {
"text/plain": [
"0.6525"
]
},
"execution_count": 62,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"counts.get(0, 0.0) / num_shots"
]
},
{
"cell_type": "markdown",
"id": "65dfa3e4-bfe4-45d7-815f-e8c1aa24d916",
"metadata": {},
"source": [
"2つのデータ点に対応するベクトルの内積（2乗まで）の推定値である。 測定確率（または準確率）の完全な分布を見たい場合は、以下に示すように `plot_distribution` 関数を使って見ることができる。 量子ビットの数が多いと、このような絵はすぐに難解になることがわかる。\n",
"\n"
]
},
{
"cell_type": "code",
"execution_count": 30,
"id": "29aaf5d6-ea7e-4373-b33c-9299699a3964",
"metadata": {},
"outputs": [
{
"data": {
"text/plain": [
""
]
},
"execution_count": 30,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"from qiskit.visualization import plot_distribution\n",
"\n",
"plot_distribution(counts_bit)"
]
},
{
"cell_type": "markdown",
"id": "d0a52344-34f2-498b-8f46-489d581bd8ba",
"metadata": {},
"source": [
"あるいは、最も可能性の高い上位10個の測定値だけを見るために、以下のような可視化を定義することもできる。 これは、トラブルシューティングや、データから直感を得ようとする際に重要な意味を持つ。 しかし、ゼロ状態の測定確率はカーネル行列の要素である。\n",
"\n"
]
},
{
"cell_type": "code",
"execution_count": 29,
"id": "c141e800-79eb-400a-9b8c-75e2393ce24e",
"metadata": {},
"outputs": [
{
"data": {
"text/plain": [
""
]
},
"metadata": {},
"output_type": "display_data"
}
],
"source": [
"def visualize_counts(probs, num_qubits):\n",
" \"\"\"Visualize the outputs from the Qiskit Sampler primitive.\"\"\"\n",
" zero_prob = probs.get(0, 0.0)\n",
" top_10 = dict(sorted(probs.items(), key=lambda item: item[1], reverse=True)[:10])\n",
" top_10.update({0: zero_prob})\n",
" by_key = dict(sorted(top_10.items(), key=lambda item: item[0]))\n",
" xvals, yvals = list(zip(*by_key.items()))\n",
" xvals = [bin(xval)[2:].zfill(num_qubits) for xval in xvals]\n",
" plt.bar(xvals, yvals)\n",
" plt.xticks(rotation=75)\n",
" plt.title(\"Results of sampling\")\n",
" plt.xlabel(\"Measured bitstring\")\n",
" plt.ylabel(\"Counts\")\n",
" plt.show()\n",
"\n",
"\n",
"visualize_counts(counts, overlap_circ.num_qubits)"
]
},
{
"cell_type": "markdown",
"id": "47e85d94-ee94-4ed9-8223-ccd5fc9442d4",
"metadata": {},
"source": [
"高次元特徴空間における2つのデータ点間のたった1つの内積に関するこの情報から言えることは、その重なりは最大重なり（ 1.0 ）に比べてかなり大きいということである。 これは、これら2つのデータポイントが何らかの形で性質が似ており、同じクラス分類に分類されることを示す指標である可能性がある。 あるいは、同じようなデータの重なりが強く、違うデータの重なりが小さいという空間への特徴マップのマッピングが効果的でないという指標かもしれない。 どちらが正しいかを知るためには、データ全体に特徴マップを適用し、得られたカーネル行列を操作して、高い精度でクラスを効果的に分離できるかどうかを確認する必要がある。\n",
"\n",
"注目すべきは、 `z_feature_map` 、2量子ビットのトランスパイル深度が低くなったことである（実際には深度1）。 回路が深くなりすぎると、ノイズが多くなり、たとえフィーチャーマップがデータによく合っていたとしても、ゼロの状態を測定できる確率が非常に低くなる。 例えば、 `zz_feature_map` と `, entanglement='linear', reps=1` を使って上記のプロセスを繰り返すと、同じデータポイントを使って `dist.get(0,0.0) = 0.0015` が得られた。 これは、 `zz_feature_map` からの回路深度と2量子ビット深度がはるかに大きいためである。 下図はその計算の確率分布である。\n",
"\n",
"\n",
"\n",
"同じカテゴリーからいくつかのデータポイントを使って、良い結果を得るためにどの程度深度を低くしなければならないかを試してみる価値はある。 以下は、例外もあるであろう大まかなアドバイスである。 一般的に、2量子ビットのトランスパイル深度が10以下であれば問題はないはずだ。 2量子ビットのトランスパイル深度50-60は最先端であり、他のツールの中でも特に高度なエラー緩和を必要とする。 この間では、データの類似性、フィーチャーマップの表現力、回路幅、その他の要因によって結果が異なる可能性があります。\n",
"\n"
]
},
{
"cell_type": "markdown",
"id": "33eda2a4-cd97-4bba-8acd-4017bfe2cd12",
"metadata": {},
"source": [
"通常、後処理段階には古典的な機械学習処理も含まれる。 次のセクションでは、このプロセスをデータセット全体に拡張し、古典的な機械学習のワークフローを示す。\n",
"\n"
]
},
{
"cell_type": "markdown",
"id": "41850d1d-3800-4aa0-aa01-fe6e72c872be",
"metadata": {},
"source": [
"\n",
"\n",
"#### 理解度チェック\n",
"\n",
"一般に、10量子ビットの量子回路では、測定可能な異なる状態はいくつあるのでしょうか？\n",
"\n",
"\n",
" \n",
" $2^{10}$ または1024。\n",
" \n",
"\n",
"\n",
"量子コンピューティングに不慣れな人が、2量子ビットの深さが非常に高い量子回路を使用しようとし、かつエラー軽減策を講じないと仮定しよう。 さらに、これにより各量子ビットのエラー率が10%になると仮定しよう。 この回路に対応する真の（誤りのない）カーネル行列要素が非常に大きい場合、例えば 1.0 であるとすると、10個のクビットすべてが $|0\\rangle$ という状態にあると測定される確率はどれくらいになるでしょうか？\n",
"\n",
"\n",
" \n",
" それぞれの量子ビットが｜0｜状態で正しく発見される確率は 0.90 である。 10個の量子ビットがすべて正しい状態にある確率は $0.90^{10}$、約35％である。\n",
" \n",
"\n",
"\n",
"回路の深さをモニターすることがなぜ重要なのか、自分の言葉で説明してください。 これは一般的に正しいが、量子カーネル推定の文脈で説明しよう。\n",
"\n",
"\n",
" \n",
" このQKEワークフローでは、我々の推定はゼロ状態、つまり全ての量子ビットが $|0\\rangle$。 非常に深い回路では、高いエラー率が発生する。 この誤差が多くの量子ビットに及ぶと、ゼロの状態を測定する確率は大幅に低下する。\n",
" \n",
"\n",
"\n"
]
},
{
"cell_type": "markdown",
"id": "0fde5aca-0d54-40b1-82d4-9d1b2a1b67bb",
"metadata": {},
"source": [
"\n",
"\n",
"## 完全な核行列\n",
"\n",
"このセクションでは、上記のプロセスを完全なデータセットの二値分類に拡張する。 これにより、2つの重要な要素が導入される：(1)古典的な機械学習を後処理で実行できるようになる、(2)トレーニングの精度スコアが得られるようになる。\n",
"\n",
"\n",
"\n",
"### ステップ1：古典的な入力を量子問題にマッピングする\n",
"\n",
"では、分類のために既存のデータセットをインポートしよう。 このデータセットは128行（データ点）からなり、各点に14の特徴がある。 各点のバイナリ・カテゴリーを示す15番目の要素( $\\pm 1$ )がある。データセットは以下にインポートされている。また、データセットにアクセスしてその構造を見ることもできる[。](https://github.com/qiskit-community/prototype-quantum-kernel-training/blob/main/data/dataset_graph7.csv)\n",
"\n",
"最初の90ポイントをトレーニングに使い、次の30ポイントをテストに使う。\n",
"\n"
]
},
{
"cell_type": "code",
"execution_count": 15,
"id": "60f2699d-ef47-44f7-931a-4a70d4363c0e",
"metadata": {},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"--2024-07-11 23:05:22-- https://raw.githubusercontent.com/qiskit-community/prototype-quantum-kernel-training/main/data/dataset_graph7.csv\n",
"Resolving raw.githubusercontent.com (raw.githubusercontent.com)... 185.199.110.133, 185.199.111.133, 185.199.109.133, ...\n",
"Connecting to raw.githubusercontent.com (raw.githubusercontent.com)|185.199.110.133|:443... connected.\n",
"HTTP request sent, awaiting response... 200 OK\n",
"Length: 49405 (48K) [text/plain]\n",
"Saving to: ‘dataset_graph7.csv.15’\n",
"\n",
"dataset_graph7.csv. 100%[===================>] 48.25K --.-KB/s in 0.02s \n",
"\n",
"2024-07-11 23:05:23 (2.11 MB/s) - ‘dataset_graph7.csv.15’ saved [49405/49405]\n",
"\n"
]
}
],
"source": [
"!wget https://raw.githubusercontent.com/qiskit-community/prototype-quantum-kernel-training/main/data/dataset_graph7.csv\n",
"\n",
"df = pd.read_csv(\"dataset_graph7.csv\", sep=\",\", header=None)\n",
"\n",
"# Prepare training data\n",
"\n",
"train_size = 90\n",
"X_train = df.values[0:train_size, :-1]\n",
"train_labels = df.values[0:train_size, -1]\n",
"\n",
"# Prepare testing data\n",
"test_size = 30\n",
"X_test = df.values[train_size : train_size + test_size, :-1]\n",
"test_labels = df.values[train_size : train_size + test_size, -1]"
]
},
{
"cell_type": "markdown",
"id": "4a665fcb-bd27-4713-9c0a-b7747de5fb45",
"metadata": {},
"source": [
"適切な次元のカーネル行列とテスト行列を構築することで、複数の出力を保存する準備はすでにできている。\n",
"\n"
]
},
{
"cell_type": "code",
"execution_count": 16,
"id": "34d92041-0501-4c20-b780-ae5352510637",
"metadata": {},
"outputs": [],
"source": [
"# Empty kernel matrix\n",
"num_samples = np.shape(X_train)[0]\n",
"kernel_matrix = np.full((num_samples, num_samples), np.nan)\n",
"test_matrix = np.full((test_size, num_samples), np.nan)"
]
},
{
"cell_type": "markdown",
"id": "920233dd-cfac-498d-be88-746719083cc2",
"metadata": {},
"source": [
"ここで、古典データを量子回路に符号化しマッピングするための特徴マップを作成する。 フィーチャーマップは自分たちで自由に作ることもできるし、既成のものを使うこともできる。 以下のフィーチャーマップを自由に変更したり、 ZFeatureMap に戻ったりしてください。 しかし、回路の深さには常に注意を払ってほしい。 前の6量子ビットの例では、 `zz_feature_map` を使用した場合、トランスパイルされた回路の深さが手に負えないほど大きかったことを思い出してほしい。 回路の規模と複雑さが増すにつれて、深さはノイズが我々の結果を圧倒するところまで急速に増大する可能性がある。 データ構造について、どのようなフィーチャーマップ構造が最も有用であるかが分かっている場合は、その知識を活用した独自のカスタムフィーチャーマップを作成することをお勧めします。\n",
"\n"
]
},
{
"cell_type": "code",
"execution_count": 17,
"id": "ca813500-5856-4b50-a213-a7e87d825c18",
"metadata": {},
"outputs": [],
"source": [
"from qiskit.circuit import Parameter, ParameterVector, QuantumCircuit\n",
"\n",
"# Prepare feature map for computing overlap\n",
"num_features = np.shape(X_train)[1]\n",
"num_qubits = int(num_features / 2)\n",
"\n",
"# To use a custom feature map use the lines below.\n",
"entangler_map = [[0, 2], [3, 4], [2, 5], [1, 4], [2, 3], [4, 6]]\n",
"\n",
"fm = QuantumCircuit(num_qubits)\n",
"training_param = Parameter(\"θ\")\n",
"feature_params = ParameterVector(\"x\", num_qubits * 2)\n",
"fm.ry(training_param, fm.qubits)\n",
"for cz in entangler_map:\n",
" fm.cz(cz[0], cz[1])\n",
"for i in range(num_qubits):\n",
" fm.rz(-2 * feature_params[2 * i + 1], i)\n",
" fm.rx(-2 * feature_params[2 * i], i)"
]
},
{
"cell_type": "markdown",
"id": "3c6416b5-9eb1-40a4-b72c-8912df931139",
"metadata": {},
"source": [
"\n",
"\n",
"### ステップ2および3：問題を最適化し、プリミティブを用いて実行する\n",
"\n",
"オーバーラップ回路を構成し、この例で実際の量子コンピューターで実行するとしたら、先ほどと同じように最適化して実行する。 しかしこの場合、すべてのデータ点をステップオーバーし、完全なカーネル行列を計算するつもりである。 データベクトル $\\vec{x}_i$ と $\\vec{x}_j$ のペアごとに、異なるオーバーラップ回路を作る。 従って、各データポイントのペアに対して回路を最適化しなければならない。 つまり、ステップ2と3は複数の反復で一緒に行われることになる。\n",
"\n",
"以下のコード・セルは、1つのデータ・ポイントのペアに対して、前とまったく同じ処理を行う。 今回は単純に2つの `for` ループの中で実行され、最後に `kernel_matrix[x_1,x_2] = ...` 、各計算結果を保存するための行が追加されている。 カーネル行列の対称性を利用して計算回数を1/2に減らしていることに注意。 また、ノイズがない場合の対角要素を単純に1とした。 実装や要求される精度によっては、対角要素を用いてノイズを推定したり、エラー軽減の目的でノイズについて学んだりすることもできる。\n",
"\n",
"カーネル行列が完全に入力されたら、テストデータに対してこのプロセスを繰り返し、test\\_matrixを入力する。 この2つを区別するために別の名前をつけただけである。\n",
"\n"
]
},
{
"cell_type": "code",
"execution_count": null,
"id": "7995748f-fc97-4eda-bed6-8b189c1e65ea",
"metadata": {},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"training done\n",
"test matrix done\n"
]
}
],
"source": [
"# To use a simulator\n",
"from qiskit.primitives import StatevectorSampler\n",
"\n",
"# Remember to insert your token in the QiskitRuntimeService constructor\n",
"# to use real quantum computers\n",
"\n",
"# service = QiskitRuntimeService()\n",
"# backend = service.least_busy(\n",
"# operational=True, simulator=False, min_num_qubits=fm.num_qubits\n",
"# )\n",
"\n",
"num_shots = 10000\n",
"\n",
"# Evaluate the problem using state vector-based primitives from Qiskit.\n",
"sampler = StatevectorSampler()\n",
"\n",
"for x1 in range(0, train_size):\n",
" for x2 in range(x1 + 1, train_size):\n",
" unitary1 = fm.assign_parameters(list(X_train[x1]) + [np.pi / 2])\n",
" unitary2 = fm.assign_parameters(list(X_train[x2]) + [np.pi / 2])\n",
"\n",
" # Create the overlap circuit\n",
" overlap_circ = unitary_overlap(unitary1, unitary2)\n",
" overlap_circ.measure_all()\n",
"\n",
" # These lines run the qiskit sampler primitive.\n",
" counts = (\n",
" sampler.run([overlap_circ], shots=num_shots)\n",
" .result()[0]\n",
" .data.meas.get_int_counts()\n",
" )\n",
"\n",
" # Assign the probability of the 0 state to the kernel matrix, and the transposed element\n",
" # (since this is an inner product)\n",
" kernel_matrix[x1, x2] = counts.get(0, 0.0) / num_shots\n",
" kernel_matrix[x2, x1] = counts.get(0, 0.0) / num_shots\n",
" # Fill in on-diagonal elements with 1, again, since this is an inner-product corresponding to\n",
" # probability (or alter the code to check these entries and verify they yield 1)\n",
" kernel_matrix[x1, x1] = 1\n",
"\n",
"print(\"training done\")\n",
"\n",
"# Similar process to above, but for testing data.\n",
"for x1 in range(0, test_size):\n",
" for x2 in range(0, train_size):\n",
" unitary1 = fm.assign_parameters(list(X_test[x1]) + [np.pi / 2])\n",
" unitary2 = fm.assign_parameters(list(X_train[x2]) + [np.pi / 2])\n",
"\n",
" # Create the overlap circuit\n",
" overlap_circ = unitary_overlap(unitary1, unitary2)\n",
" overlap_circ.measure_all()\n",
"\n",
" counts = (\n",
" sampler.run([overlap_circ], shots=num_shots)\n",
" .result()[0]\n",
" .data.meas.get_int_counts()\n",
" )\n",
"\n",
" test_matrix[x1, x2] = counts.get(0, 0.0) / num_shots\n",
"\n",
"print(\"test matrix done\")"
]
},
{
"cell_type": "markdown",
"id": "ea65cd41-4ba3-423c-a98f-2f8e3751adf4",
"metadata": {},
"source": [
"\n",
"\n",
"### ステップ4：後処理を行い、結果を従来の形式で返す\n",
"\n",
"これで、量子カーネル法によるカーネル行列と同様の形式のtest\\_matrixが得られたので、古典的な機械学習アルゴリズムを適用して、テストデータの予測を行い、その精度をチェックすることができる。 まずScikit-Learnの `sklearn.svc`、サポート・ベクトル分類器（SVC）をインポートします。 `kernel = precomputed` を使って、SVC に事前に計算したカーネルを使用するように指定しなければならない。\n",
"\n"
]
},
{
"cell_type": "code",
"execution_count": 19,
"id": "78d9e291-54c3-4c45-827e-066c6d012da5",
"metadata": {},
"outputs": [],
"source": [
"# import a support vector classifier from a classical ML package.\n",
"from sklearn.svm import SVC\n",
"\n",
"# Specify that you want to use a pre-computed kernel matrix\n",
"qml_svc = SVC(kernel=\"precomputed\")"
]
},
{
"cell_type": "markdown",
"id": "9bd69e5f-dafd-492c-bd5d-f5e16925f611",
"metadata": {},
"source": [
"`SVC.fit` を使って、カーネル行列と訓練ラベルを入力し、フィットを得ることができる。 `SVC.score` そして、test\\_matrixを使用して、テストデータをそのフィットに対してスコアリングし、精度を返す。\n",
"\n"
]
},
{
"cell_type": "code",
"execution_count": null,
"id": "d8708973-c97c-494c-af9c-e4a0fe430452",
"metadata": {},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"Precomputed kernel classification test score: 1.0\n"
]
}
],
"source": [
"# Feed in the pre-computed matrix and the labels of the training data.\n",
"# The classical algorithm gives you a fit.\n",
"qml_svc.fit(kernel_matrix, train_labels)\n",
"\n",
"# Now use the .score to test your data, using the matrix of test data,\n",
"# and test labels as your inputs.\n",
"qml_score_precomputed_kernel = qml_svc.score(test_matrix, test_labels)\n",
"print(f\"Precomputed kernel classification test score: {qml_score_precomputed_kernel}\")"
]
},
{
"cell_type": "markdown",
"id": "0200dceb-6d61-4e16-8c3d-d08dbc5529e5",
"metadata": {},
"source": [
"学習したモデルの精度は100％であることがわかる。 これは素晴らしいことで、QKEが機能することを示している。 しかし、それは量子のアドバンテージとは大きく異なる。 古典的なカーネルであれば、この分類問題も100％の精度で解くことができただろう。 現在のユーティリティ時代において量子カーネルが最も有用となるのはどこなのか、さまざまなデータタイプやデータ関係の特徴を明らかにするためにやるべきことは多い。\n",
"このワークフローの一部を変更し、さまざまな量子特徴マップの有効性を研究することは、学習者に任されている。 以下は、考慮すべきいくつかの点である：\n",
"\n",
"* 精度はどの程度ですか？ それは幅広い種類のデータに当てはまるのか、それともこの特定のトレーニングデータだけに当てはまるのか？\n",
"* 量子フィーチャーマップが有用だと思わせるデータの構造とは？\n",
"* トレーニングデータの量を増やしたり減らしたりすると、精度にどのような影響がありますか？\n",
"* どのようなフィーチャーマップが使えるのか、フィーチャーマップによって結果はどのように変わるのか\n",
"* 特徴数を増やすと、精度と実行時間はどうなりますか？\n",
"* 実際の量子コンピューターにどのようなトレンドがあると予想しますか？\n",
"\n"
]
},
{
"cell_type": "markdown",
"id": "da2427c4-a1a1-4284-b10f-95d5c5230755",
"metadata": {},
"source": [
"\n",
"\n",
"## より多くの機能と量子ビットへの拡張\n",
"\n",
"このセクションでは、1つの行列要素の計算を繰り返し、より多くの特徴について計算し、実用的なスケールへの道筋を描く。 行列の要素を1つに限定したのは、量子コンピュータに割り当てられた時間をあまり使わずに処理を示すためである。\n",
"\n",
"\n",
"\n",
"### ステップ1：古典的な入力を量子問題にマッピングする\n",
"\n",
"ここでは、各データポイントが42の特徴を持つデータセットを出発点と仮定する。 最初の例と同様に、2つのデータポイントを必要とする1つのカーネル行列要素を計算する。 以下の2点は42の特徴を持ち、1つのカテゴリー変数( $\\pm 1$ )を持つ。\n",
"\n"
]
},
{
"cell_type": "code",
"execution_count": 79,
"id": "014ba70a-5202-4c86-b886-7ff27ae9a1b3",
"metadata": {},
"outputs": [],
"source": [
"# Two mock data points, including category labels, as in training\n",
"\n",
"large_data = [\n",
" [\n",
" -0.028,\n",
" -1.49,\n",
" -1.698,\n",
" 0.107,\n",
" -1.536,\n",
" -1.538,\n",
" -1.356,\n",
" -1.514,\n",
" -0.109,\n",
" -1.8,\n",
" -0.122,\n",
" -1.651,\n",
" -1.955,\n",
" -0.123,\n",
" -1.732,\n",
" 0.091,\n",
" -0.048,\n",
" -0.128,\n",
" -0.026,\n",
" 0.082,\n",
" -1.263,\n",
" 0.065,\n",
" 0.004,\n",
" -0.055,\n",
" -0.08,\n",
" -0.173,\n",
" -1.734,\n",
" -0.39,\n",
" -1.451,\n",
" 0.078,\n",
" -1.578,\n",
" -0.025,\n",
" -0.184,\n",
" -0.119,\n",
" -1.336,\n",
" 0.055,\n",
" -0.204,\n",
" -1.578,\n",
" 0.132,\n",
" -0.121,\n",
" -1.599,\n",
" -0.187,\n",
" -1,\n",
" ],\n",
" [\n",
" -1.414,\n",
" -1.439,\n",
" -1.606,\n",
" 0.246,\n",
" -1.673,\n",
" 0.002,\n",
" -1.317,\n",
" -1.262,\n",
" -0.178,\n",
" -1.814,\n",
" 0.013,\n",
" -1.619,\n",
" -1.86,\n",
" -0.25,\n",
" -0.212,\n",
" -0.214,\n",
" -0.033,\n",
" 0.071,\n",
" -0.11,\n",
" -1.607,\n",
" 0.441,\n",
" -0.143,\n",
" -0.009,\n",
" -1.655,\n",
" -1.579,\n",
" 0.381,\n",
" -1.86,\n",
" -0.079,\n",
" -0.088,\n",
" -0.058,\n",
" -1.481,\n",
" -0.064,\n",
" -0.065,\n",
" -1.507,\n",
" 0.177,\n",
" -0.131,\n",
" -0.153,\n",
" 0.07,\n",
" -1.627,\n",
" 0.593,\n",
" -1.547,\n",
" -0.16,\n",
" -1,\n",
" ],\n",
"]\n",
"train_data = [large_data[0][:-1], large_data[1][:-1]]"
]
},
{
"cell_type": "markdown",
"id": "3e4dd6a7-e51c-4dc2-99ea-66e2746e411d",
"metadata": {},
"source": [
"`zz_feature_map` 、比較的少ない特徴（14特徴）の場合、かなり深い回路が生成されたことを思い出してほしい。 機能の数を増やすにつれて、回路の深さを注意深く監視する必要がある。 これを説明するために、まず `zz_feature_map` を使ってみて、出来上がった回路の深さをチェックしてみよう。\n",
"\n"
]
},
{
"cell_type": "code",
"execution_count": null,
"id": "bdb1ecc4-7827-4eb7-bf7b-5a09838775ca",
"metadata": {},
"outputs": [],
"source": [
"from qiskit.circuit.library import zz_feature_map\n",
"\n",
"fm = zz_feature_map(\n",
" feature_dimension=np.shape(train_data)[1], entanglement=\"linear\", reps=1\n",
")\n",
"\n",
"unitary1 = fm.assign_parameters(train_data[0])\n",
"unitary2 = fm.assign_parameters(train_data[1])"
]
},
{
"cell_type": "code",
"execution_count": null,
"id": "5bc865cb-8f8b-4812-9a05-1bd34dbcbcb9",
"metadata": {},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"circuit depth = 251\n",
"two-qubit depth 165\n"
]
}
],
"source": [
"from qiskit.circuit.library import unitary_overlap\n",
"\n",
"\n",
"overlap_circ = unitary_overlap(unitary1, unitary2)\n",
"overlap_circ.measure_all()\n",
"\n",
"print(\"circuit depth = \", overlap_circ.decompose(reps=2).depth())\n",
"print(\n",
" \"two-qubit depth\",\n",
" overlap_circ.decompose().depth(lambda instr: len(instr.qubits) > 1),\n",
")\n",
"# overlap_circ.draw(\"mpl\", scale=0.6, style=\"iqp\")"
]
},
{
"cell_type": "markdown",
"id": "b3348ab6-ef4e-40d2-b803-e86484e0b8f3",
"metadata": {},
"source": [
"前述したように、どの程度が深すぎるかを正確に判断するのは微妙なところだ。 しかし、2量子ビットの深さが100を超えると、たとえトランスピレーション前であっても不可能になる。 これが、このレッスンでカスタムフィーチャーマップが強調されている理由である。 データセット全体の構造がわかっているのであれば、その構造を念頭にエンタングルメント・マップを設計すべきである。 ここでは、このような2つのデータ点間の内積を計算するだけなので、データ構造の詳細な検討よりも回路の深さを低くすることを優先した。\n",
"\n"
]
},
{
"cell_type": "code",
"execution_count": 95,
"id": "784f8a68-0d77-433b-8482-bac38ddb8adc",
"metadata": {},
"outputs": [],
"source": [
"from qiskit.circuit import Parameter, ParameterVector, QuantumCircuit\n",
"\n",
"# Prepare feature map for computing overlap\n",
"\n",
"entangler_map = [\n",
" [3, 4],\n",
" [2, 5],\n",
" [1, 4],\n",
" [2, 3],\n",
" [4, 6],\n",
" [7, 9],\n",
" [10, 11],\n",
" [9, 12],\n",
" [8, 11],\n",
" [9, 10],\n",
" [11, 13],\n",
" [14, 16],\n",
" [17, 18],\n",
" [16, 19],\n",
" [15, 18],\n",
" [16, 17],\n",
" [18, 20],\n",
"]"
]
},
{
"cell_type": "code",
"execution_count": 96,
"id": "587daff1-7c5b-4505-8064-827c1fbdc742",
"metadata": {},
"outputs": [],
"source": [
"# Use the entangler map above to build a feature map\n",
"\n",
"num_features = np.shape(train_data)[1]\n",
"num_qubits = int(num_features / 2)\n",
"\n",
"fm = QuantumCircuit(num_qubits)\n",
"training_param = Parameter(\"θ\")\n",
"feature_params = ParameterVector(\"x\", num_qubits * 2)\n",
"fm.ry(training_param, fm.qubits)\n",
"for cz in entangler_map:\n",
" fm.cz(cz[0], cz[1])\n",
"for i in range(num_qubits):\n",
" fm.rz(-2 * feature_params[2 * i + 1], i)\n",
" fm.rx(-2 * feature_params[2 * i], i)"
]
},
{
"cell_type": "code",
"execution_count": null,
"id": "02576ae9-8f24-4f47-8c37-ae0c3f710d4c",
"metadata": {},
"outputs": [],
"source": [
"from qiskit.circuit.library import unitary_overlap\n",
"\n",
"# Assign features of each data point to a unitary, an instance of the general feature map.\n",
"\n",
"unitary1 = fm.assign_parameters(list(train_data[0]) + [np.pi / 2])\n",
"unitary2 = fm.assign_parameters(list(train_data[1]) + [np.pi / 2])\n",
"\n",
"# Create the overlap circuit\n",
"\n",
"overlap_circ = unitary_overlap(unitary1, unitary2)\n",
"overlap_circ.measure_all()"
]
},
{
"cell_type": "markdown",
"id": "fbe9ba90-6463-488d-b6f2-e9d4ee8f0871",
"metadata": {},
"source": [
"本当に重要なのはトランスパイルされた2量子ビットの深さだからだ。\n",
"\n"
]
},
{
"cell_type": "markdown",
"id": "9a5c14fc-aa58-461f-a1d5-fc644e042ecc",
"metadata": {},
"source": [
"\n",
"\n",
"### ステップ2：量子実行のための問題最適化\n",
"\n",
"私たちはまず、最もビジーでないバックエンドを選び、そのバックエンド上で動作するように回路を最適化する。\n",
"\n"
]
},
{
"cell_type": "code",
"execution_count": null,
"id": "99e3a8c7-9aba-4890-a492-cb3779b5de03",
"metadata": {},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"\n"
]
}
],
"source": [
"# Import needed packages\n",
"from qiskit.transpiler.preset_passmanagers import generate_preset_pass_manager\n",
"from qiskit_ibm_runtime import QiskitRuntimeService\n",
"\n",
"# Get the least busy backend\n",
"service = QiskitRuntimeService()\n",
"backend = service.least_busy(\n",
" operational=True, simulator=False, min_num_qubits=fm.num_qubits\n",
")\n",
"print(backend)"
]
},
{
"cell_type": "markdown",
"id": "0b524533-7422-4d91-a3d1-82dfdeaf1588",
"metadata": {},
"source": [
"小規模な仕事では、プリセットされたパス・マネージャーは、多くの場合、同じ深さの同じ回路を確実に返す。 しかし、非常に大規模で複雑な回路の場合、パス・マネージャーは実行するたびに異なるトランスパイルド回路を返す可能性がある。 これは、ヒューリスティックを使っているためであり、非常に大規模な回路では、最適化の可能性が複雑に入り組んでいるためである。 数回トランスパイルして、最も浅いサーキットを取るのが有効な場合が多い。 これは古典的なオーバーヘッドを導入するだけで、量子コンピュータの結果を大幅に改善できる可能性がある。\n",
"\n",
"ここでは、ユニタリーオーバーラップ回路を20回トランスパイルし、得られた回路の深さを見る。\n",
"\n"
]
},
{
"cell_type": "code",
"execution_count": 99,
"id": "f5f8f833-8ac2-4df0-8268-4d83f841fd16",
"metadata": {},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"circuit depth = 61\n"
]
}
],
"source": [
"# Apply level 3 optimization to our overlap circuit\n",
"transpiled_qcs = []\n",
"transpiled_depths = []\n",
"transpiled_twoqubit_depths = []\n",
"for i in range(1, 20):\n",
" pm = generate_preset_pass_manager(optimization_level=3, backend=backend)\n",
" overlap_ibm = pm.run(overlap_circ)\n",
" transpiled_qcs.append(overlap_ibm)\n",
" transpiled_depths.append(overlap_ibm.decompose().depth())\n",
" transpiled_twoqubit_depths.append(\n",
" overlap_ibm.decompose().depth(lambda instr: len(instr.qubits) > 1)\n",
" )\n",
"\n",
"print(\"circuit depth = \", overlap_ibm.decompose().depth())"
]
},
{
"cell_type": "code",
"execution_count": 100,
"id": "fd604f87-32d1-42dd-a1fb-f2315cb4dfdc",
"metadata": {},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"[61, 60, 60, 69, 60, 60, 60, 65, 60, 60, 69, 61, 77, 77, 65, 60, 60, 77, 61]\n",
"[13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13]\n"
]
}
],
"source": [
"print(transpiled_depths)\n",
"print(transpiled_twoqubit_depths)"
]
},
{
"cell_type": "markdown",
"id": "30fad0d8-f5e4-4dcf-946a-956f23334e9c",
"metadata": {},
"source": [
"ここでは、トランスピレーション・パスの違いによって、ゲートの深さにばらつきがあることがわかる。 私たちの回路は、2量子ビットのトランスパイル深さの変化を見るにはまだ十分な深さ／広さを持っていない。 深さ60の `transpiled_qcs[1]`、最も深いサーキットの深さ77よりわずかに低い。\n",
"\n"
]
},
{
"cell_type": "code",
"execution_count": 101,
"id": "28f00388-0e6e-41db-a0b4-9200d58ba5cb",
"metadata": {},
"outputs": [],
"source": [
"overlap_ibm = transpiled_qcs[1]"
]
},
{
"cell_type": "markdown",
"id": "e96cee51-e79f-4eab-829b-397645bc1080",
"metadata": {},
"source": [
"\n",
"\n",
"### ステップ 3: `IBM Quantum` プリミティブを使用して実行する\n",
"\n",
"実用的な規模に近づくにつれ、シミュレーターは役に立たなくなるだろう。 ここでは、実際の量子コンピューターの構文のみを示す。\n",
"\n"
]
},
{
"cell_type": "code",
"execution_count": 102,
"id": "7eedcf5f-5ead-4eb0-b423-669901f572ba",
"metadata": {},
"outputs": [],
"source": [
"# Run on ibm_osaka, 7-12-24, required 22 sec.\n",
"\n",
"# Import our IBM Quantum primitive\n",
"from qiskit_ibm_runtime import SamplerV2 as Sampler\n",
"\n",
"# Open a session:\n",
"session = Session(backend=backend)\n",
"num_shots = 10000\n",
"# Use sampler and get the counts\n",
"\n",
"sampler = Sampler(mode=session)\n",
"options = sampler.options\n",
"options.dynamical_decoupling.enable = True\n",
"options.twirling.enable_gates = True\n",
"counts = (\n",
" sampler.run([overlap_ibm], shots=num_shots).result()[0].data.meas.get_int_counts()\n",
")\n",
"\n",
"# Close session after done\n",
"session.close()"
]
},
{
"cell_type": "markdown",
"id": "f40540b8-146d-4165-af12-db902232300d",
"metadata": {},
"source": [
"\n",
"\n",
"### ステップ4：後処理を行い、結果を従来の形式で返す\n",
"\n",
"冒頭で述べたように、ここで最も有用な測定は、ゼロ状態を測定する確率である $|00000\\rangle$。\n",
"\n"
]
},
{
"cell_type": "code",
"execution_count": 103,
"id": "ce9f4dc1-b562-437e-b9fe-5a1781b67bfe",
"metadata": {},
"outputs": [
{
"data": {
"text/plain": [
"0.0138"
]
},
"execution_count": 103,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"counts.get(0, 0.0) / num_shots"
]
},
{
"cell_type": "markdown",
"id": "9b6c78b4-6788-404f-bd90-d98d7b288d42",
"metadata": {},
"source": [
"単一のカーネル行列要素に対するこのプロセスを、セット内の他のデータ・ペア間で繰り返すことで、完全なカーネル行列を得ることができる。 カーネル行列の次元は、特徴の数ではなく、学習データのポイント数によって決まる。 そのため、カーネル行列を予測モデルに操作する計算コストは、特徴量や量子ビットの数のようにスケールしない。 多数の特徴を持つ比較的小さなデータセットであっても、効果的な分類をもたらす特徴マップにデータをマッチさせる必要がある。\n",
"\n",
"\n",
"\n",
"### スケーリングと今後の作業\n",
"\n",
"カーネル法では、 $|0\\rangle$ をできるだけ正確に測定する必要がある。 $p$ しかし、ゲート・エラーと読み出しエラーは、ある量子ビットが誤って $|1\\rangle$。 $|0\\rangle$ の確率は $100\\%$ であるべきだ、と単純化しすぎたとしても、例えば $N$ ビットにエンコードされた多くの特徴では、すべてのビットが $|0\\rangle$ であることを正しく測定できる確率は $(1-p)^N$ にまで低下する。 $N$ が大きくなると、この方法はますます信頼できなくなる。 この困難を克服し、カーネル推定をより多くの特徴に拡張することが、現在の研究分野である。 この問題の詳細については、 [Thanasilp、Wang、Cerezo、Holmes によるこの研究を参照してください。](https://www.nature.com/articles/s41467-024-49287-w) 現在の量子コンピューターで何ができるかを探求し、エラー訂正の時代に何が可能になるかを期待することをお勧めする。\n",
"\n"
]
},
{
"cell_type": "markdown",
"id": "556eb119-2b22-4bd9-b82e-c3a6ea31cfa1",
"metadata": {},
"source": [
"\n",
"\n",
"### レビュー\n",
"\n",
"量子カーネルの計算には\n",
"\n",
"* 学習データのペアを使用して、カーネル行列のエントリを計算する\n",
"* データをエンコードし、フィーチャーマッピングでマッピングする\n",
"* 実際の量子コンピュータ／バックエンドで動作するように回路を最適化する\n",
"\n",
"量子カーネルは、このレッスンのように、古典的な機械学習アルゴリズムで使うことができる。\n",
"\n",
"量子カーネルを使用する際の留意点には、以下のようなものがある：\n",
"\n",
"* データセットに量子カーネル法は有効か？\n",
"* さまざまなフィーチャーマップやエンタングルメントスキームを試してみてください。\n",
"* 回路の深さは問題ないか？\n",
"* パスマネージャーを何度も走らせ、できるだけ奥行きの小さいサーキットを使ってみる。\n",
"\n",
"量子カーネル法は、量子化可能な特徴を持つデータセットと適切な量子特徴マップが適切にマッチすれば、強力なツールとなる可能性がある。 量子カーネルがどのような場面で役立つかをよりよく理解するには、 [Liu, Arunachalam & Temme (2021)を](https://www.nature.com/articles/s41567-021-01287-z)読むことをお勧めする。\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": 4
}