Minimality of the Abeasis–Pittaluga generators for 3×3 matrix invariants

Determine whether the Abeasis–Pittaluga generating set for the simultaneous-conjugation invariant algebra C[Mat_3^n]^G is a minimal separating set for arbitrary n≥2.

Background

For p=3, the paper recalls an explicit minimal generating set of C[Mat_3^n]^G. Minimality as an algebra generating set does not imply minimality by inclusion or by cardinality as a separating set.

The unresolved issue is whether this specific generating set remains minimal in the weaker separating sense for all numbers of matrices n.