1: \begin{abstract}
2: Let $\K[x_1, \dots, x_n]$ be a multivariate
3: polynomial ring over a field $\mathbb{K}$. Let $(u_1, \dots,
4: u_n)$ be a sequence of $n$ algebraically independent elements in
5: $\K[x_1, \dots, x_n]$. Given a polynomial $f$ in
6: $\K[u_1, \dots, u_n]$, a subring of $\K[x_1,
7: \dots, x_n]$ generated by the $u_i$'s, we are interested in
8: finding the unique polynomial $f_{\rm new}$ in $\mathbb{K}[e_1,
9: \dots, e_n]$, where $e_1, \dots, e_n$ are new variables, such that
10: $f_{\mathrm{new}}(u_1, \dots, u_n) = f(x_1, \dots, x_n)$. We
11: provide an algorithm and analyze its arithmetic complexity to
12: compute $f_{\mathrm{new}}$ knowing $f$ and $(u_1, \dots, u_n)$.
13:
14: %Let $G$ be a finite reflection group and $\mathbb{K}$ be a field
15: %of characteristic zero or characteristic coprime with
16: %the order of the group $G$. $\mathbb{K}[x_1, \dots, x_n]$ be a
17: %multivariate polynomial ring over $\mathbb{K}$ and $\mathbb{K}[x_1,
18: %\dots, x_n]^G$ be a set containing all invariant polynomials under
19: %the action of $G$. Then
20: %the Chevalley-Shephard-Todd Theorem states that there exists a
21: %sequence of homogeneous polynomials $(\eta_1, \dots, \eta_n)$ such
22: %that for any polynomial $f$ in $\mathbb{K}[x_1, \dots, x_n]^G$,
23: %there exists a unique polynomial $f_{\rm new}$ in $\mathbb{K}[e_1,
24: %\dots, e_n]$, where $e_1, \dots, e_n$ are new variables, such that
25: %$f_{\mathrm{new}}(\eta_1, \dots, \eta_n) = f(x_1, \dots, x_n)$.
26:
27: % In
28: % this paper, we study the arithmetic complexity to compute
29: % $f_{\mathrm{new}}$ knowing $f$ and $(\eta_1, \dots, \eta_n)$. This
30: % is the first time the theoretical complexity analysis is given
31: % for any finite reflection group $G$ and any set of
32: % generators $(\eta_1, \dots, \eta_n)$. Previously such a result was
33: % only known for $G$ a symmetric group or a directed product of
34: % symmetric groups and $\eta_1, \dots, \eta_n$ elementary symmetric
35: % functions.
36: \end{abstract}
37: