pith. sign in

Proposed experiment to test local hidden-variable theories

4 Pith papers cite this work. Polarity classification is still indexing.

4 Pith papers citing it

representative citing papers

Quantum-like Cognition in Process Theories: An Analysis

q-bio.NC · 2026-04-08 · unverdicted · novelty 7.0

Any sequential cognitive decision data admits a classical instrument model, but joint decisions violating Bell inequalities are required to strictly rule out classical models in favor of quantum-like ones.

Formalizing CHSH Rigidity in Lean 4

quant-ph · 2026-04-04 · accept · novelty 7.0

The CHSH rigidity theorem is machine-checked in Lean 4, confirming near-optimal strategies are locally isometric to the qubit strategy while exposing a gap in prior reasoning.

citing papers explorer

Showing 4 of 4 citing papers.

  • Nonlocal Games in the High-Noise Regime: Optimal Quantum Values and Rigidity quant-ph · 2025-09-24 · unverdicted · none · ref 7

    Explicit optimal quantum values for CHSH, Magic Square and 2-out-of-n games as functions of noise rate, plus noise-robust rigidity theorems certifying one, two or n pairs of anticommuting Pauli observables.

  • Quantum-like Cognition in Process Theories: An Analysis q-bio.NC · 2026-04-08 · unverdicted · none · ref 17

    Any sequential cognitive decision data admits a classical instrument model, but joint decisions violating Bell inequalities are required to strictly rule out classical models in favor of quantum-like ones.

  • Formalizing CHSH Rigidity in Lean 4 quant-ph · 2026-04-04 · accept · full · ref 2

    The CHSH rigidity theorem is machine-checked in Lean 4, confirming near-optimal strategies are locally isometric to the qubit strategy while exposing a gap in prior reasoning.

  • On random classical marginal problems with applications to quantum information theory quant-ph · 2024-06-20 · unverdicted · none · ref 12

    Authors give probability estimates for existence of joint distributions in random graph-encoded classical marginal problems and compute volume ratios of local to non-signaling polytopes for CHSH and Bell-Wigner graphs.