Related papers: A monotonicity formula for minimal sets with a sli…

The problem of monotonicity testing over the hypergrid and its special case, the hypercube, is a classic, well-studied, yet unsolved question in property testing. We are given query access to $f:[k]^n \mapsto \R$ (for some ordered range…

We prove that in a Riemannian manifold $M$, each function whose Hessian is proportional the metric tensor yields a weighted monotonicity theorem. Such function appears in the Euclidean space, the round sphere $S^n$ and the hyperbolic space…

We consider minimizers of the one-phase Bernoulli free boundary problem in domains with analytic fixed boundary. In any dimension $d$, we prove that the branching set at the boundary has Hausdorff dimension at most $d-2$. As a consequence,…

In this paper we revisit the proof of the Alt-Caffarelli-Friedman monotonicity formula. Then, in the framework of the Heisenberg group, we discuss the existence of an analogous monotonicity formula introducing a necessary condition for its…

We establish a new monotonicity formula for minimizers of the Mumford-Shah functional in planar domains. Our formula follows the spirit of Bucur-Luckhaus, but works with the David-L\'eger entropy instead of the energy. Interestingly, this…

In the property testing model, the task is to distinguish objects possessing some property from the objects that are far from it. One of such properties is monotonicity, when the objects are functions from one poset to another. This is an…

In monotone classification, the input is a multi-set $P$ of points in $\mathbb{R}^d$, each associated with a hidden label from $\{-1, 1\}$. The goal is to identify a monotone function $h$, which acts as a classifier, mapping from…

It was recently shown that the harmonic measure is absolutely continuous with respect to the Hausdorff measure on a domain with an $n-1$ dimensional uniformly rectifiable boundary, in the presence of now well understood additional…

Under a sign assumption on the Minkowski norm, we prove a monotonicity formula for anisotropic minimal hypersurfaces in Euclidean space.

In this paper we present some bounds of Hausdorff measures of objects definable in o-minimal structures: sets, fibers of maps, inverse images of curves of maps, etc. Moreover, we also give some explicit bounds for semi-algebraic or…

Let $\mu$ be a probability measure on $\mathbb{R}$. We give conditions on the Fourier transform of its density for functionals of the form $H(a)=\int_{\mathbb{R}^n}h(\langle a,x\rangle)\mu^n(dx)$ to be Schur monotone. As applications, we…

In this paper we improve the bounds for the Carath\'eodory number, especially on algebraic varieties and with small gaps (not all monomials are present). We provide explicit lower and upper bounds on algebraic varieties, $\mathbb{R}^n$, and…

We consider the problem of minimising an inhomogeneous anisotropic elliptic functional in a class of closed $m$ dimensional subsets of $\mathbf{R}^n$ which is stable under taking smooth deformations homotopic to the identity and under local…

We prove the existence of similar and multi-similar point configurations (or simplexes) in sets of fractional Hausdorff measure in Euclidean space. These results can be viewed as variants, for thin sets, of theorems for sets of positive…

Let $n\ge2$ and let $\Phi\colon\mathbb{R}^n\to[0,\infty)$ be a positively $1$-homogeneous and convex function. Given two convex bodies $A\subset B$ in $\mathbb{R}^n$, the monotonicity of anisotropic $\Phi$-perimeters holds, i.e.…

We establish upper and lower bounds for the metric entropy and bracketing entropy of the class of $d$-dimensional bounded monotonic functions under $L^p$ norms. It is interesting to see that both the metric entropy and bracketing entropy…

We prove that, for every norm on $\mathbb{R}^d$ and every $E \subseteq \mathbb{R}^d$, the Hausdorff dimension of the distance set of $E$ with respect to that norm is at least $\dim_{\mathrm{H}} E - (d-1)$. An explicit construction follows,…

We show that for a convex function the following, rather modest conditions, are equivalent to monotonicity under local operations and classical communication. The conditions are: 1)invariance under local unitaries, 2) invariance under…

Many special functions are solutions of first order linear systems $y_n'(x)=a_n(x)y_n(x)+d_n(x)y_{n-1}(x)$, $y_{n-1}'(x)=b_n(x)y_{n-1}(x)+e_{n}(x)y_n(x)$. We obtain bounds for the ratios $y_n(x)/y_{n-1}(x)$ and the logarithmic derivatives…

Suppose that $f$ belongs to a suitably defined complete metric space $ {{\cal C}}^{{\alpha}}$ of H\"older $ {\alpha}$-functions defined on $[0,1]$. We are interested in whether one can find large (in the sense of Hausdorff, or lower/upper…