• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 43
  • 14
  • 2
  • 1
  • Tagged with
  • 60
  • 39
  • 9
  • 9
  • 8
  • 7
  • 7
  • 6
  • 6
  • 6
  • 6
  • 5
  • 5
  • 5
  • 4
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
31

Study of rare b-baryon decays and test of lepton universality at LHCb / Études de désintégrations rares de baryons beaux et test de l'universalité du couplage aux leptons avec LHCb

Lisovskyi, Vitalii 09 September 2019 (has links)
Les courants neutres changeant la saveur b -> sl⁺l⁻ ne sont autorisés dans le Modèle Standard (MS) qu'au niveau des boucles.Par conséquent, ils sont sensibles aux éventuels effets de la Nouvelle Physique (NP) au-delà du MS.Dans le MS, les transitions b -> se⁺e⁻ et b -> sμ⁺μ⁻ ont la même probabilité, cette propriété est appelée l'universalité du couplage aux leptons (UL).Tester l'UL dans les désintégrations de hadrons beaux a récemment été un domaine prometteur pour les recherches de NP. Des tensions par rapport aux prédictions du MS, de l'ordre de 2,5 déviations standards, ont été observées dans les désintégrations rares B -> K(*) l⁺l ⁻. À ce jour, les tests de l'UL ont été effectués uniquement sur des désintégrations de mesons beaux.Cette thèse présente un premier test de la UL dans la désintégration rare du baryon Lambdab -> pK l⁺l⁻ , en utilisant les données collectées par l'expérience LHCb au CERN en 2011, 2012 et 2016. La sensibilité statistique attendue est d'environ 15%, tandis que la valeur centrale reste aveuglée.La première mesure du rapport de branchement de la désintégration Lambdab -> pKμ⁺μ⁻ est effectuée avec une précision statistique de 5,3%.En outre, cette thèse présente la première observation de la désintégration Lambdab -> pKe⁺e ⁻ , ainsi que la mesure de son rapport de branchement.Enfin, la désintégration Xib0 -> pKJ/ψ est observée et étudiée pour la première fois. / Flavor-changing neutral-current b ->sl⁺l⁻ transitions are forbidden at tree level in the Standard Model (SM), and can only occur at loop level. Therefore, they are sensitive to possible New Physics (NP) effects beyond the SM. In the SM, the transitions b ->se⁺e⁻ and b -> sμ⁺μ⁻ have the same probability to happen, this property is called lepton universality (LU). Probing LU in b-hadron decays has been recently a promising area for NP searches. Tensions with respect to the SM predictions at the level of about 2.5 standard deviations have been observed in rare B -> K(*)l⁺l ⁻ decays. To date, tests of LU have been performed only in decays of b-mesons.This thesis presents a first test of the LU in rare b-baryon decays Lambdab -> pK l⁺l⁻ using the data collected by the LHCb experiment at CERN, during 2011, 2012 and 2016 data-taking periods. The expected statistical sensitivity is about 15%, while the central value remains blind at the moment. The first measurement of the branching fraction of the decay Lambdab -> pKμ⁺μ⁻ is performed with the statistical precision of 5.3%.In addition, this thesis presents the first observation of the Lambdab -> pKe⁺e ⁻ decay, and the measurement of its branching fraction.Finally, a suppressed decay Xib0 -> pKJ/ψ is observed and studied for the first time.
32

Vers l’universalité des représentations visuelle et multimodales / On The Universality of Visual and Multimodal Representations

Tamaazousti, Youssef 01 June 2018 (has links)
En raison de ses enjeux sociétaux, économiques et culturels, l’intelligence artificielle (dénotée IA) est aujourd’hui un sujet d’actualité très populaire. L’un de ses principaux objectifs est de développer des systèmes qui facilitent la vie quotidienne de l’homme, par le biais d’applications telles que les robots domestiques, les robots industriels, les véhicules autonomes et bien plus encore. La montée en popularité de l’IA est fortement due à l’émergence d’outils basés sur des réseaux de neurones profonds qui permettent d’apprendre simultanément, la représentation des données (qui était traditionnellement conçue à la main), et la tâche à résoudre (qui était traditionnellement apprise à l’aide de modèles d’apprentissage automatique). Ceci résulte de la conjonction des avancées théoriques, de la capacité de calcul croissante ainsi que de la disponibilité de nombreuses données annotées. Un objectif de longue date de l’IA est de concevoir des machines inspirées des humains, capables de percevoir le monde, d’interagir avec les humains, et tout ceci de manière évolutive (c’est `a dire en améliorant constamment la capacité de perception du monde et d’interaction avec les humains). Bien que l’IA soit un domaine beaucoup plus vaste, nous nous intéressons dans cette thèse, uniquement à l’IA basée apprentissage (qui est l’une des plus performante, à ce jour). Celle-ci consiste `a l’apprentissage d’un modèle qui une fois appris résoud une certaine tâche, et est généralement composée de deux sous-modules, l’un représentant la donnée (nommé ”représentation”) et l’autre prenant des décisions (nommé ”résolution de tâche”). Nous catégorisons, dans cette thèse, les travaux autour de l’IA, dans les deux approches d’apprentissage suivantes : (i) Spécialisation : apprendre des représentations à partir de quelques tâches spécifiques dans le but de pouvoir effectuer des tâches très spécifiques (spécialisées dans un certain domaine) avec un très bon niveau de performance; ii) Universalité : apprendre des représentations à partir de plusieurs tâches générales dans le but d’accomplir autant de tâches que possible dansdifférents contextes. Alors que la spécialisation a été largement explorée par la communauté de l’apprentissage profond, seules quelques tentatives implicites ont été réalisée vers la seconde catégorie, à savoir, l’universalité. Ainsi, le but de cette thèse est d’aborder explicitement le problème de l’amélioration de l’universalité des représentations avec des méthodes d’apprentissage profond, pour les données d’image et de texte. [...] / Because of its key societal, economic and cultural stakes, Artificial Intelligence (AI) is a hot topic. One of its main goal, is to develop systems that facilitates the daily life of humans, with applications such as household robots, industrial robots, autonomous vehicle and much more. The rise of AI is highly due to the emergence of tools based on deep neural-networks which make it possible to simultaneously learn, the representation of the data (which were traditionally hand-crafted), and the task to solve (traditionally learned with statistical models). This resulted from the conjunction of theoretical advances, the growing computational capacity as well as the availability of many annotated data. A long standing goal of AI is to design machines inspired humans, capable of perceiving the world, interacting with humans, in an evolutionary way. We categorize, in this Thesis, the works around AI, in the two following learning-approaches: (i) Specialization: learn representations from few specific tasks with the goal to be able to carry out very specific tasks (specialized in a certain field) with a very good level of performance; (ii) Universality: learn representations from several general tasks with the goal to perform as many tasks as possible in different contexts. While specialization was extensively explored by the deep-learning community, only a few implicit attempts were made towards universality. Thus, the goal of this Thesis is to explicitly address the problem of improving universality with deep-learning methods, for image and text data. We have addressed this topic of universality in two different forms: through the implementation of methods to improve universality (“universalizing methods”); and through the establishment of a protocol to quantify its universality. Concerning universalizing methods, we proposed three technical contributions: (i) in a context of large semantic representations, we proposed a method to reduce redundancy between the detectors through, an adaptive thresholding and the relations between concepts; (ii) in the context of neural-network representations, we proposed an approach that increases the number of detectors without increasing the amount of annotated data; (iii) in a context of multimodal representations, we proposed a method to preserve the semantics of unimodal representations in multimodal ones. Regarding the quantification of universality, we proposed to evaluate universalizing methods in a Transferlearning scheme. Indeed, this technical scheme is relevant to assess the universal ability of representations. This also led us to propose a new framework as well as new quantitative evaluation criteria for universalizing methods.
33

L’accès aux soins à l’épreuve de la pauvreté : les tensions entre la fondamentalité du droit et l'universalisme / Healthcare access under the test of poverty : A critical analysis on the fundamentality of human rights

Tilly, Anne-Lise 16 November 2018 (has links)
Ancrée d’abord dans la charité, se métamorphosant dans la philanthropie libérale, dans la fraternité révolutionnaire, puis dans la solidarité républicaine, la fondamentalisation de l’accès aux soins des pauvres a finalement trouvé refuge dans les droits de l’Homme. Depuis la loi d’orientation relative à la lutte contre les exclusions du 29 juillet 1998, elle se traduit ainsi en France par l’affirmation d’un droit fondamental à la protection de la santé. Cette mutation est loin d’être anodine. L’action des pouvoirs publics et la responsabilité de la société dans la lutte contre l’exclusion sociale en santé s’en trouvent déportées du terrain économique et caritatif vers le terrain juridique. L’accès aux soins des pauvres ne relève plus seulement d’un devoir moral, mais aussi d’une obligation juridique en vertu du droit international des droits de l’Homme et des exigences constitutionnelles françaises. Mais quel est donc le contenu de cette obligation juridique ? Quelles sont la nature et la portée réelle de la notion juridique de droit fondamental à la protection de la santé, et de son emploi en lieu et place de celle de pauvreté ? Comment peut-elle s’inscrire dans un processus dynamique et pragmatique d’universalisation de l’accès aux soins ?C’est ainsi à une étude critique de la juridicisation contemporaine de l’accès aux soins des pauvres que la recherche s’attelle. Certes, la fondamentalisation de l’accès aux soins des pauvres se déploie désormais sur la base d’un droit fondamental à la protection de la santé. Mais le choix des moyens et des voies de réalisation de ce dernier ne fait pas consensus, et les juges hésitent toujours à sanctionner et contrôler pleinement le respect de son application. L’universalité de sa proclamation ne s’est pas encore muée en universalité de sa concrétisation. L’émergence d’un droit fondamental pour garantir l’accès aux soins des pauvres n’est en effet pas sans poser de difficultés. Ces dernières qui s’expriment de façon de plus en plus criante aujourd’hui tiennent à la tension irréductible entre son horizon d’universalité et sa pratique discriminatoire et ségrégative, mais aussi à son interactivité avec les autres droits jugés fondamentaux dans un monde où la santé est devenue un marché globalisé et la solidarité peut être assimilée à un délit.Malgré son inscription au sommet de la hiérarchie des normes, le droit à la santé reste en effet l’un des plus inégalement appliqués. S’il induit un principe d’égal accès aux soins, sa mise en œuvre catégorielle et différenciée pour les plus démunis entre en tension avec l’universalisme des droits de l’Homme. Aussi, l’effectivité des droits créances aux soins dépend fortement des finances publiques et donc des volontés politiques. Elle pose la question des devoirs de solidarité à imposer aux citoyens. Or, l’importance politique prise par l’économie dans le monde actuel vient particulièrement entraver les développements juridiques de la solidarité dans l’accès aux soins, en réduisant le rôle et les capacités de l’État providence. S’institue progressivement une forme de précarité sociale généralisée qui compromet l’accès aux soins de nombreuses personnes. En réintégrant les droits de l’Homme dans le débat, les nouvelles politiques de lutte contre la pauvreté tendent cependant à redonner sens au projet humaniste. L’éthique politique moderne en particulier, et la notion qui la traverse aujourd’hui, l’inclusion sociale, influencent les réflexions doctrinales, et avec elles les représentations du droit comme outils de la justice distributive. Désormais, les juristes se préoccupent des notions d’effectivité, de justiciabilité et d’exigibilité des droits sociaux aux soins. De nouvelles réponses sociales et juridiques émergent afin de donner aux personnes précaires et pauvres les capacités d’exercer pleinement leur droit fondamental à la protection de la santé. / Be in motivated by group or individual interest, the desire to help the poor appears as a constant around the world and throughout history. Originally anchored in charity, then reincarnated in liberal philanthropy, in the fraternity of the revolution, and in republican solidarity, the fundamentality of healthcare access for the poor finally found its home in Human Rights. Since the Framework Act on Measures to Combat Exclusion of 29 July 1998, the protection of health has been considered a fundamental right in France.This new incarnation is far from anodine. Government action and social responsibility in the fight against social exclusion in healthcare, have moved from an economic and charitable framework to a legal one. Healthcare access for the poor is no longer considered as just a moral duty, but also a legal obligation enshrined in international Human Rights law and the French Constitution. But what is the real content of this legal obligation? What is the nature and real application of the legal notion of a fundamental right to the protection of health, and how is this used to reduce poverty? How can we take poverty into account in the dynamic and pragmatic process of the universalisation of access to healthcare.This research thus attempts a critical study of contemporary legislation on healthcare access for the poor. Certainly, the fundamentality of healthcare access for the poor follows naturally from the fundamental right to the protection of health. But there is no consensus on the manner and means of its implementation, and the judiciary has hesitated to fully sanction and control its application. The universality of the proclamation has not yet been translated into universality of its realization. The emergence of a fundamental right guaranteeing access to healthcare for the poor is not without its difficulties. These difficulties, today more visible than ever, arise from the irreducible tension between the theoretical universality of this right and its discriminatory and segregative practice. Challenges also arise from the interaction of this and other rights considered fundamental in a world where health has become a globalized market and solidarity perhaps akin to a crime.Despite its place at the summit of the hierarchy of norms, the right to health remains one of the most unequally applied. If it demands a principle of equal access to healthcare, its discriminatory and segregational implementation among the poorest is at odds with the universalism of Human Rights. Moreover, the ability to claim the right to healthcare is highly dependent on public finances and political will. It requires that a duty of solidarity be imposed on citizens. However, the political importance given to the economy in the world today impedes on the legal development of solidarity in healthcare access, reducing the role and capacity of the welfare state. A generalized form of social precariousness is gradually being established, compromising access to healthcare for many people. By reintroducing Human Rights to the debate, new policies in the fight against poverty are beginning to bring meaning back to this humanist project. Modern political ethics in particular, and the current drive for social inclusion, are influencing doctrinal reflections, and with them the perception of the law as a tool for redistributive justice. Thus, lawyers now consider the notions of effectiveness, justiciability and accountability when addressing social rights to healthcare. New social and legal responses are emerging to empower people living in poverty or insecurity to fully exercise their fundamental right to the protection health.
34

Droits et libertés fondamentaux en droit musulman : le paradoxe de l'universalite / Fundamental right and freedoms in muslim righy : paradox of universality

Hattab, Zoulikha 30 November 2018 (has links)
Répondre à la problématique d’un Islam compatible avec les droits de l’homme est au regard des atrocités commises au nom de l’islam fondamental. Le but étant de faire une comparaison entre la vision universelle et la vision islamique des droits de l’homme, le paradoxe résidant dans le fait que les droits et libertés fondamentaux étant à valeur universelle, il ne devrait alors exister qu’une seule conception des droits de l’homme. L’autre paradoxe réside dans le fait que l’Islam est aussi une religion universelle qui dans ses sources protège et encadre très strictement la vie humaine. Les droits humains sont encadrés dans la vision universelle des droits de l’homme et ont muté en droits fondamentaux puisqu’ils sont consacrés par la majorité des Constitutions des États. Les États arabo-musulmans érigent aussi les droits fondamentaux au rang constitutionnel, mais sans jamais écarter l’islam. Il est de ce fait intéressant de comprendre comment les États arabo-musulmans arrivent à extraire de l’islam et de ses sources primaires les droits et libertés fondamentaux avec toutes les difficultés et limites que cela engendre. / It is fundamental to study the compatibility of Islam and human rights in view of the horrors that are done in the name of Islam. We shall compare the universal vision and the islamic vision of human rights, keeping in mind that the paradox comes from the very universality of the fundamental rights and liberties. Thus, there should be only one unique conception of human rights. The second paradox is indeed the very universality of Islam, a religion that protects and oversees human life very strictly. Human rights are part of the universal vision of human rights but they converted into fundamental rights since they are enacted by a large majority of States in their Constitutions. The Arab-Muslim States also elevate fundamental liberties to constitutional status, without ever excluding Islam. It is hence interesting to understand how the Arab-Muslim States come to extract from Islam and its primary sources fundamental rights and liberties with all the difficulties and limits they have to face.
35

Marcel Pagnol : aspects bucoliques, poétiques et classiques de son oeuvre / Marcel Pagnol : the bucolic, poetical and classical aspects of his work

Tudesque, Andrée 23 May 2018 (has links)
RésuméLa notoriété de Marcel Pagnol n’est plus à attester, mais force est de reconnaître que les universitaires ne manifestent généralement pas de considération pour lui. Ce magicien des mots, ce conteur héritier de la tradition orale provençale, joue avec virtuosité de la parole, et sa création est le résultat d’interférences littéraires. Les différentes perspectives de l’œuvre de Marcel Pagnol, qui prend sa source dans sa formation classique, ont déterminé cette recherche, laquelle se concentre sur une analyse de certains de ses écrits. Ainsi vise-t-elle à une reconnaissance de son capital symbolique et de son apport à la littérature. Le classicisme qui imprègne l’éducation qu’il a reçue, a orienté l’ensemble de ses réalisations littéraires, théâtrales et cinématographiques; en conséquence, il en a déterminé sa réception, car le caractère de son œuvre, enrichie par l’héritage antique et le patrimoine culturel provençal, est d’avoir atteint l’universel. Ce travail porte sur les aspects de ses écrits qui reflètent non seulement l’éducation, mais surtout la capacité de l’auteur d’utiliser des genres différents tels que la bucolique et ses ramifications qui vont de la poésie au roman et au théâtre, puis au cinéma avec lequel il entretiendra des rapports étroits et complémentaires. Influencé par la musique et par la culture latine et provençale, Marcel Pagnol est sorti des sentiers battus de la littérature de son époque, en mettant son originalité créatrice au service de la poésie, de la prose, du théâtre et du cinéma. / AbstractThe notoriety of Marcel Pagnol is no longer to be attested to, but it is clear academics do not generally show any consideration for him. This magician of words, this storyteller heir to the Provencal oral tradition, plays as a virtuose with speech, and his creation is the result of literary interferences. The different perspectives of the work of Marcel Pagnol, which has its source in his classical training, have determined this research, which focuses on analysis of some of his writings. Thus, this aims at recognizing his symbolic capital and contribution to literature. The classicism that permeates the education he received has guided all his literary, theatrical and cinematographic achievements; consequently, it determined his reception because the character of his work, enriched by the ancient heritage and the Provençal cultural patrimony, is to have reached universality. This thesis focuses on aspects of his creations, which reflect not only his education, but especially the ability of the author to use different genres such as the pastoral and its ramifications, which range from poetry to novel and to theater, then to film with which he will maintain close and complementary relations. Influenced by Music, Latin and Provençal culture, Marcel Pagnol diverged from the beaten track of literature of his time, by putting his creative originality at the service of poetry, prose, theater and film.
36

Sur certains objets universels liés à des changements de probabilité et des modèles de matrices aléatoires

Najnudel, Joseph 07 December 2011 (has links) (PDF)
Ce mémoire d'habilitation comporte deux parties. Dans la première, nous étudions une famille de mesures de probabilité construite à partir de la loi du mouvement brownien via une procédure appelée pénalisation. Nous expliquons une partie des résultats obtenus par la construction d'une mesure sigma-finie, que nous généralisons ensuite à d'autres contextes. Dans la deuxième partie, nous étudions des objets infini-dimensionnels associés à des modèles de matrices aléatoires.
37

Dynamique hors d'équilibre classique et quantique. Formalisme et applications.

Aron, Camille 20 September 2010 (has links) (PDF)
Cette thèse traite de la dynamique de systèmes couplés à un environnement. Nous recensons les symétries du formalisme Martin-Siggia-Rose-Janssen-deDominicis associé aux équations de Langevin. À l'équilibre, nous étendons le formalisme super-symétrique aux cas d'un bruit coloré et multiplicatif et exhibons une symétrie qui génère tous les théorèmes d'équilibre. Brisée, elle donne lieu aux différents théorèmes de fluctuations. Une autre symétrie, valable aussi hors d'équilibre, fournit des équations dynamiques couplant corrélations et réponses. Par ailleurs nous étendons le formalisme super-symétrique au cas du bruit coloré et multiplicatif. Nous suivons, par des simulations de Monte Carlo, la croissance de domaines dans le modèle d'Ising 3d soumis à un champ magnétique aléatoire après une trempe en température. En étudiant les lois d'échelle dynamiques, nous confirmons la conjecture de super-universalité. En revanche, nous montrons qu'elle est absente dans la dynamique vitreuse du modèle d'Edwards-Anderson 3d malgré l'existence d'une échelle de longueur permettant d'écheler des observables globales et locales. Nous étudions analytiquement la dynamique de roteurs quantiques désordonnés couplés brutalement à un environnement qui impose un courant électrique à travers le système. Nous prouvons l'existence d'une transition de phase dynamique entre une phase stationnaire de non-équilibre et une phase ordonnée à basse température, faibles fluctuations quantiques et faible courant. Nous montrons que celui-ci joue le rôle d'un bain d'équilibre sur la dynamique vieillissante qui est décrite par des lois d'échelle super-universelles.
38

Dynamics, information and computation / Dynamique, information et calcul

Delvenne, Jean-Charles 16 December 2005 (has links)
"Dynamics" is very roughly the study of how objects change in time; for instance whether an electrical circuit goes to equilibrium, due to thermal dissipation. By "information", we mean how helpful it is to observe an object in order to know it better, for instance how many binary digits we can acquire on the value of a voltage by an appropriate measure. A "computation" is a physical process, e.g. the flow of current into a complex set of transistors, that after some time eventually gives us the solution of a mathematical problem (such as "Is 13 prime?"). We are interested to various relations between these concepts. In a first chapter, we unify some arguments in the literature to show that a whole class of quantities of dynamical systems are uncomputable. For instance the topological entropy of tilings and Turing machines. Then we propose a precise meaning to the statement "This dynamical system is a computer", at least for symbolic systems, such as cellular automata. We also show, for instance, that a "computer" must be dynamically unstable, and can even be chaotic. In a third chapter, we compare how complicated it is to control a system according whether we can acquire information on it ("feedback") or not ("open loop"). We are specifically interested in finite-state systems. In last chapter we show how to control a scalar linear system when only a finite amount of information can be acquired at every step of time.
39

Test expérimental de l'universalité de la transition d'Anderson avec des atomes froids: Indépendance de l'exposant critique $\nu$ face aux détails microscopiques

Lopez, Matthias 21 November 2010 (has links) (PDF)
En physique du solide, l'étude des effets du désordre a mené à la découverte d'une transition de phase. A faible désordre le solide est conducteur. A fort désordre ce dernier devient isolant. Cette dernière porte le nom de "transition d'Anderson" ou encore de "transition métal-isolant". Elle peut être caractérisée par un exposant critique . Il est prédit théoriquement que sa valeur est universelle, autrement dit, qu'elle n'est pas dépendante des détails microscopiques caractérisant le désordre, mais seulement des symétries satisfaites par le hamiltonien. La réalisation expérimentale d'un tel système est délicate. Des effets de décohérence trop nombreux viennent fausser la mesure de l'exposant critique. Pour contourner ces difficultés, nous réalisons un rotateur frappé avec des atomes froids. La dynamique quantique de ce système est connue pour être la même que celle de l'électron dans un potentiel désordonné. Nous testons alors différents jeux de paramètres régissant le désordre microscopique, et montrons que l'exposant critique en est indépendant. Ainsi nous prouvons expérimentalement l'universalité de la transition, ainsi que son appartenance à une classe d'universalité : l'ensemble gaussien orthogonal. Nous détaillons par ailleurs un changement de taille dans le dispositif : la réalisation d'une onde stationnaire vertical et d'une détection vélocimétrique par temps de vol.
40

ZX-Calculi for Quantum Computing and their Completeness / ZX-Calculs pour l'informatique quantique et leur complétude

Vilmart, Renaud 19 September 2019 (has links)
Le ZX-Calculus est un langage graphique puissant et intuitif, issu de la théorie des catégories, et qui permet de raisonner et calculer en quantique. Les évolutions quantiques sont vues dans ce formalisme comme des graphes ouverts, ou diagrammes, qui peuvent être transformés localement selon un ensemble d’axiomes qui préservent le résultat du calcul. Un aspect des plus importants du langage est sa complétude : Étant donnés deux diagrammes qui représentent la même évolution quantique, puis-je transformer l’un en l’autre en utilisant seulement les règles graphiques permises par le langage ? Si c’est le cas, cela veut dire que le langage graphique capture entièrement la mécanique quantique. Le langage est connu comme étant complet pour une sous-classe (ou fragment) particulière d’évolutions quantiques, appelée Clifford. Malheureusement, celle-ci n’est pas universelle : on ne peut pas représenter, ni même approcher, certaines évolutions. Dans cette thèse, nous proposons d’élargir l’ensemble d’axiomes pour obtenir la complétude pour des fragments plus grands du langage, qui en particulier sont approximativement universels, voire universels. Pour ce faire, dans un premier temps nous utilisons la complétude d’un autre langage graphique et transportons ce résultat au ZX-Calculus. Afin de simplifier cette fastidieuse étape, nous introduisons un langage intermédiaire, intéressant en lui-même car il capture un fragment particulier mais universel de la mécanique quantique : Toffoli-Hadamard. Nous définissons ensuite la notion de diagramme linéaire, qui permet d’obtenir une preuve uniforme pour certains ensembles d’équations. Nous définissons également la notion de décomposition d’un diagramme en valeurs singuliaires, ce qui nous permet de nous épargner un grand nombre de calculs. Dans un second temps, nous définissons une forme normale qui a le mérite d’exister pour une infinité de fragments du langage, ainsi que pour le langage lui-même, sans restriction. Grâce à cela, nous reprouvons les résultats de complétude précédents, mais cette fois sans utiliser de langage tiers, et nous en dérivons de nouveaux, pour d’autres fragments. Les états contrôlés, utilisés pour la définition de forme normale, s’avèrent en outre utiles pour réaliser des opérations non-triviales telles que la somme, le produit terme-à-terme, ou la concaténation. / The ZX-Calculus is a powerful and intuitive graphical language, based on category theory, that allows for quantum reasoning and computing. Quantum evolutions are seen in this formalism as open graphs, or diagrams, that can be transformed locally according to a set of axioms that preserve the result of the computation. One of the most important aspects of language is its completeness: Given two diagrams that represent the same quantum evolution, can I transform one into the other using only the graphical rules allowed by the language? If this is the case, it means that the graphical language captures quantum mechanics entirely. The language is known to be complete for a particular subclass (or fragment) of quantum evolutions, called Clifford. Unfortunately, this one is not universal: we cannot represent, or even approach, certain quantum evolutions. In this thesis, we propose to extend the set of axioms to obtain completeness for larger fragments of the language, which in particular are approximately universal, or even universal. To do this, we first use the completeness of another graphical language and transport this result to the ZX-Calculus. In order to simplify this tedious step, we introduce an intermediate language, interesting in itself as it captures a particular but universal fragment of quantum mechanics: Toffoli-Hadamard. We then define the notion of a linear diagram, which provides a uniform proof for some sets of equations. We also define the notion of singular value decomposition of a diagram, which allows us to avoid a large number of calculations. In a second step, we define a normal form that exists for an infinite number of fragments of the language, as well as for the language itself, without restriction. Thanks to this, we reprove the previous completeness results, but this time without using any third party language, and we derive new ones for other fragments. The controlled states, used for the definition of the normal form, are also useful for performing non-trivial operations such as sum, term-to-term product, or concatenation.

Page generated in 0.0837 seconds