A mathematical construct used to study the effect of applying two operators in succession.

learn more… | top users | synonyms (1)

1
vote
1answer
74 views

Deriving commutation relations in second quantisation

I am trying to start from: \begin{align*} [\phi(x),\pi(x')] = i\hbar\delta(x-x') \\ [\phi(x),\phi(x')] = [\pi(x),\pi(x')]=0 \end{align*} to derive: \begin{align*} [a(k),a(k')^\dagger]=\delta_{kk'}\\ ...
2
votes
1answer
113 views

prove: $[p^2,f] = 2 \frac{\hbar}{i}\frac{df}{dx}p - \hbar^2 \frac{d^2f}{dx^2}$

I need to prove the commutation relation, $$[p^2,f] = 2 \frac{\hbar}{i}\frac{\partial f}{\partial x} p - \hbar^2 \frac{\partial^2 f}{\partial x^2}$$ where $f \equiv f(\vec{r})$ and $\vec{p} = p_x ...
3
votes
0answers
77 views

Virasoro Operators commutation relations

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 ...
0
votes
0answers
134 views

Uncertainty principle and commutation relations [duplicate]

What connection exists between the uncertainty principle and commutation relations amongst the operators representing observables in Quantum Mechanics?
4
votes
1answer
119 views

Causality in QFT from vanishing commutator and the EPR paradox

The question relates to this post. As shown in Peskin and Schroeder's introduction to quantum field theory p. 28., $$[\phi(x),\phi(y)] = 0 \;\;\mathrm{if}\;\; (x-y)^2<0$$, which implies the ...
3
votes
2answers
1k views

Fundamental Commutation Relations in Quantum Mechanics

I am trying to compile a list of fundamental commutation relations involving position, linear momentum, total angular momentum, orbital angular momentum, and spin angular momentum. Here is what I have ...
4
votes
1answer
182 views

Does This Really “Prove” Spin-statistics Theorem?

In quantization of scalar field theory we impose commutation relation between the field operators by hand and similarly we impose anti-commutation relation between Dirac field operators by hand. As a ...
2
votes
1answer
186 views

Help Simplifying a Commutator Equation

For the SHO, our teacher told us to scale $$p\rightarrow \sqrt{m\omega\hbar} ~p$$ $$x\rightarrow \sqrt{\frac{\hbar}{m\omega}}~x$$ And then define the following $$K_1=\frac 14 (p^2-q^2)$$ $$K_2=\frac ...
1
vote
3answers
255 views

Commutators involving functions

I am looking for the commutator: $$[e^{aq},p]$$ My approach is to Taylor expand the function: $$[\sum_n \frac{1}{n!}(aq)^n,p]$$ I know that $[q^n,p]=ni\hbar q^{n-1}$ So how do I account for $n$ ...
4
votes
1answer
104 views

Simple Commutator question

For some reason this is really tripping me up: $$[q_rq_sp_r,q_sp_rq_s]$$ Where $r$ and $s$ are different. Is this just zero because $p_r$ on $q_s =0$. I am trying to simplify this and I feel like 0 ...
3
votes
1answer
141 views

2D Harmonic Oscillator Commutators

So I am given a 2-dimensional harmonic oscillator with $H=H_1+H_2$ where $$H_i=\frac{p_i^2}{2m}+\frac{1}{2}m\omega^2x_i^2$$ Additionally, $$L=x_1p_2-x_2p_1$$ If we define ...
2
votes
3answers
340 views

EQUAL TIME commutation relations

Why is equal time commutation relation used in canonical quantization of free fields?
3
votes
2answers
185 views

Commutator not transitive

I noticed the following: $$[L_{+},L^2]=0,\qquad [L_{+},L_3]\neq 0,\qquad [L^2,L_3]=0.$$ This would suggest, that $L^2,L_+$ have a common system of eigenfunctions, and so do $L^2,L_3$, but $L_+,L_3$ ...
1
vote
1answer
159 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
163 views

Commutators in bra-ket notation

2-d Hilbert space, with 2 (orthogonal) kets $|a\rangle$ and $|b\rangle$ Operator $A=|a\rangle\langle b| + |b\rangle\langle a| $ Operator $B=-i|a\rangle\langle b| +i|b\rangle\langle a| $ Commutator ...
0
votes
0answers
94 views

Change of QM Momentum operator under coordinate transformation

Can any one please let me know what is the general procedure to construct the momentum operator under some coordinate transformation? For example, I understand that if ...
3
votes
2answers
344 views

Commutator of $L^2$ and $X^2$, $P^2$

In our quantum mechanics script, it states that $[L^2, X^2] = 0$ and $[L^2, P^2] = 0$, therefore for the following Hamiltonan $$H = \frac{P^2}{2m} + V(X^2)$$ it is that $[H, L^2] = 0$ therefore $H$ ...
2
votes
1answer
197 views

Can the quantum angular momentum operator be derived from its commutation relations with position and momentum?

Exercise 12.2.2 in Shankar's Principles of Quantum Mechanics asks to derive the expression for the angular momentum operator $L_z$ \begin{equation} L_z = XP_y-YP_x \end{equation} using its ...
2
votes
1answer
91 views

Does this commutation relation hold?

I was wondering whether it is true that $[L_x^2,x^2+y^2+z^2]=0$. I could not find it in the internet and therefore I wanted to ask here whether anybody here knows that this is true or false.
5
votes
0answers
89 views

Commutator as a time-ordered product

I'm reading through Seiberg and Witten's paper "String Theory and Noncommutative Geometry," and one part in $\S$2.1 isn't quite clear to me. (Sorry, in advance, for the length.) My question is about ...
5
votes
3answers
278 views

Evaluating commutator of $[\operatorname{sign}(X),\, \operatorname{sign}(P)]$

I wish to evaluate the following commutator: $[\operatorname{sign}(X),\, \operatorname{sign}(P)]$. Is there a general method for evaluating $[\operatorname{f}(X), \operatorname{f}(P)]$? I thought of a ...
1
vote
2answers
355 views

Canonical equal time commutation relations in QED

I understand that to quantize the classical electromagnetic field one needs to impose commutation relations and express the field in terms of creation and annihilation operators. I notice that the ...
2
votes
3answers
210 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 ...
-3
votes
1answer
67 views

What is the commutator? [closed]

$e$ and $f$ are unit vectors, $L_e$ is defined by $L_e=eL$, where $L$ is of course the angular momentum operator. A similar definition for $L_f=fL$ The commutator that I can't solve: ...
2
votes
0answers
92 views

Commutators with function

I have following exercise: If $[C,D]$ is a c-number and $f(x)$ is a well-behaved function (i.e. all derivatives exist and are finite), show that: $$[C, f(D)]=[C,D]f'(D)$$ where $f'(D) = ...
1
vote
1answer
116 views

Observables still commute even if fields only anti-commute

In Peskin & Schroeder page 56, after introducing anti commutation relations for the fields instead of commutation relations (in order to fix the negative energy problem as well as to have proper ...
4
votes
1answer
185 views

Quantizing the Dirac Field: which commutation relations are more fundamental?

When quantizing a system, what is the more (physically) fundamental commutation relation, $[q,p]$ or $[a,a^\dagger]$? (or are they completely equivalent?) For instance, in Peskin & Schroeder's ...
1
vote
1answer
75 views

Commutator evolution operator and position operator

Let $H= \frac{p^2}{2m}$, then I am supposed to calculate $[x,e^{-iHt}]$. My idea was to use $[x,p^n]=i \hbar n p^{n-1}$ and so I ended up by using the series for the exponential function with ...
4
votes
4answers
387 views

Is uncertainty principle a technical difficulty in measurement?

I have searched for an answer to this question on physics SE but I have not seen a question in which it is addressed properly. Please let me know if there is an answer already. My question briefly ...
6
votes
2answers
263 views

How does the proof of operator commutativity work with non-continuous operators?

In some books, a proof that if two self-adjoint operators $A$ and $B$ share a common eigenbasis $\{\phi_n\}$, then they commute is given as follows : For any $\phi_n$, $$AB\ \phi_n = a_n\ ...
1
vote
1answer
65 views

How does the following commutator for measured observables and this operator relation imply the following relation?

$$ \hat{\Omega}_j{(\tilde{q}_j)}=\Omega_j(\tilde{q}_j-\hat{q}_j) $$ $$ [\hat{q}_j,\hat{q}_l]=ik_{jl} $$ Implies $$ [\hat{q}_j,\hat{\Omega}_l]= ...
2
votes
1answer
107 views

Product of position eigenvectors at different times

I've been thinking about this, and it might sound like a stupid question, but I can't seem to find an answer anywhere, here goes: Whenever we calculate expecation-values between two position ...
1
vote
1answer
1k views

Commutator of Momentum with a Position dependent function

I heard from my GSI that the commutator of momentum with a position dependent quantity is always $-i\hbar$ times the derivative of the position dependent quantity. Can someone point me towards a ...
1
vote
1answer
267 views

A few simple questions about Grassmann numbers: commutation relations and derivatives

I'm trying to learn about Grassmann numbers from the book "Condensed Matter Field Theory" by Altland and Simons, but I am currently encountering some difficulties. I have several smaller questions ...
1
vote
0answers
62 views

How does linearity of a measurement imply that the commutator of all measured observables are $c$-numbers?

I really don't understand with the linearity conditions I have where this comes from.
1
vote
1answer
174 views

Why does $[xp_{y},x]$ commute?

I'm looking at a solution in my book that says $[xp_{y},x]$ commutes. Does bracket notation imply: $[A,B]=AB-BA$ so that $[xp_{y},x]=xp_{y}x-xxp_{y}$ Taking the comment from Max Graves and ...
3
votes
1answer
345 views

What exactly is the connection between the Jacobi and Bianchi identities

While reviewing some basic field theory, I once again encountered the Bianchi identity (in the context of electromagnetism). It can be written as $$\partial_{[\lambda}\partial_{[\mu}A_{\nu]]}=0$$ ...
2
votes
1answer
74 views

Fock state and corresponding relations for continuous momentum label

In Wikipedia I found following relation for Fock state: $$ \hat {a}_i| \{n_j\}_j\rangle ~=~ \sqrt{n}_i| \{n_j-\delta_{ij}\}_j\rangle, $$ where $n_j$ refers to the number of $j$'th particles. This ...
0
votes
2answers
737 views

Quantum Commutator Identities

Question: Prove that $p^2$ and ${\bf r}\cdot {\bf p}$ commute with every component of ${\bf L}$ using the identity $$[{\bf p},{\bf e}\cdot {\bf L}]=i\hbar\, ...
2
votes
3answers
891 views

Why Don't the Ladder Operators Commute?

I have two problems with ladder operators. The first is that I feel they should somehow result in measurable things. The asymmetry of applying the plus operator versus the minus operator is very ...
5
votes
2answers
160 views

Do we need to expand the potential in a power series to show $[x, V(x)] = 0$?

Today in class (Intro to QM) we went over a couple of commutators. Among them was $[x, V]$, where $V=V(x)$ is a potential. What the teacher said to prove this is zero was: let's assume $V$ is analytic ...
3
votes
2answers
460 views

How to prove that $i\hbar\frac{\partial}{\partial \mathbf{p}}$ is the operator of $\mathbf{x}$ in momentum space?

How to prove that $i\hbar\frac{\partial}{\partial \mathbf{p}}$ is the operator of $\mathbf{x}$ in momentum space?
0
votes
0answers
121 views

Quantum Hamiltonian commuting with the Pauli-Runge vector

I have to prove that $[A_j, H] = 0$, with; $$\vec{A} = \frac{1}{2Ze^{2}m}(\vec{L} \times \vec{P} - \vec{p} \times \vec{L}) + \frac{\vec{r}}{r}$$ $$H = \frac{p^2}{2m} - \frac{Ze^2}{r}$$ And, $Z, e, ...
1
vote
3answers
427 views

Simple Quantum Mechanics Question about The Commutator of Translation Operators

Say there is $\hat{J} = \exp[-i \hat{p} l/ \hbar]$ and $\hat{U}= \exp[-i\hat{H}t/ \hbar]$, where $\hat{H}$ is time-independent. Can we say anything about $[\hat{J},\hat{U}]$? Is it zero? How do we ...
1
vote
0answers
121 views

Commutator problem

I am trying to calculate the following commutator $$[\mathcal{H}_0(r',t'),\psi(r,t)]_-$$ where $\mathcal{H}_0 = (\frac{1}{2m}\nabla^2 + e\mathbf{A}(r',t'))^2 + e\phi(r',t') - \mu$, and $\mu$ is the ...
1
vote
2answers
798 views

Prove $[A,B^n] = nB^{n-1}[A,B]$

I am trying to show that $[A,B^n] = nB^{n-1}[A,B]$ where A and B are two Hermitian operators that commute with their commutator. However, I am running into a little problem and would like a hint of ...
1
vote
3answers
276 views

$\mathrm{Tr}(XY) = \mathrm{Tr}(YX)$?

I'm trying to understand the Dirac notation to understand quantum mechanics better. I'm trying to show the above relation using the Dirac notation. Given $$\mathrm{Tr}(X)~=~\sum_j\langle ...
4
votes
2answers
241 views

Star product of two commuting spinors

Ok so this might be a very stupid and trivial question but I have spent a couple of hours on this little problem. I am trying to derive a simple formula in a paper. We have a real commuting spinorial ...
1
vote
1answer
166 views

Spinor irreducible reps of the Lorentz group and their algebra

Antisymmetric tensor of rank two can be connected with spinor formalism by the formula $$ M_{\mu \nu} = \frac{1}{2}(\sigma_{\mu \nu})^{\alpha \beta}h_{(\alpha \beta )} - \frac{1}{2}(\sigma_{\mu ...
5
votes
1answer
348 views

Do mutual eigenkets imply commutation of two operators?

I have been working on this question. I have solved it, and I would like to check whether my line of reasoning is right or wrong Question: Prove that if there exists a mutual complete set of ...