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

learn more… | top users | synonyms (1)

2
votes
1answer
216 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
611 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
120 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
178 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
719 views

EQUAL TIME commutation relations

Why is equal time commutation relation used in canonical quantization of free fields?
3
votes
2answers
266 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
192 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
277 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
119 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
563 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
276 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
98 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
110 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
329 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
503 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 ...
3
votes
3answers
270 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 ...
-2
votes
1answer
79 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
124 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
170 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
260 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
92 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
4answers
561 views

Is uncertainty principle a technical difficulty in measurement?

Is the uncertainty principle a technical difficulty in measurement or is it an intrinsic concept in quantum mechanics irrelevant of any measurement? Everyone knows the thought experiment of measuring ...
6
votes
2answers
376 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
70 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
133 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 ...
3
votes
1answer
2k views

Commutator $[\hat{p},F(\hat{x})]$ of Momentum $\hat{p}$ with a Position dependent function $F(\hat{x})$?

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
519 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
64 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
237 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 ...
4
votes
1answer
632 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
96 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
1k 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\, ...
5
votes
3answers
2k 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
180 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
784 views

Proving that $i\hbar\frac{\partial}{\partial \mathbf{p}}$ is the operator of $\mathbf{x}$ in momentum space

How can I prove that $i\hbar\frac{\partial}{\partial \mathbf{p}}$ is the operator of $\mathbf{x}$ in momentum space?
0
votes
0answers
148 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
644 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
136 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
1k 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
315 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
281 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
200 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
472 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 ...
5
votes
2answers
457 views

Heisenberg picture of QM as a result of Hamilton formalism

Consider the formula for the total time-derivative of a physical value in Poisson's formalism: $$\tag{1} \frac{dA}{dt} = -\{H, A\}_{P.B.} + \frac{\partial A}{\partial t}, $$ where $\{A, B\}_{P.B.}$ is ...
4
votes
0answers
90 views

Do commutation relations exist between superfields?

To quantize a theory, Klein gordon field for example, commutation relations are stablished. Or anticommuting ones in the fermionic case. If I have the Wess.Zumino model or the free model: ...
1
vote
0answers
59 views

commutators in an uncertainty relationship derived from a partition function?

The maximum information principle for the discrete case gives rise to a partition function (>>> see details here) $$Z(\lambda_1,\ldots, \lambda_m) = \sum_{i=1}^n \exp\left[\lambda_1 f_1(x_i) + \cdots ...
2
votes
0answers
78 views

commutator to entropy in an uncertainty relationship?

Question: Does there exist a commutator to entropy in an uncertainty relationship? Similar Energy and time for instance.
1
vote
2answers
433 views

Full time-derivative of a function and Schrodinger equation

From Hamiltonian formalism there is well known equation, $$ \frac{d F}{dt} = \frac{\partial F}{\partial t} + \{F, H\}_{PB}, $$ where $ \{H, F\}_{PB}$ is the Poisson bracket. After using Hamiltonian ...
8
votes
3answers
1k views

Eigenstate of position+momentum?

I'm studying Quantum Mechanics on my own, so I'm bound to have alot of wrong ideas - please be forgiving! Recently, I was thinking about the quantum mechanical assertion (postulate?) that states with ...
4
votes
2answers
494 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 ...