1. Every closed system has a fixed total energy, so many systems just settle into an oscillating state, where kinetic energy converts into potential and back.
2. Most real world systems are approximately closed, so they leak energy till they have low total energy (this also follows from the second law).
3. An oscillating system with low total energy can have its potential energy accurately approximated with a quadratic function. Or in other words a harmonic oscillator.
So, while I can't say if there are many interesting/useful coupled classical oscillator systems that need an exponential speedup for us to study, it is nevertheless exciting to hear that such systems do admit a quantum speedup.
It models first order perturbations over a stable equilibrium. For sufficiently small perturbations around a stable equilibrium everything is an harmonic oscillator.
It's basically taking the first order perturbation of a Taylor expansion around a local minima.
I'm not sure that's less complicated, at least for my level understanding.
Also, just a reminder that it is the second-order term in the Taylor expansion that is relevant for harmonic oscillators. Zeroth-order term (constant) does not determine the dynamics. The first-order term (linear) is zero only for low energies, as any potential well at sufficiently low energies will be symmetric. The second-order term (quadratic) is what provides the restoring force towards the equilibrium.
That's the same reason, why we linearize nonlinear systems around the equilibria to apply linear control theory, right?
While in control, this makes sense to me, since the goal is often to stabilize the system, how does this help with modeling the whole system in general (far away from any equilibrium point)?
i suppose it’s because most interesting forces are conservative, i.e. if motion doesn’t dissipate energy (like friction, unlike electromagnetism) then energy is conserved so perturbations must bounce. OP contains the key insight- dissipating systems dissipate proportional to total energy, so low energies are approximately stable, IIUC.
If they are purely linear - it is simple; just write a matrix of their spring coefficients and diagonalize it. If there are non-linear terms, well, then it isn't. This is the case in one of the Quantum Field Theory (and its instance, the Standard Model), the most fundamental theory describing particles. One of the takes on Feynman diagrams is that it is a series approximation of non-linear interactions in the QFT.
And mostly this fails. You cant really analyse the world using simple closed-form formula -- all the stuff that this worked for is studied and reported in books.
Explicitly, WLOG the potential is `V(x) = V_0 + V_1 (x-x_0) + V_2 (x-x_0)^2 + ...`. But the first derivative is 0 near a minimum, so V_1 = 0. The constant V_0 term doesn't affect dynamics, so choose it to be 0. Then the higher order terms go to 0 as x->x_0, so you have `V(x) = V_2 x^2` near any stable point.
And it's pretty obvious that lots of real-world phenomena 1. do have stable states and 2. do oscillate around them before settling, so the model is pretty good for lots of real-world systems (with the error being that the system is generally not conservative, so eventually it settles into the equilibrium because friction is stealing the energy).
> discovery of a new quantum algorithm that offers an exponential advantage for simulating coupled classical harmonic oscillators.
> To enable the simulation of a large number of coupled harmonic oscillators, we came up with a mapping that encodes the positions and velocities of all masses and springs into the quantum wavefunction of a system of qubits. Since the number of parameters describing the wavefunction of a system of qubits grows exponentially with the number of qubits, we can encode the information of N balls into a quantum mechanical system of only about log(N) qubits.
The quantum algorithm couldn't simulate these things.
Is this a new result, giving that quantum field theory is described in terms of quantum harmonic oscillators?
Most surpisingly this would include the hidden subgroup problem and hence give you a classical poly-time algorithm for integer factorization.
A very cool result!
It'd be interesting to see how many other systems can be approximated by the system they've solved for (without incurring an exponential penalty in the translation).
The result looks very interesting, and the blog post is well written (e.g., I did not know about the prior work re. Grover's algorithm and pendulum systems).
The blog post is also based on a recent FOCS paper, and the authors are reputable people in CS theory, if that convinces anyone to take a closer look.
It's like saying quantum teleportation [2] is BS, just because you don't like the SF sounding word "teleportation".
https://blog.research.google/2022/11/making-traversable-worm...
The "wormhole" thing was scientifically interesting as a quantum simulation of a non-trivial gravitational thing. A lot of the media stuff was garbage, but the actual science they did was quite cool.
