Related papers: Improvement on a Generalized Lieb's Concavity Theo…

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…

Let $\Bbbk$ be a field, $H$ a Hopf algebra over $\Bbbk$, and $R = (_iM_j)_{1 \leq i,j \leq n}$ a generalized matrix algebra. In this work, we establish necessary and sufficient conditions for $H$ to act partially on $R$. To achieve this, we…

We show new upper bounds for permanents and hafnians, which are particularly useful for complex matrices. Multidimensional permanents and hyperhafnians are considered as well. The permanental bounds improve on a Hadamard type inequality of…

We prove a Hopf bifurcation theorem in Hilbert spaces for abstract semilinear equations, which improves a classical result by Crandall and Rabinowitz in the case where basic spaces are Hilbert spaces. Actually, our theorem does not need any…

The well-known Zalcman conjecture, which implies the Bieberbach conjecture, states that the coefficients of univalent functions $f(z) = z + \sum\limits_2^{\infty} a_n z^n$ on the unit disk satisfy $|a_n^2 - a_{2n-1}| \le (n-1)^2$ for all $n…

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…

Generalized Haag's theorem has been proved in S O (1, k) invariant quantum field theory. Apart from the above mentioned k+1 variables there can be arbitrary number of additional coordinates including noncommutative ones in the theory. New…

In this article, we prove two new versions of a theorem proven by Efron in [Efr65]. Efron's theorem says that if a function $\phi : \mathbb{R}^2 \rightarrow \mathbb{R}$ is non-decreasing in each argument then we have that the function $s…

In this article, we prove that convex functions and log-convex functions obey certain general refinements that lead to several refinements and reverses of well known inequalities for matrices, including Young's inequality, Heinz inequality,…

Let $f,g:\Bbb{R}^{N}\rightarrow (-\infty ,\infty ]$ be Borel measurable, bounded below and such that $\inf f+\inf g\geq 0.$ We prove that with $ m_{f,g}:=(\inf f-\inf g)/2,$ the inequality $||(f-m_{f,g})^{-1}||_{\phi…

We prove a sharp Lieb-Thirring type inequality for Jacobi matrices, thereby settling a conjecture of Hundertmark and Simon. An interesting feature of the proof is that it employs a technique originally used by Hundertmark-Laptev-Weidl…

We present a logarithmic Sobolev inequality adapted to a log-concave measure. Assume that $\Phi$ is a symmetric convex function on $\dR$ satisfying $(1+\e)\Phi(x)\leq {x}\Phi'(x)\leq(2-\e)\Phi(x)$ for $x\geq0$ large enough and with…

In this paper, a general hybrid fixed point theorem for the contractive mappings in generalized Banach spaces is proved via measure of weak non-compactness and it is further applied to fractional integral equations for proving the existence…

There has been recent interest in a hybrid form of the celebrated conjectures of Hardy-Littlewood and of Chowla. We prove that for any $k,\ell\ge1$ and distinct integers $h_2,\ldots,h_k,a_1,\ldots,a_\ell$, we have $$\sum_{n\leq…

We prove the continuity of Sobolev functions $\varphi \in W^{1,n}_{\mathrm{loc}}(\Omega)$, $\Omega \subset \mathbb{R}^n$, that satisfy \[ \lvert\nabla \varphi(x)\rvert^n \le K(x)\bigl(\langle \nabla \varphi(x), \xi(x)\rangle + A(x)\bigr),…

We study the following problem: given n real arguments a1, ..., an and n real weights w1, ..., wn, under what conditions does the inequality w1 f(a1) + w2 f(a2) + ... + wn f(an) >= 0 hold for all functions f with nonnegative kth derivative…

In this paper we prove a gap theorem for K\"ahler manifolds with nonnegative orthogonal bisectional curvature and nonnegative Ricci curvature, which generalizes an earlier result of the first author. We also prove a Liouville theorem for…

For positive definite matrices $A$ and $B$, the Araki-Lieb-Thirring inequality amounts to an eigenvalue log-submajorisation relation for fractional powers $$\lambda(A^t B^t) \prec_{w(\log)} \lambda^t(AB), \quad 0<t\le 1,$$ while for…

A fundamental theorem of Liouville asserts that positive entire harmonic functions in Euclidean spaces must be constant. A remarkable Liouville-type theorem of Caffarelli-Gidas-Spruck states that positive entire solutions of $-\Delta u=u^{…

Hille's theorem is a powerful classical result in vector measure theory. It asserts that the application of a closed, unbounded linear operator commutes with strong/Bochner integration of functions taking values in a Banach space. This note…