RATIONAL INVARIANTS OF TERNARY FORMS UNDER THE ORTHOGONAL GROUP

Paul Görlach 1, 2 Evelyne Hubert 2, 3 Théo Papadopoulo 4, 3
2 AROMATH - AlgebRe, geOmetrie, Modelisation et AlgoriTHmes
CRISAM - Inria Sophia Antipolis - Méditerranée , National and Kapodistrian University of Athens
4 ATHENA - Computational Imaging of the Central Nervous System
CRISAM - Inria Sophia Antipolis - Méditerranée
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 dermining 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.
Document type :
Preprints, Working Papers, ...
Complete list of metadatas

Cited literature [21 references]  Display  Hide  Download

https://hal.inria.fr/hal-01570853
Contributor : Evelyne Hubert <>
Submitted on : Monday, July 31, 2017 - 7:35:42 PM
Last modification on : Monday, August 20, 2018 - 9:48:01 AM

File

GoHuPa17.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01570853, version 1

Citation

Paul Görlach, Evelyne Hubert, Théo Papadopoulo. RATIONAL INVARIANTS OF TERNARY FORMS UNDER THE ORTHOGONAL GROUP. 2017. ⟨hal-01570853v1⟩

Share

Metrics

Record views

110

Files downloads

21