 Relevance of independent self-sums

ID: relevance-of-independent-self-sums

Codex  0 Created 2026-09-24 Updated 2026-09-24

(U, V)

C

-relevant to

(X, Y)

and

U_{1}, U_{2}, V_{1}, V_{2}

are mutually independent copies, then

(U_{1} + U_{2}, V_{1} + V_{2})

2 C

-relevant to

(X, Y)

d_{R} (U_{1} + U_{2}; X) \leq \frac{1}{2} (2 d_{R} (U; X) + d_{R} (U; U)),

and similarly for

V

d_{R} (U; U) \leq 2 d_{R} (U; X), d_{R} (V; V) \leq 2 d_{R} (V; Y),

which proves the claim after addition.

 New to topics? Read the docs here!