A Sharp Sampling Bound for Primitive Real Toric Arrangements
Manuscript 19 October 2026 · Online 19 October 2026
Abstract
Let \(A\) be a finite spanning collection of primitive integral normals in dimension \(n\), and let \(E_A\) be the least common multiple of the largest Smith invariant factors of its nonsingular full-rank submatrices. If \(E_A>1\), every grid of denominator \(m\) with \(E_A\mid m\) and \(m\ge nE_A\) meets every ordinary stratum of the associated real toric arrangement. The multiplier \(n\) is sharp in every dimension \(n\ge2\) for every prescribed \(E_A\ge2\). For arbitrary integral normals, the successful denominators are exactly \(E_A\) times the integers at least the maximum codegree of the scaled stratum closures. The proof combines the interior-lattice-point framework of Hanlon and Painter with the standard Smith lcm period; primitivity excludes unimodular simplex closures through divisibility of facet constants. A sufficient bound for realizing all Bondal-Thomsen summands follows for smooth toric varieties with no torus factor.
Record
- Affiliation
- Mercury Software GmbH
- Contact
- [email protected] · GitHub
- Result
- Complete scoped sampling theorem
- Categories
- math.CO · math.AG
- 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, “A Sharp Sampling Bound for Primitive Real Toric Arrangements,” EulerSolve Research Papers, OWR-14299288-010, 2026. https://doi.org/10.5281/zenodo.23484274.
BibTeX
@misc{ferudun2026primitivetoricsampling,
author = {Ferudun, Alper},
title = {A Sharp Sampling Bound for Primitive Real Toric Arrangements},
year = {2026},
howpublished = {EulerSolve Research Papers},
url = {https://eulersolve.org/papers/owr-14299288-010/},
doi = {10.5281/zenodo.23484274},
note = {OWR-14299288-010; unrefereed preprint}
}