arXiv++ Combinatorics

The information decomposition problem requires an additive decomposition of the mutual information between the input and target variables into nonnegative terms. The recently introduced solution to this problem, Information Attribution, involves the Shapley-style value measuring the influence of predictors in the coalitional game associated with the joint probability distribution of the input random vector and the target variable. Motivated by the original problem, we consider a general setting of coalitional games where the players form a boolean algebra, and the coalitions are the corresponding down-sets. This enables us to study in detail various single-valued solution concepts, called values. Namely, we focus on the classes of values that can represent very general alternatives to the solution of the information decomposition problem, such as random-order values or sharing values. We extend the axiomatic characterization of some classes of values that were known only for the standard coalitional games.

Shapley operators of undiscounted zero-sum two-player games are order-preserving maps that commute with the addition of a constant. We characterize the fixed point sets of Shapley operators, in finite dimension (i.e., for games with a finite state space). Some of these characterizations are of a lattice theoretical nature, whereas some other rely on metric or tropical geometry. More precisely, we show that fixed point sets of Shapley operators are special instances of hyperconvex spaces: they are sup-norm non-expansive retracts of $\R^n$, and also lattices in the induced partial order. Moreover, they retain properties of convex sets, with a notion of ``convex hull'' defined only up to isomorphism. This provides an effective construction of the injective hull or tight span, in the case of additive cones. For deterministic games with finite action spaces, these fixed point sets are supports of polyhedral complexes, with a cell decomposition attached to stationary strategies of the players, in which each cell is an alcoved polyhedron of $A_n$ type. We finally provide an explicit local representation of the latter fixed point sets, as polyhedral fans canonically associated to lattices included in the Boolean hypercube.