---
title: Relation-Aware Slicing Distribution (RASD)
url: https://www.emergentmind.com/topics/relation-aware-slicing-distribution-rasd
type: topic
---

# Relation-Aware Slicing Distribution (RASD)

Relation-Aware Slicing Distribution (RASD) is a slicing distribution on the unit sphere introduced for sliced Gromov–Wasserstein computations in cross-domain alignment. It is defined by sampling two pairs of random vectors from the ambient laws, constructing relation-aware projecting directions that encode pairwise associations across the two domains, and then drawing directions from a spherical location-scale law centered at those sampled directions. In this formulation, RASD replaces the uniform directional sampling used in Sliced Gromov–Wasserstein (SGW) and is designed to reduce the contribution of uninformative projections without introducing an inner optimization problem [2507.13194].

## 1. Cross-domain alignment setting

RASD is formulated in the setting of comparing probability measures \(\mu\) and \(\nu\) that may live in different metric spaces \((\mathcal X,c_X)\) and \((\mathcal Y,c_Y)\). In that setting, the relevant baseline is the Gromov–Wasserstein distance, which compares relational structure rather than absolute coordinates. With
\[
\Pi(\mu,\nu)=\{\pi\in\mathcal P(\mathcal X\times\mathcal Y):\pi(\cdot\times\mathcal Y)=\mu,\ \pi(\mathcal X\times\cdot)=\nu\},
\]
and
\[
c_p(x,x',y,y')=|c_X(x,x')-c_Y(y,y')|^p,
\]
the \(p\)-GW distance is
\[
\text{GW}_p^p(\mu,\nu)=\inf_{\pi\in\Pi(\mu,\nu)}\mathbb E_{\pi\otimes\pi}[c_p(x,x',y,y')].
\]
The empirical GW problem is a quadratic assignment problem and a non-convex quadratic program, so sliced relaxations are introduced to reduce the computational burden [2507.13194].

In SGW, measures are projected to one dimension along directions \(\theta\in\mathbb S^{d-1}\), and one averages 1D GW values over uniformly sampled directions:
\[
\text{SGW}_p^p(\mu,\nu)=\mathbb E_{\theta\sim\mathcal U(\mathbb S^{d-1})}\big[\text{GW}_p^p(\theta\sharp\mu,\theta\sharp\nu)\big].
\]
The motivation for RASD is the observation that uniform slicing incurs unnecessary computational costs due to uninformative directions. The analysis in the cross-domain alignment paper states that, in high dimensions, random directions are nearly orthogonal to fixed displacement vectors, so many projections carry weak relational signal. The paper therefore seeks a slicing distribution that is relation-aware, optimization-free, and fast to sample [2507.13194].

## 2. Construction from relation-aware projecting directions

The construction begins with intra-relational paths. For \(X,X'\sim\mu\), the intra-relational path is
\[
Z_{X,X'}=X-X',
\]
with normalized version
\[
\bar Z_{X,X'}=\frac{Z_{X,X'}}{\|Z_{X,X'}\|_2}.
\]
An analogous definition is used for \(Y,Y'\sim\nu\). Given two normalized intra-relational paths, the paper defines two bisector-type directions
\[
Z_{X,X',Y,Y'}=\frac{\bar Z_{X,X'}+\bar Z_{Y,Y'}}{\|\bar Z_{X,X'}+\bar Z_{Y,Y'}\|_2},
\qquad
Z'_{X,X',Y,Y'}=\frac{\bar Z_{X,X'}-\bar Z_{Y,Y'}}{\|\bar Z_{X,X'}-\bar Z_{Y,Y'}\|_2}.
\]
One of these is the bisector of the acute angle between the two normalized intra-relational paths. This construction is motivated by the projected distortion
\[
\big|\|X-X'\|\cos\alpha_1-\|Y-Y'\|\cos\alpha_2\big|,
\]
and by the desideratum \(\alpha_1=\alpha_2\), which scales relational discrepancy by a common factor rather than distorting the two domains asymmetrically [2507.13194].

To move from deterministic bisectors to a full slicing law, the paper uses spherical location-scale distributions such as von Mises–Fisher and Power Spherical:
\[
\mathrm{vMF}(\theta;\epsilon,\kappa)\propto \exp(\kappa\,\epsilon^\top\theta),
\qquad
\mathrm{PS}(\theta;\epsilon,\kappa)\propto (1+\epsilon^\top\theta)^\kappa.
\]
The conditional Relation-Aware Projecting Direction (RAPD) law is
\[
D_\kappa
=
\tfrac12\sigma_\kappa(\cdot;Z_{X,X',Y,Y'})
+
\tfrac12\sigma_\kappa(\cdot;Z'_{X,X',Y,Y'}),
\]
and the Relation-Aware Slicing Distribution is obtained by marginalizing over the sampled quartets:
\[
\sigma_{\mathrm{RA}}(\theta;\mu,\nu,\sigma_\kappa)
=
\int D_\kappa(X,X',Y,Y')\,d(\mu\otimes\nu)^{\otimes 2}.
\]
Sampling from RASD is therefore explicit: sample \(X,X'\sim\mu\), \(Y,Y'\sim\nu\), build the two bisectors, choose the mixture component, and sample from the corresponding vMF or PS law [2507.13194].

A useful antecedent is the random-path slicing distribution introduced for sliced Wasserstein distance, where directions are centered around normalized differences \(X-Y\) for \(X\sim\mu\), \(Y\sim\nu\). That earlier construction is measure-pair dependent but uses inter-measure random paths under the independent coupling; RASD instead uses two intra-relational paths and their bisectors, reflecting the fact that GW compares pairwise structure across domains rather than pointwise discrepancies in a common space [2401.15889].

## 3. Distances induced by RASD

RASD enters the sliced GW pipeline by replacing the uniform distribution in SGW. The resulting Relation-Aware Sliced Gromov–Wasserstein distance is
\[
\text{RASGW}_p^p(\mu,\nu;\sigma_\kappa)
=
\mathbb E_{\theta\sim\sigma_{\mathrm{RA}}(\theta;\mu,\nu,\sigma_\kappa)}
\big[\text{GW}_p^p(\theta\sharp\mu,\theta\sharp\nu)\big].
\]
Equivalently,
\[
\text{RASGW}_p^p(\mu,\nu;\sigma_\kappa)
=
\mathbb E_{X,X'\sim\mu;\,Y,Y'\sim\nu}
\mathbb E_{\theta\sim D_\kappa(X,X',Y,Y')}
\big[\text{GW}_p^p(\theta\sharp\mu,\theta\sharp\nu)\big].
\]
The Monte Carlo estimator with \(M\) sampled directions is
\[
\widehat{\text{RASGW}_p^p}(\mu,\nu;\sigma_\kappa,M)
=
\frac1M\sum_{l=1}^M \text{GW}_p^p(\theta_l\sharp\mu,\theta_l\sharp\nu),
\quad
\theta_l\sim\sigma_{\mathrm{RA}}.
\]
These definitions preserve the SGW outer structure while changing only the slicing distribution [2507.13194].

The importance-weighted variant IWRASGW introduces an energy function \(f:[0,\infty)\to(0,\infty)\) and reweights a finite set of sampled slices:
\[
\text{IWRASGW}_p^p(\mu,\nu;\sigma_\kappa,L,f)
=
\mathbb E_{\theta_1,\ldots,\theta_L\sim\sigma_{\mathrm{RA}}}
\left[
\sum_{l=1}^L
\text{GW}_p^p(\theta_l\sharp\mu,\theta_l\sharp\nu)\,
\frac{f(\text{GW}_p^p(\theta_l\sharp\mu,\theta_l\sharp\nu))}
{\sum_{j=1}^L f(\text{GW}_p^p(\theta_j\sharp\mu,\theta_j\sharp\nu))}
\right].
\]
The corresponding Monte Carlo approximation averages this weighted quantity over \(H\) independent groups, with \(H=1\) often used in practice [2507.13194].

The paper establishes a hierarchy
\[
\text{RASGW}_p(\mu,\nu;\sigma_\kappa)
\le
\text{IWRASGW}_p(\mu,\nu;\sigma_\kappa,L,f)
\le
\text{Max-SGW}_p(\mu,\nu),
\]
states that
\[
\text{RASGW}_p(\mu,\nu;\sigma_\kappa)\xrightarrow[\kappa\to0]{}\text{SGW}_p(\mu,\nu),
\]
and that
\[
\text{IWRASGW}_p(\mu,\nu;\sigma_\kappa,L,f)\xrightarrow[L\to\infty]{}\text{EBSGW}_p(\mu,\nu;f).
\]
Accordingly, RASD interpolates between uniform slicing and more concentrated relation-aware sampling through the concentration parameter \(\kappa\) [2507.13194].

## 4. Metric, statistical, and computational properties

The cross-domain alignment analysis proves that \(\text{RASGW}_p(\cdot,\cdot;\sigma_\kappa)\) and \(\text{IWRASGW}_p(\cdot,\cdot;\sigma_\kappa,L,f)\) are semi-metrics on \(\mathcal P(\mathcal X)\) when \(\mathcal X\subset\mathbb R^d\) is Polish: they satisfy non-negativity, symmetry, and identity on isometric isomorphism classes. Symmetry is nontrivial because \(\sigma_{\mathrm{RA}}(\cdot;\mu,\nu,\sigma_\kappa)\) is not symmetric in \(\mu,\nu\), but 1D GW invariance under \(\theta\mapsto-\theta\) and the symmetry of the vMF/PS construction restore symmetry at the level of the induced distance [2507.13194].

The same work gives a quasi-triangle inequality for RASGW, where the right-hand side uses the slicing distribution built from \((\mu_1,\mu_2)\). It does not claim a full triangle inequality. This places RASGW in the same general category as other pair-dependent sliced distances whose directional law depends on the input pair itself. A plausible implication is that the improved informativeness of the slicing distribution is obtained at the cost of a more delicate global geometry.

On the statistical side, the paper proves a one-sided sample complexity bound
\[
\mathbb E\big[\text{RASGW}_p(\mu_n,\mu;\sigma_\kappa)\big]
\le
\mathbb E\big[\text{IWRASGW}_p(\mu_n,\mu;\sigma_\kappa,L,f)\big]
\le
C\sqrt{\frac{(d+1)\log(n+1)}{n}},
\]
for empirical measures \(\mu_n\) of compactly supported samples. For Monte Carlo approximation,
\[
\big|
\mathbb E[\widehat{\text{RASGW}_p^p}(\mu,\nu;\sigma_\kappa,M)]
-
\text{RASGW}_p^p(\mu,\nu;\sigma_\kappa)
\big|
\le
\frac{1}{\sqrt M}
\operatorname{Var}_{\theta\sim\sigma_{\mathrm{RA}}}
\big[\text{GW}_p^p(\theta\sharp\mu,\theta\sharp\nu)\big]^{1/2}.
\]
Computationally, for discrete measures with \(n\) points and \(M\) slices, the stated complexity matches SGW: \(\mathcal O(Mn\log n + Mdn)\) time and \(\mathcal O(Mn + Md)\) memory [2507.13194].

## 5. Algorithms and empirical behavior

Algorithmically, RASD is explicitly optimization-free. To compute RASGW, one repeatedly samples quartets \((X,X',Y,Y')\), constructs RAPD centers, draws \(\theta\) from the associated vMF or PS mixture, projects both measures, and computes the resulting 1D GW value. IWRASGW adds slice weights after those projected GW values are available. This differs from Max-SGW and DSGW, which optimize directions or direction distributions, and from energy-based approaches that require more intricate sampling procedures [2507.13194].

The experiments reported in cross-domain alignment include GW-GAN and Gromov–Wasserstein autoencoding. In 3D \(\to\) 2D Gaussian-mixture alignment, the reported GW-2 values at step 10000 were approximately \(122.5\) for SGW, \(102.9\) for DSGW, \(85.5\) for EBSGW, \(39.7\) for RPSGW, \(37.4\) for IWRPSGW, \(18.8\) for RASGW, and \(22.4\) for IWRASGW, with runtimes for RASGW and IWRASGW close to those of SGW and far below DSGW. In CIFAR-10 GWAE experiments, the reported FID values were \(72.87\) for SGW, \(83.45\) for DSGW, \(78.50\) for EBSGW, \(80.80\) for RPSGW, \(70.46\) for RASGW, and \(71.99\) for IWRASGW; IWRASGW also reached the earliest convergence in epochs among the competitive variants. On Omniglot, IWRASGW achieved the best reported FID, \(20.25\), while RASGW achieved \(21.48\) and SGW \(20.95\) [2507.13194].

The concentration parameter \(\kappa\) functions as a directional selectivity control. In the ablation reported for the 3D \(\to\) 2D 4-point problem, GW-2 decreased from approximately \(113.4\) at \(\kappa=1\) to approximately \(18.8\) at \(\kappa=50\), with limited further improvement at larger values. The same ablation showed the expected improvement with more slices: GW-2 decreased from \(90.4\) at \(M=1\) to \(36.8\) at \(M=10\), \(18.8\) at \(M=500\), and \(17.4\) at \(M=10000\) [2507.13194].

## 6. Terminological boundaries and neighboring uses of “slicing”

The term “slicing” is highly overloaded, and RASD belongs to a specific optimal-transport lineage. It is not the “distributed slicing” of peer-to-peer systems, where slicing denotes automatic partitioning of P2P networks into groups that represent a controllable amount of some resource and are maintained through gossip-based models [0612035]. It is not the “probabilistic slicing” of program analysis, where slices are computed on probabilistic control-flow graphs using data dependence, postdominators, and probabilistic independence [1711.02246].

It is also distinct from wireless network slicing. A comprehensive O-RAN survey explicitly states that the term “Relation-Aware Slicing Distribution (RASD) does not appear” in that network-slicing literature, whose concerns are RAN/TN/CN slice subnets, SMO/RIC orchestration, and slice lifecycle management rather than sliced GW geometry [2405.03555]. Likewise, “Slice Agent” in shared Open-RU design refers to identifying and isolating uplink traffic into slice-specific eCPRI packets, with formulas such as
\[
PL=(3\cdot IQ_w\cdot N_{PRB})+O_{App},
\qquad
SB=3\cdot IQ_w\cdot S_{PRB},
\]
which is a transport-and-hardware problem rather than a slicing-distribution problem in optimal transport [2604.25857].

Within the broader sliced-optimal-transport literature, the closest conceptual precursor is the random-path slicing distribution, which samples directions from a location-scale law centered at normalized differences \(X-Y\) and yields Random-Path Projection Sliced Wasserstein variants. RASD inherits the optimization-free, fast-sampling design principle but specializes it to GW by basing directions on relations between two intra-domain displacement pairs rather than on direct inter-measure differences [2401.15889]. In that restricted sense, RASD is best understood as a relation-aware directional law for sliced Gromov–Wasserstein alignment, rather than as a generic label for all slice-aware methods.

Source: https://www.emergentmind.com/topics/relation-aware-slicing-distribution-rasd