Tomography of an optomechanical oscillator via parametrically amplified position measurement

We propose a protocol for quantum state tomography of nonclassical states in optomechanical systems. Using a parametric drive, the procedure overcomes the challenges of weak optomechanical coupling, poor detection efficiency, and thermal noise to enable high efficiency homodyne measurement. Our analysis is based on the analytic description of the generalized measurement that is performed when optomechanical position measurement competes with thermal noise and a parametric drive. The proposed experimental procedure is numerically simulated in realistic parameter regimes, which allows us to show that tomographic reconstruction of otherwise unverifiable nonclassical states is made possible.


Introduction
Optomechanical systems, consisting of interacting electromagnetic and mechanical modes, make accessible the preparation and control of macroscopic nonclassical states [1,2,3,4,5]. Squeezed states [6,7,8] can be created using a linearized optomechanical coupling, while using non-linear measurement, or a non-linear coupling, allows the synthesis of more exotic non-Gaussian states [9,10]. Nonclassical optomechanical states are of interest for many reasons; as a macroscopic test of quantum mechanics, as a resource for quantum metrology [11] and quantum information processing [12], and as a way to investigate hybrid quantum systems [13]. Undoubtedly, the creation of such states is a major experimental challenge. However, in this paper we focus on the complimentary task of verifying that the claimed state has been produced.
The gold standard for demonstrating that a nonclassical state has been prepared is quantum state tomography [14,15]. This process is performed by measuring many copies of an identically prepared state of interest. The measurement must be varied across the repetitions such that a quorum of (non-commuting) observables is probed [16]. For example, in optical homodyne tomography the quorum is formed by varying the local oscillator phase and thus measuring the different field quadratures. In contrast, the related technique of heterodyne detection involves simultaneously jointly measuring two quadratures at the expense of additional noise. Repeated measurements on identically prepared states allows a statistical picture to be developed, with this information captured in the density matrix assigned to the prepared state. The number of copies necessary to achieve a particular level of certainty regarding the prepared state depends on the experimental procedure comprising the measurement in combination with the nature of the state itself.
In the setting of optomechanics, tomography can be performed on the basis of continuous measurement of the position of the oscillator. Although, at any given moment, such a measurement reads out only the position of the oscillator, by monitoring the position over time it is possible to estimate all quadrature observables of the initial state and thereby obtain the required quorum of observables. There is significant prior work on using continuous measurements and time dynamics in this way to perform quantum tomography, particularly the early work by Deutsch and Jessen and collaborators which introduced the idea of continuous measurement tomography in the context of reconstructing the hyperfine state of an ensemble of atoms theoretically [17,18,19] and implemented it in practice [20,21]. To model our measurements, we will apply the standard tools of the trajectory theory of continuous quantum measurements [22] and use it to determine the initial quantum state at the beginning of a measurement. Continuous measurement tomography where the system dynamics are used to achieve a quorum of observables for quantum state tomography have also been considered in [23,24] Our approach to this will be to explicitly determine the positive operator valued measure (POVM) that is implemented by the continuous optomechanical position measurement, following [25,26,27]. This general approach is very similar to that of [23,24] where continuous measurement state tomography of qubits is considered. There are several other approaches to obtaining information about initial states in continuous quantum measurement that are closely related, for example [28,29,30,31]. Recent work also demonstrates optimal tomography of qubit states by sequential weak measurements on an ensemble by demonstrating that it is possible to implement the spin-coherent-state in this way [32].
In optomechanical systems, measurement of the mechanical mode is achieved by detecting the light leaking out of the coupled optical mode, which is phase shifted by an amount that depends on the mechanical position. In the typical regime, the coupling is not large enough to resolve the mechanical oscillator on time scales short compared with the period of motion. Consequently, in this regime, the continuous measurement of position monitors both quadratures of the mechanical motion equally, such that the measurement is similar to optical heterodyne detection [33]. In addition to the noise penalty associated with heterodyne detection, the signal-to-noise ratio is also degraded by thermal fluctuations that enter from the mechanical bath during the measurement period as well as quantum backaction noise due to the non-perfect quantum efficiency of the optical or microwave detector. This poses significant challenges for establishing the density matrix of non-classical states of motion. One approach that has been developed to address these challenges is to use a stroboscopic interaction to achieve a backaction evading measurement [34,35]. So long as the interaction is strong enough that the measurement rate dominates the rate at which thermal fluctuations enter the oscillator, and the detection efficiency is sufficiently high, such a measurement can approach the equivalent of ideal optical homodyne detection [36]. Another suggested approach has been to imprint the mechanical state onto a strong optical coherent pulse [37], although their analysis neglects the thermal fluctuations.
In this paper, we consider an alternative approach that retains the usual continuous optical measurement, but includes an additional resonant parametric amplification of the mechanical oscillator. Parametric amplification plays an important role in the manipulation and measurement of oscillator quantum states, by squeezing one quadrature and amplifying the other. It is a readily available resource in optomechanics, since mechanical systems often possess significant nonlinearities that can be used to enable parametric driving of the oscillator [38,39,40,41,42]. Furthermore, in [43,44,45] it is shown that, in conjunction with continuous measurement, arbitrarily high levels of squeezing can be achieved in principle. This proposal is closely analogous to a recent experiment in circuit QED has used parametric drive of a microwave cavity to improve the effective efficiency of measurements on transmon qubits [46].
Importantly for quantum state tomography, parametric amplification adds no noise, in principle, and is therefore very effective at transducing small signals. Indeed, its use to improve tomography of optical field states was proposed more than two decades ago [47]. Note, also, that recently a state of the art experiment based on the ideas of [47] has been proposed [48]. When applied to tomography of mechanical oscillator states, however, significant differences are readily apparent. The oscillator is a dynamical system that can be probed repeatedly. As such, a series of measurements, or a continuous measurement, can be made. How can these multiple measurement outcomes be best used to estimate the initial state of the oscillator? How is the information gathered from one measurement influenced by the quantum backaction due to measurements in the past? Finally, if the mechanical oscillator is connected, as usual, to a thermal bath, how does this effect the optimal approach to obtain estimates, and their accuracy? These are the main questions addressed in this paper.
In this paper we make use of two complimentary methods of analysis in order to obtain simple analytical expressions for the generalized measurement, or POVM, associated with a mechanical oscillator exposed to different sequences of continuous measurement and parametric driving. The first, simplified, method models the measurement part of the dynamics as being completely analogous to heterodyne detection of some specific, but unknown efficiency, for which the POVM is well known. Important conclusions can then be drawn regarding the effectiveness of the measurement protocols that involve parametric amplification. However, this initial analysis is non-constructive, in the sense that it does not specify the effective heterodyne efficiency that is achieved in the optomechanical experiment, or the appropriate filter of the measured current required to achieve an optimal estimate of the initial system state. To obtain this we use, as discussed above, the theory of continuous quantum measurements, and, specifically, stochastic master equations or quantum trajectories [22,33]. These equations specify the stochastic evolution of the mechanical quantum state given the measurement record. In addition to this theoretical framework, we make use of our recent analysis [49] in order to find the more detailed form of the POVM. Our results show, broadly, that a sufficiently strong parametric drive converts a continuous optomechanical measurement into near-perfect homodyne detection, with the detected quadrature determined by the phase of the parametric drive. We are able to find explicit expressions for the strength of the parametric drive that is required to approach ideal homodyne measurement in terms of system parameters such as the quantum efficiency of the optical measurement, the damping rate of the oscillator and the thermal phonon number. Importantly, neither high detector efficiency nor high optomechanical couplings are required to reach this regime. All that is required is that the parametric drive can be made strong enough to outpace the effects of the thermal bath on the mechanical oscillator. We show that this result holds in two regimes of optomechanics: the bad-cavity regime with on-resonant drive, and the sideband-resolved regime with blue-detuned drive. Although details differ, the physics is very similar in these two experimentally relevant regimes. This opens a pathway to efficiently perform quantum state tomography of mechanical systems in new parameter regimes, where strong measurements and high detector efficiency are unavailable.
Although increasing the resonant parametric amplification strength transforms the POVM from a heterodyne to homodyne form, it is not a priori obvious that this actually leads to superior tomographic performance. The intuition for it to do so is that, for some states that we wish to reconstruct, it will be more effective, in the probing of each state copy, to gain precise information regarding a particular quadrature than imprecise information concerning both. This is expected to be manifest for states that have hard to resolve features, or, equivalently, quickly oscillating Wigner function representations. The prototypical example of such states are the "cat state" superpositions, so we choose to base our numerical investigation around these. The simulation of experimental data allows a comparison of the tomographic performance as a function of the strength of the resonant parametric amplification. Our findings confirm the expectation that performance is greatest when information is concentrated in a single quadrature, with the homodyne paradigm being most desirable.
The organisation of this paper is as follows. In section 2 the system is introduced in detail and the mathematical techniques necessary to prepare for a direct analysis of tomographic performance are described. Most of the general conclusions are drawn in section 3, where a simplified analysis of the measurement protocol is performed. The limitations of this analysis are then addressed in section 4 and section 5, where specific expressions are provided for two experimental regimes of interest. Then, numerical simulations are studied in section 6 and, finally, conclusions are provided in section 7.

Model of optomechanical position measurement
We consider a conventional optomechanical position measurement [1]. Our results apply equally to nanoelectromechanical systems with detection of a microwave field but, to be concrete, we will refer to optical fields throughout. The system is indicated schematically in figure 1(a). A laser of angular frequency ω L drives a single mode of an optical cavity having angular frequency ω cav . The laser-cavity detuning is ∆ = ω L − ω cav . The mechanical oscillator (ω m ) induces a shift in the resonant frequency of the optical cavity that is proportional to its position. The optical damping rate is κ, while the mechanical mode is taken to be coupled to a finite temperature thermal bath described by damping rate γ and thermal phonon occupancy n th . The light-enhanced optomechanical coupling strength, g, originates from the radiation pressure of cavity photons on the mechanical oscillator. It is defined as g = √ N Gx zp where N is the mean steady-state intracavity photon number, G is the the optical frequency shift per unit displacement of the mechanical oscillator and x zp is root-mean-square displacement of the ground state wavefunction of the oscillator, i.e. its zero-point motion amplitude. We restrict our attention to the regime where the rotating-wave approximation (RWA) for the optics and the 'linearization' approximation for the optomechanical coupling can be made [1]. We will work in units such that = 1.
In order to facilitate an analytic treatment of the POVMs that arise as a result of the continuous measurement, we will study regimes of the optomechanical system where the cavity field relaxes rapidly compared to the mechanical dynamics, i.e. κ γ, where κ and γ are the respective decay rates of the optical cavity and mechanical oscillator. This is the regime in which the vast majority of opto-and electromechanics experiments reside, an exception being recent work where the mechanical oscillator is coupled to a second cavity to greatly increase its decay rate [50]. Consequently, the system can be approximately described by a master equation involving the mechanics alone. (We expect our protocol to work qualitatively similarly in other cases but defer a study of this to future work.) We consider two specific experimentally relevant regimes in this paper: the zero-detuned bad-cavity regime (∆ = 0 and κ ω m ) and the blue-detuned resolved-sideband regime (∆ ≈ ω m and ω m κ). In both regimes we require weak coupling κ g, such that the dynamics of the mechanical mode alone can be considered by adiabatically eliminating the cavity. In this limit, the optomechanical coupling is welldescribed by the measurement rate µ = 4g 2 /κ [36]. µ defines an the upper bound to the rate at which information about the mechanical system can be extracted from the optical field leaving the cavity. In the zero-detuned bad-cavity regime, if the measurement rate exceeds the thermal decoherence rate γn th (or expressed in terms of the optomechanical cooperativity C = g 2 /κγ, C > n th ), the quantum back-action heating associated with the measurement exceeds the heating from the mechanical thermal bath, as first observed in [51]. In the blue-detuned regime, laser light entering the cavity is accompanied by the absorption of a phonon by the oscillator, leading to amplification. See [52,53,54] for some blue-detuned experiments that make use of this. We will be able to compare the effect of this intrinsic amplification with the effect of the parametric drive on the tomographic signal.
The general experimental procedure, illustrated in figure 1(a), is to shine laser light upon the optical cavity, which then leads to a phase shift on the reflected light that depends on the mechanical oscillator position. Monitoring the returning light through homodyne detection results in a measured current, I(t), allowing information about the mechanical oscillator position to be gathered. Our work is concerned with tomography, so only the initial mechanical oscillator state is of interest, but despite this the measurement takes place over a finite amount of time corresponding to, in the regimes of interest in this paper, many mechanical oscillation periods. The presence of the thermal bath adds noise to the system, as does the radiation pressure fluctuations that represent the backaction noise of the measurement, so that typically it is only at early times that the monitored light will contain a significant amount of tomographic information. Statistics are collected over a large number of trials that are then used to perform quantum state tomography.
To combat the degradation of the signal due to the thermal noise, and allow a superior signal to noise ratio to be achieved, we propose to selectively amplify a chosen quadrature of the quantum state. The schematic in figure 1(a) shows the presence of this additional experimental resource: the ability to resonantly parametrically drive the oscillator. We use the quadrature definitions X = (a + a † )/ √ 2 and Y = −i(a − a † )/ √ 2 in terms of the interaction picture annihilation and creation operators of the oscillator. The parametric drive allows a quadrature of the mechanical motion to be squeezed with strength χ. It is modelled by the squeezing Hamiltonian Figure 1. a) Schematic of a driven optomechanical system subject to continuous weak measurement. The measured signal I(t) is demodulated into currents I X , I Y representing the X and Y quadratures. The currents can be filtered, by h(t), to provide an estimate X est , Y est of the initial quadratures of the quantum state that is to be reconstructed using tomography. The spring constant of the mechanical oscillator is capacitively modulated at strength χ at twice the oscillator frequency, ω m , which gives resonant parametric amplification and leads to system squeezing of a quadrature defined by the modulation phase θ. The oscillator is coupled to a finite temperature (n th ) bath at rate γ. It is also coupled, through optomechanical coupling, g, to an optical cavity, of frequency ω cav , which has a damping rate of κ. A laser, of frequency ω L = ω cav + ∆, is shone onto the cavity, with the reflected light directed into the detector. b-d) In these schematics we show how the one and two-step experiments are differentiated in terms of the timing of measurement and parametric amplification (abbreviated as P. Amp.). The two-step process switches on the measurement, µ, after an amplification time τ . At time τ in the two-step process we consider both maintaining the squeezing for the duration of the measurement (subplot c) and turning it off (subplot b). The one-step process (subplot d) has both constant measurement, µ, and constant amplification, χ.
with the angle θ determining which quadrature is squeezed (θ = 0 squeezes the X quadrature, θ = π squeezes the Y quadrature). Experimentally, the squeezing can be achieved, for instance, by electromechanically modulating the frequency of the oscillator at twice its resonant frequency, ω m , with a phase of θ relative to that of the laser [44,42].
Prior to the application of the squeezing, and within the rotating wave approximation that we employ, there is no preferred mechanical quadrature and an equal amount of information is gathered about each in any single trial. The squeezing removes this symmetry and allows a closer inspection of one quadrature at the cost of another. It is the amplified, or anti-squeezed, quadrature that will be more visible in the measurement record and thus contain the bulk of the tomographic information. The experimentalist has access to the complete measurement record I(t). We can think of this measurement record as arising from a sequence of very weak measurements of the system occurring at each moment of time. We will often refer to this sequence of measurements as a composite measurement. To find the POVM that represents a composite measurement, the theory of open quantum systems and quantum trajectories can be applied [22,26,55]. Information about the mechanical system leaks out into the environment, which is both detected (via the optomechanical measurement scheme) and undetected (information leaking into the thermal bath or lost due to optical measurement inefficiencies). This requires a density matrix description in which the state matrix follows a different trajectory in each run of the experiment. This makes it more challenging to determine the POVM that arises from the composite measurement, relative to well-known examples in the literature [26,55]. Recently, two of the authors have given a general method of solution for Gaussian bosonic quantum trajectories such as the ones of interest here [49]. This makes it possible to determine the relevant POVMs analytically in the two regimes of interest. We detail our methods further in Appendix A.
While the statistics of the composite measurement can, in principle, depend on any property of the measurement record I(t), we find, as in earlier examples [26,55], that there are two simple sufficient statistics that essentially determine the POVM. These correspond to each quadrature of the oscillator motion, and the general form of the sufficient statistic for the X-quadrature is where h X is a filter function that depends on the system parameters. There is a corresponding form for Y est with a possibly distinct filter function h Y . The quantities X est , Y est are estimates of the initial system quadratures as we wish to perform tomography. The integral receives dominant contributions from early times as the system state will progressively become less correlated with the initial state due to measurement back-action and coupling to decohering baths. Finding the form of h X (t), for the non-trivial system of interest, is an important result of our work and specific expressions will be given in later sections. The origin of the term 'composite measurement' is made clear from the form of (2), where the measurement results for each small time slice are integrated over the duration of the measurement. It is easiest to specify the POVM, that is implemented by the composite optomechanical position measurement, by considering an initial coherent state. We denote the POVM by W I and the complex amplitude by α 0 . From the resultant Gaussian statistics, it will be made clear where the composite measurement lies in relation to homodyne and heterodyne detection. Moreover, the statistics of the POVM for an initial coherent state completely determine the POVM for all initial states, so this is without loss of generality. (To see this recall that a density matrix ρ is completely specified by its Q-function Q(α) = α|ρ|α .) The results of [49] imply a bivariate Gaussian probability distribution for X est and Y est : where we have broken α 0 into quadratures as α 0 = (X 0 + iY 0 ) / √ 2 and defined ∆ X = X est − X 0 and ∆ Y = Y est − Y 0 . σ 2 X and σ 2 Y are the observed variances of X est and Y est respectively. The bivariate correlation, ρ c , is equal to zero if the squeezing is aligned with the X or Y quadratures. σ X , σ Y and ρ c are determined by the underlying system parameters and we defer explicit expressions until later sections. N is a normalization factor that does not depend on X 0 or Y 0 . With our chosen quadrature operator definitions, the POVM of (3) corresponds to ideal heterodyne detection when σ 2 X = 1 = σ 2 Y and ρ c = 0. Ideal homodyne detection of the Y -quadrature corresponds to σ 2 Y = 1/2 while σ 2 X = ∞ and ρ c = 0. Imperfect heterodyne detection with overall efficiency η corresponds to σ 2 X = 1/η = σ 2 Y , while homodyne detection of Y with efficiency η corresponds to σ 2 Y = 1/2η. It should be observed that for ideal homodyne detection σ 2 Y exactly matches the coherent state variance, introducing no uncertainty over-and-above the inherent uncertainty of the Y-quadrature. On the other hand, heterodyne detection results in one unit of zero-point uncertainty above the intrinsic quadrature uncertainty. This is, of course, a direct result of the Heisenberg uncertainty principle which forbids perfect simultaneous measurements of non-commuting observables.
We can now be more concrete about the content of the following sections. Firstly, we obtain as much as possible of the important physics via a simplified analysis that treats the measurement step of the protocol as being equivalent to an instantaneous inefficient heterodyne measurement. Then, to delve deeper into the impact of a more realistic model of our proposed measurement protocol, and also find the form of the filters in (2), we give an explicit analysis in two different regimes: in section 4 the zero-detuning bad-cavity regime is analysed in some detail, and then, in section 5, a similar, but briefer, analysis is performed for the blue-detuned regime. Next, we conduct an explicit analysis of quantum state tomography for non-classical mechanical states using the proposed multi-stage measurement protocol. The tomographic data analysis procedure is well understood for heterodyne and homodyne measurement, the results of which can be readily converted into an estimate of the initial mechanical oscillator state [15]. The situation of inefficient detection, and possibly additional noise directly added to the output signal, can also be described within this framework. Of course, with tomography, the input state is not known, so the problem is to invert from the measured probabilities back to the unknown state with the aid of the POVM. Our preferred method of doing so is via Maximum Likelihood (MaxLik) tomography [14,56]. We will implement this measurement on simulated experimental data in section 6.

Simplified analysis of optomechanical measurement with parametric amplification
In this section, we provide a simplified analysis of optomechanical tomographic performance in the case of a two-step protocol (see figure 1(b)) that is followed in order to extract information concerning the initial state of the mechanical oscillator. The two steps are, firstly, a period of parametric amplification and, secondly, the optomechanical measurement of the oscillator, via the detection of light leaking from the cavity, as per figure 1(a). The simplification that we employ is to model the measurement step in a broad sense, so that although the expressions we provide are accurate, they do not display an explicit dependence upon the intra-measurement dynamics. In later sections, these dependences will be revealed. The purpose for the current simplification is that important physics relating to the impact of the supplementary squeezing step can still be introduced. We will highlight and discuss the transformation of the measurement protocol from having a purely heterodyne description, with the squeezing turned off, to having strong homodyne features, when the squeezing is on. We wish to be completely clear in our use of the terms 'measurement protocol', which can include supplementary experimentally implemented processes in addition to physical measurement -that is, an initial squeezing step is included -whereas 'measurement step' refers to the well defined portion of the protocol during which the measurement strength is non-zero.
To begin, we familiarize ourselves with the description of the second step (the measurement step). As has been discussed, the optomechanical measurement in the absence of squeezing (step-two of figure 1(b)) provides an equal amount of information about both mechanical quadratures. This is true in both the zero-detuned and bluedetuned regimes. However, the measurement's quality is degraded by the prolonged exposure of the system to the thermal bath. Additionally, the efficiency η of the detector must be considered, and one can also envision the measurement being carried out for some finite (and therefore sub-optimal) time T . It is therefore natural to describe the measurement step -step-two of the protocol -in terms of non-ideal heterodyne detection, having some effective efficiency η het , which describes the overall noise level of the measurement. To be clear, all the measurement imperfections are included in η het (a function of γ, n th , µ, η, T ) and it will be, in general, smaller than the actual detector efficiency, η het ≤ η. In later sections, explicit expressions for η het will be provided, for both the zero-detuned and blue-detuned regimes, but in this section we will focus on general results independent of the detailed specification of the measurement step.
To provide the reader more clarity regarding the role of η het , let us analyse a heterodyne measurement a little further. The outcome of a heterodyne measurement provides an unbiased estimator of the means of system quadratures but with an, inevitably, increased variance due to the joint measurement of non-commuting variables. The amount of excess noise for perfect heterodyne detection is 1/2, while for an inefficient detector it is given by 2−η het 2η het [15]. Thus, the heterodyne measurement yields two Gaussian random variables, x, y, with y having variance V Y + 2−η het 2η het (similarly for x), with V Y being the variance of the Y quadrature at the time of the measurement. One can see that the measurement result variance is the sum of two components: an initial variance and excess noise. It is this excess noise that makes a heterodyne estimate noisier than a homodyne estimate. The statistics of the heterodyne measurement of a coherent state are given in (3), with the specification that σ 2 X = σ 2 Y = 1/η het and ρ c = 0, however, we emphasize that the POVM associated with a measurement is in one-to-one correspondence with these measurement statistics so that both representations are equivalent and we refer to them interchangeably.
Our purpose in this section is to consider the overall effectiveness of a two-step protocol, but as yet we have only considered the second, measurement, step. What is the impact of the first, parametric amplification, step? This is modelled by the squeezing Hamiltonian of (1), and, for concreteness, we take θ = 0, so that the X quadrature is squeezed. The oscillator also resides in a thermal bath, so the dynamics are governed by a Markovian master equation (ME) consisting of a quadratic Hamiltonian and linear Lindblad (decoherence) operators. Although it is true that this ME maintains the Gaussinity of an initial Gaussian state, we note that the dynamics of the quadrature means (denoted by X, Y ) and variances (V X , V Y ) are of a closed form for arbitrary initial states. The reader should take care to be clear concerning the difference between variances of the system state at time t (V X , V Y ) and the variance in the estimate of the initial state that exists after some period of measurement (σ 2 X , σ 2 Y ), with the latter being monotonic decreasing in time, as knowledge is acquired. The equations of motion for the Y quadrature of the mechanical oscillator, in the presence of squeezing and thermal bath, but no measurement, are of a linear form for arbitrary initial state, and can be solved using the initial conditions where squeezing for a period of time τ has been considered. Note that for squeezing aligned with the X quadrature, the equations of motion for X, Y are uncoupled and that if the covariance between X and Y is initially zero then it will stay zero (as for a coherent state). It is clear, from these equations, that if χ > γ then there is exponential growth of the Y quadrature mean and variance. This corresponds to the self oscillation threshold, χ osc = γ, of a parametric amplifier. The equations for the X quadrature can be obtained with the replacement χ → −χ, so it follows that if Y is exponentially growing, then X is exponentially damped. Let us now combine the parametric amplification and measurement steps sequentially, and consider an initial coherent state (which is without loss of generality as has been previously discussed). Although, the measurement step alone can be described in terms of an effective heterodyne efficiency η het , the overall protocol can not, as the symmetry between quadratures is broken by the squeezing. The quadrature of most interest is the Y quadrature, as this will contain the bulk of the tomographic information. After a period, τ , of squeezing, the variance of this quadrature is given by (7), but the heterodyne measurement step adds excess noise, of size 2−η het 2η het , to the measured random variable, y (which will be Gaussian if the initial state is Gaussian). The important point is that the value of y is correlated with that of Y 0 and we use it to obtain the best estimate of the initial coherent state quadrature, Y est = ye −(χ−γ)τ , which has the POVM (3) and variance The expression for σ 2 X is once again obtained from that of σ 2 Y by the replacement χ → −χ. A number of results are immediately obtained from (8). These can be summarized by associating with χ a hierarchy of thresholds The lowest threshold χ osc is the parametric oscillation threshold. If we are squeezing for a long time with strength χ > χ osc = γ then a non-zero amount of information will be gathered about the Y quadrature, irrespective of the efficiency of the measurement step. In contrast, below this threshold, squeezing for a long time leads to essentially no information being gathered since the system approaches a steady state that is independent of the initial condition. This is illustrated in figure 2 by comparison of the red vertical line, representing χ osc , and the dashed black line, representing the Y quadrature estimate variance of the two-step protocol. In figure 2 the long squeezing duration limit is taken for the two-step protocol. The middle threshold, χ del , is that required to make squeezing worthwhile as compared to immediately performing the heterodyne measurement with no squeezing step. In other words, χ del is the squeezing strength required to justify delaying the measurement by prolonging the squeezing. To see this, note that if χ > χ del , then the second term of (8) is positive, so that it is then beneficial to exponentially suppress it by squeezing for a long time τ . Alternatively, one can take the partial derivative of (8) with respect to τ and note that it is strictly negative for χ > χ del , independent of τ . The delay threshold, χ del , is seen in figure 2 as the cyan line, which marks the squeezing at which the two-step protocol beats inefficient heterodyne detection.
We are now in a position to claim that for χ > χ del and the described two-step protocol, the anti-squeezing of the Y quadrature makes it more resolvable. Conversely, the squeezing of the X quadrature makes it more difficult to probe. The trade-off between the X and Y quadrature information is not a zero-sum exercise with regards to tomographic performance -we will show later, when performing tomography on simulated data, that imprecision in quadrature estimates can require an exceedingly large number of samples to be overcome. Thus, the improved precision achieved in the anti-squeezed quadrature can be very beneficial.
Just because squeezing is worthwhile does not mean that the heterodyne limit of unity for σ 2 Y can be surpassed. It is only when χ > χ het = 2γ(1 + n th ) that σ 2 Y ≤ 1. This can be found from the first term of (8). For χ χ het , we approach the homodyne limit σ 2 Y → 1 2 for a sufficiently long duration of squeezing. A very important point is that any amount of noise introduced by the measurement step, and captured in the parameter η het , can be suppressed by the exponential. The χ het threshold is seen in figure 2 as the magenta line and it marks the squeezing at which the two-step protocol enters the homodyne regime. . This figure illustrates the three thresholds of parametric amplification with regards to information gathered about the anti-squeezed quadrature. The black dashed curve is the variance in the estimate of the initial Y quadrature of a coherent state for the two-step protocol described in the text. The measurement step is modelled as heterodyne detection of some efficiency η het and the duration of the squeezing step is taken to infinity. The important thresholds for the parametric amplification strength are shown. Below χ osc (red dash-dot), no information about the initial value of the Y quadrature is obtained. The parametric drive strength at which a pre-amplification step becomes beneficial is marked by χ del (cyan dotted). Thus, the horizontal line representing the performance of heterodyne detection with efficiency η het intersects the curve at this point. For χ > χ het the two-step protocol outperforms ideal (η het = 1) heterodyne detection and reaches the homodyne limiting variance of 1/2 for χ χ het . To highlight the asymptotic behaviour a log-log scale plot has been used.
Note that none of these thresholds depend on the optomechanical coupling µ; all that is required for a lengthy period of squeezing to lead to essentially ideal homodyne measurement is that the parametric drive χ can be made sufficiently large compared to the rate at which phonons decohere the oscillator γ(n th + 1).
In practice there will be other competing effects that would preclude waiting indefinitely during the parametric amplification phase before initiating the measurement. One of these is that the parametric amplification phase, θ, will never be perfectly aligned with the quadrature axes defining the measurement -this will analysed in a later section. Additionally, there will be mechanical non-linearities not modelled by the parametric amplification Hamiltonian of (1). Both of these effects will mean that in practice there will be some optimal length of time to apply the initial squeezing. Squeezing beyond this time becomes deleterious.
As it represents one of the major results of this paper, we pause to emphasize the role of χ het . In the absence of a squeezing step, we have explained how the measurement step leads to a heterodyne type measurement of the mechanical oscillator quadratures. We have then incorporated a parametric amplification step and considered the POVM of the overall protocol, which can be summarized by the value of σ 2 Y , being the variance of an estimate of the initial Y quadrature of a coherent state. To highlight the utility of (8), it can be seen that it holds true in the case for which the duration of the squeezing step is taken to zero. In this case, we are returned to σ 2 X = σ 2 Y = 1/η het . For nonzero τ , as χ is increased σ 2 Y monotonically decreases (and σ 2 X monotonically increases). This asymmetry in the amount of information gathered about the X, Y quadratures is indicative of the overall measurement protocol now possessing homodyne characteristics. That is, although the individual measurement step is of a heterodyne type, the composite protocol that includes squeezing has a tomographic performance that has homodyne features. In fact, we can achieve nearly perfect efficiency homodyne limited tomographic performance despite the presence of a finite temperature thermal bath and detector inefficiency. Physically, when the squeezing is large enough -that is, when χ > χ hetwe have found that the amplification dominates the thermal noise and the decohering bath can be effectively frozen out.
To assess the tomographic performance of the two-step protocol, which includes squeezing, it is useful to introduce an effective homodyne efficiency η hom . This is the efficiency of standard homodyne detection that would lead to a variance in the estimate of an initial coherent state quadrature equal to that of our protocol. The quadrature used in the comparison is that which is probed most closely in our protocol (the Y quadrature in the above discussion) and, of course, the measured homodyne quadrature. Converting (8) into an expression for the effective homodyne efficiency is done via σ 2 Y = 1/2η hom , which, for χ > χ osc and τ → ∞, gives It is clear that perfect efficiency homodyne detection, η hom → 1, can be achieved in the large squeezing limit. Also, note that the details of the measurement step are completely absent -the protocol has removed all dependence upon the effective heterodyne efficiency and the optomechanical coupling. This further justifies an initial analysis bereft of the intra-measurement dynamics. The simplicity of the form of the parametric amplification strength threshold required to beat the heterodyne limit, χ het , invites a heuristic interpretation. To provide this, we note that the heterodyne limit can be considered from the point of view of being able to distinguish two coherent states that have a difference in amplitude of unity, despite an additional unit of ground state noise being added due to the measurement of joint quadratures. Said differently, we can reliably distinguish two equal variance Gaussian distributions when their means differ by more than one standard deviation. Consider the two Gaussians that we wish to distinguish as being subjected to a long period of squeezing via (6)- (7). The ratio of the difference in their means to their standard deviation is given by χ+2γn th 2(χ−γ) , which is larger than unity for χ > χ het = 2γ(1 + n th ). Thus, the squeezing is making coherent states separated by unity more distinguishable and we can beat the heterodyne limit.
To summarize this section, and prepare for the next, we have considered a two-step protocol in which the measurement step was modelled as being heterodyne detection, of efficiency η het . A period of parametric amplification constituted the first step and broke the symmetry regarding the variance of estimates of the X, Y quadratures. This asymmetry made it natural to introduce an overall homodyne effective efficiency to describe the two-step protocol in comparison to standard homodyne detection. The main conclusion was that with sufficiently large squeezing it was possible to approach the limit of ideal homodyne measurement of the initial mechanical state. In the following sections we perform a similar analysis, this time including the details of the optomechanical measurement in both the zero and blue-detuned laser regimes. Such a full analysis leads to detailed expressions for η het in terms of the parameters of the optomechanical system but doesn't alter the qualitative conclusions of this section. However, before proceeding with these specific analyses, let us consider the impact of misaligned parametric amplification within the simplified framework of this section.

Misaligned parametric amplification
Before concluding this section, we investigate the effect of a non-zero value of the parametric drive phase θ, which is inevitable to some extent in practice. In an experiment, this phase corresponds to the difference between mechanical parametric amplification phase and the phase of the signal used to mix-down the measured photocurrent into a quadrature signal. This relative phase must be controlled or chosen in post-processing, which necessarily involves some uncertainty and fluctuations. Given that the squeezed quadrature estimate variance goes to ∞ at long times, it is of concern that any finite misalignment may destroy the desired effect. We can study this issue in the framework of our qualitative analysis where the measurement step is modelled as heterodyne detection with efficiency η het . The complication, of non-zero θ, couples the equations of motion for the quadrature means and variances, but we can largely avoid this by working in a rotated frame aligned with the squeezing axes. Then it becomes a matter of transforming the bivariate Gaussian distribution back to the frame defined by the measured quadratures, before adding the diagonal covariance due to measurement inefficiency. After some algebra, we obtain the variance in the estimate of the initial Y quadrature (we keep in mind that θ will be small so that the Y quadrature is of interest): From this expression, it is clear that if the squeezing is carried on indefinitely then the variance will exponentially diverge due to the new terms introduced for non-zero θ.
There exists an optimal squeezing duration that can be found by differentiating with respect to τ , This explicitly shows how sensitive the system is to off-axis squeezing as the optimal time only diverges as ln(1/θ) -unless θ is extremely small, the optimal time will not be large compared to the other system time scales. This effect is exacerbated by the 1/χ scaling, with large χ being the regime of interest. From (11), once this optimal time is exceeded the estimate performance exponentially deteriorates with τ at a rate γ + χ. This makes it a crucial experimental consideration that may not have been treated appropriately without the above analysis. Note that a finite squeezing time is optimal even to zeroth order in the bath coupling, showing that it is unavoidable if squeezing off-axis. If the squeezing is carried out for the optimal duration, τ opt , then a term linear in |θ| is added to the Y quadrature estimate variance.

Full Analysis of Optomechanical Tomography -Zero-Detuning
In this section, we provide explicit POVM expressions for the composite optomechanical measurement that arises in the bad-cavity zero detuning regime and also investigate a number of different protocol variations. Unlike the previous section, the details of the measurement step are examined. We consider both the presence and absence of parametric drive. We are aiming to assess the usefulness of the measurement for tomography, for which accurate estimates of the initial state quadratures must be obtained. The tools that we allow the experimentalist are continuous measurement and resonant parametric amplification, as illustrated in figure 1. In the previous section we found that the effect of the parametric drive was to combat the added noise due to the thermal bath and also to transform the effective measurement for the entire protocol from a heterodyne to homodyne type. However, it is a priori unclear how the squeezing should be optimally applied and a number of obvious questions can be posed. Noise both from measurement backaction and from the thermal bath competes with the squeezing, so should the measurement be performed from the start or delayed until the parametric amplification has taken effect? Do these considerations impact the squeezing threshold χ het from (9), that defines when the heterodyne limit can be breached? To investigate these questions fully, we consider the following scenarios: a two-step process whereby measurement is delayed until the second step -this is of the same form as the protocol used in our simplistic analysis in the previous section -and a one-step process in which both measurement and parametric amplification are turned on concurrently. For the two-step process, we also investigate whether squeezing should be continued in the second of the two steps. The blue-detuned regime is considered later, in section 5 -in this section we consider procedural variations all with zero-detuning. A schematic showing how the measurement strength and amplification is varied over the course of the experiment for the one and two-step procedures is shown in figure 1(b-d).
In contrast to the previous section, we need a stochastic master equation that describes the statistics of the measurement and the state of the mechanical system conditioned on measurements [22]. In this zero-detuning, bad-cavity regime, we use the stochastic master equation model of [44,33]. The two quadratures of the mechanical quantum state are simultaneously probed, see figure 1(a). In this regime, the spectral content of the measured signal is concentrated close to ω m and the original measurement record, I(t) = dQ/dt, is demodulated into quadrature components I X = dQ X /dt and [33,36] that contain useful information only at low frequencies. The stochastic master equation, as given in Appendix A, see also [44], shows that the effect of inefficient detection (η < 1) is to increase the effective temperature of the thermal bath and decrease the effective measurement strength. Therefore certain expressions will be more compact if we define the parameters n ≡ n th + µ(1 − η)/γ andμ ≡ ηµ, however, we choose to make the dependence upon η explicit in our final expressions, for ease of understanding.
Our approach in the following subsection is to obtain analytic expressions for the variance of the estimates of the initial quadratures, σ X and σ Y , in the case that the input state is a coherent state. We can use this information to determine an effective detector efficiency for the POVM implemented by the composite measurement. For the moment, it is assumed that the tomographic performance of a measurement scheme improves when it becomes more homodyne-like, as represented by increasing effective homodyne efficiency. This will be confirmed in section 6, via simulation of experimental data, where we reconstruct the full quantum state for non-Gaussian inputs.

Two-step process
We begin with the two-step protocol, consisting of a squeezing step that is followed by a measurement step, in which the squeezing is turned off, as this will be familiar to the reader from section 3. This is schematically shown in figure 1(b), with the duration of the measurement step being T . To specify this protocol in detail, all that remains, with regards to the estimate variance of the quadrature of an initial coherent state, is to give the form of η het that appears in (11). From the POVM (see Appendix A and [49]) we find where we have defined the rate Γ = γ 2 + 8ηµ(γ + 2γn th + 2µ) and then taken the long measurement time limit, T → ∞. It is important to note that in the limit of γ, γn th → 0, the effective heterodyne efficiency η het → 2η/(η + √ η) = η. This is because η refers to efficiency of the actual detector in the experimental arrangement of figure 1(a), rather than the effective efficiency taking into account the strength of the optomechanical coupling and other imperfections (eg the bath). Note that in the regime of µ γ, γn th (or expressed in terms of the optomechanical cooperativity C 1, γn th ) and η → 1 we have η het → 1 so that in the limit of very strong optomechanical coupling and ideal detection the optomechanical measurement step approaches ideal heterodyne detection, as might be expected. We observe that this is also exactly the regime required to feedback cool the oscillator to its ground state [33,36]. From (13) it can be simply shown that the effective efficiency is a monotonic function of each of η, µ, T, γ, n th ; we highlight that η het is monotonic increasing with the measurement strength, µ. The value of 2/Γ gives the time scale for the duration of the measurement. The long time limit, T → ∞, is very important as it represents a complete measurement with regards to the initial systemthere is no more information available and the final state is no longer correlated with the initial state.
For clarity, and to facilitate comparison with future expressions, the variance of the estimate of the initial Y quadrature is provided in the long measurement time limit, T → ∞: This expression for the variance possesses all the properties described in section 3 (we have merely provided the form of η het ) and summarized in figure 2; in particular, the heterodyne limit of unity can be breached for χ > χ het = 2γ(1 + n th ) for long squeezing times τ . As discussed in section 3, we wish to compare the total measurement protocol to homodyne detection, and in the regime χ > χ osc and τ → ∞ we obtain an effective homodyne detector efficiency which approaches unity for large χ χ het . The reader will recall that this homodyne efficiency is found by comparing the variance of the anti-squeezed quadrature to that of the measured quadrature in standard homodyne detection. It is the anti-squeezed quadrature that has the improved resolution, while we lose the ability to learn about the squeezed quadrature.
Although our primary concern in this section is to analyse tomographic performance, it is important to identify how one actually arrives at the initial quadrature estimate. That is, we now provide the filter on the measurement results that best estimates the state we wish to reconstruct. For display brevity, we take the long measurement time limit and find with the expression for X est obtained with χ → −χ. The reader will note that there are two aspects to the filter: the system state at the conclusion of the squeezing is estimated based on the measurement results, dQ Y , and, secondly, the deterministic pre-image of this state is found by inverting the squeezing (and thermal bath) evolution of (6) (represented by the e −(χ−γ)τ /2 term). This can be compared with (2) (using dQ Y = dtI Y ) to discern the filter function, h Y (t). We see that the early measurement times (up to a time 2/Γ) contribute the most to our estimate and that the contributions die off exponentially.
We have seen that a squeezing step can be beneficial to the precision of our estimate of the quadrature that is amplified, but only when χ > χ del . Below this limit, the noise from the thermal bath overcomes the amplification effect during the pre-measurement phase (squeezing). However, for a fixed squeezing duration, increasing χ improves performance even below χ del . It is logical to then suggest that the squeezing should be maintained during the measurement step also; that is, throughout the entire protocol, as per figure 1(c). This has the effect of transforming the measurement step away from a purely heterodyne form. It is then no longer sensible to ascribe an effective heterodyne efficiency to the measurement step, but there is no difficulty in determining the POVM, using the techniques of [49]. Assuming that the X quadrature is squeezed with a constant amplitude, with the measurement turned on at time τ for a duration T leads to the POVM variance with the rates defined as Γ ± = (γ ± χ) 2 + 8µη(γ + 2γn th + 2µ). The expression for σ 2 X requires χ → −χ and, resultantly, involves the rate Γ + . If we set χ = 0 then Γ ± = Γ, which is as expected as this returns us to the previously described protocol of figure 1(b). It is clear that we can, once again, breach the heterodyne limited variance of unity, and enter the homodyne paradigm, for χ > χ het , as this allows the exponential to be suppressed, for long squeezing, and the first term to drop below unity. It is straightforward to show, by comparison of (14) and (17) in the long measurement time limit, T → ∞, that maintaining squeezing in the second step leads to a smaller (or equal) estimate variance in all cases. It is therefore evident that the squeezing concurrent with measurement is having a beneficial effect, in addition to the pre-measurement squeezing. Rather than proceeding with the analysis in the context of a two-step protocol, it is more enlightening to isolate its effect further and reduce to a one-step protocol. That is, we remove the pre-measurement squeezing step and consider the protocol of figure 1(d), where both measurement and squeezing are (always) performed together.

One-step process
The one-step protocol (see figure 1(d)) POVM variance is most simply obtained by reducing the duration of the squeezing step of the two-step protocol to zero (τ → 0 in (17)): Furthermore, the filter for the single step protocol is which should be compared with (16). The new protocol modifies the time scale to 2/Γ − and makes the multiplicative constant χ dependent, together with removing the need to obtain the state's pre-image under pre-amplification (ie there is no squeezing only step). It should come as no surprise to the reader that σ 2 Y is monotonic decreasing with χ, as can be easily verified by calculating dσ 2 Y /dχ. In fact, for χ γ, γn th , µ the term of O(χ) cancels and we obtain σ 2 Y → 1/2. It is therefore possible to reach the homodyne limit with a single step protocol, as long as the squeezing is powerful enough. Another obvious limit to take is µ γ, γn th , χ, which leads to an instantaneous measurement of a heterodyne type (we are taking the limit in which the squeezing is unimportant). Thus, (13) is applicable and if η → 1 then σ 2 Y → 1, with ideal heterodyne detection resulting (η het → 1).
We have seen that sufficiently large squeezing leads to the homodyne paradigm, whilst very fast measurement returns us to an instantaneous heterodyne measurement. In the two-step protocol, very large squeezing was not required to breach the heterodyne limit, rather, χ > χ het = 2γ(1 + n th ) was sufficient. The question remains as to whether there is an analogous regime for the one-step protocol. Clearly, χ > χ het with finite γ, n th , µ will not suffice. We can guess what is required, however, by using the intuition gained from the two-step protocol. In that case, the quadrature needed to be sufficiently amplified before it was measured. If the measurement is applied too soon, then the backaction heating is also amplified, which obscures the information contained in future measurements. With the measurement and squeezing in a single step, how can we delay the measurement? The answer is to use a very weak measurement strength, which postpones the effective wavefunction collapse until the amplification has occured. That is, very weak measurement is a proxy for a delayed measurement, and a pre-measurement amplification is then effectively achieved.
That very weak measurement can be beneficial, and allow the homodyne paradigm to be reached, is confirmed by minimising σ 2 Y with respect to µ. We find that the minimum of σ 2 Y is obtained either by µ → 0 or by µ → ∞. Depending upon whether we are below or above a squeezing strength threshold, it is better to measure as quickly as possible or to delay as long as possible (indicated here by a very weak measurement). This threshold is found by noting that the derivative of σ 2 Y with respect to µ flips sign when χ = χ del = 2γ(1 + n th ) + γ( √ η − 1). That is, σ 2 Y is monotonic increasing with µ when χ > χ del and monotonic decreasing when χ < χ del . If we are above this threshold for χ, then it is optimal to choose µ → 0. The reader will notice that we have used the same nomenclature, χ del , as for the two-step protocol when indicating the threshold at which it is best to delay measurement, whether it be by a longer pre-amplification time, τ (two-step), or by a weaker measurement strength, µ (one-step). Apart from the conceptual similarity, we note their equality when η het = 2η/(η + √ η) is used in the expression for χ del from the two-step protocol (2γ 1+n th η het 2−η het ). This value of η het corresponds to an instantaneous measurement, in the large µ limit, for our optomechanical system. The reason for the coincidence of χ del for both protocols arises due to the fact that the same limiting performance is achieved when the measurement strength is optimally chosen.
If the measurement is delayed using an infinitesimal measurement strength then, when we are above χ osc = γ, the Y quadrature estimate variance is given by which is exactly the same as for the two-step protocol. Thus, once again, the regime defined by χ > χ het = 2γ(1 + n th ) corresponds to the minimum χ required to breach the heterodyne limited variance of unity. In the limit of large χ the homodyne bound of 1 2 is reached. It is important to note that this is true even when the detector is not perfectly efficient. Finally, if the delayed measurement protocol was chosen for χ < χ osc , then the estimate variance becomes infinite. Consequently we have established a hierarchy of squeezing thresholds for the one-step protocol, just as for the two-step protocol: χ het ≥ χ del ≥ χ osc . These thresholds have the analogous interpretation as for the two-step protocol, but now with the replacement of a long duration pre-amplification step by an infinitesimal measurement strength. That is, χ osc represents the threshold for long duration squeezing leading to a well-defined estimate of the initial state, χ del represents the threshold for it being optimal to delay the measurement and χ het being the squeezing value sufficient to enter the homodyne paradigm. The thresholds for the one-step protocol could be illustrated in a very similar way to figure 2, as the same threshold structure exists, provided that the infinitesimal measurement strength limit was taken instead of a very long pre-amplification step.
We have found that there are two pathways to the homodyne regime with finite squeezing. Either a pre-amplification step can be used (giving a two-step protocol) or squeezing can be turned on concurrent with measurement. In the former method, long squeezing times are required, while in the latter, very weak measurement is necessary. Both methods need χ > χ het = 2γ(1 + n th ). Although both one and two-step protocols reach the homodyne limit given freedom to choose µ, which protocol is optimal if the measurement strength is finite and fixed due to experimental reasons? The χ del threshold for the two-step process provides us with the answer to this, essentially by definition, with the two-step (one-step) protocol being preferred when χ > χ del (χ < χ del ).
Further comparison between the one and two-step protocols is made in figure 3, where we compare the analytic expressions for the one and two-step variance (with squeezing maintained throughout) for zero-detuning for some realistic parameters. The blue-detuned variance (to be discussed in section 5) is also plotted. In figure 3(a) it can be seen that all processes perform better as the squeezing is increased and the threshold squeezing, χ het (magenta line), at which the heterodyne limiting variance of unity is beaten, is approximately confirmed. The small offset from the threshold is due to a finite duration of squeezing. In figure 3(b), parameters are chosen such that χ > χ het . The main result is that the one-step processes (dashed lines) degrade with Figure 3. The one-step (dashed) and two-step (solid) Y quadrature estimate variances of an initial coherent state for the zero-detuned (black) and blue-detuned (blue) cases are compared. For the two-step protocols, squeezing is maintained in the second step. a) The measurement strength µ = 1 is held fixed (shown in brown) while squeezing χ is varied. Also shown is the threshold to beat the heterodyne limit, χ het (magenta). For both zero and blue-detuning, the two-step processes outperform the one-step processes when χ > χ het (to the right of the magenta line). The variances asymptote towards 1 2 for very large χ. Other parameters are: γ = 0.5, η = 0.9, n th = 0.3, τ = 0.2, T = 5. b) Blue and black lines are defined as per (a) but now with χ = 8 held fixed (shown in cyan) and varying measurement strength, µ. As χ > χ het the variance degrades as µ increases -there is less time for the squeezing to amplify the quadrature of interest.
increasing measurement strength, as the squeezing has less time to take hold before the state becomes decorrelated with the initial state. This effectively reduces the amount of squeezing and leads to reduced resolution, consistent with figure 3(a). In the large µ limit the one-step variance will approach the heterodyne value of approximately one, with a small overshoot due to the finite detector inefficiency. The two-step processes are less affected by the reduced squeezing in the second step as the first step also provides squeezing, so they will asymptote to a sub unity value. All curves in figure 3(b) meet as µ → 0. This is because the variance saturates the bound of χ+2γn th 2(χ−γ) in this limit.

Analysis of Optomechanical Tomography -Blue-Detuned Laser
In this section, we repeat the analysis of section 4, but now in the blue-detuned resolved sideband limit. As noted previously, this regime can also be described, approximately, using a single mode stochastic master equation. The derivation of the effective single-mode system involves a rotating wave approximation in the frame of the driving laser, which is blue-detuned by approximately the mechanical oscillator frequency, ∆ ∼ ω m [1]. We work in a regime where g κ ω m , which has been experimentally implemented [52,53,54]. This regime is of particular relevance because of the amplification provided by the resultant two-mode squeezing interaction between cavity and mechanical oscillator. The impact of this new source of amplification should be compared with the mechanical squeezing previously considered. Further details of the the quantum trajectory methods involved in obtaining the POVM for the blue-detuned system are provided in Appendix A.

Two-step process
To investigate the POVM implemented by the composite optomechanical measurement, we again consider the variance of the quadrature estimate of an initial coherent state amplitude and the corresponding effective homodyne efficiency. That this figure of merit is strongly tied to the ability to reconstruct states will be shown in section 6. Consistent with the previous sections, we choose to squeeze the X quadrature in order that the Y quadrature becomes more resolvable. The first protocol we discuss is the two-step process of figure 1(b) (no squeezing in the second step), as then the only missing piece from (8) is the η het appropriate for the blue-detuned resolved sideband measurement step.
Before providing a general expression that is also a function of the thermal bath, it is illuminating to consider just the effect of detector inefficiency and finite measurement strength, as this exposes differences due to the blue-detuned regime. That is, we make the simplification γ, n th = 0, and isolate the amplifying effect of the detuned laser adding energy to both the optical and mechanical modes. Considering an incomplete measurement that lasts for time T we find that the effective heterodyne efficiency for the measurement step is Notice that in the limit T → ∞ the efficiency approaches 1, independent of η. This is a result of the intrinsic amplification that is available in the blue-detuned case, and should be compared to the zero-detuned case where we obtained η het = 2η/(η + √ η). However, the optical efficiency η does still result in a slower rate of information gain, meaning that the time required to achieve a given efficiency η het grows as η is decreased. Although the detector losses are overcome by the blue-detuning, this does not transform the protocol into being of an effective homodyne type -parametric amplification is still required for that.
We now show a heterodyne efficiency for a completed measurement, T → ∞, with no squeezing applied, but with non-zero γ, n th : which can be directly compared to the corresponding expression for the zero-detuned case (13). This can be substituted into (8) to obtain an estimate variance for the two-step protocol. It is clear that the effective homodyne efficiency for the overall two-step protocol, above parametric oscillation threshold and for long squeezing times, is given by exactly the same as the zero-detuned case (15). Ideal homodyne detection is achieved by the two-step protocol in the blue-detuned regime when, as before, χ χ het = 2γ(1 + n th ). We now consider maintaining the squeezing amplitude throughout the measurement step (as illustrated in figure 1(c)). This leads to a Y quadrature estimate variance of where we have defined the rates Γ ± = (γ ± χ) 2 ∓ 2µχ(1 − η) + µ 2 + 2γµ(2η(n th + 1) − 1), which are of the same order as the zero-detuned rates Γ ± . The filter for this protocol is given by where the rather lengthy multiplicative constant, c, is defined in the footnote [57].
In figure 3(a), the estimate variance of the Y quadrature for the two-step bluedetuned protocol, with squeezing maintained throughout, is plotted against squeezing strength, χ (solid blue). Compared with the zero-detuned two-step process, blue-detuning performs better when χ > χ het but worse otherwise. This is due to the additional amplification that blue-detuning provides. When χ < χ het the noise is dominating the squeezing, so that amplification decreases the signal (the initial state) to noise (the amplified contribution). When χ > χ het , amplification is desired as it makes the signal more resolvable, so that blue-detuning is superior. This effect is strong enough that the one-step blue-detuned variance (to be given shortly) is less than the two-step zerodetuned variance for much of the parameter range displayed. In figure 3(b), the variation against measurement strength, µ is shown. As χ > χ het , blue-detuning outperforms zero-detuning. The composite measurement degrades when the measurement strength increases as this reduces the effective squeezing provided in the second step. Although slower than the zero-detuned case, the variance will approach approximately unity for very large µ.

One-step process
For completeness, we provide the variance of the Y quadrature estimate for the one-step protocol (see figure 1(d)), by taking the τ → 0 in (24), to obtain with Γ − as per the blue-detuned two-step protocol. The filter is also obtained from (25) with τ → 0. There is much similarity with previous protocols, in particular the thresholds χ osc = γ and χ het = 2γ(1 + n th ) are the same and are once again achieved via weak measurement, µ → 0, delaying the decorrelation of the initial system state until the squeezing has had time to take effect. As for the other protocols we have considered, it it possible to approach ideal homodyne detection with η hom → 1. A difference worth mentioning is that the threshold at which it is best to delay the measurement is the same as that required to enter the homodyne regime; that is, χ del = χ het . The one-step blue-detuned estimate variance is plotted (dashed blue), for comparison, in figure 3.

Tomographic Reconstruction From Simulated Data
Up until this point, we have calculated the POVM implemented by the composite optomechanical measurement, and assumed that the tomographic performance of a measurement scheme improves when the effective homodyne efficiency of the measurement is increased. In converting the optomechanical measurement to an effective homodyne measurement, we have sacrificed accuracy in the squeezed quadrature in order to beat the heterodyne limit in the anti-squeezed quadrature. Motivating this construction is the idea that tomography will become much more difficult as the accuracy of the quadrature estimate decreases, while reduction in the effective number of data samples (information is gained about one quadrature only) can be overcome with a doubling only of the number of trials. Similar concepts are discussed in [15] where detector inefficiency introduces an anti-Gaussianity into estimators for tomography that cause a much slower statistical convergence. In this section, we justify this assumption by simulating the system of interest. This produces artificial experimental data that can be used as the input to a tomography reconstruction algorithm. Not all states are equally difficult to reconstruct -our scheme will be of greatest benefit when high resolution is important. For example, the Wigner function of a coherent state can be well approximated from the results of a coarse-grained phase space probe, but the Wigner function of a superposition of coherent states (a 'cat' state) requires a finer probe to observe the faster oscillations. This amounts to an expectation that homodyne rather than heterodyne detection is preferred as it provides more accurate quadrature estimates. In this section we will investigate this claim by performing Maximum Likelihood (MaxLik) tomography [14] on simulated experimental data. As we have analytic expressions for the POVM that represent the composite measurement on the system, MaxLik tomography can readily be implemented. This is a standard procedure that is widely implemented in the experimental literature and also has the advantage of producing physical density matrices in contrast to Wigner function tomography [14]. A study of alternative approaches to state reconstruction is beyond the scope of this paper. From our previous analysis, and also figure 3, it is clear that the (experimentally accessible) two-step procedure outperforms the one-step when χ > χ het , so for this reason it is the focus of the simulations. The zero-detuned case is considered as the results are expected to carry over to the blue-detuned case, which is of greater difficulty to simulate due to the laser amplification necessitating much larger basis size. To highlight the difficulties faced by heterodyne detection, and how these can be overcome with resonant parametric amplification, the input state that we choose to reconstruct is a cat state of the form |cat ∝ (|α + |−α ).
The experimental procedure that we simulate is the collection of the measurement data dQ X,Y (t) for a large number of repeated trials. Each trial in the laboratory would consist of state preparation followed by a period of electromechanical driving with a particular phase (step one) and finally the measurement is turned on (step two) and the dQ X,Y (t) are recorded. The distribution of squeezing phases should be sufficient to measure a representative sample from the continuum of quadratures. Here we choose to simulate an equal number of trials at each of 50 uniformly distributed phases. The measurement results are then filtered (data analysis) to determine the POVM element relevant for that trial (see Appendix A). The collection of POVM elements, one for each trial, is then fed into the MaxLik algorithm. The output of the algorithm is the initial state most likely to have produced the set of recorded measurement results. This state is taken as the best estimate of the initial state.
The first result that we provide, see figure 4, is a comparison of the Wigner functions of density matrices reconstructed with realistic choices of parameters (see figure caption). First we show the target state (a), then a reconstruction with no squeezing (b) and progressively more squeezing (c),(d). It is striking that in the absence of squeezing, no Wigner function negativity is detected for the cat state, ∝ (|α = 3 + |α = −3 ). This is not a general feature. A 2 phonon Fock state for example -which has Wigner function negativity -can be well reconstructed with no squeezing due to its slower oscillations. Our chosen benchmark for comparing the performance of our scheme is optomechanical measurement with no squeezing. In this case it is not sensible to have a step one, which would just be a waiting period during which the initial mechanical state would decohere. Consequently, such a wait period is omitted and the optomechanical measurement amounts to heterodyne measurement of the initial state. As squeezing is progressively added, the oscillatory features become better resolved. With the largest simulated value of squeezing, in subplot (d), the features are quite accurately placed, which is not the case in subplot (c).
Motivated by the qualitative nature of the Wigner function comparisons, a more detailed investigation of the fidelity metric is completed for an amplitude α = 2 cat state (note the differing amplitude to the figure 4 simulation). In figure 5, the fidelity of the reconstructed state with respect to the initial cat state is determined as a function of the number of trials, for a range of different squeezing amplitudes. We also perform tomography with several benchmarks for comparison. The benchmarks are perfect efficiency homodyne and heterodyne detection, and also, inefficient homodyne (η hom = 0.9) and heterodyne detection (η het = 0.97, which is equivalent to a detector efficiency of η = 0.9 in the experimental arrangement of figure 1 without squeezing, i.e. a heterodyne measurement). We observe that homodyne detection outperforms heterodyne detection as expected, although not by as much as figure 4 would indicate. This is because an easier to reconstruct state is being probed: an amplitude 2 (versus 3) cat state, which has less severe Wigner oscillations.
The central theme of our paper is confirmed in figure 5, as we see that with sufficient squeezing the perfect efficiency homodyne limit is approached, within statistical error, for a moderate number of trials. Detector inefficiency, finite temperature bath coupling and the intrinsic limitations of heterodyne detection are all overcome by improving the resolution of the measured quadrature via resonant parametric amplification. In figure 5, the analytical variance in the estimate of the amplified quadrature for an input coherent state can be used as an approximate proxy for the cat state reconstruction performance as measured by fidelity. However, the reader will note that the two-step fidelity with χ = 10 is approximately equal to that of inefficient homodyne detection despite the quadrature estimate variance being higher. We believe that this is due the small amount of information still present in the squeezed quadrature, which is utilized in the MaxLik algorithm.
Here we give some further details on the simulations. Each trial for the twostep configuration represents a simulation of the stochastic master equation (SME, see Appendix A) for finite time to produce measurement currents dQ X (t), dQ Y (t). The currents are then filtered and integrated similarly to (16) in order to find the POVM parameters. The set of POVM operators representing the set of trials is then fed into the MaxLik algorithm, which iteratively moves the initial guess for the density matrix towards a more likely density matrix, as judged by the likelihood of the set of measurement currents being realized. Once the iteration shows a change below a defined tolerance (as measured by the trace distance between the density matrices of successive iterations), the final density matrix is deemed to be the best available reconstruction of the initial state and the fidelity is calculated. The direct simulation of the SME is quite computationally expensive for a number of reasons: the size of the density matrix grows as the square of the used basis size, the stochastic term is of O( √ dt), the squeezing amplifies the state and, finally, the simulated measurement strength is quite strong and must be tracked carefully. To avoid having to track the density matrix, a stochastic Schroedinger equation (SSE) is used rather than the SME. Although the experimentalist does not have access to the specific realisation of the oscillator bath, all that is of relevance for our simulations is the production of simulated measurement currents. We can generate such currents using an SSE that simulates a measurement on the oscillator bath that will not be performed by the experimentalist. To combat the quickly fluctuating noise, a Milstein algorithm is implemented to integrate the SSE. To handle the amplification of the state along the anti-squeezed quadrature, an adaptively growing Fock basis is used which expands when significant probability reaches the outermost Fock states of the basis. This is much more efficient than simulating the maximum required basis at all times. The large measurement strength (µ = 50) in the final step requires the use of small time steps (about dt = 10 −7 ). We also use our knowledge of the time scales of the squeezing and measurement collapse from section 4 (in particular (17)) to determine parameters in the simulation. Firstly we select the length of time that squeezing must be carried out to achieve a large fraction of the available benefit. Secondly, most of the information in the measurement is gathered at early measurement times, so that measuring for an indefinitely long time is not necessary. Based on these considerations, the system is squeezed and measured for 2 units of the respective characteristic times, thus reducing the simulation duration. Despite these techniques, the simulations would be prohibitively lengthy on a single desktop computer, so a cluster [58] of several hundred computing cores was used.
It is worth emphasising that the particular computational difficulty of the simulations discussed above relates to the production of artificial experimental data, not to the reconstruction procedure itself. In an actual experiment, the measurement of the currents I X,Y take the place of the system simulations. The maxLik reconstruction algorithm then needs to be performed, but its difficulty is dependent upon the basis size which is needed to estimate the unknown initial state. This is in contrast to the simulation basis which must expand to a larger basis as the input state is amplified. The blue-detuned system has additional intrinsic amplification so we simulated the zero-detuned system only. Figure 5. The average fidelity of the tomographic reconstruction of an α = 2 cat state as the number of experimental measurements is increased. The two-step protocol and zero-detuned optomechanical position measurement were used. We also include homodyne and heterodyne measurements as benchmarks, with inefficient heterodyne detection representing no use of parametric amplification in our experiment. The twostep protocol curves have γ = 0.25, η = 0.9, n th = 0.3, µ = 50, τ = 2, T = 2, where τ and T are quoted in units of the characteristic time scale (see text). Inefficient homodyne has η = 0.9 while inefficient heterodyne detection has η het = 0.97 (which corresponds to an actual detector efficiency of η = 0.9 in our optomechanical arrangement of figure 1), showing the high sensitivity to imperfections for heterodyne. 50 uniformly spaced squeezing angles are used for homodyne and two-step detection. The error bars reflect statistical errors and are calculated using the standard deviation of the fidelity of the reconstructions in our simulation. In the legend, the analytical variance of the estimate of an initial coherent quadrature is given as per the formulas in section 4. A conversion to an effective heterodyne or homodyne efficiency has also been provided, with the latter only applying to the anti-squeezed quadrature.

Conclusion
In this paper we have shown that parametric amplification can significantly contribute to the important goal of tomographic reconstruction of non-classical states of motion in optomechanical systems. Optomechanical measurements monitor the position of the oscillator though homodyne detection of light leaking from a coupled optical cavity. Due to the weakness of the measurement in typical experimental configurations, information is built up over many periods of motion, and thus both mechanical quadratures are obtained and the measurement is similar to optical heterodyne detection. However, as we have shown analytically, by applying resonant parametric amplification to the oscillator, the measurement is transformed into a hybrid homodyne-heterodyne one, with the homodyne paradigm reached in the large squeezing limit. This allows a single quadrature to be measured with variance equal to that of homodyne detection, even when there is a thermal bath and finite detector efficiency. By placing the appropriate filter on the measurement results, the initial quadrature of the mechanical oscillator can be estimated with homodyne limited accuracy, and thus tomography performed.
We have also shown, numerically, that homodyne, as compared to heterodyne, limited quadrature variances allow superior tomographic reconstruction of non-classical states with fast oscillating Wigner functions. In such situations, the inclusion of parametric amplification in the experimental protocol is desirable and, as found in our simulations, leads to increased fidelity of the reconstructed state relative to the target state.
To establish the important theoretical features that provide intuition to the analysis of all of the protocols, we began our investigation by performing (in section 3) a simplified analysis of a two-step experimental protocol (first squeezing and then measurement). The simplification consisted of modelling the measurement step dynamics only broadly -the finite duration measurement was replaced by an instantaneous measurement possessing some new effective detector efficiency. Using this approach, an expression for the variance in the estimate of the anti-squeezed quadrature of a coherent state was obtained. As expected, it is the anti-squeezed quadrature that becomes more resolved in the presence of parametric amplification. By inspection of the anti-squeezed quadrature estimate variance, three important thresholds of parametric amplification strength, χ, were identified. The first, and least demanding, of these, χ osc , is the minimum parametric drive required to obtain a well-defined estimate of the initial state in the long squeezingtime limit. The second threshold, χ del , tells us the minimum squeezing strength at which a two-step protocol is preferred, in the sense that a lower estimate variance can be achieved by including a duration of squeezing prior to optomechanical measurement. The third threshold was found to be χ = χ het = 2γ(1 + n th ), which depends on the coupling to, and temperature of, the thermal bath, but is not dependent at all on the physical detector efficiency. For χ χ het , the anti-squeezed quadrature estimate variance approaches 1/2, and the composite measurement protocol (consisting of both squeezing and measurement) is as effective as an ideal homodyne measurement. Within this same simplified framework, we also analysed misaligned parametric amplification. This was shown to be a consideration of practical importance, with the outcome being that the squeezing should not be carried on indefinitely.
After identification of the important parametric oscillation strength thresholds, we then performed (in section 4) a detailed analysis of various experimental protocols with the full measurement dynamics included. Protocols consisting of squeezing followed by measurement (with squeezing alternatively turned off or maintained) or squeezing concurrent with measurement were analysed. Compared with section 3, the measurement dynamics were included by giving the expressions for the effective measurement efficiency applicable to the measurement step. These expressions take into account the measurement strength, physical detector efficiency, measurement duration, bath coupling and, finally, bath temperature. Also provided in our analyses were the filters upon the measurement results that provide the actual quadrature estimates.
Whilst section 4 investigated the bad-cavity zero-detuning regime, section 5 looked at what happens in the blue-detuned resolved sideband limit. It was of interest to compare the amplification resulting from the blue-detuning to that of the parametric amplification. We found that blue-detuning in the absence of parametric oscillation can overcome detector inefficiency but cannot improve on an ideal heterodyne measurement. Once parametric amplification is added to the measurement protocol, it is again possible to approach the performance of an ideal homodyne measurement. The additional amplification provided by blue-detuning manifests in a lower estimate variance than zero-detuning when subjected to the same levels of squeezing, provided that the squeezing is sufficient to dominate the decohering effect of the thermal bath.
Having provided a theoretical analysis of the estimation of coherent state amplitudes in the presence of parametric amplification, we then performed (in section 6) numerical quantum state tomography for non-gaussian states. Above the threshold χ del , the improved resolution of the anti-squeezed quadrature with parametric amplification allows more complicated states to be reconstructed than would otherwise be possible. We showed this explicitly by simulating experimental data for the cat state ∝ (|α = 3 + |α = −3 ) with realistic optomechanical parameters. The improved reconstruction was evidenced by the Wigner functions of the reconstructions and also the fidelity with respect to the target state.
In summary, we have shown how the inclusion of parametric amplification in tomographic experimental protocols allows optomechanical measurement to be transformed from a heterodyne to homodyne type. We have established threshold values of amplification that classify the behaviour of the variance of the estimate of an initial coherent state quadrature. Above the largest threshold, χ het = 2γ(1 + n th ), the quadrature estimate variance can be made lower than that of ideal heterodyne detection. Numerically, we then showed that this is indeed desirable for the tomography of non-classical states having fast oscillating Wigner functions.
As creating and verifying non-classical states of motion is a major experimental goal, parametric amplification should be considered in the design of future optomechanical experiments in order to provide a greater effective homodyne efficiency. This will lead to a reduced number of experimental trials being required. In the circumstance of limited experimental resources, the question of how best to trade off the number of trials, the number of choices of phase of parametric drive and other parameters in the tomography experiment deserves further attention and will be the subject of future work.
Throughout this work we have assumed that the experimental parameters are such that the dynamics of the optical cavity can be adiabatically eliminated. This choice was made because it corresponds to the regime of many experiments and because it allows for a simpler analytic treatment that helps to build intuition about the physics of optomechanical measurement enhanced by parametric amplification. We considered two parameter regimes where this was possible and found qualitiatively similar results in each case. We do not expect that our conclusions will be materially altered if this adiabatic condition does not hold. However, both our analytic and our numerical approach could be extended to the more general case and this might be interesting to investigate further. record is such that dQ 2 = dt. This is the linear form of the stochastic master equation, in which the trace of ρ is not preserved [59,26,22]. In the solution to the quantum trajectory equations, Tr[ρ] evolves and, together with the statistics of the dQ's, encodes the probability density of obtaining the sequence of measurement results. The linear form of the SME has the advantage of being easier to analytically solve in order to find an explicit time evolution operator corresponding to the measurement results dQ. The superoperator, D, has the action D[a]ρ = aρa † − 1 2 (a † aρ + ρa † a). Inefficient optical homodyne detection is described by η and the phase of the local oscillator is here chosen so that information about the mechanical oscillator position is imprinted onto the measured quadrature of the output field. The coupling of the mechanics to a thermal bath (of thermal phonon occupancy n th ) assumes a rotating wave and Markov approximation that requires γ ω m . As discussed in the main text, the information about the mechanical oscillation will be contained in the homodyne photocurrent I(t) = dQ/dt at frequencies close to ω m . In practice, in both theoretical analysis and in experimental protocols, it is useful to demodulate this photocurrent to obtain two real demodulated photocurrents that track the quadratures of the mechanical motion. We can imagine implementing this demodulation by averaging I(t) over a time ∆t as follows [22] ∆Q X = √ 2 where we have assumed that ∆t is a multiple of the oscillation period. We can regard the demodulated photocurrent as a measurement of the mechanical quadrature in a normalized white noise background, with the noise cut off at frequencies above ω m . In the adiabatically eliminated descriptions of the oscillator dynamics that follow, we will work in an interaction picture where the rate of change of ρ is very slow compared to ω m and in that case it becomes sensible to take the limit ∆t → 0 in which ∆Q X approaches a Wiener increment dQ X . We can define dQ Y in the same way as dQ X by replacing cos with sin in the above formulae. For more details of this analysis of the optomechanical measurement see Ref. [33]. We can simplify the description of the optomechanical measurement in two regimes of interest as discussed in the main text. The first of the these is the bad-cavity regime at zero detuning. In the limit where κ ω m , g, γ(n th +1), χ and ∆ = 0, it is straightforward to adiabatically eliminate the cavity from the SME (A.2) to obtain an SME for the quantum state of the mechanics alone, see for example [60]. The key parameter in this SME is the effective measurement rate µ = 4g 2 /κ. To further simplify the master equation, we move into an interaction picture with respect to the oscillation frequency ω m and make a new rotating wave approximation that requires µ, γ(n th + 1), χ ω m to obtain the following master equation [44,33]: dρ = χ 4 e −iθ a 2 − e iθ a †2 , ρ dt + [γ(n th + 1) + µ]D[a]ρdt + (γn th + µ)D[a † ]ρdt It will frequently be convenient to note that we can absorb the parameter η that describes the inefficient detection by defining the measurement strengthμ = ηµ and the effective bath temperature, n = n th + µ(1 − η)/γ. In terms of these parameters we have dρ = χ 4 e −iθ a 2 − e iθ a †2 , ρ dt + [γ(n + 1) +μ]D[a]ρdt + (γn +μ)D[a † ]ρdt + μ (Xρ + ρX) dQ X + μ (Y ρ + ρY ) dQ Y . (A. 6) In order to determine the optimal filter for the measurement current, and also analyse the tomographic performance of various experimental procedures, the POVM element describing the composite measurement up to the time t is required. This operator, which allows the statistics of the measurement to be found, follows straightforwardly from the analytic solution of (A.6). Recently, two of the authors have given a general method of solution for Gaussian bosonic linear stochastic master equations such as this [49]. The solution is a generalisation of methods that have been used to find solutions to linear stochastic Schroedinger equations in the past [25,26,27].
If ρ 0 is the initial state of the system, we find a solution having the general form where E Xest,Yest is a Gaussian completely positive map that depends on only two realvalued functions of the measurement record, X est and Y est as defined in equation (19). Z is a functional of the measurement currents I X and I Y that determines a numerical prefactor in (A.7). We are interested in the statistics of the measurement outcomes X est and Y est and can neglect Z since it provides no information (that is not contained in X est and Y est ) about the initial state. The probability density for these initial state estimates is proportional to Tr[ρ(t)]. Specifically, the general theory [26] implies that P (X est , Y est |ρ 0 ) = Tr[E Xest,Yest [ρ 0 ]] e Z P ost (X est , Y est , Z)dZ (A.8) where the ostensible probability distribution P ost (X est , Y est , Z) is the joint probability distribution that X est , Y est , and Z would have if the measurement records I X (t) and I Y (t) were both mean zero white noise processes. Z is a non-Gaussian random variable in the ostensible distribution and is correlated with X est and Y est , so the integral here may appear complicated. However it can be shown that Z is the sum of squares of random variables that have Gaussian distributions under the ostensible distribution and consequently the above integral can be evaluated in the usual way for Gaussian integrals and evaluates to a Gaussian function of X est and Y est . The probability density P (X est , Y est |ρ 0 ) determines the POVM for the composite measurement W I through the formula P (X est , Y est |ρ 0 ) = Tr[W I ρ 0 ]. In the main text we specify the POVM by considering the case where ρ 0 = |α 0 α 0 | so that P (X est , Y est |ρ 0 ) is a Gaussian distribution (3) for X est and Y est . As mentioned in the main text, this uniquely specifies the POVM just as the Q-function uniquely specifies a density matrix. The method of obtaining expressions for the parameters of this Gaussian in terms of the system parameters is detailed in [49], to which we refer the interested reader.
In the second regime of interest, being the blue-detuned resolved-sideband regime in which ∆ = ω m and ω m κ g, χ, we can go into an interaction picture with respect to ω m and ∆ prior to the adiabatic elimination, and make a rotating wave approximation that removes the fast rotating terms in the Hamiltonian. The resulting optomechanical coupling is of the form g(ab + a † b † ). Making the adiabatic approximation as before, we now find the modified linear SME dρ = χ 4 e −iθ a 2 − e iθ a †2 , ρ dt + γ(n th + 1)D[a]ρdt + (γn th + µ)D[a † ]ρdt + √ ηµ dZa † ρ + dZ * ρa , (A.9) where we have introduced the complex combination of measurement increments dZ = (dQ X + idQ Y ) / √ 2 for convenience. The reader will note several differences to the zero-detuned SME. The measurement back action appears only in the dissipation term for a † . The details of the measurement update terms proportional to dQ X and dQ Y are also different. They have the same form as the usual heterodyne detection stochastic master equation [22] but with a replaced by a † . This distinction relates to the fact that the position measurement signal from the mechanics is amplified by the optomechanical coupling, improving the signal to noise with which the initial mechanical state can be inferred from the results of the optical homodyne measurement. As is the case for heterodyne detection, the two demodulated currents I X and I Y carry information about the corresponding mechanical quadratures. Also the detector efficiency, η, has been explicitly included as it cannot be absorbed into the other parameters. The POVM for blue-detuning is found using the same methods as for zero-detuning and is also of the form (3).