cs.DMJun 28, 2026

Chamber geometry and specification numbers of Boolean threshold functions

Authors: Martin Anthony

Organizations: Department of Mathematics, London School of Economics

Abstract

The specification number σn(f)σ_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σ_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σ_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 σ‾n≤2n\overlineσ_n\le 2n; hence σ‾n=Θ(n)\overlineσ_n=Θ(n). This settles a question of Gutekunst, Mészáros, 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.

Explore similar work

CardsList