Uniqueness of static decompositions

We classify static manifolds which admit more than one static decomposition whenever a condition on the curvature is fullfilled. For this, we take a standard static vector field and analyze its associated one parameter family of projections onto the base. We show that the base itself is a static manifold and the warping function satisfies severe restrictions, leading us to our classification results. Moreover, we show that certain condition on the lightlike sectional curvature ensures the uniqueness of static decomposition for Lorentzian manifolds.Comment: 14 page

Adaptive Parallelism for Coupled, Multithreaded Message-Passing Programs

Hybrid parallel programming models that combine message passing (MP) and shared- memory multithreading (MT) are becoming more popular, especially with applications requiring higher degrees of parallelism and scalability. Consequently, coupled parallel programs, those built via the integration of independently developed and optimized software libraries linked into a single application, increasingly comprise message-passing libraries with differing preferred degrees of threading, resulting in thread-level heterogeneity. Retroactively matching threading levels between independently developed and maintained libraries is difficult, and the challenge is exacerbated because contemporary middleware services provide only static scheduling policies over entire program executions, necessitating suboptimal, over-subscribed or under-subscribed, configurations. In coupled applications, a poorly configured component can lead to overall poor application performance, suboptimal resource utilization, and increased time-to-solution. So it is critical that each library executes in a manner consistent with its design and tuning for a particular system architecture and workload. Therefore, there is a need for techniques that address dynamic, conflicting configurations in coupled multithreaded message-passing (MT-MP) programs. Our thesis is that we can achieve significant performance improvements over static under-subscribed approaches through reconfigurable execution environments that consider compute phase parallelization strategies along with both hardware and software characteristics. In this work, we present new ways to structure, execute, and analyze coupled MT- MP programs. Our study begins with an examination of contemporary approaches used to accommodate thread-level heterogeneity in coupled MT-MP programs. Here we identify potential inefficiencies in how these programs are structured and executed in the high-performance computing domain. We then present and evaluate a novel approach for accommodating thread-level heterogeneity. Our approach enables full utilization of all available compute resources throughout an application’s execution by providing programmable facilities with modest overheads to dynamically reconfigure runtime environments for compute phases with differing threading factors and affinities. Our performance results show that for a majority of the tested scientific workloads our approach and corresponding open-source reference implementation render speedups greater than 50 % over the static under-subscribed baseline. Motivated by our examination of reconfigurable execution environments and their memory overhead, we also study the memory attribution problem: the inability to predict or evaluate during runtime where the available memory is used across the software stack comprising the application, reusable software libraries, and supporting runtime infrastructure. Specifically, dynamic adaptation requires runtime intervention, which by its nature introduces additional runtime and memory overhead. To better understand the latter, we propose and evaluate a new way to quantify component-level memory usage from unmodified binaries dynamically linked to a message-passing communication library. Our experimental results show that our approach and corresponding implementation accurately measure memory resource usage as a function of time, scale, communication workload, and software or hardware system architecture, clearly distinguishing between application and communication library usage at a per-process level

Bounds on the dipole moments of the tau-neutrino via the process e+e−→ννˉγe^{+}e^{-}\rightarrow \nu \bar \nu \gamma in a 331 model

We obtain limits on the anomalous magnetic and electric dipole moments of the $\nu_{\tau}$ through the reaction $e^{+}e^{-}\rightarrow \nu \bar \nu \gamma$ and in the framework of a 331 model. We consider initial-state radiation, and neglect $W$ and photon exchange diagrams. The results are based on the data reported by the L3 Collaboration at LEP, and compare favorably with the limits obtained in other models, complementing previous studies on the dipole moments.Comment: 13 pages, 4 figures, to be published in The European Physical J C. arXiv admin note: substantial text overlap with arXiv:hep-ph/060527

Fermentación por adhesión a superficies: una nueva categoría fermentativa

Se resume el conocimiento básico sobre la fermentación en estado sólido y la formación de biopelículas y se relaciona con los procesos de adhesión celular, cubriendo puntos de vista de ingeniería y de biología molecular. Contrariamente a la creencia común, la ventaja de la fermentación en estado sólido está relacionada a la adhesión de los hongos a partículas sólidas y no al bajo contenido de agua. Por lo tanto, la fermentación en estado sólido y la fermentación en biopelículas (erradamente conocida como inmovilización por adsorción) son variantes técnicas del mismo proceso biológico y deben ser referidas como Fermentación por Adhesión a Superficies

Bose-Einstein Condensate Driven by a Kicked Rotor in a Finite Box

We study the effect of different heating rates of a dilute Bose gas confined in a quasi-1D finite, leaky box. An optical kicked-rotor is used to transfer energy to the atoms while two repulsive optical beams are used to confine the atoms. The average energy of the atoms is localized after a large number of kicks and the system reaches a nonequilibrium steady state. A numerical simulation of the experimental data suggests that the localization is due to energetic atoms leaking over the barrier. Our data also indicates a correlation between collisions and the destruction of the Bose-Einstein condensate fraction.Comment: 7 pages, 8 figure

Discontinuities without discontinuity: The Weakly-enforced Slip Method

Tectonic faults are commonly modelled as Volterra or Somigliana dislocations in an elastic medium. Various solution methods exist for this problem. However, the methods used in practice are often limiting, motivated by reasons of computational efficiency rather than geophysical accuracy. A typical geophysical application involves inverse problems for which many different fault configurations need to be examined, each adding to the computational load. In practice, this precludes conventional finite-element methods, which suffer a large computational overhead on account of geometric changes. This paper presents a new non-conforming finite-element method based on weak imposition of the displacement discontinuity. The weak imposition of the discontinuity enables the application of approximation spaces that are independent of the dislocation geometry, thus enabling optimal reuse of computational components. Such reuse of computational components renders finite-element modeling a viable option for inverse problems in geophysical applications. A detailed analysis of the approximation properties of the new formulation is provided. The analysis is supported by numerical experiments in 2D and 3D.Comment: Submitted for publication in CMAM