1: \begin{abstract}

2: In this article we determine a generating set of rational invariants of minimal 

3: cardinality for the action of the orthogonal group $\G$ on the space 

4: $\R[x,y,z]_{2d}$ of ternary forms of even degree $2d$. The construction relies 

5: on two key ingredients: On one hand, the Slice Lemma allows us to reduce the 

6: problem to determining the invariants for the action on a subspace of the 

7: finite subgroup $\GB$ of signed permutations. 

8: On the other hand, our construction relies in a fundamental way on specific bases of harmonic polynomials. These bases provide maps with prescribed $\GB$-equivariance properties. Our explicit construction of these bases should be relevant well beyond the scope of this paper. 

9: The expression of the $\GB$-invariants can then be given in a compact form as the composition of two equivariant maps. Instead of providing (cumbersome) explicit expressions for the $\G$-invariants, we provide efficient algorithms for their evaluation and rewriting. We also use the constructed $\GB$-invariants to determine the $\G$-orbit locus and provide an algorithm for the inverse problem of finding an element in $\R[x,y,z]_{2d}$ with prescribed values for its invariants. These computational issues are relevant in brain imaging.\\[5pt]

10: 

11: \noindent\textsc{Keywords.} 

12: Computational invariant theory;  

13: Harmonic polynomials; 

14: Orthogonal group; 

15: Slice;

16: Rational invariants;

17: Diffusion MRI; 

18: Neuro-imaging. \\[3pt]

19: 

20: \noindent\textsc{MSC.}

21: 12Y05 %Computational aspects of field theory and polynomials

22: 13A50 %Actions of groups on commutative rings; invariant theory

23: 13P25 % Applications of commutative algebra

24: 14L24 % Geometric invariant theory 

25: 14Q99 %Computational aspects in algebraic geometry

26: 20B30 %Symmetric groups, 

27: 20C30 %Representations of finite symmetric groups

28: 33C55 %Spherical harmonics

29: 42C05 %Orthogonal functions and polynomials, general theory

30: 68U10 %Image processing

31: 68W30 %Symbolic computation and algebraic computation 

32: %

33: \end{abstract}

34: