Special geometry,cubic polynomials and homogeneous quaternionic spaces

The existing classification of homogeneous quaternionic spaces is not complete. We study these spaces in the context of certainN=2 supergravity theories, where dimensional reduction induces a mapping betweenspecial real, Kähler and quaternionic spaces. The geometry of the real spaces is encoded in cubic polynomials, those of the Kähler and quaternionic manifolds in homogeneous holomorphic functions of second degree. We classify all cubic polynomials that have an invariance group that acts transitively on the real manifold. The corresponding Kähler and quaternionic manifolds are then homogeneous. We find that they lead to a well-defined subset of the normal quaternionic spaces classified by Alekseevskiî (and the corresponding special Kähler spaces given by Cecotti), but there is a new class of rank-3 spaces of quaternionic dimension larger than 3. We also point out that some of the rank-4 Alekseevskiî spaces were not fully specified and correspond to a finite variety of inequivalent spaces. A simpler version of the equation that underlies the classification of this paper also emerges in the context ofW ₃ algebras.Communicated by K. Gawedzki     

Heuristics and look-ahead integration to solve constraint satisfaction problems efficiently

Logic programming languages, such asProlog, allow a declarative specification of Constraint Satisfaction Problems (CSPs), freeing the user from specifying more or less complex control directives. However, the price to pay for such flexibility is a loss of efficiency, which makes Logic Programming inadequate to solve CSPs of even moderate size and complexity. To extend the range of applicability of logic programming, several improvements have been proposed. The use of heuristics is one such improvement. Although this usually forces the user to specify some form of control (thus abandoning the pure declarative nature of a logic program), these specifications can be made declarative by making use of some appropriate meta-predicates. Another extension to logic programming that improves its efficiency, is the active use of constraints, as done in the various formulations of constraint logic programming languages. In particular, the use of finite domains is quite adequate to implement look-ahead schemes to efficiently solve several types of CSPs. In this paper, we discuss the complementary nature of heuristics and look-ahead schemes and present a constraint logic programming framework that integrates both these techniques. Results obtained with a time-tabling problem executed on a prototype that implements such a framework are presented, and show that significant efficiency improvements can be achieved when compared with the separate use of the two techniques.     

Exact and approximate solutions to the Schrödinger equation for the harmonic oscillator with a singular perturbation

I obtain exact solutions for the quantum-mechanical harmonic oscillator with a perturbation potential which belongs to a class of polynomial functions of 1/r. I show that some of the eigenfunctions enable the calculation of expectation values in closed form and are therefore suitable trial functions for the application of the variational method to related nonsolvable problems.     

Principles and recent developments in ultrasound contrast agents

The behaviour of gas bubbles and gas encapsulated spheres as echographic contrast agents is reviewed. Compared with rigid spheres, gas bubbles are superior scattering agents and they offer a number of useful properties which can be exploited in a variety of ways. The analysis of their velocity of sound, back-scatter intensity, second harmonic emission and resonant frequency opens up new perspectives in the development of contrast agents for echocardiographic research with potential clinical applications.     

Averaged topological equations for dispersed two-phase flows

A general relationship between the volume fraction and the specific interfacial area for averaged dispersed two-phase flows is proposed. This relationship, expressed as a basic set of two scalar evolution equations and two vectorial non-uniformity state equations, is an analytical result obtained by a systematic approach using the derivatives of some generalized functions and a local volume-averaging technique. The proposed set of equations was expressed for measurable macroscopic parameters of the system and has the same generality as the averaged transport equations of two-phase flows. By combination of the basic set of equations, called the averaged topological equations (ATEs), second-order ATEs for the volume fraction were found. The second-order ATEs were expressed both by a Lagrangian formulation and by a Eulerian formulation. The importance and physical meaning of the ATEs developed in this study were clarified within the framework of the theory of kinematic waves.