Unbounded Line Pinning by Pairwise Disjoint Convex Bodies
Manuscript 19 October 2026 · Online 19 October 2026
Abstract
For every integer m >= 3 we construct m+4 pairwise disjoint compact convex bodies with nonempty interiors in R^3 and a common transversal line such that every subfamily pinning that line contains at least m members. Thus isolated line transversals to arbitrary disjoint convex bodies admit no pinning bound depending only on the dimension. Four separated polytopes restrict the nearby transversals to a classical one-parameter family on a hyperbolic paraboloid. The remaining bodies are convex epigraphs of flat oscillatory perturbations: together they exclude every nonzero parameter, while each has an exclusive sequence of excluded parameters tending to zero. All contacts with the pinned line are distinct single points. An explicit extension gives the same conclusion in every dimension at least three. The construction is nonsemialgebraic and does not settle the separate question for pairwise disjoint polytopes. This is an AI-assisted, self-audited, unrefereed preprint; no external review or absolute priority is claimed.
Record
- Affiliation
- Mercury Software GmbH
- Contact
- [email protected] · GitHub
- Result
- Complete negative answer
- Categories
- math.MG · math.CO
- Manuscript
- 19 October 2026
- Online release
- 19 October 2026
- Version
- 1.0
- License
- Creative Commons Attribution 4.0 International
Files and verification
The PDF is the canonical reading copy. The source archive contains the LaTeX manuscript, bibliography, reproducibility material, and audit documents without build artefacts.
Citation
Alper Ferudun, “Unbounded Line Pinning by Pairwise Disjoint Convex Bodies,” EulerSolve Research Papers, OWR-2090-019, 2026. https://doi.org/10.5281/zenodo.23460239.
BibTeX
@misc{ferudun2026disjointpinning,
author = {Ferudun, Alper},
title = {Unbounded Line Pinning by Pairwise Disjoint Convex Bodies},
year = {2026},
howpublished = {EulerSolve Research Papers},
url = {https://eulersolve.org/papers/owr-2090-019/},
doi = {10.5281/zenodo.23460239},
note = {OWR-2090-019; unrefereed preprint}
}