On an inequality of Lin, Kim and Hsieh and Strong Subadditivity

Eric A. Carlen,Michael P. Loss

2024-04-17

Abstract:We give an elementary proof of an inequality of Lin, Kim and Hsieh that implies strong subadditivity of the non Neumann entropy.

Quantum Physics,Functional Analysis,Operator Algebras

What problem does this paper attempt to address?

On an inequality of Lin, Kim and Hsieh and strong subadditivity

Eric A. Carlen,Michael P. Loss

DOI: https://doi.org/10.1007/s11005-024-01857-1

2024-09-10

Letters in Mathematical Physics

Abstract:We give an elementary proof of an inequality of Lin, Kim and Hsieh that implies strong subadditivity of the von Neumann entropy.

physics, mathematical
Remarks on on Kim's Strong Subadditivity Matrix Inequality: Extensions and Equality Conditions

Mary Beth Ruskai

DOI: https://doi.org/10.1063/1.4823581

2012-11-01

Abstract:We describe recent work of Kim in <a class="link-https" data-arxiv-id="1210.5190" href="https://arxiv.org/abs/1210.5190">arXiv:1210.5190</a> to show that operator convex functions associated with quasi-entropies can be used to prove a large class of new matrix inequalities in the tri-partite and bi-partite setting by taking a judiciously chosen partial trace over all but one of the spaces. We give some additional examples in both settings. Furthermore, we observe that the equality conditions for all the new inequalities are essentially the same as those for strong subadditivity.

Quantum Physics,Mathematical Physics
Another short and elementary proof of strong subadditivity of quantum entropy

Mary Beth Ruskai

DOI: https://doi.org/10.1016/s0034-4877(07)00019-5

IF: 0.808

2007-08-01

Reports on Mathematical Physics

Abstract: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 inequality in elementary courses. Several consequences are proved in a way which allows an elementary proof of strong subadditivity in a few more lines. Some expository material on Schwarz inequalities for operators and the Holevo bound for partial measurements is also included.

physics, mathematical
Comment on "Stronger subadditivity of entropy" by Lieb and Seiringer <a class="link-https" data-arxiv-id="math-ph/0412009" href="https://arxiv.org/abs/math-ph/0412009">math-ph/0412009</a>

Mary Beth Ruskai

DOI: https://doi.org/10.48550/arXiv.math-ph/0603022

2006-04-05

Abstract:We show how recent results of Lieb and Seiringer [<a class="link-https" data-arxiv-id="math-ph/0412009" href="https://arxiv.org/abs/math-ph/0412009">math-ph/0412009</a>; Phys. Rev. A 71, 062329 (2005)] can be obtained from repeated use of the monotonicity of relative entropy under partial traces, and explain how to use their approach to obtain tighter bounds in many situations.

Mathematical Physics,Quantum Physics
Rosenthal’s Inequalities for Independent and Negatively Dependent Random Variables under Sub-Linear Expectations with Applications

LiXin Zhang

DOI: https://doi.org/10.1007/s11425-015-5105-2

2015-01-01

Science China Mathematics

Abstract:Classical Kolmogorov's and Rosenthal's inequalities for the maximum partial sums of random variables are basic tools for studying the strong laws of large numbers. In this paper, motived by the notion of independent and identically distributed random variables under the sub-linear expectation initiated by Peng (2008), we introduce the concept of negative dependence of random variables and establish Kolmogorov's and Rosenthal's inequalities for the maximum partial sums of negatively dependent random variables under the sub-linear expectations. As an application, we show that Kolmogorov's strong law of larger numbers holds for independent and identically distributed random variables under a continuous sub-linear expectation if and only if the corresponding Choquet integral is finite.
A simple derivation of the strong subadditivity inequalities

S. Kalyana Rama

DOI: https://doi.org/10.48550/arXiv.1403.7749

2014-03-30

Abstract:In this short note, we give a simple derivation of the strong subadditivity inequalities: S(13) + S(23) \ge S(1) + S(2) and S(12) + S(23) \ge S(2) + S(123). The simplicity is due to the way we represent the quantum systems. We make a few remarks about such a representation.

Quantum Physics,Statistical Mechanics,General Relativity and Quantum Cosmology,High Energy Physics - Theory
On Increments of Sums of Independent Non-Identically Distributed Random-Variables

ZY LIN

1988-01-01

Abstract:The paper gives some theorems about the increments of partial sums of independent, but not necessarily independent identically distributed random variables. The main results are ideal and corresponding to those for i. i. d. random variables. Therefore these sharp results of Hanson and Russo (1983) answer some of their questions.
A strong subadditivity‐like inequality for quantum entropy in semifinite von Neumann algebras

Andrzej Łuczak

DOI: https://doi.org/10.1002/mana.202300383

2024-06-05

Mathematische Nachrichten

Abstract:Let M be a semifinite von Neumann algebra with a normal faithful semifinite trace τ , and let A , B , R be its subalgebras such that R⊂A∩B and that τ restricted to any of these subalgebras is semifinite. Denote by EA , EB , and ER the normal conditional expectations from M onto A , B and R , respectively, such that τ is invariant with respect to any of them. The quadruple M , A , B , R is said to be a commuting square if EAEB=EBEA=ER. In this note, we show that the property of being a commuting square is characterized by a sort of the SSA‐like (strong subadditivity of entropy) inequality H(ρ|A)+H(ρ|B)⩽H(ρ)+H(ρ|R) for an arbitrary normal state ρ on M , where H(φ) denotes the Segal entropy of the state φ . The situation when we have equality in the inequality above is also investigated, and various equivalent conditions are obtained, in an especially appealing form for finite von Neumann algebras. For such algebras, one more condition is obtained under the assumption of independence of the algebras A and B .

mathematics
Weak Sharp Solutions of Variational Inequalities

Patrice Marcotte,Daoli Zhu

DOI: https://doi.org/10.1137/s1052623499360616

IF: 2.763

1999-01-01

SIAM Journal on Optimization

Abstract:Xuexiang Huang pointed out that the statement on line 5 of page 184 of [P. Marcotte and D. Zhu, SIAM J. Optim., 9 (1999), pp. 179--189] is invalid, and supplied an alternative proof of the inequality that appears on line 10. Here is a simple proof of this result due to an anonymous referee. The substitution starts at line 4 and ends at line 11.
Exponential inequalities under the sub-linear expectations with applications to laws of the iterated logarithm

LiXin Zhang

DOI: https://doi.org/10.1007/s11425-016-0079-1

2016-01-01

Abstract:Kolmogorov’s exponential inequalities are basic tools for studying the strong limit theorems such as the classical laws of the iterated logarithm for both independent and dependent random variables. This paper establishes the Kolmogorov type exponential inequalities of the partial sums of independent random variables as well as negatively dependent random variables under the sub-linear expectations. As applications of the exponential inequalities, the laws of the iterated logarithm in the sense of non-additive capacities are proved for independent or negatively dependent identically distributed random variables with finite second order moments. For deriving a lower bound of an exponential inequality, a central limit theorem is also proved under the sub-linear expectation for random variables with only finite variances.
Equivalence of additive-combinatorial linear inequalities for Shannon entropy and differential entropy

Ashok Vardhan Makkuva,Yihong Wu

DOI: https://doi.org/10.48550/arXiv.1601.07498

2016-09-09

Abstract:This paper addresses the correspondence between linear inequalities of Shannon entropy and differential entropy for sums of independent group-valued random variables. We show that any balanced (with the sum of coefficients being zero) linear inequality of Shannon entropy holds if and only if its differential entropy counterpart also holds; moreover, any linear inequality for differential entropy must be balanced. In particular, our result shows that recently proved differential entropy inequalities by Kontoyiannis and Madiman \cite{KM14} can be deduced from their discrete counterparts due to Tao \cite{Tao10} in a unified manner. Generalizations to certain abelian groups are also obtained. Our proof of extending inequalities of Shannon entropy to differential entropy relies on a result of Rényi \cite{Renyi59} which relates the Shannon entropy of a finely discretized random variable to its differential entropy and also helps in establishing the entropy of the sum of quantized random variables is asymptotically equal to that of the quantized sum; the converse uses the asymptotics of the differential entropy of convolutions with weak additive noise.

Information Theory
Strong Limit Theorems for Extended Independent Random Variables and Extended Negatively Dependent Random Variables under Sub-Linear Expectations

Zhang Li-Xin

DOI: https://doi.org/10.1007/s10473-022-0203-z

2022-01-01

Acta Mathematica Scientia

Abstract:Limit theorems for non-additive probabilities or non-linear expectations are challenging issues which have attracted a lot of interest recently. The purpose of this paper is to study the strong law of large numbers and the law of the iterated logarithm for a sequence of random variables in a sub-linear expectation space under a concept of extended independence which is much weaker and easier to verify than the independence proposed by Peng [20]. We introduce a concept of extended negative dependence which is an extension of the kind of weak independence and the extended negative independence relative to classical probability that has appeared in the recent literature. Powerful tools such as moment inequality and Kolmogorov's exponential inequality are established for these kinds of extended negatively independent random variables, and these tools improve a lot upon those of Chen, Chen and Ng [1]. The strong law of large numbers and the law of iterated logarithm are also obtained by applying these inequalities.
The Sufficient and Necessary Conditions of the Strong Law of Large Numbers under Sub-Linear Expectations

Li Xin Zhang

DOI: https://doi.org/10.1007/s10114-023-1103-4

2023-01-01

Acta Mathematica Sinica English Series

Abstract:In this paper, by establishing a Borel–Cantelli lemma for a capacity which is not necessarily continuous, and a link between a sequence of independent random variables under the sub-linear expectation and a sequence of independent random variables on ℝ∞ under a probability, we give the sufficient and necessary conditions of the strong law of large numbers for independent and identically distributed random variables under the sub-linear expectation, and the sufficient and necessary conditions for the convergence of an infinite series of independent random variables, without the assumption on the continuity of the capacities. A purely probabilistic proof of a weak law of large numbers is also given.
Quantitative Analysis for Perturbed Abstract Inequality Systems in Banach Spaces

Chong Li,K. F. Ng

DOI: https://doi.org/10.1137/17m1151274

IF: 2.763

2018-01-01

SIAM Journal on Optimization

Abstract:Using the error bound results established in the present paper for approximate solutions, we study the stability issues when perturbed by possibly nonaffine smooth maps E for the abstract inequality system F >=(K) 0 defined by a (possible nonclosed) convex cone K and a Frechet differentiable function F satisfying the (extended) weak gamma-condition. We provide some sufficient conditions, in terms of the information at a solution x(0), for ensuring the lower semicontinuity and/or the Lipschitz-like continuity at x(0) of the solution mapping for the perturbed system F + E >=(K) 0 with smooth perturbation E. Explicit upper bounds of the Lipschitz-like moduli are also provided.
Lindeberg's Central Limit Theorems for Martingale-Like Sequences under Sub-Linear Expectations

Zhang Li-Xin

DOI: https://doi.org/10.1007/s11425-018-9556-7

2020-01-01

Science China Mathematics

Abstract:The central limit theorem of martingales is the fundamental tool for studying the convergence of stochastic processes, especially stochastic integrals and differential equations. In this paper, the central limit theorem and the functional central limit theorem are obtained for martingale-like random variables under the sub-linear expectation. As applications, the Lindeberg’s central limit theorem is obtained for independent but not necessarily identically distributed random variables, and a new proof of the Lévy characterization of a GBrownian motion without using stochastic calculus is given. For proving the results, Rosenthal’s inequality and the exponential inequality for the martingale-like random variables are established.
A New Proof of The Strong Subadditivity Theorem

Yong-Jian Han,Yong-Sheng Zhang,Guang-Can Guo

2004-01-01

Abstract:It is well known that the strong subadditivity theorem is hold for classical system, but it is very difficult to prove that it is hold for quantum system. The first proof of this theorem is due to Lieb by using the Lieb's theorem. Here we use the conditions obtained in our previous work of matrix analysis method to give a new proof of this famous theorem. This new proof is very elementary, it only needs to carefully analyse the minimal value of a function. This proof also shows that the conditions obtained in our previous work are stronger than the strong subadditivity theorem.
Erratum: Weak Sharp Solutions of Variational Inequalities

Patrice Marcotte,Daoli Zhu

DOI: https://doi.org/10.1137/S1052623499360616

2006-01-01

Abstract:Xuexiang Huang pointed out that the statement on line 5 of page 184 of [P. Marcotte and D. Zhu, SIAM J. Optim., 9 (1999), pp. 179--189] is invalid, and supplied an alternative proof of the inequality that appears on line 10. Here is a simple proof of this result due to an anonymous referee. The substitution starts at line 4 and ends at line 11.
On some entropy inequalities

Lin Zhang

DOI: https://doi.org/10.48550/arXiv.1403.6590

2014-04-15

Abstract:In this short report, we give some new entropy inequalities based on Rényi relative entropy and the observation made by Berta {\em et al} [<a class="link-https" data-arxiv-id="1403.6102" href="https://arxiv.org/abs/1403.6102">arXiv:1403.6102</a>]. These inequalities obtained extends some well-known entropy inequalities. We also obtain a condition under which a tripartite operator becomes a Markov state.

Quantum Physics,Mathematical Physics
An Elementary Proof of the Inequality $χ\leq χ^*$ for Conditional Free Entropy

David Jekel,Jennifer Pi

2024-04-02

Abstract:Through the study of large deviations theory for matrix Brownian motion, Biane-Capitaine-Guionnet proved the inequality $\chi(X) \leq \chi^*(X)$ that relates two analogs of entropy in free probability defined by Voiculescu. We give a new proof of $\chi \leq \chi^*$ that is elementary in the sense that it does not rely on stochastic differential equations and large deviation theory. Moreover, we generalize the result to conditional microstates and non-microstates free entropy.

Operator Algebras,Probability
A Minkowski Type Trace Inequality and Strong Subadditivity of Quantum Entropy

Eric A. Carlen,Elliott H. Lieb

DOI: https://doi.org/10.48550/arXiv.math/0701352

2007-01-13

Abstract: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 Minkowski type inequality for operators on a tensor product of three Hilbert spaces, and show how this implies the strong subadditivity of quantum mechanical entropy. For p>2, \Phi_p is neither convex nor concave. We conjecture that \Phi_p is convex for 1<p<2, but our methods do not show this.

Operator Algebras,Mathematical Physics,Spectral Theory,Quantum Physics

On an inequality of Lin, Kim and Hsieh and Strong Subadditivity

On an inequality of Lin, Kim and Hsieh and strong subadditivity

Remarks on on Kim's Strong Subadditivity Matrix Inequality: Extensions and Equality Conditions

Another short and elementary proof of strong subadditivity of quantum entropy

Comment on "Stronger subadditivity of entropy" by Lieb and Seiringer <a class="link-https" data-arxiv-id="math-ph/0412009" href="https://arxiv.org/abs/math-ph/0412009">math-ph/0412009</a>

Rosenthal’s Inequalities for Independent and Negatively Dependent Random Variables under Sub-Linear Expectations with Applications

A simple derivation of the strong subadditivity inequalities

On Increments of Sums of Independent Non-Identically Distributed Random-Variables

A strong subadditivity‐like inequality for quantum entropy in semifinite von Neumann algebras

Weak Sharp Solutions of Variational Inequalities

Exponential inequalities under the sub-linear expectations with applications to laws of the iterated logarithm

Equivalence of additive-combinatorial linear inequalities for Shannon entropy and differential entropy

Strong Limit Theorems for Extended Independent Random Variables and Extended Negatively Dependent Random Variables under Sub-Linear Expectations

The Sufficient and Necessary Conditions of the Strong Law of Large Numbers under Sub-Linear Expectations

Quantitative Analysis for Perturbed Abstract Inequality Systems in Banach Spaces

Lindeberg's Central Limit Theorems for Martingale-Like Sequences under Sub-Linear Expectations

A New Proof of The Strong Subadditivity Theorem

Erratum: Weak Sharp Solutions of Variational Inequalities

On some entropy inequalities

An Elementary Proof of the Inequality $χ\leq χ^*$ for Conditional Free Entropy

A Minkowski Type Trace Inequality and Strong Subadditivity of Quantum Entropy