2026-11-10 | | Total: 2
We examine whether the variables required for a future macroscopic description of a given physical system can themselves be stated in advance. Representing macroscopic descriptions as coarse-grainings of a fixed microscopic phase space, we distinguish formal prestatability, concerning the existence of an effective complete vocabulary of admissible macroscopic distinctions, from dynamical prestatability, concerning whether the future relevance of those distinctions is decidable. Both obstructions disappear for finite microscopic state spaces. In the infinite limit, exhaustive formal prestatability can fail, while a restricted predictive architecture may remain formally pre-statable. We construct such an architecture and show that, under universal dynamics, the future relevance of a candidate variable is equivalent to the halting problem. Thus a fixed microscopic phase space can support macroscopic descriptions whose future variables are not fully pre-statable.
Stanley Deser was Ancell Professor Emeritus at Brandeis University and Visiting Professor at the California Institute of Technology. He was a world-renowned theoretical physicist whose accomplishments include the Arnowitt-Deser-Misner (ADM) formulation of general relativity, supergravity with Zumino, the dynamics of flat space with Jackiw and 't Hooft and many other contributions to the quantum theory of gravity. In the 1980s he was instrumental in securing National Science Foundation approval of the LIGO gravitational wave experiment against much opposition. He was awarded the Einstein Medal in 2015 for important contributions to general relativity, in particular the development of the ADM formalism. Other awards include: The Dannie Heineman Prize 1994; Fellow of the National Academy of Sciences 1994; Honorary Member of the Torino Academy of Sciences 2001; Member of the American Academy of Arts and Sciences 1979, Fellow of the American Institute of Physics.