Quantization in periodic time The common quantization that we just described is suitable for cavities – where the assumption of periodicity in space is sensible. For propagating fields it is convenient to work in the frequency domain and not the spatial frequencies (k’s) domain - i.e. instead of πΜπ,π = πΜ(π), to use πΜ(π). What most do (Loudon, Yariv) is associating ππ = π|π| and write : βπ Μ + (π, π‘) = π ∑ √ π πΜπ ,π (π‘)π ππβπ πΊπ,π π¬ π 2π0 π ππ ,π βππ = π ∑√ πΜ (ππ , π‘)π ππβπ πΊπ,π 2π0 π π ππ ,π → πΜπ (ππ , π‘) ? ? Moreover - How to propagate the evolution of the field in some medium? even in CW, when there is no evolution in time, the field in the entrance (z=0) is different than in the end (z=L). So what most do (for example Yariv) is write z=ct and then propagate with the Hamiltonian from t=0 to t=L/c (although this is space and not time). This is far from rigorous and easily wrong – we now lose one variable out of the two (only t) : Μ + (ππ‘, π‘) π¬ This doesn’t work for dispersive materials where each frequency travels at different frequency so it is π§(π) = ππ(π)π‘ Let’s see why it SEEMS like it works: as we know the propagator in space is the momentum πΊΜ . When we propagate with the Hamiltonian times zn/c instead of t, it’s like we propagated in z with an operator that is the Hamiltonian divided by c which is: Μ π» ππ 1 1 † † (π§)πΜπ (π§) + ] = ∑ βππ [ πΜπ (π§)πΜπ (π§) + ] = πΊΜ = ∑β π [ πΜπ π π 2 2 π π So accidently, we are doing the right thing. It’s like 64/16=4. Here’s a way to do it properly, by B. Huttner, S. Serulnik and Y. Ben-Arye PRA 42, 5594 (1990) HSB’s solution relies on the fact that while the energy density does change in dispersive Μ(π§, π‘) does not. This agrees with classical medium, the energy FLUX – the pointing vector πΊ treatments that show the flux is the important quantity, for example Yariv’s classical analysis of SHG and PDC. SO our H(z), G(z) integrate over flux=Energy/time, i.e. integrate over time T This means that we need to assume periodicity not in space, but in time – which makes much more sense in many cases (pulses, and even in CW – the memory time of your system). T is taken to be larger than all the other timescales in the system we analyze. Frequency doesn’t change in different media, so instead of composing the field from eignstates of momentum with temporally-dependent coefficients: πΜπ,π (π§, π‘) = πΜπ,π (π‘)π ππβπ † (π‘) creates a photon with momentum k at time t πΜπ,π we compose the field from eignstates of frequency π −ππππ‘ , with spatially-dependent coefficients: πΜπ,π (π§, π‘) = πΜπ,π (π§)π −πππ † (π§) creates a photon with frequency ο· at position z πΜπ,π So πΜπ† (π§)|0〉 is now a state |1π (π§)〉, i.e. one quanta of energy in a plane wave EM mode (in the direction z, and area A) in which a photon will pass through z during the time T. So the photon is STILL delocalized. The equal-space commutation relation is now: [ πΜπ (π§)πΜπ† (π§)] = πΏπ,π The result in free space or linear medium looks TRIVIALLY similar – c T*A (with A being the mode area) replaces the volume V, and Eο E/sqrt(n) as expected classically. So as before: Μ (π§, π‘) = π¬ Μ + (π§, π‘) + π¬ Μ − (π§, π‘) π¬ ∗ Μ − (π§, π‘) = (π¬ Μ + (π§, π‘)) π¬ βππ Μ + (π§, π‘) = π ∑ √ π¬ πΜ (π§, π‘) 2π0 π π(ππ )ππ΄ π π ππ = 2ππ π IS THE SMALLEST FREQUENCY “SLICE” – OUR QUANTIZATION “UNIT”, Now the Pointing vector Μ(π§, π‘) = πΊ 1 − Μ + (π§, π‘) + π». πΆ. ]π§Μ [π¬ (π§, π‘)π© π0 The intensity (see the definition earlier) of this vector is the photon flux through the plane z : Μ(π§, π‘)| = ∑ β |πΊ π,π′ √ππ ππ′ † [ πΜπ (π§)πΜπ′ (π§)π π(ππ−ππ′ )π‘ + π». πΆ. ] 2ππ΄ Now we integrate over time to get H(z) (Instead of integrating over z to get H(t)), to get the total number of photons that passed through the point z during the entire time T (instead of how many photons are in the entire volume at the time t): 1 π 1 1 † Μ(π§, π‘)|ππ‘ = ∑ βππ [ πΜπ Μ (π§) = ∫ |πΊ (π§)πΜπ (π§) + ] π» 2 0 2 2 π So now the operator † Μ (π§) = ∑ π Μπ (π§) = ∑ πΜπ (π§)πΜπ (π§) π π π Measures how many photons pass through the plane z during the entire time T, (instead of Μπ (π§) measures measuring how many photons are in the entire volume at the time t), and each π how many photons at frequency ππ pass through the surface z. It is easy to show that this Hamiltonian indeed satisfies: Μ (π§, π‘)) π (π¬ ππ‘ π Μ (π§, π‘), π» Μ (π§)] = − [π¬ β So (trivial): Μ + (π, π‘) = π ∑ √ π¬ π βππ πΜ (π§)π −πππ π‘ πΊπ,π 2π0 πππ(ππ )π΄ π Now to the momentum: According to I Abram PRA 35 4661 (1987) the momentum operator is the Minkovsky form: Μ + (π§, π‘) + π». πΆ. ] Μ (π§, π‘) = [π«− (π§, π‘)π¬ π Leading, (in linear medium) to: πΊΜ (π§) = ∑ β π π(ππ )ππ † 1 [ πΜπ (π§)πΜπ (π§) + ] π 2 So using Μ (π§, π‘)) π (π¬ ππ§ = π Μ (π§, π‘), πΊΜ (π§)] [π¬ β We get: βππ Μ + (π, π‘) = π ∑ √ π¬ πΜ (0)π −πππ(π‘−π(ππ)π§/π) πΊπ,π 2π0 πππ(ππ )π΄ π π Μ π (π) is again the slowly varying amplitude, that will change if we add And now π potentials/momenta THIS was true with the regular quantization as well (that we slowly propagate in z,t with H and G) but now we can define them (H,G) properly even in dispersive and even nonlinear medium. And Μ + (π, π‘) = π© π(ππ ) + Μ π¬ (π, π‘) π Now to continuous: when things are not period, and if you want (like I did) to work with integral and not summation, we take T (instead of L^3) to infinity. B. Dayan PRA 76, 043813 (2007) I followed the similar procedure in momentum and space as in: B. Huttner and S. M. Barnett, Phys. Rev. A 46, 4306 (1992), E. Schmidt et al., J. Mod. Opt. 45, 377 (1998), and K. J. Blow, R. Loudon, S. J. D. Phoenix, and T. J. Shepherd, Phys. Rev. A 42, 4102 (1990). So we use: ∑ → 1 ∫ ππ βπ And πΏπ,π → βπ πΏ(π − π′) We get: ππ (π§) → √βπ π(π) And so [π(π), π† (π′)] = πΏ(π − π′) Leading to: ∞ π(π) βπ −ππ€(π‘ − π§) π πΈ + (π§, π‘) = π ∫ ππ √ π(π§, π€)π 4ππ0 π π(π) π΄ 0 ∞ π(π) β −ππ€(π‘ − π§) π π΄+ (π§, π‘) = ∫ ππ √ π(π§, π€)π 4ππ0 π π π(π) π΄ 0 ∞ π(π) βπ π(π) −ππ€(π‘ − π§) π π΅+ (π§, π‘) = π ∫ ππ √ π(π§, π€)π 3 4ππ0 π π΄ 0 ∗ Μ (π§, π‘) = π¬ Μ + (π§, π‘) + π¬ Μ − (π§, π‘) , π¬ Μ − (π§, π‘) = (π¬ Μ β (π§, π‘)) π¬ Final word on wave packets: So when you analyze a problem you need to break it down to the right operators – cavity, atomic transitions etc. – they all have a span of frequencies and directions, but we do not need to solve the multimode problem – we need to find the natural modes of the system and work with them. If we neglect the bandwidth of our interaction compared to the optical wavelength – i.e assume, as is typically the case, that the span of frequencies that are involved in the effect we deal with is much smaller than the optical frequency itself, then in most of the practical situations we can use creation and annihilation operators that are wave packets (what is neglected is the change in the pre-factor √ππ ): πΜπ³ππππ (π, π‘) = ∑ π(π, π)πΜπ,π (0)π π(πβπ−ππ π‘) π,π Where π(π, π) is the direction and polarization distribution of the laser/cavity etc.. For example – a pulse would be a coherent summation over the bandwidth (if transform limited) + phase noise (if not). A CW laser should be considered as a series of transform limited pulses at the laser’s coherence length (1/BW) (i.e. in the spectrum it is infinitely narrow phase noise over the BW). So we are free to solve Gaussian Optics and define a combination of Ks to our mode, and even a combination of ο·s – but it needs to be the correct one that suits our experiment. In any case: A MODE IS A MINIMAL PHASE-SPACE UNCERTAINTY AREA. Which means time/frequency and space/momentum are Fourier transform pairs. I.e. – in time it means a TRANSFORM-LIMITED PULSE (CW can be considered as a series of transform limited pulses, each with a random phase compared to the previous one). In space/momentum a mode is any shape with MINIMAL BEAM PARAMETER PRODUCT (BPP) = Lambda/pi To summarize it ALL : 1) A photon is a unit of energy in an EO mode 2) We are free to define that mode according to the physical apparatus / what we measure in our experiment (pulse/cavity/click or homodyne.. after which filters…) 3) E and B fields are a sum of a,a+ with pre-factors (sqrt(hw) or 1/that), and the energy H and momentum G just count photons with the appropriate pre factor + Vacuum energy. We know Fock Μ|πβ© = π β¨π|π What is their E? βππ † (π‘)π −ππβπ }|ππ0 ,π 0 β© = β¨ππ0 ,π 0 |πΈΜ |ππ0 ,π 0 β© = π ∑ √ πΊ β¨π |{πΜ (π‘)π ππβπ − πΜπ,π 2π0 π π,π π0 ,π 0 π,π π,π = π‘βππ¦ πππ£ππ πππ‘πβ … = 0 ?? not the EO wave we expect , and the same will be for all the operators of that form A,B,D… Let’s see what state IS the EO wave we expect - the eignstates of a (Choose ONE k,s): ∞ |πΌ〉 = ∑ πΆπ |π〉 π=0 Apply a on both sides: ∞ ∞ π|πΌ〉 = ∑ πΆπ √π|π − 1〉 = (π€π π€πππ‘) = πΌ ∑ πΆπ |π〉 π=0 π=0 πΆπ √π = πΌπΆπ−1 πΆπ = πΆπ = πΌ √π πΆπ−1 πΌ2 √π(π − 1) = πΌπ √π! πΆπ−2 = β― πΆ0 Normalization will give: ∞ |πΆ0 |2 ∑ π=0 |πΌ|2π 2 = |πΆ0 |2 π |πΌ| π! The result is the COHERENT state (defined per k): 1 |πΌβ© = π −2 |πΌ|2 ∑ πΌπ √π! |π〉 As coherent states are eignvectors of the annihilation operator, let’s see the E field: βππ † β¨πΌπ0 ,π 0 |πΈΜ|πΌπ0 ,π 0 β© = π ∑ √ πΊ β¨πΌ π −π(πβπ−πππ‘) }|πΌπ0 ,π 0 β© = |{πΜ π π(πβπ−πππ‘) − πΜπ,π 2π0 π π,π π0 ,π 0 π,π π,π We’ll operate the creation on the left (getting πΌ ∗ ) and the annihilation on the right, and naturally only the right k,s will contribute so we drop the notation from now: βππ β¨πΌ|πΈΜ |πΌβ© = π √ πΊ [πΆπ π(πβπ−πππ‘) − πΌ ∗ π −π(πβπ−πππ‘) ] 2π0 π π,π Taking πΌ = |πΌ|π ππ We get βππ β¨πΌ|πΈΜ |πΌβ© = 2|πΌ|√ πΊ π ππ(π β π − ππ π‘ + π) 2π0 π π,π Which is what we expect classically! Now – how many photons are in a coherent state ? 2 Μ|πΌπ ,π β© = β¨πΌπ ,π | ∑ πΜπ† πΜπ |πΌπ ,π β© = |πΌπ ,π | β¨πΌπ0 ,π 0 |π 0 0 0 0 0 0 0 0 So |πΌ|2 is the number of photons, and the phase of alpha is the OPTICAL phase – NOT TO BE CONFUSED with the quantum phase, please! 2 π(π) = |β¨π|πΌβ©|2 = |πΆπ |2 = π −|πΌ| = π −πΜ NOTE: We see that the distribution is Poissonian – No knowledge from one event to the other. THIS IS IMPORTANT, WE’LL REMEMBER THIS πΜ π π! |πΌ|2π π! We’ll get more intuition about them, and the relation to harmonic oscillators, if we see how they look in position and momentum: Remember that from: οqˆ, pˆ ο ο½ i we get: eiq0 p / q ο½ q ο« q0 ˆ , but more importantly now: q | pˆοΉ ο½ οi οΆ qοΉ ο¨ q ο© , and the fact that there are Fourier Transform of each other. So let’s obtain the wavefunction of the ground state: y (q) = q 0 From πΜ(π‘) = 1 √2βπ (π πΜ(π‘) + π πΜ (π‘)) we get: SO is a (normalized) Gaussian around zero, so it’s first moment <q>=0 and uncertainty βπ = √〈π 2 〉 − 〈π〉2 = π = √β⁄2π is just its second moment = sigma^2 = <q2>=h/2w PROOF (basic): qΜ = òqq q y (q) = q 0 ò q1 q1 ò q1 ò q2 qΜ2 = 0 = y (q1)* q1 ò q2 q2 q2 0 q1 q2 y (q2) = ò q2y (q)*y (q) We know that the p representation is the Fourier transform of the q representation. HW : Show that Similarly, here we get is a (normalized) Gaussian around zero, so its first moment is <p>=0 and uncertainty βπ = √〈π2 〉 − 〈π〉2 = π = √πβ⁄2 Is the second moment = sigma^2 = <p2>=wh/2 and SO; which is the minimum uncertainty allowed by the Heisenberg uncertainty relation. Let’s now find the q,p representation of the coherent states aΜ ο‘ ο½ ο‘ ο‘ (similarly to what we did for vacuum): We see that ο‘ is a ground state shifted by: q0 ο½ ο 2 ο· Re ο»ο‘ ο½ in the position coordinate and by p0 ο½ ο 2 ο· Im ο»ο‘ ο½ in the momentum representation. So coherent state is simply a displaced vacuum! We can now define the coherent state using displacement operators. Using: πΜ(π‘) = 1 √2βπ (π πΜ(π‘) + π πΜ (π‘)) πΜ(π‘) = √β/2π ( πΜ(π‘) + πΜ† (π‘)) πΜ (π‘) = −π√βπ/2 ( πΜ(π‘) − πΜ† (π‘)) So, in position space we displace using: e iq0 pˆ / ο½e ο¨ Reο»ο‘ ο½ aˆ † ο aˆ ο© . Similarly, a displacement in momentum space is: e ο ip0 qˆ / ο½e ο¨ i Imο»ο‘ ο½ aˆ † ο« aˆ ο© . 1é ù ˆ , Bˆ οΉ ο½ const , then up to a constant phase e 2ë AΜ,BΜû You showed: If ο© A ο« ο» ˆ ˆ ˆ ˆ e A e B ο½ e Aο« B Hence we have (up to a constant phase factor): Where: ο‘ο½ ο¨ο· / 2 ο© ο¨ q0 ο« ip0 / ο· ο© Summarizing: † a = DΜa 0 = eaaΜ -a aΜ 0 * ˆ Dˆ ο½ Dˆ . Also, using the Baker-Hausdorff formula we get D ο‘ ο’ ο‘ ο«ο’ Notice that indeed we get the previous result: DΜa 0 = e =e =e 1 2 - a a aΜ † -a *aΜ 2 1 2 - a a aΜ † 2 e 1 2 - a 2 å e e 0 0 an n! n Let’s see how these displaced vacuum states vary in time e iHΜt a =e iw tnΜ =å å an n! ( a e iwt n! ) n n n = a e iwt A “new” alpha - Just a phase – as we expect! Again, do not confuse – this is an OPTICAL phase of alpha – not state phase ! The reason coherent states are important – they are the result of classical sources: classically the interaction energy from some current density π(π, π‘) is the integration over the volume: π(π, π‘) = ∫ π(π, π‘) β π¨(π, π‘) π3 π β † Μ (π, π‘) = ∑ √ (π‘)π −ππβπ } πΊπ,π π¨ {πΜ (π‘)π ππβπ + πΜπ,π 2ππ π0 π π,π π,π Substituting and using the Fourier components of the current: π±(π, π‘) = ∫ π(π, π‘) π πππ π3 π We get for every k : β † (π‘) πΊπ,π β π±(π, π‘)] π(π, π‘) = √ [πΜ (π‘) πΊπ,π β π±(π, π‘) + πΜπ, 2ππ π0 π π, So if we define: π½π (π‘) = −π √2ππ π0 πβ πΊπ,π β π±(π, π‘) We get: π(π, π‘) = πβ [π½π (π‘)πΜπ† (π‘) − π½π∗ (π‘)πΜπ, (π‘)] And so the infinitesimal time-evolution operator at each point in time is: π(π‘ + Δπ‘, π‘) = π π − π(π‘)Δπ‘ β =π [π½π0 (π‘)πΜπ† (π‘)−π½π∗ 0 (π‘)πΜπ (π‘)]Δπ‘ = π·(π½π (π‘)Δπ‘) Serge has shown that the displacement operator creates a coherent state (that was his definition), and consecutive operations of displacements just add, so if we begin at vacuum, we end up after time T with the coherent state: π {πΌπ (π)} = ∫ π½π (π‘) ππ‘ 0 Similarly, this can (and probably will) be shown for coherent ensemble of atoms (Laser is a mixture of those). So Coherent state is really generated by classical sources (or approximation of) SUMMARY: ο· ο· ο· ο· ο· ο· Coherent states are the classical fields (we’ll see how they are used as an over-complete basis – the P representation. Yes, the letter P is WAY over-used. If P can be considered to be probability-density-like the state of the light will be classical) alpha^2 is the number of photons, the phase of alpha is the OPTICAL phase = the phase of the cosin/sine The probability of exactly n photon P(n) is Poissonian = memory-less, NO CORRELATIONS BETWEEN PHOTONS (we’ll se more about it) Most importantly, and by definition: They are the eign vectors of the annihilation operator As such – they are Pointer states – resilient to measurement/interaction by the environment HOW COME ? Apples Poissonian is REAL no knowledge from one event to the other. It is also a direct result of the requirement that a coherent state is an eignvector of the annihilation operator. But how can that be if we have one less photon, that the state still has the same number of photons ? Because the number is uncertain to begin with, and the detection of a photon gives exactly the right amount of knowledge. Like the beggar and the rich person. Now we even see that a state can have larger number – the tree example: 1/sqrt(2) [vac+|100>] After one operation of a we will collapse to the state |99> - which has MORE photons… (once we normalize to include the knowledge that we got a photon. Decay is caused by NOT getting apples on you. So sum will look like decay with up jumps, some like lower jumps, and coherent will have no jumps. Nature Photonics