Logarithmic inequalities under a symmetric polynomial dominance order

Sra, Suvrit

doi:10.1090/proc/14023

Logarithmic inequalities under a symmetric polynomial dominance order
HTML articles powered by AMS MathViewer

by Suvrit Sra PDF

Proc. Amer. Math. Soc. 147 (2019), 481-486 Request permission

Abstract:

We consider a dominance order on positive vectors induced by the elementary symmetric polynomials. Under this dominance order we provide conditions that yield simple proofs of several monotonicity questions. Notably, our approach yields a quick (4 line) proof of the so-called “sum-of-squared-logarithms” inequality conjectured in (Bîrsan, Neff, and Lankeit, J. Inequalities and Applications (2013); P. Neff, Y. Nakatsukasa, and A. Fischle; SIMAX, 35, 2014). This inequality has been the subject of several recent articles, and only recently it received a full proof, albeit via a more elaborate complex-analytic approach. We provide an elementary proof, which, moreover, extends to yield simple proofs of both old and new inequalities for Rényi entropy, subentropy, and quantum Rényi entropy.

References

Rajendra Bhatia, Matrix analysis, Graduate Texts in Mathematics, vol. 169, Springer-Verlag, New York, 1997. MR 1477662, DOI 10.1007/978-1-4612-0653-8
Rajendra Bhatia, Positive definite matrices, Princeton Series in Applied Mathematics, Princeton University Press, Princeton, NJ, 2007. MR 2284176
Mircea Bîrsan, Patrizio Neff, and Johannes Lankeit, Sum of squared logarithms—an inequality relating positive definite matrices and their matrix logarithm, J. Inequal. Appl. , posted on (2013), 2013:168, 17. MR 3057239, DOI 10.1186/1029-242X-2013-168
Lev Borisov, Patrizio Neff, Suvrit Sra, and Christian Thiel, The sum of squared logarithms inequality in arbitrary dimensions, Linear Algebra Appl. 528 (2017), 124–146. MR 3652841, DOI 10.1016/j.laa.2016.06.026
Richard Jozsa and Graeme Mitchison, Symmetric polynomials in information theory: entropy and subentropy, J. Math. Phys. 56 (2015), no. 6, 062201, 17. MR 3369891, DOI 10.1063/1.4922317
Albert W. Marshall, Ingram Olkin, and Barry C. Arnold, Inequalities: theory of majorization and its applications, 2nd ed., Springer Series in Statistics, Springer, New York, 2011. MR 2759813, DOI 10.1007/978-0-387-68276-1
Patrizio Neff. Private communication. Sep. 2015. 18/9/2015.
Patrizio Neff. The sum of squared logarithms conjecture. MathOverflow, 2015.
Patrizio Neff, Bernhard Eidel, Frank Osterbrink, and Robert Martin. The Hencky strain energy $\|\log U\|^2$ measures the geodesic distance of the deformation gradient to $\text {SO}(n)$ in the canonical left-invariant Riemannian metric on $\text {GL}(n)$. Proceedings in Applied Mathematics and Mechanics, 13(1):369–370, 2013.
Patrizio Neff, Yuji Nakatsukasa, and Andreas Fischle, A logarithmic minimization property of the unitary polar factor in the spectral and Frobenius norms, SIAM J. Matrix Anal. Appl. 35 (2014), no. 3, 1132–1154. MR 3252811, DOI 10.1137/130909949
Patrizio Neff, Bernhard Eidel, and Robert J. Martin, Geometry of logarithmic strain measures in solid mechanics, Arch. Ration. Mech. Anal. 222 (2016), no. 2, 507–572. MR 3544313, DOI 10.1007/s00205-016-1007-x
Waldemar Pompe and Patrizio Neff, On the generalised sum of squared logarithms inequality, J. Inequal. Appl. , posted on (2015), 2015:101, 17. MR 3336366, DOI 10.1186/s13660-015-0623-6
René L. Schilling, Renming Song, and Zoran Vondraček, Bernstein functions, 2nd ed., De Gruyter Studies in Mathematics, vol. 37, Walter de Gruyter & Co., Berlin, 2012. Theory and applications. MR 2978140, DOI 10.1515/9783110269338
Miroslav Šilhavý. A functional inequality related to analytic continuation. 2015. www.math.cas.cz/fichier/preprints/IM\_20150623102729\_44.pdf.
Suvrit Sra, Positive definite matrices and the S-divergence, Proc. Amer. Math. Soc. 144 (2016), no. 7, 2787–2797. MR 3487214, DOI 10.1090/proc/12953