Ce manuscrit est consacré à la physique des polaritons dans deux matériaux semiconducteurs à grand gap : ZnO et GaN. Les paramètres polaritoniques de ces matériaux ont été déterminés avec précision grâce à une étude combinant différentes techniques spectroscopiques linéaires et non-linéaires (réflectivité continue, autocorrélation, photoluminescence et mélange à quatre ondes dégénérées). L’interprétation de ces résultats conduit à une meilleure compréhension des processus d’interaction au sein du semiconducteur : le rôle important des interactions polariton-phonon LO dans l’élargissement polaritonique a notamment pu être mis en évidence. Ce travail effectué sur des échantillons massifs est indispensable pour mener au mieux l’étude de l’effet laser à polaritons dans des microcavités présentée dans la seconde partie de ce manuscrit. Pour cette étude, deux microcavités massives semblables, une à base de ZnO l’autre de GaN, ont été réalisées. Les qualités photoniques de ces structures sont à l’état de l’art : elles présentent un bon facteur de qualité (Q ≈ 1000) et un faible désordre photonique. Le régime de couplage fort ainsi que l’effet laser à polaritons sont observés jusqu'à température ambiante. Enfin, l’établissement de diagrammes de phases permet de mettre en exergue le rôle important des phonons LO dans l’abaissement du seuil laser. / This manuscript is devoted to the physics of polaritons in two wide band gap semiconductor : ZnO and GaN. The polaritonic parameters of these materials have been accurately determined through a study which combines linear and non-linear spectroscopies (continuous reflectivity, autocorrelation, photoluminescence and degenerate four-wave mixing). The interpretation of these results lead to a better understanding of the interaction processes in the semiconductor : the important role played by the polariton-LO phonon interactions in the polaritonic damping is highlighted and particularly for ZnO. This preliminary work on bulk samples is essential for a suitable study of polariton lasing in microcavities like it is presented in the second part of this manuscript. For this study, two similar microcavities, one based on ZnO and another on GaN. The photonic properties of these structures are at the state of the art : they have a good quality factor (Q ≈ 1,000) and have a low photon disorder. The strong coupling regime and the polariton lasing are observed to room temperature. Finally, the establishment of phase diagrams allows to highlight the important role of LO phonons in reduction of the laser threshold.

Le concept d'auto-stabilisation a été introduit par Dijkstra en 1973. Un système distribué est auto-stabilisant s'il peut démarrer de n'importe quelle configuration initiale et retrouver une configuration légitime en un temps fini par lui-même et sans aucune intervention extérieure. La convergence est également garantie lorsque le système est affecté par des fautes transitoires, ce qui en fait une approche élégante, non masquante, pour la tolérance aux pannes. L'auto-stabilisation a été étudiée dans divers domaines des systèmes distribués tels que les problèmes de synchronisation de l'horloge, de la communication et les protocoles de routage. Vu l'importance des paramètres de graphes notamment pour l'organisation et l'optimisation des communications dans les réseaux et les systèmes distribués, plusieurs algorithmes auto-stabilisants pour des paramètres de graphe ont été proposés dans la littérature, tels que les algorithmes autostabilisants permettant de trouver les ensembles dominants minimaux, coloration des graphes, couplage maximal et arbres de recouvrement. Dans cette perspective, nous proposons, dans cette thèse, des algorithmes distribués et autostabilisants pour certains problèmes de graphes bien connus, en particulier pour les décompositions de graphes et les ensembles dominants qui n'ont pas encore été abordés avec le concept de l'autostabilisation. Les quatre problèmes majeurs considérés dans cette thèse sont: partitionnement en triangles, décomposition en p-étoiles, Monitoring des arêtes, fort ensemble dominant et indépendant. Ainsi, le point commun entre ces problèmes, est qu'ils sont tous considérés comme des variantes des problèmes de domination et de couplage dans les graphes et leur traitement se fait d'une manière auto-stabilisante / The concept of self-stabilization was first introduced by Dijkstra in 1973. A distributed system is self-stabilizing if it can start from any possible configuration and converges to a desired configuration in finite time by itself without using any external intervention. Convergence is also guaranteed when the system is affected by transient faults. This makes self-stabilization an effective approach for non-masking fault-tolerance. The self-stabilization was studied in various fields in distributed systems such as the problems of clock synchronization, communication and routing protocols. Given the importance of graph parameters, especially for organization and communication of networks and distributed systems, several self-stabilizing algorithms for classic graph parameters have been developed in this direction, such as self-stabilizing algorithms for finding minimal dominating sets, coloring, maximal matching, spanning tree and so on. Thence, we propose in this thesis, distributed and self-stabilizing algorithms to some wellknown graphs problems, particularly for graph decompositions and dominating sets problems that have not yet been addressed in a view of self-stabilization. The four major problems considered in this thesis are: the partitioning into triangles, p-star decomposition, edge monitoring set and independent strong dominating set problems. The common point between these four problems is that they are considered as variants of dominating set and matching problems and all propositions deal with the self-stabilization paradigm

Cette thèse présente la conception et l'implémentation d'une nouvelle génération de puces à atomes, ouvrant de nouvelles perspectives expérimentales dans des micropièges magnétiques très anisotropes. Les propriétés thermiques des puces en nitrure d'aluminium sont étudiées en détail. Le dispositif a été optimisé pour piéger de plus grands nombres d'atomes et améliorer la qualité de l'imagerie, notamment en fabriquant un miroir de planéité sub-λ/10 à la surface de la puce.Nous étudions des gaz quasi-1D grâce à des images in situ de profils fluctuants et des méthodes précises de calibration et d'analyse statistique. Nous mesurons des fluctuations non-gaussiennes, ce qui permet de tester sensiblement la thermodynamique du gaz et donne une mesure de corrélations à trois corps. Nous étudions précisément la transition de quasicondensation et mesurons pour la première fois sa loi d'échelle. En régime 3D, c'est une condensation transverse qui déclenche la quasicondensation longitudinale, tandis qu'en régime 1D, la formation d'un quasicondensat est gouvernée par les interactions répulsives et non par la dégénérescence quantique.Obtenant des températures record pour des gaz 1D, nous observons des fluctuations subpoissoniennes lorsque les corrélations atomiques sont déterminées, au moins localement, par les fluctuations quantiques qui dominent les fluctuations thermiques. Nous discutons également la thermalisation étonnamment rapide mesurée en régime 1D profond qui suggère que des collisions effectives à 3 corps brisent l'intégrabilité du système. / This thesis presents the design and implementation of a new generation of atom chips, that open novel experimental possibilities with very anisotropic magnetic microtraps. The thermal properties of aluminum nitride atom chips are studied in detail. We have optimized the set-up in order to trap more atoms and image the clouds as precisely as possible. In particular we have fabricated a miror of sub-λ/10 planeity on top of the chip surface.We study quasi-1D gases using in situ pictures of the fluctuating density pro_les and precise methods for their calibration and statistical analysis. We measure non-gaussian fluctuations, which provides a sensitive test of the thermodynamics of the system and gives a measure of three-body correlations. We study precisely the quasicondensation transition, measuring its scaling for the first time. In the 3D regime, a transverse condensation triggers the longitudinal quasicondensation. In the 1D regime, on the contrary, the appearance of a quasicondensate is governed by repulsive interactions only, and not by quantum degeneracy.Reaching record temperatures for 1D gases, we observe subpoissonian fluctuations which indicate that atomic correlations are determined at least locally by quantum rather than thermal fluctuations. We also discuss our observation of surprizingly e_fficient thermalization deep in the 1D regime, suggesting that e_ffective 3-body collisions break the integrability of the system.

Die Entwicklung Freier-Elektronen-Laser und einer neuen Generation von Strahlungsquellen erlaubt die Realisierung hoher Intensitäten und kurzer Pulsdauern. Im Regime niedriger Laserintensitäten war bisher die Dipolnäherung recht erfolgreich bei der Beschreibung der durch die Licht-Materie-Wechselwirkung erzeugten Dynamik, wodurch viele experimentell beobachtete Resultate reproduziert werden konnten. Bei den durch die neuen Strahlungsqullen erzeugten bisher unerreichten Intensitäten und Rönten-Wellenlängen kann die Dipolnäherung allerdings zusammenbrechen. Höhere Multipol-Wechselwirkungen, die mit dem Strahlungsdruck assoziiert werden, sollten dann erwartungsgemäß wichtig zur genauen Beschreibung der Wechselwirkungsdynamiken werden. In dieser Arbeit wird eine Methode zur Lösung der nichtrelativistischen zeitabhängigen Schrödingergleichung zur Beschreibung von Systemen mit einem einzelnen aktiven Elektron, das mit einem Laserfeld wechselwirkt, über die Dipolnäherung hinausgehend erweitert. Dabei wird sowohl die Taylor- als auch die Rayleight-Multipolentwicklung des Retardierungsterms ebener Wellen verwendet. Es wird erwartet, dass die Berücksichtigung höherer Ordnungen der Multipolwechselwirkung zu einer erhöhten Genauigkeit und Richtigkeit der Resultate führen. Weiterhin wird gezeigt, dass die Rayleigh-Multipolentwicklung für gleiche Laserparameter genauer ist und schneller zur Konvergenz der numerischen Rechnung führt. Die nicht-Dipoleffekte spiegeln is sowohl in den differentiellen als auch den totalen Ionisierungswahrscheinlichkeiten in Form von erhöhten Ionisierungsausbeuten, verzerrten ATI Strukturen und einer Asymmetrie in der Photoelektronenwinkelverteilung in der Polarisations und Propagationsrichtung wider. Es wird beobachtet, dass die nicht-Dipoleffekte mit der Intensität, Wellenlänge und Pulsdauer zunehmen. Es werden Ergebnisse sowohl für das Wasserstoffatom als auch das Heliumatom gezeigt. / The development of free-electron lasers and new generation light sources is enabling the realisation of high intensities and short pulse durations. In the weak-field intensity regime, the electric dipole approximation has been quite successful in describing the light-matter interaction dynamics reproducing many of the experimentally observed features. But at the unprecedented intensities and x-ray wavelengths produced by the new light sources, the electric dipole approximation is likely to break down. The role of higher multipole-order terms in the interaction Hamiltonian, associated with the radiation pressure, is then expected to become important in the accurate description of the interaction dynamics. This study extends the solution of the non-relativistic time dependent Schrödinger equation for a single active electron system interacting with short intense laser pulses beyond the standard dipole approximation. This is realized using both the Taylor and the Rayleigh plane-wave multipole expansion series of the spatial retardation term. The inclusion of higher multipole-order terms of the interaction is expected to increase the validity and accuracy of the calculated observables relative to the experimental measurements. In addition, it is shown that for equivalent laser parameters the Rayleigh multipole expansion series is more accurate and efficient in numerical convergence. The investigated non-dipole effects manifest in both differential and total ionization probabilities in form of the increased ion yields, the distorted above-threshold-ionization structure, and asymmetry of the photoelectron angular distribution in both polarization and propagation directions. The non-dipole effects are seen to increase with intensity, wavelength, and pulse duration. The results for hydrogen as well as helium atom are presented in this study.

Cette thèse concerne la combinaison du lambda-calcul et de la réécriture, dont nous étudions principalement deux propriétés : la confluence et la normalisation forte. Nous commençons par étudier sous quelles conditions la combinaison d'une relation de réécriture conditionnelle confluente au lambda-calcul donne une relation de réécriture confluente. Ensuite nous nous intéressons aux preuves de normalisation forte de lambda-calculs typés utilisant la technique de réductibilité. Notre contribution la plus importante est une comparaison de diverses variantes de cette technique, utilisant comme outil de comparaison la manière dont ces variantes s'étendent à la réécriture et dont elles prennent en compte les types unions et les types existentiels implicites. Enfin, nous présentons un critère, basé sur un système de types contraints, pour la normalisation forte de la réécriture conditionnelle combinée au lambda-calcul. Notre approche étend des critères de terminaison existants qui utilisent des annotations de taille. C'est à notre connaissance le premier critère de terminaison pour la réécriture conditionnelle avec membres droits d'ordre supérieur qui prenne en compte, dans l'argument de terminaison, de l'information issue de la satisfaction des conditions des règles de réécriture / This thesis is about the combination of lambda-calculus with rewriting. We mainly study two properties: confluence and strong normalization. We begin by studying under which conditions the combination of a confluent conditional rewrite relation to the lambda-calculus leads to a confluent relation. Next, we study strong normalization proofs of typed lambda-calculi that use the reducibility technique. Our main contribution is a comparison of variants of this technique, with respect to how they extend to rewriting and how they handle union and implicit existential types. Finally, we present a termination criterion for the combination of conditional rewriting and lambda-calculus based on a constrained type system. Our approach, which extends known criteria that use sized types, is to our knowledge the first termination criterion for conditional rewriting with higher-order right-hand sides that takes into account in the termination argument some information generated by the satisfaction of the conditions of the rewrite rules

Submitted by Verena Pereira (verenagoncalves@uefs.br) on 2018-07-11T23:13:30Z No. of bitstreams: 1 DIsserta??o Alexsandro VFA HIST?RIA DO M?SON PI .pdf: 9797951 bytes, checksum: 05cccd1dc1df86aff95c514b9ac8f4ab (MD5) / Made available in DSpace on 2018-07-11T23:13:30Z (GMT). No. of bitstreams: 1 DIsserta??o Alexsandro VFA HIST?RIA DO M?SON PI .pdf: 9797951 bytes, checksum: 05cccd1dc1df86aff95c514b9ac8f4ab (MD5) Previous issue date: 2017-08-30 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior - CAPES / This work represents our contribution to disseminate Brazilian Physics in the classroom. It consists of a qualitative research about the insertion of topics of Particle Physics through a conceptual approach, particularly the first proposal of Yukawa for strong interaction, from the history of the discovery of the ? meson with the contributions of the brazilian scientist, C?sar Lattes. The research consisted in the elaboration, application and evaluation of a didactic sequence based on the theory of significant learning of David Ausubel / Com este estudo, pretende-se contribuir para a divulga??o da F?sica brasileira em sala de aula. Ele consiste em uma pesquisa qualitativa que trata da inser??o de t?picos de F?sica de Part?culas atrav?s de abordagem conceitual, particularmente a primeira proposta de Yukawa para intera??o forte, a partir da hist?ria da descoberta do m?son ? com as contribui??es do brasileiro C?sar Lattes. A pesquisa consistiu na elabora??o, aplica??o e avalia??o de uma sequ?ncia did?tica fundamentada na teoria de aprendizagem significativa de David Ausubel

As famílias Anosov foram introduzidas por P. Arnoux e A. Fisher, motivados por generalizar a noção de difeomorfismo de Anosov. A grosso modo, as famílias Anosov são sequências de difeomorfismos (fi)i&#8712Z definidos em uma sequencia de variedades Riemannianas compactas (Mi)i&#8712Z, em que fi: Mi ->Mi+1 para todo i &#8712 Z, tal que a composição fi+no· · ·ofi, para n >=1, tem comportamento assintoticamente hiperbólico. Esta noção é conhecida como um sistema dinâmico não-estacionário ou um sistema dinâmico não-autônomo. Sejam M a união disjunta de cada Mi, para i &#8712 Z, e Fm(M) o conjunto consistente das famílias de difeomorfismos (fi)i&#8712Z de classe Cm definidos na sequência (Mi)i&#8712Z. O propósito principal deste trabalho é mostrar algumas propriedades das famílias Anosov. Em particular, mostraremos que o conjunto destas famílias é aberto em Fm(M), em que Fm(M) é munido da topologia forte (ou topologia Whitney); a estabilidade estrutural de certa classe de famílias Anosov, considerando conjugações topológicas uniformes; e várias versões para os Teoremas de variedades estáveis e instáveis. Os resultados que serão apresentados aqui generalizam alguns outros resultados obtidos em Sistemas Dinâmicos Aleatórios, os quais serão mencionados ao longo do trabalho. Além do anterior, será introduzida a entropia topológica para elementos em Fm(M) e mostraremos algumas das suas propriedades. Provaremos que esta entropia é contínua em Fm(M) munido da topologia forte. Porém, ela é descontínua em cada elemento de Fm(M) munido da topologia produto. Também apresentaremos um resultado que pode ser uma ferramenta de muita utilidade no estudo da continuidade da entropia topológica de difeomorfismos definidos em variedades compactas. Finalizaremos o trabalho dando uma lista de problemas que surgiram ao longo desta pesquisa e que serão analisados em um trabalho futuro. / Anosov families were introduced by P. Arnoux and A. Fisher, motivated by generalizing the notion of Anosov dieomorphisms. Roughly, Anosov families are sequences of dieomorphisms (fi)i&#8712Z dened on a sequence of compact Riemannian manifolds (Mi)i&#8712Z, where fi: Mi -> Mi+1 for all i &#8712 Z, such that the composition fi+n o · · · o fi, for n >=1, has asymptotically hyperbolic behavior. This notion is known as a non-stationary dynamical system or a non-autonomous dynamical system. Let M be the disjoint union of each Mi, for each i &#8712 Z, and Fm(M) the set consisting of families of Cm-dieomorphisms (fi)i&#8712Z dened on the sequence (Mi)i&#8712Z. The main goal of this work is to explore some properties of Anosov families. In particular, we will show that the set consisting of these families is open in Fm(M), where Fm(M) is endowed with the strong topology (or Whitney topology); the structural stability of a certain class of Anosov families, considering uniform topological conjugacies; and some versions of stable and unstable manifold theorems. The results that will be presented here generalize some results obtained in Random Dynamical Systems, which will be mentioned throughout the work. In addition to the above mentioned theorems, the topological entropy for elements in Fm(M) will be introduced, and we will show some of its properties. We will prove that this entropy is continuous on Fm(M) endowed with strong topology. However, it is discontinuous at each element of Fm(M) endowed with the product topology. We will also present a result that can be a very useful tool in the study of the continuity of the topological entropy of dieomorphisms dened on compact manifolds. We will nish the work by giving a list of problems that have arisen throughout this research and that will be analyzed in a future work.

O objetivo deste trabalho é estudar aproximação na esfera por uma soma com pesos de harmônicos esféricos. Apresentamos condições necessárias e suficientes sobre os pesos para garantir a convergência, tanto no caso contínuo quanto no caso Lp. Analisamos a ordem de convergência dos processos aproximatórios usando um módulo de suavidade esférico relacionado à derivada forte de Laplace-Beltrami. Incluímos provas para vários resultados sobre a derivada forte de Laplace-Beltrami, já que não conseguimos encontrá-las na literatura / The subject of this work is to study approximation on the sphere by weighted sums of spherical harmonics. We present necessary and sufficient conditions on the weights for convergence in both, the continuous and the Lp cases. We analyse the convergence rates of the approximation processes using a modulus of smoothness related to the strong Laplace- Beltrami derivative. We include proofs for several results related to such a derivative, since we were unable to find them in the literature

Ce manuscrit présente une étude expérimentale par spectroscopie optique de l'interaction lumière-matière dans des microcavités à base d'oxyde de zinc. Nous avons étudié plusieurs types de cavités planaires qui se démarquent des structures déjà existantes autant par leurs structures que par leurs procédés d'épitaxie. Les avantages théoriques qui ont motivé la réalisation, sont discutés puis vériés par des mesures expérimentales de réectivité et de photoluminescence en fonction de la température et de l'intensité d'excitation. Grâce aux caractéristiques optiques de ces nouvelles microcavités nous avons pu étudier l'émission cohérente de lumière basée sur la condensation des polaritons à haute température jusqu'à 300K.Des facteurs de qualité importants ainsi que des énergies de Rabi élevées permettent de mener une étude approfondie sur le lien qui existe entre la fraction photonique des polaritons et la valeur du seuil d'injection optique correspondant à l'eet laser à polaritons. Ce travailde recherche met en exergue les deux processus physiques identiés conduisant à l'eet laser à polaritons : le régime thermodynamique et le régime cinétique. De plus, l'inuence des interactions exciton-phonon est particulièrement soulignée comme un processus permettant de diminuer le seuil de condensation. / This thesis reports a spectroscopic study of the light-matter interaction in ZnO based microcavities.We have examined several planar microcavities which dier from the previous ones through their structures and their epitaxial processes. The theoretical advantages that have driven these realizations are discussed and veried through experimental measurements of reectivity and photoluminescence as a function of temperature and excitation intensity. Thanks to the optical characterics of these new cavities, we have studied the coherent light emission based on the condensation of polaritons at high temperature, up to 300K. High optical quality factor and high Rabi splitting allow to deeply analyze the relationship which exists between the photonic fraction of polaritons and the threshold excitation value corresponding to the occurrence of the polariton laser eect. This work highlights two identied physical processes which contribute to the laser eect : the thermodynamic and kinetic regimes. Moreover, it appears that the exciton-phonon interaction constitutes a specic phenomenon which allows to reduce the polariton laser threshold.

Il est bien connu que les lois marginales d'un vecteur aléatoire ne susent pas à caractériser sa distribution. Lorsque les lois marginales du vecteur aléatoire sont continues, le théorème de Sklar garantit l'existence et l'unicité d'une fonction appelée copule, caractérisant la dépendance entre les composantes du vecteur. La loi du vecteur aléatoire est parfaitement dénie par la donnée des lois marginales et de la copule. Dans ce travail de thèse, nous proposons deux tests non paramétriques de détection de ruptures dans la distribution d'observations multivariées, particulièrement sensibles à des changements dans la copule des observations. Ils améliorent tous deux des propositions récentes et donnent lieu à des tests plus puissants que leurs prédécesseurs pour des classes d'alternatives pertinentes. Des simulations de Monte Carlo illustrent les performances de ces tests sur des échantillons de taille modérée. Le premier test est fondé sur une statistique à la Cramér-von Mises construite à partir du processus de copule empirique séquentiel. Une procédure de rééchantillonnage à base de multiplicateurs est proposée pour la statistique de test ; sa validité asymptotique sous l'hypothèse nulle est démontrée sous des conditions de mélange fort sur les données. Le second test se focalise sur la détection d'un changement dans le rho de Spearman multivarié des observations. Bien que moins général, il présente de meilleurs résultats en terme de puissance que le premier test pour les alternatives caractérisées par un changement dans le rho de Spearman. Deux stratégies de calcul de la valeur p sont comparées théoriquement et empiriquement : l'une utilise un rééchantillonnage de la statistique, l'autre est fondée sur une estimation de la loi limite de la statistique de test. / It is very well-known that the marginal distributions of a random vector do not characterize the distribution of the random vector. When the marginal distributions are continuous, the work of Sklar ensures the existence and uniqueness of a function called copula which can be regarded as capturing the dependence between the components of the random vector. The cumulative distribution function of the vector can then be rewritten using only the copula and the marginal cumulative distribution functions. In this work, we propose two non-parametric tests for change-point detection, particularly sensitive to changes in the copula of multivariate time series. They improve on recent propositions and are more powerful for relevant alternatives involving a change in the copula. The finite-sample behavior of these tests is investigated through Monte Carlo experiments. The first test is based on a Cramér-von Mises statistic and on the sequential empirical copula process. A multiplier resampling scheme is suggested and its asymptotic validity under the null hypothesis is demonstrated under strong mixing conditions. The second test focuses on the detection of a change in Spearman's rho. Monte Carlo simulations reveal that this test is more powerful than the first test for alternatives characterized by a change in Spearman's rho. Two approaches to compute approximate p-values for the test are studied empirically and theoretically. The first one is based on resampling, the second one consists of estimating the asymptotic null distribution of the test statictic.