English

Non-dissective coverings by planks

Combinatorics 2025-11-26 v1 Discrete Mathematics

Abstract

A plank is the part of space between two parallel planes. The following open problem, posed 45 years ago, can be viwed as the converse of Tarski's plank problem (Bang's theorem): Is it true that if the total width of a collection of planks is sufficiently large, then the planks can be individually translated to cover a unit ball BB? A translative covering of BB by planks is said to be non-dissective if the planks can be added one by one, in some order, such that the uncovered part remains connected at each step, and is empty at the end. Improving a classical result of Groemer, we show that every set of C/ϵ7/4C/\epsilon^{7/4} planks of width ϵ\epsilon admits a non-dissective translative covering of BB, provided CC is large enough. Our proof yields a low-complexity algorithm. We also establish the first nontrivial lower bound of c/ϵ4/3c/\epsilon^{4/3} for this quantity.

Keywords

Cite

@article{arxiv.2511.20047,
  title  = {Non-dissective coverings by planks},
  author = {Andrey Kupavskii and Janos Pach},
  journal= {arXiv preprint arXiv:2511.20047},
  year   = {2025}
}
R2 v1 2026-07-01T07:53:46.919Z