Abstract:Choose a polynomial $f$ uniformly at random from the set of all monic polynomials of degree $n$ with integer coefficients in the box $[-L,L]^n$. The main result of the paper asserts that if $L=L(n)$ grows to infinity, then the Galois group of $f$ is the full symmetric group, asymptotically almost surely, as $n\to \infty$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: when the coefficients of a polynomial are randomly selected within a slowly growing range, is its Galois group almost always the symmetric group \(S_n\)? Specifically, the paper studies the probability that the Galois group of a random polynomial is the full symmetric group as the coefficient range \(L\) approaches infinity under specific conditions.
### Problem Background
Consider a polynomial \(f\) randomly and uniformly selected from all univariate integer - coefficient polynomials of degree \(n\), whose coefficients are in the interval \([-L, L]\). The main result of the paper shows that if \(L = L(n)\) approaches infinity as \(n\) grows, then the Galois group of \(f\) is almost surely the full symmetric group \(S_n\), that is:
\[
\lim_{L \to \infty} P(G_f = S_n)=1
\]
### Key Challenges
1. **Growth Rate of the Coefficient Range**:
- When \(L\) grows rapidly (for example, \(L > n^7\)), this problem has been solved by Gallagher's result.
- When \(L\) is fixed or grows very slowly, the problem becomes more complicated. Currently, when \(L\) is fixed, it is known that the Galois group contains at least the alternating group \(A_n\), but this depends on the Generalized Riemann Hypothesis (GRH).
2. **The Most Interesting Scenario**:
- The focus of the paper is on dealing with the case where \(L\) grows slowly, which is an area that existing theories have not fully addressed.
### Methods and Conclusions
The paper proves that even when \(L\) grows slowly, the Galois group of a polynomial is still almost always the symmetric group \(S_n\) by introducing new methods and techniques. This includes using tools such as harmonic analysis and bounds on exponential - Möbius sums to control the probability that the discriminant is a perfect square.
### Main Theorem
The main theorem of the paper is as follows:
**Theorem 1.1**:
Let \(L\) and \(n\) be positive integers, and
\[
f = X^n+\sum_{k = 0}^{n - 1}\zeta_kX^k
\]
be a random polynomial, where \(\zeta_k\) are independently and identically distributed and take values in \([-L, L]\cap\mathbb{Z}\). Then,
\[
\lim_{L \to \infty} P(G_f = S_n)=1
\]
and this result is uniform in \(n\).
This result not only solves the problem in the case of slowly growing coefficient ranges but also provides a more widely applicable framework for more general independent coefficient distribution cases.