We obtain a polynomial upper bound on the mixing time $T_{CHR}(\epsilon)$ of the coordinate Hit-and-Run (CHR) random walk on an $n-$ dimensional convex body, where $T_{CHR}(\epsilon)$ is the number of steps needed to reach within $\epsilon$ of the uniform distribution with respect to the total variation distance, starting from a warm start (i.e., a distribution which has a density with respect to the uniform distribution on the convex body that is bounded above by a constant). Our upper bound is polynomial in n, R and $\frac{1}{\epsilon}$ , where we assume that the convex body contains the unit $\Vert\cdot\Vert_\infty$ -unit ball $B_\infty$ and is contained in its R-dilation $R\cdot B_\infty$ . Whether CHR has a polynomial mixing time has been an open question.

We prove a reverse Faber–Krahn inequality for the Cheeger constant, stating that every convex body in ℝ2 has an affine image such that the product between its Cheeger constant and the square root of its area is not larger than the same quantity for the regular triangle. An analogous result holds for centrally symmetric convex bodies with the regular triangle replaced by the square. We also prove a Mahler-type inequality for the Cheeger constant, stating that every axisymmetric convex body in ℝ2 has a linear image such that the product between its Cheeger constant and the Cheeger constant of its polar body is not larger than the same quantity for the square.

Let K ⊂ ℝN be any convex body containing the origin. A measurable set G ⊂ ℝN with finite and positive Lebesgue measure is said to be K-dense if, for any fixed r > 0, the measure of G ⋂ (x + rK) is constant when x varies on the boundary of G (here, x + rK denotes a translation of a dilation of K). In a previous work, we proved for the case N = 2 that if G is K-dense, then both G and K must be homothetic to the same ellipse. Here, we completely characterize K-dense sets in ℝN: if G is K-dense, then both G and K must be homothetic to the same ellipsoid. Our proof, which builds upon results obtained in our previous work, relies on an asymptotic formula for the measure of G ⋂ (x + rK) for large values of the parameter r and a classical characterization of ellipsoids due to Petty.

One of the fundamental results in convex geometry is Busemann's theorem, which states that the intersection body of a symmetric convex body is convex. Thus, it is only natural to ask if there is a quantitative version of Busemann's theorem, i.e., if the intersection body operation actually improves convexity. In this paper we concentrate on the symmetric bodies of revolution to provide several results on the (strict) improvement of convexity under the intersection body operation. It is shown that the intersection body of a symmetric convex body of revolution has the same asymptotic behavior near the equator as the Euclidean ball. We apply this result to show that in sufficiently high dimension the double intersection body of a symmetric convex body of revolution is very close to an ellipsoid in the Banach–Mazur distance. We also prove results on the local convexity at the equator of intersection bodies in the class of star bodies of revolution.

We review recent stability and separation results in volume comparison problems and usethem to prove several hyperplane inequalities for intersection and projection bodies.

Motivated by a long-standing conjecture of Pólya and Szegö about the Newtonian capacityof convex bodies, we discuss the role of concavity inequalities in shape optimization, andwe provide several counterexamples to the Blaschke-concavity of variational functionals,including capacity. We then introduce a new algebraic structure on convex bodies, whichallows to obtain global concavity and indecomposability results, and we discuss theirapplication to isoperimetric-like inequalities. As a byproduct of this approach we alsoobtain a quantitative version of the Kneser-Süss inequality. Finally, for a large class offunctionals involving Dirichlet energies and the surface measure, we perform a localanalysis of strictly convex portions of the boundary via second ordershape derivatives. This allows in particular to exclude the presence of smooth regionswith positive Gauss curvature in an optimal shape for Pólya-Szegö problem.

We shall prove the following shaken Rogers's theorem for homothetic sections: Let $K$ and $L$ be strictly convex bodies and suppose that for every plane $H$ through the origin we can choose continuously sections of $K$ and $L$, parallel to $H$, which are directly homothetic. Then $K$ and $L$ are directly homothetic.

The Christoffel problem, in its classical formulation, asks for a characterization of real functions defined on the unit sphere $S^{n-1}\subset\mathbb{R}^n$ which occur as the mean curvature radius, expressed in terms of the Gauss unit normal, of a closed convex hypersurface, i.e. the boundary of a convex body in $\mathbb{R}^n$. In this work we consider the related problem in Lorentz space $\mathbb{L}^n$ and present necessary and sufficient conditions for a $C^1$ function defined in the hyperbolic space $H^{n-1}\subset\mathbb{L}^n$ to be the mean curvature radius of a spacelike embedding $\bm{M}\hookrightarrow\mathbb{L}^n$.

Building on the work of Davenport and Schmidt, we mainly prove two results. The first one is a version of Gel'fond's transcendence criterion which provides a sufficient condition for a complex or p-adic number $\xi$ to be algebraic in terms of the existence of polynomials of bounded degree taking small values at $\xi$ together with most of their derivatives. The second one, which follows from this criterion by an argument of duality, is a result of simultaneous approximation by conjugate algebraic integers for a fixed number $\xi$ that is either transcendental or algebraic of sufficiently large degree. We also present several constructions showing that these results are essentially optimal.

Let K and L be convex bodies in where L can roll freely in K. Suppose that Borel sets are painted in the boundaries of K and L. The probability that after a random rolling of L in K the contact is paint-to-paint is determined and expressed by curvature measures of K and L.