When does consulting one information source raise the value of another, and when does it diminish it? We study this question for Bayesian decision-makers facing finite actions. The interaction decomposes into two opposing forces: a complement force, measuring how one source moves beliefs to where the other becomes more useful, and a substitute force, measuring how much the current decision is resolved. Their balance obeys a localization principle: substitution requires an observation to cross a decision boundary, though crossing alone does not guarantee it. Whenever posteriors remain inside the current decision region, the substitute force vanishes, and sources are guaranteed to complement each other, even when one source cannot, on its own, change the decision. The results hold for arbitrarily correlated sources and are formalized in Lean 4. Substitution is confined to the thin boundaries where decisions change. Everywhere else, information cooperates. Code and proofs: https://github.com/nidhishs/all-substitution-is-local.
Figures & tables
Figure 1: Belief-simplex geometry of the interaction. Left : the sign of ΔVoI partitions the simplex into complement and substitute regions. Middle, Right : the two constituent forces; the complement force is diffuse across the interior while the substitute force concentrates sharply along decision boundaries. Their difference determines the sign of ΔVoI .
s1
s2
s3
a1
12
0
3
a2
0
12
3
a3
3
3
9
Table 1: Decision problem parameters. Left : reward matrix R(a,s) ; a3 is a safe action, a1 and a2 specialize to s1 and s2 . Middle, Right : likelihood kernels for channels i and j . Channel i partially identifies s1 ; channel j partially identifies s2 . The channels are conditionally independent.
b1=(111,112,118)
b2=(41,61,127)
b3=(125,125,61)
interior of R3
near boundary
on a1/a2 boundary
VoI(i)
0
11/16
5/2
VoI(j)
3/44
1/16
5/2
VoI(j∣i)
15/176
9/64
3/32
E[Dg]
3/176
49/64
—
E[Dh]
0
11/16
—
Table 2: Summary of information values at three marked beliefs. b1 : interior complementarity (Theorem 4 ); b2 : boundary complementarity (Proposition 2 ); b3 : substitution (Theorem 6 ). Entries marked — indicate that the individual forces are not separately defined at a boundary belief where V has a kink.
Figure 2: Phase transition along b(t)=(1/4+t,1/6,7/12−t) . Complement force (red) and substitute force (blue). Shading indicates the complement (red) and substitute (blue) regimes; the interaction boundary (where the forces cross) precedes the decision boundary.