• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 2
  • 2
  • Tagged with
  • 4
  • 4
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Représentations linéaires des groupes d'Artin / Linear representations of Artin groups

Geneste, Olivier 27 October 2016 (has links)
Soit Г un graphe de Coxeter. Soient W le groupe de Coxeter, A le groupe d'Artin, et A+ le monoïde d'Artin, associés à Г. Soit G un groupe de symétries du graphe de Coxeter Г. Alors G agit sur W, A et A+, et il est connu que le sous-groupe fixe, WG, est un groupe de Coxeter, le sous-monoïde fixe, A+G, est un monoïde d'Artin, et, lorsque Г est de type sphérique, le sous-groupe fixe, AG, est un groupe d'Artin. Cette thèse étudie le comportement de WG, A+G et AG par rapport à des représentations fidèles de W, A et A+, respectivement.Dans un premier temps nous considérons les représentations enracinées introduites par Krammer dans sa thèse. Ce sont une généralisation des représentations canoniques. On se donne une telle représentation f : W → GL(V ) et on suppose que l'action de G sur les racines simples s'étend à V . Dans ce cas f induit une représentation linéaire fG : WG → GL(V G). Nous démontrons que cette représentation est aussi une représentation enracinée. En particulier, elle est fidèle.Dans un second temps nous supposons que Г est simplement lacé, c'est-à-dire que les arêtes de Г n'ont pas de poids. Nous considérons une représentation linéaire fidèle ψ : A+ → GL(E) introduite par Paris. Si Г est de type sphérique, alors cette représentation induit une représentation fidèle ψ : A → GL(E) du groupe. Dans le cas des groupe de tresses, c'est la célèbre représentation linéaire fidèle étudiée par Bigelow et Krammer. Nous démontrons que G agit aussi sur E, que la représentation ψ : A+ → GL(E) est équivariante, et qu'elle induit une représentation fidèle ψ : A+G → GL(EG). Si Г est de type sphérique, alors on obtient une représentation fidèle du groupe fixe, ψ : AG → GL(EG). Finalement, nous déterminons les cas où EG admet une base naturelle en bijection avec le système de racines positives de WG. Ce dernier résultat est motivé par la recherche d'une extension de la représentation ψ : A+ → GL(E) aux graphes qui ne sont pas simplement lacés. / Let Г be a Coxeter graph. Let W be the Coxeter group, A be the Artin group, and A+ be the Artin monoid associated with Г. Let G be a group of symmetries of Г. Then G acts on W, A and A+. The fixed subgroup WG is known to be a Coxeter group, the fixed submonoid A+G is known to be an Artin monoid, and, when Г is of spherical type, the fixed subgroup AG is known to be an Artin group. This thesis studies the behavior of WG, A+G and AG with respect to some faithful linear representations of W, A and A+, respectively.Firstly, we consider the rooted representations of the Coxeter groups introduced by Krammer in his Ph. D. Thesis. These are a generalization of the canonical representations. We take such a linear representation f : W → GL(V ), assuming that the action of G on the simple roots extends to V . Then f induces a linear representation fG : WG → GL(V G). We prove that fGis a rooted representation of WG. In particular, fG is faithful.Afterwards, we assume that Г is simply laced, that is, all the edges of Г are label free. Then we consider a faithful linear representation ψ : A+ → GL(E) introduced by Paris. If Г is of spherical type, this representation extends to a faithful linear representation ψ : A → GL(E) of the Artin group. In the case of the braid groups, it is the celebrated representation studiedby Bigelow and Krammer. Take a group G of symmetries of Г. We prove that G acts on E, that the representation ψ : A+ → GL(E) is equivariant, and that it induces a faithful linear representation ψ : A+G → GL(EG). If Г is of spherical type, then we get a faithful linear representation ψ : AG → GL(EG) of the fixed subgroup. Finally, we determine the cases where EG admits a natural basis in one-to-one correspondence with the positive root system of WG. This last result is motivated by the search of an extension of the linear representation ψ : A+ → GL(E) to Artin monoids (or groups) that are not simply laced.
2

Non linéarité parfaite généralisée au sens des actions de groupe, contribution aux fondements de la solidité cryptographique

Poinsot, Laurent 12 September 2005 (has links) (PDF)
Les notions de fonctions parfaitement non linéaires et courbes sont particulièrement pertinentes en cryptographie puisqu'elles formalisent les résistances maximales face aux très efficaces attaques différentielle et linéaire. Cette thèse est ainsi consacrée à l'étude de ces objets cryptographiques. Nous interprétons ces notions de manière très naturelle essentiellement en substituant les translations figurant dans la définition de la non linéarité parfaite par une action de groupe quelconque. Les propriétés de ces actions telle que la fidélité ou la régularité permettent de décliner en plusieurs variantes ce nouveau concept. Nous développons de surcroît sa caractérisation duale à l'aide de la transformée de Fourier ce qui aboutit à la notion appropriée de fonction courbe. En particulier dans le cas d'une action de groupe non abélien, nous faisons usage de la théorie des représentations linéaires afin d'établir une version duale matricielle. Nous généralisons par ailleurs selon le même principe ces objets combinatoires appelés ensembles à différences qui caractérisent la non linéarité parfaite des fonctions à valeurs dans le corps fini à deux éléments. Cela nous permet d'exhiber des constructions de fonctions satisfaisant nos critères généralisés, en particulier dans ces cas où les fonctions courbes au sens classique n'existent pas.
3

Problèmes multivariés liés aux moments : applications de la reconstruction de formes linéaires sur l'anneau des polynômes / Multivariate moment problems : applications of the reconstruction of linear forms on the polynomial ring

Collowald, Mathieu 18 December 2015 (has links)
Cette thèse porte sur la reconstruction de formes linéaires sur l'anneau des polynômes dans le cas multivarié et ses applications. Nous proposons des outils théoriques et algorithmiques permettant de résoudre des problèmes liés aux moments : la reconstruction de polytopes convexes à partir de leurs moments et la recherche de cubatures. L'algorithme numérique proposé pour reconstruire des polytopes utilise des méthodes numériques utilisées précédemment pour le cas des polygones, ainsi que les identités de Brion reliant moments directionnels et sommets projetés. Un polyèdre à 57 sommets - la coupe d'un diamant - est ainsi reconstruit. Pour la recherche de cubatures, nous adaptons la méthode de Prony univariée en une méthode multivariée à l'aide des opérateurs de Hankel. Un problème de complétion de matrices est aussi résolu grâce au théorème d'extension plate de Curto-Fialkow. Nous expliquons ainsi la recherche de cubatures à l'aide des matrices de moments, connue dans la littérature. La symétrie, qui est ici un élément naturel, réduit la complexité algorithmique. Nous prouvons qu'une diagonalisation par blocs des matrices concernées est alors possible. De ces blocs et à l'aide de la matrice de multiplicités d'un groupe fini, des conditions nécessaires à l'existence de cubatures sont obtenues. Pour une mesure, un degré et un nombre de nœuds donnés, notre algorithme certifie tout d'abord l'existence de cubatures et ensuite calcule ses poids et nœuds. De nouvelles cubatures ont ainsi été trouvées : soit en complétant celles connues pour une mesure et un degré donnés, soit en ajoutant des cubatures de degrés supérieurs pour une mesure donnée. / This thesis deals with the reconstruction of linear forms on the polynomial ring and its applications. We propose theoretical and algorithmic tools to solve multivariate moment problems: the reconstruction of convex polytopes from their moments (shape-from-moments) and the search for cubatures. The numerical algorithm we propose to reconstruct polytopes uses numerical methods previously known in the case of polygons, and also Brion's identities that relate directional moments and projected vertices. A polyhedron with 57 vertices – a diamond cut – is thus reconstructed. Concerning the search for cubatures, we adapt the univariate Prony's method into a multivariate method thanks to Hankel operators. A matrix completion problem is then solved with a basis-free version of Curto-Fialkow's flat extension theorem. We explain thus the moment matrix approach to cubatures, known in the litterature. Symmetry is here a natural ingredient and reduces the algorithmic complexity. We show that a block diagonalisation of the involved matrices is possible. Those blocs and the matrix of multiplicities of a finite group provide necessary conditions on the existence of cubatures. Given a measure, a degree and a number of nodes, our algorithm first certify the existence of cubatures and then compute the weights and nodes. New cubatures have been found: either by completing the ones known for a given measure and degree, or by adding cubatures with a higher degree for a given measure.
4

Minimality, input-output equivalence and identifiability of LPV systems in state-space and linear fractional representations / Minimalité, équivalence entrée-sortie et identifiabilité des systèmes LPV sous forme d’état et sous forme de représentations linéaires fractionaires

Alkhoury, Ziad 09 November 2017 (has links)
Dans cette thèse, plusieurs concepts importants liés à la théorie de la réalisation des modèles linéaires à paramètres variants (LPV) sont étudiés.Tout d’abord, nous abordons le problème de l’identifiabilité des modèles LPV affines (ALPV). Une nouvelle condition suffisante et nécessaire est introduite afin de garantir l’identifiabilité structurelle pour les paramétrages ALPV. L’identifiabilité de cette classe de paramétrages est liée à l’absence d’isomorphismes liant deux représentations d’état LPV lorsque deux modèles LPV correspondant à différentes valeurs des variables de séquencement sont considérés. Nous présentons ainsi une condition suffisante et nécessaire pour l’identifiabilité structurelle locale, et une condition suffisante pour l’identifiabilité structurelle (globale) qui sont toutes deux fonction du rang d’une matrice définie par l’utilisateur. Ces dernières conditions permettent la vérification de l’identifiabilité structurelle des modèles ALPV.Ensuite, étant donné que les techniques d’identification dites locales sont parfois inévitables, nous fournissons une expression analytique de la borne supérieure de l’erreur de comportements entrées-sorties de deux modèles LPV équivalents localement. Cette erreur se révèle être une fonction de (i) la vitesse de changement du signal de séquencement et (ii) l’écart entre les bases cohérentes de deux modèles LPV. En particulier, la différence entre les sorties des deux modèles peut être arbitrairement réduite en choisissant un signal de séquencement qui varie assez lentement.Enfin, nous présentons et étudions des propriétés importantes de la transformation des représentations d’état ALPV en Représentations Linéaires Fractionnelles (LFR). Plus précisément, nous montrons que (i) les représentations ALPV minimales conduisent à des LFR minimales, et vice versa, (ii) le comportement entrée-sortie de la représentation ALPV détermine de manière unique le comportement entrée-sortie de la LFR résultante, (iii) les modèles ALPV structurellement identifiables fournissent des LFRs structurellement identifiables et vice versa. Nous caractérisons ensuite les LFRs qui correspondent á des modèles ALPV équivalents basés sur leurs applications entrées-sorties. Comme illustré tout au long du manuscrit, ces résultats ont des conséquences importantes pour l’identification et la commande des systèmes LPV. / In this thesis, important concepts related to the identification of Linear Parameter-Varying (LPV) systems are studied.First, we tackle the problem of identifiability of Affine-LPV (ALPV) state-space parametrizations. A new sufficient and necessary condition is introduced in order to guarantee the structural identifiability for ALPV parameterizations. The identifiability of this class of parameterizations is related to the lack of state-space isomorphisms between any two models corresponding to different scheduling parameter values. In addition, we present a sufficient and necessary condition for local structural identifiability, and a sufficient condition for (global) structural identifiability which are both based on the rank of a model-based matrix. These latter conditions allow systematic verification of structural identifiability of ALPV models. Moreover, since local identification techniques are inevitable in certain applications, it is thus a priority to study the discrepancy between different LPV models obtained using different local techniques. We provide an analytic error bound on the difference between the input-output behaviors of any two LPV models which are frozen equivalent. This error bound turns out to be a function of both (i) the speed of the change of the scheduling signal and (ii) the discrepancy between the coherent bases of the two LPV models. In particular, the difference between the outputs of the two models can be made arbitrarily small by choosing a scheduling signal which changes slowly enough.Finally, we introduce and study important properties of the transformation of ALPV statespace representations into Linear Fractional Representations (LFRs). More precisely, we show that (i) state minimal ALPV representations yield minimal LFRs, and vice versa, (ii) the inputoutput behavior of the ALPV representation determines uniquely the input-output behavior of theresulting LFR, (iii) structurally identifiable ALPV models yield structurally identifiable LFRs, and vice versa. We then characterize LFRs which correspond to equivalent ALPV models based on their input-output maps. As illustrated all along the manuscript, these results have important consequences for identification and control of LPV systems.

Page generated in 0.1392 seconds