Related papers: A New Proof of The Strong Subadditivity Theorem
We give a simple proof of a strengthened version of a theorem of Lieb that played a key role in the proof of strong subadditivity of the quantum entropy.
Arguably the deepest fact known about the von Neumann entropy, the strong subadditivity inequality is a potent hammer in the quantum information theorist's toolkit. This short tutorial describes a simple proof of strong subadditivity due to…
The familiar second derivative test for convexity, combined with resolvent calculus, is shown to yield a useful tool for the study of convex matrix-valued functions. We demonstrate the applicability of this approach on a number of theorems…
Incremental information, as measured by the quantum entropy, is increasing when two ensembles are united. This result was proved by Lieb and Ruskai, and it is the foundation for the proof of strong subadditivity of quantum entropy. We…
The joint convexity of the map $(X,A) \mapsto X^* A^{-1} X$, an integral representation of operator convex functions, and an observation of Ando are used to obtain a simple proof of both the joint convexity of relative entropy and a trace…
Strong subadditivity of von Neumann entropy, proved in 1973 by Lieb and Ruskai, is a cornerstone of quantum coding theory. All other known inequalities for entropies of quantum systems may be derived from it. Here we prove a new inequality…
This note provides a succinct proof of a 1973 theorem of Lieb that establishes the concavity of a certain trace function. The development relies on a deep result from quantum information theory, the joint convexity of quantum relative…
A short and elementary proof of the joint convexity of relative entropy is presented, using nothing beyond linear algebra. The key ingredients are an easily verified integral representation and the strategy used to prove the Cauchy-Schwarz…
The strong subadditivity condition for the density matrix of a quantum system, which does not contain subsystems, is derived using the qudit-portrait method. An example of the qudit state in the seven-dimensional Hilbert space corresponding…
We derive the monotonicity of the quantum relative entropy by an elementary operational argument based on Stein's lemma in quantum hypothesis testing. For the latter we present an elementary and short proof that requires the law of large…
In this paper we prove a quantitative form of the strong unique continuation property for the Lam\'e system when the Lam\'e coefficients $\mu$ is Lipschitz and $\lambda$ is essentially bounded in dimension $n\ge 2$. This result is an…
In this paper we consider Hopf's Lemma and the Strong Maximum Principle for supersolutions to a class of non elliptic equations. In particular we prove a sufficient condition for the validity of Hopf's Lemma and of the Strong Maximum…
Lieb and Ruskai's strong subadditivity theorem, which shows that the conditional mutual information must be nonnegative, is fundamental in quantum theory. It has numerous applications, such as in quantum error correction. When the mutual…
We give a short, self-contained, and elementary proof of the strong law of large numbers under a power law decay hypothesis for joint second moments. The result is related to the classical one by Lyons. However, we also provide a rate of…
A new and elementary proof of a recent result of Laptev and Weidl is given. It is a sharp Lieb-Thirring inequality for one dimensional Schroedinger operators with matrix valued potentials.
We show that the well-known Konig's Min-Max Theorem (KMM), a fundamental result in combinatorial matrix theory, can be proven in the first order theory $\LA$ with induction restricted to $\Sigma_1^B$ formulas. This is an improvement over…
Is is shown here that the "simple test of quantumness for a single system" of arXiv:0704.1962 (for a recent experimental realization see arXiv:0804.1646) has exactly the same relation to the discussion of to the problem of describing the…
We survey the impact of Lieb's influential paper "Proofs of some conjectures on permanents" [J. Math. Mech. 16 1966, 127-134], which introduced the famous permanental dominance conjecture. This conjecture has defied all attacks for over…
In this paper, we attempt to give a sufficient condition of guaranteeing the validity of the proof of the quantum adiabatic theorem. The new sufficient condition can clearly remove the inconsistency and the counterexample of the quantum…
The formal system $\lambda\delta$ is a typed lambda calculus derived from $\Lambda_\infty$, aiming to support the foundations of Mathematics that require an underlying theory of expressions (for example the Minimal Type Theory). The system…