arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2611.01007

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

Hu Tan·Ying Zhang
View original source ↗Read source document ↗Export metadata ↓

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 \leq 10^{500000}$. The archived run reports $239\,536\,376\,556$ 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.

Explore related subjects

math.GM

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Hu Tan, Ying Zhang. 2026-10-31. A Computational Verification of the Markov Uniqueness Conjecture for $z\leq 10^{500000}$. https://arxiv.org/abs/2611.01007

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

The Collatz Conjecture & Non-Archimedean Spectral Theory -- Part II -- $\left(p,q\right)$-Adic Fourier Analysis and Wiener's Tauberian Theorem

This paper gives an overview of $\left(p,q\right)$-adic Fourier theory - the Fourier theory of functions from the $p$-adic numbers to the $q$-adic numbers, where $p$ and $q$ are distinct primes - which we then use to prove a novel $\left(p,q\right)$-adic generalization of Norbert Wiener's celebrated Tauberian Theorem. Letting $K$ be a metrically complete, algebraically closed local field of residue characteristic $q$, letting $C\left(\mathbb{Z}_{p},K\right)$ be the Banach space of continuous functions $\mathbb{Z}_{p}\rightarrow K$, and letting $dμ$ be a $\left(p,q\right)$-adic measure (a continuous linear functional $C\left(\mathbb{Z}_{p},K\right)\rightarrow K)$, the $\left(p,q\right)$-adic Wiener Tauberian Theorem (WTT) we prove establishes that the density of the span of translates of $dμ$'s Fourier-Stieltjes Transform implies the non-vanishing of the Radon-Nikodym derivative of $dμ$ at all points in $\mathbb{Z}_{p}$ where the derivative exists in $K$.

math.GM↗
arXiv2026

Indefinite integrals of Bessel and Struve functions with half-integer indices, and incomplete gamma functions with integer indices, all multiplied by $Exp(-ax^{2})$ and divided by powers

Indefinite integrals are found for 63 half-integer Bessel and Struve functions, and incomplete gamma functions with integer indices, each multiplied by $Exp(-ax^{2})$ and divided by powers. A series solution is given for the individual terms (of any inverse power) in such functions, split into even and odd portions. Eight integrals are given involving these series. Three infinite sets of auxiliary integrals are also given.

math.GM↗