Constructing irreducible polynomials recursively with a reverse composition method

We suggest a construction of the minimal polynomial $m_{\beta^k}$ of $\beta^k\in \mathbb F_{q^n}$ over $\mathbb F_q$ from the minimal polynomial $f= m_\beta$ for all positive integers $k$ whose prime factors divide $q-1$. The computations of our construction are carried out in $\mathbb F_q$. The key observation leading to our construction is that for $k \mid q-1$ holds $$m_{\beta^k}(X^k) = \prod_{j=1}^{\frac kt} \zeta_k^{-jn} f (\zeta_k^j X),$$ where $t= \max \{m\mid \gcd(n,k): f (X) = g (X^m), g \in \mathbb F_q[X]\}$ and $\zeta_{k}$ is a primitive $k$-th root of unity in $\mathbb F_q$. The construction allows to construct a large number of irreducible polynomials over $\mathbb F_q$ of the same degree. Since different applications require different properties, this large number allows the selection of the candidates with the desired properties

Continuous symmetry reduction and return maps for high-dimensional flows

We present two continuous symmetry reduction methods for reducing high-dimensional dissipative flows to local return maps. In the Hilbert polynomial basis approach, the equivariant dynamics is rewritten in terms of invariant coordinates. In the method of moving frames (or method of slices) the state space is sliced locally in such a way that each group orbit of symmetry-equivalent points is represented by a single point. In either approach, numerical computations can be performed in the original state-space representation, and the solutions are then projected onto the symmetry-reduced state space. The two methods are illustrated by reduction of the complex Lorenz system, a 5-dimensional dissipative flow with rotational symmetry. While the Hilbert polynomial basis approach appears unfeasible for high-dimensional flows, symmetry reduction by the method of moving frames offers hope.Comment: 32 pages, 7 figure