---
title: Generalized T-Permutant Measures
url: https://www.emergentmind.com/topics/generalized-t-permutant-measures
type: topic
---

# Generalized T-Permutant Measures

Searching arXiv for the cited papers to ground the article in the relevant literature.
arXiv search query: 2206.14798
Generalized T-permutant measures are finite signed measures on the function set \(X^Y\) that are invariant under the action induced by a homomorphism \(T:G\to K\), where \(G\subseteq \mathrm{Aut}(X)\) and \(K\subseteq \mathrm{Aut}(Y)\). They were introduced in order to construct Group Equivariant Non-Expansive Operators (GENEOs) between graphs and, more generally, between heterogeneous perception pairs \((\mathbb R^X,G)\) and \((\mathbb R^Y,K)\). In this setting, they provide the algebraic device that transports source symmetries to target symmetries and yields equivariant linear operators, with non-expansivity enforced by a total-variation bound [2206.14798] [2601.03910].

## 1. Definition and invariance

For finite nonempty sets \(X\) and \(Y\), a subgroup \(G\) of \(\mathrm{Aut}(X)\), a subgroup \(K\) of \(\mathrm{Aut}(Y)\), and a homomorphism \(T:G\to K\), a finite signed measure \(\mu\) on \(X^Y\) is called a generalized permutant measure with respect to \(T\) if each subset \(H\) of \(X^Y\) is measurable and
\[
\mu\bigl(g\circ H\circ T(g^{-1})\bigr)=\mu(H)\qquad\text{for every }g\in G.
\]
Equivalently, in the formulation used later for the representation theorem, \(\mu\) is a finite signed measure on the power set \(\mathcal P(X^Y)\) such that
\[
\mu(H)=\mu\bigl(g\,H\,T(g)^{-1}\bigr)\qquad \forall\,H\subseteq X^Y,\;\forall\,g\in G,
\]
or, at the level of singletons,
\[
\mu(\{h\})=\mu(\{g\,h\,T(g)^{-1}\})\qquad \forall\,h\in X^Y,\;g\in G.
\]
The underlying action is
\[
\alpha_T:G\times X^Y\longrightarrow X^Y,\qquad (g,h)\longmapsto g\,h\,T(g)^{-1},
\]
that is,
\[
(g\cdot h)(y)=g\bigl(h(T(g)^{-1}(y))\bigr).
\]
Accordingly, a generalized T-permutant measure is constant on the \(G\)-orbits of this action [2206.14798].

## 2. The parameter \(T\) and heterogeneous symmetry transport

In the generalized setting one works with two possibly different domains of measurement,
\[
(\Phi,G),\;\mathrm{dom}(\Phi)=X,\qquad (\Psi,K),\;\mathrm{dom}(\Psi)=Y,
\]
together with a group homomorphism
\[
T:G\longrightarrow K.
\]
The role of \(T\) is to encode how symmetries of the source domain \(X\) are transported to symmetries of the target domain \(Y\). If \(g\in G\) is a symmetry of \(X\), then \(T(g)\in K\) is the corresponding symmetry of \(Y\). The invariance condition
\[
\mu\bigl(g\circ H\circ T(g^{-1})\bigr)=\mu(H)
\]
states that, for each measurable subset \(H\subseteq X^Y\), pushing its elements \(f:Y\to X\) forward by
\[
f\longmapsto g\circ f\circ T(g^{-1})
\]
leaves the total signed measure unchanged. In this sense, \(T\) determines the precise right action needed to compare orbits in \(X^Y\). The later algebraic theory adds a structural assumption: if the action of \(T(G)\) on \(Y\) is transitive, then linear GENEOs admit a complete representation by generalized T-permutant measures; if it is not transitive, one works orbit by orbit [2601.03910].

## 3. From generalized T-permutant measures to linear GENEOs

The basic construction associates to a generalized permutant measure \(\mu\) the operator
\[
F_\mu:\mathbb R^X\longrightarrow \mathbb R^Y,\qquad
F_\mu(\varphi):=\sum_{f\in X^Y}(\varphi\circ f)\,\mu(f).
\]
This map is a linear GEO from \((\Phi,G)\) to \((\Psi,K)\) with respect to \(T\). If, in addition,
\[
\sum_{f\in X^Y}|\mu(f)|\le 1,
\]
then \(F_\mu\) is non-expansive and hence a GENEO. The proof uses linearity, the change of variable \(\hat f=g\circ f\circ T(g^{-1})\), and the estimate
\[
\|F_\mu(\varphi)\|_\infty\le \sum_f|\mu(f)|\,\|\varphi\|_\infty
\]
[2206.14798].

A later representation theorem turns this construction into a characterization. Assume that \(T:G\to K\) is a homomorphism and that \(T(G)\) acts transitively on the finite set \(Y\). Then \((F,T)\) is a linear GENEO
\[
(\mathbb R^X,G)\to(\mathbb R^Y,K)
\]
if and only if there exists a generalized \(T\)-permutant measure \(\mu\) on \(X^Y\) with
\[
\sum_{h\in X^Y}|\mu(h)|\le 1,
\]
such that
\[
F(\varphi)=\sum_{h\in X^Y}\varphi\circ h\;\mu(h)\qquad\forall\,\varphi\in\mathbb R^X.
\]
The proof outline is explicitly algebraic. One writes \(F\) as a matrix \(B=(b_{ij})\), derives from \(T\)-equivariance that
\[
b_{ij}=b_{\sigma_{T(g)}(i)\,\sigma_g(j)},
\]
decomposes \(F=F^+-F^-\), applies the Birkhoff–von Neumann theorem to the positive and negative parts, and averages the resulting coefficients over the \(G\)-orbits in \(X^Y\). The norm constraint is exact:
\[
\|F\|_{\mathrm{op}}
=
\max_{\varphi\neq 0}\frac{\|F(\varphi)\|_\infty}{\|\varphi\|_\infty}
=
\sum_{h\in X^Y}|\mu(h)|.
\]
Thus non-expansivity is equivalent to the total variation bound on \(\mu\) [2601.03910].

## 4. Extension of the classical permutant formalism

The generalized theory extends the classical notion of permutant measure in three explicit directions. In the classical theory one works only with
\[
X=Y,\qquad K=G,\qquad T=\mathrm{id}_G,
\]
and \(\mu\) is a measure on \(\mathrm{Aut}(X)\). The generalized version instead allows \(X\neq Y\), allows a non-trivial homomorphism \(T:G\to K\), and defines \(\mu\) on the full function set \(X^Y\) rather than on a subgroup of bijections [2206.14798].

This enlargement addresses a concrete limitation of earlier representation results for linear GENEOs, which characterized operators acting on data of the same type. The generalized theory is designed for operators between different perception pairs and therefore accommodates heterogeneous data spaces. The stated applications include passage from “vertex-weighted graphs” to “edge-weighted graphs,” and from “large” graphs to “small auxiliary” graphs, as in the \(C_6\to C_3\) construction. A common misconception is that permutant-based representations are intrinsically tied to bijections or to source and target spaces of the same kind; the generalized framework explicitly removes both restrictions [2601.03910].

## 5. Graph GENEOs and canonical examples

In the graph setting, one typically takes
\[
X=V_{\Gamma_1}\quad\text{or}\quad X=E_{\Gamma_1},\qquad
Y=V_{\Gamma_2}\quad\text{or}\quad Y=E_{\Gamma_2},
\]
with \(\Phi=\mathbb R^X\), \(\Psi=\mathbb R^Y\), and groups \(G\subseteq \mathrm{Aut}(X)\), \(K\subseteq \mathrm{Aut}(Y)\). A graph-permutant measure \(\mu\) on \(X^Y\) then yields the GENEO
\[
F_\mu(\varphi)=\sum_{f\in X^Y}\varphi\circ f\;\mu(f).
\]
When \(\mu\) is supported on a small orbit, one obtains a very efficient equivariant operator [2206.14798].

A first explicit example is the \(\mathrm{ew}\)-graph construction on \(\Gamma=K_4\) with \(X=E_{K_4}\). Let \(H\subseteq \mathrm{Aut}(E_{K_4})\) be the permutant of all edge-swaps induced by vertex transpositions, and define the uniform measure
\[
\mu(h)=
\begin{cases}
\frac{1}{|H|},& h\in H,\\[4pt]
0,& h\notin H.
\end{cases}
\]
Then
\[
F_\mu(\varphi)=\sum_{h\in H}\frac{1}{|H|}\,\varphi\circ h
\]
is exactly the GENEO \(F\) of Section 5.1 whose action on \(0\)-\(1\) edge-vectors of \(K_4\) produces the so-called “\(F_4\)-codes.” In the subgraph encoding \(\Phi_4=\{0,1\}^6\subset\mathbb R^6\), one has a permutant \(H=\{h_1,\dots,h_6\}\) consisting of the six transpositions of the vertex set and
\[
F_4(\varphi)=\frac{1}{6}\sum_{i=1}^6 \varphi\circ h_i.
\]
The paper reports that isomorphic subgraphs have codes equal up to permutation.

A second example concerns cycle graphs \(C_6\to C_3\). Here
\[
X=E_{C_6},\qquad Y=E_{C_3},\qquad G=D_6,\qquad K=D_3,\qquad T:D_6\to D_3.
\]
For each base map \(p:Y\to X\), one considers its orbit \(H_p\subseteq X^Y\) under the \(G\)-action
\[
f\mapsto g\circ f\circ T(g^{-1}).
\]
The uniform measure on \(H_p\) yields the GENEO
\[
F_p(\varphi)=\frac{1}{|H_p|}\sum_{f\in H_p}\varphi\circ f.
\]
The orbit sizes computed in the paper are \(2,4,6,12\). These examples exhibit the intended role of generalized T-permutant measures: they are not only existence devices for equivariant operators, but also concrete combinatorial objects from which graph operators can be built directly.

## 6. Orbit structure, polytope geometry, and machine-learning use

The orbit decomposition of \(X^Y\) under \(\alpha_T\) controls the linear theory. If \(\mathcal O_1,\dots,\mathcal O_k\subseteq X^Y\) are the \(k\) orbits of the action, the corresponding measures
\[
\nu_i(h)=
\begin{cases}
1,& h\in \mathcal O_i,\\[4pt]
0,& \text{else},
\end{cases}
\qquad i=1,\dots,k,
\]
form a basis of the real vector space of generalized \(T\)-permutant measures. Consequently, linear GENEOs can be written as
\[
F=\sum_{i=1}^k a_i\,F_{\nu_i},\qquad \sum_{i=1}^k |a_i|\,|\mathcal O_i|\le 1,
\]
where
\[
F_{\nu_i}(\varphi)=\sum_{h\in\mathcal O_i}\varphi\circ h.
\]
The space \(\mathcal F^T_{\mathrm{lin}}\) of all linear GENEOs is therefore a compact convex polytope in \(\mathrm{End}(\mathbb R^X,\mathbb R^Y)\), namely
\[
\mathrm{conv}
\Bigl\{
\pm\tfrac1{|\mathcal O_1|}F_{\nu_1},\dots,
\pm\tfrac1{|\mathcal O_k|}F_{\nu_k}
\Bigr\}.
\]
This identifies the generalized T-permutant formalism with a finite-dimensional convex geometry of equivariant non-expansive linear maps [2601.03910].

The same paper gives an explicit application to autoencoder preprocessing. Let
\[
X=\mathbb Z_p^2,\qquad Y=\mathbb Z_p,
\]
with translation groups
\[
G=\{g_v(x)=x+v\mid v\in X\},\qquad
K=\{k_c(y)=y+c\mid c\in Y\}.
\]
For a unit-vector \(\bar w\in X\) with \(\bar w\cdot \bar w=1\) modulo \(p\), define
\[
T_{\bar w}(g_v)=k_{\,v\cdot \bar w}.
\]
For each \(t\in Y\), define
\[
h_{\bar w}^t(z)=z\,\bar w+t\,\bar w^\perp.
\]
The set \(\{h_{\bar w}^t\mid t\in Y\}\subset X^Y\) is invariant under \(\alpha_{T_{\bar w}}\) and forms a single orbit \(\mathcal O_{\bar w}\). The measure
\[
\mu_{\bar w}(h)=
\begin{cases}
\tfrac1{|\mathcal O_{\bar w}|},& h\in\mathcal O_{\bar w},\\[4pt]
0,& \text{else},
\end{cases}
\]
is a generalized \(T_{\bar w}\)-permutant measure, and
\[
F_{\mu_{\bar w}}(\varphi)
=
\frac1{|\mathcal O_{\bar w}|}\sum_{t\in Y}\varphi\circ h_{\bar w}^t
\]
is a linear GENEO, equivariant to translations and non-expansive. In practice, one generates a family of such GENEOs, one for each “direction” \(\bar w\), and uses their outputs as preprocessed features before feeding data into a standard convolutional autoencoder. Experimental results on MNIST with salt-and-pepper noise show that the GENEO-enhanced autoencoder preserves classification accuracy and reduces reconstruction error much better than an ordinary autoencoder. This suggests that generalized T-permutant measures are not only a representation-theoretic tool but also a usable design principle for equivariant preprocessing in geometric machine learning.

Source: https://www.emergentmind.com/topics/generalized-t-permutant-measures