Register to reply 
Complimentary Unitary Operators 
Share this thread: 
#1
Oct2311, 05:34 PM

P: 647

1. The problem statement, all variables and given/known data
Consider a quantum system that acts on an Ndimensional space. We showed that any operator could be expressed as a polynomial of the form [tex] O=\sum_{m,n=1}^{\infty}o_{mn}U^m V^n [/tex] where [itex]U[/itex] and [itex]V[/itex] are complementary unitary operators satisfying [itex](U^N = V^N =1)[/itex] Show that if [itex]O[/itex] commutes with [itex]U[/itex] this polynomial can only be a function of [itex]U[/itex]; if [itex]O[/itex] commutes with [itex]V[/itex] this polynomial can only be a function of [itex]V[/itex]; and if [itex]O[/itex] commutes with [itex]U[/itex] and [itex]V[/itex] this polynomial must be a constant times the identity 2. Relevant equations [tex]UV=VU e^{i2\pi /N}[/tex] [tex]V^n U=UV^n e^{i2\pi n/N}[/tex] 3. The attempt at a solution Me and some buddies thought we had a solution to this, but then another clever buddy pointed out something that we are all unsure of... can a fellow PF lurker lend a hand here I solved this by assuming the commutation and writing it out explicitly and using the above relavent equations [tex] [O,U]=\sum_{m,n=1}^{N}o_{mn}(U^m V^n UUU^m V^n)=\sum_{m,n=1}^{N}o_{mn}U^{m+1}V^n (e^{i2\pi n/N}1)=0 [/tex] I then confidently took [tex] e^{i2\pi n/N}=1\implies n=N [/tex] which, as stated in the beginning, makes [itex]V^n=V^N=1[/itex] which gives me my polynomial in terms of [itex]U[/itex] only. Now here is the confusion, there is a summation there in my solution, which seems to make my solution incorrect, since what I wrote doesn't need to be true, just that the sum of the terms needs to add up to zero. Are we missing something obvious, or is that solution simply not valid? Thanks in advance, 


#2
Oct2411, 12:48 AM

P: 205

I would hazard that powers of operators are independent from each other just like normal variables so that absorbing the n dependent factor into the coefficients gives you a statement about the independence of powers of operators
[tex] \Sigma_{m,n=1}^{N} o_{mn} U^{m+1} V^{n} (e^{i2 \pi n/N}  1) = \Sigma_{m,n=1}^{N} o' (n)_{mn} U^{m+1} V^{n} = 0 [/tex] which is only satisfied when n=N, otherwise O is not general, and so the sum is irrelevant Hope it is clear 


Register to reply 
Related Discussions  
Unitary operators  Calculus & Beyond Homework  1  
Unitary operators  General Math  3  
Unitary Operators  General Physics  0  
Unitary Operators and Lorentz Transformations  Advanced Physics Homework  5  
Unitary operators  Calculus & Beyond Homework  12 