| 講演抄録/キーワード |
| 講演名 |
2008-03-10 09:55
非有界誤り量子質問計算量 モンタナロ アスリー(ブリストル大)・西村治道(阪府大)・○レイモンド ルディー(日本IBM) COMP2007-56 |
| 抄録 |
(和) |
本論文は,ブール関数を計算する量子アルゴリズムの成功確率が真に$1/2$より大きくするための質問計算量,すなわち,非有界誤り量子質問計算量について研究している.量子通信計算量の結果と同様,どんなブール関数に対しても量子質問計算量は常に古典質問計算量のちょうど半分であることを本論文は示す.また,この通信計算量と質問計算量の結果から本論文は,非有界誤りの設定においてもBuhrman-Cleve-Wigderson[STOC'98]が提案した量子質問アルゴリズムを量子通信プロトコルに変換するブラックボックス手法が最適であることを示す.その上,本論文は,非有界誤りモデルを拡張するモデルについても言及する.本論文はこのモデルで量子質問計算量と古典質問計算量を比較する時,通信計算量の結果と違って,部分関数に対してTheta(log n)のギャップが存在する一方,一般に知られた全関数に対してギャップがないことを証明する. |
| (英) |
This work studies the quantum query complexity of Boolean functions in an unbounded-error scenario where it is only required that the query algorithm succeeds with a probability strictly greater than 1/2. We show that, just as in the communication complexity model, the unbounded-error quantum query complexity is exactly half of its classical counterpart
for any (partial or total) Boolean function. Connecting the query and communication complexity results, we show that the ``black-box'' approach
to convert quantum query algorithms into communication protocols by Buhrman-Cleve-Wigderson [STOC'98] is optimal even in the unbounded-error setting.
We also study a related setting, called the weakly unbounded-error
setting. In contrast to the case of communication complexity, we show a tight Theta(log n) separation between quantum and classical query complexity in this setting for a partial Boolean function, and the asymptotic equivalence between them for some well-studied total Boolean functions. |
| キーワード |
(和) |
質問計算量 / 通信計算量 / 非有界誤り / 量子計算 / / / / |
| (英) |
query complexity / communication complexity / unbounded-error / quantum computation / / / / |
| 文献情報 |
信学技報, vol. 107, no. 537, COMP2007-56, pp. 9-14, 2008年3月. |
| 資料番号 |
COMP2007-56 |
| 発行日 |
2008-03-03 (COMP) |
| ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
| PDFダウンロード |
COMP2007-56 |