GridSynth
GridSynth は量子ビットの任意角回転ゲートをユニバーサルゲートセット ({H, S, T} ゲート) で近似するアルゴリズムである。
1-dim grid problem
案外簡単。普通に適当な範囲を数え上げるだけ。
2-dim grid problem
三つのステップで解く。
1. Grid operationを何度も適用して、領域を長方形っぽくする
2. 長方形に対する2-dim grid problemのアルゴリズムをする (≒ 1-dim grid problem)
3. 数え上げられた解が実際に領域に属しているか判定する
Diophantine equation
ξ = 1 - u u^dag とし、 ξ ξ^dot の分子を A とする。
(p, x + √2) を Z[√2] でgcdする。
各素因数をこのように Z[√2] で素因数分解することで、t t^dag = ξ なる t を計算できる。
Normalize
ユニタリ行列を量子ゲートの列に変換する。
TODO アルゴリズムを調べる: 1206.5236v4
Main algorithm