Origin of low-temperature magnetic ordering in Ga1-xMnxN

By employing highly sensitive millikelvin SQUID magnetometry, the magnitude of the Curie temperature as a function of the Mn concentration x is determined for thoroughly characterized Ga1-xMnxN. The interpretation of the results in the frame of tight binding theory and of Monte Carlo simulations, allows us to assign the spin interaction to ferromagnetic superexchange and to benchmark the accuracy of state-of-the-art ab initio methods in predicting the magnetic characteristics of dilute magnetic insulators.Comment: 4+ pages, 3 figure

Strain and correlation of self-organized Ge_(1-x)Mn_x nanocolumns embedded in Ge (001)

We report on the structural properties of Ge_(1-x)Mn_x layers grown by molecular beam epitaxy. In these layers, nanocolumns with a high Mn content are embedded in an almost-pure Ge matrix. We have used grazing-incidence X-ray scattering, atomic force and transmission electron microscopy to study the structural properties of the columns. We demonstrate how the elastic deformation of the matrix (as calculated using atomistic simulations) around the columns, as well as the average inter-column distance can account for the shape of the diffusion around Bragg peaks.Comment: 9 pages, 7 figure

About the Algebraic Solutions of Smallest Enclosing Cylinders Problems

Given n points in Euclidean space E^d, we propose an algebraic algorithm to compute the best fitting (d-1)-cylinder. This algorithm computes the unknown direction of the axis of the cylinder. The location of the axis and the radius of the cylinder are deduced analytically from this direction. Special attention is paid to the case d=3 when n=4 and n=5. For the former, the minimal radius enclosing cylinder is computed algebrically from constrained minimization of a quartic form of the unknown direction of the axis. For the latter, an analytical condition of existence of the circumscribed cylinder is given, and the algorithm reduces to find the zeroes of an one unknown polynomial of degree at most 6. In both cases, the other parameters of the cylinder are deduced analytically. The minimal radius enclosing cylinder is computed analytically for the regular tetrahedron and for a trigonal bipyramids family with a symmetry axis of order 3.Comment: 13 pages, 0 figure; revised version submitted to publication (previous version is a copy of the original one of 2010

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

Experimental probing of exchange interactions between localized spins in the dilute magnetic insulator (Ga,Mn)N

The sign, magnitude, and range of the exchange couplings between pairs of Mn ions is determined for (Ga,Mn)N and (Ga,Mn)N:Si with x < 3%. The samples have been grown by metalorganic vapor phase epitaxy and characterized by secondary-ion mass spectroscopy; high-resolution transmission electron microscopy with capabilities allowing for chemical analysis, including the annular dark-field mode and electron energy loss spectroscopy; high-resolution and synchrotron x-ray diffraction; synchrotron extended x-ray absorption fine-structure; synchrotron x-ray absorption near-edge structure; infra-red optics and electron spin resonance. The results of high resolution magnetic measurements and their quantitative interpretation have allowed to verify a series of ab initio predictions on the possibility of ferromagnetism in dilute magnetic insulators and to demonstrate that the interaction changes from ferromagnetic to antiferromagnetic when the charge state of the Mn ions is reduced from 3+ to 2+.Comment: 12 pages, 14 figures; This version contains the detailed characterization of the crystal structure as well as of the Mn distribution and charge stat

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

Load-Balancing for Parallel Delaunay Triangulations

Computing the Delaunay triangulation (DT) of a given point set in $\mathbb{R}^D$ is one of the fundamental operations in computational geometry. Recently, Funke and Sanders (2017) presented a divide-and-conquer DT algorithm that merges two partial triangulations by re-triangulating a small subset of their vertices - the border vertices - and combining the three triangulations efficiently via parallel hash table lookups. The input point division should therefore yield roughly equal-sized partitions for good load-balancing and also result in a small number of border vertices for fast merging. In this paper, we present a novel divide-step based on partitioning the triangulation of a small sample of the input points. In experiments on synthetic and real-world data sets, we achieve nearly perfectly balanced partitions and small border triangulations. This almost cuts running time in half compared to non-data-sensitive division schemes on inputs exhibiting an exploitable underlying structure.Comment: Short version submitted to EuroPar 201

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