Stable Diffusion et les actions de groupe : une analyse détaillée
Stable Diffusion est un modèle d'apprentissage automatique révolutionnaire qui permet de générer des images numériques dans divers styles, y compris le photoréalisme, à partir de simples descriptions en langage naturel.
Évolution des licences et des modèles de Stable Diffusion
Avant la version 3, une licence spécifique était appliquée, interdisant notamment l'utilisation du modèle pour des activités illégales ou préjudiciables telles que le crime, la diffamation, le harcèlement, le doxing, l'exploitation de mineurs, la fourniture de conseils médicaux, la création automatique d'obligations légales, la production de preuves légales, ainsi que la discrimination ou le préjudice envers des individus ou des groupes basés sur leur comportement social, leurs caractéristiques personnelles ou de personnalité, ou des caractéristiques ou catégories légalement protégées.
Les critiques concernant la publication du code source peuvent généralement être liées aux inquiétudes éthiques soulevées par l'intelligence artificielle.
Stable Diffusion 3.5 applique la licence communautaire permissive de Stability AI. Cependant, les entreprises commerciales dont le chiffre d'affaires dépasse le million de dollars nécessitent la licence d'entreprise de Stability AI.
Innovations récentes : SDXL-Turbo et Stable Cascade
En novembre 2023, Stability a publié une version distillée nommée SDXL-Turbo, permettant la génération d'images en temps réel. À la différence d'autres modèles, sa licence n'autorise pas un usage commercial, et la version originale permettait uniquement la génération d'images de 512x512 pixels. La communauté des utilisateurs a depuis développé d'autres modèles Turbo capables de générer des images de 1024x1024 pixels.
En février 2024, Stability a lancé le modèle Stable Cascade, construit sur l'architecture Würstchen. Ce modèle fonctionne dans un espace latent beaucoup plus petit. Alors que Stable Diffusion utilise un facteur de compression de 8 (encodant une image de 1024x1024 en 128x128), Stable Cascade atteint un facteur de compression de 42, permettant d'encoder une image de 1024x1024 en 24x24. Ce type de modèle est particulièrement adapté aux utilisations où l'efficacité est primordiale.
Stable Diffusion est entraîné sur un sous-ensemble du jeu de données LAION-Aesthetics V2.
ControlNet : un conditionnement avancé pour Stable Diffusion
ControlNet est une structure de réseau neuronal qui permet d'ajouter un conditionnement spécifique aux images générées par Stable Diffusion à partir de texte. Les ControlNet utilisent une image de référence pour guider la génération. L'image passe par un préprocesseur (détection de contours, de profondeur, de pose, etc.) et sert ensuite de guide au processus de génération.
Les actions de groupe en mathématiques : un cadre théorique
Dans le domaine des mathématiques, une action de groupe sur un ensemble est une loi de composition externe du groupe sur cet ensemble, soumise à des conditions supplémentaires. On dit qu'un groupe G opère (ou agit) sur un ensemble E. Ce concept est équivalent à disposer d'un morphisme de groupes, appelé morphisme associé à l'action, du groupe G dans le groupe symétrique SE de l'ensemble E.
Lorsque l'ensemble E possède une structure supplémentaire (algébrique, topologique, géométrique), il est possible de se limiter aux morphismes qui préservent cette structure pour tout élément ; ces actions sont alors appelées actions par automorphismes.
Tous les exemples mentionnés précédemment sont des actions à gauche. Il est également pertinent de considérer les actions à droite. Le groupe opposé du groupe symétrique SE est l'ensemble des permutations de E muni de la loi de composition inverse. À une action à droite d'un groupe G sur un ensemble E correspond un homomorphisme de G dans l'opposé de SE.
Concepts clés des actions de groupe
- Orbite : L'orbite d'un élément x est l'ensemble des éléments de E associés à x sous l'action de G.
- Stabilisateur : Le stabilisateur d'un élément x est le sous-groupe de G formé des éléments qui laissent x invariant. Par exemple, dans la méthode Fridrich pour résoudre le Rubik's cube, Pll représente le stabilisateur des deux premières couronnes et de la dernière face.
Une action est dite transitive si elle possède une et une seule orbite. Un groupe de permutations est dit transitif (ou n-transitif, ou strictement n-transitif) si son opération naturelle est transitive (ou n-transitive, ou simplement n-transitive).
Une action est dite fidèle (ou effective) si l'intersection de tous les stabilisateurs est réduite à l'élément neutre, c'est-à-dire si seul l'élément neutre fixe tous les points.
Une action est dite simplement transitive si elle est à la fois transitive et libre. Une action fidèle et transitive d'un groupe abélien est simplement transitive.
Actions continues et propres
Si G est un groupe topologique et X un espace topologique, l'action est dite continue si l'application correspondante G×X → X, définie par (g, x) ↦ g⋅x, est continue. Dans ce cas, l'espace des orbites X/G est muni d'une topologie quotient, et l'application X → X/G est ouverte.
L'action est dite propre si l'application G×X → X×X, définie par (g, x) ↦ (g⋅x, x), est propre. L'espace des orbites est alors séparé.
Une action continue propre d'un groupe discret est dite proprement discontinue.
Actions géométriques
Lorsque G est localement compact et X séparé, l'action est propre si et seulement si deux points quelconques x et y de X possèdent toujours des voisinages Vx et Vy tels que Vy ne rencontre gVx que pour un ensemble relativement compact d'éléments g de G. Si G est séparé et X localement compact, une action continue est propre si et seulement si, pour tout compact K de X, le fermé des éléments g de G pour lesquels gK rencontre K est compact. Si G est un groupe compact, ces conditions de compacité sont automatiquement vérifiées.
L'action est dite géométrique si elle est proprement discontinue et cocompacte.
Utilité des actions de groupe
À travers les notions d'orbite et de stabilisateur, les actions de groupe constituent un outil puissant en combinatoire.
Si deux actions sont quasi équivalentes, l'ensemble des orbites de la première est équipotent à l'ensemble des orbites de la seconde. Plus précisément, on peut établir une correspondance biunivoque entre les orbites, de telle sorte que deux orbites mises en correspondance aient le même cardinal.
Soient G et H deux groupes. Si une action de G sur H est une action par automorphismes, cela signifie que pour tout élément g de G, la permutation h ↦ g⋅h de H est un automorphisme du groupe H. Dans ce cas, l'homomorphisme de G dans SH associé à l'action prend ses valeurs dans le groupe Aut(H) des automorphismes de H.
Structures algébriques partie 48 : Action de groupe
tags: #class #action #stable #diffusion