Register to reply 
HongOuMandel effect 
Share this thread: 
#1
Feb1512, 06:39 PM

P: 53

I've been reading about this twophoton interference experiment
http://en.wikipedia.org/wiki/Hong%E2...3Mandel_effect But the wikipedia article does not explain the origin of the "" sign before states 3 and 4. Just because one photon reflecting off the bottom side changes its phase, how does it follow that states 2 and 3 cancel each other? The transmitted photon in state 2 still has the same phase as the photon reflected off the upper side in state 3, so why would the states cancel completely? And why does it take only one photon from the pair changing its phase for the "" sign to appear in front of the entire 2photon state? (As a side note, isn't it true that if the number of photons is known, 2 photons in this case, then phase is indeterminate anyway?) 


#2
Feb1612, 03:54 AM

Sci Advisor
P: 1,643

Let me start at the end.
One can just represent this by assuming a complex factor t for a transmission process and a complex amplitude i*r for a reflection process. The imaginary part ensures the 90 degree phase shift. For a 5050 beam splitter these are normalized such that t^2 =0.5 and r^2=0.5, so that a single photon has a 50/50 probability of being transmitted or reflected. Assuming one photon arriving at each entrance port of the beam splitter, we have 4 possibilities: Both are transmitted, both are reflected, photon 1 is transmitted, while photon 2 is reflected and photon 2 is transmitted, while photon 1 is reflected, giving us the 3 possible output states 1,1>, 0,2> and 2,0>. Now one can calculate the probability amplitudes for each of these three outcomes. Considering two transmission processes, the outcome will be t^2 1,1>. Considering two reflection processes, the outcome will be i r i r 1,1>=r^2 1,1>. The cases involving one reflection and one transmission event are i r t 0,2> and i r,t 2,0>, respectively. The output state is now just the sum all of these parts: out>=(t^2 r^2) 1,1> +i r t (2,0>+0,2>). You see that for a 50/50 beam splitter where t^2=r^2=0.5 the difference in the first term amounts to zero and can be interpreted as destructive interference. So the remaining output state is: out>= sqrt(2)*i r t (2,0>+0,2>) where the sqrt(2) ensures normalization to unity. 


#3
Feb1612, 11:02 AM

P: 53

Thanks, Cthugha, the math works just fine. Should we use a similar equation if both photons arrive from the SAME direction? Then two transmissions or two reflections will mean that both photons will emerge together from the same port, and if they emerge from different ports, it means one was reflected and the other transmitted. When I tried to add amplitudes for this case, I got
(1) r^2 2,0> + t^2 0,2> + 2 i r t 1,1> Is that correct? It seems to imply that 2 times out of 3 the photon pair will split, and 1 time out of 3 the photon will emerge together? 


#4
Feb1612, 11:37 AM

Sci Advisor
P: 1,643

HongOuMandel effect
You have a factor of two in the final term which means that 50% (2 out of 4 times) of the time the pair will split and 25% of the time both photons will leave via exit port A and 25% of the time both photons will leave via exit port B. This is pretty much what one would expect naively.
If you have access to the Mandel/Wolf (Optical coherence and quantum optics), you will find that it devotes a whole subchapter to this kind of problem. It is called "Effect of an attenuator or beam splitter on the quantum field". If you have access to this book and are interested in that topic, it is really worth reading. 


#5
Feb1612, 11:42 AM

P: 53

But from normalization, 1^2 + 1^2 + 2i^2 = 6, so after dividing by sqrt 6, the amplitude of 1,1> term becomes 2i/sqrt 6 and the respective probability 4/6 = 2/3?



#6
Feb1612, 12:34 PM

Sci Advisor
P: 1,643

Oh, sorry. I misread. I thought you had already written the squared values last time.
You have to square the two possibilities to arrive at the 1,1> situation sperately instead of adding them up before squaring. You only add up the probability amplitudes for indistinguishable events. 


#7
Feb1612, 01:16 PM

P: 53

So why cannot we add these two amplitudes, just like we did for the original HOM effect? 


#8
Feb1612, 01:41 PM

Sci Advisor
P: 1,643

You have no indistinguishable events because loosely speaking you just have one initial state to start from.
You just have one twophoton state arriving at the beam splitter. To get indistinguishable events you would need to have two different states at some point. You cannot break down the initial twophoton state into two seperate photons. This is why swapping the photons does not make any sense as it does not create a different event. I must admit that it was maybe irritating to say "You have to square the two possibilities to arrive at the 1,1> situation sperately instead of adding them up before squaring." as this is purely mathematical and maybe misleading. If you do the whole math, you will find that any Fock state arriving at a single port of the beam splitter behaves as expected classically if you just have the vacuum field at the other entrance port. 


#9
Feb1612, 02:05 PM

P: 53

Your point is well taken. But how should I then write the output state? If I count the two 1,1> outcomes as distinguishable events, and write them separately,
(1) r^2 2,0> + t^2 0,2> + i r t 1,1> + i r t 1,1> (1) then elementary algebra will make that form identical to (1) r^2 2,0> + t^2 0,2> + 2 i r t 1,1> (2) and we still don't have the correct expression. Does your answer imply that rather than two distinguishable events, I should instead count them as one and the same event? But then I must drop the last term in (1) and we still don't have anything resembling the classical outcome. What we really need to get the "classical" statistics of outcomes is sqrt 2 coefficient so that (1) r^2 2,0> + t^2 0,2> + sqrt 2 i r t 1,1> (3) But is there a way to get this by adding amplitudes, or does one have to derive it in terms of creation operators (photon algebra)? Can you suggest any short primer on this topic aside from the MandelWolf textbook? Also, isn't a Fock state 2> equivalent to the product state 1>1>? 


#10
Feb1612, 02:18 PM

Sci Advisor
P: 1,643

The best way is always doing this in operator algebra. This will also give the correct amplitudes for any case. I think I can give you some more details tomorrow as it is already quite late and I do not have any good reference at hand right now.
What makes you think that 2> is identical to 1>1>? The latter is a product state and this notation usually refers to a product state of two states having occupation n=1 each. 


#11
Feb1612, 02:28 PM

P: 53

Thanks, I will be looking forward to more details tomorrow. Also I wondered, what would happen if these two input photons were not identical (for example, had different frequency or polarization). Would this input Fock state 1v,1h> also behave "classically" at the beam splitter?



#12
Feb1712, 03:47 AM

Sci Advisor
P: 1,643

Returning to the original question. Let us assume input modes 0 and 1 and output modes 2 and 3. Assuming the general case of any beam splitter we have reflectivity r' and t' for mode 0 and r and t for mode 1. Now we also know the simple commutator relations: [tex][a_0,a_0^\dagger]=[a_1,a_1^\dagger]=1[/tex] and [tex][a_0,a_1^\dagger]=[a_1,a_0^\dagger]=0[/tex]. One can show that the relations also hold for the output modes for which the operators are given by: [tex]a_2=t' a_0+r a_1[/tex] and [tex]a_3=r' a_0 + t a_1[/tex]. Now one can calculate the average photon numbers and the correlators of the output photon numbers. The photon numbers are straightforward: [tex]n_2=a_2^\dagger a_2=(t^{'*} a_0^\dagger + r^* a_1^\dagger)(t^' a_0 + r a_1)= t^2 n_0 + r^2 n_1 + t^{'*}r a_0^\dagger a_1 + r^*t^' a_1^\dagger a_0[/tex] For output mode 3 just exchange any r and t in the above expression. The next thing is the probability to detect a photon at both output ports simultaneously. This is: [tex]P_{23}=\langle a_2^\dagger a_3^\dagger a_3 a_2\rangle=\langle n_2 n_3\rangle[/tex]. From here on things become quite lengthy, but you just need to insert the right expressions. If input 0 is the vacuum state, things become a bit easier. Inserting all the stuff just gives: [tex]\langle n_2 n_3 \rangle= r^2 t^2 \langle n_1^2\rangle  r^2 t^2 \langle a_1^\dagger a_0 a_0^\dagger a_1 \rangle[/tex] which is equivalent to [tex]r^2 t^2 (\langle n_1^2\rangle  \langle n_1 (a_0^\dagger a_0 +1) \rangle)= r^2 t^2 (\langle n^2\rangle  \langle n_1 \rangle)[/tex] That is 0.5 for a n=2 Fock state, just as one would expect classically. One can now also evaluate the correlation [tex]\langle \Delta n_2 \Delta n_3 \rangle=\langle n_2 n_3 \rangle\langle n_2\rangle \langle n_3 \rangle[/tex] as this quantity tells as bit more about the correlations present. 


#13
Feb1912, 10:39 AM

P: 53

Here is why I think they mean the same thing. The way I understand the definition, a multiparticle state of the form n1,n2,n3...> denotes a state where there are n1 particles in one state, n2 in another etc. etc. Once we define n> as the state where there are n particles, each in that same single particle state, it follows that n> is the product state 1>1>....1>. If it is not, then of course we should be able to detect correlations between particles, but then it will no longer be a simple Fock state n>, but rather a general Fock state of the form sum over k1, k2 of c_{k1,k2}k1>k2>. Such a state will be entangled since we cannot factorize it, but it would be wrong to write it simply as n> because then we don't have n particles is the SAME oneparticle state (entangled particles don't know what their state is!). So we must just leave it in that form, sum over k1, k2 of c_{k1,k2}k1>k2>. So my understanding was that there are two types of Fock states: simple Fock state n> which is a product 1>...1>, and a general Fock state which is entangled, written as a superposition of product terms, and applies only when the particles are known to differ by some parameter (polarization, momentum, etc.), and that would also make such particles distinguishable. Can you tell me if my understanding is wrong? 


#14
Feb2012, 03:10 AM

Sci Advisor
P: 1,643

I am still not sure I get your point, but let me try to get it.



#15
Feb2012, 02:06 PM

P: 53

This makes sense. Actually, I just realized that the wikipedia article implies your definition, once we define a Fock state as the eigenstate of the number operator. So it makes sense that 1>1>...1> (or more generally, n1>n2>...nk>) would just be a multimode Fock state, and then SPDC processes would be described in terms of Fock states would not themselves be called Fock states. Anyway, this looks like a terminological difference. But this still doesn't explain to me what, if anything the "bona fide" Fock state such as 2> tell us about the individual photons in this state.
If they are identical, and there are certainly two of them, then each of them should know its state? (Will the state should be defined by the mode associated with the creation operator, (a+)^2 that created the 2> state?) On the other hand, when each particle possesses its own wave function, this should give us grounds to write 2> as a product state? I don't see how one can avoid that conclusion (unless one claims that the two photons in 2> form an entangled pair, and writes the corresponding combination of operators such as [(a+)(b+)  (b+)(a+)] acting on 0,0>). 


#16
Feb2012, 03:42 PM

Sci Advisor
P: 1,643




#17
Feb2012, 04:03 PM

P: 53

Suppose we have a biphoton 2V,0H> i.e. both photons are vertically polarized, and none is polarized horizontally. Can Quantum Optics predict the amplitude of all 4 possible pairs of outcomes RR, LL, RL, LR if one measures both photons in the same (e.g. circular) basis? 


#18
Feb2012, 04:11 PM

Sci Advisor
P: 1,643




Register to reply 
Related Discussions  
Textbook Recommendation: MandelPaule Algorithm  General Math  0  
The celebrated HongOuMandel interferometric effect  Advanced Physics Homework  1  
Compton Scattering Using MandelStam Variables  Advanced Physics Homework  1  
What to do in hong kong?  General Discussion  3  
Mandel & Faster than Light Communication ?  Quantum Physics  58 