Related papers: On the Convexity of log det (I + K X^{-1})

A new proof of Oka's lemma is given for smoothly bounded, pseudoconvex domains $D\subset\mathbb{C}^n$. The method of proof is then also applied to other convexity-like hypotheses on the boundary of $D$.

A set of reals A={a_1,...,a_2} is called convex if a_{i+1} - a_i > a_i - a_{i-1} for all i. We prove, in particular, that |A-A| \gg |A|^{8/5} \log{-2/5} |A|.

We give two different definitions of what it means for a matrix-valued function to be log concave, guided by similar notions in complex differential geometry. After discussing a few simple examples, we proceed to develop some of the basic…

A commutative associative algebra A with an identity over the field of real numbers which has a basis, where all elements are invertible, is considered in the work. Moreover, among matrixes consisting of the structure constants of A, there…

We study operator log-convex functions on $(0,\infty)$, and prove that a continuous nonnegative function on $(0,\infty)$ is operator log-convex if and only if it is operator monotone decreasing. Several equivalent conditions related to…

Let K be a compact Lie group and W a finite-dimensional real K-module. Let X be a K-stable real algebraic subset of W. Let I(X) denote the ideal of X in R[W] and let I_K(X) be the ideal generated by I(X)^K. We find necessary conditions and…

In the recent paper \cite{SER}, the second author proved a divergence-quasiconcavity inequality for the following functional $ \mathbb{D}(A)=\int_{\mathbb{T}^n} det(A(x))^{\frac{1}{n-1}}\,dx$ defined on the space of $p$-summable positive…

This paper is devoted to the study of the log-convexity of combinatorial sequences. We show that the log-convexity is preserved under componentwise sum, under binomial convolution, and by the linear transformations given by the matrices of…

Computing $\log\det(A)$ for large symmetric positive definite matrices arises in Gaussian process inference and Bayesian model comparison. Standard methods combine matrix-vector products with polynomial approximations. We study a different…

We develop a topological approach to prove the generalized Lax conjecture using the fact that determinants of sufficiently big symmetric linear pencils are able to express the rigidly convex sets of RZ polynomials of any degree $d$.…

We study a nonlinear decomposition of a positive definite matrix into two components: the inverse of another positive definite matrix and a symmetric matrix constrained to lie in a prescribed linear subspace. Equivalently, the inverse…

We establish the log-concavity of the volume of central sections of dilations of the cross-polytope (the strong B-inequality for the cross-polytope and Lebesgue measure restricted to an arbitrary subspace).

Let K be an infinite field such that its characteristic is not 2. We show that, for every $A\in\mathcal{M}_n(K)$ such that $\mathrm{rank}(A)\geq n/2$, there exists $B\in\mathcal{M}_n(K)$ such that $B$ is similar to $A$ and $A+B$ is…

A multivariate Gauss-Lucas theorem is proved, sharpening and generalizing previous results on this topic. The theorem is stated in terms of a seemingly new notion of convexity. Applications to multivariate stable polynomials are given.

We show weak lower semi-continuity of functionals assuming the new notion of a "convexly constrained" $\mathcal A$-quasiconvex integrand. We assume $\mathcal A$-quasiconvexity only for functions defined on a set $K$ which is convex.…

Let $K\subseteq{\mathbb R}^n$ be a convex semialgebraic set. The semidefinite extension degree ${\mathrm{sxdeg}}(K)$ of $K$ is the smallest number $d$ such that $K$ is a linear image of an intersection of finitely many spectrahedra, each of…

Given a log canonical pair $(X, \Delta)$, we show that $K_X+\Delta$ is nef assuming there is no non-constant map from the affine line with values in the open strata of the stratification induced by the non-klt locus of $(X, \Delta)$. This…

Several matrix/operator inequalies are given. Most of them are unexpected extensions of the Araki Log-majorization theorem, obtained thanks to a new log-majorization for positive linear maps and normal operators (Theorem 2.9). The main idea…

Euler's gamma function is logarithmically convex on positive semi-axis. Additivity of logarithmic convexity implies that the function sum of gammas with non-negative coefficients is also log-convex. In this paper we investigate the series…

In this paper, we provide criteria for the log-concavity of rows and the strong $q$-log-convexity of the generating functions of rows in more generalized triangles. Additionally, we prove that the bi$^s$nomial transformation not only…