4
$\begingroup$

Let $p$ be a prime where $-1$ is not a quadratic residue, (no solutions to $m^2 = -1$ in $p$).

I want to find an easily computable expression for

$$\sum_{k=0}^n {n \choose 2k} (-x)^k$$

modulo $p$. With one caveat, all the computations must be done over the integers modulo $p$, no complex numbers.

That is, I'm ruling out the standard trick where you take $(1+xi)^n + (1-xi)^n$ to extract even terms.

I'm looking for any other alternate expressions for this sum. The final expression should not have a sum over $n$ terms and not involve any complex numbers implicitly or explicitly. For example, Chebyshev functions are ruled out, as they implicitly involve a complex power.

Other than that any interesting expressions for the sum over the integers or the integers modulo $p$ are allowed. Can anyone do it?

$\textbf{Rephrase}$

Any way of writing the real part of $(1+xi)^n$ modulo $p$, as $f(x,n)$ for some $f$ that only involves real numbers in the computation and no sum over $n$.

For example, $f(x,n)$ can not be a polynomial in $x^n$ because $f(x,n)$ would be periodic modulo $p-1$ in $n$, while $(1+xi)^n$ would be periodic modulo $p^2-1$ (and not $p-1$). So the function $f$ would have to be quite intricate.

$\endgroup$
18
  • 1
    $\begingroup$ Why do you say that the standard trick does not work? You can work in the ring $\Bbb Z / p \Bbb Z [X] / (X^2+1)$, which essentially is the ring of integers modulo $p$ where you have an element $i$ with $i^2=-1$. $\endgroup$
    – Crostul
    Commented Aug 25, 2023 at 22:06
  • $\begingroup$ what is $n$? any number without constraint? $\endgroup$
    – cr001
    Commented Aug 25, 2023 at 22:06
  • 6
    $\begingroup$ Is there some reason you expect there to be a better answer than just saying that it's $(1+i)^n+(1-i)^n$ mod $p$? $\endgroup$ Commented Aug 25, 2023 at 22:46
  • 1
    $\begingroup$ $x$ is a fixed number. $\endgroup$ Commented Sep 27, 2023 at 18:07
  • 2
    $\begingroup$ Further, as in mod order reduction, we can reduce exponents using the quadratic analog of little Fermat $\,(a+bi)^{p^2-1}\equiv 1,\,$ and $(a+bi)^p\equiv a-bi\pmod{\!p}\ \ $ $\endgroup$ Commented Sep 27, 2023 at 19:46

0

You must log in to answer this question.