RUS  ENG
Full version
JOURNALS // Izvestiya Rossiiskoi Akademii Nauk. Seriya Matematicheskaya // Archive

Izv. RAN. Ser. Mat., 2021 Volume 85, Issue 6, Pages 5–26 (Mi im9113)

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.

UDC: 519.1

MSC: 06E30

Received: 02.10.2020
Revised: 02.03.2021

DOI: 10.4213/im9113


 English version:
Izvestiya: Mathematics, 2021, 85:6, 1039–1059

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024