Sensitivity indices for multivariate outputs

We define and study a generalization of Sobol sensitivity indices for the case of a vector output.     

Automata and logics over finitely varying functions

We extend some of the classical connections between automata and logic due to Büchi (1960) [5] and McNaughton and Papert (1971) [12] to languages of finitely varying functions or “signals”. In particular, we introduce a natural class of automata for generating finitely varying functions called ’s, and show that it coincides in terms of language definability with a natural monadic second-order logic interpreted over finitely varying functions Rabinovich (2002) [15]. We also identify a “counter-free” subclass of ’s which characterise the first-order definable languages of finitely varying functions. Our proofs mainly factor through the classical results for word languages. These results have applications in automata characterisations for continuously interpreted real-time logics like Metric Temporal Logic (MTL) Chevalier et al. (2006, 2007) [6] and [7].     

Dynamics of multiple degree Ginzburg–Landau vortices

For the two-dimensional complex parabolic Ginzburg–Landau equation we prove that, asymptotically, vortices evolve according to a simple ordinary differential equation, which is a gradient flow of the Kirchhoff–Onsager functional. This convergence holds except for a finite number of times, corresponding to vortex collisions and splittings, which we describe carefully. The only assumption is a natural energy bound on the initial data. To cite this article: F. Bethuel et al., C. R. Acad. Sci. Paris, Ser. I 342 (2006).     

Smoothing and dispersive estimates for 1D Schrödinger equations with BV coefficients and applications

We prove smoothing estimates for Schrödinger equations it_∂?+x_∂(a(x)x_∂?)=0 with a(x)∈BV, real and bounded from below. We then bootstrap these estimates to obtain optimal Strichartz and maximal function estimates, all of which turn out to be identical to the constant coefficient case. We also provide counterexamples showing a∈BV to be in a sense a minimal requirement. Finally, we provide an application to sharp well-posedness for a generalized Benjamin-Ono equation.     

Estimation consistante des paramètres d'un modèle non linéaire pour des données fonctionnelles discrétisées aléatoirement

We study a class of nonlinear regression models for scalar or vectorial response when the explanatory variable is a function. We introduce a consistent estimator of the parameters of models in this class when functions are evaluated at randomly chosen observation points. To cite this article: F. Rossi, B. Conan-Guez, C. R. Acad. Sci. Paris, Ser. I 340 (2005).     

On the Topology of Real Algebraic Plane Curves

We revisit the problem of computing the topology and geometry of a real algebraic plane curve. The topology is of prime interest but geometric information, such as the position of singular and critical points, is also relevant. A challenge is to compute efficiently this information for the given coordinate system even if the curve is not in generic position. Previous methods based on the cylindrical algebraic decomposition use sub-resultant sequences and computations with polynomials with algebraic coefficients. A novelty of our approach is to replace these tools by Gröbner basis computations and isolation with rational univariate representations. This has the advantage of avoiding computations with polynomials with algebraic coefficients, even in non-generic positions. Our algorithm isolates critical points in boxes and computes a decomposition of the plane by rectangular boxes. This decomposition also induces a new approach for computing an arrangement of polylines isotopic to the input curve. We also present an analysis of the complexity of our algorithm. An implementation of our algorithm demonstrates its efficiency, in particular on high-degree non-generic curves.     

Quaternionic Brownian Windings

Journal of Theoretical Probability - We define and study the three-dimensional windings along Brownian paths in the quaternionic Euclidean, projective and hyperbolic spaces. In particular, the...     

A version of Hörmander’s theorem for the fractional Brownian motion

It is shown that the law of an SDE driven by fractional Brownian motion with Hurst parameter greater than 1/2 has a smooth density with respect to Lebesgue measure, provided that the driving vector fields satisfy Hörmander’s condition. The main new ingredient of the proof is an extension of Norris’ lemma to this situation.     

Stationary Analysis of a Fluid Queue Driven by Some Countable State Space Markov Chain

Motivated by queueing systems playing a key role in the performance evaluation of telecommunication networks, we analyze in this paper the stationary behavior of a fluid queue, when the instantaneous input rate is driven by a continuous-time Markov chain with finite or infinite state space. In the case of an infinite state space and for particular classes of Markov chains with a countable state space, such as quasi birth and death processes or Markov chains of the G/M/1 type, we develop an algorithm to compute the stationary probability distribution function of the buffer level in the fluid queue. This algorithm relies on simple recurrence relations satisfied by key characteristics of an auxiliary queueing system with normalized input rates.