SearcharxivSearch

arXiv subjects

Dmitry Ryabogin

Publications and source records attributed to Dmitry Ryabogin.

17 recordsLinked to original sources

Zonoids whose polars are zonoids: the Banach--Mazur distance need not tend to one

For every $n\geq2$, we consider a Gaussian zonoid of revolution $Z_n$ arising from works of Vitale and Mathis. We prove that $Z_n^*$ is also a zonoid and compute the Banach--Mazur distance from $Z_n$ to the Euclidean ball. This distance is independent of the dimension and is approximately $1.10$. Consequently, the supremal Banach--Mazur distance among zonoids whose polars are zonoids does not converge to $1$. The construction also produces a separable real Banach space $X$, not isometric to a Hilbert space, such that both $X$ and $X^*$ embed linearly isometrically into $L_1$.

math.FA

The Spherical Gr\"unbaum Inequality

We prove an analogue of Gr\"unbaum's inequality on the sphere. Let $n \geq 3$ and let $K$ be a convex body on $\mathbb S^{n-1}\subset \mathbb R^n$ with centroid at $\theta\in \mathbb S^{n-1}$. Then for any $u\in \mathbb S^{n-1}$ that is orthogonal to $\theta$ we have $$\sigma(K\cap u^+) \ge \left(1-\frac{1}{n}\right)^{n-1} \sigma(K),$$ where $\sigma$ denotes the spherical measure. The constant in this inequality is optimal.

math.MG

On the maximal distance between the centers of mass of a planar convex body and its boundary

We prove that the length of the projection of the vector joining the centers of mass of a convex body on the plane and of its boundary to an arbitrary direction does not exceed $\frac{1}{6}$ of the body width in this direction. It follows that the distance between these centers of mass does not exceed $\frac16$ of the diameter of the body and $\frac{1}{12}$ of its boundary length. None of those constants can be improved.

math.MG

An analog of polynomially integrable bodies in even-dimensional spaces

A bounded domain $K \subset \mathbb R^n$ is called polynomially integrable if the $(n-1)$-dimensional volume of the intersection $K$ with a hyperplane $Π$ polynomially depends on the distance from $Π$ to the origin. It was proved in [7] that there are no such domains with smooth boundary if $n$ is even, and if $n$ is odd then the only polynomially integrable domains with smooth boundary are ellipsoids. In this article, we modify the notion of polynomial integrability for even $n$ and consider bodies for which the sectional volume function is a polynomial up to a factor which is the square root of a quadratic polynomial, or, equivalently, the Hilbert transform of this function is a polynomial. We prove that ellipsoids in even dimensions are the only convex infinitely smooth bodies satisfying this property.

math.FA

On an equichordal property of a pair of convex bodies

Let $d\ge 2$ and let $K$ and $L$ be two convex bodies in ${\mathbb R^d}$ such that $L\subset \textrm{int}\,K$ and the boundary of $L$ does not contain a segment. If $K$ and $L$ satisfy the $(d+1)$-equichordal property, i.e., for any line $l$ supporting the boundary of $L$ and the points $\{ζ_{\pm}\}$ of the intersection of the boundary of $K$ with $l$, $$ \textrm{dist}^{d+1}(L\cap l, ζ_+)+\textrm{dist}^{d+1}(L\cap l, ζ_-)=2σ^{d+1} $$ holds, where the constant $σ$ is independent of $l$, does it follow that $K$ and $L$ are concentric Euclidean balls? We prove that if $K$ and $L$ have $C^2$-smooth boundaries and $L$ is a body of revolution, then $K$ and $L$ are concentric Euclidean balls.

math.MG

A negative answer to Ulam's Problem 19 from the Scottish Book

We give a negative answer to Ulam's Problem 19 from the Scottish Book asking {\it is a solid of uniform density which will float in water in every position a sphere?} Assuming that the density of water is $1$, we show that there exists a strictly convex body of revolution $K\subset {\mathbb R^3}$ of uniform density $\frac{1}{2}$, which is not a Euclidean ball, yet floats in equilibrium in every orientation. We prove an analogous result in all dimensions $d\ge 3$.

math.CA

On bodies in $\mathbb{R}^5$ with directly congruent projections or sections

Let $K$ and $L$ be two convex bodies in ${\mathbb R^5}$ with countably many diameters, such that their projections onto all $4$ dimensional subspaces containing one fixed diameter are directly congruent. We show that if these projections have no rotational symmetries, and the projections of $K,L$ on certain 3 dimensional subspaces have no symmetries, then $K=\pm L$ up to a translation. We also prove the corresponding result for sections of star bodies.

math.MG

On polytopes with congruent projections or sections

Let $2\le k\le d-1$ and let $P$ and $Q$ be two convex polytopes in ${\mathbb E^d}$. Assume that their projections, $P|H$, $Q|H$, onto every $k$-dimensional subspace $H$, are congruent. In this paper we show that $P$ and $Q$ or $P$ and $-Q$ are translates of each other. We also prove an analogous result for sections by showing that $P=Q$ or $P=-Q$, provided the polytopes contain the origin in their interior and their sections, $P \cap H$, $Q \cap H$, by every $k$-dimensional subspace $H$, are congruent.

math.MG

Fine approximation of convex bodies by polytopes

We prove that for every convex body $K$ with the center of mass at the origin and every $\varepsilon\in \left(0,\frac{1}{2}\right)$, there exists a convex polytope $P$ with at most $e^{O(d)}\varepsilon^{-\frac{d-1}{2}}$ vertices such that $(1-\varepsilon)K\subset P\subset K$.

math.CA

Star bodies with completely symmetric sections

We say that a star body $K$ is completely symmetric if it has centroid at the origin and its symmetry group $G$ forces any ellipsoid whose symmetry group contains $G$, to be a ball. In this short note, we prove that if all central sections of a star body $L$ are completely symmetric, then $L$ has to be a ball. A special case of our result states that if all sections of $L$ are origin symmetric and 1-symmetric, then $L$ has to be a Euclidean ball. This answers a question from \cite{R2}. Our result is a consequence of a general theorem that we establish, stating that if the restrictions in almost all equators of a real function $f$ defined on the sphere, are isotropic functions, then $f$ is constant a.e. In the last section of this note, applications, improvements and related open problems are discussed and two additional open questions from \cite{R} and \cite{R2} are answered.}

math.MG

On bodies with directly congruent projections and sections

Let $K$ and $L$ be two convex bodies in ${\mathbb R^4}$, such that their projections onto all $3$-dimensional subspaces are directly congruent. We prove that if the set of diameters of the bodies satisfy an additional condition and some projections do not have certain symmetries, then $K$ and $L$ coincide up to translation and an orthogonal transformation. We also show that an analogous statement holds for sections of star bodies, and prove the $n$-dimensional versions of these results.

math.MG