Tuning the interactions of spin-polarized fermions using quasi-one-dimensional confinement

The behavior of ultracold atomic gases depends crucially on the two-body scattering properties of these systems. We develop a multichannel scattering theory for atom-atom collisions in quasi-one-dimensional (quasi-1D) geometries such as atomic waveguides or highly elongated traps. We apply our general framework to the low energy scattering of two spin-polarized fermions and show that tightly-confined fermions have infinitely strong interactions at a particular value of the 3D, free-space p-wave scattering volume. Moreover, we describe a mapping of this strongly interacting system of two quasi-1D fermions to a weakly interacting system of two 1D bosons.Comment: Submitted to Phys. Rev. Let

Feshbach Resonance Cooling of Trapped Atom Pairs

Spectroscopic studies of few-body systems at ultracold temperatures provide valuable information that often cannot be extracted in a hot environment. Considering a pair of atoms, we propose a cooling mechanism that makes use of a scattering Feshbach resonance. Application of a series of time-dependent magnetic field ramps results in the situation in which either zero, one, or two atoms remain trapped. If two atoms remain in the trap after the field ramps are completed, then they have been cooled. Application of the proposed cooling mechanism to optical traps or lattices is considered.Comment: 5 pages, 3 figures; v.2: major conceptual change

Quasi-one-dimensional Bose gases with large scattering length

Bose gases confined in highly-elongated harmonic traps are investigated over a wide range of interaction strengths using quantum Monte Carlo techniques. We find that the properties of a Bose gas under tight transverse confinement are well reproduced by a 1d model Hamiltonian with contact interactions. We point out the existence of a unitary regime, where the properties of the quasi-1d Bose gas become independent of the actual value of the 3d scattering length. In this unitary regime, the energy of the system is well described by a hard rod equation of state. We investigate the stability of quasi-1d Bose gases with positive and negative 3d scattering length.Comment: 5 pages, 3 figure

Quantum Monte Carlo study of quasi-one-dimensional Bose gases

We study the behavior of quasi-one-dimensional (quasi-1d) Bose gases by Monte Carlo techniques, i.e., by the variational Monte Carlo, the diffusion Monte Carlo, and the fixed-node diffusion Monte Carlo technique. Our calculations confirm and extend our results of an earlier study [Astrakharchik et al., cond-mat/0308585]. We find that a quasi-1d Bose gas i) is well described by a 1d model Hamiltonian with contact interactions and renormalized coupling constant; ii) reaches the Tonks-Girardeau regime for a critical value of the 3d scattering length a_3d; iii) enters a unitary regime for |a_3d| -> infinity, where the properties of the gas are independent of a_3d and are similar to those of a 1d gas of hard-rods; and iv) becomes unstable against cluster formation for a critical value of the 1d gas parameter. The accuracy and implications of our results are discussed in detail.Comment: 15 pages, 9 figure

Quantum interference and phonon-mediated back-action in lateral quantum dot circuits

Spin qubits have been successfully realized in electrostatically defined, lateral few-electron quantum dot circuits. Qubit readout typically involves spin to charge information conversion, followed by a charge measurement made using a nearby biased quantum point contact. It is critical to understand the back-action disturbances resulting from such a measurement approach. Previous studies have indicated that quantum point contact detectors emit phonons which are then absorbed by nearby qubits. We report here the observation of a pronounced back-action effect in multiple dot circuits where the absorption of detector-generated phonons is strongly modified by a quantum interference effect, and show that the phenomenon is well described by a theory incorporating both the quantum point contact and coherent phonon absorption. Our combined experimental and theoretical results suggest strategies to suppress back-action during the qubit readout procedure.Comment: 25 pages, 8 figure

Dogs with macroadenomas have lower body temperature and heart rate than dogs with microadenomas

Pituitary macroadenomas compress the hypothalamus, which partly regulates heart rate and body temperature. The aim of this study was to investigate whether heart rate and/or body temperature could aid in clinically differentiating dogs with macroadenomas from dogs with microadenomas (i.e. small non-compressive pituitary mass). Two groups of dogs diagnosed with pituitary-dependent hyperadrenocorticism (i.e. Cushing’s disease) were included. Heart rate and body temperature were collected on initial presentation before any procedure. Dogs with macroadenoma had a significantly lower heart rate and body temperature (P < 0.01) compared to dogs with microadenoma. We suggest that the combined cut-off values of 84 beats per minutes and 38.3 °C in dogs with Cushing’s disease, especially with vague neurological signs (nine of 12 dogs = 75%), might help to suspect the presence of a macroadenoma

Automatic Abstraction for Congruences

One approach to verifying bit-twiddling algorithms is to derive invariants between the bits that constitute the variables of a program. Such invariants can often be described with systems of congruences where in each equation $\vec{c} \cdot \vec{x} = d \mod m$, (unknown variable m)$is a power of two,$\vec{c}$is a vector of integer coefficients, and$\vec{x}$ is a vector of propositional variables (bits). Because of the low-level nature of these invariants and the large number of bits that are involved, it is important that the transfer functions can be derived automatically. We address this problem, showing how an analysis for bit-level congruence relationships can be decoupled into two parts: (1) a SAT-based abstraction (compilation) step which can be automated, and (2) an interpretation step that requires no SAT-solving. We exploit triangular matrix forms to derive transfer functions efficiently, even in the presence of large numbers of bits. Finally we propose program transformations that improve the analysis results

Restoring soil functionality in degraded areas of organic vineyards - Preliminary results of the ReSolVe project in the French vineyards

Degraded soil areas in vineyards are associated with problems in vine health, grape production and quality. Different causes for soil degradation are possible such as poor organic matter content, lower plant nutrient availability, pH, water deficiency, soil compaction / lower oxygenation… The aim of this preliminary study is to assess soil functionality (OM decomposition), biodiversity through mesofauna diversity and consequences for vine growth and quality

Overestimating Self-Blame for Stressful Life Events and Adolescents’ Latent Trait Cortisol (LTC): The Moderating Role of Parental Warmth. Journal of Youth and Adolescence

Cognitive interpretations of stressful events impact their implications for physiological stress processes. However, whether such interpretations are related to trait cortisol—an indicator of individual differences in stress physiology—is unknown. In 112 early adolescent girls (M age = 12.39 years), this study examined the association between self-blame estimates for past year events and latent trait cortisol, and whether maternal warmth moderated effects. Overestimating self-blame (versus objective indices) for independent (uncontrollable) events was associated with lower latent trait cortisol, and maternal warmth moderated the effect of self-blame estimates on latent trait cortisol for each dependent (at least partially controllable) and interpersonal events. Implications for understanding the impact of cognitive and interpersonal factors on trait cortisol during early adolescence are discussed

Interval Slopes as Numerical Abstract Domain for Floating-Point Variables

The design of embedded control systems is mainly done with model-based tools such as Matlab/Simulink. Numerical simulation is the central technique of development and verification of such tools. Floating-point arithmetic, that is well-known to only provide approximated results, is omnipresent in this activity. In order to validate the behaviors of numerical simulations using abstract interpretation-based static analysis, we present, theoretically and with experiments, a new partially relational abstract domain dedicated to floating-point variables. It comes from interval expansion of non-linear functions using slopes and it is able to mimic all the behaviors of the floating-point arithmetic. Hence it is adapted to prove the absence of run-time errors or to analyze the numerical precision of embedded control systems