Related papers: On the Homothety Conjecture
We show that the Cantor-Schr\"oder-Bernstein Theorem for homotopy types, or $\infty$-groupoids holds in the following form: For any two types, if each one is embedded into the other, then they are equivalent. The argument is developed in…
In this manuscript, we study the inequalities between measures of convex bodies implied by comparison of their projections and sections. Recently, Giannopoulos and Koldobsky proved that if convex bodies $K, L$ satisfy $|K|\theta^{\perp}|…
We prove the following theorem. Let $\mu$ be a measure on $R^n$ with even continuous density, and let $K,L$ be origin-symmetric convex bodies in $R^n$ so that $\mu(K\cap H)\le \mu(L\cap H)$ for any central hyperplane H. Then $\mu(K)\le…
We define new surface area measures for ball-convex bodies which we call $L_p$ relative surface areas. We show that those are rigid motion invariant valuations. We establish inequalities for these quantities and prove a monotonicity…
In this paper we proved the following: \emph{Let $K, L\subset \mathbb R^3$ be two $O$-symmetric convex bodies with $L\subset \emph{int} K$ strictly convex. Suppose that from every $x$ in $\emph{bd} K$ the graze $\Sigma(L,x)$ is a planar…
Complementing our previous results, we give a classification of all isometries (not necessarily surjective) of the metric space consisting of ball-bodies, endowed with the Hausdorff metric. "Ball bodies" are convex bodies which are…
In 1926 S. Nakajima (= A. Matsumura) showed that any convex body in $\R^3$ with constant width, constant brightness, and boundary of class $C^2$ is a ball. We show that the regularity assumption on the boundary is unnecessary, so that balls…
We prove that for any two centrally-symmetric convex shapes $K,L \subset \mathbb{R}^2$, the function $t \mapsto |e^t K \cap L|$ is log-concave. This extends a result of Cordero-Erausquin, Fradelizi and Maurey in the two dimensional case.…
For every hyperplane $H$ supporting a convex body $C$ in the hyperbolic space $\mathbb{H}^d$ we define the width of $C$ determined by $H$ as the distance between $H$ and a most distant ultraparallel hyperplane supporting $C$. We prove that…
Algebraic K-theory is the stable homotopy theory of homotopy theories, and it interacts with algebraic structures accordingly. In particular, we prove the Deligne Conjecture for algebraic K-theory.
Denote by ${\mathcal K}^d$ the family of convex bodies in $E^d$ and by $w(C)$ the minimal width of $C \in {\mathcal K}^d$. We ask for the greatest number $\Lambda_n ({\mathcal K}^d)$ such that every $C \in {\mathcal K}^d$ contains a…
Let $K$ and $K_0$ be convex bodies in $\mathbb{R}^d$, such that $K$ contains the origin, and define the process $(K_n, p_n)$, $n \geq 0$, as follows: let $p_{n+1}$ be a uniform random point in $K_n$, and set $K_{n+1} = K_n \cap (p_{n+1} +…
The paper is devoted to coverings by translative homothets and illuminations of convex bodies. For a given positive number $\alpha$ and a convex body $B$, $g_{\alpha}(B)$ is the infimum of $\alpha$-powers of finitely many homothety…
We use symplectic techniques to obtain partial results on Mahler's conjecture about the product of the volume of a convex body and the volume of its polar. We confirm the conjecture for hyperplane sections or projections of $\ell_p$-balls…
We prove that if $C$ is a symmetric convex body of revolution in $\mathbb R^4$ containing the unit Euclidean ball $\mathbb B_4$, such that the sections of $C$ by hyperplanes tangent to $\mathbb B_4$ have constant area $A>0$, then $C$ is a…
We obtain a sharp characterization of the Euclidean ball among all convex bodies K whose boundary has a pointwise k-th mean curvature not smaller than a geometric constant at almost all normal points. This geometric constant depends only on…
The Brunn-Minkowski Theory has seen several generalizations over the past century. Many of the core ideas have been generalized to measures. With the goal of framing these generalizations as a weighted Brunn-Minkowski theory, we prove the…
For fixed positive integer $n$, $p\in[0,1]$, $a\in(0,1)$, we prove that if a function $g:\mathbb{S}^{n-1}\to \mathbb{R}$ is sufficiently close to 1, in the $C^a$ sense, then there exists a unique convex body $K$ whose $L_p$ curvature…
We show that if $K$ is a compact metrizable space with finitely many accumulation points, then the closed unit ball of $C(K)$ is a plastic metric space, which means that any non-expansive bijection from $B_{C(K)}$ onto itself is in fact an…
The illumination conjecture is a classical open problem in convex and discrete geometry, asserting that every compact convex body~$K$ in $\mathbb R^n$ can be illuminated by a set of no more than $2^n$ points. If $K$ has smooth boundary, it…