---
title: Group Equivariant Non-Expansive Operators (GENEOs)
url: https://www.emergentmind.com/topics/group-equivariant-non-expansive-operators-geneos
type: topic
---

# Group Equivariant Non-Expansive Operators (GENEOs)

Group Equivariant Non-Expansive Operators (GENEOs) are symmetry-respecting, distance-non-increasing operators that act on structured data spaces and formalize the idea of an observer whose transformations preserve prescribed invariances while not amplifying perturbations. In the classical function-space setting, a GENEO is a map \(F:\Phi\to\Psi\) between perception pairs \((\Phi,G)\) and \((\Psi,H)\) such that \(F(\varphi g)=F(\varphi)T(g)\) for a homomorphism \(T:G\to H\), together with the non-expansiveness condition \(\|F(\varphi_1)-F(\varphi_2)\|_\infty\le \|\varphi_1-\varphi_2\|_\infty\). In the broader perception-space formulation, a GENEO is a GEO \((f,t)\) satisfying equivariance \(f(g*x)=t(g)*f(x)\) and non-expansiveness both on data and on symmetry groups. Across the recent literature, GENEOs serve as a common language linking topological data analysis, geometric machine learning, interpretable surrogate modeling, graph comparison, signal denoising, and low-complexity equivariant architectures [1812.11832], [2503.01942].

## 1. Foundational definitions and conceptual scope

The original GENEO framework models data as bounded real-valued functions on a common domain. A perception pair is a pair \((\Phi,G)\), where \(\Phi\subseteq \mathbb{R}^X_b\) is a space of admissible measurements and \(G\subseteq \mathrm{Aut}_\Phi(X)\) is a subgroup of \(\Phi\)-preserving bijections of \(X\). The ambient metric on \(\Phi\) is the sup norm,
\[
D_\Phi(\varphi_1,\varphi_2)=\|\varphi_1-\varphi_2\|_\infty,
\]
and \(\Phi\) induces on \(X\) the pseudo-metric
\[
D_X(x_1,x_2)=\sup_{\varphi\in\Phi} |\varphi(x_1)-\varphi(x_2)|.
\]
Within this setting, a GEO satisfies
\[
F(\varphi\circ g)=F(\varphi)\circ T(g),
\]
and a GENEO is a GEO that is also non-expansive in the sup norm [1812.11832], [2202.14021].

A broader abstraction appears in the perception-space formalism. An (extended) perception space \((X,d_X,G,*)\) consists of a pseudo-metric space \((X,d_X)\), a group \(G\), and a left group action \(*\colon G\times X\to X\) such that
\[
d_X(g*x_1,g*x_2)=d_X(x_1,x_2).
\]
This shifts the theory beyond data represented as functions and makes the symmetry action intrinsically metric. In this language, a GEO is a pair \((f,t)\) with \(f:X\to Y\) and \(t:G\to K\) satisfying
\[
f(g*x)=t(g)*f(x),
\]
while a GENEO additionally satisfies
\[
d_Y(f(x_1),f(x_2))\le d_X(x_1,x_2), \qquad
d_K(t(g_1),t(g_2))\le d_G(g_1,g_2),
\]
where
\[
d_G(g_1,g_2):=\sup_{x\in X} d_X(g_1*x,g_2*x).
\]
In this terminology, GENEOs are a constrained subclass of GEOs rather than a separate notion [2503.01942].

Two misconceptions are explicitly excluded by the literature. First, a GEO is not necessarily a GENEO: non-expansiveness is an extra requirement. Second, GENEOs are not restricted to neural network layers. Orthogonal projection from subsets of \(\mathbb{R}^3\) to subsets of \(\mathbb{R}^2\), the persistence-diagram operator, and explicit max/min denoisers on one-dimensional signals are all treated as GENEOs in specific settings [2503.01942], [2606.21084], [2202.14021].

## 2. Operator-space structure, compactness, and geometry

A central object in the theory is the natural pseudo-distance
\[
d_G(\varphi_1,\varphi_2)=\inf_{g\in G} D_\Phi(\varphi_1,\varphi_2\circ g),
\]
which measures similarity modulo the symmetry group. GENEOs contract this distance: if \((F,T)\) is a GENEO from \((\Phi,G)\) to \((\Psi,H)\), then
\[
d_H(F(\varphi_1),F(\varphi_2)) \le d_G(\varphi_1,\varphi_2).
\]
This places GENEOs among the stable observers of the theory and explains their role in invariant comparison [1812.11832].

Under compactness assumptions on \(\Phi\) and \(\Psi\), the space of GENEOs for a fixed homomorphism \(T\) is compact with respect to the operator sup metric
\[
D_{\mathrm{GENEO}}(F_1,F_2)=\sup_{\varphi\in\Phi} D_\Psi(F_1(\varphi),F_2(\varphi)).
\]
If \(\Psi\) is convex, the same space is convex. These properties are repeatedly used as structural justification for finite approximation, operator sampling, and low-complexity model design [1812.11832], [2503.09199].

The compactification theory extends these results beyond already compact perception pairs. If a perception pair has a totally bounded data space rich enough to endow the common domain with a metric structure, then it admits a compactification \((\Phi^*,G^*)\). Likewise, if a space of GENEOs is collectionwise surjective and the data sets are totally bounded and metrize the domains, then the operator space admits a compactification compatible with the compactified source and target perception pairs. The covering condition
\[
\bigcup_{F\in\mathcal F} F(\Phi)=\Psi
\]
is the key hypothesis ensuring non-expansiveness of the acting homomorphism and hence extension of equivariance to the closures [2210.04043].

A further refinement replaces worst-case operator comparison by a probability-weighted \(L^2\)-type geometry. In the finite-dimensional probabilistic setting, the ambient space \(L^2(\Phi_1,V_2)\) becomes a Hilbert manifold with inner product
\[
\langle F_1,F_2\rangle
=
\int_{\Phi_1} \langle F_1(\varphi),F_2(\varphi)\rangle_{V_2}\, f_{V_1}(\varphi)\, d\nu_{V_1},
\]
and the full space of GENEOs is compact with respect to the induced \(L^2\) norm. Any finite-dimensional \(C^k\)-submanifold of this Hilbert space whose points are GENEOs inherits a Riemannian structure, making gradient-based optimization over parameterized GENEO families available in principle [2103.02543].

## 3. Construction principles and representation theorems

Several papers develop explicit mechanisms for building new GENEOs from known ones. One general device is pointwise aggregation by a \(1\)-Lipschitz scalar map \(L:\mathbb{R}^n\to\mathbb{R}\). If \(F_1,\dots,F_n\) are GENEOs and
\[
L^*(F_1,\dots,F_n)(\varphi)(x):=L(F_1(\varphi)(x),\dots,F_n(\varphi)(x))
\]
takes values in \(\Phi\), then \(L^*(F_1,\dots,F_n)\) is again a GENEO. From this, the literature derives power-mean constructions
\[
M_p(x_1,\dots,x_n)=\left(\frac1n\sum_{i=1}^n |x_i|^p\right)^{1/p}
\]
for \(p\ge 1\), and series constructions
\[
F(\varphi)=\sum_{k=1}^\infty a_k F_k(\varphi)
\]
under bounded-partial-sum and \(\sum_k a_k\le 1\) assumptions [2010.08823].

In the finite linear setting, a more algebraic picture emerges. If a finite group \(G\subseteq \mathrm{Aut}(X)\) acts transitively on \(X\), then every linear \(G\)-equivariant operator on \(\mathbb{R}^X\) can be represented by a permutant measure:
\[
F(\varphi)=\sum_{h\in \mathrm{Aut}(X)} \varphi h^{-1}\,\mu(h),
\]
where \(\mu\) is constant on conjugacy orbits under \(G\). The operator is a linear GENEO precisely when
\[
\sum_{h\in \mathrm{Aut}(X)} |\mu(h)| \le 1.
\]
This converts abstract linear equivariance and non-expansiveness into a finite weighted sum over permutations with an \(\ell^1\)-type constraint on coefficients [2008.06340].

The heterogeneous version replaces ordinary permutant measures by generalized \(T\)-permutant measures on \(X^Y\), where \(T:G\to K\) mediates between different source and target symmetry groups. Under the assumption that \(T(G)\) acts transitively on the finite output domain \(Y\), a linear map \(F:\mathbb{R}^X\to\mathbb{R}^Y\) is a linear GENEO if and only if
\[
F(\varphi)=\sum_{h\in X^Y}\varphi h\,\mu(h)
\]
for a generalized \(T\)-permutant measure \(\mu\) satisfying
\[
\sum_{h\in X^Y} |\mu(h)| \le 1.
\]
The space of such linear GENEOs is a compact convex polytope generated by orbit-based building blocks [2601.03910].

This representation viewpoint extends naturally to graphs. Generalized permutants and generalized permutant measures on spaces of maps between vertex sets or edge sets generate vertex-weighted and edge-weighted graph GENEOs, including graph-to-graph operators with different source and target graphs [2206.14798].

## 4. Persistent homology, stability, and denoising

Persistent homology is not peripheral to the theory; it is one of its native comparison mechanisms. For a function \(\varphi:X\to\mathbb{R}\), persistence diagrams and persistent Betti numbers satisfy the stability chain
\[
d_{\mathrm{match}}(r_k(\varphi_1),r_k(\varphi_2))
\le d_G(\varphi_1,\varphi_2)
\le D_\Phi(\varphi_1,\varphi_2),
\]
and for a family \(\mathcal F\) of GENEOs,
\[
\mathcal{D}^{\mathcal F,k}_{\mathrm{match}}(\varphi_1,\varphi_2)
=
\sup_{F\in\mathcal F}
d_{\mathrm{match}}(r_k(F(\varphi_1)),r_k(F(\varphi_2)))
\]
defines a strongly \(G\)-invariant pseudo-metric. Under additional assumptions, taking the full space of GENEOs recovers the natural pseudo-distance exactly:
\[
\mathcal{D}^{\mathcal F^{\mathrm{all}},k}_{\mathrm{match}} = d_G.
\]
This is one of the foundational duality results of the subject [1812.11832], [2606.21084].

The persistence-diagram operator itself can be treated as a GENEO when persistence diagrams are represented functionally and the target group is trivial. This is one reason GENEOs are described as a bridge between TDA and machine learning in the later expository literature [2606.21084].

GENEOs also appear as explicit denoisers. For one-dimensional \(L\)-Lipschitz signals \(\varphi:\mathbb{R}\to\mathbb{R}\) corrupted by impulsive noise, the operators
\[
F^\varepsilon(\varphi)(x)=\max(\varphi(x-\varepsilon),\varphi(x+\varepsilon)),\qquad
F_\varepsilon(\varphi)(x)=\min(\varphi(x-\varepsilon),\varphi(x+\varepsilon))
\]
are GENEOs under Euclidean isometries of \(\mathbb{R}\). Their composition removes upward and downward impulses under thinness and separation assumptions, yielding deterministic and probabilistic control of persistence-diagram perturbations. In particular, if \(D\) and \(D'\) are the degree-0 persistence diagrams of \(\varphi\) and \(F^{\sigma/\beta}\circ F_{2\sigma/\beta}(\hat\varphi)\), then
\[
E\big((D,D')\big)\le 3L\frac{\sigma}{\beta} + k\bar\alpha\left(1-\left(1-8\frac{(k-1)}{\ell}\frac{\sigma}{\beta}\right)^k\right).
\]
This makes GENEOs concrete noise-reduction operators rather than merely abstract symmetry constraints [2202.14021].

## 5. Interpretability, surrogate modeling, and partial equivariance

A recent line of work reinterprets GENEOs as observer-controlled translations for explanation. In the perception-space formalism, an observer is a pair \(\mathbb{O}=(\mathbf{T},\mathcal{C})\), where \(\mathbf{T}\) is a category of translation GENEOs and \(\mathcal{C}\) is a complexity assignment. Given two GEOs, a crossed pair of translation uses GENEOs to compare them through an approximately commutative diagram, and the resulting surrogate distance
\[
h_O\big((f_\alpha,t_\alpha),(f_\beta,t_\beta)\big)
=
\inf \{cost(\pi)\mid \pi:(f_\alpha,t_\alpha)\leftrightharpoons_{\mathbf T}(f_\beta,t_\beta)\}
\]
is a hemi-metric. Symmetrization yields a pseudo-metric
\[
d_O=\max\big(h_O(\alpha,\beta),h_O(\beta,\alpha)\big).
\]
Interpretability is then defined by the conjunction of approximation quality and lower complexity:
\[
h_O\big((f_\alpha,t_\alpha),(f_\beta,t_\beta)\big)\le \varepsilon,
\qquad
\{(f_\beta,t_\beta)\}\le \{(f_\alpha,t_\alpha)\}.
\]
In this framework, standard fidelity appears as the identity-only special case, while equivariant surrogate learning becomes diagrammatic distance minimization [2503.01942].

The partial-equivariance extension weakens the group requirement. A P-GENEO acts between perception triples \((\Phi,\Phi',S)\) and \((\Psi,\Psi',Q)\), where \(S\) and \(Q\) are selected admissible sets of bijections rather than necessarily groups. The defining relation is
\[
F'(\varphi s)=F(\varphi)T(s),
\]
together with non-expansiveness of both \(F\) and \(F'\). When \(\Phi=\Phi'\), \(\Psi=\Psi'\), and \(S,Q\) are groups, one recovers the ordinary GENEO notion. The theory stresses that partial equivariance is not approximate equivariance; it is equivariance with respect to a selected admissible set of transformations [2308.13357].

Empirical work on GENEOnet has used these ideas to support explainability and trustworthiness claims in protein pocket detection. In that setting, the model has only 17 trainable parameters, the convex combination weights \(\alpha_i\) act as model-specific global explanations, and statistical resampling shows that some coefficients remain stably large or near zero across repeated retraining. The same study reports that GENEOnet exhibits a significantly higher proportion of equivariance than DeepPocket, Fpocket, and P2Rank under the tested \(\pi/2\) rotation around the \(x\)-axis, and that consecutive predictions remain highly overlapping under molecular-dynamics perturbations, especially at smaller time steps [2503.09199].

## 6. Applications, empirical performance, and current boundaries

GENEOs have been instantiated in several domain-specific architectures. In protein pocket detection, GENEOnet represents proteins by eight voxelized channels and applies a shallow GENEO network with channel-specific equivariant operators, convex combination, and thresholding. The resulting model has 17 trainable parameters and, on the reported benchmark, achieves \(H_1=0.792\) and \(T_3=0.941\), outperforming or matching several state-of-the-art baselines while using only 200 training proteins [2202.00451].

In sparse urban wireless reconstruction, the signal space is modeled as bounded functions on a planar domain, and the implemented GENEO is a pattern-library reconstruction operator. The method reconstructs urban SINR maps from \(1\%-3\%\) observed pixels, under corruption levels \(Q\in\{15,30\}\), using local pattern similarity maps
\[
\hat c_{S,P}(x,y)=\mathcal A_{S,P}(x,y)-\mathcal S_{S,P}(x,y),
\]
with translation equivariance and a non-expansive stability estimate. The reported evaluation uses both MSE and persistence-diagram \(1\)-Wasserstein distance; the paper states that GENEO is dramatically better than both 1-KNN and U-Net in \(1\)-Wasserstein on Munich and yields substantially lower topological error than both baselines in Paris zero-shot transfer [2507.19349].

In graph comparison, GENEOs are built from subgraph permutants. A graph is encoded as a binary function on unordered vertex pairs, the symmetry group is the full vertex-permutation group, and the operator
\[
F_\Lambda(\varphi)=\frac{1}{\hat C}\sum_{h\in H^\varphi_\Lambda}\varphi\circ h
\]
is a linear GENEO that measures normalized induced occurrences of a pattern graph \(\Lambda\). Pairwise comparison uses
\[
F_\Lambda^d(\varphi_1,\varphi_2)=\frac12|F_\Lambda(\varphi_1)-F_\Lambda(\varphi_2)|,
\]
and aggregation by maxima yields a sound certificate of non-isomorphism: isomorphic graphs always have zero score, while a positive score certifies non-isomorphism. On sampled \(r\)-regular graph pairs, the reported GENEO-3 model reaches accuracy \(1.000\) for \(r=3\) at all tested \(N\), with runtimes increasing from \(0.050\) s at \(N=100\) to \(5.167\) s at \(N=10000\) [2406.08045].

The current boundaries of the theory are also explicit. Many exact representation results are linear and finite-dimensional; the compactification theory requires total boundedness, metric richness, and, for operator-space compactification, collectionwise surjectivity; the impulsive-noise denoising results are restricted to one-dimensional signals and degree-0 persistence; and the partial-equivariance formalism still assumes bijective domain transformations [2601.03910], [2210.04043], [2202.14021], [2308.13357]. This suggests a subject that is already structurally rich, but whose strongest theorems remain concentrated in carefully controlled settings rather than in unrestricted deep-learning practice.

Source: https://www.emergentmind.com/topics/group-equivariant-non-expansive-operators-geneos