---
title: Tolerant Isomorphism Testing
url: https://www.emergentmind.com/topics/tolerant-isomorphism-testing
type: topic
---

# Tolerant Isomorphism Testing

Searching arXiv for recent papers on tolerant isomorphism testing and closely related isomorphism-testing settings.
Tolerant isomorphism testing is the property-testing problem of deciding whether an unknown object is close to some symmetry transform of a reference object, versus being far from every such transform, under a prescribed distance metric and a nonzero tolerance gap. In the setting developed most explicitly for Boolean functions over finite Abelian groups, the input consists of a fully known Boolean function \(g\), query access to an unknown Boolean function \(f\), and parameters \(\epsilon\ge 0\) and \(\tau>0\); the task is to determine whether there exists an automorphism \(\sigma\in \mathrm{Aut}(\mathcal{G})\) such that \(\delta(f\circ \sigma,g)\le \epsilon\), or whether every automorphic alignment has distance at least \(\epsilon+\tau\) [2507.07654]. More broadly, the term has also appeared in work on Boolean function isomorphism under variable permutations, where both functions are given by queries, and in structural settings where “tolerance” refers not to approximation in Hamming distance but to tolerance relations and quotient constructions on posets [1607.03938, 2112.05580]. The dominant modern interpretation in theoretical computer science is the robust, gap-based testing formulation.

## 1. Formal problem and core model

For Boolean functions over a finite Abelian group \(\mathcal{G}\), tolerant isomorphism testing asks whether
\[
\exists \sigma\in \mathrm{Aut}(\mathcal{G}) \text{ such that } \delta(f\circ \sigma,g)\le \epsilon,
\]
or whether
\[
\forall \sigma\in \mathrm{Aut}(\mathcal{G}),\quad \delta(f\circ \sigma,g)\ge \epsilon+\tau,
\]
where \(\delta(\cdot,\cdot)\) is fractional Hamming distance [2507.07654]. The query model is asymmetric: \(g\) is fully known, while the tester has query access to \(f\), meaning that for any chosen \(x\in \mathcal{G}\) it can obtain the value \(f(x)\) [2507.07654]. This formulation is tolerant because it distinguishes \(\epsilon\)-close inputs from \((\epsilon+\tau)\)-far inputs, rather than insisting on exact isomorphism.

The symmetry notion is determined by the ambient domain. For functions on a finite Abelian group, equivalence is defined by group automorphisms: \(f\) and \(g\) are considered equivalent if there exists \(\sigma\in \mathrm{Aut}(\mathcal{G})\) such that \(f = g\circ \sigma\) [2507.07654]. In the earlier Boolean-cube formulation, the analogous notion is isomorphism under a permutation of variables. There, for \(\pi\in \mathrm{perm}[n]\),
\[
(g\circ \pi)(x_1,\dots,x_n)=g(x_{\pi(1)},\dots,x_{\pi(n)}),
\]
and the distance to isomorphism is
\[
\operatorname{distiso}(f,g)\;\stackrel{\rm def}{=}\;\min_{\pi\in \mathrm{perm}[n]} \operatorname{dist}\big(f,g\circ \pi\big)
\]
for \(f,g:\{-1,1\}^n\to \{-1,1\}\) [1607.03938].

The group-theoretic formulation in [2507.07654] generalizes earlier work for functions on the Boolean cube and vector spaces. The paper writes
\[
\mathcal{G}\cong \mathbb{Z}_{p_1^{m_1}\times \cdots \times \mathbb{Z}_{p_n^{m_n}},
\]
with
\[
\mathcal{L}=\mathrm{LCM}(p_1^{m_1},\dots,p_n^{m_n}),
\]
and develops the tester in that general finite-Abelian setting [2507.07654]. This places tolerant isomorphism testing within the broader program of tolerant property testing: deciding whether an unknown object is close to a structured model defined by symmetries, while allowing a gap \(\tau\) between yes- and no-instances [2507.07654].

## 2. Query complexity and the role of Fourier complexity

The principal quantitative result for finite Abelian groups is that tolerant isomorphism testing is efficiently solvable with query complexity polynomial in the spectral norm of the known function \(g\) and in \(1/\tau\) [2507.07654]. If
\[
\|\widehat g\|_1 \le s,
\]
then the tester uses
\[
O\!\left(\frac{s^8}{\tau^8}\right)
\]
queries, suppressing polylogarithmic factors in \(s\) and \(1/\tau\) and assuming \(\mathcal{L}\) is constant in the stated bound [2507.07654]. The theorem is also stated more abstractly as a \(\mathrm{poly}(s,1/\tau)\) bound [2507.07654].

A stronger result holds when \(g\) is Fourier sparse. If the Fourier support size satisfies
\[
s_g := |\operatorname{supp}(\widehat g)| \le s,
\]
then the paper gives a faster tolerant tester with query complexity
\[
O\!\left(\frac{s^4}{\tau^4}\right),
\]
again up to lower-order logarithmic factors [2507.07654]. The stated reason is that sparse functions have only \(O(s)\) nonzero Fourier coefficients, so the implicit-sieve stage is simpler and does not require the more delicate \(wt_4\) estimation used in the general spectral-norm case [2507.07654].

The dependence on Fourier complexity is not presented as merely analytic overhead. The paper explicitly notes a lower bound from Wimmer–Yoshida in the special case \(\mathbb{Z}_2^n\), namely an \(\Omega(\|\widehat g\|_1)\)-type lower bound, so the spectral-norm dependence is not an artifact of the analysis [2507.07654]. The guarantees are probabilistic, with success probability typically at least \(2/3\) overall after union bounds [2507.07654].

A related but different complexity landscape appears in the Boolean-cube junta-based framework of [1607.03938]. There the tolerant isomorphism tester is instance-adaptive: its query complexity depends on the smallest junta size needed to approximate either input function. The paper defines, for a single function \(f\), the \(\gamma\)-junta degree
\[
k^{(f,\gamma)} \;=\; \min\{k\in[n]: \operatorname{dist}(f,\mathcal{J}_k)\le \gamma\},
\]
and for a pair \((f,g)\),
\[
k^{(f,g,\gamma)} \;=\; \min\big\{k^{(f,\gamma)},\,k^{(g,\gamma)}\big\}
\]
[1607.03938]. Its tolerant-isomorphism theorem gives query complexity
\[
\tilde{O}\!\left(2^{\frac{k}{2}}\log\frac1\delta\right),
\]
where
\[
k = k^{(f,g,\rho c/16)},
\]
and in the worst case
\[
\tilde{O}\!\left(2^{\frac{n}{2}}\log\frac1\delta\right)
\]
[1607.03938]. This suggests two distinct parameterizations of tolerant isomorphism testing for Boolean functions: one by Fourier complexity of a known reference function, and one by latent junta dimension of either queried function.

## 3. Fourier-analytic and group-theoretic framework over finite Abelian groups

The technical foundation of the finite-Abelian-group result is Fourier analysis on \(\mathcal{G}\) together with group-theoretic substitutes for linear-algebraic notions that are available on vector spaces but not on arbitrary finite Abelian groups [2507.07654]. The dual group \(\widehat{\mathcal{G}}\) consists of characters \(\chi:\mathcal{G}\to \mathbb{C}^\times\), and Pontryagin duality gives \(\widehat{\mathcal{G}\cong \mathcal{G}}\) [2507.07654]. Fourier coefficients are defined by
\[
\widehat f(\chi)=\frac{1}{|\mathcal{G}|}\sum_{x\in \mathcal{G}} f(x)\overline{\chi(x)},
\]
with inversion and Parseval identities
\[
f(x)=\sum_{\chi\in \widehat{\mathcal{G}}} \widehat f(\chi)\chi(x),\qquad
\mathbb{E}[f(x)\overline{g(x)}]=\sum_{\chi\in \widehat{\mathcal{G}}}\widehat f(\chi)\overline{\widehat g(\chi)}
\]
[2507.07654]. The spectral norm is
\[
\|\widehat f\|_1=\sum_{\chi\in \widehat{\mathcal{G}}}|\widehat f(\chi)|
\]
[2507.07654].

To emulate orthogonality and cosets of subspaces, the paper defines a pseudo inner-product on \(\mathcal{G}\):
\[
x*y := \left(\sum_{i=1}^{n}\frac{\mathcal{L}}{p_i^{m_i}}\, x^{(i)}\cdot y^{(i)}\right)\bmod \mathcal{L},
\]
for \(x=(x^{(1)},\dots,x^{(n)})\) and \(y=(y^{(1)},\dots,y^{(n)})\) [2507.07654]. For a subgroup \(H\le \mathcal{G}\), the annihilator-like subgroup is then
\[
H^\perp := \{x\in \mathcal{G} : x*y=0 \ \forall y\in H\}
\]
[2507.07654]. The paper proves that this is a subgroup and establishes the key character-sum identity
\[
\sum_{\beta\in H}\omega_{\mathcal{L}}^{\beta*z}=|H|
\]
for \(z\in H^\perp\), while the sum is \(0\) if \(z\notin H^\perp\) [2507.07654]. It also proves
\[
H^\perp \cong \mathcal{G}/H, \qquad |H|\cdot |H^\perp|=|\mathcal{G}|
\]
[2507.07654].

These constructions replace familiar vector-space tools by finite-Abelian analogues. Pontryagin duality is also used to control the effect of automorphisms on Fourier coefficients:
\[
\widehat{f\circ A}(\chi_r)=\widehat f\!\left(\chi_{\widehat{\widehat{A^{-1}(r)}}}\right),
\]
so automorphisms permute Fourier characters in a structured way [2507.07654]. This compatibility is essential because the tester ultimately reasons in the frequency domain while the isomorphism relation is defined in the original domain.

A further notion introduced for this setting is pseudo-independence. A set \(r_1,\dots,r_k\in \mathcal{G}\) is dependent if there exist \(\lambda_1,\dots,\lambda_k\in \mathbb{Z}_{\mathcal L}\) with at least one unit coefficient such that
\[
\sum_{i=1}^k \lambda_i r_i=0
\]
[2507.07654]. This generalizes linear dependence and is used to identify a minimal generating subset among large Fourier characters, because the image of a dependent element under an automorphism is determined by the images of the others [2507.07654]. That feature is precisely what the tester needs to reconstruct the action of an unknown automorphism from a small basis-like set of significant frequencies.

## 4. Bucketization, implicit sieving, and spectrum recovery

A central algorithmic idea is a randomized coset partition of the dual group into buckets [2507.07654]. After choosing random \(\beta_1,\dots,\beta_t\in \widehat{\mathcal{G}}\), the algorithm defines
\[
H=\{\alpha\in \widehat{\mathcal{G}}:\alpha*\beta_i=0\ \forall i\},
\]
and cosets
\[
C(b)=\{\alpha\in \widehat{\mathcal{G}}:\alpha*\beta_i=b_i\ \forall i\}
\]
[2507.07654]. For sufficiently large \(t\), the large Fourier coefficients of \(f\) land in distinct buckets with high probability, so each bucket is dominated by at most one large coefficient [2507.07654]. This makes it possible to estimate one significant character per bucket without enumerating the entire Fourier spectrum.

The bucket weights are
\[
wt_2(C)=\sum_{\beta\in C}|\widehat f(\chi_\beta)|^2,\qquad wt_4(C)=\sum_{\beta\in C}|\widehat f(\chi_\beta)|^4
\]
[2507.07654]. The paper derives formulas such as
\[
wt_2(C_\alpha)=\mathbb{E}_{x\in \mathcal{G},\, z\in H^\perp}\bigl[f(x)f(x+z)\chi_r(z)\bigr],
\]
together with a similar fourth-moment formula for \(wt_4\) [2507.07654]. These identities allow the tester to estimate bucket weights from samples using Hoeffding and Chebyshev bounds, even though the significant coefficients are not known beforehand [2507.07654].

The key subroutine is the Generalized Implicit Sieve [2507.07654]. It returns a matrix whose columns behave like evaluations of the large Fourier characters on random sample points,
\[
Q_{ij}\approx \chi_{\alpha(C_j)}(x_i),
\]
where \(C_j\) are surviving buckets and \(\alpha(C_j)\) is the dominating character in each bucket [2507.07654]. The algorithm filters buckets using \(wt_2\) and \(wt_4\), and uses the product
\[
P_{C_\alpha}f(y_i)\,\overline{P_{C_\alpha}f(y_i-x_i)}
\]
to recover the phase \(\chi_{\alpha(C)}(x_i)\), a necessary step because the relevant characters are complex-valued and there is no sign analogue as in \(\mathbb{Z}_2^n\) [2507.07654].

This part of the framework is the main novelty relative to the vector-space case. The paper explicitly characterizes the contribution as transplanting the Fourier-analytic and implicit-sieve machinery from vector spaces to arbitrary finite Abelian groups using annihilators, Pontryagin duality, pseudo-inner products, and pseudo-independence [2507.07654]. A plausible implication is that these techniques are likely to be useful outside isomorphism testing, especially in property-testing problems where structural symmetries interact with Fourier concentration.

## 5. From recovered spectrum to tolerant decisions

The decision stage uses the Fourier characterization of agreement. For Boolean functions,
\[
\delta(f,g)=\frac{1-\mathbb{E}[f(x)g(x)]}{2}
\quad\Longleftrightarrow\quad
\mathbb{E}[f(x)g(x)] = \sum_{\chi}\widehat f(\chi)\overline{\widehat g(\chi)}
\]
[2507.07654]. After reconstructing an approximation \(\widetilde f\) to the significant Fourier spectrum of \(f\), the tester checks whether there exists \(\sigma\in\mathrm{Aut}(\mathcal{G})\) such that
\[
\sum_{\chi\in \widehat{\mathcal{G}}}\widehat{\widetilde{f\circ \sigma}}(\chi)\overline{\widehat g(\chi)}
\]
is at least \(1-2\epsilon-\text{margin}\), or at most \(1-2(\epsilon+\tau)+\text{margin}\) [2507.07654]. The yes/no gap is therefore implemented through an estimated Fourier correlation threshold.

The earlier tolerant-isomorphism algorithm on the Boolean cube follows a different pipeline. It first discovers the relevant junta scale \(k\) by repeatedly running a tolerant junta tester on both \(f\) and \(g\), and then reduces isomorphism testing to a robust comparison of \(k\)-junta cores obtained through a noisy sampler [1607.03938]. The tolerant junta theorem used there states that for any \(k\ge 1\) and \(\rho\in(0,1)\), there is an algorithm that accepts if \(f\) is \(\rho/16\)-close to some \(k\)-junta, rejects if \(f\) is far from every \(k\)-junta, and uses
\[
O\!\left(\frac{k\log k}{\rho(1-\rho)^k}\right)
\]
queries [1607.03938]. The search phase chooses
\[
\rho = 1-\frac{1}{\sqrt{2}}
\]
and, with high probability, returns \(k^\star\) satisfying
\[
k^{(f,g,c)} \le k^\star \le k^{(f,g,\rho c/16)}
\]
[1607.03938].

The robust comparison phase samples noisy labeled cores
\[
Q_f,Q_g \subseteq \{-1,1\}^{k}\times\{-1,1\}
\]
and tests whether there exists a permutation \(\pi\in\mathcal{S}_k\) for which the number of violating pairs \(V_\pi\) is small [1607.03938]. The test accepts if there exists \(\pi\) with
\[
V_\pi \le t,
\]
where
\[
t=(3\alpha+9\rho')\frac{s^2}{2^k},
\]
and the robust-isomorphism subroutine sets
\[
\alpha = 4c,\qquad \rho'=\frac{\rho c}{16},\qquad s = C\,2^{k/2}\sqrt{k\ln k}
\]
[1607.03938]. This yields the characteristic \(2^{k/2}\) complexity of the core-comparison stage.

The contrast between [2507.07654] and [1607.03938] is methodologically informative. The former is spectral and group-theoretic, using a known reference function and controlled automorphisms of a finite Abelian group. The latter is combinatorial and instance-adaptive, using tolerant junta testing and noisy sampling when both functions are accessed only by queries. This suggests that tolerant isomorphism testing is not a single technique but a family of robust symmetry-testing paradigms whose tractability depends heavily on how the underlying symmetry acts on the object’s latent representation.

## 6. Scope, limitations, and adjacent meanings of “tolerance”

The finite-Abelian-group theorem gives a query upper bound, but does not claim optimality in general finite Abelian groups [2507.07654]. Its explicit bounds assume \(\mathcal{L}\) is treated as constant, and the guarantees are probabilistic rather than deterministic [2507.07654]. The result is tolerant in the property-testing sense, but exact isomorphism is recovered only in the special case \(\epsilon=0\) [2507.07654]. These limitations are important because they distinguish the result from full reconstruction or canonicalization algorithms.

In graph property testing, isomorphism testing appears in a different role. For bounded-degree planar graphs, testing isomorphism to a fixed graph is shown to require
\[
\exp(\Omega(\varepsilon^{-2}))
\]
queries, matching the general \(\exp(O(\varepsilon^{-2}))\) upper bound for all planar properties up to constant factors in the exponent [2108.10547]. There the property \(\{H\}\) is exactly isomorphism to a fixed graph \(H\), and the paper argues that such isomorphism testing is essentially the hardest planar property in that model [2108.10547]. This is not a tolerant-isomorphism result in the Boolean-function sense, but it provides complexity-theoretic context for how hard isomorphism-based property testing can be under other distance models and oracle types.

A different and potentially confusing use of the word “tolerance” appears in order theory. In posets, a tolerance is a reflexive, symmetric relation satisfying closure and compatibility conditions, and the associated theory studies blocks, quotient posets, and weakened analogues of isomorphism theorems [2112.05580]. The paper proves, for example, that every block of a non-trivial tolerance on a poset is directed and convex, that \((P/T,\mathcal{E})\) is a quotient poset, and that a full isomorphism theorem fails in general even for congruences [2112.05580]. This usage is structurally unrelated to tolerant property testing, although the vocabulary overlaps.

Further afield, exact isomorphism testing for tuples of subspaces also illustrates a nearby but distinct landscape. Allowing permutations of the subspaces makes the problem GI-hard, whereas without permutations the paper develops several polynomial-time exact tests based on Bargmann invariants, canonical Gramians, \(H^*\)-algebras, and quiver or cross-Gramian constructions [2105.03448]. That work explicitly states that it does not formulate a formal tolerant-isomorphism algorithm, though its invariants may be useful for approximate comparison [2105.03448]. The juxtaposition highlights a broader pattern: exact isomorphism can often be characterized algebraically, but tolerant isomorphism typically requires quantitative control of approximation, sampling, and noise propagation.

## 7. Conceptual significance and research trajectory

The central conceptual contribution of the finite-Abelian-group framework is to show that tolerant isomorphism testing over finite Abelian groups is feasible with query complexity governed by the Fourier complexity of the known function [2507.07654]. Spectral norm \(s=\|\widehat g\|_1\) yields a \(\mathrm{poly}(s,1/\tau)\) tester, and Fourier sparsity yields an even faster one [2507.07654]. The underlying message is that robust symmetry testing can be driven by the compressibility of the reference object in an appropriate harmonic basis.

Historically, this extends earlier tolerant isomorphism testing for Boolean functions on the Boolean cube, where the governing structural parameter was approximate junta dimension rather than Fourier complexity over a general group [1607.03938]. The methodological shift from variable-permutation symmetries to automorphisms of arbitrary finite Abelian groups required replacing vector-space linear algebra with annihilator subgroups, Pontryagin duality, pseudo-inner products, and pseudo-independence [2507.07654]. This marks a transition from linear-invariant settings to genuinely group-theoretic ones.

The broader significance lies in tolerant property testing. The finite-Abelian-group paper explicitly places the result within the program of deciding whether an unknown object is close to a structured, symmetry-defined model while allowing a gap \(\tau\) between yes- and no-instances [2507.07654]. A plausible implication is that similar harmonic-analytic approaches may be applicable whenever the symmetry group acts transparently on a sparse or low-norm spectral representation. Conversely, the graph and subspace examples suggest that once the symmetry class becomes too expressive—such as fixed-graph identity in planar property testing, or tuple isomorphism with permutations—the complexity can rise sharply or even become GI-hard [2108.10547, 2105.03448].

Tolerant isomorphism testing therefore occupies an intermediate position between exact equivalence checking and generic property testing. It is exact enough to preserve the algebraic structure of the symmetry group, but approximate enough to require robust estimators, margin-based decisions, and explicit dependence on latent complexity parameters. In current work, its most developed realization is the Fourier-analytic tester for Boolean functions over finite Abelian groups [2507.07654], which generalizes the earlier junta-based tolerant isomorphism paradigm on the Boolean cube [1607.03938].

Source: https://www.emergentmind.com/topics/tolerant-isomorphism-testing