|
Weights of exact threshold functions
L. Babaia, K. A. Hansenb, V. V. Podolskiicd, Xiaoming Sune a University of Chicago, USA
b University of Aarhus, Denmark
c Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
d National Research University "Higher School of Economics", Moscow
e Institute of Computing Technology, Chinese Academy of Sciences, China
Abstract:
We consider Boolean exact threshold functions defined by linear equations and, more generally, polynomials of degree $d$. We give upper and lower bounds on the maximum magnitude (absolute value) of the coefficients required to represent such functions. These bounds are very close. In the linear case in particular they are almost matching. This quantity is the same as the maximum magnitude of the integer coefficients of linear equations required to express every possible intersection of a hyperplane in $\mathbb R^n$ and the Boolean cube $\{0,1\}^n$ or, in the general case, intersections of hypersurfaces of degree $d$ in $\mathbb R^n$ and $\{0,1\}^n$. In the process we construct new families of ill-conditioned matrices. We further stratify the problem (in the linear case) in terms of the dimension $k$ of the affine subspace spanned by the solutions and give upper and lower bounds in this case as well. There is a substantial gap between these bounds, a challenge for future work.
Keywords:
computational complexity, Boolean functions, threshold functions, polynomial threshold functions, anti-Hadamard matrices.
Received: 02.10.2020 Revised: 02.03.2021
Citation:
L. Babai, K. A. Hansen, V. V. Podolskii, Xiaoming Sun, “Weights of exact threshold functions”, Izv. Math., 85:6 (2021), 1039–1059
Linking options:
https://www.mathnet.ru/eng/im9113https://doi.org/10.1070/IM9113 https://www.mathnet.ru/eng/im/v85/i6/p5
|
|