English

Lower Bound on Weights of Large Degree Threshold Functions

Computational Complexity 2015-07-01 v3

Abstract

An integer polynomial pp of nn variables is called a \emph{threshold gate} for a Boolean function ff of nn variables if for all x\zoonx \in \zoon f(x)=1f(x)=1 if and only if p(x)0p(x)\geq 0. The \emph{weight} of a threshold gate is the sum of its absolute values. In this paper we study how large a weight might be needed if we fix some function and some threshold degree. We prove 2Ω(22n/5)2^{\Omega(2^{2n/5})} lower bound on this value. The best previous bound was 2Ω(2n/8)2^{\Omega(2^{n/8})} (Podolskii, 2009). In addition we present substantially simpler proof of the weaker 2Ω(2n/4)2^{\Omega(2^{n/4})} lower bound. This proof is conceptually similar to other proofs of the bounds on weights of nonlinear threshold gates, but avoids a lot of technical details arising in other proofs. We hope that this proof will help to show the ideas behind the construction used to prove these lower bounds.

Keywords

Cite

@article{arxiv.1204.2652,
  title  = {Lower Bound on Weights of Large Degree Threshold Functions},
  author = {Vladimir V. Podolskii},
  journal= {arXiv preprint arXiv:1204.2652},
  year   = {2015}
}

Comments

17 pages, to appear in LMCS

R2 v1 2026-06-21T20:48:23.475Z