Under the auspices of the Computational Complexity Foundation (CCF)

REPORTS > DETAIL:

### Revision(s):

Revision #1 to TR19-026 | 5th May 2019 00:36

#### Lower Bounds on Balancing Sets and Depth-2 Threshold Circuits

Revision #1
Authors: Pavel Hrubes, Sivaramakrishnan Natarajan Ramamoorthy, Anup Rao, Amir Yehudayoff
Accepted on: 5th May 2019 00:36
Keywords:

Abstract:

There are various notions of balancing set families that appear in combinatorics and computer science. For example, a family of proper non-empty subsets $S_1,\ldots,S_k \subset [n]$ is balancing if for every subset $X \subset \{1,2,\ldots,n\}$ of size $n/2$, there is an $i \in [k]$ so that $|S_i \cap X| = |S_i|/2$. We extend and simplify the framework developed by Hegedüs for proving lower bounds on the size of balancing set families. We prove that if $n=2p$ for a prime $p$, then $k \geq p$. For arbitrary values of $n$, we show that $k \geq n/2 - o(n)$.

We then exploit the connection between balancing families and depth-2 threshold circuits. This connection helps resolve a question raised by Kulikov and Podolskii on the fan-in of depth-2 majority circuits computing the majority function on $n$ bits. We show that any depth-2 threshold circuit that computes the majority on $n$ bits has at least one gate with fan-in at least $n/2 - o(n)$. We also prove a sharp lower bound on the fan-in of depth-2 threshold circuits computing a specific weighted threshold function.

Changes to previous version:

Fixed typos and added a reference.

### Paper:

TR19-026 | 28th February 2019 22:38

#### Lower Bounds on Balancing Sets and Depth-2 Threshold Circuits

TR19-026
Authors: Pavel Hrubes, Sivaramakrishnan Natarajan Ramamoorthy, Anup Rao, Amir Yehudayoff
Publication: 1st March 2019 09:12
There are various notions of balancing set families that appear in combinatorics and computer science. For example, a family of proper non-empty subsets $S_1,\ldots,S_k \subset [n]$ is balancing if for every subset $X \subset \{1,2,\ldots,n\}$ of size $n/2$, there is an $i \in [k]$ so that $|S_i \cap X| = |S_i|/2$. We extend and simplify the framework developed by Hegedüs for proving lower bounds on the size of balancing set families. We prove that if $n=2p$ for a prime $p$, then $k \geq p$. For arbitrary values of $n$, we show that $k \geq n/2 - o(n)$.
We then exploit the connection between balancing families and depth-2 threshold circuits. This connection helps resolve a question raised by Kulikov and Podolskii on the fan-in of depth-2 majority circuits computing the majority function on $n$ bits. We show that any depth-2 threshold circuit that computes the majority on $n$ bits has at least one gate with fan-in at least $n/2 - o(n)$. We also prove a sharp lower bound on the fan-in of depth-2 threshold circuits computing a specific weighted threshold function.