Information, Quantum Computing, Physics.
inferred by relating the two unitary constraints from the trace demonstration above. This is not related to the relational entropy narrative just a point that I found interesting. Jumping back to the monotonicity narrative, Witten then uses the result of monotonicity of (quantum) relative entropy