This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Decoherence and degradation of squeezed states in quantum filter cavities

P Kwee    J Miller jmiller@ligo.mit.edu    T Isogai    L Barsotti    M Evans LIGO Laboratory, Massachusetts Institute of Technology, 185 Albany St, Cambridge, MA 02139, USA
(September 6, 2025)
Abstract

Squeezed states of light have been successfully employed in interferometric gravitational-wave detectors to reduce quantum noise, thus becoming one of the most promising options for extending the astrophysical reach of the generation of detectors currently under construction worldwide. In these advanced instruments, quantum noise will limit sensitivity over the entire detection band. Therefore, to obtain the greatest benefit from squeezing, the injected squeezed state must be filtered using a long-storage-time optical resonator, or “filter cavity”, so as to realise a frequency dependent rotation of the squeezed quadrature. Whilst the ultimate performance of a filter cavity is determined by its storage time, several practical decoherence and degradation mechanisms limit the experimentally achievable quantum noise reduction. In this paper we develop an analytical model to explore these mechanisms in detail. As an example, we apply our results to the 16 m/16\text{\,}\mathrm{m}\text{/} filter cavity design currently under consideration for the Advanced LIGO interferometers.

pacs:
04.80.Nn, 42.50.Dv, 04.30.-w, 42.50.Lc

I Introduction

Squeezed states of light are used in a variety of experiments in optical communication, biological sensing and precision measurement Takeda et al. (2013); Taylor et al. (2013); Yonezawa et al. (2012). To gravitational-wave detectors, the finest position-meters ever built, squeezed states of light today represent one of the most mature technologies for further expanding the detectable volume of the universe The LIGO Scientific Collaboration (2011, 2013).

The advanced detectors currently under construction, such as Advanced LIGO Harry and the LIGO Scientific Collaboration (2010), will be limited by quantum noise over their entire detection band, from 10 Hz to 10 kHz. To fully exploit the potential of squeezing, squeezed states must therefore be manipulated so as to impress a frequency dependent rotation upon the squeezing ellipse. Such rotation can be realised by reflecting the squeezed states from a detuned, over-coupled, optical resonator, called a quantum filter cavity.

The performance of ideal filter cavities, fundamentally limited by their storage times, is well-understood Kimble et al. (2001); Harms et al. (2003) and a proof-of-principle experimental demonstration has been performed Chelkowski et al. (2005). However, the impact of several decoherence and degradation mechanisms which critically determine the achievable performance of astrophysically relevant filter cavities has not yet been investigated.

In this paper we present an analytical model, based on the two-photon formalism Caves and Schumaker (1985); Schumaker and Caves (1985); Corbitt et al. (2005), which evaluates the reduction in observable squeezing caused by optical losses and by spatial mode mismatch between the injected squeezed light, the filter cavity and the interferometer. Further, we also explore the influence of squeezed quadrature fluctuations Dwyer (2013), or “phase noise”, generated both inside and outside the filter cavity. As a concrete example, we study the effects of these noise sources on a 16 m long filter cavity with a 60 Hz linewidth, parameters considered for Advanced LIGO Evans et al. (2013).

II Analytical model

The frequency dependent squeezing system modelled in this work is shown in Figure 1. The squeezed beam is injected into the interferometer after reflection from the filter cavity. In this model we assume that the quantum noise enhancement is measured via a generic homodyne readout system, by beating the interferometer output field against a local oscillator (LO) field. The main sources of squeezing decoherence (optical loss and mode-mismatch) and degradation (phase noise due to local-oscillator phase-lock errors and cavity length fluctuations) are indicated.

Refer to caption
Figure 1: The frequency dependent squeezing system analysed in this work. The squeezer generates a frequency-independent squeezed state with spatial mode UsqzU_{\rm sqz}. The squeezed state becomes frequency dependent after reflection from a filter cavity and is subsequently detected via homodyne readout using a local oscillator with spatial mode UloU_{\rm lo}.

Using the mathematical formalism described in Evans et al. (2013) and further developed in appendix A, our analysis calculates the achievable quantum noise reduction by propagating three classes of vacuum field through the optical system: v1v_{1} which passes through the squeezer and becomes the squeezed field; v2v_{2} which accounts for all vacuum fluctuations that are coupled into the beam due to optical losses before the interferometer; and v3v_{3} which accounts for vacuum fluctuations introduced due to losses after the interferometer. In this formalism vacuum fields are proportional to the identity matrix, v1=v2=v3=2ω0𝐈v_{1}=v_{2}=v_{3}=\sqrt{2\hbar\omega_{0}}\mathbf{I}, and their interaction with an optical element or system may be described by multiplication with a 2×22\times 2 transmission matrix 𝐓\mathbf{T}, i.e. vout=𝐓vinv_{\mathrm{out}}=\mathbf{T}v_{\mathrm{in}}.

In sections II.1, II.2 and II.3 we develop transfer matrices for the propagation of v1v_{1} through the squeezer and injection optics, its modification by the filter cavity and the influence it experiences due imperfect mode-matching. Section II.4 constructs a transfer matrix describing the optomechanical coupling of the interferometer and shows that it can be written as a product of rotation and squeezing operators. We then, in section II.5, incorporate the uncontrolled vacuum noise coupled into the squeezed field due to loss and show how one can compute the quantum noise at the readout of the interferometer using the matrices developed in the previous sections. The final piece of our analytical model, performance degradation due to phase noise, is detailed in section II.6.

II.1 Squeezed field injection

The squeezer is represented by the operator 𝐒(σ,ϕ)\mathbf{S}(\sigma,\phi), given by

𝐒(σ,ϕ)\displaystyle\mathbf{S}(\sigma,\phi) =𝐑(ϕ)𝐒(σ,0)𝐑(ϕ)=𝐑ϕ𝐒σ𝐑ϕ\displaystyle=\mathbf{R}(\phi)\mathbf{S}(\sigma,0)\mathbf{R}(-\phi)=\mathbf{R}_{\phi}\mathbf{S}_{\sigma}\mathbf{R}_{\phi}^{\dagger}
=(cosϕsinϕsinϕcosϕ)(eσ00eσ)(cosϕsinϕsinϕcosϕ),\displaystyle=\begin{pmatrix}\cos\phi&-\sin\phi\\ \sin\phi&\cos\phi\end{pmatrix}\begin{pmatrix}\mathrm{e}^{\sigma}&0\\ 0&\mathrm{e}^{-\sigma}\end{pmatrix}\begin{pmatrix}\cos\phi&\sin\phi\\ -\sin\phi&\cos\phi\end{pmatrix}, (1)

which describes squeezing by eσ\mathrm{e}^{-\sigma} at angle ϕ\phi and anti-squeezing by eσ\mathrm{e}^{\sigma} at ϕ+π/2\phi+\pi/2. Conventionally, squeezing magnitudes are expressed in decibels (dB), with σdB=σ×20log10e\sigma_{dB}=\sigma\times 20\log_{10}e.

In general, all optical losses outside of the filter cavity are frequency independent or the frequency dependence is so small that it can be neglected. Examples of optical losses are residual transmissions of steering mirrors, scattering, absorption and imperfections in polarisation optics. The last of these is likely to dominate the frequency-independent losses incurred in the passage of the squeezed field to the readout, therefore these losses are represented in Figure 1 as occurring at the optical isolator.

Since there are no non-linear elements in our system between the squeezer and the interferometer (i.e. nothing which mixes upper and lower audio sidebands) we can combine all of the input losses together into a single frequency-independent “injection loss”, Λinj2\Lambda^{2}_{\rm inj}, which represents the total power loss outside of the filter cavity and before the readout (this work does not consider any losses within the interferometer itself).

Amalgamating the losses with the action of the squeezer, we arrive at the two-photon transfer matrix which takes v1v_{1} to the filter cavity111Our model treats all injection losses as occurring before the filter cavity. This approach is valid as the action of the filter cavity on coherent vacuum states is null.,

𝐓𝐢𝐧𝐣=τinj𝐒(σsqz,ϕsqz),\mathbf{T_{inj}}=\tau_{\rm inj}\mathbf{S}(\sigma_{\mathrm{sqz}},\phi_{\mathrm{sqz}}), (2)

where the attenuation due to Λinj2\Lambda^{2}_{\rm inj} is described by the transfer coefficient τinj=τ(Λinj)=1Λinj2\tau_{\rm inj}=\tau(\Lambda_{\rm inj})=\sqrt{1-\Lambda^{2}_{\rm inj}}.

II.2 Filter cavity

Reflection from a filter cavity is a linear process which can easily be described in the one-photon, and therefore two-photon, formalisms, as in equation (A9) of Evans et al. (2013). However, the approach therein does not permit one to explore the consequences of filter cavity imperfections analytically, with resulting loss of physical insight. Here we revisit this equation and, by making appropriate approximations, construct a closed-form expression for the action of a filter cavity in the two-photon formalism.

For a given signal sideband frequency Ω\Omega, the complex reflectivity, rfc(Ω)r_{\rm fc}(\Omega), of a filter cavity, using the same notation as Evans et al. (2013), is given by

rfc(Ω)=rintin2rinrrteiΦ(Ω)1rrteiΦ(Ω),r_{\rm fc}(\Omega)=r_{\rm in}-\frac{t_{\rm in}^{2}}{r_{\rm in}}\frac{r_{\rm rt}\mathrm{e}^{-\mathrm{i}\Phi(\Omega)}}{1-r_{\rm rt}\mathrm{e}^{-\mathrm{i}\Phi(\Omega)}}~, (3)

where rinr_{\rm in} is the amplitude reflectivity of the input mirror and rrtr_{\rm rt} is the cavity’s round-trip amplitude reflectivity. For a cavity of length LfcL_{\rm fc} and resonant frequency ωfc{\omega_{\rm fc}}, the round-trip phase Φ(Ω)\Phi(\Omega) is defined as

Φ(Ω)=(ΩΔωfc)2Lfcc,\Phi(\Omega)=\left(\Omega-\Delta{\omega_{\rm fc}}\right)\frac{2L_{\rm fc}}{c}, (4)

where Δωfc=ωfcω0\Delta{\omega_{\rm fc}}={\omega_{\rm fc}}-\omega_{0} is the cavity detuning with respect to the carrier frequency ω0\omega_{0} and cc is the speed of light.

For a high-finesse cavity near to resonance, we can make the approximations

eiΦ(Ω)\displaystyle\mathrm{e}^{-\mathrm{i}\Phi(\Omega)} 1iΦ(Ω)\displaystyle\simeq 1-\mathrm{i}\Phi(\Omega) (5)
andrrt\displaystyle{\rm~and}\quad r_{\rm rt} rin1tin2Λrt2\displaystyle\simeq r_{\rm in}\simeq\sqrt{1-t_{\rm in}^{2}-\Lambda_{\rm rt}^{2}}
1(tin2+Λrt2)/2,\displaystyle\simeq 1-(t_{\rm in}^{2}+\Lambda_{\rm rt}^{2})/2, (6)

where Λrt2\Lambda_{\rm rt}^{2} accounts for the power lost during one round-trip in the cavity (not including input mirror transmission).

Under these approximations, and neglecting terms of order 1 or greater in Λrt2\Lambda_{\rm rt}^{2}, tin2t_{\rm in}^{2} and Φ(Ω)\Phi(\Omega), (3) can be rewritten as 222Note that the ϵ\epsilon defined here is similar to that in equation (94) of Kimble et al. (2001) and that ϵ1\epsilon\to 1 for an optimally coupled cavity.

rfc(Ω)\displaystyle r_{\rm fc}(\Omega) =12ϵ1+iξ(Ω)=ϵ1+iξ(Ω)1+iξ(Ω),\displaystyle=1-\frac{2-\epsilon}{1+i\xi(\Omega)}=\frac{\epsilon-1+i\xi(\Omega)}{1+i\xi(\Omega)}, (7)
whereϵ\displaystyle{\rm where}\quad\epsilon =2Λrt2tin2+Λrt2=cΛrt22Lfcγfc=fFSRγfcΛrt2,\displaystyle=\frac{2\Lambda_{\rm rt}^{2}}{t_{\rm in}^{2}+\Lambda_{\rm rt}^{2}}=\frac{c\;\Lambda_{\rm rt}^{2}}{2L_{\rm fc}{\gamma_{\rm fc}}}=\frac{f_{\rm FSR}}{{\gamma_{\rm fc}}}\;\Lambda_{\rm rt}^{2}, (8)
ξ(Ω)\displaystyle\xi(\Omega) =2Φ(Ω)tin2+Λrt2=ΩΔωfcγfc\displaystyle=\frac{2\Phi(\Omega)}{t_{\rm in}^{2}+\Lambda_{\rm rt}^{2}}=\frac{\Omega-\Delta{\omega_{\rm fc}}}{{\gamma_{\rm fc}}} (9)

and the cavity half-width-half-maximum-power linewidth is defined as

γfc=1rrt22c2Lfc=tin2+Λrt22c2Lfc.{\gamma_{\rm fc}}=\frac{1-r^{2}_{\rm rt}}{2}\frac{c}{2L_{\rm fc}}=\frac{t^{2}_{\rm in}+\Lambda^{2}_{\rm rt}}{2}\frac{c}{2L_{\rm fc}}. (10)

As noted by previous authors Khalili (2010), for a given cavity half-width γfc{\gamma_{\rm fc}}, the filter cavity performance is determined entirely by the loss per unit length Λrt2/Lfc\Lambda_{\rm rt}^{2}/L_{\rm fc}.

To investigate the effect the filter cavity has on a squeezed field we must convert its response, (7), into the two-photon picture. This is done with the one-photon to two-photon conversion matrix (see Evans et al. (2013) and section A.3),

𝐀𝟐=12(11i+i),\mathbf{A_{2}}=\frac{1}{\sqrt{2}}\begin{pmatrix}1&1\\ -\mathrm{i}&+\mathrm{i}\end{pmatrix}, (11)

yielding the transfer matrix

𝐓𝐟𝐜=𝐀𝟐(r+00r)𝐀𝟐1,\mathbf{T_{fc}}=\mathbf{A_{2}}\cdot\begin{pmatrix}r_{+}&0\\ 0&r_{-}^{*}\end{pmatrix}\cdot\mathbf{A_{2}}^{-1}, (12)

where r±=rfc(±Ω)r_{\pm}=r_{\rm fc}(\pm\Omega).

To cast this expression in a more instructive form, we require several sum and difference quantities based on rfc(Ω)r_{\rm fc}(\Omega). In terms of ϵ\epsilon and ξ(Ω)\xi(\Omega), the complex phase and magnitude of rfc(Ω)r_{\rm fc}(\Omega) are given by

αfc(Ω)\displaystyle\alpha_{\rm fc}(\Omega) =arg(rfc(Ω))\displaystyle=\,{\textrm{arg}}\!\left({r_{\rm fc}(\Omega)}\right)
=arg(1+ϵ+ξ2(Ω)+i(2ϵ)ξ(Ω))\displaystyle=\,{\textrm{arg}}\!\left({-1+\epsilon+\xi^{2}(\Omega)+\mathrm{i}(2-\epsilon)\xi(\Omega)}\right) (13)
andρfc(Ω)\displaystyle\mathrm{and}\quad\rho_{\rm fc}(\Omega) =|rfc(Ω)|=1(2ϵ)ϵ1+ξ2(Ω).\displaystyle=\left|r_{\rm fc}(\Omega)\right|=\sqrt{1-\frac{(2-\epsilon)\epsilon}{1+\xi^{2}(\Omega)}}. (14)

Whence we define

α±\displaystyle\alpha_{\pm} =αfc(±Ω),\displaystyle=\alpha_{\rm fc}(\pm\Omega), ρ±\displaystyle\rho_{\pm} =ρfc(±Ω),\displaystyle=\rho_{\rm fc}(\pm\Omega),
αmp\displaystyle\alpha\hskip 0.08553pt_{{}^{p}_{m}} =α+±α2\displaystyle=\frac{\alpha_{+}\pm\alpha_{-}}{2} andρmp\displaystyle\quad\mathrm{and}\quad\rho\hskip 0.08553pt_{{}^{p}_{m}} =ρ+±ρ2,\displaystyle=\frac{\rho_{+}\pm\rho_{-}}{2}, (15)

where the subscripts pp and mm are used to denote the sum and difference of the phases and magnitudes.

The transfer matrix of the filter cavity can then be expressed in a form which clearly shows the effect of intra-cavity loss,

𝐓𝐟𝐜=eiαm𝐑αplossless(ρp𝐈iρm𝐑π/2)lossy,\mathbf{T_{fc}}=\underbrace{\mathrm{e}^{\mathrm{i}\alpha_{m}}\mathbf{R}_{\alpha_{p}}}_{\rm lossless}\underbrace{\left(\rho_{p}~\mathbf{I}-\mathrm{i}\rho_{m}~\mathbf{R}_{\pi/2}\right)}_{\rm lossy}, (16)

where 𝐈\mathbf{I} is the 2×\times2 identity matrix.

The first term in this expression, marked “lossless”, consists of a rotation operation and an overall phase which are identical to the rotation and phase provided by a lossless filter cavity Kimble et al. (2001).

The second,“lossy”, term goes to unity for a lossless filter cavity (ρp=1\rho_{p}=1 and ρm=0\rho_{m}=0). However, in the presence of losses, this term mixes the quadratures of the squeezed state, corrupting “squeezing” with “anti-squeezing”. We emphasise that this effect is not decoherence, as we have not yet introduced the vacuum fluctuations which enter as a consequence of the filter cavity losses, but rather a coherent dephasing of the squeezed quadratures which cannot be undone by rotation of the state. This dephasing is a direct result of different reflection magnitudes experienced by the upper and lower audio sidebands (i.e. ρm0\rho_{m}\neq 0). The ramifications of this effect on the measured noise are presented in section II.5.

Additionally, by combining (13) and (II.2), we are now able to write an explicit expression for the squeezed quadrature rotation, αp\alpha_{p}, produced by the filter cavity,

αpatan((2ϵ)γfcΔωfc(1ϵ)γfc2Δωfc2+Ω2),\alpha_{p}\simeq\,{\textrm{atan}}\!\left({\frac{(2-\epsilon){\gamma_{\rm fc}}\;\Delta{\omega_{\rm fc}}}{(1-\epsilon){\gamma_{\rm fc}}^{2}-\Delta{\omega_{\rm fc}}^{2}+\Omega^{2}}}\right), (17)

which holds for typical filter cavity parameters, ϵ1Λrt2tin2\epsilon\ll 1\Rightarrow\Lambda_{\rm rt}^{2}\ll t_{\rm in}^{2}. In particular, for a lossless filter cavity (ϵ=0\epsilon=0),

αp=atan(2γfcΔωfcγfc2Δωfc2+Ω2),\alpha_{p}=\,{\textrm{atan}}\!\left({\frac{2{\gamma_{\rm fc}}\;\Delta{\omega_{\rm fc}}}{{\gamma_{\rm fc}}^{2}-\Delta{\omega_{\rm fc}}^{2}+\Omega^{2}}}\right), (18)

consistent with the expression for αp\alpha_{p} which can be deduced from (88) of Kimble et al. (2001) (note that the referenced equation is missing factor of 2, as reported in Harms et al. (2003)).

II.3 Mode-matching

A quantum filter cavity modifies the phase of the squeezed state which is coupled into its resonant mode. In a laboratory context, free-space optics are used to perform this coupling, maximising the spatial overlap between the cavity mode and the incident beam. This process is known as “mode-matching” and the result is inevitably imperfect. In the case of quantum filter cavities, imperfect mode-matching results in both a source of loss and in a path by which the squeezed state can bypass the filter cavity. In this section we develop a model describing how imperfect filter cavity mode-matching affects a squeezed state. Furthermore, we also include the effects of loss arising from mode-mismatch between the squeezed field and the beam, known as the “local oscillator” (LO), used to detect it.

The previously stated filter cavity reflectivity rfcr_{\rm fc} applies only to a field perfectly mode-matched to the cavity fundamental mode. In order to incorporate mode-mismatch, we express the LO and the beam from the squeezed light source in an orthonormal basis of spatial modes UnU_{n} (e.g. Hermite-Gauss or Laguerre-Gauss modes) such that

Usqz\displaystyle U_{\rm sqz} =n=0anUn,witha0=1n=1|an|2\displaystyle=\sum_{n=0}^{\infty}a_{n}U_{n},\quad{\rm with}~~a_{0}=\sqrt{1-\sum_{n=1}^{\infty}|a_{n}|^{2}} (19)
Ulo\displaystyle U_{\rm lo} =n=0bnUn,withb0=1n=1|bn|2\displaystyle=\sum_{n=0}^{\infty}b_{n}U_{n},\quad{\rm with}~~b_{0}=\sqrt{1-\sum_{n=1}^{\infty}|b_{n}|^{2}} (20)

where ana_{n} and bnb_{n} are complex coefficients. We further choose this basis such that U0U_{0} is the filter cavity fundamental mode. For a0=1a_{0}=1 the beam from the squeezed light source is perfectly matched to the filter cavity mode. Similarly, b0=1b_{0}=1 indicates that the local oscillator beam has perfectly spatial overlap with the filter cavity mode.

Since the filter cavity is held near the resonance of the fundamental mode, we assume that all other modes (UnU_{n} with n>0n>0) are far from resonance, with ξ1\xi\gg 1 and rfc1r_{\rm fc}\simeq 1. Thus, the squeezed beam after reflection from the filter cavity is given by

Urfc=rfc(Ω)Usqz=rfc(Ω)a0U0+n=1anUn.U_{\rm rfc}=r_{\rm fc}(\Omega)\cdot U_{\rm sqz}=r_{\rm fc}(\Omega)\;a_{0}\;U_{0}+\sum_{n=1}^{\infty}a_{n}U_{n}\ .\\ (21)

The fundamental mode’s amplitude and phase are modified by the filter cavity, whereas those of the other modes remain unchanged since these modes are not resonant and the filter cavity acts like a simple mirror.

The spatial overlap integral of the reflected field UrfcU_{\rm rfc} and the local oscillator UloU_{\rm lo} is

Ulo|Urfc=t00rfc(Ω)+tmm\left<U_{\rm lo}|U_{\rm rfc}\right>=t_{00}~r_{\rm fc}(\Omega)+t_{\rm mm} (22)

where t00=a0b0andtmm=n=1anbn.t_{00}=a_{0}b_{0}^{*}{\rm~and~}t_{\rm mm}=\sum_{n=1}^{\infty}a_{n}b_{n}^{*}. Note that tmmt_{\rm mm} represents the overlap between the mismatched part of the beam from the squeezed light source and the mismatched LO. The squeezed field which follows this path essentially bypasses the filter cavity, and thereby experiences no frequency dependent rotation. It may, however, acquire a frequency independent rotation with respect to the field which couples into the filter cavity, as can be seen from the two-photon mode-mismatch matrix

𝐓𝐦𝐦=𝐀𝟐(tmmtmm)𝐀𝟐1=|tmm|𝐑(arg(tmm)).\mathbf{T_{mm}}=\mathbf{A_{2}}\cdot\begin{pmatrix}t_{\rm mm}&\\ &t_{\rm mm}^{*}\end{pmatrix}\cdot\mathbf{A_{2}}^{-1}=|t_{\rm mm}|~\mathbf{R}\big{(}\,{\textrm{arg}}\!\left({t_{\rm mm}}\right)\big{)}\;. (23)

The addition of this coupling path results in a frequency dependent rotation error with respect to the rotation expected from a perfectly mode matched filter cavity. For modest amounts of mode-mismatch (less than 10%10\%), this error can be corrected by a small change in the filter cavity detuning.

The magnitude of the mode-mismatch is constrained by t00t_{00} such that

|tmm|(1a02)(1b02)1t00|t_{\rm mm}|\leq\sqrt{(1-a_{0}^{2})(1-b_{0}^{2})}\leq 1-t_{00} (24)

while the phase is in general unconstrained. The Ulo|Urfc\left<U_{\rm lo}|U_{\rm rfc}\right> overlap is maximised when tmmt_{\rm mm} is real and positive and minimised when it is real and negative.

Experimentally, the quantities which one can easily measure are the squeezed field/filter cavity power mode-coupling, a02a_{0}^{2}, and the squeezed field/local oscillator power mode-coupling, c02c_{0}^{2}, say. From these values one can determine b0b_{0}, the overlap between the LO and filter cavity modes, in the following way,

b0=Ulo|U0=a0c0+(1a02)(1c02)exp(iϕmm),b_{0}=\left<U_{\rm lo}|U_{0}\right>=a_{0}c_{0}+\sqrt{(1-a_{0}^{2})(1-c_{0}^{2})}\exp(i\phi_{\mathrm{mm}}), (25)

where ϕmm\phi_{\mathrm{mm}} captures the ambiguity in the tmmt_{\mathrm{mm}} phase. The parameters of interest for noise propagation are then easily determined,

t00\displaystyle t_{00} =a0b0,\displaystyle=a_{0}b_{0}^{*}, (26)
tmm\displaystyle t_{\mathrm{mm}} =c0t00.\displaystyle=c_{0}-t_{00}. (27)

Note that the second equality in (25) is not universally true. The magnitude of the second term (the expression multiplying the exponential) can be smaller than that given, depending on the unknown character of the mode-mismatches. However this choice, an upper bound, allows one to explore the full range of b0b_{0} values necessary to constrain the mode-mismatch-induced noise.

II.4 Interferometer

The non-linear action of radiation pressure in an interferometer affects any vacuum field incident upon it. In our analysis, we include an idealised lossless interferometer to illustrate this phenomenon. Operated on resonance, such an interferometer may be described by the transfer matrix

𝐓𝐢𝐟𝐨=(10𝒦1),\mathbf{T_{ifo}}=\begin{pmatrix}1&0\\ -\mathcal{K}&1\end{pmatrix}, (28)

as reported in Buonanno and Chen (2001). Here, 𝒦\mathcal{K} characterises the coupling of amplitude fluctuations introduced at the interferometer’s dark port to phase fluctuations exiting the same port and takes the form

𝒦=(ΩSQLΩ)2γifo2Ω2+γifo2,\mathcal{K}=\left(\frac{{\Omega_{\rm SQL}}}{\Omega}\right)^{2}\frac{\gamma_{\rm ifo}^{2}}{\Omega^{2}+\gamma_{\rm ifo}^{2}}, (29)

where γifo\gamma_{\rm ifo} is the interferometer signal-bandwidth and ΩSQL{\Omega_{\rm SQL}} is a characteristic frequency, dependent on the particular interferometer configuration, which approximates the frequency at which the interferometer quantum noise equals the Standard Quantum Limit (i.e. where radiation pressure noise intersects shot noise Kimble et al. (2001)).

For a conventional interferometer without a signal recycling mirror, like the power-recycled Michelson interferometer described in Kimble et al. (2001),

γifo 0\displaystyle\gamma_{{\rm ifo}_{\,0}} =γarmTarmc4Larm\displaystyle=\gamma_{\rm arm}\simeq\frac{T_{\rm arm}c}{4L_{\mathrm{arm}}} (30)
andΩSQL 0\displaystyle\mbox{and}\quad\Omega_{\mathrm{SQL}_{\,0}} 8cParmω0mTarm,\displaystyle\simeq\frac{8}{c}\sqrt{\frac{P_{\rm arm}\omega_{0}}{mT_{\rm arm}}}, (31)

where ParmP_{\rm arm} is the laser power stored inside the interferometer arm cavities, ω0\omega_{0} is the frequency of the carrier field, LarmL_{\rm arm} is the arm cavity length, mm is the mass of each test mass mirror, TarmT_{\rm arm} is the power transmissivity of the arm cavity input mirrors and approximations are valid provided arm cavity finesse is high.

Table 1: Symbols and values for aLIGO interferometer parameters.
Parameter Symbol Value
Frequency of the carrier field ω0\omega_{0} 2π×2\pi\times 282 THz282\text{\,}\mathrm{T}\mathrm{H}\mathrm{z}
Arm cavity length LL 3995 m3995\text{\,}\mathrm{m}
Signal recycling cavity length LsrcL_{\rm src} 55 m55\text{\,}\mathrm{m}
Arm cavity half-width γarm\gamma_{\rm arm} 2π×42 Hz/2\pi\times$42\text{\,}\mathrm{Hz}\text{/}$
Arm cavity input mirror power TarmT_{\rm arm} 1.4 %1.4\text{\,}\%
transmissivity
Signal recycling mirror power tsr2t^{2}_{\rm sr} 35 %35\text{\,}\%
transmissivity
Intra-cavity power ParmP_{\rm arm} 800 kW800\text{\,}\mathrm{k}\mathrm{W}
Mass of each of the test mass mirror mm 40 kg40\text{\,}\mathrm{k}\mathrm{g}

For a dual-recycled interferometer, operating with a tuned signal-recycling cavity of length LsrcL_{\rm src}, it can be shown that, for Ωc/Lsrc\Omega\ll c/L_{\rm src},

γifo\displaystyle\gamma_{\rm ifo} =1+rsr1rsrγifo 0\displaystyle=\frac{1+r_{\rm sr}}{1-r_{\rm sr}}\gamma_{{\rm ifo}_{\,0}} (32)
andΩSQL\displaystyle\mbox{and}\quad{\Omega_{\rm SQL}} =tsr1+rsrΩSQL 0,\displaystyle=\frac{t_{\rm sr}}{1+r_{\rm sr}}\Omega_{\mathrm{SQL}_{\,0}}, (33)

where tsrt_{\rm sr} and rsrr_{\rm sr} are the amplitude transmissivity and reflectivity of the signal recycling mirror. Given the Advanced LIGO parameters reported in Table 1,

γifo\displaystyle\gamma_{\rm ifo}   9γifo 0\displaystyle\simeq\>\>9~\gamma_{{\rm ifo}_{\,0}} 2π×390 Hz\displaystyle\simeq 2\pi\times$390\text{\,}\frac{\mathrm{Hz}}{}$ (34)
andΩSQL\displaystyle\mbox{and}\quad{\Omega_{\rm SQL}} ΩSQL 03\displaystyle\simeq~\frac{\Omega_{\mathrm{SQL}_{\,0}}}{3} 2π×70 Hz,\displaystyle\simeq 2\pi\times$70\text{\,}\frac{\mathrm{Hz}}{}$, (35)

confirming that the effect of signal recycling in Advanced LIGO is to increase the interferometer’s bandwidth whilst reducing the frequency at which its quantum noise reaches the SQL. For such an interferometer, in which γifoΩSQL\gamma_{\rm ifo}\gg{\Omega_{\rm SQL}}, 𝒦\mathcal{K} may be approximated by (ΩSQL/Ω)2({\Omega_{\rm SQL}}/\Omega)^{2} in the region of interest (where 𝒦\mathcal{K} is order unity or larger).

While (28) is very simple, greater appreciation of the action of the interferometer can be gained by noting that 𝐓𝐢𝐟𝐨\mathbf{T_{ifo}} can be recast in terms of the previously defined squeeze and rotation operators as

𝐓𝐢𝐟𝐨=𝐒(σifo,ϕifo)𝐑(θifo)\displaystyle\mathbf{T_{ifo}}=\mathbf{S}(\sigma_{\rm ifo},\phi_{\rm ifo})\mathbf{R}(\theta_{\rm ifo}) (36)

with

σifo\displaystyle\sigma_{\rm ifo} =arcsinh(𝒦/2),\displaystyle=-\operatorname{arcsinh}(\mathcal{K}/2),
ϕifo\displaystyle\phi_{\rm ifo} =12arccot(𝒦/2),\displaystyle=\tfrac{1}{2}\operatorname{arccot}(\mathcal{K}/2),
θifo\displaystyle\theta_{\rm ifo} =arctan(𝒦/2).\displaystyle=-\arctan(\mathcal{K}/2).

The role of the filter cavity is to rotate the input squeezed quadrature as a function of frequency such that it is always aligned with the signal quadrature at the output of the interferometer, even in the presence of rotation by θifo\theta_{\mathrm{ifo}} and the effective rotation caused by squeezing at angle ϕifo\phi_{\mathrm{ifo}}. The required filter cavity rotation is given by

θfc=arctan(𝒦).\theta_{\mathrm{fc}}=\arctan(\mathcal{K}). (37)

II.5 Linear noise transfer

We now combine the intermediate results of previous sections to compute the quantum noise observed in the interferometer readout. Three vacuum fields make contributions to this noise: v1v_{1} which passes through the squeezer, v2v_{2} which enters before the interferometer but does not pass through the squeezer and v3v_{3} which enters after the interferometer. We formulate transfer matrices for each of these fields in turn before providing, in (43), a final expression for the measured noise.

Converting the result of (22) into a two-photon transfer matrix and including losses in the injection and readout paths, via 𝐓𝐢𝐧𝐣\mathbf{T_{inj}} and τro\tau_{\mathrm{ro}} respectively (see (2) and (42)), we arrive at the full expression describing the transfer of vacuum field v1v_{1} through the squeezer, filter cavity and interferometer to the detection point,

𝐓𝟏=τro𝐓𝐢𝐟𝐨(t00𝐓𝐟𝐜+𝐓𝐦𝐦)𝐓𝐢𝐧𝐣.\mathbf{T_{1}}=\tau_{\rm ro}\mathbf{T_{ifo}}\left(t_{00}~\mathbf{T_{fc}}+\mathbf{T_{mm}}\right)\mathbf{T_{inj}}. (38)

We now consider the vacuum field v2v_{2}, which accounts for all fluctuations coupled into the beam due to injection losses, losses inside the filter cavity itself and imperfect mode-matching. The audio-sideband transmission coefficient from the squeezer to the interferometer is

τ2(Ω)=(t00rfc(Ω)+tmm)τinj.\tau_{2}(\Omega)=(t_{00}\;r_{\rm fc}(\Omega)+t_{\rm mm})\tau_{\rm inj}. (39)

In the two-photon picture, the average of the upper and lower sideband losses gives the source term for the v2v_{2} vacuum fluctuations, so that

𝐓𝟐\displaystyle\mathbf{T_{2}} =τro𝐓𝐢𝐟𝐨Λ2\displaystyle=\tau_{\rm ro}\mathbf{T_{ifo}}\Lambda_{2} (40)
whereΛ2\displaystyle\mathrm{where}\quad\Lambda_{2} =1(|τ2(+Ω)|2+|τ2(Ω)|2)/2.\displaystyle=\sqrt{1-(|\tau_{2}(+\Omega)|^{2}+|\tau_{2}(-\Omega)|^{2})/2}. (41)

Finally, frequency independent losses Λro2\Lambda^{2}_{\rm ro} between the interferometer and the readout introduce a second source of attenuation of the squeezed state and accompanying vacuum fluctuations v3v_{3}, a process described by the following transfer matrix and transmission coefficient

𝐓𝟑=Λro,τro=1Λro2.\mathbf{T_{3}}=\Lambda_{\rm ro},\quad\tau_{\rm ro}=\sqrt{1-\Lambda^{2}_{\rm ro}}. (42)

These losses cannot be added to the injection losses mentioned above since they are separated by the non-linear effects of the interferometer. Explicitly, losses before and after the interferometer are not equivalent.

The single-sided power spectrum of the quantum noise at the interferometer readout is then given by

N(ζ)=|𝐛¯ζ𝐓𝟏v1|2N1(ζ)+|𝐛¯ζ𝐓𝟐v2|2N2(ζ)+|𝐛¯ζ𝐓𝟑v3|2N3(ζ)\displaystyle N(\zeta)=\underbrace{\left|\mathbf{\bar{b}}_{\zeta}\cdot\mathbf{T_{1}}\cdot v_{1}\right|^{2}}_{N_{1}(\zeta)}+\underbrace{\left|\mathbf{\bar{b}}_{\zeta}\cdot\mathbf{T_{2}}\cdot v_{2}\right|^{2}}_{N_{2}(\zeta)}+\underbrace{\left|\mathbf{\bar{b}}_{\zeta}\cdot\mathbf{T_{3}}\cdot v_{3}\right|^{2}}_{N_{3}(\zeta)} (43)

where the local oscillator field 𝐛¯ζ=ALO(sinζcosζ)\mathbf{\bar{b}}_{\zeta}=A_{\rm LO}\begin{pmatrix}\sin\zeta&\cos\zeta\end{pmatrix}, with amplitude ALOA_{\rm LO}, determines the readout quadrature. All mathematical operations are as defined in Evans et al. (2013) and ζ\zeta is defined such that N(ζ=0)N(\zeta=0) is the noise in the quadrature containing the interferometer signal.

We now investigate (43) more closely, providing analytical expressions for the contribution of each term. To improve readability, we normalise all noise powers with respect to shot noise (see appendix  A.2). This action is denoted through the use of an additional circumflex, i.e. N^\widehat{N} rather than NN.

II.5.1 Noise due to vacuum fluctuations passing through the squeezer, N^1\widehat{N}_{1}

As the only term with dependence on filter cavity performance, examination of N^1(ζ)\widehat{N}_{1}(\zeta) allows one to determine the optimal filter cavity parameters.

A comprehensive expression for N^1(ζ=0)\widehat{N}_{1}(\zeta=0) may be developed starting from (38). However, for clarity, and to assist in gaining physical understanding, we restrict our discussion to an optimally matched filter cavity, and neglect injection and readout losses, to obtain a simple description in terms of the optomechanical coupling constant 𝒦\mathcal{K}, the cavity rotation angle αp\alpha_{p} and reflectivities ρp\rho_{p} and ρm\rho_{m}. In this case,

N^1(ζ=0)=\displaystyle\widehat{N}_{1}(\zeta=0)= (ρp2e2σ+ρm2e2σ)(cosαp+𝒦sinαp)2\displaystyle\left(\rho_{p}^{2}e^{-2\sigma}+\rho_{m}^{2}e^{2\sigma}\right)\left(\cos{\alpha_{p}}+\mathcal{K}\sin{\alpha_{p}}\right)^{2}
+\displaystyle+ (ρp2e2σ+ρm2e2σ)(𝒦cosαpsinαp)2.\displaystyle\left(\rho_{p}^{2}e^{2\sigma}+\rho_{m}^{2}e^{-2\sigma}\right)\left(\mathcal{K}\cos{\alpha_{p}}-\sin{\alpha_{p}}\right)^{2}. (44)

Equation (44) elucidates both the effect of a filter cavity and the role of filter cavity losses. We first remark that in the absence of both squeezed light (σ=0\sigma=0) and a filter cavity (equivalent to ρp=1\rho_{p}=1, ρm=0\rho_{m}=0) the interferometer output noise is simply

N^1=1+𝒦2.\widehat{N}_{1}=1+\mathcal{K}^{2}. (45)

With the addition of frequency-independent squeezed light (σ0\sigma\neq 0, αp=0\alpha_{p}=0), the total output noise becomes

N^1=e2σ+e2σ𝒦2.\widehat{N}_{1}=e^{-2\sigma}+e^{2\sigma}\mathcal{K}^{2}. (46)

In the frequency region in which 𝒦<1\mathcal{K}<1 the noise is reduced by the presence of squeezed light but for 𝒦>1\mathcal{K}>1 the noise is degraded by the “anti-squeezing” component e2σe^{2\sigma}. Had we chosen αp=π/2\alpha_{p}=\pi/2 these roles would have been reversed.

The presence of a filter cavity (αp=αp(Ω)0\alpha_{p}=\alpha_{p}(\Omega)\neq 0) allows one to minimise the impact of “anti-squeezing” on the measured noise. For a lossless filter cavity (ρm=0\rho_{m}=0, ρp=1\rho_{p}=1) the “anti-squeezing” can be completely nulled by selecting filter cavity parameters such that αp=arctan(𝒦)\alpha_{p}=\arctan(\mathcal{K}), giving the minimal quantum noise

N^1=e2σ(1+𝒦2).\widehat{N}_{1}=e^{-2\sigma}\left(1+\mathcal{K}^{2}\right). (47)

With the addition of filter cavity losses (ρm0\rho_{m}\neq 0) the total noise becomes

N^1=(ρp2e2σ+ρm2e2σ)(1+𝒦2)\widehat{N}_{1}=\left(\rho^{2}_{p}e^{-2\sigma}+\rho^{2}_{m}e^{2\sigma}\right)\left(1+\mathcal{K}^{2}\right) (48)

and there is no value of αp\alpha_{p} for which the influence of “anti-squeezing” can be completely nulled (due to the coherent dephasing effect discussed above in II.2). It is important to highlight that precluding “optimal” rotation is not the only downside of a lossy filter cavity. Intra-cavity losses also introduce additional vacuum fluctuations, v2v_{2}, which do not pass through the squeezer, leading to increased noise in the interferometer readout via the T2T_{2} transfer matrix. Considering an optimally mode-matched filter cavity, this effect is most noticeable in (41), which becomes simply Λ2=1(ρp2+ρm2)0\Lambda_{2}=\sqrt{1-(\rho^{2}_{p}+\rho^{2}_{m})}\neq 0 (see also section II.5.2 below).

For an interferometer in which γifoΩSQL\gamma_{\rm ifo}\lesssim{\Omega_{\rm SQL}}, like a power-recycled Michelson interferometer (or a detuned signal-recycled Michelson interferometer), a single filter cavity is not capable of realising the desired rotation of the squeezed quadrature, as extensively described in section V and appendix C of Kimble et al. (2001). Conversely, for a broadband interferometer like Advanced LIGO, in which γifo>5ΩSQL\gamma_{\rm ifo}>5~{\Omega_{\rm SQL}} and the approximation 𝒦(ΩSQL/Ω)2\mathcal{K}\simeq({\Omega_{\rm SQL}}/\Omega)^{2} holds, it can be shown, from (17) and (37), that the output noise is minimised by a single filter cavity with the following parameters

Δωfc\displaystyle\Delta{\omega_{\rm fc}} =1ϵγfc\displaystyle=\sqrt{1-\epsilon}~{\gamma_{\rm fc}} (49)
andγfc\displaystyle\mbox{and}\quad{\gamma_{\rm fc}} =2(2ϵ)1ϵΩSQL2,\displaystyle=\sqrt{\frac{2}{(2-\epsilon)\sqrt{1-\epsilon}}}~\frac{{\Omega_{\rm SQL}}}{\sqrt{2}}, (50)

from which the requirements for a lossless filter cavity (ϵ=0\epsilon=0) can be derived,

Δωfc\displaystyle\Delta{\omega_{\rm fc}} =γfc\displaystyle={\gamma_{\rm fc}} (51)
andγfc\displaystyle\mbox{and}\quad{\gamma_{\rm fc}} =ΩSQL2.\displaystyle=\frac{{\Omega_{\rm SQL}}}{\sqrt{2}}. (52)

In practice, for fixed cavity length and losses, the value of tint_{\mathrm{in}} is tuned to obtain the required filter cavity bandwidth. However, changing tint_{\mathrm{in}} affects both ϵ\epsilon and γfc{\gamma_{\rm fc}}, making (50) inconvenient to solve. Nevertheless, equating the right-hand side of (50) with the expression for γfc{\gamma_{\rm fc}} derived from (8), one obtains a version of ϵ\epsilon which is independent of tint_{\mathrm{in}},

ϵ=42+2+21+(2ΩSQLfFSRΛrt2)4,\epsilon=\frac{4}{2+\sqrt{2+2\sqrt{1+\left(\frac{2{\Omega_{\rm SQL}}}{f_{\rm FSR}\Lambda_{\rm rt}^{2}}\right)^{4}}}}, (53)

and can be used to find Δωfc\Delta{\omega_{\rm fc}} and γfc{\gamma_{\rm fc}}. Then, from (10),

tin2=2γfcfFSRΛrt2.t_{\mathrm{in}}^{2}=\frac{2{\gamma_{\rm fc}}}{f_{\rm FSR}}-\Lambda_{\rm rt}^{2}. (54)

We note that as filter cavity losses increase, the ideal filter cavity bandwidth also increases, whilst the optimal cavity detuning is reduced. As a consequence, the desired value of tint_{\mathrm{in}} is approximately constant for ϵ0.3\epsilon\lesssim 0.3.

II.5.2 Noise due to vacuum fluctuations which do not pass through the squeezer, N^2\widehat{N}_{2}

Let us now consider N^2(ζ=0)\widehat{N}_{2}(\zeta=0), the term describing noise due to loss-induced vacuum fluctuations which do not pass through the squeezer. Assuming perfect mode-matching, Λ2\Lambda_{2} from (41) can be written as

Λ2\displaystyle\Lambda_{2} =1τinj2(ρp2+ρm2).\displaystyle=\sqrt{1-\tau^{2}_{\rm inj}\left(\rho^{2}_{p}+\rho^{2}_{m}\right)}. (55)

Thus, using (40), we obtain

N^2(ζ=0)\displaystyle\widehat{N}_{2}(\zeta=0) =τro2(1+𝒦2)Λ22\displaystyle=\tau^{2}_{\rm ro}\left(1+\mathcal{K}^{2}\right)\Lambda^{2}_{2}
=τro2(1+𝒦2)(1τinj2(ρp2+ρm2)).\displaystyle=\tau^{2}_{\rm ro}\left(1+\mathcal{K}^{2}\right)\left(1-\tau^{2}_{\rm inj}\left(\rho^{2}_{p}+\rho^{2}_{m}\right)\right). (56)

II.5.3 Noise due to vacuum fluctuations in the readout, N^3\widehat{N}_{3}

The noise due to vacuum fluctuations entering at the interferometer readout follows trivially from (42),

N^3(ζ=0)\displaystyle\widehat{N}_{3}(\zeta=0) =Λro2=1τro2.\displaystyle=\Lambda^{2}_{\rm ro}=1-\tau^{2}_{\rm ro}. (57)

II.6 Phase noise

In addition to optical losses and mode-mismatch, a further cause of squeezing degradation is phase noise, also referred to as “squeezed quadrature fluctuations” Dwyer (2013). In this section we develop a means of quantifying the impact of this important degradation mechanism.

Assuming some parameter XX in 𝐓𝟏\mathbf{T_{1}} or 𝐓𝟐\mathbf{T_{2}} has small, Gaussian-distributed fluctuations with variance δX2\delta X^{2}, the average readout noise is given by

N^avg(ζ)\displaystyle\widehat{N}_{\rm avg}(\zeta) N^(ζ,X)+2N^(ζ,X)X2δX22\displaystyle\simeq\widehat{N}(\zeta,X)+\frac{\partial^{2}{\widehat{N}(\zeta,X)}}{\partial{X}^{2}}~\frac{\delta X^{2}}{2} (58)
N^(ζ,X+δX)+N^(ζ,XδX)2.\displaystyle\simeq\frac{\widehat{N}(\zeta,X+\delta X)+\widehat{N}(\zeta,X-\delta X)}{2}. (59)

Extending this approach to multiple incoherent noise parameters XnX_{n} yields

N^avg\displaystyle\widehat{N}_{\rm avg} N^+n2N^(Xn)Xn2δXn22\displaystyle\simeq\widehat{N}+\sum_{n}\frac{\partial^{2}{\widehat{N}(X_{n})}}{\partial{X_{n}}^{2}}~\frac{\delta X_{n}^{2}}{2} (60)
N^+n(N^(Xn+δXn)+N^(XnδXn)2N^),\displaystyle\simeq\widehat{N}+\sum_{n}\left(\frac{\widehat{N}(X_{n}+\delta X_{n})+\widehat{N}(X_{n}-\delta X_{n})}{2}-\widehat{N}\right), (61)

where the parameters not explicitly listed as arguments to N^\widehat{N}, including ζ\zeta, are assumed to take on their mean values.

While (61) is sufficient to evaluate N^avg\widehat{N}_{\mathrm{avg}} for any collection of phase noise sources, we choose to follow the same approach adopted in the treatment of optical losses, considering two classes of squeezed quadrature fluctuations: extra-cavity fluctuations which are frequency independent and intra-cavity fluctuations which are frequency dependent.

Examples of frequency-independent phase noise sources include length fluctuations in the squeezed field injection path and instabilities in the relative phase of the local oscillator or the radio-frequency sidebands which co-propagate with the squeezed field. Such frequency-independent noise may be represented by variations, δζ\delta\zeta, in the homodyne readout angle ζ\zeta.

Frequency-dependent phase noise is caused by variability in the filter cavity detuning Δωfc\Delta{\omega_{\rm fc}} (see (4)). This detuning noise results from filter cavity length noise δLfc\delta L_{\rm fc}, driven by seismic excitation of the cavity mirrors or sensor noise associated with the filter cavity length control loop, according to

δΔωfc=ω0LfcδLfc.\delta\Delta{\omega_{\rm fc}}=\frac{\omega_{0}}{L_{\rm fc}}\delta L_{\rm fc}. (62)

Detuning noise gives rise to frequency-dependent phase noise through the properties of the filter cavity resonance. For example, the dependence of 𝐓𝐟𝐜\mathbf{T_{fc}} on Δωfc\Delta{\omega_{\rm fc}} is weak for ΩΔωfc\Omega\gg\Delta{\omega_{\rm fc}}, i.e. for frequencies far from resonance, and stronger for ΩΔωfc\Omega\simeq\Delta{\omega_{\rm fc}}, i.e. for frequencies close to resonance.

General analytic expressions for N^avg\widehat{N}_{\mathrm{avg}} as a function of δζ\delta\zeta and δLfc\delta L_{\rm fc} are neither concise nor especially edifying. Therefore, in the following section, we apply (61) numerically to illustrate the impact of phase noise in a typical advanced gravitational-wave detector.

III A 16 m filter cavity for Advanced LIGO

We now apply the analytical model expounded above to the particular case of a 16 m filter cavity. Such a system has recently been considered for application to Advanced LIGO Evans et al. (2013) and therefore we use the specifications of this interferometer in our study (see Table 1).

The remaining parameters, show in Table 2, represent what we believe is technically feasible using currently available technology. For example, the filter cavity length noise estimate δLfc\delta L_{\rm fc} assumes that the cavity mirrors will be held in single-stage suspension systems located on seismically isolated HAM-ISI tables Evans (2012) and that the filter cavity length control loop will have 150 Hz unity gain frequency, and whilst a 2% mode-mismatch between the squeezed field and the filter cavity is extremely small, newly developed actuators Kasprzack et al. (2013); Liu et al. (2013) allow us to be optimistic. We chose to inject 9.1 dB9.1\text{\,}\mathrm{d}\mathrm{B} of squeezing into our system as this value results in 6 dB6\text{\,}\mathrm{d}\mathrm{B} of high-frequency squeezing at the interferometer readout (a goal for second-generation interferometers The LIGO Scientific Collaboration (2013)) and, conservatively, to consider a filter cavity with 16 ppm round-trip loss, even if recent investigations have shown that lower losses are achievable Isogai et al. (2013).

Table 2: Parameters used in in the application of our model to Advanced LIGO
Parameter Symbol Value
Filter cavity length LfcL_{\rm fc} 16 m16\text{\,}\mathrm{m}
Filter cavity half-bandwidth γfc{\gamma_{\rm fc}} 2π×61.4 Hz/2\pi\times$61.4\text{\,}\mathrm{Hz}\text{/}$
Filter cavity detuning Δωfc\Delta{\omega_{\rm fc}} 2π×48 Hz/2\pi\times$48\text{\,}\mathrm{Hz}\text{/}$
Filter cavity input tin2t_{\rm in}^{2} 66.3 ppm66.3\text{\,}\mathrm{p}\mathrm{p}\mathrm{m}
mirror transmissivity
Filter cavity losses Λrt2\Lambda_{\rm rt}^{2} 16 ppm16\text{\,}\mathrm{p}\mathrm{p}\mathrm{m}
Injection losses Λinj2\Lambda_{\rm inj}^{2} 5%5\%
Readout losses Λro2\Lambda_{\rm ro}^{2} 5%5\%
Mode-mismatch losses ΛmmFC2\Lambda_{\rm mmFC}^{2} 2%2\%
(squeezer-filter cavity)
Mode-mismatch losses ΛmmLO2\Lambda_{\rm mmLO}^{2} 5%5\%
(squeezer-local oscillator)
Frequency independent phase noise (RMS) δζ\delta\zeta 30 mrad30\text{\,}\mathrm{m}\mathrm{r}\mathrm{a}\mathrm{d}
Filter cavity length noise (RMS) δLfc\delta L_{\rm fc} 0.3 pm0.3\text{\,}\mathrm{p}\mathrm{m}
Injected squeezing σdB\sigma_{\mathrm{dB}} 9.1 dB9.1\text{\,}\mathrm{d}\mathrm{B}
Refer to caption
Figure 2: Power spectral density of quantum noise in the signal quadrature relative to coherent vacuum. Traces show how the noise reduction of a 9.1 dB-9.1\text{\,}\mathrm{d}\mathrm{B} minimum uncertainty squeezed state is impaired by each of the various decoherence and degradation mechanisms discussed herein. The effects of coherent dephasing are included in the ‘Filter cavity losses’ trace. The family of ‘Mode-mismatch’ curves encapsulates the unknown phase of tmmt_{\mathrm{mm}}, with solid curves defining upper and lower bounds for the induced noise (see section II.3, specifically (25)). The trace labelled ‘All mechanisms’ illustrates the total impact when the contributions of all decoherence and degradation effects are considered simultaneously.

The results of our investigation are shown in Figure 2. One observes that intra-cavity losses are the dominant source of decoherence below \sim300 Hz300\text{\,}\mathrm{H}\mathrm{z}. However, we note that, with small changes in parameter choice, the impact of the other coupling mechanisms could also become important. For instance, filter cavity length fluctuations approaching 1 pm1\text{\,}\mathrm{p}\mathrm{m} RMS would greatly compromise low frequency performance.

At higher frequencies, injection, readout and mode-mismatch losses are the most influential effects. With total losses of \sim15%, measuring 6 dB6\text{\,}\mathrm{d}\mathrm{B} of squeezing demands that more than 9 dB be present at the injection point.

Even under the idealised condition of negligible filter cavity losses (Λrt2/Lfc\Lambda_{\rm rt}^{2}/L_{\mathrm{fc}}\ll1ppm/m), achieving a broadband improvement greater than 6 dB6\text{\,}\mathrm{d}\mathrm{B} places extremely stringent requirements on the mode-matching throughout the system and on the filter cavity length noise.

IV Conclusions

Quantum filter cavities were proposed several years ago as means of maximising the benefit available from squeezing in advanced interferometric gravitational-wave detectors Kimble et al. (2001). However, the technical noise sources which practically limit filter cavity performance have, until now, been neglected. In this paper we have presented an analytical model capable of quantifying the impact of several such noise sources, including optical loss, mode-mismatch and frequency dependent phase noise. We find that real-world decoherence and degradation can be significant and therefore must be taken into account when evaluating the overall performance of a filter cavity. Applying our model to the specific case of Advanced LIGO Evans et al. (2013), we conclude that a 16 m filter cavity, built with currently available technology, offers considerable performance gains and remains a viable and worthwhile near-term upgrade to the generation of gravitational-wave detectors presently under construction.

Appendix A Formalism

In this appendix we place the calculations presented above in the context of the one-photon and two-photon formalisms extensively discussed in literature (see e.g. Corbitt et al. (2005); Buonanno and Chen (2001)). We commence by connecting the one-photon expression for the time-varying part of the electromagnetic field to power fluctuations on a photo-detector. We then transform the derived expression into the two-photon basis to explicitly show how vacuum fluctuations generate measurable noise. This calculation is subsequently generalised to the case of multiple vacuum fields arriving at a photo-detector after having propagated through an optical system, revealing the origin of (43). Finally, we discuss how quantum noise may be calculated for systems best described in the one-photon picture, in the process deriving the one-photon to two-photon conversion matrix (11).

A.1 One-photon and two-photon in context

The one-photon and two-photon formalisms provide two alternative ways of expressing fields. In the one-photon formalism, as described by (2.6) of Buonanno and Chen (2001), the time varying part of the electromagnetic field E(t)E(t) is written in terms of its audio-sideband components around the carrier frequency ω0\omega_{0},

E(t)\displaystyle E(t) =2πω0𝒜ceiω0t0+[a+(Ω)eiΩt+a(Ω)eiΩt]dΩ2π+h.c.\displaystyle=\sqrt{\frac{2\pi\hbar\omega_{0}}{\mathcal{A}c}}e^{-i\omega_{0}t}\int_{0}^{+\infty}\left[a_{+}(\Omega)e^{-i\Omega t}+a_{-}(\Omega)e^{i\Omega t}\right]\frac{d\Omega}{2\pi}+\mbox{h.c.}
=2πω0𝒜c2Re[eiω0t0+[a+(Ω)eiΩt+a(Ω)eiΩt]dΩ2π],\displaystyle=\sqrt{\frac{2\pi\hbar\omega_{0}}{\mathcal{A}c}}\cdot 2Re\!\left[{e^{-i\omega_{0}t}\int_{0}^{+\infty}\!\!\!\left[a_{+}(\Omega)e^{-i\Omega t}+a_{-}(\Omega)e^{i\Omega t}\right]\;\frac{d\Omega}{2\pi}}\right], (63)

where 𝒜\mathcal{A} is the “effective area”, “h.c.” means Hermitian conjugate and a±(Ω)a_{\pm}(\Omega) are the normalised amplitudes of the upper and lower sidebands at frequencies ω0±Ω\omega_{0}\pm\Omega in dimensions of (number of photons/Hz)1/2(\mbox{number of photons}/\mathrm{Hz})^{1/2} (see Caves and Schumaker (1985) for greater detail).

By introducing 0\mathcal{E}_{0} defined as

0=2𝒜cϵ0,\mathcal{E}_{0}=\sqrt{\frac{2}{\mathcal{A}c\epsilon_{0}}}, (64)

and noting that Buonanno and Chen (2001) uses ϵ0=1/4π\epsilon_{0}=1/4\pi, E(t)E(t) can be rewritten as

E(t)=\displaystyle E(t)= 0ω0\displaystyle\mathcal{E}_{0}\sqrt{\hbar\omega_{0}}
×Re[eiω0t0+[a+(Ω)eiΩt+a(Ω)eiΩt]dΩ2π]\displaystyle\times Re\!\left[{e^{-i\omega_{0}t}\int_{0}^{+\infty}\!\!\!\left[a_{+}(\Omega)e^{-i\Omega t}+a_{-}(\Omega)e^{i\Omega t}\right]\;\frac{d\Omega}{2\pi}}\right]
=\displaystyle= Re[0δA(t)eiω0t]\displaystyle Re\!\left[{\mathcal{E}_{0}\;\delta\!A(t)\;e^{-i\omega_{0}t}}\right] (65)

where we have introduced the time-dependent amplitude

δA(t)=ω00+[a+(Ω)eiΩt+a(Ω)eiΩt]dΩ2π.\delta\!A(t)=\sqrt{\hbar\omega_{0}}\int_{0}^{+\infty}\!\!\!\left[a_{+}(\Omega)e^{-i\Omega t}+a_{-}(\Omega)e^{i\Omega t}\right]\;\frac{d\Omega}{2\pi}. (66)

In our application these fluctuations arrive to the photo-detector together with a strong, constant local oscillator field A0A_{0} such that

E(t)=Re[0(A0+δA(t))eiω0t].E(t)=Re\!\left[{\mathcal{E}_{0}\;(A_{0}+\delta\!A(t))\;e^{-i\omega_{0}t}}\right]. (67)

The power P(t)P(t) transported by the beam can then be written as

P(t)\displaystyle P(t) =𝒜I(t)¯=𝒜cϵ0E(t)2¯=𝒜cϵ02|0(A0+δA(t))|2\displaystyle=\mathcal{A}\overline{I(t)}=\mathcal{A}c\epsilon_{0}\,\overline{E(t)^{2}}=\frac{\mathcal{A}c\epsilon_{0}}{2}\left|\mathcal{E}_{0}\left(A_{0}+\delta\!A(t)\right)\right|^{2}
=|A0|2+2Re[A0δA(t)]+|δA(t)|2,\displaystyle=\left|A_{0}\right|^{2}+2Re\!\left[{A_{0}^{*}\;\delta\!A(t)}\right]+\left|\delta\!A(t)\right|^{2}, (68)

where I(t)I(t) denotes intensity and the overbar indicates the average over one or more cycles of the electromagnetic wave. Note that the effective area 𝒜\mathcal{A} has cancelled and does not have a meaningful effect on the measurable power. Since δA(t)A0\delta\!A(t)\ll A_{0}, we can approximate the power fluctuation δP(t)\delta\!P(t) as

δP(t)P(t)|A0|22Re[A0δA(t)].\delta\!P(t)\equiv P(t)-\left|A_{0}\right|^{2}\simeq 2Re\!\left[{A_{0}^{*}\;\delta\!A(t)}\right]. (69)

Switching to the frequency domain, we take the Fourier transform of δP(t)\delta\!P(t) to find

δP~(Ω)\displaystyle\delta\!\tilde{P}(\Omega) =+2Re[A0δA(t)]eiΩt𝑑t\displaystyle=\int_{-\infty}^{+\infty}\!\!\!2Re\!\left[{A_{0}^{*}\;\delta\!A(t)}\right]e^{i\Omega t}dt
=+[A0δA(t)+A0δA(t)]eiΩt𝑑t\displaystyle=\int_{-\infty}^{+\infty}\left[A_{0}^{*}\;\delta\!A(t)+A_{0}\;\delta\!A^{*}(t)\right]e^{i\Omega t}dt
=A0δA~(Ω)+A0δA~(Ω)\displaystyle=A_{0}^{*}\;\delta\!\tilde{A}(\Omega)+A_{0}\;\delta\!\tilde{A}^{*}(-\Omega)
=ω0[A0a+(Ω)+A0a(Ω)]\displaystyle=\sqrt{\hbar\omega_{0}}\left[A_{0}^{*}\;a_{+}(\Omega)+A_{0}\;a_{-}^{*}(\Omega)\right] (70)

where, in the final step, we have used (66).

The two-photon formalism defines quadrature fields as linear combinations of the one-photon fields Buonanno and Chen (2001)

a1=(a++a)2anda2=(a+a)2ia_{1}=\frac{(a_{+}+a_{-}^{*})}{\sqrt{2}}\quad\mbox{and}\quad a_{2}=\frac{(a_{+}-a_{-}^{*})}{\sqrt{2}i} (71)

such that

a+=(a1+ia2)2anda=(a1ia2)2.a_{+}=\frac{(a_{1}+ia_{2})}{\sqrt{2}}\quad\mbox{and}\quad a_{-}^{*}=\frac{(a_{1}-ia_{2})}{\sqrt{2}}. (72)

By substituting (72) into (70), we obtain the frequency-domain expression for δP\delta\!P in the two-photon formalism

δP~(Ω)\displaystyle\delta\!\tilde{P}(\Omega) =ω0/2[(A0+A0)a1(Ω)+i(A0A0)a2(Ω)]\displaystyle=\sqrt{\hbar\omega_{0}/2}\left[(A_{0}^{*}+A_{0})a_{1}(\Omega)+i(A_{0}^{*}-A_{0})a_{2}(\Omega)\right]
=2ω0[Re[A0]a1(Ω)+Im[A0]a2(Ω)].\displaystyle=\sqrt{2\hbar\omega_{0}}\left[Re\!\left[{A_{0}}\right]a_{1}(\Omega)+Im\!\left[{A_{0}}\right]a_{2}(\Omega)\right]. (73)

Expressing the local oscillator’s amplitude and phase explicitly, A0=ALOeiϕA_{0}=A_{\rm LO}e^{i\phi}, δP~(Ω)\delta\!\tilde{P}(\Omega) becomes

δP~(Ω)=2ω0ALO[a1(Ω)cosϕ+a2(Ω)sinϕ].\delta\!\tilde{P}(\Omega)=\sqrt{2\hbar\omega_{0}}~A_{\rm LO}\left[a_{1}(\Omega)\cos\phi+a_{2}(\Omega)\sin\phi\right]. (74)

A.2 Calculation of quantum noise

Equation (74) provides a simple method of calculating the power fluctuations on a photo-detector given any time-varying electromagnetic field beating against a local oscillator.

As a specific and relevant example, quantum noise (due to the zero-point energy of the electromagnetic field) drives vacuum fluctuations, a1(Ω)a_{1}(\Omega) and a2(Ω)a_{2}(\Omega), which are incoherent and of unit amplitude at all frequencies. The resulting noise power generated being

N=|δP~|2\displaystyle N=|\delta\!\tilde{P}|^{2} =2ω0ALO2(|a1cosϕ|2+|a2sinϕ|2)\displaystyle=2\hbar\omega_{0}A^{2}_{\mathrm{LO}}(\left|a_{1}\cos\phi\right|^{2}+\left|a_{2}\sin\phi\right|^{2}) (75)
=2ω0ALO2,\displaystyle=2\hbar\omega_{0}A^{2}_{\mathrm{LO}}, (76)

where a1a_{1} and a2a_{2} have initially been listed explicitly to highlight the incoherent nature of the noise associated with each of the two quadratures. Note that this expression is consistent with the familiar equation 2Pavghν\sqrt{2P_{\mathrm{avg}}h\nu} for the amplitude spectral density of shot noise, since the average power level PavgP_{\mathrm{avg}} is equal to ALO2A^{2}_{\mathrm{LO}}.

The tools of linear algebra can now be exploited to simplify these expressions, allowing one to rewrite the noise as

N=|ALO(cosϕsinϕ)2ω0(1001)|2=|𝐛¯ζvin|2,N=\left|A_{\mathrm{LO}}\begin{pmatrix}\cos\phi&\sin\phi\end{pmatrix}\cdot\sqrt{2\hbar\omega_{0}}\begin{pmatrix}1&0\\ 0&1\end{pmatrix}\right|^{2}=\left|\mathbf{\bar{b}}_{\zeta}\cdot v_{in}\right|^{2}, (77)

where the local oscillator is as defined in section II.5 (given the LO phase convention ζ=π/2ϕ\zeta=\pi/2-\phi),

𝐛¯ζ=ALO(sinζcosζ)=ALO(cosϕsinϕ),\mathbf{\bar{b}}_{\zeta}=A_{\rm LO}\begin{pmatrix}\sin\zeta&\cos\zeta\end{pmatrix}=A_{\rm LO}\begin{pmatrix}\cos\phi&\sin\phi\end{pmatrix}, (78)

and vinv_{in}, simply proportional to the 2×22\times 2 identity matrix, embodies the two independent vacuum noise sources

vin=2ω𝐈.v_{in}=\sqrt{2\hbar\omega}\;\mathbf{I}. (79)

In general, to calculate the quantum noise in an optical system, the vacuum field vinv_{\mathrm{in}} entering an open port is propagated to the readout photodetector through the transfer matrix 𝐓\mathbf{T} of the system,

vout=𝐓vin,v_{\mathrm{out}}=\mathbf{T}\cdot v_{\mathrm{in}}, (80)

as described in Evans et al. (2013). The vacuum fluctuations voutv_{\mathrm{out}} then beat against the local oscillator field present on the photodetector to give the power spectrum of quantum noise

N=|𝐛¯ζvout|2=|𝐛¯ζ𝐓vin|2.N=\left|\mathbf{\bar{b}}_{\zeta}\cdot v_{out}\right|^{2}=\left|\mathbf{\bar{b}}_{\zeta}\cdot\mathbf{T}\cdot v_{in}\right|^{2}. (81)

If multiple paths lead to the same photodetector, the total noise may be calculated as the sum of the contributions due to each vacuum source,

N=n|𝐛¯ζ𝐓𝐧vn|2=2ω0n|𝐛¯ζ𝐓𝐧|2.N=\sum_{n}\left|\mathbf{\bar{b}}_{\zeta}\cdot\mathbf{T_{n}}\cdot v_{n}\right|^{2}=2\hbar\omega_{0}\sum_{n}\left|\mathbf{\bar{b}}_{\zeta}\cdot\mathbf{T_{n}}\right|^{2}. (82)

Finally, dividing by the shot noise level gives the normalised noise power used throughout this paper

N^=N2ω0ALO2.\widehat{N}=\frac{N}{2\hbar\omega_{0}A_{\mathrm{LO}}^{2}}. (83)

A.3 One-photon transfer

Some optical systems, like filter cavities, are better described by the one-photon formalism, as this makes their transfer matrices diagonal. As in the two-photon formalism, the quantum noise NN is the result of the incoherent sum of the noise generated by two vacuum fields. Although, in this case, the fields of concern are a+a_{+} and aa_{-} (rather than a1a_{1} and a2a_{2}). Beginning from (70), the resulting noise is

N=|δP~|2=ω0(|A0a+|2+|A0a|2)=2ω0ALO2,N=|\delta\!\tilde{P}|^{2}=\hbar\omega_{0}(\left|A_{0}^{*}\,a_{+}\right|^{2}+\left|A_{0}\,a_{-}\right|^{2})=2\hbar\omega_{0}A^{2}_{\mathrm{LO}}, (84)

where, as before, a+a_{+} and aa_{-} have been included explicitly before being set to unity.

However, rather than develop an equivalent set of linear algebra expressions for computing total noise output in the one-photon formalism, we instead use (71) and (72) to define a one-photon to two-photon conversion matrix

𝐀𝟐=12(11i+i)such that(a1a2)=𝐀𝟐(a+a).\mathbf{A_{2}}=\frac{1}{\sqrt{2}}\begin{pmatrix}1&1\\ -\mathrm{i}&+\mathrm{i}\end{pmatrix}\quad\mbox{such that}\quad\begin{pmatrix}a_{1}\\ a_{2}\end{pmatrix}=\mathbf{A_{2}}\begin{pmatrix}a_{+}\\ a_{-}^{*}\end{pmatrix}. (85)

The one-photon transfer matrix of any optical system which does not mix upper and lower audio sidebands (i.e. any linear system) can then be expressed in the two-photon formalism as

𝐓=𝐀𝟐(t+00t)𝐀𝟐1,\mathbf{T}=\mathbf{A_{2}}\cdot\begin{pmatrix}t_{+}&0\\ 0&t_{-}^{*}\end{pmatrix}\cdot\mathbf{A_{2}}^{-1}, (86)

where t±t_{\pm} are the transfer coefficients for the upper and lower audio sidebands.

Acknowledgements.
The authors gratefully acknowledge the support of the National Science Foundation and the LIGO Laboratory, operating under cooperative Agreement No. PHY-0757058. This paper has been assigned LIGO Document No. LIGO-P1400018.

References