Skip to article frontmatterSkip to article content
Site not loading correctly?

This may be due to an incorrect BASE_URL configuration. See the MyST Documentation for reference.

Transmission Dither Locking, Pound-Drever-Hall Michelson, and Fabry-Perot Michelson - Homework 04

Syracuse University

This is the fourth homework assignment for Lasers and Optomechanics at Syracuse University.
It is due Monday, April 6th, 2026 by 5 pm

You will need to complete the questions in this jupyter notebook and submit it via gitlab

1Transmitted Field Dither Locking

In class, we investigated dither locking using the reflected field EreflE_\mathrm{refl} from a Fabry-Perot cavity.

In this problem, investigate whether it is possible to use EtransE_\mathrm{trans} to hold lock.

1.1Plot of Fabry-Perot EtransE_\mathrm{trans} versus EtransE_\mathrm{trans}

Plot both EreflE_\mathrm{refl} and EtransE_\mathrm{trans} over a span of ϕ[π2,3π2]\phi \in \left[ -\dfrac{\pi}{2},\dfrac{3\pi}{2} \right]

Do you notice anything different about the resonance points?

1.2Total EtransE_\mathrm{trans} with end-mirror moduation

If we apply an end-mirror modulation Δxcos(ωt)\Delta x \cos(\omega t) to our Fabry-Perot cavity, what is the total Etrans(t)E_\mathrm{trans}(t) field?

1.3Calculate the total transmitted power Ptrans(t)P_\mathrm{trans}(t)

Calculate Ptrans(t)=Etrans(t)2P_\mathrm{trans}(t) = |E_\mathrm{trans}(t)|^2

You may set Δx2=0\Delta x^2 = 0 for simplicity in the calculations.
You should end up with only DC and 1ω\omega terms.

You may leave this power term in a general form if you wish, but you must be clear what each of the contributing fields are.

1.4Calculate the transmitted power demodulated at ω\omega

Calculate the demodulated term Ptrans(ω)=PtransI(ω)+iPtransQ(ω)P_\mathrm{trans}(\omega) = P^I_\mathrm{trans}(\omega) + i P^Q_\mathrm{trans}(\omega). This should be directly proportional to Δx\Delta x.

1.5Plot the length to transmitted power function phase sweep

Plot the real and imaginary parts of Ptrans(ω)Δx\dfrac{P_\mathrm{trans}(\omega)}{\Delta x} over ϕ[π2,3π2]\phi \in \left[ -\dfrac{\pi}{2},\dfrac{3\pi}{2} \right]

Choosing some low to moderate finesse cavity parameters, plot your derived function PtransΔx(ω)\dfrac{P_\mathrm{trans}}{\Delta x}(\omega) as a function of carrier phase ϕ\phi.

Let the cavity parameters be

L=1 mPin=1 WT1=0.3T2=0.3λ=1064 nmω=2π(100 Hz)L = 1~\mathrm{m}\\ P_\mathrm{in} = 1~\mathrm{W}\\ T_1 = 0.3\\ T_2 = 0.3\\ \lambda = 1064~\mathrm{nm}\\ \omega = 2 \pi (100~\mathrm{Hz})

1.6Plot the length to transmitted power transfer function

Plot your transfer function magnitude and phase PtransΔx(ω)\dfrac{P_\mathrm{trans}}{\Delta x}(\omega) as a function of frequency f=ω/(2π)f = \omega / (2\pi).

Use the same cavity parameters as above, but allow f[3×103,3×108] Hzf \in [3 \times 10^3, 3 \times 10^8]~\mathrm{Hz}, while setting ϕ=1\phi = 1^{\circ}.

2Pound-Drever-Hall Michelson

In-class we went over the Pound-Drever-Hall (PDH) Fabry-Perot interferometer.

Now we’ll try to apply the same technique lock a Michelson interferometer to it’s carrier dark fringe.

Below is a diagram of a Michelson with carrier at ω0\omega_0, and two RF phase sidebands created by an electro-optic modulator (EOM) oscillating at Ω\Omega to create two frequencies ω0±Ω\omega_0 \pm \Omega.
Our goal is to calculate the PDH error signal ϵPDH\epsilon_\mathrm{PDH} as a function of the carrier phase offset ϕd\phi_d and RF sideband frequency Ω\Omega.

pdh_michelson.png

2.1Calculate the total dark field Eas(t)E_{as}(t).

Calculate the full field expression Eas(t)E_{as}(t) at the dark port of the interferometer.

There should be three contributions, one from carrier and two from the RF phase sidebands injected alongside the carrier.

Let the modulation depth of the RF sideband be Γ\Gamma.
Let the carrier differential phase be ϕd=ω0(LxLy)/c\phi_d = \omega_0 (L_x - L_y) / c,
and the RF phase differential phase be φd=Ω(LxLy)/c\varphi_d = \Omega (L_x - L_y) / c.\

What happens to our phases and Eas(t)E_{as}(t) if Lx=LyL_x = L_y exactly?

Hint: The RF sidebands will experience a phase shift of ϕd±φd\phi_d \pm \varphi_d as it transmitted through the interferometer

2.2Calculate the total dark power Pas(t)P_{as}(t).

Calculate Pas(t)=Eas(t)2P_{as}(t) = |E_{as}(t)|^2.

Assume that the second order modulation terms Γ2=0\Gamma^2 = 0, for simplicity.

2.3Calculate the dark power demodulated at Ω\Omega

Calculate and plot the phase sweep of PasΓ(ϕd,φd)\dfrac{P_{as}}{\Gamma}(\phi_d, \varphi_d) for ϕd[5π,5π]\phi_d \in [-5\pi, 5\pi]. for some assumed cavity parameters:

Lx=5 mLy=5 mΩ=2π(10 MHz)rbs=tbs=12rx=ry=1L_x = 5~\mathrm{m}\\ L_y = 5~\mathrm{m}\\ \Omega = 2 \pi (10~\mathrm{MHz})\\ r_\mathrm{bs} = t_\mathrm{bs} = \dfrac{1}{\sqrt{2}}\\ r_x = r_y = 1

What do you notice about this signal PasΓ(ϕd,φd)\dfrac{P_{as}}{\Gamma}(\phi_d, \varphi_d) as we increase the offset ϕd\phi_d?

3Fabry-Perot Michelson Interferometer (FPMI)

We investigated compound interferometers in class when we studied the coupled-cavity.
Here we combine our Michelson interferometer with Fabry-Perot interferometers forming the arms, forming the Fabry-Perot Michelson Interferometer (FPMI) in a configuration similar to LIGO.

fpmi.png

3.1Adjacency Matrix

Form an adjacency matrix for the FPMI interferometer.

I recommend using ϕx=kx\phi_x = k \ell_x and ϕy=ky\phi_y = k \ell_y for the short Michelson arms,
and Φx=kLx\Phi_x = k L_x and Φy=kLy\Phi_y = k L_y for the Fabry-Perot arm lengths.

3.2Antisymmetric Port Field Derivations

Find the EasEin\dfrac{E_\mathrm{as}}{E_\mathrm{in}} transfer function by inverting the adjacency matrix.

You may also derive the FPMI response by using the compound interferometer technique, by letting the common Michelson X-arm reflection rxrFP(Φx)=EreflEinr_x \rightarrow r_\mathrm{FP}(\Phi_x) = \dfrac{E_\mathrm{refl}}{E_\mathrm{in}}.
Does this derivation agree with your result from the adjacency matrix?

3.3Simplifications to EasE_\mathrm{as}

At this point, you may simplify EasE_\mathrm{as} and change the basis using

Φx=Φc+ΦdΦy=ΦcΦdϕx=0ϕy=0rbs=tbs=12ritmx=ritmyretmx=retmy\begin{align} \Phi_x &= \Phi_c + \Phi_d\\ \Phi_y &= \Phi_c - \Phi_d\\ \phi_x &= 0\\ \phi_y &= 0\\ r_\mathrm{bs} = t_\mathrm{bs} &= \dfrac{1}{\sqrt{2}}\\ r_\mathrm{itmx} &= r_\mathrm{itmy}\\ r_\mathrm{etmx} &= r_\mathrm{etmy} \end{align}

The above assumes the short Michelson is always perfectly tuned, and the beamsplitter is ideal, and the Fabry-Perot arms are ideally balanced.

3.4Interpretation

Plot the real and imaginary parts of EasEin\dfrac{E_\mathrm{as}}{E_\mathrm{in}} as a function of Φd\Phi_d.

Compare to the normal Michelson solution for the AS port.
Do the Fabry-Perot arms enhance our sensitivity to differential displacement Φd\Phi_d?

You may substitute in a moderate finesse Fabry-Perot cavity values

x=y=5 mLx=Ly=4000 mTetmx=Tetmy=0Titmx=Titmy=10%\begin{align} \ell_x = \ell_y &= 5~\mathrm{m}\\ L_x = L_y &= 4000~\mathrm{m}\\ T_\mathrm{etmx} = T_\mathrm{etmy} &= 0\\ T_\mathrm{itmx} = T_\mathrm{itmy} &= 10\% \\ \end{align}