Proofs & counterexamples
Mathematical results, their proofs, and the recorded agent work. Three witnesses address two proposed inequalities.
- 01
A five-atom counterexample to BCWW
Five equally likely bit strings violate a proposed four-party entropy inequality by 0.0529325 bits.
Corpus-origin witness; first discovery is unattributed. The original archived smoke witness was wrong.
- 02
A GHZ-mixture witness against BCWW
A four-qubit GHZ mixture violates the same proposed inequality by 0.113302 bits.
The relevant marginals are classical. This does not establish a quantum advantage; the original discovery fleet trace is incomplete.
- 03
A family refuting Linden–Winter Conjecture 6
A six-atom family defeats every finite positive choice of coefficients in the conjectured linear relaxation.
The constrained Linden–Winter theorem survives. The public note is not presented as peer-reviewed, and the discovery history remains partial.
The classical and GHZ constructions address the same BCWW inequality. First discovery of the classical point is unattributed; the retained work establishes verification.