Convexity of Domains of Riemannian Manifolds

In this paper the problem of the geodesic connectedness and convexity ofincomplete Riemannian manifolds is analyzed. To this aim, a detailedstudy of the notion of convexity for the associated Cauchy boundary iscarried out. In particular, under widely discussed hypotheses,we prove the convexity of open domains (whose boundaries may benondifferentiable) of a complete Riemannian manifold. Variationalmethods are mainly used. Examples and applications are provided,including a result for dynamical systems on the existence oftrajectories with fixed energy.     

Calibrating software reliability models when the test environment does not match the user environment

Software failures have become the major factor that brings the system down or causes a degradation in the quality of service. For many applications, estimating the software failure rate from a user's perspective helps the development team evaluate the reliability of the software and determine the release time properly. Traditionally, software reliability growth models are applied to system test data with the hope of estimating the software failure rate in the field. Given the aggressive nature by which the software is exercised during system test, as well as unavoidable differences between the test environment and the field environment, the resulting estimate of the failure rate will not typically reflect the user‐perceived failure rate in the field. The goal of this work is to quantify the mismatch between the system test environment and the field environment. A calibration factor is proposed to map the failure rate estimated from the system test data to the failure rate that will be observed in the field. Non‐homogeneous Poisson process models are utilized to estimate the software failure rate in both the system test phase and the field. For projects that have only system test data, use of the calibration factor provides an estimate of the field failure rate that would otherwise be unavailable. For projects that have both system test data and previous field data, the calibration factor can be explicitly evaluated and used to estimate the field failure rate of future releases as their system test data becomes available. Copyright © 2002 John Wiley & Sons, Ltd.     

Segregation in the Falicov--Kimball Model

The Falicov–Kimball model is a simple quantum lattice model that describes light and heavy electrons interacting with an on-site repulsion; alternatively, it is a model of itinerant electrons and fixed nuclei. It can be seen as a simplification of the Hubbard model; by neglecting the kinetic (hopping) energy of the spin up particles, one gets the Falicov–Kimball model. We show that away from half-filling, i.e. if the sum of the densities of both kinds of particles differs from 1, the particles segregate at zero temperature and for large enough repulsion. In the language of the Hubbard model, this means creating two regions with a positive and a negative magnetization. Our key mathematical results are lower and upper bounds for the sum of the lowest eigenvalues of the discrete Laplace operator in an arbitrary domain, with Dirichlet boundary conditions. The lower bound consists of a bulk term, independent of the shape of the domain, and of a term proportional to the boundary. Therefore, one lowers the kinetic energy of the itinerant particles by choosing a domain with a small boundary. For the Falicov- Kimball model, this corresponds to having a single “compact” domain that has no heavy particles. Received: 21 June 2001 / Accepted: 4 January 2002     

Time Evolution of Vibration-Induced Excited State Decay

A simple model consisting of two electronic levels and one vibrational mode (phonon) was theoretically studied. The electronic-vibrational interaction was linear in the vibrational displacement. The vibrational mode was taken in the harmonic approximation and was attached to the thermal bath formed by the ambient environment. The kinetic constants of the vibrational dissipation were of the second order in the vibrational-bath coupling and were taken in the Markovian limit. Although, depending on the parameters of the model, different curves of the non-radiative vibration-induced excited state decay were obtained, in general, three time intervals, corresponding to different physical behaviour, were found. In the short-time interval, small oscillations superimposed on the excited state decay were observed. They were determined by the vibrational frequency and influenced by electronic-vibrational coupling. In the middle-time interval, almost quasi-exponential decay was detected; its rate constant increased with stronger electronic-vibrational interaction and speed of vibrational relaxation. In the long-time interval, the decay was very slow and, under special conditions, even an asymptotic non-zero excited state population was observed. Its value increased with the strength of the off-diagonal electron-vibrational coupling. Links of the parameters of the model with quantum chemical terms were estimated.     

Remarks on exact controllability for Stokes and Navier–Stokes systems

This Note deals with the controllability of Stokes and Navier–Stokes systems with distributed controls with support in possibly small subdomains. We first present a new global Carleman inequality for the solutions to Stokes-like systems that leads to the null controllability at any time T>0. Then, we present a local result concerning exact controllability to trajectories of the Navier–Stokes system. To cite this article: E. Fernández-Cara et al., C. R. Acad. Sci. Paris, Ser. I 338 (2004).     

Unavoidable Traces Of Set Systems

Sauer, Shelah, Vapnik and Chervonenkis proved that if a set system on n vertices contains many sets, then the set system has full trace on a large set. Although the restriction on the size of the groundset cannot be lifted, Frankl and Pach found a trace structure that is guaranteed to occur in uniform set systems even if we do not bound the size of the groundset. In this note we shall give three sequences of structures such that every set system consisting of sufficiently many sets contains at least one of these structures with many sets.     

Extensions of Modules over Schur Algebras, Symmetric Groups and Hecke Algebras

We study the relation between the cohomology of general linear and symmetric groups and their respective quantizations, using Schur algebras and standard homological techniques to build appropriate spectral sequences. As our methods fit inside a much more general context within the theory of finite-dimensional algebras, we develop our results first in that general setting, and then specialize to the above situations. From this we obtain new proofs of several known results in modular representation theory of symmetric groups. Moreover, we reduce certain questions about computing extensions for symmetric groups and Hecke algebras to questions about extensions for general linear groups and their quantizations.