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.     

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     

Fixed mesh approximation of ordinary differential equations with impulses

When trains of impulse controls are present on the right-hand side of a system of ordinary differential equations, the solution is no longer smooth and contains jumps which can accumulate at several points in the time interval. In technological and physical systems the sum of the absolute value of all the impulses is finite and hence the total variation of the solution is finite. So the solution at best belongs to the space BV of vector functions with bounded variation. Unless variable node methods are used, the loss of smoothness of the solution would a priori make higher-order methods over a fixed mesh inactractive. Indeed in general the order of -convergence is and the nodal rate is . However in the linear case -convergence rate remains but the nodal rate can go up to by using one-step or multistep scheme with a nodal rate up to when the solution belongs to . Proofs are given of error estimates and several numerical experiments confirm the optimality of the estimates. Received March 15, 1996 / Revised version received January 3, 1997     

Polarized light and X-ray precession study of the ferroelastic domains of YBa2Cu3O7-δ

The ferroelastic domains of the orthorhombic phase of YBa₂Cu₃O_7- have been observed in polarized light on ceramics and single crystals. By combining polarized light microscopy with the X-ray precession technique, the correlation of the orientation of the orthorhombica- andb-axes with that of thea-b-plane bireflectance, reflection dichroism, transmission dichroism (at a thickness of about 1m), reflection tints generated with compensators and upon uncrossing of polars, as well as the orientation of etch pits has been realized on ferroelastic single domains, bi-domains and more complicated domain patterns. Four ferroelastic orthorhombic domain states have been identified, at variance with former group theoretical considerations, predicting only two states. Ensembles of lamellar domains beyond optical resolution generate strong bireflectance with principal axes rotated by 45° relative to the truea, b-directions.     

How electrons guard the space: shape optimization with probability distribution criteria

Efficient formulas for computing the probabilities of finding exactly electrons in an arbitrarily chosen volume ³ for Hartree–Fock wavefunctions are presented. These formulas allow the use of shape optimization techniques, such as level set methods, for optimizing with respect to various criteria involving such probabilities. The criterion defined as the difference between the Hartree–Fock and the independent-particle model probabilities of finding electrons in stresses the quantum effects due to the Pauli principle. We have implemented a 2D level set method for optimizing this criterion in order to study spatial separation of electron pairs in linear molecules. The method is described and the illustrative example of the BH molecule is reported.Contribution to the Jacopo Tomasi Honorary Issue