nano  electromechanical systems ( nems ) are test  beds for the observation of fundamental quantum behaviour of objects which are huge on the scale of individual atoms .
for example , recent experiments @xcite have allowed a detailed study and control of single phonons by cooling a macroscopic resonator mode close to its ground state and coupling it to single electronic degrees of freedom .
one fascinating aspect of nems is their conceptual simplicity that nevertheless can give rise to highly complex physics , and the links that can be established to other fields such as molecular electronics or optomechanics @xcite .
one of the challenges are the details of the oscillator  electron coupling , i.e. in the language of measurement theory to understand , utilize @xcite and control @xcite the ` back
action ' effects of the detector ( e.g. , superconducting single  electron transistors @xcite ) onto the oscillator .    in many cases , even if no further approximations in simple theoretical models are made , the coupling to external electronic reservoirs that link the detector to the outer world is treated perturbatively , i.e. , in the framework of ( quantum ) master equations .
this has turned out to be a highly successful approach , in particular to describe such various systems as nems coupled to single electron transistors ( sets ) @xcite , franck  condon blockades @xcite in transport through molecules with strong electron  phonon coupling , or quantum shuttles@xcite . from the theory of electronic transport through nanostructures @xcite , however , it is known that such approximations usually are reliable only in the limit of high external voltage bias , where non  markovian effects @xcite due to quantum coherences between the external reservoirs and the electronic system ( set , quantum dot etc . ) can be neglected .
it is therefore desirable to develop tools that allow a description of nems beyond the master equation regime ( weak electron  leads coupling ) and at the same time are not merely perturbative in the coupling of the oscillator to the electronic environment @xcite .    in the past
, the coupling of electrons to a single bosonic mode has been solved exactly for the case where only one single electron is present @xcite , i.e. in an empty band approximation .
the inclusion of fermi sea reservoirs at different chemical potential transforms this into a difficult many
body problem out of equilibrium , and approximations are necessary @xcite .
our approach in this paper is to combine exact solutions of the electronic system with a semi
classical expansion , together with an adiabatic approximation for the oscillator dynamics within the feynman
vernon influence functional ( double path integral ) theory @xcite .
we revise this method , which has first been used for simple nems models by mozyrsky and co
workers @xcite , and extend it to allow for the description of a relatively large class of non  equilibrium electronic environments . the key idea is a systematic expansion around the classical path in order to obtain a langevin equation for the oscillator .
already at the simplest level of this approximation ( neglecting quadratic fluctuations around the diagonal path in the reduced density matrix of the oscillator ) , the coupling to the electronic non  equilibrium environment gives rise to non  trivial effects such as effective oscillator potentials and non  linear friction coefficients leading to both positive and negative damping @xcite .
gaussian fluctuations around the classical path are built into the theoretical description , but they have to be evaluated by numerical solutions of the underlying langevin equations which is not done in this paper .
we compare two non  interacting electronic ` quantum dot ' models with one and two levels between source and drain reservoirs : a single dot , and two dots in series .
the oscillator couples linearly to the dot occupation ( single dot ) or to the occupation difference ( double dot ) . one particular feature of the double dot case ( where quantum superpositions of the electrons become important ) is the occurence of limit cycles in phase space caused by a negative damping .
the paper is organized as follows : after introducing the path integral formalism with a generic model in sec .
ii , we present the single dot case in sec .
iii and the double dot case in sec .
detailed derivations of the important formulae can be found in the appendices .
a large class of nems can be described as a composition of an electronic system @xmath0 , a mechanical system @xmath1 and a linear coupling between the two .
thus we set up a generic hamiltonian @xmath2 by @xmath3 here , @xmath1 describes a single oscillator with @xmath4 ( momentum ) and @xmath5 ( position ) operators .
the oscillator mode is confined in a potential @xmath6 , @xmath7 denotes an electronic force operator , and @xmath8 labels the oscillator mass .
whithin this paper the reduced planck constant is set to one ( @xmath9 ) .
our generic model does not include an additional oscillator damping mechanism . in the usual master equation treatment of nems , lindblad - form damping due to external degrees of freedoms is included phenomenologically . in the path integral formalism used here , such degrees of freedom can be easily included at least for linear or weak coupling to the oscillator . in order to elucidate the effect of the electronic environment that we treat in all orders in the coupling to external electronic reservoirs ( contained in @xmath0 ) , we choose not to include additional damping terms in our model here .
we describe the oscillator dynamics by the reduced density matrix of the oscillator in position representation @xmath10 , for which we derive a semiclassical equation of motion for the oscillator position by using feynman
vernon influence functional theory similar to mozyrsky and co - workers@xcite .
assuming that the total density matrix @xmath11 factorises at the initial time @xmath12 into a system and a bath part @xmath13 , the propagation of the reduced oscillator density @xmath14 at time @xmath15 is given by a double path integral@xcite , cf .  appendix  [ sec.:gen_mod ] . a transformation to center  of  mass and relative coordinates @xmath16 has the notion to detach the classical trajectory @xmath17 from the quantum mechanical deviations . within a
born  oppenheimer approximation , change of variables allows us to study a slow oscillator by an adiabatic approximation of the classical trajectory @xmath18 cf .  appendix  [ sec.:gen_mod ] . in this approach ,
the typical timescale of the oscillator movement is slow compared to the electronic transition rates . in the subsequent , when having introduced the angular oscillator frequency by @xmath19 and electron transition rates by @xmath20 , @xmath21 we have to satisfy the condition @xmath22 , @xmath21 .    in the next step ,
we derive a stochastic equation of motion for the classical trajectory , taking into account the propagation of the initial reduced density matrix , cf .  appendix  [ sec.:gen_mod ] .
the key step here is a cluster expansion to quadratic order in the off - diagonal path @xmath23 that describes the gaussian fluctuations around the classical oscillator trajectory , where the fluctuations are determined by the properties of the non - equilibrum environment . to achieve a self  consistent equation of motion
, we then re - insert the full time  dependence of the fixed classical trajectory in accordance with the adiabatic approximation and end up with the langevin equation    @xmath24(t ) \rangle } }          + \dot x_t a[x](t ) = \xi_t\label{eq.:gen_model_langevin}.      \end{aligned}\ ] ]    here the interaction picture of the electronic operator is given by @xmath25(t ) = \exp[i(\mathcal h_{\rm e}-\hat f x)t]\hat f\exp[-i(\mathcal h_{\rm e}-\hat f x)t]$ ] , and @xmath26 is a stochastic force with zero mean and the correlation function @xmath27(t)\delta\tilde f[x](t ' ) \rangle}}.      \end{aligned}\ ] ] the fluctuation of the electronic operator is defined by @xmath28(t)=\tilde f[x](t)-{\ensuremath{\langle \tilde f[x](t ) \rangle}}$ ] . the friction @xmath29 $ ] is given by @xmath30(t ) & = 2\int_{t_0}^{t}dt'\;t'\;{\ensuremath{\operatorname{im}}}{\ensuremath{\langle \delta\tilde f[x](t)\delta\tilde f[x](t ' ) \rangle}}.      \end{aligned}\ ] ] in the following we choose @xmath31 as initial time .
for the specific cases of single and double dots , we checked that the upper integration boundary can be extended to infinity .
the ahm combines a single bosonic mode with a simple electronic transport system .
we describe the bosonic part in first quantisation as @xmath32 with the bosonic position and momentum operators @xmath33 and @xmath4 , the phonon frequency @xmath19 and the phonon mass @xmath8 .
the oscillator length is defined by @xmath34^{1/2}$ ] .
the electronic part is a single dot level confined between two leads : @xmath35 the dot level has energy @xmath36 and creation / annihilation operators @xmath37/@xmath38 .
the operators @xmath39/@xmath40 create / anihilate electrons with momentum @xmath41 and energy @xmath42 in a free electron gas in the left ( @xmath43 ) or right ( @xmath44 ) lead .
electronic transitions are possible with amplitude @xmath45 between the dot and a state in the lead . between the two subsystems
there is a simple linear coupling with coupling constant @xmath46 , such that the total hamiltonian reads @xmath47 for convenience we introduce the dimensionless coupling constant : @xmath48 + here , we regard spinless electrons . note that the generalization to a model including both spin directions requires an onsite interaction term like @xmath49 . in the following ,
we only consider non  interacting electrons .
a physical realization of the model discussed here would correspond to either spin polarized electrons or a coupling to the oscillator that effects only electrons of one certain spin direction .
sketch of the ahm model .
two leads ( grey bars ) with chemical potentials @xmath50 , @xmath51 embed the dot level which couples to an oscillator . here
@xmath52 is the bias voltage and @xmath53 the electron charge .
the level energy @xmath36 is shifted by the oscillator position @xmath54 , the shifted level energy @xmath55 is stationary , if the oscillator force @xmath56 and the electron force @xmath57 \rangle}}$ ] are in balance . here
@xmath8 and @xmath19 describe the oscillator mass and angular frequency , and @xmath46 ( g ) denotes the coupling constant , cf .
eq .. for sufficiently small tunneling rates @xmath20 , @xmath21 the stable stationary level energies ( dashed lines ) are located at @xmath58 .
the instable points of @xmath59 ( dotted lines ) are located around the chemical potentials . ]
when applying our generic form   to the ahm , we obtain the langevin equation @xmath60(t ) & = \xi_t \label{eq.:set_langevin_eq }      \end{aligned}\ ] ] with the effective force @xmath61 and the friction @xmath29 $ ] : @xmath62,\nonumber\\      a[x](t ) & = 2 \lambda^2 \int_{t_0}^{t}dt'\;t '          { \ensuremath{\operatorname{im}}}{\ensuremath{\langle \delta\tilde n(t)\delta\tilde n(t ' ) \rangle}}.      \end{aligned}\ ] ] the effective force has two contributions ; a term proportional to the elongation ( hooke s law ) and the electron force which is proportional to the dot occupation ; which only contributes if the dot is occupied . the friction term @xmath63 $ ] results from stochastic electron jumps between the leads and the dot
.     left ) density plot of the effective oscillator potential @xmath64 as a function of oscillator position @xmath65 and @xmath52 in units of @xmath19 and @xmath66 with the parameters @xmath67 , @xmath68 , @xmath69 and @xmath70 . for increasing bias voltage , the effective
potential shows two , three , two and one minima .
this different regions are separated by white lines at @xmath71 . right ) @xmath64 and the two contributions @xmath72 , @xmath73 to the force @xmath61 at bias voltages ( symmetric choice ) @xmath74 .
@xmath64 exhibits extrema where the two force contributions ( grey and dashed line ) are in balance .
the width of the center plateau in the electronic force contribution @xmath75 grows with increasing bias voltage @xmath52 , cf .
fig .   for the intermediate occupation @xmath76 . for sufficiently high bias voltage
only one minimum remains . ]    for finite bias voltage , figure  [ fig.:set_force_balance ] shows the positions of the dot energy level and the points of instable balance , which result from the balance of both forces .
the effective force and therewith the oscillator potential are determined by the dot occupation @xmath77 , whereas the friction and the stochastic force correlation @xmath78 depend on the imaginary / real part of the dot correlation function . the dot correlation function in terms of the lesser and greater green s function ( which are derived in appendix  [ sec.:ahm_corr ] )
reads @xmath79          the occupation of the dot is calculated in an adiabatic approach with the help of the lesser green s function @xmath80 , cf .
appendix [ sec.:ahm_corr ] , where we assume constant tunneling rates @xmath81 . for finite temperatures ,
the dot occupation reads @xmath82 whereby @xmath83 stands for the inverse temperature , @xmath84 is a short notation for @xmath85 , @xmath86 denotes the chemical potetials and @xmath87 .
@xmath88 designates the digamma function . by integration
we obtain the effective potential @xmath89\bigg|_{\xi=\frac12 + \frac{\beta\gamma}{4\pi}}\ ;          + \frac12 \frac{x}{l_0}\bigg[\frac{x}{l_0}-g\bigg]\omega_0 ,      \end{aligned}\ ] ] with @xmath90 denoting the gamma function . in the absence of friction
the dynamics of the oscillator is determined by the effective potential @xmath91 .
the high temperature case is of minor interest , because the temperature washes out the structures of @xmath91 .    in fig .
[ fig.:set_density_composed_sliced ] we present features of the effective potential @xmath91 at zero temperature .
@xmath91 has minima when the effective force @xmath92 is zero .
this is the case when the oscillator force and the electron force are in balance .
we plot the two contributions to the effective force : the force @xmath72 is proportional to the displacement @xmath65 , the contribution @xmath73 results from the dot occupation ( scaled with @xmath93 ) and has two steps at @xmath94,\qquad\alpha\in\{\rm   l,\ ; r\}.      \end{aligned}\ ] ] in the upper part of fig .
[ fig.:set_density_composed_sliced ] we easily recognize that for large bias voltage there will be only one minimum at @xmath95 . by changing the bias voltage or the coupling strength
, we can reach situations where two minima at @xmath96 and at @xmath97 are added , like in the middle part of fig .
[ fig.:set_density_composed_sliced ] and also situations , where only the two minima at the side remain and the one in the middle vanishes , like in the bottom part of the  [ fig.:set_density_composed_sliced ] ( this agrees with mozyrsky et  al.@xcite ) . increasing bias voltage shifts the steps in @xmath73 apart , whereas increasing the coupling constant minimises the distance .
the positions of the minima / steps are exact in the zero rate limit ( @xmath98 , @xmath99 ) where the averaged occupation is step  like . for finite rates , the steps smoothes out .
the form of the oscillator potential already hints towards the phase space spanned by position @xmath65 and momentum @xmath100 . in the absence of friction , the minima of the potential correspond to the fixed points of the oscillator motion .      the classical trajectory @xmath101 is obtained by neglecting fluctuations due to the stochastic force @xmath26 in ; therefore the equation of motion reads @xmath102(t)-f_{\rm
eff}({\ensuremath{\langle x_t \rangle } } ) \label{eq.:stochastical_eq_of_motion_cl } = 0 .
\end{aligned}\ ] ] in fig .
[ fig.:set_phase_space_comparison ] we show the effective potential and the friction , as well as the solutions of the classical equation of motion in phase space without and with friction .
the rows correspond to three different voltages leading to the three typical cases with one , three and two minima of the potential ( the latter case is investigated in @xcite ) .
the initial conditions are chosen for each phase diagram separately in order to make the characteristic shapes visible .
the phase diagrams without friction follow directly from the shape of the effective potential .
the trajectories including the friction follow the ones without friction for a while until a position with a peak in the friction is reached that produces a kink - like damping feature .
the friction causing the kinks is maximal , when the shifted energy level @xmath84 is in resonance with the chemical potentials @xmath103 ( fig .
[ fig.:set_force_balance ] ) , because at these points the average occupation switches and the electronic fluctuations and therewith the friction itself is very large .    between its peaks
the damping does not completely vanish at finite bias , so all phase space trajectories end up in spirals and reach stable fixed points after infinite time ( we have terminated all phase trajectories after the same time ) .
the position of the peaks ( instable fixed points ) separates the stable fixed points . in the two minima case ( @xmath104 in fig .
[ fig.:set_phase_space_comparison ] ) the left fixed point corresponds to the zero occupied electronic level in fig .
[ fig.:set_force_balance ] and the right fixed point to the fully occupied level . for increasing bias voltage ,
the friction splits and we obtain a third fixed point in between , corresponding to the average occupied state . for sufficiently high bias voltage ( large transport window ) only the average occupied state survives .
apart from the stable fixed points we also observe saddle points that repell the trajectories near the kinks where the damping is large .
they result from the kinks in the dot occupation ( fig .
[ fig.:set_density_composed_sliced ] , right ) and correspond to the dotted lines in fig .
[ fig.:set_force_balance ] and the bright v - structure in fig .
[ fig.:set_density_composed_sliced ] , left . at large bias
the saddle points move out of the range of allowed positions , the same happens to the peaks in the friction . at infinite bias
the effective potential becomes a simple parabola and the friction vanishes completely ( this can be checked analytically ) .
the dqd that we treat in this section consits of two single dot levels coupled by a tunnel barrier .
again we assume a coupling to a single bosonic mode .
the total hamiltonian is composed of the oscillator part @xmath105 , cf .
eq .  , the electronic part @xmath106 and an interaction part which describes the coupling between the oscillator and the two dots .
in contrast to the ahm , here the oscillator couples to the difference of the occupation numbers with the coupling strength @xmath46 .
the total hamiltonian therefore reads @xmath107 containing the electronic part @xmath108 .
\end{aligned}\ ] ] in this model , @xmath109/@xmath110 denotes the creation / annihilation operator of the @xmath111th ( @xmath112 ) dot .
@xmath113 designates the corresponding level energy and @xmath114 describes the tunnel coupling matrix element between the two dots .
note that we include no coulomb interaction terms here .
the stationary average of the population difference @xmath115 corresponds to the electronic force operator @xmath7 of the generic model , eq . .
the occupation of the @xmath111th dot @xmath116 can be calculated by using keldysh s equation , see section  [ sec.:dqd_green ] . therewith the occupation difference of the left / right dot follows from @xmath117 ,         \end{aligned}\ ] ] with the abbreviations @xmath118 and @xmath119 ,       \hspace{0.2 cm } b= \big[{\ensuremath{|t_c|}}^2+\tilde\nu_{\rm l}^2+(\gamma/4)^2\big ] ,      \end{aligned}\ ] ] whereas we assumed @xmath120 .
calculating the integrals leads to @xmath121 .
\nonumber\\      \end{aligned}\ ] ] they are expressed in terms of the auxiliary functions @xmath122 defined in appendix  [ sec.:dqd_aux_int ] .      when applying the generic model , cf .
, to the dqd hamiltonian @xmath123 , we obtain the langevin equation @xmath60(t ) & = \xi_t \label{eq.:dqd_stoch_motion_eq }      \end{aligned}\ ] ] with the effective force @xmath61 and the friction @xmath29(t)$ ] .
in contrast to the ahm , the effective force is affected by the population difference and not only by the occupation number .
explicitly , @xmath124(t ) & = 2\lambda^2 \int_{t_0}^{t}dt'\;t '          { \ensuremath{\operatorname{im}}}{\ensuremath{\langle \delta\tilde\sigma_z(t)\delta\tilde\sigma_z(t ' ) \rangle}}\label{eq.:def_dqd_friction}.      \end{aligned}\ ] ] in appendix  [ sec.:dqd_friction ] we derive the explicit expression for the friction . in the case of infinite bias ( ib ) and @xmath120
we obtain @xmath125(t ) = - 8 \ \left|t_{c}\right|^{2 } \frac{\lambda^{2}}{\gamma } \
\widetilde{\nu}_{\rm l }   \          \frac{\widetilde{\nu}_{\rm l}^{2 } + \left|t_{c}\right|^{2 } + 5 \frac{\gamma^{2}}{16}}{\left(\widetilde{\nu}_{\rm l}^{2 }           + \left|t_{c}\right|^{2 }           +   \frac{\gamma^{2}}{16}\right)^{3}}.\ ] ] in contrast to the ahm the friction does not disappear for infinite bias .
the second difference that we can recognise by regarding the prefactor @xmath126 is that we obtain regions where the friction is _
negative_. the latter also holds for the finite bias case .
the real part of the correlation function according to the population difference @xmath127 determines the correlation function of the stochastic force @xmath128(t)\delta\tilde \sigma_z[x](t ' ) \rangle}}\label{eq.:dqd_stoch_forces_average } ,      \end{aligned}\ ] ] with fluctuation @xmath129(t)=\tilde\sigma_{z}[x](t)-{\ensuremath{\langle \tilde\sigma_{z}[x](t ) \rangle}}$ ] .
the effective potential determines the behavior of the oscillator trajectories in the phase space ( @xmath130@xmath65plane ) , as seen in section  [ subsec.:ahm_eff_pot ] for the anderson holstein model . in the following we examine the differential equation of the system by studying its fixed points @xcite . some further theoretical details of this kind of investigation
are explained in appendix [ sec.:dqd_fix_point ] .
for the double dot we obtain the dynamical system @xmath131(t ) \right].\quad
\end{aligned}\ ] ] fixed points occur under the condition @xmath132 , i.e. @xmath133 and following from that , the fixed points position coordinates are equal to the roots of the effective force @xmath134 the jacobian matrix is obtained from    @xmath135 & - a[{\ensuremath{\langle x^{\ast } \rangle } } ] \\
\end{array }          \right)$ ]    evaluated at the fixed point @xmath136 , whereby @xmath137 .
+ determinant @xmath138 and trace @xmath139 become @xmath140 , \hspace{0.3 cm }          \tau =   - a[{\ensuremath{\langle x^{\ast } \rangle}}].\ ] ] the trace decides about the stability of a fixed point and is equal to the negative friction here . for the case without friction
the trace is equal to zero , therefore only centers occur in the phase plane . in the case with friction
the trace can be either positive or negative leading to both , stable and unstable fixed points .
for comparison see figure [ fig.:dqd_phase_space_comparison ] , where row a depicts the results of a fixed point analysis .
the effective force @xmath61 is plotted in the upper part of each plot in row a together with trace and determinant . therewith the characteristics of the fixed points are determined and it is possible to predict the shape of the phase space portrait . in the lower parts of the plots in row a these predictions are illustrated , fixed points are marked by black lines . for small tunnel coupling @xmath141 ( diagram a1 )
we obtain seven fixed points .
these can be characterised as three stable and one unstable spirals , each seperated by one of the three saddle points .
stable spirals correspond to the different rest positions for the oscillator and the saddle points to the points of instable balance .
increasing the tunnel coupling leads to five fixed points . in graph a2
we obtain a stable spiral in the middle enclosed by two saddle points and followed by a stable spiral on each side . in the diagrams a3 and a4 the mean point changes to an unstable spiral . with further increased tunnel coupling ( a3 ) there
remain only three fixed points and for even higher values of @xmath141 ( a4 ) the number of zeros in the effective force reduces to one . for the oscillator
the latter means that it is shifted to a new rest position independent from its inital position .      in figure [ fig.:dqd_phase_space_comparison ]
the rows b and c depict phase space portraits for the double dot system without and with friction .
the four columns correspond to four different values of the tunnel coupling @xmath141 . as initial condition ,
the momentum was set to zero and the positions were chosen in order to show the various shapes of the trajectories . in the case without friction
we recognize periodic cycles which are stable and run around one or more fixed points .
these centers were also expected from the analysis in section [ subsec.:dd_fix ] .
the fixed points correspond to certain states of the double dot system . if the left dot is occupied the rest position of the oscillator is shifted to the right and correspondingly to the left for an occupied right dot .
these points turn to stable spirals when the friction is turned on .
the states when both dots are occupied or empty correspond to the fixed point in the middle .    the lowermost row shows what happens when we include the friction in our calculations .
in contrast to the single dot system , here the friction has positive as well as negative values depending on the position of the oscillator .
this means that the oscillator is either decelerated or accelerated .
both can be interpreted as inelastic jumps of the electrons , where energy is transfered between the electrons and the oscillator in both directions like it has been observed in @xcite . there , the authors consider a resonator coupled to a superconducting single electron transistor ( sset ) . as a result of the interplay of positive and negative damping in a certain parameter range they observed limit cycles and bistability in the phase plane , in our work we obtain a likewise behaviour for the oscillator .
in contrast to our semiclassical approximation they investigate the wigner function of the system with numerical master equations .
they compare these results to a mean field evaluation of the expectation value of the oscillator position @xcite . for weak coupling the mean field approach
gives quantitatively correct results , and for higher coupling it still describes the dynamics qualitatively correct .
these results suggest that our use of average oscillator positions and momenta is qualitatively correct for a description of the oscillator instabilities .
consider again row c in figure [ fig.:dqd_phase_space_comparison ] , where the results for the dynamics of the oscillator with friction are plotted .
the outer left and right stable spiral do not change by increasing the tunnel coupling @xmath141 . by contrast
the oscillator s behaviour between these stable rest positions changes a lot . in graph
c1 we observe a stable and an unstable spiral , like we expect from the fixed point analysis . in the neighbourhood of the unstable fixed point
the friction is negative , so the oscillator trajectory is repelled and ends up in the right stable spiral . in diagram c2 we recognize that the latter path becomes stable .
the limit cycle appears when the unstable spiral has disappeared and exists as long as the tunneling coupling is in the range of @xmath142 .
there we observe a bistability : as the initial position gets closer to the fixed point the limit cycle turns into a stable spiral . by further increasing @xmath141 ,
the middle spiral becomes unstable and a second limit cycle appears ( c3 ) .
this limit cycle with a smaller radius exists in the range of @xmath143 . for @xmath144 the system undergoes a hopf bifurcation @xcite , which happens when a pair of complex eigenvalues from the dynamical system , which determine the evolution in the phase plane , see section [ sec.:dqd_fix_point ] , cross the imaginary axis from the left to the right half - plane . in other words , the trace @xmath139 changes its sign and at the bifurcation point the eigenvalues are purely imaginary @xmath145 , see equation . in the last graph of row
c both limit cycles have disappeared and the oscillators path ends up in the left or right stable point .    in our calculations
we choose @xmath146 , standing in some contrast to our adiabatic approach , which implies a slow oscillator ( @xmath147 ) . if @xmath148 the interaction between the current and the oscillator is strongest @xcite , because both act on the same timescale .
interesting effects still appear with a slightly enlarged @xmath149 like in our plots , but for @xmath147 there remains only one stable spiral .
this means , that the oscillator rest position is shifted from its ground position caused by the stochastic processes initiated by the current .
we presume that our approach is useful also for a comparative fast oscillator and we will accomplish further investigations with a non - adiabatic approximation to reconsider our results .
we have derived a stochastic equation of motion that describes the dynamics of a single oscillator coupled to an electronic environment out of equilibrium .
we studied two cases , namely the single dot level and double dot ( two  level ) electronic system . for both cases
we have explained the features of effective potential and friction for the ensemble averaged oscillator motion .
the effects we recognize fit well together with former works . in the dqd model limit cycles and bistabilities appear .    until now the master equation has been used for most investigations of the oscillator behaviour in nems .
we have used a method that gives us access to regions where the master equation has problems : we naturally include finite bias , and arbitrary electron coupling to external reservoirs .
we had to stay in a regime with a relatively fast oscillator in order not to miss the interesting physical effects .
the validity of our method in this regime could still be improved with a non - adiabatic calculation .
this work was supported by project dfg br 1528/5 - 2 , the we heraeus foundation and the rosa luxemburg foundation .
we acknowledge discussions with c. emary .
the reduced density matrix @xmath150 , obtained from the total density matrix @xmath11 by tracing out the bath degrees of freedom , describes the mechanic subsystem @xmath151 , cf .  .
by using a factorising initial condition @xmath152 the elements of the reduced density matrix can be expressed in a path integral representation@xcite @xmath153(\tau)\label{eq.:red_dense_matrix_path_rep}.      \end{aligned}\ ] ] hereby @xmath154 $ ] denotes the classical action in the path integral for  eq .   and the feynman
vernon influence functional is defined by @xmath155(t_0,t)={\ensuremath{\operatorname{tr}}}_{\rm b}\big\{\hat u^\dag[q'](t , t_0)\hat u[q](t , t_0)\rho_{\rm b}\big\}.      \end{aligned}\ ] ] the time
evolution operators are defined by @xmath156(t , t_0)={{\ensuremath{\operatorname{t}_{\leftarrow}}}}\exp\big[-i\int_{t_0}^{t}dt'\ ; \mathcal{h}_{\rm res}[q](t')\big ]      \end{aligned}\ ] ] corresponding to the reservoirs @xmath157(t)=\mathcal{h}_{\rm e}-\hat f q_t$ ] . in the next step
we establish an effective interaction picture by @xmath158(t , t_0 )      & = e^{i\mathcal{h}_0(t - t_0 ) } \ ; \hat u[q](t , t_0)\nonumber\\      & = { { \ensuremath{\operatorname{t}_{\leftarrow}}}}\exp\big[-i\int_{t_0}^{t}dt'\;\tilde v[q](t')\big],\nonumber\\      \tilde v[q](t)&=          e^{i\mathcal{h}_0(t - t_0 ) }           v[q](t ) e^{-i\mathcal{h}_0(t - t_0 ) } \label{eq.:gen_time_evol}.      \end{aligned}\ ] ] hereby the reservoir is decomposed in an unperturbed part @xmath159 and the perturbation @xmath160(t)=
-\hat f(t{\dot x}_0+\frac12 y_t)$ ] and @xmath161(t)= -\hat f(t{\dot x}_0-\frac12 y_t)$ ] , where we wrote @xmath162 using the adiabatic approximation .    by using eq .  , the influence functional can be expanded to second order in perturbation theory . denoting @xmath163 , @xmath164(t_1)$ ] and @xmath165(t_1)$ ] , the feynman
vernon influence functional reads @xmath166(t_0,t ) = { \ensuremath{\langle \tilde u[q'](t , t_0)\tilde u[q](t , t_0 ) \rangle}}\nonumber\\[1ex ]      & = { \ensuremath{\langle           \big[{{\ensuremath{\operatorname{t}_{\rightarrow}}}}e^{i\int_{t_0}^{t}dt_1\;\tilde v'_1}\big ]          \big[{{\ensuremath{\operatorname{t}_{\leftarrow}}}}e^{-i\int_{t_0}^{t}dt_1\;\tilde v_1}\big ]           \rangle}}\nonumber\\      & = 1 + i\int_{t_0}^{t}dt_1\;{\ensuremath{\langle \tilde v'_1-\tilde v_1 \rangle}}\nonumber\\      & \hspace{2ex}+\int_{t_0}^{t}dt_1\int_{t_0}^{t_1}dt_2\ ;          { \ensuremath{\langle ( \tilde v'_1-\tilde v_1)\tilde v_2-\tilde v'_2(\tilde v'_1-\tilde v_1 ) \rangle}}.      \end{aligned}\ ] ] when plugging in the definition of the perturbation ( interaction picture ) and taking into account that the force operator @xmath7 is hermitian , we obtain @xmath167(t_0,t )          = 1 + i\int_{t_0}^{t}dt_1\;y_{t_1}\nonumber\\      & \hspace{2ex}\times          \bigg[{\ensuremath{\langle \tilde f(t_1 ) \rangle } } -2\dot x_0 \int_{t_0}^{t_1}dt_2\;t_2          { \ensuremath{\operatorname{im}}}{\ensuremath{\langle \tilde f(t_1)\tilde f(t_2 ) \rangle}}\bigg]\nonumber\\      & \hspace{2ex}-\int_{t_0}^{t}dt_1\int_{t_0}^{t_1}dt_2\;y_{t_1 }          { \ensuremath{\operatorname{re}}}{\ensuremath{\langle \tilde f(t_1)\tilde f(t_2 ) \rangle}}y_{t_2 } \label{eq.:gen_influece_functional}.      \end{aligned}\ ] ] performing a cluster expansion @xcite , the influence functional can be expressed in terms of the influence phase @xmath168(t_0,t)\equiv\nonumber\\      & \hspace{2ex}-\ln\mathcal{f}[x+y/2,x - y/2](t_0,t )          = - i\int_{t_0}^{t}dt_1\;y_{t_1}\nonumber\\      & \hspace{2ex}\times          \bigg[{\ensuremath{\langle \tilde f(t_1 ) \rangle } } -2\dot x_0 \int_{t_0}^{t_1}dt_2\;t_2          { \ensuremath{\operatorname{im}}}{\ensuremath{\langle \delta\tilde f(t_1)\delta\tilde f(t_2 ) \rangle}}\bigg]\nonumber\\      & \hspace{2ex}+\int_{t_0}^{t}dt_1\int_{t_0}^{t_1}dt_2\;y_{t_1 }          { \ensuremath{\operatorname{re}}}{\ensuremath{\langle \delta\tilde f(t_1)\delta\tilde f(t_2 ) \rangle}}y_{t_2 } ,      \end{aligned}\ ] ] whereby @xmath169 denotes the fluctuation around @xmath170 .
this equation can be easily verified by expanding the exponential @xmath171(t_0,t)]$ ] to second order in perturbation theory and comparing with eq .  .
together with the classical action , we define an effective action functional by @xmath172 ( t_0,t )          { \ensuremath{\mathrel{\mathop:}=}}s_{x+y/2 } - s_{x - y/2 } + i\phi[x , y](t_0,t)\nonumber\\      & = \int_{t_0}^t dt_1\ ; \big [          m \dot x_1 \dot y_1 -v_{\rm osc}(x_1+\frac{y_1}{2})+v_{\rm osc}(x_1-\frac{y_1}{2 } )      \big]\nonumber\\      & \hspace{2ex}+ i\phi[x , y](t_0,t ) ,      \end{aligned}\ ] ] whereby the reduced density matrix expressed in terms of the new variables , eq . , reads @xmath173 ( t_0,t)}.      \end{aligned}\ ] ] in a semiclassical approach we assume small deviations of the off  diagonal trajectories @xmath174 from the diagonal ones .
thus the potential difference leads in second order in @xmath174 to @xmath175 this approximation is exact for quadratic potentials , as we treat in this paper . furthermore , with the boundary conditions @xmath176 and integration by parts the effective action functional is quadratic in @xmath174 , @xmath172 ( t_0,t )          = -\int_{t_0}^t dt_1\;y_1 \bigg [              m \ddot x_1   + v'_{\rm osc}(x_1 ) -{\ensuremath{\langle
\tilde f(t_1 ) \rangle } }      \nonumber\\      & \hspace{2ex}+2\dot x_0 \int_{t_0}^{t_1}dt_2\;t_2{\ensuremath{\operatorname{im}}}{\ensuremath{\langle \delta\tilde f(t_1)\delta\tilde f(t_2 ) \rangle } }
\bigg]\nonumber\\      & \hspace{2ex}+ i\int_{t_0}^{t}dt_1\int_{t_0}^{t_1}dt_2\;y_1          { \ensuremath{\operatorname{re}}}{\ensuremath{\langle \delta\tilde f(t_1)\delta\tilde f(t_2 ) \rangle}}y_2]\nonumber\\      & \equiv -\int_{t_0}^t dt_1\;y_1 k_1[x ]          + \frac{i}{2}\int_{t_0}^{t}dt_1\int_{t_0}^{t_1}dt_2\;y_1 l_{1,2}[x]y_2 \label{eq.:gen_action_functional}.      \end{aligned}\ ] ] completing the square of the integral kernel @xcite @xmath177\}$ ] , the resulting path integral describes a stochastic process with langevin equation @xmath178 & =          m \ddot x_t   + v'_{\rm osc}(x_t ) -{\ensuremath{\langle
\tilde f(t ) \rangle}}\nonumber\\      & \hspace{2ex } + 2\dot x_0 \int_{t_0}^{t}dt'\;t'\;{\ensuremath{\operatorname{im}}}{\ensuremath{\langle \delta\tilde f(t)\delta\tilde f(t ' ) \rangle } } = \xi_t       \end{aligned}\ ] ] with @xmath26 a gaussian stochastic force . to obtain a selfconsistent equation of motion ,
we finally replace @xmath179 by @xmath17 .
this substitution concerns also the unperturbed hamiltonian which leads to @xmath180 .
the langevin equation then reads @xmath181 the term quadratic in @xmath174 in eq .
determines the correlation function of the stochastic force , @xmath182
the single dot lesser green s function without coupling in energy space is@xcite @xmath183 here we have used the adiabatic approximation for the center of mass coordinate , thus the coupling to the oscillator simply shifts the level @xmath36 by @xmath184 , so we have to replace @xmath36 by the shifted energy @xmath185 .
the greater green s function is correspondingly @xmath186+\gamma_{\rm r}[1-f_{\rm r}(\omega ) ] }          { ( \omega-\tilde\varepsilon)^2+\gamma^2/4}\nonumber\\      & = g^<(\omega )           -i\frac{\gamma}{(\omega-\tilde\varepsilon)^2+\gamma^2/4}.      \end{aligned}\ ] ] hereby @xmath187 $ ] denote fermi functions with lead index @xmath111 , inverse temperature @xmath83 and chemical potential @xmath86 .
the time - dependent green s functions are obtained by fourier transformation as @xmath188 . in the zero
temperature limit we have to replace @xmath189 .
then for @xmath190 an integration leads to @xmath191{\ensuremath{|t|}}\big\}{\ensuremath{\operatorname{sgn}}}(t)\nonumber\\      & \hspace{2ex}+e^{-\gamma/2{\ensuremath{|t|}}}{\ensuremath{\operatorname{e_1}}}\big\{[i\omega_\alpha{\ensuremath{\operatorname{sgn}}}(t)-\gamma/2]{\ensuremath{|t|}}\big\}{\ensuremath{\operatorname{sgn}}}(t)\nonumber\\      & \hspace{2ex}\pm 2\pi ie^{-\gamma/2{\ensuremath{|t|}}}\theta(\pm\omega_\alpha )          \bigg]\bigg|_{\omega_\alpha=\mu_\alpha-\varepsilon_x } ,      \end{aligned}\ ] ] where the first exponential integral is defined by @xmath192 for the case @xmath193 the lesser greens function reads @xmath194 .
\end{aligned}\ ] ]    for finite temperature one has to regard fermi functions instead of the heaviside theta function . by virtue of the residue theorem one
finds @xmath195 with the digamma function @xmath88 .
the green s functions in the frequency domain according to the hamiltonian in equation  ( [ eq.:h_dqd ] ) is derived via the equation of motion method . there
the green s function @xmath196 is defined as resolvent of the hamiltonian @xmath197 via @xmath198 denoting the bath states with @xmath199 the previous equation yields @xmath200 taking the matrix elements and inserting the hamiltonian leads to a set of equations , from whom the green s functions are derived . + here , the electron - phonon coupling is described adiabatically , so the interaction part @xmath201 came in by shifting the dot level energies @xmath202 with @xmath203 .
finally the dot green s function is given through @xmath204 with the elements @xmath205 \left[\omega - \widetilde{\nu}_{\rm{r } } - \sigma_{\rm{r}}(\omega)\right ] - \left|t_{c}\right|^{2 } } \nonumber \\
g_{\rm{rr}}(\omega ) & = & \frac{\omega - \widetilde{\nu}_{\rm{l } } - \sigma_{\rm{l}}(\omega)}{\left[\omega - \widetilde{\nu}_{\rm{l } } - \sigma_{\rm{l}}(\omega)\right ] \left[\omega - \widetilde{\nu}_{\rm{r } } - \sigma_{\rm{r}}(\omega)\right ] - \left|t_{c}\right|^{2 } } \nonumber \\
g_{\rm{lr}}(\omega ) & = & \frac{t_{c}}{\omega - \widetilde{\nu}_{\rm{l } } - \sigma_{\rm{l}}(\omega ) } \
g_{\rm{rr}}(\omega ) \nonumber \\
g_{\rm{rl}}(\omega ) & = & \frac{t^{\ast}_{c}}{\omega - \widetilde{\nu}_{\rm{r } } - \sigma_{\rm{r}}(\omega ) } \ g_{\rm{ll}}(\omega )      \end{aligned}\ ] ] hereby we introduced the self energy @xmath206 corresponding to the left or the right dot with @xmath207 @xmath208 is the undisturbed green s function for the leads .
we derive the associated retarded and the advanced green s function by using the continuation rules @xmath209 the derivation of the lesser / greater green s function is taking usage of the keldysh equation : @xmath210 whereas we assume both dots initially unoccupied .
the lesser / greater self energy follows from @xmath211 .
\end{aligned}\ ] ]      the friction is determined by the imaginary part of the correlation function of the double dot . from equation , we start with expressing the correlation function through green s functions and use their fourier transforms : @xmath212(t ) \nonumber \\ & =   2 \lambda^{2 } \ \sum_{\alpha,\beta } \
\left[2 \delta_{\alpha,\beta } -1\right ] \                   \int dt ' \
t ' \ \frac{1}{2i } \ \ * \nonumber \\ & \hspace{0.5 cm }                  \left [ g_{\beta \alpha}^{<}(t'-t )   g_{\alpha \beta}^{>}(t - t ' )                        - g_{\beta \alpha}^{<}(t - t ' )   g_{\alpha \beta}^{>}(t'-t ) \right ] \nonumber \\ & =              \frac{\lambda^{2}}{\pi } { \ensuremath{\operatorname{im}}}\sum_{\alpha,\beta }   \left[2 \delta_{\alpha,\beta } -1\right ]                   \int d\omega_{1 } \int d\omega_{2 }   g_{\beta \alpha}^{<}(\omega_{1 } ) * \nonumber \\ & \hspace{0.5 cm } g_{\alpha \beta}^{>}(\omega_{2 } )                   e^{i ( \omega_{1 } - \omega_{2 } ) t }   ( -i )   \frac{\partial}{\partial \omega_{2 } }                                               \int \frac{dt'}{2\pi }   e^{-i(\omega_{1}-\omega_{2 } ) t ' } \nonumber \\ & =                  \frac{\lambda^{2}}{\pi }   \sum_{\alpha,\beta }                \left[2 \delta_{\alpha,\beta } -1\right ]   \int d\omega g^{<}_{\beta \alpha}(\omega )   \frac{\partial}{\partial \omega }                    g^{>}_{\alpha \beta}(\omega ) .
\end{aligned}\ ] ] in the last step a term was identified as the derivative of dirac s delta , this result agrees with the solution in the work by mozyrsky et al.@xcite .
+ the lesser / greater green s function keldysh equation follow from the keldysh equation and we consider the tunneling rates to be frequency independent , therefore the self energies are ( @xmath213 ) : @xmath214 because of the lengthy calculation , we just outline the calculation for the ll - term @xmath215 .
the other terms ( @xmath216 ) can be derived in a similar way .
here , the product of retarded and advanced green s functions equates the squared modulus of @xmath217 , so we can write @xmath218 for simplicity in the following we omit the superscript of the retarded greens function and abbreviate the moduli by @xmath219 we obtain for the first term of the friction    @xmath220   \nonumber \\ & = &               \frac{\gamma^{2}}{4 }       \int d\omega               \bigg [ { \ensuremath{|g_{\rm{ll}}(\omega)|}}^{2 }   \theta(\mu_{\rm{l } } - \omega )               + { \ensuremath{|g_{\rm{lr}}(\omega)|}}^{2 }   \theta(\mu_{\rm{r } } - \omega ) \bigg ] * \nonumber \\ & &               \bigg [ \left [ \frac{\partial}{\partial \omega }   { \ensuremath{|g_{\rm{ll}}(\omega)|}}^{2 } \right ]   \theta(\omega - \mu_{\rm{l } } )              + { \ensuremath{|g_{\rm{ll}}(\omega)|}}^2   \delta(\omega - \mu_{\rm{l } } ) +               \left[\frac{\partial}{\partial \omega } { \ensuremath{|g_{\rm{lr}}(\omega)|}}^{2 } \right ]   \theta(\omega - \mu_{\rm{r } } )               { \ensuremath{|g_{\rm{lr}}(\omega)|}}^{2 }   \delta(\omega - \mu_{\rm{r } } ) \bigg ] .
\nonumber \\          \end{aligned}\ ] ]    some parts of the integration terms can directly be evaluated with the help of the delta and heavyside functions . by choosing the condition @xmath221
, we get rid of a case distinction , which would be necessary for two product terms which included a delta - function . after performing also an integration by parts ,
we arrive at @xmath222    \bigg ] .
\end{aligned}\ ] ] in the following the green s functions , derived in section  [ sec.:dqd_green ] , were inserted , whereas we assume equal tunneling rates for the left and the right side , @xmath223 .
then a number of integrations by parts is performed to dispose of the derivation in the integral term .
so we obtain a closed expression , whereas @xmath224 abbreviates the denominator of the green s function @xmath225^{2}}{n(\mu_{\rm{l}})^{2 } } + \frac{\left| t_{c } \right|^{4}}{n(\mu_{\rm{r}})^{2 } } + \nonumber \\ & & \hspace{-0.5 cm }          2 \left| t_{c } \right|^{2 }   \frac{\left[(\mu_{\rm{r } } - \widetilde{\nu}_{\rm{r}})^{2 } + \frac{\gamma^{2}}{16}\right]}{n(\mu_{\rm{r}})^{2 } }          - 4   \left| t_{c } \right|^{2 }   \int\limits_{\mu_{\rm{r}}}^{\mu_{\rm{l } } } d\omega            \frac{(\omega - \widetilde{\nu}_{\rm{r}})}{n(\omega)^{2 } } \bigg ] .
\nonumber \\      \end{aligned}\ ] ] in an analogue way the other terms in can be derived , and finally the solution for the friction is    @xmath226(t ) & = &               \frac{\lambda^{2}}{\pi }   \frac{\gamma^{2}}{8 }               \bigg [ \frac{\left[(\mu_{\rm{l } } - \widetilde{\nu}_{\rm{r}})^{2 } + \frac{\gamma^{2}}{16}\right]^{2}}{n(\mu_{\rm{l}})^{2 } }               + \frac{\left[(\mu_{\rm{r } } - \widetilde{\nu}_{\rm{l}})^{2 } + \frac{\gamma^{2}}{16}\right]^{2}}{n(\mu_{\rm{r}})^{2 } }               + \frac{\left| t_{c } \right|^{4}}{n(\mu_{\rm{l}})^{2 } } + \frac{\left| t_{c } \right|^{4}}{n(\mu_{\rm{r}})^{2 } }               + 2 \left| t_{c } \right|^{2 }   \frac{\left[(\mu_{\rm{r } } - \widetilde{\nu}_{\rm{r}})^{2 } + \frac{\gamma^{2}}{16}\right]}{n(\mu_{\rm{r}})^{2 } }               \nonumber \\ & &               - 2 \left| t_{c } \right|^{2 }   \frac{\left[(\mu_{\rm{l } } - \widetilde{\nu}_{\rm{r}})^{2 } + \frac{\gamma^{2}}{16}\right]}{n(\mu_{\rm{l}})^{2 } }               - 4 \left| t_{c } \right|^{2 }   \frac{\left[(\mu_{\rm{r } } - \widetilde{\nu}_{\rm{r } } )                ( \mu_{\rm{r } } -\widetilde{\nu}_{\rm{l } } ) - \frac{\gamma^{2}}{16}\right]}{n(\mu_{\rm{r}})^{2 } }                  - 8 \left| t_{c } \right|^{2 } ( \widetilde{\nu}_{\rm{l } } -\widetilde{\nu}_{\rm{r } } )               \int\limits_{\mu_{\rm{r}}}^{\mu_{\rm{l } } } d\omega \ \frac{1}{n(\omega)^{2 } } \bigg].\nonumber \\          \end{aligned}\ ] ]    with the assumption @xmath227 we get : @xmath228 and the integral in equation is given trough @xmath229 in section [ sec.:dqd_aux_int ] .
the fixed points of a nonlinear two dimensional system can be investigated with standard methods for linear dynamical system @xcite .
+ the general solution for a two dimensional linear system @xmath230 is @xmath231 and so determined by the eigenvalues @xmath232 of the matrix a. the constants @xmath233 depend on the initial conditions and @xmath234 are eigenvectors .
+ the eigenvalues can be obtained from @xmath235 thereby @xmath139 corresponds to the trace and @xmath138 to the determinant of a. these two qualities determine the evolution of the trajectories in the phase plane . + for a fixed point @xmath236 the condition @xmath237 must be fulfilled .
various classes of fixed points exist , whereas the determinant @xmath138 decides which kind of point appears . in case of saddle
points the determinant is negative and it is positive for spirals or nodes .
the difference between a spiral and a node is that for the second one the eigenvalues have no imaginary part .
+ the trace @xmath139 defines the stability of nodes and spirals , this is caused by the fact that @xmath139 determines the sign of the eigenvalue s real part , for instance with negative real part decaying oscillations occur and the fixed point is stable , see equation .
there also exist some borderline cases , whereas the centers are the most significant ones , they occur when the trace is equal to zero .
+ this analysis can be assigned to a two dimensional nonlinear system @xmath238 . by assuming a small disturbance @xmath239 from a fixed point
, we can invest if this disturbance grows or decays by performing a taylor expansion @xmath240 the first term is zero and higher terms ( @xmath241 ) can be neglected because the disturbance is small .
so we get a linearised system @xmath242 , containing the jacobi matrix @xmath243 evaluated at the fixed point coordinates .
the above explained analysis can be performed for this system .
this is valid as long no borderline cases occur , then the higher terms may be more important .
@xmath244 , \nonumber\\[2ex ]                  \mathcal i_2(\mu , a , b )          & = \int_{-\infty}^\mu d\omega \frac{\omega}{\omega^4 + 2 a\omega^2+b^2 } \nonumber\\          & = \frac{1}{2\sqrt{a^2-b^2 } }              \bigg [                   + \frac12 \ln\big(\mu^2 + a-\sqrt{a^2-b^2}\big ) \nonumber\\          & \hspace{16ex}-\frac12 \ln\big(\mu^2 + a+\sqrt{a^2-b^2}\big )              \bigg ] , \nonumber\\[2ex ]                  \mathcal i_3(\mu , a , b )          & = \int_{-\infty}^\mu d\omega \frac{\omega^2}{\omega^4 + 2 a\omega^2+b^2 } \nonumber\\          & = \frac{1}{2\sqrt{a^2-b^2 } }              \bigg [                   -\sqrt{a-\sqrt{a^2-b^2 } }                  \arctan\big(\frac{\mu}{\sqrt{a-\sqrt{a^2-b^2}}}\big ) \nonumber\\          & \hspace{16ex}+\sqrt{a+\sqrt{a^2-b^2 } }                  \arctan\big(\frac{\mu}{\sqrt{a+\sqrt{a^2-b^2}}}\big ) \nonumber\\          & \hspace{16ex}-\frac\pi2\bigg (                      \frac{1}{\sqrt{\frac{1}{a-\sqrt{a^2-b^2 } } } } -\frac{1}{\sqrt{\frac{1}{a+\sqrt{a^2-b^2 } } } }                  \bigg )              \bigg ] ,    \nonumber\\[2ex ]                      \mathcal i_4(a , b )          & = \int d\omega \frac{1}{\left[\omega^{4 } + 2 a \omega^{2 } + b^{2 } \right]^{2 } } \nonumber\\          & = \frac{1}{8 b^{2}(b^{2}-a^{2 } ) }              \bigg [                               \frac{2 \omega ( b^{2}-2a^{2}-a \omega^{2})}{b^{2}+2a\omega^{2}+\omega^{4 } } \nonumber \\              & \hspace{16ex } -\frac{(a^{2}-3b^{2}+a \sqrt{a^{2}-b^{2 } ) } \arctan \frac{\omega}{\sqrt{a-\sqrt{a^{2}-b^{2 } } } } }                                                                  { \sqrt{a^{2}-b^{2 } } \ \sqrt{a-\sqrt{a^{2}-b^{2 } } } } \nonumber \\              & \hspace{16ex } + \frac{(a^{2}-3b^{2 } - a \sqrt{a^{2}-b^{2 } ) } \arctan \frac{\omega}{\sqrt{a+\sqrt{a^{2}-b^{2 } } } } }                                                              { \sqrt{a^{2}-b^{2 } } \ \sqrt{a+\sqrt{a^{2}-b^{2 } } } }                       \bigg ]
.    \label{eq.aux_definite_integrals }          \end{aligned}\ ] ]


there is a highly - compact cluster of blue stars @xcite at the heart of the m31 double nuclear - cluster of old stars .
@xcite showed that this blue cluster in turn hosts the @xmath4 super - massive black hole also known to reside in the nucleus @xcite .
@xcite argue that the integrated spectrum and spectral - energy distribution of the stars are consistent with their formation in a burst 200 myr ago .
young stars are also closely bound to the nuclear black hole in our galaxy @xcite , suggesting that this may not be a rare phenomenon .
understanding how apparently young stars were formed deeply interior to the tidal field of a supermassive black hole probes several issues of how stars and gas interact within such an extreme environment ( see @xcite for a review ) .
study of the blue cluster in m31 provides an additional context in which to test theories for the formation of the unusual population surrounding the milky way black hole .
there is a diversity of ideas for explaining the origin of the m31 blue cluster .
@xcite , for example , argue that the cluster is the expected consequence of the non - axisymmetric structure of the surrounding m31 nucleus funneling gas from stellar mass - loss into orbit around the black hole , where it periodically reaches surface densities sufficient to induce collapse and star formation .
likewise , @xcite , @xcite , and @xcite have advanced the formation of compact disks of young stars around the milky way black hole by massive central accretion of gas .
in contrast , @xcite argue that the blue stars in m31 result from stellar collisions and tidal stripping acting on an old population of stars interacting within the high - velocity orbits and strong tidal - field associated with the black hole .
we present new observations of the blue cluster obtained at the maximum angular resolution offered by the _ hubble space telescope _ to provide better constraints on the origin of the stars residing in this unusual environment .
the discovery of the blue cluster proceeded in stages .
@xcite imaged the nucleus of m31 with the hst faint object camera at 1750 , seeing a double structure similar to that discovered in the optical by @xcite . by the simple expedient of checking the position - angle of their images
, however , they discovered that the optically - dimmer peak , designated p2 by lauer et al .
, was actually brighter in the uv than p1 .
@xcite lacked @xmath5 sufficient to resolve the spatial structure of the uv source at p2 , noting only that it was highly - compact and possibly consistent with a point source , such as low - level emission associated with the weak agn detected in the radio @xcite , or emission from a single pagb star , such as those seen further out from the nucleus @xcite .
in retrospect , the discovery of a uv - bright nuclear source explains the observations of @xcite , who found the nucleus to have color gradient becoming _ bluer _ towards its center , using cfht images obtained at 3750 .
discovery of the cluster may also have been presaged by an enigmatic reference in @xcite to third - party unpublished `` mt . wilson material '' purporting to show that `` the spectrum of the nucleus is of a peculiar dwarf a type , '' a result supported by no other work prior to @xcite to the best of our literature research .
later hst observations by @xcite and @xcite were able to resolve the uv - source ; both papers argued that it is a cluster of stars . wfpc2/pc images at 3000  obtained by @xcite showed that the half - power radius of the blue source is @xmath6 pc . @xcite further combined their u and v band fluxes of the source with the @xcite fluxes at 1750   to conclude that the source is consistent with an a - star spectral energy distribution .
@xcite refined this picture further by obtaining hst stis spectroscopy of the nucleus over @xmath7 , and reanalyzing the f300w images presented in @xcite . the spectroscopy shows strong balmer lines , including a strong balmer break , consistent with either a0 main - sequence or giant stars , but not a population of white dwarfs of the same photospheric temperature . the best match to the spectrum
is provided by a @xmath8 myr population formed in a single burst .
populations of less than half this age would exhibit too much uv - flux to the blue side of the balmer break .
@xcite further show that the stars are distributed in a flat disk with an exponential profile of scale - length of @xmath9 pc in rapid rotation about the black hole .
the rotational broadening of the stis spectrum implies a black hole mass of @xmath10 a significant upwards revision from earlier determinations .      the m31 black hole and its cluster of blue stars mark the center of a much larger nuclear star - cluster of complex structure .
the surface brightness of the nuclear stellar system begins to rise above the underlying m31 bulge interior to @xmath11 or @xmath12 pc from the center .
the cluster becomes increasingly elliptical at smaller radii , with @xmath13 for @xmath14 but its isophotes remain concentric with the photo - center of the bulge for @xmath15 @xcite . at yet smaller radii
the nuclear cluster exhibits the double - peaked structure discovered by @xcite .
the optically - brighter peak , p1 , is offset by @xmath16 from the secondary brightness peak , p2 , and a slightly lesser amount from the m31 bulge photo - center .
the best explanation for the double morphology is that both peaks result from the line - of - sight projection of an eccentric disk of stars roughly @xmath17 pc in diameter bound to the black hole @xcite .
the black hole strongly dominates the potential , thus the stars in the disk follow keplerian orbits , spending most of their time at the orbital apo - center , creating an enhancement of light at p1 .
significantly , the p1p2 line twists away from the major axis of the outer nucleus by @xmath18 p1 and p2 are both redder in @xmath19 than the surrounding nucleus @xcite .
high spatial - resolution spectroscopy shows that both p1 and p2 comprise old stellar populations with characteristics more like each other , than the underlying bulge @xcite .
the `` tremaine disk '' thus appears to be a distinct component embedded in a much larger nuclear - cluster .
the initial model of the disk provided by @xcite has been refined by the more detailed analysis presented by @xcite .
an interesting feature of the refined model is that the disk requires a central hole in order to generate the apparent minimum of stellar emission that occurs between p1 and p2 .
the cluster of blue stars occurs at still smaller radii , @xmath20 and must be closely bound to the black hole , which was first inferred to exist from ground - based spectroscopy @xcite .
@xcite carefully registered their high spatial - resolution spectroscopy to the wfpc2 imagery of @xcite , concluding that the m31 black hole was coincident with the cluster and that both were within @xmath21 of the m31 bulge photo - center .
the conclusion that the cluster hosts the black hole was further confirmed by @xcite , who used stis spectroscopy to show that the central velocity dispersion in the cluster rises to @xmath22 with organized rotation peaking at @xmath23 building on the analysis of @xcite , they reduced the offset of the black hole from the bulge center to @xmath24 in the `` anti - p1 '' direction along the p1-p2 line .
they further demonstrated that this slight offset is balanced by the asymmetry of the tremaine disk  the center of mass of the complete nuclear system is coincident with the bulge photo - center to @xmath25    @xcite also designated the cluster as a third component , p3 , of the inner nucleus .
this designation includes a subtle redefinition of p2 as it previously had been introduced by @xcite and used by @xcite .
the center of the cluster is coincident with the peak of a shallow surface - brightness cusp seen in v - band that falls within @xmath26 of the bulge center ; it was this location that the two lauer et al .
papers adopted as the center of p2 .
@xcite , however , use p2 to denote the elongated and more diffuse concentration of older stars that extends from the cluster on the side opposite from p1 . in this schema , p1 and p2 explicitly correspond to the apo- and peri - center apses of the tremaine disk , which has a mean peri - center that is _ not _ coincident with the cluster .
the present environment of p3 appears to be largely quiescent , despite the immediate proximity of the black hole ( see the extensive discussion of this topic by * ? ? ?
@xcite find a weak radio source coincident with p3 , and @xcite find low - level x - ray emission associated with p3 , as well ( however , see * ? ? ?
on the other hand , a high spatial - resolution map of emission from ionized gas within in the nucleus finds a few sources within an arcsecond of p1 , but nothing coincident with p2 or p3 @xcite .
while central accretion of gas may have created the p3 stars in the past , there is no evidence that any significant reservoir of cold gas exists there at present .      under the @xcite description of p3 ,
the cluster is a disk comprising only a few hundred a - stars .
given the scale length of the disk , we concluded that it should begin to show resolution into discrete sources in images with slightly higher angular resolution than were obtained by @xcite , such as could be provided by the hst acs / hrc in the blue .
the photometry of the brighter sources might be obtained directly , but in any case , the full image of the cluster could also be analyzed by surface - brightness fluctuation ( sbf ) analysis @xcite to constrain the p3 stellar population .
if the cluster indeed comprises main sequence a stars , it would look `` lumpy '' in hrc images .
sbf could quantify the amplitude of the lumpiness , and in turn the typical luminosity of the stars that the cluster comprises .
we obtained images of the m31 nucleus under go - program 10572 , using the hst acs high resolution channel ( hrc ) , which provided the best angular resolution available on the telescope .
images were obtained in filters f330w ( @xmath0 ) ' to avoid confusing it with the standard johnson u - filter , which has a significantly different passband .
all magnitudes are on the vega system , expect as noted . ] and f435w ( b ) to best enhance the visibility of the blue cluster against the contrast of the older , redder population of the larger surrounding nucleus .
even the fine scale of the hrc ( @xmath27 ) undersamples the point - spread function ( psf ) in the blue , however ; we thus dithered the exposures in a @xmath28 square pattern of 0.5 pixel sub - steps ( respecting the different angular sampling - pitches of the two ccd axes ) . in detail , the b - band images were obtained in a single orbit comprising two dither - sets with a total of eight 298s exposures .
the two sets were offset by 3.5 pixels to reject hot - pixels and other fixed defects .
the reduced flux and sensitivity of the camera in the @xmath0-band required three orbits to obtain an adequate signal .
a complete dither set was obtained in each orbit for a total of 12 672s - exposures .
the three sets were offset from each other in an l - shaped pattern of @xmath29 steps , again to reject ccd defects .
the total peak signal levels per pixel are @xmath30 in p3 and @xmath31 in p1 for the @xmath0 image ; and @xmath32 in p3 and @xmath33 in p1 for the b image .
the goal of the image reduction was to produce a single summed - image for each filter with a @xmath34 finer scale , sufficient to ensure nyquist sampling . because the images were obtained with non - redundant pointings , the image construction was done in stages to eliminate cosmic ray events and other defects .
the sub - pixel dither - patterns were executed very precisely , thus each dither set could be simply interlaced to produce an initial up - sampled image at the given pointing , with the images within the set used to recognize and repair ( with interpolation ) cosmic - ray events by comparing any one image to its three neighbors .
the two b and three @xmath0 interlaced images were then combined into a single image for each filter .
this initial estimate of a nyquist - sampled image was then used in a repeat of the first reduction cycle to go back to and improve the initial detection and repair of cosmic ray events ( and fixed ccd defects ) in the source images .    with the second cycle of defect repair completed , the source images could be then combined more precisely to make a nyquist - sampled image directly , using the fourier - method of @xcite .
this procedure combines the images in the fourier domain to algebraically remove the aliased power present in the source images ; significantly , it handles departures from the optimal dither pattern and combines the complete data set into the optimal average nyquist - sampled image ( in a least - squares sense ) .
crucially , the @xcite method of image reconstruction is used in preference to _ drizzle _ @xcite .
the fourier - method requires no parametric choices and avoids the blurring inherent in _ drizzle _ reconstructions .
the final reduction step for the @xmath0 and b images was to reproject them to rectilinear sampling , removing the inherent angular shear and the rectangular @xmath27 pixels present in the native hrc image - sampling .
this was done with reference to the the stsci field - distortion tables for the hrc , which vary with filter .
sinc - function interpolation was used to compute the undistorted images .
this is the only appropriate interpolation algorithm to use for nyquist - sampled images ; it does not degrade the resolution in any way .
the final pixel scale of the images was selected to be @xmath35 which is 1/4 of the wfpc2/pc pixel scale , to allow for convenient comparison of the present hrc images to the v and i m31 nucleus images presented in @xcite .
the nyquist - sampled , rectified , and summed @xmath0 and b images of the m31 nucleus are presented in figures [ fig : u_fig ] and [ fig : b_fig ] .
the spatial resolution of the @xmath0 images is @xmath36 fwhm , or 0.15 pc at m31 , putting this among the highest resolution images obtained by _ hst .
_ as sharp as this psf width is , however , it is actually significantly broader than a purely diffraction - limited psf at 330 nm , which has @xmath37 fwhm .
this is due in part to the blurring associated with the hrc pixel - kernel ; however , psf deconvolution can largely correct for this , as well removing the wings of the psf , yielding nearly diffraction - limited images at both @xmath0 and b. figures [ fig : u_fig ] and [ fig : b_fig ] also show the nuclear images after 40 iterations of lucy - richardson @xcite deconvolution .
the psfs required were generated from bright stars present in the outskirts of the images .
tests presented in @xcite show that this deconvolution procedure is well - suited to recovering the intrinsic light distribution of the m31 nucleus .
the final fwhm after deconvolution is @xmath38 which corresponds to a physical resolution at m31 of 0.11 pc .
the uv - bright p3 star - cluster clearly dominates the @xmath0 image .
the cluster has a clumpy appearance in this filter , and further breaks up into apparently discrete sources in its outskirts ( about @xmath39 from the center of the cluster ) .
p3 is still bright in the b image ; however , it appears to be less clumpy and more concentrated .
as we show below , the source that appears to define the center of p3 ( s11 in table [ tab : stars ] ) is somewhat redder than the surrounding cluster , while the discrete sources in the cluster outskirts are especially blue .
the center of p3 thus increases in relative prominence going from the @xmath0 to the b band - pass .
the center of p3 also remains unresolved .
s11 , and a secondary maximum ( s07 in table [ tab : stars ] ) only offset from it by @xmath40 are both extended rather than stellar .
both sources likely comprise the blended light of several bright stars .    at large radii ,
both the @xmath0 and b images show the presence of a number of hot stars distributed throughout the nucleus .
all the images shown in this paper are limited to radii interior to the nucleus .
] this is the uv - bright stellar population observed by @xcite and @xcite , although these authors did not characterize sources within @xmath41 of the nucleus .
the visual impression is that the hot stars outside of p3 appear to be weakly concentrated about the cluster , but show no obvious correlation with the p1 or p2 concentrations of the tremaine disk .
p3 is much less prominent at redder band - passes .
it is essentially invisible at i - band , and shows up only weakly in v - band , as can be seen in figure [ fig : ubvi_fig ] , which compares the present hrc images to the wfpc2/pc images presented in @xcite . for this comparison ,
all four images were normalized to have the same surface brightness at the center of the diffuse p1 component .
the wfpc2/pc images had already been subsampled to a scale @xmath34 finer than that of the native pc - scale , and were readily shifted , interpolated , and rotated using sinc - function interpolation to a final scale @xmath42 finer than the native pc scale .
figure [ fig : color ] shows the @xmath43 b , and v images combined to make a representative color image .
the reddish color of the tremaine disk contrasts strongly with the hot blue p3 population . in passing , we note that the grainy texture of p1 , p2 , and the surrounding nucleus in the deconvolved images is due to strong intrinsic sbf .
close comparison of the b and v images show them to have correlated sbf patterns , an impressive agreement , given that the images were taken with different hst cameras , with differing psfs and pixel scales . at @xmath1 angular resolution the image `` noise '' characteristics are dominated by the finite number of stars making up the nuclear components , not the number of photons collected by the instruments .
the reduced visibility of p3 at v and i highlights the distinction between it and p2 , under the revised schema of @xcite .
p2 , which would now be considered to be the stellar emission associated with the _ peri - center _ portion of the tremaine disk , is visible in the v and i images as a highly elongated feature extending beyond p3 in the `` anti - p1 '' direction .
the centroid of this emission is clearly displaced from p3 .
figures [ fig : u_fig ] and [ fig : b_fig ] are shown as negative prints , while figure [ fig : ubvi_fig ] is given a positive gray - scale to offer some diversity in representing the inner nucleus .
the negative gray scale in the first two figures , for example , appears to accentuate the diffuse toroidal morphology of the tremaine disk .        to understand the properties of the p3 system
, we attempted to isolate it from the surrounding nucleus .
since the cluster is much less prominent at v and b or @xmath0 , we used the v image as a proxy for the `` background '' light distribution for both the b and @xmath0 images . the correct scaling required to subtract
the background was somewhat problematic , given variations in color among the different nuclear stellar populations .
as shown in @xcite , p1 is significantly redder than the outer nucleus , having @xmath44 with the portion of p2 outside p3 in the `` anti - p1 '' direction having an intermediate color .
a simple hypothesis is that the tremaine disk , which comprises both p1 and p2 , is redder than the outer portions of the nucleus .
p2 appears to be slightly bluer than p1 , since it has lower contrast against the underlying nucleus .
the redder color of the tremaine disk as compared to the surrounding nucleus means that there is no simple scaling of the v to the @xmath0 or b images that will yield a completely flat background around p3 .
scaling the v image to the outer nucleus in the @xmath0 image over - subtracts the tremaine disk , leaving large negative residuals at p1 , as well as somewhat reduced but still negative residuals in the p2 region immediately surrounding p3 .
conversely , scaling the two images by their p1 fluxes , leaves p3 in a significantly positive background .
our solution was to scale to the portion of p2 immediately outside the apparent extent of the p3 cluster in the anti - p1 direction .
this still yields a positive background in the outer nucleus , and negative residuals in p1 , but does produce a low background surrounding p3 .
we also `` clipped out '' residual portion of p3 still present at v , and slightly smoothed the image as well , to avoid biassing the measurement of the central fluxes of p3 in @xmath0 or b , or introducing artificial structure to either image .      the isolated p3 cluster before and after deconvolution in the @xmath0 and b filters is shown in figure [ fig : p3 ] .
this figure zooms into the cluster , ratifying the visual impression stated at the start of this section that the outskirts of the cluster breakup into individual point sources .
the deconvolved images show little diffuse emission outside the very center of the cluster .
close comparison of the @xmath0 and b images shows that the sources cover a range in color .
there are a number of sources that are readily visible in @xmath43 but nearly invisible in b ( which unfortunately give rise to large errors in the @xmath3 values of the sources ) .
the bright source , s11 , at the center of p3 is clearly extended , as is s7 , the source adjacent to it ; however , to the degree of resolution afforded by these observations , most of the other sources appear to be stellar .
measuring the fluxes of the p3 sources is difficult with traditional psf - fitting techniques , given the high degree of crowding and the strongly variable background .
instead , we used a novel procedure that measures stellar fluxes from aperture photometry on deconvolved images , which has been shown to work extremely well on nyquist - sampled acs / hrc images of m32 @xcite .
the methodology is to take the deconvolution of the @xmath0 and b frames to 640 lucy - richardson iterations .
this effectively transforms the observed psf into a highly compact `` deconvolved psf '' that essentially concentrates all of its flux to within a radius of @xmath45 aperture photometry is done on the sources in the resulting image , once the background nucleus light is subtracted off .
the resulting colors and magnitudes of the sources within 1 pc of p3 are mapped in figure [ fig : stars ] and listed in table [ tab : stars ] .
a comparison of this figure to the images in figure [ fig : p3 ] , ratifies the impression that the bluer sources occur on the outskirts of the p3 cluster .    interpreting the present photometry is complicated by the large color - terms required to bring the f330w into concordance with the standard johnson u band - pass .
based on the color equations presented by @xcite , for johnson @xmath46 we derive the transformation from the f330w to u bandpass as @xmath47 fortunately , the difference between the hrc f435w filter and johnson b only varies by a few hundreds of a magnitude over the large f330w - f435w color range of the observations , and can be directly taken as b , given the larger random errors in the photometry .
the analogous transformation for @xmath48 is @xmath49 as can be seen from the equations above , and the transformed values in table [ tab : stars ] , the implied corrections are as large as @xmath50 of the observed @xmath51 colors . while @xcite present calibrating observations over the needed range of @xmath52 the actual corrections will depend on the unknown metalicities and atmospheric properties of the actual p3 stars .
we plot the colors and absolute magnitudes of the p3 sources in figure [ fig : cmd ] .
we attempted to correct for both foreground and m31 internal dust absorption .
the galactic foreground extinction provided by @xcite is @xmath53 mag , which given the reddening tables in @xcite yields @xmath54 and @xmath55 mag .
a survey of the literature shows that internal dust extinction in the m31 bulge is small ( e.g. * ? ? ?
hui dong ( private communication ) estimates internal @xmath56 for the region of the bulge just outside the nucleus based on stellar - population models of multi - color _ hst _ imagery .
the implied total values are then @xmath57 and @xmath58 mag .
figure [ fig : cmd ] plots padova @xcite isochrones ( blue ) for single - burst stellar populations of 50 , 100 , and 200 myr .
it appears that most , if not all , of the sources are consistent with an age of @xmath59 myr .
we note that the brightest source in the cluster , s11 in table [ tab : stars ] , is also the reddest source ; it is extended as well .
s11 is at the center of p3 , and we have adopted it is the _ ad hoc _ center of the system for the coordinates given in table [ tab : stars ] and figure [ fig : stars ] .    at the same time , evolutionary tracks for some late evolutionary - phases of old stellar populations pass through the u and @xmath3 domain occupied by the p3 stars , as well .
these are all due to metal - rich giants that have evolved into `` extreme horizontal branch '' ( ehb ) stars and later move back to the red as their core helium - burning phase is completed .
stars that populate the ehb have lost a significant amount of their envelope on the rgb , though the mechanism causing the mass loss is not precisely known ( for a full review see * ? ? ?
* ; * ? ? ?
these stars do not have a large enough convective envelope to allow a full agb phase .
instead , the hottest of these ehb stars will fail to reach the agb track at all , and evolve through the agb - manqu channel .
cooler ehb stars will eventually leave the agb track early and become post early - agb stars ( peagb ) .
these phases , collectively called hot post - horizontal branch ( hp - hb ) evolution , have been previously found in m31 ( e.g. , * ? ? ?
* ; * ? ? ?
their surface density has recently been shown to increase towards the center of m31 ( rosenfield et al . , submitted ) more rapidly than the underlying bulge surface brightness , although there appears to be no enhancement associated with the overall nucleus , itself .
figure [ fig : cmd ] shows several examples of hp - hb tracks , such as h - burning post - agb ( pagb ) tracks of masses @xmath60 ( red , dashed ) from @xcite with @xmath61 and @xmath62 and agb - manqu and peagb tracks ( red , dotted ) of masses @xmath63 these are from the most recent padova stellar evolution library ( bressan et al . , in prep . ) with @xmath64 and @xmath65 and an @xmath66-enhanced composition typical of elliptical galaxies ( adapted from * ? ? ?
tracks were converted to johnson filters following the color transformations of @xcite .
the metallicity of the padova tracks was chosen as an extreme case to allow for high helium content , ensuring high mass loss on the rgb .
as these tracks are preliminary , other metallicity and mass loss rate combinations could also produce hp - hb stars with similar luminosities and effective temperatures .
figure [ fig : cmd ] shows that the canonical pagb tracks are too bright and too hot to explain the p3 sources ; however , a number of the p3 sources , especially the bluest and faintest ones , are consistent with the peagb evolutionary tracks shown ( and the brightest of the agb - manqu tracks , which is the faintest track shown ) . despite this concordance , however , we suggest that only a few of the p3 stars could be in the hp - hb phase , in contrast to being hot newly - formed stars .
hp - hb evolution across the u and @xmath3 domain in figure [ fig : cmd ] is very rapid , occupying only @xmath67 yr .
the p3 stars are highly concentrated , suggestive of a local population tightly bound to the black hole , but there is no trace of the associated substantial population of giants required to generate and maintain a short - lived uv - phase sufficient to account for the complete uv luminosity of p3 .
a separate approach to characterizing the stellar population of p3 is to use
 surface brightness fluctuations " ( sbf ) as a diagnostic @xcite . in this case
we are effectively using the  clumpiness " of p3 as an indicator of the typical luminosity of the stars that characterize the variance in surface brightness . for a constant total luminosity of the p3 cluster
, the variance about a perfectly smooth distribution will steadily increase as we go from modelling it as the aggregate of a large number of intrinsically faint old stars to a small handful of high luminosity young stars .
the procedure for conducting an sbf analysis on p3 requires measuring the power spectrum from the images of the cluster , and comparing it to the power spectra of models of the cluster .
measurement of the observed power spectrum begins with subtracting a smooth model of the p3 light distribution ( see @xmath68 ) , and then measuring the power spectrum of the residual image . since the sbf technique uses the shape of the psf power - spectrum as a template , the analysis is done on the background - subtracted image of p3 in the observed , as opposed to the deconvolved domain . in detail
, we restricted the analysis to a @xmath69 radius aperture centered on p3 .
we also only performed the sbf analysis on the @xmath70 image , given concerns about the accuracy of the technique in the b image , which has a significantly reduced contribution from p3 , but increased background variance ( which can not be subtracted ) from the underlying old - population of the nucleus .
the `` raw '' power spectrum of p3 includes a constant noise term that largely represents random photon shot - noise in the image .
we subtracted this off by measuring the power a spatial frequencies higher than the psf nyquist scale .
we show the resulting power spectrum in figure [ fig : sbf ] .
the simulated power spectra comes from models constructed for bursts of 50 , 100 , 200 , and 400 myr , drawing stars at random from the padova @xcite isochrones transformed to @xmath71 the location of the stars was drawn at random from the smooth model of the p3 light distribution until the total @xmath70 luminosity of p3 was reached .
the models were then analyzed by the same procedure used for the real data .
a few dozen models were generated for each burst age to average out statistical fluctuations in the power spectra .
the power spectra in figure [ fig : sbf ] are plotted in terms of the implied absolute @xmath70 magnitude of the flux .
the intercept of the curves at zero spatial - frequency gives the luminosity of the @xcite @xmath72 parameter , which characterizes the variance as due stars of that representative brightness .
the limit of the vertical scale is set by the luminosity of p3 , itself .
the observed sbf power appears to fall between that of the 100 and 200 myr bursts , which is qualitatively ratified by the subjective appearance of the p3 models of the same age .
this result is thus in excellent agreement with the p3 cmd analysis presented in the previous section .
while we can constrain the age of the p3 population , it appears , however , that we have little sensitivity to the form of the initial mass function ( imf ) , given the limited dynamic range of the luminosity of the sources seen in p3 .
@xcite argue that the stars surrounding the milky way black hole have a markedly `` top - heavy '' imf .
we generated 200 myr sbf models with their @xmath73 imf to see if this might produce significantly different sbf power as compared to that for the same age derived from the padova isochrones .
we only measured a modest increase in sbf power , however , which would cause us to infer a slightly older age for the population by @xmath74 myr ( it takes an older `` top - heavy '' model to match the observed sbf power of p3 , itself ) , a result that is within the error limits of the sbf results already quoted .
the sbf power is dominated by the resolved sources near the main - sequence ( ms ) turn - off , which is determined by age alone .
a more top - heavy imf qualitatively down - weights the contribution of fainter stars on the ms to the total sbf power , causing the relative sbf variance to increase for the same age and total p3 luminosity .
however , given the steep @xmath75 mass - luminosity relation for the ms , we have in the end little leverage on the mass function .
a small range in ms mass corresponds to a large change in stellar luminosity , thus suppressing information on the mass function , itself .
we further note that the cmd analysis has even less sensitivity to the imf , given the even more limited mass range of the resolved stars .
some sample models for p3 are shown in figure [ fig : p3_mod ] .
the clumpiness of the models shown can be seen to steadily decrease with increasing burst age .
it is notable that the strong sbf pattern completely dominates the appearance of the simulated clusters .
further , the location of either the peak brightness , or light - weighted centroid of the entire cluster can be displaced significantly away from the nominal center of the ideal smooth cluster model due to the large random fluctuations in the structure .
this is an important caveat to respect when evaluating the precise location of the p3 cluster with respect to the m31 center of mass or the location of the m31 black hole ( see below ) . for the ensemble of 50 myr models ,
the average location of the peak flux is offset from the true cluster center by @xmath76 and the photo - center is displaced placed by @xmath40 with the typical scatter from model to model being nearly as large as these mean values .
for the 100 myr models , the two offsets decrease to @xmath77 and @xmath78 and @xmath1 and @xmath79 for the 200 myr models .
the total brightness of p3 was measured by aperture photometry performed on the difference images .
the apparent magnitudes of p3 are @xmath80 ( ab ) or @xmath81 ( vega ) in @xmath0 , and @xmath82 ( ab ) and @xmath81 ( vega ) in b , uncorrected for foreground extinction . using the reddening values stated earlier , the the corrected apparent fluxes are @xmath83 @xmath84jy in @xmath0 and @xmath85 @xmath84jy in b. the implied reddening - corrected colors are @xmath86 and @xmath87 ( vega ) , using the @xmath88 measure from @xcite .    the implied spectral energy distribution ( sed ) of p3 is plotted in figure [ fig : flux ] , based on the fuv 175 nm flux measured by @xcite , the @xmath0 and v fluxes measured by @xcite , the present @xmath0 and b values .
we reduced the fuv measurement from @xmath89 to @xmath90 , for consistency with the present reddening corrections .
@xcite assumed @xmath91 based on the total @xmath92 for m31 measured by @xcite .
our @xmath93 value implies @xmath94 instead .
an @xmath95 sed of an a0 main sequence star scaled to the flux - points is shown for comparison . as noted in @xcite , and shown spectroscopically by @xcite , the sed of p3
is indeed `` a - like . ''
the fuv point does fall well below the template , but this portion of the sed is highly sensitive to temperature , and the fuv point could be fitted with a modest adjustment of the template ; this point will also be the most sensitive to the correct value of the extinction .
the over all distribution of light within the p3 cluster is confirmed to roughly follow the exponential light distribution derived by @xcite .
a @xmath0-band surface brightness profile of p3 is shown in figure [ fig : p3_sb ] , with the exponential model shown as a solid line .
s11 was taken as the center of the cluster , but the fit excludes points with @xmath96 given that the inner - most points will still be affected by the residual psf associated with the deconvolution .
the exponential form recovered is @xmath97 where @xmath98 is the semimajor axis in arcseconds , and @xmath99 is the surface brightness ( magnitudes / sq .
arcsec ) observed with the f330w vega - based zeropoint ( no reddening correction has been applied ) .
the implied exponential scale - length is @xmath100 which is marginally more compact than the @xmath101 value derived by @xcite .
the average ellipticity of the isophotes is @xmath102 which implies an inclination of @xmath103 if p3 is interpreted to be a disk , again in good agreement with the @xmath104 of @xcite .
although s11 was excluded from the fit , given concerns about the residual deconvolved - psf , the brightness profile of s11 actually rises about the exponential model .
the core radius of s11 is @xmath105 or @xmath106 pc .
if we estimate the volume luminosity - density of s11 from @xmath107 where @xmath108 is the central surface brightness ( @xmath109 in u , corrected for extinction ) , then at s11 we find @xmath110 in the u - band .
the present work provides no new dynamical information about the m31 black hole , and can not offer any objective improvement on the conclusion of @xcite or @xcite that the black hole must be close to the center of p3 . at the same time , we advance subjective arguments that the location of the black hole may be coincident with s11 ( see table [ tab : stars ] ) .
the central location of this source is suggestive . while we showed in @xmath111 that simulated models of the cluster often have the brightest clump of stars to be significantly offset from the true center of the cluster ( which is where we would expect the black hole to be ) .
however , while we do not know the `` true '' center of p3 , case , the location of s11 and the photo - center of p3 at least agree to within @xmath45 s11 is also extended and significantly redder than the other sources , underscoring its unique properties among the other sources .
its red color indeed makes it the only source to mark the location of p3 in the v - band .
a truly extended source should not exist within the strong tidal field of the black hole , unless it represents the peak of a cusp made of the stars most closely bound to it . at the same time
, it s possible that the structure of s11 is only due to a random fluctuation of stars along the line - of - sight .
s07 , is also extended , is offset from the center of p3 , but otherwise has no special attributes .
the sbf simulations presented in the previous section show that most of the sources in p3 are indeed dominated by a single bright star ; however , very close to the center there can be one or two blends of similarly bright stars within the hrc psf .
we began the paper with a history of earlier work on p3 , which already built a strong case that it is a cluster of young stars .
we have now partially resolved the cluster into individual stars , and characterized its form with significantly higher spatial resolution than was provided by the wfpc2/pc observations of @xcite ; however , in broad detail the conclusions of that paper , and the later work of @xcite remain unaltered .
both a color - magnitude diagram ( cmd ) obtained of the resolved stars , and an sbf analysis performed on the total image , show that p3 plausibly comprises a population formed in a burst 100 to 200 myr ago , consistent with the p3 sed and the spectrum obtained by @xcite .
the result may also be supported by the @xcite spectroscopy observation of the inner bulge , which suggest that a burst of star formation occurred within the nucleus about @xmath112 myr ago .
one small modification of the earlier results provided by the present work is that that p3 may be slightly younger than the 200 myr age derived by @xcite , but that work really only ruled out an age much younger than 100 myr .
another new result is that the color of s11 suggests that a single - age starburst model for the cluster does not capture the full story of p3 . at some level , the large luminosity of p3 blends with the much bluer stars around it to generate an overall a - like sed .
it is intriguing that s11 provides the only visible trace of p3 in the v - band .
if it does mark the location of the m31 black hole , then it suggests that there may yet be another change in the stellar population of the nucleus within @xmath113 or @xmath114 pc of the black hole .
although we have concluded that the p3 stars are young , @xcite and @xcite argue that the uv - bright stars in the bulge of m31 , which of course surrounds the nucleus , represent the final stages of stellar evolution in an old metal - rich stellar population .
if there are truly two different populations contributing uv - bright stars to the bulge and nucleus of m31 , it still begs the question of whether or not old remnants may be present in p3 , as well as how far out the putative young stars in p3 may be traced out into the surrounding nucleus or even bulge .
we show that peagb tracks traverse the u vs.  @xmath3 domain defined by the p3 stars , thus it is possible that a few of the p3 stars are indeed old - evolved stars , rather than being young massive main sequence stars .
however , since this is a very rapid evolutionary phase , it is extremely unlikely that the entire p3 cluster could be accounted for by peagb stars .
a strong factor in constraining the population of p3 is the compactness of p3 , itself .
the uv - stars outside the nucleus do trace the bulge - light at long wavelengths , but yet are not strongly concentrated within the outer nucleus ; their abundance by total light or number is but a small faction of the bulge . requiring any sort of hp - hb stars as the dominant p3 population requires an associated massive population of red giants also closely bound to the m31 black hole to continually generate the short - lived peagb stars .
there is no evidence for such a population in the v and i nuclear images of @xcite .
this same consideration would appear to also apply to the hypothesis of @xcite , who suggest that the p3 uv - bright stars may be the remnant cores of giants stripped by close encounters with the black hole .
the high velocities associated with the black hole are such that stars passing close to the black hole from the bulge , or even the outer nucleus will not dwell in the vicinity of p3 .
if the p3 stars are really processed giants , they still must have been initially closely bound to the black hole , which again begs the question of where the progenitor giants are .
the only way that this mechanism might work is if the stripping of the p3 stars takes place just as they begin their first ascent up the red giant branch .
this might produce long - lived uv - bright stripped - cores , and would account for lack of progenitor giants as well .
further investigation of the origin of p3 might be linked to understanding the early - type stars closely bound to the black hole in our own galaxy .
the existence of p3 in a second local group galaxy suggests that this is not a rare phenomenon .
the present observations offer an additional site to test mechanisms that can form stars within the strong tidal field of a supermassive black hole .
we finish by noting that as with the galactic center , it may be possible to measure the proper motions of stars closely bound to the m31 black hole .
figure [ fig : stars ] shows that circular velocities in the plane of the sky around the m31 black hole will exceed @xmath115 over the entire extent of p3 .
it is possible that proper motions may be detected in about a decade after the present observations were made .
we thank karl gebhardt , scott tremaine , jessica lu , and pierre demarque for useful conversations .
we thank alessandro bressan and leo girardi for advance use of preliminary padova stellar evolution tracks .
we thank the referee for a number of useful suggestions .
pete merenfeld ( noao ) kindly prepared the three - color image of the nucleus .
alexander , t.  2006 , journal of physics conference series , 54 , 243 allen , d.  a. , hyland , a.  r. , & hillier , d.  j.  1990 , , 244 , 706 bartko , h. , martins , f. , trippe , s. , et al .
2010 , , 708 , 834 bender , r. , et al .
2005 , , 631 , 280 bensby , t. , feltzing , s. , johnson , j.  a. , et al .
2010 , , 512 , a41 bertola , f. , bressan , a. , burstein , d. , buson , l.  m. , chiosi , c. , & di serego alighieri , s.  1995 , , 438 , 680 bonnell , i.  a. , & rice , w.  k.  m.  2008 , science , 321 , 1060 brown , t.  m. , ferguson , h.  c. , stanford , s.  a. , & deharveng , j .-
1998 , , 504 , 113 chang , p. , murray - clay , r. , chiang , e. , & quataert , e.  2007 , , 668 , 236 crane , p.  c. , dickel , j.  r. , & cowan , j.  j.  1992 , , 390 , l9 del burgo , c. , mediavilla , e. , & arribas , s.  2000 , , 540 , 741 demarque , p. , & virani , s.  2007 , , 461 , 651 dressler , a.  1984 , , 286 , 97 dressler , a. , & richstone , d.  o.   1988 , , 324 , 701 forrest , w.  j. , shure , m.  a. , pipher , j.  l. , & woodward , c.  e.  1987 , the galactic center , 155 , 153 freedman , w.  l. , & madore , b.  f.  1990 , , 365 , 186 fruchter , a.  s. , & hook , r.  n.  2002 , , 114 , 144 garcia , m.  r. , williams , b.  f. , yuan , f. , et al .
2005 , , 632 , 1042 garcia , m.  r. , hextall , r. , baganoff , f.  k. , et al .
2010 , , 710 , 755 greggio , l. , & renzini , a.  1999 , , 70 , 691 king , i. r. , stanford , s. a. , & crane , p. 1995
, , 109 , 164 king , i.  r. , et al .
1992 , , 397 , l35 kormendy , j.  1988 , , 325 , 128 kormendy , j.  & bender , r.  1999 , , 522 , 772 krabbe , a. , et al .
1995 , , 447 , l95 lauer , t.  r.  1999 , , 111 , 227 lauer , t.  r. , faber , s.  m. , ajhar , e.  a. , grillmair , c.  j. , & scowen , p.  a.  1998 , , 116 , 2263 lauer , t. r. et al .
1993 , , 106 , 1436 levin , y. , & beloborodov , a.  m.  2003 , , 590 , l33 li , z. , wang , q.  d. , & wakker , b.  p.  2009
, , 397 , 148 lucy , l. b. 1974 , , 79 , 745 marigo , p. , girardi , l. , bressan , a. , et al .
2008 , , 482 , 883 mcclure , r.  d. , & racine , r.  1969 , , 74 , 1000 monachesi , a. , trager , s.  c. , lauer , t.  r. , freedman , w. , dressler , a. , grillmair , c. , & mighell , k.  j.  2011 , , 727 , 55 nieto , j .- l . , macchetto , f.  d. , perryman , m.  a.  c. , di serego alighieri , s. , & lelievre , g.  1986 , , 165 , 189 oconnell , r.  w.  1999 , , 37 , 603 peiris , h.  v. , & tremaine , s.  2003 , , 599 , 237 redman , r.  o. , & shirley , e.  g.  1937 , , 97 , 416 richardson , w. h. 1972 , j. opt .
a. , 62 , 52 richstone , d. , bower , g. , & dressler , a.  1990 , , 353 , 118 saglia , r.  p. , fabricius , m. , bender , r. , et al .
2010 , , 509 , a61 schlegel , d.  j. , finkbeiner , d.  p. , & davis , m.  1998 , , 500 , 525 sirianni , m. , et al .
2005 , , 117 , 1049 tempel , e. , tamm , a. , & tenjes , p.  2010
, , 509 , a91 tonry , j. , & schneider , d.  p.  1988
, , 96 , 807 tremaine , s. 1995 , , 110 , 628 vassiliadis , e. , & wood , p.  r.  1994 , , 92 , 125 wardle , m. , & yusef - zadeh , f.  2011 , arxiv:1108.2175    rrrccccc s01&@xmath116&@xmath117&@xmath118&@xmath119&@xmath120&@xmath121&@xmath122 + s02&@xmath123&@xmath124&@xmath125&@xmath126&@xmath127&@xmath128&@xmath129 + s03&@xmath130&@xmath131&@xmath132&@xmath133&@xmath134&@xmath135&@xmath136 + s04&@xmath137&@xmath138&@xmath139&@xmath140&@xmath141&@xmath142&@xmath143 + s05&@xmath144&@xmath145&@xmath146&@xmath147&@xmath148&@xmath149&@xmath150 + s06&@xmath151&@xmath152&@xmath153&@xmath154&@xmath155&@xmath156&@xmath157 + s07&@xmath158&@xmath159&@xmath160&@xmath161&@xmath162&@xmath163&@xmath164 + s08&@xmath165&@xmath166&@xmath167&@xmath168&@xmath169&@xmath170&@xmath171 + s09&@xmath172&@xmath173&@xmath174&@xmath175&@xmath176&@xmath177&@xmath178 + s10&@xmath172&@xmath179&@xmath180&@xmath181&@xmath182&@xmath183&@xmath184 + s11&@xmath185&@xmath185&@xmath186&@xmath187&@xmath188&@xmath189&@xmath190 + s12&@xmath191&@xmath192&@xmath193&@xmath194&@xmath195&@xmath196&@xmath197 + s13&@xmath198&@xmath199&@xmath200&@xmath177&@xmath201&@xmath202&@xmath203 + s14&@xmath204&@xmath205&@xmath206&@xmath207&@xmath208&@xmath209&@xmath164 + s15&@xmath210&@xmath211&@xmath212&@xmath213&@xmath214&@xmath215&@xmath216 + s16&@xmath217&@xmath218&@xmath219&@xmath220&@xmath221&@xmath222&@xmath223 + s17&@xmath224&@xmath225&@xmath226&@xmath227&@xmath228&@xmath229&@xmath230 + s18&@xmath231&@xmath232&@xmath233&@xmath234&@xmath235&@xmath236&@xmath237 + s19&@xmath238&@xmath239&@xmath240&@xmath241&@xmath242&@xmath243&@xmath244 + s20&@xmath245&@xmath172&@xmath246&@xmath247&@xmath248&@xmath249&@xmath250 + [ tab : stars ]