If and have operator norm at most one, then inserting and subtracting one factor at a time gives
Insert one factor difference at a time: the th term is . Multiplication by the surrounding unitary operators preserves the spectral norm, so the triangle inequality gives the displayed dimension-independent bound. No commutation assumption is required.

Articles by others on the same topic (0)

There are currently no matching articles.