A mathematical construct quantifying the difference in effect of applying two operators in two alternate successions. It is the defining product of a Lie algebra, the efficient underlying description of Lie groups, of use in several areas of physics, most notably quantum field theory.

learn more… | top users | synonyms (1)

0
votes
0answers
24 views

Glauber formula, Baker

somewhere I read here: $[A,F(B)]=[A,B]F'(B)$ is used to prove Glauber's formula $\exp(A+B).\exp([A,B]/2)$ I have tried and looked everywhere to try and understand this to no avail. The first is in ...
4
votes
1answer
62 views

Computing the density operator commutation relations (Atland & Simons)

I'm trying to work through Altland and Simons' example of interacting fermions in one dimension. It's in chapter 2, page 70 (you can find it here). They define fermionic operators $$ a_{sk}^\dagger ...
3
votes
0answers
33 views

Non-abelian current commutators

There many articles, in which non-abelian current commutators are computed. The general result is that quantum corrections lead to additional term in commutator $$[J^a_\mu (x), J^b_\nu (y)] \delta ...
-1
votes
0answers
48 views

Manipulating tensors in relativistic quantum mechanics

I was doing a problem that involved showing a Heisenberg equation of motion was consistent with the Dirac equation. The question involved a lot of algebra which was generally fine but something done ...
1
vote
1answer
66 views

Under what condition is angular momentum conserved in both classical and quantum physics?

Classically, angular momentum is only conserved in a central potential by considering the torque (correct me if I am wrong). In quantum mechanics, it is also true, isn't it? If this is the case, ...
-2
votes
2answers
99 views

Does $[A^2,B]=0$ imply $[A,B]$=0? [closed]

The commutator $[A^2,B]$ can be written as $A[A,B]+[A,B]A$. So if $[A,B]=0$, $[A^2,B]$ is also zero. But is the converse also true? If $[A^2,B]$ is given to be zero, then is [A,B]=0? Let $C=[A,B]$. ...
3
votes
2answers
199 views

Why do the ladder operators in harmonic oscillators work?

The Hamiltonian can be diagonalized by transforming $x$ and $p$ to $a$ and $a^\dagger$. I understand how one proceeds from there to find the spectrum of $a^\dagger a$, the ground state $|0\rangle$ and ...
1
vote
1answer
38 views

Why the constancy of an observable w.r.t time depends on whether it commutes with $H$ or not?

I have been reading Modern Quantum Mechanics by J.J.Sakurai. Under the chapter Quantum Dynamics, the author says if an observable $A$ initially commutes with the Hamiltonian operator $H$, then it ...
0
votes
1answer
58 views

Question about a formula in the book by Green, Schwarz, Witten

In chapter 7 of superstring theory, it is written $$ g\langle0;k_1|\zeta\cdot\alpha_1V_0(k_2)\zeta_3\cdot\alpha_{-1}|0;k_3\rangle=g\langle0;k_1|\zeta\cdot\alpha_1e^{k_2\cdot\alpha_{-1}} ...
0
votes
1answer
42 views

Does Heisenberg's uncertainty hold for any two quantum measurements?

Heisenberg's uncertainty principle is most commonly expressed in terms of the uncertainty in measurement of position and momentum of a particle, $$\Delta x\Delta p \geq \hbar$$and uncertainty in ...
1
vote
0answers
52 views

Uncertainty Principle with the corresponding operators

Why does the corresponding operator do not commute if there is uncertainty related to two observables A and B that states $\Delta A\,\Delta B > 0 $ ?
0
votes
1answer
36 views

Placement of indices in canonical commutation relations of coordinates and conjugate momenta as well as fields and conjugate momenta

The canonical commutation relations between generalised coordinates $q_a$ and their conjugate momenta $p^a$ are given by $[q_a,q_b]=[p^a,p^b]=0$ $[q_a,p^b]=i\delta^b_a$. Furthermore, the canonical ...
4
votes
4answers
394 views

Is commutation relation an equivalence relation?

I'm now learning quantum mechanics with Liboff. In the book it deals with "a compete set of mutually compatible observables" in order to make a state maximally informative. How can one find such set? ...
0
votes
2answers
65 views

How to recognize a Complete Set of Commuting Operators (CSCO)

A question about 'completeness'. These two operators are commuting, but I want to know more about their completeness. How do you know if {H}, {B}, {H,B} and/or {$H^2$,B} are forming (a) Complete ...
5
votes
2answers
280 views

Tricky operator identity: $[L^2,[L^2,\vec{r}]]=2 \hbar ^2 \{ L^2, \vec{r}\}$?

This operator identity showed up in a course I was taking, and it was given without proof. $$[L^2,[L^2,\vec{r}]]=2 \hbar ^2 \{ L^2, \vec{r}\}$$ The curly brackets denote the anticommutator, $AB+BA$. ...
0
votes
1answer
29 views

Tensor products of Hilberts spaces: definition of outer products and commutators

Suppose one has two single-particle Hilbert spaces $\mathcal{H}_{A}$ and $\mathcal{H}_{B}$ and consider the tensor product of these such that $\mathcal{H}_{A}\otimes\mathcal{H}_{B}$ is a two-particle ...
4
votes
0answers
56 views

Elegant method to show $[L^2,[L^2,\vec{r}\,]\,] = 2\hbar^2\{L^2, \vec{r}\}.$ [duplicate]

Show that $[L^2,[L^2,\vec{r}\,]\,] = 2\hbar^2\{L^2, \vec{r}\},$ where $\vec{r} = x\, {\hat x} + y\, {\hat y} + z\, {\hat z}.$ "Edit: $\{A,B\} = AB + BA$ is the anti-commutator." I am able to solve ...
-1
votes
1answer
47 views

Deriving eigen values of $\hat{N}$

So let's say we have an operator $\hat{a}$ (ladder operator), where $\left[\hat{a},\hat{a}^\dagger\right] = 1$, and $\hat{a}^2 |\phi\rangle = 0$. How do I show that the eigenvalues of ...
0
votes
2answers
461 views

Expectation values of commutator and anti-commutator (momentum and position)

What are the expectation values of commutator and anti-commutator for momentum and position operators? In the case of commutator: $$\langle[x,p]\rangle=\langle i\hbar\rangle=~?$$ In the case of ...
4
votes
3answers
375 views

Schroedinger field operators and their commutation relations

I've got several questions regarding the so called second quantization of the Schroedinger equation. My professor introduced the field operators for the Schroedinger field by simply stating them as ...
1
vote
2answers
60 views

Commutation Relations in Second Quantization

I understand that if I have the field operators $\psi(r)$ and $\psi^\dagger(r)$, then I have the canonical commutation relation (in the boson case) $$[ \psi(r) , \psi^\dagger(r')]=\delta(r-r').$$ My ...
1
vote
1answer
39 views

The fifth gamma matrix and fermion fields

I am aware of the various relations with Dirac spinors and chirality but how does the fifth gamma matrix $\gamma^5$ behave with fermion fields, $\psi$? Does the fifth gamma matrix have any particular ...
0
votes
0answers
27 views

Construct any Hamiltonian that is the linear combination of existing constructable Hamiltonians

In the paper Quantum Computation over Continuous Variables, it states that since $$e^{iAt}e^{iBt}e^{-iAt}e^{-iBt} = e^{-[A,B] t^2} + O(t^3)$$ when $t\rightarrow 0$, if one can apply a set of ...
3
votes
4answers
169 views

Help understanding proof in simultaneous diagonalization

The proof is from Principles of Quantum Mechanics by Shankar. The theorem is: If $\Omega$ and $\Lambda$ are two commuting Hermitian operators, there exists (at least) a basis of common eigenvectors ...
4
votes
1answer
283 views

Virasoro operators commutation relations [closed]

For the commutation relation in quantising the bosonic string $$\left[L_n,L_{m}\right]=(n-m)L_{n+m}+\frac{D}{12}n(n^2-1)\delta_{n+m,0}$$ we can then calculate this for $m=-n$ in between the vacuum ...
1
vote
0answers
86 views

Physical significance of non-commutativity of ladder operators in Quantum Harmonic Oscillator

If we apply the raising (creation) operator to $Ψ_n(x)$ and the apply to it the lowering (annihilation) operator, we get $Ψ_n(x)$ times a constant. Does it physically say something? Can we get any ...
1
vote
1answer
61 views

Lorentz force derivation in quantum mechanics [closed]

In Sakurai and Napolitano, chapter 2, there's a derivation of the QM Lorentz force. Given $$H=\frac{1}{2m}\left(\mathbf{p}-\frac{e\mathbf{A}}{c}\right)^2+e\phi = \frac{\mathbf{\Pi}^2}{2m}+e\phi$$ ...
2
votes
1answer
50 views

Why do we use the anticommutation relation for particle-hole and chiral symmetries?

In physics we say that a quantity is conserved if its operator commutes with Hamiltonian. For example, in condensed matter systems, when the momentum $k$ commutes with the Hamiltonian $H$ as ...
4
votes
3answers
369 views

Relation between representations of boson operators?

I have a simple (I think !) question about the representations of boson operators and how they are related. First of all let's define two conjugate observables $Q$ and $P$ (i.e. $\left[Q,P\right]=i$ ...
1
vote
1answer
33 views

Structure constant of the commutators of generators in broken symmetry

When I read a paper related to spontaneously global symmetry breaking, I cannot understand a statement: If we use the notation $T^i$ for the unbroken group generators in $H$ and $X^a$ the broken ...
3
votes
3answers
123 views

Does the canonical commutation relation relate to the fact that momentum is the generator of spatial translations?

In classical mechanics momentum is the generator of spatial translations. This remains true in quantum mechanics. The way we define the momentum operator in one-dimension, for example, already shows ...
2
votes
0answers
103 views

Commutation relations in quantum mechanics

As we know, simple harmonic oscillator can be solved only by commutation relations between creation and annihilation operators, and the Hamiltonian expression. The spin energy is either solved only ...
22
votes
6answers
2k views

Is there something behind non-commuting observables?

Consider a quantum system described by the Hilbert space $\mathcal{H}$ and consider $A,B\in \mathcal{L}(\mathcal{H},\mathcal{H})$ to be observables. If those observables do not commute there's no ...
-1
votes
1answer
79 views

Commutation relations in Quantum Field Theory [closed]

\begin{align} [a, a^\dagger] =& \left[\int d^3 x e^{-ikx} (\omega \phi(x) + i \Pi^\dagger(x)), \int d^3 x' e^{ikx'} (\omega \phi^\dagger(x') - i \Pi(x')) \right] \\ =& \int d^3x \, d^3x' \, ...
0
votes
2answers
72 views

Commutator relationships and the exponential

I am currently trying to prove that the two following commutator relationships are equivalent (for an operator $\hat{A}(s)$ that depends on a continuous parameter $s$), so if one holds the other one ...
4
votes
3answers
104 views

Eigenstates of Ladder Operators

According ot Griffith's Intro to Quantum Mechanics (page 147), if some function $f$ is an eigenfunction of $L^{2}$, then $L_{-}f$ is also an eigenfunction of $L^{2}$. Is $f$ also an eigenfunction ...
0
votes
1answer
49 views

Sum and Different and angular momentum operators

Why is $\overrightarrow{L_{1}}+\overrightarrow{L_{2}}$ an angular momentum operator, but not $\overrightarrow{L_{1}}-\overrightarrow{L_{2}}$? What does this show about the applicability of the vector ...
1
vote
2answers
109 views

Mathematical Proof the angular momentum and Hamiltonian commute?

I'm in a quantum mechanics class, and it is given in the book that the operators $\hat{L^{2}}$ and $\hat{H}$ commute for the 3D Harmonic Oscillator, but no definite mathematical proof is given, and ...
0
votes
1answer
44 views

Spherical Polar Proof for Non-Commutativity of Indivdual Quantum Angular Momentum Operators

How can the following commutation relation be solved through spherical polar coordinates $[\hat{L}_{z}$,$\hat{L}_{x}]$ = $\imath\hbar\hat{L}_{y}$ I understand the derivation through partial ...
1
vote
1answer
112 views

Ladder operators - commutation relations and their properties

At the beginning of Fetter, Walecka "Many body quantum mechanics" there is a statement, that every property of creation and annihilation operators comes from their commutation relation (I'm ...
1
vote
1answer
59 views

How does this quantisation relation come about?

I'm currently doing a course in string theory and in the lecture notes it is stated: $$ [x^-, p^+]~=~-i \tag{1}$$ I am fine with this. However, after trying (and failing) a question, I looked at ...
3
votes
1answer
228 views

What is the physical importance of the commutation relations of angular momentum?

What is the physical meaning of these commutation relations: $$[L_{z},L_{\pm}]=\pm\hbar L_{\pm}\tag{1}$$ and $$[L_{+},L_{-}]=2\hbar L_{z} ~?\tag{2}$$
4
votes
2answers
84 views

Fermions, different species and (anti-)commutation rules

My question is straightforward: Do fermionic operators associated to different species commute or anticommute? Even if these operators have different quantum numbers? How can one prove this fact in a ...
51
votes
5answers
5k views

Trace of a commutator is zero - but what about the commutator of $x$ and $p$?

Operators can be cyclically interchanged inside a trace: $${\rm Tr} (AB)~=~{\rm Tr} (BA).$$ This means the trace of a commutator of any two operators is zero: $${\rm Tr} ([A,B])~=~0.$$ But what about ...
1
vote
2answers
953 views

Weyl exponential form of the Canonical Commutation Relations

What is the physical meaning of the $c$-numbers $Q, P\in \mathbb{R}$ in the exponent of the Weyl system $\exp\left[\frac{i}{\hbar} Q \hat{p}\right]$ and $\exp\left[\frac{i}{\hbar}P\hat{q}\right]$? ...
3
votes
1answer
167 views

How I can prove the Commutation between hamiltonian and Runge-Lenz vector? [closed]

I am a undergraduate student in physics. I found this page that shows a way to prove the commutator between Runge-Lenz vector and Hamiltonian .$\left [\hat{A}_{i},\hat{H}\right]=0$ I believe he did a ...
4
votes
0answers
65 views

Commutation of two vector operator [closed]

Consider vectors $\overrightarrow { A } $ and $\overrightarrow { B } $ as operators or vector of operators. If this commutation holds$$[\overrightarrow { A },\overrightarrow { B }]=0$$ Then, is that ...
3
votes
2answers
304 views

$\hat{L}_{x}$ and $\hat{L}_{y}$ do not commute… or do they?

So $\hat{L}_{x}$ and $\hat{L}_{y}$ do not commute: $$ [ \hat{L}_{x}, \hat{L}_{y}] = i\hbar \hat{L}_{z}$$ But, what if we perform this operation on a state such that: $$\hat{L}_{z} \phi_{l, m_{l}} ...
3
votes
5answers
398 views

Eigenspaces of angular momentum operator and its square (Casimir operator)

The casimir operator $\textbf{L}^2$ commutates with the elements $L_i$ of the angular momentum operator $\textbf{L}$: $$ [\textbf{L}^2, L_i] = 0. $$ However, the $L_i$ do not commute among ...
-2
votes
1answer
61 views

Limit of the position and momentum commutator [closed]

The commutator of position and momentum operator, $\hat{p}$ and $\hat{x}$, respectively is derived as $[\hat{x},\hat{p}]=i\hbar$. Let $\lim_{x\rightarrow x_{o}} [\hat{x},\hat{p}]=\lim_{x\rightarrow ...