Certification of many-body systems

Quantum physics is arguably both the most successful and the most counterintuitive physical theory of all times. Its extremely accurate predictions on the behaviour of microscopic particles have led to unprecedented technological advances in various fields and yet, many quantum phenomena defy our classical intuition. Starting from the 1980’s, however, a paradigm shift has gradually taken hold in the scientific community, consisting in studying quantum phenomena not as inexplicable conundrums but as useful resources. This shift marked the birth of the field of quantum information science, which has since then explored the advantages that quantum theory can bring to the way we process and transfer information. In this thesis, we introduce scalable certification tools that apply to various operational properties of many-body quantum systems. In the first three cases we consider, we base our certification protocols on the detection of nonlocal correlations. These kinds of non-classical correlations that can displayed by quantum states allow one to assess relevant properties in a device-independent manner, that is, without assuming anything about the specific functioning of the device producing the state of interest or the implemented measurements. In the first scenario we present an efficient method to detect multipartite entanglement in a device-independent way. We do so by introducing a numerical test for nonlocal correlations that involves computational and experimental resources that scale polynomially with the system number of particles. We show the range of applicability of the method by using it to detect entanglement in various families of multipartite systems. In multipartite systems, however, it is often more informative to provide quantitative statements. We address this problem in the second scenario by introducing scalable methods to quantify the nonlocality depth of a multipartite systems, that is, the number of particles sharing nonlocal correlations among each other. We show how to do that by making use of the knowledge of two-body correlations only and we apply the resulting techniques to experimental data from a system of a few hundreds of atoms. In the third scenario, we move to consider self-testing, which is the most informative certification method based on nonlocality. Indeed, in a self-testing task, one is interested in characterising the state of the system and the measurement performed on it, by simply looking at the resulting correlations. We introduce the first scalable self-testing method based on Bell inequalities and apply it to graph states, a well-known family of multipartite quantum states. Moreover, we show that the certification achieved with our method is robust against experimental imperfections. Lastly, we address the problem of certifying the result of quantum optimizers. They are quantum devices designed to estimate the groundstate energy of classical spin systems. We provide a way to efficiently compute a convergent series of upper and lower bounds to the minimum of interest, which at each step allows one to certify the output of any quantum optimizer.La física cuántica es posiblemente la teoría física más exitosa y la más contraintuitiva jamás desarollada. A pesar de que sus predicciones extremadamente precisas sobre el comportamiento de las partículas microscópicas han llevado a avances tecnológicos sin precedentes en varios campos, muchos fenómenos cuánticos desafían nuestra intuición basada en una concepción clásica de la física. Sin embargo, a partir de la década de 1980 tuvo lugar un cambio de paradigma en la comunidad científica, que se orientó en estudiar los fenómenos cuánticos no como enigmas inexplicables, sino como recursos útiles. Este cambio marcó el nacimiento del campo de la ciencia de la información cuántica, que desde entonces ha explorado las ventajas que la teoría cuántica puede aportar a la forma en que procesamos y transferimos la información. Hoy en día es un hecho bien establecido que la codificación de información en partículas cuánticas puede llevar, por ejemplo, a procesos de cálculo más eficientes, así como a comunicaciones extremadamente seguras. Además, debido a sus aplicaciones prácticas a la vida cotidiana, la ciencia de la información cuántica ha atraído un gran interés político y económico. Recientemente se han lanzado varias iniciativas con el propósito de cerrar la brecha entre la ciencia básica y la industria en este campo, tanto a nivel nacional como internacional. Al mismo tiempo, cada vez más empresas están incrementando sus esfuerzos para producir dispositivos cuánticos a nivel comercial. No hay duda de que hemos entrado en la era de la primera generación de dispositivos cuánticos, en la cual los sistemas cuánticos controlables compuestos de decenas o cientos de partículas son cada vez más accesibles. En tal escenario, el certificar que estos dispositivos exhiben sus atractivas propiedades cuánticas constituye un problema fundamental. Es importante destacar que, para que los métodos de certificación deseados sean aplicables en situaciones reales, éstos deben ser escalables con el tamaño del sistema. En otras palabras, tienen que basarse en requerimientos computacionales y experimentales que crezcan, a lo sumo,polinomialmente con el número de partículas en el sistema de interés. En esta tesis, introducimos herramientas de certificación escalables que se aplican a varias propiedades operativas de sistemas cuánticos de muchos cuerpos. En los primeros tres casos que consideramos, basamos nuestros protocolos de certificación en la detección de correlaciones no locales. Estos tipos de correlaciones no clásicas, que únicamente pueden ser producidas por sistemas cuánticos, permiten evaluar propiedades relevantes de forma independiente del dispositivo, es decir, sin realizar hipótesis acerca del funcionamiento específico del dispositivo que produce el estado de interés o las mediciones implementadas. En el primer escenario, presentamos un método eficiente para detectar entrelazamiento en sistemas multipartitos de forma independiente del dispositivo. Lo hacemos mediante la introducción de una prueba numérica para las correlaciones no locales que involucra recursos computacionales y experimentales que escalan polinomialmente con el número de partículas del sistema. Mostramos el rango de aplicabilidad de dicho método usándolo para detectar entrelazamiento en varias familias de sistemas multipartitos. Sin embargo, al tratar con sistemas de muchos cuerpos a menudo es más informativo proporcionar informaciones cuantitativas. Abordamos este problema en el segundo escenario mediante la introducción de métodos escalables para cuantificar la profundidad no local (non-locality depth) de un sistema multipartito, es decir, la cantidad de partículas que comparten correlaciones no locales entre sí. Mostramos cómo realizar dicha cuantificación a partir del conocimiento únicamente de los correladores de dos cuerpos, y aplicamos las técnicas resultantes a los datos experimentales de un sistema de unos pocos cientos de átomos. En el tercer escenario, pasamos a considerar el caso de self-testing, que es el método de certificación más informativo basado en la no localidad. De hecho, en una tarea de self-testing, el objetivo es caracterizar el estado del sistema y las mediciones realizadas en él, simplemente observando las correlaciones resultantes. Introducimos el primer método de self-testing escalable basado en las desigualdades de Bell y lo aplicamos a estados de grafo, una familia muy conocida de estados cuánticos multipartitos. Además, demostramos que la certificación lograda con nuestro método es robusta a imperfecciones experimentales. Por último, consideramos el problema de certificar el resultado de optimizadores cuánticos. Estos son dispositivos cuánticos diseñados para estimar la energía del estado fundamental de sistemas de espines clásicos. Desarollamos un método eficiente para calcular una serie convergente de límites superiores e inferiores al mínimo de interés, que en cada paso permite certificar el resultado de cualquier optimizador cuánticoPostprint (published version

Certification of many-body systems

Quantum physics is arguably both the most successful and the most counterintuitive physical theory of all times. Its extremely accurate predictions on the behaviour of microscopic particles have led to unprecedented technological advances in various fields and yet, many quantum phenomena defy our classical intuition. Starting from the 1980’s, however, a paradigm shift has gradually taken hold in the scientific community, consisting in studying quantum phenomena not as inexplicable conundrums but as useful resources. This shift marked the birth of the field of quantum information science, which has since then explored the advantages that quantum theory can bring to the way we process and transfer information. In this thesis, we introduce scalable certification tools that apply to various operational properties of many-body quantum systems. In the first three cases we consider, we base our certification protocols on the detection of nonlocal correlations. These kinds of non-classical correlations that can displayed by quantum states allow one to assess relevant properties in a device-independent manner, that is, without assuming anything about the specific functioning of the device producing the state of interest or the implemented measurements. In the first scenario we present an efficient method to detect multipartite entanglement in a device-independent way. We do so by introducing a numerical test for nonlocal correlations that involves computational and experimental resources that scale polynomially with the system number of particles. We show the range of applicability of the method by using it to detect entanglement in various families of multipartite systems. In multipartite systems, however, it is often more informative to provide quantitative statements. We address this problem in the second scenario by introducing scalable methods to quantify the nonlocality depth of a multipartite systems, that is, the number of particles sharing nonlocal correlations among each other. We show how to do that by making use of the knowledge of two-body correlations only and we apply the resulting techniques to experimental data from a system of a few hundreds of atoms. In the third scenario, we move to consider self-testing, which is the most informative certification method based on nonlocality. Indeed, in a self-testing task, one is interested in characterising the state of the system and the measurement performed on it, by simply looking at the resulting correlations. We introduce the first scalable self-testing method based on Bell inequalities and apply it to graph states, a well-known family of multipartite quantum states. Moreover, we show that the certification achieved with our method is robust against experimental imperfections. Lastly, we address the problem of certifying the result of quantum optimizers. They are quantum devices designed to estimate the groundstate energy of classical spin systems. We provide a way to efficiently compute a convergent series of upper and lower bounds to the minimum of interest, which at each step allows one to certify the output of any quantum optimizer.La física cuántica es posiblemente la teoría física más exitosa y la más contraintuitiva jamás desarollada. A pesar de que sus predicciones extremadamente precisas sobre el comportamiento de las partículas microscópicas han llevado a avances tecnológicos sin precedentes en varios campos, muchos fenómenos cuánticos desafían nuestra intuición basada en una concepción clásica de la física. Sin embargo, a partir de la década de 1980 tuvo lugar un cambio de paradigma en la comunidad científica, que se orientó en estudiar los fenómenos cuánticos no como enigmas inexplicables, sino como recursos útiles. Este cambio marcó el nacimiento del campo de la ciencia de la información cuántica, que desde entonces ha explorado las ventajas que la teoría cuántica puede aportar a la forma en que procesamos y transferimos la información. Hoy en día es un hecho bien establecido que la codificación de información en partículas cuánticas puede llevar, por ejemplo, a procesos de cálculo más eficientes, así como a comunicaciones extremadamente seguras. Además, debido a sus aplicaciones prácticas a la vida cotidiana, la ciencia de la información cuántica ha atraído un gran interés político y económico. Recientemente se han lanzado varias iniciativas con el propósito de cerrar la brecha entre la ciencia básica y la industria en este campo, tanto a nivel nacional como internacional. Al mismo tiempo, cada vez más empresas están incrementando sus esfuerzos para producir dispositivos cuánticos a nivel comercial. No hay duda de que hemos entrado en la era de la primera generación de dispositivos cuánticos, en la cual los sistemas cuánticos controlables compuestos de decenas o cientos de partículas son cada vez más accesibles. En tal escenario, el certificar que estos dispositivos exhiben sus atractivas propiedades cuánticas constituye un problema fundamental. Es importante destacar que, para que los métodos de certificación deseados sean aplicables en situaciones reales, éstos deben ser escalables con el tamaño del sistema. En otras palabras, tienen que basarse en requerimientos computacionales y experimentales que crezcan, a lo sumo,polinomialmente con el número de partículas en el sistema de interés. En esta tesis, introducimos herramientas de certificación escalables que se aplican a varias propiedades operativas de sistemas cuánticos de muchos cuerpos. En los primeros tres casos que consideramos, basamos nuestros protocolos de certificación en la detección de correlaciones no locales. Estos tipos de correlaciones no clásicas, que únicamente pueden ser producidas por sistemas cuánticos, permiten evaluar propiedades relevantes de forma independiente del dispositivo, es decir, sin realizar hipótesis acerca del funcionamiento específico del dispositivo que produce el estado de interés o las mediciones implementadas. En el primer escenario, presentamos un método eficiente para detectar entrelazamiento en sistemas multipartitos de forma independiente del dispositivo. Lo hacemos mediante la introducción de una prueba numérica para las correlaciones no locales que involucra recursos computacionales y experimentales que escalan polinomialmente con el número de partículas del sistema. Mostramos el rango de aplicabilidad de dicho método usándolo para detectar entrelazamiento en varias familias de sistemas multipartitos. Sin embargo, al tratar con sistemas de muchos cuerpos a menudo es más informativo proporcionar informaciones cuantitativas. Abordamos este problema en el segundo escenario mediante la introducción de métodos escalables para cuantificar la profundidad no local (non-locality depth) de un sistema multipartito, es decir, la cantidad de partículas que comparten correlaciones no locales entre sí. Mostramos cómo realizar dicha cuantificación a partir del conocimiento únicamente de los correladores de dos cuerpos, y aplicamos las técnicas resultantes a los datos experimentales de un sistema de unos pocos cientos de átomos. En el tercer escenario, pasamos a considerar el caso de self-testing, que es el método de certificación más informativo basado en la no localidad. De hecho, en una tarea de self-testing, el objetivo es caracterizar el estado del sistema y las mediciones realizadas en él, simplemente observando las correlaciones resultantes. Introducimos el primer método de self-testing escalable basado en las desigualdades de Bell y lo aplicamos a estados de grafo, una familia muy conocida de estados cuánticos multipartitos. Además, demostramos que la certificación lograda con nuestro método es robusta a imperfecciones experimentales. Por último, consideramos el problema de certificar el resultado de optimizadores cuánticos. Estos son dispositivos cuánticos diseñados para estimar la energía del estado fundamental de sistemas de espines clásicos. Desarollamos un método eficiente para calcular una serie convergente de límites superiores e inferiores al mínimo de interés, que en cada paso permite certificar el resultado de cualquier optimizador cuántic

Typical Correlation Length of Sequentially Generated Tensor Network States

The complexity of quantum many-body systems is manifested in the vast diversity of their correlations, making it challenging to distinguish the generic from the atypical features. This can be addressed by analyzing correlations through ensembles of random states, chosen to faithfully embody the relevant physical properties. Here, we focus on spins with local interactions, whose correlations are extremely well captured by tensor network states. Adopting an operational perspective, we define ensembles of random tensor network states in one and two spatial dimensions that admit a sequential generation. As such, they directly correspond to outputs of quantum circuits with a sequential architecture and random gates. In one spatial dimension, the ensemble explores the entire family of matrix product states, while in two spatial dimensions, it corresponds to random isometric tensor network states. We extract the scaling behavior of the average correlations between two subsystems as a function of their distance. Using elementary concentration results, we then deduce the typical case for measures of correlation such as the von Neumann mutual information and a measure arising from the Hilbert-Schmidt norm. We find for all considered cases that the typical behavior is an exponential decay (for both one and two spatial dimensions). We observe the consistent emergence of a correlation length that depends only on the underlying spatial dimension and not the considered measure. Remarkably, increasing the bond dimension leads to a higher correlation length in one spatial dimension but has the opposite effect in two spatial dimensions.Comment: Updated to match published versio

Bounding sets of sequential quantum correlations and device-independent randomness certification

An important problem in quantum information theory is that of bounding sets of correlations that arise from making local measurements on entangled states of arbitrary dimension. Currently, the best-known method to tackle this problem is the NPA hierarchy; an infinite sequence of semidefinite programs that provides increasingly tighter outer approximations to the desired set of correlations. In this work we consider a more general scenario in which one performs sequences of local measurements on an entangled state of arbitrary dimension. We show that a simple adaptation of the original NPA hierarchy provides an analogous hierarchy for this scenario, with comparable resource requirements and convergence properties. We then use the method to tackle some problems in device-independent quantum information. First, we show how one can robustly certify over 2.3 bits of device-independent local randomness from a two-quibt state using a sequence of measurements, going beyond the theoretical maximum of two bits that can be achieved with non-sequential measurements. Finally, we show tight upper bounds to two previously defined tasks in sequential Bell test scenarios

Unveiling quantum entanglement in many-body systems from partial information

Quantum entanglement is commonly assumed to be a central resource for quantum computing and quantum simulation. Nonetheless, the capability to detect it in many-body systems is severely limited by the absence of sufficiently scalable and flexible certification tools. This issue is particularly critical in situations where the structure of entanglement is \textit{a priori} unknown, and where one cannot rely on existing entanglement witnesses. Here, we develop and validate a novel scheme, where the knowledge of the mean value of arbitrary observables can be used to probe multipartite entanglement in a scalable, certified and systematic manner. Specifically, we derive a complete hierarchy of positive semidefinite conditions, independent of partial-transposition-based criteria, necessarily obeyed if the data can be reproduced by a separable state. The violation of any of these conditions yields a specific entanglement witness, tailored to the data of interest, revealing the salient features of the data which are impossible to reproduce without entanglement. We validate this approach by probing theoretical many-body states of several hundreds of qubits relevant to existing experiments: a single-particle quench in a one-dimensional $XX$ chain; a many-body quench in a two-dimensional $XX$ model with $1/r^3$ interactions; and thermal equilibrium states of Heisenberg and transverse-field Ising chains. In all cases, these investigations have lead us to discover new entanglement witnesses, some of which could be characterized analytically, generalizing existing results in the literature. In summary, our method represents both a fundamental contribution to the theory of multipartite entanglement and a flexible data-driven entanglement detection technique for uncharacterized quantum many-body states, of immediate relevance to experiments in a quantum advantage regime.Comment: 10 + 6 pages. 4 figure

Entanglement marginal problems

We consider the entanglement marginal problem, which consists of deciding whether a number of reduced density matrices are compatible with an overall separable quantum state. To tackle this problem, we propose hierarchies of semidefinite programming relaxations of the set of quantum state marginals admitting a fully separable extension. We connect the completeness of each hierarchy to the resolution of an analog classical marginal problem and thus identify relevant experimental situations where the hierarchies are complete. For finitely many parties on a star configuration or a chain, we find that we can achieve an arbitrarily good approximation to the set of nearest-neighbour marginals of separable states with a time (space) complexity polynomial (linear) on the system size. Our results even extend to infinite systems, such as translation-invariant systems in 1D, as well as higher spatial dimensions with extra symmetries.Comment: Accepted versio

Maximal nonlocality from maximal entanglement and mutually unbiased bases, and self-testing of two-qutrit quantum systems

Bell inequalities are an important tool in device-independent quantum information processing because their violation can serve as a certificate of relevant quantum properties. Probably the best known example of a Bell inequality is due to Clauser, Horne, Shimony and Holt (CHSH), which is defined in the simplest scenario involving two dichotomic measurements and whose all key properties are well understood. There have been many attempts to generalise the CHSH Bell inequality to higher-dimensional quantum systems, however, for most of them the maximal quantum violation---the key quantity for most device-independent applications---remains unknown. On the other hand, the constructions for which the maximal quantum violation can be computed, do not preserve the natural property of the CHSH inequality, namely, that the maximal quantum violation is achieved by the maximally entangled state and measurements corresponding to mutually unbiased bases. In this work we propose a novel family of Bell inequalities which exhibit precisely these properties, and whose maximal quantum violation can be computed analytically. In the simplest scenario it recovers the CHSH Bell inequality. These inequalities involve $d$ measurements settings, each having $d$ outcomes for an arbitrary prime number $d\geq 3$. We then show that in the three-outcome case our Bell inequality can be used to self-test the maximally entangled state of two-qutrits and three mutually unbiased bases at each site. Yet, we demonstrate that in the case of more outcomes, their maximal violation does not allow for self-testing in the standard sense, which motivates the definition of a new weak form of self-testing. The ability to certify high-dimensional MUBs makes these inequalities attractive from the device-independent cryptography point of view.Comment: 19 pages, no figures, accepted in Quantu

Verification of Quantum Optimizers

Methods for finding ground states of classical spin models are of great importance in optimization and are gaining additional relevance now for verifying the results quantum optimizers. We combine the state-of-the-art branch and bound method for solving such optimization problems via converging upper- and lower-bounds with ideas from polynomial optimization and semidefinite programming (SDP). The resulting chordal branch and bound (CBB) algorithm can exploit the locality and resulting sparsity in relevant Ising spin models in a systematic way. This yields certified solutions for many of the problems that are being used to benchmark quantum annealing devices more efficiently and for larger system sizes. We are able to verify the output of a D-Wave 2000Q device for the largest triangular lattice that can be embedded in the hardware and provide exact ground states for cases in which the quantum annealer returns a configuration with almost minimal energy but markedly different spin pattern. The method always yields provable polynomial time upper and lower bounds on the ground state energy. We benchmark our method against further planar and non-planar graphs and show that these bounds often converge after a small number of steps, even though the NP-hardness of general Ising models implies that exponentially many steps are required in the worst case. This new tool is a flexible and scalable solution for the verification and benchmarking of the next generation of quantum optimization devices.Comment: 12 pages + 4 figures, comments and suggestions are welcom

Device-Independent Certification of Genuinely Entangled Subspaces

Self-testing is a procedure for characterizing quantum resources with the minimal level of trust. Up to now it has been used as a device-independent certification tool for particular quantum measurements, channels, and pure entangled states. In this work we introduce the concept of self-testing more general entanglement structures. More precisely, we present the first self-tests of an entangled subspace - the five-qubit code and the toric code. We show that all quantum states maximally violating a suitably chosen Bell inequality must belong to the corresponding code subspace, which remarkably includes also mixed states.Comment: 14 pages (5 + appendices), 6 figure

Certification of many-body systems

Quantum physics is arguably both the most successful and the most counterintuitive physical theory of all times. Its extremely accurate predictions on the behaviour of microscopic particles have led to unprecedented technological advances in various fields and yet, many quantum phenomena defy our classical intuition. Starting from the 1980’s, however, a paradigm shift has gradually taken hold in the scientific community, consisting in studying quantum phenomena not as inexplicable conundrums but as useful resources. This shift marked the birth of the field of quantum information science, which has since then explored the advantages that quantum theory can bring to the way we process and transfer information. In this thesis, we introduce scalable certification tools that apply to various operational properties of many-body quantum systems. In the first three cases we consider, we base our certification protocols on the detection of nonlocal correlations. These kinds of non-classical correlations that can displayed by quantum states allow one to assess relevant properties in a device-independent manner, that is, without assuming anything about the specific functioning of the device producing the state of interest or the implemented measurements. In the first scenario we present an efficient method to detect multipartite entanglement in a device-independent way. We do so by introducing a numerical test for nonlocal correlations that involves computational and experimental resources that scale polynomially with the system number of particles. We show the range of applicability of the method by using it to detect entanglement in various families of multipartite systems. In multipartite systems, however, it is often more informative to provide quantitative statements. We address this problem in the second scenario by introducing scalable methods to quantify the nonlocality depth of a multipartite systems, that is, the number of particles sharing nonlocal correlations among each other. We show how to do that by making use of the knowledge of two-body correlations only and we apply the resulting techniques to experimental data from a system of a few hundreds of atoms. In the third scenario, we move to consider self-testing, which is the most informative certification method based on nonlocality. Indeed, in a self-testing task, one is interested in characterising the state of the system and the measurement performed on it, by simply looking at the resulting correlations. We introduce the first scalable self-testing method based on Bell inequalities and apply it to graph states, a well-known family of multipartite quantum states. Moreover, we show that the certification achieved with our method is robust against experimental imperfections. Lastly, we address the problem of certifying the result of quantum optimizers. They are quantum devices designed to estimate the groundstate energy of classical spin systems. We provide a way to efficiently compute a convergent series of upper and lower bounds to the minimum of interest, which at each step allows one to certify the output of any quantum optimizer.La física cuántica es posiblemente la teoría física más exitosa y la más contraintuitiva jamás desarollada. A pesar de que sus predicciones extremadamente precisas sobre el comportamiento de las partículas microscópicas han llevado a avances tecnológicos sin precedentes en varios campos, muchos fenómenos cuánticos desafían nuestra intuición basada en una concepción clásica de la física. Sin embargo, a partir de la década de 1980 tuvo lugar un cambio de paradigma en la comunidad científica, que se orientó en estudiar los fenómenos cuánticos no como enigmas inexplicables, sino como recursos útiles. Este cambio marcó el nacimiento del campo de la ciencia de la información cuántica, que desde entonces ha explorado las ventajas que la teoría cuántica puede aportar a la forma en que procesamos y transferimos la información. Hoy en día es un hecho bien establecido que la codificación de información en partículas cuánticas puede llevar, por ejemplo, a procesos de cálculo más eficientes, así como a comunicaciones extremadamente seguras. Además, debido a sus aplicaciones prácticas a la vida cotidiana, la ciencia de la información cuántica ha atraído un gran interés político y económico. Recientemente se han lanzado varias iniciativas con el propósito de cerrar la brecha entre la ciencia básica y la industria en este campo, tanto a nivel nacional como internacional. Al mismo tiempo, cada vez más empresas están incrementando sus esfuerzos para producir dispositivos cuánticos a nivel comercial. No hay duda de que hemos entrado en la era de la primera generación de dispositivos cuánticos, en la cual los sistemas cuánticos controlables compuestos de decenas o cientos de partículas son cada vez más accesibles. En tal escenario, el certificar que estos dispositivos exhiben sus atractivas propiedades cuánticas constituye un problema fundamental. Es importante destacar que, para que los métodos de certificación deseados sean aplicables en situaciones reales, éstos deben ser escalables con el tamaño del sistema. En otras palabras, tienen que basarse en requerimientos computacionales y experimentales que crezcan, a lo sumo,polinomialmente con el número de partículas en el sistema de interés. En esta tesis, introducimos herramientas de certificación escalables que se aplican a varias propiedades operativas de sistemas cuánticos de muchos cuerpos. En los primeros tres casos que consideramos, basamos nuestros protocolos de certificación en la detección de correlaciones no locales. Estos tipos de correlaciones no clásicas, que únicamente pueden ser producidas por sistemas cuánticos, permiten evaluar propiedades relevantes de forma independiente del dispositivo, es decir, sin realizar hipótesis acerca del funcionamiento específico del dispositivo que produce el estado de interés o las mediciones implementadas. En el primer escenario, presentamos un método eficiente para detectar entrelazamiento en sistemas multipartitos de forma independiente del dispositivo. Lo hacemos mediante la introducción de una prueba numérica para las correlaciones no locales que involucra recursos computacionales y experimentales que escalan polinomialmente con el número de partículas del sistema. Mostramos el rango de aplicabilidad de dicho método usándolo para detectar entrelazamiento en varias familias de sistemas multipartitos. Sin embargo, al tratar con sistemas de muchos cuerpos a menudo es más informativo proporcionar informaciones cuantitativas. Abordamos este problema en el segundo escenario mediante la introducción de métodos escalables para cuantificar la profundidad no local (non-locality depth) de un sistema multipartito, es decir, la cantidad de partículas que comparten correlaciones no locales entre sí. Mostramos cómo realizar dicha cuantificación a partir del conocimiento únicamente de los correladores de dos cuerpos, y aplicamos las técnicas resultantes a los datos experimentales de un sistema de unos pocos cientos de átomos. En el tercer escenario, pasamos a considerar el caso de self-testing, que es el método de certificación más informativo basado en la no localidad. De hecho, en una tarea de self-testing, el objetivo es caracterizar el estado del sistema y las mediciones realizadas en él, simplemente observando las correlaciones resultantes. Introducimos el primer método de self-testing escalable basado en las desigualdades de Bell y lo aplicamos a estados de grafo, una familia muy conocida de estados cuánticos multipartitos. Además, demostramos que la certificación lograda con nuestro método es robusta a imperfecciones experimentales. Por último, consideramos el problema de certificar el resultado de optimizadores cuánticos. Estos son dispositivos cuánticos diseñados para estimar la energía del estado fundamental de sistemas de espines clásicos. Desarollamos un método eficiente para calcular una serie convergente de límites superiores e inferiores al mínimo de interés, que en cada paso permite certificar el resultado de cualquier optimizador cuántic