The first part of this thesis provides a mathematical description for bipartite quantum correlations, aiming to analyze the geometry of several sets of correlations. We explain why quantum entanglement can be used to simulate shared randomness: Cloc(Γ) ⊆ Cqd(Γ) for a sufficiently large d. The known bound for this dimension d in the literature is d ≥ dim(Cloc(Γ))+1, but we improve this by showing that the inclusion is always true for d ≥ dim(Cloc(Γ)). For the proof of this bound, we show that the set Cprivate(Γ) of correlations using private randomness is connected, which allows the use of an improved version of Carathéodory’s Theorem. In the second part of this thesis, we define and analyze a see-saw method to determine the state and measurement operators that reconstruct both the correlation itself as its entanglement dimension, by solving consecutive semidefinite programs. One of the strengths of the algorithm is its generality: it applies to different dimensions, question sets, and answer sets. Some numerical experiments demonstrated that the method can indeed reconstruct quantum correlations, although some highly entangled correlations failed to be reconstructed due to the computationallimitations. The numerical experiments motivated several new theorems, for example the fact that every correlation with |A|= 1 or |B|= 1 has entanglement dimension 1, which means that it can be written as a private randomness correlation. The proof of this result is based on the earlier described improvement for the dimension d.
The first part of this thesis provides a mathematical description for bipartite quantum correlations, aiming to analyze the geometry of several sets of correlations. We explain why quantum entanglement can be used to simulate shared randomness: Cloc(Γ) ⊆ Cqd(Γ) for a sufficiently large d. The known bound for this dimension d in the literature is d ≥ dim(Cloc(Γ))+1, but we improve this by showing that the inclusion is always true for d ≥ dim(Cloc(Γ)). For the proof of this bound, we show that the set Cprivate(Γ) of correlations using private randomness is connected, which allows the use of an improved version of Carathéodory’s Theorem. In the second part of this thesis, we define and analyze a see-saw method to determine the state and measurement operators that reconstruct both the correlation itself as its entanglement dimension, by solving consecutive semidefinite programs. One of the strengths of the algorithm is its generality: it applies to different dimensions, question sets, and answer sets. Some numerical experiments demonstrated that the method can indeed reconstruct quantum correlations, although some highly entangled correlations failed to be reconstructed due to the computationallimitations. The numerical experiments motivated several new theorems, for example the fact that every correlation with |A|= 1 or |B|= 1 has entanglement dimension 1, which means that it can be written as a private randomness correlation. The proof of this result is based on the earlier described improvement for the dimension d.
Quantum mechanics is nonlocal, meaning it cannot be described by any classical local hidden variable model. In this thesis we study two aspects of quantum nonlocality. Part I addresses the question of what classical resources are required to simulate nonlocal quantum correlations. We start by constructing new local models for noisy entangled quantum states. These constructions exploit the connection between nonlocality and Grothendieck's inequality, first noticed by Tsirelson. Next, we consider local models augmented by a limited amount of classical communication. After generalizing Bell inequalities to this setting, we show that (i) one bit of communication is sufficient to simulate the correlations of projective measurements on a maximally entangled state of two qubits, and (ii) five bits of communication are sufficient to simulate the joint correlation of two-outcome measurements on any bipartite quantum state. The latter result can be interpreted as a stronger (constrained) version of Grothendieck's inequality. In part II, we investigate the monogamy of nonlocal correlations. In a setting where three parties, A, B, and C, share an entangled quantum state of arbitrary dimension, we: (i) bound the trade-off between AB's and AC's violation of the CHSH inequality, obtaining an intriguing generalization of Tsirelson's bound, and (ii) demonstrate that forcing B and C to be classically correlated prevents A and B from violating certain Bell inequalities. We study not only correlations that arise within quantum theory, but also arbitrary correlations that do not allow signaling between separate groups of parties. These results are based on new techniques for obtaining Tsirelson bounds, or bounds on the quantum value of a Bell inequality, and have applications to interactive proof systems and cryptography.
In this thesis, we start with giving a mathematical description of bipartite quantum correlations and how they are built up in the Tensor model. This is needed because we want to recover the state and the operators when only the bipartite quantum correlation is known. In the literature, there are see-saw algorithms to recover the state, but they are limited to only lower dimensions. In this thesis, we explore an alternative approach, where we directly minimize the function f(ψ,{Esa},{Ftb}) = ∑a,b,s,t(P(a,b|s,t)- ψ*(Esa ⊗ Ftb)ψ)2. Here, P(a,b|s,t) is the bipartite correlation, ψ is the state vector, and Esa and Ftb are the POVMs. Furthermore, ⊗ is the Kronecker product and * indicates the conjugate transpose of a vector. These variables are subject to constraints and some of them can easily be transformed into penalty functions. The matrices Esa and Ftb have to be Hermitian positive semidefinite, for which we parameterize them by their Cholesky decompositions. The gradient of this (now unconstrained) problem can be explicitly determined with the use of Wirtinger calculus. This offers an elegant way to determine the gradient of real-valued functions with complex variables. Also, a total description of Wirtinger calculus is also given, including a proof that the gradient indeed points towards the direction of the steepest incline. We use first-order methods like gradient descent with backtracking line search and momentum-based gradient descent to find a minimum solution of the equation. If the cost function converges towards zero, we assume that the variables converge to a correct state and measurement operators. These methods can find large correlations of approximately 3000 separate variables in 1.5 hours and are able to find many different other correlations and states. The algorithm had some problems finding the operators and state of a family of correlations that had four inputs and two outputs. For some correlations, the algorithms found states and operators of lower dimension than the correlations were build with.
The aim of this thesis is to investigate quantum entanglement and quantum nonlocality of bipartite finite-dimensional systems (bipartite qudits). Entanglement is one of the most fascinating non-classical features of quantum theory, and besides its impact on our view of the world, it can be exploited for applications such as quantum cryptography and quantum computing. (...) Although entanglement and nonlocality are ordinarily regarded as one and the same, under close consideration this cannot be taken for granted. The reason for this is that entanglement is defined by the mathematical structure of a quantum state in a composite Hilbert space, whereas nonlocality signifies that the statistical behaviour of a system cannot be described by a local realistic theory. For the latter it is essential that the correlation probabilities of such theories obey so-called Bell inequalities, which are violated for certain quantum states. The main focus of this thesis is on the comparison of both properties with the objective of understanding their relation. (...) Because of the fact that the correlation probabilities in general depend on the measurement settings it is necessary to optimise these in order to reveal nonlocality. This problem is solved for a particular Bell inequality (CGMLP) by means of a self-developed numerical search algorithm. The method is then applied to density matrices of a subspace spanned by the projectors of maximally entangled two-qudit states. This set of states (...) serves to visualise and analyse the state space geometrically.
Despite the success of quantum mechanics in predicting the outcomes of experiments in many branches of physics, the foundations of the theory have remained subject of research and dispute. At the basis of this struggle with the theory lie the phenomena of nonlocality and entanglement. Since it was first predicted by Bell in 1964, nonlocality was not only verified in numerous experiments, but also identified as a useful resource for quantum information processing. Thus, the study of nonlocality is important both from a fundamental point of view and with respect to new applications in quantum information theory, such as secure cryptography and randomness generation. The identification of entanglement as a resource for quantum information led to a strong theoretical effort devoted to its characterisation and detection. Many of the resulting mathematical tools find application in several domains of physics. Although the only known way to create nonlocal correlations is to measure entangled quantum systems, it has been shown that entanglement and nonlocality constitute two inequivalent properties. Therefore, in the light of the success of entanglement theory, it is of interest to also devise a resource theory of nonlocality. The task of this thesis is to develop such a theoretical framework for the characterisation of nonlocality as a resource. To gain a better understanding of nonlocal correlations it will be necessary to investigate correlation scenarios that go beyond the situation originally considered by Bell. In doing so, this thesis provides new description of nonlocality that also have implications for the characterisation of quantum correlations and the detection of new forms of nonlocality. The first question we address is how nonlocality can consistently be defined in a scenario of arbitrarily many parties that may collaborate among each other. To this end we recognise which are the allowed physical operations in this situation and then define nonlocality as the resource that cannot be created by these operations. Our approach shows that the conventional definition of multipartite nonlocality, adopted by the community so far, is inconsistent with this operational definition; we further propose and analyse new models that do not suffer from these inconsistencies. Furthermore, we show that our findings have implications for the characterisation of quantum correlations. A recent approach to describe the set of quantum correlation consists in using principles inspired from information theory. By using a special instance of the models we defined earlier we show a fundamental limitation of this approach: no bipartite information principle is sufficient to single out the set of quantum correlations from the set of nonsignalling correlations. We then developed a description of nonlocality in an even more generalised scenario of several parties. Motivated by a result of Popescu we study scenarios where the parties are allowed to perform not only a single but sequences of measurements on their systems. Characterising nonlocality also in this scenario in operational terms and defining local models compatible with this definition, we show that a new form of nonlocality can be detected Lastly, we examine the problem of detecting the presence of nonlocality in a multipartite scenario when one is given only partial access to the global system. We find that one can verify that the total system must display nonlocality, even though the accessible subsystems only exhibit local correlations.
When two particles are created together in a single quantum event, they can become entangled: their properties remain correlated no matter how far apart they travel. Measure one, and the outcome of measuring the other is no longer independent. This correlation is the central puzzle of quantum mechanics. Classical physics sets a hard limit on how strong such correlations can be. The CHSH inequality (Clauser, Horne, Shimony, and Holt, 1969) formalises that limit: for any theory in which each particle carries its own independent set of predetermined answers, the correlation measure S cannot exceed 2. Bell-type experiments consistently violate this bound, with the maximum ideal value predicted by quantum mechanics being S = 2√2. Something does not fit. Several explanations have been proposed. Some invoke extra dimensions. Others appeal to wormhole geometries connecting the particles. The mainstream position is that the outcomes "collapse and become correlated," which states the observation without explaining the mechanism. All of these either add dramatic ontological furniture or repackage the mystery as an answer. This paper proposes a simpler reading. The value 2√2 is not a mystery to be explained by exotic physics. It is the geometric signature of a jointly structured bipartite state whose correlation was fixed at the source, at the moment of entanglement, not at measurement time. The two particles are not two independent objects that later communicate. They are two readout surfaces of a single joint preparation. The cosine correlation law, the Tsirelson bound, and the full Bell violation follow directly from the geometry of the two-qubit state space and the relative orientation of the measurement settings. No signal, no extra dimension, no new physics is required. Three companion papers in this series explored the opposite hypothesis: The Speed of Light and Its Limits [1] examined whether entanglement could circumvent relativistic constraints; Quantum Entanglement as a Communication Channel [2] proposed a synchronized-clock experiment to detect timing signatures; and Parametrizing Correlation Timing [3] developed a Lorentz-structured ansatz for concurrence-dependent delays. If those experimental proposals return null, the present reading is reinforced: not by proof, but by elimination of the alternatives that require more. A final section develops geometric and regime-based frameworks consistent with the source-structural reading, including the measurement torus as the natural geometry of Bell experiments, a jointness index based on Concurrence, and connections to emergent spacetime programmes. These are offered as directions for future development.
Entanglement is a key resource in the emerging field of Quantum Information. The strong correlations between systems described by an entangled state allow us to perform certain tasks more efficiently than it would be possible by using only classical resources. This is why the characterization of entanglement is one of the most important problems in Quantum Information. In this thesis, we analyze several aspects of entanglement. First, we introduce a new family of criteria to determine if a bipartite mixed state is entangled or not. This family consists of a sequence of tests that can be implemented efficiently, and has the property that all entangled states can be detected by some test in the sequence. Each test in the family can be stated as a semidefinite program, which is a class of convex optimization problems. The duality structure of these programs allows us to explicitly construct an entanglement witness that proves entanglement of a state, whenever the state fails one of the tests in the sequence. The entanglement witnesses constructed in this manner have well-defined algebraic properties that can be used to give a characterization of the interior of the set of all possible entanglement witnesses, as well as the set of strictly positive bihermitian forms and the set of strictly positive maps. We also study deterministic transformations of three-qubit pure state when only local operations and classical communication (LOCC) are allowed. We derive strong constraints that the operations and states involved must satisfy, and we apply these results to characterize the set of real states that can be obtained from the GHZ state by LOCC.