Trapping Ultracold Atoms in a Time-Averaged Adiabatic Potential

We report the first experimental realization of ultracold atoms confined in a time-averaged, adiabatic potential (TAAP). This novel trapping technique involves using a slowly oscillating ($\sim$ kHz) bias field to time-average the instantaneous potential given by dressing a bare magnetic potential with a high frequency ($\sim$ MHz) magnetic field. The resultant potentials provide a convenient route to a variety of trapping geometries with tunable parameters. We demonstrate the TAAP trap in a standard time-averaged orbiting potential trap with additional Helmholtz coils for the introduction of the radio frequency dressing field. We have evaporatively cooled 5 $\times 10^4$ atoms of $^{87}$Rb to quantum degeneracy and observed condensate lifetimes of over \unit[3]{s}.-Comment: 4 pages, 6 figure

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

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

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

Acute effect of meal glycemic index and glycemic load on blood glucose and insulin responses in humans

OBJECTIVE: Foods with contrasting glycemic index when incorporated into a meal, are able to differentially modify glycemia and insulinemia. However, little is known about whether this is dependent on the size of the meal. The purposes of this study were: i) to determine if the differential impact on blood glucose and insulin responses induced by contrasting GI foods is similar when provided in meals of different sizes, and; ii) to determine the relationship between the total meal glycemic load and the observed serum glucose and insulin responses. METHODS: Twelve obese women (BMI 33.7 ± 2.4 kg/m(2)) were recruited. Subjects received 4 different meals in random order. Two meals had a low glycemic index (40–43%) and two had a high-glycemic index (86–91%). Both meal types were given as two meal sizes with energy supply corresponding to 23% and 49% of predicted basal metabolic rate. Thus, meals with three different glycemic loads (95, 45–48 and 22 g) were administered. Blood samples were taken before and after each meal to determine glucose, free-fatty acids, insulin and glucagon concentrations over a 5-h period. RESULTS: An almost 2-fold higher serum glucose and insulin incremental area under the curve (AUC) over 2 h for the high- versus low-glycemic index same sized meals was observed (p < 0.05), however, for the serum glucose response in small meals this was not significant (p = 0.38). Calculated meal glycemic load was associated with 2 and 5 h serum glucose (r = 0.58, p < 0.01) and insulin (r = 0.54, p < 0.01) incremental and total AUC. In fact, when comparing the two meals with similar glycemic load but differing carbohydrate amount and type, very similar serum glucose and insulin responses were found. No differences were observed for serum free-fatty acids and glucagon profile in response to meal glycemic index. CONCLUSION: This study showed that foods of contrasting glycemic index induced a proportionally comparable difference in serum insulin response when provided in both small and large meals. The same was true for the serum glucose response but only in large meals. Glycemic load was useful in predicting the acute impact on blood glucose and insulin responses within the context of mixed meals

Corporate governance compliance and disclosure in the banking sector: using data from Japan

Using regression model this study investigates which characteristics of a bank is associated with the extent of corporate governance disclosure in Japan. The findings suggest that on average 8 banks out of a sample of 46 disclose optimal corporate governance information. The regression model results reveal in general that non-executive directors, cross-ownership, capital adequacy ratio and type of auditors are associated with the extent of corporate governance disclosure. Of these four variables, non-executive directors have a more significant impact on the extent of disclosure contrary to total assets and audit firms of banks in the context of Japan. The findings of this paper are relevant for corporate regulators, professional associations and developers of corporate governance code when designing or updating corporate governance code

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

Capture-Avoiding and Hygienic Program Transformations

Program transformations in terms of abstract syntax trees compromise referential integrity by introducing variable capture. Variable capture occurs when in the generated program a variable declaration accidentally shadows the intended target of a variable reference. Existing transformation systems either do not guarantee the avoidance of variable capture or impair the implementation of transformations. We present an algorithm called name-fix that automatically eliminates variable capture from a generated program by systematically renaming variables. name-fix is guided by a graph representation of the binding structure of a program, and requires name-resolution algorithms for the source language and the target language of a transformation. name-fix is generic and works for arbitrary transformations in any transformation system that supports origin tracking for names. We verify the correctness of name-fix and identify an interesting class of transformations for which name-fix provides hygiene. We demonstrate the applicability of name-fix for implementing capture-avoiding substitution, inlining, lambda lifting, and compilers for two domain-specific languages

A combinatorial TIR1/AFB–Aux/IAA co-receptor system for differential sensing of auxin

The plant hormone auxin regulates virtually every aspect of plant growth and development. Auxin acts by binding the F-box protein transport inhibitor response 1 (TIR1) and promotes the degradation of the AUXIN/INDOLE-3-ACETIC ACID (Aux/IAA) transcriptional repressors. Here we show that efficient auxin binding requires assembly of an auxin co-receptor complex consisting of TIR1 and an Aux/IAA protein. Heterologous experiments in yeast and quantitative IAA binding assays using purified proteins showed that different combinations of TIR1 and Aux/IAA proteins form co-receptor complexes with a wide range of auxin-binding affinities. Auxin affinity seems to be largely determined by the Aux/IAA. As there are 6 TIR1/AUXIN SIGNALING F-BOX proteins (AFBs) and 29 Aux/IAA proteins in Arabidopsis thaliana, combinatorial interactions may result in many co-receptors with distinct auxin-sensing properties. We also demonstrate that the AFB5–Aux/IAA co-receptor selectively binds the auxinic herbicide picloram. This co-receptor system broadens the effective concentration range of the hormone and may contribute to the complexity of auxin response