Le domaine de recherche dans lequel s'inscrit ce travail de thèse est la théorie de la prédiction des suites individuelles. Cette dernière considère les problèmes d'apprentissage séquentiel pour lesquels on ne peut ou ne veut pas modéliser le problème de manière stochastique, et fournit des stratégies de prédiction très robustes. Elle englobe aussi bien des problèmes issus de la communauté du machine learning que de celle de la théorie des jeux répétés, et ces derniers sont traités avec des méthodes statistiques, incluant par exemple les techniques de concentration de la mesure ou de l'estimation adaptative. Les résultats obtenus aboutissent, entre autres, à des stratégies de minimisation des regrets externe et interne dans les jeux à information incomplète, notamment les jeux répétés avec signaux. Ces stratégies s'appliquent au problème d'ajustement séquentiel des prix de vente, ou d'allocation séquentielle de bande passante. Le regret interne est ensuite plus spécifiquement étudié, d'abord dans le cadre de l'investissement séquentiel dans le marché boursier, pour lequel des simulations sur des données historiques sont proposées, puis pour l'apprentissage des équilibres corrélés des jeux infinis à ensembles de stratégies convexes et compacts.

Dans cette thèse, nous étudions des modèles d'agrégation limitée, qui modélisent la coalescence de particules ayant des "bras", c'est-à-dire un nombre fixé de liens potentiels. Une particule ne peut donc créer plus de liens que son nombre de bras. On s'intéresse en particulier à une variante de l'équation de Smoluchowski introduite par Jean Bertoin. Ce document comprend, outre l'introduction, trois chapitres. Le premier est dévolu à l'étude d'un modèle sexué de coagulation, où les particules ont des bras mâles et femelles et seuls des bras de sexes opposés peuvent se joindre. Ce modèle généralise et unifie ceux de Bertoin, dont on peut en particulier retrouver les résultats. Le second chapitre comprend un travail en collaboration avec Lorenzo Zambotti. On s'y intéresse à l'unicité des solutions d'équations de coagulation après gélification, en particulier l'équation de Smoluchowski avec noyau multiplicatif et l'équation d'agrégation limitée. En particulier, on donne des preuves rigoureuses de certaines heuristiques de la littérature physique, par exemple en calculant précisément le temps de gélification. Dans le cas d'agrégation limitée, on obtient aussi des formules particulièrement simples pour les concentrations limites. Pour expliquer celles-ci, on étudie dans le dernier chapitre un modèle microscopique pour l'équation de Smoluchowski d'agrégation limitée. Ceci est un travail commun avec Mathieu Merle. On parvient à décrire précisément l'état microscopique du système à tout temps et ainsi à retrouver les formules du second chapitre. Une caractéristique frappante de ce modèle est qu'il possède une propriété de criticalité auto-organisée.

Ce travail traite d'une formulation pour l'étude du couplage symétrique entre éléments finis et éléments de frontière en mécanique. La formulation ainsi décrite, est basée sur l'adaptation des méthodes intégrales variationnelles de Galerkin entièrement régularisées en élasticité tridimensionnelle et s'appuie sur la construction de la matrice de rigidité d'un macro-élément représentant un domaine élastostatique tridimensionnel sans forces de volume. La procédure de couplage mise en oeuvre présente l'avantage d'être symétrique et a été implantée avec succès dans les environnements éléments finis de CAST3M. Dans le cadre du traitement des double intégrales de surface, un nouveau schéma d'intégration singulière respectant parfaitement la symétrie des formulations intégrales variationnelles mises en jeu, a été développé et présenté dans le cadre de ce travail. L'application directe de la méthode des éléments de frontière traditionnelle dite des collocations pour modéliser les solides fissurés conduit à la dégénéréscence de la formulation numérique. Une des alternatives consiste à appliquer l'approche variationnelle. Une formulation intégrale variationnelle adaptée à l'étude d'un domaine élastique tridimensionnel présentant une fissure interne non débouchante a été développée dans le cadre de ce travail. Le développement et l'implantation de la matrice de rigidité du macro-élément fissuré en termes de degrés de liberté en déplacement sur la frontière externe du domaine et en saut de déplacement sur la surface propre à la fissure, nous ont permis de procéder à une validation numérique portant sur un barreau cylindrique présentant une fissure circulaire, centrée, en mode I et non débouchante. Nous proposons également une formulation intégrale variationnelle pour l'étude d'un domaine semi-infini à surface partiellement libre et contenant une zone de non linéarités. L'utilisation des solutions fondamentales de Mindlin permettent, dans le cas de la modélisation d'un espace semi-infini, de réduire les supports géométriques à discrétiser dans le domaine éléments de frontière. Une perspective intéressante serait son implantation numérique afin de réaliser une application réelle sur un problème de géotechnique.

Résumé: Cette dissertation s’intéresse aux méthodes numériques dans le domaine de l’acoustique. Les propriétés acoustiques d’un produit sont devenues une part intégrante de la conception. En effet, de nos jours le bruit est perçu comme une nuisance par le consommateur et constitue un critère de vente. Il y a de plus des normes à respecter. Les méthodes numériques permettent de prédire la propagation sonore et constitue dès lors un outil de conception incontournable pour réduire le temps et les coûts de développement d’un produit. Cette dissertation considère la propagation d’ondes acoustiques dans le domaine fréquentiel en tenant compte de la présence d’un écoulement. Nous pouvons citer comme application industrielle, le rayonnement d’une nacelle de réacteur d’avion. Le but de la thèse est de proposer une nouvelle méthode et démontrer ses performances par rapport aux méthodes actuellement utilisées (i.e. la méthode des éléments finis). L’originalité du travail consiste à étendre la méthode de partition de l’unité polynomiale dans le cadre de la propagation acoustique convectée, pour des domaines extérieurs. La simulation acoustique dans des domaines de dimensions infinies est réalisée dans ce travail à l’aide d’un couplage entre éléments finis et éléments infinis. La dissertation présente la formulation de la méthode pour des applications axisymétriques et tridimensionnelles et vérifie la méthode en comparant les résultats numériques obtenus avec des solutions analytiques pour des applications académiques (i.e. propagation dans un conduit, rayonnement d’un multipole, bruit émis par la vibration d’un piston rigide, etc.). Les performances de la méthode sont ensuite analysées. Des courbes de convergences illustrent à une fréquence donnée, la précision de la méthode en fonction du nombre d’inconnues. Tandis que des courbes de performances présentent le temps de calcul nécessaire pour obtenir une solution d’une précision donnée en fonction de la fréquence d’excitation. Ces études de performances montrent l’intérêt de la méthode présentée. Le rayonnement d’un réacteur d’avion a été abordé dans le but de vérifier la méthode sur une application de type industriel. Les résultats illustrent la propagation pour une nacelle axisymétrique en tenant compte de l’écoulement et la présence de matériau absorbant dans la nacelle et compare les résultats obtenus avec la méthode proposée et ceux obtenus avec la méthode des éléments finis. Les performances de la méthode de la partition de l’unité dans le cadre de la propagation convectée en domaines infinis sont présentées pour des applications académiques et de type industriel. Le travail effectué illustre l’intérêt d’utiliser des fonctions polynomiales d’ordre élevé ainsi que les avantages à enrichir l’approximation localement afin d’améliorer la solution sans devoir créer un maillage plus fin. Summary: Environmental considerations are important in the design of many engineering systems and components. In particular, the environmental impact of noise is important over a very broad range of engineering applications and is increasingly perceived and regulated as an issue of occupational safety or health, or more simply as a public nuisance. The acoustic quality is then considered as a criterion in the product design process. Numerical prediction techniques allow to simulate vibro-acoustic responses. The use of such techniques reduces the development time and cost. This dissertation focuses on acoustic convected radiation in outer domains such as it is the case for turbofan radiation. In the current thesis the mapped infinite partition of unity method is implemented within a coupled finite and infinite element model. This method allows to enrich the approximation with polynomial functions. We present axisymmetric and three-dimensional formulations, verify and analyse the performance of the method. The verification compares computed results with the proposed method and analytical solutions for academic applications (i.e. duct propagation, multipole radiation, noise radiated by a vibrating rigid piston, etc.) . Performance analyses are performed with convergence curves plotting, for a given frequency, the accuracy of the computed solution with respect to the number of degrees of freedom or with performance curves, plotting the CPU time required to solve the application within a given accuracy, with respect to the excitation frequency. These performance analyses illustrate the interest of the mapped infinite partition of unity method. We compute the radiation of an axisymmetric turbofan (convected radiation and acoustic treatments). The aim is to verify the method on an industrial application. We illustrate the radiation and compare the mapped infinite partition of unity results with finite element computations. The dissertation presents the mapped partition of unity method as a computationally efficient method and illustrates its performances for academic as well as industrial applications. We suggest to use the method with high order polynomials and take the advantage of the method which allows to locally enrich the approximation. This last point improves the accuracy of the solution and prevent from creating a finer mesh.

A discrete event system is a system whose state space is given by a discrete set and whose state transition mechanism is event-driven i.e., its state evolution depends only on the occurrence of discrete events over the time. These systems are used in many fields of application (telecommunication networks, aeronautics, aerospace,...). The validity of these systems is then an important issue and to ensure it we can use supervisory control methods. These methods consist in imposing a given specification on a system by means of a controller which runs in parallel with the original system and which restricts its behavior. In this thesis, we develop supervisory control methods where the system can have an infinite state space and the controller has a partial observation of the system (this implies that the controller must define its control policy from an imperfect knowledge of the system). Unfortunately, this problem is generally undecidable. To overcome this negative result, we use abstract interpretation techniques which ensure the termination of our algorithms by overapproximating, however, some computations. The aim of this thesis is to provide the most complete contribution it is possible to bring to this topic. Hence, we consider more and more realistic problems. More precisely, we start our work by considering a centralized framework (i.e., the system is controlled by a single controller) and by synthesizing memoryless controllers (i.e., controllers that define their control policy from the current observation received from the system). Next, to obtain better solutions, we consider the synthesis of controllers that record a part or the whole of the execution of the system and use this information to define the control policy. Unfortunately, these methods cannot be used to control an interesting class of systems: the distributed systems. We have then defined methods that allow to control distributed systems with synchronous communications (decentralized and modular methods) and with asynchronous communications (distributed method). Moreover, we have implemented some of our algorithms to experimentally evaluate the quality of the synthesized controllers. / Un système à événements discrets est un système dont l'espace d'états est un ensemble discret et dont l'évolution de l'état courant dépend de l'occurrence d'événements discrets à travers le temps. Ces systèmes sont présents dans de nombreux domaines critiques tels les réseaux de communications, l'aéronautique, l'aérospatiale... La validité de ces systèmes est dès lors une question importante et une manière de l'assurer est d'utiliser des méthodes de contrôle supervisé. Ces méthodes associent au système un dispositif, appelé contrôleur, qui s'exécute en parrallèle et qui restreint le comportement du système de manière à empêcher qu'un comportement erroné ne se produise. Dans cette thèse, on s'intéresse au développement de méthodes de contrôle supervisé où le système peut avoir un espace d'états infini et où les contrôleurs ne sont pas toujours capables d'observer parfaitement le système; ce qui implique qu'ils doivent définir leur politique de contrôle à partir d'une connaissance imparfaite du système. Malheureusement, ce problème est généralement indécidable. Pour surmonter cette difficulté, nous utilisons alors des techniques d'interprétation abstraite qui assurent la terminaison de nos algorithmes au prix de certaines sur-approximations dans les calculs. Le but de notre thèse est de fournir la contribution la plus complète possible dans ce domaine et nous considèrons pour cela des problèmes de plus en plus réalistes. Plus précisement, nous avons commencé notre travail en définissant une méthode centralisée où le système est contrôlé par un seul contrôleur qui définit sa politique de contrôle à partir de la dernière information reçue du système. Ensuite, pour obtenir de meilleures solutions, nous avons défini des contrôleurs qui retiennent une partie ou la totalité de l'exécution du système et qui définissent leur politique de contrôle à partir de cette information. Malheureusement, ces méthodes ne peuvent pas être utilisées pour contrôler une classe intéressante de systèmes: les sytèmes distribués. Nous avons alors défini des méthodes permettant de contrôler des systèmes distribués dont les communications sont synchrones (méthodes décentralisées et modulaires) et asynchrones (méthodes distribuées). De plus, nous avons implémenté certains de nos algorithmes pour évaluer expérimentalement la qualité des contrôleurs qu'ils synthétisent.

Cette thèse est consacrée à l'étude mathématique des propriétés de stabilité de systèmes quantiques infinis, décrits par des modèles non linéaires. Dans les chapitres 1 et 2, on étudie l'instabilité du vide relativiste menant au phénomène de création de paires électron-positron. Dans le chapitre 3, on considère la dynamique de ce même vide relativiste couplé à un champ scalaire. Les chapitres 4 et 5 sont consacrés au caractère dispersif de la dynamique non linéaire de Hartree pour des perturbations de la mer de Fermi, et en particulier à sa stabilité orbitale et asymptotique. Enfin, le chapitre 6 introduit une notion générale d'entropie relative entre deux états comportant une infinité de particules.

Cette thèse porte sur des propriétés d'approximation généralisant la moyennabilité pour les groupes localement compacts. Ces propriétés sont définies à partir des multiplicateurs de certaines algèbres associés aux groupes. La première partie est consacrée à l'étude de la propriété p-AP, qui est une extension de la AP de Haagerup et Kraus au cadre des opérateurs sur les espaces Lp. Le résultat principal dit que les groupes de Lie simples de rang supérieur et de centre fini ne satisfont p-AP pour aucun p entre 1 et l'infini. La deuxième partie se concentre sur les multiplicateurs de Schur radiaux sur les graphes. L'étude de ces objets est motivée par les liens avec les actions de groupes discrets et la moyennabilité faible. Les trois résultats principaux donnent des conditions nécessaires et suffisantes pour qu'une fonction sur les nombres naturels définisse un multiplicateur radial sur des différentes classes de graphes généralisant les arbres. Plus précisément, les classes de graphes étudiées sont les produits d'arbres, les produits de graphes hyperboliques et les complexes cubiques CAT(0) de dimension finie. / This thesis focusses on some approximation properties which generalise amenability for locally compact groups. These properties are defined by means of multipliers of certain algebras associated to the groups. The first part is devoted to the study of the p-AP, which is an extension of the AP of Haagerup and Kraus to the context of operators on Lp spaces. The main result asserts that simple Lie groups of higher rank and finite centre do not satisfy p-AP for any p between 1 and infinity. The second part concentrates on radial Schur multipliers on graphs. The study of these objects is motivated by some connections with actions of discrete groups and weak amenability. The three main results give necessary and sufficient conditions for a function of the natural numbers to define a radial multiplier on different classes of graphs generalising trees. More precisely, the classes of graphs considered here are products of trees, products hyperbolic graphs and finite dimensional CAT(0) cube complexes.

L'apprentissage de langages réguliers est un sous-ensemble de l'apprentissage automatique qui s'est révélé utile dans de nombreux domaines tels que l'intelli-gence artificielle, les réseaux de neurones, l'exploration de données, la vérification, etc. De plus, l'intérêt dans les langages définis sur des alphabets infinis ou de grande taille est croissant au fil des années. Même si plusierurs propriétés et théories se généralisent à partir du cas fini, l'apprentissage de tels langages est une tâche difficile.En effet, dans ce contexte, l'application naïve des algorithmes d'apprentissage traditionnel n'est pas possible.Dans cette thèse, nous présentons un schéma algorithmique général pour l'ap-prentissage de langages définis sur des alphabets infinis ou de grande taille, comme par exemple des sous-ensembles bornés de N or R ou des vecteurs booléens de grandes dimensions. Nous nous restreignons aux classes de langages qui sont acceptés par des automates déterministes symboliques utilisant des prédicats pour définir les transitions, construisant ainsi une partition finie de l'alphabet pour chaque état.Notre algorithme d'apprentissage, qui est une adaptation du L* d'Angluin, combine l'apprentissage classique d'un automate par la caractérisation de ses états, avec l'apprentissage de prédicats statiques définissant les partitions de l'alphabet. Nous utilisons l'apprentissage incrémental avec la propriété que deux types de requêtes fournissent une information suffisante sur le langage cible. Les requêtes du premier type sont les requêtes d'adhésions, qui permettent de savoir si un mot proposé appartient ou non au langage cible. Les requêtes du second type sont les requêtes d'équivalence, qui vérifient si un automate proposé accepte le langage cible; dans le cas contraire, un contre-exemple est renvoyé.Nous étudions l'apprentissage de langages définis sur des alphabets infinis ou de grande tailles dans un cadre théorique et général, mais notre objectif est de proposer des solutions concrètes pour un certain nombre de cas particuliers. Ensuite, nous nous intéressons aux deux principaux aspects du problème. Dans un premier temps, nous supposerons que les requêtes d'équivalence renvoient toujours un contre-exemple minimal pour un ordre de longueur-lexicographique quand l'automate proposé est incorrect. Puis dans un second temps, nous relâchons cette hypothèse forte d'un oracle d'équivalence, et nous la remplaçons avec une hypothèse plus réaliste où l'équivalence est approchée par un test sur les requêtes qui utilisent un échantillonnage sur l'ensemble des mots. Dans ce dernier cas, ce type de requêtes ne garantit pas l'obtention de contre-exemples, et par conséquent de contre-exemples minimaux. Nous obtenons alors une notion plus faible d'apprent-issage PAC (Probably Approximately Correct), permettant l'apprentissage d'une approximation du langage cible.Tout les algorithmes ont été implémentés, et leurs performances, en terme de construction d'automate et de taille d'alphabet, ont été évaluées empiriquement. / Learning regular languages is a branch of machine learning, which has been proved useful in many areas, including artificial intelligence, neural networks, data mining, verification, etc. On the other hand, interest in languages defined over large and infinite alphabets has increased in recent years. Although many theories and properties generalize well from the finite case, learning such languages is not an easy task. As the existing methods for learning regular languages depends on the size of the alphabet, a straightforward generalization in this context is not possible.In this thesis, we present a generic algorithmic scheme that can be used for learning languages defined over large or infinite alphabets, such as bounded subsets of N or R or Boolean vectors of high dimensions. We restrict ourselves to the class of languages accepted by deterministic symbolic automata that use predicates to label transitions, forming a finite partition of the alphabet for every state.Our learning algorithm, an adaptation of Angluin's L*, combines standard automaton learning by state characterization, with the learning of the static predicates that define the alphabet partitions. We use the online learning scheme, where two types of queries provide the necessary information about the target language. The first type, membership queries, answer whether a given word belongs or not to the target. The second, equivalence queries, check whether a conjectured automaton accepts the target language, a counter-example is provided otherwise.We study language learning over large or infinite alphabets within a general framework but our aim is to provide solutions for particular concrete instances. For this, we focus on the two main aspects of the problem. Initially, we assume that equivalence queries always provide a counter-example which is minimal in the length-lexicographic order when the conjecture automaton is incorrect. Then, we drop this ``strong'' equivalence oracle and replace it by a more realistic assumption, where equivalence is approximated by testing queries, which use sampling on the set of words. Such queries are not guaranteed to find counter-examples and certainly not minimal ones. In this case, we obtain the weaker notion of PAC (probably approximately correct) learnability and learn an approximation of the target language. All proposed algorithms have been implemented and their performance, as a function of automaton and alphabet size, has been empirically evaluated.

Cette thèse est composée d'une partie sur la conjecture des familles stables par unions et de quatre autres chapitres consacrés aux sujets liés aux suites automatiques. Dans la première partie, on donne une condition suffisante pour qu'une version affaiblie de la conjecture soit vraie. On donne aussi un majorant de la fréquence maximale minimale dans une famille de taille $n$. Dans Chapitre 3 on démontre que la formule d'extraction des coefficients des séries algébriques connue pour les corps à caractéristique $0$ est une conséquence d'un théorème de Furstenberg qui permet d'écrire certaines séries algébriques comme les diagonales des fractions rationnelles à deux variables. Comme ce théorème est valide pour tous les corps, la formule l'est aussi. Dans Chapitre 4 on donne une généralisation des résultats de J.-P. Allouche et J. Shallit concernant certains produits infinis et les fonctions qui comptent le nombre d'occurrences d'un facteur dans l'expansion en base $B$ de $n$. Dans Chapitre 5 on donne une construction explicite d'un mot infini avec complexité en facteur de $\Theta(n^t)$ avec la valuation $p$-adique. Dans Chapitre 6 on donne une nouvelle démonstration de la transcendance de la série formelle $L(1,\chi_s)/\Pi$, où $L$ est un analogue des fonctions $L$ de Dirichlet en caractéristique finie défini par D. Goss et $\Pi$ l'analogue de $\pi$ défini par L. Carlitz. / This thesis comprises one part concerning the union-closed sets conjecture and four other chapters dedicated to subjects related to automatic sequences. In the first part, we give a sufficient condition for a weaker version of the conjecture ($\varepsilon$-union closed sets conjecture) to hold. We also give an upper bound of the minimal maximal frequency for a family of size $n$. In Chapter 3 we prove that the coefficient extraction formula for algebraic series known for fields of characteristic $0$ is a consequence of a theorem of Furstenberg that says certains algebraic series can be written as the diagonals of a rational fractions in two variables. As the theorem is true for all fields, so is the formula. In Chapter 4 we give a generalization of the result of J.-P. Allouche and J. Shallit concerning certain infinite products and block-counting functions. In Chapter 5 we give an explicit construction based on $p$-adic valuation of an infinite word with subword complexity $\Theta(n^t)$. In Chapter 6 we give a new proof of the transcendence of the power series $L(1,\chi_s)/\Pi$, where $L$ is an analogue in positive characteristics of Dirichlet $L$ functions defined by D. Goss and $\Pi$ the analogue of $\pi$ defined by L. Carlitz.

Cette thèse présente une description nouvelle et les conséquences physiques de la seconde transition pour les gaz parfait de Bose dans des milieux fortement anisotropes. Nous développons ainsi dans le chapitre 1 une approche dite d'échelle qui permet de revisiter les différents concepts autour de la condensation de Bose-Einstein: la condensation généralisée (M.van den Berg, J.Lewis, J.Pulé, 1986), les cycles infinis (R.Feynman, 1953) et les corrélations à longue portée (O.Penrose, L.Onsager, 1956). Cette nouvelle approche nous permet, dans un premier temps, de montrer l'équivalence entre ces critères de condensation et entre les différentes classifications de condensats. Ensuite, dans les chapitres 2 et 3, nous caractérisons, les effets physiques (nouvelle température critique, modification des fractions condensées, la localisation énergétique et les longueurs de cohérence) pour les gaz de Bose dans des boîtes quasi-2D (Ch2) et des pièges harmoniques quasi-1D (Ch3) exponentiellement anisotropes. Dans le chapitre 4, nous discutons principalement l'analogie entre cycles et polymère à la P.-G de Gennes que fourni notre description des cycles via notre méthode d'échelle. Les modèles pièges et de boîtes tri-dimensionnelles exponentiellement anisotropes que nous présentons, sont, en limite thermodynamique, des cas intermédiaires entre les modèles tri-dimensionnels anisotropes conventionnels (anisotropie linéaire) et les modèles de basses dimensions, pour lesquels, pour le cas sans interactions entre particules, la notion de condensat sur le mode fondamental n'est pas évidente. Ceci donne une première approche pour le cas du gaz en faibles interactions qu'il conviendra de traiter par la suite.