Dalam makalah seminal Bernstein dan Vazirani "Teori Kompleksitas Kuantum", mereka menunjukkan bahwa transformasi kesatuan dimensi dapat secara efisien didekati dengan produk dari apa yang mereka sebut "rotasi dekat-sepele" dan "pergeseran fase dekat-sepele".
"Rotasi Near-trivial" adalah matriks kesatuan dimensi yang bertindak sebagai identitas pada semua kecuali 2 dimensi, tetapi bertindak sebagai rotasi pada bidang yang direntang oleh dua dimensi tersebut (yaitu memiliki submatrix 2x2 dalam bentuk:
untuk beberapa ).
"Pergeseran fase dekat-sepele" adalah matriks kesatuan dimensi yang bertindak sebagai identitas pada semua kecuali 1 dimensi, tetapi menerapkan faktor untuk beberapa ke dimensi satu itu.e i θ θ
Selain itu, mereka menunjukkan bahwa hanya satu sudut rotasi diperlukan (untuk kedua unit rotasi dan fase pergeseran), mengingat bahwa sudut adalah kelipatan irasional dari (BV mengatur sudut ke .2 π Σ ∞ j = 1 2 - 2 j
Makalah-makalah selanjutnya tentang teori kompleksitas kuantum (seperti itu oleh Adleman et al atau Fortnow dan Rogers) mengklaim bahwa hasil BV menyiratkan bahwa komputasi kuantum universal dapat dicapai dengan operator kesatuan yang entri-entrinya ada di .
Bagaimana ini? Saya dapat memahami bahwa produk dari matriks rotasi hampir trivial akan memberikan Anda matriks kesatuan dengan entri nyata, tetapi bagaimana dengan matriks pergeseran fase?
Yaitu: jika Anda hanya dapat melakukan rotasi dekat-sepele, dan matriks pergeseran fase di mana entri matriks adalah , dapatkah kita secara efisien memperkirakan semua matriks pergeseran fase lainnya?
Saya menduga bahwa implikasi ini tidak segera jelas, dan bukti yang tepat untuk itu akan menyerupai bukti bahwa gerbang seperti Toffoli Deutsch bersifat universal - atau apakah saya kehilangan sesuatu yang sangat jelas?