Quote: 
where ms is EOM phase slope (15 mrad/V) and V_EOM is the applied actuation voltage. As you wrote, that leads to

This actually has units of Hz/Hz. Note, that is just Fourier transform of frequency actuation, so it is unitless. I used this to get the transfer function of EOM actuation, from applied signal in V to resulting actuation in Hz, which is the prefactor of above having units of Hz/V.
Quote: 
If we assume that the EOM is taking 100% of the load for canceling laser frequency noise at a given frequency then it follows that the applied voltage to exactly cancel laser frequency noise is

So, if EOM is taking the whole load of frequency noise, actuation signal ASD would be:
But obviously, this is wrong because this just assume that we are not feeding back the actuation signal at all. So instead, I assumed that if everything is 'ideally' working and we actually have the frequency noise suppressed by a teamwork of PZT and EOM, the incoming noise signal to EOM path's transfer function is:
So, the actuation signal generated for EOM by EOM path's transfer function in an ideally working loop is:
The error in the last plot in PSL:2305. is that I forgot to divide by since transfer functions in the code are from Hz to Hz. So I think this is the real error.
Quote: 
One thing to note is that the above estimates are an upper bound assuming that the EOM is taking all of the load down to that frequency point and that the PZT path isn't fighting or out of phase with EOM. To correctly compute the load on the EOM you are going to have to break down the EOM only portion of the loop from the laser frequency to the point of voltage injected into the EOM. This can be done by effectively nesting the PZT loop into the round trip gain in a way similar to that described in Josh Smith's Thesis section 2.6.2. Finding the actuation signal should be similar to finding the PLL actuation signal, at this point in the loop it is the G/(1G)/A copy of the sensor noise. In the high gain regime the applied EOM control signal should just be the laser frequency divided by the EOM frequency slope. Of course you can compute for G_EOM OLG to get a true value with a bunch of algebra.

But on reading section 2.6.2 of Josh Smith's Thesis (which btw has a typo in Eq. 2.33 and 2.34), I did the thing of nesting the PZT path with the plant. So as per Eq. 2.31:
is the transfer fucntion of Plant for the simplified loop with just EOM as the actuator. Then the actuation signal ASD would be (note is free running laser frequency noise ASD):
which turns out to:
Which is exactly the same as above. But still my model has this error. I'll fix it and post it soon. For readers in the future, the last set of equations are the only correct equations to the best of my knowledge. 