Stone's theorem & construction of observables - L12 - Frederic Schuller

This is from a series of lectures - "Lectures on Quantum Theory" delivered by Dr.Frederic P Schuller

[Bignic]

1:32:30 I live for the moment where his writing fits perfectly on the pre-drawn underline.

[mashedpotatoez]

At 1:15:09 to be fully explicit, it should be noted that \psi(t)=0 only implies U(t)\psi = exp(-itA** )\psi. i.e thus far this equality is only known for \psi in the domain D_A (and for all t). But of course since D_A is dense in the Hilbert space and we have two *bounded* operators (U(t) and exp(-itA** )) which agree on this dense subset, it follows they are equal on the entire Hilbert space.

[abrlim]

I was expecting the explanation of why the operators look like how they look like. But then it is the Stone-von Neumann theorem gives the explanation, not Stone's theorem. A bit disappointed. Anyone knows where I can find the proof of the Stone-von Neumann theorem? Thank you

[anonynous_math_person]

is it even possible for a one-parameter group to be non-abelian (11:50)? Unless I'm mistaken, it seems that all one-parameter groups would be abelian. if not, what's an actual example of a non-abelian one-parameter group?

[productivelb]

At 34:26 won't Psi(t)/t be in neighbourhood N but not necessarily Psi(t). In particular Psi(t0)/t0 will be in N but not Psi(t0) itself as it is off by a factor of 1/t0. How did we conclude Psi(t0) is in N?

[alexandrestehlick]

Sir, I think there is a problem with the the “path ψ_τ” created at 32:45 . ψ_τ is not close to ψ, but close to 0. In fact, next, when you extract the consequence that ψ_τ/τ goes to ψ as τ goes 0, it implies that ψ_τ is actually going to 0. If you want to use ψ_τ/τ as the element close to ψ, then should compute if the derivative exists at ψ_τ/τ, not at ψ_τ. I checked the book of Teschl, and indeed he writes the same step. However, Brian Hall proves in a different way.

[tomassuleiman]

17:40 isn't U an element of the group and not the group itself??