John Harrison Watrous ist Technischer Direktor von IBM Quantum Education bei IBM und war Professor für Informatik an der David R. Cheriton School of Computer Science der University of Waterloo , Mitglied des Institute for Quantum Computing , assoziiertes Mitglied des Perimeter Institute for Theoretical Physics und Fellow des Canadian Institute for Advanced Research . [ 1 ] [ 2 ] Von 2002 bis 2006 war er Dozent am Department of Computer Science der University of Calgary, wo er einen Canada Research Chair für Quantencomputing innehatte . [ 1 ]

Er ist Herausgeber der Zeitschrift „Theory of Computing“ [ 3 ] und war zuvor Herausgeber der Zeitschrift „Quantum Information & Computation“ [ 4 ] . Seine Forschungsschwerpunkte umfassen Quanteninformation und Quantencomputing . Er ist bekannt für seine Arbeiten zu interaktiven Quantenbeweisen und dem Quantenanalogon des berühmten Ergebnisses IP  =  PSPACE : QIP  = PSPACE [ 5 ] [ 6 ] [ 7 ] . Diesem Ergebnis gingen eine Reihe von Resultaten voraus, die zeigten, dass QIP auf drei Nachrichten beschränkt werden kann [ 8 ] , dass QIP in EXP enthalten ist [ 9 ] und dass die Version von QIP mit zwei Nachrichten in PSPACE liegt [ 10 ] . Er hat außerdem wichtige Arbeiten zu endlichen Quantenautomaten [ 11 ] und zellulären Quantenautomaten veröffentlicht . [ 12 ] Zusammen mit Scott Aaronson zeigte er, dass bestimmte Formen der Zeitreise Quanten- und klassische Berechnungen äquivalent machen können : Die Autoren wiesen gemeinsam nach, dass Quanteneffekte keine Vorteile für die Berechnung bieten, wenn Computer Informationen über eine Art geschlossener zeitartiger Kurve, wie sie der Physiker David Deutsch vorgeschlagen hat, in die Vergangenheit senden können . [ 13 ]

Seinen Doktortitel erwarb er 1998 an der University of Wisconsin–Madison unter der Betreuung von Eric Bach . [ 14 ] [ 15 ]

John Watrous auf Bluesky

Referenzen

  1. ^ a b John Watrous Archiviert am 17.05.2017 in der Wayback Machine auf der Website des Canadian Institute for Advanced Research .
  2. ^ John Watrous, archiviert am 06.07.2011 in der Wayback Machine auf der QuantumWorks-Website.
  3. ^ Liste der Herausgeber von Theory of Computing .
  4. ^ Liste der Herausgeber von Quantum Information & Computation .
  5. ^ Lance Fortnow (29.07.2009). „QIP = PSPACE“ . Computational Complexity . Abgerufen am 30.12.2009 .
  6. ^ Dave Bacon (28.07.2009). „OMG QIP=PSPACE!" . The Quantum Pontiff . Archiviert vom Original am 05.01.2010 . Abgerufen am 30.12.2009 .
  7. ^ Rahul Jain; Zhengfeng Ji; Sarvagya Upadhyay; John Watrous (2009). „QIP = PSPACE“. arXiv : 0907.4737 [ quant-ph ].
  8. ^ Watrous, John (2003). „PSPACE besitzt interaktive Quantenbeweissysteme mit konstanter Rundenzahl“ . Theor. Comput. Sci. 292 (3). Essex, UK: Elsevier Science Publishers Ltd.: 575–588 . doi : 10.1016/S0304-3975(01)00375-9 . ISSN 0304-3975 . 
  9. ^ Kitaev, Alexei ; Watrous, John (2000). „Parallelisierung, Verstärkung und exponentielle Zeitsimulation von interaktiven Quantenbeweissystemen“. STOC '00: Proceedings of the thirty-second annual ACM symposium on Theory of computing . ACM. S.  608–617 . ISBN 978-1-58113-184-0Die
  10. ^ Rahul Jain; Sarvagya Upadhyay; John Watrous (2009). „Zwei-Nachrichten-Quanteninteraktive Beweise sind in PSPACE verfügbar“. arXiv : 0905.1300 [ cs.CC ].
  11. ^ Kondacs, A.; Watrous, J. (1997). „Über die Leistungsfähigkeit von Quanten-Endzustandsautomaten“. Proceedings of the 38th Annual Symposium on Foundations of Computer Science . S.  66–75 .
  12. ^ Watrous, John (1995). „Über eindimensionale Quanten-Zellularautomaten“. In: Proceedings des 36. jährlichen Symposiums über Grundlagen der Informatik (Milwaukee, WI, 1995) . Los Alamitos, CA: IEEE Comput. Soc. Press. S.  528–537 . doi : 10.1109/SFCS.1995.492583 . ISBN 0-8186-7183-1MR  1619103 .​Die
  13. ^ Lisa Zyga (20.11.2008). „Wie Zeitreisen das Quantencomputing beeinflussen könnten“ . PhysOrg . Abgerufen am 30.12.2009 .
  14. ^ John Watrous beim Mathematics Genealogy Project .
  15. ^ John Watrous im Direktorium des Instituts für Quantencomputing .