Related papers: Formalizing the Classical Isoperimetric Inequality…

We obtain new sharp isoperimetric inequalities on a Riemannian manifold equipped with a probability measure, whose generalized Ricci curvature is bounded from below (possibly negatively), and generalized dimension and diameter of the convex…

In recent years, it has been shown that some classical inequalities follow from a local stochastic dominance for naturally associated random polytopes. We strengthen planar isoperimetric inequalities by attaching a stochastic model to some…

In this paper, we determine, in the case of the Laplacian on the flat two-dimensional torus (R/Z) 2 , all the eigenvalues having an eigenfunction which satisfies Courant's theorem with equality (Courant-sharp situation). Following the…

We establish a new global endpoint Sobolev inequality for measures that extends the classical theorem of Meyers-Ziemer by placing a maximal function on the right-hand side. This result has several significant consequences. It extends…

We prove a vertex isoperimetric inequality for the $n$-dimensional Hamming ball $\mathcal{B}_n(R)$ of radius $R$. The isoperimetric inequality is sharp up to a constant factor for sets that are comparable to $\mathcal{B}_n(R)$ in size. A…

We prove weighted isoperimetric inequalities for smooth, bounded, and simply connected domains. More precisely, we show that the moment of inertia of inner parallel curves for domains with fixed perimeter attains its maximum for a disk.…

Euler's inequality is a well known inequality relating the inradius and circumradius of a triangle. In Euclidean geometry, this inequality takes the form $R \geq 2r$ where $R$ is the circumradius and $r$ is the inradius. In spherical…

We prove that a plane domain which is almost isoperimetric (with respect to the $L^1$ metric) is close to a square whose sides are parallel to the coordinates axis. Closeness is measured either by $L^\infty$ Haussdorf distance or Fraenkel…

Let $(M^n,g)$ be simply connected, complete, with non-positive sectional curvatures, and $\Sigma$ a 2-dimensional closed integral current (or flat chain mod 2) with compact support in $M$. Let $S$ be an area minimising integral 3-current…

In this paper we obtain an inequality on the unit disc $B$ in the plane, which improves the classical Moser-Trudinger inequality and the classical Hardy inequality at the same time. Namely, there exists a constant $C_0>0$ such that \[…

We describe the space of (all) invariant deformation quantizations on the hyperbolic plane as solutions of the evolution of a second order hyperbolic differential operator. The construction is entirely explicit and relies on non-commutative…

Applications of harmonic analysis on finite groups were recently introduced to measure partition problems, with a variety of equipartition types by convex fundamental domains obtained as the vanishing of prescribed Fourier transforms.…

We present a formal tool for verification of multivariate nonlinear inequalities. Our verification method is based on interval arithmetic with Taylor approximations. Our tool is implemented in the HOL Light proof assistant and it is capable…

We give a new proof of an isoperimetric inequality for a family of closed surfaces, which have Gaussian curvature identically equal to one wherever the surface is smooth. These surfaces are formed from a convex, spherical polygon, with each…

We propose a field theory for the local metric in Stueckelberg--Horwitz--Piron (SHP) general relativity, a framework in which the evolution of classical four-dimensional (4D) worldlines $x^\mu \left( \tau \right)$ ($\mu = 0,1,2,3 $) is…

In this paper we give a proof of an epiperimetric inequality in the setting of the lower dimensional obstacle problem. The inequality was introduced by Weiss (Invent. Math., 138 (1999), no. 1, 23-50) for the classical obstacle problem and…

Motivated by the quest for an analogue of the Gromov-Hausdorff distance in noncommutative geometry which is well-behaved with respect to C*-algebraic structures, we propose a complete metric on the class of Leibniz quantum compact metric…

The dual Gromov-Hausdorff propinquity is a generalization of the Gromov-Hausdorff distance to the class of Leibniz quantum compact metric spaces, designed to be well-behaved with respect to C*-algebraic structures. In this paper, we present…

We present a mechanical proof of the Cauchy-Schwarz inequality in ACL2(r) and a formalisation of the necessary mathematics to undertake such a proof. This includes the formalisation of $\mathbb{R}^n$ as an inner product space. We also…

In this paper, we prove an isoperimetric inequality for the domain of dependence of a finite lightcone in the Minkowski spacetime of dimension greater than or equal to 3. The inequality involves two quantities: the volume of the domain of…