Dans cette thèse, nous abordons la question de la construction d'une "algèbre" des relations de discours (ou relations rhétoriques) - en s'inspirant de l'algèbre temporelle de Allen (1983) - constituée d'un ensemble de règles de déduction de relations de discours. Disposer de telles règles présente un intérêt dans le cadre de l'analyse automatique du discours, en permettant de déduire des informations implicitement contenues dans des annotations manuelles ou automatiques, pour aider l'annotation ou comparer plusieurs annotations d'un même discours. Or, les théories d'analyse du discours ne définissent pas ou peu de règles de ce type. La thèse se concentre donc sur cette question. Nous abordons l'ensemble des questions soulevées par la construction d'une algèbre des relations de discours, qui concernent les propriétés des structures discursives, des relations, et des ensembles de relations. Après avoir adopté un ensemble de relations, nous proposons une méthodologie visant à identifier, en partant de deux relations R1(a,b) et R2(b,c), l'ensemble des relations pouvant être établies entre a et c. La méthodologie allie l'examen des liens sémantiques associés aux relations en jeu, l'analyse de données construites et de données empiriques, extraites automatiquement en s'appuyant sur la présence de connecteurs de discours. Pour l'analyse des données, plusieurs tests linguistiques sont proposés pour déterminer si les unités a et c sont reliées rhétoriquement, et si oui, par quelle relation. Cette méthodologie est déclinée sur un ensemble de prémisses mettant en jeu des interaction; entre différents "groupes" de relations : les relations temporelles, causales, et adversatives.

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Mes travaux peuvent se diviser en deux thèmes : L'algèbre linéaire numérique. La théorie des opérateurs intégraux. L'algèbre linéaire numérique fut le cadre de ma thèse de doctorat, dédiée aux propriétés spectrales des opérateurs de Sylvester, endomorphismes d'espaces matriciels. J'ai tout naturellement utilisé mes connaissances, mes compétences et mon savoir faire, développés pendant ces années de formation par la recherche, pour attaquer un nouveau problème li e a une notion apparue dans les années 1990 et qui a connu un grand succès dans la communauté de l'algèbre linéaire numérique. Cette notion est celle des pseudospectres qui généralise celle des spectres dans le cadre de la théorie des perturbations. A cette notion est liée celle de rayon de stabilité. Suite a ces travaux sur les pseudospectres et ayant constat e que pour certaines matrices pathologiques, la détermination du pseudospectre était couteuse et entachées d'erreurs importantes, nous avons cherché si l'on ne pouvait pas définir d'autres généralisations du spectre plus facilement calculables. Nous avons étudié un ensemble du plan complexe, contenant les valeurs propres d'une matrice, défini comme un -voisinage des racines du polynome caractéristique. Je me suis ensuite tout naturellement tournée vers un nouveau chalenge, celui du problème polynomial de valeurs propres. Ce sujet s'est développé très récemment. Il y a des questions propres aux problèmes polynomiaux de valeurs propres qui n'ont ete posées qu' a partir des années 2000 et qui n'ont trouvées de premières réponses que cinq ans plus tard. Le domaine des problèmes polynomiaux de valeurs propres est en pleine expansion et beaucoup de problèmes restent a résoudre dans l'avenir. Parallèlement et plus directement li e aux équations matricielles, je me suis intéressée a la notion de stabilité de Lyapunov, tr es utile dans la communauté de la théorie du contrôle. Mon autre domaine de recherche concerne les équations intégrales du point de vue de l'approximation. Des méthodes de discrétisation conduisant a des matrices diagonales sont intéressantes. Ces considérations m'ont conduite à étudier l'approximation d'un équation d'opérateur intégral par une méthode d'ondelettes-vaguelettes. La difficulté de la mise en œuvre numérique m'a dirigée vers l' étude d'autres méthodes.

Dans cette thèse nous présentons la formalisation de trois résultats principaux que sont la forme normale de Jordan d'une matrice, le théorème de Bolzano-Weierstraß et le théorème de Perron-Frobenius. Pour la formalisation de la forme normale de Jordan nous introduisons différents concepts d'algèbre linéaire tel que les matrices diagonales par blocs, les matrices compagnes, les facteurs invariants, ... Ensuite nous définissons et développons une théorie sur les espaces topologiques et métriques pour la formalisation du théorème de Bolzano-Weierstraß. La formalisation du théorème de Perron-Frobenius n'est pas terminée. La preuve de ce théorème utilise des résultats d'algèbre linéaire, mais aussi de topologie. Nous montrerons comment les précédents résultats seront réutilisés.

Cette thèse porte sur l'étude de certaines familles de représentations projectives des groupes modulaires de surfaces issues de théories topologiques quantiques de champs. Les résultats principaux portent sur leur décomposition en facteurs irréductibles. / This thesis deals with some families of projective representations of the mapping class groups of surfaces arising in topological quantum field theories. The main results concern their decomposition into irreducible factors.

Dans le but de décrire une classe d’algèbres qui, comme les algèbres inclinées amassées, admettent des tranches locales dans leur catégorie de modules, Assem, Bustamante, Dionne, LeMeur et Smith ont introduit l’algèbre B d’extension par relations partielle. Le but de ce mémoire est de définir une algèbre qu’on appelle répétitive d’extension par relations partielle et un foncteur qui est un revêtement de Galois, puis d’étudier le lien entre les catégories de modules associés.

Après avoir exposé l'importance des dualités géométrico-algébriques dans l'histoire des mathématiques, la thèse propose de rassembler bon nombre d'entre elle sous une approche unifiée abstraite, la dualité d'Isbell. La dualité d'Isbell est formellement définie comme une adjonction entre un préfaisceau et un copréfaisceau, et permet de définir un nouveau paradigme de constructivité baptisé P3. En mathématique, nous montrons que cette dualité est présente en géométrie algébrique, en géométrie algébrique dérivée, en topologie algébrique et en analyse fonctionnelle. En logique contemporaine, nous montrons qu'elle peut être rendue explicite dans la géométrie de l'interaction de Girard. Nous montrons ensuite comment les sciences appliquées peuvent faire usage de la dualité d'Isbell, en permettant de renouveler significativement les théories. En sciences physiques, nous montrons qu'elle ouvre une perspective dans la théorie quantique des champs, vers la dualisation des représentations de Heisenberg et de Schrödinger. En sciences économiques et sociales, nous montrons qu'elle permet de renouveler la théorie de l'équilibre générale et la théorie de la valeur. En sciences de l'apprentissage, nous montrons qu'il est possible de reconsidérer la théorie de l'enquête de Dewey en termes de dualité espace-action, pour finalement dégager une dualité d'Isbell. Nous concluons en ouvrant un débat sur la notion bachelardienne d'obstacle épistémologique, pour montrer comment P3 peut avoir des difficultés à s'imposer, et en consacrant quelques développements ontologiques sur la nature kantienne et post-hégélienne de la thèse. / After exposing the importance of geometric-algebraic dualities in the history of mathematics, the thesis proposes to bring together many of them under an unified abstract approach, the Isbell duality. The Isbell duality is formally defined as an adjunction between a presheaf and a copresheaf, and allows to define a new paradigm of constructivity called P3. In mathematics, we show that this duality is present in algebraic geometry, derived algebraic geometry, algebraic topology and functional analysis. In contemporary logic, we show that Isbell duality can be made explicit in the geometry of interaction of Girard. We then show how applied sciences can make use of Isbell duality, allowing to significantly renew theories. In physical sciences, we show that it opens a perspective in quantum field theory, towards the dualization of Heisenberg and Schrödinger representations. In economic and social sciences, we show that it allows to renew the general equilibrium theory and the theory of value. In learning sciences, we show that it is possible to reconsider Dewey's theory of inquiry in terms of space-action duality, ultimately to reveal an Isbell duality. We conclude by opening a debate on the Bachelardian notion of epistemological obstacle, showing how P3 can have difficulties to establish itself as reference constructive paradigm, and by devoting some ontological developments to the Kantian and post-Hegelian nature of the thesis.

Soient g une algèbre de Lie simple complexe et e un élément nilpotent de g. Nous nous intéressons dans ce mémoire à la question (soulevée par Premet) d'isomorphisme entre les W-algèbres finies construites à partir de certaines sous-algèbres nilpotentes de g dites e-admissibles. Nous introduisons les notions de paire et graduation e-admissibles. Nous montrons ensuite que la W-algèbre associée à une paire e-admissible possède des propriétés similaires à celle introduite par Gan et Ginzburg. De plus, nous définissons une relation d'équivalence sur l'ensemble des paires admissibles. Nous montrons alors que si deux paires sont équivalentes, alors les W-algèbres associées sont isomorphes. Nous introduisons enfin les notions de graduation et paire admissibles b-maximales et nous montrons que les paires admissibles b-maximales sont équivalentes entre elles. Comme conséquence de ce résultat, nous retrouvons un résultat de Brundan et Goodwin sur les bonnes graduations. Dans une dernière partie, nous considérons des cas particuliers pour lesquels nous pouvons apporter une réponse complète à la question d'isomorphisme. / Let g be a complex simple Lie algebra and e a nilpotent element of g. We are interested to answer the isomorphism question (raised by Premet) between the finite W-algebras constructed from some nilpotent subalgebras of g called e-admissible. We introduce the concept of e-admissible pair and e-admissible grading. We show then that the W-algebra associated to an e-admissible pair admits similar properties to that introduced by Gan and Ginzburg. Moreover, we define an equivalence relation on the set of admissible pairs and we show that if two admissible pairs are equivalent, it follows that the associated W-algebras are isomorphic. We introduce later the concepts of b-maximal admissible pair and b-maximal admissible grading and show that b-maximal admissible pairs are equivalent. As a consequence to this result, we recover a result of Brundan and Goodwin on the good gradings. In a final part, we consider some particular cases where we may find a complete answer to the isomorphism question.

Les réseaux de Petri et leurs extensions constituent un formalisme très connu pour la modélisation de la spécification des systèmes à évènements discrets temps réel. Pour ces systèmes, les exigences de vérification et de validation sont indispensables pour garantir leur bon fonctionnement car la moindre erreur peut entrainer des conséquences catastrophiques. Pour analyser le comportement du système, il est courant de construire le graphe d’états (ou espace d’états) qui énumère de façon exhaustive les différents états accessibles.Ce graphe permet de vérifier des propriétés génériques comme le caractère borné, l’accessibilité, la terminaison, la vivacité, l’absence de blocage, etc. Mais la construction de cet espace d’états est confrontée au problème d’explosion combinatoire du nombre d’états lié à la complexité et à la concurrence du système.L’une des alternatives pour contenir cette combinatoire est de conserver uniquement les ordres partiels entre les évènements. Le dépliage est une technique d’ordre partiel adaptée à la vérification, au diagnostic et à la planification. Cette thèse contribue à l’étude du dépliage des réseaux de Petri et, plus particulièrement,apporte une contribution au dépliage des réseaux de Petri avec des arcs de reset. De plus, le dépliage explicite les exécutions possibles du système qui sont, par définition, des processus. Il s’agit plus précisément des processus de branchement qui diffèrent des processus classiques. Ainsi, nous proposons une algèbre adaptée aux processus de branchement issus du dépliage des réseaux de Petri. / Petri nets and their extensions are a well-known formalism for modeling the specification of discrete events systems real-time. For these systems, the demands of verification and validation are essential to ensure their smooth functioning because the least error can lead to catastrophic consequences. To analyze the behavior of the system, it is common to construct the stategraph (or state space) which lists exhaustively the different accessible states. This graph allows to check the generic properties such as boundedness, accessibility, termination, vivacity, the absence of blocking, etc. But building this state space is confronted with the problem of combinatorial explosion of the number of states related to the complexity and concurrence of the system. One of the alternatives to contain this combination is to keep only partial orders between events. Unfolding is a partial order adapted to technical verification, diagnosis and planning. This thesis contributes to the study of the unfolding of Petri nets and, in particular, his contributes to the unfolding of Petri nets with reset arcs. Moreover, the unfolding explains the possible executions of the system which are, by definition, the processes. This is specifically the branching processes that differ from conventional processes. Thus, we propose an algebra adapted to the branching process from unfolding of Petri nets.

Cette thèse se situe dans le domaine de la combinatoire algébrique et porte sur l'étude et les applications de structures d'ordre sur plusieurs familles d'arbres. Dans un premier temps, nous étudions le treillis de Tamari sur les arbres binaires. Celui-ci s'obtient comme un quotient de l'ordre faible sur les permutations : à chaque arbre est associé un intervalle de l'ordre faible sur les permutations formé par ses extensions linéaires. Nous observons qu'il est possible de mettre en bijection les intervalles de l'ordre de Tamari avec une famille de posets particulière : les intervalles-posets. L'ensemble des extensions linéaires de ces posets est l'union des ensembles des extensions linéaires des arbres qui composent l'intervalle. Nous donnons une caractérisation des posets qui vérifient cette condition puis nous utilisons ce nouvel objet de plusieurs façons différentes. Nous fournissons tout d'abord une preuve alternative du fait que la fonction génératrice des intervalles de l'ordre de Tamari vérifie une équation fonctionnelle décrite par F. Chapoton. Nous donnons ensuite une formule qui permet de compter le nombre d'arbres inférieurs ou égaux à un arbre donné dans l'ordre de Tamari et dans l'ordre de m-Tamari. Nous construisons également une bijection entre les intervalles-posets et les flots, un objet que F. Chapoton a introduit lors de l'étude de l'opérade Pre-Lie. Pour finir, nous démontrons de façon combinatoire la répartition de deux statistiques dans la fonction génératrice des intervalles de l'ordre de Tamari. Dans la partie suivante, nous donnons une généralisation Cambrienne d'algèbres de Hopf classique et expliquons leurs liens avec les treillis Cambriens. Dans un premier temps, nous présentons une généralisation de l'algèbre de Hopf des arbres binaires planaires au monde Cambrien que nous appelons algèbre Cambrienne. Nous introduisons cette algèbre comme une sous-algèbre de Hopf d'une l'algèbre de permutations. Nous étudions diverses propriétés de cette structure comme par exemple son dual, ses bases multiplicatives et sa liberté. Nous étudions ensuite une généralisation de l'algèbre de Baxter définie par S. Giraudo que nous appelons algèbre Baxter-Cambrienne. Les nombres de Baxter ayant de nombreuses propriétés combinatoires, nous nous sommes intéressés par la suite à leur équivalent Cambrien, les nombres Baxter-Cambriens. Pour finir, nous donnons une généralisation de l'algèbre Cambrienne en utilisant une algèbre de mots tassés plutôt qu'une algèbre de permutations comme base de notre construction. Nous appelons cette nouvelle structure l'algèbre Schröder-Cambrienne / This thesis comes within the scope of algebraic combinatorics and studies of order structures on multiple tree families. We first look at the Tamari lattice on binary trees. This structure is obtained as a quotient of the weak order on permutations : we associate with each tree the interval of the weak order composed of its linear extensions. Note that there exists a bijection between intervals of the Tamari lattice and a family of poset that we callinterval-posets. The set of linear extensions of these posets is the union of the sets of linear extensions of the trees of the corresponding interval. We give a characterization of the posets satisfying this property and then we use this new family of objet on a large variety of applications. We first build another proof of the fact that the generating function of the intervals of the Tamari lattice satisfies a functional equation described by F. Chapoton. Wethen give a formula to count the number of trees smaller than or equal to a given tree in the Tamari order and in the $m$-Tamari order. We then build a bijection between interval-posets and flows that are combinatorial objects that F. Chapoton introduced to study the Pre-Lieoperad. To conclude, we prove combinatorially symmetry in the two parameters generating function of the intervals of the Tamari lattice. In the next part, we give a Cambrian generalization of the classical Hopf algebra of Loday-Ronco on trees and we explain their connection with Cambrian lattices. We first introduce our generalization of the planar binary tree Hopf algebra in the Cambrian world. We call this new structure the Cambrian algebra. We build this algebra as a Hopf sub algebra of a permutation algebra. We then study multiple properties of this objet such as its dual, its multiplicative basis and its freeness. We then generalize the Baxter algebra of S. Giraudo to the Cambrian world. We call this structure the Baxter-Cambrian Hopf algebra. The Baxter numbers being well-studied, we then explored their Cambrian counter parts, the Baxter-Cambrian numbers. To conclude this part, we give a generalization of the Cambrian algebra using a packed word algebra instead of a permutation algebra as a base for our construction. We call this new structure the Schröder-Cambrian algebra