We investigate whether the presence or absence of correlations between subsystems of an N-partite quantum system is solely constrained by the non-negativity and monotonicity of mutual information. We argue that this relatively simple question is in fact very deep because it is sensitive to the structure of the set of N-partite states. It can be informed by inequalities satisfied by the von Neumann entropy, but has the advantage of being more tractable. We exemplify this by deriving the explicit solution for N=4, despite having limited knowledge of the entropic inequalities. Furthermore, we describe how this question can be tailored to the analysis of more specialized classes of states such as classical probability distributions, stabilizer states, and geometric states in the holographic gauge/gravity duality.
We investigate whether the presence or absence of correlations between subsystems of an N-partite quantum system is solely constrained by the non-negativity and monotonicity of mutual information. We argue that this relatively simple question is in fact very deep because it is sensitive to the structure of the set of N-partite states. It can be informed by inequalities satisfied by the von Neumann entropy, but has the advantage of being more tractable. We exemplify this by deriving the explicit solution for N=4, despite having limited knowledge of the entropic inequalities. Furthermore, we describe how this question can be tailored to the analysis of more specialized classes of states such as classical probability distributions, stabilizer states, and geometric states in the holographic gauge/gravity duality.
The von Neumann entropy plays a vital role in quantum information theory. The von Neumann entropy determines, e.g., the capacities of quantum channels. Also, entropies of composite quantum systems are important for future quantum networks, and their characterization is related to the quantum marginal problem. Furthermore, they play a role in quantum thermodynamics. In this thesis the set of quantum entropies of multipartite quantum systems is studied. The problem of its characterization is not new -- however, progress has been sparse, indicating that the problem might be hard and that new methods might be needed. Here, a variety of different and complementary approaches are taken. First, I look at global properties. It is known that the von Neumann entropy region -- just like its classical counterpart -- forms a convex cone. I describe the symmetries of this cone and highlight geometric similarities and differences to the classical entropy cone. In a different approach, I utilize the local geometric properties of extremal rays of a cone. I show that quantum states whose entropy lies on such an extremal ray of the quantum entropy cone have a very simple structure. As the set of all quantum states is very complicated, I look at a simple subset called stabilizer states. I improve on previously known results by showing that under a technical condition on the local dimension, entropies of stabilizer states respect an additional class of information inequalities that is valid for random variables from linear codes. In a last approach I find a representation-theoretic formulation of the classical marginal problem simplifying the comparison with its quantum mechanical counterpart. This novel correspondence yields a simplified formulation of the group characterization of classical entropies (IEEE Trans. Inf. Theory, 48(7):1992-1995, 2002) in purely combinatorial terms.
Abstract We present a review of the general approach to the problem of correlations in classical statistics and quantum statistics of systems with different numbers of subsystems and demonstrate the information-entropic relations for systems without subsystems recently obtained for Shannon entropies. We present the example of a single-qudit state corresponding to the N-level atom, consider explicitly the qutrit state, and show that qutrit can be interpreted as a set of several qubits. For each of these qubits, there exist corresponding von Neumann entropies, and constraints for these entropies determine the hidden correlations between the qubits in spite of the fact that the qutrit does not contain any subsystem. These constraints are expressed in terms of nonnegativity of the mutual information introduced, which usually exists only for the states of systems with subsystems. The value of information parameterizes the hidden correlations of artificial qubits in the system. We discuss examples of some qudits.
Abstract Given a multipartite quantum system, what are the possible ways to impose mutual independence among some subsystems, and the presence of correlations among others, such that there exists a quantum state which satisfies these demands? This question and the related notion of a pattern of marginal independence (PMI) were introduced in [1], and then argued in [2] to be central in the derivation of the holographic entropy cone. Here we continue the general information theoretic analysis of the PMIs allowed by strong subadditivity (SSA) initiated in [1]. We show how the computation of these PMIs simplifies when SSA is replaced by a weaker constraint, dubbed Klein’s condition (KC), which follows from the necessary condition for the saturation of subadditivity (SA). Formulating KC in the language of partially ordered sets, we show that the set of PMIs compatible with KC forms a lattice, and we investigate several of its structural properties. One of our main results is the identification of a specific lower dimensional face of the SA cone that contains on its boundary all the extreme rays (beyond Bell pairs) that can possibly be realized by quantum states. We verify that for four or more parties, KC is strictly weaker than SSA, but nonetheless the PMIs compatible with SSA can easily be derived from the KC-compatible ones. For the special case of 1-dimensional PMIs, we conjecture that KC and SSA are in fact equivalent. To make the presentation self-contained, we review the key ingredients from lattice theory as needed.
We discuss the notion of hidden correlations in classical and quantum indivisible systems along with such characteristics of the correlations as the mutual information and conditional information corresponding to the entropic subadditivity condition and the entropic strong subadditivity condition. We present an analog of the Bayes formula for systems without subsystems, study entropic inequality for von Neumann entropy and Tsallis entropy of the single-qudit state, and discuss the inequalities for qubit and qutrit states as an example.
Given a multipartite quantum system, what are the possible ways to impose mutual independence among some subsystems, and the presence of correlations among others, such that there exists a quantum state which satisfies these demands? This question and the related notion of a \textit{pattern of marginal independence} (PMI) were introduced in arXiv:1912.01041, and then argued in arXiv:2204.00075 to be central in the derivation of the holographic entropy cone. Here we continue the general information theoretic analysis of the PMIs allowed by \textit{strong subadditivity} (SSA) initiated in arXiv:1912.01041. We show how the computation of these PMIs simplifies when SSA is replaced by a weaker constraint, dubbed \textit{Klein's condition} (KC), which follows from the necessary condition for the saturation of subadditivity (SA). Formulating KC in the language of partially ordered sets, we show that the set of PMIs compatible with KC forms a lattice, and we investigate several of its structural properties. One of our main results is the identification of a specific lower dimensional face of the SA cone that contains on its boundary all the extreme rays (beyond Bell pairs) that can possibly be realized by quantum states. We verify that for four or more parties, KC is strictly weaker than SSA, but nonetheless the PMIs compatible with SSA can easily be derived from the KC-compatible ones. For the special case of 1-dimensional PMIs, we conjecture that KC and SSA are in fact equivalent. To make the presentation self-contained, we review the key ingredients from lattice theory as needed.
A bstract We continue the study of the quantum marginal independence problem, namely the question of which faces of the subadditivity cone are achievable by quantum states. We introduce a new representation of the patterns of marginal independence (PMIs, corresponding to faces of the subadditivity cone) based on certain correlation hypergraphs, and demonstrate that this representation provides a more efficient description of a PMI, and consequently of the set of PMIs which are compatible with strong subadditivity. We then show that these correlation hypergraphs generalize to arbitrary quantum systems the well known relation between positivity of mutual information and connectivity of entanglement wedges in holography, and further use this representation to derive new results about the combinatorial structure of collections of simultaneously decorrelated subsystems specifying SSA-compatible PMIs. In the context of holography, we apply these techniques to derive a necessary condition for the realizability of entropy vectors by simple tree graph models, which were conjectured in [1] to provide the building blocks of the holographic entropy cone. Since this necessary condition is formulated in terms of chordality of a certain graph, it can be tested efficiently.