1: \begin{abstract}

2: Isometries are ubiquitous in nature; isometries of discrete (quantized) objects---abstracted as the group of isometries of $\ambsp$ denoted by $\iz$---are important concepts in the computational world.

3: In this paper, we compute various isometric invariances which mathematically are orbit-computation problems under various isometry-subgroup actions $H \curvearrowright \ambsp, H \leq \iz$.

4: One computational challenge here is about the \emph{infinite}: in general, we can have an infinite subgroup acting on $\ambsp$, resulting in possibly an infinite number of orbits of possibly infinite size.

5: In practice, we restrict the set of orbits (a partition of $\ambsp$) to a finite subset $Z \subseteq \ambsp$ (a partition of $Z$), where $Z$ is specified a priori by an application domain or a data set.

6: Our main contribution is an efficient algorithm to solve this \emph{restricted} orbit-computation problem in the special case of \emph{atomically generated subgroups}---a new notion partially motivated from interpretable AI.

7: The atomic property is key to preserving the \emph{semidirect-product structure}---the core structure we leverage to make our algorithm outperform generic approaches.

8: Besides algorithmic merit, our approach enables \emph{parallel-computing} implementations in many subroutines, which can further benefit from hardware boosts.

9: Moreover, our algorithm works efficiently for \emph{any} finite subset ($Z$) regardless of the shape (continuous/discrete, (non)convex) or location; so it is application-independent.

10: \end{abstract}

11: