Least primitive root and simultaneous power-non residues

Abstract

Let $p$ be a prime and let $g(p)$ be the least primitive root modulo $p$. We prove that for any $\epsilon >0$ and $p$ large enough the bound \begin{align} g(p)\ll p^{\frac{1}{4\sqrt{e}}+ε} \nonumber \end{align} holds for most prime $p$ such that $p-1$ does not have small prime factors, but $2$. We also give an explicit description of the exceptional set.

Extended Theorem 1.3 and more details added throughout the work