Abstract
Recently we calculated the radiation field and the optical forces acting on a moving object inside a general one-dimensional configuration of immobile optical elements (Xuereb et al 2010 Phys. Rev. Lett. 105 013602). In this paper, we analyse the forces acting on a semi-transparent mirror in the 'membrane-in-the-middle' configuration and compare the results obtained from solving the scattering model to those from the coupled cavities model that is often used in cavity optomechanical systems. We highlight the departure of this model from the more exact scattering theory when the intensity reflectivity of the moving element drops below about 50%.

Content from this work may be used under the terms of the Creative Commons Attribution-NonCommercial-ShareAlike 3.0 licence. Any further distribution of this work must maintain attribution to the author(s) and the title of the work, journal citation and DOI.
1. Introduction
The nontrivial interplay between the external (motional) or internal degrees of freedom of a mobile scatterer coupled to a cavity field, and the cavity field itself has attracted considerable attention over the past two decades. Use has been made of a cavity field for, e.g., interaction with single atoms [1–4], cooling atomic motion [5–8], imposing spontaneous order through a Dicke phase transition in an ultracold atomic medium [9, 10], coupling to the motion of mechanical oscillators [11–18], and even cooling this motion down to the vibrational ground state [19–21]. The description of these systems, along with most of cavity quantum electrodynamics (CQED), follows the path of the 'good cavity' approximation [22]: the cavity mirrors, be they fixed [12, 18, 23–25] or moving [14, 24, 26], bind a region of space such that the electromagnetic field in that region is cut off from the outside world. In such a description, any highly reflective element inside the cavity divides the cavity itself into two coupled modes [12, 27] that communicate by tunnelling through this element. An alternative approach, based on a scattering picture, is possible. Such an approach can treat very general configurations in one dimension, owing to the power of the transfer matrix method (TMM) [25, 28–30]. In the right limits, the two approaches must of course give rise to the same physics, and indeed they do, even in the case of moving boundaries [30]. However, there is no guarantee that one TMM model is always equivalent to the same CQED model; it is the purpose of this paper to use the specific example of a scatterer inside a cavity, i.e., the 'membrane-in-the-middle' scheme [12, 15, 17, 18, 24, 31–34] to highlight the differences between these two approaches. Our work is not the first application of transfer matrices to this geometry; we mention, for example, that the TMM model for static scatterers was used in [25] to describe the coupling between the optical system and the motion of a micromechanical oscillator. Here, however, we make use of the TMM for moving scatterers [30, 35], which allows the calculation of such dynamical quantities as the friction force acting on the moving scatterer within the same framework. In this paper our investigation will be limited to single transverse-mode situations, but is extendible to multi-mode situations [17, 36] by allowing the scatterers to couple the different modes together, in the spirit of [37].
Indeed, suppose we have a scatterer, say an atom or a membrane, of amplitude reflectivity r () placed inside a cavity which, on its own, can be described very well using the 'good cavity approximation'. One of two limiting descriptions is generally appropriate for this situation in the CQED picture. (i) If the scatterer were, e.g., an atom, with , the shape of the mode functions of the field inside the cavity will not change appreciably. In this case it is valid to treat the atom in a weak coupling3 approximation and assume that it essentially couples to the unperturbed cavity field. (ii) On the other hand, if the scatterer were a good mirror, with approaching 1, this description is no longer valid. Not only does the mirror perturb the shape of the cavity field, but in the good cavity approximation it defines two new modes that communicate by a tunnelling of photons through the good mirror. This simple example shows the power of the TMM approach: the same TMM model is valid for both situations, and indeed for any situation in between, including absorbing scatterers, with the value of the polarizability ζ of the scatterer determining which of the two situations is being described.
There exists a more fundamental effect which calls for the TMM rather than using a simple coupled cavity mode approach. The TMM deals with moving boundary conditions in a way that goes beyond merely having a dynamically changing detuning: the spatial distribution of the electric field in the TMM also changes dynamically. For a more thorough discussion of this point we refer the reader to the recent work by Cheung and Law [38]. The TMM approach that we make use of assumes that the motion of the scatterer happens on a time-scale longer than that of the cavity field; the validity of our work is therefore limited to the regime ωm ≪ κc. Describing the field solution obtained through the TMM in terms of one or more cavity modes is an approximation that we do not need to make in this model. Therefore, there is no restriction on the relative magnitude of the frequency splitting between adjacent cavity modes, and κc or ωm.
The remainder of this paper shall be organized as follows. In the next section we will briefly summarize the general solution to the TMM with one moving scatterer [39, 40]. The following section will apply this general solution to the study of the 'membrane-in-the-middle' model and compare it to the commonly used CQED model [32], following which we will conclude.
2. General solution to the transfer matrix method with a moving scatterer
2.1. The force acting on the moving scatterer
Consider the generic situation sketched in figure 1. Within the TMM, every scatterer in the situation is represented by a 2 × 2 matrix M. Free-space propagation at a wavenumber k is represented by
For a static scatterer, M is related simply to the amplitude reflectivity r and transmissivity t of the scatterer, via its polarizability ζ, which may depend on k:
Static scatterers do not change the frequency of transmitted and reflected light. A moving scatterer, however, Doppler-shifts reflected light, and we represent this process by transforming M into an operator [30, 39]:
where the 'Doppler-shift operator matrix', , for a scatterer moving with velocity v, is
to first order in v/c and under the assumption that the pump beam has a very narrow spread of wavenumbers about a central k0. We use the shorthand notation throughout this paper and will drop the label k wherever it is not necessary. To first order in the velocity v of the scatterer, then, this transformation is remarkably simple and we may write down the general solution for the velocity-dependent force acting on the scatterer in the closed form [39, 40]. In terms of the notation in figure 1, we can define
Because of the invertibility of all transfer matrices, one is free to express the fields on the 'left' in terms of those on the 'right', or conversely by inverting the relevant matrix; the fields on the 'right' in terms of those on the 'left'. The quantities μij are therefore the elements of the transfer matrix relating the fields just to the left of the moving scatterer, cf figure 1, to the fields Al and Bl. The calculation consists of determining the matrix elements , , and , which may be a lengthy, but in all cases straightforward, task requiring only sequential multiplication of 2 × 2 matrices. For later convenience the solution is cast in a form using velocity-independent quantities α0, α(0)1, α(1)1 etc, which are defined by the relations
the explicit form of these quantities depends on the exact form of the system involved, in particular on the matrices M1 and M2, and no general expression can be given. Assuming that the pumping field is monochromatic about some wavenumber k0, Bl = B0 δ(k − k0) and Cr = C0 δ(k − k0), we can write the field amplitudes and which are given, to first order in v/c, by:
and
where the derivatives are all evaluated at k = k0 and act on the frequency-dependent terms arising from free-space propagation or a k-dependent polarizability. The quantity () represents the rate of photons incident upon the system from the left (right), and therefore is dimensionally an inverse time.
Figure 1. The model we consider in this text, drawn schematically. A scatterer S interacts with two 'general optical systems' in one dimension, composed of immobile linear optical elements, one to either side. S and these two systems are each represented by a 2 × 2 matrix.
Download figure:
Standard imageTo obtain these expressions one first solves for Al(k) and Dr(k) in terms B0 and C0, and then substitutes the results into the matrix equations to obtain explicit expressions for A(k) and B(k). Upon noting that these expressions are valid to first order in v/c and that the pumping field is monochromatic, the integrals can easily be performed to yield equations (8) and (9). For single-sided pumping (e.g., C0 = 0), these expressions simplify significantly. We shall find it useful to express these results in the form and , with and being independent of v. For conciseness, let us now assume that ζ does not depend on k. For the case of an atom, this corresponds to pumping far off-resonance. Then, using the elements of , we obtain
and
We denote the velocity-independent parts of and by and , respectively. The force acting on the scatterer can be finally written down as [30]
which we can write as , where
and
the quantity dF/dv = F1/c will henceforth be called the 'friction coefficient'.
2.2. Momentum diffusion experienced by the moving scatterer
The field amplitudes calculated in the previous section are related to classical electromagnetic fields. We may now impose a canonical quantization on these fields [30], promoting each field variable A, say, to an operator , such that , S being the mode cross-sectional area. The only two a priori independent modes in our system are the two input modes and , whose operators obey the usual time-domain bosonic commutation relations
The commutation relations between each of the four fields , , and can then be built up; because F is correct up to first order in v/c we only need to evaluate expressions to the zeroth order in this section. The fluctuations in these fields will lead to a diffusion in momentum space, quantified by the diffusion coefficient D. Another contribution to D is due to lossy scatterers: any absorptive scatterer effectively couples the system to a further 'loss' mode that is independent of the input fields and is necessary to preserve the canonical commutation relations [30]. Such loss modes can be included self-consistently into the TMM [40]. Losses in SiN intra-cavity elements tend to be of the order of 10−4 [12]. Such low losses do not change our results qualitatively or quantitatively [40], and will therefore be ignored here. Putting all of the above together we can write
It is instructive to explain how each of these commutators is calculated. Each of the four operators , , and can be written in terms of the input field operators and . Thus, reading the coefficients ab = μ11α0/β0 + μ12 and ac = μ11(γ0β0 − α0δ0)/β0 from (8) for v = 0 gives
whereby we can calculate
the other commutators follow similarly. Knowledge of D and F then allows us to obtain the temperature to which the scatterer will tend:
where kB is Boltzmann's constant. These quantities, which can thus be fully determined from our scattering model, are some of the more important quantities of interest in optomechanical setups and atom-CQED, and allow us to describe the dynamical behaviour of such systems. Because of the complexity of the expressions resulting from this section, it is hard to make a direct analytical comparison between the above results and the CQED expressions for the force and diffusion coefficient. We note, however, that in one particularly simple case this comparison for the force was done explicitly and the resulting expressions found to be identical [30].
3. The 'membrane-in-the-middle' model
We begin by modelling the system in [12]: a two-mirror Fabry–Pérot cavity with a micromirror near its centre, operating at a wavelength λ = 1064 nm and having a length Lc = 6.7 cm, cf figure 2. The micromirror is modelled by its polarizability ζ which, in light of the small losses observed in practice, is taken to be real and negative. Whereas the real experimental system corresponds to , we allow ζ to vary freely in our model. The two quantities of interest in this section are the intensity of the field close to the micromirror, and the friction coefficient acting on the micromirror. The former of these gives us knowledge of the resonant frequencies of the cavity and, therefore, of the optomechanical coupling between the cavity field and the micromirror. The latter is useful in optomechanical cooling experiments; the interest here lies in the fact that cooling the motion of a micromirror is one way towards achieving higher sensitivity in metrology applications, most notably in gravitational wave detectors [26], force sensors [41] and magnetometers [42].
Figure 2. Our model for the 'membrane-in-the-middle' geometry: the general optical systems in figure 1 have been replaced by identical mirrors that form a cavity around the moving scatterer. We will only consider situations where .
Download figure:
Standard imageThese quantities are summarized in figure 3, with the left panels showing the intensity at the mirror and the right panels the friction coefficient acting on the mirror. Each sub figure (a)–(f) explores a different value for ζ. For , the cavity field is close to the bare cavity field; in particular, the cavity resonances are only slightly perturbed by the presence and position of the micromirror. The opposite is true of the case, where there is coupling between pairs of cavity modes, typified by the avoided crossing in the spectra. The resonance frequencies can be obtained analytically, in the limit of a good bare cavity, as frequency shifts from the bare resonances:
with Lc being the length of the cavity, x the position of the micromirror, and k0 = 2π/λ the wavenumber of the light inside the cavity; (20) is identical to equation (4) in [32]. The two sets of solutions to (20) are, in the ζ → 0 limit, separated by a free-spectral range. These cavity resonances, plotted as detuned cavity lengths , are traced by means of the dashed black curves in the left panels of figure 3. We note that a unit on the vertical axis (ΔLc = λ) is equal to twice the free-spectral range of the cavity.
Figure 3. The field intensity (left panels) at, and the friction coefficient (right panels) acting on, the micromirror as the micromirror position (x) and cavity length (Lc + ΔLc) are scanned. The sub figures differ only in the polarizability of the mirror, as indicated. The cavity parameters are modelled from [12]. In the series of left panels, we note the progression from an almost bare cavity situation (a) to a very strong perturbation by the micromirror, leading to avoided crossings (f). The white dashed line traces a cavity node, whereas the black dashed lines (equation (20)) trace the cavity resonances. In the series of right panels, note that the friction coefficient is—as expected—a cooling force (blue) for red cavity detuning and a heating force (red) for blue detuning. The colour bars are on a logarithmic scale and are for 1 W of input power. (a) ζ = −0.100, (b) ζ = −0.500, (c) ζ = −1.000, (d) ζ = −2.000, (e) ζ = −5.000 and (f) ζ = −10.000.
Download figure:
Standard imageIn the standard optomechanical coupling Hamiltonian, the mirror–field coupling is represented by a term of the form
where is the position operator of the mirror, and ω' ≡ ∂(Δω)/∂x. is the annihilation operator of the field mode that has the dominant interaction with the micromirror; in the limit, these field modes are the bare cavity modes of the whole cavity. However, as increases, the micromirror effectively splits the main cavity into two coupled cavities, giving rise to symmetric and antisymmetric modes, seen as the higher (bright) and lower (dark) branches in figure 3(f) for 0 < x < λ/4; in such cases is the annihilation operator belonging to one of these eigenmodes. We note that similar behaviour was observed in [32].
Certain effects, such as mechanical squeezing of the mirror position [43] and quantum non-demolition measurements on the mirror [44], require not linear coupling to but quadratic coupling to :
with ω'' ≡ ∂2(Δω)/∂x2. In our notation, we have
and
One thing we note immediately is that there is no value for x such that ω' = ω'' = 0; in other words, the optomechanical coupling is restricted to be linear or quadratic, to the lowest order. Higher-order nonlinearities may be achieved by coupling different transverse modes of the cavity (see, e.g. the experimental results in [33, 36]) but are overwhelmed by the linear or quadratic couplings in a single-transverse-mode cavity. Moreover, the linear coupling ω' is bounded in the ζ → ∞ limit:
with the numeric value corresponding to our parameters. In the same limit, ω'' exhibits resonant behaviour (see figure 4), indicative of avoided crossings in the spectrum, peaking at a value of:
We plot the lower (±→ −) branches of equations (23) and (24) in figure 4 for two values of ζ: ζ = −1, representative of realistic micromirrors, and ζ = −10, representative of a highly reflective micromirror. These correspond to cases (c) and (f) in figure 3, respectively. Coupling between the pairs of modes is not very strong for the ζ = −1 case; this is manifested by means of the smooth variation with x of ω' and ω'' in figure 4(a). The second case shows strong signs of the avoided crossing behaviour seen in figure 3(f), with ω' no longer behaving smoothly and ω'' acquiring a resonance-like character. Note that, independently of the magnitude of ζ, the strongest quadratic coupling always occurs at the points where ω' = 0.
Figure 4. Linear and quadratic optomechanical couplings as a function of mirror position for a very good cavity and for (a) ζ = −1, and (b) ζ = −10. In each figure we show the linear (solid curve) and quadratic (dashed curve) couplings, from equations (23) and (24). Note that the peak value of ω'' is roughly proportional to ζ whereas ω' is bounded.
Download figure:
Standard imageIn parameterizing our interaction in terms of a frequency shift Δω we are effectively mapping the model originating from the TMM into a single-optical-mode model. It is important to note that this mode spans the entire cavity regardless of the nature of ζ; what depends on ζ is the spatial profile of the mode. In the limit ζ → 0, the field intensity is distributed uniformly throughout the cavity, whereas for large , it is concentrated on one side of the membrane. These two situations are, as we have already discussed, handled differently in the CQED model, the former in terms of a single optical mode, and the latter in terms of two coupled optical modes. To highlight the increasing discrepancy between the TMM and coupled-cavities model as decreases, we show in figure 5 the static force acting on the scatterer (i.e., the force when v = 0) as predicted by the two models. For the coupled-mode model, we use the predictions of [32], which hold for , and deliberately misapply them to cases where . From this model, given an input power Pin, a tunnelling frequency , and a detuning Δ from resonance at x = 0, one obtains
with ω' = −2k0c/Lc. For large , the two descriptions are essentially identical; indeed, it is easy to understand that the description of two coupled cavities is a good one when the intensity reflectivity of the central mirror approaches or exceeds 90%. For intensity reflectivities of the order of 50% (|ζ| ∼ 1), however, the coupled-cavity description does not work well and one must switch to a scattering model to describe the situation accurately. Physically, this discrepancy comes about because of the ansatz of two cavity modes that communicate through a (fixed) coupling rate g. When the reflectivity of the central mirror is far from 100%, this coupling rate becomes more sensitive to the interference between the fields on either side of the central mirror, and in turn becomes a sensitive function of x. However, the two models agree around the point where the two cavity modes approach most closely, for there the approximation of a constant g is still valid. For smaller |ζ| still, as we have already mentioned, the predictions of the scattering model again agree with a CQED model of a scatterer (e.g., an atom) coupled to a single, essentially unperturbed, cavity field.
Figure 5. The static force (i.e., the force acting on the mirror when v = 0) computed from the scattering model presented here (left panels) and a model based on a modal decomposition [32] (right panels), showing only one pair of modes. Red and green regions represent forces pointing in opposite directions, as indicated on the colour bar. We note the agreement between the two models for x ≈ 0.25λ and for ΔLc close to the resonances, especially for large . The discrepancies between the two sets of data, that are more pronounced for small polarizability, have significant consequences for any theory based on a coupled-cavity modal decomposition model. The black dashed lines (equation (20)) trace the cavity resonances in the scattering model. The absolute values on the colour bar relate to the left panels. (a) ζ = −0.100, (b) ζ = −0.500, (c) ζ = −1.000, (d) ζ = −2.000, (e) ζ = −5.000 and (f) ζ = −10.000.
Download figure:
Standard image4. Conclusion
We have developed a generically-applicable theory to describe the motion of scatterers in electromagnetic fields. By applying this theory to the specific case of a scatterer in a cavity, we have shown how the scattering description can be used to bridge the gap between atom-CQED models, which rely on the atom interacting with one single mode that spans the entire cavity, and membrane-CQED models, where the membrane splits the cavity field into two coupled modes. It is in the region of current experimental interest, with membrane intensity reflectivities of the order of 50%, that the discrepancy between the two descriptions starts emerging and where the usual '|r| → 1' limit of membrane-CQED cannot be taken.
Acknowledgments
This work was supported the Royal Commission for the Exhibition of 1851, the Hungarian National Office for Research and Technology under the contract ERC_HU_09 OPTOMECH, the Hungarian Academy of Sciences (Lendület Program, LP2011-016), and the UK EPSRC grants EP/E058949/1 and EP/E039839/1.
Footnotes
- 3
This 'weak coupling' criterion is not related to the so-called strong coupling condition of CQED, which refers to the regime in which the internal coherent atom–light coupling leads to a dynamics on a time-scale shorter than the characteristic decay time of the dissipation processes. This kind of strong coupling can be achieved without distorting spatially the empty cavity mode functions.