Related papers: Formalizing the Classical Isoperimetric Inequality…
Given a simple closed plane curve $\Gamma$ of length $L$ enclosing a compact convex set $K$ of area $F$, Hurwitz found an upper bound for the isoperimetric deficit, namely $L^2-4\pi F\leq \pi |F_{e}|$, where $F_{e}$ is the algebraic area…
The classical isoperimetric inequality in the Euclidean plane $\mathbb{R}^2$ states that for a simple closed curve $M$ of the length $L_{M}$, enclosing a region of the area $A_{M}$, one gets \begin{align*} L_{M}^2\geqslant 4\pi A_{M}.…
An isoperimetric inequality on the Hamming cube for exponents $\beta\ge 0.50057$ is proved, achieving equality on any subcube. This was previously known for $\beta\ge \log_2(3/2)\approx 0.585$. Improved bounds are also obtained at the…
We investigate isoperimetric inequalities for Lipschitz 2-spheres in CAT(0) spaces, proving bounds on the volume of efficient null-homotopies. In one dimension lower, it is known that a quadratic inequality with a constant smaller than…
The subject of these Notes is the new proof, proposed in [F. H{\'e}lein, In{\'e}galit{\'e} isop{\'e}rim{\'e}trique et calibrations, Annales de l'Institut Fourier 44, 4 (1994), 1211-1218] of the classical isoperimetric inequality in the…
We prove stability estimates for the isoperimetric inequalities for the first and the second nonzero Laplace eigenvalues on surfaces, both globally and in a fixed conformal class. We employ the notion of eigenvalues of measures and show…
In this paper, we deals with isoperimetric-type inequalities for closed convex curves in the Euclidean plane R^2. We derive a family of parametric inequalities involving the following geometric functionals associated to a given convex curve…
We review recent results on the study of the isoperimetric problem on Riemannian manifolds with Ricci lower bounds. We focus on the validity of sharp second order differential inequalities satisfied by the isoperimetric profile of possibly…
By using tensor analysis, we find a connection between normed algebras and the parallelizability of the spheres S$^1$, S$^3$ and S$^7.$ In this process, we discovered the analogue of Hurwitz theorem for curved spaces and a geometrical…
It follows from a general theorem of Bonk and Eremenko that closed plane curves which are contractible in the complement to the integral lattice satisfy a linear isoperimetric inequality. We give an alternative proof of this fact. Our…
M. Gromov introduced the Lipschitz order relation on the set of metric measure spaces and developed a rich theory. In particular, he claimed that an isoperimetric inequality on a non-discrete space is represented by using the Lipschitz…
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…
We study the Riemannian quantiative isoperimetric inequality. We show that direct analogue of the Euclidean quantitative isoperimetric inequality is--in general--false on a closed Riemannian manifold. In spite of this, we show that the…
Using Fourier analysis, we derive Wirtinger-type inequalities of arbitrary high order. As applications, we prove various sharp geometric inequalities for closed curves on the Euclidean plane. In particular, we obtain both sharp lower and…
We establish uniformization results for metric spaces that are homeomorphic to the euclidean plane or sphere and have locally finite Hausdorff 2-measure. Applying the geometric definition of quasiconformality, we give a necessary and…
We develop techniques for using compactifications of Hurwitz spaces to study families of rational maps $\mathbb{P}^1\to\mathbb{P}^1$ defined by critical orbit relations. We apply these techniques in two settings: We show that the parameter…
The formalisation of mathematics is continuing rapidly, however combinatorics continues to present challenges to formalisation efforts, such as its reliance on techniques from a wide range of other fields in mathematics. This paper presents…
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 prove the sharp isoperimetric inequality $$ \mathbb{E} \,h_{A}^{\log_{2}(3/2)} \geq \mu(A)^{*} (\log_{2}(1/\mu(A)^{*}))^{\log_{2}(3/2)} $$ for all sets $A \subseteq \{0,1\}^n$, where $\mu$ denotes the uniform probability measure,…
We establish an integral formula on a smooth, precompact domain in a Kahler manifold. We apply this formula to study holomorphic extension of CR functions. Using this formula we prove an isoperimetric inequality in terms of a positive lower…