Representing Boolean functions as polynomials modulo composite numbers

AbstractDefine the MODm-degree of a boolean functionF to be the smallest degree of any polynomialP, over the ring of integers modulom, such that for all 0–1 assignments $$\vec x$$ , $$F(\vec x) = 0$$ iff $$P(\vec x) = 0$$ . We obtain the unexpected result that the MODm-degree of the OR ofN variables is $$O(\sqrt[\tau ]{N})$$ , wherer is the number of distinct prime factors ofm. This is optimal in the case of representation by symmetric polynomials. The MODn function is 0 if the number of input ones is a multiple ofn and is one otherwise. We show that the MODm-degree of both the MODn and $$\neg MOD_n$$ functions isNΩ(1) exactly when there is a prime dividingn but notm. The MODm-degree of the MODm function is 1; we show that the MODm-degree of $$\neg MOD_m$$ isNΩ(1) ifm is not a power of a prime,O(1) otherwise. A corollary is that there exists an oracle relative to which the MODmP classes (such as ⊕P) have this structure: MODmP is closed under complementation and union iffm is a prime power, and MODnP is a subset of MODmP iff all primes dividingn also dividem.

[1]  Michael Sipser,et al.  Parity, circuits, and the polynomial-time hierarchy , 1981, 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981).

[2]  Christos H. Papadimitriou,et al.  Two remarks on the power of counting , 1983, Theoretical Computer Science.

[3]  C. Papadimitriou,et al.  Two remarks on the power of counting , 1983 .

[4]  David A. Mix Barrington,et al.  Bounded-width polynomial-size branching programs recognize exactly those languages in NC1 , 1986, STOC '86.

[5]  Ian Parberry,et al.  On the Construction of Parallel Computers from Various Bases of Boolean Functions , 1986, Theor. Comput. Sci..

[6]  A. Razborov Lower bounds on the size of bounded depth circuits over a complete basis with logical addition , 1987 .

[7]  D. M. Barrington A Note on a Theorem of Razborov , 1987 .

[8]  Roman Smolensky,et al.  Algebraic methods in the theory of lower bounds for Boolean circuit complexity , 1987, STOC.

[9]  Finite monoids and the fine structure of NC1 , 1988, JACM.

[10]  Noam Nisan,et al.  Multiparty protocols and logspace-hard pseudorandom sequences , 1989, STOC '89.

[11]  Andrew Chi-Chih Yao,et al.  ON ACC and threshold circuits , 1990, Proceedings [1990] 31st Annual Symposium on Foundations of Computer Science.

[12]  Roman Smolensky On interpolation by analytic functions with special properties and some weak lower bounds on the size of circuits with symmetric gates , 1990, Proceedings [1990] 31st Annual Symposium on Foundations of Computer Science.

[13]  Lance Fortnow,et al.  A characterization of Hash P by arithmetic straight line programs , 1990, Proceedings [1990] 31st Annual Symposium on Foundations of Computer Science.

[14]  U. Hertrampt Relations among MOD-classes , 1990 .

[15]  Howard Straubing,et al.  Non-Uniform Automata Over Groups , 1990, Inf. Comput..

[16]  Ulrich Hertrampf,et al.  Relations Among Mod-Classes , 1990, Theor. Comput. Sci..

[17]  D. M. Barrington The Current State of Circuit Lower Bounds , 1990 .

[18]  Matthias Krause,et al.  Variation ranks of communication matrices and lower bounds for depth two circuits having symmetric gates with unbounded fan-in , 1991, [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science.

[19]  Richard Beigel,et al.  Relativized Counting Classes: Relations among Thresholds, Parity, and Mods , 1991, J. Comput. Syst. Sci..

[20]  D. M. Barrington Some problems involving Razborov-Smolensky polynomials , 1992 .

[21]  John Gill,et al.  Counting Classes: Thresholds, Parity, Mods, and Fewness , 1990, Theor. Comput. Sci..

[22]  Mitsunori Ogihara,et al.  Counting Classes are at Least as Hard as the Polynomial-Time Hierarchy , 1992, SIAM J. Comput..

[23]  Shi-Chun Tsai Lower bounds on representing Boolean functions as polynomials in Z/sub m/ , 1993, [1993] Proceedings of the Eigth Annual Structure in Complexity Theory Conference.

[24]  Jun Tarui Probablistic Polynomials, AC0 Functions, and the Polynomial-Time Hierarchy , 1993, Theor. Comput. Sci..

[25]  Gábor Tardos,et al.  A lower bound on the mod 6 degree of the OR function , 1995, Proceedings Third Israel Symposium on the Theory of Computing and Systems.

[26]  Shi-Chun Tsai,et al.  Lower Bounds on Representing Boolean Functions as Polynomials in Zm , 1996, SIAM J. Discret. Math..

[27]  Jin-Yi Cai,et al.  On the power of parity polynomial time , 2005, Mathematical systems theory.

[28]  Michael Sipser,et al.  Parity, circuits, and the polynomial-time hierarchy , 1981, 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981).

[29]  Denis Thérien,et al.  NC1: The automata-theoretic viewpoint , 1991, computational complexity.