Pith. sign in

REVIEW 3 cited by

Orbit recovery from invariants of low degree in representations of finite groups

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2503.00009 v1 pith:3TF5M5KM submitted 2025-02-16 math.RT cs.ITmath.IT

classification math.RTcs.ITmath.IT
keywords degreefiniteinvariantsgenericgroupgroupsorbitproblem
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

Motivated by applications to equivariant neural networks and cryo-electron microscopy we consider the problem of recovering the generic orbit in a representation of a finite group from invariants of low degree. The main result proved here is that invariants of degree at most three separate generic orbits in the regular representation of a finite group defined over any infinite field. This answers a question posed in a 2023 ACHA paper of Bandeira et. al. We also discuss this problem for subregular representations of the dihedral and symmetric groups.

Discussion (0). Sign in to comment.

Forward citations

Cited by 3 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Separating polynomial invariants over non-closed fields of finite abelian groups

    math.AC 2025-06 conditional novelty 7.0 of 10

    Over Q, degree 3 polynomial invariants separate orbits of C_p representations; a new Galois-descent condition yields analogous degree bounds for abelian groups over non-closed fields.

  2. Generic orbits, normal bases, and generation degree for fields of rational invariants

    math.AC 2025-06 unverdicted novelty 7.0 of 10

    Theorem: for faithful finite group actions in characteristic not dividing the group order, β_field ≤ 2D_span + 1, and equality is attained.

  3. Generic separation for modular invariants

    math.RT 2025-05 accept novelty 7.0 of 10

    For modular representations of a cyclic p-group, the invariant field and generic orbit separation are generated by invariants of degree at most 3 plus one degree-p norm invariant.

Pith tools