Synthesis for Polynomial Lasso Programs

We present a method for the synthesis of polynomial lasso programs. These programs consist of a program stem, a set of transitions, and an exit condition, all in the form of algebraic assertions (conjunctions of polynomial equalities). Central to this approach is the discovery of non-linear (algebraic) loop invariants. We extend Sankaranarayanan, Sipma, and Manna's template-based approach and prove a completeness criterion. We perform program synthesis by generating a constraint whose solution is a synthesized program together with a loop invariant that proves the program's correctness. This constraint is non-linear and is passed to an SMT solver. Moreover, we can enforce the termination of the synthesized program with the support of test cases.Comment: Paper at VMCAI'14, including appendi

Polyhedral Analysis using Parametric Objectives

The abstract domain of polyhedra lies at the heart of many program analysis techniques. However, its operations can be expensive, precluding their application to polyhedra that involve many variables. This paper describes a new approach to computing polyhedral domain operations. The core of this approach is an algorithm to calculate variable elimination (projection) based on parametric linear programming. The algorithm enumerates only non-redundant inequalities of the projection space, hence permits anytime approximation of the output

Advances in ab-initio theory of Multiferroics. Materials and mechanisms: modelling and understanding

Within the broad class of multiferroics (compounds showing a coexistence of magnetism and ferroelectricity), we focus on the subclass of "improper electronic ferroelectrics", i.e. correlated materials where electronic degrees of freedom (such as spin, charge or orbital) drive ferroelectricity. In particular, in spin-induced ferroelectrics, there is not only a {\em coexistence} of the two intriguing magnetic and dipolar orders; rather, there is such an intimate link that one drives the other, suggesting a giant magnetoelectric coupling. Via first-principles approaches based on density functional theory, we review the microscopic mechanisms at the basis of multiferroicity in several compounds, ranging from transition metal oxides to organic multiferroics (MFs) to organic-inorganic hybrids (i.e. metal-organic frameworks, MOFs)Comment: 22 pages, 9 figure

Transverse spin effects in hadron-pair production from semi-inclusive deep inelastic scattering

First measurements of azimuthal asymmetries in hadron-pair production in deep-inelastic scattering of muons on transversely polarised ^6LiD (deuteron) and NH_3 (proton) targets are presented. The data were taken in the years 2002-2004 and 2007 with the COMPASS spectrometer using a muon beam of 160 GeV/c at the CERN SPS. The asymmetries provide access to the transversity distribution functions, without involving the Collins effect as in single hadron production. The sizeable asymmetries measured on the NH_ target indicate non-vanishing u-quark transversity and two-hadron interference fragmentation functions. The small asymmetries measured on the ^6LiD target can be interpreted as indication for a cancellation of u- and d-quark transversities.Comment: 13 pages, 4 figures, updated to the published versio

Measurement of the Collins and Sivers asymmetries on transversely polarised protons

The Collins and Sivers asymmetries for charged hadrons produced in deeply inelastic scattering on transversely polarised protons have been extracted from the data collected in 2007 with the CERN SPS muon beam tuned at 160 GeV/c. At large values of the Bjorken x variable non-zero Collins asymmetries are observed both for positive and negative hadrons while the Sivers asymmetry for positive hadrons is slightly positive over almost all the measured x range. These results nicely support the present theoretical interpretation of these asymmetries, in terms of leading-twist quark distribution and fragmentation functions.Comment: 9 Pages, 5 figure

System Size and Energy Dependence of Jet-Induced Hadron Pair Correlation Shapes in Cu+Cu and Au+Au Collisions at sqrt(s_NN) = 200 and 62.4 GeV

We present azimuthal angle correlations of intermediate transverse momentum (1-4 GeV/c) hadrons from {dijets} in Cu+Cu and Au+Au collisions at sqrt(s_NN) = 62.4 and 200 GeV. The away-side dijet induced azimuthal correlation is broadened, non-Gaussian, and peaked away from \Delta\phi=\pi in central and semi-central collisions in all the systems. The broadening and peak location are found to depend upon the number of participants in the collision, but not on the collision energy or beam nuclei. These results are consistent with sound or shock wave models, but pose challenges to Cherenkov gluon radiation models.Comment: 464 authors from 60 institutions, 6 pages, 3 figures, 2 tables. Submitted to Physical Review Letters. Plain text data tables for the points plotted in figures for this and previous PHENIX publications are (or will be) publicly available at http://www.phenix.bnl.gov/papers.htm

Silicon and Germanium Nanostructures for Photovoltaic Applications: Ab-Initio Results

Actually, most of the electric energy is being produced by fossil fuels and great is the search for viable alternatives. The most appealing and promising technology is photovoltaics. It will become truly mainstream when its cost will be comparable to other energy sources. One way is to significantly enhance device efficiencies, for example by increasing the number of band gaps in multijunction solar cells or by favoring charge separation in the devices. This can be done by using cells based on nanostructured semiconductors. In this paper, we will present ab-initio results of the structural, electronic and optical properties of (1) silicon and germanium nanoparticles embedded in wide band gap materials and (2) mixed silicon-germanium nanowires. We show that theory can help in understanding the microscopic processes important for devices performances. In particular, we calculated for embedded Si and Ge nanoparticles the dependence of the absorption threshold on size and oxidation, the role of crystallinity and, in some cases, the recombination rates, and we demonstrated that in the case of mixed nanowires, those with a clear interface between Si and Ge show not only a reduced quantum confinement effect but display also a natural geometrical separation between electron and hole