Rational invariants of even ternary forms under the orthogonal group

07/31/2017
by   Paul Görlach, et al.
0

In this article we determine a generating set of rational invariants of minimal cardinality for the action of the orthogonal group O_3 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 B_3 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 B_3-equivariance properties. Our explicit construction of these bases should be relevant well beyond the scope of this paper. The expression of the B_3-invariants can then be given in a compact form as the composition of two equivariant maps. Instead of providing (cumbersome) explicit expressions for the O_3-invariants, we provide efficient algorithms for their evaluation and rewriting. We also use the constructed B_3-invariants to determine the O_3-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.

READ FULL TEXT
research
07/31/2017

Rational invariants of ternary forms under the orthogonal group

In this article we determine a generating set of rational invariants of ...
research
01/06/2018

Algorithms for orbit closure separation for invariants and semi-invariants of matrices

We consider two group actions on m-tuples of n × n matrices. The first i...
research
12/05/2021

New Properties and Invariants of Harmonic Polygons

Via simulation, we discover and prove curious new Euclidean properties a...
research
12/10/2021

Constant rank factorizations of smooth maps

Sonar systems are frequently used to classify objects at a distance by u...
research
03/30/2016

Möbius Invariants of Shapes and Images

Identifying when different images are of the same object despite changes...
research
07/04/2023

Generalized ARRIVAL Problem for Rotor Walks in Path Multigraphs

Rotor walks are cellular automata that determine deterministic traversal...
research
06/25/2018

Finding models through graph saturation

We give a procedure that can be used to automatically satisfy invariants...

Please sign up or login with your details

Forgot password? Click here to reset