Complimentary Unitary Operators

  • Thread starter jfy4
  • Start date
  • #1
jfy4
649
3

Homework Statement


Consider a quantum system that acts on an N-dimensional 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


Homework Equations


[tex]UV=VU e^{i2\pi /N}[/tex]
[tex]V^n U=UV^n e^{i2\pi n/N}[/tex]


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 U-UU^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,
 

Answers and Replies

  • #2
sgd37
213
8
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
 

Suggested for: Complimentary Unitary Operators

  • Last Post
Replies
8
Views
315
Replies
3
Views
694
Replies
8
Views
261
Replies
0
Views
629
  • Last Post
Replies
17
Views
648
Replies
29
Views
982
Replies
3
Views
587
Replies
16
Views
1K
  • Last Post
Replies
3
Views
760
Top