中文

Chamber geometry and specification numbers of Boolean threshold functions

离散数学 2026-06-28 v1 机器学习 组合数学

摘要

The specification number σn(f)\sigma_n(f) of a Boolean threshold function ff on nn variables is the least number of points whose ff-values determine ff 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 (n+1)(n+1)-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 σn(f)n+1\sigma_n(f)\ge n+1 becomes the fact that a pointed full-dimensional cone has at least n+1n+1 facets, with equality for simplicial chambers. The average specification number σn\overline\sigma_n 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 σn2n\overline\sigma_n\le 2n; hence σn=Θ(n)\overline\sigma_n=\Theta(n). 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