# Canonical Commutation Relations

Is it logically sound to accept the canonical commutation relation (CCR)

$$[x,p]~=~i\hbar$$

as a postulate of quantum mechanics? Or is it more correct to derive it given some form for $p$ in the position basis?

I understand QM formalism works, it's just that I sometimes end up thinking in circles when I try to see where the postulates are.

Could someone give me a clear and logical account of what should be taken as a postulate in this regard, and an explanation as to why their viewpoint is the most right, in some sense!

-

## 3 Answers

You can either accept it as a postulate (in which case it is often more convenient to postulate the CCR and CAR for creation and annihilation operators) or you can derive the relation in the position basis with

$$\hat x = x \wedge \hat p = -i \hbar \nabla \Rightarrow [ \hat x , \hat p ] = - i \hbar x \nabla + i \hbar + i \hbar x \nabla$$

as you have to take the product rule when you apply $\nabla x$ to a function $f$.

You could also get these by the equivalence principle with classical mechanics, which says that $\{ q , p \} = 1$ for the Poisson brackets $\{\cdot,\cdot\}$ which are related to the commutator by a factor of $i \hbar$. That this equivalence principle holds is visible for example in the Ehrenfest theorem.

-

The choice of postulates is somewhat arbitrary in the sense that given a set of postulates you almost always can find an alternative set. The choice is guided by subjective criteria such as simplicity, closeness to experiment, or theoretical elegance.

However there are situations where some postulates/theorems do not make sense. For instance, $[\hat{x},\hat{p}] = i\hbar$ makes no sense in the Wigner & Moyal formulation of quantum mechanics, neither as postulate nor as theorem, because this formulation of quantum mechanics does not use operators:

The chief advantage of the phase space formulation is that it makes quantum mechanics appear as similar to Hamiltonian mechanics as possible by avoiding the operator formalism, thereby "'freeing' the quantization of the 'burden' of the Hilbert space.

Although the phase space formulation of quantum mechanics does not use commutation relations, them can be still obtained as a theorem when one makes the transition from the general phase space state to the configuration space wavefunction: $W(p,x;t) \rightarrow \Psi(x;t)$. Precisely, an explicit derivation of the $[\hat{x},\hat{p}] = i\hbar$ is given in my paper Positive definite phase space quantum mechanics

-

Wigner-Moyal still need to construct a Hilbert space to be a complete foundation, and then there are operators, and the CCR makes sense, though not as a postulate. – Arnold Neumaier Dec 7 '12 at 11:49
@ArnoldNeumaier: Before answering I would like to know what do you exactly mean by the "Wigner-Moyal still need to construct a Hilbert space to be a complete foundation". I can interpret that in several ways. – juanrga Dec 7 '12 at 14:30
The OP asked about CCR as part of a foundation for QM. You mentioned Wigner-Moyal. No matter what yuo meant by it, it either constructs a Hilbert space, then the CCR makes sense there but not as a postulate, or it doesn't, then it is a lousy foundation. – Arnold Neumaier Dec 7 '12 at 14:57
@ArnoldNeumaier: Sorry, but this continues being unclear to me. I still can interpret your words in several alternative ways and cannot chose the correct answer. Let me be more specific. Why do you think/believe that it is needed to construct a Hilbert space to give a foundation to the Wigner-Moyal formulation, when it does not even require wavefunctions? – juanrga Dec 7 '12 at 15:07
Without wqve function, the setting is far too restricted. How do you compute the color of gold in the Wigner-Moyal setting, without having a wave function? – Arnold Neumaier Dec 7 '12 at 18:15
show 1 more comment

Your running into circles will stop once you commit yourself to a choice.

What to regard as postulate is always a matter of choice (by you or by whoever writes an exposition of the basics). One starts from a point where the development is in some sense simplest. And one may motivate the postulates by analogies or whatever. The CCR are a simple coordinate-independent starting point.

However it is more sensible to introduce the momentum as the infinitesimal generator of a translation in position space. This is its fundamental meaning and essential for Noether's theorem, and has the CCR as a simple corollary.

-

+1 for Emmy :-) – Tobias Kienzler Dec 7 '12 at 11:11
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 9, "mathjax_display_tex": 2, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.3, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9324049949645996, "perplexity_flag": "head"}