Additional note which might be relevant later: we can also get proof step 1 in a somewhat more general way, which establishes that the function P[X,Λ]↦P[X]P[Λ|Xi] is a nonexpansive map under DKL. We’ll write that proof down later if we need it.
Hi, Jeremy and I have a couple of updates on this thread. I have put them in a shortform here.
Additional note which might be relevant later: we can also get proof step 1 in a somewhat more general way, which establishes that the function P[X,Λ]↦P[X]P[Λ|Xi] is a nonexpansive map under DKL. We’ll write that proof down later if we need it.
Hi, Jeremy and I have a couple of updates on this thread. I have put them in a shortform here.