Loading article…
ジョン・ハリソン・ワトラス | |
|---|---|
 | |
| 母校 | ウィスコンシン大学マディソン校 ニューヨーク州立大学ストーニーブルック校 |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス、量子コンピューティング |
| 機関 | カルガリー大学 ウォータールー大学 量子コンピューティング研究所 ペリメーター理論物理学研究所 |
| 博士課程の指導教員 | エリック・バッハ |
ジョン・ハリソン・ワトラスはIBMのIBM Quantum Educationのテクニカル・ディレクターであり、ウォータールー大学のデイビッド・R・チェリトン・スクール・オブ・コンピュータサイエンスの教授、量子コンピューティング研究所のメンバー、ペリメーター理論物理学研究所の提携メンバー、カナダ高等研究機構のフェローを務めた。[1] [2]彼は2002年から2006年までカルガリー大学のコンピュータサイエンス学部の教員であり、量子コンピューティングのカナダ研究員を務めた。[1]
彼はTheory of Computing誌[3]の編集者であり、かつてはQuantum Information & Computation誌[4]の編集者であった。彼の研究対象には量子情報と量子計算が含まれる。彼は量子インタラクティブ証明や、有名な結果IP = PSPACE : QIP = PSPACEの量子類似物に関する研究でよく知られている。 [5] [6] [7]これに先立って、QIPは3つのメッセージに制限できること、[8] QIPはEXPに含まれること、[9] QIPの2メッセージバージョンはPSPACEに含まれることを示した一連の結果が発表された。[10]彼はまた、量子有限オートマトン[11]と量子セルラーオートマトンに関する重要な論文を発表している。[12]スコット・アーロンソンとともに、彼は特定の形式のタイムトラベルによって量子計算と古典計算が同等になることを示した。また、物理学者デイビッド・ドイチュが提唱した一種の閉じた時間曲線を通じてコンピューターが過去に情報を送ることができる場合、量子効果は計算に利点をもたらさないことを共同で示した。[13]
彼は1998年にウィスコンシン大学マディソン校でエリック・バックの指導の下で博士号を取得した。[14] [15]
参考文献
- ^ ab John Watrous 2017-05-17にWayback Machineでアーカイブされた、カナダ高等研究機構のウェブサイト。
- ^ John Watrous 2011-07-06 にWayback Machineの QuantumWorks ウェブサイトにアーカイブされました。
- ^ Theory of Computingの編集者リスト。
- ^ Quantum Information & Computationの編集者リスト。
- ^ Lance Fortnow (2009-07-29). 「QIP = PSPACE」.計算複雑性. 2009-12-30閲覧。
- ^ Dave Bacon (2009-07-28). 「OMG QIP=PSPACE!」. The Quantum Pontiff . 2010-01-05 のオリジナルからアーカイブ。2009-12-30に取得。
- ^ ラーフル・ジェイン;鄭峰季;サルヴァギャ・ウパディヤイ。ジョン・ワトラス (2009)。 「QIP = PSPACE」。arXiv : 0907.4737 [quant-ph]。
- ^ Watrous, John (2003). 「PSPACE には定数ラウンドの量子インタラクティブ証明システムがある」. Theor. Comput. Sci. 292 (3). エセックス、イギリス: Elsevier Science Publishers Ltd.: 575–588. doi : 10.1016/S0304-3975(01)00375-9 . ISSN 0304-3975.
- ^ キタエフ、アレクセイ、ワトラス、ジョン (2000)。「量子インタラクティブ証明システムの並列化、増幅、指数時間シミュレーション」。STOC '00: 第 32 回 ACM コンピューティング理論シンポジウムの議事録。ACM。pp. 608–617。ISBN 978-1-58113-184-0。
- ^ Rahul Jain、Sarvagya Upadhyay、John Watrous (2009)。「2メッセージの量子インタラクティブ証明はPSPACEにあります」。arXiv : 0905.1300 [ cs.CC]。
- ^ Kondacs, A.; Watrous, J. (1997). 「量子有限状態オートマトンの効果について」。第 38 回コンピュータサイエンスの基礎に関する年次シンポジウムの議事録。pp. 66–75。
- ^ Watrous, John (1995). 「1次元量子セルオートマトンについて」。Proc . 36th Annual Symposium on Foundations of Computer Science (Milwaukee, WI, 1995)。Los Alamitos, CA: IEEE Comput. Soc. Press。pp. 528–537。doi : 10.1109 / SFCS.1995.492583。ISBN 0-8186-7183-1. MR 1619103.。
- ^ Lisa Zyga (2008-11-20). 「タイムトラベルが量子コンピューティングに与える影響」PhysOrg . 2009-12-30閲覧。
- ^ 数学系譜プロジェクトのジョン・ワトラウス。
- ^ 量子コンピューティング研究所の John Watrousディレクトリ。