Locally Polynomially Bounded Structures

We prove a theorem which provides a method for constructing points on varieties defined by certain smooth functions. We require that the functions are definable in a definably complete expansion of a real closed field and are locally definable in a fixed o-minimal and polynomially bounded reduct. As an application we show that in certain o-minimal structures definable functions are piecewise implicitly defined over the basic functions in the language.Comment: Change of titl

First principles of modelling the stabilization of microturbulence by fast ions

The observation that fast ions stabilize ion-temperature-gradient-driven microturbulence has profound implications for future fusion reactors. It is also important in optimizing the performance of present-day devices. In this work, we examine in detail the phenomenology of fast ion stabilization and present a reduced model which describes this effect. This model is derived from the high-energy limit of the gyrokinetic equation and extends the existing "dilution" model to account for nontrivial fast ion kinetics. Our model provides a physically-transparent explanation for the observed stabilization and makes several key qualitative predictions. Firstly, that different classes of fast ions, depending on their radial density or temperature variation, have different stabilizing properties. Secondly, that zonal flows are an important ingredient in this effect precisely because the fast ion zonal response is negligible. Finally, that in the limit of highly-energetic fast ions, their response approaches that of the "dilution" model; in particular, alpha particles are expected to have little, if any, stabilizing effect on plasma turbulence. We support these conclusions through detailed linear and nonlinear gyrokinetic simulations.Comment: 29 pages, 10 figures, 3 table

Rapid Metabolic Recovery Following Vigorous Exercise in Burrow-Dwelling Larval Sea Lampreys (\u3cem\u3ePetromyzon marinus\u3c/em\u3e)

Although the majority of the sea lamprey’s (Petromyzon marinus) life cycle is spent as a burrow-dwelling larva, or ammocoete, surprisingly little is known about intermediary metabolism in this stage of the lamprey’s life history. In this study, larval sea lampreys (ammocoetes) were vigorously exercised for 5 min, and their patterns of metabolic fuel depletion and replenishment and oxygen consumption, along with measurements of net whole-body acid and ion movements, were followed during a 4–24-h postexercise recovery period. Exercise led to initial five- to sixfold increases in postexercise oxygen consumption, which remained significantly elevated by 1.5–2.0 times for the next 3 h. Exercise also led to initial 55% drops in whole-body phosphocreatine, which was restored by 0.5 h, but no significant changes in whole-body adenosine triphosphate were observed. Whole-body glycogen concentrations dropped by 70% immediately following exercise and were accompanied by a simultaneous ninefold increase in lactate. Glycogen and lactate were quickly restored to resting levels after 0.5 and 2.0 h, respectively. The presence of an associated metabolic acidosis was supported by very high rates of metabolic acid excretion, which approached 1,000 nmol g-1 during the first 2 h of postexercise recovery. Exercise-induced ion imbalances were also rapidly alleviated, as initially high rates of net Na+ and Cl- loss (—1,200 nmol g-1h-1 and —1,800 nmol g-1h-1 respectively) were corrected within 1–2 h. Although larval sea lampreys spend most of their time burrowed, they are adept at performing and recovering from vigorous anaerobic exercise. Such attributes could be important when these animals are vigorously swimming or burrowing as they evade predators or forage

On Recurrent Reachability for Continuous Linear Dynamical Systems

The continuous evolution of a wide variety of systems, including continuous-time Markov chains and linear hybrid automata, can be described in terms of linear differential equations. In this paper we study the decision problem of whether the solution $\boldsymbol{x}(t)$ of a system of linear differential equations $d\boldsymbol{x}/dt=A\boldsymbol{x}$ reaches a target halfspace infinitely often. This recurrent reachability problem can equivalently be formulated as the following Infinite Zeros Problem: does a real-valued function $f:\mathbb{R}_{\geq 0}\rightarrow\mathbb{R}$ satisfying a given linear differential equation have infinitely many zeros? Our main decidability result is that if the differential equation has order at most $7$, then the Infinite Zeros Problem is decidable. On the other hand, we show that a decision procedure for the Infinite Zeros Problem at order $9$ (and above) would entail a major breakthrough in Diophantine Approximation, specifically an algorithm for computing the Lagrange constants of arbitrary real algebraic numbers to arbitrary precision.Comment: Full version of paper at LICS'1

Suppression of decoherence via strong intra-environmental coupling

We examine the effects of intra-environmental coupling on decoherence by constructing a low temperature spin--spin-bath model of an atomic impurity in a Debye crystal. The impurity interacts with phonons of the crystal through anti-ferromagnetic spin-spin interactions. The reduced density matrix of the central spin representing the impurity is calculated by dynamically integrating the full Schroedinger equation for the spin--spin-bath model for different thermally weighted eigenstates of the spin-bath. Exact numerical results show that increasing the intra-environmental coupling results in suppression of decoherence. This effect could play an important role in the construction of solid state quantum devices such as quantum computers.Comment: 4 pages, 3 figures, Revtex fil

Stochastic time-dependent current-density functional theory: a functional theory of open quantum systems

The dynamics of a many-body system coupled to an external environment represents a fundamentally important problem. To this class of open quantum systems pertains the study of energy transport and dissipation, dephasing, quantum measurement and quantum information theory, phase transitions driven by dissipative effects, etc. Here, we discuss in detail an extension of time-dependent current-density-functional theory (TDCDFT), we named stochastic TDCDFT [Phys. Rev. Lett. {\bf 98}, 226403 (2007)], that allows the description of such problems from a microscopic point of view. We discuss the assumptions of the theory, its relation to a density matrix formalism, and the limitations of the latter in the present context. In addition, we describe a numerically convenient way to solve the corresponding equations of motion, and apply this theory to the dynamics of a 1D gas of excited bosons confined in a harmonic potential and in contact with an external bath.Comment: 17 pages, 7 figures, RevTex4; few typos corrected, a figure modifie

“some kind of thing it aint us but yet its in us”: David Mitchell, Russell Hoban, and metafiction after the millennium

This article appraises the debt that David Mitchell’s Cloud Atlas owes to the novels of Russell Hoban, including, but not limited to, Riddley Walker. After clearly mapping a history of Hoban’s philosophical perspectives and Mitchell’s inter-textual genre-impersonation practice, the article assesses the degree to which Mitchell’s metatextual methods indicate a nostalgia for by-gone radical aesthetics rather than reaching for new modes of its own. The article not only proposes several new backdrops against which Mitchell’s novel can be read but also conducts the first in-depth appraisal of Mitchell’s formal linguistic replication of Riddley Walker

Self-Latching Piezocomposite Actuator

A self-latching piezocomposite actuator includes a plurality of shape memory ceramic fibers. The actuator can be latched by applying an electrical field to the shape memory ceramic fibers. The actuator remains in a latched state/shape after the electrical field is no longer present. A reverse polarity electric field may be applied to reset the actuator to its unlatched state/shape. Applied electric fields may be utilized to provide a plurality of latch states between the latched and unlatched states of the actuator. The self-latching piezocomposite actuator can be used for active/adaptive airfoils having variable camber, trim tabs, active/deformable engine inlets, adaptive or adjustable vortex generators, active optical components such as mirrors that change shapes, and other morphing structures

Secular trends in work disability and its relationship to musculoskeletal pain and mental health: a time-trend analysis using five cross-sectional surveys (2002-2010) in the general population.

OBJECTIVES: International evidence suggests that rates of inability to work because of illness can change over time. We hypothesised that one reason for this is that the link between inability to work and common illnesses, such as musculoskeletal pain and mental illness, may also change over time. We have investigated this in a study based in one UK district. METHODS: Five population surveys (spanning 2002-2010) of working-age people aged >50 years and ≤65 years were used. Work disability was defined as a single self-reported item 'not working due to ill-health'. Presence of moderate-severe depressive symptoms was identified from the Mental Component Score of the Short Form-12, and pain from a full-body manikin. Data were analysed with multivariable logistic regression. RESULTS: The proportion of people reporting work disability across the surveys declined, from 17.0% in 2002 to 12.1% in 2010. Those reporting work disability, one-third reported regional pain, one-half widespread pain (53%) and two-thirds moderate-severe depressive symptoms (68%). Both factors were independently associated with work disability; their co-occurrence was associated with an almost 20-fold increase in the odds of reporting work disability compared with those with neither condition. CONCLUSIONS: The association of work disability with musculoskeletal pain was stable over time; depressive symptoms became more prominent in persons reporting work disability, but overall prevalence of work disability declined. The frequency and impact of both musculoskeletal pain and depression highlight the need to move beyond symptom-directed approaches towards a more comprehensive model of health and vocational advice for people unable to work because of illness