GraphQL is a database handling API created by Facebook, that provides an effective al-ternative to REST-style architectures. GraphQL provides the ability for a client to spec-ify exactly what data it wishes to receive. A problem with GraphQL is that the freedomof creating customized requests allows data to be included several times in the response,growing the response’s size exponentially. The thesis contributes to the field of GraphQLanalysis by studying the prevalence of simple cycles in GraphQL schemas. We have im-plemented a locally-run tool and webtool using Tarjan’s and Johnson’s algorithms, thatparses the schemas, creates a directed graph and enumerates all simple cycles in the graph.A collection of schemas was analysed with the tool to collect empirical data. It was foundthat 39.73 % of the total 2094 schemas contained at least one simple cycle, with the averagenumber of cycles per schema being 4. The runtime was found to be on average 11 mil-liseconds, most of which consisted of the time for parsing the schemas. It was found that44 out of the considered schemas could not be enumerated due to containing a staggeringamount of simple cycles. It can be concluded that it is possible to test schemas for cyclicityand enumerate all simple cycles in a given schema efficiently.

Este trabalho consiste na análise de um método de reconstrução/tomografia de estado quântico em ressonância magnética nuclear utilizando pulsos de radiofreqüência não-seletivos, que possuem a propriedade de promover rotações globais do sistema de spins 7/2. Tal método foi aplicado para reconstruir estados relacionados à computação quântica. As operações lógicas e os estados iniciais envolvidos nas operações quânticas foram construídos através de pulsos modulados optimizados numericamente; o processo de optimização, em particular, não foi tratado nesse trabalho. Foram elaborados programas que simulam: a construção dos estados e portas lógicas utilizando os parâmetros dos pulsos modulados; a aplicação dos pulsos de tomografia e a geração dos dados necessários à reconstrução (amplitudes espectrais); construção de estados utilizando pulsos simples para testes das circunstâncias experimentais; o efeitos de possíveis problemas relacionados à amostra ou ao equipamento. Finalmente, foi elaborado um programa para reconstrução do estado a partir da leitura das amplitudes espectrais, que podem ser obtidas a partir dos programas relacionados no segundo item, ou experimentalmente. As implementações experimentais foram realizadas medindo sinais de RMN de núcleos de 133Cs, localizados em um cristal líquido, que, por possuírem spin 7/2, devido às interações Zeeman e quadrupolar elétrica, apresentam sete linhas espectrais distintas para transições entre níveis energéticos adjacentes; logo, é possível tratar esses núcleos como sistemas de 3 q-bits. Foram construídos estados pseudo-puros e aplicada uma das portas Toffoli. Além disso, uma discussão do algoritmo quântico de busca de Grover no contexto da Ressonância Magnética Nuclear é apresentada para uma futura implementação. / This work describes a quantum state tomography method in nuclear magnetic resonance using nonselective radiofrequency pulses that cause global rotations of spin 7/2 systems. This method was applied to tomograph states related to quantum computation. Numerically optimized modulated pulses allowed building the initial states and the logical operations involved in the quantum operations; particularly, the optimization process was not treated in this work. Several programs were constructed that simulate: o the construction of the quantum states and the logical operations by means of the modulated pulses parameters; o the application of the tomography pulses and the generation of the necessary data for tomography (spectral amplitudes); o the construction of the states using simple pulses for experimental condition tests; o the effects of possible problems related to the samples or equipments. Finally, a quantum state tomography program was elaborated to read the spectral amplitudes, which can be obtained from the programs related to the second item, or experimentally. The experimental implementations were performed measuring the NMR signals from spin 7/2 133Cs nuclei located in a liquid crystal under Zeeman and quadrupolar electric interactions. The NMR spectrum of these nuclei, under these interactions and located in an oriented sample, present 7 spectral lines for transitions between adjacent energetic levels; with this, it is possible to treat it like a 3 q-bits system. Pseudo-pure states were constructed and one Toffoli gate was applied. Furthermore, a discussion about the Grover\'s quantum search algorithm in the nuclear magnetic resonance context was presented for future implementation.

O objetivo principal da presente Tese é expor um método de Tomografia de Estado Quântico desenvolvido para ser aplicado em sistemas de núcleos quadrupolares isolados. O espaço de Hilbert de tais sistemas pode ser usado para processar a informação quântica de um sistema equivalente constituído por vários q-bits. O método proposto baseia-se na aplicação de pulsos de radiofrqüência não-seletivos que possuem a propriedade de promover rotações globais do estado quântico do sistema. Utilizando uma descrição analítica dessas rotações foi possível generalizar o método proposto para núcleos quadrupolares com qualquer número quântico de spin. O método também pode ser adaptado para sistemas de núcleos acoplados, embora para esses casos seja necessário utilizar períodos de evolução sob a hamiltoniana de interação livre para determinar alguns dos elementos da correspondente matriz densidade. Como aplicação do método de Tomografia de Estado Quântico, utilizaram-se núcleos de 23Na dissolvidos em um cristal líquido liotrópico para obter os resultados experimentais das implementações do algoritmo de Deutsch e do algoritmo de busca de Grover, além da medida da dinâmica de relaxação de vários estados pseudo-puros. Também foram realizadas simulações do método proposto para o caso de um sistema quadrupolar de spin 7/2 e para três spins 1/2 homonucleares acoplados. / The main purpose of the present thesis is to propose a Quantum State Tomography method developed to be applied in quadrupolar isolated nuclei systems. The Hilbert space of such systems can be used to process the quantum information of an equivalent system formed by many qubits. The proposed method is based on the application of non-selective radiofrequency pulses that produce global rotations of the system quantum state. Using an analytical description of those rotations, it was possible to generalize the proposed method to quadrupolar nuclei with any spin quantum number. The method can also be adapted to coupled nuclear systems, although in such cases it is necessary the use of evolution periods under the free interaction hamiltonian in order to determine some of the density matrix elements. As an application of the method, 23Na nuclei dissolved in a lyotropic liquid crystal were used to obtain the experimental results of the Deutsch and Grover algorithms, together with the measurement of the relaxation dynamics of some pseudo-pure states. Simulations of the proposed method applied to the quadrupolar spin 7/2 nucleus and to three homonuclear coupled spin 1/2 were also obtained.

O objetivo principal da presente Tese é expor um método de Tomografia de Estado Quântico desenvolvido para ser aplicado em sistemas de núcleos quadrupolares isolados. O espaço de Hilbert de tais sistemas pode ser usado para processar a informação quântica de um sistema equivalente constituído por vários q-bits. O método proposto baseia-se na aplicação de pulsos de radiofrqüência não-seletivos que possuem a propriedade de promover rotações globais do estado quântico do sistema. Utilizando uma descrição analítica dessas rotações foi possível generalizar o método proposto para núcleos quadrupolares com qualquer número quântico de spin. O método também pode ser adaptado para sistemas de núcleos acoplados, embora para esses casos seja necessário utilizar períodos de evolução sob a hamiltoniana de interação livre para determinar alguns dos elementos da correspondente matriz densidade. Como aplicação do método de Tomografia de Estado Quântico, utilizaram-se núcleos de 23Na dissolvidos em um cristal líquido liotrópico para obter os resultados experimentais das implementações do algoritmo de Deutsch e do algoritmo de busca de Grover, além da medida da dinâmica de relaxação de vários estados pseudo-puros. Também foram realizadas simulações do método proposto para o caso de um sistema quadrupolar de spin 7/2 e para três spins 1/2 homonucleares acoplados. / The main purpose of the present thesis is to propose a Quantum State Tomography method developed to be applied in quadrupolar isolated nuclei systems. The Hilbert space of such systems can be used to process the quantum information of an equivalent system formed by many qubits. The proposed method is based on the application of non-selective radiofrequency pulses that produce global rotations of the system quantum state. Using an analytical description of those rotations, it was possible to generalize the proposed method to quadrupolar nuclei with any spin quantum number. The method can also be adapted to coupled nuclear systems, although in such cases it is necessary the use of evolution periods under the free interaction hamiltonian in order to determine some of the density matrix elements. As an application of the method, 23Na nuclei dissolved in a lyotropic liquid crystal were used to obtain the experimental results of the Deutsch and Grover algorithms, together with the measurement of the relaxation dynamics of some pseudo-pure states. Simulations of the proposed method applied to the quadrupolar spin 7/2 nucleus and to three homonuclear coupled spin 1/2 were also obtained.

Si les systèmes quantiques à une dimension ont longtemps été vus comme de simples modèle-jouets, bon nombre sont à présent réalisés dans les expériences d’atomes ultra-froids. Dans ces expériences, le potentiel de confinement du gaz induit nécessairement une inhomogénéité spatiale. Cette inhomogénéité brise l'invariance par translation qui joue un rôle clé dans les solutions analytiques, notamment celle de l'Ansatz de Bethe. On propose dans cette thèse de développer une théorie des champs effective à même de caractériser ces gaz quantiques inhomogènes, en généralisant la théorie du liquide de Luttinger. Dans ces conditions la métrique de l'action effective est courbe. Sous une hypothèse de séparation des échelles, les paramètres de l'action peuvent néanmoins être fixés par les solutions de l'Ansatz de Bethe. Le problème peut alors se ramener au cas d'un espace plat en faisant appel aux théories conformes. On est ainsi amené à résoudre le champ libre gaussien inhomogène, qui donne accès à toutes les fonctions de corrélations du modèle considéré. Dans cette thèse, on s'intéresse plus particulièrement au modèle de Lieb-Liniger. Les résultats obtenus sont comparés au système simulé par DMRG. / One-dimensional quantum systems have long been seen as simple toy-models but are nowadays often realized in ultracold atoms experiments. In those experiments the confining potential creates a spatial inhomogeneity. This breaks the translation invariance which plays a key role in exact analytical solutions as the Bethe Ansatz. In this thesis, we propose an effective theory generalizing the Luttinger liquid approach for inhomogeneous systems. In this setup, the effective action lives in curved space. However, making the hypothesis of separation of scales allow to compute the action's parameters by using Bethe Ansatz. The problem can then be solved in flat space by using tools from conformal theory. This leads us to solving the inhomogeneous gaussian free field that gives access to all correlation functions of the model under investigation. Here we focus on the Lieb-Liniger model. Our results are tested against DMRG simulations.

在本篇論文中我們使用矩陣來建構可分組設計(GDD), 我們列出了兩種型 式的建構, 第一種 -- 起因於 W.H. Haemers -- A .crtimes. J + I .crtimes. D, 利用此種建構我們將所有符合 r - .lambda.1 = 1 的 (m,n,k,.lambda.1,.lambda.2) GDD 分成三類: (i) A=0 或 J-I, (ii) A 為 .mu. - .lambda. = 1 強則圖的鄰接矩陣, (iii) J-2A 為斜對稱 矩陣的核心。第二種型式為 A .crtimes. D + .Abar .crtimes. .Dbar ,此種方法可以建構出 b=4(r-.lambda.2) 的正規和半正規 GDD 。另外在 論文中, 我們研究在這些建構中出現的相關題目。 / In this thesis we use matrices to construct group divisible designs (GDDs). We list two type of constructions, the first type is -- due to W.H. Heamers -- A .crtimes. J + I .crtimes. D and use this construction we classify all the (m,n,k,. lambda.1, .lambda.2) GDD with r - .lambda.1 = 1 in three classes according to (i) A = 0 or J-I, (ii) A is the adjacency matrix of a strongly regular graph with .mu. - .lambda. = 1, (iii) J - 2A is the core of a skew-symmetric Hadamard matrix. The second type is A .crtimes. D + .Abar .crtimes. .Dbar , this type can construct many regular and semi-regular GDDs with b=4(r-.lambda.2). In the thesis we investigate related topics that occur in these constructions.

aLes techniques utilisées pour la réalisation de systèmes électroniques destines au contrôle/commande d'applications critiques sont généralement basées sur le concept de la logique fail-safe conventionnelle. Bien qu'elles aient été largement éprouvées, ces techniques s'avèrent maintenant de plus en plus mal adaptées à la conception de systèmes de plus en plus complexes puisqu'elles font appel à des composants discrets spécifiques. C'est dans ce contexte que cette étude essaie d'évaluer la contribution des circuits intégrés autotestables, et plus spécialement les circuit self-checking (capables de détecter instantanément leurs propres erreurs), à la réalisation de systèmes intégrés à haute sureté de fonctionnement. Les travaux présentés dans cette thèse se proposent d'élargir la théorie des systèmes fail-safe aux circuits intégrés combinatoires. Comme application, nous étudions la faisabilité d'une interface autotestable hors-ligne capable de transformer les données des circuits autotestables en-ligne (self-checking) en signaux surs adaptes au pilotage d'éléments électrons mécaniques. Cette interface autorise la réalisation de circuits Vlsi strongly fail-safe qui sont susceptibles, dans les années à venir, de tenir une place de premier ordre dans le domaine des automatismes intégrés de sécurité. Toutes les considérations pratiques pour la conception de ces circuits sont basées sur des hypothèses de pannes analytiques liées à la technologie utilisée, ici le CMOS

Le but de cette thèse est l'étude des propriétés de résonance ferromagnétique (RFM) de nanostructures et contacts atomiques. Pour ce faire, nous exploitons le fait que les propriétés de transport électrique sont dominées par le contact atomique, et nous utilisons une détection électrique. Nous avons développé un nouveau dispositif expérimental dans lequel un dispositif mécanique de jonctions à cassure est conçu pour un environnement hyperfréquence où les mesures électriques peuvent être réalisées avec des champs magnétiques statiques et dynamiques variables. Des nanostructures ont d'abord été mesurées pour déterminer la fiabilité et la grande sensibilité de notre système. Ensuite la susceptibilité, de parois de domaines à des fréquences supérieures à celles les propageant, a été déterminée comme indépendante de la fréquence. Cette susceptibilité était environ 10 fois supérieure à celle des domaines saturés. Le dispositif expérimental permet également d'étudier l'interaction entre courants de spins et propriétés dynamiques de nanostructures pendant la résonance ferromagnétique. Les courants de spins générés dynamiquement à la RFM ont été mesurés en utilisant l'effet Hall inverse de spin dans des nanostructures Py/Pt. L'influence, sur la RFM, des courants de spin inject'es par effet Hall de spin dans le platine, y a également été observée. Dans les contacts atomiques la RFM a aussi été étudiée à l'aide de mesures du signal rectifié. Lors de la cassure de nos nanostructures de cobalt ou de permalloy, de nouveaux modes de résonance apparaissent à des champs plus élevés que la résonance uniforme. Nous attribuons cet effet à la modification des champs démagnétisant lors de la réduction du diamètre de la constriction. Dans la géométrie du contact atomique, nous avons mesuré la résonance de parois de domaines contraintes. Dans ce cas, le signal rectifié généré par quelques atomes, dépend fortement de la fréquence et peut atteindre des valeurs 1000 fois supérieures à celles de la RFM des domaines avant cassure.

Cette thèse s'intéresse à l'interaction entre le couplage spin-orbite et les corrélations électroniques dans la matière condensée. En effet, de plus en plus de matériaux - tels que les isolants topologiques ou les oxydes de métaux de transition 5d à base d'iridium - présentent des propriétés pour lesquels l'interaction spin-orbite joue un rôle essentiel. Parmi eux, l'iridate de strontium (Sr2IrO4) a récemment été décrit comme un "isolant de Mott régi par les effets spin-orbite": dans cette image, l'interaction de Coulomb entre les électrons et le couplage spin-orbite se combinent pour rendre le composé isolant. Nous avons étudié la phase isolante paramagnétique de ce matériau avec l'approche LDA+DMFT, une méthode qui combine la théorie de la fonctionnelle de la densité dans l'approximation de la densité locale (LDA) avec la théorie du champ moyen dynamique (DMFT). Sr2IrO4 s'est avéré être un isolant de Mott pour une valeur raisonnable des corrélations électroniques une fois que le couplage spin-orbite et les distorsions structurales du cristal ont été pris en compte. En outre, nos résultats mettent en évidence les rôles respectifs joués par ces deux éléments dans l'obtention d'un état isolant et montrent que seule leur action conjointe permet d'ouvrir un gap de Mott dans un tel composé. Afin de réaliser cette étude, le couplage spin-orbite a dû être inclus au sein du formalisme LDA+DMFT. L'intérêt d'un tel développement technique dépasse le cas de Sr2IrO4, cette implémentation, dite "LDA+SO+DMFT", pouvant être aussi utilisée pour prendre en compte les corrélations électroniques dans d'autres oxydes de métaux de transition 5d ou même au sein des isolants topologiques.

Dans le schéma de l'allumeur rapide, dernière avancée dans le domaine de la fusion par confinement inertiel, on envisage de découpler la phase de compression de la phase de chauffage du combustible nucléaire. Cette dernière serait atteinte à l'aide d'une source extérieure constituée par un faisceau d'électrons très énergétiques créé avec un laser ultra-intense. L'étude des mécanismes de transfert d'énergie de ces électrons au combustible comprimé représente le but principal de ce travail de thèse. Nous nous proposons en particulier de mettre en évidence et d'étudier le rôle joué par les effets électriques et collisionnels de la propagation du faisceau d'électrons rapides dans un milieu aux propriétés proches du combustible comprimé. Nous avons pour cela effectué deux campagnes d'expériences, l'une avec l'installation laser VULCAN du RAL (Angleterre) et l'autre sur la nouvelle installation laser 100 TW du laboratoire LULI (France). Lors de la première expérience, nous avons obtenu les premiers résultats sur la propagation d'électrons rapides dans un matériau dense et chaud. Le caractère novateur de ce travail expérimental tient en particulier à l'utilisation de la technique de génération de hautes pressions par choc laser, ce qui a permis la création d'un plasma fortement corrélé et dégénéré. Le rôle des effets électriques et magnétiques, liés à la charge d'espace créée par le faisceau d'électrons rapides, a été approfondi lors de la deuxième campagne d'expérience, au cours de laquelle nous avons étudié la propagation des électrons dans des matériaux ayant des caractéristiques électriques différentes (isolant ou conducteur). L'analyse des résultats montre que seule la prise en compte simultanée des deux mécanismes de la propagation (collisionnels et électriques) permet un traitement correct et complet du dépôt d'énergie. La nécessité de prendre en compte les modifications apportées à la matière par le passage même des électrons, et notamment le chauffage induit, a été également mise en évidence.