Abstract.
We say an integer polynomial p, on Boolean inputs, weakly m-represents a Boolean function f if p is nonconstant and is zero (mod m), whenever f is zero. In this paper we prove that if a polynomial weakly m-represents the Mod q function on n inputs, where q and m are relatively prime and m is otherwise arbitrary, then the degree of the polynomial is \( \Omega(n) \). This generalizes previous results of Barrington, Beigel and Rudich, and Tsai, which held only for constant or slowly growing m. In addition, the proof technique given here is quite different. We use a method (adapted from Barrington and Straubing) in which the inputs are represented as complex q-th roots of unity. In this representation it is possible to compute the Fourier transform using some elementary properties of the algebraic integers. As a corollary of the main theorem and the proof of Toda's theorem, if q, p are distinct primes, any depth-three circuit that computes the Mod q function, and consists of an exact threshold gate at the output, Mod p gates at the next level, and AND gates of polylog fan-in at the inputs, must be of exponential size. We also consider the question of how well circuits consisting of one exact gate over ACC(p)-type circuits (where p is an odd prime) can approximate parity. It is shown that such circuits must have exponential size in order to agree with parity for more than 1/2 + o(1) of the inputs.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received: February 21, 1996.
Rights and permissions
About this article
Cite this article
Green, F. A complex-number Fourier technique for lower bounds on the Mod-m degree. Comput. complex. 9, 16–38 (2000). https://doi.org/10.1007/PL00001599
Issue Date:
DOI: https://doi.org/10.1007/PL00001599