7ca5ce9fae24408b.tex
1: \begin{abstract}
2: Let $\tilde{f}(X)\in\Z[X]$ be a degree-$n$ polynomial such that $f(X):=\tilde{f}(X)\bmod p$ factorizes into $n$ distinct linear factors over $\F_p$.  We study the problem  of \emph{deterministically} factoring $f(X)$ over $\F_p$ given $\tilde{f}(X)$.
3: Under  the generalized Riemann hypothesis (GRH), we give an improved deterministic algorithm that computes the complete factorization of $f(X)$ in the case that the Galois group of $\tilde{f}(X)$ is (permutation isomorphic to) a \emph{linear group} $G\leq \gl(V)$ on the set $S$ of roots of $\tilde{f}(X)$, where $V$ is a finite-dimensional vector space over a finite field $\F$ and $S$ is identified with a subset of $V$. 
4:  In particular, when $|S|=|V|^{\Omega(1)}$, the algorithm runs in time polynomial in $n^{\log n/(\log\log\log\log n)^{1/3}}$ and the size of the input, improving Evdokimov's algorithm.
5: Our result also applies to a general Galois group $G$ when combined with a recent algorithm of the author. 
6: 
7: To prove our main result, we introduce a family of objects called \emph{linear $m$-schemes} and reduce the problem of factoring $f(X)$ to a combinatorial problem about these objects.
8: We then apply techniques from additive combinatorics to   obtain an improved bound. Our techniques may be of independent interest.
9: \end{abstract}
10: