Influence of the external pressure on the quantum correlations of molecular magnets

The study of quantum correlations in solid state systems is a large avenue for research and their detection and manipulation are an actual challenge to overcome. In this context, we show by using first-principles calculations on the prototype material KNaCuSi$_{4}$O$_{10}$ that the degree of quantum correlations in this spin cluster system can be managed by external hydrostatic pressure. Our results open the doors for research in detection and manipulation of quantum correlations in magnetic systems with promising applications in quantum information science

MIMAC : A micro-tpc matrix for directional detection of dark matter

Directional detection of non-baryonic Dark Matter is a promising search strategy for discriminating WIMP events from background. However, this strategy requires both a precise measurement of the energy down to a few keV and 3D reconstruction of tracks down to a few mm. To achieve this goal, the MIMAC project has been developed. It is based on a gaseous micro-TPC matrix, filled with CF4 and CHF3. The first results on low energy nuclear recoils (H, F) obtained with a low mono-energetic neutron field are presented. The discovery potential of this search strategy is discussed and illustrated by a realistic case accessible to MIMAC.Comment: 6 pages, Proc. of the fifth international symposium on large TPCs for low energy rare event detection, Paris, France, Dec. 2010. To appear in Journal of Physic

The CORALIE survey for southern extrasolar planets. XVI. Discovery of a planetary system around HD 147018 and of two long period and massive planets orbiting HD 171238 and HD 204313

We report the detection of a double planetary system around HD 140718 as well as the discovery of two long period and massive planets orbiting HD 171238 and HD 204313. Those discoveries were made with the CORALIE Echelle spectrograph mounted on the 1.2-m Euler Swiss telescope located at La Silla Observatory, Chile. The planetary system orbiting the nearby G9 dwarf HD 147018 is composed of an eccentric inner planet (e=0.47) with twice the mass of Jupiter (2.1 MJup ) and with an orbital period of 44.24 days. The outer planet is even more massive (6.6 MJup) with a slightly eccentric orbit (e=0.13) and a period of 1008 days. The planet orbiting HD 171238 has a minimum mass of 2.6 MJup, a period of 1523 days and an eccentricity of 0.40. It orbits a G8 dwarfs at 2.5 AU. The last planet, HD 204313 b, is a 4.0 MJup -planet with a period of 5.3 years and has a low eccentricity (e = 0.13). It orbits a G5 dwarfs at 3.1 AU. The three parent stars are metal rich, which further strengthened the case that massive planets tend to form around metal rich stars.Comment: 6 pages, 6 figures, accepted for publication in A&

Observational Constraints on Visser's Cosmological Model

Theories of gravity for which gravitons can be treated as massive particles have presently been studied as realistic modifications of General Relativity, and can be tested with cosmological observations. In this work, we study the ability of a recently proposed theory with massive gravitons, the so-called Visser theory, to explain the measurements of luminosity distance from the Union2 compilation, the most recent Type-Ia Supernovae (SNe Ia) dataset, adopting the current ratio of the total density of non-relativistic matter to the critical density ($\Omega_m$) as a free parameter. We also combine the SNe Ia data with constraints from Baryon Acoustic Oscillations (BAO) and CMB measurements. We find that, for the allowed interval of values for $\Omega_m$, a model based on Visser's theory can produce an accelerated expansion period without any dark energy component, but the combined analysis (SNe Ia + BAO + CMB) shows that the model is disfavored when compared with $\Lambda$CDM model.Comment: 6 pages, 4 figure

Maximal Sharing in the Lambda Calculus with letrec

Increasing sharing in programs is desirable to compactify the code, and to avoid duplication of reduction work at run-time, thereby speeding up execution. We show how a maximal degree of sharing can be obtained for programs expressed as terms in the lambda calculus with letrec. We introduce a notion of `maximal compactness' for lambda-letrec-terms among all terms with the same infinite unfolding. Instead of defined purely syntactically, this notion is based on a graph semantics. lambda-letrec-terms are interpreted as first-order term graphs so that unfolding equivalence between terms is preserved and reflected through bisimilarity of the term graph interpretations. Compactness of the term graphs can then be compared via functional bisimulation. We describe practical and efficient methods for the following two problems: transforming a lambda-letrec-term into a maximally compact form; and deciding whether two lambda-letrec-terms are unfolding-equivalent. The transformation of a lambda-letrec-term $L$ into maximally compact form $L_0$ proceeds in three steps: (i) translate L into its term graph $G = [[ L ]]$; (ii) compute the maximally shared form of $G$ as its bisimulation collapse $G_0$; (iii) read back a lambda-letrec-term $L_0$ from the term graph $G_0$ with the property $[[ L_0 ]] = G_0$. This guarantees that $L_0$ and $L$ have the same unfolding, and that $L_0$ exhibits maximal sharing. The procedure for deciding whether two given lambda-letrec-terms $L_1$ and $L_2$ are unfolding-equivalent computes their term graph interpretations $[[ L_1 ]]$ and $[[ L_2 ]]$, and checks whether these term graphs are bisimilar. For illustration, we also provide a readily usable implementation.Comment: 18 pages, plus 19 pages appendi

Monitoramento e quantificação de nematóides em solo sob integração lavoura pecuária floresta.

O objetivo deste trabalho foi monitorar e quantificar os nematóides totais no solo sob o sistema de integração Lavoura Pecuária Floresta (iLPF), no município de Nova Canaã do Norte, MT, em duas profundidades 0-5 e 5-20 cm, com 9 tratamentos, sendo estes compostos por linhas simples, duplas e triplas de eucalipto, teca e pinho cuibano, e nas entrelinhas presença de soja na safra, milho na safrinha e Brachiaria ruziziensis na entresafra, durante três coletas, outubro/ 2009, março e outubro/ 2010

Parametric amplification of vacuum fluctuations in a spinor condensate

Parametric amplification of vacuum fluctuations is crucial in modern quantum optics, enabling the creation of squeezing and entanglement. We demonstrate the parametric amplification of vacuum fluctuations for matter waves using a spinor F=2 Rb-87 condensate. Interatomic interactions lead to correlated pair creation in the m_F= +/- 1 states from an initial unstable m_F=0 condensate, which acts as a vacuum for m_F unequal 0. Although this pair creation from a pure m_F=0 condensate is ideally triggered by vacuum fluctuations, unavoidable spurious initial m_F= +/- 1 atoms induce a classical seed which may become the dominant triggering mechanism. We show that pair creation is insensitive to a classical seed for sufficiently large magnetic fields, demonstrating the dominant role of vacuum fluctuations. The presented system thus provides a direct path towards the generation of non-classical states of matter on the basis of spinor condensates.Comment: 5 pages, 4 figure