[en] In the beginning of the last century, we witnessed a change of paradigm in how physics described the world with the formulation of quantum mechanics. This new theory shook the pillars of science by setting fundamental limits on our ability to describe nature. It was able to explain the laws that govern physics at the microscopic level, which could not be explained by means of the existing laws. The behavior at such small scales differs significantly from our daily experience. For instance, exotic phenomena such as entanglement or nonlocality are exclusively observed at the microscale. Entanglement and nonlocal correlations represent two essential resources in quantum information processing, enabling novel tasks that are unattainable within a classical framework. The end of the twentieth century has seen a wave of studies on the fundamental properties of quantum theory. Nowadays, as a consequence of these advances in quantum theory and experiments, various companies are selling devices claimed to perform a quantum information task with no classical analog, such as quantum random number generators, prototypes of quantum computers, or quantum key distribution devices. Since quantum devices cannot be simulated classically, it is hard to verify them using only classical resources, which are the ones available to the average user. Hence, a natural question to ask ourselves is how we can verify the properties and functioning of quantum devices in an efficient way. In this context, device-independent protocols have been developed in quantum information theory over the past decade. The main advantage of such protocols is that users do not have to make any assumption about the inner workings of their devices, considering them as black boxes. The security and success of a device-independent protocol relies on the observation of nonlocal correlations in a Bell experiment. This thesis is dedicated to provide tools to achieve the certification of quantum information devices or tasks in a device-independent way. In the first part of this thesis, we focus on certifying the security of device-independent quantum key distribution. To this end, we first study whether Bell nonlocality is a sufficient condition for security in the most used protocols, proving that there exist nonlocal correlations that are not useful for secure device-independent quantum key distribution using these protocols. Moreover, we study noisy scenarios, that is when experimental imperfections are present, and derive upper bounds on the two-way and one-way key rates for this kind of protocols. In the second part, we study self-testing, which is one of the simplest device-independent protocols. Its goal is to recover quantum states solely from the observed measurement correlations. In the majority of quantum information processing tasks one needs to consider a particular quantum state, making the certification of quantum states of great importance in the device-independent paradigm. We prove that all multipartite states of qubits can be self-tested. Moreover, we study self-testing in higher-dimensional systems. Finally, in the third part of this thesis, we tackle the problem of certification of entanglement. It is well known that certifying the presence of entanglement in a system is a hard task. The key methods for entanglement detection, entanglement witnesses and positive maps, rely on our understanding of the mathematical features of multilinear algebra. By using the fact that any separable state is one to one related to a matrix inequality, we port previously known results on the entanglement of states with positive partial transpose into the domain of matrix inequalities, which also allow us to translate multilinear positive maps back into entanglement witnesses. This approach leads to a unified treatment of a large class of matrix inequalities, allowing us to find new inequalities on the basis of advances in entanglement theory.

[es] A principios del siglo pasado fuimos testigos de un cambio de paradigma en la forma en la que la física describe el mundo gracias a la formulación de la física cuántica. Esta nueva teoría sacudió las bases de la ciencia, estableciendo límites fundamentales a nuestra capacidad de describir la naturaleza. Esta nueva teoría era capaz de explicar las leyes que gobiernan la física a nivel microscópico, a diferencia de la física clásica. El comportamiento a estas escalas es radicalmente distinto a nuestras experiencias diarias. Por ejemplo, los fenómenos de entrelazamiento y no-localidad sólo pueden ser observados a escala microscópica. Precisamente, el entrelazamiento y las correlaciones no locales son dos recursos esenciales en el procesamiento de la información cuántica, permitiendo tareas innovadoras inaccesibles dentro de una estructura puramente clásica. A finales del siglo XX se produjeron una serie de estudios de las propiedades fundamentales de la física cuántica. Actualmente, como consecuencia de estos avances en la teoría cuántica y los experimentos realizados, varias compañías están vendiendo aparatos asegurando que realizan tareas de información cuántica sin análogo clásico, como por ejemplo generadores de números aleatorios, prototipos de ordenadores cuánticos, o aparatos de distribución de claves cuánticas. Dado que este tipo de aparatos no se pueden simular clásicamente, resulta difícil verificar su funcionamiento utilizando sólo recursos clásicos, que son los que están disponibles para un usuario medio. Por lo tanto, resulta lógico preguntarnos de qué forma podemos verificar el funcionamiento y las propiedades de estos aparatos de una forma eficiente. En este contexto, durante las últimas décadas, se han desarrollado lo que se conoce como protocolos independientes del aparato –device-independent protocols– en el marco de la teoría de la información cuántica. La principal ventaja de este tipo de protocolos es que el usuario no tiene que hacer ninguna suposición acerca del funcionamiento interno del aparato, pudiéndolo considerar como una caja negra. El éxito y la seguridad de este tipo de protocolos se basa en la observación de correlaciones no locales en un experimento de Bell. Esta tesis está dedicada a proporcionar herramientas para conseguir la certificación de aparatos o tareas de información cuántica utilizando protocolos independientes del aparato. Para realizarlo, la tesis está dividida en tres partes. En la primera parte de la tesis nos centramos en la certificación de la seguridad en la distribución de claves cuánticas independientemente del aparato. Para realizarlo, estudiamos si la no-localidad de Bell es condición suficiente para garantizar la seguridad en el tipo de protocolos más utilizados, probando que hay correlaciones no locales que no son útiles para la seguridad en la distribución de claves cuánticas utilizando este tipo de protocolos. Además, estudiamos escenarios con ruido, es decir, cuando hay imperfecciones experimentales, derivando cotas superiores para la longitud de la clave obtenida mediante estos protocolos. En la segunda parte estudiamos lo que denominamos auto-pruebas –selftesting– que es uno de los protocolos independientes del aparato más sencillos que existen. El objetivo es recuperar los estados cuánticos únicamente a partir de las correlaciones observadas. Dado que en la mayoría de tareas de procesado de información es necesario considerar un estado cuántico determinado, certificar estados cuánticos tiene una gran importancia en el paradigma de independencia del aparato. Demostramos que los estados de qubits multipartitos pueden ser autoprobados. Además, estudiamos qué podemos saber de sistemas cuyas dimensiones sean mayores. Por último, en la tercera parte de la tesis, atacamos el problema de la certificación de entrelazamiento. Es bien sabida la dificultad de certificar la presencia de entrelazamiento en un sistema. Los métodos más conocidos para detectarlo son los testigos de entrelazamiento y los mapas positivos, y ambos dependen de nuestra comprensión de las propiedades del álgebra multilineal. Utilizando que cualquier estado separable tiene una correspondencia unívoca con una desigualdad matricial, trasladamos resultados previamente conocidos sobre entrelazamiento de estados que tengan una transposición parcial positiva al dominio de desigualdades matriciales, de forma que podemos traducir mapas multilineales positivos a testigos de entrelazamiento. Este enfoque nos lleva a un tratamiento unificado de una amplia clase de desigualdades matriciales, permitiéndonos descubrir nuevas desigualdades y alcanzar nuevos avances en la teoría del entrelazamiento.