Periodic Reporting for period 1 - Moments (Moment inequalities in matrix algebras)
Reporting period: 2015-09-01 to 2017-08-31
The primary goal of the research project is to provide a better understanding of non-commutative moment inequalities in terms of their commutative counterparts and the strongly Leibniz seminorms through new examples. Specifically, we addressed the following fundamental questions: How large the higher-order non-commutative moments can be? Do all central moments have the strong Leibniz property?
These questions are sitting at an exciting intersection of several mathematical disciplines, including linear algebra, singular value inequalities, matrix and functional analysis and rearrangement inequalities.
We completely solved the first question in case of the fourth central moment and proved that the corresponding commutative bound is, in fact, an upper bound in the general matrix case. However, examples show that the sharp upper bound can be strictly smaller for special matrices. Furthermore, we have provided several particular answers in the general case as well.
In regards to the second question, first, we studied the Leibniz inequality of central moments in ordinary probability spaces. We demonstrated that all central moments satisfy the Leibniz property, but they are not necessarily strongly Leibniz. We have been presenting several proofs to this problem that reveal a strong connection to rearrangement inequalities and open up the way to much more general theorems. Numerical simulations support the conjecture of the Leibniz property for singular values of Hermitian products as well. Our convexity approach to the problem has led to new proofs of several singular value inequalities in the literature.
In the article ‘Some inequalities for central moments of matrices’ we proved an estimate of the fourth moment for matrices. We obtained that the upper bound in the commutative case may serve as an upper bound in the non-commutative case as well. An example shows that the commutative bound is not necessarily sharp for all matrices, not like it is for the standard deviation. Several particular results have been obtained for general higher-order central moments.
As an objective of the project, we proved the Leibniz inequality in probability measure spaces and discussed the results in the frame of the Cipriani-Sauvageot differential calculus. In the spirit of the Kato-Ponce inequality, we have presented an unexpected extension of the previous results. Additionally, we have constructed an example which shows that the strong Leibniz property does not hold for all central moments. These results have been published under the gold open access policy to guarantee the free access to the broader public.
Interestingly, we have found a completely different look upon the Leibniz property through rearrangement inequalities and discussed the results in rearrangement invariant Banach function spaces as well. Investigating the non-commutative case, we developed a convexity method which turned out to be useful to prove certain singular values inequalities; however, the problem of Leibniz-type rules for Hermitian matrices has remained open.
Concerning the dissemination of the project, we have uploaded our articles to the worldwide available arXiv servers and Internet portals such as the ResearchGate or our webpage. Furthermore, we announced the results at several international conferences, workshops as well as university seminars. In order to introduce the topic to graduate and PhD students, we organised a series of lectures,‘Inequalities via majorizations,’ at Royal Holloway.
We believe that our methods and results will lead to theoretical impacts, and the societal implications of such a project are usually indirect or hidden and take time to be realized.