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.

Nous présentons un nouvel algorithme d’apprentissage de circuits quantiques basé sur la descente de gradient classique. Comme ce sujet unifie deux disciplines, nous expliquons les deux domaines aux gens de l’autre discipline. Conséquemment, nous débutons par une présentation du calcul quantique et des circuits quantiques pour les gens en apprentissage automatique suivi d’une présentation des algorithmes d’apprentissage automatique pour les gens en informatique quantique. Puis, pour motiver et mettre en contexte nos résultats, nous passons à une légère revue de littérature en apprentissage automatique quantique. Ensuite, nous présentons notre modèle, son algorithme, ses variantes et quelques résultats empiriques. Finalement, nous critiquons notre implémentation en montrant des extensions et des nouvelles approches possibles. Les résultats principaux se situent dans ces deux dernières parties, qui sont respectivement les chapitres 4 et 5 de ce mémoire. Le code de l’algorithme et des expériences que nous avons créé pour ce mémoire se trouve sur notre github à l’adresse suivante : https://github.com/AldoLamarre/quantumcircuitlearning. / We present a new learning algorithm for quantum circuits based on gradient descent. Since this subject unifies two areas of research, we explain each field for people working in the other domain. Consequently, we begin by introducing quantum computing and quantum circuits to machine learning specialists, followed by an introduction of machine learning to quantum computing specialists. To give context and motivate our results we then give a light literature review on quantum machine learning. After this, we present our model, its algorithms and its variants, then discuss our currently achieved empirical results. Finally, we criticize our models by giving extensions and future work directions. These last two parts are our main results. They can be found in chapter 4 and 5 respectively. Our code which helped obtain these results can be found on github at this link : https://github.com/ AldoLamarre/quantumcircuitlearning.

Ohmic contacts are crucial components in semiconductor devices such as transistors and diodes, and lowering their contact resistance is an important factor in device performance enhancement. This is especially important for low-noise amplifiers (LNAs) where device noise temperature decreases both directly and indirectly with decreasing contact resistance. This becomes relevant in quantum computers operated at cryogenic temperatures as LNAs constitutes the 4 K quantum bit (qubit) readout signal amplification chain. The goal of this project is to investigated the superconducting element niobium (Nb) as contact material for indium phosphide (InP) high-electron-mobility transistors (HEMTs), being the active component in cryogenic high-frequency LNAs. For contact and barrier resistance determination, test structures were fabricated and utilized according to the transfer length method(TLM) and the recess TLM respectively. Measurements were performed in room temperature as well as in cryogenic temperatures below and above Nb’s bulk transition temperature of 9.25 K. The results show low-resistance Nb-based ohmic contacts for n-In0.65Ga0.35As, with the non-alloyed Nb(50 nm)/Au(100 nm) stack yielding a room temperature contact resistivity of (9.4 ± 0.5) × 10−8 Ωcm2. For all contacts the contact resistivity increased moving to cryogenic temperatures, as expected when electron occupation of high-energy states decreases. At cryogenic temperatures nosuperconducting transition was observed, attributed to the Nb layer thickness being roughly equal to its coherence length. Considering the effective barrier resistance, the Ni/Ge/Au/Nb/Au alloyed contact had the lowest room temperature resistance, reporting 143 Ω µm. In cryogenic temperatures the effective barrier resistance unexpectedly decreased in all contacts. The Nb/Au contact showed the best cryogenic performance, with a barrier resistance of 28 − 37 Ω µm. This indicates great potential for non-alloyed Nb/Au contacts in cryogenic InP HEMTs. / Alla halvledarkomponenter, som dioder och transistorer, har ohmska kontakter. Att sänka kontaktresistansen hos de ohmska kontakterna är ett sätt att höja prestandan hos en komponent. Särskilt gäller detta för lågbrusförstärkare, som har en brustemperatur som minskar både direkt och indirekt med avtagande kontaktresistans. För kvantdatorer som måste kylas till kryogena temperaturer för att fungera är detta relevant eftersom förstärkningen av utläsningssignalen från kvantbitar sker via lågbrusförstärkare vid 4 K. Målet för detta examensprojekt är att undersöka ohmska kontakter baserade på det supraledande materialet niobium (Nb) i indiumfosfidbaserade högelektronmobilitetstransistorer, som är den aktivakomponenten i kryogena högfrekvens-lågbrusförstärkare. För bestämning av kontaktoch barriärresistans producerades teststrukturer enligt Transfer Length-metoden (TLM) respektive etsad TLM. Mätningar genomfördes i rumstemperatur samt vid kryogena temperaturer både över och under niobiumets kritiska temperatur på 9.25 K. Resultatet visar låg kontaktresistans för Nb-baserade ohmska kontakter på n-In0.65Ga0.35As. Den icke-legerade Nb(50 nm)/Au(100 nm)-kontakten hade en kontaktresistivitet på (9.4 ± 0.5) × 10−8 Ωcm2 . Vid kryogena temperaturer ökade kontaktresistansen för samtliga Nb-baserade kontakter, vilket är förväntat då färre elektroner fyller högenergitillstånd. Inget supraledande tillstånd observerades vid kryogena temperaturer, vilket kan förklaras av att tjockleken på niobiumlagret var ungefär lika med dess koherenslängd. Lägst barriärresistans vid rumstemperatur hade den legerade Ni/Ge/Au/Nb/Au-kontakten, med ett värde på 143 Ω µm. Vid kryogena temperaturer skedde en oväntad minskning hos barriärsresistansen hos samtliga kontakter, där den lägst barriärsresistans uppmättes på den icke-legerade Nb/Au-kontakten, 28 − 37 Ω µm. Slutsatsen som dras är att det finns stor potential för användning av icke-legerade Nb/Au-kontakter för kryogena lågbrusförstärkare baserade på indiumfosfid.

This thesis explores the evolving landscape of digital forensics in the context of quantum computing advancements, which challenge the foundational integrity of digital evidence. The focus is on the globally recognized digital forensic guidelines, NIST SP 800-86 and ISO/IEC 27037:2012, and their capacity to safeguard evidence against the unique capabilities of quantum systems. This thesis identifies vulnerabilities within existing forensic models through a comprehensive document analysis and expert interviews and proposes strategic modifications to enhance their robustness. Key findings suggest that traditional digital forensic methodologies, while robust under current technological standards, must address quantum data’s multi-state, entanglement, and no-cloning properties, which can fundamentally alter digital evidence. The thesis advocates for a paradigm shift in forensic processes to incorporate quantum-resistant techniques that ensure the integrity and admissibility of evidence. Additionally, it highlights the necessity for ongoing education and collaborative research to effectively adapt digital forensics to this new technological era. This research contributes to the theoretical framework and practical applications of digital forensics, aiming to future-proof forensic practices against the disruptive nature of quantum computing.