3,032 research outputs found

    Model Checking Tap Withdrawal in C. Elegans

    Full text link
    We present what we believe to be the first formal verification of a biologically realistic (nonlinear ODE) model of a neural circuit in a multicellular organism: Tap Withdrawal (TW) in \emph{C. Elegans}, the common roundworm. TW is a reflexive behavior exhibited by \emph{C. Elegans} in response to vibrating the surface on which it is moving; the neural circuit underlying this response is the subject of this investigation. Specifically, we perform reachability analysis on the TW circuit model of Wicks et al. (1996), which enables us to estimate key circuit parameters. Underlying our approach is the use of Fan and Mitra's recently developed technique for automatically computing local discrepancy (convergence and divergence rates) of general nonlinear systems. We show that the results we obtain are in agreement with the experimental results of Wicks et al. (1995). As opposed to the fixed parameters found in most biological models, which can only produce the predominant behavior, our techniques characterize ranges of parameters that produce (and do not produce) all three observed behaviors: reversal of movement, acceleration, and lack of response

    Collisional Energy Loss of Non Asymptotic Jets in a QGP

    Get PDF
    We calculate the collisional energy loss suffered by a heavy (charm) quark created at a finite time within a Quark Gluon Plasma (QGP) in the classical linear response formalism as in Peigne {\it et al.} \cite{peigne}. We pay close attention to the problem of formulating a suitable current and the isolation of binding and radiative energy loss effects. We find that unrealistic large binding effects arising in previous formulations must be subtracted. The finite time correction is shown to be important only for very short length scales on the order of a Debye length. The overall energy loss is similar in magnitude to the energy loss suffered by a charge created in the asymptotic past. This result has significant implications for the relative contribution to energy loss from collisional and radiative sources and has important ramifications for the ``single electron puzzle'' at RHIC.Comment: 15 Pages, 11 figures, revte

    Open heavy flavor production at RHIC

    Get PDF
    The study of heavy flavor production in relativistic heavy ion collisions is an extreme experimental challenge but provides important information on the properties of the Quark-Gluon Plasma (QGP) created in Au+Au collisions at RHIC. Heavy-quarks are believed to be produced in the initial stages of the collision, and are essential on the understanding of parton energy loss in the dense medium created in such environment. Moreover, heavy-quarks can help to investigate fundamental properties of QCD in elementary p+p collisions. In this work we review recent results on heavy flavor production and their interaction with the hot and dense medium at RHIC.Comment: Quark Matter 2006 proceedings, 8 pages, 5 figure

    Polytropic Behavior of Solar Wind Protons Observed by Parker Solar Probe

    Get PDF
    A polytropic process describes the transition of a fluid from one state to another through a specific relationship between the fluid density and temperature. The value of the polytropic index that governs this relationship determines the heat transfer and the effective degrees of freedom during the process. In this study, we analyze solar wind proton plasma measurements, obtained by the Faraday cup instrument on-board Parker Solar Probe. We examine the large-scale variations of the proton plasma density and temperature within the inner heliosphere explored by the spacecraft. We also address a polytropic behavior in the density and temperature fluctuations in short-time intervals, which we analyze in order to derive the effective polytropic index of small time-scale processes. The large-scale variations of the solar wind proton density and temperature which are associated with the plasma expansion through the heliosphere, follow a polytropic model with a polytropic index ~5/3. On the other hand, the short time-scale fluctuations which may be associated with turbulence, follow a model with a larger polytropic index. We investigate possible correlations between the polytropic index of short time-scale fluctuations and the plasma speed, plasma beta, and the magnetic field direction. We discuss the scenario of mechanisms including energy transfer or mechanisms that restrict the particle effective degrees of freedom.Comment: 20 pages, 9 figure

    Parallel-propagating Fluctuations at Proton-kinetic Scales in the Solar Wind are Dominated by Kinetic Instabilities

    Get PDF
    We use magnetic helicity to characterise solar wind fluctuations at proton-kinetic scales from Wind observations. For the first time, we separate the contributions to helicity from fluctuations propagating at angles quasi-parallel and oblique to the local mean magnetic field, B0\mathbf{B}_0. We find that the helicity of quasi-parallel fluctuations is consistent with Alfv\'en-ion cyclotron and fast magnetosonic-whistler modes driven by proton temperature anisotropy instabilities and the presence of a relative drift between α\alpha-particles and protons. We also find that the helicity of oblique fluctuations has little dependence on proton temperature anisotropy and is consistent with fluctuations from the anisotropic turbulent cascade. Our results show that parallel-propagating fluctuations at proton-kinetic scales in the solar wind are dominated by proton temperature anisotropy instabilities and not the turbulent cascade. We also provide evidence that the behaviour of fluctuations at these scales is independent of the origin and macroscopic properties of the solar wind.Comment: Accepted for publication in ApJL. 6 Pages, 3 figures, 1 tabl

    Scaling anisotropy of the power in parallel and perpendicular components of the solar wind magnetic field

    Get PDF
    Power spectra of the components of the magnetic field parallel (Pzz) and perpendicular (Pzz+Pyy) to the local mean magnetic field direction were determined by wavelet methods from Ulysses’ MAG instrument data during eighteen 10-day segments of its first North Polar pass at high latitude at solar minimum in 1995. The power depends on frequency f and the angle θ between the solar wind direction and the local mean field, and with distance from the Sun. This data includes the solar wind whose total power (Pxx + Pyy + Pzz) in magnetic fluctuations we previously reported depends on f and the angle θ nearly as predicted by the GS95 critical balance model of strong incompressible MHD turbulence. Results at much wider range of frequencies during six evenly-spaced 10-day periods are presented here to illustrate the variability and evolution with distance from the Sun. Here we investigate the aniso tropic scaling of Pzz(f,θ) in particular because it is a reduced form of the Poloidal (pseudo-Alfvenic) component of the (incompressible) fluctuations. We also report the much larger Pxx(f,θ)+Pyy(f,θ) which is (mostly) reduced from the Toroidal (Alfvenic, i.e., perpendicular to both B and k) fluctuations, and comprises most of the total power. These different components of the total power evolve and scale differently in the inertial range. We compare these elements of the magnetic power spectral tensor with “critical balance” model predictions

    Energy Loss of a Heavy Quark Produced in a Finite Size Medium

    Get PDF
    We study the medium-induced energy loss ΔE0(Lp)-\Delta E_0(L_p) suffered by a heavy quark produced at initial time in a quark-gluon plasma, and escaping the plasma after travelling the distance LpL_p. The heavy quark is treated classically, and within the same framework ΔE0(Lp)-\Delta E_0(L_p) consistently includes: the loss from standard collisional processes, initial bremsstrahlung due to the sudden acceleration of the quark, and transition radiation. The radiative loss {\it induced by rescatterings} ΔErad(Lp)-\Delta E_{rad}(L_p) is not included in our study. For a ultrarelativistic heavy quark with momentum p \gsim 10 {\rm GeV}, and for a finite plasma with L_p \lsim 5 {\rm fm}, the loss ΔE0(Lp)-\Delta E_0(L_p) is strongly suppressed compared to the stationary collisional contribution ΔEcoll(Lp)Lp-\Delta E_{coll}(L_p) \propto L_p. Our results support that ΔErad-\Delta E_{rad} is the dominant contribution to the heavy quark energy loss (at least for L_p \lsim 5 {\rm fm}), as indeed assumed in most of jet-quenching analyses. However they might raise some question concerning the RHIC data on large pp_{\perp} electron spectra.Comment: 18 pages, 3 figures. New version clarified and simplified. A critical discussion added in section 2, and previous sections 3 and 4 have been merged together. Main results are unchange

    An Experimental Overview of Results Presented at SQM 2006

    Get PDF
    I have been asked to give an critical overview on the experimental results shown in the conference with a emphasis of what has been learned and the challenges that are ahead in trying to understand the physics of the strongly interacting quark-gluon plasma. I will not try to summarize all of the results presented, rather I will concentrate primarily on RHIC data from this conference. Throughout this summary, I will periodically review some of the previous results for those not familiar with the present state of the field.Comment: 15 pages, 12 Figure
    corecore