arXiv++ Combinatorics

The Alon--Frankl--Lovász theorem determines the chromatic number of Kneser hypergraphs; equivalently, it gives the sharp minimum size of a monochromatic matching in every \(r\)-edge-colouring of the complete \(t\)-uniform hypergraph. The known proofs of the exact theorem are topological. We develop a topology-free structural framework for its asymptotic form and for related sparse and tiling problems. Our main theorem shows that every \(r\)-colouring of a sufficiently pseudo-random \(t\)-graph can be reduced, with only \(o(n)\) loss in the largest monochromatic matching, to a colouring of \(K_n^{(t)}\) whose vertex set is partitioned into at most \(r\) parts and whose edge colours depend only on intersection profiles. The proof combines hypergraph regularity, LP duality, and convex-geometric compression. As consequences, we obtain a topology-free proof of the asymptotic AFL theorem, a sparse random transference theorem, and near-exact bounds in a linear-uniformity regime of Meunier's stable Kneser conjecture. For a graph \(H\), let \(Rt_r(H;K_n)\) be the minimum, over all \(r\)-edge-colourings of \(K_n\), of the largest monochromatic \(H\)-tiling. We prove \[ Rt_r(H;K_n)=(β_{r,H}+o(1))n, \] where \(β_{r,H}\) is effectively computable from finitely many linear programs depending only on \(H\) and \(r\). An additional multipartite Ramsey extraction is the key ingredient needed to reconstruct consistent graph templates. This gives an effective asymptotic solution to the complete-host multicolour Ramsey-tiling problem, extending the classical two-colour theorem of Burr, Erdős and Spencer. We also determine explicit constants for several natural families, including connected non-bipartite graphs, balanced Hall-type bipartite graphs, complete bipartite graphs with three, four, and five colours, and a non-Hall bipartite example.

A triangulation of a circle bundle $ E \xrightarrow[\text{}]π B$ is a triangulation of the total space $E$ and the base $B$ such that the projection $π$ is a simplicial map. In the paper we address the following questions: Which circle bundles can be triangulated over a given triangulation of the base? What are the minimal triangulations of a bundle? A complete solution for semisimplicial triangulations was given by N. Mnëv. Our results deal with classical triangulations, that is, simplicial complexes. We give an exact answer for an infinite family of triangulated spheres (including the boundary of the $3$-simplex, the boundary of the octahedron, the suspension over an $n$-gon, the icosahedron). For the general case we present a sufficient criterion for existence of a triangulation. Some minimality results follow straightforwadly.