Performance Evaluation of Sparse Matrix Multiplication Kernels on Intel Xeon Phi

Intel Xeon Phi is a recently released high-performance coprocessor which features 61 cores each supporting 4 hardware threads with 512-bit wide SIMD registers achieving a peak theoretical performance of 1Tflop/s in double precision. Many scientific applications involve operations on large sparse matrices such as linear solvers, eigensolver, and graph mining algorithms. The core of most of these applications involves the multiplication of a large, sparse matrix with a dense vector (SpMV). In this paper, we investigate the performance of the Xeon Phi coprocessor for SpMV. We first provide a comprehensive introduction to this new architecture and analyze its peak performance with a number of micro benchmarks. Although the design of a Xeon Phi core is not much different than those of the cores in modern processors, its large number of cores and hyperthreading capability allow many application to saturate the available memory bandwidth, which is not the case for many cutting-edge processors. Yet, our performance studies show that it is the memory latency not the bandwidth which creates a bottleneck for SpMV on this architecture. Finally, our experiments show that Xeon Phi's sparse kernel performance is very promising and even better than that of cutting-edge general purpose processors and GPUs

Low-temperature and high magnetic field dynamic scanning capacitance microscope

We demonstrate a dynamic scanning capacitance microscope (DSCM) that operates at large bandwidths, cryogenic temperatures and high magnetic fields. The setup is based on a non-contact atomic force microscope (AFM) with a quartz tuning fork sensor with non-optical excitation and read-out for topography, force and dissipation measurements. The metallic AFM tip forms part of an rf resonator with a transmission characteristics modulated by the sample properties and the tip-sample capacitance. The tip motion gives rise to a modulation of the capacitance at the frequency of the AFM sensor and its harmonics, which can be recorded simultaneously with the AFM data. We use an intuitive model to describe and analyze the resonator transmission and show that for most experimental conditions it is proportional to the complex tip-sample conductance, which depends on both the tip-sample capacitance and the sample resistivity. We demonstrate the performance of the DSCM on metal disks buried under a polymer layer and we discuss images recorded on a two-dimensional electron gas in the quantum Hall effect regime, i.e. at cryogenic temperatures and high magnetic fields, where we directly image the formation of compressible stripes at the physical edge of the sample

Real-space imaging of quantum Hall effect edge strips

We use dynamic scanning capacitance microscopy (DSCM) to image compressible and incompressible strips at the edge of a Hall bar in a two-dimensional electron gas (2DEG) in the quantum Hall effect (QHE) regime. This method gives access to the complex local conductance, Gts, between a sharp metallic tip scanned across the sample surface and ground, comprising the complex sample conductance. Near integer filling factors we observe a bright stripe along the sample edge in the imaginary part of Gts. The simultaneously recorded real part exhibits a sharp peak at the boundary between the sample interior and the stripe observed in the imaginary part. The features are periodic in the inverse magnetic field and consistent with compressible and incompressible strips forming at the sample edge. For currents larger than the critical current of the QHE break-down the stripes vanish sharply and a homogeneous signal is recovered, similar to zero magnetic field. Our experiments directly illustrate the formation and a variety of properties of the conceptually important QHE edge states at the physical edge of a 2DEG.Comment: 7 page

Changes in ecosystem carbon following afforestation of native sand prairie

Includes bibliographical references (pages 1622-1624).Determining the dynamics of carbon (C) as a function of vegetation and residue inputs is important for predicting changes in ecosystem functions and the global C cycle. Litter and soil samples were analyzed from plantations of eastern red cedar (Juniperous virginiana) and ponderosa pine (Pinus ponderosa) and native prairie at the Nebraska National Forest to evaluate the impact of different types of land management on soil C contents and turnover rates. Total soil C to a depth of 1 m was greatest in the cedar stands. Pine ecosystems stored more C in the tree biomass and litter but lost more native prairie C from the soil. The soil 13C content showed 82% of the original, and prairie C remained under cedars compared with ∼45% under pine. Soil cation contents were greatest overall in cedar soils and lowest in pine. The C content in cedar soils was strongly related to Ca content. Differences in microbial community fatty acid profiles were related to vegetation type, and nutrients explained ∼60% of the variation in profiles. Our research indicates that changes in soil C and nutrient content following conversion from prairie to forest are dependent on tree species planted, characteristics of the plant litter, and cation cycling in the plant–soil system

Efficient Symmetry Reduction and the Use of State Symmetries for Symbolic Model Checking

One technique to reduce the state-space explosion problem in temporal logic model checking is symmetry reduction. The combination of symmetry reduction and symbolic model checking by using BDDs suffered a long time from the prohibitively large BDD for the orbit relation. Dynamic symmetry reduction calculates representatives of equivalence classes of states dynamically and thus avoids the construction of the orbit relation. In this paper, we present a new efficient model checking algorithm based on dynamic symmetry reduction. Our experiments show that the algorithm is very fast and allows the verification of larger systems. We additionally implemented the use of state symmetries for symbolic symmetry reduction. To our knowledge we are the first who investigated state symmetries in combination with BDD based symbolic model checking

Scalar Wave Falloff in Asymptotically Anti-de Sitter Backgrounds

Conformally invariant scalar waves in black hole spacetimes which are asymptotically anti-de Sitter are investigated. We consider both the $(2+1)$-dimensional black hole and $(3+1)$-dimensional Schwarzschild-anti-de Sitter spacetime as backgrounds. Analytical and numerical methods show that the waves decay exponentially in the $(2+1)$ dimensional black hole background. However the falloff pattern of the conformal scalar waves in the Schwarzschild-anti-de Sitter background is generally neither exponential nor an inverse power rate, although the approximate falloff of the maximal peak is weakly exponential. We discuss the implications of these results for mass inflation.Comment: 34 pages, Latex, 26 figures, uses psfi

Cosmological Multi-Black Hole Solutions

We present simple, analytic solutions to the Einstein-Maxwell equation, which describe an arbitrary number of charged black holes in a spacetime with positive cosmological constant $\Lambda$. In the limit $\Lambda=0$, these solutions reduce to the well known Majumdar-Papapetrou (MP) solutions. Like the MP solutions, each black hole in a $\Lambda >0$ solution has charge $Q$ equal to its mass $M$, up to a possible overall sign. Unlike the $\Lambda = 0$ limit, however, solutions with $\Lambda >0$ are highly dynamical. The black holes move with respect to one another, following natural trajectories in the background deSitter spacetime. Black holes moving apart eventually go out of causal contact. Black holes on approaching trajectories ultimately merge. To our knowledge, these solutions give the first analytic description of coalescing black holes. Likewise, the thermodynamics of the $\Lambda >0$ solutions is quite interesting. Taken individually, a $|Q|=M$ black hole is in thermal equilibrium with the background deSitter Hawking radiation. With more than one black hole, because the solutions are not static, no global equilibrium temperature can be defined. In appropriate limits, however, when the black holes are either close together or far apart, approximate equilibrium states are established.Comment: 15 pages (phyzzx), UMHEP-380 (minor referencing error corrected