Weizmann Logo
ECCC
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style



REPORTS > DETAIL:

Revision(s):

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

Lower Bounds on Balancing Sets and Depth-2 Threshold Circuits

RSS-Feed




Revision #1
Authors: Pavel Hrubes, Sivaramakrishnan Natarajan Ramamoorthy, Anup Rao, Amir Yehudayoff
Accepted on: 5th May 2019 00:36
Downloads: 71
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


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.



ISSN 1433-8092 | Imprint