量子概念ライブラリ

基底状態とは、互いに直交し規格化された基準状態の集合の一つであり、他のすべての量子状態はそれらの重ね合わせとして構成できます。

ブロッホ球は、単一量子ビットの純粋状態空間の幾何学的表現であり、すべての可能な量子ビット状態を単位球の表面上の点にマッピングします。

ボルンの規則は、特定の測定結果を得る確率が対応する確率振幅の絶対値の二乗であることを述べています：P(i) = |⟨i|ψ⟩|²。

収縮（コラプス）とは、測定時に量子状態が急激に更新されることです：重ね合わせが消え、観測された結果に対応する一つの基底状態に置き換わります。

ブラケット記法は量子状態のための標準的な数学的記法で、|ψ⟩（ケット）は列ベクトルを、⟨ψ|（ブラ）はその共役転置行ベクトルを表します。

アダマールゲート（H）は、等しい重ね合わせを作る単一量子ビットゲートで、|0⟩を(|0⟩+|1⟩)/√2に、|1⟩を(|0⟩−|1⟩)/√2にマッピングします。

量子干渉とは、確率振幅が波のように重なり合い、強め合ったり打ち消し合ったりする現象であり、量子アルゴリズムが誤答を抑制し正答を増幅するために用いる中心的なメカニズムです。

パウリXゲートは古典的NOTゲートの量子版で、|0⟩を|1⟩に、|1⟩を|0⟩に反転し、ブロッホ球のx軸周りの180度回転に対応します。

パウリYゲートはブロッホ球のy軸周りの180度回転を行い、|0⟩をi|1⟩に、|1⟩を-i|0⟩にマッピングします。

パウリZゲートは|0⟩を変えずに|1⟩を-|1⟩にマッピングする位相フリップゲートで、ブロッホ球のz軸周りの180度回転に対応します。

量子測定は量子システムから古典的情報を抽出するプロセスであり、量子状態を不可逆的に測定基底状態の一つに崩壊させます。

量子ビット（キュービット）は、古典的な状態0と1の重ね合わせ状態に存在できる量子情報の基本単位です。

重ね合わせとは、量子システムが測定されるまで複数の状態に同時に存在することを可能にする量子力学の原理です。

ベル状態は2量子ビットヒルベルト空間の正規直交基底を形成する4つの最大エンタングル状態で、量子情報プロトコルの基本資源です。

CNOT（制御NOT）ゲートは、制御量子ビットが|1⟩のときにのみターゲット量子ビットを反転する2量子ビットゲートで、量子コンピューティングの基本的なエンタングルメントゲートです。

制御Z(CZ)ゲートは|11⟩状態に位相反転を適用します。対称的です。

デコヒーレンスは、量子システムが環境との相互作用を通じて量子コヒーレンスを失い、重ね合わせが古典的な統計的混合に崩壊するプロセスです。

複製不可能定理は、任意の未知の量子状態の同一コピーを作ることが不可能であることを示す、量子力学の線形性から生じる根本的な制約です。

Sゲート（位相ゲート）は|1⟩に90度の位相回転を適用し、|1⟩をi|1⟩にマッピングし|0⟩は変更しません。Zゲートの平方根です。

確率振幅とは、量子重ね合わせにおいて各基底状態に付与される複素数です。その大きさの二乗がその結果を測定する確率となり、その位相が干渉を可能にします。

量子エンタングルメントは、システムの量子状態が個々の粒子状態の積として記述できない量子粒子間の相関で、距離に関係なく持続する非古典的相関を生み出します。

量子テレポーテーションは、共有されたエンタングルメントと古典通信を使用して、量子ビットを物理的に送信することなく未知の量子状態を一つの量子ビットから別の量子ビットに転送するプロトコルです。

Rxゲートはブロッホ球のx軸周りに角度θの回転を行う連続的な単一量子ビット回転ゲートです。

Ryゲートはブロッホ球のy軸周りに角度θの回転を行い、基底状態から実数値の重ね合わせを生成します。

Rzゲートはブロッホ球のz軸周りに角度θの回転を行い、|0⟩と|1⟩間の相対位相を適用します。

分光法は、物質が特定の量子化された周波数の光だけを吸収・放出する現象を研究する学問であり、数百光年先の原子を識別する指紋であると同時に、実験室で量子ビットの動作周波数を見つける方法でもあります。

SWAPゲートは2つの量子ビットの状態を交換し、3つの連続したCNOTゲートで実装されます。

Tゲートは|1⟩にπ/4の位相回転を適用し、Sゲートの平方根で、普遍的量子計算に不可欠です。

量子コンピューティングのスタックは、アルゴリズム → 回路 → パルス → ハードウェアという4層の抽象化構造であり、各層は上の層の命令を自分の言語に翻訳します。

すべての量子ゲートはU†U = Iを満たすユニタリ変換でなければなりません。

キャリブレーションは各量子ビットの制御パルスを調律する、連続的かつ逐次的な実験のスタックです。そのデータは、どの量子ビットにどのゲートが存在するかを定義するQPUの「真実の源」です。

密度行列（密度演算子）ρは、純粋状態と状態の統計的混合の両方を記述できる量子状態の数学的表現です。

ドイチュ-ジョザアルゴリズムはブーリアン関数が定数か均衡かを1回のクエリで決定し、古典的決定論的アルゴリズムに対して指数的高速化を提供します。

フレドキンゲートは制御ビットが|1⟩のときのみ2つのターゲットを交換します。

ゲート忠実度とは、ハードウェアが実行した物理的操作が、実装しようとする理想的な論理ゲートと一致する確率です。

GHZ状態は(|000...0⟩+|111...1⟩)/√2の形の最大エンタングル多量子ビット状態です。

グローバーのアルゴリズムは非構造化探索に二次高速化を提供し、N項目からO(√N)クエリで検索します。

ハイブリッド量子古典計算は、量子プロセッサと古典計算を一つのワークフローに結合する方式で、リモート・隣接・密結合の3種類の統合があり、コヒーレンス時間内で行われる密結合（タイト）統合が究極の目標です。

論理量子ビットとは、エラーの多い多数の物理量子ビットに符号化された、保護された1つの量子ビットです。2024年12月、GoogleのWillowチップが「符号を大きくするほど論理量子ビットが良くなる」ことを初めて示しました — 初の閾値以下（below-threshold）表面符号です。

マイクロ波パルスは、超伝導量子ビット上で量子ゲートを実装する物理的な波形です — ナノ秒スケールで整形された電磁波の一打であり、5つのパラメータで定義され、最終的にはIとQのサンプル配列2本として保存されます。

中間測定（mid-circuit measurement）は回路の実行中に量子ビットを読み出し、古典制御ゲートと動的回路を可能にします — 量子コンピューティングの本物のif文です。

ML-KEM（旧CRYSTALS-Kyber）はMLWE問題に基づくNIST標準ポスト量子鍵カプセル化メカニズムです。

ネイティブゲートとは、量子チップが直接実行できるゲートの集合です — チップの固定的な物性ではなく今日のキャリブレーション（校正）によって定義され、回路からこの集合へはトランスパイルを通じてのみ到達できます。

オラクルとは、ユニタリとして実装されたブラックボックスのサブルーチンであり、量子アルゴリズムが関数f(x)を — 重ね合わせの入力に対しても — 評価できるようにするもので、その内部の仕組みは未知として扱われます。

位相キックバックとは、固有状態にあるターゲットに制御演算を適用すると、ターゲットは変化せず、代わりに固有値の位相が制御レジスタに刻み込まれる効果です。

ポスト量子移行とは、世界中の暗号を量子耐性アルゴリズムへ移す取り組みです：NISTは2024年8月にFIPS 203/204/205を最終化し、米国大統領令14412（2026年6月）は連邦の期限を定めました — 機密システムのPQC暗号化は2030年末まで。

OpenQASMは人間が読める量子回路の「アセンブリ言語」であり、QIRは量子と古典のロジックを一緒に運ぶLLVMベースの中間表現です — 2026年現在、量子ソフトウェアスタックの2つの収束標準です。

QAOAは組合せ最適化のためのハイブリッド量子古典アルゴリズムです。コスト層とミキサー層を交互に適用し、古典オプティマイザがパラメータを調整します。

量子フーリエ変換（QFT）は離散フーリエ変換の量子アナログで、O(n²)ゲートで計算基底を周波数基底に変換します。

量子ボリューム（QV）は量子コンピュータが正常に実行できる最大のランダム正方回路を測定するハードウェア非依存のベンチマーク指標です。

量子ウォークは古典ランダムウォークの量子版です。歩行者は位置の重ね合わせで動き、経路間の干渉により古典（距離 ~ sqrt(t)）より二次的に速く（距離 ~ t）広がります。

量子ビットルーティングとは、回路の論理量子ビットを接続の限られたチップ上にマッピングし、隣接しない量子ビット間で状態を移すためにSWAPゲートを挿入しつつ、時間とエラーのコストを最小化する作業です。

ラビ振動とは、共鳴駆動のもとで量子ビットの占有率が|0⟩と|1⟩の間を正弦波状に行き来する現象です: P₁(t) = sin²(Ωt/2)。最初のピークがπパルス — 校正されたNOT（X）ゲート — を定義します。

T1（エネルギー緩和時間）とT2（位相コヒーレンス時間）は、量子ビットがどれだけ長く生き残るかを決める2つの時定数です。T1は|1⟩が|0⟩へ崩壊する速さを、T2は重ね合わせが位相を保つ時間を測ります。

テンソル積は個々の量子系の状態空間を合成系の状態空間に結合します。2量子ビットは|00>,|01>,|10>,|11>が張る4次元空間、n量子ビットは2^n次元空間に住みます。

トフォリゲート（CCNOT）は、両方の制御量子ビットが|1⟩のときにのみターゲットを反転する3量子ビットゲートです。

トランズモンは超伝導量子ビットです — ジョセフソン接合により弱非調和で電荷ノイズに鈍感な多準位系となった、リソグラフィで作製される人工原子です。

トランスパイルは量子回路をチップが実際にサポートするネイティブゲート集合へ書き換える処理であり、ルーティングは限られた接続性の下で論理量子ビットを物理量子ビットに割り当て、直接接続のない箇所にSWAPゲートを挿入する処理です。

VQEはパラメータ化量子回路を最適化してハミルトニアンの基底状態エネルギーを見つけるハイブリッド量子古典アルゴリズムです。

非調和性とは、振動子のエネルギー準位間隔が均等からずれている度合いです。トランズモンでは α = ω12 − ω01 < 0 が、量子ビット遷移を上位準位から区別する唯一のスペクトル的な手がかりです。

ボーア／ハイゼンベルクの系譜に連なるコペンハーゲン解釈は、測定を理論の原始概念とします。波動関数はボルンの規則で確率を与え、測定で一つの確定した結果が記録されます。標準的な量子実験で同一の予測をする複数の有力な解釈の一つです。

クロストークとは、ある量子ビットに向けた制御信号が別の量子ビットに望まない変化を引き起こす現象です — 誰も頼んでいない操作。

DRAG（Derivative Removal by Adiabatic Gate）は、主包絡線の時間微分を直交するQ成分として同時に送ることで、トランズモンのような弱非調和量子ビットにおける漏れ状態|2⟩への望まない遷移を打ち消すパルス整形技術です。

高速（リアルタイム）フィードバックは、測定→判断→動作のループを量子ビットのコヒーレンス時間内に完了させることであり、それを可能にする決定論的なナノ秒級の古典ロジックをFPGAが提供します。

リーケージとは、量子状態が計算部分空間 {|0⟩, |1⟩} の外の上位準位（|2⟩など）へ漏れ出すことです — スペクトルの広がった短いパルスがω12遷移と重なることで支払う代償です。

リンドブラッド・マスター方程式は開放量子系の運動方程式です。シュレーディンガー動力学に散逸項を加えて拡張し、崩壊演算子L_kが各ノイズチャネル（T1緩和、位相緩和、リーク減衰）を担います。

マジック状態は、普遍的な耐障害計算を可能にする特別なリソース状態です：ほとんどの誤り訂正符号はクリフォードゲートを安全に実行できますが、Tゲートを直接実行できないため、準備したマジック状態をテレポーテーションで「注入」してTゲートを実現します。

エヴェレットの1957年の相対状態定式化に始まる多世界解釈は、宇宙全体の波動関数が常にユニタリーに進化し、収縮は存在しないとします。一つの測定結果に見えるものは、もつれた重ね合わせの一つの分岐です。標準的な量子実験で同一の予測をする複数の有力解釈の一つです。

パルス最適化は、ゲートの不忠実度 C = 1 − F に対する勾配降下法によって制御波形を数値的に彫刻することです — GRAPEの解析的勾配（2005）から、勾配がノイズそのものを貫いて流れる現代の微分可能な開放系オプティマイザまで。

量子低密度パリティ検査（qLDPC）符号は、表面符号よりはるかに少ない物理量子ビットで多くの論理量子ビットを保護します：IBMの二変数バイシクル「グロス符号」[[144,12,12]]は288個の物理量子ビットに12個の論理量子ビットを格納し — 約10分の1の量子ビット数で表面符号と同等の性能を出します。

量子誤り訂正（QEC）は論理量子ビットを複数の物理量子ビットのエンタングル状態にエンコードし、デコヒーレンスとエラーから量子情報を保護します。

量子位相推定（QPE）はユニタリ演算子の固有値位相を推定します。U|u> = e^(2*pi*i*phi)|u>のとき、制御Uと逆量子フーリエ変換でphiを抽出します。

ランダム化ベンチマーキング（RB）は、量子ビットを|0⟩に戻すはずの、次第に長くなるランダムなゲート系列を実行し、生存確率の指数減衰をフィットすることで平均ゲート忠実度を測定します。

ショアのアルゴリズムは大きな整数を多項式時間O((log N)³)で因数分解し、RSA暗号を脅かします。

ソルバー相互検証とは、数値シミュレータを、手法もコードベースも異なる独立実装と突き合わせて検証することです — 実装エラーは自己整合的で、単一のコードベースの内側からは見えないからです。

トポロジカル量子ビットは、エキゾチックな準粒子（エニオン）のトポロジカルな性質に情報を非局所的に蓄える提案段階の量子ビットで、ハードウェア組み込みのエラー保護を約束します — しかし2026年7月現在、動作するトポロジカル量子ビットの査読済み実証は存在しません。

トロッター化は、可換でない生成子の和 A + B による連続的な時間発展を、A と B を交互に微小ステップで適用することで近似します。時間刻み Δt が小さくなるほど、誤差は予測どおりに減少します。