Published on August 21, 2025 10:43 PM GMT Suppose random variables X1 and X2 contain approximately the same information about a third random variable Λ, i.e. both of the following diagrams are satisfied to within approximation ϵ: "Red" for redundancyWe call Λ a "redund" over X1,X2, since conceptually, any information Λ contains about X must be redundantly represented in both X1 and X2 (to within approximation). Here's an intuitive claim which is surprisingly tricky to pro...