Enhancing Light-Atom Interactions via Atomic Bunching

There is a broad interest in enhancing the strength of light-atom interactions to the point where injecting a single photon induces a nonlinear material response. Here, we show theoretically that sub-Doppler-cooled, two-level atoms that are spatially organized by weak optical fields give rise to a nonlinear material response that is greatly enhanced beyond that attainable in a homogeneous gas. Specifically, in the regime where the intensity of the applied optical fields is much less than the off-resonant saturation intensity, we show that the third-order nonlinear susceptibility scales inversely with atomic temperature and, due to this scaling, can be two orders of magnitude larger than that of a homogeneous gas for typical experimental parameters. As a result, we predict that spatially bunched two-level atoms can exhibit single-photon nonlinearities. Our model is valid for all atomic temperature regimes and simultaneously accounts for the back-action of the atoms on the optical fields. Our results agree with previous theoretical and experimental results for light-atom interactions that have considered only a limited range of temperatures. For lattice beams tuned to the low-frequency side of the atomic transition, we find that the nonlinearity transitions from a self-focusing type to a self-defocusing type at a critical intensity. We also show that higher than third-order nonlinear optical susceptibilities are significant in the regime where the dipole potential energy is on the order of the atomic thermal energy. We therefore find that it is crucial to retain high-order nonlinearities to accurately predict interactions of laser fields with spatially organized ultracold atoms. The model presented here is a foundation for modeling low-light-level nonlinear optical processes for ultracold atoms in optical lattices

Ultra-high-frequency piecewise-linear chaos using delayed feedback loops

We report on an ultra-high-frequency (> 1 GHz), piecewise-linear chaotic system designed from low-cost, commercially available electronic components. The system is composed of two electronic time-delayed feedback loops: A primary analog loop with a variable gain that produces multi-mode oscillations centered around 2 GHz and a secondary loop that switches the variable gain between two different values by means of a digital-like signal. We demonstrate experimentally and numerically that such an approach allows for the simultaneous generation of analog and digital chaos, where the digital chaos can be used to partition the system's attractor, forming the foundation for a symbolic dynamics with potential applications in noise-resilient communications and radar

Subwavelength position sensing using nonlinear feedback and wave chaos

We demonstrate a position-sensing technique that relies on the inherent sensitivity of chaos, where we illuminate a subwavelength object with a complex structured radio-frequency field generated using wave chaos and a nonlinear feedback loop. We operate the system in a quasi-periodic state and analyze changes in the frequency content of the scalar voltage signal in the feedback loop. This allows us to extract the object's position with a one-dimensional resolution of ~\lambda/10,000 and a two-dimensional resolution of ~\lambda/300, where \lambda\ is the shortest wavelength of the illuminating source.Comment: 4 pages, 4 figure

Competition between Electromagnetically Induced Transparency and Raman Processes

We present a theoretical formulation of competition among electromagnetically induced transparency (EIT) and Raman processes. The latter become important when the medium can no longer be considered to be dilute. Unlike the standard formulation of EIT, we consider all fields applied and generated as interacting with both the transitions of the $\Lambda$ scheme. We solve Maxwell equations for the net generated field using a fast-Fourier-transform technique and obtain predictions for the probe, control and Raman fields. We show how the intensity of the probe field is depleted at higher atomic number densities due to the build up of multiple Raman fields.Comment: 3.5 pages, 7 figure

Continuum of care for persons with common mental health disorders in Nunavik: a descriptive study.

BACKGROUND: Changing Directions, Changing Lives, the Mental Health Strategy for Canada, prioritizes the development of coordinated continuums of care in mental health that will bridge the gap in services for Inuit populations. OBJECTIVE: In order to target ways of improving the services provided in these contexts to individuals in Nunavik with depression or anxiety disorders, this research examines delays and disruptions in the continuum of care and clinical, individual and organizational characteristics possibly associated with their occurrences. DESIGN: A total of 155 episodes of care involving a common mental disorder (CMD), incident or recurring, were documented using the clinical records of 79 frontline health and social services (FHSSs) users, aged 14 years and older, living in a community in Nunavik. Each episode of care was divided into 7 stages: (a) detection; (b) assessment; (c) intervention; (d) planning the first follow-up visit; (e) implementation of the first follow-up visit; (f) planning a second follow-up visit; (g) implementation of the second follow-up visit. Sequential analysis of these stages established delays for each one and helped identify when breaks occurred in the continuum of care. Logistic and linear regression analysis determined whether clinical, individual or organizational characteristics influenced the breaks and delays. RESULTS: More than half (62%) the episodes of care were interrupted before the second follow-up. These breaks mostly occurred when planning and completing the first follow-up visit. Episodes of care were more likely to end early when they involved anxiety disorders or symptoms, limited FHSS teams and individuals over 21 years of age. The median delay for the first follow-up visit (30 days) exceeded guideline recommendations significantly (1-2 weeks). CONCLUSION: Clinical primary care approaches for CMDs in Nunavik are currently more reactive than preventive. This suggests that recovery services for those affected are suboptimal

Quality assessment of primary care for common mental disorders in isolated communities: Taking advantage of health records.

INTRODUCTION: This article is part of a research study on the organization of primary health care (PHC) for mental health in two of Quebec's remote regions. It introduces a methodological approach based on information found in health records, for assessing the quality of PHC offered to people suffering from depression or anxiety disorders. METHODS: Quality indicators were identified from evidence and case studies were reconstructed using data collected in health records over a 2-year observation period. Data collection was developed using a three-step iterative process: (1) feasibility analysis, (2) development of a data collection tool, and (3) application of the data collection method. The adaptation of quality-of-care indicators to remote regions was appraised according to their relevance, measurability and construct validity in this context. RESULTS: As a result of this process, 18 quality indicators were shown to be relevant, measurable and valid for establishing a critical quality appraisal of four recommended dimensions of PHC clinical processes: recognition, assessment, treatment and follow-up. CONCLUSIONS: There is not only an interest in the use of health records to assess the quality of PHC for mental health in remote regions but also a scientific value for the rigorous and meticulous methodological approach developed in this study. From the perspective of stakeholders in the PHC system of care in remote areas, quality indicators are credible and provide potential for transferability to other contexts. This study brings information that has the potential to identify gaps in and implement solutions adapted to the context

Estimation de l'équivalent en eau du couvert nival au moyen d'images radar satellitaires

L'objectif de cette étude est de vérifier le potentiel des images radar à synthèse d'ouverture (RSO) pour estimer l'équivalent en eau du couvert nival sur le bassin de la rivière La Grande (Baie de James, Québec). Il s'agit d'un milieu dominé par une forêt ouverte d'épinettes noires, des brûlis et des tourbières. Cette information intéresse grandement Hydro-Québec qui gère plusieurs installations hydro-électriques dans cette région subarctique. Durant deux ans, six campagnes de terrain ont été réalisées sur le bassin de la rivière La Grande et une dizaine d'images RSO du satellite européen ERS-1 ont été acquises, étalonnées et géoréférencées, afin de déterminer la relation entre les coefficients de rétrodiffusion des images radar (hiver et automne) et la résistance thermique du couvert nival. Cette relation constitue la première partie d'un algorithme d'estimation de l'équivalent en eau. Elle utilise plus spécifiquement le rapport de rétrodiffusion, qui est la différence entre une image avec neige et une image sans neige. La deuxième partie de cette algorithme déduit l'équivalent en eau du couvert de neige à partir de sa résistance thermique et de sa densité, en se basant sur la relation physique établie par les mesures de terrain. L'équivalent en eau du couvert nival a donc été estimé pour quatre images de février et mars 1994 et 1995. L'erreur moyenne sur l'estimation de l'équivalent en eau de la neige au sol est de 2% à 3% (-5 à 7mm) sur l'ensemble des sites d'échantillonnage avec un écart-type de 14 à 19% (-35 à 45mm). Ces résultats ont encouragé Hydro-Québec à poursuivre la recherche avec les données du satellite canadien RADARSAT (opérationnel depuis le 1er avril 1996) et à développer un prototype pour la cartographie de l'équivalent en eau du couvert nival à partir d'images radar.The goal of this study was to evaluate the potential of synthetic aperture radar (SAR) images for estimating the snow water equivalent (SWE) on the La Grande river watershed (James Bay area, Québec). This information is of major interest for Hydro-Québec, which exploits many hydroelectric complexes throughout this subarctic region. The La Grande watershed is composed of moderately dense to opened black spruce forests, opened areas, burned areas and peat bogs. Over two years (1994-1995), six field campaigns were carried out on a study site located between the LG4 and Laforge1 reservoir, in the center of the La Grande river watershed. The field measurements were of two types: 20 snow lines (depth, snow water equivalent (SWE), density) and 8 snow profiles (depth, density, grain size, temperature, dielectric constant). With these data, the thermal resistance of the snowpack was calculated for every test-site, using the depth, density and thermal conductivity of each layer. Concurrently, more than 10 SAR images (European Satellite ERS-1) of the study site were acquired, calibrated and georeferenced. The backscattering coefficients of all winter images were extracted. Using a reference image (snow-free), backscattering ratios were calculated. They are the difference between a winter image and a snow-free image. This process is used to reduce the impact of vegetation and topography. Then, the relationship between the backscattering ratios and the snowpack thermal resistance of february and march 1994 are established, as the first part of an algorithm developed to estimate the snow water equivalent. The second part of the algorithm infers the snowpack water equivalent from its thermal resistance and density, based on the physical relationship established with field data. This approach is based on studies conducted by INRS-Eau in a southern Quebec agricultural area (BERNIER and FORTIN (1998)). The hypothesis are based on the following: - The snowpack characteristics influence the underlying soil temperature;- The dielectric constant of the soil varies with the soil temperature under 0°C;- The radar signal is influenced by the soil dielectric constant;- Thus, the snowpack characteristics (thermal resistance) influence the radar signal. However, due to variations of soil humidity on the date of the reference image (september 1994), two slightly different relationships were obtained. One for open areas and open forests and one for burned areas and peat bogs. This shows the importance of using a good reference image, with homogeneous soil conditions. It could be better to obtain an image later in the fall, when the soil is frozen. The relationships established here are preliminary, as they use a small dataset. It is estimated that a better regression should be obtained with the acquisition of more images and with a greater range of snow characteristics. However, the algorithm is applied to test the applicability of the method. First, the algorithm was applied on the test-sites, using the images from February and March of 1994 and 1995. The mean error on the estimation of the snow water equivalent is 2% to 3% ( 5 to 7mm), with a deviation of 14% to 19% ( 35 to 45mm). The results are comparable for both years, even if the algorithm is based on 1994 data only. Secondly, the algorithm is applied on the whole images. A classification of a Landsat-TM image is used to identify the land cover of every pixel, which determines the regression and the snow density to be used in the algorithm. Four maps of the SWE are produced and resampled to a resolution of 500m. These are compared with the field measurements from the four nearest Hydro-Quebec snow survey sites. The SWE measured by Hydro-Quebec are all within the most dominant SWE class of each map. Further validation of the results will be possible when the algorithm can be applied on a sub-watershed, which is the actual scale used by Hydro-Quebec. However, the results of this study were sufficiently promising to Hydro-Quebec to support a follow up research with data from the canadian satellite RADARSAT (operational since april 1996). Meanwhile, to improve the algorithm, it is important to obtain a good and homogeneous reference image, to better assess the impact of the land cover and to acquire a dataset with a greater range of snow characteristics

Stability of an oscillating tip in Non-Contact Atomic Force Microscopy: theoretical and numerical investigations

This paper is a theoretical and a numerical investigation of the stability of a tip-cantilever system used in Non-Contact Atomic Force Microscopy (NC-AFM) when it oscillates close to a surface. No additional dissipative force is considered. The theoretical approach is based on a variationnal method exploiting a coarse grained operation that gives the temporal dependence of the nonlinear coupled equations of motion in amplitude and phase of the oscillator. Stability criterions for the resonance peak are deduced and predict a stable behavior of the oscillator in the vicinity of the resonance. The numerical approach is based on results obtained with a virtual NC-AFM developped in our group. The effect of the size of the stable domain in phase is investigated. These results are in particularly good agreement with the theoretical predictions. Also they show the influence of the phase shifter in the feedback loop and the way it can affect the damping signal

Premise Selection and External Provers for HOL4

Learning-assisted automated reasoning has recently gained popularity among the users of Isabelle/HOL, HOL Light, and Mizar. In this paper, we present an add-on to the HOL4 proof assistant and an adaptation of the HOLyHammer system that provides machine learning-based premise selection and automated reasoning also for HOL4. We efficiently record the HOL4 dependencies and extract features from the theorem statements, which form a basis for premise selection. HOLyHammer transforms the HOL4 statements in the various TPTP-ATP proof formats, which are then processed by the ATPs. We discuss the different evaluation settings: ATPs, accessible lemmas, and premise numbers. We measure the performance of HOLyHammer on the HOL4 standard library. The results are combined accordingly and compared with the HOL Light experiments, showing a comparably high quality of predictions. The system directly benefits HOL4 users by automatically finding proofs dependencies that can be reconstructed by Metis