Source author record

David Alonso-Gutiérrez

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

12works
3topics
4close collaborators

Published work

12 publications

preprint2025arXiv

Limit theorems for the distance of random points in lpnl_p^n-balls

In this paper, we prove that the Euclidean distance between two independent random vectors uniformly distributed on lpnl_p^n-balls (1≤p≤∞)(1 \leq p \leq \infty) or on its boundary satisfies a central limit theorem as nn tends to ∞\infty. Also, we give a compact proof of the case of the sphere, which was proved by Hammersley. Furthermore, we complement our central limit theorem by providing large deviation principles for the cases p≥2p \geq 2.

preprint2022arXiv

On Rogers-Shephard type inequalities for the lattice point enumerator

In this paper we study various Rogers-Shephard type inequalities for the lattice point enumerator Gn(⋅)\mathrm{G}_{n}(\cdot) on Rn\mathbb{R}^n. In particular, for any non-empty convex bounded sets K,L⊂RnK,L\subset\mathbb{R}^n, we show that Gn(K+L)Gn(K∩(−L))≤(2nn)Gn(K+(−1,1)n)Gn(L+(−1,1)n).\mathrm{G}_{n}(K+L)\mathrm{G}_{n}\bigl(K\cap(-L)\bigr) \leq\binom{2n}{n} \mathrm{G}_{n}\bigl(K+(-1,1)^n\bigr)\mathrm{G}_{n}\bigl(L+(-1,1)^n\bigr). and Gn−k(PH⊥K)Gk(K∩H)≤(nk)Gn(K+(−1,1)n), \mathrm{G}_{n-k}(P_{H^\perp} K)\mathrm{G}_{k}(K\cap H)\leq\binom{n}{k}\mathrm{G}_{n}\bigl(K+(-1,1)^n\bigr), for H=lin{e1,…,ek}H=\mathrm{lin}\{\mathrm{e}_1,\dots,\mathrm{e}_k\}, k∈{1,…,n−1}k\in\{1,\dots,n-1\}. Additionally, a discrete counterpart to a classical result by Berwald for concave functions, from which other discrete Rogers-Shephard type inequalities may be derived, is shown. Furthermore, we prove that these new discrete analogues for Gn(⋅)\mathrm{G}_{n}(\cdot) imply the corresponding results involving the Lebesgue measure.

preprint2020arXiv

Further inequalities for the (generalized) Wills functional

The Wills functional W(K)\mathcal{W}(K) of a convex body KK, defined as the sum of its intrinsic volumes Vi(K)\mathrm{V}_i(K), turns out to have many interesting applications and properties. In this paper we make profit of the fact that it can be represented as the integral of a log-concave function, which, furthermore, is the Asplund product of other two log-concave functions, and obtain new properties of the Wills functional (indeed, we will work in a more general setting). Among others, we get upper bounds for W(K)\mathcal{W}(K) in terms of the volume of KK, as well as Brunn-Minkowski and Rogers-Shephard type inequalities for this functional. We also show that the cube of edge-length 2 maximizes W(K)\mathcal{W}(K) among all 00-symmetric convex bodies in John position, and we reprove the well-known McMullen inequality W(K)≤eV1(K)\mathcal{W}(K)\leq e^{\mathrm{V}_1(K)} using a different approach.

preprint2020arXiv

Large deviations, moderate deviations, and the KLS conjecture

Having its origin in theoretical computer science, the Kannan-Lovász-Simonovits (KLS) conjecture is one of the major open problems in asymptotic convex geometry and high-dimensional probability theory today. In this work, we establish a new connection between this conjecture and the study of large and moderate deviations for isotropic log-concave random vectors, thereby providing a novel possibility to tackle the conjecture. We then study the moderate deviations for the Euclidean norm of random orthogonally projected random vectors in an ℓpn\ell_p^n-ball. This leads to a number of interesting observations: (A) the ℓ1n\ell_1^n-ball is critical for the new approach; (B) for p≥2p\geq 2 the rate function in the moderate deviations principle undergoes a phase transition, depending on whether the scaling is below the square-root of the subspace dimensions or comparable; (C) for 1≤p<21\leq p<2 and comparable subspace dimensions, the rate function again displays a phase transition depending on its growth relative to np/2n^{p/2}.

preprint2020arXiv

On affine invariant and local Loomis-Whitney type inequalities

We prove various extensions of the Loomis-Whitney inequality and its dual, where the subspaces on which the projections (or sections) are considered are either spanned by vectors wiw_i of a not necessarily orthonormal basis of Rn\mathbb{R}^n, or their orthogonal complements. In order to prove such inequalities we estimate the constant in the Brascamp-Lieb inequality in terms of the vectors wiw_i. Restricted and functional versions of the inequality will also be considered.

preprint2020arXiv

Reverse Loomis-Whitney inequalities via isotropicity

Given a centered convex body K⊆RnK\subseteq\mathbb{R}^n, we study the optimal value of the constant Λ~(K)\tildeΛ(K) such that there exists an orthonormal basis {wi}i=1n\{w_i\}_{i=1}^n for which the following reverse dual Loomis-Whitney inequality holds: ∣K∣n−1⩽Λ~(K)∏i=1n∣K∩wi⊥∣. |K|^{n-1}\leqslant \tildeΛ(K)\prod_{i=1}^n|K\cap w_i^\perp|. We prove that Λ~(K)⩽(CLK)n\tildeΛ(K)\leqslant(CL_K)^n for some absolute C>1C>1 and that this estimate in terms of LKL_K, the isotropic constant of KK, is asymptotically sharp in the sense that there exists another absolute constant c>1c>1 and a convex body KK such that (cLK)n⩽Λ~(K)⩽(CLK)n(cL_K)^n\leqslant\tildeΛ(K)\leqslant(CL_K)^n. We also prove more general reverse dual Loomis-Whitney inequalities as well as reverse restricted versions of Loomis-Whitney and dual Loomis-Whitney inequalities.

preprint2016arXiv

Rogers-Shephard inequality for log-concave functions

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.

preprint2016arXiv

The variance conjecture on hyperplane projections of l_p^n balls

We show that for any 1≤p≤∞1\leq p\leq\infty, the family of random vectors uniformly distributed on hyperplane projections of the unit ball of ℓpn\ell_p^n verify the variance conjecture Var ∣X∣2≤Cmax⁡ξ∈Sn−1E⟨X,ξ⟩2E∣X∣2, \textrm{Var}\,|X|^2\leq C\max_{ξ\in S^{n-1}}\mathbb{E}\langle X,ξ\rangle^2\mathbb{E}|X|^2, where CC depends on pp but not on the dimension nn or the hyperplane. We will also show a general result relating the variance conjecture for a random vector uniformly distributed on an isotropic convex body and the variance conjecture for a random vector uniformly distributed on any Steiner symmetrization of it. As a consequence we will have that the class of random vectors uniformly distributed on any Steiner symmetrization of an ℓpn\ell_p^n-ball verify the variance conjecture.

preprint2015arXiv

John's ellipsoid and the integral ratio of a log-concave function

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.

preprint2013arXiv

Volume inequalities for the ii-th-Convolution bodies

We obtain a new extension of Rogers-Shephard inequality providing an upper bound for the volume of the sum of two convex bodies KK and LL. We also give lower bounds for the volume of the kk-th limiting convolution body of two convex bodies KK and LL. Special attention is paid to the (n−1)(n-1)-th limiting convolution body, for which a sharp inequality, which is equality only when K=−LK=-L is a simplex, is given. Since the nn-th limiting convolution body of KK and −K-K is the polar projection body of KK, these inequalities can be viewed as an extension of Zhang's inequality.

preprint2012arXiv

The variance conjecture on some polytopes

We show that any random vector uniformly distributed on any hyperplane projection of B1nB_1^n or B∞nB_\infty^n verifies the variance conjecture $$\text{Var}|X|^2\leq C\sup_{ξ\in S^{n-1}}\E<X,ξ>^2\E|X|^2.$$ Furthermore, a random vector uniformly distributed on a hyperplane projection of B∞nB_\infty^n verifies a negative square correlation property and consequently any of its linear images verifies the variance conjecture.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.