Unit-Coefficient Simplex Decompositions under Weak Nondegeneracy
Manuscript 18 October 2026 · Online 18 October 2026
Abstract
Let P be a finite union of compact convex polytopes in real d-space, and let S contain its algebraic vertices. Suppose that every d+2 points of S affinely span the ambient space. We prove that the unit-density measure on P is a sum of distinct simplex measures with coefficients +1 or -1 and all simplex vertices in S. All simplices may share any prescribed point of S as a vertex. The proof combines the signed-section and coning results of Akopyan, Barany and Robins with an elementary bounded-coefficient lemma for a configuration having at most one affine dependence. This answers the coefficient question in the weakly nondegenerate setting of Pasechnik's 2013 Oberwolfach report; it does not resolve the later conjecture for arbitrary configurations. A more general bound by the largest facet jump holds for integer-valued polyhedral functions. Exact regression scripts accompany the written proof. This AI-assisted preprint is self-audited and unrefereed; independent review, formal certification and exhaustive priority determination are not claimed.
Record
- Affiliation
- Mercury Software GmbH
- Contact
- [email protected] · GitHub
- Result
- Unit coefficients under weak nondegeneracy
- Categories
- math.MG · math.CO
- Manuscript
- 18 October 2026
- Online release
- 18 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, “Unit-Coefficient Simplex Decompositions under Weak Nondegeneracy,” EulerSolve Research Papers, OWR-12339-005, 2026. https://doi.org/10.5281/zenodo.23456421.
BibTeX
@misc{ferudun2026unitsimplices,
author = {Ferudun, Alper},
title = {Unit-Coefficient Simplex Decompositions under Weak Nondegeneracy},
year = {2026},
howpublished = {EulerSolve Research Papers},
url = {https://eulersolve.org/papers/owr-12339-005/},
doi = {10.5281/zenodo.23456421},
note = {OWR-12339-005; unrefereed preprint}
}