Homology of proof-nets

This work defines homology groups for proof-structures in multiplicative linear logic (see [Gir1], [Gir2], [Dan]). We will show that these groups characterize proof-nets among arbitrary proof-structures, thus obtaining a new correctness criterion and of course a new polynomial algorithm for testing correctness. This homology also bears information on sequentialization. An unexpected geometrical interpretation of the linear connectives is given in the last section. This paper exclusively focuses onabstract proof-structures, i.e. paired-graphs. The relation with actual proofs is investigated in [Gir1], [Gir2], [Dan], [Ret] and [Tro].     

Quantitative Concentration Inequalities for Empirical Measures on Non-compact Spaces

We establish quantitative concentration estimates for the empirical measure of many independent variables, in transportation distances. As an application, we provide some error bounds for particle simulations in a model mean field problem. The tools include coupling arguments, as well as regularity and moment estimates for solutions of certain diffusive partial differential equations.     

A Framework for Image Deblurring Using Wavelet Packet Bases

We show in this paper that the average over translations of an operator diagonal in a wavelet packet basis is a convolution. We also show that an operator diagonal in a wavelet packet basis can be decomposed into several operators of the same kind, each of them being better conditioned. We investigate the possibility of using such a convolution to approximate a given convolution (in practice an image blur). Then we use these approximations to deblur images. First, we show that this framework permits us to redefine existing deblurring methods. Then, we show that it permits us to define a new variational method which combines the wavelet packet and the total variation approaches. We argue and show by experiments that this permits us to avoid the drawbacks of both approaches which are, respectively, the ringing and the staircasing.     

Analysis of a Poisson system with boundary conditions

We consider a class of problems originating from a Raman laser amplification model, for which the equations can be written as a Poisson system with boundary conditions. Once reformulated, this system becomes an integro-differential equation that we study here in some detail. In particular, we show the existence of a smooth solution under general assumptions, and prove its uniqueness for boundary values that are not too far apart. Eventually, we completely solve the question of uniqueness for systems of dimensions one and two. To cite this article: F. Castella et al., C. R. Acad. Sci. Paris, Ser. I 336 (2003).     

Parametric Centers for Trigonometric Abel Equations

This article is devoted to one-dimensional perturbative theory on R × S ¹. There is a recursive formula for the successive obstructions to parametric center at any order of the perturbation parameter. The first obstruction is studied by means of complex analysis techniques. This extends to the trigonometric case what was done previously for the polynomial case (Israel J. Math. 142, 273–283, 2004). This article is dedicated to Professor Zhang Zhi-Fen on the occasion of her 80th Birthday