---
title: Edge-Based Shapley Value in Networks
url: https://www.emergentmind.com/topics/edge-based-shapley-value
type: topic
---

# Edge-Based Shapley Value in Networks

Searching arXiv for recent papers on edge-based Shapley value and related formulations.
Edge-based Shapley value denotes a family of Shapley-style attribution and allocation constructions in which edges, links, hyperedges, or edge-induced interaction structures are the primary locus of value generation or marginal contribution. Across recent literature, the term does not refer to a single universal object, but to several technically distinct frameworks. In graph neural network inference, edges are treated as players in a local cooperative game over a node’s computational graph, and their signed Shapley values are aggregated into global pruning scores for graph sparsification [2507.20460]. In cooperative game theory on networks, value may be defined on coalitions of edges and then allocated either directly to edges or to nodes through an induced node-side game, yielding an allocation rule termed the edge-based Shapley value [2507.11808]. In classical network games, a related link-based construction underlies the position value and its weighted generalization, where links are the players of an associated game and their Shapley payoffs are distributed to incident nodes [2308.03494]. Other uses include phylogenetic diversity on trees [1707.09908], priority-weighted random-order values on directed weighted graphs [2605.15018], Hodge-theoretic path-integral allocations on coalition graphs and cooperative networks [2203.06860], and edge-responsibility for regular path queries in labeled graphs [2212.07720]. The unifying theme is a shift from node-only attribution toward interaction-centric valuation.

## 1. Conceptual scope and principal variants

The most direct meaning of edge-based Shapley value arises when edges themselves are the players of a transferable-utility game. In the GNN sparsification setting, for a target node \(v\) and an \(l\)-layer GNN, the relevant player set is the edge set \(E_c(v)\) of the \(l\)-hop computational graph \(G_c(v)\), and each edge receives a Shapley value measuring its marginal effect on the predicted class probability under masked adjacency coalitions [2507.20460]. In cooperative network games, an edge-based graph game is defined as \((N,E,w)\) with \(w:2^E\to\mathbb{R}\), so that coalitions are edge sets rather than node sets [2507.11808]. In network games and the position-value literature, links are likewise treated as the players of an associated link game \(v^E\), after which link-level Shapley payoffs are split among endpoints [2308.03494].

A second variant is node allocation induced by edge-centric valuation. The 2025 cooperative-game formulation defines the paper’s allocation rule as
\[
ESh_i(N,E,w)=Sh_i(N,w^N),
\qquad
w^N(S)=w(\{e\in E\mid e\subseteq S\}),
\]
so nodes receive Shapley values computed on a node-side game induced from an underlying edge-side characteristic function [2507.11808]. This differs from frameworks that first compute Shapley values on edges and then split edge payoff post hoc. The distinction is explicit in that work: “There is no post-hoc split of edge value to incident nodes; instead, node allocations arise by computing the classical Shapley value on \(w^N\)” [2507.11808].

A third variant uses edge structure to deform the random-order distribution underlying marginal contributions. The generalized priority-aware Shapley value introduces a directed weighted priority graph \(G=(N,E,w)\), where edge weights \(w_{ij}\) penalize order violations in permutations via a Gibbs factor \(\exp\{-\beta V_w(T)\}\). The resulting value remains a random-order expectation over player marginals, but the order law is edge-driven, soft, weighted, and cyclicity-tolerant [2605.15018]. This suggests a broader interpretation in which “edge-based” need not mean that edges are the final recipients of value; it can also mean that edges are the structural primitives governing marginal-contribution aggregation.

A fourth line of work interprets Shapley allocation through edge flows on state-transition graphs. In the Hodge-Shapley framework, players remain nodes, but each player’s marginal contribution is represented by an edge flow on a cooperative network, and values at target states are obtained as expected stochastic path integrals or as solutions of a graph Poisson equation [2203.06860]. Here edge-based structure enters through gradients, divergences, and edgewise marginal flows rather than through an edge coalition game.

## 2. Formal definitions when edges are the players

When edges are the players in a cooperative game, the Shapley definition is formally classical. For a player set \(E\) and characteristic function \(w:2^E\to\mathbb{R}\) with \(w(\emptyset)=0\), the edge-level Shapley value of edge \(e\) is
\[
\phi_e(w)
=
\sum_{F\subseteq E\setminus\{e\}}
\frac{|F|!(|E|-|F|-1)!}{|E|!}
\big[w(F\cup\{e\})-w(F)\big].
\]
This is the canonical edge-level definition given in the general cooperative-game treatment [2507.11808]. The same paper also gives the equivalent random-order form over permutations of \(E\) [2507.11808].

In GNN inference, the local game is instantiated around a target node. Let \(N=E_c(v)=\{e_1,\dots,e_n\}\) be the edges of the computational graph of \(v\). For edge \(e_i\), the local Shapley value is
\[
\phi_i(v)
=
\sum_{S\subseteq N\setminus\{i\}}
\frac{|S|!(n-|S|-1)!}{n!}
\big[v(S\cup\{i\})-v(S)\big],
\]
where the payoff function is the predicted probability of the target class under masked adjacency:
\[
v(S)=f_t(v;X_c,A_c\odot M_S).
\]
Here \(M_S\) is the binary mask induced by coalition \(S\), and explanations are computed for the predicted class [2507.20460]. This is a purely local edge-player game whose output is later aggregated across nodes.

In phylogenetic diversity, the player set is instead the leaf set \(N\), but the Shapley value admits an explicit edge-based formula because the cooperative game \(v(S)=PD(S)\) is additive over tree edges. For an unrooted binary phylogenetic tree with edge lengths \(l_e\), the Shapley value of leaf \(i\) can be written as
\[
\phi_i=\sum_{e\in E(T)} l_e\frac{f(i,e)}{n\,c(i,e)},
\]
where \(c(i,e)\) and \(f(i,e)\) are split counts induced by removing edge \(e\) [1707.09908]. This is edge-based in a distinct sense: the value is assigned to leaves, but the dependence on the game is fully mediated by edge lengths and split-induced coefficients.

In network games, the position value constructs a link game \(v^E\) over the edge set \(g\), with
\[
v^E(S)=v(g'),
\]
where the link coalition \(S\subseteq g\) is interpreted as a subnetwork \(g'\). The link Shapley value is then
\[
\phi_e(v^E)
=
\frac{1}{|g|!}\sum_{\pi\in\Pi(g)}
\Big[v^E(P_\pi(e)\cup\{e\})-v^E(P_\pi(e))\Big],
\]
or equivalently via Harsanyi dividends [2308.03494]. This provides the edge-level layer from which endpoint allocations are derived.

## 3. Induced node allocations and relations to classical values

A central issue is how an edge-centric game produces node-level allocations. The 2025 allocation-rule paper adopts induction rather than splitting. Given \((N,E,w)\), it defines
\[
w^N(S)=w(\{e\in E\mid e\subseteq S\}),
\]
and then sets
\[
ESh_i(N,E,w)=Sh_i(N,w^N).
\]
This rule inherits the classical Shapley axioms on the induced node game, including efficiency, linearity, symmetry, and the null-player property [2507.11808]. Efficiency takes the form
\[
\sum_{i\in N} ESh_i(N,E,w)=w(E).
\]

The same framework proves a neighborhood restriction:
\[
ESh_i(N,E,w)
=
\sum_{S\subseteq \Gamma^G(i)}
\frac{|S|!(n-|S|-1)!}{n!}
\big[w^N(S\cup\{i\})-w^N(S)\big],
\]
where \(\Gamma^G(i)\) is the out-neighborhood of \(i\) in the directed graph [2507.11808]. Since marginal contributions vanish outside the neighborhood, the induced allocation is local in the graph-theoretic sense.

The relation to the Myerson value is explicit. For a graph game \((N,v,E)\) on nodes, define an edge-side characteristic function
\[
\bar w(\{e_1,\dots,e_m\})=v(\{s\in N\mid s\in e_i \text{ for some } i\}).
\]
Then \(\bar w^N(S)=v^E(S)\), the Myerson-restricted characteristic function over connected components of the induced subgraph. Consequently,
\[
ESh_i(N,E,\bar w)=\mu_i(N,v,E),
\]
so the Myerson value appears as a special case of the edge-based Shapley construction [2507.11808].

The position value and weighted position value follow a different route. The classical position value allocates each edge’s Shapley share equally among its two incident nodes:
\[
Y_i(g,v)=\sum_{e\in g_i}\frac{1}{2}\phi_e(v^E).
\]
The weighted position value replaces equal splitting with proportional splitting based on exogenous node weights:
\[
Y_i^w(g,v)=\sum_{l=ij\in g_i}\frac{w_i}{w_i+w_j}\phi_l(v^E).
\]
If all node weights are equal, \(Y_i^w\) reduces to the classical position value [2308.03494]. This establishes a second major paradigm: edge-based Shapley at the link level, followed by endpoint distribution.

A distinct node-allocation mechanism appears in Hodge-Shapley theory. There, one solves
\[
L\Phi_{f_i}=d^*f_i,
\qquad
\Phi_{f_i}(O)=0,
\]
on a cooperative network with reversible Markov dynamics, where \(f_i\) is player \(i\)’s edge flow and \(L\) is the graph Laplacian [2203.06860]. The resulting \(\Phi_{f_i}(T)\) is a coalition- or state-wise allocation, not only a grand-coalition number. This allocation satisfies five axioms extending the Shapley axioms and coincides with the classical Shapley value at the grand coalition in the coalition hypercube case [2203.06860].

## 4. Axioms, structural properties, and fairness claims

Because many edge-based constructions reduce to ordinary Shapley values on suitably transformed games, standard axioms recur. In the induced-node formulation, efficiency, linearity, symmetry, and null-player hold directly since \(ESh_i(N,E,w)=Sh_i(N,w^N)\) [2507.11808]. The same work proves a Myerson-style fairness statement for edge removal: for an edge \(e=(i,j)\), the differential effect of removing \(e\) on the allocations of its endpoints is equal [2507.11808]. Under additivity of \(w^N\) across disjoint node sets, the rule also satisfies component efficiency:
\[
\sum_{i\in C}ESh_i(N,E,w)=w^N(C)
\]
for any connected component \(C\) [2507.11808].

In GNN sparsification, the salient structural property is signedness. Shapley values can be positive or negative. Positive \(\phi(e)\) means an edge increases prediction confidence for the target class, while negative \(\phi(e)\) means it decreases confidence and may be misleading or adversarial [2507.20460]. This signed nature is treated as critical for sparsification, in contrast to many explainers that produce only non-negative importance scores. The same paper highlights standard Shapley properties—efficiency, symmetry, linearly, and dummy—within the edge-player game, emphasizing that signed attributions permit the removal of harmful edges while preserving influential ones [2507.20460].

In the phylogenetic setting, efficiency has a particularly transparent per-edge form. If \(M\) is the Shapley transformation matrix with entries
\[
M_{i,e}=\frac{f(i,e)}{n\,c(i,e)},
\]
then for each edge \(e\), the coefficients sum to \(1\) over leaves, which implies
\[
\sum_{i=1}^n \phi_i=\sum_{e\in E(T)} l_e.
\]
Thus total allocated leaf value equals total tree length [1707.09908].

The priority-aware construction [2605.15018] is not an edge-coalition game, but its axiomatization is instructive for the broader category. The value is a random-order value satisfying Weber’s conditions for ROV representations and is uniquely determined by Generalized State-Choice Factorization, Generalized Weight Proportionality, and a Pairwise-Violation Factorization boundary condition [2605.15018]. This establishes that edge-weighted soft priority graphs can shape Shapley-like values while preserving an axiomatic random-order foundation.

Not all edge-based constructions retain the full classical fairness repertoire. In the hypergraph-based individual Shapley value tied to Forman curvature, efficiency, additivity, and component efficiency hold, but symmetry and null player do not hold in general, and the paper notes that the rule fails Myerson’s fairness axiom in general [2110.06506]. This is a useful corrective to any impression that “edge-based Shapley value” automatically preserves the entire Shapley–Myerson axiomatics across all generalizations.

## 5. Computation and approximation

Exact edge-level Shapley computation is typically combinatorial, and most frameworks rely on structure, decomposition, or sampling.

In GNN inference, exact computation over all edge coalitions of \(E_c(v)\) is infeasible for large \(n\). The paper follows GraphSVX and GNNShap in approximating the payoff with a linear surrogate
\[
g(m)=\phi_0+\sum_{i=1}^n \phi_i m_i,
\]
estimated by least squares from \(k\ll 2^n\) sampled coalitions and masked forward passes [2507.20460]. Per node, the dominant cost is \(O(k\cdot C_f)\), where \(C_f\) is the cost of a masked forward pass on the computational graph. GNNShap’s GPU batching and kernels reduce wall-clock time substantially; the paper reports that it produced explanations on PubMed and Coauthor-CS where GraphSVX exceeded a 10-hour limit [2507.20460].

The induced-node allocation rule does not present a specialized approximation algorithm, but its neighborhood restriction reduces the coalition space from all subsets of \(N\setminus\{i\}\) to subsets of \(\Gamma^G(i)\), giving \(2^{\deg^+(i)}\) terms per node in a directed graph [2507.11808]. The paper notes that standard Shapley Monte Carlo estimators apply directly, and that sparse or low-degree graphs are computationally favorable [2507.11808].

GPASV develops a full sampling machinery for edge-shaped random-order values. It uses adjacent-swap Metropolis–Hastings on permutations, with a local acceptance ratio
\[
\frac{p_{d,w}(T')}{p_{d,w}(T)}
=
\exp\{-\beta(w_{ab}-w_{ba})\}\cdot \frac{S_{d,w}(S_i)}{S_{d,w}(S_i')},
\]
so only local edge-weight differences and competing prefixes need to be recomputed [2605.15018]. The framework also provides greedy initialization, direct Monte Carlo estimation of marginal contributions, and self-normalized importance sampling reuse across parameter sweeps [2605.15018].

In Hodge-Shapley theory, computation reduces to sparse linear algebra. For each player, one builds the gradient \(d\), divergence \(d^*\), Laplacian \(L=d^*d\), and solves a reduced Dirichlet Laplacian system after fixing the reference state [2203.06860]. This yields all state values simultaneously. The paper explicitly positions the method as a graph-based Laplacian-solver problem [2203.06860].

In query responsibility for regular path queries, exact edge-based Shapley computation is often intractable. The exact value is \(\#P\)-hard whenever a non-redundant conjunct permits a word of length three or more, while for RPQs the problem is polynomial-time computable if and only if all words have length at most two [2212.07720]. By contrast, additive approximation admits an FPRAS via uniform random permutation sampling of endogenous edges and evaluation of whether the target edge is pivotal [2212.07720]. Multiplicative approximation is available in polynomial time exactly when all query atoms have finite languages, assuming non-redundancy and conventional complexity limitations [2212.07720].

## 6. Applications and empirically documented behavior

The most detailed application in the recent literature is GNN inference-time sparsification. Local edge Shapley values \(\phi_e(v)\) are aggregated to global scores
\[
S(e)=\frac{1}{|V_e|}\sum_{v\in V_e}\phi_e(v),
\]
where \(V_e\) is the set of nodes whose computational graphs contain edge \(e\) [2507.20460]. The pruning policy removes edges with the smallest global scores, prioritizing negative \(S(e)\), using either a top-\(K\) or thresholded selection rule. The reported results show that with mean aggregation, GNNShap can prune \(80\%\) of edges on Cora with less than \(2\%\) accuracy drop for both GCN and GAT; on PubMed-GCN it achieves \(80\%\) pruning with less than \(2\%\) drop, and on PubMed-GAT it matches original accuracy at \(80\%\) pruning; on Coauthor-CS-GAT it matches original accuracy at \(55\%\) pruning [2507.20460]. The paper also reports substantial MAC reductions, such as Cora-GCN from \(305\text{k}\) to \(110\text{k}\) MACs at \(80\%\) sparsity and PubMed-GCN from \(2.058\text{M}\) to \(711\text{k}\) [2507.20460]. An ablation shows that replacing signed \(\phi\) with \(|\phi|\) significantly degrades pruning performance [2507.20460].

In economic and logistical networks, the induced-node edge-based Shapley value is illustrated through content platform networks and supply chain logistics. In a one-platform, three-content case, the computed allocation is
\[
(ESh_A,ESh_B,ESh_C,ESh_P)
=
\left(\frac{77}{12},\frac{53}{12},\frac{29}{12},\frac{43}{4}\right),
\]
while a two-platform, five-content case yields
\[
\left(\frac{1213}{210},\frac{1157}{210},\frac{976}{210},\frac{947}{210},\frac{923}{210},\frac{1332}{210},\frac{1012}{210}\right),
\]
illustrating how exclusivity can produce higher allocation than raw route count alone [2507.11808]. In supply-chain logistics, route valuation is defined as
\[
w(F)=\sum_{r\in\mathcal{R}} q_r\cdot \exp(-\alpha c_r)\cdot \mathbf{1}\{E(P_r)=F\},
\]
with \(\alpha=0.1\) in experiments [2507.11808]. The reported allocations identify redundancy and cost sensitivity in several five-node scenarios [2507.11808].

In phylogenetic diversity, the edge-based formula is used both analytically and critically. The paper shows that non-isomorphic unrooted trees can have permutation-equivalent, even identical, Shapley transformation matrices and identical null spaces, so split counts or leaf Shapley values do not identify tree topology [1707.09908]. It also proves a negative result for biodiversity prioritization: for a constructed family \(T_\varepsilon\), the top \(k'\leq k\) species ranked by Shapley value can all lie in a subtree whose total phylogenetic diversity tends to \(0\) as \(\varepsilon\to 0\), while the total diversity of the full tree tends to \(\infty\) [1707.09908]. This is one of the clearest demonstrations that an edge-based Shapley decomposition need not be an optimal selection heuristic for a constrained combinatorial objective.

In hypergraphs, the individual Shapley value linked to Forman curvature defines local edge-characteristic functions \(w_e\) and \(w'_e\) such that
\[
\sum_{i\in e}\big[ISh_i(N,v^w,E)-ISh_i(N,v^w,E\setminus e)\big]
=
-F({}_{\rightarrow}e),
\]
with an analogous identity for \(w'_e\) and \(F(e_{\rightarrow})\) [2110.06506]. For the modular curvature-based choice, the paper derives the closed form
\[
ISh_i(N,v^w+v^{w'},E)
=
2d^{\mathrm{in}}(i)d^{\mathrm{out}}(i)-d^{\mathrm{in}}(i)-d^{\mathrm{out}}(i),
\]
and reports the vector \((1,4,-2,1,-1,0,0)\) on its worked hypergraph example [2110.06506].

## 7. Limitations, misconceptions, and open directions

A recurrent misconception is that edge-based Shapley value is a single standardized definition. The literature shows otherwise. At least four non-equivalent meanings coexist: Shapley on edge coalitions; node Shapley on an induced edge-centric game; edge-informed random-order values; and edge-flow-based coalition-state allocations. Formulas, axioms, and computational burdens depend heavily on which construction is meant.

Another misconception is that edge-based formulations always improve fairness or identifiability. The phylogenetic case shows that Shapley values and split counts do not reconstruct topology and can fail as a prioritization criterion for maximizing diversity under a budget [1707.09908]. The hypergraph formulation shows that symmetry, null-player, and Myerson fairness can fail in general [2110.06506]. In query responsibility, exact edge-based Shapley computation is almost always hard once path languages become expressive enough [2212.07720].

In GNNs, the principal limitations are computational and model-dependent. Even with GPU acceleration, per-node Shapley estimation on very large graphs remains costly; explanations depend on the trained model, so inaccurate models can induce misleading attributions; higher-order edge interactions remain challenging for linear surrogates; and the reported pruning is unconstrained with respect to connectivity preservation [2507.20460]. The paper identifies dynamic graphs, better sampling strategies, caching, distributed implementations, and connectivity-constrained objectives as natural extensions [2507.20460].

In induced-node economic networks, the main limitation is dependence on the specification of \(w(F)\). Mis-specified route or contract data directly bias allocations, and large-degree nodes remain expensive despite locality reductions [2507.11808]. The paper notes future work on approximation algorithms, dynamic or stochastic networks, and hypergraph extensions [2507.11808].

In priority-aware valuation, the edge-priority graph itself may be noisy or cyclic due to finite data, and high \(\beta\) can overconcentrate attribution on hub-like players [2605.15018]. The paper’s main empirical conclusion is that priority-aware valuation is not a one-button procedure: different balances of pairwise edge priority and node-level soft priority produce substantively different outcomes [2605.15018]. This suggests a broader methodological caution for edge-based Shapley models: once interactions rather than individual players structure the valuation problem, modeling choices about how edge information enters the game often dominate the formal choice of Shapley solution concept itself.

Source: https://www.emergentmind.com/topics/edge-based-shapley-value