trureturingGitHub MATHEMATICAL ATLAS

QuantumBounds / CONCEPT

The realizability conjecture for chained monogamy relations

Kłobus, Oszmaniec, Augusiak and Grudka (arXiv:1408.1223, Section 5) conjecture that every vector of the correlators x_A^i, y_A^i, x_B^i, y_B^i satisfying their inequalities (ElPrat) is realized by a signaling box whose chained Bell expression plus twice the correlator of B_0 and E equals 2M + Delta. This holds for every number of settings M at least 2 and every Delta in [0, 2]: an explicit box realizes the coordinates, has all one- and three-party expectation values zero and a common value of the correlator of B_0 and E, and attains R_M = 2M + Delta exactly.

Closed Authored exposition
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES0
PROOF DEPTH1
DOCUMENT LINKS1
THEOREM

The conjecture holds

RELATIONSHIP ATLAS

Every connection, in context.

Explore in 3D
Direct recorded relationships
The smallest set of uniqueness for the Ising coneThe smallest set of uniquenessfor the Ising coneThe realizability conjecture for chained monogamy relationsThe realizability conjecturefor chained monogamy relations
Proof dependencyStructural affinityDocument link

Certified topology / UPSTREAM

Prerequisites

Certified topology / DOWNSTREAM

Consequences

None recorded in this release.

RELATED KNOWLEDGE

Structural connections

Documents & exposition

Other authored & advisory relationships

None recorded in this release.

LIBRARY / RELEASE VERSIONS

Content history

Loading release versions...
Browse the archive

Certified provenance

Exact release coordinate

Authority boundary

Dependency edges, status, and source coordinates come from the verified release and certified topology. Blueprint exposition is labeled separately. A fallback title carries no additional mathematical authority.