Related papers: Rigidity for measurable sets

We show that every invertible strong mixing transformation on a Lebesgue space has strictly over-recurrent sets. Also, we give an explicit procedure for constructing strong mixing transformations with no under-recurrent sets. This answers…

This paper shows how the Lebesgue integral can be obtained as a Riemann sum and provides an extension of the Morse Covering Theorem to open sets. Let $X$ be a finite dimensional normed space; let $\mu$ be a Radon measure on $X$ and let…

We prove that, if $\Omega\subset \mathbb{R}^n$ is an open bounded starshaped domain of class $C^2$, the constancy over $\partial \Omega$ of the function $$\varphi(y) = \int_0^{\lambda(y)} \prod_{j=1}^{n-1}[1-t \kappa_j(y)]\, dt$$ implies…

Suppose $a_n$ is a real, nonnegative sequence that does not increase exponentially. For any $p<1$ we contruct a Lebesgue measurable set $E \subseteq \mathbb{R}$ which has measure at least $p$ in any unit interval and which contains no…

Suppose $E, F$ are Borel sets in the plane, $\dim_{\mathcal{H}} E>1$, $\dim_{\mathcal{H}} E+\dim_{\mathcal{H}} F>2$, and $F$ has equal Hausdorff and packing dimension. We prove that there exists $y\in F$ such that the pinned distance set…

We consider the space $C_{\lambda}$ of all continuous interval maps preserving the Lebesgue measure $\lambda$. A continuous function $f\colon~[0,1]\to \mathbb R$ is called Besicovitch if it does not have any finite or infinite unilateral…

We study a wide class of metrics in a Lebesgue space with a standard measure, the class of so-called admissible metrics. We consider the cone of admissible metrics, introduce a special norm in it, prove compactness criteria, define the…

We provide a sharp lower bound for the perimeter of the inner parallel sets of a convex body $\Omega$. The bound depends only on the perimeter and inradius $r$ of the original body and states that \[|\partial\Omega_t| \geq…

We give conditions that characterize the existence of an absolutely continuous invariant probability measure for a degree one $C^2$ endomorphism of the circle which is bimodal, such that all its periodic orbits are repelling, and such that…

We consider families of transformations in multidimensional Riemannian manifolds with non-uniformly expanding behavior. We give sufficient conditions for the continuous variation (in the $L^1$-norm) of the densities of absolutely continuous…

Let $\Omega \subseteq {\bf R}^d$ be an open set of measure 1. An open set $D \subseteq {\bf R}^d$ is called a ``tight orthogonal packing region'' for $\Omega$ if $D-D$ does not intersect the zeros of the Fourier Transform of the indicator…

We prove two rigidity results for a variational infinity ground state $u$ of an open bounded convex domain $\Omega \subset \mathbb{R}^n$. They state that $u$ coincides with a multiple of the distance from the boundary of $\Omega$ if either…

Alexandrov's estimate states that if $\Omega$ is a bounded open convex domain in ${\mathbb R}^n$ and $u:\bar \Omega\to {\mathbb R}$ is a convex solution of the Monge-Ampere equation $\det D^2 u = f$ that vanishes on $\partial \Omega$, then…

We describe the isometry group of $L^2(\Omega, M)$ for Riemannian manifolds $M$ of dimension at least two with irreducible universal cover. We establish a rigidity result for the isometries of these spaces: any isometry arises from an…

We present a necessary and sufficient condition for the reachable set, i.e., the set of states reachable from a ball of initial states at some time, of an ordinary differential equation to be convex. In particular, convexity is guaranteed…

A generalization of the classical Sard theorem in the plane is the following. Let $f$ be a function defined on a subset $A\subset{\mathbb R}^2$. If $f$ has modulus of continuity $\omega(r)\lesssim r^2$, then $f(A)\subset{\mathbb R}$ has…

We prove that if all shifts of a measure in the Euclidean space are close in a sense to each other, then this measure is close to the Lebesgue one.

A circle domain $\Omega$ in the Riemann sphere is conformally rigid if every conformal map of $\Omega$ onto another circle domain is the restriction of a M\"{o}bius transformation. We show that two rigidity conjectures of He and Schramm are…

We prove that if the density of the cone-volume measure of a smooth, strictly convex body with respect to the spherical Lebesgue measure is nearly constant, then a homothetic copy of the body is close to the unit ball in the $L^2$-distance.

A \emph{chain} in the unit $n$-cube is a set $C\subset [0,1]^n$ such that for every $\mathbf{x}=(x_1,\ldots,x_n)$ and $\mathbf{y}=(y_1,\ldots,y_n)$ in $C$ we either have $x_i\le y_i$ for all $i\in [n]$, or $x_i\ge y_i$ for all $i\in [n]$.…