---
title: Asymmetric Shapley Values
url: https://www.emergentmind.com/topics/asymmetric-shapley-values
type: topic
---

# Asymmetric Shapley Values

Asymmetric Shapley values are Shapley-type allocation rules in which the classical requirement of full player anonymity is relaxed, or, in a broader usage, settings in which asymmetry is carried by the underlying game so that the ordinary Shapley value already yields unequal outcomes. In the classical finite transferable-utility setting, the Shapley value is the unique value satisfying linearity, efficiency, the null-player property, and symmetry, with
\[
\phi_i(v)=\sum_{S\subseteq \Omega\setminus\{i\}} \frac{|S|!(n-|S|-1)!}{n!}\bigl(v(S\cup\{i\})-v(S)\bigr).
\]
The modern literature separates several non-equivalent mechanisms of asymmetry: nonuniform weights on permutations, invariance only under a subgroup \(G\le S_n\), restrictions coming from coalition feasibility or graph structure, and endogenous asymmetry from heterogeneous characteristic functions while the Shapley operator itself remains standard [1207.4738][1910.06358][2606.16743].

## 1. Weighted permutations and precedence-constrained attribution

The most direct formalization replaces the uniform average over permutations by a probability distribution \(w\) on permutations. In the explainability formulation, the asymmetric Shapley value is
\[
\phi_v^{(w)}(i) = \sum_{\pi\in\Pi} w(\pi)\, \Big[ v(\{j:\pi(j)\le \pi(i)\}) - v(\{j:\pi(j)< \pi(i)\}) \Big].
\]
Ordinary Shapley values are recovered when \(w(\pi)=1/n!\) for all \(\pi\). The central use case is the incorporation of causal, temporal, or precedence information by setting \(w(\pi)=0\) on inadmissible orderings and averaging only over admissible ones [1910.06358].

In model-agnostic explainability, this construction is coupled with the on-manifold value function
\[
v_{f_y(x)}(S)=E_{p(x' \mid x_S)} \big[ f_y(x_S \sqcup x'_{\bar S}) \big],
\]
so that missing features are completed conditionally on observed ones rather than off-manifold. Under distal-causal weighting, only permutations consistent with ancestor-before-descendant constraints are allowed; a proximate variant reverses that preference when the explanatory target is what ancestors add after descendants are already accounted for. The same formalism supports fairness-oriented orderings, strict temporal orderings in sequence models, and feature-selection analyses in which one feature block is forced to precede another [1910.06358].

A computationally focused causal-ASV formulation specializes \(w\) to the uniform distribution over topological orderings of a causal DAG \(C\):
\[
w_C(\pi)= \frac{\mathbf 1\{\pi \text{ is a toposort}\}}{|\mathrm{topos}(C)|}.
\]
The resulting attribution averages marginal contributions only over topological sorts. This turns causal precedence into the admissible coalition-building orders themselves and makes the asymmetry explicit at the level of the permutation measure rather than the characteristic function [2606.25103].

## 2. Weakening symmetry axiomatically: quasi-values and non-symmetric linear values

A second line of work formalizes asymmetry by weakening the symmetry axiom rather than by starting from a permutation distribution. A quasi-value is a value satisfying linearity, the null-player property, and efficiency, but not full symmetry. For a subgroup \(G\le S_\Omega\), a \(G\)-symmetric quasi-value satisfies
\[
\varphi(g\cdot v)=g\cdot\varphi(v)\qquad \forall g\in G.
\]
If \(G=S_\Omega\), one recovers the ordinary Shapley value; if \(G=\{e\}\), every quasi-value is \(G\)-symmetric [1207.4738].

This perspective yields a precise classification of when weakened symmetry still determines a unique value. Writing \(X=\{(i,R): i\in R\subseteq \Omega\}\) and \(\chi=\{R:\varnothing\neq R\subseteq \Omega\}\), the affine space \(\mathcal A_G\) of \(G\)-symmetric quasi-values has dimension
\[
\dim \mathcal{A}_G = |X/G|-|\chi/G|.
\]
Uniqueness holds if and only if \(G\) acts supertransitively on \(\Omega\). The paper identifies exactly three such cases: \(S_\Omega\), \(A_\Omega\) for \(|\Omega|>3\), and the exotic embedding \(S_5\hookrightarrow S_6\). Outside these cases, asymmetry survives as a positive-dimensional family of admissible values [1207.4738].

A related non-probabilistic formulation drops symmetry and replaces it with “reasonableness.” In that framework, efficiency and linearity are preserved, and player \(i\)’s payoff must lie between the minimum and maximum of \(v(S\cup\{i\})-v(S)\) over coalitions not containing \(i\). The resulting allocation matrices satisfy the pairing condition
\[
A_{i,S}=-A_{i,S\cup\{i\}},
\]
together with sign and row-sum constraints implying that each player’s payoff is a convex combination of that player’s marginal contributions. The extreme points are the “special allocations,” namely the marginal vectors associated with single permutations, and every reasonable efficient allocation is a convex combination of them [1809.07747].

Taken together, these results show that asymmetric Shapley values are not a single object but a family of linear allocation rules obtained by restricting who counts as exchangeable with whom, or by retaining only marginal-consistency constraints while abandoning anonymity.

## 3. Structural asymmetry from digraphs, feasible-coalition systems, and hierarchies

A third tradition does not begin with weights on permutations or weakened axioms, but with structural restrictions on coalition formation. In digraph games, a directed graph \(\Gamma\) induces a dominance or subordination relation, and only permutations consistent with that relation are admissible. If \(\Pi^\Gamma\) is the set of consistent permutations, the Shapley value of a digraph game is defined by
\[
Sh_i(v,\Gamma) = \frac{1}{|\Pi^\Gamma|} \sum_{\pi\in\Pi^\Gamma} \bigl(v(\bar P_\pi(i))-v(P_\pi(i))\bigr).
\]
Here asymmetry arises because the digraph rules out some player orderings and allows others. For cyclic digraphs and cardinality-based games \(v_f(S)=f(|S|)\), the admissible permutations collapse to \(n\) cyclic reverse orders and the resulting value is
\[
Sh(v_f,\Gamma)=\left(\frac{f(n)}{n},\dots,\frac{f(n)}{n}\right),
\]
showing that an asymmetrically defined rule can still yield a symmetric outcome on highly symmetric games [1701.01677].

Restricted-coalition extensions push the asymmetry deeper into the domain of the game. For a coalition system \(C\subseteq 2^N\setminus\{\varnothing\}\), the paper on game representations defines MM-games
\[
w_S(T)=
\begin{cases}
1 & \text{if } S\cap T\neq \varnothing,\\
0 & \text{if } S\cap T=\varnothing,
\end{cases}
\]
and shows that if \(C\) has full span, every \(v\in\mathbb R^C\) decomposes uniquely as \(v=\sum_{S\in C} c_S w_S\). The generalized value is then
\[
x_i(v)=\sum_{S\in C:\, i\in S}\frac{c_S}{|S|}.
\]
This is not a weighted-permutation Shapley value; the asymmetry is induced by coalition feasibility, hierarchies, and semi-algebra structure [2401.09845].

An even more general structural formulation replaces the coalition lattice by a weighted directed acyclic multigraph. If \(v'_G\) is the generalized Möbius transform on the graph and \(\pi^G(r,y)\) is the number of directed paths from root \(r\) to vertex \(y\), the generalized Shapley value on an unweighted DAMG is
\[
\Sh_r^G(v)=\sum_{y\in V}\frac{\pi^G(r,y)}{\pi^G(y)}\,v'_G(y),
\]
and in the weighted case
\[
\Sh_r^{(G,\varsigma,\tau)}(v) = \sum_{y\in V} \frac{\tau(r)}{\tau(y)}\sigma(r,y)\,v'_G(y).
\]
Here asymmetry is generated by graph position, path multiplicity, edge weights, and root strengths. The corresponding axioms are no longer classical symmetry and null-player, but weak elements and flat hierarchy [2510.05786].

## 4. Endogenous asymmetry with the ordinary Shapley operator

A recurring misconception is that asymmetry always requires modifying the Shapley rule itself. Several recent papers make the opposite point: the standard Shapley operator can already generate unequal, contribution-sensitive allocations once the characteristic function is asymmetric.

In contribution-based fair division, the induced cooperative game is built from optimal welfare under heterogeneous productive valuations. For a coalition \(S\) and resource vector \(y\),
\[
f(S,y)=\max\left\{\sum_{i\in S} v_i(x_i): \sum_{i\in S} x_i=y\right\},\qquad f(S)=f(S,\mathbf 1),
\]
and the Shapley benchmark is the ordinary expected marginal contribution
\[
\phi_i = E_{\pi}\left[f(S_i^\pi\cup\{i\})-f(S_i^\pi)\right].
\]
The paper explicitly states that it does not introduce a formally modified asymmetric Shapley value; rather, it applies the ordinary Shapley value to a fundamentally asymmetric resource-allocation environment. The resulting entitlements are unequal because the coalition welfare function itself is heterogeneous. On the algorithmic side, the paper studies how well such entitlements can be implemented without transfers and proves tight bounds: \(\Theta(\ln n)\) for general concave valuations, \(\Theta(\ln D)\) for capped concave valuations with bounded aggregate demand \(D\), and \(\Theta(\min\{k,\ln \gamma,\ln n\})\) for linear valuations, with exact polynomial-time computation in the linear case [2606.16743].

A different structural asymmetry appears in the odd/even decomposition of a cooperative game under set complementation. For \(f:2^{[d]}\to\mathbb R\),
\[
f_{\text{odd}}(S)=\frac{f(S)-f(S^c)}{2}, \qquad
f_{\text{even}}(S)=\frac{f(S)+f(S^c)}{2},
\]
and the paper proves
\[
\phi_i(f)=\phi_i(f_{\text{odd}}),\qquad \phi_i(f_{\text{even}})=0.
\]
This is not player asymmetry in the usual sense. The asymmetry lies in the set function’s anti-symmetric component under \(S\leftrightarrow S^c\). Paired sampling is then interpreted as orthogonalizing regression so that the irrelevant even component is filtered out, and OddSHAP exploits this by regressing only on odd-order Fourier basis functions [2602.01399].

These works broaden the phrase “asymmetric Shapley values” beyond modified permutation measures. They show that asymmetry may reside in the induced game, the welfare environment, or the symmetry class of the set function, while the Shapley formula itself remains unchanged.

## 5. Computation and application domains

The causal-ASV literature has developed several concrete computational gains from asymmetry. A central theorem shows that for any model family \(\mathcal F\), ASV is polynomial-time computable under Naive Bayes distributions if and only if ordinary Shapley values are polynomial-time computable under product distributions. The proof exploits the fact that the Naive Bayes root must appear first in every topological ordering, collapsing the causal average to a product-distribution Shapley problem after conditioning on the root. For rooted directed trees, the paper introduces equivalence classes of topological orderings defined by identical predecessor sets of the explained feature and proves exact ASV computation in time polynomial in the graph size and the number of equivalence classes. Empirically, the Child network has \(7.41\times 10^{11}\) topological orderings but only about \(2003\) equivalence classes on average over features, and \(1000\) sampled topological orders yield an average relative error around \(8\%\) [2606.25103].

Data valuation imports the same asymmetry into sample-space settings. One formulation uses a weight system \(\omega=(\Lambda,\sigma)\), where \(\sigma\) is an ordered partition of the dataset and \(\Lambda\) is a positive weight vector. Under the intra-class uniform weight system, admissible permutations are exactly the order-preserving permutations, uniform within classes, and the value for a point in class \(S_k\) becomes an average marginal contribution conditional on all lower classes already being present. The paper proves class-wise efficiency,
\[
\sum_{z_i\in S_k}\phi_{i,S_k}^{\omega} = v\!\left(\bigcup_{j=1}^{k}S_j\right)-v\!\left(\bigcup_{j=1}^{k-1}S_j\right),
\]
and gives an exact KNN-based algorithm with complexity \(O(n^2+n\log n)\) [2411.00388].

A closely related formulation, Asymmetric Data Shapley, writes \(\sigma=(D_1,\ldots,D_T)\) and averages only over
\[
\Pi^\sigma(D)=\{(\pi(D_1),\ldots,\pi(D_T)):\pi(D_t)\in\Pi(D_t)\ \forall t\}.
\]
For \(z\in D_t\), the subset form is
\[
\phi^\sigma(z;v,D) = \frac{1}{|D_t|}\sum_{S_t\subseteq D_t\setminus\{z\}} \binom{|D_t|-1}{|S_t|}^{-1}
\Bigl[v(U_{t-1}\cup S_t\cup\{z\})-v(U_{t-1}\cup S_t)\Bigr],
\]
with \(U_{t-1}=\bigcup_{j=1}^{t-1} D_j\). The paper proves group efficiency,
\[
\sum_{z\in D_t}\phi^\sigma(z;v,D)=v(U_t)-v(U_{t-1}),
\]
derives a Monte Carlo estimator with sample size
\[
m_\star = \left\lceil \frac{r^2}{2\epsilon^2} \log\!\left(\frac{2n}{\delta}\right) \right\rceil,
\]
and gives an exact \(O(n\log n)\) KNN-ADS procedure per test point. The main applications are synthetic and augmented data valuation, federated learning, and multi-stage LLM fine-tuning [2511.12863].

Across these computational strands, asymmetry is not merely a normative modification. It changes the combinatorics of admissible orderings, sometimes dramatically reducing the effective state space.

## 6. Limitations, controversies, and adjacent generalizations

The main controversy concerns causal or precedence-weighted ASV as a tool for root-cause analysis. A theoretical critique shows that relaxing symmetry can produce counter-intuitive attributions when nonlinear or non-additive interactions are present. Using a variance-reduction lens, the expected contribution under a permutation is
\[
-E[\varphi_j(f,X,R_j)] = L_T(X_{\pi(j)})+W_T(X_{\pi(j)};R_j),
\]
so positive interaction terms can cause later or proximate variables to receive inflated attribution even under a distal ordering intended to prioritize root causes. The paper provides examples based on pairwise independence, quadratic nonlinearity, and multiplicative effects, and identifies generalized additive models as a restricted class in which many of these pathologies disappear [2310.09961].

A second boundary concerns what should count as an asymmetric Shapley value at all. The contribution-based fair-division paper explicitly states that it does not study weighted Shapley values, asymmetric permutation measures, or alternative axiomatizations of the Shapley operator; it studies the standard symmetric Shapley value on an asymmetric welfare game [2606.16743]. The odd/even decomposition paper likewise is not about weighted players or biased arrival orders; it is about the fact that the Shapley operator depends only on the complement-antisymmetric component of the set function [2602.01399]. In both cases, the asymmetry is real, but it is not asymmetry of the operator in the narrow cooperative-game-theoretic sense.

Several adjacent generalizations are therefore best read as structurally suggestive rather than as direct asymmetric-value theories. The Hodge-theoretic extension of Shapley axioms remains symmetric under relabeling and allocates a component game \(v_i(S)\) to each player and coalition; the paper itself notes that weighted edges, nonuniform Markov chains, or modified symmetry axioms would be the natural route to asymmetry, but does not develop them [2106.15094]. Likewise, the geometric theory of efficient symmetric linear values studies the space \(L^{ESL}\) of efficient, symmetric, linear value maps, showing that every such value has a unique stratified decomposition by coalition size; this is a theory of symmetric nonclassical values, not of player-nonanonymous Shapley values [2605.22847].

Accordingly, “asymmetric Shapley values” now denotes a cluster of related ideas rather than a single canonically defined object. In the narrowest sense, it refers to nonuniform permutation averages and weakened symmetry axioms. In a broader but established sense, it includes Shapley-type values induced by precedence constraints, graph structure, coalition feasibility, and heterogeneous welfare games. The technical distinction between these meanings is central, because it determines whether asymmetry is being introduced into the rule, into the admissible coalition-order geometry, or into the game on which the standard Shapley rule is evaluated.

Source: https://www.emergentmind.com/topics/asymmetric-shapley-values