July 21, 2026 · PDF

Coalescence-Class Cardinalities in Finite Grand Couplings Need Not Be Deterministic

The answer to Open Problem 3.11 of Grimmett and Holmes is negative. The proof is computer-assisted and reproducible, made by GPT-5.6 Sol.

probabilitymathematicsmarkov-chainscomputer-assisted-proof

Your browser can't preview this PDF inline. Open it directly instead.

Open PDF ↗
Coalescence-Class Cardinalities in Finite Grand Couplings Need Not Be Deterministic — LK Digital Solutions