Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.40725

Harborth's theorem p(5)=18 revisited

Mike Winkler
View original source ↗Read source document ↗Export metadata ↓

Abstract

Let $p(n)$ be the minimum cardinality of a finite planar point set in which each point has exactly $n$ unit-distance neighbours. Harborth proved $p(5)=18$ in work presented in 1985 and published in 1987, using a detailed case analysis. We revisit the proof using convex-hull arguments, incidence counts, and elementary properties of intersections of unit circles. These tools give an alternative treatment of configurations with $14$ and $16$ points and organize the final case distinction by a common vector-sum structure. We also treat a configuration not explicitly covered by the case analysis in the online PDF copy of Harborth's paper available to us, and give an explicit justification of the six-point classification used in the argument. No result subsequent to Harborth's proof is required.

Explore related subjects

math.GM

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Mike Winkler. 2026-10-29. Harborth's theorem p(5)=18 revisited. https://arxiv.org/abs/2610.40725

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↗