The 1=0 paradox again!

  • Thread starter ShayanJ
  • Start date
  • #1
2,788
586

Main Question or Discussion Point

I know this is raised several times in this forum but I still don't see what's the solution! So I want to discuss it again.
Consider two self-adjoint operators A and B which obey [itex] [A,B]=c I[/itex]. Now I take the normalized state [itex] |a\rangle [/itex] such that [itex] A|a\rangle=a |a\rangle [/itex]. Now I can write:

[itex]
1=\langle a | a \rangle=\frac 1 c \langle a | cI |a \rangle=\frac 1 c \langle a | [A,B] |a \rangle=\frac 1 c [\langle a | AB |a \rangle-\langle a | BA |a \rangle]=\\ \frac 1 c [(A|a\rangle)^\dagger B|a\rangle-a\langle a |B|a\rangle]=\frac 1 c [(a|a\rangle)^\dagger B|a\rangle-a\langle a |B|a\rangle]=\frac a c [\langle a | B |a \rangle-\langle a | B |a \rangle]=0
[/itex]

So there should be something wrong with the reasoning. There were several suggestions before but I don't think they work.


P.S.

1) Please DO NOT specialize to momentum and position!(Or any other pair, unless you can prove there is only a few pairs of operators that satisfy the requirements and you can say what is wrong about each pair.)

2) I know that the commutation relation can't be realized in a finite dimensional Hilbert space. So take an infinite-dimensional Hilbert space! Can this be used here?

3) I know that at least one of the operators should be unbounded. Can this be used here?

4) I know domains are important. But I can still find a vector in the intersection of the domains of A and B. Can you prove their domains are disjoint? Or can you prove there is no eigenvector of A in the intersection of the domains of A and B?

5) I know that here we should consider a rigged Hilbert space. But a rigged Hilbert space is actually a triplet like [itex] D \subset L^2(\mathbb R,dx) \subset D' [/itex]. So I can still choose vectors from D which are actually ordinary nice vectors. Can you prove there is no eigenvector of A in D? Or can you prove for such an eigenvector, B necessarily gives ill-defined results so that [itex] \langle a | B |a \rangle-\langle a | B |a \rangle [/itex] is indeterminate instead of 0?

6) An important point here is the symmetry between A and B. So even if we can use one of the above suggestions, we then can swap the role of A and B and retain the argument. Can you break this symmetry?

7) Hey @Greg Bernhardt , can you set a prize for solving this?:D

I hope this time I'll get a definite solution for this and get this case closed.
Thanks
 
Last edited:

Answers and Replies

  • #2
34,053
9,913
To make this a paradox, you have to show the existence of self-adjoint operators A, B with [A,B]=cI and with real eigenvalues for A. And all the operations above have to be well-defined, of course.
Just saying "consider" is not enough: "Consider a number x that satisfies both x=0 and x=1. Then 1=x=0".
 
  • #3
2,788
586
To make this a paradox, you have to show the existence of self-adjoint operators A, B with [A,B]=cI and with real eigenvalues for A. And all the operations above have to be well-defined, of course.
Just saying "consider" is not enough: "Consider a number x that satisfies both x=0 and x=1. Then 1=x=0".
Yeah, that's true but I want to know exactly which assumption is wrong or which assumptions contradict each other.
I mean...I can't show that such a pair actually exists. But this doesn't prove it doesn't exist. I want to know how can I prove that there is no such a pair.
Or, to put it another way, this can be seen as a proof by contradiction that such a pair does not exist. But which assumption should I drop so that I can have a pair satisfying those weakened assumptions?
Or maybe such a pair actually exist but some part of the calculation is not correct. Which part is that?

Also [itex] A=\frac{\hbar}{i} \frac{\partial}{\partial \varphi} [/itex] and [itex] B=\varphi [/itex] constitute such a pair because we have [itex] A e^{i\frac m \hbar \varphi}=m e^{i\frac m \hbar \varphi} [/itex]. So there exists such a pair.
 
Last edited:
  • #4
Matterwave
Science Advisor
Gold Member
3,965
326
You can basically use your "proof" that 1=0 to show that somewhere the logic failed. So at some step, there must have been some undefined quantity. As it turns out, the undefined quantity is ##\langle a|B|a\rangle## (as such, of course ##\langle a|[A,B]|a\rangle## is also undefined, the commutator is defined only on the intersection of the domains of A and B). See my previous thread on this matter: https://www.physicsforums.com/threads/commutator-expectation-value-in-an-eigenstate.747434/
 
  • #5
2,788
586
You can basically use your "proof" that 1=0 to show that somewhere the logic failed. So at some step, there must have been some undefined quantity. As it turns out, the undefined quantity is ##\langle a|B|a\rangle## (as such, of course ##\langle a|[A,B]|a\rangle## is also undefined, the commutator is defined only on the intersection of the domains of A and B). See my previous thread on this matter: https://www.physicsforums.com/threads/commutator-expectation-value-in-an-eigenstate.747434/
Thank you very much man. The paper pointed to by dextercioby, was exactly the thing I was looking for all this time.
So it turned out that
there is no eigenvector of A in the intersection of the domains of A and B
is the the solution.
Case Closed!
 
  • #6
22,097
3,279
I know this is raised several times in this forum but I still don't see what's the solution! So I want to discuss it again.
Consider two self-adjoint operators A and B which obey [itex] [A,B]=c I[/itex]. Now I take the normalized state [itex] |a\rangle [/itex] such that [itex] A|a\rangle=a |a\rangle [/itex]. Now I can write:

[itex]
1=\langle a | a \rangle=\frac 1 c \langle a | cI |a \rangle=\frac 1 c \langle a | [A,B] |a \rangle=\frac 1 c [\langle a | AB |a \rangle-\langle a | BA |a \rangle]=\\ \frac 1 c [(A|a\rangle)^\dagger B|a\rangle-a\langle a |B|a\rangle]=\frac 1 c [(a|a\rangle)^\dagger B|a\rangle-a\langle a |B|a\rangle]=\frac a c [\langle a | B |a \rangle-\langle a | B |a \rangle]=0
[/itex]

So there should be something wrong with the reasoning. There were several suggestions before but I don't think they work.


P.S.

1) Please DO NOT specialize to momentum and position!(Or any other pair, unless you can prove there is only a few pairs of operators that satisfy the requirements and you can say what is wrong about each pair.)
http://en.wikipedia.org/wiki/Stone–von_Neumann_theorem

2) I know that the commutation relation can't be realized in a finite dimensional Hilbert space. So take an infinite-dimensional Hilbert space! Can this be used here?
It can't be realized as bounded operators either. They need to be unbounded.

3) I know that at least one of the operators should be unbounded. Can this be used here?

4) I know domains are important. But I can still find a vector in the intersection of the domains of A and B. Can you prove their domains are disjoint? Or can you prove there is no eigenvector of A in the intersection of the domains of A and B?
I think your argument proves exactly that there is no eigenvector in the intersection of the domains of A and B. As matterwave pointed out, something like ##\langle a|B|a\rangle## needs not be well-defined.

5) I know that here we should consider a rigged Hilbert space. But a rigged Hilbert space is actually a triplet like [itex] D \subset L^2(\mathbb R,dx) \subset D' [/itex]. So I can still choose vectors from D which are actually ordinary nice vectors. Can you prove there is no eigenvector of A in D? Or can you prove for such an eigenvector, B necessarily gives ill-defined results so that [itex] \langle a | B |a \rangle-\langle a | B |a \rangle [/itex] is indeterminate instead of 0?
Rigged Hilbert spaces are not important here.
 
  • #7
2,788
586
Yeah, I saw it before but its vague to me. Because I know about unitary equivalence in terms of representation theory of groups and there, its about the similarity transformation. But I don't know how can I perform a similarity transformation on something like [itex] \frac{\hbar}{i} \frac{\partial}{\partial x} [/itex]!
Also...does it mean that the operators [itex] \frac{\hbar}{i} \frac{\partial}{\partial \varphi} [/itex] and [itex] \varphi [/itex] defined on the space [itex] L^2([0,2\pi),d\varphi) [/itex] are unitarily equivalent to momentum and position operator? In what sense?

I think your argument proves exactly that there is no eigenvector in the intersection of the domains of A and B. As matterwave pointed out, something like ⟨a|B|a⟩\langle a|B|a\rangle needs not be well-defined.
I knew it. I just wanted to get some understanding of this and see why it should be the case. I mean an ordinary mathematical way of understanding this.
 

Related Threads on The 1=0 paradox again!

  • Last Post
Replies
7
Views
2K
  • Last Post
Replies
16
Views
2K
  • Last Post
Replies
2
Views
2K
  • Last Post
Replies
2
Views
2K
  • Last Post
Replies
10
Views
5K
  • Last Post
Replies
14
Views
5K
  • Last Post
Replies
11
Views
4K
  • Last Post
Replies
7
Views
3K
  • Last Post
Replies
3
Views
2K
Replies
3
Views
3K
Top