Related papers: A Stronger Subadditivity of Entropy

In this paper we investigate the inequality $S_q(\rho_{123})+S_q(\rho_2)\leq S_q(\rho_{12})+S_q(\rho_{23}) \, (*)$ where $\rho_{123}$ is a state on a finite dimensional Hilbert space $\mathcal{H}_1\otimes \mathcal{H}_2\otimes…

When a quantum system is divided into subsystems, their entanglement entropies are subject to an inequality known as "strong subadditivity". For a field theory this inequality can be stated as follows: given any two regions of space $A$ and…

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…

Given a quantum channel $\Phi $ in a Hilbert space $H$ put $\hat H_{\Phi}(\rho)=\min \limits_{\rho_{av}=\rho}\Sigma_{j=1}^{k}\pi_{j}S(\Phi (\rho_{j}))$, where $\rho_{av}=\Sigma_{j=1}^{k}\pi_{j}\rho_{j}$, the minimum is taken over all…

In this article we propose a quantum version of Shannon's conditional entropy. Given two density matrices $\rho$ and $\sigma$ on a finite dimensional Hilbert space and with $S(\rho)=-\tr\rho\ln\rho$ being the usual von Neumann entropy, this…

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…

Given a quantum channel $\Phi $ in a Hilbert space $H$ put $\hat H_{\Phi}(\rho)=\min \limits_{\rho_{av}=\rho}\Sigma_{j=1}^{k}\pi_{j}S(\Phi (\rho_{j}))$, where $\rho_{av}=\Sigma_{j=1}^{k}\pi_{j}\rho_{j}$, the minimum is taken over all…

Recently, a holographic computation of the entanglement entropy in conformal field theories has been proposed via the AdS/CFT correspondence. One of the most important properties of the entanglement entropy is known as the strong…

In this paper, we introduce two bounds which we call the Upper Differential Entropy and the Lower Differential Entropy for an infinite family of intervals(strips) in quantum field theory. The two bounds are equal provided that the theory is…

In this paper, we introduce and study the class of {\it enriched strictly pseudocontractive mappings} in Hilbert spaces and extend the corresponding convergence theorem (Theorem 12) in [Browder, F. E., Petryshyn, W. V., {\it Construction of…

We consider the following trace function on n-tuples of positive operators: \Phi_p(A_1,A_2,...,A_n) = Trace (\sum_{j=1}^n A_j^p)^{1/p} and prove that it is jointly concave for 0<p\le 1 and convex for p=2. We then derive from this a…

We investigate the problem of the existence of a density matrix rho on the product of three Hilbert spaces with given marginals on the pair (1,2) and the pair (2,3). While we do not solve this problem completely we offer partial results in…

The trace over the degrees of freedom located in a subset of the space transforms the vacuum state into a density matrix with non zero entropy. This geometric entropy is believed to be deeply related to the entropy of black holes. Indeed,…

A finite dimensional quantum mechanical system is modeled by a density rho, a trace one, positive semi-definite matrix on a suitable tensor product space H[N] . For the system to demonstrate experimentally certain non-classical behavior,…

We find a characterization of states satisfying equality in strong subadditivity of entropy and of Markov triplets on the CAR algebra. For even states, a more detailed structure of the density matrix is given.

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…

We give a new proof of the operator extension of the strong subadditivity of von Neumann entropy $\rho_{AB} \otimes \sigma_{C}^{-1} \leq \rho_{A} \otimes \sigma_{BC}^{-1}$ by identifying the mathematical structure behind it as Connes'…

The entanglement entropy of a subsystem $A$ of a quantum system is expressed, in the replica method, through analytic continuation with respect to n of the trace of the n-th power of the reduced density matrix $\tr\rho_A^n$. We study the…

Building on the recent work of Johnson (2007) and Yu (2008), we prove that entropy is a concave function with respect to the thinning operation T_a. That is, if X and Y are independent random variables on Z_+ with ultra-log-concave…

In a recent paper [Entropy 2020, 22(1), 17] C. Tsallis states that entropy -- as in Shannon's or Kullback-Leiber's definitions -- is inadequate to interpret black hole entropy and suggests that a new non-additive functional should take the…