Related papers: Log-concavity of complexity one Hamiltonian torus …
We study the convexity of mutual information as a function of time along the flow of the Ornstein-Uhlenbeck process. We prove that if the initial distribution is strongly log-concave, then mutual information is eventually convex, i.e.,…
Many trace inequalities can be expressed either as concavity/convexity theorems or as monotonicity theorems. A classic example is the joint convexity of the quantum relative entropy which is equivalent to the Data Processing Inequality. The…
It is explained how a locally convex (lc) topology $\tau$ on a real vector space $V$ extends to a locally multiplicatively convex (lmc) topology $\overline{\tau}$ on the symmetric algebra $S(V)$. This allows the application of the results…
We show that the convex hull of a large i.i.d. sample from an absolutely continuous log-concave distribution approximates a predetermined convex body in the logarithmic Hausdorff distance and in the Banach-Mazur distance. For log-concave…
We establish a geometric quantization formula for a Hamiltonian action of a compact Lie group acting on a noncompact symplectic manifold with proper moment map.
We present a K-theoritic approach to the Guillemin-Sternberg conjecture, about the commutativity of geometric quantization and symplectic reduction, which was proved by Meinrenken and Tian-Zhang. Besides providing a new proof of this…
The convexity and Morse-theoretic properties of moment maps in symplectic geometry typically fail for presymplectic manifolds. We find a condition on presymplectic moment maps that prevents these failures. Our result applies for instance to…
The Lebesgue property (order-continuity) of a monotone convex function on a solid vector space of measurable functions is characterized in terms of (1) the weak inf-compactness of the conjugate function on the order-continuous dual space,…
In this article, we provide an exposition about symplectic toric manifolds, which are symplectic manifolds $(M^{2n}, \omega)$ equipped with an effective Hamiltonian $\mathbb{T}^n\cong (S^1)^n$-action. We summarize the construction of $M$ as…
The concentration of measure phenomenon in Gauss' space states that every $L$-Lipschitz map $f$ on $\mathbb R^n$ satisfies \[ \gamma_{n} \left(\{ x : | f(x) - M_{f} | \geqslant t \} \right) \leqslant 2 e^{ - \frac{t^2}{ 2L^2} }, \quad t>0,…
We find sufficient conditions for log-convexity and log-concavity for the functions of the forms $a\mapsto\sum{f_k}(a)_kx^k$, $a\mapsto\sum{f_k}\Gamma(a+k)x^k$ and $a\mapsto\sum{f_k}x^k/(a)_k$. The most useful examples of such functions are…
In this paper, we study power series with coefficients equal to a product of a generic sequence and an explicitly given function of a positive parameter expressible in terms of the Pochhammer symbols. Four types of such series are treated.…
We prove strong hypercontractivity (SHC) inequalities for logarithmically subharmonic functions on $\RR^n$ and different classes of measures: Gaussian measures on $\RR^n$, symmetric Bernoulli and symmetric uniform probability measures on…
We introduce a transport-majorization argument that establishes a majorization in the convex order between two densities, based on control of the gradient of a transportation map between them. As applications, we give elementary derivations…
We show that a realization of a closed connected PL-manifold of dimension n-1 in n-dimensional Euclidean space (n>2) is the boundary of a convex polyhedron (finite or infinite) if and only if the interior of each (n-3)-face has a point,…
An important question with a rich history is the extent to which the symplectic category is larger than the Kaehler category. Many interesting examples of non-Kaehler symplectic manifolds have been constructed. However, sufficiently large…
Let $G$ be a compact, simply connected Lie group. If $\mathcal{C}_1,\mathcal{C}_2$ are two $G$-conjugacy classes, then the set of elements in $G$ that can be written as products $g=g_1g_2$ of elements $g_i\in \mathcal{C}_i$ is invariant…
We consider the class univalent log-harmonic mappings on the unit disk. Firstly, we obtain necessary and sufficient conditions for a complex-valued continuous function to be starlike or convex in the unit disk. Then we present a general…
We construct a transport map from Poisson point processes onto ultra-log-concave measures over the natural numbers, and show that this map is a contraction. Our approach overcomes the known obstacles to transferring functional inequalities…
A generalized Calabi-Yau structure is a geometrical structure on a manifold which generalizes both the concept of the Calabi-Yau structure and that of the symplectic one. In view of a result of Lin and Tolman in generalized complex cases,…