Related papers: Matrix forms of immanant inequalities
In this article, we show multiple inequalities for the singular values of the difference of matrix means. The obtained results refine and complement some well established results in the literature. Although we target singular values…
The paper presents the classification of matrix valued superpotentials corresponding to shape invariant systems of Schr\"odinger equations. All inequivalent irreducible matrix superpotentials realized by matrices of arbitrary dimension with…
We discuss our work on pointwise inequalities for the gradient which are connected with the isoperimetric profile associated to a given geometry. We show how they can be used to unify certain aspects of the theory of Sobolev inequalities.…
We investigate the relationship between partial traces and their dilations for general complex matrices, focusing on two main aspects: the existence of (joint) dilations and norm inequalities relating partial traces and their dilations.…
We review properties of confluent functions and the closely related Laguerre polynomials, and determine their bilinear integrals. As is well-known, these integrals are convergent only for a limited range of parameters. However, when one…
We study trace functions on the form $ t\to\tr f(A+tB) $ where $ f $ is a real function defined on the positive half-line, and $ A $ and $ B $ are matrices such that $ A $ is positive definite and $ B $ is positive semi-definite. If $ f $…
Let $A$ be a positive semidefinite $m\times m$ block matrix with each block $n$-square, then the following determinantal inequality for partial traces holds \[ (\mathrm{tr} A)^{mn} - \det(\mathrm{tr}_2 A)^n \ge \bigl| \det A -…
Can the cross product be generalized? Why are the trace and determinant so important in matrix theory? What do all the coefficients of the characteristic polynomial represent? This paper describes a technique for `doodling' equations from…
In these notes, we present versions of trace theorems for Sobolev spaces over an interval in the real line, and also a one-dimensional version of the well-known Poincare inequality.
Matrix versions of some basic convexity inequalities are given. Further results on the same topic are proved in the recent papers on arxiv: 1. Hermitian operators and convex functions, 2. A concavity inequality for symmetric norms, 3.…
In this note, we generalize an ancient Greek inequality about the sequence of primes to the cases of arithmetic progressions even multivariable polynomials with integral coefficients. We also refine Bouniakowsky's conjecture [16] and…
We show some applications of the formulas-as-polynomials correspondence: 1) a method for (dis)proving formula isomorphism and equivalence based on showing (in)equality; 2) a constructive analogue of the arithmetical hierarchy, based on the…
We investigate geometric properties of a class of trace functions expressed in terms of the deformed logarithmic and exponential functions. These trace functions and their properties may be of independent interest. We use them in particular…
We determine the most general group of equivalence transformations for a family of differential equations defined by an arbitrary vector field on a manifold. We also find all invariants and differential invariants for this group up to the…
In this work, we investigate the tensor inequalities in the tensor t-product formalism. The inequalities involving tensor power are proved to hold similarly as standard matrix scenarios. We then focus on the tensor norm inequalities. The…
The inverse of a large matrix can often be accurately approximated by a polynomial of degree significantly lower than the order of the matrix. The iteration polynomial generated by a run of the GMRES algorithm is a good candidate, and its…
In this paper, we prove a trace inequality $\text{Tr}[ f(A) A^s B^s ] \leq \text{Tr}[ f(A) (A^{1/2} B A^{1/2} )^s ]$ for any positive and monotone increasing function $f$, $s\in[0,1]$, and positive semi-definite matrices $A$ and $B$. On the…
We show that any scalar differential operator with a family of polyno- mials as its common eigenfunctions leads canonically to a matrix differen- tial operator with the same property. The construction of the correspond- ing family of matrix…
We investigate polynomials, called m-polynomials, whose generator polynomial has coefficients that can be arranged as a matrix, where q is a positive integer greater than one. Orthogonality relations are established and coefficients are…
In this article we consider a method of proving a class of inequalities of the form (1). The method is based on the precise approximations of the sine and cosine functions by Maclaurin polynomials of given order. By using this method we…