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

learn more… | top users | synonyms (1)

4
votes
2answers
1k views

Deriving the Angular Momentum Commutator Relations by using $\epsilon_{ijk}$ Identities

I've been trying to derive the relation $$[\hat L_i,\hat L_j] = i\hbar\epsilon_{ijk} \hat L_k $$ without doing each permutation of ${x,y,z}$ individually, but I'm not really getting anywhere. ...
-1
votes
2answers
127 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
153 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
543 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
2k 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 ...
4
votes
1answer
345 views

Moyal Product in Non Commutative Quantum Mechanics

Can someone please explain me what is a Moyal product? Also, how does putting $$X_a(\psi) ~=~ x_a\star\psi$$ realise $$[X_a,X_b]=i\theta_{ab}{\bf 1}?$$ Ref: Quantum mechanics on non-commutative ...
2
votes
1answer
466 views

Matrix representation for fermionic annihilation operator

My guess it should look something like this: $ c_\sigma = ...
1
vote
0answers
146 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
484 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
564 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 ...
7
votes
1answer
385 views

Find $\hat{x}$ operator given $\hat{p}$ operator

This is problem $1.2$ of Molecular Quantum Mechanics by Atkins, 4th edition. I'm given the momentum operator $$p=\sqrt{\frac{\hbar}{2m}}(A+B)$$ with $$[A,B]=1$$ and I need to find $x$ in this ...
1
vote
1answer
365 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 ...
3
votes
1answer
205 views

State space of QFT, CCR and quantization, and the spectrum of a field operator?

In the canonical quantization of fields, CCR is postulated as (for scalar boson field ): $$[\phi(x),\pi(y)]=i\delta(x-y)\qquad\qquad(1)$$ in analogy with the ordinary QM commutation relation: ...
0
votes
1answer
637 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 ...
6
votes
2answers
505 views

Causality and Quantum Field Theory

I have a problem with proof of causality in Peskin & Schroeder, An Introduction to QFT, page 28. To avoid confusion I use three vectors notation, rewriting the Eq. (2.53) for $y=0$ as follows: ...
3
votes
1answer
406 views

What conservation law corresponds to this local $U(1)$ symmetry of the CCR?

It is known that canonical commutation relations do not fix the form of momentum operator. That means that if canonical commutation relations (CCR) are given by ...
14
votes
2answers
1k views

In QFT, why does a vanishing commutator ensure causality?

In relativistic quantum field theories (QFT), $$[\phi(x),\phi^\dagger(y)] = 0 \;\;\mathrm{if}\;\; (x-y)^2<0$$ On the other hand, even for space-like separation $$\phi(x)\phi^\dagger(y)\ne0.$$ ...
7
votes
1answer
357 views

Canonical quantization in supersymmetric quantum mechanics

Suppose you have a theory of maps $\phi: {\cal T} \to M$ with $M$ some Riemannian manifold, Lagrangian $$L~=~ \frac12 g_{ij}\dot\phi^i\dot\phi^j + \frac{i}{2}g_{ij}(\overline{\psi}^i ...
7
votes
1answer
288 views

Theories with non-vanishing commutators outside the lightcone

I'm reading Weinberg's new book on Quantum Mechanics, and in Chapter 8.7 "Time-Dependent Perturbation Theory" he derives the usual Dyson series for the $S$ matrix when the interaction Hamiltonian ...
3
votes
2answers
837 views

Commutator with expontential [A, exp(B)]

How can I tell if $A$ and $\exp(B)$ commute? For $[A, B]$ it's simply $AB-BA$ and for $[\exp(A), \exp(B)]$ I think it'd be $\exp(A)\exp(B) - \exp(B)\exp(A) = \exp(A+B) - \exp(B+A) = 0$. Update: it's ...
1
vote
1answer
532 views

Canonical transformation and Hamilton's equations

I was trying to prove, that for a transformation to be Canonical, one must have a relationship: $$ \left\{ Q_a,P_i \right\} = \delta_{ai} $$ Where $Q_a = Q_a(p_i,q_i)$ and $P_a = P_a(p_i,q_i)$. Now ...
4
votes
1answer
151 views

QED Commutation Relations Implications

In Brian Hatfield's book on QFT and Strings there is the following quote: In particular $$ [A_i (x,t), E_j(y,t)] = -i \delta_{ij}\delta(x-y) $$ implies that $$ [A_i(x,t),\nabla \cdot E(y,t)] = ...
1
vote
1answer
164 views

Commutation relation of $J^2$ and $R(\alpha,\beta,\gamma)$

If $R(\alpha,\beta,\gamma)$ is the Rotation operator and $\alpha,\beta,\gamma$ are Euler angles and $J$ is the total angular momentum then how to get to this: $$[J^2,R]~=~0?$$ This is stated in ...
4
votes
3answers
2k views

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 ...
1
vote
2answers
465 views

Example of two linearly independent, nowhere vanishing vector fields in $\mathbb{R}^{2}$

I knew that two linearly independent and nowhere-vanishing vector fields provide a basis for the tangent space at each point in $\mathbb{R}^{2}$. Is it necessary that these two vector fields commute? ...
5
votes
3answers
796 views

Does the canonical commutation relation fix the form of the momentum operator?

For one dimensional quantum mechanics $$[\hat{x},\hat{p}]=i\hbar $$ Does this fix univocally the form of the $\hat{p}$ operator? My bet is no because $\hat{p}$ actually depends if we are on ...
6
votes
1answer
3k views

Momentum as Generator of Translations

I understand from some studies in mathematics, that the generator of translations is given by the operator $\frac{d}{dx}$. Similarly, I know from quantum mechanics that the momentum operator is ...
4
votes
1answer
178 views

Why Must Conserved Currents of Lorentz Symmetry Satisfy the Lorentz Algebra

I've seen it written many times that the commutation relation $[M^{I-},M^{J-}]=0$ is required for Lorentz invariance in the light cone gauge quantisation of the bosonic string. This follows ...
6
votes
4answers
525 views

Does uncertainty imply noncommutativity?

We already know that non-commutativity of observables leads to uncertainty in quantum mechanics cf. e.g. this and this Phys.SE post. What about the opposite: Does uncertainty imply noncommutativity? ...
9
votes
2answers
917 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 ...
2
votes
2answers
624 views

Non-commuting operators can't share any eigenvector

In an introductory Quantum Mechanics textbook, I found the following statement: For two Hamiltonians $H$ and $H'$, non commuting with each other, but commuting with the same group of translations ...
5
votes
3answers
5k views

Proof of Canonical Commutation Relation (CCR)

I am not sure how $QP-PQ =i\hbar$ where $P$ represent momentum and $Q$ represent position. $Q$ and $P$ are matrices. The question would be, how can $Q$ and $P$ be formulated as a matrix? Also, what is ...
4
votes
2answers
290 views

Why does $i ( LK-KL )$ represent a real quantity?

According to my textbook, it says that $i( LK-KL )$ represents a real quantity when $K$ and $L$ represent a real quantity. $K$ and $L$ are matrices. It says that this is because of basic rules. ...
1
vote
2answers
428 views

Symmetries, Generators, Commutators and Observables

I'm learning about generators and conservation laws and have derived the equation (1) $$[Q,A]=-i\hbar f(A)$$ which is satisfied by the observable generator $Q$ for a transformation group with ...
4
votes
2answers
481 views

Classical Limit of Commutator

In Dirac's book Principles of quantum mechanics (4th ed., pgs 87-88), he seems to give a very elementary argument as to how the commutator $[X,P]$ reduces to the Poisson brackets ${x,p}$ in the limit ...
1
vote
1answer
188 views

transformations with commutators and anticommutators that generate displacements

is well known that composition of point reflections generate pure displacements. This implies that the commutator of two point reflections will be a pure displacement. Are there similar elemental ...
0
votes
1answer
1k views

Operators and Commutator Definitions

I have several problems with General Definitions of an Operator and Commutator : the product of operators is generally not commutative: $$\hat A \hat B \not= \hat B\hat A .$$ what is this means ...
1
vote
1answer
397 views

Commutators with a density matrix

The equation describing the evolution of our system is as follows: $ \dot{\rho} = u_1(t)(a^\dagger a \rho - 2a\rho a^\dagger +\rho a^\dagger a) + u_2(t)(a a^\dagger \rho - 2a^\dagger\rho a +\rho a ...
4
votes
3answers
486 views

Generalizing Heisenberg Uncertainty Priniciple

Writing the relationship between canonical momenta $\pi _i$ and canonical coordinates $x_i$ $$\pi _i =\text{ }\frac{\partial \mathcal{L}}{\partial \left(\frac{\partial x_i}{\partial t}\right)}$$ ...
1
vote
1answer
474 views

Multiplication of 3-vector operators

I've started reading "Quantum Mechanics: A Modern Development" by Leslie E. Ballentine and have some trouble understanding how to handle 3-vector operators (i.e. an operator $\mathbf{A}$ with ...
0
votes
1answer
1k views

Derivation of angular momentum commutator relations

I'm trying to understand the derivation of the angular momentum commutator relations. How is $$[zp_y, zp_x] ~=~ 0?$$ How is $$[yp_z, zp_x] ~=~ y[p_z, z]p_x?$$
4
votes
1answer
2k views

Compatible Observables

My QM book says that when two observables are compatible, then the order in which we carry out measurements is irrelevant. When you carry out a measurement corresponding to an operator $A$, the ...
17
votes
5answers
5k views

What is the connection between Poisson brackets and commutators?

The Poisson bracket is defined as: $$\{f,g\}_{PB} ~:=~ \sum_{i=1}^{N} \left[ \frac{\partial f}{\partial q_{i}} \frac{\partial g}{\partial p_{i}} - \frac{\partial f}{\partial p_{i}} \frac{\partial ...
4
votes
3answers
1k views

Index Manipulation and Angular Momentum Commutator Relations

I have been trying for hours and cannot figure it out. I am not asking anyone to do it for me, but to understand how to proceed. We have the relations $$[L_i,p_j] ~=~ i\hbar\; \epsilon_{ijk}p_k,$$ ...
4
votes
1answer
1k views

The implication of anti-commutation relations in quantum mechanics

All the textbooks I saw are very clear about the implications of commutating operators in quantum mechanics. However, much less is said about anti-commutation relations. Does it have a general ...
5
votes
2answers
1k views

Why are anticommutators needed in quantization of Dirac fields?

Why is the anticommutator actually needed in the canonical quantization of free Dirac field?
3
votes
1answer
479 views

How far can you get (in quantum mechanics) with just commutation relations?

Clearly it is possible to derive a set of commutation relations from some Hamiltonian, and certainly they give useful and interesting invariants when investigating the behavior of quantum systems. ...
2
votes
1answer
631 views

Expectation of a commutation relation

Is there any significance to: $\langle[H,\hat{O}]\rangle =0$ (which can easily be shown) where $H$ is the Hamiltonian, $\hat{O}$ is an arbitrary operator? Thanks.
2
votes
2answers
568 views

Operator relation involving the logarithm of an operator?

Dirac gives the relation: $\exp(iaq)f(q,p) = f(q, p - a\hbar)\exp(iaq)$ where $\hbar$ is Planck's constant. Can anybody give me the corresponding relation when the $\exp$ function is a $\ln$?
36
votes
4answers
3k 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 ...