In physics, an operator is almost always either a square matrix or a linear mapping from one space of functions (often on $\mathbb{R}^N$ or $\mathbb{C}^N$) to the same or other like space of functions. Operators serve as *observables* and as *time evolution operators* in Quantum Mechanics. This tag ...

learn more… | top users | synonyms

5
votes
3answers
443 views

Why is this identity an if, rather than if and only if?

A recent question (Product of exponential of operators) asked who to proved that the exponentials of operators multiply in same manner as those of scalars if and only if the commutator of the ...
5
votes
1answer
238 views

Directional derivatives in the multivariable Taylor expansion of the translation operator

Let $T_\epsilon=e^{i \mathbf{\epsilon} P/ \hbar}$ an operator. Show that $T_\epsilon\Psi(\mathbf r)=\Psi(\mathbf r + \mathbf \epsilon)$. Where $P=-i\hbar \nabla$. Here's what I've gotten: ...
5
votes
3answers
337 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
1answer
261 views

Operator norm of creation and annihilation operators

Are the creation and the annihilation operators $a(f)$ and $a^{\dagger}(f)$ for the bosonic Fock space bounded? What is their norm? So far I did not have found any note about this in the linked ...
5
votes
3answers
901 views

Associating a Unitary operator to proper Lorentz transformations?

If one reads eg page 32 of Srednicki where he says: In quantum theory, symmetries are represented by unitary (or antiunitary) operators. This means that we associate a unitary operator U(Λ) ...
5
votes
2answers
321 views

How did the operators come about?

This relates a little bit to my previous question (Experimentally, what categorizes a measurement as corresponding to a certain observable?), but it's different in a way and more historical. One of ...
5
votes
2answers
472 views

When you apply the spin operator, what exactly is does it tell you?

The example I'm trying to understand is: $ \hat{S}_{x} \begin{pmatrix} \frac{1}{\sqrt{2}}\\ \frac{1}{\sqrt{2}} \end{pmatrix} = 1/2 \begin{pmatrix} \frac{1}{\sqrt{2}}\\ \frac{1}{\sqrt{2}} ...
5
votes
2answers
463 views

Can expectation value be imaginary?

I was solving a problem and the result of the expectation value of an operator came out to be $-\frac{\hbar}{4}$ $i$. Is this result possible? It seems counter intuitive.
5
votes
2answers
5k 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 ...
5
votes
3answers
399 views

Some questions on observables in QM

1-In QM every observable is described mathematically by a linear Hermitian operator. Does that mean every Hermitian linear operator can represent an observable? 2-What are the criteria to say whether ...
5
votes
3answers
942 views

Why is normal ordering a valid operation?

Why is normal ordering even a valid operation in the first place? I mean it can give us some nice results, but why can we do the ordering for the operators like that? Is its definition motivated by ...
5
votes
1answer
221 views

Hilbert space for Density Operators (instead of Banach spaces)

Is it possible to construct a well defined inner-product (and therefore orthonormality) within the set of self-adjoint trace-class linear operators? In the affirmative case, dynamics could be analyzed ...
5
votes
3answers
313 views

Countable Matrix Representation

In my quantum mechanics class, my professor explained that the Hamiltonian along with position and momentum operators can be represented by matrices of countable dimension. This is especially usefull ...
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 ...
5
votes
1answer
101 views

Quantum Mechanics - Lowering Operator [closed]

Let $a$ be a lowering operator. Show that $a$ is a derivative respects to raising operator, $a^\dagger$, $$a = \frac{\textrm{d}}{\textrm{d}a^\dagger}$$ Can someone please explain how to prove the ...
5
votes
1answer
373 views

Self-adjoint differential operators

I'm having a hard time understanding the deal with self-adjoint differential opertors used to solve a set of two coupled 2nd order PDEs. The thing is, that the solution of the PDEs becomes ...
5
votes
1answer
546 views

Simultaneously commuting set

How does one determine the members of an simultaneously commuting set (of operators)? For example, I have read that for orbital angular momentum, the set is {$H,L^2,L_z$}. How does one know that these ...
5
votes
1answer
90 views

Has anyone published the procedure to generalize ladder operators for any potential in Schrodinger's equation?

I know that the ladder operator for the quantum harmonic oscillator \begin{align} H\psi_m = \left(\dfrac{p^2}{2m}+\dfrac{1}{2}m\omega^2x^2\right)\psi_m=E_m\psi_m \end{align} is \begin{align} A = ...
5
votes
3answers
154 views

Does Peskin & Schroeder Eq. (4.26), $U(t_1,t_2)U(t_2,t_3) = U(t_1,t_3)$ imply $[H_0,H_{int}] = 0$?

Peskin & Schroeder equation (4.17) define the operator, \begin{equation} U(t,t_{0})~=~e^{i(t-t_{0})H_{0}}e^{-i(t-t_{0})H} \tag{4.17} \end{equation} where $$H~=~H_0+H_{\text{int}}\tag{4.12}$$ is ...
5
votes
1answer
382 views

How do we measure $i[\hat\phi(x),\hat\phi(y)]$ in QFT?

What operational procedure is required to measure $i[\hat\phi(x),\hat\phi(y)]$ in an interacting (or non-interacting) QFT? [assume smearing by test-functions, or give an answer in Fourier space, for ...
5
votes
1answer
812 views

How to evaluate spin operators in second quantization for spin symmetry-broken Slater determinants?

Suppose we have the following Slater determinant: \begin{equation} | \Psi \rangle = \prod \limits_{i,i'} a^+_{i\alpha} a^+_{i'\beta} | \rangle \end{equation} where $a^+_{i\alpha}$ creates an electron ...
5
votes
1answer
201 views

Apparent spacetime dependence of creation and annihilation operators

I'm currently going through An Introduction to Quantum Field Theory by Hartmut Wittig I've stumbled upon. Having trouble with equation (2.29), I'm asking the question: Do creation and annihilation ...
5
votes
1answer
239 views

Kraus operator rank

All quantum operations $\mathcal{E}$ on a system of Hilbert space dimension $\mathcal{d}$ can be generated by an operator-sum representation containing at most $\mathcal{d^2}$ elements. Extending ...
5
votes
1answer
153 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
1answer
162 views

Constructing the space of quantum states

I want to learn how to construct spaces of quantum states of systems. As an exercize, I tried to build the space of states and to find hamiltonian spectrum of the quantum system whose Hamiltonian is ...
5
votes
1answer
179 views

Equation 2.27 from Pachos's introduction to topological quantum computing

http://quince.leeds.ac.uk/~phyjkp/Files/IntroTQC.pdf above is the PDF that is hosted on his website. The equation is on page 22 (pg 30 in the pdf). In chapter 2. It is the second equation of the ...
4
votes
3answers
485 views

Schroedinger equation for hydrogen atom

I have got a problem understanding the meaning of the Laplace operator in the Schrödinger equation for the hydrogen atom. $$\Big(-\frac{\hbar^2}{2m_e} \Delta_{r_e} - \frac{\hbar^2}{2M_P} \Delta_{r_p} ...
4
votes
2answers
2k views

Hermitian operator and reality of eigenvalues

Prove or disprove: The eigenvalues of an operator are all real if and only if the operator is hermitian. I know the proof in one way; that is, I know how to prove that if the operator is hermitian, ...
4
votes
2answers
1k views

Derivative of the product of operators and Derivative of exponential

I'm asked to show that $$\frac{d(\hat{A}\hat{B})}{d\lambda} ~=~ \frac{d\hat{A}}{d\lambda}\hat{B} + \hat{A}\frac{d\hat{b}}{d\lambda}$$ With $\lambda$ a continuous parameter. Should I use the ...
4
votes
4answers
916 views

How does the momentum operator act on state kets?

I have been going through some problems in Sakurai's Modern QM and at one point have to calculate $\langle \alpha|\hat{p}|\alpha\rangle$ where all we know about the state $|\alpha\rangle$ is that ...
4
votes
4answers
273 views

What is the right order of creation operators?

I started to learn some basics of second quantisation and specifically its use in quantum chemistry. Currently I'm reading this book by Péter R. Surján, and here is small excerpt from it. If one ...
4
votes
2answers
353 views

Where to place the operator?

I believe it's standard to place the operator in between the conjugate of the wavefunction and the wavefunction itself. For instance, $$\langle p\rangle = \int_{-\infty}^{\infty}\Psi * ...
4
votes
1answer
980 views

Representation of operators in quantum mechanics

For which systems we represent the Hamiltonian as a differential operator and for which system we represent it by a matrix? Can the momentum be represented by a matrix operator?
4
votes
2answers
441 views

Position operator in QFT

My Professor in QFT did a move which I cannot follow: Given the state $$\hat\phi|0\rangle = \int \frac{d^3p}{(2\pi)^3 2 E_p} a^\dagger_p e^{- i p_\mu x^\mu}|0\rangle,$$ he wanted to show that this ...
4
votes
1answer
357 views

Imaginary Eigenvalue Of A Hermitian Operator

The eigenfunctions of a Hermitian operator are real. But consider a function $\psi(x)=e^{-\kappa x}$, $x\in\mathbb{R}$, where $\kappa$ is a real constant. Then, $$\hat p \psi(x)=-i\hbar ...
4
votes
3answers
267 views

Identify the coefficients of Operator Product Expansion (OPE)

Sorry I have a stupid question in Polchinski's string theory book vol 1, p46. For a holomorphic function $T(z)$ with a general operator $\mathcal{A}$, there is a Laurent expansion $$T(z) A(0,0) \sim ...
4
votes
2answers
372 views

How to promote algebraic expressions to operators in quantum mechanics?

Okay, I know that in quantum mechanics the quantum observable is obtained from the classical observable by the prescription $$ X \rightarrow x,\quad P \rightarrow -i\hbar\frac{\partial}{\partial x} ...
4
votes
1answer
299 views

The issue on existence of inverse operations of $a$ and $a^{\dagger}$

I have asked a question at math.stackexchange that have a physical meaning. My assumption: Suppose $a$ and $a^\dagger$ is Hermitian adjoint operators and $[a,a^\dagger]=1$. I want to prove that ...
4
votes
4answers
852 views

How to calculate the quantum expectation of frequency of a particle?

I know how to calculate the expectation of < $\Psi$|A|$\Psi$ > where the operator A is the eigenfunction of energy, momentum or position, but I'm not sure how to perform this for a pure frequency. ...
4
votes
5answers
894 views

Math of eigenvalue problem in quantum mechanics

I learned the eigenvalue problem in linear algebra before and I just find that the quantum mechanics happen to associate the Schrodinger equation with the eigenvalue problem. In linear algebra, we ...
4
votes
4answers
889 views

How to prove that the symmetrisation Operator is hermitian?

Let $\mathcal{H}_N$ be the $N$ particle Hilbert space. So a quantum state $\left| \Psi \right>$ may be representated by $$\left| \Psi \right> = \left| k_1 \right>^{(1)}\left| k_2 ...
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
4answers
315 views

Evaluation of expectation values

I will denote operators with hats. Suppose we got an operator of the form $i[\hat p, \tan^{-1}(e^{\hat x})]$ and we want to calculate the amplitude for a transition from a state $|p_i\rangle$ to the ...
4
votes
1answer
127 views

Are there two different ways to express the position operator $x$ in terms of the creation and annihilation operator?

As we known, to express the position operator $x$ in terms of the creation and annihilation operator $a^{+}$ and $a$, one way is: $$x= \sqrt{\frac{\hbar}{2\mu\omega}}(a^++a);$$ $$p= ...
4
votes
1answer
206 views

Bounded and Unbounded Operator

Can someone explain with a concrete example of how can I can check whether a quantum mechanical operator is bounded or unbounded? EDIT: For example., I would like to check whether $\hat ...
4
votes
1answer
209 views

Continuity domain for momentum operator

I know this is essentially a mathematic question, but I received no answer on math SE. Moreover it has a direct application in physics, so I thought to ask this here too. The momentum operator in one ...
4
votes
2answers
589 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
306 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. ...
4
votes
4answers
651 views

Unitary Operator as a complex valued function

A book on Quantum Mechanics by Schwinger states, "A unitary operator can be considered to be a complex valued function of a Hermitian operator." Please give a hint on how to prove this assertion.
4
votes
2answers
203 views

How does Dirac define the representative of $\{\langle\phi\frac{d}{dq}\}\psi\rangle = \langle\phi\{\frac{d}{dq}\psi\rangle\}$

On pate 89 of Dirac's book, The Principles of Quantum Mechanics, he writes: Let us treat the linear operator $\frac{d}{dq}$ according to the general theory of linear operators of section 7. We ...