Tada! The constant kinda sucks and the proof is a gnarly piece of work, but itβs written in lean and looks to say what I think it says, so here we are. A uniform-in-observable-cardinality constant multiple of the (sum of) the stochastic errors bounds the (sum of) the deterministic errors for this other deterministic latent. (Which is an exact function of X and Y to-boot.)
Tada! The constant kinda sucks and the proof is a gnarly piece of work, but itβs written in lean and looks to say what I think it says, so here we are. A uniform-in-observable-cardinality constant multiple of the (sum of) the stochastic errors bounds the (sum of) the deterministic errors for this other deterministic latent. (Which is an exact function of X and Y to-boot.)