- Open Access
Quantum and classical nonlinear dynamics in a microwave cavity
EPJ Quantum Technology volume 1, Article number: 7 (2014)
We consider a quarter wave coplanar microwave cavity terminated to ground via asuperconducting quantum interference device. By modulating the flux through the loop,the cavity frequency is modulated. The flux is varied at twice the cavity frequencyimplementing a parametric driving of the cavity field. The cavity field also exhibitsa large effective nonlinear susceptibility modelled as an effective Kerrnonlinearity, and is also driven by a detuned linear drive. We show that thesemi-classical model corresponding to this system exhibits a fixed point bifurcationat a particular threshold of parametric pumping power. We show the quantum signatureof this bifurcation in the dissipative quantum system. We further linearise about thebelow threshold classical steady state and consider it to act as a bifurcationamplifier, calculating gain and noise spectra for the corresponding small signalregime. Furthermore, we use a phase space technique to analytically solve for theexact quantum steady state. We use this solution to calculate the exact small signalgain of the amplifier.
Superconducting circuit quantum electrodynamics (circuit QED)  is increasingly being used to study systems in the quantumregime. This experimental context sees a superconducting coplanar waveguide act as amicrowave cavity, in contrast to the optical frequency cavities of traditional cavityquantum electrodynamics (cavity QED). The microwave resonator is made from aluminium ona silicon substrate, and Josephson junctions are created by allowing the aluminium tooxidise before adding more aluminium. Such devices are placed in a dilutionrefrigerator, and experiments take place at cryogenic temperatures. Such lowtemperatures, close to the quantum ground state, allow quantum mechanical phenomena tobecome manifest. Recent engineering progress means that fabrication of these devices ispossible .
In recent experiments at Chalmers , a quarterwave coplanar microwave cavity is terminated to ground via one or more superconductingquantum interference devices (SQUIDs), see Figure 1. Bymodulating the flux through the loop, the cavity frequency can be modulated. If the fluxis varied at twice the cavity frequency this implements a parametric driving of thecavity field. The cavity field also exhibits a large effective nonlinear susceptibilitythat can be modelled as an intensity dependent phase shift .
This paper is structured as follows. In Section 2 we introduce the nonlinearmicrowave system considered in this paper. We establish a description in the form of aMarkov master equation, one term of which being an effective Hamiltonian we derive. Wealso give the input-output formulation of the microwave system. In Section 3 wepresent a detailed analysis of the fixed point structure of the nonlinear microwavesystem in a semi-classical description, including bifurcation of the fixed points. Weinclude dissipation of the microwave mode. In Section 4 we look at the steady stateof the quantum system. This is done in a phase space representation based on thepositive P-representation, both analytically, and numerically. We look for signatures ofthe semi-classical bifurcations. In Section 5 we analytically compute and plot thesmall signal gain. Then, in Section 6 we linearise the model and extract gain andnoise spectra up to the threshold defined by the semi-classical bifurcation. Finally inSection 7 we summarise our results.
A similar model to that considered here has been given by Wustmann andShumeiko . Their discussion of thesemiclassical steady states and fixed point structure parallels the discussion here butgives a more detailed description of the semiclassical dynamics. They also discuss thequantum noise features of the model using a linearised quantum Langevin approach. Inaddition to a linearised analysis of the gain and signal-to-noise ratio, we give anexact steady state solution for the quantum master equation using the positiveP-representation. The steady state behaviour of the model we describe has beenexperimentally observed by Wilson et al. .
2 The dissipative Cassinian oscillator model
2.1 Master equation
We consider a superconducting microwave resonator connected through a superconductingquantum interference device (SQUID) loop to ground. The SQUID loop consists of twoseparated Josephson junctions; a magnetic flux can then be applied to loop to changethe effective resonant frequency of the cavity . The SQUID also induces a significant quartic nonlinearity.Following Wallquist et al.  we describe theintegrated cavity + SQUID system in terms of an equivalent circuit composed of acapacitor and a nonlinear inductor. The Hamiltonian for one mode of the cavity fieldmay be written in terms of this effective nonlinear oscillator as 
where represents the charging energy of the effective LC oscillator while n is thenumber of elementary charges on the capacitor, represents the inductive energy of the effective oscillator, while ϕrepresents the flux though the equivalent inductor and λ represents theinductive nonlinearity. This depends on the inductive energy scale and on the modefunction of the cavity field ,where B is a geometric factor. Further details are given in Wallquist et al.give .
The system may be quantised by introducing the bosonic raising and loweringoperators, defined in terms of the canonical variables of the cavity field as,
where and are the average phase acrossthe junctions and charge on the junctions, respectively and C and Lare the effective lumped capacitance and inductance, respectively, of the equivalentcircuit for the cavity in terms of which the cavity resonant frequency is give by.The total Hamiltonian, including the coherent driving and the parametric driving arethen given by
where isthe cavity frequency, represents the coherent driving strength, κ represents the parametricdriving strength, is the coherent driving frequency and we have assumed that the parametric driving isat twice the coherent driving frequency and υ is the phase differencebetween the coherent driving and the parametric driving as we have taken the phase ofthe parametric driving term as zero. In Section 6 we consider coherent homodynedetection of the cavity output. This means there is another phase in this problem;the phase choice for the local oscillator which may not be in phase with either thecoherent or the parametric driving. The term proportional to χrepresents a nonlinear (quartic) phase shift that arises from the nonlinearinductance of the SQUID loop. Quartic non-linearities in oscillators have beendiscussed in [7, 8];parametric terms in the nano-electromechanical context have been discussed in[9–11].
For a realistic device we adopt a dissipative model. We model the microwave cavityresonator as being damped in a zero temperature heat bath. Such a model for the bathis certainly justified as the typical microwave cavity is at mK temperature and thusthe mean excitation photon number is very close to zero . The amplitude decay rate for the microwave cavity isγ. We then describe the dissipative dynamics with the masterequation (with weak damping and the rotating wave approximation for thesystem-environment couplings). In an interaction picture at the coherent drivingfrequency this is
where is the density matrix of themicrowave cavity, and is the Hamiltonian in aninteraction picture in a rotating frame with respect to the linear driving frequency.We have made the rotating wave approximation by ignoring terms with frequencyor above. We thus have
where .In the absence of damping, classical trajectories arising from the parametric andnonlinear portion of this Hamiltonian are the ovals of Cassini, and that system ishence sometimes described as the ‘Cassinian’ oscillator; the quantumversion of that part of the Hamiltonian system has been previously studied byWielinga et al.  and more recently byDykman and his collaborators .
The semi-classical dynamics and the exact quantum steady state can be found using thecomplex P-function of Drummond and Gardiner . In this approach the density operator in terms of the offdiagonal projectors onto oscillator coherent states
This function determines the normally ordered moments by
It may seem surprising at first sight to notice that the Positive P-function hassupport in a phase space with twice as many canonical variables as the correspondingclassical problem. There is a direct physical interpretation of the extra variablesbased on a measurement model in which there are twice as many readout channels forthe canonical phase space variable . Thisis required if the distributions are to give normally ordered moments directly viaintegration. In  a direct implementationusing circuit QED of these additional channels is demonstrated and connection is madeto the stationary normal ordered moments.
The master equation can then be converted into a Fokker-Planck like equation for theP-function,
where and etc. The corresponding stochastic differential equations are
The semi-classical equations are obtained by setting in the drift term and ignoring the diffusion term, and are thus
from which it is apparent that the nonlinearity appears as a nonlinear detuning.This ensures that the instability in the model when does not arise.
3 Semi-classical fixed point structure
3.1 No coherent driving,
We first consider the case of no driving field .The semi-classical equations of motion (10) are then given by
The semi-classical steady states, ,are given by ,and
where we have defined the scaled variables
In order to determine the stability of the fixed points, we linearise the equationsof motion around the fixed points. Thus we have the semi-classical linearisedequation of motion for and
In the limit of no parametric pumping (),this Jacobian matches the result obtained by Babourina-Brooks et al. in. Stability of the fixed pointrequires all the eigenvalues of the Jacobian to have a real part less than or equalto zero . A real part of exactly zeroindicates marginal stability in that parameter direction, where the fixed point isneither attractive nor repulsive. Real parts strictly less than zero are attractingfixed points which draw in nearby regions in phase space. In general, stability maydepend on more coupling parameter combinations than those which define the fixedpoints.
The origin is a fixed point for all parameter values. Indeed, the origin is the onlyfixed point for ,the ‘below threshold’ regime. This fixed point is stable for.Four additional fixed points occur as antipodal pairs for ;the ‘above threshold’ regime. The first additional pair of fixed points,which we will call the ‘stable pair’, and are given by
exists for ,and is always stable. The second additional pair of fixed points, which we will callthe ‘unstable pair’
exists for ,and is always unstable. We note that the unstable pair of fixed points can only existfor negative detuning, and that whenever the unstable pair of fixed points exists,the first pair of fixed points exists also. Also, we note that for, is a symmetry of the system,and thus pairs of antipodal fixed points are the expected semi-classical result. Weplot the radial and angular components of the semi-classical fixed points inFigure 2. The colour in these plots shows thestability.
The bifurcating behaviour of the semi-classical steady state is depicted in the‘phase digram’ of Figure 3. There are twoqualitatively different transitions that can take place in the semi-classical systemas it moves from being ‘below threshold’ to ‘abovethreshold’. First, for positive detuning (),the threshold parametric pumping is effectively increased by the detuning to (the solid green/checkered red boundary in Figure 3. Atthis threshold, the semi-classical system undergoes a supercritical pitchforkbifurcation where the stable origin goes unstable, and the stable pair of fixedpoints emerges from the origin and grows in separation with increasing parametricpumping (the checkered red region in the upper half-plane in Figure 3). Alternatively, for all values of negative detuning(), atthe threshold parametric pumping two saddle-node bifurcations produce both the stable and unstable fixed point pairs(the solid green/striped blue boundary in Figure 3). Theorigin remains stable, and the two newly created pairs of fixed points then exist forparametric pumping above threshold ()until pumping reaches the even higher value .Between these two values (the striped blue region in Figure 3) with increasing parametric pumping, the stable pair increases inseparation and the unstable pair moves to the origin. At the higher parametricpumping (the striped blue/checkered red boundary in Figure 3) theunstable pair annihilates in a subcritical pitchfork bifurcation at the origin, andthe origin becomes unstable for all higher parametric pumping .The stable pair of fixed points continues to grow in separation with furtherincreased parametric pumping (the checkered red region in the lower half-plane inFigure 3).
We now illustrate the steady state behaviour of the semi-classical microwave systemin different ‘phases’. We choose a point in parameter space from eachregion of the semi-classical ‘phase diagram’ of Figure 3. These choices are marked with the black circles in that figure.These steady states are shown in Figure 4. Some other nearidentical steady states, corresponding to the black crosses in Figure 3 are depicted in Figure 5. These areplotted for comparison with the quantum version of the system in Section 4.
As well as the bifurcation structure, an important observation to make at this pointis that the existence and bifurcations of the fixed points depend upon only threeparameters: the magnitude of the parametric pumping rate κ; thedetuning Δ; and the dissipation rate γ. Andspecifically, only the two non-dimensional ratios of them, here we choseand .Thus, the below threshold to above threshold transition of the parametric oscillatoris independent of the size of the induced Kerr nonlinearity χ. However,the separation of the semi-classical fixed points ,and thus the degree and visibility of the above-threshold oscillations, depends onthe scaling parameter .Thus, to see the semi-classical fixed points move significantly away from the origin,and thus to observe significant above-threshold behaviour we require a significantlylarge nonlinearity χ as well as parametric pumping κ.
It will also prove useful to consider the non-dissipative limit() ofthe semi-classical equations on resonance ().The fixed points are no longer stable zero dimensional attractors but ratherelliptical fixed points corresponding to stable small oscillations in thecorresponding Hamiltonian model. One easily sees that the fixed points occur at
3.2 Including coherent driving,
Similar to our definitions and ,we introduce the scaled Cartesian coordinates and such that and
We also define the scaled linear driving
In terms of these, the fixed points of the semi-classical equation of motion (10)satisfy the quintic equation
We notice that were there to be only a small input signal and not a large lineardrive with a small input signal on top (),then the quintic factorises into the quadratic
This of course defines the tractable analytic fixed points given inSection 3.1.
Unfortunately, solving a quintic equation analytically in terms of radicals can leadto unhelpful expressions, and is not even always possible. We can of coursenumerically solve for the fixed points for certain parameter values, but we leavenon-perturbative exploration of the steady states of the system for a later study. Instead, we will ultimately expand the Positive P functionas a power series in ϵ in Section 5.
4 Quantum steady state
In the previous section we described the fixed point bifurcations of the semi-classicalsystem. Here, we investigate whether there is a signature of those semi-classicalbifurcations present in the full quantum system. This can be done exactly using thepositive P function, or numerically by computing the quantum steady state densityoperator in a truncated number basis and then constructing a phase space quasiprobability density (e.g. a Q function) in different regions of the semi-classical‘phase diagram’ of Figure 3. As we will show, bychanging the coupling parameters so as to be on different sides of a semi-classicalbifurcation, there is a corresponding qualitative change in the quantum steady state.This kind of correspondence principle has proven to be the case for other dissipativenonlinear quantum systems [19–21].
4.1 Steady state via the positive P function
The steady state solution of (8) can be found as the potential conditions aresatisfied . The steady state solution canbe written as
where the potential function is given by
and determines the semi-classical fixed points of the corresponding Hamiltonian(non-dissipative) model, see (18). This may be written in an alternate form by notingthat ,
Before we can compare this distribution to the phase space structure of thesemi-classical fixed points we must face the unusual feature that the Positive Pfunction has support on a phase space with twice as many dimensions as thecorresponding classical problem. The semi-classical subspace corresponds to.If it were not for the noise terms in the stochastic differential equations, (9), wecould start on this subspace and never leave it. The noise however will drive thedynamics off the semi-classical subspace. Despite this we can find a very closecorrespondence between the semi-classical fixed points and the form of the steadystate Positive P function.
We first discuss the correspondence for the case of no coherent driving,. Thepeaks of the steady state positive P function will be located at the minimum of thecorresponding potential function, that is to say, the solutions of,.This gives
where we have used (18). A little algebra shows that these are equivalent to
There are two classes of solutions: and .We will refer to the first of these as the semi-classical subspace and the second asthe nonclassical.
We first consider the semi-classical subspace. With ,the first equation in (27) should be compared with the semi-classical steady statefrom (11), which may be written as
In the limit of small quantum noise, ,,such that we find that
and, in the semi-classical subspace, the P-function is peaked on the semi-classicalsteady states.
In the model of Wolinsky and Carmichael the nonlinear detuning χ becomes complex, thus describing nonlineardamping, and the dynamics of the positive P-function takes a very similar form tothat considered here. In particular the additional fixed points of the non classicaldimension are also present. As they describe, the non classical subspace allows thenoise to drive a stochastic process that corresponds to the nonclassical features ofthe steady state solution. In the case of strong nonlinearity they show that thesteady state positive P-function on the non classical subspace is localised on thenon classical fixed points and that these peaks reflect the fact that the steadystate is close to a superposition of two coherent states localised on the classicalfixed points.
The explicit solutions to (27) are not straightforward; they are
These are very close, though not exactly coincident, with the semi-classical fixedpoints derived in Section 3.
4.2 Numerical steady state
To perform the numerical computation of the quantum steady state we use the QuantumOptics MATLAB toolbox .To do this we approximate the infinite basis of the microwave cavity oscillator; wechoose to do this by truncating in the Fock (number) basis. This means that we mustchoose couplings such that the bifurcation takes place sufficiently close to theorigin to be accurately approximated by the truncation. This is roughly because acoherent state of amplitude α has a mean occupation number of. Given thequantum steady state typically (as we shall see direct evidence of in this section)has support centred on the semi-classical steady state, fixed points far from theorigin (high ) will produce high occupations and thusinaccurate results if we truncate in the Fock (number) basis.
We choose a point in parameter space from each region of the semi-classical‘phase diagram’ of Figure 3. These choices aremarked with the black circle markers in that figure. Semi-classically, thecorresponding steady states were shown in Figure 4. We nowlook at the quantum steady state through the Wigner function of the steady statedensity matrix. The Wigner function is defined as ;for more on the Wigner function see [15, 25]. These Wigner functions are shown in Figure 6. There are clear signature of the semi-classical bifurcations.The quantum steady state has support centred on the stable semi-classical fixedpoints, something which has been previously observed in [19–21].
However, in two of the Wigner functions of Figure 6 (thosecorresponding to the striped blue region of Figure 3)there are three semi-classical stable fixed points, yet only two main regions ofquantum steady state density. To investigate this further, we consider the quantumsteady states corresponding to small parameter changes in this region. In particular,we look at the quantum steady states corresponding to the parameter space choicesmarked with black crosses in Figure 3. Semi-classically,the corresponding steady states were shown in Figure 5.The corresponding Wigner functions are shown in Figure 7.Interestingly, there is a gradual transition from quantum steady state supportcentred on the semi-classical stable fixed point at the origin, to support centred onthe separated stable pair. This transition does not correspond to any semi-classicalbifurcation, and at this stage is a quantum feature we cannot explain or predictsemi-classically. We mention it here to suggest one direction for futureinvestigation of this system.
5 The small signal gain
The positive P-function directly determines the normally ordered steady state moments ofthe intracavity field. We now need to chose the contour of integration so that thenormalization constant is fixed. To this end we define the integrals
and express the normally ordered moments as
If we wish to regard this system as an amplifier, we need to calculate the mean cavityfield amplitude as a function of ϵ for thecase that .With this in mind we expand the solution in a Taylor series in ϵ
where is the exact steady statesolution for . Then
In this form we can see that the normalisation for is the same as that for as the integrals vanish.
If we now substitute (26) (with )into (33), and use the Beta function identity
then we obtain the moments for zero coherent driving
Since we will always be interested in ratios of these, we can omit the leadingconstant; this then exactly matches the expression found by Kryuchkyan and Kheruntsyan
We first consider the steady state mean intra-cavity photon number with no coherentsignal,
In Figure 8 we plot this as a function of the parametricdriving strength. Note that we do not see a bistable curve as in Figure 2. The reason for this is that the quantum steady state gives a longtime average which averages over all possible switching events between the twosemi-classical steady states in the bistable region. The quantum steady state is adouble peaked distribution in the complex P representation with each peak localised nearone or the other semi-classical fixed points in the bistable region.
We can now write the moments of the intra-cavity field as,
where denotes the steady state average for . Inparticular, the average amplitude in the cavity at steady state is
where we have used .Explicitly, this average amplitude is
we recall that ,,and . Writing,we can obtain the magnitude of the cavity field at steady state ,
where the gain is
In Figure 9 we plot the maximum gain for a given parametric pump strengthκ and detuning Δ. We have plotted the maximum gain bychoosing the optimal signal phase υ at each set of parameters. Comparingthis to Figure 8 for the case when there is no coherentdriving, we see that the gain is a maximum around the critical parametric drivingstrength in the bi-stable, negatively detuned region.
6 Linearised quantum system
6.1 Input-output formalism
We consider the microwave cavity with the input-output formulation of quantum optics,as originally described by Collett and Gardiner in . To do this, we model the superconducting microwave resonatoras a single-sided cavity as depicted in Figure 10.
The input and output fields are treated explicitly with their mode annihilationoperators and respectively. With this formulation, the quantum stochastic differential equation weobtain for the microwave resonator field mode operators and are
where the input field is effectively white noise, uncorrelated in time,
The probability per unit time to detect a photon in the input field is. Finally, therelationship between the input, output, and cavity fields is given by
where the phase of the second term, the reflected input, may vary with the system.For an almost perfectly reflecting mirror of an optical cavity we haveand ,here we choose this phase as an appropriate approximation.
We also look at the various fields in the frequency domain, by defining thefrequency-domain operators as the time-domain operators’ Fourier transforms,
where we have used the Fourier Transform convention .In the frequency domain, the input field is also uncorrelated in frequency,
and the relationship between the input, output, and cavity fields is then given by
6.2 Gain spectra
Recall our quantum equations of motion for the microwave cavity field (47). Welinearise the system about a semi-classical fixed point as we did semi-classically in (14). This gives us the linearised equation of motionfor the fluctuation
In the frequency domain the linearised equation of motion (53) becomes
We rewrite this to obtain an expression for the microwave cavity field fluctuationin terms of the input radiation,
Using this expression, together with our input-output expression (52), allows us toobtain an expression for the output fluctuation of the microwave cavity in terms ofthe input,
where the gain matrix is
Note that is the output fluctuation in the frequencydomain. If we re-introduced the coherent term we would obtain the full outputamplitude in the frequency domain, .
Now, we can rewrite our Jacobian from (15) in terms of the parameters we defined in (13) for our semi-classical steadystates,
We now introduce two other useful parameters, , and,
In terms of these parameters, the gain matrix is
To calculate the gain measured at an arbitrary phase, we first define the quadratureoperator in the frequency domain ,which can be written in terms of our gain matrix as
This expression reduces to
where our signal gain at phase ϕ is
and the frequency-dependent phase shift is
Note that while our signal gain is complex for non-zero frequency, it is realfor the DC frequency in this frame.
If we consider our analytically solved case of no linear driving bias(),and linearise about the ‘below threshold’ stable fixed point at theorigin, then and our gain at aphase ϕ can be plotted against the scaled parametric pumpingand detuning .We plot the maximum gain for eachvalue of parametric pumping and detuning (optimising ϕ to find themaximum gain at DC for each pair of these parameters) in Figure 11.
6.3 Squeezing spectra
Having derived the gain matrix (61) relating the input to the output, we are now alsoin a position to investigate the squeezing spectrum of the microwave system. Recallour quadrature operator in the frequency domain written in terms of our gain matrix in (62). Our squeezing spectrum is the varianceof this quadrature operator. We thus define this squeezing spectrum, again in the frequency domain, to be
where the notation for the covariance bracket is . We then use the linearity of botharguments of the covariance bracket to express the variance of the quadratureoperator as
Then, using the commutation relation of (51) we can rewrite in terms of normally-ordered variances of theinput field as
To proceed we now use the statistics of the input field. A coherent input field haszero normally-ordered variances ().Thus, the only non-zero term in central matrix is the delta function term arisingfrom the commutation relations. Using this, we can compute the integral of the matrixexpression, and our squeezing spectrum reduces to
If we consider our analytically solved case of no linear driving bias(),and linearise about the ‘below threshold’ stable fixed point at theorigin, then and our squeezing at a phase ϕ can be plottedagainst the scaled parametric pumping and detuning .We plot the squeezing spectrum for each value of parametric pumping and detuning(setting the phase ϕ to be that which gives the minimum noise searchingover all frequencies for each pair of these parameters) in Figure 12.
6.4 Signal to noise ratio
For operation of the microwave system as a bifurcation amplifier, the parameterswhich result in maximum gain may not result in minimum noise. Instead, rather thanoptimising for maximum gain or minimum noise individually, the quantity which we wishto maximise is the signal to noise ratio. However, we see from our expressions forthe gain (64) and noise (70), that , and that our signalto noise ratio is thus unity,
For the linearised system, this equality holds for all values of all parameters(parametric pumping, detuning, and cavity dissipation), all probed frequencies andphases, and regardless of which semi-classical fixed point we choose to lineariseabout.
Physically the means that our system is acting as a parametric amplifier. Thequadrature of maximum gain is the same as the quadrature of maximum noise, andvice-versa for the minimum gain and noise. We can thus use this microwave system toamplify a signal to a measurable level without affecting its signal to noiseratio.
In this paper we detailed the quantum and semi-classical structure of a superconductingmicrowave resonator connected through a SQUID loop to ground. In particular we observedthat the semi-classical model contains a bifurcation structure, and that the remains ofthis structure are still visible in the full quantum mechanical steady state.Furthermore, we showed it can be used as a bifurcation amplifier. We did this analysisby: linearising about the semi-classical steady state below the ‘threshold’of the amplifier; by truncating the oscillator basis in the Fock basis and numericallycomputing the quantum phase space at steady state; and also by computing the exactquantum steady state by using an analytical phase space technique.
First, we showed that the corresponding semi-classical model has its fixed pointsdetermined by a quintic polynomial. We showed that for the small linear signal regime, thatthis quintic factors and is analytically solvable. This semi-classical system thenundergoes a bifurcation of its semi-classical steady state with increased parametricpumping power. This bifurcation gives a threshold for the amplifier and occurs when theparametric pumping power equals the cavity decay, with adjustment for a detuned drive,.The sign of the detuning specifies the form of the bifurcations. For a positive detuning,the origin undergoes a supercritical pitchfork bifurcation at the threshold. Fornegative detuning , theorigin instead loses its stability at in a subcritical pitchfork bifurcation with two intermediate pairs of fixed pointscreated in saddle-node bifurcations when the parametric pumping power reaches.The numerically calculated quantum steady states were shown to have clear signatures ofthese semi-classical steady state bifurcations. Specifically, the Wigner functionrepresentation of the quantum phase space was seen to have support on the semi-classicalfixed points.
In addition to numerically computing the quantum phase space at steady state bytruncating the oscillator basis, we also calculated the exact quantum steady state. Thiswas done following the work of Kryuchkyan and Kheruntsyan  by using the Positive P representation. The method tookadvantage of the fact that the potential conditions were satisfied. The exact quantumphase space density at steady state was seen to be peaked in the vicinity of thecorresponding semi-classical fixed points.
We showed that the quantum device functioned as a bifurcation amplifier until threshold.We calculated the small signal gain of the amplifier using the exact quantum steadystate. We also approximated this by linearising the steady state about thesemi-classical below-threshold fixed point using the input-output formalism of Collettand Gardiner . With this procedure we alsocalculated noise spectra, and we showed that the signal to noise ratio at allfrequencies and phases was equal to unity. We thus showed that the quarter-wavemicrowave resonator considered can be made to act as a parametric amplifier. This devicecan take a signal from a nano-electromechanical system and amplify it to a measurablelevel without affecting its signal to noise ratio.
Devoret MH, Girvin S, Schoelkopf R: Ann. Phys.. 2007, 16: 767–779. 10.1002/andp.200710261
Schoelkopf RJ, Girvin SM: Nature. 2008, 451: 664–669. 10.1038/451664a
Sandberg M, Wilson CM, Persson F, Bauch T, Johansson G, Shumeiko V, Duty T, Delsing P: Appl. Phys. Lett.. 2008., 42: Article ID 203501 Article ID 203501 10.1063/1.2929367
Wallquist M, Shumeiko VS, Wendin G: Phys. Rev. B. 2006., 74: Article ID 224506 Article ID 224506
Wustmann W, Shumeiko V: Phys. Rev. B. 2013., 87: Article ID 184501 Article ID 184501
Wilson CM, Duty T, Sandberg M, Persson F, Shumeiko V, Delsing P: Phys. Rev. Lett.. 2010., 105: Article ID 233907 Article ID 233907
Kozinsky I, Postma HWC, Kogan O, Husain A, Roukes ML: Phys. Rev. Lett.. 2007., 99: Article ID 207201 Article ID 207201 10.1103/PhysRevLett.99.207201
Babourina-Brooks E, Doherty A, Milburn GJ: New J. Phys.. 2008., 10: Article ID 105020 Article ID 105020 10.1088/1367-2630/10/10/105020
Woolley MJ, Doherty AC, Milburn GJ, Schwab KC: Phys. Rev. A. 2008., 78: Article ID 062303 Article ID 062303 10.1103/PhysRevA.78.062303
Hertzberg JB, Rocheleau T, Ndukum T, Savva M, Clerk AA, Schwab KC: Nat. Phys.. 2010., 6: Article ID 213 Article ID 213
Rocheleau T, Ndukum T, Macklin C, Hertzberg JB, Clerk AA, Schwab KC: Nature. 2010., 463: Article ID 72 Article ID 72
Wallraff A, Schuster DI, Blais A, Frunzio L, Huang R-S, Majer J, Kumar S, Girvin SM, Schoelkopf RJ: Nature. 2004., 431: Article ID 162 Article ID 162
Wielinga B, Milburn GJ: Phys. Rev. A. 1993., 48: Article ID 2494 Article ID 2494 10.1103/PhysRevA.48.2494
Marthaler M, Dykman M: Phys. Rev. A. 2006., 73: Article ID 042108 Article ID 042108
Walls DF, Milburn GJ: Quantum Optics. 2nd edition. Springer, Berlin; 2008.
Braunstein SL, Caves CM, Milburn GJ: Phys. Rev. A. 1991., 43: Article ID 1153 Article ID 1153
Eichler C, Bozyigit D, Wallraff A: Phys. Rev. A. 2012., 86: Article ID 032106 Article ID 032106
Hilborn RC: Chaos and Nonlinear Dynamics. Oxford University Press, Oxford; 1994.
Hines AP, Dawson CM, McKenzie RH, Milburn GJ: Phys. Rev. A. 2004., 70: Article ID 022303 Article ID 022303 10.1103/PhysRevA.70.022303
Meaney CP, Duty T, McKenzie RH, Milburn GJ: Phys. Rev. A. 2010., 81: Article ID 043805 Article ID 043805 10.1103/PhysRevA.81.043805
Meaney CP, McKenzie RH, Milburn GJ: Phys. Rev. E. 2011., 83: Article ID 056202 Article ID 056202
Carmichael HJ: Statistical Methods in Quantum Optics 1. Springer, Berlin; 2008.
Wolinsky M, Carmichael HJ: Phys. Rev. Lett.. 1988., 60: Article ID 1836 Article ID 1836
Tan SM: Quantum optics and computation toolbox for MATLAB; 2002. Tan SM: Quantum optics and computation toolbox for MATLAB; 2002.
Zachos CK, Fairlie DB, Curtright TL (Eds): World Scientific. Zachos CK, Fairlie DB, Curtright TL (Eds): World Scientific.
Kryuchkyan GY, Kheruntsyan KV: Opt. Commun.. 1996, 127: 230–236. 10.1016/0030-4018(96)00021-1
Collett MJ, Gardiner CW: Phys. Rev. A. 1984., 30: Article ID 1386 Article ID 1386
This work was supported by the Australian Research Council grants FF0776191 andCE110001014.
The authors declare that they have no competing interests.
The paper was written by CPM who did the numerical simulations and, together with GJM,performed the analytic calculations. HN obtained the solution in Section 4. TDprovided some of the experimental parameters.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.