最初に結論だけ
Echo とは、ざっくり言うと、欲しくない Hamiltonian 項の符号を途中で反転させ、前半で溜まった効果と後半で溜まった効果を足してゼロにする方法である。 欲しい項については、符号が反転しないように pulse や drive 符号を組み合わせる。
重要なのは、echo は「何でも消す魔法」ではないという点である。ある echo が消すのは、その echo 操作で符号が反転する項だけである。 したがって、echo 設計の第一歩は、各 Pauli 項が各区間で + になるか − になるかを表にすることである。
実用上の中心主張は、次の形にすべきである。
\[ \boxed{ \text{Echo を増やして長いゲートを作るのではなく、固定された実行時間内で不要な Pauli 項を平均化する。} } \]目次
0. なぜこの説明が必要か
前の草稿では、「Pauli 文字」「toggling frame」「Magnus 展開」「latency-constrained」という言葉を使った。 これらは論文を書くには便利だが、最初から読むと、何が物理的に起きているのか見えにくい。
そこで、このノートでは、まず echo を次のような非常に単純な絵として見る。
1. 欲しくない回転がある
例えば、本当は \(X\) 回転だけをしたいのに、余計な \(Z\) 回転も同時に起きる。
2. 途中で符号を反転する
適切な pulse を入れると、余計な \(Z\) 項だけが \(+Z\) から \(-Z\) に変わる。
3. 足すとゼロになる
前半の \(+Z\) と後半の \(-Z\) が打ち消し合う。欲しい \(X\) は符号を変えなければ残る。
1. qubit と Pauli 行列
1.1 qubit は 2 つの状態を使う
qubit は、\(|0\rangle\) と \(|1\rangle\) という 2 つの基底状態の重ね合わせで表す。
\[ |\psi\rangle = \alpha |0\rangle + \beta |1\rangle, \qquad |\alpha|^2+|\beta|^2=1. \]超伝導 transmon qubit では、物理的には完全な 2 準位系ではなく、多準位の弱非調和振動子の低い 2 準位を qubit として使う。 そのため、強すぎる・短すぎる pulse では qubit 空間の外へ漏れる leakage が問題になる。
1.2 Pauli 行列は「回転軸」
1 qubit の基本的な演算子は、次の Pauli 行列である。
\[ X=\begin{pmatrix}0&1\\1&0\end{pmatrix},\qquad Y=\begin{pmatrix}0&-i\\i&0\end{pmatrix},\qquad Z=\begin{pmatrix}1&0\\0&-1\end{pmatrix}. \]直観的には、\(X\), \(Y\), \(Z\) は Bloch 球上の 3 つの回転軸である。 例えば \(X\) 軸まわりに角度 \(\theta\) だけ回す gate は
\[ R_X(\theta)=\exp\left(-i\frac{\theta}{2}X\right) \]と書ける。
ここで大事なこと：Hamiltonian に \(X\) が入っていれば \(X\) 軸回転、\(Z\) が入っていれば \(Z\) 軸回転が起きる。Echo は、これらの回転のうち不要なものを平均で消す技術である。
2. Hamiltonian を「回転速度」として見る
量子状態は Hamiltonian \(H\) によって時間発展する。
\[ U(T)=\exp(-iHT). \]1 qubit の Hamiltonian は、典型的には
\[ H=\frac12\left(\Omega_X X+\Omega_Y Y+\Delta Z\right) \]のように書ける。ここで \(\Omega_X\), \(\Omega_Y\), \(\Delta\) は、それぞれ \(X\), \(Y\), \(Z\) 方向の回転速度である。
例：欲しいものと邪魔なもの
例えば本当は \(X\) 回転をしたいので、理想は
\[ H_{\rm ideal}=\frac12\Omega_X X \]である。しかし実際には detuning や周波数ずれのために
\[ H_{\rm real}=\frac12\Omega_X X+\frac12\Delta Z \]になっているかもしれない。この \(\Delta Z\) が coherent error である。
このとき echo の目的は、\(X\) 回転を残しながら \(Z\) 回転を消すことである。
3. 2 qubit の Pauli 項とは何か
2 qubit では、control qubit と target qubit のそれぞれに Pauli 行列が乗る。 例えば
\[ ZX = Z_c\otimes X_t \]である。左の文字が control qubit、右の文字が target qubit を表す。 \(I\) は「その qubit には何もしない」という単位行列である。
| 項 | 読み方 | 物理的な意味 | 望ましいか |
|---|---|---|---|
| \(ZX\) | control に \(Z\)、target に \(X\) | control の状態に依存して target を \(X\) 回転させる。エンタングルを作る。 | CR では主役 |
| \(IX\) | target の \(X\) 回転 | control に依存しない target 単独回転。 | 多くの場合は余分 |
| \(IY\) | target の \(Y\) 回転 | drive phase や crosstalk で出る target 単独回転。 | 多くの場合は余分 |
| \(ZI\) | control の \(Z\) 回転 | control qubit の phase shift / Stark shift。 | 補正可能なこともあるが余分 |
| \(IZ\) | target の \(Z\) 回転 | target qubit の phase shift。 | 補正可能なこともあるが余分 |
| \(ZZ\) | 条件付き \(Z\) 位相 | 片方の状態により他方の周波数がずれる conditional phase。 | 文脈により余分 |
| \(ZY\) | 条件付き target \(Y\) 回転 | \(ZX\) に直交する条件付き回転。 | CR では余分 |
2 qubit Hamiltonian は、これらの項の足し合わせとして
\[ H=\frac12\sum_P c_P P \]と書く。\(c_P\) は Pauli 項 \(P\) の強さ、つまり回転速度である。
4. 一番基本の echo
4.1 まず 1 qubit で見る
次の Hamiltonian を考える。
\[ H=\frac12\Omega X+\frac12\Delta Z. \]\(X\) は欲しい回転、\(Z\) は周波数ずれによる邪魔な回転だとする。
ここで、時間の真ん中で \(X_\pi\) pulse を入れる。 数式上は、後半の Hamiltonian を \(XHX\) と見ればよい。
\[ XHX =\frac12\Omega (XXX)+\frac12\Delta (XZX). \]Pauli 行列には
\[ XXX=X,\qquad XZX=-Z \]という関係があるので、後半は
\[ XHX=\frac12\Omega X-\frac12\Delta Z. \]したがって、前半と後半の平均は
\[ \frac12H+\frac12XHX =\frac12\Omega X. \]\(Z\) が消えて、\(X\) は残る。
Echo の最小原理：ある pulse \(G\) で \(GPG^\dagger=-P\) になる Pauli 項 \(P\) は、前半と後半を等時間にすれば 0 次平均で消える。一方、\(GPG^\dagger=P\) の項は残る。
4.2 図で見る
5. 符号表：echo で消える項を判定する道具
5.1 1 qubit の符号表
Pulse による共役変換を調べる。例えば \(X\) pulse を使うなら、各項は \(XPX\) に変わる。
| echo pulse | 符号が変わらない項 | 符号が反転する項 |
|---|---|---|
| \(X\) | \(I, X\) | \(Y, Z\) |
| \(Y\) | \(I, Y\) | \(X, Z\) |
| \(Z\) | \(I, Z\) | \(X, Y\) |
5.2 2 qubit では符号が掛け算になる
2 qubit 項 \(AB=A_c\otimes B_t\) に対して、control 側と target 側の符号を掛ける。 例えば \(X_c\) を入れると、control 側の \(Z\) は反転するが、target 側は触らない。
\[ X_c(ZX)X_c=-ZX, \qquad X_c(IX)X_c=IX. \]したがって、\(X_c\) echo は \(ZX\) を反転するが、\(IX\) は反転しない。
| 項 \(P\) | \(\chi_c(P)\) | \(\chi_t(P)\) | 解釈 |
|---|---|---|---|
| \(ZX\) | − | + | control echo で反転、target echo では不変 |
| \(IX\) | + | + | どちらの \(X\) echo でも不変 |
| \(IY\) | + | − | target echo で反転 |
| \(ZI\) | − | + | control echo で反転 |
| \(IZ\) | + | − | target echo で反転 |
| \(ZZ\) | − | − | 片側 echo では反転、両側 echo では不変 |
| \(ZY\) | − | − | 片側 echo では反転、両側 echo では不変 |
符号計算器
Pauli 項と echo pulse を選ぶと、共役変換で符号が \(+\) か \(-\) かを計算する。
6. 平均 Hamiltonian の定理
Echo sequence は、時間をいくつかの区間に分ける操作だと考える。 第 \(k\) 区間の長さを \(\tau_k\)、その区間の toggling 操作を \(g_k\) とする。
\[ T=\sum_k \tau_k. \]元の Hamiltonian を
\[ H=\frac12\sum_P c_P P \]と書く。第 \(k\) 区間では、Pauli 項 \(P\) は
\[ g_k^\dagger P g_k = \chi_P(g_k)P, \qquad \chi_P(g_k)\in\{+1,-1\} \]と符号を変える。したがって 0 次の平均 Hamiltonian は
\[ \overline H^{(0)} =\frac{1}{T}\sum_k \tau_k g_k^\dagger H g_k =\frac12\sum_P \overline c_P P, \] \[ \boxed{ \overline c_P =\frac1T\sum_k \tau_k c_{P,k}\chi_P(g_k) } \]Echo で消える条件
項 \(P\) が 0 次平均で消える条件は
\[ \boxed{\sum_k \tau_k c_{P,k}\chi_P(g_k)=0.} \]係数 \(c_{P,k}\) が各区間で同じなら、単に符号 \(\chi_P(g_k)\) の重み付き平均がゼロになればよい。
この式が、echo 設計の中心である。 どの項を消せるかは、物理の難しい議論以前に、まずこの符号表でかなり判定できる。
7. Cross-Resonance ゲートの基本
7.1 CR ゲートの直観
Cross-Resonance, 略して CR, は固定周波数 transmon でよく使われる 2 qubit ゲートである。 基本アイデアは、control qubit に target qubit の周波数で microwave drive をかけることである。
2 つの qubit は弱く結合しているため、control を target 周波数で drive すると、target 側に「control の状態に依存した回転」が現れる。 これが \(ZX\) 項である。
7.2 有効 Hamiltonian
CR ゲートの低エネルギー qubit 空間だけを見ると、Hamiltonian は Pauli 展開で
\[ H_{\rm CR} =\frac12\left( c_{ZX}ZX +c_{IX}IX +c_{IY}IY +c_{ZI}ZI +c_{IZ}IZ +c_{ZZ}ZZ +c_{ZY}ZY +\cdots \right) \]のように書ける。 目的は \(ZX\) を使って entangling gate を作ることだが、実際には \(IX\), \(IY\), \(ZI\), \(IZ\), \(ZZ\), \(ZY\) などの余分な項が出る。
文献上の背景：Magesan と Gambetta の CR 有効 Hamiltonian 解析では、理想 qubit 模型と高次準位を含む transmon 模型の両方で CR を解析している。理想化した場合には主に Stark shift と \(ZX\) が現れるが、現実的な transmon 模型では高次準位により追加の Pauli 係数が生じ、さらに classical crosstalk を入れると実験で見える \(IY\) 項の説明につながる。
7.3 Echo が必要になる理由
CR ゲートで欲しいのは、ざっくり言えば
\[ H_{\rm desired}=\frac12c_{ZX}ZX \]である。しかし実際には
\[ H_{\rm real}=H_{\rm desired}+H_{\rm error} \]であり、\(H_{\rm error}\) に不要な Pauli 項が入る。Echo はこの \(H_{\rm error}\) の一部を構造的に消す方法である。
8. 標準 echoed CR を分解する
8.1 標準 ECR の形
標準的な echoed CR, ECR, は概念的には次のように書ける。
\[ {\rm CR}(+\Omega,T/2) \;X_c\; {\rm CR}(-\Omega,T/2) \;X_c. \]ここで \(+\Omega\) と \(-\Omega\) は CR drive の符号を反転することを表す。 microwave の位相を \(\pi\) ずらす、と考えてもよい。
8.2 なぜ drive 符号反転と \(X_c\) を両方使うのか
Desired term \(ZX\) は、CR drive の符号を変えると符号が変わる。つまり drive に対して奇関数的に振る舞う。 これだけなら、前半の \(ZX\) と後半の \(-ZX\) が打ち消され、欲しい相互作用まで消えてしまう。
そこで同時に \(X_c\) echo を入れる。\(X_c\) は \(ZX\) の \(Z_c\) を反転するので、もう一度符号が変わる。
\[ \text{drive 符号反転： } ZX\to -ZX, \qquad X_c \text{ 共役： } ZX\to -ZX. \]符号反転が 2 回起きるので、結果として \(ZX\) は残る。
8.3 1 行の判定式
drive 符号を反転したとき、項 \(P\) の符号が
\[ c_P(-\Omega)=p_P c_P(+\Omega),\qquad p_P\in\{+1,-1\} \]で変わるとする。\(p_P=-1\) は drive に対して奇、\(p_P=+1\) は drive に対して偶である。
ECR 後の平均係数は
\[ \boxed{ \overline c_P =\frac12c_P(+\Omega)\left[1+p_P\chi_P(X_c)\right]. } \]したがって、
- \(p_P\chi_P(X_c)=+1\) なら残る。
- \(p_P\chi_P(X_c)=-1\) なら消える。
| 項 | drive parity \(p_P\) | \(X_c\) 符号 \(\chi_P\) | 積 | 結果 |
|---|---|---|---|---|
| \(ZX\) | − | − | + | 残る：desired entangling term |
| \(IX\) | − | + | − | 消える：target 単独 drive 成分 |
| \(IY\) | − | + | − | 消える：crosstalk 由来成分の候補 |
| \(ZI\) | + | − | − | 消える：control 側 phase |
| \(ZZ\) | + | − | − | 消える：静的 conditional phase の候補 |
| \(IZ\) | + | + | + | 残りやすい |
| \(ZY\) | − | − | + | 残りやすい |
大事な注意：標準 ECR は強力だが、万能ではない。符号表から見ると、代表的な仮定では \(IZ\) と \(ZY\) は残りやすい。したがって「ECR で全部消える」と書くのは危険である。
9. 提案する echo の考え方
9.1 研究の主張をこう変える
単に「echo を増やして精度を上げる」という主張は弱い。 なぜなら、実行時間が長くなると \(T_1\), \(T_\phi\), leakage, pulse edge error が増えるからである。
したがって、本当に主張すべきことは次である。
つまり、echo sequence を「長い composite gate」としてではなく、時間制約つきの符号設計問題として定式化する。
9.2 提案 A：測定に基づく最小 echo 選択
まず実験で Pauli 係数を測る。
\[ \{c_{IX},c_{IY},c_{ZI},c_{IZ},c_{ZZ},c_{ZY},\ldots\} \]その後、支配的な残留項だけを消す最小の echo を選ぶ。 例えば標準 ECR 後に \(IZ\), \(ZY\), \(ZZ\) が支配的なら、target 側 echo が候補になる。
| 残留して困る項 | 候補 echo | 理由 | 注意 |
|---|---|---|---|
| \(IX,IY\) | drive phase/sign echo, cancellation tone | target 単独 drive 成分は drive phase に敏感 | phase calibration が必要 |
| \(ZI,ZZ\) | control echo | \(X_c\) で \(Z_c\) が反転する | \(ZX\) も反転するので drive 符号と組み合わせる |
| \(IZ,ZY,ZZ\) | target echo | \(X_t\) で target 側の \(Y,Z\) が反転する | \(IX\) は消えない |
| 複数項が全部大きい | 4-segment character-balanced echo | 符号を完全に均等化できる | pulse overhead が大きい可能性 |
9.3 提案 B：target echo
Target 側に \(X_t\) echo を入れると、\(ZX\) は残る。
\[ X_t(ZX)X_t=ZX. \]一方で、target 側に \(Y\) や \(Z\) を含む項は反転する。
\[ X_t(IZ)X_t=-IZ, \qquad X_t(ZY)X_t=-ZY, \qquad X_t(ZZ)X_t=-ZZ. \]したがって、target echo は
\[ \boxed{ZX\text{ を保ちながら }IZ,ZY,ZZ\text{ を消す候補}} \]になる。ただし、\(IX\) は \(X_t\) と可換なので消えない。
9.4 提案 C：4-segment character-balanced echo
数学的に一番きれいな候補は、4 区間で toggling frame を均等に使う方法である。 区間を等時間 \(T/4\) とし、次のように選ぶ。
| 区間 | toggling 操作 \(g_k\) | CR drive 符号 \(s_k\) | 直観 |
|---|---|---|---|
| 1 | \(I\) | + | 基準区間 |
| 2 | \(X_c\) | − | control 側を反転し、drive も反転 |
| 3 | \(X_t\) | + | target 側だけ反転 |
| 4 | \(X_cX_t\) | − | 両側反転し、drive も反転 |
代表的な parity 仮定
\[ ZX,IX,IY,ZY:\ p=-1, \qquad ZI,IZ,ZZ:\ p=+1 \]の下では、各項の符号列は次のようになる。
| 項 | 区間1 | 区間2 | 区間3 | 区間4 | 結果 |
|---|---|---|---|---|---|
| \(ZX\) | + | + | + | + | 残る |
| \(IX\) | + | − | + | − | 消える |
| \(IY\) | + | − | − | + | 消える |
| \(ZI\) | + | − | + | − | 消える |
| \(IZ\) | + | + | − | − | 消える |
| \(ZZ\) | + | − | − | + | 消える |
| \(ZY\) | + | + | − | − | 消える |
実用上の注意：この 4-segment 案は「理論上のきれいな基準点」として強い。ただし物理的な \(X_\pi\) pulse が増えるなら、実行時間と pulse error が増える。したがって本命は、これをそのまま常に使うことではなく、同じ wall-clock 予算内でどの部分列が最も得かを選ぶことである。
9.5 一般化：線形代数としての echo 合成
候補区間 \(k\) ごとに、項 \(P\) の符号を
\[ M_{Pk}=p_P(s_k)\chi_P(g_k) \]とする。消したい項集合を \(E\)、残したい項集合を \(D\) とすると、区間長 \(\tau_k\) は
\[ \sum_k M_{Pk}\tau_k=0,\qquad P\in E, \] \[ \sum_k M_{Qk}\tau_k=T\alpha_Q,\qquad Q\in D, \] \[ \tau_k\ge0 \]を満たすように選べばよい。これは echo 設計を線形制約問題にする。
10. 実行時間が長くなる問題
ユーザーの指摘通り、どれだけ coherent error が減っても、実行時間が長くなりすぎるなら使えない。 超伝導 qubit では gate が長いほど decoherence を受ける。
実用評価の原則：Echo は、追加時間・追加 pulse error・leakage を含めても総合誤差が減るときだけ価値がある。
10.1 wall-clock 時間を明示する
実際の実行時間を
\[ \boxed{ T_{\rm wall} =\sum_k\tau_k+N_\pi T_\pi+N_{\rm edge}T_{\rm edge} } \]と書く。ここで
- \(\sum_k\tau_k\)：CR interaction の総時間
- \(N_\pi T_\pi\)：物理的な \(\pi\) pulse の時間
- \(N_{\rm edge}T_{\rm edge}\)：波形の立ち上がり・立ち下がりや buffer の時間
である。
10.2 「同じ総時間で分割する」なら強い
4-segment echo は、理想的には
\[ T=\tau_1+\tau_2+\tau_3+\tau_4 \]と同じ総 interaction time を 4 つに分割するだけである。 Desired term \(ZX\) の符号が全区間で同じなら
\[ \theta_{ZX}=\frac12 c_{ZX}T \]は保てる。つまり、理想化された数式上は「4 倍長いゲート」ではない。
ただし、物理的 \(X_\pi\) pulse や extra edge が必要なら、それは本当に追加時間になる。 だから論文では、必ず \(T_{\rm wall}\) をそろえて比較する。
10.3 採用条件を式で書く
Pauli error \(P\) の小さな角度を
\[ \delta_P=\frac12\int_0^T c_P(t)\,dt \]とする。2 qubit, つまり次元 \(d=4\) の小さな coherent Pauli error では、平均 infidelity は概ね
\[ r_P\simeq \frac45\delta_P^2 \]と見積もれる。Echo 後に \(\delta_P\to\eta_P\delta_P\) まで下がるなら、coherent error の改善量は
\[ \Delta r_{\rm coh} \simeq \frac45\sum_{P\in E}(1-\eta_P^2)\delta_P^2. \]一方、追加時間や追加 pulse による悪化をまとめて
\[ r_{\rm overhead} =r_{\rm decoh}+r_\pi+r_{\rm edge}+r_{\rm leakage} \]と書くと、echo を使うべき条件は
\[ \boxed{ \Delta r_{\rm coh}>r_{\rm overhead}. } \]論文での評価軸：最高 fidelity だけでなく、\(T_{\rm wall}\) をそろえた fidelity、または「追加 ns あたりの error reduction」を評価する。
11. 0 次で消えても高次で戻る項
ここまでの議論は 0 次平均 Hamiltonian である。 しかし、異なる区間の Hamiltonian が互いに可換でないと、Magnus 展開の次の項が残る。
\[ \overline H^{(1)} =- rac{i}{2T} \sum_{lしたがって、\(IY\) を 0 次で消しても、\(ZX\) と \(IY\) の非可換性から高次で \(ZZ\) が再生成されることがある。
重要：「符号表で消える」は「0 次平均で消える」という意味である。実際の高 fidelity gate では、高次項、有限 pulse 幅、波形歪み、leakage を別途評価する必要がある。
11.1 高次項を抑える方法
- 時間対称 sequence：前から読んでも後ろから読んでも同じような palindromic sequence にすると、特定次数の Magnus 項が抑えられる。
- smooth pulse：急な edge を減らすと leakage や高次準位励起が減る。
- DRAG / optimal control：echo だけでなく、波形そのものを設計して leakage や detuning error を抑える。
- 実機閉ループ tuning：モデルにない crosstalk や drift は、測定を使って補正する。
12. 実験・数値検証の流れ
論文にするなら、「数式できれいに消える」だけでは不十分である。 実機または realistic simulation で、同じ wall-clock 時間にそろえて比較する必要がある。
CR drive amplitude, phase, detuning を変えながら \(c_P\) を測る。特に \(IX,IY,ZI,IZ,ZZ,ZY\) を推定する。
\(+\Omega\) と \(-\Omega\) で各 \(c_P\) がどう変わるかを測り、\(p_P\) を決める。
支配的な残留項だけを消す低オーバーヘッド sequence を先に試す。4-segment は基準設計として比較する。
\(T_{\rm wall}\) を ECR と同じ、または指定予算以下に固定し、\(\tau_k\), drive phase, cancellation tone を調整する。
2 準位近似ではなく高次準位を含め、leakage と高次項を評価する。
残留 Pauli 係数、interleaved randomized benchmarking、cycle benchmarking、leakage 測定で比較する。
12.1 比較対象
| 比較対象 | 役割 | 見るべき指標 |
|---|---|---|
| Unechoed CR | echo なしの基準 | 残留 \(IX,IY,ZI,ZZ\) がどれだけ大きいか |
| Standard ECR | 現実的な標準手法 | \(IZ,ZY\) が残るか、全体 fidelity |
| ECR + active cancellation | 既存の強い競合手法 | calibration drift への弱さ・強さ |
| Target echo | 提案の低複雑度候補 | \(IZ,ZY,ZZ\) 抑制と overhead |
| 4-segment echo | 代数的な上限・基準設計 | 全 residual 抑制と pulse overhead |
| Fixed-time optimized echo | 本命主張 | 同じ \(T_{\rm wall}\) で ECR を上回るか |
制御装置の観点：この研究では、pulse sequence の timing, synchronization, waveform switching が重要になる。実装では、各 channel の timing を細かく表示・検証できる backend と、hardware へ waveform を upload する backend が必要になる。
13. 論文としての打ち出し方
13.1 弱いタイトルと強いタイトル
| 弱い | 強い |
|---|---|
| Echo Methods for Improving Cross-Resonance Gates | Latency-Constrained Pauli-Character Echo Synthesis for Cross-Resonance Gates |
| echo を増やすと誤差が減る、という印象 | 時間制約の中で消せる Pauli 部分空間を最大化する、という明確な主張 |
13.2 中心命題
日本語では「echo cancellation は、実行時間制約下での Pauli 文字射影である」と書ける。
13.3 論文構成案
- Introduction：CR ゲートの重要性、coherent Pauli error、echo の実用性と時間制約。
- Background：Pauli 展開、CR 有効 Hamiltonian、標準 ECR。
- Echo cancellation theorem：\(\overline c_P=(1/T)\sum_k\tau_k c_{P,k}\chi_P(g_k)\)。
- Taxonomy：control echo, target echo, drive-sign echo, phase echo, 4-segment echo。
- Latency-constrained synthesis：\(A\tau=b\), \(\tau_k\ge0\), \(T_{\rm wall}\le T_{\rm budget}\)。
- Higher-order analysis：Magnus commutator と symmetric sequence。
- Numerical validation：Duffing transmon model で ECR と比較。
- Experimental protocol：Hamiltonian tomography, parity measurement, RB/leakage evaluation。
- Discussion：どの条件なら使う価値があるか、どの条件なら使わないべきか。
13.4 最終的に示したい図
- 符号表図：各 echo がどの Pauli 項を消すか。
- Pareto frontier：追加時間 vs coherent error reduction。
- 同時間比較：\(T_{\rm wall}\) を揃えた ECR と提案手法の fidelity。
- 残留係数 plot：\(c_{IX},c_{IY},c_{ZI},c_{IZ},c_{ZZ},c_{ZY}\) がどれだけ減るか。
- leakage plot：高次準位励起が増えていないか。
14. 用語集
| 用語 | 意味 |
|---|---|
| Hamiltonian | 量子状態の時間発展を決める演算子。ここでは「どの軸まわりにどれだけ速く回るか」を表す。 |
| Pauli 項 | \(X,Y,Z,I\) のテンソル積で表される Hamiltonian の成分。例：\(ZX=Z_c\otimes X_t\)。 |
| Coherent error | ランダムな損失ではなく、不要な Hamiltonian 項によって決定論的に起きる誤差。 |
| Echo | 途中で符号を反転し、不要な回転を平均でゼロにする操作。 |
| Toggling frame | 挿入した pulse の効果を frame の切り替えとして見た座標系。符号表を作るための便利な見方。 |
| Drive parity | drive 符号 \(\Omega\to-\Omega\) で Pauli 係数が同符号か反符号かを表す量。 |
| CR gate | control qubit を target 周波数で drive し、主に \(ZX\) 相互作用を作る 2 qubit gate。 |
| ECR | Echoed Cross-Resonance。drive 符号反転と control echo を組み合わせた標準的な CR echo。 |
| Magnus 展開 | 時間依存 Hamiltonian の効果を平均 Hamiltonian と高次 commutator で表す展開。 |
| Wall-clock time | 実際に hardware 上で gate にかかる総時間。pulse 長、buffer、edge、同期時間を含む。 |
| Leakage | transmon の \(|0\rangle,|1\rangle\) 以外の高次準位に状態が漏れること。 |
参考文献メモ
- E. Magesan and J. M. Gambetta, “Effective Hamiltonian models of the cross-resonance gate,” Physical Review A 101, 052308 (2020). CR ゲートの有効 Hamiltonian、transmon 高次準位、classical crosstalk を理解するための中心文献。
- F. Motzoi, J. M. Gambetta, P. Rebentrost, and F. K. Wilhelm, “Simple Pulses for Elimination of Leakage in Weakly Nonlinear Qubits,” Physical Review Letters 103, 110501 (2009). DRAG の基本文献。短い pulse と leakage の関係を理解する背景。
- S. Watanabe et al., “ZZ-Interaction-Free Single-Qubit-Gate Optimization in Superconducting Qubits,” arXiv:2309.13927v2 / Phys. Rev. A context. Dynamically corrected gates、toggling frame、Magnus 展開を実用的な pulse 設計に使う例。
- C. P. Koch et al., “Quantum optimal control in quantum technologies,” EPJ Quantum Technology 9, 19 (2022). 量子最適制御、robust pulse、quantum speed limit、superconducting qubit 制御の広いレビュー。
- M. Kjaergaard et al., “Superconducting Qubits: Current State of Play,” Annual Review / arXiv 1905.13641v3. Superconducting qubit, transmon, coherence, gate/readout の背景。
- Keysight Quantum Control System (QCS) data sheet. Pulse sequence programming, plotting/printing backend, waveform upload, timing synchronization など実装環境の参考。