Register to reply

Complimentary Unitary Operators

Share this thread:
Oct23-11, 05:34 PM
jfy4's Avatar
P: 647
1. The problem statement, all variables and given/known data
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
O=\sum_{m,n=1}^{\infty}o_{mn}U^m V^n
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
[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
I then confidently took
e^{i2\pi n/N}=1\implies n=N
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,
Phys.Org News Partner Science news on
FIXD tells car drivers via smartphone what is wrong
Team pioneers strategy for creating new materials
Team defines new biodiversity metric
Oct24-11, 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