Consider the finite field $F_q$, where $q$ is a power of an odd prime and $N$ is a power of $q$. We have a homogeneous symmetric polynomial $$ E_{l,s}(x) = \sum_{\substack{l_1+l_2+\cdots +l_s=l \\ l_i\geqslant 1}}\ \sum_{1\leqslant i_1<i_2<\cdots <i_s\leqslant N}x_{i_1}^{l_1}x_{i_2}^{l_2}\cdots x_{i_s}^{l_s} \, , $$ where $l=q^a-1$ ($a\in \mathbb{N}$) and $l-q+2\leqslant s \leqslant l$. We can write it in terms of elementary symmetric polynomials $e_1, e_2, \ldots, e_l$, and it is easy to check the coefficient of $e_l$ is a constant in $F_q$. The question is how to find out this constant.

I guess it is $1$ for all $l-q+2\leqslant s \leqslant l$, and I verified it for $s=l,l-1,l-2$. However, I cannot find a way to prove it.

  • 2
    $\begingroup$ I had an approach which hit a snag, but it still seems worth leaving the following comments. Let $F$ be the field of size $q^a$. If we evaluate the elementary symmetric polynomial $e_k$ on the set $F^{\times}$, we get $0$ for $k<\ell$ and $-1$ at $k=\ell$, so it is equivalent to evaluate $E_{\ell,s}$ on the set $F^{\times}$. (2) We can evaluate on $F$ instead, because all the terms which use the $0$ element will contribute $0$. I have more ideas after that, but I'm not sure if they are good after all... $\endgroup$ – David E Speyer Nov 8 at 16:31
  • $\begingroup$ @DavidESpeyer: Your observation implies that the coefficient of $e_l$ equals the coefficient of $t^l$ in $$- e_s\left(\frac{rt}{1-rt},\frac{r^2t}{1-r^2t},\dots,\frac{r^Nt}{1-r^Nt}\right),$$ where $r$ is a primitive element of $F_q$. $\endgroup$ – Max Alekseyev Nov 8 at 21:47
  • 1
    $\begingroup$ Thank you for the comments. I have figured it out, so no need to think about it anymore... The way is to set a function $$ G(y,t)=\prod_{i=1}^N (y+x_it+x_i^2t^2+\cdots) $$ and multiple by $\prod_{i=1}^N(1-x_it)$ $\endgroup$ – zgczgczgczgczgc Nov 9 at 7:44
  • $\begingroup$ @zgczgczgczgczgc: Yes, you can set $x_i:=r^i$ to get the formula in my previous comment. $\endgroup$ – Max Alekseyev Nov 9 at 17:09
  • $\begingroup$ @MaxAlekseyev: Yes, but actually $x_i$ may not be in $F_q$ or its finite extension. $\endgroup$ – zgczgczgczgczgc Nov 9 at 18:11

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.