Hitting Absolute Zero Has Been Declared Mathematically Impossible
sciencealert.com
sciencealert.com
I think that this is not quite true: there is such a thing as mathematical impossibility in the real world, but it applies only to mathematical models; that is, models cannot exhibit the behaviour. This doesn't prevent the real world from exhibiting that behaviour, but it does mean that, if the real world exhibits that behaviour, then the model is inaccurate.
These caveats might make the notion seem useless (as you seem implicitly to be arguing), but I'd argue that they are quite useful. The whole pursuit of quantum gravity comes from the realisation that relativistic and quantum mechanics are mathematically incompatible. That fact alone doesn't tell us which one, if either, is correct, but it certainly tells us that they can't both be correct in all regimes, and that's indisputable information about the real world that we wouldn't have without idealising it through mathematical models.
By the way, did you edit your post? I thought the post to which I responded only had the sentence above, but on preview I saw:
> If it's impossibility is evident in a mathematical model, that's still physical impossibility.
This sentence I don't understand at all. I would argue instead that there is no such thing as physical impossibility; the real world will do what it likes, and we may not forbid it, only observe that certain things haven't happened yet. Any impossibility we observe in a mathematical model is, I would say almost by definition, a mathematical impossibility, even if we deduce physical consequences from it.
No it is. It is quite true that mathematical impossibility is mathematical and has nothing to do with the real world.
> ... but it applies only to mathematical models; that is, models cannot exhibit the behaviour. This doesn't prevent the real world from exhibiting that behaviour, but it does mean that, if the real world exhibits that behaviour, then the model is inaccurate.
You are talking about the validity of a mathematical model (with respect to a real world phenomena). That is a completely different notion.
Mathematically impossible means that, using the rigors of a mathematical proof, a contradiction is reached starting from the original mathematical assumptions. You started with math and ended with math. No real world involved.
> [quantum mechanics and gravity]
First of all, you're not making your life easier by defending your point using the argument of incompatibility of quantum mechanics and gravity.
And second of all, again you're mixing validity of a mathematical model as applied to observed phenomena, with the notion of mathematical impossibility. If the theory of quantum mechanics and the theory of gravity are incompatible and each on its own is unable to explain all of the observed physical world, that means both are likely inaccurate (rather incomplete) models of reality and we need a new model (maybe string theory) to explain the physical world.
I would argue (as I did in a sibling thread https://news.ycombinator.com/item?id=13878107) that it is this that can't happen. Mathematics has no power over the real world, only over mathematical models (optionally of the real world). A proof of mathematical impossibility does not constrain the real world; it only allows us to deduce that, if the real world does the mathematically impossible, then our models are wrong (or at least incomplete).
Every math-based prediction about the real world will be based on two parts:
1) The world behaves like this model [up to our measurement accuracy].
2) The model implies this prediction.
Their claim would only be speaking to 2) -- that, under the model, you cannot reach absolute zero. The model can still be wrong.
Mathematical proof is mathematical. It has nothing to do with the physical world.
P.S.: Note that 'mathematically shown to be physically impossible' still allows the possibility that the mathematical model was invalid. E.g., what if, after you have mathematically shown it to be physically impossible, you conduct an experiment and the "physically impossible" happens? That means you just provided an evidence that the mathematical model is invalid.
P.S.: There are tons of resources on this topic [1]. Read and make up your own mind.
[1] https://www.google.com/search?q=mathematical+proof+of+physic...
Isn't this a nothingburger? How would you hit absolute zero anyway when the minimum joint uncertainty of any given particle's position and momentum must be greater than Planck's constant / 2?
You do run into some problems with quantum fluctuations which may or may not randomly add energy to the system, I guess that's what this new result is about.
Wait ... wait ... this isn't about mathematics, it's about a mathematical model of physics, of reality. The title is both confusing and confused. Also, if something is mathematically impossible, declaring it so means nothing (because mathematical truths don't rely on human authority).
There's an interesting scientific finding behind the title, but the title is a disaster.
In any case, there's a simple heat-energy-transfer equation that can be used to show that achieving absolute zero isn't possible for the simplest of reasons:
Q(t) = Δq * e^(-t * f)
Q(t) = temperature at time t
Δq = initial temperature difference
f = a rate-of-heat-transfer factor
t = time, seconds
e = base of natural logarithms, equal to lim n -> ∞, (1+1/n)^n (2.171828....)
It's simple mathematics, but its meaning is located in reality, in physics. If that were not true, another mathematical relationship could be substituted. So it's not mathematically impossible, it's physically impossible. This kind of mathematics describes reality, it doesn't substitute for it.
More here: http://arachnoid.com/sage/differential1.html
If a region contains no particles it would be more accurate to say that it doesn't have a temperature than to say that its temperature is zero.
Some of your replies are pointing out that empty space actually still has some states, but even ignoring that, it's just not really sensible to talk about the temperature of nothing.
That also makes it more clear that while reaching 0 (i.e. infinite Beta) is impossible, negative temperatures are possible (this occurs in processes that undergo a state inversion like in a laser / maser). [2]
Here is a plot of Temperature vs. Coldness from 0-100 C, scaled such that water freezes at 100 coldness units and boils at 0 coldness units[1]: https://i.imgur.com/fluOSY2.png
It traces out a pretty gentle curve, which seems like it's not appreciably less linear than our ability to perceive differences in temperatures (from eyeballing this: https://biology.stackexchange.com/a/28522), so probably for day-to-day use inverse temperature would be a perfectly acceptable substitute.
Of course, this is just to say that if we were starting de novo today in determining how to discuss temperature, coldness could be a reasonable choice. I don't think it actually offers substantial advantages over the current system and it would likely be very costly to switch everyone over just for the sake of making it a bit easier to think about why temperature has an absolute zero.
[1] Python source code: https://bpaste.net/show/76bf4f7c36cb
> In statistical mechanics and thermodynamics, temperature is defined as follows:
> 1/temperature = change in entropy/change in energy
> This definition of temperature can go from positive infinity to negative infinity.
For context, the more common definition for absolute temperature is the average kinetic energy of the particles in the system, which of course can't be negative.
Like a really basic proof is:
- It takes an infinite amount of time and resources to remove energy to reach absolute zero
- You can't reach infinity
- Therefore reaching absolute zero is impossible.
What deeper knowledge am I missing?
Since particles not at absolute zero have finite energy, this point is non-trivial and proving this point was actually the focus. (Tangentially, I think this has been a common and strong intuition, and suggested by extrapolation from empirical evidence, that you could asymptotically approach but not reach absolute zero because it would be progressively harder as you got closer. But there's a difference between that and a mathematical proof grounded in assumptions that are well-accepted.)
Yes, if you have this as a known truth, you're basically done.
That's the hard bit. The infinity could simply be an artefact of your description. You could for instance describe direction on a map as 'miles east / miles north' and conclude that it's impossible to move due east or west but that's clearly not the case.
A more sophisticated example would be the event horizon of a black hole, where several quantities seem to become infinite, but it turned out this wasn't the case with the right coordinate system, meaning that it's likely all too possible to cross the event horizon.
Note that in some systems it's possible to have negative temperatures, which are "hotter" than infinite temperatures. See https://en.wikipedia.org/wiki/Negative_temperature
Thermodynamics is cool!
Maybe I missed it but did the article actually define this "speed of cooling"?
Q(t) = Δq * e^(-t * f)
Q(t) = temperature a time t
Δq = initial temperature difference
t = time, seconds
f = heat transfer efficiency factor
e = base of natural logarithms (2.71828...)
The linked article addresses some more deep reasons why one can never achieve absolute zero, but this well-known and conventional (i.e. non-quantum) equation is a sufficient reason.
Math is a description of the physical universe not a definition. As another commented, what is mathematically possible and impossible is entirely our own invention.
That's actually quite a controversial statement that many professional mathematicians might beg to differ with.
Viewing mathematical results and axioms as being totally invented, opens the possibility of being able to just will contradictory proofs into existence, and that is simply not the case in practice. Mathematics might be more for description than definition, but what it's describing isn't usually the physical world, it's the logical limitations of certain principles. And if these principles are found to be reflected in some aspect of the "real world", then the corresponding mathematics becomes applicable. But you can't just pick any arbitrary axioms/principles and have them automatically be mathematically coherent either, so again we're limited in the maths that we can "invent".