For the parallel historical development of 'the continuum' in physics, I recommend this readable survey: Paper: https://arxiv.org/abs/1609.01421 https://math.ucr.edu/home/baez/continuum.pdf Blog summary with discussion: https://johncarlosbaez.wordpress.com/2016/09/08/struggles-wi... https://johncarlosbaez.wordpress.com/2016/09/09/struggles-wi...
Struggles with the Continuum
John C. Baez
2016 · arXiv
- HN score
- 1
- Mentions
- 16
- Readers
- 6
- Months
- 13
From the abstract
Our assumption that spacetime is a continuum leads to many challenges in mathematical physics. Singularities, divergent integrals and the like threaten many of our favorite theories, from Newtonian gravity to classical electrodynamics, quantum electrodynamics and the Standard Model. In general relativity, singularities are intimately connected to some of the theory's most dramatic successful predictions. We survey these problems and the large amount of work that has gone into dealing with them.
Metadata: arXiv. Abstracts retain their original authors’ rights.
In the conversation
Original HN comments, with labels from simple text rules. A label describes the whole comment and may miss context or irony. Read the discussion to make up your own mind. About the labels
16 selected excerpts · 16 total mentions
Math is a tool for structured reasoning. We often want to reason about things that physically exist. Why should we use a tool that assumes the existence of something that literally cannot physically exist? That introduces the danger that of admitting all sorts of unphysical possibilities into our theories. I think Baez's paper, Struggles with the Continuum, shows a lot of past difficulties we've had that resulted from this: https://arxiv.org/abs/1609.01421
There are all kinds of blow-ups in Newtonian mechanics and in other equations of physics. The singularity at the center of a black hole in general relativity is a famous example. The ultraviolet catastrophe in classical thermodynamics was another. The presumption is that blow-ups in an equation indicate a mismatch between the equation and the true physical world, telling physicists to look for better theories, whose equations don't blow up. For the ultraviolet catastrophe, the mystery was solved through the discovery of quantum mechanics. For GR, it is still unsolved, and the solution is expected to come from a theory of quantum gravity that hasn't yet been invented, but is the target of tons of research. Here's a cool expository article about blow-ups in classical mechanics and elsewhere: https://arxiv.org/abs/1609.01421
As an aside, this idea that reality is "geometrical" leads to all kinds of fascinating paradoxes[1]. [1] https://arxiv.org/abs/1609.01421
In an accelerating expanding universe like the one we appear to occupy (and the one modelled by our current "concordance" standard model of comology), the comoving horizon is at constant comoving distance. Cast into more Earth-centric coordinates, it is at a finite spatial distance at all finite times. However, there is no reason to expect that a timelike worldline rooted at "here and now" (converting a chosen comoving coordinate into the origin of spherical coordinates for a Eulerian observer) cannot be extended into the infinite future, and at +infinite time the horizon will be at an infinite spatial distance in this system of coordinates. We don't even need to say…
Read the full comment
anything about the matter content of the Hubble volume at any time, anything about -infinite time, or anything about how various measures of entropy fit in; all of these can generate infinities that defy easy (and possibly any) removal in a universe similar to the concordance model. A taste of this can be found at https://en.wikipedia.org/wiki/Cosmological_horizon#Future_ho... More deeply and technically, Baez's "Struggles with the Continuum" is great A smooth manifold tends to generate infinities and infinitesimals, and all our fundamental physical descriptions of the universe we inhabit are (at least at present) defined on a Lorentzian spacetime, which is a smooth manifold. He discusses practical reasons to [a] worry about infinities and [b] to work with them anywhere because they might not be removable. https://arxiv.org/abs/1609.01421 (§5 starting on p. 27 is directly relevant, and the concluding §6 is pithy).
Try this physics paper[1] explaining how pretty much every model we have of physics is broken in fundamental ways. Things you take for granted because of what you've read in popular media (eg., heat death of the universe) are simply speculation based on stretching an incomplete mathematical model to its limits. The simulated reality nonsense is the same bad logic in a different guise. [1]: https://arxiv.org/abs/1609.01421
> Can you give some examples? See Baez's paper, Struggles with the Continuum, https://arxiv.org/abs/1609.01421 The UV catastrophe is probably the most well known.
> Here, it is absolutely necessary for QM to work that the unmeasured state is real-valued You're just doubling down on the premise that a theory founded on a formalism based on unbounded numbers requires unbounded numbers to work. Sure, but why is that necessarily reflective of reality? Why does that entail that no other formalism that doesn't embed infinities / continuity is also not possible? I simply see no reason to accept your conclusion. The infinities you see as essential could very well simply be artifacts of our formalisms. In fact, I'd conjecture that our continuous formalisms are at the very heart of some core problems in physics [1], and that at least some of those problems can be resolved by exploring more discrete formalisms. I suppose we'll see. [1] https://arxiv.org/abs/1609.01421
That was the old thinking. Turns out it leads to divergences which was one of the difficulties that quantum theory overcame. Baez has a good overview of these kinds of problems: Struggles with the Continuum, https://arxiv.org/abs/1609.01421 I think that any theory that admits point-like objects or infinities will likely lead to unphysical results and paradoxes.
> Oh no I get that, but two comments above inciampati was suggesting that we will end up in a situation where some variable will have to have an infinite value The black hole information paradox from that article presumably fits. The conclusion from GR is that no information can escape, which is ultimately incompatible with QM, and that conclusion ultimately depends on the infinite density of the singularity. I think the more charitable reading is that we'll find situations where either no sensible calculation can be done, or the sensible calculations we do churn out nonsense. Divergence in the UV catastrophe was an example of that, and Baez covered more here: Struggles with the Continuum, https://arxiv.org/abs/1609.01421
> But when they tried to quantize gravity, they ran into unnatural infinities that had to be sidestepped with clumsy mathematical tricks. Maybe they run into unnatural infinities because all of our formalisms in physics are still fundamentally continuous rather than discrete. Uncountable infinities are baked right into the foundations of how we use reason about these systems, so infinities will naturally result. Physics has repeatedly had to tame infinities by elaborate tricks, or by eliminating them entirely [1]. Some people are increasingly looking to discrete formalisms, and I think this is a promising way forward, both for mathematics and physics. [1] Struggles with the Continuum, https://arxiv.org/abs/1609.01421
Nobody knows of any certain reasons to not scale, but there's plenty of speculation. Someone else posted about Gil Kilai in this subthread, so he's one high profile person that has documented his skepticism on quantum computing and explained his reasons. For my part, I don't think quantum foundations are on a firm footing. I think the measurement problem is still unresolved to a satisfactory degree, which means our understanding of decoherence is incomplete. Per the link I posted above, there's also a good chance that gravity is inherently decoherent, which means entanglement will naturally breakdown in various conditions around mass. I've also developed skepticism of…
Read the full comment
quantum field theories. For one, the supposedly "most precise calculation in physics" has been marred by numerous mistakes and even fraud (electron magnetic moment). Renormalization is also sketchy business. A more fringe reason, but one I think will resolve some of those issues is a growing skepticism of continuity [1], even for classical mechanics; continuous formalisms just seem to lead to logical and physical absurdities, like Norton's Dome and singularities in GR. Discrete theories are only now getting a little attention, but they're promising [2] because they seem to eliminate some of the formal structure (gauges), and the infinities disappear. [1] https://arxiv.org/abs/1609.01421 [2] https://arxiv.org/abs/1902.08997
Yes, there are historical issues with that calculation, and field theories in general. I've become very suspicious of continuous formalisms period: https://arxiv.org/abs/1609.01421 I think many problems in physics will be solved by moving to more discrete formalisms.
> As far as we know, time and space are continuous. Our models are continuous. The map is not the territory. > Various aspects of quantum field theories would not work in a discretized universe. If you're referring to symmetries, that's not true [1]. Discretized theories have received barely any attention because physicists have simply built upon the formalisms they're used to from classical physics. IMO, baking continuity and uncountable infinities is what's responsible for many of the difficulties we've had, and various forms of discretization have resolved these issues in the past [2]. My conjecture is that one of the next big advances in physics will be to take discretization seriously. [1] https://arxiv.org/abs/1902.08997 [2] https://arxiv.org/abs/1609.01421
First, all of physics is computable to arbitrary precision. Continuous quantities in physics are being systematically removed because they almost inevitably introduce absurdities [1]. Measures lose all meaning below Planck length anyway. Second, the point of enumerating all Turing machines is not to run them to completion, it's simply to create them, so your objection is inapplicable. The Turing machine itself defines an ontology. The claim was that algorithms do not have access to novel ontologies, which conflicts with the basic construction of recursively enumerable functions that defines computation. Third, even if it were true that geometry is not computable, don't…
Read the full comment
mistake the formalism we currently use as somehow necessary. Geometry is powerful enough to model physics, but it could also be too powerful, ie. there could be some formalism less powerful than geometry that would also suffice for physics. For instance, we use real numbers in physics for convenience, but real numbers almost certainly don't really exist as we define them. [1] Baez's, Struggles with the Continuum, https://arxiv.org/abs/1609.01421
dS space is really simple; you only need a cosmological constant to power a uniform metric expansion, and no matter to retard it. The far future dS space approximation has only localized matter, namely mostly isolated gas molecules and (swarms of) black holes, each occupying their own Hubble volume, as all their non-gravitationally-bound neighbours have disappeared across the horizon. Unless something really unexpected arises to retard the metric expansion of space -- and many working scientists are looking for that, since it would be amazingly cool -- that we see right back to the surface of last scattering, the "in theory" part looks very sound. "If I cannot create it,…
Read the full comment
I do not understand" -- well, get yourself a very fine spectroscope and a monochromatic radiator (or an ideal blackbody, or anything with a highly predictable emissions and/or absorption spectrum) and probe the infinitesimals in the Poincaré group, which is the isometry group of Special Relativity (and which, incidentally, is what fundamentally defines Minkowski spacetime). https://www.wikiwand.com/en/Modern_searches_for_Lorentz_viol... An experiment or observation inconsistent with infinitesimals, or preventing the far future dS state implied by observed energy-densities, would be groundbreaking. Although your objection to a physical infinity, or physical infinitesimals as their complement, are aesthetic ones that conflict with experiment to date, don't let that stop you from thinking about, or even proposing, novel, objective, and repeatable experiments that probe the abolition of real numbers. Just today Baez just helped you out a bit: https://arxiv.org/abs/1609.01421
Keep following the thread.
More in PhysicsMore from the same topics.
On proof and progress in mathematics
William P. Thurston
In response to Jaffe and Quinn [math.HO/9307227], the author discusses forms of progress in mathematics that are not captured by formal proofs of theorems, especially in his own work in the theory of foliations and geometrization of 3-manifolds and dynamical systems.
Sparks of Artificial General Intelligence: Early experiments with GPT-4
Sébastien Bubeck, Varun Chandrasekaran, Ronen Eldan +11
Artificial intelligence (AI) researchers have been developing and refining large language models (LLMs) that exhibit remarkable capabilities across a variety of domains and tasks, challenging our understanding of learning and cognition.
A Critique of the CAP Theorem
Martin Kleppmann
The CAP Theorem is a frequently cited impossibility result in distributed systems, especially among NoSQL distributed databases.
Geometric Algebra
Eric Chisolm
This is an introduction to geometric algebra, an alternative to traditional vector algebra that expands on it in two ways: 1.