741 |
Réduction de la durée d’impulsions laser par des techniques extra et intra-cavité : post-compression d’impulsions femtosecondes énergétiques et modulation spectrale des pertes dans un pré-amplificateur Ti˸saphir / Reduction of the laser pulse duration with extra and intra cavity techniques : Energetic femtosecond pulses post-compression and spectral modulation of losses in the Ti˸sapphire preamplifierFourcade Dutin, Coralie 20 July 2011 (has links)
La course vers les impulsions ultra-courtes et énergétiques est en plein essor avec le développement de nombreuses applications. Dans ce manuscrit, plusieurs méthodes de réduction de la durée d'impulsion énergétique sont étudiées. La mise en oeuvre d’un système de post-compression basé sur le principe de SPM-NER dans une lame de silice a tout d'abord permis de produire, à partir d'impulsions de 50 fs, des impulsions de 16 fs-5mJ. Dans une seconde partie, nous proposons une nouvelle méthode de post-compression efficace basée sur l'ionisation d'un gaz rare dans un capillaire creux. Cette technique a permis d'obtenir à la fois des impulsions ultra-courtes et des énergies importantes (11 fs-13 mJ). Les résultats d'une modélisation réalisée au CEA/SPAM, en bon accord avec les résultats expérimentaux, ont permis d'approfondir la compréhension des divers mécanismes mis en jeu. Afin de produire des impulsions encore plus courtes, il est nécessaire de travailler directement dans les chaînes laser, en amont du système de post-compression. Le rétrécissement spectral par le gain dans leTi:saphir des chaînes laser, limite en général les durées des impulsions à 30 fs. Ce phénomène, étudié lors de cette thèse, a été compensé grâce à une modulation de perte spectrale (filtre) dans le pré-amplificateur (cavité régénérative), localisée au maximum de la courbe de gain. Des impulsions de l’ordre de 20 fs ont été obtenues. Ces études ont été complétées par une modélisation de l'amplification des impulsions qui s'est avérée en très bon accord avec les mesures expérimentales. La possibilité de combiner ces procédés permettra, àcourt terme, la production d'impulsions laser sub-10 fs énergétiques (~10 mJ) pour générer des impulsions XUV attosecondes isolées. / High energy ultrashort pulses are highly desirable for many applications. In thismanuscript, we described several methods for pulse duration reduction at high energy. A postcompressionsystem, using SPM-NER in a fused silica plate, has firstly provided 16 fs-5mJpulses, from 50 fs pulses. In a second part, we present a new efficient post compressiontechnique, achieved through ionization of gas in a capillary. With this technique, ultrashortand high energy pulses have been reached (11 fs-13 mJ). Results from modeling done atCEA/SPAM, in good agreement with the experimental ones, have been used to understanddeeply all the involved mechanisms. In order to get even shorter pulses, it is incontrovertibleto work on the laser chain, in front of the post-compression systems. In general, due tospectral gain narrowing in Ti:Saphir laser chain, the pulse duration is limited to 30 fs. Thiseffect, investigated in this thesis, has been compensated by modulating the spectral losses(filter) in the pre-amplifier (regenerative cavity), localized at the gain curve maximum. Pulseduration in the order of 20 fs has been obtained. This study has been completed with a pulseamplification model that shows very good agreement with the experimental measurements.The possibility to combine these processes should generate, in the short term, high energy (10mJ) sub-10 fs laser pulses to produce isolated XUV attosecond pulses.
|
742 |
Úvahy o globálním řádu po skončení studené války: perspektiva Francise Fukuyamy a Samuela P. Huntingtona / Reflections on the Global Order after the End of the Cold War: the Perspective of Francis Fukuyama and Samuel P. HuntingtonJurásek, Miroslav January 2009 (has links)
The times coming with the End of the Cold War were very turbulent. Politicians had to take into the consideration lots of scenarios and the next global trends to make correct decisions. Most of the very numerous visions of the future global order followed more or less the twofold pattern: order or anarchy. "The End of History and the Last Man" and "The Clash of Civilizations and the Remaking of World Order" written by two prominent American political scientists Francis Fukuyama and Samuel P. Huntington and published at the beginning of the 90s are the most representative works that fit into this pattern. These provocative and controversial theories have been criticized and empirically challenged by many on one side, on the other side it hasn't impeded others to use them as a starting point for their next analyses. This dissertation thesis is a contribution to the debate between the dissenters and the supporters of these theories from a predictive point of view. Through the research theoretical methodology it is argued that the examined theories are still valid even nowadays because their theoretical essence (or hard core in the Lakatosian research program) has not been refuted yet. Nevertheless, the hard core of the theories determines their very specific character which puts forward the importance of the factors labelled in the Lakatosian framework as an external history of a science. These factors organized according to the Mehtas criteria of so called strong idea are, especially in the social sciences, decisive for how a theoretical construct is accepted in a broader non-academic context. It is demonstrated that both theories fulfill all criteria to be very influential in practice, although the idea of clash of civilizations is even more powerful in this respect. The specific features of all theories are illustrated on two case studies: Union of South American Nations and Shanghai Cooperation Organization. Firstly, the selection of these case studies is justified and secondly, the anomalies in terms of the Lakatosian methodology are identified and then explained. There have been found no unexplainable anomalies, which practically confirms the validity of both research programs on one side, on the other side it facilitates a better assessment of the studied theories in a sense of their interpretative scope and possibilities.
|
743 |
Two-player interaction in quantum computing : cryptographic primitives & query complexity / Interaction à deux joueurs en informatique quantique : primitives cryptographiques et complexité en requêtesMagnin, Loïck 05 December 2011 (has links)
Cette thèse étudie deux aspects d'interaction entre deux joueurs dans le modèle du calcul et de la communication quantique.Premièrement, elle étudie deux primitives cryptographiques quantiques, des briques de base pour construire des protocoles cryptographiques complexes entre deux joueurs, comme par exemple un protocole d'identification. La première primitive est la ``mise en gage quantique". Cette primitive ne peut pas être réalisée de manière inconditionnellement sûre, mais il possible d'avoir une sécurité lorsque les deux parties sont soumis à certaines contraintes additionnelles. Nous étudions cette primitive dans le cas où les deux joueurs sont limités à l'utilisation d'états et d'opération gaussiennes, un sous-ensemble de la physique quantique central en optique, donc parfaitement adapté pour la communication via fibres optiques. Nous montrons que cette restriction ne permet malheureusement pas la réalisation de la mise en gage sûre. Pour parvenir à ce résultat, nous introduisons la notion de purification intrinsèque, qui permet de contourner l'utilisation du théorème de Uhlman, en particulier dans le cas gaussien. Nous examinons ensuite une primitive cryptographique plus faible, le ``tirage faible à pile ou face'', dans le modèle standard du calcul quantique. Carlos Mochon a donné une preuve d'existence d'un tel protocole avec un biais arbitrairement petit. Nous donnons une interprétation claire de sa preuve, ce qui nous permet de la simplifier et de la raccourcir grandement.La seconde partie de cette thèse concerne l'étude de méthodes pour prouver des bornes inférieures dans le modèle de la complexité en requête. Il s'agit d'un modèle de complexité central en calcul quantique dans lequel de nombreux résultats majeurs ont été obtenus. Dans ce modèle, un algorithme ne peut accéder à l'entrée uniquement en effectuant des requêtes sur chacun des bits de l'entrée. Nous considérons une extension de ce modèle dans lequel un algorithme ne calcule pas une fonction, mais doit générer un état quantique. Cette généralisation nous permet de comparer les différentes méthodes pour prouver des bornes inférieures dans ce modèle. Nous montrons d'abord que la méthode par adversaire ``multiplicative" est plus forte que la méthode ``additive". Nous montrons ensuite une réduction de la méthode polynomiale à la méthode multiplicative, ce qui permet de conclure à la supériorité de la méthode par adversaire multiplicative sur toutes les autres méthodes. Les méthodes par adversaires sont en revanche souvent difficiles à utiliser car elles nécessite le calcul de normes de matrices de très grandes tailles. Nous montrons comment l'étude des symétries d'un problème simplifie grandement ces calculs. Enfin, nous appliquons ces formules pour prouver la borne inférieure optimale du problème INDEX-ERASURE un problème de génération d'état quantique lié au célèbre problème GRAPH-ISOMORPHISM. / This dissertation studies two different aspects of two-player interaction in the model of quantum communication and quantum computation.First, we study two cryptographic primitives, that are used as basic blocks to construct sophisticated cryptographic protocols between two players, e.g. identification protocols. The first primitive is ``quantum bit commitment''. This primitive cannot be done in an unconditionally secure way. However, security can be obtained by restraining the power of the two players. We study this primitive when the two players can only create quantum Gaussian states and perform Gaussian operations. These operations are a subset of what is allowed by quantum physics, and plays a central role in quantum optics. Hence, it is an accurate model of communication through optical fibers. We show that unfortunately this restriction does not allow secure bit commitment. The proof of this result is based on the notion of ``intrinsic purification'' that we introduce to circumvent the use of Uhlman's theorem when the quantum states are Gaussian. We then examine a weaker primitive, ``quantum weak coin flipping'', in the standard model of quantum computation. Mochon has showed that there exists such a protocol with arbitrarily small bias. We give a clear and meaningful interpretation of his proof. That allows us to present a drastically shorter and simplified proof.The second part of the dissertation deals with different methods of proving lower bounds on the quantum query complexity. This is a very important model in quantum complexity in which numerous results have been proved. In this model, an algorithm has restricted access to the input: it can only query individual bits. We consider a generalization of the standard model, where an algorithm does not compute a classical function, but generates a quantum state. This generalization allows us to compare the strength of the different methods used to prove lower bounds in this model. We first prove that the ``multiplicative adversary method'' is stronger than the ``additive adversary method''. We then show a reduction from the ``polynomial method'' to the multiplicative adversary method. Hence, we prove that the multiplicative adversary method is the strongest one. Adversary methods are usually difficult to use since they involve the computation of norms of matrices with very large size. We show how studying the symmetries of a problem can largely simplify these computations. Last, using these principles we prove the tight lower bound of the INDEX-ERASURE problem. This a quantum state generation problem that has links with the famous GRAPH-ISOMORPHISM problem.
|
744 |
Study of the internal structure of the proton with the PANDA experiment at FAIR / Etude de la strucutre interne du proton avec l'experience PANDA à FAIRDbeyssi, Alaa 27 September 2013 (has links)
Le proton est un état lié de quarks qui sont maintenus ensemble par l’interaction forte dont les médiateurs sont les gluons. La compréhension de la structure du proton est actuellement l’une des questions centrales de laphysique hadronique. Le présent travail rend compte des études phénoménologiques et expérimentales reliées aux possibilités offertes par le faisceau d’antiprotons qui sera disponible au futur complexe accélérateur FAIR à Darmstadt, dans la gamme d’impulsion entre 1.5 et 15 GeV/c. Après une classification des réactions qui sont accessibles dans l’annihilation proton-antiproton, les caractéristiques principales du détecteur PANDA sont décrites. Un chapitre de cette thèse est consacré à l’étude du couplage optique entre les cristaux et les photo-diodes du calorimètre électromagnétique, qui sera exploité à basse température (-25° C). Les propriétés mécaniques, thermiques, optiques et la résistance aux radiations de deux colles commerciales sont quantifiées.Des études de faisabilité de la réaction pbarp → e+e− pour la mesure des facteurs de forme du proton dans la region temps à PANDA sont présentées. La structure électromagnétique du proton est parametrisée par ses facteurs de forme électrique GE et magnétique GM. L’interaction électromagnétique est bien décrite par la théorie de l’électrodynamique quantique. L’outil usuel pour déterminer les facteurs de forme électromagnétiques du proton est la diffusion élastique électron-proton polarisée et non polarisée, sous l’hypothèse que l’interaction se produit par l’échange d’un seul photon virtuel. La reaction croisée pbarp → e+e− permet d’accéder à la region temps. Les réactions du bruit de fond sont également étudiées, en particulier la réaction pbap → π+π−. Les résultats obtenus à partir d’une simulation Monte Carlo réaliste en utilisant le logiciel PANDARoot montre que le rapport des facteurs de forme du proton peut etre mesuré à PANDA avec une précision sans précédent. Les effets des corrections radiatives dus à l’émission de photons réels et virtuels sont considérés.Basé sur un formalisme modèle indépendant, le calcul des observables expérimentales pour la reaction pbap → e+e− est étendue à l’annihilation en une paire de leptons lourds qui porte la méme information physique sur la structure du proton que les électrons. Dans ce cas, la masse du lepton ne peut pas etre négligée. Le méme formalisme est également appliqué dans la région espace à la diffusion élastique des protons par des électrons au repos (cinématique inverse). La diffusion pe-élastique puisse etre utilisée pour polariser et/ou mesurer la polarisation des faisceaux de protons (antiprotons)de haute énergie, et elle permette également de mesurer le rayon de charge du proton. / The proton is a bound state of quarks which are held together by the strong force, mediated by gluons. The understanding of the proton structure is presently one of the central issues in hadron physics. The present work reports on phenomenological and experimental studies related to the possibilities offered by the future antiproton beam at the FAIR facility at Darmstadt, in the momentum range between 1.5 and 15 GeV/c. After a classification of the reaction channels which are accessible in antiproton-proton annihilation, the main features of the PANDA detector are described. A chapter of this thesis is dedicated to the study of the optical coupling between crystals and photodiodes in the electromagnetic calorimeter, which will be operated at low temperature (-25° C). Mechanical, thermal, optical properties and radiation hardness of two commercial glues are quantified.Feasibility studies of the reaction barp → e+e− for the Time-Like proton form factor measurements at PANDA are presented. The electromagnetic structure of the proton is parametrized in terms of electric GE and magnetic GM form factors. The electromagnetic interaction is well described by the theory of quantum electrodynamics. The traditional tool to determine proton electromagnetic form factors is polarized and unpolarized electron-proton elastic scattering, assuming that the interaction occurs through the exchange of one virtual photon. The crossed symmetry channels pbarp ↔ e+e− allowto access the Time-Like region. The background reactions are also studied, in particular the pbarp → π+π− channel. The results obtained from a realistic Monte Carlo simulation using PANDARoot show that the proton form factor ratio can be measured at PANDA with unprecedented accuracy. The effects of radiative corrections due to real and virtual photon emission are considered.Based on a model independent formalism, the calculation of the experimental observables for the pbarp → e+e− reaction is extended to the annihilation into a heavy lepton pair which carries the same physical information on the proton structure as the electrons. In this case, the lepton mass can not be neglected. The same formalism is also applied in Space-Like region to the elastic scattering of protons from electrons at rest (pe-inverse kinematics). We suggest that the elastic pe scattering can be used to polarize and/or to measure the polarization of high energy proton (antiproton) beams, and allows a precise measurement of the proton charge radius.
|
745 |
Anion-induced self-assembly of positively charged polycyclic aromatic hydrocarbons towards nanostructures with controllable two-dimensional morphologiesYang, Chongqing, Wu, Dongqing, Zhao, Wuxue, Ye, Weizhen, Xu, Zhixiao, Zhang, Fan, Feng, Xinliang 17 July 2017 (has links)
A controllable self-assembly strategy of positively charged polycyclic aromatic hydrocarbons (PCPAH) towards the formation of rectangle sheets and ribbon-like nanostructures has been achieved by choosing divalent anions with different sizes. In contrast, only rod-like nanostructures are obtained from PCPAH with univalent anions. It is revealed that the divalent anions play a key role in guiding the packing of PCPAH, which provides an unprecedented route to fabricate two-dimensional nanostructures.
|
746 |
Dual Leadership: Perspectives of African American Women Leaders in Ministry and the WorkplaceLewis, YoLanda S. 04 August 2021 (has links)
No description available.
|
747 |
Quantum Interferences in the Dynamics of Atoms and Molecules in Electromagnetic Fields / Interférences quantiques dans la dynamique d'atomes et molécules dans un champ électromagnétiquePuthumpally Joseph, Raijumon 29 February 2016 (has links)
Les interférences quantiques apparaissant lors de la superposition cohérente d'états quantiques de la matière sont à l'origine de la compréhension et du contrôle de nombreux processus élémentaires. Dans cette thèse, deux problèmes distincts, qui ont pour origine de tels effets, sont discutés avec leurs applications potentielles : 1. Diffraction électronique induite par Laser (LIED) et imagerie des orbitales moléculaires ; 2. Effets collectifs dans des vapeurs denses et transparence électromagnétique induite par interaction dipôle-dipôle (DIET). La première partie de cette thèse traite du mécanisme de recollision dans des molécules linéaires simples lorsque le système est exposé à un champ laser infrarouge de forte intensité. Cette interaction provoque une ionisation tunnel du système moléculaire, conduisant à la création d'un paquet d'ondes électronique dans le continuum. Ce paquet d'ondes suit une trajectoire oscillante, dirigée par le champ laser. Cela provoque une collision avec l'ion parent qui lui a donné naissance. Ce processus de diffraction peut être de nature inélastique, engendrant la génération d'harmoniques d'ordre élevé (HHG) ou l'ionisation double non-séquentielle, ou de nature élastique, processus que l'on appelle généralement « diffraction électronique induite par laser ». La LIED porte des informations sur la molécule et sur l'état initial à partir duquel les électrons sont arrachés sous forme de motifs de diffraction formés en raison de l'interférence entre différentes voies de diffraction. Dans ce projet, une méthode est développée pour l'imagerie des orbitales moléculaires, reposant sur des spectres de photo-électrons obtenus par LIED. Cette méthode est basée sur le fait que la fonction d'ondes du continuum conserve la mémoire de l'objet à partir duquel elle a été diffractée. Un modèle analytique basé sur l'approximation de champ fort (SFA) est développé pour des molécules simples linéaires et appliqué aux orbitales moléculaires HOMO et HOMO-1 du dioxyde de carbone. L'interprétation et l'extraction des informations orbitalaires imprimées dans les spectres de photo-électrons sont présentées en détail. Par ailleurs, nous estimons que ce type d'approche pourrait être étendu à l'imagerie de la dynamique électro-nucléaire de tels systèmes. La deuxième partie de cette thèse traite des effets collectifs dans des vapeurs atomiques ou moléculaires denses. L'action de la lumière sur ces gaz crée des dipôles induits qui oscillent et produisent des ondes électromagnétiques secondaires. Lorsque les particules constitutives du gaz sont assez proches, ces ondes secondaires peuvent coupler les dipôles induits entre-eux, et lorsque cette corrélation devient prépondérante la réponse du gaz devient une réponse collective. Ceci conduit à des effets spécifiques pour de tels systèmes, comme l'effet Dicke, la superradiance, et les décalages spectraux de Lorentz-Lorenz ou de Lamb. A cette liste d'effets collectifs, nous avons ajouté un effet de transparence induite dans l'échantillon. Cet effet collectif a été appelé « transparence électromagnétique induite par interaction dipôle-dipôle ». La nature collective de l'excitation du gaz dense réduit la vitesse de groupe de la lumière transmise à quelques dizaines de mètre par seconde, créant ainsi une lumière dite « lente ». Ces effets sont démontrés pour les transitions D1 du 85Rb et d'autres applications potentielles sont également discutées. / Quantum interference, coherent superposition of quantum states, are widely used for the understanding and engineering of the quantum world. In this thesis, two distinct problems that are rooted in quantum interference are discussed with their potential applications: 1. Laser induced electron diffraction (LIED) and molecular orbital imaging, 2. Collective effects in dense vapors and dipole induced electromagnetic transparency (DIET). The first part deals with the recollision mechanism in molecules when the system is exposed to high intensity infrared laser fields. The interaction with the intense field will tunnel ionize the system, creating an electron wave packet in the continuum. This wave packet follows an oscillatory trajectory driven by the laser field. This results in a collision with the parent ion from which the wave packet was formed. This scattering process can end up in different channels including either inelastic scattering resulting in high harmonic generation (HHG) and non-sequential double ionization, or elastic scattering often called laser induced electron diffraction. LIED carries information about the molecule and about the initial state from which the electron was born as diffraction patterns formed due to the interference between different diffraction pathways. In this project, a method is developed for imaging molecular orbitals relying on scattered photoelectron spectra obtained via LIED. It is based on the fact that the scattering wave function keeps the memory of the object from which it has been scattered. An analytical model based on the strong field approximation (SFA) is developed for linear molecules and applied to the HOMO and HOMO-1 molecular orbitals of carbon dioxide. Extraction of orbital information imprinted in the photoelectron spectra is presented in detail. It is anticipated that it could be extended to image the electro-nuclear dynamics of such systems. The second part of the thesis deals with collective effects in dense atomic or molecular vapors. The action of light on the vapor samples creates dipoles which oscillate and produce secondary electro-magnetic waves. When the constituent particles are close enough and exposed to a common exciting field, the induced dipoles can affect one another, setting up a correlation which forbids them from responding independently towards the external field. The result is a cooperative response leading to effects unique to such systems which include Dicke narrowing, superradiance, Lorentz-Lorenz and Lamb shifts. To this list of collective effects, one more candidate has been added, which is revealed during this study: an induced transparency in the sample. This transparency, induced by dipole-dipole interactions, is named “dipole-induced electromagnetic transparency”. The collective nature of the dense vapor excitation reduces the group velocity of the transmitted light to a few tens of meter per second resulting in 'slow' light. These effects are demonstrated for the D1 transitions of 85Rb and other potential applications are also discussed.
|
748 |
Stabilité pour des modèles de réseaux de neurones et de chimiotaxie / Stability for the models of neuronal network and chemotaxisWeng, Qilong 29 September 2017 (has links)
Cette thèse vise à étudier certains modèles biologiques dans le réseau neuronal et dans la chimiotaxie avec la méthode d’analyse spectrale. Afin de traiter les principaux problèmes, tels que l’existence et l’unicité des solutions et des états stationnaires ainsi que les comportements asymptotiques, le modèle linéaire ou linéarisé associé est considéré par l’aspect du spectre et des semi-groupes dans les espaces appropriés, puis la stabilité de modèle non linéaire suit. Plus précisément, nous commençons par une équation de courses-et-chutes linéaire dans la dimension d≥1 pour établir l’existence d’un état stationnaire unique, positif et normalisé et la stabilité exponentielle asymptotique dans l’espace L¹ pondéré basé sur la théorie de Kerin-Rutman avec quelques estimations du moment de la théorie cinétique. Ensuite, nous considérons le modèle du temps écoulé sous les hypothèses générales sur le taux de tir et nous prouvons l’unicité de l’état stationnaire et sa stabilité exponentielle non linéaire en cas sans ou avec délai au régime de connectivité faible de la théorie de l’analyse spectrale pour les semi-groupes. Enfin, nous étudions le modèle sous une hypothèse de régularité plus faible sur le taux de tir et l’existence de la solution ainsi que la même stabilité exponentielle sont généralement établies n’importe la prise en compte du délai ou non, au régime de connectivité faible ou forte. / This thesis is aimed to study some biological models in neuronal network and chemotaxis with the spectral analysis method. In order to deal with the main concerning problems, such as the existence and uniqueness of the solutions and steady states as well as the asymptotic behaviors, the associated linear or linearized model is considered from the aspect of spectrum and semigroups in appropriate spaces then the nonlinear stability follows. More precisely, we start with a linear runs-and-tumbles equation in dimension d≥1 to establish the existence of a unique positive and normalized steady state and the exponential asymptotic stability in weighted L¹ space based on the Krein-Rutman theory together with some moment estimates from kinetic theory. Then, we consider time elapsed model under general assumptions on the firing rate and prove the uniqueness of the steady state and its nonlinear exponential stability in case without or with delay in the weak connectivity regime from the spectral analysis theory for semigroups. Finally, we study the model under weaker regularity assumption on the firing rate and the existence of the solution as well as the same exponential stability are established generally no matter taking delay into account or not and no matter in weak or strong connectivity regime.
|
749 |
Bosons couplés à des spins 1/2 sur réseau / Bosons coupled to spins 1/2 in latticeFlottat, Thibaut 17 October 2016 (has links)
Les systèmes fortement corrélés, pouvant adopter des phases surprenantes de la matière, émergent dans le domaine des atomes ultra-froids ou dans celui de l’électrodynamique quantique en cavité (CQED). Ceux-ci sont au centre d’intenses travaux expérimentaux et théoriques. Dans cette thèse, nous présentons une étude de deux modèles de bosons avec deux ou zéro états internes. Ceux-ci peuvent se déplacer sur un réseau, et sont localement couplés avec des spins 1/2. Notre intérêt réside dans la détermination du diagramme de phase de l’état fondamental de ces systèmes ainsi que de l’étude des propriétés de phase et des transitions entre ces dernières. Nous avons utilisé deux outils : une approximation de champ moyen et des simulations de Monte-Carlo quantique, qui fournit des résultats numériquement exacts. Le premier modèle, appelé modèle de Kondo bosonique sur réseau, s’inscrit dans le contexte des atomes ultra-froids sur réseau. Nous trouvons que sa physique est proche de celle du modèle de Bose-Hubbard, présentant des phases de Mott et superfluide. Le couplage local renforce le caractère isolant et on observe l’émergence de phases magnétiques au travers de couplage direct ou indirect entre bosons et/ou spins. Les effets thermiques, inhérents à tout dispositif expériemental, sont aussi étudiés. Le second modèle s’inscrit dans le domaine de la CQED sur réseau, décrit un régime de couplage ultra-fort entre des photons et des atomes, et est appelé modèle de Rabi sur réseau. Le diagramme de phase présente juste deux phases : une phase cohérente dans laquelle les spins locaux s’ordonnent ferromagnétiquement ainsi qu’une phase incohérente compressible paramagnétique / Strongly correlated systems, where new surprising phases of matter may appear both in the context of ultra-cold atoms and cavity quantum electrodynamics, are the focus of intense experimental and theoritical activity. In this thesis we present a study of two models of bosons with two or zero internal states, that is to say spin-1/2 or spin-0 bosons. These particles can move around a lattice, and they are locally coupled to immobile spins 1/2. Our interest was to determine the ground state phase diagram, study phase properties and quantum phase transitions. We used two methods: an approximate one using a mean field approach and the other using quantum Monte-Carlo simulations, which provides numerically exact results. The first model, namely the bosonic Kondo lattice model, is in the context of ultra-cold atoms in optical lattices. We found that its physics is close to that of the Bose-Hubbard model, exhibiting Mott and superfluid phases. The local coupling strengthens the insulating behaviour of the system and magnetism emerges through indirect or direct coupling between bosons. Thermal effects, inherent in experiments, are also studied. The second model, which is in the context of light-matter interaction, describes a situation of an ultra-strong coupling between spin-0 bosons (photons) and local spins 1/2 (two levels atoms) and is known as the Rabi lattice model. The phase diagram generally consists of only two phases: a coherent phase and a compressible incoherent one. The locals
|
750 |
Causal Models over Infinite Graphs and their Application to the Sensorimotor Loop: Causal Models over Infinite Graphs and their Application to theSensorimotor Loop: General Stochastic Aspects and GradientMethods for Optimal ControlBernigau, Holger 04 July 2015 (has links)
Motivation and background
The enormous amount of capabilities that every human learns throughout his life, is probably among the most remarkable and fascinating aspects of life. Learning has therefore drawn lots of interest from scientists working in very different fields like philosophy, biology, sociology, educational sciences, computer sciences and mathematics. This thesis focuses on the information theoretical and mathematical aspects of learning.
We are interested in the learning process of an agent (which can be for example a human, an animal, a robot, an economical institution or a state) that interacts with its environment. Common models for this interaction are Markov decision processes (MDPs) and partially observable Markov decision processes (POMDPs). Learning is then considered to be the maximization of the expectation of a predefined reward function. In order to formulate general principles (like a formal definition of curiosity-driven learning or avoidance of unpleasant situation) in a rigorous way, it might be desirable to have a theoretical framework for the optimization of more complex functionals of the underlying process law. This might include the entropy of certain sensor values or their mutual information. An optimization of the latter quantity (also known as predictive information) has been investigated intensively both theoretically and experimentally using computer simulations by N. Ay, R. Der, K Zahedi and G. Martius. In this thesis, we develop a mathematical theory for learning in the sensorimotor loop beyond expected reward maximization.
Approaches and results
This thesis covers four different topics related to the theory of learning in the sensorimotor loop.
First of all, we need to specify the model of an agent interacting with the environment, either with learning or without learning. This interaction naturally results in complex causal dependencies. Since we are interested in asymptotic properties of learning algorithms, it is necessary to consider infinite time horizons. It turns out that the well-understood theory of causal networks known from the machine learning literature is not powerful enough for our purpose. Therefore we extend important theorems on causal networks to infinite graphs and general state spaces using analytical methods from measure theoretic probability theory and the theory of discrete time stochastic processes. Furthermore, we prove a generalization of the strong Markov property from Markov processes to infinite causal networks.
Secondly, we develop a new idea for a projected stochastic constraint optimization algorithm. Generally a discrete gradient ascent algorithm can be used to generate an iterative sequence that converges to the stationary points of a given optimization problem. Whenever the optimization takes place over a compact subset of a vector space, it is possible that the iterative sequence leaves the constraint set. One possibility to cope with this problem is to project all points to the constraint set using Euclidean best-approximation. The latter is
sometimes difficult to calculate. A concrete example is an optimization over the unit ball in a matrix space equipped with operator norm. Our idea consists of a back-projection using quasi-projectors different from the Euclidean best-approximation. In the matrix example, there is another canonical way to force the iterative sequence to stay in the constraint set:
Whenever a point leaves the unit ball, it is divided by its norm. For a given target function, this procedure might introduce spurious stationary points on the boundary. We show that this problem can be circumvented by using a gradient that is tailored to the quasi-projector used for back-projection. We state a general technical compatibility condition between a quasi-projector and a metric used for gradient ascent, prove convergence of stochastic iterative sequences and provide an appropriate metric for the unit-ball example.
Thirdly, a class of learning problems in the sensorimotor loop is defined and motivated. This class of problems is more general than the usual expected reward maximization and is illustrated by numerous examples (like expected reward maximization, maximization of the predictive information, maximization of the entropy and minimization of the variance of a given reward function). We also provide stationarity conditions together with appropriate gradient formulas.
Last but not least, we prove convergence of a stochastic optimization algorithm (as considered in the second topic) applied to a general learning problem (as considered in the third topic). It is shown that the learning algorithm converges to the set of stationary points. Among others, the proof covers the convergence of an improved version of an algorithm for the maximization of the predictive information as proposed by N. Ay, R. Der and K. Zahedi. We also investigate an application to a linear Gaussian dynamic, where the policies are encoded by the unit-ball in a space of matrices equipped with operator norm.
|
Page generated in 0.0614 seconds