Rational invariants of even ternary forms under the orthogonal group - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Foundations of Computational Mathematics Year : 2019

Rational invariants of even ternary forms under the orthogonal group

Abstract

In this article we determine a generating set of rational invariants of minimal cardinality for the action of the orthogonal group O3 on the space $R[x, y, z]_2d$ of ternary forms of even degree 2d. The construction relies on two key ingredients: On one hand, the Slice Lemma allows us to reduce the problem to determining the invariants for the action on a subspace of the finite subgroup B3 of signed permutations. On the other hand, our construction relies in a fundamental way on specific bases of harmonic polynomials. These bases provide maps with prescribed B3-equivariance properties. Our explicit construction of these bases should be relevant well beyond the scope of this paper. The expression of the B3-invariants can then be given in a compact form as the composition of two equivariant maps. Instead of providing (cumbersome) explicit expressions for the O3-invariants, we provide efficient algorithms for their evaluation and rewriting. We also use the constructed B3-invariants to determine the O3-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 are the computational issues relevant in brain imaging.
Fichier principal
Vignette du fichier
GoHuPa17.pdf (2.12 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01570853 , version 1 (31-07-2017)
hal-01570853 , version 2 (18-08-2017)
hal-01570853 , version 3 (08-07-2018)
hal-01570853 , version 4 (12-07-2018)

Identifiers

Cite

Paul Görlach, Evelyne Hubert, Théo Papadopoulo. Rational invariants of even ternary forms under the orthogonal group. Foundations of Computational Mathematics, 2019, 19, pp.1315-1361. ⟨10.1007/s10208-018-9404-1⟩. ⟨hal-01570853v4⟩
548 View
336 Download

Altmetric

Share

Gmail Facebook X LinkedIn More