Nuclear Magnetic Resonance and Hyperfine Structure

Contains reports on four research projects

How well-proportioned are lens and prism spaces?

The CMB anisotropies in spherical 3-spaces with a non-trivial topology are analysed with a focus on lens and prism shaped fundamental cells. The conjecture is tested that well proportioned spaces lead to a suppression of large-scale anisotropies according to the observed cosmic microwave background (CMB). The focus is put on lens spaces L(p,q) which are supposed to be oddly proportioned. However, there are inhomogeneous lens spaces whose shape of the Voronoi domain depends on the position of the observer within the manifold. Such manifolds possess no fixed measure of well-proportioned and allow a predestined test of the well-proportioned conjecture. Topologies having the same Voronoi domain are shown to possess distinct CMB statistics which thus provide a counter-example to the well-proportioned conjecture. The CMB properties are analysed in terms of cyclic subgroups Z_p, and new point of view for the superior behaviour of the Poincar\'e dodecahedron is found

Structural Synthesis for GXW Specifications

We define the GXW fragment of linear temporal logic (LTL) as the basis for synthesizing embedded control software for safety-critical applications. Since GXW includes the use of a weak-until operator we are able to specify a number of diverse programmable logic control (PLC) problems, which we have compiled from industrial training sets. For GXW controller specifications, we develop a novel approach for synthesizing a set of synchronously communicating actor-based controllers. This synthesis algorithm proceeds by means of recursing over the structure of GXW specifications, and generates a set of dedicated and synchronously communicating sub-controllers according to the formula structure. In a subsequent step, 2QBF constraint solving identifies and tries to resolve potential conflicts between individual GXW specifications. This structural approach to GXW synthesis supports traceability between requirements and the generated control code as mandated by certification regimes for safety-critical software. Synthesis for GXW specifications is in PSPACE compared to 2EXPTIME-completeness of full-fledged LTL synthesis. Indeed our experimental results suggest that GXW synthesis scales well to industrial-sized control synthesis problems with 20 input and output ports and beyond.Comment: The long (including appendix) version being reviewed by CAV'16 program committee. Compared to the submitted version, one author (out of her wish) is moved to the Acknowledgement. (v2) Corrected typos. (v3) Add an additional remark over environment assumption and easy corner case

Cosmic Topology of Prism Double-Action Manifolds

The cosmic microwave background (CMB) anisotropies in spherical 3-spaces with a non-trivial topology are studied. This paper discusses the special class of the so-called double-action manifolds, which are for the first time analysed with respect to their CMB anisotropies. The CMB anisotropies are computed for all prism double-action manifolds generated by a binary dihedral and a cyclic group with a group order of up to 180 leading to 33 different topologies. Several spaces are found which show a suppression of the CMB anisotropies on large angular distances as it is found on the real CMB sky. It turns out that two of these spaces possess Dirichlet domains which are not very far from highly symmetric polyhedra like Platonic or Archimedean ones

Cosmic Topology of Polyhedral Double-Action Manifolds

A special class of non-trivial topologies of the spherical space S^3 is investigated with respect to their cosmic microwave background (CMB) anisotropies. The observed correlations of the anisotropies on the CMB sky possess on large separation angles surprising low amplitudes which might be naturally be explained by models of the Universe having a multiconnected spatial space. We analysed in CQG 29(2012)215005 the CMB properties of prism double-action manifolds that are generated by a binary dihedral group D^*_p and a cyclic group Z_n up to a group order of 180. Here we extend the CMB analysis to polyhedral double-action manifolds which are generated by the three binary polyhedral groups (T^*, O^*, I^*) and a cyclic group Z_n up to a group order of 1000. There are 20 such polyhedral double-action manifolds. Some of them turn out to have even lower CMB correlations on large angles than the Poincare dodecahedron

CMB Anisotropy of the Poincare Dodecahedron

We analyse the anisotropy of the cosmic microwave background (CMB) for the Poincare dodecahedron which is an example for a multi-connected spherical universe. We compare the temperature correlation function and the angular power spectrum for the Poincare dodecahedral universe with the first-year WMAP data and find that this multi-connected universe can explain the surprisingly low CMB anisotropy on large scales found by WMAP provided that the total energy density parameter Omega_tot is in the range 1.016...1.020. The ensemble average over the primordial perturbations is assumed to be the scale-invariant Harrison-Zel'dovich spectrum. The circles-in-the-sky signature is studied and it is found that the signal of the six pairs of matched circles could be missed by current analyses of CMB sky maps

Cosmic microwave anisotropies in an inhomogeneous compact flat universe

The anisotropies of the cosmic microwave background (CMB) are computed for the half-turn space E_2 which represents a compact flat model of the Universe, i.e. one with finite volume. This model is inhomogeneous in the sense that the statistical properties of the CMB depend on the position of the observer within the fundamental cell. It is shown that the half-turn space describes the observed CMB anisotropies on large scales better than the concordance model with infinite volume. For most observer positions it matches the temperature correlation function even slightly better than the well studied 3-torus topology

The nonlinear time-dependent response of isotactic polypropylene

Tensile creep tests, tensile relaxation tests and a tensile test with a constant rate of strain are performed on injection-molded isotactic polypropylene at room temperature in the vicinity of the yield point. A constitutive model is derived for the time-dependent behavior of semi-crystalline polymers. A polymer is treated as an equivalent network of chains bridged by permanent junctions. The network is modelled as an ensemble of passive meso-regions (with affine nodes) and active meso-domains (where junctions slip with respect to their positions in the bulk medium with various rates). The distribution of activation energies for sliding in active meso-regions is described by a random energy model. Adjustable parameters in the stress--strain relations are found by fitting experimental data. It is demonstrated that the concentration of active meso-domains monotonically grows with strain, whereas the average potential energy for sliding of junctions and the standard deviation of activation energies suffer substantial drops at the yield point. With reference to the concept of dual population of crystalline lamellae, these changes in material parameters are attributed to transition from breakage of subsidiary (thin) lamellae in the sub-yield region to fragmentation of primary (thick) lamellae in the post-yield region of deformation.Comment: 29 pages, 12 figure

Structured Sparsity: Discrete and Convex approaches

Compressive sensing (CS) exploits sparsity to recover sparse or compressible signals from dimensionality reducing, non-adaptive sensing mechanisms. Sparsity is also used to enhance interpretability in machine learning and statistics applications: While the ambient dimension is vast in modern data analysis problems, the relevant information therein typically resides in a much lower dimensional space. However, many solutions proposed nowadays do not leverage the true underlying structure. Recent results in CS extend the simple sparsity idea to more sophisticated {\em structured} sparsity models, which describe the interdependency between the nonzero components of a signal, allowing to increase the interpretability of the results and lead to better recovery performance. In order to better understand the impact of structured sparsity, in this chapter we analyze the connections between the discrete models and their convex relaxations, highlighting their relative advantages. We start with the general group sparse model and then elaborate on two important special cases: the dispersive and the hierarchical models. For each, we present the models in their discrete nature, discuss how to solve the ensuing discrete problems and then describe convex relaxations. We also consider more general structures as defined by set functions and present their convex proxies. Further, we discuss efficient optimization solutions for structured sparsity problems and illustrate structured sparsity in action via three applications.Comment: 30 pages, 18 figure

Changes in Economic Inequality in Europe and Latin America in the First Decades of the Twenty-First Century

This open access volume identifies the common and specific aspects of social mechanisms that generate inequalities, through comparative analyses of different dimensions in which inequalities are expressed. It includes studies on social inequalities in 5 European and 5 Latin American countries, along 11 thematic axes: inequalities in the labour market and labour trajectories; asymmetries in the relationship between training and employment; inequalities in work and family life; educational inequalities; geographical and social inequalities: ethnicity and language; social inequalities, migration and space; uncertainty, strategies, resources and capabilities; inequality of opportunity: intergenerational social mobility; social policies; gender inequalities; and research methodology. This volume is the result of a large collaborative project on social inequality funded by the European Commission: the International Network for Comparative Analysis of Social Inequalities. Taking into account diverse perspectives and approximations, the collaborators have created a general analytical framework as a model of analysis of social inequalities. The various contributions in this volume help readers gain a global outlook and help reflect on social inequalities in a comparative perspective. This volume addresses social science graduate and postgraduate students, researchers, social policy makers, as well as a broader academic audience interested in social inequality.Fil: Salvia, Hector Agustin. Universidad Catolica Argentina; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentin