BZPEER

preprint2021arXiv

Inequalities for the Radon transform on convex sets

Several years ago the authors started looking at some problems of convex geometry from a more general point of view, replacing volume by an arbitrary measure. This approach led to new general properties of the Radon transform on convex bodies including an extension of the Busemann-Petty problem and a slicing inequality for arbitrary functions. The latter means that the sup-norm of the Radon transform of any probability density on a convex body of volume one is bounded from below by a positive constant depending only on the dimension. In this note, we prove an inequality that serves as an umbrella for these results

preprint2016arXiv

A remark on measures of sections of $L_p$ -balls

We show that the slicing problem holds true for subspaces of $L_p,p>2$ in the setting of arbitrary measures in place of volume. This generalizes a result of Milman for the original slicing problem.

preprint2016arXiv

On the average volume of sections of convex bodies

The average section functional ${\rm as}(K)$ of a centered convex body in ${\mathbb R}^n$ is the average volume of central hyperplane sections of $K$ : \begin{equation*}{\rm as}(K)=\int_{S^{n-1}}|K\cap ξ^{\perp }|\,dσ(ξ).\end{equation*} We study the question if there exists an absolute constant $C>0$ such that for every $n$ , for every centered convex body $K$ in ${\mathbb R}^n$ and for every 0<k<n, $${\rm as}(K)\ls C^k|K|^{\frac{k}{n}}\,\max_{E\in {\rm Gr}_{n-k}}{\rm as}(K\cap E).$$ We observe that the case $k=1$ is equivalent to the hyperplane conjecture. We show that this inequality holds true in full generality if one replaces $C$ by $CL_K$ or $Cd_{\rm ovr}(K,{\cal{BP}}_k^n)$ , where $L_K$ is the isotropic constant of $K$ and $d_{\rm ovr}(K,{\cal{BP}}_k^n)$ is the outer volume ratio distance from $K$ to the class ${\cal{BP}}_k^n$ of generalized $k$ -intersection bodies. We also compare ${\rm as}(K)$ to the average of ${\rm as}(K\cap E)$ over all $k$ -codimensional sections of $K$ . We examine separately the dependence of the constants on the dimension in the case where $K$ is in some of the classical positions as well as the natural lower dimensional analogue of the average section functional.

preprint2016arXiv

Variants of the Busemann-Petty problem and of the Shephard problem

We provide an affirmative answer to a variant of the Busemann-Petty problem, proposed by V.~Milman: Let $K$ be a convex body in ${\mathbb R}^n$ and let $D$ be a compact subset of ${\mathbb R}^n$ such that, for some $1\ls k\ls n-1$, $$|P_F(K)|\ls |D\cap F|$$ for all $F\in G_{n,k}$ , where $P_F(K)$ is the orthogonal projection of $K$ onto $F$ and $D\cap F$ is the intersection of $D$ with $F$ . Then, $$|K|\ls |D|.$$ We also provide estimates for the lower dimensional Busemann-Petty and Shephard problems, and we prove separation in the original Busemann-Petty problem.

preprint2016arXiv

Volume difference inequalities

We prove several inequalities estimating the distance between volumes of two bodies in terms of the maximal or minimal difference between areas of sections or projections of these bodies. We also provide extensions in which volume is replaced by an arbitrary measure.

preprint2015arXiv

Isomorphic Busemann-Petty problem for sections of proportional dimensions

We formulate an isomorphic version of the Busemann-Petty problem and solve it in affirmative in the case of sections of proportional dimensions.

preprint2015arXiv

Measures of sections of convex bodies

This article is a survey of recent results on slicing inequalities for convex bodies. The focus is on the setting of arbitrary measures in place of volume.

preprint2015arXiv

Slicing inequalities for measures of convex bodies

We consider a generalization of the hyperplane problem to arbitrary measures in place of volume and to sections of lower dimensions. We prove this generalization for unconditional convex bodies and for duals of bodies with bounded volume ratio. We also prove it for arbitrary symmetric convex bodies under the condition that the dimension of sections is less than $λn$ for some $λ\in (0,1).$ The constant depends only on $λ.$ Finally, we show that the behavior of the minimal sections for some measures may be different from the case of volume.

preprint2015arXiv

Stability inequalities for projections of convex bodies

We prove several stability and volume difference inequalities for projections of convex bodies and apply them to prove a hyperplane inequality for surface area of projection bodies.

preprint2014arXiv

An isomorphic version of the Busemann-Petty problem for arbitrary measures

We prove the following theorem. Let $μ$ be a measure on $R^n$ with even continuous density, and let $K,L$ be origin-symmetric convex bodies in $R^n$ so that $μ(K\cap H)\le μ(L\cap H)$ for any central hyperplane H. Then $μ(K)\le \sqrt{n} μ(L).$ We also prove this result with better constants for some special classes of measures and bodies. Finally, we prove a version of the hyperplane inequality for convex measures.

preprint2013arXiv

A $sqrt{n}$ estimate for measures of hyperplane sections of convex bodies

We prove an estimate for arbitrary measure of sections of convex bodies. The proof is based on a stability result for intersection bodies.

preprint2013arXiv

A hyperplane inequality for measures of unconditional convex bodies

We prove an inequality that extends to arbitrary measures the hyperplane inequality for volume of unconditional convex bodies originally observed by Bourgain.

preprint2013arXiv

Estimates for measures of sections of convex bodies

A $\sqrt{n}$ estimate in the hyperplane problem with arbitrary measures has recently been proved in \cite{K3}. In this note we present analogs of this result for sections of lower dimensions and in the complex case. We deduce these inequalities from stability in comparison problems for different generalizations of intersection bodies.

preprint2013arXiv

Slicing inequalities for subspaces of $L_p.$

We show that the hyperplane conjecture holds for the classes of $k$ -intersection bodies with arbitrary measures in place of volume.

preprint2012arXiv

A hyperplane inequality for the surface area of projection bodies

We prove a hyperplane inequality for the surface area of projection bodies.

preprint2012arXiv

Stability and separation in volume comparison problems

We review recent stability and separation results in volume comparison problems and use them to prove several hyper- plane inequalities for intersection and projection bodies.

preprint2011arXiv

A hyperplane inequality for measures of convex bodies in $\R^n,\ n\le 4$

We generalize the hyperplane inequality in dimensions up to 4 to the setting of arbitrary measures in place of the volume. To prove this generalization we establish stability in the affirmative part of the solution to the Busemann-Petty problem asking whether symmetric convex bodies in R^n with smaller (n-1)-dimensional volume of all central hyperplane sections necessarily have smaller n-dimensional volume.

preprint2011arXiv

Stability and slicing inequalities for intersection bodies

We prove a generalization of the hyperplane inequality for intersection bodies, where volume is replaced by an arbitrary measure $μ$ with even continuous density and sections are of arbitrary dimension $n-k,\ 1\le k <n.$ If $K$ is a generalized $k$ -intersection body, then $$μ(K)\,\leq\,\frac{n}{n-k}c_{n,k}\max_{H} μ(K\cap H) \vol_n(K)^{k/n}.$$ Here $c_{n,k} = |B_2^n|^{(n-k)/n}/|B_2^{n-k}|<1,$ $|B_2^n|$ is the volume of the unit Euclidean ball, and maximum is taken over all $(n-k)$ -dimensional subspaces of $\R^n.$ The constant is optimal, and for each intersection body the inequality holds for every $k.$ We also prove a stronger "difference" inequality. The proof is based on stability in the lower dimensional Busemann-Petty problem for arbitrary measures in the following sense. Let $\e>0,\ 1\le k <n.$ Suppose that $K$ and $L$ are origin-symmetric star bodies in $\R^n,$ and $K$ is a generalized $k$ -intersection body. If for every $(n-k)$ -dimensional subspace $H$ of $\R^n$ $$μ(K\cap H)\leq μ(L\cap H)+\e,$$ then $$μ(K)\leq μ(L) +\frac{n}{n-k}c_{n,k} \vol_n(K)^{k/n}\e.$$

preprint2011arXiv

Stability in the Busemann-Petty and Shephard problems

A comparison problem for volumes of convex bodies asks whether inequalities $f_K(ξ)\le f_L(ξ)$ for all $ξ\in S^{n-1}$ imply that $\vol_n(K)\le \vol_n(L),$ where $K,L$ are convex bodies in $\R^n,$ and $f_K$ is a certain geometric characteristic of $K.$ By linear stability in comparison problems we mean that there exists a constant $c$ such that for every $\e>0$, the inequalities $f_K(ξ)\le f_L(ξ)+\e$ for all $ξ\in S^{n-1}$ imply that $(\vol_n(K))^{\frac{n-1}n}\le (\vol_n(L))^{\frac{n-1}n}+c\e.$ We prove such results in the settings of the Busemann-Petty and Shephard problems and their generalizations. We consider the section function $f_K(ξ)=S_K(ξ)=\vol_{n-1}(K\cap ξ^\bot)$ and the projection function $f_K(ξ)=P_K(ξ)=\vol_{n-1}(K|ξ^\bot),$ where $ξ^\perp$ is the central hyperplane perpendicular to $ξ,$ and $K|ξ^\bot$ is the orthogonal projection of $K$ to $ξ^\bot.$ In these two cases we prove linear stability under additional conditions that $K$ is an intersection body or $L$ is a projection body, respectively. Then we consider other functions $f_K,$ which allows to remove the additional conditions on the bodies in higher dimensions.

preprint2011arXiv

Stability of volume comparison for complex convex bodies

We prove stability in the affirmative part of the Busemann-Petty problem on sections of complex convex bodies.

preprint1999arXiv

An analytic solution to the Busemann-Petty problem on sections of convex bodies

We derive a formula connecting the derivatives of parallel section functions of an origin-symmetric star body in R^n with the Fourier transform of powers of the radial function of the body. A parallel section function (or (n-1)-dimensional X-ray) gives the ((n-1)-dimensional) volumes of all hyperplane sections of the body orthogonal to a given direction. This formula provides a new characterization of intersection bodies in R^n and leads to a unified analytic solution to the Busemann-Petty problem: Suppose that K and L are two origin-symmetric convex bodies in R^n such that the ((n-1)-dimensional) volume of each central hyperplane section of K is smaller than the volume of the corresponding section of L; is the (n-dimensional) volume of K smaller than the volume of L? In conjunction with earlier established connections between the Busemann-Petty problem, intersection bodies, and positive definite distributions, our formula shows that the answer to the problem depends on the behavior of the (n-2)-nd derivative of the parallel section functions. The affirmative answer to the Busemann-Petty problem for n\le 4 and the negative answer for n\ge 5 now follow from the fact that convexity controls the second derivatives, but does not control the derivatives of higher orders.

preprint1996arXiv

A correlation inequality for the expectations of norms of stable vectors

For $0<q\le 2,\ 1\le k < n,$ let $X=(X_1,...,X_n)$ and $Y=(Y_1,...,Y_n)$ be symmetric $q$ -stable random vectors so that the joint distributions of $X_1,...,X_k$ and $X_{k+1},...,X_n$ are equal to the joint distributions of $Y_1,...,Y_k$ and $Y_{k+1},...,Y_n,$ respectively, but $Y_i$ and $Y_j$ are independent for every $1\le i \le k,\ k+1\le j \le n.$ We prove that $\Bbb E (f(X)) \ge \Bbb E (f(Y))$ where $f$ is any continuous, positive, homogeneous of the order $p\in (-n,0)$ function on $\Bbb R^n\setminus \{0\}$ such that $f$ is a positive definite distribution in $\Bbb R^n,$ and $f(u,v)=f(u,-v)$ for every $u\in \Bbb R^k,\ v\in \Bbb R^{n-k}.$ As a particular case, we show that $\Bbb E\ (\max_{i=1,...,n} |X_i|)^p \ge \Bbb E\ (\max_{i=1,...,n} |Y_i|)^p$ for every $p\in (-n,-n+1).$ The latter inequality is related to Slepian's Lemma and to the Gaussian correlation problem.

preprint1996arXiv

Inverse formula for the Blaschke-Levy representation with applications to zonoids and sections of star bodies

We say that an even continuous function $H$ on the unit sphere $Ω$ in $R^n$ admits the Blaschke-Levy representation with $q>0$ if there exists an even function $b\in L_1(Ω)$ so that $H^q(x)=\int_Ω|(x,ξ)|^q b(ξ)\ dξ$ for every $x\in Ω.$ This representation has numerous applications in convex geometry, probability and Banach space theory. In this paper, we present a simple formula (in terms of the derivatives of $H$ ) for calculating $b$ out of $H.$ We use this formula to give a sufficient condition for isometric embedding of a space into $L_p$ which contributes to the 1937 P.Levy's problem and to the study of zonoids. Another application gives a Fourier transform formula for the volume of $(n-1)$ -dimensional central sections of star bodies in $R^n.$ We apply this formula to find the minimal and maximal volume of central sections of the unit balls of the spaces $\ell_p^n$ with $0<p<2.$

preprint1996arXiv

Positive definite distributions and subspaces of $L_{-p}$ with applications to stable processes

We define embedding of an $n$ -dimensional normed space into $L_{-p},\ 0<p<n$ by extending analytically with respect to $p$ the corresponding property of the classical $L_p$ -spaces. The well-known connection between embeddings into $L_p$ and positive definite functions is extended to the case of negative $p$ by showing that a normed space embeds in $L_{-p}$ if and only if $\|x\|^{-p}$ is a positive definite distribution. Using this criterion, we generalize the recent solutions to the 1938 Schoenberg's problems by proving that the spaces $\ell_q^n,\ 2<q\le \infty$ embed in $L_{-p}$ if and only if $p\in [n-3,n).$ We show that the technique of embedding in $L_{-p}$ can be applied to stable processes in some situations where standard methods do not work. As an example, we prove inequalities of correlation type for the expectations of norms of stable vectors. In particular, for every $p\in [n-3,n),$ $\Bbb E(\max_{i=1,...,n} |X_i|^{-p}) \ge \Bbb E(\max_{i=1,...,n} |Y_i|^{-p}),$ where $X_1,...,X_n$ and $Y_1,...,Y_n$ are jointly $q$ -stable symmetric random variables, $0<q\le 2,$ so that, for some $k\in \Bbb N,\ 1\le k <n,$ the vectors $(X_1,...,X_k)$ and $(X_{k+1},...,X_n)$ have the same distributions as $(Y_1,...,Y_k)$ and $(Y_{k+1},...,Y_n),$ respectively, but $Y_i$ and $Y_j$ are independent for every choice of $1\le i\le k,\ k+1\le j\le n.$

preprint1995arXiv

Inequalities of correlation type for symmetric stable random vectors

We prove that, for any jointly stable random variables $X_1, \dots, X_k$ with zero mean, any $m<k,$ and any even continuous positive definite functions $f$ and $g$ on $\Bbb R^m$ and $\Bbb R^{k-m},$ the random variables $f(X_1,\dots,X_m)$ and $g(X_{m+1}, \dots,X_k)$ are non-negatively correlated. We also show another result that is related to an old question of whether $P(\max_{1\le i\le k} |X_i|<t) \ge P(\max_{1\le i\le m} |X_i|<t) \ P(\max_{m+1\le i\le k} |X_i|<t)$ where $X_1,\dots,X_k$ are jointly Gaussian random variables with zero mean, and $m<k.$ We show that the quantity in the left-hand side has a local minimum at the point where the random variables $X_i$ and $X_j$ are independent for any choice of $1\le i\le m$ and $m+1\le j\le k.$

preprint1994arXiv

A Banach subspace of $L_{1/2}$ which does not embed in $L_1$ (isometric version)

For every $n\geq 3,$ we construct an $n$ -dimensional Banach space which is isometric to a subspace of $L_{1/2}$ but is not isometric to a subspace of $L_1.$ The isomorphic version of this problem (posed by S. Kwapien in 1969) is still open. Another example gives a Banach subspace of $L_{1/4}$ which does not embed isometrically in $L_{1/2}.$ Note that, from the isomorphic point of view, all the spaces $L_q$ with $q<1$ have the same Banach subspaces.

preprint1993arXiv

Isometric stability property of certain Banach spaces

Let $E$ be one of the spaces $C(K)$ and $L_1$ , $F$ be an arbitrary Banach space, $p>1,$ and $(X,σ)$ be a space with a finite measure. We prove that $E$ is isometric to a subspace of the Lebesgue-Bochner space $L_p(X;F)$ only if $E$ is isometric to a subspace of $F.$ Moreover, every isometry $T$ from $E$ into $L_p(X;F)$ has the form $Te(x)=h(x)U(x)e, e\in E,$ where $h:X\rightarrow R$ is a measurable function and, for every $x\in X,$ $U(x)$ is an isometry from $E$ to $F.$

preprint1993arXiv

Isometries of $L_p$ -spaces of solutions of homogeneous partial differential equations

Let $n\geq 2, A=(a_{ij})_{i,j=1}^{n}$ be a real symmetric matrix, $a=(a_i)_{i=1}^{n}\in \Bbb R^n.$ Consider the differential operator $D_A = \sum_{i,j=1}^n a_{ij}{\partial^2 \over \partial x_i \partial x_j}+ \sum_{i=1}^n a_i{\partial \over \partial x_i}.$ Let $E$ be a bounded domain in $\Bbb R^n,$ $p>0.$ Denote by $L_{D_A}^p(E)$ the space of solutions of the equation $D_A f=0$ in the domain $E$ provided with the $L_p$ -norm. We prove that, for matrices $A,B,$ vectors $a,b,$ bounded domains $E,F,$ and every $p>0$ which is not an even integer, the space $L_{D_A}^p(E)$ is isometric to a subspace of $L_{D_B}^p(F)$ if and only if the matrices $A$ and $B$ have equal signatures, and the domains $E$ and $F$ coincide up to a natural mapping which in the most cases is affine. We use the extension method for $L_p$ -isometries which reduces the problem to the question of which weighted composition operators carry solutions of the equation $D_A f=0$ in $E$ to solutions of the equation $D_B f=0$ in $F.$

preprint1993arXiv

The Fourier transform of order statistics with applications to Lorentz spaces

We present a formula for the Fourier transforms of order statistics in $\Bbb R^n$ showing that all these Fourier transforms are equal up to a constant multiple outside the coordinate planes in $\Bbb R^n.$ For $a_1\geq ... \geq a_n\ge0$ and $q>0,$ denote by $\ell_{w,q}^n$ the $n$ -dimensional Lorentz space with the norm $\|(x_1,...,x_n)\| = (a_1 (x_1^{*})^q +...+ a_n (x_n^{*})^q)^{1/q}$ , where $(x_1^{*},...,x_n^{*})$ is the non-increasing permutation of the numbers $|x_1|,...,|x_n|.$ We use the above mentioned formula and the Fourier transform criterion of isometric embeddability of Banach spaces into $L_q$ \cite{10} to prove that, for $n\geq 3$ and $q\leq 1,$ the space $\ell_{w,q}^n$ is isometric to a subspace of $L_q$ if and only if the numbers $a_1,...,a_n$ form an arithmetic progression. For $q>1,$ all the numbers $a_i$ must be equal so that $\ell_{w,q}^n = \ell_q^n.$ Consequently, the Lorentz function space $L_{w,q}(0,1)$ is isometric to a subspace of $L_q$ if and only if {\it either} $0<q<\infty$ and the weight $w$ is a constant function (so that $L_{w,q}= L_q$ ), {\it or} $q\le 1$ and $w(t)$ is a decreasing linear function. Finally, we relate our results to the theory of positive definite functions.

Alexander Koldobsky

Research overview

Is this your work?

29 publications

Inequalities for the Radon transform on convex sets

A remark on measures of sections of $L_p$ -balls

On the average volume of sections of convex bodies

Variants of the Busemann-Petty problem and of the Shephard problem

Volume difference inequalities

Isomorphic Busemann-Petty problem for sections of proportional dimensions

Measures of sections of convex bodies

Slicing inequalities for measures of convex bodies

Stability inequalities for projections of convex bodies

An isomorphic version of the Busemann-Petty problem for arbitrary measures

A $sqrt{n}$ estimate for measures of hyperplane sections of convex bodies

A hyperplane inequality for measures of unconditional convex bodies

Estimates for measures of sections of convex bodies

Slicing inequalities for subspaces of $L_p.$

A hyperplane inequality for the surface area of projection bodies

Stability and separation in volume comparison problems

A hyperplane inequality for measures of convex bodies in $\R^n,\ n\le 4$

Stability and slicing inequalities for intersection bodies

Stability in the Busemann-Petty and Shephard problems

Stability of volume comparison for complex convex bodies

An analytic solution to the Busemann-Petty problem on sections of convex bodies

A correlation inequality for the expectations of norms of stable vectors

Inverse formula for the Blaschke-Levy representation with applications to zonoids and sections of star bodies

Positive definite distributions and subspaces of $L_{-p}$ with applications to stable processes

Inequalities of correlation type for symmetric stable random vectors

A Banach subspace of $L_{1/2}$ which does not embed in $L_1$ (isometric version)

Isometric stability property of certain Banach spaces

Isometries of $L_p$ -spaces of solutions of homogeneous partial differential equations

The Fourier transform of order statistics with applications to Lorentz spaces

See the researcher in context

Building this map preview

Alexander Koldobsky

Research overview

Is this your work?

29 publications

Inequalities for the Radon transform on convex sets

A remark on measures of sections of LpL_pLp​-balls

On the average volume of sections of convex bodies

Variants of the Busemann-Petty problem and of the Shephard problem

Volume difference inequalities

Isomorphic Busemann-Petty problem for sections of proportional dimensions

Measures of sections of convex bodies

Slicing inequalities for measures of convex bodies

Stability inequalities for projections of convex bodies

An isomorphic version of the Busemann-Petty problem for arbitrary measures

A sqrtnsqrt{n}sqrtn estimate for measures of hyperplane sections of convex bodies

A hyperplane inequality for measures of unconditional convex bodies

Estimates for measures of sections of convex bodies

Slicing inequalities for subspaces of Lp.L_p.Lp​.

A hyperplane inequality for the surface area of projection bodies

Stability and separation in volume comparison problems

A hyperplane inequality for measures of convex bodies in Rn, n≤4\R^n,\ n\le 4Rn, n≤4

Stability and slicing inequalities for intersection bodies

Stability in the Busemann-Petty and Shephard problems

Stability of volume comparison for complex convex bodies

An analytic solution to the Busemann-Petty problem on sections of convex bodies

A correlation inequality for the expectations of norms of stable vectors

Inverse formula for the Blaschke-Levy representation with applications to zonoids and sections of star bodies

Positive definite distributions and subspaces of L−pL_{-p}L−p​ with applications to stable processes

Inequalities of correlation type for symmetric stable random vectors

A Banach subspace of L1/2L_{1/2}L1/2​ which does not embed in L1L_1L1​ (isometric version)

Isometric stability property of certain Banach spaces

Isometries of LpL_pLp​-spaces of solutions of homogeneous partial differential equations

The Fourier transform of order statistics with applications to Lorentz spaces

See the researcher in context

Building this map preview

A remark on measures of sections of $L_p$ -balls

A $sqrt{n}$ estimate for measures of hyperplane sections of convex bodies

Slicing inequalities for subspaces of $L_p.$

A hyperplane inequality for measures of convex bodies in $\R^n,\ n\le 4$

Positive definite distributions and subspaces of $L_{-p}$ with applications to stable processes

A Banach subspace of $L_{1/2}$ which does not embed in $L_1$ (isometric version)

Isometries of $L_p$ -spaces of solutions of homogeneous partial differential equations