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

0
votes
1answer
340 views

Matrix representation for fermionic annihilation operator

My guess it should look something like this: $ c_\sigma = ...
3
votes
2answers
125 views
+50

Grassmann number representation for fermions

How one can simultaneously represent fermionic operators and its corresponding Grassmann variables, so that all the anticommutation relations between them and also states would take place? $$ ...
6
votes
2answers
226 views

How to replace $T$-product with retarded commutator in LSZ formula?

I am reading Itzykson and Zuber's Quantum Field Theory book, and am unable to understand a step that is made on page 246: Here, they consider the elastic scattering of particle $A$ off particle $B$: ...
0
votes
0answers
72 views

Momentum operator in Dirac formalism

Could you derive the momentum operator as follows: Since $\mathcal{T}(\Delta x)=\exp(-ip_{x} \Delta x/ \hslash)$, if we set $\Delta x=x-0$ then it follows that $\left \langle x\right | ...
7
votes
1answer
139 views

Is there a formalism for talking about diagonality/commutativity of operators with respect to an overcomplete basis?

Consider a density matrix of a free particle in non-relativistic quantum mechanics. Nice, quasi-classical particles will be well-approximated by a wavepacket or a mixture of wavepackets. The ...
0
votes
1answer
46 views

Finding the spectrum of a curious hamiltonian

I wish to analyse the following hamiltonian, i.e. find its eigenvalues and eigenstates. $$H = \frac{1}{2}\epsilon(\sigma _z \otimes \mathbb{1} + 1\otimes \sigma _z) - \Delta (\sigma _x \otimes \sigma ...
3
votes
1answer
66 views

Where does the partial derivative come from in Sakurai's derivation of the momentum operator?

How is the momentum operator derived in Dirac formalism? I am reading Quantum Mechanics by Sakurai and he gives the following derivation. But I don't understand how he goes from the third equation to ...
2
votes
3answers
178 views

How to derive $[x_i, F(\vec p)] = i \hbar \frac {\partial F(\vec p)}{\partial p_i}$

Wikipedia indicates that the following relation is "easily shown": $[x_i, F(\vec p)] = i \hbar \frac {\partial F(\vec p)}{\partial p_i}$, however I'm having some trouble showing it. I think I'm just ...
5
votes
3answers
295 views

What is the commutator of an operator and its derivative?

Is it possible to calculate in a general way the commutator of an operator $O$ which depends on some variable $x$ and the derivative of this $O$ with respect to $x$? $${O}={O}(x)\\ ...
1
vote
1answer
34 views

Defining creation and annihilation operators

Creation and annihilation operators can be defined in several different ways, some more general than others. We usually choose to denote by $a$ the annihilation operator and by $a^\dagger$ the ...
7
votes
1answer
351 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 ...
7
votes
3answers
670 views

Mathematical understanding of Quantum Mechanics

Assuming that $\phi(r) = F (\psi(r))$ for some operator $F$ in Quantum Mechanics. Then, in our lecture today, we said that $$\phi(r) = \langle r|F |\psi\rangle = \int_{\mathbb{R}} \langle r |F| r' ...
2
votes
1answer
50 views

Why does the raising and lowering operator not affect total angular momentum?

My notes define: $$ L_{\pm} = L_{x} \pm i L_{y} $$ and states: $$ [L_{z},L_{\pm}] = \pm \hbar L_{\pm} $$ I'm fine with this as it's easy to show the result with some ugly algebra. It then says: ...
1
vote
1answer
22 views

Constructing matrix for spin in Stern-Gerlach experiment for arbitrary angle

This is a conceptual question about a problem in Sakurai. I understand how to solve the problem, but there's something about it that irks me, and it feels like I'm missing something. In the problem, ...
3
votes
1answer
39 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 ...
1
vote
2answers
64 views

Eigenvalues being physical observables

I think I'm comfortable with the PDE solutions to the Schrodinger equation. But as soon as we start putting these values in a matrix (in dirac notation), I lose my understanding and everything ...
2
votes
2answers
72 views

Domain of simple quantum harmonic oscillator

When discussing the spectral theory of unbounded operators, one often starts with an operator defined on a densely defined subspace of your Hilbert space, and then proves that the operator is ...
2
votes
3answers
76 views

Intuition on positive-operator valued measures (POVM)

I'm having a little trouble understanding what positive-operator valued measure (POVM) are- in particular why/how they are non-negative. For instance, if they just represent measurements, what about ...
7
votes
1answer
420 views

The cleverest way to calculate $\left[\hat{a}^{M},\hat{a}^{\dagger N}\right]$ with $\left[\hat{a},\hat{a}^{\dagger}\right]=1$

Who can provide me some elegant solution for $$\left[\hat{a}^{M},\hat{a}^{\dagger N}\right]\qquad\text{with} \qquad\left[\hat{a},\hat{a}^{\dagger}\right]~=~1$$ other than brute force calculation? ...
1
vote
1answer
66 views

Momentum Representation vs Position Representation

We are given an operator $g$ from $\mathcal{l}^2(\mathbb{Z})$ to $\mathcal{l}^2(\mathbb{Z})$, i.e., the space of functions that are square summable over $\mathbb{Z}$ such that ...
1
vote
0answers
13 views

Split property for type III algebras entails practical separability

I am reading Halvorson's thesis (http://philsci-archive.pitt.edu/346/1/main-new.pdf), however I don't understand a proof at p.50 where he tries to explain why the split property allows a local agent ...
8
votes
2answers
543 views

Does the commutator of anything with itself not vanish?

In a quantum mechanics exam one question was to write the commutator of a couple of operators. Everybody got points taken away since they did not write $[Q_i, Q_i] = 0$ for all the operators $Q_i$ in ...
1
vote
2answers
116 views

Lippmann-Schwinger solution

What's wrong with this general solution of the Lippmann-Schwinger equation: $$ |\psi_k \rangle=|\phi_k \rangle+G_k V|\psi_k \rangle $$ Taking the inner product with $\langle\phi_{k'}|$ \begin{align} ...
1
vote
1answer
70 views

Is there any non-hermitian operator on Hilbert Space with all real eigenvalues?

The property of hermitian is the sufficient condition for eigenvalue being real. Is there any non-hermitian operator on Hilbert Space with all real eigenvalues? If there exist, then can all ...
1
vote
2answers
170 views

Angular momentum - maximum and minimum values for $m_{\ell}$

I want to work out the maximum and minimum values for $m_{\ell}$. I know that $\lambda \geq m_{\ell}$, therefore $m_{\ell}$ is bounded. In the lectures notes there is the following assumption: $$ ...
1
vote
1answer
68 views

Determine eigeinvalue and eigenvector of two operators R and L [closed]

Question: Let H be a Hilbert space with countable-infinite orthonormal basis ${|n>}_{n \in N}$. The two operators R and L on H are defined by their action on the basis elements \begin{align} ...
0
votes
1answer
27 views

Translational operator on potential

In https://wiki.oulu.fi/download/attachments/14553161/lattice.pdf I have a problem with the translational operator: The second line under the first figure says $$\tau^\dagger(a)V(x)\tau(a)=V(x+a).$$ ...
1
vote
0answers
71 views

An Operator Identity relating to Trace [duplicate]

Suppose that $\hat H$ is an operator (typically a Hamiltonian) and $\beta$ is a positive parameter (typically $\beta=1/k_BT$). Show that $$ \mathbf{Tr}\Big(e^{-\beta\hat H}\Big) \geq ...
1
vote
3answers
171 views

Classical Hamiltonian involving product of factors whose quantum analogues don't commute

Dirac remarked in his quantum mechanics book: One can usually assume that the Hamiltonian is the same function of the canonical coordinates and momenta in the quantum theory as in the ...
3
votes
1answer
65 views

Does there exist a state for which $\Delta\sigma_x^2=\Delta\sigma_y^2=0$? If not, how does one prove it?

I just realized that the uncertainty principle says that $$\Delta\sigma_x^2 \Delta\sigma_y^2 \ge \left(\overline{\hat\sigma_z}\right)^2,$$ where ...
1
vote
1answer
58 views

Uncertainty in position and kinetic energy

How do you find the uncertainties for $x$ and $K$? Knowing that the general uncertainties = $$ \sigma_A \sigma_B \geq 1/2\int \psi ^*[\hat A,\hat B] \psi dx\, $$ I figured out the commutator, for ...
4
votes
2answers
342 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 * ...
3
votes
2answers
101 views

Why is $\hat{p} \circ \hat{p}$ the operator corresponding to $p^2$?

I understand from several heuristic arguments that in one dimension, the quantum-mechanical operator $\hat{p} = -i\hbar\,\partial_x$ corresponds to the classical momentum $p$, in the sense that a ...
6
votes
2answers
86 views

Why are holomorphic boundary CFT2 primary operators massless in the AdS3 bulk?

I saw a claim in this paper that holomorphic boundary CFT$_2$ primary operators correspond to massless states in the AdS$_3$ bulk. Specifically, As always, we simplify the situation by assuming ...
14
votes
4answers
1k views

Applications of the Spectral Theorem to Quantum Mechanics

I'm currently learning some basic functional analysis. Yesterday I arrived at the spectral theorem of self-adjoint operators. I've heard that this theorem has lots of applications in Quantum ...
2
votes
1answer
380 views

Time-ordering in QFT

In Srednicki QFT page 37. In the derivation of LSZ reduction formula, he introduces the time-order operator $T$, so no time-dependent creation/annihilation operators are left in the transition ...
1
vote
0answers
34 views

Where Does the Exponent Come From in the Expression for the Rotation Operator

I am currently reading John S. Townsend's "A Modern Approach to Quantum Mechanics." In section 2.2 he introduces the $\hat J$ operator, which he refers to as "the generator of rotations." He gives the ...
6
votes
1answer
143 views

Self-adjointness

I know I have posted this question before some time ago. But no one could help so I decided to put my problem in another background. The Schrödinger equation of a free scalar field is given by ...
2
votes
1answer
230 views

Evaluate $\langle \mathbf{p} | 1/\hat{r} | \mathbf{p}' \rangle$

In Sakurai's Problem 1.27 b), we use $\langle \mathbf{r} | \mathbf{p}\rangle = e^{i\mathbf{p}\cdot\mathbf{r}/\hbar}$ to show that $$ \langle \mathbf{p} | F(\hat{r}) | \mathbf{p}' \rangle = ...
1
vote
2answers
99 views

Commuting operators and Direct product spaces

Under what conditions is the common eigenspace of two commuting hermitian operators isomorphic to the direct product of their individual eigenspaces? When can an eigenket $|\lambda$1$\lambda$2$>$ ...
1
vote
2answers
47 views

How does Dirac conclude that $X_r(c_r)$ cannot vanish?

On page 32 of Dirac's book Principles of Quantum Mechanics, he considers the case when the linear, Hermitian$^1$ operator $\xi$ satisfies an algebraic equation $$\phi(\xi)\equiv(\xi - c_1)(\xi - ...
2
votes
1answer
52 views

How to prove that if the expectation value of $A$ in any state is real, then $A$ is Hermitian?

If the expectation value of operator $A$ in any state is real, then $A$ is Hermitian. there is an uncompleted proof: $$ \int(c_1\psi_1+c_2\psi_2)^* A (c_1\psi_1+c_2\psi_2)dx$$ ...
1
vote
1answer
46 views

Mapping Issues with Unbounded Operators

Consider the operator-valued generalized function $\phi^{(k)}_{l}:=\phi^{(k)}_{l}$ on space-time $\mathcal{M}$. Now, smooth the operator-valued generalized function with test function $f(x)$ ...
7
votes
1answer
161 views

Shape of the state space under different tensor products

I am currently studying generalized probabilistic theories. Let me roughly recall how such a theory looks like (you can skip this and go to "My question" if you are familiar with this). Recall: In a ...
3
votes
0answers
63 views

Density matrix formalism and group representation

The postulates of quantum theory can be given in the density matrix formalism. States correspond to positive trace class operators with trace 1 on a Hilbert space $\mathcal{H}$. Composition is defined ...
1
vote
1answer
99 views

How does Dirac form this conjugate imaginary equation?

On page 30 of Dirac's book $$\xi|P\rangle = a|P\rangle\tag{12}$$ He then says Suppose we have a solution of (12) and we form the conjugate imaginary equation, which will read $$\langle ...
1
vote
1answer
166 views

Ladder Operator killing state

So in my last question, @joshphysics showed me how to prove $K_\pm$ were ladder operators. Now I need to show that there is a lowest state, i.e $$\langle m_0|K_+=K_-|m_0\rangle=0$$ I am not ...
3
votes
2answers
190 views

Measuring non-commuting observable at once

Given an Hilbert space $H$ (finite dimensional for sake of clarity), and two non-commuting operators $$A = \sum_a a |a\rangle\langle a|$$ and $$B=\sum_a b |b\rangle\langle b|,$$ is it possible to find ...
0
votes
1answer
55 views

Expectation value of number operator $\hat{n}$

I'm studying for my quantum mechanics test and I've stumbled on this problem. They want the expectation value of $\hat{n}$, $\langle \hat{n} \rangle$, with this given $\psi$ at $t=0$: $$ \lvert ...
5
votes
1answer
105 views

Question about 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 ...