Structure and magnetism of self-organized Ge(1-x)Mn(x) nano-columns

We report on the structural and magnetic properties of thin Ge(1-x)Mn(x)films grown by molecular beam epitaxy (MBE) on Ge(001) substrates at temperatures (Tg) ranging from 80deg C to 200deg C, with average Mn contents between 1 % and 11 %. Their crystalline structure, morphology and composition have been investigated by transmission electron microscopy (TEM), electron energy loss spectroscopy and x-ray diffraction. In the whole range of growth temperatures and Mn concentrations, we observed the formation of manganese rich nanostructures embedded in a nearly pure germanium matrix. Growth temperature mostly determines the structural properties of Mn-rich nanostructures. For low growth temperatures (below 120deg C), we evidenced a two-dimensional spinodal decomposition resulting in the formation of vertical one-dimensional nanostructures (nanocolumns). Moreover we show in this paper the influence of growth parameters (Tg and Mn content) on this decomposition i.e. on nanocolumns size and density. For temperatures higher than 180deg C, we observed the formation of Ge3Mn5 clusters. For intermediate growth temperatures nanocolumns and nanoclusters coexist. Combining high resolution TEM and superconducting quantum interference device magnetometry, we could evidence at least four different magnetic phases in Ge(1-x)Mn(x) films: (i) paramagnetic diluted Mn atoms in the germanium matrix, (ii) superparamagnetic and ferromagnetic low-Tc nanocolumns (120 K 400 K) and (iv) Ge3Mn5 clusters.Comment: 10 pages 2 colonnes revTex formatte

Exchange bias in GeMn nanocolumns: the role of surface oxidation

We report on the exchange biasing of self-assembled ferromagnetic GeMn nanocolumns by GeMn-oxide caps. The x-ray absorption spectroscopy analysis of this surface oxide shows a multiplet fine structure that is typical of the Mn2+ valence state in MnO. A magnetization hysteresis shift |HE|~100 Oe and a coercivity enhancement of about 70 Oe have been obtained upon cooling (300-5 K) in a magnetic field as low as 0.25 T. This exchange bias is attributed to the interface coupling between the ferromagnetic nanocolumns and the antiferromagnetic MnO-like caps. The effect enhancement is achieved by depositing a MnO layer on the GeMn nanocolumns.Comment: 7 pages, 5 figure

Presentations: from Kac-Moody groups to profinite and back

We go back and forth between, on the one hand, presentations of arithmetic and Kac-Moody groups and, on the other hand, presentations of profinite groups, deducing along the way new results on both

A new interpolation method to measure delta evolution and sediment flux: Application to the late Holocene coastal plain of the Argens River in the western Mediterranean

Rapid environmental changes along the Mediterranean coasts influenced the sedimentary dynamics, shoreline position and human settlements in deltaic areas over the last millennia. An innovative and multiproxy approach using geostatistical modelling was developed to estimate geomorphic evolution and sediment fluxes in deltaic areas, while palaeoecological conditions and environmental changes were assessed from geochemistry and cluster analyses of molluscan fauna. This method was applied to the coastal plain of the Argens River in southern France. Depositional environments of prodelta, delta front, river channel, floodplain, marsh and abandoned channel were identified from the study of facies associations. The late Holocene sediment flux in the Argens River bayhead delta ranged from 15,800 ± 2300 to 52,000 ± 8500 m3·yr−1. The highest rate of sediment deposition between 2500 and 2000 cal yr BP was associated with increased river flooding in southeastern France. A general decrease in subaqueous sediment flux over the past 2500 years was primarily controlled by a decrease in accommodation space and delta slope. From 500 to 0 cal yr BP, a sharp increase in subaerial sediment flux probably due to hydroclimatic change was contemporaneous with a period of high flood frequency during the Little Ice Age. A southward shift of the North Atlantic westerlies combined with either a negative phase of the East Atlantic/West Russian pattern or a negative phase of the East Atlantic pattern coupled to a northward migration of the intertropical convergence zone could have led to increased fluvial activity in the lower Argens valley during the late Holocene

Quantitative magneto-optical investigation of superconductor/ferromagnet hybrid structures

We present a detailed quantitative magneto-optical imaging study of several superconductor/ferromagnet hybrid structures, including Nb deposited on top of thermomagnetically patterned NdFeB, and permalloy/niobium with erasable and tailored magnetic landscapes imprinted in the permalloy layer. The magneto-optical imaging data is complemented with and compared to scanning Hall probe microscopy measurements. Comprehensive protocols have been developed for calibrating, testing, and converting Faraday rotation data to magnetic field maps. Applied to the acquired data, they reveal the comparatively weaker magnetic response of the superconductor from the background of larger fields and field gradients generated by the magnetic layer.Comment: 21 pages, including 2 pages of supplementary materia

A theory of normed simulations

In existing simulation proof techniques, a single step in a lower-level specification may be simulated by an extended execution fragment in a higher-level one. As a result, it is cumbersome to mechanize these techniques using general purpose theorem provers. Moreover, it is undecidable whether a given relation is a simulation, even if tautology checking is decidable for the underlying specification logic. This paper introduces various types of normed simulations. In a normed simulation, each step in a lower-level specification can be simulated by at most one step in the higher-level one, for any related pair of states. In earlier work we demonstrated that normed simulations are quite useful as a vehicle for the formalization of refinement proofs via theorem provers. Here we show that normed simulations also have pleasant theoretical properties: (1) under some reasonable assumptions, it is decidable whether a given relation is a normed forward simulation, provided tautology checking is decidable for the underlying logic; (2) at the semantic level, normed forward and backward simulations together form a complete proof method for establishing behavior inclusion, provided that the higher-level specification has finite invisible nondeterminism.Comment: 31 pages, 10figure