A Novel Approach to the Partial Information Decomposition

Abstract

We consider the “partial information decomposition” (PID) problem, which aims to decompose the information that a set of source random variables provide about a target random variable into separate redundant, synergistic, union, and unique components. In the first part of this paper, we propose a general framework for constructing a multivariate PID. Our framework is defined in terms of a formal analogy with intersection and union from set theory, along with an ordering relation which specifies when one information source is more informative than another. Our definitions are algebraically and axiomatically motivated, and can be generalized to domains beyond Shannon information theory (such as algorithmic information theory and quantum information theory). In the second part of this paper, we use our general framework to define a PID in terms of the well-known Blackwell order, which has a fundamental operational interpretation. We demonstrate our approach on numerous examples and show that it overcomes many drawbacks associated with previous proposals.

1. Introduction

Understanding how information is distributed in multivariate systems is an important problem in many scientific fields. In the context of neuroscience, for example, one may wish to understand how information about an external stimulus is encoded in the activity of different brain regions. In computer science, one might wish to understand how the output of a logic gate reflects the information present in different inputs to that gate. Numerous other examples abound in biology, physics, machine learning, cryptography, and other fields [1,2,3,4,5,6,7,8,9,10].

Formally, suppose that we are provided with a random variable Y which we call the “target”, as well as a set of n random variables $X_1,\dots ,X_n$ which we call the “sources”. The partial information decomposition (PID), first proposed by Williams and Beer in 2010 [11], aims to quantify how information about the target is distributed among the different sources. In particular, the PID seeks to decompose the mutual information provided jointly by all sources into a set of nonnegative terms, such as redundancy (information present in each individual source), synergy (information only provided by the sources jointly, not individually), union information (information provided by at least one individual source), and unique information (information provided by only one individual source).

As discussed in detail below, the PID is inspired by an analogy between information theory and set theory. In this analogy, the information that the sources provide about the target are imagined as sets, while PID terms such as redundancy, union information, and synergy are imagined as the sizes of intersections, unions, and complements. While the analogy between information-theoretic and set-theoretic quantities is suggestive, it does not specify how to actually define the PID. Moreover, it has also been shown that existing measures from information theory (such as mutual information and conditional mutual information) cannot be used directly to construct the PID, since these measures conflate contributions from different terms like synergy and redundancy [11,12]. In response, many proposals for how to define PID terms have been advanced [5,13,14,15,16,17,18,19,20,21]. However, existing proposals suffer from various drawbacks, such as behaving counterintuitively on simple examples, being limited to only two sources, or lacking a clear operational interpretation. Today there is no generally agreed-upon way of defining the PID.

In this paper, we propose a new and principled approach to the PID which addresses these drawbacks. Our approach can handle any number of sources and can be justified in algebraic, axiomatic, and operational terms. We present our approach in two parts.

In part I (Section 4), we propose a general framework for defining the PID. Our framework does not prescribe specific definitions, but instead shows how an information-theoretic decomposition can be grounded in a formal analogy with set theory. Specifically, we consider the definitions of “set intersection” and “set union” in set theory: the intersection of sets $S_1,S_2,\dots$ is the largest set that is contained in all of the $S_i$, while the union of sets $S_1,S_2,\dots$ is the smallest set that contains all of the $S_i$. As we show, these set-theoretic definitions can be mapped into information-theoretic terms by treating “sets” as random variables, “set size” as mutual information between a random variable and the target Y, and “set inclusion” as some externally specified ordering relation ⊏, which specifies when one random variable is more informative than another. Using this mapping, we define information-theoretic redundancy and union information in the same way that the sizes of intersections and unions are defined in set theory (other PID terms, such as synergy and unique information, can be computed in a straightforward way from redundancy and union information). Moreover, while our approach is motivated by set-theoretic intuitions, as we show in Section 4.2, it can also be derived from an alternative axiomatic foundation. We finish part I by reviewing relevant prior work in information theory and the PID literature. We also discuss how our framework can be generalized beyond the standard setting of the PID and even beyond Shannon information theory, to domains like algorithmic information theory and quantum information theory.

One unusual aspect of our framework is that it provides independent definitions of union information and redundancy. Most prior work on the PID has focused exclusively on the definition of redundancy, because it assumed that union information can be determined from redundancy using the so-called “inclusion-exclusion principle”. In Section 4.3, we argue that the inclusion-exclusion principle should not be expected to hold in the context of the PID.

Part I provides a general framework. Concrete definitions of the PID can be derived from this general framework by choosing a specific “more informative” ordering relation ⊏. In fact, the study of ordering relations between information sources has a long history in statistics and information theory [22,23,24,25,26,27]. One particularly important relation is the so-called “Blackwell order” [13,28], which has a fundamental operational interpretation in terms of utility maximization in decision theory.

In part II of this paper (Section 5), we combine the general framework developed in part I with the Blackwell order. This gives rise to concrete definitions of redundancy and union information. We show that our measures behave intuitively and have simple operational interpretations in terms of decision theory. Interestingly, while our measure of redundancy is novel, our measure of union information has previously appeared in the literature under a different guise [13,17].

In Section 6, we compare our redundancy measure to previous proposals, and illustrate it with various bivariate and multivariate examples. We finish the paper with a discussion and proposals for future work in Section 7.

We introduce some necessary notation and preliminaries in the next section. In addition, we provide background regarding the PID in Section 3. All proofs, as well as some additional results, are found in the appendix.

2. Notation and Preliminaries

We use uppercase letters ($Y,X,Q,\dots$) to indicate random variables over some underlying probability space. We use lowercase letters ($y,x,q,\dots$) to indicate specific outcomes of random variables, and calligraphic letters ($\mathcal{Y},\mathcal{X},\mathcal{Q}\dots$) to indicate sets of outcomes. We often index random variables with a subscript, e.g., the random variable $X_i$ with outcomes $x_i\in {\mathcal{X}}_i$ (so $x_i$ does not refer to the $i^{\mathrm{th}}$ outcome of random variable X, but rather to some generic outcome of random variable $X_i$). We use notation like $A-B-C$ to indicate that A is conditionally independent of C given B. Except where otherwise noted, we assume that all random variables have a finite number of outcomes.

We use notation like $P_X\left(x\right)$ to indicate the probability distribution associated with random variable X, $P_{XY}(x,y)$ to indicate the joint probability distribution associated with random variables X and Y, and $P_{X|Y}\left(x\right|y)$ to indicate the conditional probability distribution of X given Y. Given two random variables X and Y with outcome sets $\mathcal{X}$ and $\mathcal{Y}$, we use notation like ${\kappa }_{X|Y}\left(x\right|y)$ to indicate some stochastic channel of outputs $x\in \mathcal{X}$ given inputs $y\in \mathcal{Y}$. In general, a channel ${\kappa }_{X|Y}$ specifies some arbitrary conditional distribution of X given Y, which can be different from $P_{X|Y}$, the actual conditional distribution of X given Y (as determined by the underlying probability space).

As described above, we consider the information that a set of “source” random variables $X_1,\dots ,X_n$ provide a “target” random variable Y. Without loss of generality, we assume that the marginal distributions $P_Y$ and $P_{X_i}$ for all i have full support (if they do not, one can restrict $\mathcal{Y}$ and/or ${\mathcal{X}}_i$ to outcomes that have strictly positive probability).

Finally, note that despite our use of the terms “source” and “target”, we do not assume any causal directionality between the sources and target (see also discussion in [29]). For example, in neuroscience, Y might be an external stimulus which causes the activity of brain regions $X_1,\dots ,X_n$, while in computer science Y might represent the output of a logic gate caused by inputs $X_1,\dots ,X_n$ (so the causal direction is reversed). In yet other contexts, there could be other causal relationships among $X_1,\dots ,X_n$ and Y, or they might not be causally related at all.

3. Background on the Partial Information Decomposition (PID)

Given a set of sources $X_1,\dots ,X_n$ and a target Y, the PID aims to decompose $I(Y;X_1,\dots ,X_n)$, the total mutual information provided by all sources about the target, into a set of nonnegative terms such as [11,12]:

• Redundancy $I_{\cap }(X_1;\dots ;X_n\to Y)$, the information present in each individual source. Redundancy can be considered as the intersection of the information provided by different sources and is sometimes called “intersection information” in the literature [16,18].
• Union information $I_{\cup }(X_1;\dots ;X_n\to Y)$, the information provided by at least one individual source [12,17].
• Synergy $S(X_1;\dots ;X_n\to Y)$, the information found in the joint outcome of all sources, but not in any of their individual outcomes. Synergy is defined as [17]

  $$\begin{array}{cc}\hfill S(X_1;\dots ;X_n\to Y)& =I(Y;X_1,\dots ,X_n)-I_{\cup }(X_1;\dots ;X_n\to Y).\hfill \end{array}$$

  (1)
• Unique information in source $X_i$, $U(X_i\to Y|X_1;\dots ;X_n)$, the non-redundant information in each particular source. Unique information is defined as

  $$\begin{array}{cc}\hfill U(X_i\to Y|X_1;\dots ;X_n)& =I(Y;X_i)-I_{\cap }(X_1;\dots ;X_n\to Y).\hfill \end{array}$$

  (2)

In addition to the above terms, one can also define excluded information,

$$E(X_i\to Y|X_1;\dots ;X_n)=I_{\cup }(X_1;\dots ;X_n\to Y)-I(Y;X_i),$$

(3)

as the information in the union of the sources which is not in a particular source $X_i$. To our knowledge, excluded information has not been previously considered in the PID literature, although it is the natural “dual” of unique information as defined in Equation (2).

Given the definitions above, once a measure of redundancy $I_{\cap }$ is chosen, unique information is determined by Equation (2). Similarly, once a measure of union information $I_{\cup }$ is chosen, synergy and excluded information are determined by Equations (1) and (3). In Figure 1, we illustrate the relationships between these different PID terms for the simple case of two sources, $X_1$ and $X_2$. We show two different decompositions of the information provided by the sources jointly, $I(X_1,X_2;Y)$, and individually, $I(X_1;Y)$ and $I(X_2;Y)$. The diagram on the left shows the decomposition defined in terms of redundancy $I_{\cap }$, while the diagram on the right shows the decomposition defined in terms of union information $I_{\cup }$.

When more than two sources are present, the PID can be used to define additional terms, beyond the ones shown in Figure 1. For example, for three sources, one can define redundancy terms like $I_{\cap }(X_1,X_2,X_3\to Y)$ (representing the information found in all individual sources) as well as redundancy terms like $I_{\cap }((X_1,X_2),(X_1,X_3),(X_2,X_3)\to Y)$ (representing the information found in all pairs of sources), and similarly for union information.

The idea that redundancy and union information lead to two different information decompositions is rarely discussed in the literature. In fact, the very concept of union information is rarely discussed in the literature explicitly (although it often appears in an implicit form via measures of synergy, since synergy is related to union information through Equation (1)). As we discuss below in Section 4.3, the reason for this omission is that most existing work assumes (whether implicitly or explicitly) that redundancy and union information are not independent measures, but are instead related via the so-called “inclusion-exclusion principle”. If the inclusion-exclusion principle is assumed to hold, then the distinction between the two decompositions disappears. We discuss this issue in greater detail below, where we also argue that the inclusion-exclusion principle should not be expected to hold in the context of the PID.

We have not yet described how the redundancy and union information measures $I_{\cap }$ and $I_{\cup }$ are defined. In fact, this remains an open research question in the field (and one which this paper will address). When they first introduced the idea of the PID, Williams and Beer proposed a set of intuitive axioms that any measure of redundancy should satisfy [11,12], which we summarize in Appendix A. In later work, Griffith and Koch [17] proposed a similar set of axioms that union information should satisfy, which are also summarized in Appendix A. However, these axioms do not uniquely identify a particular measure of redundancy or union information.

Williams and Beer also proposed a particular redundancy measure which satisfies their axioms, which we refer to as $I_{\cap }^{\mathrm{WB}}$ [11,12]. Unfortunately, $I_{\cap }^{\mathrm{WB}}$ has been shown to behave counterintuitively in some simple cases [19,20]. For example, consider the so-called “COPY gate”, where there are two sources $X_1$ and $X_2$ and the target is a copy of their joint outcomes, $Y=(X_1,X_2)$. If $X_1$ and $X_2$ are statistically independent, $I(X_1;X_2)=0$, then intuition suggests that the two sources provide independent information about Y and therefore that redundancy should be 0. In general, however, $I_{\cap }^{\mathrm{WB}}(X_1;X_2\to Y)$ does not vanish in this case. To avoid this issue, Ince [20] proposed that any valid redundancy measure should obey the following property:

$$\mathrm{If}I(X_1;X_2)=0,\mathrm{then}{I}_{\cap }(X_1;X_2\to (X_1,X_2))=0,$$

(4)

which is called the Independent identity property.

In recent years, many other redundancy measures have been proposed [13,15,16,18,19,20,21]. However, while some of these proposals satisfy the Independent identity property, they suffer various other drawbacks, such as exhibiting other types of counterintuitive behavior, being limited to two sources, and/or lacking a clear operational motivation. We discuss some of these previously proposed measures in Section 4.4, Section 5.4 and Section 6.

Unlike redundancy, to our knowledge only two measures of union information have been advanced. The first one appeared in the original work on the PID [12], and was derived from $I_{\cap }^{\mathrm{WB}}$ using the inclusion-exclusion principle. The second one appeared more recently [13,17] and is discussed in Section 5.4 below.

4. Part I: Redundancy and Union Information from an Ordering Relation

4.1. Introduction

As mentioned above, PID is motivated by an informal analogy with set theory [12]. In particular, redundancy is interpreted analogously to the size of the intersection of the sources $X_1,\dots ,X_n$, while union information is interpreted analogously to the size of their union.

We propose to define the PID by making this analogy formal, and in particular by going back to the algebraic definitions of intersection and union in set theory. In pursuing this direction, we build on a line of previous work in information theory and PID, which we discuss in Section 4.4.

Recall that in set theory, the intersection of sets $S_1,\dots ,S_n\subseteq U$ (where U is some universal set) is the largest set that is contained in all $S_i$ (Section 7.2, [30]). This means that the size of the intersection can be written as

$$\begin{array}{cc}\hfill \left|\bigcap _i{S}_i\right|& =\underset{T\subseteq U}{\sup }\left|T\right|\hspace{1em}\mathrm{such}\mathrm{that}\forall iT\subseteq S_i,\hfill \end{array}$$

(5)

Similarly, the union of sets $S_1,\dots ,S_n\subseteq U$ is the smallest set that contains all $S_i$ (Section 7.2, [30]), so the size of the union can be written as

$$\begin{array}{cc}\hfill \left|\bigcup _i{S}_i\right|& =\underset{T\subseteq U}{\inf }\left|T\right|\hspace{1em}\mathrm{such}\mathrm{that}\forall i{S}_i\subseteq T.\hfill \end{array}$$

(6)

Equations (5) and (6) are useful because they express the size of the intersection and union via an optimization over simpler terms (the size of individual sets, $\left|T\right|$, and the subset inclusion relation, ⊆).

We translate these definitions to the information-theoretic setting of the PID. We take the analogue of a “set” to be some random variable A that provides information about the target Y, and the analogue of “set size” to be the mutual information $I(A;Y)$. In addition, we assume that there is some ordering relation ⊏ between random variables analogous to set inclusion ⊆. Given such a relation, the expression $A⊏B$ means that random variable B is “more informative” than A, in the sense that the information that A provides about Y is contained within the information that B provides about Y.

At this point, we leave the ordering relation ⊏ unspecified. In general, we believe that the choice of ⊏ will not be determined from purely information-theoretic considerations, but may instead depend on the operational setting and scientific domain in which the PID is applied. At the same time, there has been a great deal of research on ordering relations in statistics and information theory. In part II of this paper, Section 5, we will combine our general framework with a particular ordering relation, the so-called “Blackwell order”, which has a fundamental interpretation in terms of decision theory.

We now provide formal definitions of redundancy and union information, relative to the choice of ordering relation ⊏. In analogy to Equation (5), we define redundancy as

$$\begin{array}{cc}\hfill I_{\cap }(X_1;\dots ;X_n\to Y)& :=\underset{Q}{\sup }I(Q;Y)\hspace{1em}\mathrm{such}\mathrm{that}\forall iQ⊏X_i\hfill \end{array}$$

(7)

where the maximization is over all random variables with a finite number of outcomes. Thus, redundancy $I_{\cap }$ is the maximum information about Y in any random variable that is less informative than all of the sources. In analogy with Equation (6), we define union information as

$$\begin{array}{cc}\hfill I_{\cup }(X_1;\dots ;X_n& \to Y):=\underset{Q}{\inf }I(Q;Y)\hspace{1em}\mathrm{such}\mathrm{that}\forall i{X}_i⊏Q\hfill \end{array}$$

(8)

Thus, union information $I_{\cup }$ is the minimum information about Y in any random variable that is more informative than all of the sources. Given these definitions, other elements of the PID (such as unique information, synergy, and excluded information) can be defined using the expressions found in Section 3. Note that $I_{\cap }$ and $I_{\cup }$ depend the choice of ordering relation ⊏, although for convenience we leave this dependence implicit in our notation.

One of the attractive aspects of our definitions is that they do not simply quantify the amount of redundancy and union information, but also specify the “content” of that redundant and union information. In particular, the random variable Q that achieves the optimum in Equation (7) specifies the content of the redundant information via the joint distribution $P_{YQ}$. Similarly, the random variable Q which achieves the optimum in Equation (8) specifies the content of the union information via the joint distribution $P_{YQ}$. Note that these optimizing Q may not be unique, reflecting the fact that there may be different ways to represent the redundancy or union information. (Note also that the supremum or infinitum may not be achieved in Equations (7) and (8), in which case one can consider Q that achieve the optimal values to any desired precision $ϵ>0$.)

So far we have not made any assumptions about the ordering relation ⊏. However, we can derive some useful bounds by introducing three weak assumptions:

• Monotonicity of mutual information: $A⊏B\Rightarrow I(A;Y)\le I(B;Y)$ (less informative sources have less mutual information).
• Reflexivity: $A⊏A$ for all A (each source is at least as informative as itself).
• For all sources $X_i$, $O⊏X_i⊏(X_1,\dots ,X_n)$, where O indicates a constant random variable with a single outcome and $(X_1,\dots ,X_n)$ indicates all sources considered jointly (each source is more informative than a trivial source and less informative than all sources jointly).

Assumptions I and II imply that the redundancy and union information of a single source are equal to the mutual information in that source:

$$I_{\cap }(X_1\to Y)=I_{\cup }(X_1\to Y)=I(X_1;Y).$$

Assumptions I and III imply the following bounds on redundancy and union information:

$$\begin{array}{cc}\hfill 0& \le I_{\cap }(X_1;\dots ;X_n\to Y)\le \underset{i}{\min }I(Y;X_i).\hfill \end{array}$$

(9)

$$\begin{array}{cc}\hfill \underset{i}{\max }I(Y;X_i)& \le I_{\cup }(X_1;\dots ;X_n\to Y)\le I(Y;X_1,\dots ,X_n).\hfill \end{array}$$

(10)

Equation (9) in turn implies that the unique information in each source $X_i$, as defined in Equation (2), is bounded between 0 and $I(Y;X_i)$. Similarly, Equation (10) implies that the synergy, as defined in Equation (1), obeys

$$0\le S(X_1;\dots ;X_n\to Y)\le \underset{i}{\min }I(Y;X_1,\dots ,X_n|X_i),$$

where we have used the chain rule $I(Y;X_1,\dots ,X_n)=I(Y;X_i)+I(Y;X_1,\dots ,X_n|X_i)$. Equation (10) also implies that excluded information in each source $X_i$, as defined in Equation (3), is bounded between 0 and $I(Y;X_1,\dots ,X_n|X_i)$.

Note that in general, stronger orders give smaller values of redundancy and larger values of union information. Consider two orders ⊏ and ${⊏}^{\prime }$ where the first one is stronger than the second: $A⊏B\Rightarrow A{⊏}^{\prime }B$ for all A and B. Then, any Q in the feasible set of Equation (7) under ⊏ will also be in the feasible set under ${⊏}^{\prime }$, and similarly for Equation (8). Therefore, $I_{\cap }$ defined relative to ⊏ will have a lower value than $I_{\cap }$ defined relative to ${⊏}^{\prime }$, and vice versa for $I_{\cup }$.

In the rest of this section, we discuss alternative axiomatic justifications for our general framework, the role of the inclusion-exclusion principle, relation to prior work, and further generalizations. Readers who are more interested in the use of our framework to define concrete measures of redundancy and union information may skip to Section 5.

4.2. Axiomatic Derivation

In Section 4.1, we defined the PID in terms of an algebraic analogy with intersection and union in set theory. This definition can be considered as the primary one in our framework. At the same time, the same definitions can also be derived in an alternative manner from a set of axioms, as commonly sought after in the PID literature. In particular, in Appendix B, we prove the following result regarding redundancy.

Theorem 1. 

Any redundancy measure that satisfies the following five axioms is equal to $I_{\cap }(X_1;\dots ;X_n\to Y)$ as defined in Equation (7).

• Symmetry: $I_{\cap }(X_1;\dots ;X_n\to Y)$ is invariant to the permutation of $X_1,\dots ,X_n$.
• Self-redundancy: $I_{\cap }(X_1\to Y)=I(Y;X_1)$.
• Monotonicity: $I_{\cap }(X_1;\dots ;X_n\to Y)\le I_{\cap }(X_1;\dots ;X_{n-1}\to Y)$.
• Order equality: $I_{\cap }(X_1;\dots ;X_n\to Y)=I_{\cap }(X_1;\dots ;X_{n-1}\to Y)$ if $X_i⊏X_n$ for some $i<n$.
• Existence: There is some Q such that $I_{\cap }(X_1;\dots ;X_n\to Y)=I(Y;Q)$ and $Q⊏X_i$ for all i.

While Symmetry, Self-redundancy, and Monotonicity axioms are standard in the PID literature (see Appendix A), the last two axioms require some explanation. Order equality is a generalization of the previously proposed Deterministic equality axiom, described in Appendix A, where the condition $X_i=f\left(X_n\right)$ (deterministic relationship) is generalized to the “more informative” relation $X_i⊏X_n$. This axiom reflects the idea that if a new source $X_n$ is more informative than an existing source $X_i$, then redundancy shouldn’t decrease when $X_n$ is added.

Existence is the most novel of our proposed axioms. It says that for any set of sources $X_1,\dots ,X_n$, there exists some random variable which captures the redundant information. It is similar to the statement in axiomatic set theory that the intersection of a collection of sets is itself a set (note that in Zermelo-Fraenkel set theory, this statement is derived from the Axiom of Separation).

We can derive a similar result for union information (proof in Appendix B).

Theorem 2. 

Any union information measure that satisfies the following five axioms is equal to $I_{\cup }(X_1;\dots ;X_n\to Y)$ as defined in Equation (8).

• Symmetry: $I_{\cup }(X_1;\dots ;X_n\to Y)$ is invariant to the permutation of $X_1,\dots ,X_n$.
• Self-union: $I_{\cup }(X_1\to Y)=I(Y;X_1)$.
• Monotonicity: $I_{\cup }(X_1;\dots ;X_n\to Y)\ge I_{\cup }(X_1;\dots ;X_{n-1}\to Y)$.
• Order equality: $I_{\cup }(X_1;\dots ;X_n\to Y)=I_{\cup }(X_1;\dots ;X_{n-1}\to Y)$ if $X_n⊏X_i$ for some $i<n$.
• Existence: There is some Q such that $I_{\cup }(X_1;\dots ;X_n\to Y)=I(Y;Q)$ and $X_i⊏Q$ for all i.

These axioms are dual to the redundancy axioms outlined above. Compared to previously proposed axioms for union information, as described in Appendix A, the most unusual of our axioms is Existence. It says that given a set of sources $X_1,\dots ,X_n$, there exists some random variable which captures the union information. It is similar in spirit to the “Axiom of Union” in axiomatic set theory [31].

Finally, note that for some choices of ⊏, there may not exist measures of redundancy and/or union information that satisfy the axioms in Theorems 1 and 2, in which case these theorems still hold but are trivial. However, even in such “pathological” cases, $I_{\cap }$ and $I_{\cup }$ can still be defined via Equations (7) and (8), as long as ⊏ has a “least informative” and a “most informative” element (e.g., as provided by Assumption III above), so that the feasible sets are not empty. In this sense, the definitions in Equations (7) and (8) are more general than the axiomatic derivations provided by Theorems 1 and 2.

4.3. Inclusion-Exclusion Principle

One unusual aspect of our approach is that, unlike most previous work, we propose separate measures of redundancy and union information.

Recall that in set theory, the size of the intersection and the union are not independent of each other, but are instead related by the inclusion-exclusion principle (IEP). For example, given any two sets S and T, the IEP states that the size of the union of S and T is given by the sum of their individual sizes minus the intersection,

$$\left|S\cup T\right|=\left|S\right|+\left|T\right|-\left|S\cap T\right|.$$

(11)

More generally, the IEP relates the sizes of intersection and unions for any number of sets, via the following inclusion-exclusion formulas:

$$\begin{array}{cc}\hfill \left|\bigcup _{i=1}^n{S}_i\right|& =\sum _{⌀\ne J\subseteq \{1,\dots ,n\}}{(-1)}^{\left|J\right|-1}\left|\bigcap _{i\in J}{S}_i\right|.\hfill \end{array}$$

(12)

$$\begin{array}{cc}\hfill \left|\bigcap _{i=1}^n{S}_i\right|& =\sum _{⌀\ne J\subseteq \{1,\dots ,n\}}{(-1)}^{\left|J\right|-1}\left|\bigcup _{i\in J}{S}_i\right|.\hfill \end{array}$$

(13)

Historically, the IEP has played an important role in analogies between set theory and information theory, which began to be explored in 1950s and 1960s [32,33,34,35,36]. Recall that the entropy $H\left(X\right)$ quantifies the amount of information gained by learning the outcome of random variable X. It has been observed that, for a set of random variables $X_1,\dots ,X_n$, the joint entropy $H(X_1,\dots ,X_n)$ behaves somewhat like the size of the union of the information in the individual variables. For instance, like the size of the union, joint entropy is subadditive ($H\left(X_1\right)+H\left(X_2\right)\ge H(X_1,X_2)$) and increases with additional random variables ($H(X_1,X_2)\ge H\left(X_1\right)$). Moreover, for two random variables $X_1$ and $X_2$, the mutual information $I(X_1;X_2)=H\left(X_1\right)+H\left(X_2\right)-H(X_1,X_2)$ acts like the size of the intersection of the information provided by $X_1$ and $X_2$, once intersection is defined analogously to the IEP expression in Equation (11) [35,36]. Given the general IEP formula in Equation (13), this can be used to define the size of the intersection between any number of random variables. For instance, the size of a three-way intersection is

$$\begin{array}{cc}\hfill I(X_1;X_2;X_3)=& H\left(X_1\right)+H\left(X_2\right)+H\left(X_3\right)\hfill \\ \hfill & \hspace{1em}-H(X_1,X_2)-H(X_1,X_3)-H(X_2,X_3)+H(X_1,X_2,X_3),\hfill \end{array}$$

a quantity called co-information or interaction information in the literature [32,33,35,36,37].

Unfortunately, interaction information, as well as other higher-order interaction terms defined via the IEP, can take negative values [32,35,37]. This conflicts with the intuition that information measures should always be non-negative, in the same way that set size is always non-negative.

One of the primary motivations for the PID, as originally proposed by Williams and Beer [11,12], was to solve the problem of negativity encountered by interaction information. To develop a non-negative information decomposition, Williams and Beer took two steps. First, they considered the information that a set of sources $X_1,\dots ,X_n$ provide about some target random variable Y. Second, they developed a non-negative measure of redundancy ($I_{\cap }^{\mathrm{WB}}$) which leads to a non-negative union information once an IEP formula like Equation (12) is applied (Theorem 4.7, [12]). For example, in the original proposal, union information and redundancy are related via

$$I_{\cup }(X_1;X_2\to Y)\stackrel{?}{=}I(Y;X_1)+I(Y;X_2)-I_{\cap }(X_1;X_2\to Y),$$

(14)

which is the analogue of Equation (11). This can be plugged into expressions like Equation (1), so as to express synergy in terms of redundancy as

$$S(X_1;\dots ;X_n\to Y)\stackrel{?}{=}I(Y;X_1,\dots ,X_n)-I(Y;X_1)-I(Y;X_2)+I_{\cap }(X_1;X_2\to Y).$$

(15)

The meaning of IEP-based identities such as Equations (14) and (15) can be illustrated using the Venn diagrams in Figure 1. In particular, they imply that the pink region in the right diagram is equal in size to the pink region in the left diagram, and that the grey region in the left diagram is equal in size to the grey region in the right diagram. More generally, IEP implies an equivalence between the information decomposition based on redundancy and the one based on union information.

As mentioned in Section 3, due to shortcomings in the original redundancy measure $I_{\cap }^{\mathrm{WB}}$, numerous other proposals for the PID have been advanced. Most of these proposals introduce new measures of redundancy, while keeping the general structure of the PID as introduced by Williams and Beer. In particular, most of these proposals assume that the IEP holds, so that union information can be derived from a measure of redundancy. While the assumption of the IEP is sometimes stated explicitly, more frequently it is implicit in the definitions used. For example, many proposals assume that synergy is related to redundancy via an expression like Equation (15), although (as shown above) this implicitly assumes that the IEP holds. In general, the IEP has been largely an unchallenged and unexamined assumption in the PID field. It is easy to see the appeal of the IEP: it builds on deep-seated intuitions about intersection/union from set theory and Venn diagrams, it has a long history in the information-theoretic literature, and it simplifies the problem of defining the PID since it only requires a measure of redundancy to be defined—rather than a measure of redundancy and a measure of union information. (Note that one can also start from union information and then derive redundancy via the IEP formula in Equation (13), as in Appendix B of Ref. [17], although this is much less common in the literature.)

However, there is a different way to define a non-negative PID, which is still grounded in a formal analogy with set theory but does not assume the IEP. Here, one defines measures of redundancy and union information based on the underlying algebra of intersection and union: the intersection of $X_1,\dots ,X_n$ is the largest element that is less than each $X_i$, while the union is the smallest element that is greater than each $X_i$. Given these definitions, intersections and unions are not necessarily related to each numerically, as in the IEP, but are instead related by an algebraic duality.

This latter approach is the one we pursue in our definitions (it has also appeared in some prior work, which we review in the next subsection). In general, the IEP will not hold for redundancy and union information as defined in Equations (7) and (8). (To emphasize this point, we put a question mark in Equations (14) and (15), and made the sizes of the pink and grey regions visibly different in Figure 1). However, given the algebraic and axiomatic justifications for $I_{\cap }$ and $I_{\cup }$, we do not see the violation of the IEP as a fatal issue. In fact, there are many domains where generalizations of intersections and unions do not obey the IEP. For example, it is well-known that the IEP is violated in the domain of vector spaces, once the size of a vector space is measured in terms of its dimension [38]. The PID is simply another domain where the IEP should not be expected to hold.

We believe that many problems encountered in previous work on the PID—such as the failure of certain redundancy measures to generalize to more than two sources, or the appearance of uninterpretable negative synergy values—are artifacts of the IEP assumption. In fact, the following result shows that any measures of redundancy and union information which satisfy several reasonable assumptions must violate the IEP as soon as 3 or more sources are present (the proof, in Appendix I, is based on a construction from [39,40]).

Lemma 1. 

Let $I_{\cap }$ be any nonnegative redundancy measure which obeys Symmetry, Self-redundancy, Monotonicity, and Independent identity. Let $I_{\cup }$ be any union information measure which obeys $I_{\cup }(X_1;\dots ;X_n\to Y)\le I(Y;X_1,\dots ,X_n)$. Then, $I_{\cap }$ and $I_{\cup }$ cannot be related by the inclusion-exclusion principle for 3 or more sources.

The idea that different information decompositions may arise from redundancy versus synergy (and therefore union information) has recently appeared in the PID literature [15,40,41,42,43]. In particular, Chicharro and Panzeri proposed a PID that involves two decomposition: an “information gain” decomposition based on redundancy and an “information loss” decomposition based on synergy [41]. These decompositions correspond to the two Venn diagrams shown in Figure 1.

4.4. Relation to Prior Work

Here we discuss prior work which is relevant to our algebraic approach to the PID.

First, note that our definitions of redundancy and union information in Equations (7) and (8) are closely related to notions of “meet” and “join” in a field of algebra called order theory, which generalize intersections and unions to domains beyond set theory [44]. Given a set of objects S and an order ⊏, the meet of $a,b\in S$ is the unique largest $c\in S$ that is smaller than both a and b: $c⊏a,c⊏b$ and $d⊏c$ for any d that obeys $d⊏a,d⊏b$. Similarly, the join of $a,b\in S$ is the unique smallest c that is larger than both a and b: $a⊏c,a⊏c$ and $c⊏d$ for any d that obeys $a⊏d,b⊏d$. Note that meets and joins are only defined when ⊏ is a special type of partial order called a lattice. This is a strict requirement, and many important ordering relations in information theory are not lattices (this includes the “Blackwell order”, which we will consider in part II of this paper [45]).

In our approach, we do not require the ordering relation ⊏ to be a lattice, or even a partial order. We do not require these properties because we do not aim to find the unique union random variable or the unique redundancy random variable. Instead, we aim to quantify the size of the intersection and the size of the union, which we do by optimizing mutual information subject to constraints, as Equations (7) and (8). These definitions are well-defined even when ⊏ is not a lattice, which allows us to consider a much broader set of ordering relations.

We mention three important precursors of our approach that have been proposed in the PID literature. First, Griffith et al. [16] considered the following order between random variables:

$$A⊲B\mathrm{iff}A=f\left(B\right)\mathrm{for}\mathrm{some}\mathrm{deterministic}\mathrm{function}f.$$

(16)

This ordering relation ⊲ was first considered in a 1953 paper by Shannon [22], who showed that it defines a lattice over random variables. That paper was the first to introduce the algebraic idea of meets and joins into information theory, leading to an important line of subsequent research [46,47,48,49,50]. Using this order, Ref. [16] defined redundancy as the maximum mutual information in any random variable that is a deterministic function of all of the sources,

$$I_{\cap }^{⊲}(X_1;\dots ;X_n\to Y):=\underset{Q}{\max }I(Q;Y)\hspace{1em}\mathrm{such}\mathrm{that}\hspace{1em}\forall iQ⊲X_i,$$

(17)

which is clearly a special case of Equation (7). Unfortunately, in practice, $I_{\cap }^{⊲}$ is not a useful redundancy measure, as it tends to give very small values and is highly discontinuous. For example, $I_{\cap }^{⊲}(X_1;\dots ;X_n\to Y)=0$ whenever the joint distribution $P_{X_1\dots X_{n}Y}$ has full support, meaning that it vanishes on almost all joint distributions [16,18,47]. The reason for this counterintuitive behavior is that the order ⊲ formalizes an extremely strict notion of “more informative”, which is not robust to noise.

Given the deficiencies of $I_{\cap }^{⊲}$, Griffith and Ho [18] proposed another measure of redundancy (also discussed as $I_{\cap }^2$ in Ref. [49]),

$$I_{\cap }^{\mathrm{GH}}(X_1;\dots ;X_n\to Y):=\underset{Q}{\max }I(Q;Y)\hspace{1em}\mathrm{such}\mathrm{that}\hspace{1em}\forall iQ-X_i-Y.$$

(18)

This measure is also a special case of Equation (7), where the more informative relation $A⊏B$ is formalized via the conditional independence condition $A-B-Y$. This measure is similar to the redundancy measure we propose in part II of this paper, and we discuss it in more detail in Section 5.4. (Note that there are some incorrect claims about $I_{\cap }^{\mathrm{GH}}$ in the literature: Lemmas 6 and 7 of Ref. [49] incorrectly state that $I_{\cap }^{\mathrm{GH}}(X_1;X_2\to Y)=0$ whenever $X_1$ and $X_2$ are independent—see the AND gate counterexample in Section 6—while Ref. [18] incorrectly states that $I_{\cap }^{\mathrm{GH}}$ obeys a property called Target Monotonicity).

Finally, we mention the so-called “minimum mutual information” redundancy $I_{\cap }^{\mathrm{MMI}}$ [51]. This is perhaps the simplest redundancy measure, being equal to the minimal mutual information in any source: $I_{\cap }^{\mathrm{MMI}}(X_1;\dots ;X_n\to Y):={\min }_{i}I(X_i;Y)$. It can be written in the form of Equation (7) as

$$I_{\cap }^{\mathrm{MMI}}(X_1;\dots ;X_n\to Y):=\underset{Q}{\max }I(Q;Y)\hspace{1em}\mathrm{such}\mathrm{that}\hspace{1em}\forall iI(Q;Y)\le I(X_i;Y).$$

(19)

This redundancy measure has been criticized for depending only on the amount of information provided by the different sources, being completely insensitive to the content of that information. Nonetheless, $I_{\cap }^{\mathrm{MMI}}$ can be useful in some settings, and it plays an important role in the context of Gaussian random variables [51].

Interestingly, unlike $I_{\cap }^{\mathrm{MMI}}$, the original redundancy measure proposed by Williams and Beer [11], $I_{\cap }^{\mathrm{WB}}$, does not appear to be a special case of Equation (7) (at least not under the natural definition of the ordering relation ⊏). We demonstrate this using a counter-example in Appendix H.

As mentioned in Section 4.1, stronger ordering relations give smaller values of redundancy. For the orders considered above, it is easy to show that

$$A⊲B\Rightarrow A-B-Y\Rightarrow I(A;Y)\le I(B;Y).$$

(20)

This implies that $I_{\cap }^{⊲}\le I_{\cap }^{\mathrm{GH}}\le I_{\cap }^{\mathrm{MMI}}$. In fact, $I_{\cap }^{\mathrm{MMI}}$ is the largest measure that is compatible with the monotonicity of mutual information (Assumption I in Section 4.1).

4.5. Further Generalizations

We finish part I of this paper by noting that one can further generalize our approach, by considering other analogues of “set”, “set size”, and “set inclusion” beyond the ones considered in Section 4.1. Such generalizations allow one to analyze notions of information intersection and union in a wide variety of domains, including setups different from the standard one considered in the PID, and domains not based on Shannon information theory.

At a general level, consider a set of object $\mathsf{\Omega }$ that represents possible “sources”, which may be random variables, as in Section 4.1, or otherwise. Assume there is some function $\varphi :\mathsf{\Omega }\to \mathbb{R}$ that quantifies the “amount of information” in a given source $\mathsf{\Omega }$, and some relation ⊏ on $\mathsf{\Omega }$ that indicates which sources are more informative than others. Then, in analogy to Equations (5) and (6), for any set of sources $\{b_1,\dots ,b_n\}\subseteq \mathsf{\Omega }$, one can define redundancy and union information as

$$\begin{array}{cc}\hfill I_{\cap }(b_1;\dots ;b_n)& :=\underset{a\in \mathsf{\Omega }}{\sup }\varphi \left(a\right)\hspace{1em}\mathrm{such}\mathrm{that}\hspace{1em}\forall ia⊏b_i\hfill \end{array}$$

(21)

$$\begin{array}{cc}\hfill I_{\cup }(b_1;\dots ;b_n)& :=\underset{a\in \mathsf{\Omega }}{\inf }\varphi \left(a\right)\hspace{1em}\mathrm{such}\mathrm{that}\hspace{1em}\forall i{b}_i⊏a.\hfill \end{array}$$

(22)

Synergy, unique, and excluded information can then be defined via Equations (1) to (3).

There are many possible examples of such generalizations, of which we mention a few as illustrations.

• Shannon information theory (beyond mutual information). In Section 4.1, $\varphi$ was the mutual information between each random variable and some target Y. This can be generalized by choosing a different “amount of information” function $\varphi$, so that redundancy and union information are quantified in terms of other measures of statistical dependence. Among many other options, possible choices of $\varphi$ include Pearson’s correlation (for continuous random variables) and measures of statistical dependency based f-divergences [52], Bregman divergences [53], and Fisher information [54].
• Shannon information theory (without a fixed target). The PID can also be defined for a different setup than the typical one considered in the literature. For example, consider a situation where the sources are channels ${\kappa }_{X_1|Y},\dots ,{\kappa }_{X_n|Y}$, while the marginal distribution over the target Y is left unspecified. Here one may take $\mathsf{\Omega }$ as the set of channels, $\varphi$ as the channel capacity $\varphi \left({\kappa }_{A|Y}\right):={\max }_{P_Y}{I}_{P_Y{\kappa }_{A|Y}}(A;Y)$, and ⊏ as some ordering relation on channels [24]
• Algorithmic information theory. The PID can be defined for other notions of information, such as the ones used in Algorithmic Information Theory (AIT) [55]. In AIT, “information” is not defined in terms of statistical uncertainty, but rather in terms of the program length necessary to generate strings. For example, one may take $\mathsf{\Omega }$ as the set of finite strings, ⊏ as algorithmic conditional independence ($a⊏b\mathrm{iff}K\left(y\right|b)-K(y|b,a)\le \mathrm{const}$, where $K(·|·)$ is conditional Kolmogorov complexity), and $\varphi \left(a\right):=K\left(y\right)-K\left(y\right|a)$ as the “algorithmic mutual information” with some target string y. (This setup is closely related to the notion of algorithmic “common information” [47]).
•   Quantum information theory. As a final example, the PID can be defined in the context of quantum information theory. For example, one may take $\mathsf{\Omega }$ as the set of quantum channels, ⊏ as quantum Blackwell order [56,57,58], and $\varphi \left(\mathsf{\Phi }\right)=\mathcal{I}(\rho ,\mathsf{\Phi })$, where $\mathcal{I}$ is the Ohya mutual information for some target density matrix $\rho$ under channel $\mathsf{\Phi }\in \mathsf{\Omega }$ [59].

5. Part II: Blackwell Redundancy and Union Information

In the first part of this paper, we proposed a general framework for defining PID terms. In this section, which forms part II of this paper, we develop a concrete definition of redundancy and union information by combining our general framework with a particular ordering relation ⊏. This ordering relation is called the “Blackwell order”, and it plays a fundamental role in statistics and decision theory [28,45,60]. We first introduce the Blackwell order, then use it to define measures of redundancy and union information, and finally discuss various properties of our measures.

5.1. The Blackwell Order

We begin by introducing the ordering relation that we use to define our PID. Given three random variables $B,C$ and Y, the ordering relation $B{\prec }_{Y}C$ is defined as follows:

$$\begin{array}{cc}\hfill B{\prec }_{Y}C\hspace{1em}\mathrm{iff}\hspace{1em}{P}_{B|Y}\left(b\right|y)& =\sum _c{\kappa }_{B|C}\left(b\right|c)P_{C|Y}\left(c\right|y)\hspace{1em}\mathrm{for}\mathrm{some}\mathrm{channel}{\kappa }_{B|C}\mathrm{and}\mathrm{all}b,y.\hfill \end{array}$$

(23)

We refer to the relation ${\prec }_Y$ as the Blackwell order relative to random variable Y. (Note that the Blackwell order and Blackwell’s Theorem are usually formulated in terms of channels—that is, conditional distributions like ${\kappa }_{B|Y}$ and ${\kappa }_{C|Y}$—rather than of random variables as done here. However, these two formulations are equivalent, as shown in [45]).

In words, Equation (23) means the conditional distribution by $P_{B|Y}$ can be generated by first sampling from the conditional distribution $P_{C|Y}$, and then applying some channel ${\kappa }_{B|C}$ to the outcome. The relation $B{\prec }_{Y}C$ implies that $P_{B|Y}$ is more noisy than $P_{C|Y}$ and, by the “data processing inequality” [61], B must have less mutual information about Y than C:

$$\begin{array}{cc}\hfill B& {\prec }_{Y}C\Rightarrow I(B;Y)\le I(C;Y).\hfill \end{array}$$

(24)

Intuition suggests that when $B{\prec }_{Y}C$, the information that B provides about Y is contained in the information that C provides about Y. This intuition is formalized within a decision-theoretic framework using the so-called Blackwell’s Theorem [28,45,60]. To introduce this theorem, imagine a scenario in which Y represents the state of the environment. Imagine also that there is an agent who acquires information about the environment via the conditional distribution $P_{B|Y}\left(b\right|y)$, and then uses outcome $B=b$ to select actions $a\in \mathcal{A}$ according to some “decision rule” given by the channel ${\kappa }_{A|B}$. Finally, the agent gains utility according to some utility function $u(a,y)$, which depends on the agent’s action a and the environment’s state y. The maximum expected utility achievable by any decision rule is given by

$$V_Y^{\max }(B,u):=\underset{{\kappa }_{A|B}}{\max }\sum _{y,b,a}{P}_Y\left(y\right)P_{B|Y}\left(b\right|y){\kappa }_{A|B}\left(a\right|b)u(a,y).$$

(25)

From an operational perspective, it is natural to say that B is less informative than C about Y if there is no utility function such that an agent with access to B can achieve higher expected utility than an agent with access to C. Blackwell’s Theorem states that this is precisely the case if and only if $B{\prec }_{Y}C$ [28,45]:

$$B{\prec }_{Y}C\hspace{1em}\mathrm{iff}\hspace{1em}{V}_Y^{\max }(B,u)\le V_Y^{\max }(C,u)\hspace{1em}\mathrm{for}\mathrm{all}u.$$

(26)

In some sense, this operational description of the relation ${\prec }_Y$ is deeper than the data processing inequality, Equation (24), which says that $B{\prec }_{Y}C$ is sufficient (but not necessary) for $I(B;Y)\le I(C;Y)$. In fact, it can happen that $I(B;Y)\le I(C;Y)$ even though $B{\nprec }_{Y}C$ [26,60,62].

A connection between PID and Blackwell’s theorem was first proposed in [13], which argued that the PID should be defined in an operational manner (see Section 5.3 for further discussion of [13]).

5.2. Blackwell Redundancy

We now define a measure of redundancy based on the Blackwell order. Specifically, we use our general definition of redundancy, Equation (7), while using the Blackwell order relative to Y as the “more informative” relation ⊏:

$$I_{\cap }^{\prec }(X_1;\dots ;X_n\to Y):=\underset{Q}{\sup }I(Q;Y)\hspace{1em}\mathrm{such}\mathrm{that}\hspace{1em}\forall iQ{\prec }_Y{X}_i.$$

(27)

We refer to this measure as Blackwell redundancy.

Given Blackwell’s Theorem, $I_{\cap }^{\prec }$ has a simple operational interpretation. Imagine two agents, Alice and Bob, who can acquire information about Y via different random variables, and then use this information to maximize their expected utility. Suppose that Alice has access to one of the sources $X_i$. Then, the Blackwell redundancy $I_{\cap }^{\prec }$ is the maximum information that Bob can have about Y without being able to do better than Alice on any utility function, regardless of which source Alice has access to.

Blackwell redundancy can also be used to define a measure of Blackwell unique information, $U^{\prec }(X_i\to Y|X_1;\dots ;X_n):=I(Y;X_i)-I_{\cap }^{\prec }(X_1;\dots ;X_n\to Y)$, via Equation (2). As we show in Appendix I, $U^{\prec }$ satisfies the following property, which we term the Multivariate Blackwell property.

Theorem 3. 

$U^{\prec }(X_i\to Y|X_1;\dots ;X_n)=0$ if and only if $X_i{\prec }_Y{X}_j$ for all $j\ne i$.

Operationally, Theorem 3 means that source $X_i$ has non-zero unique information iff there exists a utility function such that an agent with access to source $X_i$ can achieve higher utility than an agent with access to any other source $X_j$.

Computing $I_{\cap }^{\prec }$ involves maximizing a convex function subject to a set of linear constraints. These constraints define a feasible set which is a convex polytope, and the maximum must lie on one of the vertices of this polytope [63]. In Appendix C, we show how to solve this optimization problem. In particular, we use a computational geometry package to enumerate the vertices of the feasible set, and then choose the best vertex (code is available at [64]). In that appendix, we also prove that an optimal solution to Equation (27) can always be achieved by Q with cardinality $\left|\mathcal{Q}\right|=\left({\sum }_i\left|{\mathcal{X}}_i\right|\right)-n+1$. Note that the supremum in Equation (27) is always achieved. Note also that $I_{\cap }^{\prec }$ satisfies the redundancy axioms in Section 4.2.

As discussed above, solving the optimization problem in Equation (27) gives a (possibly non-unique) optimal random variable Q which specifies the content of the redundant information. As shown in Appendix C, solving Equation (27) also provides a set of channels ${\kappa }_{Q|X_i}$ for each source $X_i$, which identify the redundant information in each source.

Note that the Blackwell order satisfies assumptions I-III in Section 4.1, thus Blackwell redundancy satisfies the bounds derived in that section. Finally, note that like many other redundancy measures, Blackwell redundancy becomes equivalent to the measure $I_{\cap }^{\mathrm{MMI}}$ (as defined in Equation (19)) when applied to Gaussian random variables (for details, see Appendix E).

5.3. Blackwell Union Information

We now define a measure of union information using our general definition in Equation (8), while using the Blackwell order relative to Y as the “more informative” relation:

$$I_{\cup }^{\prec }(X_1;\dots ;X_n\to Y):=\underset{Q}{\inf }I(Q;Y)\hspace{1em}\mathrm{such}\mathrm{that}\hspace{1em}\forall i{X}_i{\prec }_{Y}Q.$$

(28)

We refer to this measure as Blackwell union information.

As for Blackwell redundancy, Blackwell union information can be understood in operational terms. Consider two agents, Alice and Bob, whose use information about Y to maximize their expected utility. Suppose that Alice has access to one of the sources $X_i$. Then, the Blackwell union information $I_{\cup }^{\prec }$ is the minimum information that Bob must have about Y in order to do better than Alice on any utility function, regardless of which source Alice has access to.

Blackwell union information can be used to define measures of synergy and excluded information via Equations (1) and (3). The resulting measure of excluded information $E^{\prec }(X_i\to Y|X_1;\dots ;X_n):=I_{\cup }^{\prec }(X_1;\dots ;X_n\to Y)-I(Y;X_i)$ satisfies the following property, which is the “dual” of the Multivariate Blackwell property considered in Theorem 3. (See Appendix I for the proof).

Theorem 4. 

$E^{\prec }(X_i\to Y|X_1;\dots ;X_n)=0$ if and only if $X_j{\prec }_Y{X}_i$ for all $j\ne i$.

Operationally, Theorem 4 means that there is excluded information for source $X_i$ iff there exists a utility function such that an agent with access to one of the other sources $X_j$ can achieve higher expected utility than an agent with access to $X_i$.

We discuss the problem of numerically solving the optimization problem in Equation (28) in the next subsection.

5.4. Relation to Prior Work

Our measure of Blackwell redundancy $I_{\cap }^{\prec }$ is new to the PID literature. The most similar existing redundancy measure is $I_{\cap }^{\mathrm{GH}}$ [18], which is discussed above in Section 4.4. $I_{\cap }^{\mathrm{GH}}$ is a special case of Equation (7), once the “more informative” relation $B⊏C$ is defined in terms of conditional independence $B-C-Y$. Note that conditional independence is stronger than the Blackwell order: given the definition of ${\prec }_Y$ in Equation (23), it is clear that $B-C-Y$ implies $B{\prec }_{Y}C$ (the channel ${\kappa }_{B|C}$ can be taken to be $P_{B|C}$), but not vice versa. As discussed in Section 4.1, stronger ordering relations give smaller values of redundancy, so in general $I_{\cap }^{\mathrm{GH}}\le I_{\cap }^{\prec }$. Note also that $B{\prec }_{Y}C$ depends only on the pairwise marginals $P_{BY}$ and $P_{CY}$, while conditional independence $B-C-Y$ depends on the joint distribution $P_{BCY}$. As we discuss in Appendix F, the conditional independence order can be interpreted in decision-theoretic terms, which suggests an operational interpretation for $I_{\cap }^{\mathrm{GH}}$.

Interestingly, Blackwell union information $I_{\cup }^{\prec }$ is equivalent to two measures that have been previously proposed in the PID literature, although they were formulated in a different way. Bertschinger et al. [13] considered the following measure of bivariate redundancy:

$$I_{\cap }^{\mathrm{BROJA}}(X_1;X_2\to Y):=I(Y;X_1)+I(Y;X_2)-I_{\cup }^{\mathrm{BROJA}}(X_1;X_2\to Y),$$

(29)

where $I_{\cup }^{\mathrm{BROJA}}$ is defined via the optimization problem

$$I_{\cup }^{\mathrm{BROJA}}(X_1;X_2\to Y)=\underset{{\tilde{X}}_1,{\tilde{X}}_2}{\min }I(Y;{\tilde{X}}_1,{\tilde{X}}_2)\hspace{1em}\mathrm{such}\mathrm{that}\hspace{1em}{P}_{{\tilde{X}}_{1}Y}=P_{X_{1}Y},P_{{\tilde{X}}_{2}Y}=P_{X_{2}Y},$$

(30)

and reflects the minimal mutual information that two random variables can have about Y, given that their pairwise marginals with Y are fixed to be $P_{X_{1}Y}$ and $P_{X_{2}Y}$. Note that Ref. [13] did not refer to $I_{\cup }^{\mathrm{BROJA}}$ as a measure of union information (we use our notation in writing it as $I_{\cup }^{\mathrm{BROJA}}$). Instead, these measures were derived from an operational motivation, with the goal of deriving a unique information measure that obeys the so-called Blackwell property: $I(Y;X_1)-I_{\cap }^{\mathrm{BROJA}}(X_1;X_2\to Y)=0$ if $X_1{\prec }_Y{X}_2$ (see Theorems 3 and 4 above).

Starting from a different motivation, Griffith and Koch [17] proposed a multivariate version of $I_{\cup }^{\mathrm{BROJA}}$,

$$I_{\cup }^{\mathrm{BROJA}}(X_1;\dots ;X_n\to Y)=\underset{{\tilde{X}}_i,\dots ,{\tilde{X}}_n}{\min }I(Y;{\tilde{X}}_1,\dots ,{\tilde{X}}_n)\hspace{1em}\mathrm{such}\mathrm{that}\hspace{1em}\forall i{P}_{{\tilde{X}}_{i}Y}=P_{X_{i}Y}.$$

(31)

The goal of Ref. [17] was to derive a measure of multivariate synergy from a measure of union information, as in Equation (1). In that paper, $I_{\cup }^{\mathrm{BROJA}}$ was explicitly defined as a measure of union information. To our knowledge, Ref. [17] was the first (and perhaps only) paper to propose a measure of union information that was not derived from redundancy via the inclusion-exclusion principle.

While $I_{\cup }^{\mathrm{BROJA}}(X_1;\dots ;X_n\to Y)$ and $I_{\cup }^{\prec }(X_1;\dots ;X_n\to Y)$ are stated as different optimization problems, we prove in Appendix G that these optimization problems are equivalent, in that they will always achieve the same optimum value. Interestingly, since $I_{\cup }^{\mathrm{BROJA}}$ and $I_{\cup }^{\prec }$ are equivalent, our measure of Blackwell redundancy $I_{\cap }^{\prec }$ appears as the natural dual to $I_{\cup }^{\mathrm{BROJA}}$. Another implication of this equivalence is that Blackwell union information $I_{\cup }^{\prec }$ can be quantified by solving the optimization problem in Equation (31), rather than Equation (28). This is advantageous, because Equation (31) involves the minimization of a convex function over a convex polytope, which can be solved using standard convex optimization techniques [65].

In Ref. [13], the redundancy measure $I_{\cap }^{\mathrm{BROJA}}$ in Equation (29) was only defined for the bivariate case. Since then, it has been unclear how to extend this redundancy measure to more than two sources. However, by comparing Equations (14) and (29), we see the root of the problem: $I_{\cap }^{\mathrm{BROJA}}$ is derived by applying the inclusion-exclusion principle to a measure of union information, $I_{\cup }^{\mathrm{BROJA}}$. It cannot be extended to more than two sources because the inclusion-exclusion principle generally leads to counterintuitive results for more than 2 sources, as shown in Lemma 1. Note also that what Ref. [13] called the unique information in $X_1$, $I_{\cup }^{\mathrm{BROJA}}(X_1;X_2\to Y)-I(Y;X_2)$, in our framework would be considered a measure of the excluded information for $X_2$.

At the same time, the union information measure $I_{\cup }^{\mathrm{BROJA}}$, and the corresponding synergy from Equation (1), does not use the inclusion-exclusion principle. Therefore, it can be easily extended to any number of sources [17].

5.5. Continuity of Blackwell Redundancy and Union Information

It is often desired that information-theoretic measures are continuous, meaning that small changes in underlying probability distributions lead to small changes in the resulting measures. In this section, we consider the continuity of our proposed measures, $I_{\cap }^{\prec }$ and $I_{\cup }^{\prec }$.

We first consider Blackwell redundancy $I_{\cap }^{\prec }$. It turns out that this measure is not always continuous in the joint probability $P_{X_1\dots X_{n}Y}$ (a discontinuous example is provided in Section 5.6). However, the discontinuity of $I_{\cap }^{\prec }$ is not necessarily pathological, and we can derive an interpretable geometric condition that guarantees that $I_{\cap }^{\prec }$ is continuous.

Consider the conditional distribution of the target Y given some source $X_i$, $P_{Y|X_i}$. Let $\mathrm{rank}{P}_{Y|X_i}$ indicate its rank, meaning the dimension of the space spanned by the vectors ${\left\{P_{Y|X_i=x_i}\right\}}_{x_i\in {\mathcal{X}}_i}$. The rank of $P_{Y|X_i}$ quantifies the number of independent directions that the target distribution $P_Y$ can be moved by manipulating the source distribution $P_{X_i}$, and it cannot be larger than $\left|\mathcal{Y}\right|$. The next theorem shows that $I_{\cap }^{\prec }$ is locally continuous, as long as $n-1$ or more of the source conditional distributions have this maximal rank.

Theorem 5. 

As a function of the joint distribution $P_{X_1,\dots ,X_n,Y}$, $I_{\cap }^{\prec }$ is locally continuous whenever $n-1$ or more of the conditional distributions $P_{Y|X_i}$ have $\mathrm{rank}{P}_{Y|X_i}=\left|\mathcal{Y}\right|$.

In proving this result, we also show that $I_{\cap }^{\prec }$ is continuous almost everywhere (see proof in Appendix D). Finally, in that appendix we also use Theorem 5 to show that $I_{\cap }^{\prec }$ is continuous everywhere if Y is a binary random variable.

We illustrate the meaning of Theorem 5 visually in Figure 2. We show two situations, both of which involve two sources $X_1$ and $X_2$ and a target Y with cardinality $\left|\mathcal{Y}\right|=3$. In one situation, both pairwise conditional distributions have rank equal to $\left|\mathcal{Y}\right|$, so $I_{\cap }^{\prec }$ is locally continuous. In the other situation, both pairwise conditional distributions are rank deficient (e.g., this might happen because $X_1$ and $X_2$ have cardinality $|{\mathcal{X}}_1|=|{\mathcal{X}}_2|=2$), so $I_{\cap }^{\prec }$ is not guaranteed to be continuous. From the figure it is easy to see how the discontinuity may arise. Given the definition of the Blackwell order and $I_{\cap }^{\prec }$, for any random variable Q in the feasible set of Equation (27), the conditional distributions $P_{Y|Q=q}$ must fall within the intersection of the distributions spanned by $P_{Y|X_1}$ and $P_{Y|X_2}$ (the intersection of the red and green shaded regions in Figure 2). On the right, the size of this intersection can discontinuously jump from a line (when $P_{Y|X_1}$ and $P_{Y|X_2}$ are perfectly aligned) to a point (when $P_{Y|X_1}$ and $P_{Y|X_2}$ are not perfectly aligned). Thus, the discontinuity of $I_{\cap }^{\prec }$ arises from a geometric phenomenon, which is related to the discontinuity of the intersection of low-dimensional vector subspaces.

We briefly comment on the continuity of $I_{\cup }^{\prec }$. As we described above, this measure turns out to be equivalent to $I_{\cup }^{\mathrm{BROJA}}$. The continuity of $I_{\cup }^{\mathrm{BROJA}}$ in the bivariate case was proven in Theorem 35 of Ref. [66]. We believe that the continuity of $I_{\cup }^{\mathrm{BROJA}}$ for an arbitrary number of sources can be shown using similar methods, although we leave this for future work.

5.6. Behavior on the COPY Gate

As mentioned in Section 3, the “COPY gate” example is often used to test the behavior of different redundancy measures. The COPY gate has two sources, $X_1$ and $X_2$, and a target $Y=(X_1,X_2)$ which is a copy of the joint outcome. It is expected that redundancy should vanish if $X_1$ and $X_2$ are statistically independent, as formalized by the Independent identity property in Equation (4).

Blackwell redundancy $I_{\cap }^{\prec }$ satisfies the Independent identity. In fact, we prove a more general result, which shows that $I_{\cap }^{\prec }(X_1,X_2\to (X_1,X_2))$ is equal to an information-theoretic measure called Gács-Körner common information $C(X\wedge Y)$ [16,47,67]. $C(X\wedge Y)$ quantifies the amount of information that can be deterministically extracted from both random variables X or Y, and it is closely related to the “deterministic function” order ⊲ defined in Equation (16). Formally, it can be written as

$$C(X\wedge Y)=\underset{Q}{\sup }H\left(Q\right)\hspace{1em}\mathrm{such}\mathrm{that}\hspace{1em}Q⊲X,Q⊲Y,$$

(32)

where H is Shannon entropy. In Appendix I, we prove the following result.

Theorem 6. 

$I_{\cap }^{\prec }(X_1,X_2\to (X_1,X_2))=C(X_1\wedge X_2)$.

Note that $0\le C(X_1\wedge X_2)\le I(X_1;X_2)$ [47], so $I_{\cap }^{\prec }$ satisfies the Independent identity property. At the same time, $C(X_1\wedge X_2)$ can be strictly less than $I(X_1;X_2)$. For example, if $P_{X_1{X}_2}$ has full support, then $I(X_1;X_2)$ can be arbitrarily large while $C(X_1\wedge X_2)=0$ (see proof of Theorem 6). This means that $I_{\cap }^{\prec }$ violates a previously proposed property, sometimes called the Identity property, that suggests that redundancy should satisfy $I_{\cap }(X_1;X_2\to (X_1,X_2))=I(X_1;X_2)$. However, the validity of the Identity property is not clear, and several papers have argued against it [15,39].

The value of $C(X_1\wedge X_2)$ depends on the precise pattern of zeros in the joint distribution $P_{X_1{X}_2}$ and is therefore not continuous. For instance, for the bivariate COPY gate, redundancy can change discontinuously as one goes from the situation where $X_1=X_2$ (so that all information is redundant, $I_{\cap }^{\prec }=I(X_1;X_2)$) to one where $X_1$ and $X_2$ are almost, but not entirely, identical. This discontinuity can be understood in terms of Theorem 5 and Figure 2: in the COPY gate, the cardinality of the target variable $\left|\mathcal{Y}\right|=|{\mathcal{X}}_1|\times |{\mathcal{X}}_2|$ is larger than the cardinality of the individual sources. In other words, when the sources $X_1$ and $X_2$ are not perfectly correlated, they provide information about different “subspaces” of the target $(X_1,X_2)$, and so it is possible that very little (or none) of their information is redundant.

At the same time, the Blackwell property, Theorem 3, implies that

$$I_{\cap }^{\prec }(X_1,X_2\to X_1)=I(X_1;X_2)=I_{\cap }^{\prec }(X_1,X_2\to X_2)$$

(33)

In other words, the redundancy in $X_1$ and $X_2$, where either one of the individual sources is taken as the target, is given by the mutual information $I(X_1;X_2)$. This holds even though the redundancy in the COPY gate can be much lower than $I(X_1;X_2)$.

It is also interesting to consider how Blackwell union information, $I_{\cup }^{\prec }$, behaves on the COPY gate. Using techniques from [13], it can be shown that the union information is simply the joint entropy,

$$\begin{array}{cc}\hfill I_{\cup }^{\prec }(X_1;X_2\to (X_1,X_2))& =H(X_1,X_2).\hfill \end{array}$$

(34)

Since $H(X_1,X_2)=I(X_1,X_2;X_1,X_2)$, Equations (1) and (34) together imply that the COPY gate has no synergy.

Note that we can use Theorem 6 and Equation (34) to illustrate that $I_{\cap }^{\prec }$ and $I_{\cup }^{\prec }$ violate the inclusion-exclusion principle, Equation (14). Using Equation (34) and a bit of rearranging, Equation (14) becomes equivalent to $I_{\cap }^{\prec }(X_1;X_2\to (X_1,X_2))\stackrel{?}{=}I(X_1;X_2)$, which is the Identity property mentioned above. $I_{\cap }^{\prec }$ violates this property, since redundancy for the COPY gate can be smaller than $I(X_1;X_2)$.

6. Examples and Comparisons to Previous Measures

In this section, we compare our proposed measure of Blackwell redundancy $I_{\cap }^{\prec }$ to existing redundancy measures. We focus on redundancy, rather than union information, because redundancy has seen much more development in the literature, and because Blackwell union information $I_{\cup }^{\prec }$ is equivalent to an existing measure (see Section 5.4).

6.1. Qualitative Comparison

In

Table 1. Comparison of different redundancy measures. ? indicate properties that we could not easily establish.

	${\mathit{I}}_{\cap }^{\prec }$	${\mathit{I}}_{\cap }^{\mathbf{WB}}$	${\mathit{I}}_{\cap }^{\mathbf{MMI}}$	${\mathit{I}}_{\cap }^{⊲}$	${\mathit{I}}_{\cap }^{\mathbf{GH}}$	${\mathit{I}}_{\cap }^{\mathbf{Ince}}$	${\mathit{I}}_{\cap }^{\mathbf{FL}}$	${\mathit{I}}_{\cap }^{\mathbf{BROJA}}$	${\mathit{I}}_{\cap }^{\mathbf{Harder}}$	${\mathit{I}}_{\cap }^{\mathbf{dep}}$
More than 2 sources	✓	✓	✓	✓	✓	✓	✓
Monotonicity	✓	✓	✓	✓	✓			✓	✓	✓
IEP for bivariate case		✓	✓			?	?	✓	✓	✓
Independent identity	✓			✓	✓	✓		✓	✓	✓
Blackwell property	✓							✓	✓
Pairwise marginals	✓	✓	✓	✓				✓	✓
Target equality	✓	✓	✓		✓			✓	✓

, we compare $I_{\cap }^{\prec }$ to six existing measures of multivariate redundancy:

• $I_{\cap }^{\mathrm{WB}}$, the redundancy measure first proposed by Williams and Beer [11].
• $I_{\cap }^{\mathrm{MMI}}$, the “minimum mutual information” [51], Equation (19) in Section 4.4.
• $I_{\cap }^{⊲}$, proposed by Griffith et al. [16], Equation (17) in Section 4.4.
• $I_{\cap }^{\mathrm{GH}}$, proposed by Griffith and Ho [18], Equation (18) in Section 4.4.
• $I_{\cap }^{\mathrm{Ince}}$, proposed by Ince [20].
• $I_{\cap }^{\mathrm{FL}}$, proposed by Finn and Lizier [21].

We also compare $I_{\cap }^{\prec }$ to three existing measures of bivariate redundancy (i.e., for 2 sources):

• $I_{\cap }^{\mathrm{BROJA}}$, proposed by Bertschinger et al. [13], defined in Equation (29).
• $I_{\cap }^{\mathrm{Harder}}$, proposed by Harder et al. [19].
• $I_{\cap }^{\mathrm{dep}}$, proposed by James et al. [15].

For $I_{\cap }^{\prec }$ as well as the 9 existing measures, we consider the following properties, which are chosen to highlight differences between our approach and previous proposals:

• Has it been defined for more than 2 sources
• Does it obey the Monotonicity axiom from Section 4.2
• Is it compatible with the inclusion-exclusion principle (IEP) for the bivariate case, such that union information as defined in Equation (14) obeys $I_{\cup }(X_1;X_2\to Y)\le I(X_1,X_2;Y)$
• Does it obey the Independent identity property, Equation (4)
• Does it obey the Blackwell property (possibly in its multivariate form, Theorem 3)

We also consider two additional properties, which require a bit of introduction.

The first property was suggested by Ref. [13], who argued that redundancy should only depend on the pairwise marginal distributions of each source with the target,

$$\mathrm{If}{p}_{X_{i}Y}=p_{{\tilde{X}}_i\tilde{Y}}\mathrm{for}\mathrm{all}i,\mathrm{then}{I}_{\cap }(X_1;\dots ;X_n\to Y)=I_{\cap }({\tilde{X}}_1;\dots ;{\tilde{X}}_n\to \tilde{Y}).$$

(35)

In Table 1, we term this property Pairwise marginals. We believe that the validity of Equation (35) is not universal, but may depend on the particular setting in which the PID is being used. However, redundancy redundancy measures that satisfy this property have one important advantage: they are well-defined not only when the sources are random variables $X_1,\dots ,X_n$, but also in the more general case when the sources are channels ${\kappa }_{X_1|Y},\dots ,{\kappa }_{X_n|Y}$.

The second property has not been previously considered in the literature, although it appears to be highly intuitive. Observe that the target random variable Y contains all possible information about itself. Thus, it may be expected that adding the target to the set of sources should not decrease the redundancy:

$$I_{\cap }(X_1;\dots ;X_n;Y\to Y)=I_{\cap }(X_1;\dots ;X_n\to Y).$$

(36)

In Table 1, we term this property Target equality. Note that for redundancy measures which can be put in the form of Equation (7), Target Equality is satisfied if the order ⊏ obeys $X_i⊏Y$ for all sources $X_i$. (Note also that Target Equality is unrelated to the previously proposed Strong Symmetry property; for instance, it is easy to show that the redundancy measures $I_{\cap }^{\mathrm{WB}}$ and $I_{\cap }^{\mathrm{MMI}}$ satisfy Target Equality, even though they violate Strong Symmetry [68]).

6.2. Quantitative Comparison

We now illustrate our proposed measure of redundancy $I_{\cap }^{\prec }$ on some simple examples, and compare its behavior to existing redundancy measures.

The values of $I_{\cap }^{\prec }$ were computed with our code, provided at [64]. The values of all other redundancy measures except $I_{\cap }^{\mathrm{GH}}$ were computed using the dit Python package [69]. To our knowledge, there have been no previous proposals for how to compute $I_{\cap }^{\mathrm{GH}}$. In fact, this measure involves maximizing a convex function subject to linear constraints, and can be computed using similar methods as $I_{\cap }^{\prec }$. We provide code for computing $I_{\cap }^{\mathrm{GH}}$ at [64].

We begin by considering some simple bivariate examples. In all cases, the sources $X_1$ and $X_2$ are binary and uniformly distributed. The results are shown in

Table 2. Behavior of $I_{\cap }^{\prec }$ and other redundancy measures on bivariate examples.

Target	${\mathit{I}}_{\cap }^{\prec }$	${\mathit{I}}_{\cap }^{\mathbf{WB}}$	${\mathit{I}}_{\cap }^{\mathbf{MMI}}$	${\mathit{I}}_{\cap }^{\wedge }$	${\mathit{I}}_{\cap }^{\mathbf{GH}}$	${\mathit{I}}_{\cap }^{\mathbf{Ince}}$	${\mathit{I}}_{\cap }^{\mathbf{FL}}$	$\begin{array}{c}{\mathit{I}}_{\cap }^{\mathbf{BROJA}}\\ {\mathit{I}}_{\cap }^{\mathbf{Harder}}\end{array}$	${\mathit{I}}_{\cap }^{\mathbf{dep}}$
$Y=X_1\mathrm{AND}{X}_2$	0.311	0.311	0.311	0	0.123	0.104	0.561	0.311	0.082
$Y=X_1+X_2$	0.5	0.5	0.5	0	0	0	0.5	0.5	0.189
$Y=X_1$	$I(X_1;X_2)$	$I(X_1;X_2)$	$I(X_1;X_2)$	$C(X_1\wedge X_2)$	$I(X_1;X_2)$	*	1	$I(X_1;X_2)$	$I(X_1;X_2)$
$Y=(X_1,X_2)$	$C(X_1\wedge X_2)$	1	1	$C(X_1\wedge X_2)$	$C(X_1\wedge X_2)$	*	1	$I(X_1;X_2)$	$I(X_1;X_2)$

.

• The AND gate, $Y=X_1\mathrm{AND}{X}_2$, with $X_1$ and $X_2$ independent. (It is incorrectly stated in Refs. [18,49] that $I_{\cap }^{\mathrm{GH}}$ vanishes here; actually $I_{\cap }^{\mathrm{GH}}(X_1;X_2\to X_1\mathrm{AND}{X}_2)\approx 0.123$, which corresponds to the maximum achieved in Equation (18) by $Q=X_1\mathrm{OR}{X}_2$.)
• The SUM gate: $Y=X_1+X_2$, with $X_1$ and $X_2$ independent.
• The UNQ gate: $Y=X_1$. Here $I_{\cap }^{\mathrm{Ince}}$ (marked with ∗) gave values that increased with the amount of correlation between $X_1$ and $X_2$ but were typically larger than $I(X_1;X_2)$.
• The COPY gate: $Y=(X_1,X_2)$. Here, our redundancy measure is equal to the Gács-Körner common information between X and Y, as discussed in Section 5.6. The same holds for the redundancy measures $I_{\cap }^{\mathrm{GH}}$ and $I_{\cap }^{⊲}$, which can be shown using a slight modification of the proof of Theorem 6. For this gate, $I_{\cap }^{\mathrm{Ince}}$ (marked with ∗) gave the same values as for the UNQ gate, which increased with the amount of correlation between $X_1$ and $X_2$ but were typically larger than $I(X_1;X_2)$.

We also analyze several examples with three sources, with the results shown in

Table 3. Behavior of $I_{\cap }^{\prec }$ and other redundancy measures on three sources.

Target	${\mathit{I}}_{\cap }^{\prec }$	${\mathit{I}}_{\cap }^{\mathbf{WB}}$	${\mathit{I}}_{\cap }^{\mathbf{MMI}}$	${\mathit{I}}_{\cap }^{\wedge }$	${\mathit{I}}_{\cap }^{\mathbf{Ince}}$	${\mathit{I}}_{\cap }^{\mathbf{FL}}$
$Y=X_1\mathrm{AND}{X}_2\mathrm{AND}{X}_3$	0.138	0.138	0.138	0	0.024	0.294
$Y=X_1+X_2+X_3$	0.311	0.311	0.311	0	0	0.561
$Y=\left(\right(A,B),(A,C),(A,D\left)\right)$	1	2	2	1	1	2

. We considered those previously proposed measures which can be applied to more than two sources (we do not show $I_{\cap }^{\mathrm{GH}}$, as our implementation was too slow for these examples).

• Three-way AND gate: $Y=X_1\mathrm{AND}{X}_2\mathrm{AND}{X}_3$, where the sources are binary and uniformly and independently distributed.
• Three-way SUM gate: $Y=X_1+X_2+X_3$, where the sources are binary and uniformly and independently distributed.
• “Overlap” gate: we defined four independent uniformly distributed binary random variables, $A,B,C,D$. These were grouped into three sources $X_1,X_2,X_3$ as $X_1=(A,B)$, $X_2=(A,C)$, $X_3=(A,D)$. The target was the joint outcome of all three sources, $Y=(X_1,X_2,X_3)=((A,B),(A,C),(A,D))$. Note that the three sources overlap on a single random variable A, which suggests that the redundancy should be 1 bit.

7. Discussion and Future Work

In this paper, we proposed a new general framework for defining the partial information decomposition (PID). Our framework was motivated in several ways, including a formal analogy with intersections and unions in set theory as well as an axiomatic derivation.

We also used our general framework to propose concrete measures of redundancy and union information, which have clear operational interpretations based on Blackwell’s theorem. Other PID measures, such as synergy and unique information, can be computed from our measures of redundancy and union information via simple expressions.

One unusual aspect of our framework is that it provides separate measures of redundancy and union information. As we discuss above, most prior work on the PID assumed that redundancy and union information are related to each other via the so-called “inclusion-exclusion” principle. We argue that the inclusion-exclusion principle should not be expected to hold in the context of the PID, and in fact that it leads to counterintuitive behavior once 3 or more sources are present. This suggests that different information decompositions should be derived for redundancy vs. union information. This idea is related to a recent proposal in the literature, which argues that two different PIDs are needed, one based on redundancy and one based on synergy [41]. An interesting direction for future work is to relate our framework with the dual decompositions proposed in [41].

From a practical standpoint, an important direction for future work is to develop better schemes for computing our redundancy measure. This measure is defined in terms of a convex maximization problem, which in principle can be NP-hard (a similar convex maximization problem was proven to be NP-hard in [70]). Our current implementation, which enumerates the vertices of the feasible set, works well for relatively small state spaces, but we do not expect it to scale to situations with many sources, or where the sources have large cardinalities. However, the problem of convex maximization with linear constraints is a very active area of optimization research, with many proposed algorithms [63,71,72]. Investigating these algorithms, as well as various approximation schemes such as relaxations and variational bounds, is of interest.

Finally, we showed how our framework can be used to define measures of redundancy and union information in situations that go beyond the standard setting of the PID (e.g., when the probability distribution of the target is not specified). Our framework can even be applied in domains beyond Shannon information theory, such as algorithmic information theory and quantum information theory. Future work may exploit this flexibility to explore various new applications of the PID.