Related papers: Rigidity for measurable sets

For a general radially symmetric, non-increasing, non-negative kernel $h\in L ^ 1 _{loc} ( R ^ d)$, we study the rigidity of measurable sets in $R ^ d$ with constant nonlocal $h$-mean curvature. Under a suitable "improved integrability"…

Given a finite Borel measure $\mu$ on R n and basic semi-algebraic sets $\Omega$\_i $\subset$ R n , i = 1,. .. , p, we provide a systematic numerical scheme to approximate as closely as desired $\mu$(\cup\_i $\Omega$\_i), when all moments…

Early results by Borel and Cantelli and Erd\H{o}s and Chung have provided bounds for the measure of a limsup set in terms of measures of its constituent sets and their intersections. Recent work by Beresnevich and Velani \cite{Velanipaper}…

Given an action of a group $\Gamma$ on a measure space $\Omega$, we provide a sufficient criterion under which two sets $A, B\subseteq \Omega$ are measurably equidecomposable, i.e., $A$ can be partitioned into finitely many measurable…

For continuous maps on a compact manifold M, particularly for those that do not preserve the Lebesgue measure m, we define the observable invariant probability measures as a generalization of the physical measures. We prove that any…

For any continuous map f on a compact manifold M, we define the SRB-like (or observable) probabilities as a generalization of Sinai-Ruelle-Bowen (i.e. physical) measures. We prove that f has observable measures, even if SRB measures do not…

We show that for any ergodic Lebesgue measure preserving transformation $f: [0,1) \rightarrow [0,1)$ and any decreasing sequence $\{b_i\}_{i=1}^{\infty}$ of positive real numbers with divergent sum, the set…

The evoluted set is the set of configurations reached from an initial set via a fixed flow for all times in a fixed interval. We find conditions on the initial set and on the flow ensuring that the evoluted set has negligible boundary (i.e.…

New partial results are obtained related to the following old problem of Erd\"os: for any infinite set $X$ of real numbers to show that there is always a measurable (or, equivalently, closed) subset of reals of positive Lebesgue measure…

We show that for any set $A\subseteq [0,1]^n$ with $\text{Vol}(A)\ge 1/2$ there exists a line $\ell $ such that the one-dimensional Lebesgue measure of $\ell \cap A$ is at least $\Omega ( n^{1/4} )$. The exponent $1/4$ is tight. More…

We prove that if $E \subseteq \mathbb{R}^d$ ($d\geq 2$) is a Lebesgue-measurable set with density larger than $\frac{n-2}{n-1}$, then $E$ contains similar copies of every $n$-point set $P$ at all sufficiently large scales. Moreover,…

Work in the measure algebra of the Lebesgue measure on the Cantor space: for comeager many $[A]$ the set of points $x$ such that the density of $x $ at $A$ is not defined is $\Sigma^{0}_{3}$-complete; for some compact $K$ the set of points…

Let $\Omega$ be a bounded $C^{2}$ domain in $\R^n$, and let $\Omega^{\ast}$ be the Euclidean ball centered at 0 and having the same Lebesgue measure as $\Omega$. Consider the operator $L=-\div(A\nabla)+v\cdot \nabla +V$ on $\Omega$ with…

The concept of a uniform set is introduced for an ergodic, measure-preserving transformation on a non-atomic, infinite Lebesgue space. The uniform sets exist as much as they generate the underlying $\sigma$-algebra. This leads to the result…

Given a relatively compact set $\Omega \subseteq \mathbb{R}$ of Lebesgue measure $|\Omega|$ and $\varepsilon > 0$, we show the existence of a set $\Lambda \subseteq \mathbb{R}$ of uniform density $D (\Lambda) \leq (1+\varepsilon) |\Omega|$…

We show that for any infinite set $A$ in ${\mathbb R}$, there exists a compact set $E \subseteq \mathbb{R}$ of positive Lebesgue measure that does not contain any non-trivial affine copy of $A$. This proves the Erd\"os similarity…

Let $\Omega$ be a smooth, bounded subset of $\mathbb{R}^3$ diffeomorphic to a ball. Consider $M = \mathbb{R}^3 \setminus \Omega$ equipped with an asymptotically flat metric $g = f^4 g_{\text{euc}}$, where $f\to 1$ at infinity. Assume that…

We consider shape functionals of the form $F_q(\Omega)=P(\Omega)T^q(\Omega)$ on the class of open sets of prescribed Lebesgue measure. Here $q>0$ is fixed, $P(\Omega)$ denotes the perimeter of $\Omega$ and $T(\Omega)$ is the torsional…

A classical theorem of Lusin states that all analytic sets are Lebesgue-measurable. In this article we established the reverse mathematical strength of Lusin's theorem, which depends on how precisely it is formalized. By doing so, we answer…

Let $\Omega \subset \mathbb{R}^{n+1}$ be an open set whose boundary may be composed of pieces of different dimensions. Assume that $\Omega$ satisfies the quantitative openness and connectedness, and there exist doubling measures $m$ on…