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

The property of isotonicity of a continuous convex function defined on the entire space or only on the positive cone is characterized via subdifferentials. Numerous examples illustrating the obtained results are included.

We prove a lemma, which we call the Order Ideal Lemma, that can be used to demonstrate a wide array of log-concavity and log-convexity results in a combinatorial manner using order ideals in distributive lattices. We use the Order Ideal…

Let $\overline{\mathrm{Mov}}^k(X)$ be the closure of the cone $\mathrm{Mov}^k(X)$ generated by classes of effective divisors on a projective variety $X$ with stable base locus of codimension at least $k+1$. We propose a generalized version…

We introduce moment maps for continuous unitary representations of general topological groups. For solvable separable locally compact groups, we prove that the closure of the image of the moment map of any representation is convex.

For a compact convex subset $K $ of a locally convex Hausdorff space, a measurement on $A(K)$ is a finite family of positive elements in $A(K)$ normalized to the unit constant $1_K$, where $A(K)$ denotes the set of continuous real affine…

Let $n$ and $k$ be nonnegative integers such that $1\le k\le n+1$. The convex cone $\mathcal{F}_+^{k:n}$ of all functions $f$ on an arbitrary interval $I\subseteq\mathbb{R}$ whose derivatives $f^{(j)}$ of orders $j=k-1,\dots,n$ are…

An O(n) test for polygon convexity is stated and proved. It is also proved that the test is minimal in a certain exact sense.

Let $(X,\Delta)$ be a log canonical $4$-fold over an algebraically closed field of characteristic zero. We prove that any sequence of $(K_X+\Delta)$-flips terminates.

First we recall the notion of conxity and log-convexity for real-valued. Then we generalize the trick used by Artin in his famous paper on the Gamma function to find log-convex solutions to the functional equations f(x+1)=g(x)f(x). This…

We prove bounds for the number of solutions to $$a_1 + \dots + a_k = a_1' + \dots + a_k'$$ over $N$-element sets of reals, which are sufficiently convex or near-convex. A near-convex set will be the image of a set with small additive…

It is shown that, for any function $g$ that is weakly increasing on compact convex sets and has the property that if $\lambda\ge 0$ and $K^\prime$ is a translate of $\lambda K$ then $g(K^\prime) =\lambda g(K)$, then for any covering…

We develop techniques to convexify a set that is invariant under permutation and/or change of sign of variables and discuss applications of these results. First, we convexify the intersection of the unit ball of a permutation and…

We expand upon the notion of equivariant log concavity, and make equivariant log concavity conjectures for Orlik--Solomon algebras of matroids, Cordovil algebras of oriented matroids, and Orlik--Terao algebras of hyperplane arrangements. In…

We present a characterization of operator log-convex functions by using positive linear mappings. Moreover, we study the non-commutative f-divergence functional of operator log-convex functions. In particular, we prove that f is operator…

Let $K$ be a $C_1$-field of any characteristic and $X$ a projective variety over $K$. In this article we prove that for a finite Galois extension $L$ of $K$, a simple sheaf with covering datum on $X \times_K L$ descends to a simple sheaf on…

In a recent paper, the first author proved the log-concavity of the coefficients of the characteristic polynomial of a matroid realizable over a field of characteristic 0, answering a long-standing conjecture of Read in graph theory. We…

We provide a new proof for maximal monotonicity of the subdifferential of a convex function.

We provide an easily verifiable condition for local $k$-connectedness of an inverse limit of polyhedra.

We present a formalization of convex polyhedra in the proof assistant Coq. The cornerstone of our work is a complete implementation of the simplex method, together with the proof of its correctness and termination. This allows us to define…

In this note we show that a connected, closed and locally convex subset (with an extra assumption on the diameter with respect to the induced length metric if $\kappa>0$) of a $CAT(\kappa)$ space is convex.