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.

Michelson Interferometers, Modulations, and Transfer Functions - Homework 03

Syracuse University

This is the third homework assignment for Lasers and Optomechanics at Syracuse University.
It is due Monday, March 02, 2026 by 5 pm

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

%matplotlib widget
from ipywidgets import *

import sympy as sp
import numpy as np
import matplotlib as mpl
import matplotlib.pyplot as plt

sp.init_printing(use_latex='mathjax')

plt.style.use('dark_background')

fontsize = 14
mpl.rcParams.update(
    {
        "text.usetex": True,
        "figure.figsize": (9, 6),
        "figure.autolayout": True,
        "font.family": "serif",
        "font.serif": "georgia",
        "lines.linewidth": 1.5,
        "font.size": fontsize,
        "xtick.labelsize": fontsize,
        "ytick.labelsize": fontsize,
        "legend.fancybox": True,
        "legend.fontsize": fontsize,
        "legend.framealpha": 0.7,
        "legend.handletextpad": 0.5,
        "legend.labelspacing": 0.2,
        "legend.loc": "best",
        "axes.edgecolor": "#b0b0b0",
        "grid.color": "#707070",
        "xtick.color": "#b0b0b0",
        "ytick.color": "#b0b0b0",
        "savefig.dpi": 80,
        "pdf.compression": 9,
    }
)

1Homodyne Michelson

homodyne-michelson-interferometer.jpeg

Homodyne Michelson Interferometer Diagram

1.1Adjacency Matrix

Set up an Adjacency Matrix M\boldsymbol{M} for the Homodyne Michelson.
You may choose any electric fields vector you want, but you have to include the explicitly labeled electric fields.
The homodyne angle ϕHD\phi_\mathrm{HD} can be considered as the total phase accrued by the local oscillator field ELOE_\mathrm{LO} in the pick-off path:

ELO=rLOeiϕHDEin\begin{align} E_\mathrm{LO} = -r_\mathrm{LO} e^{-i \phi_\mathrm{HD}} E_\mathrm{in} \end{align}

1.2Electric Field Transfer Functions

Invert your Adjacency Matrix minus the identity (MI)1(\boldsymbol{M} - \boldsymbol{I})^{-1} to calculate the transfer functions from each electric field to every other electric field.
Pick out the field transfer functions from the input to the photodetectors PDA\mathrm{PD}_A and PDB\mathrm{PD}_B EPDAEin\dfrac{E_\mathrm{PDA}}{E_\mathrm{in}} and EPDBEin\dfrac{E_\mathrm{PDB}}{E_\mathrm{in}}.

1.3Substitutions

Apply the phase change of basis used in class ϕd=ϕxϕy2\phi_d = \dfrac{\phi_x - \phi_y}{2} and ϕc=ϕxϕy2\phi_c = \dfrac{\phi_x - \phi_y}{2} to your field transfer functions above.
You may also assume a perfect Michelson beamsplitter rBS=tBS=12r_\mathrm{BS} = t_\mathrm{BS} = \dfrac{1}{\sqrt{2}}.

1.4Power Transfer Functions

Calculate the input to power transfer functions PPDAPin\dfrac{P_\mathrm{PDA}}{P_\mathrm{in}} and PPDBPin\dfrac{P_\mathrm{PDB}}{P_\mathrm{in}}.

1.5Interpretation

How do PPDAPin\dfrac{P_\mathrm{PDA}}{P_\mathrm{in}} and PPDBPin\dfrac{P_\mathrm{PDB}}{P_\mathrm{in}} depend on the homodyne angle ϕHD\phi_\mathrm{HD}, and the common and differential Michelson phase ϕd\phi_d and ϕc\phi_c?
Can we manipulate the homodyne angle ϕHD\phi_\mathrm{HD} to detect the differential phase ϕd\phi_d?
Can you think of any problems you might run into if you tried to actually set up a homodyned Michelson?

2Homodyne Michelson Solution

2.1Part A: Adjacency Matrix

First, create the electric field vector E\vec{E}, with elements below

SymbolDescription
E1E_1Input field
E2E_2Field incident on Michelson beamsplitter
E3E_3Field in X-arm, incident on end mirror rx-r_x
E4E_4Field in Y-arm, incident on end mirror ry-r_y
E5E_5Field returning from X-arm to BS
E6E_6Field returning from Y-arm to BS
E7E_7Antisymmetric port field EasE_\mathrm{as}
E8E_8Local oscillator field EloE_\mathrm{lo}
E9E_9Field at photodetector A, EAE_A
E10E_{10}Field at photodetector B, EBE_B

Optical elements:

  • M1M_1: Input beamsplitter (splits signal/LO), coefficients (rm1,tm1)(r_{m1},\, t_{m1})

  • M2M_2: Homodyne steering mirror (imparts LO phase ϕhd\phi_\mathrm{hd}), coefficient rm2r_{m2}

  • M3M_3: Homodyne beamsplitter (combines EasE_\mathrm{as} and EloE_\mathrm{lo}), coefficients (rhd,thd)(r_\mathrm{hd},\, t_\mathrm{hd})

The 10×1010\times10 adjacency matrix, with rows/columns ordered E1,,E10E_1,\ldots,E_{10}, is:

M=(0000000000tm10000000000tbseiϕx000000000rbseiϕy0000000000rxeiϕx0000000000ryeiϕy0000000000rbstbs0000rm1rm2eiϕhd000000000000000thdrhd00000000rhdthd00)(E1E2E3E4E5E6E7E8E9E10)M = \begin{pmatrix} 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ t_{m1} & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & t_\mathrm{bs} e^{-i\phi_x} & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & -r_\mathrm{bs} e^{-i\phi_y} & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & -r_x e^{-i\phi_x} & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & -r_y e^{-i\phi_y} & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & r_\mathrm{bs} & t_\mathrm{bs} & 0 & 0 & 0 & 0 \\ r_{m1} r_{m2} e^{-i\phi_\mathrm{hd}} & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & t_\mathrm{hd} & r_\mathrm{hd} & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & -r_\mathrm{hd} & t_\mathrm{hd} & 0 & 0 \end{pmatrix} \begin{pmatrix} E_1\\ E_2\\ E_3\\ E_4\\ E_5\\ E_6\\ E_7\\ E_8\\ E_9\\ E_{10} \end{pmatrix}

Reading off this matrix, for example E10=rhdE7+thdE8E_{10} = -r_\mathrm{hd} E_7 + t_\mathrm{hd} E_8.
This matches with what we might read off the diagram, with E10=EBE_{10} = E_B, E7=EasE_7 = E_{as}, E8=EloE_8 = E_{lo}, yielding

EB=rhdEas+thdEloE_B = -r_\mathrm{hd} E_{as} + t_\mathrm{hd} E_{lo}

Inverting this matrix minus the identity gives us our transfer functions:

G=(MI)1(1000000000tm1100000000tbstm1(eiϕx)tbs(eiϕx)10000000rbstm1eiϕyrbseiϕy01000000tbstm1rxe2iϕxtbsrxe2iϕxrxeiϕx0100000rbstm1ry(e2iϕy)rbsry(e2iϕy)0ryeiϕy010000rbstbstm1(rxe2iϕxrye2iϕy)rbstbs(rxe2iϕxrye2iϕy)rbsrxeiϕxtbsryeiϕyrbstbs1000eiϕhdrm1rm2000000100rbstbsthdtm1rxe2iϕxrbstbsthdtm1rye2iϕy+rhd(eiϕhd)rm1rm2rbstbsthd(rxe2iϕxrye2iϕy)rbsthdrxeiϕxtbsthdryeiϕyrbsthdtbsthdthdrhd10rbstbsrhdtm1rxe2iϕx+rbstbsrhdtm1rye2iϕy+thd(eiϕhd)rm1rm2rbstbsrhd(rye2iϕyrxe2iϕx)rbsrhdrx(eiϕx)tbsrhdry(eiϕy)rbsrhdtbsrhdrhdthd01)G = (M - I)^{-1}\left( \begin{array}{cccccccccc} -1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ -t_{\text{m1}} & -1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ t_{\text{bs}} t_{\text{m1}} \left(-e^{-i \phi _x}\right) & t_{\text{bs}} \left(-e^{-i \phi _x}\right) & -1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ r_{\text{bs}} t_{\text{m1}} e^{-i \phi _y} & r_{\text{bs}} e^{-i \phi _y} & 0 & -1 & 0 & 0 & 0 & 0 & 0 & 0 \\ t_{\text{bs}} t_{\text{m1}} r_x e^{-2 i \phi _x} & t_{\text{bs}} r_x e^{-2 i \phi _x} & r_x e^{-i \phi _x} & 0 & -1 & 0 & 0 & 0 & 0 & 0 \\ r_{\text{bs}} t_{\text{m1}} r_y \left(-e^{-2 i \phi _y}\right) & r_{\text{bs}} r_y \left(-e^{-2 i \phi _y}\right) & 0 & r_y e^{-i \phi _y} & 0 & -1 & 0 & 0 & 0 & 0 \\ r_{\text{bs}} t_{\text{bs}} t_{\text{m1}} \left(r_x e^{-2 i \phi _x}-r_y e^{-2 i \phi _y}\right) & r_{\text{bs}} t_{\text{bs}} \left(r_x e^{-2 i \phi _x}-r_y e^{-2 i \phi _y}\right) & r_{\text{bs}} r_x e^{-i \phi _x} & t_{\text{bs}} r_y e^{-i \phi _y} & -r_{\text{bs}} & -t_{\text{bs}} & -1 & 0 & 0 & 0 \\ -e^{-i \phi _{\text{hd}}} r_{\text{m1}} r_{\text{m2}} & 0 & 0 & 0 & 0 & 0 & 0 & -1 & 0 & 0 \\ r_{\text{bs}} t_{\text{bs}} t_{\text{hd}} t_{\text{m1}} r_x e^{-2 i \phi _x}-r_{\text{bs}} t_{\text{bs}} t_{\text{hd}} t_{\text{m1}} r_y e^{-2 i \phi _y}+r_{\text{hd}} \left(-e^{-i \phi _{\text{hd}}}\right) r_{\text{m1}} r_{\text{m2}} & r_{\text{bs}} t_{\text{bs}} t_{\text{hd}} \left(r_x e^{-2 i \phi _x}-r_y e^{-2 i \phi _y}\right) & r_{\text{bs}} t_{\text{hd}} r_x e^{-i \phi _x} & t_{\text{bs}} t_{\text{hd}} r_y e^{-i \phi _y} & -r_{\text{bs}} t_{\text{hd}} & -t_{\text{bs}} t_{\text{hd}} & -t_{\text{hd}} & -r_{\text{hd}} & -1 & 0 \\ -r_{\text{bs}} t_{\text{bs}} r_{\text{hd}} t_{\text{m1}} r_x e^{-2 i \phi _x}+r_{\text{bs}} t_{\text{bs}} r_{\text{hd}} t_{\text{m1}} r_y e^{-2 i \phi _y}+t_{\text{hd}} \left(-e^{-i \phi _{\text{hd}}}\right) r_{\text{m1}} r_{\text{m2}} & r_{\text{bs}} t_{\text{bs}} r_{\text{hd}} \left(r_y e^{-2 i \phi _y}-r_x e^{-2 i \phi _x}\right) & r_{\text{bs}} r_{\text{hd}} r_x \left(-e^{-i \phi _x}\right) & t_{\text{bs}} r_{\text{hd}} r_y \left(-e^{-i \phi _y}\right) & r_{\text{bs}} r_{\text{hd}} & t_{\text{bs}} r_{\text{hd}} & r_{\text{hd}} & -t_{\text{hd}} & 0 & -1 \\ \end{array} \right)

2.2Part B: Electric Field Transfer Functions

From our matrix inversion, we can pick off the last two rows and first column elements G9,1G_{9,1} and G10,1G_{10,1}

EAEin=G9,1,EBEin=G10,1\dfrac{E_A}{E_\mathrm{in}} = G_{9,1}, \qquad \dfrac{E_B}{E_\mathrm{in}} = G_{10,1}
EAEin=rbstbsthdtm1rxe2iϕxrbstbsthdtm1rye2iϕyrhdrm1rm2eiϕhdEBEin=rbstbsrhdtm1rxe2iϕx+rbstbsrhdtm1rye2iϕythdrm1rm2eiϕhd\begin{align} \dfrac{E_A}{E_\mathrm{in}} &= r_{\text{bs}} t_{\text{bs}} t_{\text{hd}} t_{\text{m1}} r_x e^{-2 i \phi _x}-r_{\text{bs}} t_{\text{bs}} t_{\text{hd}} t_{\text{m1}} r_y e^{-2 i \phi _y} - r_{\text{hd}} r_{\text{m1}} r_{\text{m2}} e^{-i \phi _{\text{hd}}}\\ \dfrac{E_B}{E_\mathrm{in}} &= -r_{\text{bs}} t_{\text{bs}} r_{\text{hd}} t_{\text{m1}} r_x e^{-2 i \phi _x}+r_{\text{bs}} t_{\text{bs}} r_{\text{hd}} t_{\text{m1}} r_y e^{-2 i \phi _y} - t_{\text{hd}} r_{\text{m1}} r_{\text{m2}} e^{-i \phi _{\text{hd}}}\\ \end{align}

2.3Part C: Substitutions

Physically motivated simplifications:

  1. Phase basis change: ϕx=ϕc+ϕd\phi_x = \phi_c + \phi_d,   ϕy=ϕcϕd\;\phi_y = \phi_c - \phi_d

  2. Ideal 50:50 Michelson BS: tbs=rbs=1/2t_\mathrm{bs} = r_\mathrm{bs} = 1/\sqrt{2}

  3. Perfect end mirrors: rx=ry=1r_x = r_y = 1,

  4. Perfect steering mirror: rm2=1r_{m2} = 1

  5. Ideal 50:50 homodyne BS: thd=rhd=1/2t_\mathrm{hd} = r_\mathrm{hd} = 1/\sqrt{2}

  6. Ideal 50:50 input BS: tm1=rm1=1/2t_{m1} = r_{m1} = 1/\sqrt{2}

EAEin=14(ei2(ϕcϕd)+ei2(ϕc+ϕd)2eiϕhd)EBEin=14(ei2(ϕcϕd)ei2(ϕc+ϕd)2eiϕhd)\begin{align} \dfrac{E_A}{E_\mathrm{in}} &= \dfrac{1}{4} \left( -e^{-i 2 (\phi_c - \phi_d)} + e^{-i 2 (\phi_c + \phi_d)} - 2 e^{-i \phi_{hd}} \right)\\ \dfrac{E_B}{E_\mathrm{in}} &= \dfrac{1}{4} \left( e^{-i 2 (\phi_c - \phi_d)} - e^{-i 2 (\phi_c + \phi_d)} - 2 e^{-i \phi_{hd}} \right)\\ \end{align}

2.4Part D: Power Transfer Functions

(Assume that Ein=1 WE_\mathrm{in} = 1~\sqrt{\mathrm{W}} and Pin=1 WP_\mathrm{in} = 1~\mathrm{W})

Derivation for PAP_A:

EA=14[ei2(ϕcϕd)+ei2(ϕc+ϕd)2eiϕhd]EA=14ei2ϕc[ei2ϕd+ei2ϕd2ei(ϕhd2ϕc)]EA=14ei2ϕc[i2sin(2ϕd)2ei(ϕhd2ϕc)]EA=12ei2ϕc[isin(2ϕd)ei(ϕhd2ϕc)] PA=EA2PA=14[isin(2ϕd)ei(ϕhd2ϕc)][isin(2ϕd)ei(ϕhd2ϕc)]PA=14[sin2(2ϕd)+1isin(2ϕd)ei(ϕhd2ϕc)+isin(2ϕd)ei(ϕhd2ϕc)]PA=14[1+sin2(2ϕd)+isin(2ϕd)(i2sin(ϕhd2ϕc))]PA=14[1+sin2(2ϕd)2sin(2ϕd)sin(ϕhd2ϕc)]PA=14[1+sin2(2ϕd)+2sin(2ϕd)sin(2ϕcϕhd)]\begin{align} E_A &= \dfrac{1}{4} \left[ -e^{-i 2 (\phi_c - \phi_d)} + e^{-i 2 (\phi_c + \phi_d)} - 2 e^{-i \phi_{hd} } \right]\\ E_A &= \dfrac{1}{4} e^{-i 2 \phi_c} \left[ -e^{i 2 \phi_d} + e^{-i 2 \phi_d} - 2 e^{-i (\phi_{hd} - 2\phi_c) } \right]\\ E_A &= \dfrac{1}{4} e^{-i 2 \phi_c} \left[ -i 2 \sin(2 \phi_d) - 2 e^{-i (\phi_{hd} - 2\phi_c) } \right]\\ E_A &= \dfrac{1}{2} e^{-i 2 \phi_c} \left[ -i \sin(2 \phi_d) - e^{-i (\phi_{hd} - 2\phi_c) } \right]\\~\\ P_A &= \left|E_A\right|^2\\ P_A &= \dfrac{1}{4} \left[ -i \sin(2 \phi_d) - e^{-i (\phi_{hd} - 2\phi_c) } \right] \left[ i \sin(2 \phi_d) - e^{i (\phi_{hd} - 2\phi_c) } \right]\\ P_A &= \dfrac{1}{4} \left[ \sin^2(2 \phi_d) + 1 - i \sin(2 \phi_d) e^{-i (\phi_{hd} - 2\phi_c) } + i \sin(2 \phi_d) e^{i (\phi_{hd} - 2\phi_c) } \right]\\ P_A &= \dfrac{1}{4} \left[ 1 + \sin^2(2 \phi_d) + i \sin(2 \phi_d) (i 2 \sin(\phi_{hd} - 2\phi_c)) \right]\\ P_A &= \dfrac{1}{4} \left[ 1 + \sin^2(2 \phi_d) - 2 \sin(2 \phi_d) \sin(\phi_{hd} - 2\phi_c) \right]\\ P_A &= \dfrac{1}{4} \left[ 1 + \sin^2(2 \phi_d) + 2 \sin(2 \phi_d) \sin(2\phi_c - \phi_{hd}) \right] \end{align}

The normalised powers PA=EA2P_A = \left|E_A\right|^2, PB=EB2P_B = \left|E_B\right|^2 are :

PA=14 ⁣[1+sin2(2ϕd)+2sin(2ϕd)sin(2ϕcϕhd)]\boxed{P_A = \frac{1}{4}\!\left[1 + \sin^2(2\phi_d) + 2\sin(2\phi_d)\sin(2\phi_c - \phi_\mathrm{hd})\right]}
PB=14 ⁣[1+sin2(2ϕd)2sin(2ϕd)sin(2ϕcϕhd)]\boxed{P_B = \frac{1}{4}\!\left[1 + \sin^2(2\phi_d) - 2\sin(2\phi_d)\sin(2\phi_c - \phi_\mathrm{hd})\right]}

Analyzing the above, what is actually most useful as an error signal is the power sum Psum=PA+PBP_\mathrm{sum} = P_A + P_B and difference Pdiff=PAPBP_\mathrm{diff} = P_A - P_B:

Psum=14 ⁣[1+sin2(2ϕd)]\boxed{P_\mathrm{sum} = \frac{1}{4}\!\left[1 + \sin^2(2\phi_d)\right]}
Pdiff=sin(2ϕd)sin(2ϕcϕhd)\boxed{P_\mathrm{diff} = \sin(2\phi_d)\,\sin(2\phi_c - \phi_\mathrm{hd})}

Setting ϕhd=2ϕcπ/2\phi_\mathrm{hd} = 2\phi_c - \pi/2 maximises sensitivity to ϕd\phi_d:

Pdiffopt=sin(2ϕd)P_\mathrm{diff}\big|_\mathrm{opt} = \sin(2\phi_d)

2.5Plots

Plot 1: Power vs Differential Phase ϕd\phi_d

Optimal homodyne angle ϕhd=2ϕcπ/2\phi_\mathrm{hd} = 2\phi_c - \pi/2, with ϕc=0\phi_c = 0.

PAPB=sin(2ϕd)P_A - P_B = \sin(2\phi_d) crosses zero at ϕd=0\phi_d = 0, providing a linear error signal for dark-fringe locking.

phi_d_arr  = np.linspace(-np.pi, np.pi, 1000)
phi_c_arr  = np.linspace(-np.pi, np.pi, 1000)
phi_hd_arr = np.linspace(-np.pi, np.pi, 1000)
def Pa_np(pc,pd,phd): return (3-np.cos(4*pd)+4*np.sin(2*pd)*np.sin(2*pc-phd))/8
def Pb_np(pc,pd,phd): return (3-np.cos(4*pd)-4*np.sin(2*pd)*np.sin(2*pc-phd))/8

# Plot 1 -- vs phi_d, optimal homodyne angle
pc0 = 0.0
phd_opt = 2*pc0 - np.pi/2

fig, ax = plt.subplots()
pa = Pa_np(pc0, phi_d_arr, phd_opt)
pb = Pb_np(pc0, phi_d_arr, phd_opt)
ax.plot(phi_d_arr, pa,    lw=2,          label=r'$P_A$')
ax.plot(phi_d_arr, pb,    lw=2,          label=r'$P_B$')
ax.plot(phi_d_arr, pa+pb, lw=2, ls='--', label=r'$P_A+P_B$')
ax.plot(phi_d_arr, pa-pb, lw=2, ls='-.', label=r'$P_A-P_B$')
ax.axhline(0, color='w', lw=0.7)
ax.axvline(0, color='w', lw=0.7, ls=':')
ax.set_xlabel(r'Differential phase $\phi_d$ [rad]')
ax.set_ylabel('Normalised Power')
ax.set_title(r'Power vs $\phi_d$  ($\phi_\mathrm{hd} = 2\phi_c - \pi/2$, $\phi_c=0$)')
ax.set_xticks([-np.pi,-np.pi/2,0,np.pi/2,np.pi])
ax.set_xticklabels([r'$-\pi$',r'$-\pi/2$','$0$',r'$\pi/2$',r'$\pi$'])
ax.legend(loc='upper right')
ax.grid()
plt.tight_layout()
# plt.savefig('plot1_vs_phid.png', bbox_inches='tight')
plt.show()
print("P_A - P_B crosses zero at phi_d = 0: ideal dark-fringe error signal.")
Loading...
P_A - P_B crosses zero at phi_d = 0: ideal dark-fringe error signal.

Plot 2: Power vs Common Phase ϕc\phi_c

ϕd=π/4\phi_d = \pi/4 (bright Michelson), ϕhd=0\phi_\mathrm{hd} = 0.

The common phase ϕc\phi_c redistributes power between detectors A and B, but leaves the sum PA+PBP_A+P_B unchanged.

phi_d_bright = np.pi/4

fig2, ax2 = plt.subplots()
pa2 = Pa_np(phi_c_arr, phi_d_bright, 0.0)
pb2 = Pb_np(phi_c_arr, phi_d_bright, 0.0)
ax2.plot(phi_c_arr, pa2,     lw=2,          label=r'$P_A$')
ax2.plot(phi_c_arr, pb2,     lw=2,          label=r'$P_B$')
ax2.plot(phi_c_arr, pa2+pb2, lw=2, ls='--', label=r'$P_A+P_B$')
ax2.plot(phi_c_arr, pa2-pb2, lw=2, ls='-.', label=r'$P_A-P_B$')
ax2.axhline(0, color='w', lw=0.7)
ax2.set_xlabel(r'Common phase $\phi_c$ [rad]')
ax2.set_ylabel('Normalised Power')
ax2.set_title(r'Power vs $\phi_c$  ($\phi_d=\pi/4$, $\phi_\mathrm{hd}=0$)')
ax2.set_xticks([-np.pi,-np.pi/2,0,np.pi/2,np.pi])
ax2.set_xticklabels([r'$-\pi$',r'$-\pi/2$','$0$',r'$\pi/2$',r'$\pi$'])
ax2.legend(loc='upper right')
ax2.grid()
plt.tight_layout()
# plt.savefig('plot2_vs_phic.png', bbox_inches='tight')
plt.show()
Loading...

Plot 3: Power vs Homodyne Angle ϕhd\phi_\mathrm{hd}

ϕd=π/4\phi_d = \pi/4 (bright Michelson), ϕc=0\phi_c = 0.

Sweeping ϕhd\phi_\mathrm{hd} rotates the interference between EasE_\mathrm{as} and EloE_\mathrm{lo}, shifting signal between detectors while keeping the sum constant.

Note: This sweep only works on a bright fringe -- if the Michelson is dark (Eas=0E_\mathrm{as}=0), the LO has nothing to beat against. This motivates the coherent locking field (CLF): an RF-modulated sideband co-propagating with squeezed light that provides a homodyne angle reference even on the dark fringe.

fig, ax3 = plt.subplots()
pa3 = Pa_np(0.0, phi_d_bright, phi_hd_arr)
pb3 = Pb_np(0.0, phi_d_bright, phi_hd_arr)
ax3.plot(phi_hd_arr, pa3,     lw=2,          label=r'$P_A$')
ax3.plot(phi_hd_arr, pb3,     lw=2,          label=r'$P_B$')
ax3.plot(phi_hd_arr, pa3+pb3, lw=2, ls='--', label=r'$P_A+P_B$')
ax3.plot(phi_hd_arr, pa3-pb3, lw=2, ls='-.', label=r'$P_A-P_B$')
ax3.axhline(0, color='w', lw=0.7)
ax3.set_xlabel(r'Homodyne angle $\phi_\mathrm{hd}$ [rad]')
ax3.set_ylabel('Normalised Power')
ax3.set_title(r'Power vs $\phi_\mathrm{hd}$  ($\phi_d=\pi/4$, $\phi_c=0$)')
ax3.set_xticks([-np.pi,-np.pi/2,0,np.pi/2,np.pi])
ax3.set_xticklabels([r'$-\pi$',r'$-\pi/2$','$0$',r'$\pi/2$',r'$\pi$'])
ax3.legend(loc='upper right')
ax3.grid()
plt.tight_layout()
# plt.savefig('plot3_vs_phihd.png', bbox_inches='tight')
plt.show()
Loading...

2.6Extra Credit: Optimal Input Beamsplitter Ratio

Relaxing the 50:50 assumption on M1M_1 (keep rm1r_{m1}, tm1t_{m1} free, rm12+tm12=1r_{m1}^2 + t_{m1}^2 = 1), gives new expressions for EAE_A and EBE_B:

EA=ei(2ϕc+2ϕd+ϕhd)(2rm1e2i(ϕc+ϕd)tm1ei(4ϕd+ϕhd)+eiϕhdtm1)22EB=ei(2ϕc+2ϕd+ϕhd)(2rm1e2i(ϕc+ϕd)+tm1ei(4ϕd+ϕhd)eiϕhdtm1)22\begin{align} E_A &= \frac{e^{-i \left(2 \phi _c+2 \phi _d+\phi _{\text{hd}}\right)} \left(-2 r_{\text{m1}} e^{2 i \left(\phi _c+\phi _d\right)}-t_{\text{m1}} e^{i \left(4 \phi _d+\phi _{\text{hd}}\right)}+e^{i \phi _{\text{hd}}} t_{\text{m1}}\right)}{2 \sqrt{2}}\\ E_B &= \frac{e^{-i \left(2 \phi _c+2 \phi _d+\phi _{\text{hd}}\right)} \left(-2 r_{\text{m1}} e^{2 i \left(\phi _c+\phi _d\right)}+t_{\text{m1}} e^{i \left(4 \phi _d+\phi _{\text{hd}}\right)}-e^{i \phi _{\text{hd}}} t_{\text{m1}}\right)}{2 \sqrt{2}} \end{align}

Turning the crank:

PA=14(4rm1tm1sin(2ϕd)sin(2ϕcϕhd)tm12cos(4ϕd)+2rm12+tm12)PB=14(tm1(4rm1sin(2ϕd)sin(2ϕcϕhd)+tm1cos(4ϕd))+2rm12+tm12)PA+PB=12(tm12cos(4ϕd)+2rm12+tm12)PAPB=2rm1tm1sin(2ϕd)sin(2ϕcϕhd)\begin{align} P_A &= \frac{1}{4} \left(4 r_{\text{m1}} t_{\text{m1}} \sin \left(2 \phi _d\right) \sin \left(2 \phi _c-\phi _{\text{hd}}\right)-t_{\text{m1}}^2 \cos \left(4 \phi _d\right)+2 r_{\text{m1}}^2+t_{\text{m1}}^2\right)\\ P_B &= \frac{1}{4} \left(-t_{\text{m1}} \left(4 r_{\text{m1}} \sin \left(2 \phi _d\right) \sin \left(2 \phi _c-\phi _{\text{hd}}\right)+t_{\text{m1}} \cos \left(4 \phi _d\right)\right)+2 r_{\text{m1}}^2+t_{\text{m1}}^2\right)\\ P_A + P_B &= \frac{1}{2} \left(-t_{\text{m1}}^2 \cos \left(4 \phi _d\right)+2 r_{\text{m1}}^2+t_{\text{m1}}^2\right)\\ P_A - P_B &= 2 r_{\text{m1}} t_{\text{m1}} \sin \left(2 \phi _d\right) \sin \left(2 \phi _c-\phi _{\text{hd}}\right)\\ \end{align}

At the optimal homodyne angle ϕhd=2ϕcπ/2\phi_\mathrm{hd} = 2\phi_c - \pi/2, the differential signal becomes:

Pdiff=2rm1tm1sin(2ϕd)P_\mathrm{diff} = 2 r_{\text{m1}} t_{\text{m1}} \sin \left(2 \phi _d\right)

Maximising over Tm1tm12T_{m1} \equiv t_{m1}^2 (with rm1=1Tm1r_{m1} = \sqrt{1-T_{m1}}):

ddTm1 ⁣[1Tm1Tm1]=0 1Tm1Tm1Tm11Tm1=0     Tm1=0.5\dfrac{d}{dT_{m1}}\!\left[\sqrt{1-T_{m1}}\sqrt{T_{m1}}\right] = 0\\~\\ \frac{\sqrt{1-T_{\text{m1}}}}{\sqrt{T_{\text{m1}}}}-\frac{\sqrt{T_{\text{m1}}}}{\sqrt{1-T_{\text{m1}}}} = 0\\~\\ \;\Rightarrow\; T_{m1} = 0.5

A 50:50 input beamsplitter gives the maximum sensitivity to differential phase.

Tm1 = np.linspace(0, 1, 1000)
coeff = (np.sqrt(1-Tm1) + np.sqrt(Tm1)) / np.sqrt(2)

fig, ax4 = plt.subplots()
ax4.plot(Tm1, coeff, 'steelblue', lw=2.5)
ax4.axvline(0.5, color='tomato', ls='--', lw=2,
           label=r'$T_{M1}=0.5$ (optimum, coeff $=1$)')
ax4.set_xlabel(r'Input mirror transmission $T_{M1}$')
ax4.set_ylabel(r'$\phi_d$ sensitivity coefficient $(r_{m1}+t_{m1})/\sqrt{2}$')
ax4.set_title(r'$\phi_d$ Sensitivity vs Input Beamsplitter Splitting')
ax4.set_xlim(0,1); ax4.set_ylim(0.70, 1.03)
ax4.legend()
plt.tight_layout()
# plt.savefig('plot4_extra_credit.png', bbox_inches='tight')
plt.show()
print(f"Maximum sensitivity = {max(coeff):.6f} at Tm1 = {Tm1[np.argmax(coeff)]:.3f}")
Loading...
Maximum sensitivity = 1.000000 at Tm1 = 0.499

3Asymmetric Michelson

Suppose you have a Michelson interferometer with the X-arm much longer than the Y-arm:

Lx>LyL_x > L_y

In this problem, we will calculate the full frequency response transfer functions of the Michelson

PasϕCARM(ω)andPasϕDARM(ω)\dfrac{P_\mathrm{as}}{\phi_\mathrm{CARM}}(\omega) \quad \mathrm{and} \quad \dfrac{P_\mathrm{as}}{\phi_\mathrm{DARM}}(\omega)

I recommend using an algebra helper like Mathematica or sympy for this problem. You may convert your answers to LaTeX using TeXform in Mathematica or some such similar function for sympy.

3.1Field tranfer functions

Derive the electric field transfer functions for the following:

ExEin,EyEin,EasEin\begin{align} \dfrac{E_\mathrm{x}}{E_\mathrm{in}}, \dfrac{E_\mathrm{y}}{E_\mathrm{in}}, \dfrac{E_\mathrm{as}}{E_\mathrm{in}} \end{align}

where EinE_\mathrm{in} is the input electric field E0eiω0tE_0 e^{i \omega_0 t},
ExE_\mathrm{x} is the field reflected from the X-arm mirror,
EyE_\mathrm{y} is the field reflected from the Y-arm mirror,
and EasE_\mathrm{as} is the field at the antisymmetric (or transmission) port.

Use rbs,tbsr_\mathrm{bs}, t_\mathrm{bs} for the beamsplitter reflection and transmission,
rx,ryr_\mathrm{x}, r_\mathrm{y} for the X and Y mirror reflections, and
ϕx,ϕy\phi_x, \phi_y for the single-pass phase accrued by the field as it propagates in the X-arm or Y-arm.

3.2End Mirror Modulation

Now, suppose we apply some common modulation to both end mirrors:

ϕc(t)=ϕx(t)=ϕy(t)=Γcos(ωt)\phi_c(t) = \phi_x(t) = \phi_y(t) = \Gamma \cos(\omega t)

Write what the new arm reflected transfer functions are for:

ExEin,EyEin\dfrac{E_\mathrm{x}}{E_\mathrm{in}}, \dfrac{E_\mathrm{y}}{E_\mathrm{in}}

Hint: Remember that you should end up with three distinct fields at ω0\omega_0 and ω0±ω\omega_0 \pm \omega

3.3Propagate to the antisymmetric port

Propagate your new transfer functions to the antisymmetric port, and compute a new EasEin\dfrac{E_\mathrm{as}}{E_\mathrm{in}}.

Be careful here.
Consider carefully what k=ω/ck = \omega/c is for each of your electric fields as they propagate back to the beamsplitter, accruing some phase ϕ=kL\phi = -k L.
Should each field accrue the same phase?

3.4Calculate the power response

Calculate the power response to the common motion PasPin\dfrac{P_\mathrm{as}}{P_\mathrm{in}}.

This is a lot of algebra, I recommend Mathematica or sympy to help you make sure you get things right here.
You may find it useful to express your arm phases in the common and differential bases again, since you have already incorporated the time-dependent term Γcos(ωt)\Gamma \cos(\omega t) as two additional sideband terms:

ϕx=ϕc+ϕd,ϕy=ϕcϕd\phi_x = \phi_c + \phi_d, \qquad \phi_y = \phi_c - \phi_d

You may assume an ideal beamsplitter

rbs=tbs=12r_\mathrm{bs} = t_\mathrm{bs} = \dfrac{1}{\sqrt{2}}

and balanced arms

rx=tyr_\mathrm{x} = t_\mathrm{y}

and small modulation from the end mirrors

Γ20\Gamma^2 \approx 0

Answer:

PasPin=rx2[sin2(2ϕd)2Γsin(4ϕd)sin(ωϕdω0)sin(ωt+ωϕcω0)]\dfrac{P_\mathrm{as}}{P_\mathrm{in}} = r_x^2 \left[ \sin^2(2 \phi_d) - 2 \Gamma \sin (4 \phi_d) \sin \left(\dfrac{\omega \phi_d}{\omega_0}\right) \sin \left(\omega t+\frac{\omega \phi_c}{\omega_0}\right) \right]

3.5Demodulate the power term

Calculate

PasDC,PasI,PasQP_\mathrm{as}^\mathrm{DC}, \, P_\mathrm{as}^I, \, P_\mathrm{as}^Q

by integrating PasP_\mathrm{as} over one cycle of ωt\omega t while multiplying by 1,cos(ωt)1, \cos(\omega t) and sin(ωt)\sin(\omega t), respectively.

Does your answer for PasDCP_\mathrm{as}^\mathrm{DC} seem familiar?

3.6Caluculate the Frequency Response to CARM motion in an Asymmetric Michelson

Calculate the frequency response

Pas(ω)=PasI(ω)+iPasQ(ω)P_\mathrm{as}(\omega) = P_\mathrm{as}^I(\omega) + i P_\mathrm{as}^Q(\omega)

to CARM motion Γ\Gamma.

Plot the magnitude and phase for PasΓ(ω)\dfrac{P_\mathrm{as}}{\Gamma}(\omega).

Assume

rx=1Lx=1000 mLy=1 mλ=1064 nm\begin{align} r_x &= 1\\ L_x &= 1000~\mathrm{m}\\ L_y &= 1~\mathrm{m}\\ \lambda &= 1064~\mathrm{nm} \end{align}

4Asymmetric Michelson Solution

4.1Part A: Electric Field Transfer Functions

The field transfer functions for the Michelson are

ExEin=rxtbseiϕxEyEin=ryrbseiϕyEasEin=rxrbstbsei2ϕx+ryrbstbsei2ϕy\begin{align} \dfrac{E_\mathrm{x}}{E_\mathrm{in}} &= -r_x t_{bs} e^{-i \phi_x} \\ \dfrac{E_\mathrm{y}}{E_\mathrm{in}} &= r_y r_{bs} e^{-i \phi_y} \\ \dfrac{E_\mathrm{as}}{E_\mathrm{in}} &= -r_x r_{bs} t_{bs} e^{-i 2 \phi_x} + r_y r_{bs} t_{bs} e^{-i 2 \phi_y} \end{align}

where Ein=E0eiω0tE_\mathrm{in} = E_0 e^{i \omega_0 t} is the input electric field,\ and ϕx=kLx\phi_x = k L_x and ϕy=kLy\phi_y = k L_y are the single pass phase accrued from traversing the arms.
For us, Lx>LyL_x > L_y, so the raw amount of phase accrued in each arm is very different,but our basis breakdown still works.
We can still write down ϕc=ϕx+ϕy\phi_c = \phi_x + \phi_y and ϕd=ϕxϕy\phi_d = \phi_x - \phi_y, and assuming ry=rxr_y = r_x, rewrite EasE_{as} in the new basis:

EasEin=E0eiω0t(iei2ϕcrxsin(2ϕd))\begin{align} \dfrac{E_\mathrm{as}}{E_\mathrm{in}} &= E_0 e^{i \omega_0 t} \left(i e^{-i 2 \phi_c} r_x \sin(2 \phi_d) \right) \end{align}

For the rest of this problem, ϕx\phi_x and ϕy\phi_y will be broken down into a DC term ϕx0,ϕy0\phi_{x0}, \phi_{y0}, and an AC, or modulating term ϕx(t),ϕy(t)\phi_x(t),\phi_y(t):

ϕx=ϕx0+ϕx(t)ϕy=ϕy0+ϕy(t)\begin{align} \phi_x = \phi_{x0} + \phi_x(t)\\ \phi_y = \phi_{y0} + \phi_y(t) \end{align}

4.2Part B: Modulation applied to the end mirrors

From class, we saw that mirror motion is equivalent to phase modulation.
Here we apply a common phase modulation of ϕc(t)=2Γcos(ωt)\phi_c(t) = 2 \Gamma \cos(\omega t),
so ϕx(t)=ϕy(t)=Γcos(ωt)\phi_x(t) = \phi_y(t) = \Gamma \cos(\omega t),
where Γ\Gamma is the modulation depth in radians,
ω\omega is the modulation frequency in radians/second,
and tt is time.

For the beam immediately reflected off the X-arm, we get three frequencies of light coming back, at ω0\omega_0, and ω0±ω\omega_0 \pm \omega:

Ex(t)=Ein(rxtbsexp[iϕx])Ex(t)=Ein(rxtbsexp[i(ϕx0+ϕx(t))])Ex(t)=E0eiω0t(rxtbseiϕx0exp[iΓcos(ωt)])Ex(t)=E0eiω0t(rxtbseiϕx0(1+iΓ2eiωt+iΓ2eiωt))Ex(t)=E0rxtbseiϕx0(eiω0t+iΓ2ei(ω0+ω)t+iΓ2ei(ω0ω)t)\begin{align} E_x(t) &= E_\mathrm{in} (-r_x t_{bs} \exp[-i \phi_x])\\ E_x(t) &= E_\mathrm{in} (-r_x t_{bs} \exp[-i ( \phi_{x0} + \phi_x(t) ) ])\\ E_x(t) &= E_0 e^{i \omega_0 t} \left(-r_x t_{bs} e^{-i \phi_{x0}} \exp[-i \Gamma \cos(\omega t)] \right) \\ E_x(t) &= E_0 e^{i \omega_0 t} \left(-r_x t_{bs} e^{-i \phi_{x0}} \left( 1 + i \dfrac{\Gamma}{2} e^{i \omega t} + i \dfrac{\Gamma}{2} e^{-i \omega t} \right) \right)\\ E_x(t) &= - E_0 r_x t_{bs} e^{-i \phi_{x0}} \left( e^{i \omega_0 t} + i \dfrac{\Gamma}{2} e^{i (\omega_0 + \omega) t} + i \dfrac{\Gamma}{2} e^{i (\omega_0 - \omega) t} \right) \end{align}

Notice that all the beams have experienced the same phase delay ϕx0=kLx=ω0Lx/c\phi_{x0} = k L_x = \omega_0 L_x / c at the end mirror,
represented by this common coefficient eiϕx0e^{-i \phi_{x0}},
because during the time the beam propogated to the end mirror, there was only one frequency of light ω0\omega_0.

Similarly for the Y-arm:

Ey(t)=Ein(ryrbsexp[iϕy])Ey(t)=Ein(ryrbsexp[i(ϕy0+ϕy(t))])Ey(t)=E0eiω0t(ryrbseiϕy0exp[iΓcos(ωt)])Ey(t)=E0eiω0t(ryrbseiϕy0(1+iΓ2eiωt+iΓ2eiωt))Ey(t)=E0ryrbseiϕy0(eiω0t+iΓ2ei(ω0+ω)t+iΓ2ei(ω0ω)t)\begin{align} E_y(t) &= E_\mathrm{in} (r_y r_{bs} \exp[-i \phi_y])\\ E_y(t) &= E_\mathrm{in} (r_y r_{bs} \exp[-i ( \phi_{y0} + \phi_y(t) ) ])\\ E_y(t) &= E_0 e^{i \omega_0 t} \left(r_y r_{bs} e^{-i \phi_{y0}} \exp[-i \Gamma \cos(\omega t)] \right) \\ E_y(t) &= E_0 e^{i \omega_0 t} \left(r_y r_{bs} e^{-i \phi_{y0}} \left( 1 + i \dfrac{\Gamma}{2} e^{i \omega t} + i \dfrac{\Gamma}{2} e^{-i \omega t} \right) \right)\\ E_y(t) &= E_0 r_y r_{bs} e^{-i \phi_{y0}} \left( e^{i \omega_0 t} + i \dfrac{\Gamma}{2} e^{i (\omega_0 + \omega) t} + i \dfrac{\Gamma}{2} e^{i (\omega_0 - \omega) t} \right) \end{align}

In the last step for both, I distributed the eiω0te^{i \omega_0 t} term to each of the three fields to emphasize their actual propagation frequency.

4.3Part C: The Dark Port Field EasE_{as}

Now, let’s propogate the beams back to the beamsplitter.
We need to calculate

Eas=rbsEx2+tbsEy2E_{as} = r_{bs} E_{x2} + t_{bs} E_{y2}

where Ex2E_{x2} and Ey2E_{y2} are the beams incident on the backside of the beamsplitter.

X-arm

First we’ll focus on calculating Ex2E_{x2} from our ExE_x above. The key difference here is we have our three beams propogating back to the beamsplitter across the same space, but now will experience different phase accretion.

Recall that the propagation coefficient is eikLxe^{-i k L_x}. In this case, we have three different kk, because k=Ω/ck = \Omega / c, and we have Ω=ω0,ω0+ω,ω0ω\Omega = {\omega_0, \omega_0 + \omega, \omega_0 - \omega}.
(Here I used Ω\Omega to represent a generalized frequency, because ω\omega is already taken for our modulation frequency).

So, our carrier, upper sideband, and lower sideband will experience three different phases going back to the beamsplitter from the X-arm end mirror:

Carrier:ϕx0=ω0LxcUpper Sideband:ϕx,usb=(ω0+ω)LxcLower Sideband:ϕx,lsb=(ω0ω)Lxc\begin{align} \text{Carrier}: \quad &\phi_{x0} = \dfrac{\omega_0 L_x}{c} \\ \text{Upper Sideband}: \quad &\phi_{x,\mathrm{usb}} = \dfrac{(\omega_0 + \omega) L_x}{c} \\ \text{Lower Sideband}: \quad &\phi_{x,\mathrm{lsb}} = \dfrac{(\omega_0 - \omega) L_x}{c} \end{align}

so the carrier accrues the exact same phase going back to the beamsplitter, but the sidebands accrue more or less phase.

I like to rewrite the sideband phases accrued in terms of the carrier DC phase ϕx0\phi_{x0} and ω\omega:

Upper Sideband:ϕx,usb=(ω0+ω)Lxc=ω0Lxc+ωLxc=ϕx0+ωω0ϕx0=ϕx0(1+ωω0) Lower Sideband:ϕx,lsb=ϕx0(1ωω0)\begin{align} \text{Upper Sideband}: \quad \phi_{x,\mathrm{usb}} &= \dfrac{(\omega_0 + \omega) L_x}{c}\\ &= \dfrac{\omega_0 L_x}{c} + \dfrac{\omega L_x}{c}\\ &= \phi_{x0} + \dfrac{\omega}{\omega_0} \phi_{x0}\\ &= \phi_{x0} \left(1 + \dfrac{\omega}{\omega_0} \right) \\~\\ \text{Lower Sideband}: \quad \phi_{x,\mathrm{lsb}} &= \phi_{x0} \left(1 - \dfrac{\omega}{\omega_0} \right) \end{align}

Reproducing our expression for ExE_{x}:

Ex(t)=E0rxtbseiϕx0(eiω0t+iΓ2ei(ω0+ω)t+iΓ2ei(ω0ω)t)\begin{align} E_x(t) &= - E_0 r_x t_{bs} e^{-i \phi_{x0}} \left( e^{i \omega_0 t} + i \dfrac{\Gamma}{2} e^{i (\omega_0 + \omega) t} + i \dfrac{\Gamma}{2} e^{i (\omega_0 - \omega) t} \right) \end{align}

Now we apply our additional propagation delays to each beam to get Ex2=eikLExE_{x2} = e^{-i k L} E_{x}:

Ex2(t)=E0rxtbseiϕx0[eiω0texp(iϕx0)+iΓ2ei(ω0+ω)texp(iϕx,usb)+iΓ2ei(ω0ω)texp(iϕx,lsb)]Ex2(t)=E0rxtbseiϕx0[eiω0texp(iϕx0)+iΓ2ei(ω0+ω)texp(iϕx0(1+ωω0))+iΓ2ei(ω0ω)texp(iϕx0(1ωω0))]\begin{align} E_{x2}(t) &= - E_0 r_x t_{bs} e^{-i \phi_{x0}} \left[ e^{i \omega_0 t} \exp{(-i \phi_{x0})} + i \dfrac{\Gamma}{2} e^{i (\omega_0 + \omega) t} \exp{\left(-i \phi_{x,\mathrm{usb}}\right)} + i \dfrac{\Gamma}{2} e^{i (\omega_0 - \omega) t} \exp{\left(-i \phi_{x,\mathrm{lsb}}\right)} \right]\\ E_{x2}(t) &= - E_0 r_x t_{bs} e^{-i \phi_{x0}} \left[ e^{i \omega_0 t} \exp{(-i \phi_{x0})} + i \dfrac{\Gamma}{2} e^{i (\omega_0 + \omega) t} \exp{\left(-i \phi_{x0} \left(1 + \dfrac{\omega}{\omega_0} \right)\right)} + i \dfrac{\Gamma}{2} e^{i (\omega_0 - \omega) t} \exp{\left(-i \phi_{x0} \left(1 - \dfrac{\omega}{\omega_0} \right)\right)} \right] \end{align}

Factoring out the common eiϕx0e^{-i \phi_{x0}} term gives:

Ex2(t)=E0rxtbsei2ϕx0[eiω0t+iΓ2ei(ω0+ω)teiϕx0ω/ω0+iΓ2ei(ω0ω)teiϕx0ω/ω0]\begin{align} E_{x2}(t) &= - E_0 r_x t_{bs} e^{-i 2 \phi_{x0}} \left[ e^{i \omega_0 t} + i \dfrac{\Gamma}{2} e^{i (\omega_0 + \omega) t} e^{-i \phi_{x0} \omega / \omega_0} + i \dfrac{\Gamma}{2} e^{i (\omega_0 - \omega) t} e^{i \phi_{x0} \omega / \omega_0} \right] \end{align}

Y-arm

We get the exact same thing for the Y-arm:

Ey2(t)=E0ryrbsei2ϕy0[eiω0t+iΓ2ei(ω0+ω)teiϕy0ω/ω0+iΓ2ei(ω0ω)teiϕy0ω/ω0]\begin{align} E_{y2}(t) &= E_0 r_y r_{bs} e^{-i 2 \phi_{y0}} \left[ e^{i \omega_0 t} + i \dfrac{\Gamma}{2} e^{i (\omega_0 + \omega) t} e^{-i \phi_{y0} \omega / \omega_0} + i \dfrac{\Gamma}{2} e^{i (\omega_0 - \omega) t} e^{i \phi_{y0} \omega / \omega_0} \right] \end{align}

AS beam

Eas=rbsEx2+tbsEy2Eas=rbsE0rxtbsei2ϕx0[eiω0t+iΓ2ei(ω0+ω)teiϕx0ω/ω0+iΓ2ei(ω0ω)teiϕx0ω/ω0]+tbsE0ryrbsei2ϕy0[eiω0t+iΓ2ei(ω0+ω)teiϕy0ω/ω0+iΓ2ei(ω0ω)teiϕy0ω/ω0]\begin{align} E_{as} =& r_{bs} E_{x2} + t_{bs} E_{y2}\\ E_{as} = -&r_{bs} E_0 r_x t_{bs} e^{-i 2 \phi_{x0}} \left[ e^{i \omega_0 t} + i \dfrac{\Gamma}{2} e^{i (\omega_0 + \omega) t} e^{-i \phi_{x0} \omega / \omega_0} + i \dfrac{\Gamma}{2} e^{i (\omega_0 - \omega) t} e^{i \phi_{x0} \omega / \omega_0} \right]\\ +& t_{bs} E_0 r_y r_{bs} e^{-i 2 \phi_{y0}} \left[ e^{i \omega_0 t} + i \dfrac{\Gamma}{2} e^{i (\omega_0 + \omega) t} e^{-i \phi_{y0} \omega / \omega_0} + i \dfrac{\Gamma}{2} e^{i (\omega_0 - \omega) t} e^{i \phi_{y0} \omega / \omega_0} \right]\\ \end{align}

What we end up with, is three distinct interference terms, one for each of ω0\omega_0, ω0+ω\omega_0 + \omega, ω0ω\omega_0 - \omega.
Each of these interacts with the Michelson in a slightly different manner, but are individually comparable.

If we make all the usual assumptions at this point here, like the basis change

ϕx0=ϕc0+ϕd0,ϕy0=ϕc0ϕd0\phi_{x0} = \phi_{c0} + \phi_{d0}, \qquad \phi_{y0} = \phi_{c0}- \phi_{d0}

an ideal beamsplitter:

rbs=tbs=12r_\mathrm{bs} = t_\mathrm{bs} = \dfrac{1}{\sqrt{2}}

and balanced arms

rx=ryr_\mathrm{x} = r_\mathrm{y}

We can write EasE_{as} above as

Eas=12E0rxei2(ϕc0+ϕd0)[eiω0t+iΓ2ei(ω0+ω)tei(ϕc0+ϕd0)ω/ω0+iΓ2ei(ω0ω)tei(ϕc0+ϕd0)ω/ω0]+12E0rxei2(ϕc0ϕd0)[eiω0t+iΓ2ei(ω0+ω)tei(ϕc0ϕd0)ω/ω0+iΓ2ei(ω0ω)tei(ϕc0ϕd0)ω/ω0]\begin{align} E_{as} = -&\dfrac{1}{2} E_0 r_x e^{-i 2 (\phi_{c0} + \phi_{d0}) } \left[ e^{i \omega_0 t} + i \dfrac{\Gamma}{2} e^{i (\omega_0 + \omega) t} e^{-i (\phi_{c0} + \phi_{d0}) \omega / \omega_0} + i \dfrac{\Gamma}{2} e^{i (\omega_0 - \omega) t} e^{i (\phi_{c0} + \phi_{d0}) \omega / \omega_0} \right]\\ +& \dfrac{1}{2} E_0 r_x e^{-i 2 (\phi_{c0} - \phi_{d0})} \left[ e^{i \omega_0 t} + i \dfrac{\Gamma}{2} e^{i (\omega_0 + \omega) t} e^{-i (\phi_{c0} - \phi_{d0}) \omega / \omega_0} + i \dfrac{\Gamma}{2} e^{i (\omega_0 - \omega) t} e^{i (\phi_{c0} - \phi_{d0}) \omega / \omega_0} \right]\\ \end{align}

Pulling out the common factors, and distribute the differential factors, in prep for converting to trig expressions where possible:

Eas=12E0rxeiω0tei2ϕc0[ei2ϕd0+iΓ2eiωtei(2+ω/ω0)ϕd0eiϕc0ω/ω0+iΓ2eiωtei(2ω/ω0)ϕd0eiϕc0ω/ω0]+12E0rxeiω0tei2ϕc0[ei2ϕd0+iΓ2eiωtei(2+ω/ω0)ϕd0eiϕc0ω/ω0+iΓ2eiωtei(2ω/ω0)ϕd0eiϕc0ω/ω0]\begin{align} E_{as} = -&\dfrac{1}{2} E_0 r_x e^{i \omega_0 t} e^{-i 2 \phi_{c0} } \left[ e^{-i 2 \phi_{d0} } + i \dfrac{\Gamma}{2} e^{ i \omega t} e^{-i (2 + \omega / \omega_0) \phi_{d0} } e^{-i \phi_{c0} \omega / \omega_0} + i \dfrac{\Gamma}{2} e^{-i \omega t} e^{-i (2 - \omega / \omega_0) \phi_{d0} } e^{ i \phi_{c0} \omega / \omega_0} \right]\\ +& \dfrac{1}{2} E_0 r_x e^{i \omega_0 t} e^{-i 2 \phi_{c0} } \left[ e^{i 2 \phi_{d0} } + i \dfrac{\Gamma}{2} e^{ i \omega t} e^{i (2 + \omega / \omega_0) \phi_{d0} } e^{-i \phi_{c0} \omega / \omega_0} + i \dfrac{\Gamma}{2} e^{-i \omega t} e^{i (2 - \omega / \omega_0) \phi_{d0} } e^{ i \phi_{c0} \omega / \omega_0} \right]\\ \end{align}

Using the above equation, compare the first terms in the brackets.
This corresponds to carrier.
Combining those terms gives

Eas,0=12E0rxeiω0tei2ϕc0[ei2ϕd0+ei2ϕd0]Eas,0=12E0rxeiω0tei2ϕc0(2isin(2ϕd0)) Eas,0=iE0rxeiω0tei2ϕc0sin(2ϕd0)\begin{align} E_{as,0} &= \dfrac{1}{2} E_0 r_x e^{i \omega_0 t} e^{-i 2 \phi_{c0} } \left[ -e^{-i 2 \phi_{d0} } + e^{i 2 \phi_{d0} }\right]\\ E_{as,0} &= \dfrac{1}{2} E_0 r_x e^{i \omega_0 t} e^{-i 2 \phi_{c0} } (2 i \sin(2 \phi_{d0}))\\~\\ E_{as,0} &= i E_0 r_x e^{i \omega_0 t} e^{-i 2 \phi_{c0} } \sin(2 \phi_{d0}) \end{align}

which actually recovers the typical Michelson response.

But we also have the upper and lower sideband terms, which are actually very similar, just with bigger arguments in the exponentials. Consider the upper sideband term ω0+ω\omega_0 + \omega, the second terms in the brackets:

Eas,usb=12E0rxeiω0tei2ϕc0[iΓ2eiωtei(2+ω/ω0)ϕd0eiϕc0ω/ω0+iΓ2eiωtei(2+ω/ω0)ϕd0eiϕc0ω/ω0]Eas,usb=iΓ4E0rxei(ω0+ω)tei(2+ω/ω0)ϕc0[ei(2+ω/ω0)ϕd0+ei(2+ω/ω0)ϕd0]Eas,usb=iΓ4E0rxei(ω0+ω)tei(2+ω/ω0)ϕc0[2isin((2+ωω0)ϕd0)]Eas,usb=Γ2E0rxei(ω0+ω)tei(2+ω/ω0)ϕc0sin((2+ωω0)ϕd0)\begin{align} E_{as,\mathrm{usb}} &= \dfrac{1}{2} E_0 r_x e^{i \omega_0 t} e^{-i 2 \phi_{c0} } \left[ -i \dfrac{\Gamma}{2} e^{ i \omega t} e^{-i (2 + \omega / \omega_0) \phi_{d0} } e^{-i \phi_{c0} \omega / \omega_0} + i \dfrac{\Gamma}{2} e^{ i \omega t} e^{i (2 + \omega / \omega_0) \phi_{d0} } e^{-i \phi_{c0} \omega / \omega_0} \right]\\ E_{as,\mathrm{usb}} &= \dfrac{i \Gamma}{4} E_0 r_x e^{i (\omega_0 + \omega) t} e^{-i (2 + \omega / \omega_0) \phi_{c0} } \left[ - e^{-i (2 + \omega / \omega_0) \phi_{d0} } + e^{i (2 + \omega / \omega_0) \phi_{d0} } \right]\\ E_{as,\mathrm{usb}} &= \dfrac{i \Gamma}{4} E_0 r_x e^{i (\omega_0 + \omega) t} e^{-i (2 + \omega / \omega_0) \phi_{c0} } \left[ 2 i \sin\left(\left(2 + \dfrac{\omega}{\omega_0}\right) \phi_{d0} \right) \right]\\ E_{as,\mathrm{usb}} &= -\dfrac{\Gamma}{2} E_0 r_x e^{i (\omega_0 + \omega) t} e^{-i (2 + \omega / \omega_0) \phi_{c0} } \sin\left(\left(2 + \dfrac{\omega}{\omega_0}\right) \phi_{d0} \right) \end{align}

The lower sideband Eas,lsbE_{as,\mathrm{lsb}} is the same as the upper sideband, combine the third terms in the brackets above, or just flip the sign of ω\omega terms in Eas,usbE_{as,\mathrm{usb}}:

Eas,lsb=Γ2E0rxei(ω0ω)tei(2ω/ω0)ϕc0sin((2ωω0)ϕd0)\begin{align} E_{as,\mathrm{lsb}} &= -\dfrac{\Gamma}{2} E_0 r_x e^{i (\omega_0 - \omega) t} e^{-i (2 - \omega / \omega_0) \phi_{c0} } \sin\left(\left(2 - \dfrac{\omega}{\omega_0}\right) \phi_{d0} \right) \end{align}

Combining it all together gives us our scary-looking term:

Eas=Eas,0+Eas,usb+Eas,lsbEas=iE0rxeiω0tei2ϕc0sin(2ϕd0)Γ2E0rxei(ω0+ω)tei(2+ω/ω0)ϕc0sin((2+ωω0)ϕd0)Γ2E0rxei(ω0ω)tei(2ω/ω0)ϕc0sin((2ωω0)ϕd0)\begin{align} E_{as} =& E_{as,0} + E_{as,\mathrm{usb}} + E_{as,\mathrm{lsb}}\\ E_{as} =& i E_0 r_x e^{i \omega_0 t} e^{-i 2 \phi_{c0} } \sin(2 \phi_{d0})\\ -& \dfrac{\Gamma}{2} E_0 r_x e^{i (\omega_0 + \omega) t} e^{-i (2 + \omega / \omega_0) \phi_{c0} } \sin\left(\left(2 + \dfrac{\omega}{\omega_0}\right) \phi_{d0} \right) \\ -& \dfrac{\Gamma}{2} E_0 r_x e^{i (\omega_0 - \omega) t} e^{-i (2 - \omega / \omega_0) \phi_{c0} } \sin\left(\left(2 - \dfrac{\omega}{\omega_0}\right) \phi_{d0} \right) \end{align}

4.4Part D: The Power of the Dark Port Pas(t)P_{as}(t)

Now we must find the power in the dark port Pas(t)=Eas(t)2P_{as}(t) = |E_{as}(t)|^2.

At this point, we declare that our modulation is small, so Γ20\Gamma^2 \approx 0.

General Modulation

It helps to consider a more general picture, so let’s look at our carrier, USB, LSB breakdown from before, and calculate a general power term using that:

Eas=Eas,0+Eas,usb+Eas,lsbPas=Eas,0+Eas,usb+Eas,lsb2Pas=Eas,02+Eas,usb2+Eas,lsb2+Eas,0Eas,usb+Eas,0Eas,lsb+Eas,0Eas,usb+Eas,0Eas,lsb+Eas,usbEas,lsb+Eas,usbEas,lsb\begin{align} E_{as} &= E_{as,0} + E_{as,\mathrm{usb}} + E_{as,\mathrm{lsb}}\\ P_{as} &= |E_{as,0} + E_{as,\mathrm{usb}} + E_{as,\mathrm{lsb}}|^2 \\ P_{as} &= |E_{as,0}|^2 + |E_{as,\mathrm{usb}}|^2 + |E_{as,\mathrm{lsb}}|^2 \\ &+ E_{as,0}^* E_{as,\mathrm{usb}} + E_{as,0} E_{as,\mathrm{lsb}}^* + E_{as,0} E_{as,\mathrm{usb}}^* + E_{as,0}^* E_{as,\mathrm{lsb}} \\ &+ E_{as,\mathrm{usb}} E_{as,\mathrm{lsb}}^* + E_{as,\mathrm{usb}}^* E_{as,\mathrm{lsb}} \end{align}

The first row Eas,02+Eas,usb2+Eas,lsb2|E_{as,0}|^2 + |E_{as,\mathrm{usb}}|^2 + |E_{as,\mathrm{lsb}}|^2 are the DC terms,
the second row Eas,0Eas,usb+Eas,0Eas,lsb+Eas,0Eas,usb+Eas,0Eas,lsbE_{as,0}^* E_{as,\mathrm{usb}} + E_{as,0} E_{as,\mathrm{lsb}}^* + E_{as,0} E_{as,\mathrm{usb}}^* + E_{as,0}^* E_{as,\mathrm{lsb}} are the 1ω\omega terms which oscillate at ω\omega,
and the third row Eas,usbEas,lsb+Eas,usbEas,lsbE_{as,\mathrm{usb}} E_{as,\mathrm{lsb}}^* + E_{as,\mathrm{usb}}^* E_{as,\mathrm{lsb}} are the 2ω\omega terms.

We can see here that we are just comparing carrier to itself, the USB to itself, and the LSB to itself for the DC terms.
This is not true for the 1ω\omega terms, we are comparing carrier to each sideband and getting a beatnote at either +ω+\omega or ω-\omega.
We ignore the 2ω\omega terms for now, as they go as Γ20\Gamma^2 \approx 0.
Same for the Eas,usb2+Eas,lsb2|E_{as,\mathrm{usb}}|^2 + |E_{as,\mathrm{lsb}}|^2 DC terms.

DC Term

So at DC, we just get the Eas,02|E_{as,0}|^2 term (ignoring Eas,usb2+Eas,lsb2|E_{as,\mathrm{usb}}|^2 + |E_{as,\mathrm{lsb}}|^2):

Eas,02=E02rx2sin(2ϕd0)2\begin{align} |E_{as,0}|^2 = E_0^2 r_x^2 \sin(2 \phi_{d0})^2 \end{align}

1ω\omega

Now we consider the 1ω\omega terms. This is where using sympy or Mathematica is extremely helpful for turning the mathematical crank.
I will look at the first term Eas,0Eas,usbE_{as,0}^* E_{as,\mathrm{usb}}, but use Mathmatica for the final sum:

Eas,0Eas,usb=[iE0rxeiω0tei2ϕc0sin(2ϕd0)][Γ2E0rxei(ω0+ω)tei(2+ω/ω0)ϕc0sin((2+ωω0)ϕd0)]Eas,0Eas,usb=[iE0rxeiω0tei2ϕc0sin(2ϕd0)][Γ2E0rxei(ω0+ω)tei(2+ω/ω0)ϕc0sin((2+ωω0)ϕd0)]Eas,0Eas,usb=[iE0rxsin(2ϕd0)][Γ2E0rxeiωteiϕc0ω/ω0sin((2+ωω0)ϕd0)]Eas,0Eas,usb=iΓ2E02rx2eiωteiϕc0ω/ω0sin(2ϕd0)sin((2+ωω0)ϕd0)\begin{align} E_{as,0}^* E_{as,\mathrm{usb}} &= \left[ i E_0 r_x e^{i \omega_0 t} e^{-i 2 \phi_{c0} } \sin(2 \phi_{d0}) \right]^* \left[-\dfrac{\Gamma}{2} E_0 r_x e^{i (\omega_0 + \omega) t} e^{-i (2 + \omega / \omega_0) \phi_{c0} } \sin\left(\left(2 + \dfrac{\omega}{\omega_0}\right) \phi_{d0} \right) \right]\\ E_{as,0}^* E_{as,\mathrm{usb}} &= \left[ -i E_0 r_x e^{-i \omega_0 t} e^{i 2 \phi_{c0} } \sin(2 \phi_{d0}) \right] \left[-\dfrac{\Gamma}{2} E_0 r_x e^{i (\omega_0 + \omega) t} e^{-i (2 + \omega / \omega_0) \phi_{c0} } \sin\left(\left(2 + \dfrac{\omega}{\omega_0}\right) \phi_{d0} \right) \right]\\ E_{as,0}^* E_{as,\mathrm{usb}} &=\left[ -i E_0 r_x \sin(2 \phi_{d0}) \right] \left[-\dfrac{\Gamma}{2} E_0 r_x e^{i \omega t} e^{-i \phi_{c0} \omega / \omega_0 } \sin\left(\left(2 + \dfrac{\omega}{\omega_0}\right) \phi_{d0} \right) \right]\\ E_{as,0}^* E_{as,\mathrm{usb}} &= i \dfrac{\Gamma}{2} E_0^2 r_x^2 e^{i \omega t} e^{-i \phi_{c0} \omega / \omega_0 } \sin(2 \phi_{d0}) \sin\left(\left(2 + \dfrac{\omega}{\omega_0}\right) \phi_{d0} \right) \end{align}

Eas,0Eas,lsbE_{as,0} E_{as,\mathrm{lsb}}^* is almost the same but has a critical difference in one sine argument preventing cancellation:

Eas,0Eas,lsb=iΓ2E02rx2eiωteiϕc0ω/ω0sin(2ϕd0)sin((2ωω0)ϕd0)\begin{align} E_{as,0} E_{as,\mathrm{lsb}}^* &= -i \dfrac{\Gamma}{2} E_0^2 r_x^2 e^{i \omega t} e^{-i \phi_{c0} \omega / \omega_0 } \sin(2 \phi_{d0}) \sin\left(\left(2 - \dfrac{\omega}{\omega_0}\right) \phi_{d0} \right) \end{align}

Eas,0Eas,usbE_{as,0}^* E_{as,\mathrm{usb}} and Eas,0Eas,lsbE_{as,0}^* E_{as,\mathrm{lsb}} is just the complex conjugates of the above terms.
We can also use z+z=2[z]z + z^* = 2 \Re[z] for these calculations.
No matter how you do it, you should end up with the following:

Eas,0Eas,usb+Eas,0Eas,usb=ΓE02rx2sin(ωtϕc0ωω0)sin(2ϕd0)sin((2+ωω0)ϕd0)Eas,0Eas,lsb+Eas,0Eas,lsb=ΓE02rx2sin(ωtϕc0ωω0)sin(2ϕd0)sin((2ωω0)ϕd0)\begin{align} E_{as,0}^* E_{as,\mathrm{usb}} + E_{as,0} E_{as,\mathrm{usb}}^* = -\Gamma E_0^2 r_x^2 \sin\left(\omega t - \phi_{c0} \dfrac{\omega}{\omega_0} \right) \sin(2 \phi_{d0}) \sin\left(\left(2 + \dfrac{\omega}{\omega_0}\right) \phi_{d0} \right)\\ E_{as,0}^* E_{as,\mathrm{lsb}} + E_{as,0} E_{as,\mathrm{lsb}}^* = \Gamma E_0^2 r_x^2 \sin\left(\omega t - \phi_{c0} \dfrac{\omega}{\omega_0} \right) \sin(2 \phi_{d0}) \sin\left(\left(2 - \dfrac{\omega}{\omega_0}\right) \phi_{d0} \right) \end{align}

The final addition gives us the total 1ω\omega contribution:

Eas,0Eas,usb+Eas,0Eas,usb+Eas,0Eas,lsb+Eas,0Eas,lsb=ΓE02rx2sin(ωtϕc0ωω0)sin(2ϕd0)sin((2+ωω0)ϕd0)+ΓE02rx2sin(ωtϕc0ωω0)sin(2ϕd0)sin((2ωω0)ϕd0)=ΓE02rx2sin(ωtϕc0ωω0)sin(2ϕd0)[sin((2+ωω0)ϕd0)+sin((2ωω0)ϕd0)]=ΓE02rx2sin(ωtϕc0ωω0)sin(4ϕd0)sin(ϕd0ωω0)\begin{align} E_{as,0}^* E_{as,\mathrm{usb}} + E_{as,0} E_{as,\mathrm{usb}}^* + E_{as,0}^* E_{as,\mathrm{lsb}} + E_{as,0} E_{as,\mathrm{lsb}}^* &= -\Gamma E_0^2 r_x^2 \sin\left(\omega t - \phi_{c0} \dfrac{\omega}{\omega_0} \right) \sin(2 \phi_{d0}) \sin\left(\left(2 + \dfrac{\omega}{\omega_0}\right) \phi_{d0} \right)\\ &+ \Gamma E_0^2 r_x^2 \sin\left(\omega t - \phi_{c0} \dfrac{\omega}{\omega_0} \right) \sin(2 \phi_{d0}) \sin\left(\left(2 - \dfrac{\omega}{\omega_0}\right) \phi_{d0} \right)\\ &= \Gamma E_0^2 r_x^2 \sin\left(\omega t - \phi_{c0} \dfrac{\omega}{\omega_0} \right) \sin(2 \phi_{d0}) \left[-\sin\left(\left(2 + \dfrac{\omega}{\omega_0}\right) \phi_{d0} \right) + \sin\left(\left(2 - \dfrac{\omega}{\omega_0}\right) \phi_{d0} \right) \right]\\ &= -\Gamma E_0^2 r_x^2 \sin\left(\omega t - \phi_{c0} \dfrac{\omega}{\omega_0} \right) \sin(4 \phi_{d0}) \sin\left( \dfrac{\phi_{d0} \omega}{\omega_0} \right) \end{align}

Final Dark Power Pas(t)P_{as}(t)

Adding together the DC and 1ω\omega terms gives us our final total dark power Pas(t)P_{as}(t):

Pas(t)=E02rx2(sin2(2ϕd0)Γsin(4ϕd0)sin(ωϕd0ω0)sin(ω(tϕc0ω0)))\begin{align} \boxed{ P_{as}(t) = E_0^2 r_x^2 \left(\sin ^2\left(2 \phi _{\text{d0}}\right)-\Gamma \sin \left(4 \phi _{\text{d0}}\right) \sin \left(\frac{\omega \phi _{\text{d0}}}{\omega _0}\right) \sin\left(\omega \left(t-\frac{\phi _{\text{c0}}}{\omega _0}\right)\right)\right) } \end{align}

4.5Part E: Demodulation

Now we have our signal Pas(t)P_{as}(t), let’s demodulate it to figure out what our photodiodes are capable of telling us about this signal.
Remember that a photodiode can only measure one quantity: power.
But our fields carry two orthogonal quadratures worth of information.
What’s more, we can retrieve that information stored in the oscillatory portion of our power time series.

First, the DC term. We just integrate over one cycle of ωt\omega t, but do not multiply by a local oscillator cos(ωt)\cos(\omega t) or sin(ωt)\sin(\omega t):

PasDC=12π02πPas(t)d(ωt)PasDC=E02rx2sin2(2ϕd0)\begin{align} P_{as}^\mathrm{DC} &= \dfrac{1}{2 \pi} \int_0^{2\pi} P_{as}(t) d(\omega t)\\ P_{as}^\mathrm{DC} &= E_0^2 r_x^2 \sin^2(2 \phi_{d0}) \end{align}

The oscillatory term goes to zero, giveing just the first part inside the parenthesis of the Pas(t)P_{as}(t) expression.

For the I and Q terms we get

PasI=12π02πPas(t)cos(ωt)d(ωt)PasI=12ΓE02rx2sin(4ϕd0)sin(ωϕc0ω0)sin(ωϕd0ω0)\begin{align} P_{as}^\mathrm{I} &= \dfrac{1}{2 \pi} \int_0^{2\pi} P_{as}(t) \cos(\omega t) d(\omega t)\\ P_{as}^\mathrm{I} &= \dfrac{1}{2} \Gamma E_0^2 r_x^2 \sin \left(4 \phi_{\text{d0}}\right) \sin \left(\dfrac{\omega \phi_{\text{c0}}}{\omega_0}\right) \sin \left(\frac{\omega \phi_{\text{d0}}}{\omega _0}\right) \end{align}
PasQ=12π02πPas(t)sin(ωt)d(ωt)PasQ=12ΓE02rx2sin(4ϕd0)cos(ωϕc0ω0)sin(ωϕd0ω0)\begin{align} P_{as}^\mathrm{Q} &= \dfrac{1}{2 \pi} \int_0^{2\pi} P_{as}(t) \sin(\omega t) d(\omega t)\\ P_{as}^\mathrm{Q} &= -\dfrac{1}{2} \Gamma E_0^2 r_x^2 \sin \left(4 \phi_{\text{d0}}\right) \cos \left(\dfrac{\omega \phi_{\text{c0}}}{\omega_0}\right) \sin \left(\frac{\omega \phi_{\text{d0}}}{\omega _0}\right) \end{align}

The transfer function PasTF(ω)P_{as}^\mathrm{TF}(\omega) will combine the I and Q quadratures into a single complex number

PasTF(ω)=PasI+iPasQPasTF(ω)=i12ΓE02rx2eiωϕc0/ω0sin(4ϕd0)sin(ωϕd0ω0)\begin{align} P_{as}^\mathrm{TF}(\omega) &= P_{as}^\mathrm{I} + i P_{as}^\mathrm{Q} \\ P_{as}^\mathrm{TF}(\omega) &= -i \dfrac{1}{2} \Gamma E_0^2 r_x^2 e^{i \omega \phi_{\text{c0}} / \omega_0} \sin \left(4 \phi_{\text{d0}}\right) \sin \left(\frac{\omega \phi _{\text{d0}}}{\omega_0}\right) \end{align}

Analysis of our result

Our result for the common motion (63) can be rewritten and approximated in a usual transfer function form:

PasTFΓ(ω)=i12E02rx2eiωϕc0/ω0sin(4ϕd0)sin(ωϕd0ω0) PasTFΓ(ω)i12E02rx2eiωϕc0/ω0sin(4ϕd0)ωϕd0ω0\begin{align} \dfrac{P_{as}^\mathrm{TF}}{\Gamma}(\omega) &= -i \dfrac{1}{2} E_0^2 r_x^2 e^{i \omega \phi_{\text{c0}} / \omega_0} \sin \left(4 \phi_{\text{d0}}\right) \sin \left(\frac{\omega \phi_{\text{d0}}}{\omega_0}\right)\\~\\ \dfrac{P_{as}^\mathrm{TF}}{\Gamma}(\omega) &\approx -i \dfrac{1}{2} E_0^2 r_x^2 e^{i \omega \phi_{\text{c0}} / \omega_0} \sin \left(4 \phi_{\text{d0}}\right) \frac{\omega \phi_{\text{d0}}}{\omega_0} \end{align}

Dividing by the moduation depth Γ\Gamma gives us our common phase to antisymmetric power trasnfer function, a fundamental result in interferometry.
One could imagine setting Γ=kΔx\Gamma = k \Delta x for some common arm motion, (aka CARM), which give us our common motion to antisymmetric power TF:

PasTFΔx(ω)i12kE02rx2eiωϕc0/ω0sin(4ϕd0)ωϕd0ω0\begin{align} \dfrac{P_{as}^\mathrm{TF}}{\Delta x}(\omega) &\approx -i \dfrac{1}{2} k E_0^2 r_x^2 e^{i \omega \phi_{\text{c0}} / \omega_0} \sin \left(4 \phi_{\text{d0}}\right) \frac{\omega \phi_{\text{d0}}}{\omega_0} \end{align}

In the final approximation, we see that our coupling grows like ω\omega.
In other words, our common mode rejection gets worse as the motion frequency ω\omega grows. This may agree with our intuition that fast motion will no longer cancel perfectly in the asymmetric interferometer.

There is a strong dependence of the common phase to antisymmetric power on the DC differential phase ϕd0\phi_{d0}.
Note that if we’re on a perfectly dark fringe ϕd0=0\phi_{d0} = 0, we get no response anyhow, because there is no light in the dark port in the first place.

5Part F: Plots

def Pas(ff, E0, Gamma, rx, phi_c0, phi_d0, wavelength=1064e-9):
    cc = 3e8 # m/s
    omega = 2 * np.pi * ff # frequency vector in rads/s
    omega0 = 2 * np.pi * cc / wavelength # carrier frequency in rads/s
    return -(1j / 2) * Gamma * E0**2 * rx**2 * np.exp(-1j * omega * phi_c0 / omega0) * np.sin(4 * phi_d0) * np.sin(omega * phi_d0 / omega0)
# Parameters
rx = 1
E0 = 1 # sqrt(W)
Gamma = 0.1 # rads
L_x = 1000 # m
L_y = 1 # m
wavelength = 1064e-9 # m
cc = 3e8 # m/s

# Derived values
omega0 = 2 * np.pi * cc / wavelength
phi_c0 = omega0 * (L_x + L_y) / cc
phi_d0 = 0.1 # rads ## assume that omega0 * (L_x - L_y) / cc = 0 is a dark fringe

ff = np.geomspace(1, 1000000, 1000) # frequency vector in Hertz
Pas1 = Pas(ff, E0, Gamma, rx, phi_c0, phi_d0, wavelength=1064e-9)
fig, (ax1, ax2) = plt.subplots(2, sharex=True)

ax1.loglog(ff, np.abs(Pas1), label=r"DARM offset $\phi_{d0}$ = 0.1 rads")
ax2.semilogx(ff, np.angle(Pas1, deg=True), label="DARM offset = 0.1 rads")

ax1.set_title("Asymmetric Michelson response to CARM motion")
ax1.set_ylabel("Power [W]")
ax2.set_ylabel("Power [W]")
ax1.grid()
ax2.grid()

plt.show()
Loading...