Sciweavers

DAGSTUHL
2007

Uniqueness of Optimal Mod 3 Circuits for Parity

13 years 5 months ago
Uniqueness of Optimal Mod 3 Circuits for Parity
In this paper, we prove that the quadratic polynomials modulo 3 with the largest correlation with parity are unique up to permutation of variables and constant factors. As a consequence of our result, we completely characterize the smallest MAJ◦ MOD3 ◦ AND2 circuits that compute parity, where a MAJ ◦ MOD3 ◦ AND2 circuit is one that has a majority gate as output, a middle layer of MOD3 gates and a bottom layer of AND gates of fan-in 2. We also prove that the sub-optimal circuits exhibit a stepped behavior: any sub-optimal circuits of this class that compute parity must have size at least a factor of 2√ 3 times the optimal size. This verifies, for the special case of m = 3, two conjectures made in [5] for general MAJ ◦ MODm ◦ AND2 circuits for any odd m. The correlation and circuit bounds are obtained by studying the associated exponential sums, based on some of the techniques developed in [7].
Frederic Green, Amitabha Roy
Added 29 Oct 2010
Updated 29 Oct 2010
Type Conference
Year 2007
Where DAGSTUHL
Authors Frederic Green, Amitabha Roy
Comments (0)