V.T56 — Entropy splitting

Entropy splitting theorem: total holomorphic entropy decomposes as S(n) = S_def(n) + S_ref(n) + epsilon(n), where the cross-term epsilon(n) >= 0 satisfies epsilon(n) <= S_def(n); when S_def = 0, the total entropy equals the refinement entropy exactly.