Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2009/iii/paper-10/3/d/solution

Write with , where is real valued. The normalization and the operator norm bound imply, for every real ,
The left side is , so
Divide by and let to obtain . Divide by , reversing the inequality, and let to obtain . Thus for every real-valued . The first-order term in is what forces reality; this is the complex-functional step in the unital contraction positivity criterion.

New to topics? Read the docs here!