Von Neumann's uniqueness theorem (CCR representations)

In summary, the conversation discusses the paper "Redei's theorem on complete continuity and its uniqueness" and the proof that P is a projector. The proof can be found in von Neumann's original article, where he uses the concept of "Kern" (integral kernel) to show that ASA = kA. The conversation also touches on the translation of "Kern" in modern math English and how to derive formulas for A and SA from the kernels mentioned in the paper.
  • #1
Heidi
418
40
Hi Pfs,
Please read this paper (equation 4):
https://ncatlab.org/nla b/files/RedeiCCRRepUniqueness.pdf
It is written: Surprise! P is a projector (has to be proved)...
where can we read the proof?
 
Physics news on Phys.org
  • #3
thanks Demystifier.
 
  • Like
Likes Demystifier
  • #4
Thank you for bringing it up. I will check in von Neumann's original proof or some other source.
 
  • #5
The only explicit proof is in von Neumann's original article.
1679829869018.png
 
  • Like
Likes Heidi
  • #6
thanks, it's a good opportunity to revise my German a bit (I studied English and German when in high school)
 
  • #7
Tell me if this is correct:
To prove that A and AS(u,v)A only differ by a numerical factor, Von Neumann
calculates the "Kern" of A then of SA and then of ASA. As these "kerns" differ by a m
multiplicative constant k, then ASA = k A.
I would like to know how to translate the german word "Kern" in modern math english. Is it really integral kernel? or characteristic functional?
How to derive his forulas for A and SA?
 
  • #8
Yes, an integral kernel is the modern term. As for the calculations themselves are all made by von Neumann. Later accounts (Putnam for example) are telegraphic, no explicit calculations
 
  • Like
Likes vanhees71
  • #10
In the paper Von Neumann considers three operators containing integrals. For each of them , he gives its kernel .
How to retrieve A , SA and ASA from these kernels?
 

FAQ: Von Neumann's uniqueness theorem (CCR representations)

What is Von Neumann's uniqueness theorem?

Von Neumann's uniqueness theorem, also known as the Stone-von Neumann theorem, states that any two irreducible representations of the Canonical Commutation Relations (CCR) that satisfy certain regularity conditions are unitarily equivalent. This means that there is a unitary transformation that can map one representation onto the other, preserving the structure of the CCR.

What are Canonical Commutation Relations (CCR)?

The Canonical Commutation Relations (CCR) are mathematical expressions that describe the fundamental commutation rules between position and momentum operators in quantum mechanics. Specifically, for position operator \( \hat{q} \) and momentum operator \( \hat{p} \), the CCR is given by \([ \hat{q}, \hat{p} ] = i\hbar\), where \(\hbar\) is the reduced Planck constant and \([ \cdot, \cdot ]\) denotes the commutator.

Why is Von Neumann's uniqueness theorem important in quantum mechanics?

Von Neumann's uniqueness theorem is crucial because it ensures the consistency of quantum mechanics. It guarantees that the mathematical formulation of quantum mechanics through the CCR is unique up to unitary equivalence. This means that different quantum systems described by the same CCR can be related through a unitary transformation, ensuring that physical predictions remain consistent.

What are the regularity conditions mentioned in Von Neumann's uniqueness theorem?

The regularity conditions typically refer to the assumptions that the representations of the CCR are irreducible and that the operators involved act on a Hilbert space in a manner consistent with the standard quantum mechanical framework. Specifically, the representations must be strongly continuous, and the operators must be bounded or densely defined.

Can you give an example of how Von Neumann's uniqueness theorem is applied?

An example of the application of Von Neumann's uniqueness theorem is in the context of the quantum harmonic oscillator. The position and momentum operators for the harmonic oscillator satisfy the CCR. According to the theorem, any two irreducible representations of these operators that satisfy the regularity conditions will be unitarily equivalent. This ensures that the quantum harmonic oscillator has a unique description up to unitary transformations, which is essential for the consistency of its physical predictions.

Back
Top