Weizmann Logo
ECCC
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style



REPORTS > DETAIL:

Paper:

TR25-128 | 5th September 2025 13:38

Computing the Elementary Symmetric Polynomials in Positive Characteristics

RSS-Feed

Abstract:

We first extend the results of CKSV22 by showing that the degree $d$ elementary symmetric polynomials in $n$ variables have formula lower bounds of $\Omega(d(n-d))$ over fields of positive characteristic.
Then, we show that the results of the universality of the symmetric model from Shp02 and the results about border fan-in two $\Sigma\Pi\Sigma$ circuits from Kum20 over zero characteristic fields do not extend to fields of positive characteristic.
In particular, we show that
\begin{enumerate}
\item There are polynomials that cannot be represented as linear projections of the elementary symmetric polynomials (in fact, we show that they cannot be represented as the sum of $k$ such projections for a fixed $k$) and
\item There are polynomials that cannot be computed by border depth-$3$ circuits of top fan-in $k$, called $\overline{\Sigma^{[k]}\Pi\Sigma}$, for $k = o(n)$.
\end{enumerate}

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 shown in MZ17 and LMP19 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 show this bound is tight, in the sense that there are (infinitely many) polynomials where each of these bounds is exact.

Then, to consider the border top fan-in of the symmetric model and 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 linear projections of the elementary symmetric polynomials.
This is done by constructing an explicit metapolynomial to check the condition, meaning that this result also applies in the border setting.



ISSN 1433-8092 | Imprint