---
title: Parameterized Gromov–Wasserstein Distances
url: https://www.emergentmind.com/topics/parameterized-gromov-wasserstein-distances
type: topic
---

# Parameterized Gromov–Wasserstein Distances

Parameterized Gromov–Wasserstein distances are families of GW-type discrepancies in which a parameter changes the object being optimized, rather than merely changing a numerical solver. In the classical quadratic formulation, for metric measure spaces \((X,d_X,\mu_X)\) and \((Y,d_Y,\mu_Y)\), the GW loss of a coupling \(\mu\in C(\mu_X,\mu_Y)\) is
\[
\mathrm{GW}(\mu)=\iint_{(X\times Y)^2}(d_X(x,x')-d_Y(y,y'))^2\,\mu(dx,dy)\mu(dx',dy'),
\]
and the distance is
\[
d_{\mathrm{GW}}(X,Y)=\inf_{\mu\in C(\mu_X,\mu_Y)}\mathrm{GW}(\mu)^{1/2}.
\]
Across the literature, “parameterized” has several non-equivalent meanings: the parameter can modify the distortion kernel, the codomain in which pairwise relations live, the admissible coupling family, the amount of entropic or semidefinite relaxation, the sampled structural resolution, or the underlying object class itself, such as time-indexed or random families of networks [2104.02013][2408.08233][2509.22549].

## 1. Classical framework and the main axes of parameterization

Discrete GW is typically written as a nonconvex quadratic program over a coupling matrix with prescribed marginals, and exact computation is NP-hard; naive evaluation is \(O(n^4)\), while improved implementations remain about \(O(n^3\log n)\) [2104.02013][2502.09102]. This computational difficulty is one reason parameterized variants appear in several forms: some preserve the original distortion but restrict couplings, some preserve the metric meaning but regularize or relax the optimization, and some replace the scalar edge kernel by richer structured data.

A first axis is **objective-side parameterization**. The \((p,q)\)-family changes both the outer aggregation exponent and the way distances are transformed before comparison [2306.10586]. The \(Z\)-GW framework replaces real-valued pairwise relations by kernels with values in an arbitrary metric space \(Z\), so that discrepancies are measured by \(d_Z\) rather than absolute value on \(\mathbb R\) [2408.08233]. Fused and augmented formulations introduce weights that trade structure against node features, edge features, or raw coordinate alignment [2309.16604][2307.10093].

A second axis is **feasible-set parameterization**. Quantized GW restricts transport to couplings compatible with pointed partitions and representatives [2104.02013]. Supervised GW restricts admissible joint pairings by inserting \(\infty\)-entries into the fourth-order cost tensor, thereby forbidding simultaneous activation of incompatible coupling entries [2401.06266].

A third axis is **computational hierarchy parameterization**. Entropic GW introduces the regularization parameter \(\varepsilon\) [2212.12848][2306.00182]. Sum-of-Squares relaxations are indexed by hierarchy order \(r\) and induce proxy distances \(\Delta_{p,r}\) [2502.09102]. Distance-Matrix Wasserstein is indexed by finite-subspace order \(n\) and further by empirical sample size \(K\), number of slicing directions \(L\), and multi-scale weights [2605.14981]. Lower-bound sliced constructions based on local distance distributions are parameterized by feature/structure balance \(\alpha\), quadrature size \(r\), and slicing budget \(L\) [2508.02364].

## 2. Distortion-side parameterizations

The explicit two-parameter family \(d_{\mathrm{GW}^{p,q}}\) compares \(q\)-th powers of distances and then aggregates the resulting discrepancy in \(L^p\). For \(q<\infty\),
\[
d_{\operatorname{GW}^{p,q}}(X,Y):=\frac{1}{2}\inf_{\gamma\in \mathcal{M}(\mu_X,\mu_Y)}
\left(
\int_{X\times Y}\int_{X\times Y}
\big|d_X(x,x')^q-d_Y(y,y')^q\big|^{p/q}\,
d\gamma\,d\gamma
\right)^{1/p}.
\]
This family recovers standard GW at \(q=1\) and the ultrametric variant at \(q=\infty\); for Euclidean spheres, the special choice \((p,q)=(4,2)\) is exactly computable, and the optimal coupling is the equatorial coupling [2306.10586].

A more structural generalization is the \(Z\)-Gromov–Wasserstein distance. A \(Z\)-network is a measure space endowed with a kernel \(\omega_X:X\times X\to Z\), where \(Z\) is an arbitrary metric space. The corresponding distance is
\[
\mathrm{GW}_p^Z(X,Y)
=
\frac12
\inf_{\pi\in\mathcal C(\mu_X,\mu_Y)}
\left(
\iint d_Z(\omega_X(x,x'),\omega_Y(y,y'))^p\,d\pi\,d\pi
\right)^{1/p}.
\]
This subsumes classical GW, Wasserstein distance, ultrametric GW, \((p,q)\)-GW, fused GW, fused network GW, spectral GW variants, and dynamic metric-space constructions. The framework proves that \(\mathrm{GW}_p^Z\) is a metric on \(Z\)-networks modulo weak isomorphism, and it transfers separability, completeness, and geodesicity from \(Z\) to the induced GW space [2408.08233].

Objective-side parameterization also appears as interpolation. Augmented Gromov–Wasserstein is
\[
\mathrm{AGW}_\alpha(X,Y)
=
\min_{\pi\in\Pi(\mu,\nu),\,\gamma\in\Pi(\mu',\nu')}
\alpha\,\mathcal L_{\mathrm{GW}}(\pi)
+
(1-\alpha)\,\mathcal L_{\mathrm{COOT}}(\pi,\gamma),
\]
so \(\alpha\in[0,1]\) interpolates between GW and CO-Optimal Transport. The intended effect is to control how rigid or invariant the comparison should be: \(\alpha\to1\) approaches GW’s isometry-invariant structural regime, while \(\alpha\to0\) approaches a more coordinate- and feature-aware regime. The formulation admits solutions, converges to COOT as \(\alpha\to0\) and to GW as \(\alpha\to1\), and satisfies a relaxed triangle inequality [2307.10093].

## 3. Coupling restrictions, quantization, and supervised admissibility

Quantized Gromov–Wasserstein parameterizes GW by a pointed partition
\[
\mathcal P_X=\{(x^1,U^1),\ldots,(x^m,U^m)\},
\]
where each block \(U^p\) has representative \(x^p\). The admissible couplings are the quantization couplings
\[
\mu(x,y)=\sum_{p,q}\mu_m(x^p,y^q)\,\bar\mu_{x^p,y^q}(x,y),
\]
combining a global representative-level coupling \(\mu_m\) with local block couplings \(\mu_{x^p,y^q}\). The resulting distance is
\[
d_{\mathrm{qGW}((X,P_X),(Y,P_Y))}
=
\inf_{\mu\in\mathcal C_{P_X,P_Y}(\mu_X,\mu_Y)}
\mathrm{GW}(\mu)^{1/2}.
\]
Because \(\mathcal C_{P_X,P_Y}(\mu_X,\mu_Y)\subseteq \mathcal C(\mu_X,\mu_Y)\), qGW is an upper-bound family for ordinary GW. At the same time, it is a genuine metric on finite pointed mm-spaces up to pointed isomorphism. The parameterization is by the number of blocks \(m\), the partitions themselves, the representatives, and the local matching rule [2104.02013].

The same paper develops quantitative control of this restriction. Quantized eccentricity
\[
q(P_X)=\left(\sum_p \mu_X(U^p)s_{U^p}(x^p)^2\right)^{1/2}
\]
governs the approximation error between the full space and its \(m\)-point quantization, and Theorem 5 states that if every block has diameter at most \(\epsilon\), then
\[
\left|d_{\mathrm{GW}(X,Y)-\delta((X,P_X),(Y,P_Y))\right|
\le 2(q(P_X)+q(P_Y))+8\epsilon.
\]
Algorithmically, qGW performs a GW solve on representatives and local one-dimensional optimal transport problems around anchors. The expected complexity is
\[
\max\{\,O(m^3\log m),\;O(N\log(N/m))\,\},
\]
and choosing \(m\asymp N^{1/3}\) yields iterative cost \(O(N\log N)\). The formulation was demonstrated at scales containing over \(1\)M points [2104.02013].

Supervised GW imposes a different coupling-space parameterization. It threshold-cuts the fourth-order cost tensor by
\[
\mathcal{M}\left( \mathbf{D}^{1}, \mathbf{D}^2 \right) _{ijkl }=
\begin{cases}
|{D}^{1}_{ik}-{D}^{2}_{jl}|^2,& |{D}^{1}_{ik}-{D}^{2}_{jl}|\le \rho,\\
\infty,& |{D}^{1}_{ik}-{D}^{2}_{jl}|>\rho,
\end{cases}
\]
so \(\rho\) is a hard tolerance on distance distortion. An \(\infty\)-entry means that \(P_{ij}\) and \(P_{kl}\) cannot both be positive. The induced fourth-order exclusions are reduced to entrywise zero constraints on \(P\) through a graph construction and a minimal-vertex-cover heuristic. The approximate entropic objective adds
\[
\gamma\left(\|\mathbf a-\mathbf P\mathbf1\|_1+\|\mathbf b-\mathbf P^\top\mathbf1\|_1\right)-\epsilon H(\mathbf P),
\]
where \(\gamma\) encourages maximal transported mass and \(\epsilon\) regularizes the solver. When the tensor has no \(\infty\)-entries, the formulation degenerates to PGW, and in the balanced case to ordinary GW [2401.06266].

## 4. Regularized, relaxed, and proxy hierarchies

The entropic family
\[
S_\varepsilon(\mu,\nu)
=
\inf_{\pi\in\Pi(\mu,\nu)}
\|\Delta\|_{L^2(\pi\otimes\pi)}^2
+
\varepsilon D(\pi\|\mu\otimes\nu)
\]
is the most prominent regularized parameterization. Here \(\varepsilon>0\) controls the trade-off between the quadratic GW objective and KL smoothing. The paper on duality and sample complexity derives a variational representation over an auxiliary matrix \(\mathbf A\), turning EGW into a family of entropic OT problems with cost \(c_{\mathbf A}(x,y)=-4\|x\|^2\|y\|^2-32x^\top \mathbf A y\). This yields an explicit dependence on \(\varepsilon\), proves approximation and continuity results as \(\varepsilon\to0\), and establishes two-sample rates \(n^{-2/\max\{\min\{d_x,d_y\},4\}}\) for standard GW and \(n^{-1/2}\) for EGW [2212.12848].

A companion algorithmic analysis studies the same quadratic entropic family through the variational objective
\[
\Phi(\mathbf A)=32\|\mathbf A\|_F^2+OT_{\mathbf A,\varepsilon}(\mu_0,\mu_1).
\]
Its gradient is
\[
\nabla\Phi(\mathbf A)=64\mathbf A-32\int xy^\top\,d\pi_{\mathbf A}(x,y),
\]
where \(\pi_{\mathbf A}\) is the EOT coupling. The paper proves \(L\)-smoothness, weak convexity, and strict convexity under the quantitative condition
\[
\sqrt{M_4(\mu_0)M_4(\mu_1)}<\frac{\varepsilon}{16},
\]
and gives accelerated gradient methods with Sinkhorn-based inexact oracle guarantees. It also proves that stationary points of the EGW variational problem converge to stationary points of the unregularized variational GW problem as \(\varepsilon\downarrow0\) [2306.00182].

Semidefinite parameterization appears in the Sum-of-Squares hierarchy. For discrete GW, the hierarchy order \(r\) indexes reduced Schmüdgen-type and Putinar-type SDPs whose values are lower bounds to the exact discrete GW optimum. The paper defines
\[
\Delta_{p,r}(X,Y)=\bigl(\text{(S-DGW-r)}(X,Y)\bigr)^{1/p},
\]
a computable order-\(r\) proxy for the distortion distance. These \(\Delta_{p,r}\) are pseudo-metrics, satisfy the triangle inequality via an SOS analogue of the gluing lemma, and converge upward to the exact value, with convergence rate \(O(1/r)\) [2502.09102].

Another hierarchy is Distance-Matrix Wasserstein:
\[
\mathrm{DMW}_{n,p}(\mathcal X,\mathcal Y)=W_p(P_X^{(n)},P_Y^{(n)}),
\]
where \(P_X^{(n)}\) is the law of the random \(n\)-point distance matrix induced by i.i.d. sampling from \(\mathcal X\). The parameter \(n\) is the sampled subspace size. The paper proves
\[
\mathrm{DMW}_{n,p}(\mathcal X,\mathcal Y)\le \mathrm{GW}_p(\mathcal X,\mathcal Y)
\]
and
\[
0\le \mathrm{GW}_p(\mathcal X,\mathcal Y)-\mathrm{DMW}_{n,p}(\mathcal X,\mathcal Y)
\le
2\,\mathbb E W_p(\mu,\hat\mu_n)+2\,\mathbb E W_p(\nu,\hat\nu_n),
\]
so \(\mathrm{DMW}_{n,p}\to \mathrm{GW}_p\) as \(n\to\infty\). Sliced and multi-scale variants introduce further parameters \(L\), \(\mathcal N\), and weights \(a_n\), and for \(p=1\) the resulting sliced multi-scale dissimilarities yield positive-definite exponential kernels [2605.14981].

A related lower-bound family starts from Mémoli’s third lower bound and then slices only after embedding local distance distributions into Euclidean space by quadrature-sampled quantiles. For \(p=2\), the paper defines \(STLB_2\) and \(SFTLB_{\alpha,2}\), with parameters \(\alpha\) for structure/feature balance, quadrature size \(r\), positive weights \(w_k\), and number of slicing directions \(L\). These quantities are pseudo-metrics, bound FGW from below in the exact-quadrature regime, and interpolate between sliced Wasserstein and TLB-type structure comparison while preserving isometry invariance at the structural level [2508.02364].

## 5. Parameterized families of networks

The most literal formalization of a parameterized GW distance is the pm-net framework. A parameterized measure network is a quintuple
\[
\mathcal X=(X,\mu_X,\Omega_X,\nu_X,\omega_X),
\]
where \(\omega_X:\Omega_X\to L^\infty(X\times X;\mu_X\otimes\mu_X)\) assigns a bounded measurable kernel \(\omega_X^t\) to each parameter \(t\in\Omega_X\). This covers time-varying metrics, time-varying weighted graphs, heat-kernel families, random graph models, and random metric-space models [2509.22549].

When both objects share the same parameter space \((\Omega,\nu)\), the standard cost structure is
\[
\mathsf C_{\mathcal X,\mathcal Y}(\pi)
=
\frac12
\left(
\int_\Omega
\dis_p(\pi,\omega_X^t,\omega_Y^t)^q\,\nu(dt)
\right)^{1/q},
\]
and the parameterized GW distance is the infimum of this quantity over node couplings \(\pi\). The same node coupling must explain the whole family of kernels, which is the central modeling constraint [2509.22549].

When parameter spaces differ, a second coupling \(\xi\in\mathcal C(\nu_X,\nu_Y)\) is introduced:
\[
GW_{\mathsf C}(\mathcal X,\mathcal Y)
=
\frac12
\inf_{\pi\in\mathcal C(\mu_X,\mu_Y)}
\inf_{\xi\in\mathcal C(\nu_X,\nu_Y)}
\left(
\int_{\Omega_X\times\Omega_Y}
\dis_p(\pi,\omega_X^t,\omega_Y^s)^q\,\xi(dt\otimes ds)
\right)^{1/q}.
\]
This is a genuine two-level OT problem: \(\pi\) aligns nodes, \(\xi\) aligns parameters. The paper proves that the resulting constructions are pseudometrics, that optimal couplings exist, and that distance zero is equivalent to an appropriate isomorphism notion based on stabilization and structure-preserving maps [2509.22549].

The same framework connects back to earlier theories. For fixed parameter space and \(p=q\), the distance is exactly a \(Z\)-GW distance with \(Z=L^q(\Omega;\nu)\). It also yields a lower bound
\[
W_q^{\mathsf{GW}_p}(\overline\nu_X,\overline\nu_Y)\le GW_{\mathsf C}(\mathcal X,\mathcal Y),
\]
where \(\overline\nu_X\) is the distribution of the parameter slices \(t\mapsto [X_t]\) in classical GW space. A further lower bound uses the distribution of global edge-weight distributions, and in random graph models this specializes to stable control by the distribution of total numbers of edges [2509.22549].

## 6. Structured data, graph-specific variants, and model-based parameterizations

Fused Network Gromov–Wasserstein introduces an explicit three-way graph objective
\[
\mathrm{FNGW}_{\alpha,\beta,q,p}(g_X,g_Y)
=
\min_{\mu\in\Pi(\mu_X,\mu_Y)}
\mathcal E_{\alpha,\beta,q,p}(g_X,g_Y,\mu),
\]
where the local cost combines node-feature discrepancy, edge-feature discrepancy, and structural discrepancy with weights \(1-\alpha-\beta\), \(\alpha\), and \(\beta\), respectively. In the discrete case, this is a quadratic OT problem over the node coupling \(\pi\), optimized by Frank–Wolfe. The formulation is a relaxed metric: it satisfies
\[
\mathrm{FNGW}_{\alpha,\beta,q,p}(g_X,g_Z)
\le
2^{q-1}\big(
\mathrm{FNGW}_{\alpha,\beta,q,p}(g_X,g_Y)
+
\mathrm{FNGW}_{\alpha,\beta,q,p}(g_Y,g_Z)
\big),
\]
with exact triangle inequality only when \(q=1\). Its parameters explicitly distribute modeling emphasis across node attributes, edge attributes, and graph structure [2309.16604].

Augmented GW belongs to the same class of structure-feature interpolations but is motivated by invariance control. By blending GW with COOT through \(\alpha\), it makes the distance less permissive than pure GW and allows prior information to be injected through the feature alignment term. The paper’s experiments show that supervision on features improves sample alignment and supervision on samples improves feature alignment, reflecting the joint optimization over sample and feature couplings [2307.10093].

A different parameterization compresses the underlying measure space itself. For Gaussian mixture models
\[
\mu=\sum_{k=1}^K a_k\mu_k,\qquad
\nu=\sum_{\ell=1}^L b_\ell\nu_\ell,
\]
Mixture Gromov–Wasserstein is
\[
MGW_2^2(\mu,\nu)
=
\inf_{\omega\in\Pi(a,b)}
\sum_{i,j,k,\ell}
\left|W_2^2(\mu_i,\mu_k)-W_2^2(\nu_j,\nu_\ell)\right|^2
\omega_{i,j}\omega_{k,\ell}.
\]
This is GW on the compressed component space, with Gaussian components as atoms and \(W_2^2\) as the intra-space geometry. Embedded Wasserstein and mixture embedded Wasserstein add optimization over isometric embeddings \(y\mapsto Py+b\), with \(P\) on a Stiefel manifold, thereby supporting comparisons across different Euclidean dimensions and enabling recovery of transport plans between GMMs [2310.11256].

A cautionary special case comes from one-dimensional deterministic matching. For sorted point sets \(x_1<\cdots<x_n\), \(y_1<\cdots<y_n\) and powered costs \(c(s,t)=|s-t|^\alpha\), the induced permutation problem
\[
F_\sigma(x,y)=\frac12\sum_{i,k=1}^n |x_i-x_k|^\alpha |y_{\sigma(i)}-y_{\sigma(k)}|^\alpha
\]
is not, in general, solved by the identity or anti-identity permutation once \(n>2+2^\alpha\). Thus even in one dimension, GW-type deterministic correspondences need not be monotone, and “sorted-to-sorted” or “sorted-to-reversed” is not a general theory [2205.09006].

## 7. Statistical regimes, computational practice, and conceptual boundaries

Parameterized GW constructions differ not only mathematically but also statistically. For quadratic Euclidean GW, empirical convergence under compact support is now complemented by unbounded-support results: under finite polynomial moments, the plug-in estimator \(D(\hat\mu_n,\hat\nu_m)\) of \(D(\mu,\nu)=\mathsf{GW}_{2,2}^2(\mu,\nu)\) attains the same benchmark rate as in the compactly supported case, namely
\[
(n\wedge m)^{-2/((d_x\wedge d_y)\vee 4)}
\]
up to the stated logarithmic factors, and matching minimax lower bounds hold up to logarithms. The proof is organized through a parameterized OT representation
\[
\inf_{\theta\in\Theta}\big\{T_{c_\theta}(\mu,\nu)+\mathrm{pen}(\theta)\big\},
\]
which is described as penalized Wasserstein alignment and includes GW itself via the matrix parameter \(A\) [2508.03985].

In practice, nonconvexity makes algorithmic parameters part of the usable definition. In assignment- and QAP-style settings, the same paper trail shows three distinct operational levers: entropic regularization \(\varepsilon\) in EGW, structure-feature weighting \(\alpha\) in FGW, and the number of random feasible starts \(T\) in multi-initialization GW. On the reported CQAP instances, GW-MultiInit achieved the best approximate objective values, EGW with \(\varepsilon=0.8\) gave the best regularized compromise, and FGW with \(\alpha=0.7\) was the best among the tested fused settings, while initialization itself emerged as a first-class parameter of the nonconvex search [2509.04089].

Across the literature, a sharp conceptual boundary separates **metric generalizations** from **tractable proxies**. \(Z\)-GW and qGW define bona fide metrics on quotient or pointed spaces [2408.08233][2104.02013]. SOS distances \(\Delta_{p,r}\), DMW\(_{n,p}\), and sliced TLB-based constructions are instead lower-bound or proxy families that trade exactness for tractability [2502.09102][2605.14981][2508.02364]. Entropic GW is a regularized discrepancy whose debiased form is often used in practice because the raw entropic objective does not vanish on isomorphic spaces [2306.00182].

The unifying theme is that parameterization changes where complexity is placed. A parameter may enter the distortion kernel, the relation codomain, the admissible couplings, the mass constraints, the relaxation hierarchy, the sampled structural resolution, or the object class being compared. Consequently, “parameterized Gromov–Wasserstein distance” denotes not a single construction but a research program: to expose interpretable degrees of freedom in GW while preserving, approximating, or selectively sacrificing metric structure, invariance, and computational feasibility.

Source: https://www.emergentmind.com/topics/parameterized-gromov-wasserstein-distances