この章のまとめ
AI 生成・木下が未勉強
相対エントロピーから情報と物理を組み立てる 第6部 第4章 §6.4.7 ★★★ 探索は「当たりの印がついた状態を空の状態から引き離す」仕事で、1回の問い合わせで引き離せる量に上限がある。Grover の回転はその上限をほぼ使い切り、 が最適になる
この章では、印のついたオラクルで 回問い合わせた後の状態 と、空のオラクルでの状態 を比べた。アルゴリズムの側では、オラクル と平均のまわりの反射 がどちらも反射で、その積が平面 の中の角 ()の回転になることだけから、成功確率 と最適な回数 が出た。同じ回転は当たりが 個ある場合()にも、任意の手順の成功確率を上げる振幅増幅にも使え、回数を乱数で選べば当たりの数を知らなくてもよく、固有値の位相を読めば当たりの数が分かった。
下界の側では、1回の問い合わせで を から引き離せる量が、空の状態が に置いている振幅の2倍以下であることを足し上げて を示し、成功には が要ることと合わせて (BBBV の下界)を得た。Grover のアルゴリズムは で、この上限をほぼ等号で使っている。情報の側から見ると、 回の後に得られる情報量は Holevo 量 で押さえられ、()だった。古典の問い合わせでは情報量が に比例して増えるのに対し、量子の問い合わせでは に比例して増え、 を集めるのに 程度の回数で足りる。それより少なくはできない。
次の第5章(第6部第5章)では、ここまでの量子アルゴリズムを、雑音のある実際の量子ビットの上で長く走らせるための誤り耐性としきい値定理を扱う。Grover のアルゴリズムのように 回の反復を誤りなく続けるには、1回あたりの誤りを より十分小さく保つ必要があり、それを可能にするのが誤り訂正である。
この章の道具
- オラクル (位相キックバック)、反射 、反復 。
- 2つの反射の積は回転:、。
- 最適な回数 、。回数を乱数で選ぶと平均 。
- 振幅増幅:成功確率 の手順を約 回で成功確率 近くへ。
- 下界:、成功確率 には 。
- 情報量:、。誤りなく当てるには 。
総合問題 16個の候補の探索を上から下から ★★★
オリジナル候補が 個、当たりが1つの探索を考える。情報量はビットで答えよ。
- (1) (使う道具:6.4.2節・6.4.3節) と、反復 回の後の成功確率を求め、最適な回数 を示せ。
- (2) (使う道具:6.4.3節の振幅増幅) 回の反復で成功確率をちょうど にしたい。補助の量子ビットを回す確率 を求めよ。2回の反復で成功確率を にできないことを示せ。
- (3) (使う道具:6.4.4節・6.4.5節)誤りなく当てるのに要る問い合わせの回数の下界を、BBBV の式 (6.4.22) と情報の側の式 (6.4.29) の両方で求めよ。
- (4) (使う道具:6.4.5節/第3部第7章 の Holevo の限界/第1部第6章 の Fano の不等式)Grover の反復 回の後の Holevo 量 を求め、Fano の不等式から、2回の問い合わせでどんな測定をしても避けられない誤りの確率の下限を求めよ。Grover の2回の反復の実際の誤りの確率と比べよ。
- (5) (使う道具:6.4.3節/第6部第2章 の位相推定)平面の中の の固有値と固有ベクトルを求め、 が2つの固有ベクトルに重み ずつで分かれることを示せ。5ビットの位相推定で固有値の位相 が最も近い格子点 に読まれたとき、当たりの数の推定値 を求めよ。
解答
(1) から 。、、。 なので 。 では に下がる。
(2) で とするので 、。補助の量子ビットを に回して成功の条件に加えれば、3回の反復で成功確率は になる。2回で確実に当てるには 、すなわち が要るが、これは より大きい。この方法で角を大きくすることはできないので、2回では足りない。
(3) BBBV の式では 、情報の側の式では 。どちらからも「少なくとも2回」が出る。(2) の方法は3回を使うので、下界と1回の差がある。
(4) を式 (6.4.30) に入れて ビット。Holevo の限界から ビットなので、 ビット。Fano の不等式 (ビット)を について解くと になる。一般の2回のアルゴリズムについては、 が を超えるので命題 6.4.6 の上限は ビットになり、誤りの下限は出ない。したがってこの下限は Grover の反復の状態に限った値である。Grover の2回の実際の誤りの確率は で、下限の約3倍ある。差は、(1) の後半で見たように途中の状態が直交しきっておらず、計算基底の測定で Holevo 量の全部は取り出せないことによる。
(5) 平面の中で は角 の回転 (基底 )なので、固有値は 、固有ベクトルは である。 との内積は で、重みは ずつになる。固有値の位相は 。最も近い格子点は (差 )で、(差 )より近い。推定値は で、当たりの数は整数なので と読める。負の位相 を読んだ場合も が同じなので、同じ推定値になる。
木下の勉強ステータス
木下はまだこの記事を勉強していません。
AI(Claude)が書いた教材を、木下が勉強しながら公開しています。式と数値は検算していますが、誤りが残っているかもしれません。誤りのご指摘・削除のご依頼をいただければ直します。 連絡先:support@tecktom.com
← AI生成教科書『虎の巻』の記事一覧へ