Second Quantization: Wave Function & Creation/Annihilation Operators

In summary, in second quantization, the particle density operator is written as \hat n(x)=\Psi^{\dagger}(x)\Psi(x) using the usual field creation/annihilation operators. For a single particle, the expectation value in a state |\psi\rangle is given by \langle \psi | \Psi^{\dagger}(x)\Psi(x) | \psi\rangle=|\psi(x)|^2, showing the similarity between the wave function and the creation/annihilation operators. This technique is called "second quantization" because it goes from wave functions (which are numbers) to operators. The field operator \hat \Phi and the wave function \phi are very similar objects,
  • #1
daudaudaudau
302
0
Hi. In second quantization (not QFT or anything advanced like that) we have the particle density [itex]\hat n(x)=\Psi^{\dagger}(x)\Psi(x)[/itex] using the usual field creation/annihilation operators. For a single particle we obtain for the expectation value in the state [itex]|\psi\rangle[/itex]: [itex]\langle \psi | \Psi^{\dagger}(x)\Psi(x) | \psi\rangle=|\psi(x)|^2[/itex]. So does this mean that I should think of [itex]\Psi(x)[/itex] as the second quantized wave function? What is the significance of this formal similarity between the wave function and the creation/annihilation operators?

It seems that whenever you have something in first quantization written in terms of a wave function (i.e. the probability current density), you can replace the wave functions by the creation/annihilation operators and get the second quantized operator...
 
Physics news on Phys.org
  • #2
Yes, field operator [tex]\hat \Phi[/tex] and wave function [tex]\phi[/tex] are very similar objects. The formal reason is that [tex]\hat \Phi(x) = \sum_k \phi_k(x) \hat a_k [/tex] - it is a "superposition" of wave functions with coefficients being annihilation operators. That's why the technique is called "second quantization". In the "first quantization" we go from physical obserables (which are numbers) to operators. And now we go from wave functions (which are numbers) to operators. For example, if you write motion equations for [tex]\hat\Psi(x,t)[/tex] in the free particle theory then it will coincide with Schroedinger equation for [tex]\psi(x,t) [/tex]
 
  • #3
Thank you for the reply. If you have the particle density operator [itex]\hat n(x)=\Psi^{\dagger}(x)\Psi(x)[/itex], you get the particle density in a particular state by taking the expectation value of this operator. Is it possible somehow to get the wave function by taking the expectation value of an operator?
 
  • #4
To expand slightly on SnarkyFellow's response:

Think of a second-quantized field operator

[tex]\hat{\Phi}(x)=\sum_k \phi_k(x)\hat{a}_k[/tex]

as the "hammer that bangs the vacuum" - and everytime it bangs, it "creates" a state with wavefunction [itex]\phi_k(x)[/tex].

Thus, when you want to talk about multiple particle states in quantum mechanics, it is useful to use this "field operator" rather than an ordinary wavefunction. That is why you use "second quantized quantum mechanics" in "many body theory".

And in fact, to dau^4's first sentence: there is no real difference between this and QFT! But that is just semantics. ;-)
 
  • #5
When [itex]\hat{n}(x)[/itex] bangs the state you're in (analogous to you taking the expectation value of the operator), you get [itex]|\phi_k(x)|^2[/itex] which is, of course, the particle density, so yes!
 
  • #6
How about the vacuum average of Ψ(x)ak+ ?
 
  • #7
you mean, i left out the "negative frequency" terms? sure. that's there too! i was typing quickly. I should have written:

[tex]\hat{\Phi}(x)=\sum_k\left(\phi_k(x)a_k+\phi_k(x)^*a_k^\dag\right)[/tex]

Then [itex]\langle 0|\hat{\Phi}^\dag(x)\hat{\Phi}(x)|0\rangle = \sum_k|\phi_k(x)|^2[/itex].
 
  • #8
Bob_for_short said:
How about the vacuum average of Ψ(x)ak+ ?

I guess that would do, I just think it is a little inconsistent. [itex]\langle \psi | \Psi^{\dagger}(x)\Psi(x) | \psi\rangle[/itex] is the particle density in the state [itex]|\psi\rangle[/itex]. Now I want the wave function in the state [itex]|\psi\rangle[/itex], so I was hoping for something similarly looking.

Or maybe I'm looking for the second quantization equivalent of [itex]\langle x|\psi\rangle=\psi(x)[/itex], i.e in second quantization the creation or annihilation operator would be on the right and something other on the left hand side.
 
Last edited:
  • #9
daudaudaudau said:
I guess that would do, I just think it is a little inconsistent. [itex]\langle \psi | \Psi^{\dagger}(x)\Psi(x) | \psi\rangle[/itex] is the particle density in the state [itex]|\psi\rangle[/itex]. Now I want the wave function in the state [itex]|\psi\rangle[/itex], so I was hoping for something similarly looking.

Not sure what you mean. The state [itex]|\phi(x)\rangle=\hat{\Phi}(x)|0\rangle[/itex], and the wavefunction is [itex]\phi(x)\equiv\langle 0|\phi(x)\rangle[/itex] in my above notation. Does that make sense?
 
  • #10
blechman said:
To expand slightly on SnarkyFellow's response:

Think of a second-quantized field operator

[tex]\hat{\Phi}(x)=\sum_k \phi_k(x)\hat{a}_k[/tex]

as the "hammer that bangs the vacuum" - and everytime it bangs, it "creates" a state with wavefunction [itex]\phi_k(x)[/tex].

Sorry, I don't understand your hammer-picture. The field creation operator (written as a sum, the same way you do) acting on the vacuum will create a linear combination of many different states, all weighted with the value of the corresponding wave function evaluated at x. Somehow the linear combination of all these states produce a position eigenstate. (we do agree that the field creation operator creates a position eigenstate?)
 
  • #11
blechman said:
Not sure what you mean. The state [itex]|\phi(x)\rangle=\hat{\Phi}(x)|0\rangle[/itex], and the wavefunction is [itex]\phi(x)\equiv\langle 0|\phi(x)\rangle[/itex] in my above notation. Does that make sense?

Yeah, the only thing that bothered me was the vacuum average. I don't know if it's even possible to do what I want to do. I just wanted to see how far the formal similarities go.
 
  • #12
If someone can recommend a good book about this, that would be great.. I have read Ballentine's chapters on this topic.
 
  • #13
daudaudaudau said:
Sorry, I don't understand your hammer-picture. The field creation operator (written as a sum, the same way you do) acting on the vacuum will create a linear combination of many different states, all weighted with the value of the corresponding wave function evaluated at x. Somehow the linear combination of all these states produce a position eigenstate. (we do agree that the field creation operator creates a position eigenstate?)

Consider the ordinary quantum story:

[tex]|\psi\rangle=\int dx\psi(x)|\psi\rangle[/tex]

[itex]\psi[/itex] is not a position eigenstate, and the "wavefunction" is given by [itex]\langle x|\psi\rangle[/itex]. My sum over k is analogous the integral over x in this past example.

So if you want to have the wavefunction of a specific mode, you would write

[tex]\langle k|\hat{\Phi}(x)|0\rangle=\phi^*_k(x)[/tex]

(where the c.c. is b/c of my phase conventions). Is that better?
 
  • #14
blechman said:
Not sure what you mean. The state [itex]|\phi(x)\rangle=\hat{\Phi}(x)|0\rangle[/itex], and the wavefunction is [itex]\phi(x)\equiv\langle 0|\phi(x)\rangle[/itex] in my above notation. Does that make sense?

This makes no sense to me. Doesn't the operator [itex]\hat{\Phi}(x)[/itex] annihilate the particle vacuum state [tex]|0\rangle[/tex]?
Moreover, the state with 0 particles is orthogonal to the one with a particle.

Perhaps there is a confusion between different second quantized notation going on. As I understand it, the notation in the original post is the following:
[itex]\hat{\Phi}^{\dagger}(x)[/itex] creates a particle at x. i.e, [itex]\hat{\Phi}^{\dagger}(x)|0\rangle = | x\rangle[/itex]
[itex]\hat{\Phi}(x)[/itex] destroys a particle at x.

The fact that the symbol for the operators is [itex]\Phi[/itex] is neither here nor there, we could have chosen [itex]c^{\dagger}_x[/itex].

I was under the impression, that for a 1-particle system, we have the wave function when the system is in state [itex]|\psi\rangle[/itex] as [itex]\psi(x) = \langle x|\psi\rangle[/itex]
Inserting the the other expression for [itex]|x\rangle[/itex] in second quantized language
[tex]
\psi(x) = \langle 0|\Phi(x)|\psi\rangle
[/tex]

The quantity [tex]|\psi|^2[/tex] is then
[tex]
|\psi(x)|^2 = \langle \psi|\Phi^\dagger(x)|0\rangle\langle 0|\Phi(x)|\psi\rangle
[/tex]
As long as [itex]|\psi\rangle[/itex] is a one particle state (so our single particle wavefunction makes sense), the vacuum projection operator just acts like the resolution of the identity so we can ignore it to give [tex]
|\psi(x)|^2 = \langle \psi|\Phi^\dagger(x)\Phi(x)|\psi\rangle
[/tex]
For a many particle state, the particle density is more complicated in the wavefunction picture, but the second quantised operator remains the same.

As far as book recommendations go, if you are coming at this from the condensed matter perspective, the book by Negele and Orland is highly recommended (by me at least) - the first couple of chapters on second quantisation are very thorough. "Condensed matter field theory" by Altland and Simons has a good intro to second quantisation - you can get the flavour of the book by reading Ben Simon's lecture notes for his Quantum Condensed Matter Field Theory course. (google him). MIT Open Course Ware might well have some decent lecture notes available too, I haven't checked. Wen has a recent graduate level Condensed Matter Field Theory textbook too, which surely has a chapter on second quantization.
 
  • #15
i think, as you say, this is notational. but if you look at my earlier post, i have the field operator as the SUM of creation and annihilation operators, so this works itself out. If you split it up as positive and negative frequency terms, then you are right.

I also used Negele and Orland, an excellent book, but it is quite advanced (at least I think so).
 
  • #16
Thank you for clearing things up, Peter, and I will definitely have a look at those books. Could you maybe explain a little more about why the vacuum projector becomes the identity operator in the single particle case?

peteratcam said:
The quantity [tex]|\psi|^2[/tex] is then
[tex]
|\psi(x)|^2 = \langle \psi|\Phi^\dagger(x)|0\rangle\langle 0|\Phi(x)|\psi\rangle
[/tex]
As long as [itex]|\psi\rangle[/itex] is a one particle state (so our single particle wavefunction makes sense), the vacuum projection operator just acts like the resolution of the identity so we can ignore it to give [tex]
|\psi(x)|^2 = \langle \psi|\Phi^\dagger(x)\Phi(x)|\psi\rangle
[/tex]
 
  • #17
A full identity operator (for Fock space) would have been
[tex]
|0\rangle\langle 0| + \sum_k|k\rangle\langle k| + \sum_{k_1,k_2}|k_1,k_2\rangle\langle k_1,k_2| + \ldots
[/tex]

I.e, the 0-particle identity [tex]\oplus[/tex] the identity for a one particle state [tex]\oplus[/tex] the identity operator for two particle states etc.

I've chosen 'k' to be the labels of a basis of single particle states.

The creation (annihilation) operators move us from an n-particle state to an n+1 (n-1) particle state. States with different numbers of particles are orthogonal.

So consider:
[tex]\langle\psi|\Phi^{\dagger}(x)|S\rangle[/tex]
If [tex]\langle \psi|[/tex] is a one particle state, then the only state S for which the above is non-zero is a zero particle state, and there is only one of those, the particle vacuum.
So inserting a full resolution of the indentity would reduce to exactly the expression I gave.
 
  • #18
As peteratcam has noticed, wavefunction function can be obtained as matrix element [tex] \langle 0|\hat \Psi |\psi_k \rangle [/tex]. We can't get a wavefunction as the expectation in a state with defined number of particles. It's due to the fact that [tex]\hat \Psi [/tex] decreases number of particles so in order to give nonzero result, there should be the product of equal number of creation and annihilation operators. But such a product is invariant under the gauge transformation [tex]\phi \rightarrow \phi e^{i\alpha}[/tex]. Therefore it can't give us the wavefunction.

But if we prepare somehow [tex] \alpha|0\rangle+\beta|\phi\rangle [/tex] state, then expectation of [tex] \hat \Psi [/tex] is [tex] \alpha^*\beta \phi [/tex]. It's rather curious fact, but I suppose it is not really useful in physics because [tex] \hat \Psi [/tex] isn't self-conjugate on Fock space. Therefore it is not observable and we can't get this expectation in an experiment.
 
Last edited:
  • #19
This started me thinking, so in case it is of benefit to anyone else, I'll think out loud. I just wanted to check that the wavefunction/second quantisation correspondence works for many particle states equally well:

Write the Fock space identity using a position basis:
[tex]
|0\rangle\langle 0| + \int dx|x\rangle\langle x| + \int dx_1 dx_2|x_1,x_2\rangle\langle x_1,x_2| + \ldots
[/tex]

Now consider the particle density in a two particle state [itex]|\psi\rangle[/itex]:
[tex]
\rho(x) = \langle \psi|\Phi^\dagger(x)\Phi(x)|\psi\rangle
[/tex]
Insert two copies of the resolution of the identity. By orthogonality of state of different particle number, we get:
[tex]
\rho(x) = \int dx_1 dx_2dx_1' dx_2'\langle \psi|x_1,x_2\rangle\langle x_1,x_2|\Phi^\dagger(x)\Phi(x)|x_1',x_2'\rangle\langle x_1',x_2'|\psi\rangle
[/tex]

Now, the matrix element in the middle [tex]\langle x_1,x_2|\Phi^\dagger(x)\Phi(x)|x_1',x_2'\rangle [/tex] is trivial because we are in the diagonal basis for [tex]\Phi^\dagger(x)\Phi(x)[/tex].

[tex]
\Phi^\dagger(x)\Phi(x)|x_1',x_2'\rangle = [\delta(x-x_1') + \delta(x-x_2')]|x_1',x_2'\rangle
[/tex]
So the matrix element evaluates as:
[tex]
[\delta(x-x_1') + \delta(x-x_2')]\langle x_1,x_2|x_1',x_2'\rangle=[\delta(x-x_1') + \delta(x-x_2')]\delta(x_1-x_1')\delta(x_2-x_2')[/tex]

Inserting this into the expression for the particle density, recognising the many-particle wavefunction, and integrating over the primed coordinates gives:
[tex]
\rho(x) = \int dx_1 dx_2|\psi(x_1,x_2)|^2[\delta(x-x_1) + \delta(x-x_2)]
[/tex]
which is exactly the particle density in good old wavefunction language, since the particle density operator in normal quantum mechanics is:
[tex]
\hat n(x)=\sum_i\delta(x-\hat x_i)
[/tex]
Why don't we normally see this operator much in normal QM?
It's because we normally have the situation that we want to assign a potential V(x) when the particle is found at x, for all x:
[tex]
\int V(x)\hat n(x) dx = \sum_i V(\hat x_i)
[/tex]
the RHS is of course the common way of writing a potential term in a many body first quantised hamiltonian.
 
  • #20
peteratcam said:
Now, the matrix element in the middle [tex]\langle x_1,x_2|\Phi^\dagger(x)\Phi(x)|x_1',x_2'\rangle [/tex] is trivial because we are in the diagonal basis for [tex]\Phi^\dagger(x)\Phi(x)[/tex].

[tex]
\Phi^\dagger(x)\Phi(x)|x_1',x_2'\rangle = [\delta(x-x_1') + \delta(x-x_2')]|x_1',x_2'\rangle
[/tex]

I wonder how to derive this. For a single particle I have [itex] \Phi^{\dagger}(x)\Phi(x)|x'\rangle[/itex]. I integrate this over all [itex]x[/itex] to get the number operator
[tex]
\int dx\Phi^{\dagger}(x)\Phi(x)|x'\rangle=\hat N|x'\rangle=|x'\rangle
[/tex]

So I guess this shows that [itex]\Phi^{\dagger}(x)\Phi(x)|x'\rangle=\delta(x-K)|x'\rangle[/itex]. The expression has to be zero for all [itex]x\neq x'[/itex], so we have [itex]K=x'[/itex]. My only issue with this is that I would expect that [itex]\Phi^{\dagger}(x')\Phi(x')|x'\rangle=|x'\rangle[/itex], i.e. you remove the particle and add it again yielding the initial state and no delta function.

peteratcam said:
[tex]
\hat n(x)=\sum_i\delta(x-\hat x_i)
[/tex]
Why don't we normally see this operator much in normal QM?
It's because we normally have the situation that we want to assign a potential V(x) when the particle is found at x, for all x:
[tex]
\int V(x)\hat n(x) dx = \sum_i V(\hat x_i)
[/tex]
the RHS is of course the common way of writing a potential term in a many body first quantised hamiltonian.

To me the density operator [itex]\hat n(x)[/itex] looks like it tells us that we have particles in the specific positions [itex]x_i[/itex], but this seems wrong because in general we don't know the exact positions of the particles. Also, I'm thinking of the particle density as analogous to the probability density, but you associate it with a potential?
 
Last edited:
  • #21
The thing with the delta functions is because of the way position states form a continuous basis, and delta functions start appearing everywhere.

The conventional normalisation in this case is [tex]\langle x' | x \rangle = \delta(x-x')[/tex]. (Notice that the d-dimensional delta function has dimensions 1/L^d, so continuous states are not normalised in the same way as discrete states)

The number operator which is associated with a continuous basis is really a number density operator.

So when you expect
[itex]
\Phi^{\dagger}(x')\Phi(x')|x'\rangle=|x'\rangle
[/itex]
if you think of the operator as a number density, then it seems more natural to have
[itex]
\Phi^{\dagger}(x')\Phi(x')|x\rangle=\delta(x-x')|x\rangle
[/itex]

Another way to think is that the states [tex]|x\rangle[/tex] have the 'wrong' dimension, having a dimension of 1/sqrt(L^d) for a d dimensional space.
A sensible state is made up of [tex]|x\rangle[/tex], only under an integral.
Typically:
[tex]
|\psi\rangle = \int d^d x \psi(x) |x\rangle
[/tex]
To interpret [tex]|\psi|^2[/tex] as a probability density function, it must have dimensions 1/L^d. Since the state vector [tex]|\psi\rangle[/tex] should be considered dimensionless, we must have [tex]|x\rangle[/tex] with dimensions 1/sqrt(L^d).

With more particles, you get more delta functions hanging around.

With regards to your second question, it is important to distinguish between the particle density, and the particle density operator. Just as it is important to distinguish between the position, and the position operator. I've tried to do that with hats on the operators.

The particle density and probability density are basically the same yes. In writing down a hamiltonian for a system you need the particle density operator to deal with interactions with external potentials, which is why I mentioned it.

Ultimately, there must be some operator which can be written in first quantised form which gives the particle density at postion x, and I've given you what it is. In the definition, the delta function of an operator obviously looks a bit dodgy, but we're physicists and we can get away with that.
 
  • #22
peteratcam said:
The number operator which is associated with a continuous basis is really a number density operator.

So when you expect
[itex]
\Phi^{\dagger}(x')\Phi(x')|x'\rangle=|x'\rangle
[/itex]
if you think of the operator as a number density, then it seems more natural to have
[itex]
\Phi^{\dagger}(x')\Phi(x')|x\rangle=\delta(x-x')|x\rangle
[/itex]
Yes, that makes sense. I went wrong when I assumed that [itex]\Phi(x)|x\rangle=|0\rangle[/itex]. For a general state you must have [itex]\Phi(x)|\psi\rangle=\psi(x)|0\rangle[/itex] and in the limit [itex]|\psi\rangle\rightarrow|x'\rangle[/itex] you get the delta function in place of [itex]\psi(x)[/itex].

Another way to think is that the states [tex]|x\rangle[/tex] have the 'wrong' dimension, having a dimension of 1/sqrt(L^d) for a d dimensional space.
A sensible state is made up of [tex]|x\rangle[/tex], only under an integral.
Typically:
[tex]
|\psi\rangle = \int d^d x \psi(x) |x\rangle
[/tex]
To interpret [tex]|\psi|^2[/tex] as a probability density function, it must have dimensions 1/L^d. Since the state vector [tex]|\psi\rangle[/tex] should be considered dimensionless, we must have [tex]|x\rangle[/tex] with dimensions 1/sqrt(L^d).
That makes sense because the inner product between two discrete states is a probability amplitude, and between two continuous states is a probability density amplitude. Funny though that some states have a dimension while others don't...

With regards to your second question, it is important to distinguish between the particle density, and the particle density operator. Just as it is important to distinguish between the position, and the position operator. I've tried to do that with hats on the operators.
Yes, you are using operators in places where I would usually just put numbers, e.g. [itex]x[/itex] instead of [itex]\hat x[/itex]. Of course you are doing it right and I am assuming to be in the position representation :)
 
  • #23
peteratcam said:
A full identity operator (for Fock space) would have been
[tex]
|0\rangle\langle 0| + \sum_k|k\rangle\langle k| + \sum_{k_1,k_2}|k_1,k_2\rangle\langle k_1,k_2| + \ldots
[/tex]

I.e, the 0-particle identity [tex]\oplus[/tex] the identity for a one particle state [tex]\oplus[/tex] the identity operator for two particle states etc.

By the way, what does it mean to use this "direct sum" [itex]\oplus[/itex] here? I can see that if you want to sum the different identity operators, you can't use a regular sum because they have different dimensions. If we were not dealing with Fock space but with a two particle state such as [itex]|\psi\rangle=|\phi\rangle\otimes|\varphi\rangle[/itex], the identity operator would be given by the "direct product" of the respective identity operators, right?
 
  • #24
The wikipedia entry on Fock space has it correct: Fock space is a direct sum of tensor products of single particle Hilbert spaces. What you say sounds right too, the identity for multiparticle states is a direct product of single particle identities. Although I suppose one has to be slightly careful about symmetrisation for multiparticle states of the same particle, so really there is a (anti)symmetrised direct product of single particle identities - not sure about this, the beauty of second quantisation is that the notation does the hard work for you.
 

1. What is second quantization?

Second quantization is a mathematical framework used in quantum mechanics to describe systems with an indefinite number of particles. It involves creating a new set of operators, known as creation and annihilation operators, that act on quantum states to represent the creation and destruction of particles.

2. How does second quantization relate to the wave function?

Second quantization allows us to represent a many-particle system using a single wave function, known as the quantum state. This wave function is a mathematical object that describes the probability of finding a particle in a certain state. Creation and annihilation operators act on this wave function to create and destroy particles, respectively.

3. What is the role of creation and annihilation operators in second quantization?

Creation and annihilation operators are used to represent the creation and destruction of particles in second quantization. They act on the quantum state, or wave function, to create or remove particles from the system. These operators have specific mathematical properties that allow us to accurately describe the behavior of particles in quantum systems.

4. Can you give examples of systems that can be described using second quantization?

Second quantization is used to describe a wide range of physical systems, such as atoms, molecules, and solids. It is also commonly used in fields such as condensed matter physics, nuclear physics, and quantum field theory. Any system that involves the interaction of multiple particles can be described using second quantization.

5. What are the advantages of using second quantization?

Second quantization allows us to simplify the description of complex many-particle systems by using a single wave function and a set of creation and annihilation operators. This makes calculations and predictions easier and more accurate. Additionally, second quantization is a fundamental concept in quantum mechanics and has many applications in various fields of physics and chemistry.

Similar threads

  • Quantum Physics
Replies
3
Views
781
  • Quantum Physics
Replies
3
Views
997
Replies
24
Views
1K
  • Quantum Physics
Replies
13
Views
946
  • Quantum Physics
Replies
24
Views
595
  • Quantum Physics
Replies
21
Views
2K
  • Quantum Physics
Replies
6
Views
1K
  • Quantum Physics
Replies
6
Views
750
Replies
4
Views
836
Back
Top