Abstract
To answer foundational questions in physics, physicists turn more and more to abstract advanced mathematics, even though its physical significance may not be immediately clear. What if we started to borrow ideas and approaches, with appropriate modifications, from the foundations of mathematics? In this paper we explore this route. In reverse mathematics one starts from theorems and finds the minimum set of axioms required for their derivation. In reverse physics we want to start from laws or more specific results, and find the physical concepts and starting points that recover them. We want to understand what physical results are implied by which physical assumptions. As an example of the technique, we will see six different characterizations of classical mechanics, show that the uncertainty principle depends only on the entropy bound on pure states and recast the third law of thermodynamics in terms of the entropy of an empty system. We believe the approach can provide greater insights into both current and new physical theories, put the physical concepts at the forefront of the discussion and provide a more unified view of physics by highlighting common patterns and ideas across different physical theories.
Similar content being viewed by others
Notes
This is essentially a short proof for Liouville’s theorem that can work in both directions.
The careful reader will note the units do not quite work. The issue here is the \(\log \rho\) in the Shannon/Gibbs entropy, as \(\rho\) is not a pure number. Introducing a dimensionful constant \(\log \rho {\hat{h}}\) would fix the expression, which would then fix the uncertainty relationship as well.
This formulation is given by Ref. [15].
If we consider systems as a monoid under composition, the empty system is the identity element, much like the number zero, the empty set or the identity map in their respective structures.
Philosophers may call these “constitutive” conditions.
References
Friedman, H.M.: Systems on second order arithmetic with restricted induction i, ii. J. Symb. Logic 41, 557 (1976)
Simpson, S.G.: Reverse Mathematics 2001, vol. 21. Cambridge University Press, Cambridge (2017)
Stillwell, J.: Reverse Mathematics: Proofs from the Inside Out. Princeton University Press, Princeton (2019)
Chiribella, G., D’Ariano, G.M., Perinotti, P.: Informational derivation of quantum theory. Phys. Rev. A 84, 012311 (2011)
Selby, J.H., Scandolo, C.M., Coecke, B.: Reconstructing quantum theory from diagrammatic postulates. Quantum 5, 445 (2021)
Giles, R.: Mathematical Foundations of Thermodynamics: International Series of Monographs on Pure and Applied Mathematics, vol. 53. Elsevier, New York (2016)
Boyling, J.: An axiomatic approach to classical thermodynamics. Proc. R. Soc. Lond. A Math. Phys. Sci. 329, 35 (1972)
Wightman, A.S.: Quantum field theory in terms of vacuum expectation values. Phys. Rev. 101, 860 (1956). https://doi.org/10.1103/PhysRev.101.860
Haag, R., Kastler, D.: An algebraic approach to quantum field theory. J. Math. Phys. 5, 848 (1964). https://doi.org/10.1063/1.1704187
Streater, R.F.: Outline of axiomatic relativistic quantum field theory. Rep. Prog. Phys. 38, 771 (1975). https://doi.org/10.1088/0034-4885/38/7/001
Masanes, L., Galley, T.D., Müller, M.P.: The measurement postulates of quantum mechanics are operationally redundant. Nat. Commun. 10, 1 (2019)
Carcassi, G., Maccone, L., Aidala, C.A.: Four postulates of quantum mechanics are three. Phys. Rev. Lett. 126, 110402 (2021)
Hossenfelder, S.: Lost in Math: How Beauty Leads Physics Astray. Hachette, London (2018)
Woit, P.: Not Even Wrong: The Failure of String Theory and the Search for Unity in Physical Law. Basic Books, New York (2006)
Lewis, G.N., Randall, M.: Thermodynamics and the Free Energy of Chemical Substances. McGraw-Hill, New York (1923)
Carcassi, G., Aidala, C.A.: Assumptions of Physics. Michigan Publishing, Ann Arbor (2021). https://doi.org/10.3998/mpub.12204707
Acknowledgements
We acknowledge funding from the MCubed program of the University of Michigan. This work is part of a larger project, Assumptions of Physics [16], which aims to identify a handful of physical principles from which the basic laws can be rigorously derived.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Carlo Rovelli.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Supplementary Information
Below is the link to the electronic supplementary material.
Rights and permissions
About this article
Cite this article
Carcassi, G., Aidala, C.A. Reverse Physics: From Laws to Physical Assumptions. Found Phys 52, 40 (2022). https://doi.org/10.1007/s10701-022-00555-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10701-022-00555-z