Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.34444

Proof of the Harary--Hill conjecture: an exposition

Martin Balko
View original source ↗Read source document ↗Export metadata ↓

Abstract

The Harary--Hill conjecture states that the crossing number of the complete graph $K_n$ is exactly $\frac{1}{4}\left\lfloor\frac{n}{2}\right\rfloor \left\lfloor\frac{n-1}{2}\right\rfloor \left\lfloor\frac{n-2}{2}\right\rfloor \left\lfloor\frac{n-3}{2}\right\rfloor$. We present a streamlined variant of the proof of this conjecture recently announced by OpenAI (2026). Although the original proof is relatively short, it is quite difficult to follow. We simplify several steps and provide a concise and accessible exposition of the proof. We also combine this new result with known reductions to determine the crossing numbers of several other graph families.

Explore related subjects

math.CO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Martin Balko. 2026-10-25. Proof of the Harary--Hill conjecture: an exposition. https://arxiv.org/abs/2610.34444

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

KEEP EXPLORING

Related papers

arXiv2026

A Study On The Graph Formulation Of Union Closed Sets Conjecture

The Union Closed Sets Conjecture is one of the most renowned problems in combinatorics. Its appeal lies in the simplicity of its statement contrasted with the potential complexity of its resolution. The conjecture posits that, in any union closed family of sets, there exists at least one element that appears in at least half of the sets within the family. We establish the graph-theoretic version of certain set-theoretic results by connecting the set-based and graph-based formulations. We then prove a theorem in which we investigate the conjecture for graphs, focusing on their decompositions and the position of certain pendant vertices. As a result, we extend the validity of the conjecture to a broader class of graph structures.

math.CO↗
arXiv2026

Embedding edge-colored graphs in expanders with roll-back

We introduce a method to embed edge-colored graphs into families of expander graphs, which generalizes a framework developed by Draganić, Krivelevich, and Nenadov (2022). As an application, we show that each family of sufficiently pseudo-random graphs on $n$ vertices contains every edge-colored subdivision of $K_Δ$, provided that the distance between branch vertices in the subdivision is large enough, the average degree of each graph in the family is at least $(1+o(1))Δ$, and the number of vertices in the subdivision is at most $(1-o(1))n$. This extends the subdivision-embedding results of Draganić, Krivelevich, and Nenadov to the colorful setting. Even in the monochromatic case, our work extends the earlier result, which only applied to graphs with average degree at most $O(n^{1/5})$. This work is motivated in part by the problem of finding structures in distance graphs defined over finite vector spaces. In particular, we obtain nearly spanning subdivisions of complete graphs with arbitrary prescribed nonzero edge distances in sufficiently large subsets of these spaces.

math.CO↗
arXiv2026

Identically vanishing $k$-generalized Fibonacci polynomials

The recurrence for the $k$-Fibonacci polynomials is usually iterated upwards to positive values of $n$ only. When the recurrence is iterated downwards to $n<0$, there are indices where the polynomials vanish identically. This fact does not seem to have been noted in the literature. We derive the set of such indices. We establish the connection of our results to the solution of the Skolem problem for the $k$-Fibonacci numbers. For $k\ge3$ and $n<0$, we show that the degree of the polynomial does not increase monotonically with $|n|$. The so-called `left-justified $k$-nomial triangle' is extended to treat negative indices. We derive expressions for the individual polynomial coefficients (the elementary symmetric polynomials of the roots). We present results for the properties of the polynomials, for both $n>0$ and $n<0$, including factorization of the polynomials and properties of the roots. Results are also derived for real roots. We present new, tighter, bounds on the amplitudes of the nonzero roots. We derive new combinatorial sums for the polynomial coefficients, which are more concise and computationally efficient than previously published expressions.

math.CO↗