scispace - formally typeset
Search or ask a question
Author

David Gosset

Bio: David Gosset is an academic researcher from University of Waterloo. The author has contributed to research in topics: Quantum algorithm & Quantum computer. The author has an hindex of 26, co-authored 70 publications receiving 2283 citations. Previous affiliations of David Gosset include IBM & Massachusetts Institute of Technology.


Papers
More filters
Journal ArticleDOI
15 Feb 2013-Science
TL;DR: The construction of a scalable quantum computer architecture based on multiple interacting quantum walkers could, in principle, be used as an architecture for building a scaled quantum computer with no need for time-dependent control.
Abstract: A quantum walk is a time-homogeneous quantum-mechanical process on a graph defined by analogy to classical random walk. The quantum walker is a particle that moves from a given vertex to adjacent vertices in quantum superposition. We consider a generalization to interacting systems with more than one walker, such as the Bose-Hubbard model and systems of fermions or distinguishable particles with nearest-neighbor interactions, and show that multiparticle quantum walk is capable of universal quantum computation. Our construction could, in principle, be used as an architecture for building a scalable quantum computer with no need for time-dependent control.

413 citations

Journal ArticleDOI
19 Oct 2018-Science
TL;DR: In this paper, the authors show that parallel quantum algorithms running in a constant time period are strictly more powerful than their classical counterparts; they are provably better at solving certain linear algebra problems associated with binary quadratic forms.
Abstract: Quantum effects can enhance information-processing capabilities and speed up the solution of certain computational problems. Whether a quantum advantage can be rigorously proven in some setting or demonstrated experimentally using near-term devices is the subject of active debate. We show that parallel quantum algorithms running in a constant time period are strictly more powerful than their classical counterparts; they are provably better at solving certain linear algebra problems associated with binary quadratic forms. Our work gives an unconditional proof of a computational quantum advantage and simultaneously pinpoints its origin: It is a consequence of quantum nonlocality. The proposed quantum algorithm is a suitable candidate for near-future experimental realizations, as it requires only constant-depth quantum circuits with nearest-neighbor gates on a two-dimensional grid of qubits (quantum bits).

258 citations

Journal ArticleDOI
TL;DR: The algorithm may serve as a verification tool for near-term quantum computers which cannot in practice be simulated by other means and can be used in practice to simulate medium-sized quantum circuits dominated by Clifford gates.
Abstract: We present a new algorithm for classical simulation of quantum circuits over the Clifford+T gate set. The runtime of the algorithm is polynomial in the number of qubits and the number of Clifford gates in the circuit but exponential in the number of T gates. The exponential scaling is sufficiently mild that the algorithm can be used in practice to simulate medium-sized quantum circuits dominated by Clifford gates. The first demonstrations of fault-tolerant quantum circuits based on 2D topological codes are likely to be dominated by Clifford gates due to a high implementation cost associated with logical T gates. Thus our algorithm may serve as a verification tool for near-term quantum computers which cannot in practice be simulated by other means. To demonstrate the power of the new method, we performed a classical simulation of a hidden shift quantum algorithm with 40 qubits, a few hundred Clifford gates, and nearly 50 T gates.

254 citations

Journal ArticleDOI
02 Sep 2019
TL;DR: A comprehensive mathematical theory of the stabilizerRank and the related approximate stabilizer rank is developed and a suite of classical simulation algorithms with broader applicability and significantly improved performance over the previous state-of-the-art are presented.
Abstract: EC and MH are supported by the EPSRC (Grant No. EP/M024261/1). PC is supported by the EPSRC (Grant No. EP/L015242/1). The collaboration benefited from support by the NQIT project partnership fund (Grant No. EP/M013243/1), an EPSRC IIKE award and the IBM Research Frontiers Institute.

220 citations

Journal ArticleDOI
TL;DR: It is shown that parallel quantum algorithms running in a constant time period are strictly more powerful than their classical counterparts; they are provably better at solving certain linear algebra problems associated with binary quadratic forms.
Abstract: We prove that constant-depth quantum circuits are more powerful than their classical counterparts. To this end we introduce a non-oracular version of the Bernstein-Vazirani problem which we call the 2D Hidden Linear Function problem. An instance of the problem is specified by a quadratic form q that maps n-bit strings to integers modulo four. The goal is to identify a linear boolean function which describes the action of q on a certain subset of n-bit strings. We prove that any classical probabilistic circuit composed of bounded fan-in gates that solves the 2D Hidden Linear Function problem with high probability must have depth logarithmic in n. In contrast, we show that this problem can be solved with certainty by a constant-depth quantum circuit composed of one- and two-qubit gates acting locally on a two-dimensional grid.

173 citations


Cited by
More filters
Journal ArticleDOI
TL;DR: In this paper, an updated version of supplementary information to accompany "Quantum supremacy using a programmable superconducting processor", an article published in the October 24, 2019 issue of Nature, is presented.
Abstract: This is an updated version of supplementary information to accompany "Quantum supremacy using a programmable superconducting processor", an article published in the October 24, 2019 issue of Nature. The main article is freely available at this https URL. Summary of changes since arXiv:1910.11333v1 (submitted 23 Oct 2019): added URL for qFlex source code; added Erratum section; added Figure S41 comparing statistical and total uncertainty for log and linear XEB; new References [1,65]; miscellaneous updates for clarity and style consistency; miscellaneous typographical and formatting corrections.

4,873 citations

Journal ArticleDOI
Frank Arute1, Kunal Arya1, Ryan Babbush1, Dave Bacon1, Joseph C. Bardin2, Joseph C. Bardin1, Rami Barends1, Rupak Biswas3, Sergio Boixo1, Fernando G. S. L. Brandão1, Fernando G. S. L. Brandão4, David A. Buell1, B. Burkett1, Yu Chen1, Zijun Chen1, Ben Chiaro5, Roberto Collins1, William Courtney1, Andrew Dunsworth1, Edward Farhi1, Brooks Foxen1, Brooks Foxen5, Austin G. Fowler1, Craig Gidney1, Marissa Giustina1, R. Graff1, Keith Guerin1, Steve Habegger1, Matthew P. Harrigan1, Michael J. Hartmann6, Michael J. Hartmann1, Alan Ho1, Markus R. Hoffmann1, Trent Huang1, Travis S. Humble7, Sergei V. Isakov1, Evan Jeffrey1, Zhang Jiang1, Dvir Kafri1, Kostyantyn Kechedzhi1, Julian Kelly1, Paul V. Klimov1, Sergey Knysh1, Alexander N. Korotkov1, Alexander N. Korotkov8, Fedor Kostritsa1, David Landhuis1, Mike Lindmark1, E. Lucero1, Dmitry I. Lyakh7, Salvatore Mandrà3, Jarrod R. McClean1, Matt McEwen5, Anthony Megrant1, Xiao Mi1, Kristel Michielsen9, Kristel Michielsen10, Masoud Mohseni1, Josh Mutus1, Ofer Naaman1, Matthew Neeley1, Charles Neill1, Murphy Yuezhen Niu1, Eric Ostby1, Andre Petukhov1, John Platt1, Chris Quintana1, Eleanor Rieffel3, Pedram Roushan1, Nicholas C. Rubin1, Daniel Sank1, Kevin J. Satzinger1, Vadim Smelyanskiy1, Kevin J. Sung11, Kevin J. Sung1, Matthew D. Trevithick1, Amit Vainsencher1, Benjamin Villalonga1, Benjamin Villalonga12, Theodore White1, Z. Jamie Yao1, Ping Yeh1, Adam Zalcman1, Hartmut Neven1, John M. Martinis5, John M. Martinis1 
24 Oct 2019-Nature
TL;DR: Quantum supremacy is demonstrated using a programmable superconducting processor known as Sycamore, taking approximately 200 seconds to sample one instance of a quantum circuit a million times, which would take a state-of-the-art supercomputer around ten thousand years to compute.
Abstract: The promise of quantum computers is that certain computational tasks might be executed exponentially faster on a quantum processor than on a classical processor1. A fundamental challenge is to build a high-fidelity processor capable of running quantum algorithms in an exponentially large computational space. Here we report the use of a processor with programmable superconducting qubits2-7 to create quantum states on 53 qubits, corresponding to a computational state-space of dimension 253 (about 1016). Measurements from repeated experiments sample the resulting probability distribution, which we verify using classical simulations. Our Sycamore processor takes about 200 seconds to sample one instance of a quantum circuit a million times-our benchmarks currently indicate that the equivalent task for a state-of-the-art classical supercomputer would take approximately 10,000 years. This dramatic increase in speed compared to all known classical algorithms is an experimental realization of quantum supremacy8-14 for this specific computational task, heralding a much-anticipated computing paradigm.

2,527 citations

Journal ArticleDOI
Andrew Lucas1
TL;DR: This work collects and extends mappings to the Ising model from partitioning, covering and satisfiability, and provides Ising formulations for many NP-complete and NP-hard problems, including all of Karp's 21NP-complete problems.
Abstract: We provide Ising formulations for many NP-complete and NP-hard problems, including all of Karp's 21 NP-complete problems This collects and extends mappings to the Ising model from partitioning, covering and satisfiability In each case, the required number of spins is at most cubic in the size of the problem This work may be useful in designing adiabatic quantum optimization algorithms

1,604 citations

Journal ArticleDOI
TL;DR: The development of wave optics for light brought many new insights into our understanding of physics, driven by fundamental experiments like the ones by Young, Fizeau, Michelson-Morley and others as mentioned in this paper.
Abstract: The development of wave optics for light brought many new insights into our understanding of physics, driven by fundamental experiments like the ones by Young, Fizeau, Michelson-Morley and others. Quantum mechanics, and especially the de Broglie’s postulate relating the momentum p of a particle to the wave vector k of an matter wave: k = 2 λ = p/ℏ, suggested that wave optical experiments should be also possible with massive particles (see table 1), and over the last 40 years electron and neutron interferometers have demonstrated many fundamental aspects of quantum mechanics [1].

1,194 citations

Journal ArticleDOI
TL;DR: The time is ripe for describing some of the recent development of superconducting devices, systems and applications as well as practical applications of QIP, such as computation and simulation in Physics and Chemistry.
Abstract: During the last ten years, superconducting circuits have passed from being interesting physical devices to becoming contenders for near-future useful and scalable quantum information processing (QIP). Advanced quantum simulation experiments have been shown with up to nine qubits, while a demonstration of quantum supremacy with fifty qubits is anticipated in just a few years. Quantum supremacy means that the quantum system can no longer be simulated by the most powerful classical supercomputers. Integrated classical-quantum computing systems are already emerging that can be used for software development and experimentation, even via web interfaces. Therefore, the time is ripe for describing some of the recent development of superconducting devices, systems and applications. As such, the discussion of superconducting qubits and circuits is limited to devices that are proven useful for current or near future applications. Consequently, the centre of interest is the practical applications of QIP, such as computation and simulation in Physics and Chemistry.

809 citations