Global ETD Search

91	Symétries et corrélations dans les gaz quantiques fortement interagissants à une dimension / Symmetries and correlations in strongly interacting one-dimensional quantum gases Decamp, Jean 25 September 2018 (has links) L’objectif principal de cette thèse est l’étude théorique de mélanges quantiques fortement interagissants à une dimension et soumis à un potentiel externe harmonique. De tels systèmes fortement corrélés peuvent être réalisés et testés dans des expériences d’atomes ultrafroids. Leurs propriétés de symétrie par permutation non triviales sont étudiées, ainsi que leurs effets sur les corrélations. Exploitant une solution exacte pour des interactions fortes, nous extrayons des propriétés générales des corrélations encodées dans la matrice densité à un corps et dans les distributions des impulsions associées, dans les mélanges fermioniques et de Bose-Fermi. En particulier, nous obtenons des résultats substantiels sur le comportement à courtes distances, et donc les queues à haute impulsions, qui suivent des lois en k^−4 typiques. Les poids de ces queues, dénotés contacts de Tan, sont liés à de nombreuses propriétés thermodynamiques des systèmes telles que les corrélations à deux corps, la dérivée de l’énergie par rapport à la longueur de diffusion unidimensionnelle, ou le facteur de structure statique. Nous montrons que ces contacts universels de Tan permettent également de caractériser la symétrie spatiale des systèmes, et constituent donc une connexion profonde entre les corrélations et les symétries. En outre, la symétrie d’échange est extraite en utilisant une méthode de théorie des groupes, à savoir la méthode de la somme des classes (class-sum method en anglais), qui provient à l’origine de la physique nucléaire. De plus, nous montrons que ces systèmes suivent une version généralisée du fameux théorème de Lieb-Mattis. Souhaitant rendre nos résultats aussi pertinents expérimentalement que possible, nous dérivons des lois d’échelle pour le contact de Tan en fonction de l’interaction, de la température et du confinement transverse. Ces lois présentent des effets intéressants liés aux fortes corrélations et à la dimensionnalité. / The main focus of this thesis is the theoretical study of strongly interacting quantum mixtures confined in one dimension and subjected to a harmonic external potential. Such strongly correlated systems can be realized and tested in ultracold atoms experiments. Their non-trivial permutational symmetry properties are investigated, as well as their interplay with correlations. Exploiting an exact solution at strong interactions, we extract general correlation properties encoded in the one-body density matrix and in the associated momentum distributions, in fermionic and Bose-Fermi mixtures. In particular, we obtain substantial results about the short-range behavior, and therefore the high-momentum tails, which display typical k^−4 laws. The weights of these tails, denoted as Tan’s contacts, are related to numerous thermodynamic properties of the systems such as the two-body correlations, the derivative of the energy with respect to the one-dimensional scattering length, or the static structure factor. We show that these universal Tan’s contacts also allow to characterize the spatial symmetry of the systems, and therefore is a deep connection between correlations and symmetries. Besides, the exchange symmetry is extracted using a group theory method, namely the class-sum method, which comes originally from nuclear physics. Moreover, we show that these systems follow a generalized version of the famous Lieb-Mattistheorem. Wishing to make our results as experimentally relevant as possible, we derive scaling laws for Tan’s contact as a function of the interaction, temperature and transverse confinement. These laws. Display displadisplay display interesting effects related to strong correlations and dimensionality. Gaz quantiques Atomes ultrafroids Dimension un Mixtures quantiques Symétrie d'échange Théorie des groupes Méthode de la somme des classes Fermionisation Corrélations à un corps Contact de Tan Lois d'échelle Quantum gases Ultracold atoms One dimension Quantum mixtures Exchange symmetry Group theory Class-sum method Fermionization One-body correlations Tan’s contact Sclaing laws
92	Conductivité pour des fermions de Dirac près d’un point critique quantique Martin, Simon 08 1900 (has links) Les matériaux de Dirac constituent une classe intéressante de systèmes pouvant subir une transition de phase quantique à température nulle, lorsqu’un paramètre non-thermique atteint un point critique quantique. À l’approche d’un tel point, les observables physiques sont affectées par les importantes fluctuations thermiques et quantiques. Dans ce mémoire, on utilise des techniques de théorie conforme des champs afin d’étudier le tenseur de conductivité électrique dans des théories en 2 + 1 dimensions contenant des fermions de Dirac près d’un point critique quantique. À basse énergie, ces dernières décrivent de façon adéquate de nombreux matériaux de Dirac ainsi que leur transition de phase quantique. La conductivité est étudiée dans le régime des hautes fréquences, à température non-nulle et lorsque le paramètre non-thermique est près de sa valeur critique. Dans ce projet, l’emphase est mise sur les points critiques quantiques invariants sous la parité et le renversement du temps. Dans ce cas, l’expansion de produit d’opérateurs (Operator product expansion en anglais) ainsi que la théorie des perturbations conforme permettent d’obtenir une expression générale pour l’expansion à grandes fréquences des conductivités longitudinales et transverses (de Hall) lorsque le point critique quantique est déformé par un opérateur scalaire relevant. Grâce à ces dernières, nous sommes en mesure de déduire des règles de somme exactes pour ces deux quantités. À titre d’exemple, nos résultats généraux sont appliqués dans le cadre du modèle interagissant de Gross-Neveu, où nous obtenons l’expansion des deux conductivités ainsi que les règles de somme pour un nombre de saveurs de fermions de Dirac N arbitraire. Ces mêmes expressions sont ensuite obtenues par un calcul explicite à N = infini, permettant la comparaison avec les résultats pour un N quelconque. Par la suite, des résultats généraux similaires sont obtenus dans le cas où le point critique quantique est déformé par un opérateur pseudoscalaire relevant. Ces derniers sont finalement appliqués à une théorie de fermions de Dirac libres perturbée par un terme de masse. / Dirac materials constitute an interesting class of systems that can undergo a quantum phase transition at zero temperature, when a non-thermal parameter reaches a quantum critical point. As we approach such a point, physical observables are altered by the important thermal and quantum fluctuations. In this thesis, conformal field theory techniques are used to study the electrical conductivity tensor in theories with Dirac fermions in 2+1 dimensions close to a quantum critical point. At low energies, these adequately describe various Dirac materials as well as their quantum phase transition. In this project, we focus on theories that have a quantum critical point invariant under parity and time-reversal. In this case, the operator product expansion and conformal perturbation theory allow to obtain a general expression for the large frequency expansion of the longitudinal and transverse (Hall) conductivities when the quantum critical point is deformed by a relevant scalar operator. Using these, we are able to deduce exact sum rules for both quantities. As an example, our general results are applied to the Gross-Neveu model, where we obtain the large frequency expansion for both conductivities and the associated sum rules for an arbitrary number of Dirac fermion flavors N. The same expressions are then obtained by an explicit calculation at N = infinity, allowing to compare with our results for any N. Afterwards, analogous general results are obtained for theories where the quantum critical point is deformed by a relevant pseudoscalar. These are finally applied to a theory of massless free Dirac fermions perturbed by a mass term. Phénomènes critiques quantiques transition de phase quantique théorie conforme des champs expansion de produit d’opérateurs fermions de Dirac conductivité électrique modèle de Gross-Neveu règle de somme expansion 1/N Quantum critical phenomena quantum phase transition conformal field theory operator product expansion Dirac fermions electrical conductivity Gross-Neveu model sum rule 1/N expansion
93	Calcul flottant haute performance sur circuits reconfigurables Pasca, Bogdan Mihai 21 September 2011 (has links) (PDF) De plus en plus de constructeurs proposent des accélérateurs de calculs à base de circuits reconfigurables FPGA, cette technologie présentant bien plus de souplesse que le microprocesseur. Valoriser cette flexibilité dans le domaine de l'accélération de calcul flottant en utilisant les langages de description de circuits classiques (VHDL ou Verilog) reste toutefois très difficile, voire impossible parfois. Cette thèse a contribué au développement du logiciel FloPoCo, qui offre aux utilisateurs familiers avec VHDL un cadre C++ de description d'opérateurs arithmétiques génériques adapté au calcul reconfigurable. Ce cadre distingue explicitement la fonctionnalité combinatoire d'un opérateur, et la problématique de son pipeline pour une précision, une fréquence et un FPGA cible donnés. Afin de pouvoir utiliser FloPoCo pour concevoir des opérateurs haute performance en virgule flottante, il a fallu d'abord concevoir des blocs de bases optimisés. Nous avons d'abord développé des additionneurs pipelinés autour des lignes de propagation de retenue rapides, puis, à l'aide de techniques de pavages, nous avons conçu de gros multiplieurs, possiblement tronqués, utilisant des petits multiplieurs. L'évaluation de fonctions élémentaires en flottant implique souvent l'évaluation en virgule fixe d'une fonction. Nous présentons un opérateur générique de FloPoCo qui prend en entrée l'expression de la fonction à évaluer, avec ses précisions d'entrée et de sortie, et construit un évaluateur polynomial optimisé de cette fonction. Ce bloc de base a permis de développer des opérateurs en virgule flottante pour la racine carrée et l'exponentielle qui améliorent considérablement l'état de l'art. Nous avons aussi travaillé sur des techniques de compilation avancée pour adapter l'exécution d'un code C aux pipelines flexibles de nos opérateurs. FloPoCo a pu ainsi être utilisé pour implanter sur FPGA des applications complètes. FPGA Virgule flottante FloPoCo Chemin de données arithmétique Pipeline pour une fréquence donnée Addition pipelinée Additionneur rapide Multiplication Karatsuba-Offman Carré Multiplieur tronqué Multiplication par pavage Virgule fixe Approximation polynomiale Racine carrée flottante Exponentielle flottante Accumulation flottante Schéma d'évaluation de Horner Somme de carrés flottante Synthèse de haut niveau Nid de boucles parfait Multiplication de matrices Jacobi Dilemme du fabricant de table Méthode des différences tabulées Communications pipelinées
94	Modélisation quantochimiques des forces de dispersion de London par la méthode des phases aléatoires (RPA) : développements méthodologiques / Quantum chemical studies of London dispersion forces by the random phase approximation (RPA) : methodological developments. Mussard, Bastien 13 December 2013 (has links) Dans cette thèse sont montrés des développements de l'approximation de la phase aléatoire (RPA) dans le contexte de théories à séparation de portée. On présente des travaux sur le formalisme de la RPA en général, et en particulier sur le formalisme "matrice diélectrique" qui est exploré de manière systématique. On montre un résumé d'un travail sur les équations RPA dans le contexte d'orbitales localisées, notamment des développements des orbitales virtuelles localisées que sont les "orbitales oscillantes projetées" (POO). Un programme a été écrit pour calculer des fonctions telles que le trou de d'échange, la fonction de réponse, etc... sur des grilles de l'espace réel (grilles parallélépipédiques ou de type "DFT"). On montre certaines de ces visualisations. Dans l'espace réel, on expose une adaptation de l'approximation du dénominateur effectif (EED), développée originellement dans l'espace réciproque en physique du solide. Également, les gradients analytiques des énergies de corrélation RPA dans le contexte de la séparation de portée sont dérivés. Le formalisme développé ici à l'aide d'un lagrangien permet une dérivation tout-en-un des termes courte- et longue-portée qui émergent dans les expressions du gradient, et qui montrent un parallèle intéressant. Des applications sont montrées, telles que des optimisations de géométries aux niveaux RSH-dRPA-I et RSH-SOSEX d'un ensemble de 16 petites molécules, ou encore le calcul et la visualisation des densités corrélées au niveau RSH-dRPA-I / In this thesis are shown developments in the random phase approximation (RPA) in the context of range-separated theories. We present advances in the formalism of the RPA in general, and particularly in the "dielectric matrix" formulation of RPA, which is explored in details. We show a summary of a work on the RPA equations with localized orbitals, especially developments of the virtual localized orbitals that are the "projected oscillatory orbitals" (POO). A program has been written to calculate functions such as the exchange hole, the response function, etc... on real space grid (parallelepipedic or of the "DFT" type) ; some of those visualizations are shown here. In the real space, we offer an adaptation of the effective energy denominator approximation (EED), originally developed in the reciprocal space in solid physics. The analytical gradients of the RPA correlation energies in the context of range separation has been derived. The formalism developed here with a Lagrangian allows an all-in-one derivation of the short- and long-range terms that emerge in the expressions of the gradient. These terms show interesting parallels. Geometry optimizations at the RSH-dRPA-I and RSH-SOSEX levels on a set of 16 molecules are shown, as well as calculations and visualizations of correlated densities at the RSH-dRPA-I level Énergie de corrélation Interaction de Van der Waals Force de dispersion de London DFT Séparation de portée RSH Approximation de la phase aléatoire RPA Connexion adiabatique Matrice diélectrique Formule de plasmon Équation de Riccati Orbitale oscillante projetée POO Développement multipolaire Grille de l'espace réel Dénominateur effectif EED Règles de somme Gradient analytique Lagrangien Coupled-perturbed Densité corrélée Optimisation de géométrie Correlation energy Van der Waals interaction London dispersion force Density functional theory DFT Range separation RSH Random phase approximation RPA Adiabatic connection Dielectric matrix Plasmon formula Riccati equation Projected oscillatory orbital POO Multipolar expansion Real space grid Effective energy denominator EED Sum-rules Analytical gradient Lagrangian Coupled-perturbed Correlated densities Geometry optimization 541.28
95	Calcul flottant haute performance sur circuits reconfigurables / High-performance floating-point computing on reconfigurable circuits Pasca, Bogdan Mihai 21 September 2011 (has links) De plus en plus de constructeurs proposent des accélérateurs de calculs à base de circuits reconfigurables FPGA, cette technologie présentant bien plus de souplesse que le microprocesseur. Valoriser cette flexibilité dans le domaine de l'accélération de calcul flottant en utilisant les langages de description de circuits classiques (VHDL ou Verilog) reste toutefois très difficile, voire impossible parfois. Cette thèse a contribué au développement du logiciel FloPoCo, qui offre aux utilisateurs familiers avec VHDL un cadre C++ de description d'opérateurs arithmétiques génériques adapté au calcul reconfigurable. Ce cadre distingue explicitement la fonctionnalité combinatoire d'un opérateur, et la problématique de son pipeline pour une précision, une fréquence et un FPGA cible donnés. Afin de pouvoir utiliser FloPoCo pour concevoir des opérateurs haute performance en virgule flottante, il a fallu d'abord concevoir des blocs de bases optimisés. Nous avons d'abord développé des additionneurs pipelinés autour des lignes de propagation de retenue rapides, puis, à l'aide de techniques de pavages, nous avons conçu de gros multiplieurs, possiblement tronqués, utilisant des petits multiplieurs. L'évaluation de fonctions élémentaires en flottant implique souvent l'évaluation en virgule fixe d'une fonction. Nous présentons un opérateur générique de FloPoCo qui prend en entrée l'expression de la fonction à évaluer, avec ses précisions d'entrée et de sortie, et construit un évaluateur polynomial optimisé de cette fonction. Ce bloc de base a permis de développer des opérateurs en virgule flottante pour la racine carrée et l'exponentielle qui améliorent considérablement l'état de l'art. Nous avons aussi travaillé sur des techniques de compilation avancée pour adapter l'exécution d'un code C aux pipelines flexibles de nos opérateurs. FloPoCo a pu ainsi être utilisé pour implanter sur FPGA des applications complètes. / Due to their potential performance and unmatched flexibility, FPGA-based accelerators are part of more and more high-performance computing systems. However, exploiting this flexibility for accelerating floating-point computations by manually using classical circuit description languages (VHDL or Verilog) is very difficult, and sometimes impossible. This thesis has contributed to the development of the FloPoCo software, a C++ framework for describing flexible FPGA-specific arithmetic operators. This framework explicitly separates the description of the combinatorial functionality of an arithmetic operator, and its pipelining for a given precision, operating frequency and target FPGA.In order to be able to use FloPoCo for designing high performance floating-point operators, we first had to design the optimized basic blocks. We first developed pipelined addition architectures exploiting the fast-carry lines present in modern FPGAs. Next, we focused on multiplication architectures. Using tiling techniques, we proposed novel architectures for large multipliers, but also truncated multipliers, based on the multipliers found in modern FPGA DSP blocks. We also present a generic FloPoCo operator which inputs the expression of a function, its input and output precisions, and builds an optimized polynomial evaluator for the fixed-point evaluation of this function. Using this building block we have designed floating-point operators for the square-root and exponential functions which significantly outperform existing operators. Finally, we also made use of advanced compilation techniques for adapting the execution of a C program to the flexible pipelines of our operators. FPGA Virgule flottante FloPoCo Chemin de données arithmétique Pipeline pour une fréquence donnée Addition pipelinée Additionneur rapide Multiplication Karatsuba-Offman Carré Multiplieur tronqué Multiplication par pavage Virgule fixe Approximation polynomiale Racine carrée flottante Exponentielle flottante Accumulation flottante Schéma d'évaluation de Horner Somme de carrés flottante Synthèse de haut niveau Nid de boucles parfait Multiplication de matrices Jacobi Dilemme du fabricant de table Méthode des différences tabulées Communications pipelinées FPGA Floating-point FloPoCo Arithmetic datapath Frequency-driven pipelining Pipelined addition Short-latency adder Multiplication Karatsuba-Offman Squarer Truncated multiplier Multiplication tiling Fixed-point Polynomial approximation Floating-point square root Floating-point exponential Floating-point accumulation Horner datapath Floating-point sum-of-products High-level synthesis Perfect loop nests Matrix-matrix multiply Jacobi stencil Table maker's dilemma Pipelined communications Pipelined communications
96	Contribution à l'intégration d'une liaison avionique sans fil. L'ingénierie système appliquée à une problématique industrielle Berrebi, Johanna 21 February 2013 (has links) (PDF) Dans un avion, un hélicoptère ou un lanceur actuel, des milliers de capteurs, pour la plupart non critiques sont utilisés pour la mesure de divers paramètres (températures, pressions, positions...) Les résultats sont ensuite acheminés par des fils vers les calculateurs de bord qui les traitent. Ceci implique la mise en place de centaines de kilomètres de câbles (500 km pour un avion de ligne) dont le volume est considérable. Il en résulte une grande complexité de conception et de fabrication, des problèmes de fiabilité, notamment au niveau des connexions, et une masse importante. Par ailleurs l'instrumentation de certaines zones est impossible car leur câblage est difficilement envisageable par manque d'espace. En outre, s'il est souvent intéressant d'installer de nouveaux capteurs pour faire évoluer un aéronef ancien, l'installation des câbles nécessaires implique un démantèlement partiel, problématique et coûteux, de l'appareil. Pour résoudre ces problèmes, une idée innovante a émergé chez les industriels de l'aéronautique : commencer à remplacer les réseaux filaires reliant les capteurs d'un aéronef et leur centre de décision par des réseaux sans fil. Les technologies de communication sans fil sont aujourd'hui largement utilisées dans les marchés de l'électronique de grande consommation. Elles commencent également à être déployées pour des applications industrielles comme l'automobile ou le relevé à distance de compteurs domestiques. Cependant, remplacer des câbles par des ondes représente un défi technologique considérable comme la propagation en milieu confiné, la sécurité, la sureté de fonctionnement, la fiabilité ou la compatibilité électromagnétique. Cette thèse est motivée d'une part par l'avancée non négligeable dans le milieu aérospatial que pourrait être l'établissement d'un réseau sans fil à bord d'aéronefs dans la résolution de problématique classiques comme l'allégement et l'instrumentation. Il en résulterait donc : * Une meilleure connaissance de l'environnement et de la santé de l'aéronef * Un gain sur le poids. * Un gain en flexibilité. * Un gain en malléabilité et en évolutivité. * Un gain sur la complexité. * Un gain sur la fiabilité D'autre part, étant donnée la complexité de la conception de ce réseau de capteur sans fil, il a été nécessaire d'appliquer une méthodologie évolutive et adaptée mais inspirée de l'ingénierie système. Il est envisageable, vu le nombre de sous-systèmes à considérer, que cette méthodologie soit réutilisable pour d'autre cas pratiques. Une étude aussi complète que possible a été réalisée autour de l'existant déjà établi sur le sujet. En effet, on peut en lisant ce mémoire de thèse avoir une idée assez précise de ce qui a été fait. Une liste a été dressée de toutes les technologies sans fil en indiquant leur état de maturité, leurs avantages et leurs inconvénients afin de préciser les choix possibles et les raisons de ces choix. Des projets de capteurs sans fil ont été réalisés, des technologies sans fil performantes et personnalisables ont été développées et arrivent à maturité dans des secteurs variés tels que la domotique, la santé, l'automobile ou même l'aéronautique. Cependant aucun capteur sans fil n'a été véritablement installé en milieu aérospatial car de nombreux verrous technologiques n'ont pas été levés. Fort des expériences passées, et de la maturité qu'ont prise certaines technologies, des conclusions ont été tirées des projets antérieurs afin de tendre vers des solutions plus viables. Une fois identifiés, les verrous technologiques ont été isolés. Une personnalisation de notre solution a été à envisager afin de remédier tant que faire se peut à ces points bloquants avec les moyens mis à disposition. La méthodologie appliquée nous a permis d'identifier un maximum de contraintes, besoins et exigences pour mieux focaliser les efforts d'innovation sur les plus importantes et choisir ainsi les technologies les plus indiquées. ensemble d'éléments (logiciel respect des règles vérifications validations veille initialisation mesure transmission nominale ou dégradée

Page generated in 0.0279 seconds