A Proof of Paták's kb+1 Conjecture for Constrained Stars, with Improved Bounds for Complete Graphs

In an Oberwolfach report from 2020, Paták considered closure operators on topological spaces whose closures have at most b path-connected components. He noted that C(b+1,2)(k−1)+b+1 points suffice for a constrained drawing of the star K_{1,k}, conjectured that kb+1 points suffice, and asked two further questions: whether the bounds for complete graphs K_n can be improved, and whether the method extends to higher homology or homotopy. In the journal version (J. Graph Theory, 2025) the conjecture is stated for b-iatlon graphs and proved there for b ≤ 2. We prove the conjecture for all k and b. Every b-iatlon graph with kb+1 vertices contains a constrained copy of K_{1,k}. For every closure operator as above, every set of kb+1 points admits a constrained drawing of K_{1,k}. The bound kb+1 is sharp in both settings. The proof rests on a colouring lemma for families of graphs indexed by the subsets of a finite set and growing with the subset; it extends the bound χ ≤ Δ+1. As a consequence, 1+b+⋯+b^{n−1} points force a constrained copy of K_n, improving the previous bound O(b^{2n−3}). Combined with Paták's topological arguments, this lowers his bounds on Radon and Helly numbers in R^d from O(b^{2d+3}) to O(b^{d+2}), and his bound on Radon numbers on a fixed closed surface from O(b^6) to O(b^3). In the b-iatlon setting, Ramsey numbers give lower bounds, which show that the exponent n−1 is optimal for n = 3, 4. Exact values for complete graphs remain open, and the question on higher homology and homotopy is not addressed. This is an unrefereed note. Unrefereed preprint released for independent mathematical scrutiny. Publication on Zenodo does not constitute peer review. AI-assisted tools supported research, computation, proof development, and manuscript preparation. The author remains responsible for all claims and the final text. Corpus identifier: OWR-1703876-006 (Oberwolfach Reports, "Helly numbers of disconnected sets", P. Paták, Report 30/2020, pp. 1500–1501).

Authors

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-09-30
DOI
https://doi.org/10.5281/zenodo.23062843
Primary Topic
Topological and Geometric Data Analysis
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
preprint

A Proof of Paták's kb+1 Conjecture for Constrained Stars, with Improved Bounds for Complete Graphs

Alper Ferudun
Zenodo (CERN European Organization for Nuclear Research)
Topological and Geometric Data Analysis
preprint

A Proof of Paták's kb+1 Conjecture for Constrained Stars, with Improved Bounds for Complete Graphs

Alper Ferudun
preprint en

Abstract

In an Oberwolfach report from 2020, Paták considered closure operators on topological spaces whose closures have at most b path-connected components. He noted that C(b+1,2)(k−1)+b+1 points suffice for a constrained drawing of the star K_{1,k}, conjectured that kb+1 points suffice, and asked two further questions: whether the bounds for complete graphs K_n can be improved, and whether the method extends to higher homology or homotopy. In the journal version (J. Graph Theory, 2025) the conjecture is stated for b-iatlon graphs and proved there for b ≤ 2. We prove the conjecture for all k and b. Every b-iatlon graph with kb+1 vertices contains a constrained copy of K_{1,k}. For every closure operator as above, every set of kb+1 points admits a constrained drawing of K_{1,k}. The bound kb+1 is sharp in both settings. The proof rests on a colouring lemma for families of graphs indexed by the subsets of a finite set and growing with the subset; it extends the bound χ ≤ Δ+1. As a consequence, 1+b+⋯+b^{n−1} points force a constrained copy of K_n, improving the previous bound O(b^{2n−3}). Combined with Paták's topological arguments, this lowers his bounds on Radon and Helly numbers in R^d from O(b^{2d+3}) to O(b^{d+2}), and his bound on Radon numbers on a fixed closed surface from O(b^6) to O(b^3). In the b-iatlon setting, Ramsey numbers give lower bounds, which show that the exponent n−1 is optimal for n = 3, 4. Exact values for complete graphs remain open, and the question on higher homology and homotopy is not addressed. This is an unrefereed note. Unrefereed preprint released for independent mathematical scrutiny. Publication on Zenodo does not constitute peer review. AI-assisted tools supported research, computation, proof development, and manuscript preparation. The author remains responsible for all claims and the final text. Corpus identifier: OWR-1703876-006 (Oberwolfach Reports, "Helly numbers of disconnected sets", P. Paták, Report 30/2020, pp. 1500–1501).

Zenodo (CERN European Organization for Nuclear Research)
Topological and Geometric Data Analysis
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

A Proof of Paták's kb+1 Conjecture for Constrained Stars, with Improved Bounds for Complete Graphs — Alper Ferudun · Zenodo (CERN European Organization for Nuclear Research) (2026) | TGRS Research Map | TGRS