Challenging Claims Quantum Supremacy
Challenging Claims Quantum Supremacy
Challenging Claims Quantum Supremacy
A Tensor + RL Approach
Xiao-Yang Liu
● Contributions
○ Tensor networks: representation
○ Reinforcement learning: search
○ Classical simulation: our results
● Future Plan
○ Educating Quantum
○ Large language models for quantum simulation
○ Open Model Framework (OMF)
The Quest for “Quantum Supremacy”
● Quantum Computing: speedups
○ Shor’s factoring: exponential
○ Grover’s search: quadratic
Achieved or to be achieved?
NISQ era
Goal: empirical quantum advantage
Challenges:
● Limited number of qubits
● High error rate of qubits and gates
Metric: Linear Cross-entropy Benchmarking Fidelity (XEB)
Randomized distribution
Arute F, Arya K, Babbush R, et al. Quantum supremacy using a programmable superconducting processor. Nature, 2019.
Sycamore Circuits (Random Quantum Circuit)
● 53 qubits, 20 cycles
● Single-qubit gates, uniform random from
● Two-qubit gates: fSim
● Cycles: m (in ABCDCDAB sequence)
Arute F, Arya K, Babbush R, et al. Quantum supremacy using a programmable superconducting processor. Nature, 2019.
Sycamore Circuits (Random Quantum Circuit)
Arute F, Arya K, Babbush R, et al. Quantum supremacy using a programmable superconducting processor. Nature, 2019.
Debate: Classical Simulation
Xiao-Yang Liu. Classical Simulation of Quantum Circuits: Parallel Environments and Benchmark. NeurIPS 2023.
Classical Simulations of Random Quantum Circuits
left-multiplication
=
Matrix-vector representation
Computational representation
Initial State
P1 P2 P3 P4 P5
P1 P2 P3 P5
The identity gate is a logic gate in quantum computing that, essentially, does nothing.
Second Gate
P1 P2 P3 P4 P5
control
qubit
target qubit
Third Gate
P1 P2 P3 P4 P5
Calculation of a particular amplitudes of the final state
P1 P2 P3 P4 P5
Method 1. Final State
left-multiplication
=
Matrix-vector representation
Computational representation
Method 1. State Vector Method
Advantages: Disadvantages:
● Mathematical Simplicity ● Exponential complexity
State vector method offers an intuitive Dimensional increase in vector representation with
and concise way to describe quantum qubit count leads to exponential complexity.
systems, aiding comprehension and
computation.
● High memory requirements
Burgholzer L, Ploier A, Wille R. Tensor Networks or Decision Diagrams? Guidelines for Classical Quantum Circuit Simulation[J]. arXiv preprint arXiv:2302.06616, 2023.
NeurIPS 2023
NeurIPS 2022 NeurIPS 2022
Machine learning,
Springer-Nature 2024
Initial Input
Single-qubit Gate
Two-qubit Gate
Method 2. Tensor Network Method
Tensor Network
contraction
State vector method requires state space (storage) for each operation.
Method 3. Decision Diagram Method
(relatively new, not stable yet)
Comparison of Three Methods
Burgholzer L, Ploier A, Wille R. Tensor Networks or Decision Diagrams? Guidelines for Classical Quantum Circuit Simulation[J]. arXiv preprint arXiv:2302.06616, 2023.
RL/ML Shows Great Potentials
Matrix Multiplication
Operations Tensor Contraction (CUDA)
(AlphaTensor, Nature 2023)
The ordering in blue use 976 multiplications The ordering in red use 5056 multiplications
Tensor Network Contraction Ordering (TNCO) Problem
1
2
tensor
3
m
4
Encoding the Contraction Ordering
Tensor network
s 1 s
1 4 34
i k i
k m
j
2 j 3 2
1
k
2
tensor
3
m
4
Encoding the Contraction Ordering
Tensor network
s 1 s
1 4 34 34
i k i
k m s i j
j
2 j 3 2 12
1
k
2 s
tensor
i j
3
m
4
Encoding the Contraction Ordering
Tensor network
s 1 s
1 4 34 34
i k i
k m s i j
j
2 j 3 2 12
1
k
2 s
tensor
i j
3
m
4
L2O and L2A Algorithms
L2A for Discrete Opt (NeurIPS 2023): A huge discrete space, transition
according to a policy pi, which approximates a Boltzmann distribution p(x)
L2A Algorithm Using Transformer Policy Network
● Sampling the conditional probability
(autoregressive)
Xiao-Yang Liu, Zechu Li, Zhuoran Yang, Jiahao Zheng, Zhaoran Wang, Walid, Anwar Walid, Jian Guo, Michael I. Jordan, ElegantRL-Podracer:
Scalable and elastic library for cloud-native deep reinforcement learning, NeurIPS Workshop on Deep Reinforcement Learning, 2022
RL Pipeline on GPU
RL Method
nu
m
Sample o
… f envs Replay Buffer 0 Replay Buffer 1
orderings
N Optimize
Construct undirected graphs nu
m
A B C D A B C D … of
en
vs
A B C D … A B C D …
A j l i A j l i N A lk i A
j l i j il il
B j k Create B j
j
kj l i
k B
j
lkj lm
k
i … B
C l k m parallel envs C l kj mk
l k m C lk lkj mk C nu
il k m
D i m D i l m k m D i lm i m k lm D of
i m il k en
i m j lm … vs
Contraction N
nu and calculating
A B C D A B C D m of A B C D … … A B C D …
… en
A 1 A 1 vs A 1 1 A 1 1 1 1
1 N 1
B 1 Create B 11 B 1 1 1 … B 111 1 111
1 1
C 1 parallel envs C 11 1 C 1 C 1 11 1 111
D 1 D 111 1 1 11111
11 1 D D
1 1 1 1 1 1
1 1 1 1 1 1 1
Massive Parallel Simulation on GPU
Verification on Maxcut Problem
RL
Applications Recommendation Communication
Solver
Simulator Cloud Simulator
Roger G. Melko & Juan Carrasquilla. Language Model for Quantum Simulation. Nature Computational Science, Jan., 2024.
3). Open Model Framework (OMF) with Linux Foundation
Funding Opportunities
Quantum computing
● IBM Research
● U.S. National Quantum Initiative
● U.S. NSF Quantum Leap
● U.S. NSF Quantum Information Science
FinTech:
● $5K for FinRL contest 2023, by Vatic Ventures and NYU √
● $300K per year, by Linux Foundation (LF AI & Data, FinOS)
● $100K per year, CRAFT Center
Computing power
● $10K for quantum services on AWS √
● $700K per year by IDEA and NVIDIA, DGX SuperPOD (1500 GPUs A100) √
● $100K computing by Falcon LLM Foundation √
Appendix
Build A SandBox: from classical to quantum
Classical Quantum
RL
Applications Recommendation Communication
Solver
Simulator Cloud Simulator
Tensor Network
contraction
State vector method requires state space (storage) for each operation.
Tensor Network Contraction Ordering Environment
Tensor Network Contraction Ordering Environment
Tensor Network Contraction Ordering Environment
Tensor Network Contraction Ordering Environment
Massive Parallel Tensor Network Contraction Ordering Environment
Scalar
…
Scalar
…
…
Scalar
Classical Quantum
Recommendatio RL
Applications n
Communication
Solver
Simulator Cloud Simulator