Decomposing dense bipartite graphs into 4-cycles

Let G be an even bipartite graph with partite sets X and Y such that |Y | is even and the minimum degree of a vertex in Y is at least 95|X|/96. Suppose furthermore that the number of edges in G is divisible by 4. Then G decomposes into 4-cycles

Generalized packing designs

Generalized $t$-designs, which form a common generalization of objects such as $t$-designs, resolvable designs and orthogonal arrays, were defined by Cameron [P.J. Cameron, A generalisation of $t$-designs, \emph{Discrete Math.}\ {\bf 309} (2009), 4835--4842]. In this paper, we define a related class of combinatorial designs which simultaneously generalize packing designs and packing arrays. We describe the sometimes surprising connections which these generalized designs have with various known classes of combinatorial designs, including Howell designs, partial Latin squares and several classes of triple systems, and also concepts such as resolvability and block colouring of ordinary designs and packings, and orthogonal resolutions and colourings. Moreover, we derive bounds on the size of a generalized packing design and construct optimal generalized packings in certain cases. In particular, we provide methods for constructing maximum generalized packings with $t=2$ and block size $k=3$ or 4.Comment: 38 pages, 2 figures, 5 tables, 2 appendices. Presented at 23rd British Combinatorial Conference, July 201

Characterizing entanglement and quantum correlations constrained by symmetry

Entanglement and nonlocal correlations constitute two fundamental resources for quantum information processing, as they allow for novel tasks that are otherwise impossible in a classical scenario. However, their elusive characterization is still a central problem in Quantum Information Theory. The main reason why such a fundamental issue remains a formidable challenge lies in the exponential growth in complexity of the Hilbert space, as well as the space of nonlocal correlations. Physical systems of interest, on the other hand, display symmetries that can be exploited to reduce this complexity, opening the possibility that, for such systems, some of these questions become tractable. This PhD Thesis is dedicated to the study and characterization of entanglement and nonlocal correlations constrained under symmetries. It contains original results in these four threads of research: PPT entanglement in the symmetric states, nonlocality detection in many-body systems, the non-equivalence between entanglement and nonlocality and elemental monogamies of correlations. First, we study PPT entanglement in fully symmetric n-qubit states. We solve the open question on the existence of four-qubit PPT entangled states of these kind, providing constructive examples and methods. Furthermore, we develop criteria for separability, edgeness and the Schmidt number of PPT entangled symmetric states. Geometrically, we focus on the characterization of extremal states of this family and we provide an algorithm to find states with such properties. Second, we study nonlocality in many-body systems. We consider permutationally and translationally invariant Bell inequalities consisting of two-body correlators. These constitute the first tools to detect nonlocality in many-body systems in an experimentally friendly way with our current technology. Furthermore, we show how these Bell inequalities detect nonlocality in physically relevant systems such as ground states of Hamiltonians that naturally arise e.g., in nuclear physics. We provide analytical classes of Bell inequalities and we analytically characterize which states and measurements are best suited for them. We show that the method we introduce can be fully generalized to correlators of any order in any Bell scenario. Finally, we provide some feedback from a more experimental point of view. Third, we demonstrate that entanglement and nonlocality are inequivalent concepts in general; a question that remained open in the multipartite case. We show that the strongest form of entanglement, genuinely multipartite entanglement, does not imply the strongest form of nonlocality, genuinely multipartite nonlocality, in any case. We give a constructive method that, starting from a multipartite genuinely multipartite state admitting a K-local model, extends it to a genuinely multipartite entangled state of any number of parties while preserving the degree of locality. Finally, we show that nonlocal correlations are monogamous in a much stronger sense than the typical one, in which the figure of merit compares a Bell inequality violation between two sets of parties. We show that the amount of Bell violation that a set of parties observes limits the knowledge that any external observer may gain on any of the outcomes of any of the parties performing the Bell experiment. We show that this holds even if such observer is not limited by quantum physics, but it only obeys the no-signalling principle. Apart from its fundamental interest, we show how these stronger monogamy relations boost the performance of some device-independent (DI) protocols such as DI quantum key distribution or DI randomness amplification.El entrelazamiento y las correlaciones no-locales constituyen dos recursos fundamentales para el procesamiento cuántico de la información, ya que abren la posibilidad de realizar tareas que serían imposibles en el sentido clásico. Sin embargo, su elusiva caracterización aún representa uno de los problemas más importantes en la teoría cuántica de la información. La razón principal por la que una cuestión tan básica sigue siendo un reto formidable subyace en el incremento exponencial de la complejidad del espacio de Hilbert, así como del espacio de las correlaciones no-locales. Por otro lado, los sistemas físicos de interés muestran simetrías que pueden ser aprovechadas para reducir dicha complejidad, abriendo la posibilidad que, para tales sistemas, algunas de esas cuestiones devengan tratables. La presente tesis doctoral está enfocada al estudio de la caracterización del entrelazamiento cuántico y las correlaciones no-locales bajo simetrías. Contiene resultados originales en las siguientes líneas de investigación: entrelazamiento del tipo PPT en estados simétricos, detección de no-localidad en sistemas de muchos cuerpos, la no equivalencia entre el entrelazamiento cuántico y la no-localidad y las correlaciones monogámicas elementales. En primer lugar, estudiamos el entrelazamiento del tipo PPT en estados totalmente simétricos de n bits cuánticos. Resolvemos el problema abierto referente a la existencia de estados PPT entrelazados de cuatro bits cuánticos de este tipo, proporcionando ejemplos y métodos constructivos. Además, desarrollamos criterios de separabilidad, estados frontera y número de Schmidt para estados PPT entrelazados y simétricos. Nos centramos en la caracterización de estados extremos dentro de esta familia y proporcionamos un algoritmo para encontrar estados cuánticos con tales propiedades. En segundo lugar, estudiamos la no-localidad en sistemas de muchos cuerpos. Consideramos desigualdades de Bell, invariantes bajo permutaciones o traslaciones, que involucran correladores entre dos cuerpos como mucho. Dichas desigualdades constituyen los primeros tests de detección de no-localidad en sistemas de muchos cuerpos que son accesibles experimentalmente, con el presente nivel de tecnología. Además, demostramos cómo esas desigualdades de Bell pueden detectar no-localidad en estados físicamente relevantes, como los estados de mínima energía de hamiltonianos que aparecen en física nuclear. Proporcionamos clases analíticas de desigualdades de Bell y caracterizamos, también analíticamente, qué estados y medidas son los más adecuados para ellas. Vemos que el método que introducimos es generalizable a cualquier escenario de Bell. Finalmente, comentamos aspectos de interés desde un punto de vista experimental. En tercer lugar, demostramos que el entrelazamiento y las correlaciones no-locales son conceptos no equivalentes en general, resolviendo un problema que persistía abierto en el caso multipartito. Probamos que la forma más fuerte de entrelazamiento no implica la forma más fuerte de no-localidad en ningún caso. Para ello, damos un método constructivo que, dado un estado cuántico multipartito genuinamente entrelazado que admite un modelo K-local, lo extiende a un estado consistente en un número de subsistemas arbitrario, genuinamente entrelazado, preservando el mismo grado de localidad. Finalmente, demostramos que las correlaciones no-locales son monógamas en un sentido mucho más estricto que el que se considera típicamente. Vemos que la cantidad de violación que un conjunto de observadores mide impone restricciones fundamentales en la información que puede obtener cualquier observador externo, resultado que se mantiene asumiendo sólo la imposibilidad de transmisión instantánea de la información. Demostramos su aplicación en protocolos cuánticos independientes del dispositivo (ID) tales como la distribución cuántica de llaves ID o bien la amplificación de aleatoriedad ID

Gravity Informed

Formulating a universally satisfactory theory of quantum gravity is a long-standing open problem in theoretical physics. Relatively recently, the use of techniques from quantum information has emerged as a powerful tool for analyzing phenomena that lie at the intersection of quantum theory and gravitation. This thesis describes several advances and novel proposals that were made regarding information theoretic aspects of quantum gravity in three broad areas: holography, cosmology, and the black hole information problem. Regarding holography, we first assess the differences between typical holographic states and fully random states. Next, we show that determining Ryu-Takayanagi surfaces in AdS3/CFT2 is computationally easy from a complexity-theoretic standpoint. Finally, we identify precise consistency conditions that constrain the validity of an early tensor network model for the AdS/CFT correspondence that uses the Multiscale Entanglement Renormalization Ansatz (MERA). Regarding cosmology, we propose an alternative interpretation of the MERA as a discretization of de Sitter spacetime. Next, we return to holographic ideas and show that an appropriately-defined Generalized Second Law implies a cosmic no-hair theorem for certain classes of cosmological spacetimes. Finally, we advance an information-theoretic proposal for calculating the signature of a quantum gravity-motivated, fully covariant, natural ultraviolet cutoff in the spectrum of inflationary perturbations. Regarding the black hole information problem, we begin by exhibiting a simple protocol which, under highly specific circumstances, allows one to retrieve a single qubit from a black hole. Next, we propose an operational resolution of the black hole information problem in which observers who enter the black hole could never detect an inconsistency between their experiences and quantum mechanics due to the finite amount of time available before reaching the central singularity. Finally, we discuss a proposal to understand the emergence of an ensemble of definite geometries during the process of black hole evaporation as a decoherence process, as well as its implications for the black hole information problem.</p