MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Symmetric Polynomials over Z_m and Simultaneous Communication Protocols (2003) [4 citations — 3 self]

by Nayantara Bhatnagar ,  Parikshit Gopalan ,  Richard J. Lipton
Proceedings of the 44 th Annual Symposium on the Foundations of Computer Science
Add To MetaCart

Abstract:

We study the problem of representing symmetric Boolean functions as symmetric polynomials over Zm . We show an equivalence between such representations and simultaneous communication protocols. Computing a function f on 0 1 inputs with a polynomial of degree d modulo pq is equivalent to a two player simultaneous protocol for computing f where one player is given the first dlog p de digits of the weight in base p and the other is given the first dlog q de digits of the weight in base q. This reduces the problem of proving bounds on the degree of symmetric polynomials to proving bounds on simultaneous communication protocols. We use this equivalence to show lower bounds of on symmetric polynomials weakly representing classes of Mod r and Threshold functions. Previously the best known lower bound for symmetric polynomials weakly representing any function over Zm was n [1] where t is the number of distinct prime factors of m. We show there exist symmetric polynomials over Zm of degree o(n) strongly representing Threshold c for c constant, using the fact that the number of solutions of certain exponential Diophantine equations are finite. Conversely, the fact that the degree is o(n) implies that some classes of Diophantine equations can have only finitely many solutions. Our results give simplifications of many previously known results and show that polynomial representations are intimately related to certain questions in number theory.

Citations

397 Amortized communication complexity – Feder, Kushilevitz, et al. - 1995
394 Perceptrons: An Introduction to Computational Geometry – Minsky, Papert - 1988
265 Some complexity questions related to distributive computing – Yao - 1979
74 Multi-party protocols – Chandra, Furst, et al. - 1983
50 Representing Boolean functions as polynomials modulo composite numbers – Barrington, Beigel, et al. - 1994
50 The polynomial method in circuit complexity – Beigel - 1993
20 A lower bound on the MOD 6 degree of the OR function – Tardos, Barrington - 1995
18 The arithmetic properties of binomial coefficients – Granville - 1996
11 On an irreducibility theorem of I – Filaseta - 1991
10 Complex Fourier technique for lower bounds on the Mod-m degree. Submitted. An earlier version appeared as [Gre95 – Green
8 On the weak mod m representation of Boolean functions – Grolmusz - 1995
8 bounds on representing Boolean functions as polynomials in zm – Lower - 1996
4 Symmetric polynomials over ¡£¢ and simultaneous communication protocols (full version – Bhatnagar, Gopalan, et al. - 2003
2 Primary units and a proof of catalan's conjecture. Submitted. Available online from http://www-math.unipaderborn. de/preda – Mihăilescu - 2002
1 My Friends: Popular Lectures on Number Theory – Numbers - 2000
1 Exponential Diophantine Equations, Ch. 12 The Catalan Equation and Related Equations – Shorey, Tijdeman - 1986
1 A generalization of an irreducibility theorem ¤¦¥¨§ of chur – Filaseta - 1991