3
votes
1answer
50 views

Is obtaining the coordinate representation of momentum operator from commutator more fundamental than generator of translation

Related post: What is the most general expression for the coordinate representation of momentum operator? There are two methods of obtaining the coordinate representation of momentum in quantum ...
0
votes
2answers
35 views

Projection operators and their subspaces (of Hilbert space)

I've been watching Susskind's lectures on Quantum Entanglement, and something he said regarding (non-)commuting projection operators confused me. Consider two subspaces {$|a>$} and {$|b>$} of ...
0
votes
1answer
60 views

Is $\langle k \vert k_1k_2\rangle=0$

Using that $$ \vert k_1k_2\rangle = a^\dagger({\bf k_1})a^\dagger({\bf k_2})\vert 0 \rangle$$ and the commutation relations $$[a({\bf k}),a^\dagger({\bf k'})]=(2\pi)^32\omega\delta^3(\bf {k}- \bf ...
2
votes
1answer
77 views

The Physical Meaning behind a Commutator [duplicate]

I've just been introduced to the idea of commutators and I'm aware that it's not a trivial thing if two operators $A$ and $B$ commute, i.e. if two Hermitian operators commute then the eigenvalues of ...
-1
votes
1answer
79 views

Apply the Heisenberg Equation to the Hamiltonian [closed]

$\frac{d}{dt}$$\hat{H}$ = $\frac{i}{\hbar}$$[\hat{H},\hat{H}]$ +$\frac{\partial{\hat{H}}}{\partial{t}}$ That's as far as I've got. I do not know much about the Heisenberg equation or even what it ...
0
votes
3answers
59 views

Commutator summation notation

I have the relation $ e^L M e^{-L}=\sum_{n=0}^\infty \frac 1{n!} [L,M]_{(n)}$ where $L$ and $M$ are operators. What does the subscript $n$ after the commutator bracket denote?
0
votes
0answers
30 views

Commutators of differential and field operators

In $p+ip$ superconductivity, a term in the Hamiltonian (in polar coordinates) is $$ H=\int \mathrm{d}^2\vec{r} \left[ \left( \partial_r -\frac{i}{r} \partial_{\theta} \right) \psi^\dagger(\vec{r}) ...
1
vote
3answers
55 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 ...
-1
votes
1answer
71 views

Commutator with Pauli spin matrices and the momentum operator

How is $\left[\vec\sigma \cdot \vec p, \vec \sigma \right]$ proportional to $\vec \sigma\times \vec p$, where $\sigma$ are the Pauli spin matrices and $p$ is the momentum operator?
5
votes
1answer
95 views

Why don't we use Hamilton-Jacobi method in QM?

In classical mechanics, we usually try to find a set of coordinates by Hamilton-Jacobi method to transform the Hamiltonian to zero such that the coordinates are conservations. However, we never try ...
2
votes
1answer
101 views

Commutator of operator and its derivative

Is it possible to calculate in a general way the commutator of an operator which depends on some variable and the derivative of this operator with respect to that variable? $$ \hat o = \hat o(\xi)\\ ...
3
votes
0answers
47 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 ...
2
votes
1answer
144 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
121 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
93 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
2answers
135 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
131 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
0answers
78 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
202 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$ ...
5
votes
3answers
232 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 ...
2
votes
0answers
63 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
58 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 ...
6
votes
2answers
230 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
55 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]= ...
1
vote
1answer
553 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
0answers
56 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
140 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 ...
2
votes
3answers
523 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 ...
3
votes
2answers
359 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?
1
vote
3answers
372 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
2answers
519 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
249 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
313 views

Heisenberg picture of QM as a result of Hamilton formalism

Let's have formula of full time-derivative of physical value in Poisson's formalism: $$\tag{1} \frac{df}{dt} = -[H, f]_{P. br.} + \frac{\partial f}{\partial t}, $$ where $[A, B]_{P. br.}$ is Poisson's ...
4
votes
2answers
236 views

What is the most general expression for the coordinate representation of momentum operator?

I have a question about deriving the coordinate representation of momentum operator from the commutation relation, $[x,p]= i$. One derivation (ref W. Greiner's Quantum Mechanics: An Introduction, 4th ...
0
votes
2answers
116 views

Operator on Function of Momentum (QM)

I have exactly 0 clue on how to start this problem, but I would be forever grateful for a hint in the right direction. Given the operators $\hat x=x$ and $\hat p=-i\hbar \frac{d}{dx}$, prove the ...
3
votes
2answers
236 views

Unitary spacetime translation operator

Srednicki writes: We can make this a little fancier by defining the unitary spacetime translation operator $$ T(a) \equiv \exp(-iP^\mu a_\mu/ \hbar) $$ Then we have $$ T(a)^{-1} \phi(x) T(a) = ...
4
votes
1answer
113 views

Time-ordered Derivative and Equal-time Commutator

In Green, Schwarz & Witten Superstring theory, Vol. I, page 141, I don't understand how pulling the derivative inside the Time-ordered product can give an Equal-time Commutator: $$\tag{3.2.44} ...
6
votes
3answers
280 views

Commutator with a square root

How to find the commutator $[a, \sqrt{a^\dagger a}]$? Here $a$ is a usual bosonic annihilation operator, and $[a, a^\dagger] = 1$. The first thing I tried is $$ [x,A] = [x, \sqrt{A}]\sqrt{A} + ...
2
votes
2answers
124 views

Are higher order mixed partial derivatives of wave function with different ordination equal?

For example, given two operators: $$A = \frac{\partial}{\partial x}+\frac{\partial}{\partial y},$$ $$B =\frac{\partial^2}{\partial x^2}+\frac{\partial^2}{\partial y^2} + 1.$$ Deriving commutator ...
-1
votes
2answers
103 views

Proof $\left[ {\hat H,{{\hat p}_i}} \right] = - \frac{\hbar }{i}\frac{{\partial \hat H}}{{\partial {{\hat q}_i}}}$ [closed]

I have a problem with the Hamiltonian, I don't think anything to solve it!! So could you give me some hints! Knowing that: $$\left[ {{{\hat p}_i},{{\hat q}_k}} \right] = \frac{\hbar }{i}{\delta ...
1
vote
1answer
128 views

Energy eigenvalues of a Q.H.Oscillator with $[\hat{H},\hat{a}] = -\hbar \omega \hat{a}$ and $[\hat{H},\hat{a}^\dagger] = \hbar \omega \hat{a}^\dagger$

I just finished deriving the commutators: \begin{align} [\hat{H}, \hat{a}] &= -\hbar \omega \hat{a}\\ [\hat{H}, \hat{a}^\dagger] &= \hbar \omega \hat{a}^\dagger\\ \end{align} On the ...
4
votes
2answers
323 views

Proof for commutator relation $[\hat{H},\hat{a}] = - \hbar \omega \hat{a}$

I know how to derive below equations found on wikipedia and have done it myselt too: \begin{align} \hat{H} &= \hbar \omega \left(\hat{a}^\dagger\hat{a} + \frac{1}{2}\right)\\ \hat{H} &= ...
5
votes
2answers
965 views

Translator Operator

In Modern Quantum Mechanics by Sakurai, at page 46 while deriving commutator of translator operator with position operator, he uses $$\left| x+dx\right\rangle \simeq \left| x \right\rangle.$$ But for ...
0
votes
1answer
223 views

Matrix representation for fermionic annihilation operator

My guess it should look something like this: $ c_\sigma = ...
1
vote
0answers
118 views

QFT basics for Klein-Gordon fields

I am teaching myself QFT from Peskin for next years maths course and I have two questions: What is a c-number? Is it a complex number, and if so why does it mean, ...
3
votes
2answers
407 views

Quantum commutator

I'm given this commutator: $$\left[PXP,P\right]$$ Being $P\psi=-i\hbar\partial_x\psi$, and $X\psi=x\psi$ I've solved it in two ways, the first one is just aplying the commutator to some function ...
2
votes
1answer
304 views

Quantum mechanical analogue of conjugate momentum

In classical mechanics, we define the concept of canonical momentum conjugate to a given generalised position coordinate. This quantity is the partial derivative of the Lagrangian of the system, with ...
1
vote
1answer
236 views

Klein-Gordon Canonical Commutation Relation (CCR)

In the complex Klein-Gordon field we regard as dynamical variables the field $\phi$, the complex conjugate of the field $\phi^*$, and the momenta $\pi$, $\pi^*$. I can't see how should arise the ...
0
votes
1answer
340 views

Evaluate Commutator with Partial Derivatives

I need to evaluate the following commutator... $[x(\frac{\partial}{\partial y})-y(\frac{\partial}{\partial x}),y(\frac{\partial}{\partial z})-z(\frac{\partial}{\partial y})]$ i tried applying an ...
7
votes
2answers
531 views

What does the Canonical Commutation Relation (CCR) tell me about the overlap between Position and Momentum bases?

I'm curious whether I can find the overlap $\langle q | p \rangle$ knowing only the following: $|q\rangle$ is an eigenvector of an operator $Q$ with eigenvalue $q$. $|p\rangle$ is an eigenvector of ...