Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1202.1804

No-signaling from Gleason non-contextuality and the tensor-product structure

Himanshu Sharma, R. Srikanth

Published Feb 8, 2012• 0 citations
arXivHTMLPDF

Abstract

The no-signaling principle in quantum mechanics is shown to be a consequence of Gleason non-contextuality and the tensor product structure.
DOI
10.48550/arxiv.1202.1804

Related papers

From Primitives to the Born Rule

Allen Proxmire

Quantum mechanics says that when you measure a system, the probability of an outcome is the squared modulus of that outcome's amplitude — not absolute value, not cubed, not some other power. The exponent has been two since Born wrote it down in 1926, and for a century it has been a postulate. Copenhagen accepts it as a brute fact; Many-Worlds tries to derive it from decision theory; QBism reframes it as Bayesian credence; Zurek derives it from environmental symmetries; Hardy derives it from operational axioms. Each program leaves at least part of the question unanswered: why squared, and not some other exponent? Gleason's 1957 theorem went part of the way: given a few structural conditions on quantum probability assignments, the squared form is mathematically forced. But Gleason leans on one substantive assumption — non-contextuality — that standard QM postulates rather than derives. This walkthrough shows how the Event Density framework derives the Born rule, including the squared exponent *and* the non-contextuality assumption underneath it, from a smaller set of structural commitments about what reality is made of at the substrate level. The chain has three load-bearing steps: (i) the participation measure is forced to the form √b · e^{iπ} via the Cauchy functional equation on bandwidth additivity plus Frobenius's theorem on real division algebras; (ii) the sesquilinear inner product on the participation-measure space is forced, delivering the Hilbert-space structure Gleason operates on; (iii) non-contextuality is forced by the channel-as-primitive ontology. With non-contextuality derived rather than postulated, Gleason–Busch applies directly. The squared exponent is a consequence of the framework, not a separate postulate.

•May 12, 2026•0 citations

Quantum contextuality implies a logic that does not obey the principle of bivalence

Arkady Bolotin

arXiv:1802.07390•Quantum Studies Mathematics and Foundations•Jul 30, 2018•2 citations

A proof that no-signalling implies microcausality in quantum field theory

Antoine Soulas

Foundations of Physics•Mar 13, 2025•2 citations

The Sheaf-Theoretic Structure Of Non-Locality and Contextuality

Samson Abramsky, Adam M. Brandenburger

Locality and non-contextuality are intuitively appealing features of classical physics, which are contradicted by quantum mechanics. The goal of the classic no-go theorems by Bell, Kochen-Specker, et al. is to show that non-locality and contextuality are necessary features of any theory whose predictions agree with those of quantum mechanics. We use the mathematics of sheaf theory to analyze the structure of non-locality and contextuality in a very general setting. Starting from a simple experimental scenario, and the kind of probabilistic models familiar from discussions of Bell’s theorem, we show that there is a very direct, compelling formalization of these notions in sheaf-theoretic terms. Moreover, on the basis of this formulation, we show that the phenomena of non-locality and contextuality can be characterized precisely in terms of obstructions to the existence of global sections. We give linear algebraic methods for computing these obstructions, and use these methods to obtain a number of new insights into non-locality and contextuality. For example, we distinguish a proper hierarchy of strengths of no-go theorems, and show that three leading examples — due to Bell, Hardy, and Greenberger, Horne and Zeilinger, respectively — occupy successively higher levels of this hierarchy. We show how our abstract setting can be represented in quantum mechanics. In doing so, we uncover a strengthening of the usual no-signalling theorem, which shows that quantum mechanics obeys no-signalling for arbitrary families of commuting observables, not just those represented on different factors of a tensor product.

•Jan 1, 2011•283 citations

Born's Rule from Record-Formation Constraints: A Thermodynamic-Information Axiomatics

Moses Rahnama

Given the standard Hilbert space structure of quantum mechanics (including L^2 normalization from unitary dynamics), we show that the Born rule P = |psi|^2 is the unique probability rule compatible with phase-independent record formation. The derivation uses one thermodynamic axiom (classical records cannot retain quantum phase, an irreversible operation with Landauer cost k_B T ln 2 per bit) together with three structural axioms (normalization, tensor product factorization, continuity) and an operational interference consistency condition. The squared modulus is the unique function satisfying all five constraints; alternative powers |alpha|^n with n != 2 fail because the L^2 unit sphere is not an L^n unit sphere. This result complements Gleason's theorem: where Gleason proves the Born rule is mathematically necessary given non-contextuality, we identify the physical mechanism (phase information loss during record formation at finite temperature) that makes it realizable. The L^2 structure itself is not derived here; it is inherited from the requirement that unitary evolution preserve the inner product. The contribution is to show that, conditional on that structure, thermodynamics selects the squared modulus as the unique admissible probability map.

•Feb 15, 2026•0 citations

About the causality principle in quantum theory

Aleksandr V. Belinsky

SPACE TIME AND FUNDAMENTAL INTERACTIONS•Sep 1, 2017•0 citations
Quantum mechanics says that when you measure a system, the probability of an outcome is the squared modulus of that outcome's amplitude — not absolute value, not cubed, not some other power. The exponent has been two since Born wrote it down in 1926, and for a century it has been a postulate. Copenhagen accepts it as a brute fact; Many-Worlds tries to derive it from decision theory; QBism reframes it as Bayesian credence; Zurek derives it from environmental symmetries; Hardy derives it from operational axioms. Each program leaves at least part of the question unanswered: why squared, and not some other exponent? Gleason's 1957 theorem went part of the way: given a few structural conditions on quantum probability assignments, the squared form is mathematically forced. But Gleason leans on one substantive assumption — non-contextuality — that standard QM postulates rather than derives. This walkthrough shows how the Event Density framework derives the Born rule, including the squared exponent *and* the non-contextuality assumption underneath it, from a smaller set of structural commitments about what reality is made of at the substrate level. The chain has three load-bearing steps: (i) the participation measure is forced to the form √b · e^{iπ} via the Cauchy functional equation on bandwidth additivity plus Frobenius's theorem on real division algebras; (ii) the sesquilinear inner product on the participation-measure space is forced, delivering the Hilbert-space structure Gleason operates on; (iii) non-contextuality is forced by the channel-as-primitive ontology. With non-contextuality derived rather than postulated, Gleason–Busch applies directly. The squared exponent is a consequence of the framework, not a separate postulate.
Locality and non-contextuality are intuitively appealing features of classical physics, which are contradicted by quantum mechanics. The goal of the classic no-go theorems by Bell, Kochen-Specker, et al. is to show that non-locality and contextuality are necessary features of any theory whose predictions agree with those of quantum mechanics. We use the mathematics of sheaf theory to analyze the structure of non-locality and contextuality in a very general setting. Starting from a simple experimental scenario, and the kind of probabilistic models familiar from discussions of Bell’s theorem, we show that there is a very direct, compelling formalization of these notions in sheaf-theoretic terms. Moreover, on the basis of this formulation, we show that the phenomena of non-locality and contextuality can be characterized precisely in terms of obstructions to the existence of global sections. We give linear algebraic methods for computing these obstructions, and use these methods to obtain a number of new insights into non-locality and contextuality. For example, we distinguish a proper hierarchy of strengths of no-go theorems, and show that three leading examples — due to Bell, Hardy, and Greenberger, Horne and Zeilinger, respectively — occupy successively higher levels of this hierarchy. We show how our abstract setting can be represented in quantum mechanics. In doing so, we uncover a strengthening of the usual no-signalling theorem, which shows that quantum mechanics obeys no-signalling for arbitrary families of commuting observables, not just those represented on different factors of a tensor product.
Given the standard Hilbert space structure of quantum mechanics (including L^2 normalization from unitary dynamics), we show that the Born rule P = |psi|^2 is the unique probability rule compatible with phase-independent record formation. The derivation uses one thermodynamic axiom (classical records cannot retain quantum phase, an irreversible operation with Landauer cost k_B T ln 2 per bit) together with three structural axioms (normalization, tensor product factorization, continuity) and an operational interference consistency condition. The squared modulus is the unique function satisfying all five constraints; alternative powers |alpha|^n with n != 2 fail because the L^2 unit sphere is not an L^n unit sphere. This result complements Gleason's theorem: where Gleason proves the Born rule is mathematically necessary given non-contextuality, we identify the physical mechanism (phase information loss during record formation at finite temperature) that makes it realizable. The L^2 structure itself is not derived here; it is inherited from the requirement that unitary evolution preserve the inner product. The contribution is to show that, conditional on that structure, thermodynamics selects the squared modulus as the unique admissible probability map.