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.
You know Taylor expansions ? So every complicated function of x can be written as soe expansion of infinite powers of x, a0 +a1 ( x )+a2 ( x^2 ) ... And so on Every complicated force can then be written as a function of displacement x like this , now if x is small ignore the sqaure and higher order terms what you get is the linear part , which looks something like F = a1x + a0 , the a0 part only shifts the default position (you can rewrite x as x-c so that a0 goes to zero,) lo and behold you have F=Kx everything is like your familiar hooks law spring as long as x is small enough.
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.
The first relevant term is quadratic in the potential around a stable equilibrium but linear in the force. That's why they are called linear harmonic oscillators, I thought that was obvious in my description.
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)?
Outside of equilibrium things get more complicated. In principle, you can still do a first order expansion to understand the dynamics in a vicinity of that regime, the problem is that outside equilibrium you are not going to stay near the point of the solution space you started at. You will keep drifting, at least until you reach another stable equilibrium if there is one.
Systems outside equilibrium are much harder to study because we cannot linearize. Basically.
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).
[edit] this reminds me of something I read about how NASA doesn't predict solar eclipses by trying to keep an exact model of the solar system, but rather uses pattern matching algorithms.
> 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.
