Le sujet de la thèse est la construction d'une théorie perturbative des champs quantiques en interaction sur un espace-temps courbe, suivant un point de vue conçu par Stueckelberg et Bogoliubov et developpé par Epstein-Glaser sur l'espace de Minkowski plat. En 2000, un progrès important fut réalisé par Brunetti et Fredenhagen qui réussirent à étendre la théorie d'Epstein-Glaser en exploitant le point de vue développé par Radzikowski pour définir les états quantiques sur un espace-temps courbe en terme d'ensembles de front d'onde. Ces résultats furent ultérieurement généralisés par Fredenhagen, Brunetti, Hollands, Wald, Rejzner, etc. aux théories de Yang-Mills et de la gravitation. Cependant, même pour des théories sans invariance de jauge, de nombreux détails mathématiques sont restés inexplorés et parfois sans vérification. Nous construisons d'une façon totalement rigoureuse cette théorie dans le cas des champs sans invariance de jauge. Dans notre travail, nous revisitons complètement cette théorie, résolvant au passage plusieurs questions laissées en suspens, incorporant de nombreux résultats nouveaux autour de ce programme et, le cas échéant, apportant des détails beaucoup plus précis sur les contre-termes dans le processus de renormalisation, une compréhension plus approfondie des ambiguïtés et une description géométrique des ensembles de front d'onde.

Au début du XXème siècle, Poincaré puis Birkhoff ont été amenés, lors de leur recherche sur le problème restreint des trois corps, à étudier les courbes invariantes par une transformation d’une surface préservant l’aire. Cinquante ans plus tard, les théorèmes KAM démontrent la persistance de courbes invariantes après perturbation en topologie de classe k plus grande ou égale à trois. On peut alors se demander ce que devient ce résultat en topologie de classe moins élevée. Par ailleurs, l’étude des dynamiques C1-génériques connaît de nombreux développements, grâce notamment au Connecting Lemma. Par exemple, Bonatti et Crovisier on démontré qu’un difféomorphisme C1-générique d’une telle surface possède un ensemble dense de points dont l’orbite sort de tout compact. Ces deux résultats permettent de penser qu’un difféomorphisme C1-générique d’une surface n’admet pas de courbes fermées simples invariantes. C’est ce que nous démontrons dans ce travail. On obtient assez facilement, en utilisant le Connecting Lemma ainsi que les propriétés topologiques de l’anneau, qu’un difféomorphisme C1-générique de l’anneau possède des points périodiques sur toute courbe fermée simple invariante. Cela se généralise à une surface quelconque en utilisant une famille dénombrable d’anneau constituant une base de voisinages d’une courbe fermée simple quelconque. La construction d’une telle famille d’anneaux est le principal résultat du premier chapitre. Il s’agit alors de supprimer les points périodiques sur les courbes invariantes. Dans un premier temps, nous nous inspirerons d’un argument qu’Herman utilise dans le cadre de courbes invariantes par les twists de l’anneau pour montrer que tous les points périodiques ne peuvent être hyperboliques. Ensuite, nous définissons une propriété, la propriété G, qui si elle est vérifiée par un difféomorphisme symplectique et l’un de ses points périodiques elliptiques, empêche que ce point périodique appartienne à une courbe invariante. En montrant que cette propriété est vérifiée par un difféomorphisme C1-générique et tous ses points périodiques elliptiques, nous obtenons le résultat souhaité. Dans le quatrième chapitre, nous nous employons à définir de façon rigoureuse la notion de fonction génératrice qui est l’outil classique pour perturber des difféomorphismes symplectiques / Poincaré and Birkhoff were led, during their research on the restricted problem of three bodies, to study invariant curves under an area preserving map of a surface. Fifty years later, theorems KAM show the persistance of invariant curves in topology Ck with k greater or equal to three. What becomes this result in topology class lower. Moreover, the study of C1-generic dynamics knows many developments particulary through the Connecting Lemma. For example, Bonatti and Crovisier showed a C1-generic symplectic diffeomorphism of a compact surface is transitive. What they have adapted with M.-C. Arnaud to a non compact surface : a C1-generic symplectic diffeomorphism of a non compact surface has a dense set of points whose orbit leaves every compacts. These two results suggest a such application has not an invariant simple closed curve. The proof of this result is the aim of this work. We obtain, using the Connecting Lemma, a C1-generic symplectic diffeomorphism has periodic points on all the invariant curves. Then, deleting the periodic points from the invariant curves is the challenge. At first, we use an argument that Herman used in the context of curves invariant by a twist of annulus, to show that all periodic points cannot be hyperbolic. Then, we define a property, the property G, which, if it is verified by a symplectic diffeomorphism and one of its periodic elliptic points, prevents this periodic point belongs to an invariant curve. By showing that property is verified by a C1-generic symplectic diffeomorphism, we obtain the desired result. In the fourth chapter, we explain how to pertube a symplectic diffeomorphism with generating functions

L'homologie instanton-symplectique est un invariant associé à une variété de dimension trois close orientée, qui a été dé?ni par Manolescu et Woodward, et qui correspond conjecturalement à une version symplectique d'une homologie des instantons de Floer. Dans cette thèse nous étudions le comportement de cet invariant sous l'effet d'une somme connexe, d'une chirurgie de Dehn, et d'un cobordisme de dimension quatre. Nous établissons une formule de Künneth pour la somme connexe : si Y et Y' désignent deux variétés closes orientées de dimension trois, l'homologie instanton-symplectique associée à leur somme connexe est isomorphe à la somme directe du produit tensoriel de leurs groupes d'homologie instantonsymplectique respectifs, et de leur produit de torsion (après décalage des degrés). Nous définissons des versions tordues de cette homologie, et prouvons un analogue de la suite exacte de Floer, reliant les groupes associés à une triade de chirurgie. Cette suite exacte nous permet de calculer le rang des groupes associés à des familles de variétés, notamment les revêtements doubles ramifiés d'entrelacs quasi-alternés, des chirurgies entières de grande pente le long de certains noeuds, ainsi que certaines variétés obtenues par plombage de fibrés en disques au-dessus de sphères. Nous définissons enfin des invariants pour des cobordismes de dimension 4 prenant la forme d'applications entre groupes d'homologie instantonsymplectique des bords, et prouvons que deux des morphismes intervenant dans la suite exacte de chirurgie s'interprètent comme de telles applications, associées aux cobordismes d'attachement d'anses. Nous donnons également un critère d'annulation pour de telles applications associées à des éclatements. / Symplectic instanton homology is an invariant for closed oriented three-manifolds, defined by Manolescu and Woodward, which conjecturally corresponds to a symplectic version of a variant of Floer's instanton homology. In this thesis we study the behaviour of this invariant under connected sum, Dehn surgery, and four-dimensional cobordisms. We prove a Künneth-type formula for the connected sum: let Y and Y' be two closed oriented three-manifolds, we show that the symplectic instanton homology of their connected sum is isomorphic to the direct sum of the tensor product of their symplectic instanton homology, and a shift of their torsion product. We define twisted versions of this homology, and then prove an analog of the Floer exact sequence, relating the invariants of a Dehn surgery triad. We use this exact sequence to compute the rank of the groups associated to branched double covers of quasi-alternating links, some plumbings of disc bundles over spheres, and some integral Dehn surgeries along certain knots. We then define invariants for four dimensional cobordisms as maps between the symplectic instanton homology of the two boundaries. We show that among the three morphisms in the surgery exact sequence, two are such maps, associated to the handle-attachment cobordisms. We also give a vanishing criteria for such maps associated to blow-ups.

L'objectif principal de la thèse est d'établir un modèle sous forme hamiltonienne à ports pour la dynamique du plasma dans les réacteurs de fusion de type tokamak, puis de démontrer le potentiel de cette approche pour aborder les problèmes d'intégration numérique et de commande non linéaire. Les bilans thermo-magnéto-hydrodynamiques, écrits sous forme hamiltonienne à ports à l'aide de structures Stokes-Dirac, conduisent à un modèle 3D “ multi-physique ” du plasma. Ensuite, un modèle 1D équivalent au modèle de diffusion résistive est obtenu en supposant les mêmes hypothèses d'équilibre quasi-statique et de symétries. Un schéma symplectique de réduction spatiale de ce modèle 1D qui préserve la structure du modèle et ses invariants est établi. Il ouvre la voie à des travaux ultérieurs de commande non linéaire fondés sur la structure géométrique d'interconnexion et les bilans du modèle. La commande IDA-PBC (Interconnection and Damping Assignment - Passivity Based Control) basée sur la passivité du modèle est d'abord synthétisée pour ce système en dimension finie. Finalement, une commande IDA-PBC associée avec la commande à la frontière est proposée pour le système en dimension infinie. Les controlleurs sont testés et validés avec les simulateurs des tokamak (METIS pour le Tore Supra de CEA/ Cadarache, et RAPTOR pour le TCV de l'EPFL Lausanne, Suisse). / The modelling and analysis of the plasma dynamics in tokamaks using the port-Hamiltonian approach is the main project purpose. Thermo-mMagnetohydrodynamics balances have been written in port-Hamiltonian form using Stokes-Dirac interconnection structures and 3D differential forms. A simplified 1D model for control has been derived using quasi-static and symmetry assumptions. It has been proved to be equivalent to a classical 1D control model: the resistive diffusion model for the poloidal magnetic flux. Then a geometric spatial integration scheme has been developped. It preserves both the symplecticity of the Dirac interconnection structure and physically conserved extensive quantities. This will allow coming works on energy-based approaches for the non linear control of the plasma dynamics.An Interconnection and Damping Assignment - Passivity Based Control (IDA-PBC) , the most general Port-Hamiltonian control, is chosen first to deal with the studied Tokamak system. It is based on a model made of the two coupled PDEs of resistive diffusion for the magnetic poloidal flux and of radial thermal diffusion. The used TMHD couplings are the Lorentz forces (with non-uniform resistivity) and the bootstrap current. The loop voltage at the plasma boundary, the total external current and the plasma heating power are considered as controller outputs. Due to the actuator constraints which imply to have a physically feasible current profile deposits, a feedforward control is used to ensure the compatibility with the actuator physical capability. Then, the IDA-PBC controllers, both finite-dimensional and infinite-dimensional, are designed to improve the system stabilization and convergence speed. The proposed works are validated against the simulation data obtained from the Tore-Supra WEST (CEA/Cadarache, France) test case and from RAPTOR code for the TCV real-time control system (CRPP/ EPFL, Lausanne, Switzerland).

Pour d non puissance d’un nombre premier, le nombre maximal de bases deux à deux décorrélées d’un espace de Hilbert de dimension d n’est pas encore connu. Dans ce mémoire, nous commençons par donner une construction de bases décorrélées en lien avec une famille de représentations irréductibles de l'algèbre de Lie su(2) et faisant appel aux sommes de Gauss.Puis nous étudions de façon systématique la possibilité de construire de telle bases au moyen des opérateurs de Pauli. 1) L’étude de la droite projective sur Zdm montre que, pour obtenir des ensembles maximaux de bases décorrélées à l’aide d'opérateurs de Pauli, il est nécessaire de considérer des produits tensoriels de ces opérateurs. 2) Les sous-modules lagrangiens de Zd2n, dont nous donnons une classification complète, rendent compte des ensembles maximalement commutant d'opérateurs de Pauli. Cette classification permet de savoir lesquels de ces ensembles sont susceptibles de donner des bases décorrélées : ils correspondent aux demi-modules lagrangiens, qui s'interprètent encore comme les points isotropes de la droite projective (P(Mat(n, Zd)²),ω). Nous explicitons alors un isomorphisme entre les bases décorrélées ainsi obtenues et les demi-modules lagrangiens distants, ce qui précise aussi la correspondance entre sommes de Gauss et bases décorrélées. 3) Des corollaires sur le groupe de Clifford et l’espace des phases discret sont alors développés.Enfin, nous présentons quelques outils inspirés de l’étude précédente. Nous traitons ainsi du rapport anharmonique sur la sphère de Bloch, de géométrie projective en dimension supérieure, des opérateurs de Pauli continus et nous comparons l'entropie de von Neumann à une mesure de l'intrication par calcul d'un déterminant. / For d not a power of a prime, the maximal number of mutually unbiased bases (MUBs) in a d-dimensional Hilbert space is still unknown. In this thesis, we begin by an original building of MUBs by means of Gauss sums, in relation with a family of irreducible representations of the Lie algebra su(2).Then, we sytematically study the possibility of building such bases by means of Pauli operators. 1) The study of the projective line on Zdm shows that, in order to obtain maximal sets of MUBs, tensorial products of these operators are in order. 2) Lagrangian submodules of Zd2n, of which we give a complete classification, account for maximally commuting sets of Pauli operators. This classification enables to know which of these sets are likely to yield unbiased bases. They correspond to Lagrangian half-modules that can be interpreted as the isotropic points of the projective line (P(Mat(n, Zd)²),ω). Hence, we establish an isomorphism between the unbiased bases thus obtained and distant Lagrangian half-modules, which precises by the way the correspondance between Gauss sums and MUBs. 3) Corollaries on the Clifford group and the finite phase space are then developed.Finally, we present some tools inspired by the previous study. We deal with the cross-ratio on the Bloch sphere and projective geometry in higher dimension, Pauli operators with continuous exponents and we compare von Neumann entropy with a determinantal measure of entanglement

This thesis provides the explicit expression of the star-exponential for the action of normal j-groups on their coadjoint orbits, and of the so-called modified star-exponential defined by Gayral et al. Using this modified star-exponential as the kernel of a functional transform between the group and its coadjoint orbits yields an adapted Fourier transform which is also detailed here. The normal j-groups arise in the work of Pytatetskii-Shapiro, who established the one-to-one correspondence with homogeneous bounded domains of the complex space; these groups are also the central element of the deformation formula recently developed by Bieliavsky & Gayral (a non abelian analog of the strict deformation quantization theory of Rieffel). Since these groups are exponential, the results given in this text illustrate the general work of Arnal & Cortet on the star-representations of exponential groups.<p> As this work is meant to be as self-contained as possible, the first chapter reproduces many definitions introduced by Bieliavsky & Gayral, in order to obtain the expression of the symplectic symmetric space structure on normal j-groups, and of their unitary irreducible representations. The Weyl-type quantizer associated to this symmetric structure is then computed, thus yielding the Weyl quantization map for which the composition of symbols is precisely the deformed product defined by Bieliavsky-Gayral on normal j-groups. A detailed proof of the structure theorem of normal j-groups is also provided.<p> The second chapter focuses on the expression and properties of the star-exponential itself, and exhibits a useful tool for the computation, namely the resolution of the identity associated to square integrable unitary irreducible representations of the groups. The result thus obtained satisfies the usual integro-differential equation defining the star-exponential. A criterion for the existence of a tempered pair underlying a given tempered structure on Lie groups is proven; the star-exponential functions are also shown to belong to the multiplier algebra of the Schwartz space associated to the tempered structure. Before that, it is shown that all Schwartz spaces that appear in this work are isomorphic as topological vector spaces.<p> The modified version of this star-exponential is computed in chapter three, first for elementary normal j-groups and then for normal j-groups. It is then used to define an adapted Fourier transform between the group and the dual of its Lie algebra. This transform generalizes (to all normal j-groups) a Fourier transform that was already studied in the “ax+b” case by Gayral et al. (2008), as well as by Ali et al. (2003) in the context of wavelet transforms. / Doctorat en Sciences / info:eu-repo/semantics/nonPublished

Cette thèse comporte deux parties. Dans la première partie on étudie le motif de Chow d’un fibré en quadriques de dimension relative impaire sur une surface. On montre que ce motif admet une décomposition qui fait intervenir le motif de Prym du revêtement double de la courbe discriminante. Dans la deuxième partie on s’intéresse à des fibrations lagrangiennes, obtenues comme jacobiennes intermédiaires relatives des familles de variétés de Fano de dimension trois contenant une surface K3 fixée, et à l’existence d’une compactification symplectique. Dans un cas particulier, on étudie une compactification partielle en utilisant des calculs avec le logiciel Macaulay2. / This thesis consists of two parts. In the first part we study the Chow motive of a quadric bundle of odd relative dimension over a surface. We show that this motive admits a decomposition which involves the Prym motive of the double covering of the discriminant curve.In the second part, we consider Lagrangian fibrations, obtained as relative intermediate Jacobians of families of Fano threefolds containing a fixed K3 surface, and the existence of a symplectic compactification. In a particular case, we study a partial compactification using calculations with the software system Macaulay2.

Dans cette thèse on s’intéresse à deux types de structures conformes non-dégénérées sur une variété complexe compacte donnée. La première c’est une forme holomorphe symplectique twistée (THS), i.e. une deux-forme holomorphe non-dégénérée à valeurs dans un fibré en droites. Dans le deuxième contexte, il s’agit des métriques localement conformément kähleriennes (LCK). Dans la première partie, on se place sur un variété de type Kähler. Les formes THS généralisent les formes holomorphes symplectiques, dont l’existence équivaut à ce que la variété admet une structure hyperkählerienne, par un théorème de Beauville. On montre un résultat similaire dans le cas twisté, plus précisément: une variété compacte de type kählerien qui admet une structure THS est un quotient fini cyclique d’une variété hyperkählerienne. De plus, on étudie sous quelles conditions une variété localement hyperkählerienne admet une structure THS. Dans la deuxième partie, les variétés sont supposées de type non-kählerien. Nous présentons quelques critères pour l’existence ou non-existence de métriques LCK spéciales, en terme du groupe de biholomorphismes de la variété. En outre, on étudie le problème d’irréductibilité analytique des variétés LCK, ainsi que l’irréductibilité de la connexion de Weyl associée. Dans un troisième temps, nous étudions les variétés LCK toriques, qui peuvent être définies en analogie avec les variétés de Kähler toriques. Nous montrons qu’une variété LCK torique compacte admet une métrique de Vaisman torique, ce qui mène à une classification de ces variétés par le travail de Lerman. Dans la dernière partie, on s’intéresse aux propriétés cohomologiques des variétés d’Oeljeklaus-Toma (OT). Plus précisément, nous calculons leur cohomologie de de Rham et celle twistée. De plus, on démontre qu’il existe au plus une classe de de Rham qui représente la forme de Lee d’une métrique LCK sur un variété OT. Finalement, on détermine toutes les classes de cohomologie twistée des métriques LCK sur ces variétés. / In this thesis, we are concerned with two types of non-degenerate conformal structures on a given compact complex manifold. The first structure we are interested in is a twisted holomorphic symplectic (THS) form, i.e. a holomorphic non-degenerate two-form valued in a line bundle. In the second context, we study locally conformally Kähler (LCK) metrics. In the first part, we deal with manifolds of Kähler type. THS forms generalise the well-known holomorphic symplectic forms, the existence of which is equivalent to the manifold admitting a hyperkähler structure, by a theorem of Beauville. We show a similar result in the twisted case, namely: a compact manifold of Kähler type admitting a THS structure is a finite cyclic quotient of a hyperkähler manifold. Moreover, we study under which conditions a locally hyperkähler manifold admits a THS structure. In the second part, manifolds are supposed to be of non-Kähler type. We present a few criteria for the existence or non-existence for special LCK metrics, in terms of the group of biholomorphisms of the manifold. Moreover, we investigate the analytic irreducibility issue for LCK manifolds, as well as the irreducibility of the associated Weyl connection. Thirdly, we study toric LCK manifolds, which can be defined in analogy with toric Kähler manifolds. We show that a compact toric LCK manifold always admits a toric Vaisman metric, which leads to a classification of such manifolds by the work of Lerman. In the last part, we study the cohomological properties of Oeljeklaus-Toma (OT) manifolds. Namely, we compute their de Rham and twisted cohomology. Moreover, we prove that there exists at most one de Rham class which represents the Lee form of an LCK metric on an OT manifold. Finally, we determine all the twisted cohomology classes of LCK metrics on these manifolds.

Les méthodes d'algèbres linéaire classiques, pour le calcul de valeurs et vecteurs propres d'une matrice, ou des approximations de rangs inférieurs (low-rank approximations) d'une solution, etc..., ne tiennent pas compte des structures de matrices. Ces dernières sont généralement détruites durant le procédé du calcul. Des méthodes alternatives préservant ces structures font l'objet d'un intérêt important par la communauté. Cette thèse constitue une contribution dans ce domaine. La décomposition SR peut être calculé via l'algorithme de Gram-Schmidt symplectique. Comme dans le cas classique, une perte d'orthogonalité peut se produire. Pour y remédier, nous avons proposé deux algorithmes RSGSi et RMSGSi qui consistent à ré-orthogonaliser deux fois les vecteurs à calculer. La perte de la J-orthogonalité s'est améliorée de manière très significative. L'étude directe de la propagation des erreurs d'arrondis dans les algorithmes de Gram-Schmidt symplectique est très difficile à effectuer. Nous avons réussi à contourner cette difficulté et donner des majorations pour la perte de la J-orthogonalité et de l'erreur de factorisation. Une autre façon de calculer la décomposition SR est basée sur les transformations de Householder symplectique. Un choix optimal a abouti à l'algorithme SROSH. Cependant, ce dernier peut être sujet à une instabilité numérique. Nous avons proposé une version modifiée nouvelle SRMSH, qui a l'avantage d'être aussi stable que possible. Une étude approfondie a été faite, présentant les différentes versions : SRMSH et SRMSH2. Dans le but de construire un algorithme SR, d'une complexité d'ordre O(n³) où 2n est la taille de la matrice, une réduction (appropriée) de la matrice à une forme condensée (J(Hessenberg forme) via des similarités adéquates, est cruciale. Cette réduction peut être effectuée via l'algorithme JHESS. Nous avons montré qu'il est possible de réduire une matrice sous la forme J-Hessenberg, en se basant exclusivement sur les transformations de Householder symplectiques. Le nouvel algorithme, appelé JHSJ, est basé sur une adaptation de l'algorithme SRSH. Nous avons réussi à proposer deux nouvelles variantes, aussi stables que possible : JHMSH et JHMSH2. Nous avons constaté que ces algorithmes se comportent d'une manière similaire à l'algorithme JHESS. Une caractéristique importante de tous ces algorithmes est qu'ils peuvent rencontrer un breakdown fatal ou un "near breakdown" rendant impossible la suite des calculs, ou débouchant sur une instabilité numérique, privant le résultat final de toute signification. Ce phénomène n'a pas d'équivalent dans le cas Euclidien. Nous avons réussi à élaborer une stratégie très efficace pour "guérir" le breakdown fatal et traîter le near breakdown. Les nouveaux algorithmes intégrant cette stratégie sont désignés par MJHESS, MJHSH, JHM²SH et JHM²SH2. Ces stratégies ont été ensuite intégrées dans la version implicite de l'algorithme SR lui permettant de surmonter les difficultés rencontrées lors du fatal breakdown ou du near breakdown. Rappelons que, sans ces stratégies, l'algorithme SR s'arrête. Finalement, et dans un autre cadre de matrices structurées, nous avons présenté un algorithme robuste via FFT et la matrice de Hankel, basé sur le calcul approché de plus grand diviseur commun (PGCD) de deux polynômes, pour résoudre le problème de la déconvolution d'images. Plus précisément, nous avons conçu un algorithme pour le calcul du PGCD de deux polynômes bivariés. La nouvelle approche est basée sur un algorithme rapide, de complexité quadratique O(n²), pour le calcul du PGCD des polynômes unidimensionnels. La complexité de notre algorithme est O(n²log(n)) où la taille des images floues est n x n. Les résultats expérimentaux avec des images synthétiquement floues illustrent l'efficacité de notre approche. / The classical linear algebra methods, for calculating eigenvalues and eigenvectors of a matrix, or lower-rank approximations of a solution, etc....do not consider the structures of matrices. Such structures are usually destroyed in the numerical process. Alternative structure-preserving methods are the subject of an important interest mattering to the community. This thesis establishes a contribution in this field. The SR decomposition is usually implemented via the symplectic Gram-Schmidt algorithm. As in the classical case, a loss of orthogonality can occur. To remedy this, we have proposed two algorithms RSGSi and RMSGSi, where the reorthogonalization of a current set of vectors against the previously computed set is performed twice. The loss of J-orthogonality has significantly improved. A direct rounding error analysis of symplectic Gram-Schmidt algorithm is very hard to accomplish. We managed to get around this difficulty and give the error bounds on the loss of the J-orthogonality and on the factorization. Another way to implement the SR decomposition is based on symplectic Householder transformations. An optimal choice of free parameters provided an optimal version of the algorithm SROSH. However, the latter may be subject to numerical instability. We have proposed a new modified version SRMSH, which has the advantage of being numerically more stable. By a detailes study, we are led to two new variants numerically more stables : SRMSH and SRMSH2. In order to build a SR algorithm of complexity O(n³), where 2n is the size of the matrix, a reduction to the condensed matrix form (upper J-Hessenberg form) via adequate similarities is crucial. This reduction may be handled via the algorithm JHESS. We have shown that it is possible to perform a reduction of a general matrix, to an upper J-Hessenberg form, based only on the use of symplectic Householder transformations. The new algorithm, which will be called JHSH algorithm, is based on an adaptation of SRSH algorithm. We are led to two news variants algorithms JHMSH and JHMSH2 which are significantly more stable numerically. We found that these algortihms behave quite similarly to JHESS algorithm. The main drawback of all these algorithms (JHESS, JHMSH, JHMSH2) is that they may encounter fatal breakdowns or may suffer from a severe form of near-breakdowns, causing a brutal stop of the computations, the algorithm breaks down, or leading to a serious numerical instability. This phenomenon has no equivalent in the Euclidean case. We sketch out a very efficient strategy for curing fatal breakdowns and treating near breakdowns. Thus, the new algorithms incorporating this modification will be referred to as MJHESS, MJHSH, JHM²SH and JHM²SH2. These strategies were then incorporated into the implicit version of the SR algorithm to overcome the difficulties encountered by the fatal breakdown or near-breakdown. We recall that without these strategies, the SR algorithms breaks. Finally ans in another framework of structured matrices, we presented a robust algorithm via FFT and a Hankel matrix, based on computing approximate greatest common divisors (GCD) of polynomials, for solving the problem pf blind image deconvolution. Specifically, we designe a specialized algorithm for computing the GCD of bivariate polynomials. The new algorithm is based on the fast GCD algorithm for univariate polynomials , of quadratic complexity O(n²) flops. The complexitiy of our algorithm is O(n²log(n)) where the size of blurred images is n x n. The experimental results with synthetically burred images are included to illustrate the effectiveness of our approach

Dans ce travail, nous définissons des objets composés de disques complexes marqués reliés entre eux par des segments de droite munis d’une longueur. Nous construisons deux séries d’espaces de module de ces objets appelés clus- ters, une qui sera dite non symétrique, la version ⊗, et l’autre qui est dite symétrique, la version •. Cette construction permet des choix de perturba- tions pour deux versions correspondantes des trajectoires de Floer introduites par Cornea et Lalonde ([CL]). Ces choix devraient fournir une nouvelle option pour la description géométrique des structures A∞ et L∞ obstruées étudiées par Fukaya, Oh, Ohta et Ono ([FOOO2],[FOOO]) et Cho ([Cho]). Dans le cas où L ⊂ (M, ω) est une sous-variété lagrangienne Pin± mono- tone avec nombre de Maslov ≥ 2, nous définissons une structure d’algèbre A∞ sur les points critiques d’une fonction de Morse générique sur L. Cette struc- ture est présentée comme une extension du complexe des perles de Oh ([Oh]) muni de son produit quantique, plus récemment étudié par Biran et Cornea ([BC]). Plus généralement, nous décrivons une version géométrique d’une catégorie de Fukaya avec seul objet L qui se veut alternative à la description (relative) hamiltonienne de Seidel ([Sei]). Nous vérifions la fonctorialité de notre construction en définissant des espaces de module de clusters occultés qui servent d’espaces sources pour des morphismes de comparaison. / We define objects made of marked complex disks connected by metric line seg- ments and construct two sequences of moduli spaces of these objects, referred as the ⊗ version (nonsymmetric) and the • version (symmetric). This allows choices of coherent perturbations over the corresponding versions of the Floer trajectories proposed by Cornea and Lalonde ([CL]). These perturbations are intended to lead to an alternative geometric description of the (obstructed) A∞ and L∞ structures studied by Fukaya, Oh, Ohta and Ono ([FOOO2],[FOOO]) and Cho ([Cho]). Given a Pin± monotone lagrangian submanifold L ⊂ (M, ω) with mini- mal Maslov number ≥ 2, we define an A∞ -algebra structure from the critical points of a generic Morse function on L. We express this structure as a cochain complex extending the pearl complex introduced by Oh ([Oh]) and further ex- plicited by Biran and Cornea ([BC]), equipped with its quantum product. This could also be seen as an alternative geometric description of a Fukaya cate- gory of (M, ω) with L as its only object, a hamiltonian relative version appear- ing in [Sei]. Using spaces of quilted clusters, we verify, using more general quilted cluster spaces, that this defines a functor from a homotopy category of Pin± monotone lagrangian submanifolds hL mono,± (M, ω) to the homotopy category of cochain complexes hK(Λ-mod) where Λ is an appropriate Novikov ring.