Computing Elementary Symmetric Polynomials with a Subpolynomial Number of Multiplications

  • Authors:
  • Vince Grolmusz

  • Affiliations:
  • -

  • Venue:
  • SIAM Journal on Computing
  • Year:
  • 2003

Quantified Score

Hi-index 0.00

Visualization

Abstract

Elementary symmetric polynomials $S_n^k$ are the building blocks of symmetric polynomials. In this work we prove that for constant $k$'s, $S_n^k$ modulo composite numbers m=p1p2 can be computed using only no(1) multiplications if the coefficients of monomials xi1xi2. . . xik are allowed to be 1 either mod p1 or mod p2 but not necessarily both. To the best of our knowledge, no previous result yielded even a sublinear (i.e., $n^{\varepsilon}$, $0Comput. Complexity, 6 (1997), pp. 217--234], any homogeneous depth-3 circuit needs size $\Omega((n/2k)^{k/2})$ for computing $S_n^k$ modulo primes. Moreover, the number of multiplications in our algorithm remains sublinear while k=O(log log n). Our results generalize for other nonprime-power composite moduli as well. The proof uses perfect hashing functions and the famous BBR polynomial of Barrington, Beigel, and Rudich.