I have the following automorphsim of

with rotation the argument of the functions by

Let be the image of the coordinate function and let be a unitary implementing the above mentioned automorphism . (What exactly is meant by implementing an automorphism? Is it something like where then is some unitary function.)

show that