STEP-BY-STEP GUIDE TO NONLINEAR OPTIMIZATION WITH QUANTUM COMPUTERS
JIAQI LENG (UC BERKELEY), YUXIANG PENG (PURDUE)
LEI FAN (UH), XIAODI WU (UMD)
TUT 25 | SESSION 1
1
9/3/2025
TUT 25 | SESSION 1 (1:00 – 2:30 MDT)
SESSION 1 | AGENDA
TUT 25 | SESSION 1
2
9/3/2025
A SURVEY ON AUDIENCE BACKGROUND IN QC (TBA)
TUT 25 | SESSION 1
3
9/3/2025
INTRODUCTION TO �QUANTUM HAMILTONIAN DESCENT
Presenter: Jiaqi Leng (University of California, Berkeley)
TUT 25 | SESSION 1
5
9/3/2025
Nonlinear Optimization
TUT 25 | SESSION 1
6
9/3/2025
Nesterov’s Accelerated GD (NAG)
NAG & Hamiltonian Dynamics
TUT 25 | SESSION 1
7
9/3/2025
Nesterov’s Accelerated GD (NAG)
NAG & Hamiltonian Dynamics
TUT 25 | SESSION 1
8
9/3/2025
Hamiltonian Mechanics: From Classical to Quantum
Classical Hamiltonian Mechanics
Quantum Hamiltonian Mechanics
TUT 25 | SESSION 1
9
9/3/2025
Quantum Hamiltonian Descent (QHD)
Nesterov’s Accelerated GD (NAG)
TUT 25 | SESSION 1
10
9/3/2025
Quantum Hamiltonian Descent (QHD)
Quantum Hamiltonian Descent, the general form
[arXiv:2303.01471, 2503.15878]
Gradient Descent (GD)
(Accelerated) Gradient Flows
QHD
TUT 25 | SESSION 1
11
9/3/2025
Physical Interpretations
A Quantum Heavy Ball Method
A quantum “heavy ball” that overcomes local minima before it becomes “classical”
QHD FOR CONVEX PROBLEMS
TUT 25 | SESSION 1
12
9/3/2025
LARGE QUANTUM SPEEDUPS (PART 1)
TUT 25 | SESSION 1
13
9/3/2025
LARGE QUANTUM SPEEDUPS (PART 2)
TUT 25 | SESSION 1
14
9/3/2025
QHD ON QUANTUM HARDWARE
TUT 25 | SESSION 1
15
9/3/2025
QHD ON QUANTUM HARDWARE
TUT 25 | SESSION 1
16
9/3/2025
T-Gate Count Estimation of Executing QHD on Universal Quantum Computers (Gate Models)
QHD ON QUANTUM HARDWARE
Analog Quantum Computers
TUT 25 | SESSION 1
17
9/3/2025
QHD ON ANALOG QUANTUM COMPUTERS
TUT 25 | SESSION 1
18
9/3/2025
TUT 25 | SESSION 1
19
9/3/2025
Finite difference
Kinetic Operator
Tri-diagonal
Potential Operator
Diagonal
HAMILTONIAN EMBEDDING OF QHD
QHDOPT: �A SOFTWARE FOR QUANTUM OPTIMIZATION
Presenter: Yuxiang Peng (Purdue University)
STATE OF QUANTUM4OPTIMIZATION
TUT 25 | SESSION 1
21
9/3/2025
Combinatorial
problems
Continuous
problems
Long-term (digital)
Near-term (analog)
Grover’s search [1996]
Quantum annealing [1998]
Quantum approximate optimization algorithm (QAOA) [2014]
Quantum interior point methods [2023]
Quantum SDP solvers [2019]
Quantum central path method [2023]
Quantum Hamiltonian descent [2023]:
EMPIRICAL QHD FOR YOU!
TUT 25 | SESSION 1
22
9/3/2025
None of these is easy!
(Even for quantum experts!)
4. Familiar with quantum devices and their analysis
1. Understand quantum mechanics
2. Know the design of QHD for specific instances
3. Know quantum programming
TUT 25 | SESSION 1
23
9/3/2025
You
Problem instance
QHDOPT
Python interface
Various quantum devices
Minimum
QHD is for Everyone!
A Quantum Software for
Nonlinear Optimization
TUT 25 | SESSION 1
24
9/3/2025
univariate
bivariate
What Can QHDOPT Solve?
TUT 25 | SESSION 1
25
9/3/2025
SymPy Interface
QP Interface
QHDOPT: User Interface
TUT 25 | SESSION 1
26
9/3/2025
Through a new paradigm of quantum computing
Implementation of QHDOPT
Input Format
SymPy / QP
QHDOPT Interface
QHDOPT Post-Processor
Optimal
Solution
Analog Compilation
Hamiltonian-Oriented Quantum Computing
Algorithm Design
Time
Quantum Hamiltonian Descent [LHLW, 23]
An algorithm mimicking quantum particles in potential wells
D-Wave
IonQ
SimuQ
SimuQ
[PYLW, 24]
A framework for programming and compiling quantum simulation
Hamiltonian-oriented
algorithm design
Hamiltonian-oriented
software support
TUT 25 | SESSION 1
27
9/3/2025
QHD evolution
Kinetic
Potential
obj. func.
BUT
Most quantum devices are spatially discrete
Spatial discretization of QHD evolution
| | |
| | |
| | |
Implementation of QHDOPT
TUT 25 | SESSION 1
28
9/3/2025
Most quantum devices have local interactions and controls
BUT, again
Hamiltonian Embedding
[LLPW, 24]
Example:
unary encoding
Implementation of QHDOPT
TUT 25 | SESSION 1
29
9/3/2025
Quantum platforms have
different programming interfaces
SimuQ [PYLW, 24]
On D-Wave, IonQ, and QuTiP (classical simulator)
Programmed in SimuQ’s Hamiltonian Modeling Language
Compiled by SimuQ’s compiler
Provider’s compilation to machine instructions
SimuQ Compilation
TUT 25 | SESSION 1
30
9/3/2025
NLOPT problem
Continuous-space
Hamiltonian Evo.
Discrete-space Hamiltonian Evo.
2-local Hamiltonian Evo.
Quantum device
QHD
Spatial discretization
Hamiltonian embedding
Analog compilation
NLOPT
refined solution
Discrete-space measurement res.
Quantum device measurement res.
Ham. Emb.
Decoding
Classical
Refinement
Ipopt
SciPy
TNC
Classical solvers with quantum warm-start
QHDOPT Post-Processing (Refinement)
TUT 25 | SESSION 1
31
9/3/2025
Time-to-solution (s)
Beats Ipopt on low-dim complicated bivariate problems
How Does QHDOPT Perform?
TUT 25 | SESSION 1
32
9/3/2025
Beats Ipopt, BARON on 50-dim QP-like problems
Wall-clock time
QHDOPT on D-Wave devices
Ipopt, BARON on a laptop
Timeout limit: 20min
Time-to-solution (s)
f0
f1
f2
f3
f4
f5
f6
f7
f8
f9
Function
0.001
0.002
0.01
0.02
0.1
0.2
1
2
10
20
100
BARON
IPOPT
QHDOPT
Solver
Timeout
Timeout
Timeout
Timeout
Timeout
50-dim non-convex
quadratic programming
Beats Ipopt,
matches BARON
on 50-dim QP problems
Current capability
How Does QHDOPT Scale?
QHDOPT for Nonconvex QP
33
NP-hard with indefinite Q
(For implementation details, see our paper arXiv:2303.01471 Appendix F)
Time-to-Solution (TTS)
The lower, the better!!
Q & A
TUT 25 | SESSION 1
34
9/3/2025
Input Format
SymPy / QP
QHDOPT Interface
QHDOPT Post-Processor
Optimal
Solution
Analog Compilation
Hamiltonian-Oriented Quantum Computing
Algorithm Design
Time
Quantum Hamiltonian Descent [LHLW, 23]
An algorithm mimicking quantum particles in potential wells
D-Wave
IonQ
SimuQ
SimuQ
[PYLW, 24]
A framework for programming and compiling quantum simulation
Hamiltonian-oriented
algorithm design
Hamiltonian-oriented
software support
A Quantum Software for
Nonlinear Optimization
USE QHDOPT: A STEP-BY-STEP GUIDE�
Presenter: Lei Fan (University of Houston)
QHD EXAMPLE
TUT 25 | SESSION 1
36
9/3/2025
Modeling with SymPy or QP format
Form a Hamiltonian function
Spatial Discretization
Hamiltonian embedding
Deploy on a quantum machine
Post-Processing
Target Problem
Preprocessing:
Raw Output
QHD EXAMPLE
TUT 25 | SESSION 1
37
9/3/2025
Step 1: Modeling with SymPy or QP format
Step 2: Select the solver of QHD
Step 3: Obtain and post-process output
PENALTY METHOD + IPOPT
TUT 25 | SESSION 1
38
9/3/2025
Add slack variables
APPLICATION IN ENERGY SYSTEMS
TUT 25 | SESSION 1
39
9/3/2025
Electricity to Hydrogen Production System
Mingze Li, Siyuan Wang, Lei Fan, Zhu Han, “Integrated Quantum Hamiltonian Descent with Interior Point Method for Optimal Schedule of Hybrid Electricity-to-Hydrogen System” IEEE KEPC 2025.
APPLICATION IN ENERGY SYSTEMS
TUT 25 | SESSION 1
40
9/3/2025
Hydrogen Production Efficiency Curve
APPLICATION IN ENERGY SYSTEMS
TUT 25 | SESSION 1
41
9/3/2025
Simulation Results
Case | Variables | Constraints | Optimal Objective Value | Computational Time | ||||
Pure-IPOPT ($) | IPOPT 1k �Samples ($) | QHD ($) | QHD+IPOPT ($) | IPOPT 1k time (ms) | QHD+IPOPT (ms) | |||
1 | 9 | 6 | -4.63 | 345.64 | 107.68 | 345.64 | 26,393 | 45.032 |
2 | 12 | 8 | -5.33 | 465.37 | 139 | 465.37 | 28,322 | 47.324 |
3 | 15 | 10 | -5.53 | 587.76 | 156.62 | 587.76 | 30,892 | 44.406 |
4 | 18 | 12 | -6.87 | 713.31 | 185.33 | 609.46 | 32,382 | 48.596 |
WHAT KIND OF APPLICATIONS CAN YOU ENVISION?
TUT 25 | SESSION 1
42
9/3/2025
Energy Systems
Healthcare
ML Efficiency
Quantitative Finance
More???
REFERENCES
TUT 25 | SESSION 2
43
9/3/2025
THANKS FOR YOUR ATTENTION!
TUT 25 | SESSION 2
44
9/3/2025