|
1
|
- Olly Downs
- Princeton University & Analytical Insights, Inc
- http://olly.downs.net
- http://www.analyticalinsights.com
|
|
2
|
- Global Optimization using QM
- Quantum Dynamics for Optimization
- Quantum Mathematics
- 1d and 2d Visual Examples
- Efficient N-dimensional Optimization
- Tricks from Quantum Mathematics
- How to truncate the set of basis functions
- ‘Hard’ Problems and Polynomial Cost Functions
- Classical vs. Quantum
- Factoring bi-primes
- Conclusions and ongoing work
|
|
3
|
- Model–based learning problems typically optimization of cost function on
model parameters
- Motivated by binary combinatorial optimization problems, represented as
smooth (polynomial) cost functions
- State of the art for general global optimization is still simulated
annealing
- Physical analogy to a classical thermally excited particle
- Novel: Take physical analogy with quantum particle
|
|
4
|
- Key distinction between classical and quantum is the tunneling
phenomenon
- Tunneling – particle of energy E can penetrate barriers with energy, V
>E
|
|
5
|
- 1-dimensional tunnelling (Burges & Downs)
- Painfully hard to integrate Schrödinger equation forward in time
- Simulating Quantum dynamics not efficient strategy for global
optimization algorithm
|
|
6
|
- Global Optimization using QM
- Quantum Dynamics for Optimization
- Quantum Mathematics
- 1d and 2d Visual Examples
- Efficient N-dimensional Optimization
- Tricks from Quantum Mathematics
- How to truncate the set of basis functions
- ‘Hard’ Problems and Polynomial Cost Functions
- Classical vs. Quantum
- Factoring bi-primes
- Conclusions and ongoing work
|
|
7
|
- In classical mechanics particle is specified by velocity and position
- In QM particle is fully described by wavefunction, y(x,t) such that
- Dynamics are described by the Schrödinger Eqn.
|
|
8
|
- Solution by separating variables gives spatial eigenfunction equation
- Ladder of discrete eigenvalues are particle energies associated with the
eigenfunctions
- Eigenfunctions are orthonormal, and describe a complete basis
- For quadratic V (harmonic oscillator)
|
|
9
|
- Key Theorem:
- For large enough mass, the lowest energy eigenfunction is localised to
the global min. of the potential
- Solutions of Schrödinger for general Vfull are intractable
- Approximate solutions for polynomial Vfull
- Expand potential as Vfull=Vsimple+Vperturb
- Using completeness, expand eigenfunctions in terms of those of Vsimple
- To approximate lowest energy eigenstate, choose ai to
minimise energy expectation
|
|
10
|
- Using Vsimple= local quadratic approx (Harmonic Oscillator)
this is tractable for any polynomial Vfull
- Approximation Summary
|
|
11
|
- Global Optimization using QM
- Quantum Dynamics for Optimization
- Quantum Mathematics
- 1d and 2d Visual Examples
- Efficient N-dimensional Optimization
- Tricks from Quantum Mathematics
- How to truncate the set of basis functions
- ‘Hard’ Problems and Polynomial Cost Functions
- Classical vs. Quantum
- Factoring bi-primes
- Conclusions and ongoing work
|
|
12
|
|
|
13
|
|
|
14
|
|
|
15
|
|
|
16
|
- In 2d we consider the 4-minimum. quartic potential
|
|
17
|
|
|
18
|
|
|
19
|
- Global Optimization using QM
- Quantum Dynamics for Optimization
- Quantum Mathematics
- 1d and 2d Visual Examples
- Efficient N-dimensional Optimization
- Tricks from Quantum Mathematics
- How to truncate the set of basis functions
- ‘Hard’ Problems and Polynomial Cost Functions
- Classical vs. Quantum
- Factoring bi-primes
- Conclusions and ongoing work
|
|
20
|
- Compute or set Hessian of Vsimple at local minimum
- Change coordinates to the eigenbasis of the Hessian
- In eigenbasis the HO eigenfunctions factorize
- We evaluate matrix elements using products of the 1d HO ladder
operators, and orthogonality
|
|
21
|
- Consider problems with solutions of interest at vertices of binary
hypercube
- Origin at centre of cube, then choose ‘width’ of Gaussian factor in HO
basis functions to span the binary cube
- ħ becomes a parameter which is chosen to facilitate the large-mass
limit and to accommodate the size of the hypercube
|
|
22
|
- Assuming problems on the binary hypercube, consider case of global min.
at opposite diagonal, and in direction of largest eigenvalue of Hessian
at local min.
- Place Gaussian of width equal to HO groundstate of local min., in global
min.
- Compute overlap integrals between local min HO eigenstates and Gaussian.
|
|
23
|
- This gives a Poisson distribution with parameter a2 over the
overlap integral of the nth state
|
|
24
|
- Empirically, the representations are sparse in the significantly used
basis functions (a)
- We might consider selecting functions which have low energy under the
full Hamiltonian (b)
|
|
25
|
- Global Optimization using QM
- Quantum Dynamics for Optimization
- Quantum Mathematics
- 1d and 2d Visual Examples
- Efficient N-dimensional Optimization
- Tricks from Quantum Mathematics
- How to truncate the set of basis functions
- ‘Hard’ Problems and Polynomial Cost Functions
- Classical vs. Quantum
- Factoring bi-primes
- Conclusions and ongoing work
|
|
26
|
- Finding the global minimum of an N-d quartic polynomial is NP-hard (Bellare
et. al., 1993)
- Specific problems
- Factoring (Burges & Downs)
- Travelling Salesman (Downs & Attias)
- Polynomial potentials well suited to current approach since we can
express polynomial terms as products of powers of operators
|
|
27
|
- Why can’t we use the Diffusion equation?
- For Harmonic Oscillator potential Schrödinger and Diffusion are
isomorphic
|
|
28
|
- Similar matrix diagonalization problem to approximate ground state
- Integrating Factor transformation to convert diffusion operator to
self-adjoint form
- Self-adjoint version of Diffusion operator is no-longer polynomial in V
- Cannot use harmonic oscillator ladder operator tricks
- No direct classical equivalent to Tunneling Salesman
|
|
29
|
- Global Optimization using QM
- Quantum Dynamics for Optimization
- Quantum Mathematics
- 1d and 2d Visual Examples
- Efficient N-dimensional Optimization
- Tricks from Quantum Mathematics
- How to truncate the set of basis functions
- ‘Hard’ Problems and Polynomial Cost Functions
- Classical vs. Quantum
- Factoring bi-primes
- Conclusions and ongoing work
|
|
30
|
- Currently employ naïve cost function
- Toys: biprimes 6, 35, 143, 899 & 1073
- Successful obtaining prime factors - 1073 compute time ~6 hours!
|
|
31
|
- Global Optimization using QM
- Quantum Dynamics for Optimization
- Quantum Mathematics
- 1d and 2d Visual Examples
- Efficient N-dimensional Optimization
- Tricks from Quantum Mathematics
- How to truncate the set of basis functions
- ‘Hard’ Problems and Polynomial Cost Functions
- Factoring bi-primes
- Conclusions and ongoing work
|
|
32
|
- Simple, novel approach to Optimization
- Made tractable by HO operator tricks, and Quantum intuition
- Complexity controlled by choice of basis functions (useful when
sub-exponential?)
- Analogous mathematics do not transfer to Diffusion Equation
- Use Quantum Field Theory to model multiple non-interacting particles
- Patent Pending
|
|
33
|
- John Hopfield
- David Heckerman
- Chris Burges
- Robert Rounthwaite
- Machine Learning & Applied Statistics Group @ MS Research
- Microsoft Research Graduate Fellowship
- Jeanette Downs
|
|
34
|
- Email: tunneling@analyticalinsights.com
|