相关论文: Revisiting the operator extension of strong subadd…
Let $S(\rho)$ be the von Neumann entropy of a density matrix $\rho$. Weak monotonicity asserts that $S(\rho_{AB}) - S(\rho_A) + S(\rho_{BC}) - S(\rho_C)\geq 0$ for any tripartite density matrix $\rho_{ABC}$, a fact that is equivalent to the…
We prove an operator inequality that extends strong subadditivity of entropy: after taking a trace, the operator inequality becomes the strong subadditivity of entropy.
The strong subadditivity of entropy plays a key role in several areas of physics and mathematics. It states that the entropy S[\rho]= - Tr (\rho \ln \rho) of a density matrix \rho_{123} on the product of three Hilbert spaces satisfies…
The property of superadditivity of the quantum relative entropy states that, in a bipartite system $\mathcal{H}_{AB}=\mathcal{H}_A \otimes \mathcal{H}_B$, for every density operator $\rho_{AB}$ one has $ D( \rho_{AB} || \sigma_A \otimes…
We revisit Haagerup's enigmatic reduction theorem \cite[Theorems 2.1 \& 3.1]{HJX} showing how that theorem may be extended to general von Neumann algebras $\M$ equipped with an arbitrary faithful normal semifinite weight in a manner which…
The main aim of this paper is to generalize the classical concept of positive operator, and to develop a general extension theory, which overcomes not only the lack of a Hilbert space structure, but also the lack of a normable topology. The…
In this article, we present a new subadditivity behavior of convex and concave functions, when applied to Hilbert space operators. For example, under suitable assumptions on the spectrum of the positive operators $A$ and $B$, we prove that…
We consider an abstract sequence $\{A_n\}_{n=1}^\infty$ of closed symmetric operators on a separable Hilbert space $\mathcal{H}$. It is assumed that all $A_n$'s have equal deficiency indices $(k,k)$ and thus self-adjoint extensions…
Given a von Neumann algebra $M$ we introduce so called central extension $mix(M)$ of $M$. We show that $mix(M)$ is a *-subalgebra in the algebra $LS(M)$ of all locally measurable operators with respect to $M,$ and this algebra coincides…
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…
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…
We study a complex valued version of the Sobolev inequalities and its relationship to compactness of the d-bar-Neumann operator. For this purpose we use an abstract characterization of compactness derived from a general description of…
In this paper, we obtain the subadditivity inequality of strongly operator convex functions on $(0, \infty)$ and $(-\infty,0)$. Applying the properties of operator convex functions, we deduce the subadditivity property of operator monotone…
We prove a sharpened version of a conjecture of Dong-Mason about lattice subalgebras of a strongly regular vertex operator algebra $V$, and give some applications. These include the existence of a canonical conformal subVOA $W\otimes…
We provide a characterization of those nonmonotonic inference operations C for which C(X) may be described as the set of all logical consequences of X together with some set of additional assumptions S(X) that depends anti-monotonically on…
We propose a conceptual frame to interpret the prolate differential operator, which appears in Communication Theory, as an entropy operator; indeed, we write its expectation values as a sum of terms, each subject to an entropy reading by an…
We revisit the Krein-von Neumann extension in the case where the underlying symmetric operator is strictly positive and apply this to derive the explicit form of the Krein-von Neumann extension for singular, general (i.e.,…
In this paper it is shown that the Hartogs triangle $\mathbf T$ in $\mathbf C^2$ is a uniform domain. This implies that the Hartogs triangle is a Sobolev extension domain. Furthermore, the weak and strong maximal extensions of the…
This paper is devoted to local derivations on subalgebras on the algebra $S(M, \tau)$ of all $\tau$-measurable operators affiliated with a von Neumann algebra $M$ without abelian summands and with a faithful normal semi-finite trace $\tau.$…
This paper is devoted to derivations on the algebra $S_0(M, \tau)$ of all $\tau$-compact operators affiliated with a von Neumann algebra $M$ and a faithful normal semi-finite trace $\tau.$ The main result asserts that every…