Related papers: Generality of Lieb's Concavity Theorem

The Lieb-Schultz-Mattis theorem dictates that a trivial symmetric insulator in lattice models is prohibited if lattice translation symmetry and $U(1)$ charge conservation are both preserved. In this paper, we generalize the…

We prove that a general class of measures, which includes $\log$-concave measures, is $\frac{1}{n}$-concave according to the terminology of Borell, with additional assumptions on the measures or on the sets, such as symmetries. This…

Let $\ast$ and $\widetilde {\ast}$ denote the convolution of two analytic maps and that of an analytic map and a harmonic map respectively. Pokhrel [1] proved that if $f = h+\overline{g}$ is a harmonic map convex in the direction of…

Anari, Gharan, and Vinzant proved (complete) log-concavity of the basis generating functions for all matroids. From the viewpoint of combinatorial Hodge theory, it is natural to ask whether these functions are "strictly" log-concave for…

If G is a Lie group, let D(G) be the space of compactly supported smooth functions on G. Consider the bilinear map B : D(G) x D(G) -> D(G), (f,g) |-> f*g which takes a pair of test functions to their convolution. We show that B is…

For a general open set, we characterize the compactness of the embedding $W^{1,p}_0\hookrightarrow L^q$ in terms of the summability of its torsion function. In particular, for $1\le q<p$ we obtain that the embedding is continuous if and…

In this paper we investigate continuity properties of functions $f:\mathbb{R}_+\to\mathbb{R}_+$ that satisfy the $(p,q)$-Jensen convexity inequality $$ f\big(H_p(x,y)\big)\leq H_q(f(x),f(y)) \qquad(x,y>0), $$ where $H_p$ stands for the…

It is well known that the strong subadditivity theorem is hold for classical system, but it is very difficult to prove that it is hold for quantum system. The first proof of this theorem is due to Lieb by using the Lieb's theorem. Here we…

We revisit and prove some convexity inequalities for trace functions conjectured in the earlier part I. The main functional considered is \Phi_{p,q}(A_1,A_2,...,A_m) = (trace((\sum_{j=1}^m A_j^p)^{q/p}))^{1/q} for m positive definite…

The Birkhoff's theorem states that any doubly stochastic matrix lies inside a convex polytope with the permutation matrices at the corners. It can be proven that a similar theorem holds for unitary matrices with equal line sums for prime…

In this paper, we study the conjecture of Gardner and Zvavitch from \cite{GZ}, which suggests that the standard Gaussian measure $\gamma$ enjoys $\frac{1}{n}$-concavity with respect to the Minkowski addition of \textbf{symmetric} convex…

We develop a general framework to study concavity properties of weighted marginals of $\beta$-concave functions on $\mathbb{R}^n$ via local methods. As a concrete implementation of our approach, we obtain a functional version of the…

The classical Harer conjecture is about the stable homology triviality of the obvious embedding $\phi : B_{2g+2} \hookrightarrow \Gamma_{g}$, which was proved by Song and Tillmann. The main part of the proof is to show that $\B\phi^{+} : \B…

In this paper, we prove that, if functions (concave) $\phi$ and (convex) $\psi$ satisfy certain conditions, the $L_{\phi}$ affine surface area is monotone increasing, while the $L_{\psi}$ affine surface area is monotone decreasing under the…

We show that Newton's method converges globally at a linear rate for objective functions whose Hessians are stable. This class of problems includes many functions which are not strongly convex, such as logistic regression. Our linear…

We prove Rellich-Kondrachov type theorems on the half-space $\mathbb{H}^{N+1}=\{(y, x) \in \left.\mathbb{R} \times \mathbb{R}^N: y>0\right\}$ endowed with the general weighted measure $\mu_w:=y^c \phi(|z|) d z$, where $c \in \mathbb{R}$ and…

Let f be a non-negative concave function on the positive half-line. Let A and B be two positive matrices. Then, for all symmetric norms, || f(A+B) || is less than || f(A)+f(B) ||. When f is operator concave, this was proved by Ando and…

We study multivariate entire functions and polynomials with non-negative coefficients. A class of {\bf Strongly Log-Concave} entire functions, generalizing {\it Minkowski} volume polynomials, is introduced: an entire function $f$ in $m$…

Mrs. Gerber's Lemma (MGL) hinges on the convexity of $H(p*H^{-1}(u))$, where $H(u)$ is the binary entropy function. In this work, we prove that $H(p*f(u))$ is convex in $u$ for every $p\in [0,1]$ provided $H(f(u))$ is convex in $u$, where…

We present a theorem which generalizes the classical Euler's theorem on congruencies: if $(a,m)=1$ then $a^ \phi(m) \equiv 1 (mod m)$ for the case when $a$ and $m$ are not relatively primes.