Source author record

Alexander Koldobsky

Alexander Koldobsky appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

29works
3topics
4close collaborators

Actions

Connect this record

Log in to claim

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.

Published work

29 published item(s)

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

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.

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.

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.

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.

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.