Chamber geometry and specification numbers of Boolean threshold functions
摘要
The specification number of a Boolean threshold function on variables is the least number of points whose -values determine uniquely among all threshold functions. Its essential points form the unique minimum such set. We develop Zuev's geometric interpretation: the threshold functions are the chambers of a central hyperplane arrangement in the -dimensional space of weights and thresholds, and the essential points of a function correspond exactly to the facets of its chamber, so the specification number is the chamber's facet number. The lower bound becomes the fact that a pointed full-dimensional cone has at least facets, with equality for simplicial chambers. The average specification number becomes an average facet count. We evaluate this average exactly via the resonance arrangement and bound it through a theorem of Fukuda, Tamura, and Tokuyama, obtaining ; hence . This settles a question of Gutekunst, M\'esz\'aros, and Petersen. The method also extends to polynomial threshold functions. The same geometry links threshold functions with a threshold zonotope, whose vertices are modified Chow vectors. Its one-skeleton is the one-inclusion graph, and a vertex's degree is the specification number of that function. Finally, we treat the operations of Lozin et al. on functions of minimum specification number. Adding a variable and extending on a variable both take the product of a chamber closure with a half-line, preserving simpliciality. For the symmetric-variables extension we give an exact thresholdness criterion and show that minimum specification number is preserved whenever the extension is a threshold function. We also resolve a question they pose concerning a fourth operation.
引用
@article{arxiv.2606.29477,
title = {Chamber geometry and specification numbers of Boolean threshold functions},
author = {Martin Anthony},
journal= {arXiv preprint arXiv:2606.29477},
year = {2026}
}
备注
61 pages, 2 figures, 2 tables