A combinatorial outlook on symmetric functions

We establish a combinatorial interpretation for various operations on symmetric functions, such as plethysm, scalar product, and derivation. Thus we obtain proofs of formulas involving symmetric functions in term of combinatorial constructions on permutations.     

K-Dependence and temperature dependence of N2-, H2-, and He-broadening coefficients for the J = 12-11 transition of acetonitrile CH3CN located near 220.7 GHz

Extensive experiments on the K = 3 component of the J = 12-11 rotational transition of acetonitrile CH₃C¹⁴N, located near 220.7 GHz, were performed at different temperatures in the range 235-350 K. They allow determining the N₂-, H₂-, and He-broadening coefficients, as well as their temperature dependences. More specific measurements on all the K-components of the involved transition perturbed by N₂ at 303 K allow to point out a clear decreasing of the broadening coefficient with increasing K. Narrowing effects are clearly observed, and experimental lines were analysed both with Voigt and speed dependent Voigt profiles; but no exhaustive lineshape study was carried out. All the experimental parameters are compared with results derived from a semiclassical calculation of collisional interactions, including electrostatic, induction, and dispersion energy contributions.     

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.     

The complexification and degree of a semi-algebraic set

The complexification of a semi-algebraic set is the smallest complex algebraic set containing S. Let S be defined by s polynomials of degrees less than d. We prove that the geometric degree of the complexification is less than . Received: 9 January 1997; in final form: 11 August 2000 / Published online: 17 May 2001     

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.