Related papers: Directed Isoperimetry and Monotonicity Testing: A …
It was established in [8] that Lipschitz inf-compact functions are uniquely determined by their local slope and critical values. Compactness played a paramount role in this result, ensuring in particular the existence of critical points. We…
We present a formal verification of the classical isoperimetric inequality in the plane using the Lean 4 proof assistant and its mathematical library Mathlib. We follow Adolf Hurwitz's analytic approach to establish the inequality $L^2 \ge…
We develop a dynamical approach to infinite volume directed polymer measures in random environments. We define polymer dynamics in 1+1 dimension as a stochastic gradient flow on polymers pinned at the origin, for energy involving quadratic…
The main goal of this paper is to show how some monotonicity methods related with the subdifferential of suitable convex functions and its extensions as m-accretive operators in Banach spaces lead to new and unexpected results showing, for…
In this paper, we study some functional inequalities (such as Poincar\'e inequalities, logarithmic Sobolev inequalities, generalized Cheeger isoperimetric inequalities, transportation-information inequalities and transportation-entropy…
Quantum f-divergences are a quantum generalization of the classical notion of f-divergences, and are a special case of Petz' quasi-entropies. Many well known distinguishability measures of quantum states are given by, or derived from,…
In this paper we study several inequalities of log-Sobolev type for Dunkl operators. After proving an equivalent of the classical inequality for the usual Dunkl measure $\mu_k$, we also study a number of inequalities for probability…
The identification between the complex plane and the Riemann sphere preserves holomorphic and harmonic functions and is a classical tool. In this paper we consider a similar mapping from an unbounded metric space $X$ to a bounded space and…
We consider a nonparametric Bayesian approach to estimation and testing for a multivariate monotone density. Instead of following the conventional Bayesian route of putting a prior distribution complying with the monotonicity restriction,…
Method-of-lines discretizations are demanding test problems for stiff integration methods. However, for PDE problems with known analytic solution the presence of space discretization errors or the need to use codes to compute reference…
A Boolean function $f:\{0,1\}^n \mapsto \{0,1\}$ is said to be $\eps$-far from monotone if $f$ needs to be modified in at least $\eps$-fraction of the points to make it monotone. We design a randomized tester that is given oracle access to…
We study coercive inequalities on finite dimensional metric spaces with probability measures which do not have volume doubling property. This class of inequalities includes Poincar\'e and Log-Sobolev inequality. Our main result is proof of…
We prove an isoperimetric inequality for probability measures $\mu$ on $\mathbb{R}^n$ with density proportional to $\exp(-\phi(\lambda | x|))$, where $|x|$ is the euclidean norm on $\mathbb{R}^n$ and $\phi$ is a non-decreasing convex…
This paper is concerned with a class of singular stable-like Dirichlet forms on $\R^d$, which are generated by $d$ independent copies of a one-dimensional symmetric $\alpha$-stable process, and whose L\'evy jump kernel measure is…
Following ideas of Caffarelli and Silvestre in~\cite{CS}, and using recent progress in hyperbolic fillings, we define fractional $p$-Laplacians $(-\Delta_p)^\theta$ with $0<\theta<1$ on any compact, doubling metric measure space…
We investigate the relationship between uniform polyconvexity of anisotropic geometric integrands and Almgren's uniform ellipticity. We first establish the converse implication for uniform ellipticity with respect to polyhedral test pairs,…
We provide a simple unified approach to obtain (i) Discrete polygonal isoperimetric type inequalities of arbitrary high order. (ii) Arbitrary high order isoperimetric type inequalities for smooth curves, where both upper and lower bounds…
Inspired by a planar partitioning problem involving multiple improper chambers, this article investigates using classical techniques what can be said of the existence, uniqueness, and regularity of minimizers in a certain free-endpoint…
This paper sheds new light on regularity of multifunctions through various characterizations of directional H\"older /Lipschitz metric regularity, which are based on the concepts of slope and coderivative. By using these characterizations,…
The problem of testing monotonicity of a Boolean function $f:\{0,1\}^n \to \{0,1\}$ has received much attention recently. Denoting the proximity parameter by $\varepsilon$, the best tester is the non-adaptive…