quantumCorrelation
plain-language theorem explainer
The quantum correlation function for the singlet state is defined as E(a, b) = -cos(a - b) for measurement angles a and b. Researchers deriving Bell inequality violations from shared ledger entries would cite this as the source of the Tsirelson bound. It is a direct one-line definition using the real cosine of the angle difference.
Claim. The quantum correlation function for the singlet state is given by $E(a,b) = -cos(a-b)$ where $a,b$ are measurement angles.
background
In the Recognition Science treatment of quantum nonlocality, the module derives Bell inequality violation from shared ledger entries between entangled particles. MeasurementAngle is an abbreviation for the real numbers representing a measurement direction. The upstream result from NonlocalityNoSignaling provides the same correlation expression, confirming consistency across modules. This setup allows computation of correlations that violate classical local realism while preserving no-signaling.
proof idea
This is a one-line definition that directly assigns the value -Real.cos (a - b) to the correlation function.
why it matters
This definition serves as the foundation for the CHSH combination and the optimal CHSH value theorem, which achieves -2√2. It fills the role of the quantum prediction in the paper proposition on quantum nonlocality from ledger structure. In the framework, it demonstrates how shared ledger entries produce correlations impossible under classical hidden variables.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.