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

learn more… | top users | synonyms (1)

30
votes
4answers
2k 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 ...
14
votes
4answers
3k 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 ...
10
votes
2answers
696 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.$$ ...
8
votes
3answers
613 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 ...
8
votes
5answers
9k views

What is the Physical Meaning of Commutation of Two Operators?

I understand the mathematics of commutation relations and anti-commutation relations, but what does it physically mean for an observable (self-adjoint operator) to commute with another observable ...
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 ...
7
votes
1answer
271 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
232 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 ...
6
votes
3answers
281 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} + ...
6
votes
4answers
391 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? ...
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\ ...
6
votes
2answers
350 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: ...
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 ...
5
votes
2answers
144 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 ...
5
votes
2answers
966 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 ...
5
votes
1answer
279 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
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 ...
5
votes
0answers
72 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 ...
4
votes
3answers
1k 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 ...
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
3answers
317 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 ...
4
votes
4answers
277 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 ...
4
votes
2answers
612 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. ...
4
votes
3answers
3k 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
325 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} &= ...
4
votes
2answers
644 views

Why are anticommutators needed in quantization of Dirac fields?

Why is the anticommutator actually needed in the canonical quantization of free Dirac field?
4
votes
1answer
150 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 ...
4
votes
3answers
846 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
2answers
200 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 ...
4
votes
1answer
124 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)] = ...
4
votes
1answer
1k 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
160 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 ...
4
votes
2answers
327 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 ...
4
votes
1answer
133 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 ...
4
votes
3answers
418 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)}$$ ...
4
votes
2answers
237 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 ...
4
votes
2answers
261 views

Imposing anti-commutation relations on fermionic quasi-particles

In many theories of CMT, we assume the nature of quasi-particles (without giving proper justifications). For example, we assume nature of quasi-particles to be fermionic in case of a interacting ...
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 ...
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} ...
4
votes
1answer
176 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 ...
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 ...
4
votes
1answer
81 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 ...
4
votes
0answers
78 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: ...
3
votes
2answers
514 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 ...
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?
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$ ...
3
votes
3answers
177 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? ...
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$ ...
3
votes
2answers
229 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. ...
3
votes
1answer
234 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$$ ...