Galois groups of all Catalan truncations

Determine whether the Galois group over \(\mathbb{Q}\) of every truncation \(P_n(x)=\sum_{k=0}^{n} C_kx^k\) of the Catalan generating function is isomorphic to the symmetric group \(S_n\) for every positive integer \(n\).

Background

For the Catalan truncations Pn(x)=∑k=0nCkxkP_n(x)=\sum_{k=0}^{n}C_kx^k, the paper proves irreducibility over Q\mathbb{Q} for every positive integer nn. Computational work had previously verified that the Galois group is SnS_n for 1≤n≤20001\leq n\leq 2000. The stronger assertion that this holds for every positive integer nn is attributed to a conjecture of Zhi-Wei Sun and is explicitly left unaddressed by the paper.

References

Sun conjectured in OEIS \href{https://oeis.org/A224416}{A224416} that the Galois group of $P_n(x)$ over $Q$ is isomorphic to $S_n$ for every positive integer $n. We do not address this stronger conjecture in the present paper.

— Irreducibility of truncations of the Catalan generating function  (2609.10526 - Seki, 9 Sep 2026) in Section 1, Introduction