A Computational Verification of the Markov Uniqueness Conjecture for $z\le 10^{500000}$

Abstract

We describe a finite computational verification of Markov Uniqueness Conjecture for normalized positive integer solutions of $x^2+y^2+z^2=3xyz$ with $z\le 10^{500000}$. The archived run reports $239536376556$ triples with distinct maximal coordinates.The method combines a disjoint tree decomposition, certified fixed-point range bounds, a deterministic 48-bit candidate screen,and replay modulo $2^{128}$. We give the mathematical justification and a reproducibility procedure covering package checks,retained-data auditing, and a full rerun. The conclusion depends on correct execution of the exhaustive screen and replay; the retained audit does not regenerate the deleted screening buckets.

arXiv comment7 pages. The supplementary materials accompanying this paper contain the computational evidence and reproducibility instructions; they can be obtained at https://zenodo.org/records/23670834