A Proof of Specker's Principle

• URL: http://arxiv.org/abs/2305.07917v2
• Date: Fri, 17 Nov 2023 17:55:32 GMT
• Title: A Proof of Specker's Principle
• Abstract summary: I provide a derivation of Specker's principle from three assumptions. I discuss these three assumptions and describe canonical examples of non-Specker sets of propositions satisfying any two of them. The core of the proof is illustrated by a variant of Specker's tale of the seer of Nineveh, with which I open the paper.
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Specker's principle, the condition that pairwise orthogonal propositions must be jointly orthogonal, has been much investigated recently within the programme of finding physical principles to characterise quantum mechanics. It largely appears, however, to lack a transparent justification. In this paper, I provide a derivation of Specker's principle from three assumptions (made suitably precise): the existence of maximal entanglement, the existence of non-maximal measurements, and no-signalling. I discuss these three assumptions and describe canonical examples of non-Specker sets of propositions satisfying any two of them. These examples display analogies with various approaches in the interpretation of quantum mechanics, notably ones based on retrocausation. I also discuss connections with the work of Popescu and Rohrlich. The core of the proof (and the main example violating no-signalling) is illustrated by a variant of Specker's tale of the seer of Nineveh, with which I open the paper.

Related papers

• No extension of the Quantum Tensor Product admits a Superposition principle [0.00304396936267654]
  Textbook quantum superposition refers to the feature that certain linear combinations of Hilbert space rays, each representing a valid quantum state, are themselves valid states.<n>Recent proposals for experimental tests of indefinite causal order, as well as tests probing the non-classicality of gravity, pivot on superposition.
  arXiv  Detail & Related papers  (2026-08-18T09:30:55Z)
• Continuous Observation of Quantum Systems [0.0]
  In the 1980's Alexander Holevo proved a classification theorem for continuous quantum measurement processes.<n>Here we give an alternative, more probabilistic proof: we use weak convergence of measures and employ Levy's Continuity Theorem.<n>We clarify the boundedness conditions in Holevo's theorem, and supply a simple example from quantum optics.
  arXiv  Detail & Related papers  (2026-07-01T16:42:31Z)
• Quantum ergodicity and semiclassical measures: mathematical results [0.0]
  We focus on the macroscopic distribution of these eigenmodes, which is described by the concept of semiclassical measure.<n>We provide the detailed proof of the Quantum Ergodicity theorem, originally due to Schnirelman.<n>In particular, we describe the constraints on admissible semiclassical measures, in terms of their Kolmogorov-Sinai entropy, as well as more recent delocalization results.
  arXiv  Detail & Related papers  (2026-06-10T13:54:46Z)
• A contextual advantage for conclusive exclusion: repurposing the Pusey-Barrett-Rudolph construction [0.0]
  We show that there is a quantum-over-classical advantage for how well one can achieve conclusive exclusion.<n>We derive noise-robust noncontextuality inequalities bounding the conclusiveness of exclusion, and describe a quantum violation of these.
  arXiv  Detail & Related papers  (2025-12-03T19:00:05Z)
• Minimal operational theories: classical theories with quantum features [41.94295877935867]
  We introduce a class of probabilistic theories, where system dynamics are constrained to the minimal set of operations.<n>Specifically, the allowed instruments are limited to those derived from compositions of preparations, measurements, swap transformations, and conditional tests.<n>We demonstrate that minimal theories with conditioning and a spanning set of non-separable states satisfy two quantum no-go theorems.
  arXiv  Detail & Related papers  (2024-08-02T16:24:09Z)
• Polar Duality and Quasi-States: a Geometric Picture of Quantum Indeterminacy [0.0]
  We introduce the notion of "quasi-states" which are related in a way that will be explained to the notion of "quantum blob" Considering the symmetries of the quasi-states leads to the definition of the canonical group of a quasi-state, which allows to classify them.
  arXiv  Detail & Related papers  (2024-07-09T09:00:14Z)
• Logic meets Wigner's Friend (and their Friends) [49.1574468325115]
  We take a fresh look at Wigner's Friend thought-experiment and some of its more recent variants and extensions. We discuss various solutions proposed in the literature, focusing on a few questions.
  arXiv  Detail & Related papers  (2023-07-04T13:31:56Z)
• Connecting classical finite exchangeability to quantum theory [69.62715388742298]
  Exchangeability is a fundamental concept in probability theory and statistics. We show how a de Finetti-like representation theorem for finitely exchangeable sequences requires a mathematical representation which is formally equivalent to quantum theory.
  arXiv  Detail & Related papers  (2023-06-06T17:15:19Z)
• 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)
• A simple formulation of no-cloning and no-hiding that admits efficient and robust verification [0.0]
  Incompatibility is a feature of quantum theory that sets it apart from classical theory. The no-hiding theorem is another such instance that arises in the context of the black-hole information paradox. We formulate both of these fundamental features of quantum theory in a single form that is amenable to efficient verification.
  arXiv  Detail & Related papers  (2023-03-05T12:48:11Z)
• Limit theorems for Quantum Trajectories [0.0]
  We prove Law of Large Numbers (LLN), Functional Central Limit Theorem, Law of Iterated Logarithm and Moderate Deviation Principle. Proof of the LLN is based on Birkhoff's ergodic theorem and an analysis of harmonic functions. The other theorems are proved using martingale approximation of empirical sums.
  arXiv  Detail & Related papers  (2023-02-13T08:57:57Z)
• No-local-broadcasting theorem for non-signalling behaviours and assemblages [0.0]
  The no-broadcasting theorem is a fundamental result in quantum information theory.<n>We prove Joshi, Grudka, and Horodecki$otimes 4$ conjectured that one cannot locally broadcast nonlocal behaviours.
  arXiv  Detail & Related papers  (2022-11-25T19:08:28Z)
• Quantum state inference from coarse-grained descriptions: analysis and an application to quantum thermodynamics [101.18253437732933]
  We compare the Maximum Entropy Principle method, with the recently proposed Average Assignment Map method. Despite the fact that the assigned descriptions respect the measured constraints, the descriptions differ in scenarios that go beyond the traditional system-environment structure.
  arXiv  Detail & Related papers  (2022-05-16T19:42:24Z)
• Theorems motivated by foundations of quantum mechanics and some of their applications [0.0]
  This paper provides theorems aimed at shedding light on issues in the foundations of quantum mechanics. theorems can be used to propose new interpretations to the theory, or to better understand, evaluate and improve current interpretations.
  arXiv  Detail & Related papers  (2022-02-02T21:55:57Z)
• Testing quantum theory by generalizing noncontextuality [0.0]
  We prove that only Jordan-algebraic state spaces are exactly embeddable into quantum theory. We propose an experimental test of quantum theory by probing single physical systems.
  arXiv  Detail & Related papers  (2021-12-17T19:00:24Z)
• 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)
• Emergence of classical behavior in the early universe [68.8204255655161]
  Three notions are often assumed to be essentially equivalent, representing different facets of the same phenomenon. We analyze them in general Friedmann-Lemaitre- Robertson-Walker space-times through the lens of geometric structures on the classical phase space. The analysis shows that: (i) inflation does not play an essential role; classical behavior can emerge much more generally; (ii) the three notions are conceptually distinct; classicality can emerge in one sense but not in another.
  arXiv  Detail & Related papers  (2020-04-22T16:38:25Z)
• Quantum Mechanical description of Bell's experiment assumes Locality [91.3755431537592]
  Bell's experiment description assumes the (Quantum Mechanics-language equivalent of the classical) condition of Locality. This result is complementary to a recently published one demonstrating that non-Locality is necessary to describe said experiment. It is concluded that, within the framework of Quantum Mechanics, there is absolutely no reason to believe in the existence of non-Local effects.
  arXiv  Detail & Related papers  (2020-02-27T15:04:08Z)

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.