The race to demonstrate quantum supremacy, and onward to quantum computers
Abdullah Khalid
Quantum Information Scientist
HUAIC
5th November 2019
Computational Problems
Decision
Search
Optimization
Decision Problems
Multiplication
Input: integers P and Q
Output: integer R = P x Q
Algorithms
Is left most digit 1 in binary?
Decision Problems
Factorization
Input: integer R
Ouput: prime numbers P and Q
such that R = P x Q
Algorithms
R = 21
digits = 2
R = 498556150811
digits = 12
- Dixon's algorithm
- Continued fraction factorization
- Quadratic sieve
- Rational sieve
- General number field sieve
- Shanks's square forms factorization
Is left most digit of bigger prime 1 in binary?
Cryptography
"Top secret info"
"Top secret info"
"hf72h18v82ja9"
You
You
Military
Bank
Email provider
Military
Sampling Problems
Binomial sampling
Input: n, p
Output: a sample from the binomial probability distribution
A random number generator
Extended Church-Turing Thesis [1]
Any algorithmic process can be simulated efficiently using a probabilistic Turing machine.
Church-Turing Thesis
Any algorithmic process can be computed using a Turing machine.
[1] They didn't actually say it.
Physicist's Extended Church-Turing Thesis
Every finitely realizable physical system can be perfectly simulated by a universal computing machine operating by finite means - Deutsch 1985
Chemistry
Biology
Computer science
Computing Machine = Physical System
Computing Machines = Physical Systems
=> Computational complexity is determined by physical laws
Computational Complexity
Multiplication
Factorization
Resources
Problem size (n)
Decision Problems Complexity Classes
Factoring
Multiplication
Circuit model of classical computation
Width/Space = n
Depth/Time = m
Input: Any of 2n n-bit strings
Output: 1-bit string
Quantum Computers
Quantum Circuits
Text
Text
n-qubits => 2n outcomes
- Solves same computational problems as classical computer
- Algorithm is different because of architecture difference
Quantum Computers: The transport analogy
Human computer
Super computer
Quantitative
Qualitative
Quantum computer
Solve computational problem = Go from A to B
Quantum computers CANNOT
do industrial optimization
predict the stock market
optimize airline schedules
predict the stock market
optimize airline schedules
NP-Complete problems
exponentially faster than classical computers.
If this was true, quantum computers could solve NP-complete problems efficiently
But they don't!
Quantum computers can
simulate atoms, molecules and materials,
exponentially faster than classical computers.
Quantum computers can
maybe do machine learning and optimization
exponentially faster than classical computers.
Quantum computers can
break all currently used asymmetric encryption protocols
exponentially faster than classical computers.
Quantum vs Classical Computers
Breaking encryption on Quantum Computer
Text
NP-Complete Problems on Classical/Quantum Computer
Breaking encryption on Classical Computer
Resources
Problem size (n)
Decision Problems Complexity Classes
BQP (bounded-error quantum polynomial time )
= set of problems efficiently solvable by a quantum computer
Quantum computers difficult to build due to engineering challenges
Nature | Vol 574 | 24 OCTOBER 2019
Quantum Supremacy | Quantum Advantage | |
---|---|---|
A devices that: | Solves any problem faster than classical | Solves useful problems faster than classical |
Requires | Non-universal quantum computational device | Universal Quantum Computer |
Quantum error correction | ||
Analogies | Fission experiments | Nuclear power stations |
Wright brothers flight | Commercial/military airplanes |
Depth/Time = m
Width/Space = n
Quantum Random Circuit
Outputs = 2n Output strings, each with different probability
Form a random circuit using √ X , √ Y , √ W , and a combination of iSWAP and C-Z.
,Quantum Random Circuit
Computation problem
Input: Circuit C
Output: a sample from the output probability distribution of C
Easy for quantum computer
Difficult for classical computer
Google's superconducting chip
53+1 qubits, depth = 20
How to verify a device which you claim can't even be classically simulated?
Linear cross-entropy benchmarking fidelity
- Collect finite samples x1, x2, x3, ...
- Calculate probabilities P(xi) of measuring xi given circuit C
- Calculate FXEB = 2n Avg(P(xi)) - 1
FXEB = 0 => uniform random distribution
FXEB = 1 => error-free quantum random circuit
Verification that device works
Is quantum supreme?
Google's claim: 10,000 years on a state of the art supercomputer, using the best classical algorithm they could think of.
IBM's claim: Sorry, 2.5 days only using our better classical algorithm!
Quantum device performance: 600 seconds to sample 3 million times
The race to demonstrate quantum supremacy, and onward to quantum computers
By abdullahkhalids
The race to demonstrate quantum supremacy, and onward to quantum computers
- 1,511