[pt] Durante vinte anos, ficou em aberto uma conjectura de Mills, Robbins e Rumsey para a contagem de Alternating Sign Matrices (Matrizes de Sinais Alternados). Zeilberger demonstrou a validade das fórmulas em meados da década de 90. Esse texto apresenta outra demonstração, atribuída a Kuperberg, que emprega técnicas de física estatística (Gelo Quadrado). São apresentadas também formulações alternativas que fazem uso de produtos tensoriais matriciais. / [en] For twenty years, a conjecture by Mills, Robbins and Rumsey on the counting of Alternating Sign Matrices remained open. Zeilberger proved the formulas in the mid-90`s. This text presents another proof, attributed to Kuperberg, which uses techniques of statistical physics (square ice). Alternative formulations are also shown, making use of matrix tensor products.

Cette thèse se situe dans le domaine de la combinatoire algébrique. Autrement dit, l'idée est d'utiliser des structures algébriques, en l'occurence des algèbres de Hopf combinatoires, pour mieux étudier et comprendre les objets combinatoires ainsi que des algorithmes de composition et de décomposition agissant sur ces objets. Ce travail de recherche repose sur la construction et l'étude de structure algébrique sur des objets combinatoires généralisant les permutations. Après avoir rappelé le contexte et les notations des différents objets intervenant dans cette recherche, nous proposons dans la seconde partie l'étude de l'algèbre de Hopf introduite par Aguiar et Orellana indexée par les permutations de blocs uniformes. En se focalisant sur une description de ces objets via d'autres bien connus, les permutations et les partitions d'ensembles, nous proposons une réalisation polynomiale et une étude plus simple de cette algèbre. La troisième partie étudie une deuxième généralisation en interprétant les permutations comme des matrices. Nous définissons et étudions alors des familles de matrices carrées sur lesquelles nous définissons des algorithmes de composition et de décomposition. La quatrième partie traite des matrices à signes alternants. Après avoir définie l'algèbre de Hopf sur ces matrices, nous étudions des statistiques et le comportement de la structure algébrique vis-à-vis de ces statistiques. Tous ces chapitres s'appuient fortement sur l'exploration informatique, et fait l'objet d'une implémentation utilisant le logiciel Sage. Ce dernier chapitre est consacré à la découverte et la manipulation de structures algébriques sur Sage. Nous terminons en expliquant les améliorations apportées pour l'étude de structure algébrique au travers du logiciel Sage / This thesis is in the field of algebraic combinatorics. In other words, the idea is to use algebraic structures, in this case of combinatorial Hopf algebras, to better study and understand the combinatorial objects and algorithms for composition and decomposition about these objects. This research is based on the construction and study of algebraic structure of combinatorial objects generalizing permutations. After recalling the background and notations of various objects involved in this research, we propose, in the second part, the study of the Hopf algebra introduced by Aguiar and Orellana based on uniform block permutations. By focusing on a description of these objects via well-known objects, permutations and set partitions, we propose a polynomial realization and an easier study of this algebra. The third section considers a second generalization interpreting permutations as matrices. We define and then study the families of square matrices on which we define algorithms for composition and decomposition. The fourth part deals with alternating sign matrices. Having defined the Hopf algebra of these matrices, we study the statistics and the behavior of the algebraic structure with these statistics. All these chapters rely heavily on computer exploration, and is the subject of an implementation using Sage software. This last chapter is dedicated to the discovery and manipulation of algebraic structures on Sage. We conclude by explaining the improvements to the study of algebraic structure through the Sage software