bell-inequalities

Bell inequalities and local models via Frank-Wolfe algorithms

Compute Bell inequalities and their quantum violations.

Trying to win the CHSH game with Parameterized Quantum Circuits and Bayesian Optimization

Certify the classical simulation cost of black-box systems.

Using linear programming to find (facet) Bell inequalities.

Proof of Independent Semantic Validation: a peer-to-peer consensus protocol for knowledge quality. Validators compute S_con scores and a Meta-Bell Ψ statistic. Ordered via GHOSTDAG. DOI: 10.5281/zenodo.19642292

ACR analysis container/scripts for doi: 10.5281/zenodo.15655461, doi: 10.5281/zenodo.15655509

A hands-on Qiskit workshop for the LHC physics community. Covers gate fundamentals, Deutsch-Jozsa, Grover's, QAOA (Max-Cut), HHL, QML (with Pennylane), plus CHSH/Bell inequality tests, noise modeling, and transpiler routing, all with step-by-step notebooks and simulations. Built for physicists exploring quantum algorithms hands-on.

Exact finite certification of quantum correlations: NPA rank loops, computability, noncomputable certificate horizons, and effective closure.

Bell Inequality Violations from Non-Injective Projection

Lean 4 proof that the finite-dimensional pure-projective I3322 supremum equals the Pál–Vértesi variational supremum and is not attained in that class.

Exact certificates and independent verifiers for the forced-signaling cost of finite-speed hidden-influence models: Σ_HIC = (√2−1)/4 for the four-qubit linear-cluster witness.

Exact certificates for a Schmidt-number-two bound, an explicit qutrit violation, and supporting two-sided partial-locality geometry.

When does a quantum possibility become a fact? A verified lab for the measurement problem: collapse in slow motion, decoherence frame by frame, pilot-wave trajectories, Bell and GHZ games you can lose, mass from a hidden dimension. Every number checked against exact analytics or a real experiment — including the checks that caught our own bugs.

Fork of the project Bell Checker made by our group to participate in the open Hackaton 2022

Exact tensor-product and commuting-operator I3322 quantum supremum with finite-dimensional nonattainment and independently replayable certificates.