Instruction: Write an abstract for the following acadamic paper.

Input:
Paper: we have recorded the flight of a fly during take off and landing using digital high speed photography . it is shown that the dynamics of flexible wings are different for these procedures . during this observation fly flew freely in a big box and it was not tethered .
Abstract: in this fluid dynamics video , we demonstrated take off and landing of a fly . the deformation of wings is in focus in this video .

Paper: coherent feedback quantum control schemes enable the design of autonomous controllers for quantum systems @xcite . unlike measurement based control schemes , coherent feedback quantum control does not rely on measurement based feedback , which is always accompanied by undesirable side - effects , including the addition of excess noise from amplifying quantum signals up to macroscopic levels and increased controller latency @xcite . instead , the feedback signals remain coherent and quantum , which not only reduces excess noise , but has the potential to lower required power for operation , as well as reduce feedback latency and increase system autonomy @xcite .    the foundations that underpin the use of coherent feedback to control quantum systems were laid over the past three decades in studies of open quantum systems and networks . the seminal work of hudson and parthasarathy @xcite provided a rigorous mathematical framework for describing open quantum systems through quantum stochastic processes @xcite . later work by gardiner and carmichael addressed the extension to cascaded quantum systems in @xcite and more recently gough and james generalized this to arbitrary feedforward and feedback networks in @xcite . the latter presented a unified theoretical approach to describe the different possible types of coherent connections between systems ( including series , concatenation and feedback forms ) . this approach has significant merit for quantum information science applications as it provides systematic methods to tailor the design of a coherent feedback network to realize a system with desired quantum dynamics . to date only a few experimental demonstrations of such coherent feedback control networks have been reported . mabuchi experimentally demonstrated disturbance rejection using a dynamic compensator with passive systems ( a pair of empty cavities driven by laser fields optically connected in a phase coherent feedback configuration ) @xcite , and more recently iida _ et al . _ experimentally demonstrated optical squeezing enhancement produced from an opo with self - feedback from its output @xcite . neither of these demonstrations included quantum - limited _ gain _ in the arm of the feedback loop , and one of the contributions of the present work is to examine the effects of gain on the feedback system dynamics . in addition , coherent feedback has been explored in a quantum system with feedback fields in the microwave ( as opposed to optical ) regime @xcite , illustrating that the developed theoretical framework is applicable to quantum systems with significantly different energy and timescales than those of optical systems . squeezed states of light find applications in quantum metrology , quantum sensing , and quantum key distribution @xcite . they were theoretically predicted by collett and gardiner @xcite , and were observed soon thereafter by slusher _ wu _ et al . _ then demonstrated quadrature squeezed light generation from the output of a degenerate opo @xcite . quadrature squeezed states play a particularly important role in gravitational wave detection , where they allow measurement sensitivity to be improved beyond the standard quantum limit @xcite . since gravitational waves have frequencies in the low acoustic range ( @xmath0 hz to khz ) , effort in that field has been focused on generating squeezing at these frequency detunings from the optical beam frequency @xcite . utilized two coherent frequency shifted control fields in orthogonal polarization states to stably squeeze the vacuum using an opo squeezer @xcite , and they subsequently extended the observable frequency range down to 1 hz by carefully removing interference from surface scatterers @xcite . other applications , most notably quantum key distribution , benefit from generating squeezing over large bandwidths @xcite . it is thus desirable to explore the ways in which the bandwidth and the frequency detuning of squeezed light can be engineered for quantum systems that can produce it , and in this work we focus on a network of two opos coupled in a coherent feedback configuration . while it has been shown that cascading parametric oscillators ( feeding the output each into the input of the next ) can enhance entanglement and squeezing of the final output light @xcite , the merits of arranging the oscillators in a coherent feedback configuration warrant careful study in order to find ways of enhancing the squeezing produced while minimizing the number of oscillators used to achieve it .    in our system , one opo behaves as a quantum `` plant '' ( system to be controlled ) , and other as a quantum `` controller '' ( system that takes the plant output and feeds a modified version of the output , in this case a squeezed state of light , back into the plant to change the plant system dynamics ) . as the parameters of the feedback loop and controller opo are varied ( including the optical phase accumulation from propagation in the loop , the controller opo pump power and cavity detuning ) , the behavior of the combined system departs in a significant way from the that of the individual plant opo system . in the next section , we present the theory to describe the full opo network with coherent feedback . we then describe the experimental setup , and the results , namely the spectral features of the combined system output . these spectra show that we are able to choose the controller system parameters to not only enhance the squeezing produced by the plant opo , but to shift the frequency of maximum squeezing to larger detunings away from the driving optical frequency , as well as broaden the squeezing spectrum . systematic spectral shaping through the use of coherent quantum feedback lies at the core of the novelty of this work , and we observe an excellent agreement between the theoretically calculated and experimentally measured squeezing spectra . we conclude with a discussion of the results and future work . the model for the opo network can most easily be derived using gough and james s slh formalism @xcite , which allows the derivation a dynamic network model from the knowledge of its individual components and their interconnections . we are only interested in operating the opos below threshold and can thus treat the pump modes of each opo as classical amplitudes . in this case , the equations of motion of the opo signal mode operators are linear , which enables the characterization of the overall network s effect on a coherent input beam through a transfer function . the system s output quantum field features frequency dependent squeezing and its squeezing spectrum can be computed from the transfer function of the opo network . the first opo has two main input - output ports with coupling rates @xmath1 and @xmath2 , and is modeled to have three additional , independent loss channels @xmath3 , bringing its total number of input - output ports five . the second opo has one main input - output port with rate @xmath4 and an additional port to serve as combined loss channel with rate @xmath5 .    in an interaction picture frame rotating at the external laser frequency , the corresponding slh models for these systems are then @xmath6 and @xmath7 ( p : plant , c : controller ) with @xmath8 here we have introduced the plant and controller cavity detunings from the external driving frequency @xmath9 and @xmath10 , as well as the pump amplitudes @xmath11 and @xmath12 . thanks to the trivial scattering matrices for both opos , we can decompose both models into concatenations of single port slh models for each port @xmath13 and @xmath14 . here , we have the following slh parameter lists for each single port slh models . @xmath15      \mathbf{g}_{c1 } & = \left ( 1,\sqrt{\kappa } b , \delta b^\dagger b + \frac{1}{2i } ( \eta^ * b^2 - \eta b^{\dagger 2 } ) \right ) , \quad      \mathbf{g}_{c2 } = ( 1 , \sqrt{\kappa_l}b,0).\end{aligned}\ ] ]    the connection scheme is as follows : the output from the first mirror of the plant opo is fed into the first mirror of the controller opo . the connection includes both the phase shift and the linear loss . the output from the first mirror of the controller opo is fed into the second mirror of the plant opo . this connection should also include the linear loss as well as the phase shift . it turns out that we can consolidate the phase shift into one component , rather than using two separate phase shifting components . let us now consider an ideal , lossless connection . in a decomposed notation , this connection can be written as @xcite @xmath16 where the phase shifting system should be represented as @xmath17 . however , a realistic system must include the losses in the connections . the loss can be modeled using the beam splitter model @xmath18 where we must introduce the second idle channel . the transmission is defined by @xmath19 parameter . since we have an explicit component to model phases accumulated along the beam path , we choose @xmath19 positive , and it is then given by @xmath20 where @xmath21 is the relative power loss . then , we must have @xmath22 for unitarity of the @xmath23 matrix and we also pick these parameters as real and positive .    we account for propagation losses between the first mirror of the plant opo to the first mirror of the controller opo ( @xmath24 ) , between the first mirror of the controller opo and the second mirror of the plant opo ( @xmath25 ) , and finally , between the second mirror of the plant opo and the homodyne detector ( @xmath26 ) . the entire system then has a total of @xmath27 pairs of input - output channels , five from the plant , two from the controller , three idle ports due to the losses and minus two , due to the feedback connection . therefore , the system @xmath23 matrix should be an @xmath28 matrix and the system @xmath29 should be an @xmath30 vector operator . following the rules for computing series and concatenation products in @xcite , we can obtain the whole system slh model : @xmath31      \mathbf{l } & = & \left ( { \scalebox{0.95}{\mbox{\ensuremath{\displaystyle   \begin{array}{c } ( \sqrt{\gamma_1 } \alpha_1 \alpha_2 \alpha_3 e^{i\phi } + \sqrt{\gamma_2 } \alpha_3 ) a + \sqrt{\kappa } \alpha_2 \alpha_3 e^{i \phi } b \\      ( \sqrt{\gamma_1 } \beta_3 \alpha_1 \alpha_2 e^{i\phi } + \sqrt{\gamma_2 } \beta_3)a + \sqrt{\kappa } \beta_3 \alpha_2 e^{i \phi } b \\      \sqrt{\gamma_1 } \beta_2 \alpha_1 e^{i\phi } a + \sqrt{\kappa } \beta_2 e^{i\phi } b      \\ \sqrt{\gamma_1 } \beta_1 a \\ \sqrt{\gamma_3 } a\\      \sqrt{\gamma_4 } a \\ \sqrt{\gamma_l } a\\      \sqrt{\kappa_l } b \end{array } } } } } \right ) , \label{eq : l } \\*[5 mm ]      h&= & \left ( \delta + \sqrt{\gamma_1 \gamma_2}\alpha_1\alpha_2 \sin \phi \right ) a^\dagger a + \delta b^\dagger b \nonumber \\      & & + \frac{1}{2i } \left ( \eta^ * b^2 - \eta b^{\dagger 2 } \right)+ \frac{1}{2i } \left ( \epsilon^ * a^2 - \epsilon a^{\dagger 2 } \right ) \nonumber \\      & & { \scalebox{0.85}{\mbox{\ensuremath{\displaystyle + \frac{\sqrt{\kappa}}{2i } \left [ \left ( \sqrt{\gamma_2 } \alpha_2 e^{i\phi } - \sqrt{\gamma_1}\alpha_1 \right ) ab^\dagger   - \left ( \sqrt{\gamma_2}\alpha_2 e^{-i\phi } - \sqrt{\gamma_1}\alpha_1 \right ) a^\dagger b \right]}}}}.\end{aligned}\ ] ] the system hamiltonian which is still quadratic in the plant and controller mode operators shows that the feedback achieves two things : it introduces a detuning on the plant cavity mode @xmath32 and it couples the plant and controller modes . the strength of these effects depends on the feedback roundtrip phase , the linear propagation losses , and the coupling coefficients of the plant mirrors 1 and 2 .    from the slh parameters we can compute the qsdes for the mode dynamics @xmath33 : @xmath34 ) { \rm dt } + \mathbf{da}^\dagger(t ) \mathbf{s}^\dagger [ x(t),\mathbf{l}(t ) ] + [ \mathbf{l}^\dagger , x(t ) ] \mathbf{s}\ , \mathbf{da } ( t),\ ] ] where @xmath35 and @xmath36 are the input field or more precisely quantum ito - type input processes to the system and the heisenberg - picture lindblad superoperator @xmath37 is given by @xmath38 + \frac{1}{2 } [ \mathbf{l}^\dagger(t),x ] \mathbf{l}(t).\ ] ] the output field is determined through the boundary condition @xmath39 both the qsdes for the internal modes and the boundary condition for the output field are linear in the internal mode operators and the input fields ( and their adjoints ) , and can thus be represented in the @xmath40 matrix formalism @xcite . here we present only the final result @xmath41 where we use the doubled - up notation of zhang et al . @xcite @xmath42 with notation borrowed from the above reference @xmath43 , the final system matrices can be expressed as @xmath44 where @xmath45 by fourier transforming equations and , we can find the system transfer function @xmath46 that directly links the fourier transformed input and output fields @xmath47 as @xmath48 where @xmath49 due to the inherent redundancy of the doubled up notation , the transfer function can be decomposed as @xmath50 from these matrices one can calculate the quadrature dynamics and eventually calculate the power spectral density of a given quadrature , which is known as squeezing spectrum @xcite @xmath51 for @xmath52 representing each output port and @xmath53 as the quadrature angle . in our case , the feedback system output is @xmath54 . here , the parameters @xmath55 and @xmath56 are defined through @xmath57 where @xmath58 and @xmath59 are the @xmath60 entries of the matrices @xmath61 and @xmath62 , respectively . so far , the expressions for the squeezing spectrum apply only to vacuum inputs . if we displace the input by a vector of coherent amplitudes @xmath63 the squeezing spectrum is only altered at dc ( @xmath64 ) in the form of a singular @xmath65 contribution : @xmath66\right\}^2   \delta ( \omega),\ ] ] where we have introduced the @xmath67-th steady state output amplitude @xmath68 , given by @xmath69    the exact analytical form of the squeezing spectrum we obtained is too complicated to be shown here and is visually uninformative , but we were able to numerically evaluate the squeezing spectrum for given system parameters , which were readily compared with the experimental results . the following sections show the comparison between the theoretically calculated squeezing spectra and the experimental results .    for completeness , since this is relevant to our locking schemes , we also include how to compute the steady state output power from a given port . for the @xmath67-th port , this is given by the steady state expectation of the output gauge process matrix element @xmath70 and can be shown to be @xmath71 where the first term is simply the squared output amplitude and the second arises purely due to the squeezed uncertainty ellipses of the intra - cavity modes . the intra - cavity modes covariance matrix @xmath72 is obtained by solving the following liapunov equation : @xmath73 the system consists of two opos in a feedback loop . figure [ fig : system_scheme ] shows the entire system diagram . we have three optical cavities . the output of the plant opo is connected to the controller opo input and the controller output is fed back into another input port of the plant opo . this forms an all - optical coherent feedback quantum control system . the master laser source for the entire system is a single frequency cw 1064 nm laser ( mephisto mopa , innolight ) , operating at 1064.4 nm . we generate a 532 nm pump beam through single pass second harmonic generation ( shg ) using a mgo : ppln crystal ( covesion mshg1064 - 1.0 - 10 with a 1 mm @xmath74 1 mm aperture and 1 cm length ) with a poling period of 6.96 m , set at a temperature of 59.4 @xmath75c . the maximum 532 nm power obtained is 1.7 w when the pump power is 9.6 w. part of the master laser is split off for use as a local oscillator for the balanced homodyne detector . since the local oscillator beam quality is not ideal , we employ a mode cleaning cavity . this cavity is locked using the pound - drever - hall ( pdh ) method @xcite . for this , we generate the sideband of the locking laser beam at 97 mhz . this mode cleaning cavity also serves to stabilize the local oscillator power . we configure our plant opo to achieve degenerate three - wave mixing , which is pumped by the 532 nm beam . the plant cavity is in a bow - tie configuration , with two input - output mirrors . the mirrors have 8% and 4% reflectivity , respectively . these values were chosen to provide reasonable coupling strength to the plant cavity in the feedback loop . the plant cavity also has two concave mirrors with 99.66% and 99.90% reflectivity at 1064 nm , but with reasonably high transmission ( @xmath7693% ) at 532 nm . the radius of curvature for both mirrors is 10 cm . the cavity round - trip length is approximately 67 cm . the major intracavity loss occurs at the surface of the mgo : ppln , which has a non - ideal anti - reflection coating with approximately 1% loss . locking the plant opo cavity is also achieved using the pdh method . for this we control the upper flat mirror position using a piezoelectric transducer ( pzt ) . the cavity locking beam is coupled through one of the concave mirrors in the backward direction . the pdh sideband frequency is 90.7 mhz , which is much larger than the cavity half - linewidth of 5.2 mhz . although we employ the backward beam cavity locking scheme , locking is still challenging due to significant backscattering of the relatively strong forward signal on the mgo : ppln surfaces . the plant opo is a type i degenerate opo and uses the same type of mgo : ppln crystal as the one used for shg . the pump beam is coupled through the lower concave mirror in the forward direction , co - propagating with the signal . the desired pump beam parameters for optimizing parametric amplification were determined by matching the pump beam parameters to those of the second harmonic beam generated in the plant opo from the forward signal power . the poling period of this mgo : ppln crystal is also 6.96 m , and the crystal is mounted in an oven with a set temperature of 35.6 @xmath75c . we measure the opo oscillation threshold pump power for the plant opo to be 330 mw . the pump phase relative to the signal phase is locked through a dithering scheme analogous to the pdh method with the modulation sideband at 111.1 khz . we monitor the output of the plant opo using a 5% beam splitter to generate the error signal used in the dithering scheme ; although this adds loss in the feedback loop , it greatly improves the pump phase locking performance . the controller opo is also a bow - tie cavity . it has a single main input - output mirror with 86% reflectivity . all other mirrors are high reflectors . it also uses the same type of mgo : ppln crystal as the plant opo , has a poling period of 6.93 m , and the crystal sits in an oven with a set temperature of 58.1@xmath75c . although the controller opo is designed as an ideal single input - output port opo to produce as much squeezing as possible , we found that additional intracavity loss caused by the mgo : ppln surface and absorption loss in the crystal degrades the on - resonance cavity reflectivity at the input - output port from the near ideal value of 100% to 70% . this corresponds to a 1.3% intracavity loss . locking the controller opo cavity by injecting a backward beam is challenging for several reasons : the remaining cavity mirrors are high reflectors and let little backward beam power through , and the small reflection of the forward signal from the ppln crystal surface at the same optical frequency can significantly interfere with the injected backward beam . to avoid this problem we shift the optical frequency of the cavity locking beam by precisely one cavity free - spectral range ( 435 mhz ) , and we achieve this frequency shift by passing the cavity locking beam through an aom four times before it is injected into the cavity . we lock the cavity using the pdh method with a modulation sideband at 48 mhz . locking the pump phase relative to the signal phase is accomplished using through the same low frequency dithering scheme as that used in the plant opo , and the error signal is generated from a detector that monitors the output of the controller opo through a 10% beam splitter located near the input of the plant opo . just as with the plant opo , this greatly enhances our ability to lock the controller pump phase , at the expense of additional loss in the feedback loop . we measure the controller opo threshold to be 993 mw . the total roundtrip phase of the feedback loop is locked in either constructive interference ( maximizing the circulating power in the feedback loop ) or destructive interference ( minimizing the circulating power ) . for this we seed a small amount of forward signal power to the plant opo and then monitor the circulating power through the same 10% beam splitter used for locking the controller opo pump phase . we have another detector at the far end of the feedback loop that then enables us to monitor the beam alignment drift at a separate position . one of the relay feedback loop mirrors serves to adjust the feedback loop phase . the minimum power monitored corresponds to @xmath77 , where @xmath78 is the complex loop gain , while the maximum power corresponds to @xmath79 . we easily measure @xmath80 by cutting the loop . from these three measurements , we obtain @xmath81 for cold opos ( no pump ) , which implies that the total loop power transmission was @xmath82 ( i.e. , 64% loop power loss ) . through pointwise measurements , we break down the contributions as follow : 10% and 5% losses due to the monitoring taps , the cavity reflectivity of 70% of the locked controller opo , 12% of loss from an optical isolator ( which is used to ensure uni - directional feedback ) , the cavity transmissivity 82% of the locked plant opo , and finally , additional losses ( @xmath0 7% ) from mode coupling mismatch and various mirror surfaces , including 14 dielectric coated mirrors for positioning and aligning beams , 4 lenses to shape the beams , and one silver mirror on a piezo - electric material . the theory predicts only slight squeezing spectrum enhancements for significantly reduced feedback loss , and thus minimizing feedback loop loss is not crucial for the results demonstrated here .    to monitor squeezing spectra we set up a balanced homodyne detection scheme @xcite . the output from the mode cleaning cavity serves as a local oscillator , which is mixed with the output signal from the plant opo on a beam splitter . the detectors we use are two etx-500 t photodiodes ( jdsu ) , arranged in subtracting configuration . the total losses in the homodyne measurement setup can be decomposed into three main components : the propagation loss from the output of the plant opo to the surface of the detectors , the homodyne efficiency measured from the homodyne visibility fringe , and the quantum efficiency of the detector @xcite . we have an overall loss of 30% in the homodyne measurement including all three components . locking the local oscillator phase relative to the signal phase is accomplished through the same dithering scheme mentioned above , and dithering occurs at 373.5 khz , which is well separated from the other phase lock loop dithering frequencies . this helps to lock the homodyne quadrature angle effectively while all seven phase locking loops are running simultaneously , at the expense of adding excess technical noise in the homodyne spectra at frequencies in the vicinity of this dithering frequency . locking the entire system requires a sequential procedure , due to interaction among the various phase lock loops . in sequence , we first lock the mode cleaning cavity , plant opo cavity , controller opo cavity , the feedback phase , and the homodyne local oscillator phase . then , we lock the pump phases while monitoring the homodyne output , first the plant opo , and then , finally , the controller opo . we lock the balanced homodyne output at either maximum or at minimum , representing the amplitude quadratures ( @xmath83 ) . to change between measuring squeezing and anti - squeezing , we switch the opo pump phases relative to the seeding input . the squeezing spectrum is taken directly from the output of the balanced homodyne detector . the output is connected to a minicircuits bias tee splitter which separates the signal into dc and ac components , and the measured squeezing spectra are contained in the ac component ; the dc component is used to monitor the dc bias drift of the balanced homodyne detector , which is caused by the slow beam drift and the resulting imbalance in measured power of two detectors . ( @xmath84 . here , @xmath85 . green : vacuum spectrum . theoretical curves are shown in dashed lines.,scaledwidth=60.0% ]    we first measure the squeezing spectra of the plant opo without feedback using a rf spectrum analyzer ( agilent 4396a ) with 30 khz rbw and 300 hz vbw , averaged 9 times . the pump parameter is defined as @xmath86 , where @xmath87 is the plant pump power and @xmath88 is the plant threshold pump power . for all measurements , the contributions of the photodetector dark current and the small spectral variation of the transfer function of the rf spectrum analyzer are accounted for . the local oscillator power is 0.25 mw and we maintain the forward beam signal power at roughly 2 w , which avoids saturation of the homodyne detector while providing sufficiently large optical power to lock various phase locking servos and enables large dynamic range in the spectrum . to measure squeezing ( and anti - squeezing ) , we locked the pump phase of the plant opo for deamplification ( and amplification ) , respectively . figure [ fig : measured - spectra ] shows the measured spectra . we calculate the theoretical curves using the parameters shown in the table [ tab : param - emptycavity ] . for the open loop calculation , the feedback loss is 100% . we observe that the spectrum data from 0 hz to 2.5 mhz is obscured by noise from the dithering rf locking signals , whose harmonics and spectral tails die out above 2.5 mhz . c c c + symbol & value & description +   + @xmath1 & @xmath89 & plant mirror 1 + @xmath2 & @xmath90 & plant mirror 2 ( main output of plant opo ) + @xmath91 & @xmath92 & plant mirror 3 ( concave mirror ) + @xmath93 & @xmath94 & plant mirror 4 ( concave mirror ) + @xmath95 & @xmath96 & combined additional plant losses + @xmath9 & @xmath97 & plant cavity detuning +   + @xmath4 & @xmath98 & controller input - output mirror + @xmath5 & @xmath99 & extra controller intracavity loss + @xmath12 & @xmath100 & controller pump power gain + @xmath10 & @xmath101 & controller cavity detuning +   + @xmath102 & @xmath103 & feedback optical phase ( destructive ) + @xmath24 & 3.5% & power loss from plant to controller + @xmath25 & 27% & power loss from controller to plant + @xmath26 & 30% & homodyne power loss +    we then configure the system to form the coherent feedback loop . we lock the feedback phase to the destructive interference condition as described above , resulting in the minimum circulating power . for the first measurement , the controller opo pump remains off ( the controller is simply an empty cavity ) . figure [ fig : emptycavity - feedback ] shows the squeezing spectra as well as the open loop spectra without feedback for comparison . we see a shift in the frequency of the closed loop spectra with respect to the open loop spectra . both the squeezing and the anti - squeezing spectra in the feedback case are peaked at 4 mhz away from dc . the rf frequencies of the squeezing extrema stay nearly the same with increasing plant pump power , which agrees with the theory . we can not measure the spectra for pump parameters over @xmath104 due to instability of one of the phase lock loops at higher pump powers . however , in theory even when @xmath105 , the closed loop system poles stay in the negative half of the complex plane , which is significant to note as the open loop system becomes unstable for @xmath106 ; thus , destructive interference feedback stabilizes the unstable open system . figure [ fig : emptycavity - feedback ] also compares the measured and the theoretically calculated squeezing spectra . for theoretical calculations we use the parameters shown in table [ tab : param - emptycavity ] , and we observe an excellent agreement between the measured and the spectra , which implies that the slh quantum stochastic model successfully describes the all - optical coherent feedback opo network . an important effect of the feedback loop is that it increases the amount of squeezing achieved for a given plant pump power . for @xmath104 , we measure the maximum squeezing of the open loop configuration at slightly over 1 db , while the empty - cavity coherent feedback configuration achieves nearly double the squeezing amount at the same of pump power . we then turn on the pump power of the controller opo , forming a true opo network in coherent feedback configuration . we again set the coherent feedback phase to destructive interference . we define the two pump parameters as @xmath107 for the plant opo and @xmath108 for the controller opo , where @xmath109 are the pump powers and threshold pump powers for plant ( @xmath110 ) and the controller ( @xmath111 ) , respectively . @xmath112 corresponds to the case in which the controller and plant opos are both squeezing ( or anti - squeezing ) together , while @xmath113 indicates reversed squeezing parity between the two opos ( one squeezes while the other anti - squeezes ) . for the case where @xmath114 , we observe that the peak squeezing and anti - squeezing values occur at 5 mhz . we compare with the empty - cavity destructive interference feedback case shown in figure [ fig : emptycavity - feedback ] ( b ) . @xmath104 with empty cavity feedback exhibits the peak squeezing near 4 mhz , and thus we see that having an active controller opo further shifts the peak squeezing rf frequency by 1 mhz , as is predicted by the theory . separately , we also note a slight increase in the anti - squeezing and squeezing peak values for @xmath115 when compared with @xmath116 . next , we reverse the pump parity between the plant and controller opo . figure [ fig : oponetwork - dest ] ( b ) shows the measured squeezing spectra . this case displays reduced amounts of squeezing and anti - squeezing relative to the empty cavity controller case . thus we observe that matching controller and plant pump parities enhances squeezing and anti - squeezing , whereas the case of opposite parities decreases squeezing and anti - squeezing . we also measure the spectra for the constructive interference feedback configuration , and we briefly describe the results as the following . the constructive interference coherent feedback configuration yields significantly reduced squeezing spectra , accompanied by the addition of significant amounts of low frequency noise as the two opo network becomes less stable and noises in the phase lock loops increase . this feedback configuration substantially reduces the lasing threshold pump power of the opo network ( note that our locking schemes fail near and above this threshold ) ; in other words , a small amount of pump power ( @xmath010 s of mw ) injected into the plant opo is now enough to push the combined system above threshold . from a dynamical systems perspective , this configuration illustrates that the stability of the controlled system ( the plant , stable by itself at the same input pump power ) can be modified ( in this case , made unstable ) with the addition of coherent feedback .    finally , we investigate the effects of detuning the controller cavity resonance from the optical drive frequency . the cavity detuning is accomplished by changing the driving rf frequency for the aom used to shift the locking beam frequency ( nominally by one free - spectral range ) . the coherent feedback phase is set to the destructive interference condition . we detune the cavity frequency by 16 mhz and observe that the squeezing and the anti - squeezing spectra broaden , as predicted by theory . figure [ fig : detuning ] shows the result . the broadening of the squeezing and the anti - squeezing spectra increases as the controller detuning is increased , yielding enhanced squeezing at larger frequency detunings from the optical drive frequency . we note that when the controller cavity is detuned from the optical drive frequency , the coherent feedback phase @xmath102 that corresponds to the destructive interference condition is no longer 0 or @xmath103 . in order to compare the experimental result with the theory , it is important to find out the correct feedback phase @xmath102 for the destructive feedback . for this , we calculated the steady - state circulating power as a function of the feedback phase from our theory ( the result is plotted in figure [ fig : detuning ] ( b ) ) . figure [ fig : detuning ] ( a ) shows the theoretical squeezing and anti - squeezing curves using @xmath117 radians , which corresponds to the calculated minimum circulating power . the theory agrees with the experimental result , which is a proof that our theory on photon numbers explains the experimental result well . we also note that the effect of the broadening of squeezing spectra diminishes for a large controller cavity detunings away from the driving frequency , as transmission into the controller cavity ( and hence its interaction with the plant in the feedback loop ) is reduced . when we detune the controller cavity far off the driving frequency , the squeezing and the anti - squeezing spectra converge to the trivial feedback case without the controller cavity . in this work , we have investigated the squeezing spectra of a two opo coherent feedback network , and found that controller opo parameters such as the pump phase , pump power and cavity detuning significantly alter the properties of the squeezing spectra produced at the plant opo output . we also found that the coherent feedback phase had a large impact in determining both squeezing performance and overall system stability . to validate our experimental results , we developed the relevant theory to explain the detailed behavior of the opo network system based on the slh framework . the agreement between our theory and measured squeezing spectra was excellent , implying that this theoretical framework is well - suited for use in designing of the functionality opo squeezing networks and similar coherent quantum feedback systems . specifically , by exploiting the linear dynamics of our system in the sub - threshold regime we were able to apply well - established methods of linear dynamical systems theory ( the abcd - framework suited for linear qsdes ) to analyze our system . we presented experimental squeezing spectra in various feedback configurations . as mentioned above , the constructive interference feedback configuration reduced the lasing threshold of the combined two opo system ( from the perspective of the plant opo , connecting its two input - output ports in a constructive manner essentially reduced the roundtrip propagation loss of the opo ) , and made the system difficult to stabilize . in contrast , the destructive interference feedback configuration increased system stability , and enabled us to study the dynamic interaction between the plant and controller opo cavity modes . the frequency dependence of the squeezing spectra can be understood from the frequency dependent transmission characteristics of the two opo cavities : we found that the peak transmission frequency coincided with the peak squeezing frequency . this suggests that the feedback adds additional frequency dependent amplification or deamplification that is dependent on the frequency - specific phase of the feedback . some prominent effects of this , as we showed experimentally , were that we could tailor the system properties to shift the frequency of maximum squeezing and anti - squeezing away from the optical drive frequency , as well as broaden spectrum over a wider band of frequencies , which may play a significant role in future quantum engineering applications . we note that this table - top optical setup required substantial classical ( feedback ) control to stabilize and lock our various components , but this enabled us to have a tunable and flexible system . for specific applications , a less tunable , but more stable system could be implemented , for example in a nanophotonic setting @xcite . finally , we would like to mention that the theory predicts additional interesting features that should be present in this system , such as limit cycle dynamical regimes that occur when the two opo network is driven above threshold ; the study of such behavior in the above threshold regime will be a topic for future work . this work has been supported by afosr ( fa9550 - 11 - 1 - 0238 ) and darpa ( n66001 - 11 - 1 - 4106 ) . orion crisafulli would like to acknowledge support from the national defense science and engineering graduate fellowship and national science foundation graduate fellowship programs while a graduate student at stanford university , where this work was done , before joining mit lincoln laboratory , where he is presently employed . nikolas tezak is supported by a stanford graduate fellowship and a simons foundation math+x fellowship . sandia national laboratories is a multi - program laboratory managed and operated by sandia corporation , a wholly owned subsidiary of lockheed martin corporation , for the u.s . department of energy s national nuclear security administration under contract de - ac04 - 94al85000 . s. iida , m. yukawa , h. yonezawa , n. yamamoto , and a. furusawa ,  experimental demonstration of coherent feedback control on optical field squeezing , " ieee trans . automatic control * 57 * ( 8) , 20452050 ( 2012 ) .                    h. j. kimble , y. levin , a. b. matsko , and k. s. thorne , and s. p. vyatchanin ,  conversion of conventional gravitational - wave interferometers into quantum nondemolition interferometers by modifying their input and/or output optics , `` '' ( 2 ) , 022002 ( 2001 ) .            t. eberle , s. steinlechner , j. bauchrowitz , v. hndchen , h. vahlbruch , m. mehmet , h. mller - ebhardt , and r. schnabel , roman , `` quantum enhancement of the zero - area sagnac interferometer topology for gravitational wave detection , '' 251102 ( 2010 ) . h. p. yuen and j. shapiro ,  optical communication with two - photon coherent states  part iii : quantum measurements realizable with photoemissive detectors , " ieee trans . on information theory * 1 * ( 26 ) , 7892 ( 1980 ) . frst , d. v. strekalov , d . elser , a . aiello , u . l. andersen , c. marquardt , and g. leuchs , `` low - threshold optical parametric oscillations in a whispering gallery mode resonator , '' ( 26 ) , 263904 ( 2010 ) .
Abstract:

Answer: we present squeezing and anti - squeezing spectra of the output from a degenerate optical parametric oscillator ( opo ) network arranged in different coherent quantum feedback configurations . one opo serves as a quantum plant , the other as a quantum controller . the addition of coherent feedback enables shaping of the output squeezing spectrum of the plant , and is found to be capable of pushing the frequency of maximum squeezing away from the optical driving frequency and broadening the spectrum over a wider frequency band . the experimental results are in excellent agreement with the developed theory , and illustrate the use of coherent quantum feedback to engineer the quantum - optical properties of the plant opo output .


Instruction: Write an abstract for the following acadamic paper.

Input:
Paper: we have recorded the flight of a fly during take off and landing using digital high speed photography . it is shown that the dynamics of flexible wings are different for these procedures . during this observation fly flew freely in a big box and it was not tethered .
Abstract: in this fluid dynamics video , we demonstrated take off and landing of a fly . the deformation of wings is in focus in this video .

Paper: physics in warped higher dimensional spacetimes may play an important role in nature , as illustrated by the rs1 model  @xcite . however , effective field theory calculations are particularly complicated in such contexts . when warp factors vary greatly in the extra dimension(s ) it becomes difficult to power - count the size of feynman diagrams . for examples of such calculations see refs . @xcite . in this paper , we begin a program of honing `` holographic renormalization group '' ideas  @xcite , applied to the rs scenario in  @xcite , into a tool for simplifying and gaining insight into warped effective field theory . in particular we will apply this tool to understand the robustness of the goldberger - wise stabilization mechanism  @xcite within effective field theory , although the methods are clearly very general . we use the ads / cft conjecture to inspire the form of a concrete and explicit renormalization group procedure , but do not rely on any unproven aspects of the conjecture . the form our rg will take is as a flow of effective field theories in rs1-type geometries of varying radius , @xmath0 , theories with smaller @xmath0 having lower warped down effective energy cutoffs . two effective theories lying on the same flow are matched to describe the same physics at energies below the lower of the two associated cutoffs . in particular this means that matched theories with different radii have the same `` ir '' or `` visible '' brane positions , but different `` uv '' or `` hidden '' brane positions . the matching is accomplished by tuning the hidden brane localized lagrangian as a function of @xmath0 . this 4d lagrangian depends on the values of bulk fields induced on the hidden brane . we will show that formally the flow of hidden brane lagrangians looks like a wilsonian rg flow of purely 4d effective field theories . a crucial feature of the associated 4d effective lagrangians is that they are local which greatly simplifies power - counting . we identify a conformal fixed point in the rg as the concrete realization of the ads / cft connection within our formalism . refs . @xcite have developed a related rg formalism focusing on renormalization of boundary divergences and properties of the holographic stress tensor . rg flows associated to branes in codimension two were studied in refs . while this paper was being completed , refs . @xcite appeared , which also discusses similar rg ideas . the utility of our rg formalism is this ; one can integrate the flow to take low - energy calculations in a highly warped compactification where they are difficult , to simpler calculations in a much smaller compactification ( smaller @xmath0 ) where the effect of warping is much less significant . of course this requires computing the effective couplings on the hidden brane in the new compactification , but this is facilitated by perturbing about the conformal fixed point and by working systematically in the small couplings of the theory .    in this paper , we deal only with classical and tree - level quantum effective field theory involving a bulk scalar field , deferring a treatment of full effective quantum field theory with varying spins . already at this level , many of the non - trivial features of the rg procedure come into play . the paper is organized as follows . in section ii , we discuss free field theory and point out the basic rg structure and fixed point . in section iii , we apply our results to rederive in a simple way the goldberger - wise stabilization mechanism when the bulk scalar is identified with the one introduced by goldberger and wise . ( since we do not make gravity dynamical , our analysis is necessarily restricted to neglect the backreaction of the scalar on the geometry , the same approximation made in the original analysis . ) in section iv , we generalize our rg procedure to include a large class of interactions , in the bulk and on branes . we then use this in section v to demonstrate the robustness of the goldberger - wise mechanism within classical effective field theory in a manner that lends itself to generalization to the quantum case . in section vi , we switch from the language of classical field theory to consider tree - level feynman diagrams , setting the stage for the case of quantum loops , and showing how one deals with general effective interactions . section vii contains some concluding remarks . we consider a bulk 5d scalar field , @xmath1 , propagating on a fixed rs1 background with metric , @xmath2 the @xmath3 coordinate parametrizes the direction in a compact orbifolded space . this is a slice of ads space bounded by the hidden brane at @xmath4 and the visible brane at @xmath5 . we take @xmath6 .    in this section we begin by studying a simple action which is exactly quadratic in @xmath1 , @xmath7 where @xmath8 the brane actions are written in terms of the induced brane metrics , @xmath9 and the dimensionless @xmath10-derivative expansions ( the 4d dalembertian is @xmath11 for the metric defined in ( [ metric1 ] ) and ( [ gident ] ) ) . @xmath12 and similarly for @xmath13 . the subscript `` @xmath14 '' denotes that the brane terms are quadratic in fields , which we generalize later . we denote the dimensions explicitly in units of the warping constant , @xmath15 . note that 4d general covariance ensures that in the space of 4-momenta , @xmath16 , the operator @xmath17 . the equation of motion is @xmath18 in 4-momentum space this is @xmath19 strictly in the bulk , @xmath20 satisfies the @xmath21 independent differential equation @xmath22 with boundary conditions @xmath23 we now define an `` effective '' hidden brane whose location is a variable , @xmath24 . we seek a new set of `` effective couplings '' on this brane replacing @xmath25 on the original hidden brane , @xmath26 where @xmath27 is the induced metric on the brane , which imply a new set of boundary conditions at @xmath28 , @xmath29 we require :    1 . the matching condition that @xmath30 which are solutions to the original equations of motion ( inluding boundary conditions ) , ( [ bulkeom ] ) , are also solutions to the effective equations of motion when confined to the effective domain @xmath31 . the boundary condition that @xmath32 for @xmath33 . this is obviously consistent with the previous requirement . +    we interpret @xmath34 as a set of running couplings , @xmath35 , and associated 4d generally - covariant derivative operators , @xmath36 , just as in ( [ lambdadefn ] ) . we would like to find the `` renormalization group '' flow , @xmath37 , of this set . we proceed by taking the logarithmic derivative of the boundary condition ( [ bca ] ) , use the bulk equation of motion ( [ zhindpeom ] ) as @xmath38 to eliminate second @xmath3-derivatives of @xmath1 at @xmath28 , and ( [ bca ] ) again to eliminate any first @xmath3-derivatives of @xmath1 at @xmath28 , thereby obtaining + [ lambda2running ] _ 2 ( q^2a^2 , a ) = 4 _ 2 - + 2 - 2(qa)^2 . clearly , the @xmath28 dependence in the first variable of @xmath39 is entirely fixed by 4d general covariance . we will focus on the non - trivial dependence in the second variable , getting a set of @xmath40 functions , @xmath41 since @xmath16 varies freely , this represents a set of coupled differential equations for the @xmath42 . this flow has a set of fixed points . in the vicinity of such fixed points , the rg flow simplifies . when @xmath43 for all @xmath44 we solve the differential equation @xmath45 to find the fixed point @xmath46 this can be expanded in powers of @xmath47 and therefore corresponds to a local fixed - point effective brane lagrangian when written in position space . there is another solution , involving @xmath48 s , which is non - analytic in @xmath16 and therefore can not be interpreted as a local lagrangian on the effective brane . it is therefore rejected .    for small momentum ( @xmath49 ) @xmath50 . as @xmath51 ( [ closedfixpt ] ) tells us @xmath52 . the same result is also obvious from the @xmath40 function equation ( [ lambda2running ] ) by first setting @xmath51 . in fact one can solve ( [ lambda2running ] ) for the fixed point by working order by order in powers of @xmath53 . this will generate ( [ closedfixpt ] ) as a series in @xmath53 . at leading order ( [ lambda2running ] ) implies ( _ 2^*(0 ) ) ^2 - 4 _ 2^*(0 ) - 2=0 . taking the positive root to match ( [ closedfixpt ] ) as @xmath54 , we again find @xmath55 at higher order in @xmath53 we find @xmath56 . this method of working out the @xmath40 functions in powers of @xmath53 will be more useful when we add interactions and the coupled rg equations are not soluable in closed form . notice that nowhere did the matching procedure specifically require that the bulk metric be ads space . for example , expressions equivalent to ( [ lambda2running ] ) and ( [ lambda20fixpt ] ) can be obtained for a 5d flat spacetime with the extra dimension taken as an orbifolded circle . since there is no curvature @xmath15 , we measure the coupling @xmath34 with an arbitrary mass scale @xmath57 . we use the metric @xmath58 so that the @xmath40 function has no explicit @xmath28 dependence . we find @xmath59 there is no fixed point for @xmath60 . for @xmath61 the fixed point is @xmath62 thus for massless or sufficiently light bulk fields there is no fixed point about which the rg flow simplifies . in particular there is no guarantee that one can match the original theory to an effective one in which the extra dimension is much smaller , with only small perturbations to the effective hidden brane action . that is a special property of having ( nearly ) ads bulk geometry . carefully taking the flat space limit of rs1 , one can check that ( [ lambda2running ] ) makes a smooth transition to ( [ minkrunning ] ) . adding a tadpole term to both branes will allow us to reproduce the goldberger - wise stabilization mechanism @xcite using the rg analysis . since in this paper we are keeping a fixed background geometry for simplicity , we will necessarily be making the same approximation as goldberger and wise , of neglecting the back - reaction of the scalar profile on the geometry . however , we expect that the generalization to dynamical gravity is straightforward . exact solutions that exhibit stability have been examined in  @xcite . a perturbative approach to stability treating the back reaction in a systematic way was discussed in  @xcite . consider now the theory @xmath63 where we now use @xmath64 units . note that @xmath65 are constants , not functions of @xmath16 like @xmath66 . the field @xmath1 must satisfy the boundary condition @xmath67 as before we attempt to match onto a theory with the new hidden boundary , @xmath68    as in the previous section , we take the logarithmic derivative of this boundary condition , ( [ gwbc ] ) , and use the bulk equation of motion as well as ( [ gwbc ] ) to eliminate any @xmath3-derivatives of @xmath1 . we arrive at the equation @xmath69    we will formally treat the hidden boundary value of the field , @xmath70 , as allowed to take arbitrary values , leading to rg equations @xmath71 where the partial derivatives on the left act on the @xmath28 argument , not on the @xmath53 argument , which appears on the right . clearly solutions to these rg equations will solve ( [ tadandquad ] ) . however it is not actually true that @xmath70 can take on arbitrary values because of the extra boundary conditions imposed by the visible brane . thus we can view our rg equations as the unique ones which are independent of the details of the visible brane , very much like the more familiar mass and vev independent rg flows in energy scales .    in the goldberger - wise mechanism the scalar field sets up a stabilizing potential for the radion field the vev of which is @xmath72 . ignoring the gravitational backreaction as we have done gives the leading approximation in newton s constant to the radion potential . we may calculate this potential in the theory defined by ( [ gwaction ] ) as is done in ref . we may alternatively study the potential of the equivalent effective theory with the hidden brane run down to a location @xmath73 near the visible brane . the couplings on the hidden brane will be modified from the theory with hidden brane at @xmath21 as required by the rg flow . we consider a theory with hidden brane couplings close to the fixed point . we use the linearized flow equations . @xmath74 there are flow equations for the coefficients of higher derivative operators , @xmath75 . we do not consider these terms as we wish to find the effective radion potential which is evaluated at zero external momentum . solving the flow equations we have @xmath76 for such a small effective extra dimension we can neglect the bulk action and treat the field @xmath1 as constant across the extra dimension . the effective action then becomes @xmath77    as was found in refs . @xcite a large hierarchy can be generated by a moderately small scalar mass . in this case we will find after radion stabilization that @xmath78 . we have @xmath79 therefore , contributions in the effective potential due to the deviation from @xmath80 will be suppressed by @xmath81 . we may self - consistently neglect this term . the tadpole term in the action indicates a vev for @xmath1 . we find @xmath82 note that this corresponds precisely to the solution for @xmath1 found in ref . @xcite . there , a solution for @xmath1 to first order in @xmath83 and @xmath84 was found as a function of the extra - dimensional space . evaluating this solution at the location of the visible brane gives equation ( [ chivev ] ) .    substituting this expression for @xmath85 into the action we obtain an effective potential for the radion . @xmath86 minimizing this potential we find that a hierarchy is established . @xmath87 a large hierarchy is generated for a modest ratio of @xmath88 . we now apply the methods of the previous sections to a more general action . consider interacting theories of the type @xmath89 & = & \iiv dz \sqrt{g } \big\ { \frac{1}{2 } g^{mn }   \partial_m \chi \partial_n \chi - v_{bulk}\big ( \chi \big ) \big\ } \nonumber \\ s_{hid}[\chi(x , z_h ) ] & = & \iiv \sqrt{g_h } \ ; l_h ( \chi , \partial_\mu ,   g_h^{\mu \nu } )   \nonumber \\ s_{vis}[\chi(x , z_v ) ] & = & \iiv \sqrt{g_v } \ ; l_v ( \chi,\partial_\mu ,   g_v^{\mu \nu } ) .\end{aligned}\ ] ] the brane localized lagrangians are taken to be local in @xmath1 and its @xmath10-derivatives . we will see that the rg flow preserves this general form . the equations of motion imply the hidden boundary condition z _ z ( x , z )    @xmath90 in the four dimensional variations that remain after integrating over the delta functions in @xmath3 in the equations of motion emerging from brane terms .    in analogy to ( [ bca ] ) , we look for a new local action @xmath91 which satisfies the boundary condition [ genbca ] z _ z ( x , z ) |_z = a =    we require the boundary condition s_a[(x , z_h ) ] = s_hid[(x , z_h ) ] , and that solutions , @xmath30 , to the original equations of motion solve the effective equations of motion when restricted to @xmath31 .    as in previous sections , we calculate the logarithmic @xmath28-derivative of the effective hidden boundary condition , and eliminate first and second @xmath3-derivatives at the effective hidden brane using the boundary condition and the equations of motion . using the obvious result @xmath92 we arrive at @xmath93}{\delta   \psi(x)}\bigg|_{\psi(x)=\chi(x , a ) }   =    \frac{1}{4 ( \sqrt{g})^2 } \int d^4 x^{\prime } \frac{\delta^2   s_a[\psi]}{\delta \psi(x^{\prime } ) \delta \psi(x )   } \bigg|_{\psi(x)=\chi(x , a ) } \times \frac{\delta s_a[\psi]}{\delta \psi(y ) }   \bigg|_{\psi(y ) = \chi(x^{\prime},a ) } & & \nonumber \\ - \frac{1}{\sqrt{g } } \int d^4 x^{\prime \prime } \frac{\delta^2   s_a[\psi(x')]}{\delta g^{\mu \nu}(x^{\prime \prime } ) \delta \psi(x )   } \bigg|_{\psi(x)=\chi(x , a ) }   g^{\mu \nu}(x^{\prime \prime } )   - \frac{\partial v_{bulk}}{\partial \chi(x , a ) } - g^{\mu \nu } \partial_{\mu }   \partial_{\nu } \chi(x , a ) , & & \end{aligned}\ ] ] where the partial @xmath28 derivative on the left is taken to act only on the running couplings of the effective theory . it is important to note that this equation is local in the couplings and the field @xmath94 since it is constructed from the variations of the presumed local action , @xmath91 . thus we have shown that local effective actions flow to local effective actions , and the boundary condition for the flow at @xmath95 is @xmath96 , which is local . to find the @xmath40 functions for each coupling , we expand ( [ chillipepper ] ) in powers of @xmath70 and the independent momenta , @xmath16 and require that each coefficient vanish . as in the previous section , this amounts to treating @xmath70 as free to take on any value in the set of 5d solutions , which is equivalent to choosing an rg flow which is independent of the details of the visible brane . since we have not considered higher - derivative interactions in the bulk , we have still not obtained the greatest generality . there is no obstruction to finding local rg flows in the most general case of higher bulk derivatives , an example of which appears in section [ bulkderivatives ] .    as an example of the use of equation ( [ chillipepper ] ) , take the theory with the bulk interaction @xmath97 on the hidden brane we have @xmath98 we can calculate the running of @xmath99 and @xmath100 . equation ( [ chillipepper ] ) gives @xmath101 where we take @xmath102 . our rg flow then follows by treating @xmath103 as a free variable , @xmath104    a central result of this present section is the robust retention of a fixed point in the rg flow in the presence of interactions , which is ir - attractive as long as the bulk mass - squared is positive . to see this recall that we have found in section ii a fixed point for the free theory : @xmath105 using ( [ chillipepper ] ) one can straightforwardly find the linearized @xmath40 functions for flows near this fixed point when brane interactions are permitted , but bulk interactions are still absent . we find @xmath106 the scaling matrix , @xmath107 , is lower triangular ( operators with derivatives only mix with operators with fewer derivatives and @xmath108 and @xmath109 do not mix for @xmath110 ) , so that the eigenvalues are given by the diagonal elements . these eigenvalues are @xmath111 where @xmath112 indicates the number of @xmath1 fields in the operator and @xmath113 indicates the highest number of derivatives in that operator . the scaling dimensions are negative so this fixed point is attractive . we now add bulk interactions . from ( [ chillipepper ] ) one can see that the @xmath40 function will be corrected by a power series in bulk couplings ( actually a linear term at classical order ) . if these couplings are given the formal small parameter @xmath114 they will alter the rg flow by @xmath115 terms , which can not eliminate the fixed point but only shift its position by @xmath115 . the scaling dimensions will also receive an @xmath115 correction . the new fixed point will therefore be attractive for a sufficiently small @xmath114 . the robustness of the fixed point and the anomalous dimensions when interactions are included translates into the robustness of the goldberger - wise mechanism for stabilizing the hierarchy , which we see as follows . as long as our original hidden brane action is sufficiently close to the fixed point action , we are justified in using the linearized rg flow , given by the anomalous dimensions . as long as the strength of bulk couplings is sufficiently small , the @xmath114 mentioned above being at most of order the bulk mass - squared ( in @xmath116 units ) , the spectrum of anomalous dimensions is still given by one coupling with anomalous dimension of order @xmath117 , while the other couplings have anomalous dimensions which are of order @xmath118 or more negative . we will now repeat our goldberger - wise analysis as in the previous section , but now using this interacting rg flow . running the planck brane down to @xmath119 as before we drop derivative terms to find a vacuum potential of the form @xmath120 where the operators @xmath121 have scaling dimension @xmath122 . the functions @xmath123 and @xmath124 have no explicit @xmath125 dependence . we will show self - consistently that @xmath78 . we can then discard all terms suppressed by order one powers of @xmath126 as they are negligible . taking @xmath127 to be of order @xmath128 , only one hidden brane operator is relevant . we have @xmath129 notice that this potential has the form , @xmath130 where @xmath131 indicates a polynomial . for quite generic coefficients this indicates that solutions with @xmath132 minimize this potential . these relations are explicitly confirmed at leading order in @xmath114 in section iii were a large hierarchy is generated . we see that a large hierarchy will also be set including the @xmath115 ( and higher ) corrections . @xmath133 in quantum field theory the quantities of physical interest are the @xmath134-point functions . take the theory of equation ( [ action ] ) with the hidden brane at @xmath4 . we may also consider a theory with the hidden brane at a location @xmath135 . these theories will describe equivalent physics if they give the same @xmath134-point functions . we require @xmath136 where the final subscript denotes the position of the hidden brane , where @xmath137 . this method of matching @xmath134-point functions is done at tree level in this paper and gives an alternate , equivalent way of calculating the flow equations for hidden brane couplings to that of the previous sections . we demonstrate this method through a few examples . its utility is primarily in that the method may be extended to quantum calculations .      to evaluate @xmath134-point functions in perturbation theory we must first consider the two - point function . @xmath138 it satisfies @xmath139 explicit solutions for the green s function in ads space have been found in refs .  @xcite . simplifying in 4d momentum space this is @xmath140 as usual , this is equivalent to a @xmath21 independent differential equation @xmath141 subject to @xmath21-dependent boundary conditions , @xmath142 in the effective theory with the hidden brane at @xmath28 the 2-point function satisfies the same differential equation and visible boundary condition but with a modified hidden boundary condition . @xmath143 the coupling @xmath144 is chosen so that @xmath145 which implies @xmath146 expanding for infinitesimal @xmath147 , using ( [ gfbulk ] ) to eliminate @xmath148 and the effective hidden boundary condition to eliminate @xmath149 at @xmath150 , leads to @xmath151 this is the same flow described in section [ free ] . what follows are two example flow calculations . the central object will be the free field two point function at the rg fixed point , satisfying the boundary condition @xmath152 the theory will in general not be at this fixed point . we treat contributions to the @xmath134-point function due to bulk interactions and deviations from @xmath80 perturbatively .      in our earlier classical analysis we had restricted ourselves for simplicity to bulk interactions of the form of a potential . as an example of a perturbative calculation using the method of matching green s functions consider here the specific bulk derivative coupling @xmath153 with coupling constant @xmath154   take two theories with the hidden brane at @xmath28 and @xmath155 respectively . we require that the 4-point function be independent of the location of the brane , @xmath156 for infinitesimal @xmath147 this is @xmath157 on the hidden brane we need @xmath158 where in this section @xmath159 indicates terms with higher @xmath160 derivatives . in perturbation theory we use the free field propagator at the fixed point @xmath80 , as discussed in the previous subsection .    calculating the 4 point function at first order in the couplings gives @xmath161 where @xmath162 indicates a permutation of the @xmath3 dervatives on the propagators . taking the logarithmic derivative with respect to @xmath28 we have @xmath163 using the fact that the two - point functions are at their free - field fixed point values , @xmath164 we obtain @xmath165 in 4-momentum space we may divide by the external propagators and then set external momentum to zero to obtain @xmath166 showing how this bulk derivative interaction modifies the rg flow for a hidden brane coupling .      as a second example , illustrating nonlinear effects in the rg , consider the brane interactions @xmath168    these will induce 4-point operators through the diagrams of figure [ fourpoint ] . we require hidden brane `` counterterms '' @xmath169 to maintain invariance of the 4-point function working to second order in @xmath170 . here again @xmath159 indicates higher @xmath171 derivatives . we calculate @xmath172 requiring @xmath157 we use @xmath164 @xmath173 where the delta function term in ( [ disc ] ) is due to the discontinuity in @xmath174 following from ( [ greeneom ] ) . to linear order in @xmath99 it is straightforward to establish @xmath175 substituting these expressions into ( [ fourpointcalc ] ) , transforming to 4-momentum space , dividing by the external propagators and setting external momentum to zero gives @xmath176 this matches the result that is obtained through the methods of section [ interactions ] . this demonstrates how @xmath167 interactions induce running in @xmath100 . note that other nonlinear contributions in the @xmath40 functions may be calculated through the diagrams of figure [ fourint ] . the two main directions for generalizing the above rg formalism are including higher spins and including quantum loops . spins greater than or equal to one raise an interesting subtlety not encountered in this paper . the usual cft interpretation of a bulk rs1 field is that it corresponds to a cft operator _ and _ to a fundamental 4d field coupled to that cft . therefore it is at first sight odd that in our rs1 examples we found exact fixed points without the deviations corresponding to the coupling to a fundamental 4d scalar . however , one can see that the hidden brane fixed point lagrangian found in this paper contains an effective - cutoff sized mass for the bulk scalar . the dual of this is a cft coupled to a cutoff - mass fundamental scalar that is a scalar heavy enough to be completely integrated out of the effective theory leaving the pure cft dynamics . now consider higher spins protected by gauge invariance . for concreteness we will consider gravity in the full rs1 model . we may want to keep the zero mode graviton ( dual to the fundamental 4d graviton coupled to the cft ) . in this case we must accomodate the complication that the effective hidden brane theory must describe `` almost '' fixed point behavior with small deviations arising from weak coupling to the zero mode graviton . quantum loops can be dealt with in a very similar manner to the methods of section vi . the central technical issue is a proof to all orders of the locality of the running effective hidden brane lagrangian . ( we fully expect this locality . ) once this is demonstrated , the rg approach will undoubtedly provide the simplest and most insightful proof of the stability of the rs - goldberger - wise hierarchy to all orders in the effective field theory . the method of proof would be almost identical to the proof of hierarchy robustness given here in section v for the classical interacting theory , which uses only the most general features of the rg flows . the importance of such a proof is easy to understand when one considers that the goldberger - wise effective potential is basically a weak - scale potential for the radius , whereas the rs1 effective theory , has access to planckian mass scales ( especially at the quantum level ) which naively threaten to overwhelm weak - scale effects . understanding how the potential is protected by such effects is a particular case illustrating the more general utility of the rg procedure , which is to identify where large dependences on the warp factor appear within feynman diagrams . another important application would be quantum corrections to the masses and decays of low lying kaluza - klein resonances . l.  randall and r.  sundrum , phys . lett .   * 83 * , 3370 ( 1999 ) [ arxiv : hep - ph/9905221 ] ; l.  randall and r.  sundrum , phys . lett .   * 83 * , 4690 ( 1999 ) [ arxiv : hep - ph/9906064 ] . w.  d.  goldberger and i.  z.  rothstein , phys . b * 491 * , 339 ( 2000 ) [ arxiv : hep - th/0007065 ] ; l.  randall and m.  d.  schwartz , jhep * 0111 * , 003 ( 2001 ) [ arxiv : hep - th/0108114 ] ; w.  d.  goldberger and i.  z.  rothstein , [ arxiv : hep - th/0204160 ] ; k.  agashe , a.  delgado and r.  sundrum , [ arxiv : hep - ph/0206099 ] ; r.  contino , p.  creminelli and e.  trincherini , [ arxiv : hep - th/0208002 ] . k.  w.  choi and i.  w.  kim , [ arxiv : hep - th/0208071 ] . j.  m.  maldacena , adv . * 2 * , 231 ( 1998 ) [ int . j.  theor . phys .   * 38 * , 1113 ( 1999 ) ] [ arxiv : hep - th/9711200 ] ; s.  s.  gubser , i.  r.  klebanov and a.  m.  polyakov , phys . b * 428 * , 105 ( 1998 ) [ arxiv : hep - th/9802109 ] ; e.  witten , adv . * 2 * , 253 ( 1998 ) [ arxiv : hep - th/9802150 ] ; l.  susskind and e.  witten , [ arxiv : hep - th/9805114 ] ; e.  t.  akhmedov , [ arxiv : hep - th/9806217 ] ; e.  alvarez and c.  gomez , nucl . b * 541 * , 441 ( 1999 ) [ arxiv : hep - th/9807226 ] ; v.  balasubramanian and p.  kraus , phys . lett .   * 83 * , 3605 ( 1999 ) [ arxiv : hep - th/9903190 ] ; s.  ferrara and m.  porrati , phys . b * 458 * , 43 ( 1999 ) [ arxiv : hep - th/9903241 ] ; d.  z.  freedman , s.  s.  gubser , k.  pilch and n.  p.  warner , jhep * 0007 * , 038 ( 2000 ) [ arxiv : hep - th/9906194 ] ;    h. verlinde , nucl . b * 580 * , 264 ( 2000 ) [ arxiv : hep - th/9906182 ] ; j.  maldacena , unpublished remarks ; e.  witten , itp santa barbara conference ` new dimensions in field theory and string theory ' , http://www.itp.ucsb.edu/online/susyc99/discussion ; s.  s.  gubser , phys . d * 63 * , 084017 ( 2001 ) [ arxiv : hep - th/9912001 ] ; j.  de boer , e.  verlinde and h.  verlinde , jhep * 0008 * , 003 ( 2000 ) [ arxiv : hep - th/9912012 ] ; n.  arkani - hamed , m.  porrati and l.  randall , jhep * 0108 * , 017 ( 2001 ) [ arxiv : hep - th/0012148 ] ; r.  rattazzi and a.  zaffaroni , jhep * 0104 * , 021 ( 2001 ) [ arxiv : hep - th/0012248 ] ; m.  perez - victoria , jhep * 0105 * , 064 ( 2001 ) [ arxiv : hep - th/0105048 ] . c.  csaki , j.  erlich , t.  j.  hollowood and j.  terning , phys .  rev . d * 63 * , 065019 ( 2001 ) [ arxiv : hep - th/0003076 ] . m.  henningson and k.  skenderis , jhep * 9807 * , 023 ( 1998 ) [ arxiv : hep - th/9806087 ] . m.  henningson and k.  skenderis , fortsch . phys .   * 48 * , 125 ( 2000 ) [ arxiv : hep - th/9812032 ] . s.  de haro , s.  n.  solodukhin and k.  skenderis , commun . phys .   * 217 * , 595 ( 2001 ) [ arxiv : hep - th/0002230 ] . m.  bianchi , d.  z.  freedman and k.  skenderis , jhep * 0108 * , 041 ( 2001 ) [ arxiv : hep - th/0105276 ] . m.  bianchi , d.  z.  freedman and k.  skenderis , nucl . b * 631 * , 159 ( 2002 ) [ arxiv : hep - th/0112119 ] . s.  de haro , k.  skenderis and s.  n.  solodukhin , class . .  grav .   * 18 * , 3171 ( 2001 ) [ arxiv : hep - th/0011230 ] . o.  dewolfe , d.  z.  freedman , s.  s.  gubser and a.  karch , phys . d * 62 * , 046008 ( 2000 ) [ arxiv : hep - th/9909134 ] . a.  lewandowski and r.  sundrum , phys . d * 65 * , 044003 ( 2002 ) [ arxiv : hep - th/0108025 ] . b.  grinstein , d.  r.  nolte and w.  skiba , phys . d * 63 * , 105005 ( 2001 ) [ arxiv : hep - th/0012074 ] .
Abstract:

Answer: we derive a renormalization group formalism for the randall - sundrum scenario , where the renormalization scale is set by a floating compactification radius . while inspired by the ads / cft conjecture , our results are derived concretely within higher - dimensional effective field theory . matching theories with different radii leads to running hidden brane couplings . the hidden brane lagrangian consists of four - dimensional local operators constructed from the induced value of the bulk fields on the brane . we find hidden lagrangians which are non - trivial fixed points of the rg flow . calculations in rs1 can be greatly simplified by `` running down '' the effective theory to a small radius . we demonstrate these simplifications by studying the goldberger - wise stabilization mechanism . in this paper , we focus on the classical and tree - level quantum field theory of bulk scalar fields , which demonstrates the essential features of the rg in the simplest context .