Incompleteness Theorems for Observables in General Relativity

• URL: http://arxiv.org/abs/2305.04818v2
• Date: Mon, 25 Sep 2023 21:34:08 GMT
• Title: Incompleteness Theorems for Observables in General Relativity
• Authors: Aristotelis Panagiotopoulos, George Sparling, Marios Christodoulou
• Abstract summary: We employ methods from descriptive set theory to show that no complete observable on rich enough collections of spacetimes is Borel definable. Our results remain true even after restricting the space of solutions to vacuum solutions. We discuss the next steps in a research program that aims to further uncover this novel connection between theoretical physics and descriptive set theory.
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: The quest for complete observables in general relativity has been a longstanding open problem. We employ methods from descriptive set theory to show that no complete observable on rich enough collections of spacetimes is Borel definable. In fact, we show that it is consistent with the Zermelo-Fraenkel and Dependent Choice axioms that no complete observable for rich collections of spacetimes exists whatsoever. In a nutshell, this implies that the Problem of Observables is to 'analysis' what the Delian Problem was to 'straightedge and compass'. Our results remain true even after restricting the space of solutions to vacuum solutions. In other words, the issue can be traced to the presence of local degrees of freedom. We discuss the next steps in a research program that aims to further uncover this novel connection between theoretical physics and descriptive set theory.

Related papers

• Towards entropic uncertainty relations for non-regular Hilbert spaces [44.99833362998488]
  The Entropic Uncertainty Relations (EUR) result from inequalities that are intrinsic to the Hilbert space and its dual with no direct connection to the Canonical Commutation Relations. The analysis of these EUR in the context of singular Hilbert spaces has not been addressed.
  arXiv  Detail & Related papers  (2025-03-24T23:41:50Z)
• How do we Observe Relational Observables? [0.0]
  How do relational observables actually make contact with experience? I argue that this question can only be answered by providing a schematization of the observer. I consider what this means for the prospects of using quantum reference frames to address the problem of time.
  arXiv  Detail & Related papers  (2024-10-07T21:27:19Z)
• Relaxation of first-class constraints and the quantization of gauge theories: from "matter without matter" to the reappearance of time in quantum gravity [72.27323884094953]
  We make a conceptual overview of an approach to the initial-value problem in canonical gauge theories. We stress how the first-class phase-space constraints may be relaxed if we interpret them as fixing the values of new degrees of freedom.
  arXiv  Detail & Related papers  (2024-02-19T19:00:02Z)
• Relativistic Quantum Fields Are Universal Entanglement Embezzlers [41.94295877935867]
  Embezzlement of entanglement refers to the counterintuitive possibility of extracting entangled quantum states from a reference state of an auxiliary system.<n>We uncover a deep connection between the operational task of embezzling entanglement and the mathematical classification of von Neumann algebras.
  arXiv  Detail & Related papers  (2024-01-14T13:58:32Z)
• A single space-time is too small for all of Wigner's friends [0.0]
  Recent no-go theorems on interpretations of quantum theory are shown to have an unexpectedly strong corollary. One cannot reject AOE and at the same time assume that the observed events' in question can all be embedded within a single background space-time common to all observers.
  arXiv  Detail & Related papers  (2023-12-19T00:03:58Z)
• What Does '(Non)-Absoluteness of Observed Events' Mean? [0.0]
  We argue that the Wigner's friend paradox, the theorem of Bong et al and the theorem of Lawrence et al are all best understood as demonstrating that if quantum mechanics is universal. We also argue that these theorems taken together suggest interesting possibilities for a different kind of relational approach in which dynamical states are relativized whilst observed events are absolute.
  arXiv  Detail & Related papers  (2023-09-06T17:13:31Z)
• A Measure-Theoretic Axiomatisation of Causality [55.6970314129444]
  We argue in favour of taking Kolmogorov's measure-theoretic axiomatisation of probability as the starting point towards an axiomatisation of causality. Our proposed framework is rigorously grounded in measure theory, but it also sheds light on long-standing limitations of existing frameworks.
  arXiv  Detail & Related papers  (2023-05-19T13:15:48Z)
• Do We Have Any Viable Solution to the Measurement Problem? [0.0]
  A number of popular approaches to the measurement problem can't be fully extended to relativistic quantum mechanics. This article seeks to understand in general terms what such a thing might look like.
  arXiv  Detail & Related papers  (2023-01-15T21:21:34Z)
• Sion's Minimax Theorem in Geodesic Metric Spaces and a Riemannian Extragradient Algorithm [46.97925335733651]
  This paper takes a step towards understanding problems that do remain tractable. The first result is a class of geodesic space version Sion's minimax problems. The second result is a result to geodesically completeian complexity.
  arXiv  Detail & Related papers  (2022-02-13T15:18:07Z)
• Observers of quantum systems cannot agree to disagree [55.41644538483948]
  We ask whether agreement between observers can serve as a physical principle that must hold for any theory of the world. We construct examples of (postquantum) no-signaling boxes where observers can agree to disagree.
  arXiv  Detail & Related papers  (2021-02-17T19:00:04Z)
• Non-Boolean Hidden Variables model reproduces Quantum Mechanics' predictions for Bell's experiment [91.3755431537592]
  Theory aimed to violate Bell's inequalities must start by giving up Boolean logic. "Hard" problem is to predict the time values when single particles are detected. "Soft" problem is to explain the violation of Bell's inequalities within (non-Boolean) Local Realism.
  arXiv  Detail & Related papers  (2020-05-20T21:46:35Z)
• Bell's theorem for trajectories [62.997667081978825]
  A trajectory is not an outcome of a quantum measurement, in the sense that there is no observable associated with it. We show how to overcome this problem by considering a special case of our generic inequality that can be experimentally tested point-by-point in time.
  arXiv  Detail & Related papers  (2020-01-03T01:40:44Z)
• Projection evolution and quantum spacetime [68.8204255655161]
  We discuss the problem of time in quantum mechanics. An idea of construction of a quantum spacetime as a special set of the allowed states is presented. An example of a structureless quantum Minkowski-like spacetime is also considered.
  arXiv  Detail & Related papers  (2019-10-24T14:54:11Z)
• A strong no-go theorem on the Wigner's friend paradox [0.0]
  We prove that if quantum evolution is controllable on the scale of an observer, then one of 'No-Superdeterminism', 'Locality' or 'Absoluteness of Observed Events' must be false. We show that although the violation of Bell-type inequalities in such scenarios is not in general sufficient to demonstrate the contradiction between those three assumptions, new inequalities can be derived in a theory-independent manner.
  arXiv  Detail & Related papers  (2019-07-12T08:09:44Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.