Les principaux outils pour la compréhension du comportement macroscopique desystèmes quantiques à partir de leur description microscopique sont la déterminationdu spectre du Hamiltonien associé et le calcul des fonctions de corrélation. Cettethèse se place dans le cadre du développement d’un tel programme de recherche afind’étudier des systèmes intégrables quantiques avec des conditions aux bordsintégrables générales, le but à long terme étant la description exacte d’une physiquequantique hors équilibre.Plus spécifiquement, nous avons analysé la classe des systèmes intégrablesquantiques sur réseau associés aux représentations cycliques de l’algèbre de réflexionà 6-vertex, avec comme exemples les modèles de sine Gordon et de Potts chiral avecconditions aux bords intégrables.Une large partie du travail a été consacrée au développement de la méthode deséparation quantique des variables pour résoudre le problème spectral de la matricede transfert de ces modèles avec conditions de bords intégrables les plus générales,en étendant l’idée des transformations de jauge de Baxter à ces algèbres de réflexion.Nous avons caractérisé complètement le spectre de la matrice de transfert (valeurspropres et vecteurs propres) en termes des solutions d’un système discret d’équationspolynomiales et d’une façon équivalente en termes des solutions, dans une certaineclasse de fonctions, d’une équation de type Baxter fonctionnelle. Cela permet de fairele lien dans certains cas particuliers avec la méthode de l’anstaz de Bethe algébriquequi ne permet pas d’étudier ces modèles en toute généralité.Nous avons ensuite construit des familles de nouveaux Hamiltoniens locaux avecconditions aux bords intégrables qui commutent avec la matrice de transfert. Pour cefaire nous avons défini une hiérarchie de nouvelles équations de réflexion mélangeantdifférentes représentations de l’algèbre quantique à 6-vertex et utilisant entre autres,la matrice R fondamentale cyclique. / The main theoretical tools to understand the macroscopic behaviour of quantumsystems from their microscopic description are the determination of theirHamiltonian spectrum and the computation of their correlation functions. This thesistakes place in the development of such a research program to study quantumintegrable models with general integrable boundary conditions, the long-range goalbeing to be able to exactly describe out of equilibrium physics.More specifically, we have analysed the class of integrable quantum models on thelattice associated to cyclic representations of the 6-vertex reflection algebra,including as particular cases the lattice sine- Gordon model at root of unity and thechiral Potts model with general integrable boundaries.A large part of the work has been devoted to the development of the quantumseparation of variables method to solve the spectral problem for these models withgeneral integrable boundary conditions, by generalising the Baxter’s gaugetransformations to these cyclic reflection algebras.We have completely characterised the transfer matrix spectrum (both eigenvaluesand eigenstates) in terms of the set of solutions to a discrete system of polynomialequations and equivalently as the set of solutions, in a given class of functions, to aBaxter like functional equation. This last point allows in particular cases to make alink with the Algebraic Bethe Ansatz approach, which in general, cannot be used forthe study of these models.We have then constructed families of new local Hamiltonians with integrableboundaries commuting with the above transfer matrix. To that end, we have defined ahierarchy of new mixed reflection equations, involving different representations ofthe 6-vertex algebra and using, among others, the fundamental R-matrix.

Dans la classe de complexité QMA – la généralisation quantique de la classe NP – un état quantique est fourni comme preuve à un algorithme de vérification pour l’aider à résoudre un problème. Cette classe de complexité a un problème complet naturel, le problème des Hamiltoniens locaux. Inspiré par la Physique de la matière condensée, ce problème concerne l’énergie de l’état fondamental d’un système quantique. Dans le cadre de cette thèse, nous étudions quelques problèmes liés à la classe QMA et au problème des Hamiltoniens locaux. Premièrement, nous étudions la différence de puissance si au lieu d’une preuve quantique, l’algorithme de vérification quantique reçoit une preuve classique. Nous proposons un cadre intermédiaire à ces deux cas, où la preuve consiste en un état quantique “plus simple” et nous arrivons à démontrer que ces états plus simples sont suffisants pour résoudre tous les problèmes dans QMA. À partir de ce résultat, nous obtenons un nouveau problème QMA-complet et nous étudions aussi la version de notre nouvelle classe de complexité avec erreur unilatérale. Ensuite, nous proposons le premier schéma de délégation vérifiable relativiste de calcul quantique. Dans ce cadre, un client classique délègue son calcul quantique à deux serveurs quantiques intriqués. Ces serveurs peuvent communiquer entre eux en respectant l’hypothèse que l’information ne peut pas être propagé plus vite que la vitesse de la lumière. Ce protocole a été conçu à partir d’un jeu non-local pour le problème des Hamiltoniens locaux avec deux prouveurs et un tour de communication. Dans ce jeu, les prouveurs exécutent des calculs quantiques de temps polynomiaux sur des copies de l’état fondamental du Hamiltonien. Finalement, nous étudions la conjecture PCP quantique, où l’on demande si tous les problèmes dans la classe QMA acceptent un système de preuves où l’algorithme de vérification a accès à un nombre constant de qubits de la preuve quantique. Notre première contribution consiste à étendre le modèle QPCP avec une preuve auxiliaire classique. Pour attaquer le problème, nous avons proposé une version plus faible de la conjecture QPCP pour ce nouveau système de preuves. Nous avons alors montré que cette nouvelle conjecture peut également être exprimée dans le contexte des problèmes des Hamiltoniens locaux et ainsi que dans lecadre de la maximisation de la probabilité de acceptation des jeux quantiques. Notre résultat montre la première équivalence entre un jeu multi-prouveur et une conjecture QPCP. / In QMA, the quantum generalization of the complexity class NP, a quantum state is provided as a proof of a mathematical statement, and this quantum proof can be verified by a quantum algorithm. This complexity class has a very natural complete problem, the Local Hamiltonian problem. Inspired by Condensed Matters Physics, this problem concerns the groundstate energy of quantum systems. In this thesis, we study some problems related to QMA and to the Local Hamiltonian problem. First, we study the difference of power when classical or quantum proofs are provided to quantum verification algorithms. We propose an intermediate setting where the proof is a “simpler” quantum state, and we manage to prove that these simpler states are enough to solve all problems in QMA. From this result, we are able to present a new QMA-complete problem and we also study the one-sided error version of our new complexity class. Secondly, we propose the first relativistic verifiable delegation scheme for quantum computation. In this setting, a classical client delegates her quantumcomputation to two entangled servers who are allowed to communicate, but respecting the assumption that information cannot be propagated faster than speed of light. This protocol is achieved through a one-round two-prover game for the Local Hamiltonian problem where provers only need polynomial time quantum computation and access to copies of the groundstate of the Hamiltonian. Finally, we study the quantumPCP conjecture, which asks if all problems in QMA accept aproof systemwhere only a fewqubits of the proof are checked. Our result consists in proposing an extension of QPCP proof systems where the verifier is also provided an auxiliary classical proof. Based on this proof system, we propose a weaker version of QPCP conjecture. We then show that this new conjecture can be formulated as a Local Hamiltonian problem and also as a problem involving the maximum acceptance probability of multi-prover games. This is the first equivalence of a multi-prover game and some QPCP statement.