Experimental demonstration of a classical analog to quantum noise cancellation for use in gravitational wave detection

We present results that are a classical analog to quantum noise cancellation. It is possible to breach the standard quantum limit in an interferometer by the use of squeezing to correlate orthogonal quadratures of quantum noise, causing their effects on the resulting sensitivity to cancel. A laser beam incident on a Fabry-Perot cavity was imprinted with classical, correlated noise in the same quadratures that cause shot noise and radiation pressure noise. Couplings between these quadratures due to a movable mirror, sensitive to radiation pressure, cause the excess classical noise to cancel. This cancellation was shown to improve the signal to noise ratio of an injected signal by approximately a factor of 10

Reliably Classifying Novice Programmer Exam Responses using the SOLO Taxonomy

Abstract: Past papers of the BRACElet project have described an approach to teaching and assessing students where the students are presented with short pieces of code, and are instructed to explain, in plain English, what the code does. The student responses to these types of questions can be analysed according to the SOLO taxonomy. Some students display an understanding of the code as a single, functional whole, while other students cannot âsee the forest for the treesâ . However, classifying student responses into the taxonomy is not always straightforward. This paper analyses the reliability of the SOLO taxonomy as a means of categorising student responses. The paper derives an augmented set of SOLO categories for application to the programming domain, and proposes a set of guidelines for researchers to use

Termination Casts: A Flexible Approach to Termination with General Recursion

This paper proposes a type-and-effect system called Teqt, which distinguishes terminating terms and total functions from possibly diverging terms and partial functions, for a lambda calculus with general recursion and equality types. The central idea is to include a primitive type-form "Terminates t", expressing that term t is terminating; and then allow terms t to be coerced from possibly diverging to total, using a proof of Terminates t. We call such coercions termination casts, and show how to implement terminating recursion using them. For the meta-theory of the system, we describe a translation from Teqt to a logical theory of termination for general recursive, simply typed functions. Every typing judgment of Teqt is translated to a theorem expressing the appropriate termination property of the computational part of the Teqt term.Comment: In Proceedings PAR 2010, arXiv:1012.455

A Demonstration of LISA Laser Communication

Over the past few years questions have been raised concerning the use of laser communications links between sciencecraft to transmit phase information crucial to the reduction of laser frequency noise in the LISA science measurement. The concern is that applying medium frequency phase modulations to the laser carrier could compromise the phase stability of the LISA fringe signal. We have modified the table-top interferometer presented in a previous article by applying phase modulations to the laser beams in order to evaluate the effects of such modulations on the LISA science fringe signal. We have demonstrated that the phase resolution of the science signal is not degraded by the presence of medium frequency phase modulations.Comment: minor corrections found in the CQG versio

Going SOLO to assess novice programmers

This paper explores the programming knowledge of novices using Biggs' SOLO taxonomy. It builds on previous work of Lister et al. (2006) and addresses some of the criticisms of that work. The research was conducted by studying the exam scripts for 120 introductory programming students, in which three specific questions were analyzed using the SOLO taxonomy. The study reports the following four findings: when the instruction to students used by Lister et al. - "In plain English, explain what the following segment of Java code does" - is replaced with a less ambiguous instruction, many students still provide multistructural responses; students are relatively consistent in the SOLO level of their answers; student responses on SOLO reading tasks correlate positively with performance on writing tasks; postgraduates students manifest a higher level of thinking than undergraduates. Copyright 2008 ACM

A Model for the Voltage Steps in the Breakdown of the Integer Quantum Hall Effect

In samples used to maintain the US resistance standard the breakdown of the dissipationless integer quantum Hall effect occurs as a series of dissipative voltage steps. A mechanism for this type of breakdown is proposed, based on the generation of magneto-excitons when the quantum Hall fluid flows past an ionised impurity above a critical velocity. The calculated generation rate gives a voltage step height in good agreement with measurements on both electron and hole gases. We also compare this model to a hydrodynamic description of breakdown.Comment: 4 pages including 3 figure

Radiation-pressure cooling and optomechanical instability of a micro-mirror

Recent experimental progress in table-top experiments or gravitational-wave interferometers has enlightened the unique displacement sensitivity offered by optical interferometry. As the mirrors move in response to radiation pressure, higher power operation, though crucial for further sensitivity enhancement, will however increase quantum effects of radiation pressure, or even jeopardize the stable operation of the detuned cavities proposed for next-generation interferometers. The appearance of such optomechanical instabilities is the result of the nonlinear interplay between the motion of the mirrors and the optical field dynamics. In a detuned cavity indeed, the displacements of the mirror are coupled to intensity fluctuations, which modifies the effective dynamics of the mirror. Such "optical spring" effects have already been demonstrated on the mechanical damping of an electromagnetic waveguide with a moving wall, on the resonance frequency of a specially designed flexure oscillator, and through the optomechanical instability of a silica micro-toroidal resonator. We present here an experiment where a micro-mechanical resonator is used as a mirror in a very high-finesse optical cavity and its displacements monitored with an unprecedented sensitivity. By detuning the cavity, we have observed a drastic cooling of the micro-resonator by intracavity radiation pressure, down to an effective temperature of 10 K. We have also obtained an efficient heating for an opposite detuning, up to the observation of a radiation-pressure induced instability of the resonator. Further experimental progress and cryogenic operation may lead to the experimental observation of the quantum ground state of a mechanical resonator, either by passive or active cooling techniques

Dynamical Coupling between a Bose-Einstein Condensate and a Cavity Optical Lattice

A Bose-Einstein condensate is dispersively coupled to a single mode of an ultra-high finesse optical cavity. The system is governed by strong interactions between the atomic motion and the light field even at the level of single quanta. While coherently pumping the cavity mode the condensate is subject to the cavity optical lattice potential whose depth depends nonlinearly on the atomic density distribution. We observe bistability already below the single photon level and strong back-action dynamics which tunes the system periodically out of resonance.Comment: 5 pages, 4 figure

Investigation of guided wave propagation in pipes fully- and partially-embedded in concrete

The application of long-range guided-wave testing to pipes embedded in concrete results in unpredictable test-ranges. The influence of the circumferential extent of the embedding-concrete around a steel pipe on the guided wave propagation is investigated. An analytical model is used to study the axisymmetric fully embedded pipe case, while explicit finite-element and semi-analytical finite-element simulations are utilised to investigate a partially embedded pipe. Model predictions and simulations are compared with full-scale guided-wave tests. The transmission-loss of the T(0,1)-mode in an 8 in. steel pipe fully embedded over an axial length of 0.4 m is found to be in the range of 32–36 dB while it reduces by a factor of 5 when only 50% of the circumference is embedded. The transmission-loss in a fully embedded pipe is mainly due to attenuation in the embedded section while in a partially embedded pipe it depend strongly on the extent of mode-conversion at entry to the embedded-section; low loss modes with energy concentrated in the region of the circumference not-covered with concrete have been identified. The results show that in a fully embedded pipe, inspection beyond a short distance will not be possible, whereas when the concrete is debonded over a fraction of the pipe circumference, inspection of substantially longer lengths may be possible

The patient reporting and action for a safe environment (PRASE) intervention: a feasibility study

Background: There is growing interest in the role of patients in improving patient safety. One such role is providing feedback on the safety of their care. Here we describe the development and feasibility testing of an intervention that collects patient feedback on patient safety, brings together staff to consider this feedback and to plan improvement strategies. We address two research questions: i) to explore the feasibility of the process of systematically collecting feedback from patients about the safety of care as part of the PRASE intervention; and, ii) to explore the feasibility and acceptability of the PRASE intervention for staff, and to understand more about how staff use the patient feedback for service improvement. Method: We conducted a feasibility study using a wait-list controlled design across six wards within an acute teaching hospital. Intervention wards were asked to participate in two cycles of the PRASE (Patient Reporting & Action for a Safe Environment) intervention across a six-month period. Participants were patients on participating wards. To explore the acceptability of the intervention for staff, observations of action planning meetings, interviews with a lead person for the intervention on each ward and recorded researcher reflections were analysed thematically and synthesised. Results: Recruitment of patients using computer tablets at their bedside was straightforward, with the majority of patients willing and able to provide feedback. Randomisation of the intervention was acceptable to staff, with no evidence of differential response rates between intervention and control groups. In general, ward staff were positive about the use of patient feedback for service improvement and were able to use the feedback as a basis for action planning, although engagement with the process was variable. Gathering a multidisciplinary team together for action planning was found to be challenging, and implementing action plans was sometimes hindered by the need to co-ordinate action across multiple services. Discussion: The PRASE intervention was found to be acceptable to staff and patients. However, before proceeding to a full cluster randomised controlled trial, the intervention requires adaptation to account for the difficulties in implementing action plans within three months, the need for a facilitator to support the action planning meetings, and the provision of training and senior management support for participating ward teams. Conclusions: The PRASE intervention represents a promising method for the systematic collection of patient feedback about the safety of hospital care