Photonic Boson Sampling in a Tunable Circuit

Total Page:16

File Type:pdf, Size:1020Kb

Photonic Boson Sampling in a Tunable Circuit Photonic Boson Sampling in a Tunable Circuit The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters. Citation Broome, M. A., A. Fedrizzi, S. Rahimi-Keshari, J. Dove, S. Aaronson, T. C. Ralph, and A. G. White. “Photonic Boson Sampling in a Tunable Circuit.” Science 339, no. 6121 (February 15, 2013): 794–798. As Published http://dx.doi.org/10.1126/science.1231440 Publisher American Association for the Advancement of Science (AAAS) Version Author's final manuscript Citable link http://hdl.handle.net/1721.1/85873 Terms of Use Creative Commons Attribution-Noncommercial-Share Alike Detailed Terms http://creativecommons.org/licenses/by-nc-sa/4.0/ REPORTS matrices for this graph at momenta –p/4 and graphtobeO(n13g5), and the total evolution time 18. A. J. Hoffman et al., Phys.Rev.Lett.107, 053602 (2011). –p/2 are to be O(n12g5). The bounds we prove, although 19. J.K.Gamble,M.Friesen,D.Zhou,R.Joynt,S.N.Coppersmith, Phys.Rev.A81, 052313 (2010). 0 1 almost certainly not optimal, are sufficient to es- 00e−ip=4 20. J. Smith, Electron. Notes Discrete Math. 38, 795 (2011). tablish universality with only polynomial over- ć S ð−p=4Þ¼@ − A 21. Y. Omar, N. Paunkovi , Phys. Rev. A 74, 042304 (2006). switch 0 10 22. P. K. Pathak, G. S. Agarwal, Phys. Rev. A 75, 032351 (2007). −ip=4 head. Because it is also possible to efficiently e 00 simulate a multiparticle quantum walk of the type 23. Y. Lahini et al., Phys. Rev. A 86, 011603 (2012). we consider using a universal quantum com- 24. A. Schreiber et al., Science 336, 55 (2012). 0 1 25. A. Ahlbrecht et al., New J. Phys. 14, 073050 (2012). 10 0 puter, this model exactly captures the power of 26. P. P. Rohde, A. Schreiber, M. Štefaňák,I.Jex,C.Silberhorn, @ A quantum computation. New J. Phys. 13, 013001 (2011). Sswitchð−p=2Þ¼ 00−1 ð5Þ − 27. B.M.Terhal,D.P.DiVincenzo,Phys.Rev.A65, 032325 (2002). 0 10 References and Notes 28. S. Aaronson, A. Arkhipov, “The computational complexity 1. E. Farhi, S. Gutmann, Phys. Rev. A 58, 915 (1998). of linear optics,” Proceedings of the 43rd ACM The momentum switch has perfect transmission 2. D. Aharonov, A. Ambainis, J. Kempe, U. Vazirani, Symposium on Theory of Computing (2011), pp. 333–342. between vertices 1 and 3 at momentum –p/4 and “Quantum walks on graphs,” Proceedings of the 33rd 29. R. Ionicioiu, P. Zanardi, Phys. Rev. A 66, 050301 (2002). perfect transmission between vertices 2 and 3 at ACM Symposium on Theory of Computing (2001), pp. 50–59. 30. A. Mizel, D. A. Lidar, M. Mitchell, Phys. Rev. Lett. 99, momentum –p/2. Thus, the path a particle fol- 3. A. Ambainis, E. Bach, A. Nayak, A. Vishwanath, 070502 (2007). “ ” 31. A. M. Childs, D Gosset, J. Math. Phys. 53, 102207 lows through the switch depends on its momen- J. Watrous, One-dimensional quantum walks, Proceedings of the 33rd ACM Symposium on Theory of (2012). tum: A particle with momentum –p/2 follows the Computing (2001), pp. 37–49. 32. Materials and methods are available as supplementary double line in Fig. 3A, whereas a particle with 4. A. M. Childs et al., “Exponential algorithmic speedup by materials on Science Online. momentum –p/4 follows the single line. quantum walk,” Proceedings of the 35th ACM Symposium 33. M. Valiente, Phys. Rev. A 81, 042102 (2010). – 34. B. A. Blumer, M. S. Underwood, D. L. Feder, Phys. Rev. A The graph used to implement the Cq gate is on Theory of Computing (2003), pp. 59 68. 5. A. Ambainis, SIAM J. Comput. 37, 210 (2007). 84, 062302 (2011). shown in Fig. 3B [see section S4 of (32)forthe 6. E. Farhi, J. Goldstone, S. Gutmann, Theory of Computing numbers of vertices on each of the paths]. To see 4, 169 (2008). Acknowledgments: This work was supported in part by why this graph implements a Cq gate, consid- 7. A. M. Childs, Phys. Rev. Lett. 102, 180501 (2009). MITACS; Natural Sciences and Engineering Research Council of er the movement of two particles as they pass 8. B. Do et al., J. Opt. Soc. Am. B 22, 499 (2005). Canada; the Ontario Ministry of Research and Innovation; the 9. M. Karski et al., Science 325, 174 (2009). Ontario Ministry of Training, Colleges, and Universities; and through the graph. If either particle begins in the 10. H. B. Perets et al., Phys. Rev. Lett. 100, 170506 (2008). the U.S. Army Research Office. state j0in〉, it travels along a path to the output 11. Y. Bromberg, Y. Lahini, R. Morandotti, Y. Silberberg, without interacting with the second particle. When Phys. Rev. Lett. 102, 253904 (2009). Supplementary Materials 12. A. Peruzzo et al., Science 329, 1500 (2010). either particle begins in the state j1in〉,itisrouted www.sciencemag.org/cgi/content/full/339/6121/791/DC1 13. J. O. Owens et al., New J. Phys. 13, 075003 (2011). Materials and Methods onto the vertical path as it passes through the first 14. L. Sansoni et al., Phys. Rev. Lett. 108, 010502 (2012). momentum switch and is routed to the right as it Supplementary Text 15. I. L. Chuang, Y. Yamamoto, Phys. Rev. A 52, 3489 (1995). Figs. S1 to S10 passes through the second switch. If both par- 16. G. K. Brennen, C. M. Caves, P. S. Jessen, I. H. Deutsch, References Phys. Rev. Lett. 82, 1060 (1999). ticles begin in the state j1in〉, they interact on the vertical path and the wave function acquires a 17. W. S. Bakr, J. I. Gillen, A. Peng, S. Fölling, M. Greiner, 10 September 2012; accepted 17 December 2012 Nature 462, 74 (2009). 10.1126/science.1229957 phase eiq. To implement a circuit, the subgraphs rep- resenting circuit elements are connected by paths. Figure 4 depicts a graph corresponding to a sim- Photonic Boson Sampling ple two-qubit computation. Timing is important: Wave packets must meet on the vertical paths for interactions to occur. We achieve this by choosing in a Tunable Circuit the numbers of vertices on each of the segments Matthew A. Broome,1,2* Alessandro Fedrizzi,1,2 Saleh Rahimi-Keshari,2 Justin Dove,3 in the graph appropriately, taking into account 3 2 1,2 the different propagation speeds of the two wave Scott Aaronson, Timothy C. Ralph, Andrew G. White packets [see section S4 of (32)]. In section S3.1 of (32), we present a refinement of our scheme Quantum computers are unnecessary for exponentially efficient computation or simulation if the using planar graphs with maximum degree four. Extended Church-Turing thesis is correct. The thesis would be strongly contradicted by physical By analyzing the full (n +1)–particle inter- devices that efficiently perform tasks believed to be intractable for classical computers. Such a task acting many-body system, we prove that our al- is boson sampling: sampling the output distributions of n bosons scattered by some passive, linear gorithm performs the desired quantum computation unitary process. We tested the central premise of boson sampling, experimentally verifying that up to an error term that can be made arbitrarily three-photon scattering amplitudes are given by the permanents of submatrices generated from a small (32). Our analysis goes beyond the scat- unitary describing a six-mode integrated optical circuit. We find the protocol to be robust, working tering theory discussion presented above; we take even with the unavoidable effects of photon loss, non-ideal sources, and imperfect detection. into account the fact that both the wave packets Scaling this to large numbers of photons should be a much simpler task than building a universal and the graphs are finite. Specifically, we prove quantum computer. that by choosing the size of the wave packets, the number of vertices in the graph, and the total major motivation for scalable quan- puters are realistic physical devices, then the evolution time to be polynomial functions of both tum computing is Shor’s algorithm (1), Extended Church-Turing (ECT) thesis—that n and g, the error in simulating an n-qubit, g-gate Awhich enables the efficient factoring of any function efficiently computed on a realistic quantum circuit is bounded above by an arbi- large composite numbers into their constituent physical device can be efficiently computed trarily small constant [section S5 of (32)]. For primes. The presumed difficulty of this task is the on a probabilistic Turing machine—means that example, for the Bose-Hubbard model and for basis of the majority of today’s public-key en- a classical efficient factoring algorithm exists. the nearest-neighbor interaction model, we prove cryption schemes. It may be that scalable quan- Such an algorithm, long sought after, would that the error can be made arbitrarily small by tum computers are not realistic if, for example, enable us to break public-key cryptosystems choosing the size of the wave packets to be quantum mechanics breaks down for large num- such as RSA. A third possibility is that the ECT O(n12g4), the total number of vertices in the bers of qubits (2). If, however, quantum com- thesis itself is wrong. 794 15 FEBRUARY 2013 VOL 339 SCIENCE www.sciencemag.org REPORTS How do we answer this trilemma? As yet exponentially, whereas Bob’s experimental run- every input distributed to every output. The 6- there is no evidence that large-scale quantum time does not. It becomes intractable to verify input × 6-output modes of U are represented by computers are inherently impossible (that will Bob’s output against Alice’s, and, unlike for two orthogonal polarizations in 3 × 3 spatial modes need to be tested directly via experiment), and Shor’s algorithm, there is no known efficient of a fused-fiber beamsplitter (FBS), an intrin- there is no efficient classical factoring algorithm algorithm to verify the result (4).
Recommended publications
  • Simulating Quantum Field Theory with a Quantum Computer
    Simulating quantum field theory with a quantum computer John Preskill Lattice 2018 28 July 2018 This talk has two parts (1) Near-term prospects for quantum computing. (2) Opportunities in quantum simulation of quantum field theory. Exascale digital computers will advance our knowledge of QCD, but some challenges will remain, especially concerning real-time evolution and properties of nuclear matter and quark-gluon plasma at nonzero temperature and chemical potential. Digital computers may never be able to address these (and other) problems; quantum computers will solve them eventually, though I’m not sure when. The physics payoff may still be far away, but today’s research can hasten the arrival of a new era in which quantum simulation fuels progress in fundamental physics. Frontiers of Physics short distance long distance complexity Higgs boson Large scale structure “More is different” Neutrino masses Cosmic microwave Many-body entanglement background Supersymmetry Phases of quantum Dark matter matter Quantum gravity Dark energy Quantum computing String theory Gravitational waves Quantum spacetime particle collision molecular chemistry entangled electrons A quantum computer can simulate efficiently any physical process that occurs in Nature. (Maybe. We don’t actually know for sure.) superconductor black hole early universe Two fundamental ideas (1) Quantum complexity Why we think quantum computing is powerful. (2) Quantum error correction Why we think quantum computing is scalable. A complete description of a typical quantum state of just 300 qubits requires more bits than the number of atoms in the visible universe. Why we think quantum computing is powerful We know examples of problems that can be solved efficiently by a quantum computer, where we believe the problems are hard for classical computers.
    [Show full text]
  • Quantum Entanglement Producing and Precision Measurement With
    QUANTUM ENTANGLEMENT PRODUCING AND PRECISION MEASUREMENT WITH SPINOR BECS by Zhen Zhang A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy (Physics) in the University of Michigan 2015 Doctoral Committee: Professor Luming Duan, Chair Associate Professor Hui Deng Professor Georg A. Raithel Professor Duncan G. Steel Assistant Professor Kai Sun c Zhen Zhang 2015 To my parents and my husband. ii ACKNOWLEDGMENTS I am greatly indebted to my adviser, Professor Luming Duan, for mentoring me over the last six years. He is a wise professor with sharp insights and broad knowledge and also a kind and supportive supervisor. He offered me a lot help and advise both in my research and for my career. It has been my great honor working with him during my doctoral study. I would also like to thank my undergraduate research adviser Professor Mailin Liang , Profes- sor Wusheng Dai and Professor Mi Xie at Tianjin University, China, for guiding me into the world of physics research and offering initial scientific training. I am also grateful to all the other profes- sors who gave me advice and help imparted their knowledge and enthusiasm through classroom teaching or otherwise during the ten years of undergraduate and graduate study. I also benefited tremendously from my group mates and visitors. In particular, Zhexuan Gong who gave me warm welcome and help when I joined the group; Yang-Hao Chan who taught me cold atom physics in the very beginning of my research; Jiang-Min Zhang shared with me a lot of knowledge and experience both in research and in personal life; Dong-Ling Deng and Sheng- Tao Wang discussed with me on many problems.
    [Show full text]
  • Multi-Photon Boson-Sampling Machines Beating Early Classical Computers
    Multi-photon boson-sampling machines beating early classical computers Hui Wang1,2*, Yu He1,2*,Yu-Huai Li1,2*, Zu-En Su1,2,Bo Li1,2, He-Liang Huang1,2, Xing Ding1,2, Ming-Cheng Chen1,2, Chang Liu1,2, Jian Qin1,2,Jin-Peng Li1,2, Yu-Ming He1,2,3, Christian Schneider3, Martin Kamp3, Cheng-Zhi Peng1,2, Sven Höfling1,3,4, Chao-Yang Lu1,2,$, and Jian-Wei Pan1,2,# 1 Shanghai Branch, National Laboratory for Physical Sciences at Microscale and Department of Modern Physics, University of Science and Technology of China, Shanghai, 201315, China 2 CAS-Alibaba Quantum Computing Laboratory, CAS Centre for Excellence in Quantum Information and Quantum Physics, University of Science and Technology of China, China 3 Technische Physik, Physikalisches Instität and Wilhelm Conrad Röntgen-Center for Complex Material Systems, Universitat Würzburg, Am Hubland, D-97074 Würzburg, Germany 4 SUPA, School of Physics and Astronomy, University of St. Andrews, St. Andrews KY16 9SS, United Kingdom * These authors contributed equally to this work $ [email protected], # [email protected] Boson sampling is considered as a strong candidate to demonstrate the “quantum computational supremacy” over classical computers. However, previous proof-of- principle experiments suffered from small photon number and low sampling rates owing to the inefficiencies of the single-photon sources and multi-port optical interferometers. Here, we develop two central components for high-performance boson sampling: robust multi-photon interferometers with 99% transmission rate, and actively demultiplexed single-photon sources from a quantum-dot-micropillar with simultaneously high efficiency, purity and indistinguishability. We implement and validate 3-, 4-, and 5-photon boson sampling, and achieve sampling rates of 4.96 kHz, 151 Hz, and 4 Hz, respectively, which are over 24,000 times faster than the previous experiments, and over 220 times faster than obtaining one sample through calculating the matrices permanent using the first electronic computer (ENIAC) and transistorized computer (TRADIC) in the human history.
    [Show full text]
  • Quantum Computer-Aided Design of Quantum Optics Hardware
    Quantum computer-aided design of quantum optics hardware Jakob S. Kottmann,1, 2, ∗ Mario Krenn,1, 2, 3, y Thi Ha Kyaw,1, 2 Sumner Alperin-Lea,1, 2 and Al´anAspuru-Guzik1, 2, 3, 4, z 1Chemical Physics Theory Group, Department of Chemistry, University of Toronto, Canada. 2Department of Computer Science, University of Toronto, Canada. 3Vector Institute for Artificial Intelligence, Toronto, Canada. 4Canadian Institute for Advanced Research (CIFAR) Lebovic Fellow, Toronto, Canada (Dated: May 4, 2021) The parameters of a quantum system grow exponentially with the number of involved quantum particles. Hence, the associated memory requirement to store or manipulate the underlying wave- function goes well beyond the limit of the best classical computers for quantum systems composed of a few dozen particles, leading to serious challenges in their numerical simulation. This implies that the verification and design of new quantum devices and experiments are fundamentally limited to small system size. It is not clear how the full potential of large quantum systems can be exploited. Here, we present the concept of quantum computer designed quantum hardware and apply it to the field of quantum optics. Specifically, we map complex experimental hardware for high-dimensional, many-body entangled photons into a gate-based quantum circuit. We show explicitly how digital quantum simulation of Boson sampling experiments can be realized. We then illustrate how to design quantum-optical setups for complex entangled photonic systems, such as high-dimensional Greenberger-Horne-Zeilinger states and their derivatives. Since photonic hardware is already on the edge of quantum supremacy and the development of gate-based quantum computers is rapidly advancing, our approach promises to be a useful tool for the future of quantum device design.
    [Show full text]
  • Models of Optical Quantum Computing
    Nanophotonics 2017; 6(3): 531–541 Review article Open Access Hari Krovi* Models of optical quantum computing DOI 10.1515/nanoph-2016-0136 element method [9], and search on graphs for marked ver- Received August 2, 2016; accepted November 9, 2016 tices [10]. All these examples provide evidence that this model of computing is potentially more powerful than Abstract: I review some work on models of quantum com- classical computing. However, it should also be pointed puting, optical implementations of these models, as well out that there is currently no evidence that quantum com- as the associated computational power. In particular, we puters can solve NP-hard problems in polynomial time. discuss the circuit model and cluster state implemen- The class NP stands for nondeterministic polynomial time tations using quantum optics with various encodings (defined more explicitly in the next section) and consists such as dual rail encoding, Gottesman-Kitaev-Preskill of problems whose solution can be checked polynomial encoding, and coherent state encoding. Then we discuss time by deterministic classical computers. The impor- intermediate models of optical computing such as boson tance of this class stems from the fact that several practi- sampling and its variants. Finally, we review some recent cal problems lie in this class. Despite the lack of evidence work in optical implementations of adiabatic quantum of an exponential quantum speed-up for problems in this computing and analog optical computing. We also pro- class, there are a lot of examples where one has a polyno- vide a brief description of the relevant aspects from com- mial speed-up (such as a square-root speed-up) for several plexity theory needed to understand the results surveyed.
    [Show full text]
  • Research Statement Bill Fefferman, University of Maryland/NIST
    Research Statement Bill Fefferman, University of Maryland/NIST Since the discovery of Shor's algorithm in the mid 1990's, it has been known that quan- tum computers can efficiently solve integer factorization, a problem of great practical relevance with no known efficient classical algorithm [1]. The importance of this result is impossible to overstate: the conjectured intractability of the factoring problem provides the basis for the se- curity of the modern internet. However, it may still be a few decades before we build universal quantum computers capable of running Shor's algorithm to factor integers of cryptographically relevant size. In addition, we have little complexity theoretic evidence that factoring is com- putationally hard. Consequently, Shor's algorithm can only be seen as the first step toward understanding the power of quantum computation, which has become one of the primary goals of theoretical computer science. My research focuses not only on understanding the power of quantum computers of the indefinite future, but also on the desire to develop the foundations of computational complexity to rigorously analyze the capabilities and limitations of present-day and near-term quantum devices which are not yet fully scalable quantum computers. Furthermore, I am interested in using these capabilities and limitations to better understand the potential for cryptography in a fundamentally quantum mechanical world. 1 Comparing quantum and classical nondeterministic computation Starting with the foundational paper of Bernstein and Vazirani it has been conjectured that quantum computers are capable of solving problems whose solutions cannot be found, or even verified efficiently on a classical computer [2].
    [Show full text]
  • Arxiv:1412.8427V1 [Quant-Ph] 29 Dec 2014
    Boson Sampling for Molecular Vibronic Spectra Joonsuk Huh,∗ Gian Giacomo Guerreschi, Borja Peropadre, Jarrod R. McClean, and Al´anAspuru-Guziky Department of Chemistry and Chemical Biology, Harvard University, Cambridge, Massachusetts 02138, United States (Dated: December 30, 2014) Quantum computers are expected to be more efficient in performing certain computations than any classical machine. Unfortunately, the technological challenges associated with building a full- scale quantum computer have not yet allowed the experimental verification of such an expectation. Recently, boson sampling has emerged as a problem that is suspected to be intractable on any classical computer, but efficiently implementable with a linear quantum optical setup. Therefore, boson sampling may offer an experimentally realizable challenge to the Extended Church-Turing thesis and this remarkable possibility motivated much of the interest around boson sampling, at least in relation to complexity-theoretic questions. In this work, we show that the successful development of a boson sampling apparatus would not only answer such inquiries, but also yield a practical tool for difficult molecular computations. Specifically, we show that a boson sampling device with a modified input state can be used to generate molecular vibronic spectra, including complicated effects such as Duschinsky rotations. I. INTRODUCTION a b Quantum mechanics allows the storage and manipula- tion of information in ways that are not possible accord- ing to classical physics. At a glance, it appears evident that the set of operations characterizing a quantum com- puter is strictly larger than the operations possible in a classical hardware. This speculation is at the basis of quantum speedups that have been achieved for oracu- lar and search problems [1, 2].
    [Show full text]
  • Arxiv:2006.09335V1 [Quant-Ph] 16 Jun 2020
    Two-photon interference: the Hong-Ou-Mandel effect Fred´ eric´ Bouchard,1, 2 Alicia Sit,1 Yingwen Zhang,3 Robert Fickler,1, 4 Filippo M. Miatto,5 Yuan Yao,5 Fabio Sciarrino,6 and Ebrahim Karimi1, 3 1Department of Physics, University of Ottawa, Advanced Research Complex, 25 Templeton Street, Ottawa ON Canada, K1N 6N5 2Current address: National Research Council of Canada, 100 Sussex Drive, Ottawa, Ontario K1A 0R6, Canada 3National Research Council of Canada, 100 Sussex Drive, Ottawa, Ontario K1A 0R6, Canada 4Current address: Photonics Laboratory, Physics Unit, Tampere University, Tampere, FI-33720, Finland 5T´el´ecomParis, LTCI, Institut Polytechnique de Paris, 19 Place Marguerite Peray, 91120 Palaiseau, France 6Dipartimento di Fisica, Sapienza Universit`adi Roma, Piazzale Aldo Moro 5, I-00185 Roma, Italy Nearly 30 years ago, two-photon interference was observed, marking the beginning of a new quantum era. Indeed, two-photon interference has no classical analogue, giving it a distinct advantage for a range of ap- plications. The peculiarities of quantum physics may now be used to our advantage to outperform classical computations, securely communicate information, simulate highly complex physical systems and increase the sensitivity of precise measurements. This separation from classical to quantum physics has motivated physicists to study two-particle interference for both fermionic and bosonic quantum objects. So far, two-particle inter- ference has been observed with massive particles, among others, such as electrons and atoms, in addition to plasmons, demonstrating the extent of this effect to larger and more complex quantum systems. A wide array of novel applications to this quantum effect is to be expected in the future.
    [Show full text]
  • The 4Th OCU Joint International WS/Seminar on QC/QCC-On-Qcs
    The 4th OCU Joint International WS/Seminar on QC/QCC-on-QCs*,# and WS on AI Applications to Univ. Education/Administration# Date: Mar. 29-30, 2017 Venue: Takahara Memorial Hall, Osaka City University * QC/QCC-on-QCs: Quantum Chemistry/Quantum Chemical Calculations on Quantum Computers Program Note: *Prof. Man-Hong Yung, Department of Physics, South University of Science and Technology, Guangdong Sheng, China won’t be able to come and participate in the WS as an invited speaker this time. # The WS/Seminar has been sponsored by Graduate School of Science, Osaka City University. Invited speakers: Dr. Ryan Babbush, Google Inc., Venice, CA, USA Dr. Jarrod McClean, Lawrence Berkeley National Laboratory, Berkeley, CA, USA Prof. Joonsuk Huh, Department of Chemistry, Sungkyunkwan University, Seoul, Korea Dr. Hiroyuki Nakashima, Quantum Chemistry Research Institute, Kyoto, Japan Dr. Yusaku Kurokawa, Quantum Chemistry Research Institute, Kyoto, Japan Dr. Kenji Sugisaki, Department of Chemistry, Graduate School of Science, Osaka City University Dr. Satoru Yamamoto, Department of Chemistry, Graduate School of Science, Osaka City University Mr. Atsuroh Hiroe, Watson Division, IBM Japan, Ltd., Tokyo, Japan * Prof. Man-Hong Yung, Department of Physics, South University of Science and Technology, Guangdong Sheng, China Session “QC/QCC-on-QCs: Quantum Algorithms” March 29 (Wed.) 9:30-10:45 Dr. Ryan Babbush, Google Inc., Venice, CA, USA "Towards Practical Quantum Chemistry on a Quantum Computer" Outline of the lecture: Abstract As small quantum computers come increasingly close to viability there has been substantial renewed interest in quantum algorithms for modeling chemistry and strongly correlated materials due to low qubit requirements and industrial importance.
    [Show full text]
  • Complexity Theory and Its Applications in Linear Quantum
    Louisiana State University LSU Digital Commons LSU Doctoral Dissertations Graduate School 2016 Complexity Theory and its Applications in Linear Quantum Optics Jonathan Olson Louisiana State University and Agricultural and Mechanical College, [email protected] Follow this and additional works at: https://digitalcommons.lsu.edu/gradschool_dissertations Part of the Physical Sciences and Mathematics Commons Recommended Citation Olson, Jonathan, "Complexity Theory and its Applications in Linear Quantum Optics" (2016). LSU Doctoral Dissertations. 2302. https://digitalcommons.lsu.edu/gradschool_dissertations/2302 This Dissertation is brought to you for free and open access by the Graduate School at LSU Digital Commons. It has been accepted for inclusion in LSU Doctoral Dissertations by an authorized graduate school editor of LSU Digital Commons. For more information, please [email protected]. COMPLEXITY THEORY AND ITS APPLICATIONS IN LINEAR QUANTUM OPTICS A Dissertation Submitted to the Graduate Faculty of the Louisiana State University and Agricultural and Mechanical College in partial fulfillment of the requirements for the degree of Doctor of Philosophy in The Department of Physics and Astronomy by Jonathan P. Olson M.S., University of Idaho, 2012 August 2016 Acknowledgments My advisor, Jonathan Dowling, is apt to say, \those who take my take my advice do well, and those who don't do less well." I always took his advice (sometimes even against my own judgement) and I find myself doing well. He talked me out of a high-paying, boring career, and for that I owe him a debt I will never be able to adequately repay. My mentor, Mark Wilde, inspired me to work hard without saying a word about what I \should" be doing, and instead leading by example.
    [Show full text]
  • The Computational Complexity of Linear Optics∗
    THEORY OF COMPUTING, Volume 9 (4), 2013, pp. 143–252 www.theoryofcomputing.org The Computational Complexity of Linear Optics∗ Scott Aaronson† Alex Arkhipov‡ Received December 2, 2011; Revised December 30, 2012; Published February 9, 2013 Abstract: We give new evidence that quantum computers—moreover, rudimentary quan- tum computers built entirely out of linear-optical elements—cannot be efficiently simulated by classical computers. In particular, we define a model of computation in which identical photons are generated, sent through a linear-optical network, then nonadaptively measured to count the number of photons in each mode. This model is not known or believed to be universal for quantum computation, and indeed, we discuss the prospects for realizing the model using current technology. On the other hand, we prove that the model is able to solve sampling problems and search problems that are classically intractable under plausible assumptions. Our first result says that, if there exists a polynomial-time classical algo- rithm that samples from the same probability distribution as a linear-optical network, then P#P = BPPNP and hence the polynomial hierarchy collapses to the third level. Unfortunately, this result assumes an extremely accurate simulation. Our main result suggests that even an approximate or noisy classical simulation would already imply a collapse of the polyno- mial hierarchy. For this, we need two unproven conjectures: the Permanent-of-Gaussians ∗An extended abstract of this article appeared in the Proceedings of STOC 2011. †MIT. Email: [email protected]. This material is based upon work supported by the National Science Foundation under Grant No.
    [Show full text]
  • Quantum Strangeness, Entanglement and Quantum Information
    Quantum Strangeness, Entanglement and Quantum Information. G J Milburn Centre for Engineered Quantum Systems, The University of Queensland Santa Barbara, March 2013. Setting the scene... Cafe Central Vienna. Setting the scene... The Cafe Josephinum is a smell first, a stinging smell of roasted Turkish beans too heavy to waft on air and so waiting instead for the more powerful current of steam blown off the surface of boiling saucers fomenting to coffee. the coffee is a fuel to power ideas. A MADMAN DREAMS OF TURING MACHINES by Janna Levin Erwin Schr¨odinger:1887-1961. I was born and educated in Vienna with Ernest Mach's teaching and personality still pervading the atmosphere. I was devoted to his numerous writings . Both Boltzmann and Mach were just as much interested in philosophy . as they were in physics. Boltzmann's approach had consisted in forming "pictures", mainly in order to be extremely certain of avoiding contradictory assumptions. E. Schr¨odingerin a letter to Eddington, 1940 . January 1926 Ψ Schr¨odingerpublished in Annalen der Physik, " Quantisierung als Eigenwertproblem "∗ . what is now known as the Schr¨odingerequation. ∗tr. Quantisation as an Eigenvalue Problem. Quantum coherence: the hidden lever of the physical world. Controlling quantum coherence enables us to reversibly change irreducible uncertainty into perfect certainty. Quantum coherence. Functional engineered quantum systems exploit quantum coherence. Controlling quantum coherence enables us to reversibly change irreducible uncertainty into perfect certainty. Quantum coherence. Functional engineered quantum systems exploit quantum coherence. Quantum coherence: the hidden lever of the physical world. Quantum coherence. Functional engineered quantum systems exploit quantum coherence. Quantum coherence: the hidden lever of the physical world.
    [Show full text]