Under the auspices of the Computational Complexity Foundation (CCF)

REPORTS > DETAIL:

### Revision(s):

Revision #1 to TR14-173 | 15th April 2015 03:39

#### Majority is incompressible by AC$^0[p]$ circuits

Revision #1
Authors: Igor Carboni Oliveira, Rahul Santhanam
Accepted on: 15th April 2015 03:39
Downloads: 906
Keywords:

Abstract:

We consider $\cal C$-compression games, a hybrid model between computational and communication complexity. A $\cal C$-compression game for a function $f \colon \{0,1\}^n \to \{0,1\}$ is a two-party communication game, where the first party Alice knows the entire input $x$ but is restricted to use strategies computed by $\cal C$-circuits, while the second party Bob initially has no information about the input, but is computationally unbounded. The parties implement an interactive communication protocol to decide the value of $f(x)$, and the communication cost of the protocol is the maximum number of bits sent by Alice as a function of $n = |x|$.

We show that any AC$_d^0[p]$-compression protocol to compute Majority$_n$ requires communication $n/ (\log n)^{2d + O(1)}$, where $p$ is prime, and AC$_d^0[p]$ denotes polynomial size unbounded fan-in depth-$d$ Boolean circuits extended with modulo $p$ gates. This bound is essentially optimal, and settles a question of Chattopadhyay and Santhanam (2012). This result has a number of consequences, and yields a tight lower bound on the total fan-in of oracle gates in constant-depth oracle circuits computing Majority$_n$.

We define multiparty compression games, where Alice interacts in parallel with a polynomial number of players that are not allowed to communicate with each other, and communication cost is defined as the sum of the lengths of the longest messages sent by Alice during each round. In this setting, we prove that the randomized $r$-round AC$^0[p]$-compression cost of Majority$_n$ is $n^{\Theta(1/r)}$. This result implies almost tight lower bounds on the maximum individual fan-in of oracle gates in certain restricted bounded-depth oracle circuits computing Majority$_n$. Stronger lower bounds for functions in NP would separate NP from NC$^1$.

Finally, we consider the round separation question for two-party AC$^0$-compression games, and significantly improve known separations between $r$-round and $(r+1)$-round protocols, for any constant $r$.

### Paper:

TR14-173 | 13th December 2014 21:41

#### Majority is incompressible by AC$^0[p]$ circuits

TR14-173
Authors: Igor Carboni Oliveira, Rahul Santhanam
Publication: 13th December 2014 21:50
Downloads: 1397
Keywords:

Abstract:

We consider $\cal C$-compression games, a hybrid model between computational and communication complexity. A $\cal C$-compression game for a function $f \colon \{0,1\}^n \to \{0,1\}$ is a two-party communication game, where the first party Alice knows the entire input $x$ but is restricted to use strategies computed by $\cal C$-circuits, while the second party Bob initially has no information about the input, but is computationally unbounded. The parties implement an interactive communication protocol to decide the value of $f(x)$, and the communication cost of the protocol is the maximum number of bits sent by Alice as a function of $n = |x|$.

We show that any AC$_d^0[p]$-compression protocol to compute Majority$_n$ requires communication $n/ (\log n)^{2d + O(1)}$, where $p$ is prime, and AC$_d^0[p]$ denotes polynomial size unbounded fan-in depth-$d$ Boolean circuits extended with modulo $p$ gates. This bound is essentially optimal, and settles a question of Chattopadhyay and Santhanam (2012). This result has a number of consequences, and yields a tight lower bound on the total fan-in of oracle gates in constant-depth oracle circuits computing Majority$_n$.

We define multiparty compression games, where Alice interacts in parallel with a polynomial number of players that are not allowed to communicate with each other, and communication cost is defined as the sum of the lengths of the longest messages sent by Alice during each round. In this setting, we prove that the randomized $r$-round AC$^0[p]$-compression cost of Majority$_n$ is $n^{\Theta(1/r)}$. This result implies almost tight lower bounds on the maximum individual fan-in of oracle gates in certain restricted bounded-depth oracle circuits computing Majority$_n$. Stronger lower bounds for functions in NP would separate NP from NC$^1$.

Finally, we consider the round separation question for two-party AC$^0$-compression games, and significantly improve known separations between $r$-round and $(r+1)$-round protocols, for any constant $r$.

ISSN 1433-8092 | Imprint