Computing the Elementary Symmetric Polynomials in Positive Characteristics

TL;DR

It is shown that there are polynomials that cannot be represented as linear projections of the elementary symmetric polynomials and that cannot be computed by border depth-$3 circuits of top fan-in $k, called $\overline{\Sigma^{[k]}\Pi\Sigma}$, for $k = o(n)$.

Abstract

We first extend the results of Chatterjee,Kumar,Shi,Volk(Computational Complexity 2022) by showing that the degree $d$ elementary symmetric polynomials in $n$ variables have formula lower bounds of $Ω(d(n-d))$ over fields of positive characteristic. Then, we show that the results of the universality of linear projections of elementary symmetric polynomials from Shpilka(JCSS 2002) and of border fan-in two $ΣΠΣ$ circuits from Kumar(ACM TOCT 2020) over zero characteristic fields do not extend to fields of positive characteristic. In particular, we show that *There are polynomials that cannot be represented as linear projections of the elementary symmetric polynomials(in fact, we show linear lower bounds over the size of the sum of such linear projections) and *There are polynomials that cannot be computed by border depth-$3$ circuits of top fan-in $k$, called $\overline{Σ^{[k]}ΠΣ}$, for $k = o(n)$. To prove the first result, we consider a geometric property of the elementary symmetric polynomials, namely, the set of all points in which the polynomial and all of its first-order partial derivatives vanish. It was previously shown that the dimension of this space was exactly $d-2$ for fields of zero characteristic. We extend this to fields of positive characteristic by showing that this dimension must be between $d-2$ and $d-1$. In fact, we provide some criterion where it is $d-2$ and others where it is $d-1$. Then, to consider the border top fan-in of linear projections of the elementary symmetric polynomials and border depth-$3$ circuits(sometimes called border affine Chow rank), we show that it is sufficient to consider the border top fan-in of the sum of such linear projections of the elementary symmetric polynomials. This is done by an explicit construction of a 'metapolynomial,' meaning that this result also applies in the border setting.

Theorems & Definitions (23)

• Theorem 1.1
• Theorem 1.2
• Theorem 1.3
• Remark 1.4
• Lemma 1.5: See Lemma 1.7 of Kum19 and Lemma 3.4 of CKSV22
• proof
• Lemma 1.7
• Lemma 2.1: CKSV22
• Claim 2.2: MZ17, Lemma 12 of LMP19, Lemma 5.2 of CKSV22
• Example 2.3