arXiv subjects
Publications and source records attributed to Rafael Villa.
Given two symmetric convex bodies $L \subseteq K \subseteq \R^n$ with $L$ strictly convex, we prove that there exist at least $n$ hyperplanes $H$ tangent to $L$, such that the center of mass of $H \cap K$ belongs to $\partial L$. The theorem makes use of Lusternik-Schnirelmann category theory.
In this note we study the Petty projection of a log-concave function, which has been recently introduced in [9]. Moreover, we present some new inequalities involving this new notion, partly complementing and correcting some results from [9].
We give a uniform approximation of the characteristic function of the boundary of a centrally symmetric n-dimensional compact and convex set by homogeneous polynomials of even degree $d$ fulfilling $|g_d-1|\leq E/d^{1/2-β}$, for every $β>0$, large enough $d$, and some constant $E$ only depending on $n$ and $K$. In particular, this proves a conjecture posed by Kroo in 2004, also known as the Stone-Weierstrass theorem for homogeneous polynomials. Moreover, we introduce the d-volume ratio for a convex body $K$ in $\mathbb R^n$, by means of its d-Lasserre-Löwner polynomial. We also prove an upper bound of the d-volume ratio of the form $1+F/d^{3/2-β}$, for every $β>0$, large enough $d$, and $F$ some constant only depending on $n$.
Lasserre [La] proved that for every compact set $K\subset\mathbb R^n$ and every even number $d$ there exists a unique homogeneous polynomial $g_0$ of degree $d$ with $K\subset G_1(g_0)=\{x\in\mathbb R^n:g_0(x)\leq 1\}$ minimizing $|G_1(g)|$ among all such polynomials $g$ fulfilling the condition $K\subset G_1(g)$. This result extends the notion of the Löwner ellipsoid, not only from convex bodies to arbitrary compact sets (which was immediate if $d=2$ by taking convex hulls), but also from ellipsoids to level sets of homogeneous polynomial of an arbitrary even degree. In this paper we extend this result for the class of non-negative log-concave functions in two different ways. One of them is the straightforward extension of the known results, and the other one is a suitable extension with uniqueness of the solution in the corresponding problem and a characterization in terms of some 'contact points'.
We provide functional analogues of the classical geometric inequality of Rogers and Shephard on products of volumes of sections and projections. As a consequence we recover (and obtain some new) functional versions of Rogers-Shephard type inequalities as well as some generalizations of the geometric Rogers-Shephard inequality in the case where the subspaces intersect. These generalizations can be regarded as sharp local reverse Loomis-Whitney inequalities. We also obtain a sharp local Loomis-Whitney inequality.
In this paper we prove different functional inequalities extending the classical Rogers-Shephard inequalities for convex bodies. The original inequalities provide an optimal relation between the volume of a convex body and the volume of several symmetrizations of the body, such as, its difference body. We characterize the equality cases in all these inequalities. Our method is based on the extension of the notion of a convolution body of two convex sets to any pair of log-concave functions and the study of some geometrical properties of these new sets.
We extend the notion of John's ellipsoid to the setting of integrable log-concave functions. This will allow us to define the integral ratio of a log-concave function, which will extend the notion of volume ratio, and we will find the log-concave function maximizing the integral ratio. A reverse functional affine isoperimetric inequality will be given, written in terms of this integral ratio. This can be viewed as a stability version of the functional affine isoperimetric inequality.
A subset of a normed space $X$ is called equilateral if the distance between any two points is the same. Let $m(X)$ be the smallest possible size of an equilateral subset of $X$ maximal with respect to inclusion. We first observe that Petty's construction of a $d$-dimensional $X$ of any finite dimension $d\geq 4$ with $m(X)=4$ can be generalised to give $m(X\oplus_1\mathbb{R})=4$ for any $X$ of dimension at least 2 which has a smooth point on its unit sphere. By a construction involving Hadamard matrices we then show that for any set $Γ$, $m(\ell_p(Γ))$ is finite and bounded above by a function of $p$, for all $1\leq p<2$. Also, for all $p\in[1,\infty)$ and $d\in\mathbb{N}$ there exists $c=c(p,d)>1$ such that $m(X)\leq d+1$ for all $d$-dimensional $X$ with Banach-Mazur distance less than $c$ from $\ell_p^d$. Using Brouwer's fixed-point theorem we show that $m(X)\leq d+1$ for all $d$-dimensional $X$ with Banach-Mazur distance less than 3/2 from $\ell_\infty^d$. A graph-theoretical argument furthermore shows that $m(\ell_\infty^d)=d+1$. The above results lead us to conjecture that $m(X)\leq 1+\dim X$ for all finite-dimensional normed spaces $X$.
A quantitative version of Minkowski sum, extending the definition of $θ$-convolution of convex bodies, is studied to obtain extensions of the Brunn-Minkowski and Zhang inequalities, as well as, other interesting properties on Convex Geometry involving convolution bodies or polar projection bodies. The extension of this new version to more than two sets is also given.
In this note we study how a concentration phenomenon can be transmitted from one measure $μ$ to a push-forward measure $ν$. In the first part, we push forward $μ$ by $π:supp(μ)\rightarrow \Ren$, where $πx=\frac{x}{\norm{x}_L}\norm{x}_K$, and obtain a concentration inequality in terms of the medians of the given norms (with respect to $μ$) and the Banach-Mazur distance between them. This approach is finer than simply bounding the concentration of the push forward measure in terms of the Banach-Mazur distance between $K$ and $L$. As a corollary we show that any normed probability space with good concentration is far from any high dimensional subspace of the cube. In the second part, two measures $μ$ and $ν$ are given, both related to the norm $\norm{\cdot}_L$, obtaining a concentration inequality in which it is involved the Banach-Mazur distance between $K$ and $L$ and the Lipschitz constant of the map that pushes forward $μ$ into $ν$. As an application, we obtain a concentration inequality for the cross polytope with respect to the normalized Lebesgue measure and the $\ell_1$ norm.
We show that if the Banach-Mazur distance between an n-dimensional normed space X and ell infinity is at most 3/2, then there exist n+1 equidistant points in X. By a well-known result of Alon and Milman, this implies that an arbitrary n-dimensional normed space admits at least e^{c sqrt(log n)} equidistant points, where c>0 is an absolute constant. We also show that there exist n equidistant points in spaces sufficiently close to n-dimensional ell p (1 < p < infinity).