# Questions tagged [isoperimetry]

The study of shapes with the same perimeter, or surface area. Famously associated with the isoperimetry inequalities and the problem of finding the largest area for a given perimeter.

**0**

votes

**0**answers

48 views

### convergence of a fraction containing Lebesgue measures and perimeters

Sorry for this basic question posted on MO, I as well asked here https://math.stackexchange.com/questions/3063202/convergence-of-a-fraction-containing-lebesgue-measures-and-perimeters
Let $\epsilon&...

**2**

votes

**1**answer

72 views

### convergence and a mean curvature condition imply convexity

I have a question regarding the proof of theorem 4.6 in https://arxiv.org/abs/1007.3899 (Hall's conjecture).
Let $S^2$ be the class of Borel subsets in $\mathbb{R}^2$ with finite and positive ...

**2**

votes

**0**answers

143 views

### A question of Ahlswede and Katona: known lower bounds on $\beta(d,n)$?

Given a set $S\subseteq \{0,1\}^d$ of the Boolean hypercube of dimension $d$, define the average distance of $S$ as
$$
\bar{d}(S) = \frac{1}{\lvert S\rvert^2} \sum_{x,y\in S} d_H(x,y)\tag{1}
$$
where $...

**1**

vote

**1**answer

54 views

### gaussian isoperimetric result for minimal measure under translation

Consider two spherical Gaussian distributions in $\mathbb{R}^n$, $A = \mathcal{N}(x, I)$ and $B=\mathcal{N}(y, I)$ where the difference in means is $\delta = y - x$.
Let $S \subset \mathbb{R}^n$ be a ...

**7**

votes

**0**answers

72 views

### Hölder isoperimetric problem

Denote by $S_r$ the usual circle of radius $r$, with the path metric ($d(x,y) = r\theta$, where $\theta$ is the angle between the vectors $x$ and $y$), and let $\alpha \in (1/2,1)$. Consider the ...

**6**

votes

**0**answers

96 views

### Isoperimetric inequality inside a regular polygon

Let $\mathcal{P}_n$ be a fixed $n$-sided regular polygon with area $A:=\vert \mathcal{P}_n\vert>0$. For any $c\in (0,A)$, I would like to find the shape of the domain $D\subset \mathcal{P}_n$ such ...

**3**

votes

**2**answers

98 views

### area variation of a closed surface under ${\rm SL}(3)$

Let $\Sigma$ a closed oriented embedded surface in $R^3$. When $\Sigma$ is a round sphere, then for any smooth curve $A(t) \in SL(3)$ through the identity (i.e. $A(t) \in R^{3\times 3}$, $\det(A(t))=1$...

**7**

votes

**2**answers

245 views

### Visual proof of convergence for Steiner's symmetrization

I want to find a visual proof of the following fact:
For any convex figure in the plane there is a sequence of Steiner's symmetrizations that makes it arbitrary close to a circular disc.
All ...

**7**

votes

**0**answers

195 views

### Isoperimetric inequality and geometric measure theory

The following version of the isoperimetric inequality can be easily deduced from the Brunn-Minkowski inequality:
Theorem. If $K\subset\mathbb{R}^n$ is compact, then $$ |K|^{\frac{n-1}{n}}\leq n^{-1}...

**2**

votes

**0**answers

53 views

### A uniform version of Minkowski content?

Let $A\subseteq [-1,1]^d$ be a measurable set and $\mu$ be the Lebesgue measure. For any $\delta>0$, define $A_\delta := \{x: d(x,A)\leq \delta\}$, where $d(x,A) := \inf_{y\in A}\|x-y\|_2$.
The ...

**7**

votes

**1**answer

305 views

### An isoperimetric type of inequality in terms of Wasserstein distance/Optimal transport

Let $A \subset \mathbb{R}^n$ be a region having the same volume as an $n$ dimensional ball $B^n_R$ with radius $R$ centring at the origin.
Isoperimetric inequality says:
$ Vol_{n-1} \partial A \geq ...

**4**

votes

**0**answers

41 views

### Lower estimate on length of boundary of 2d Riemannian surface

Fix constants $\kappa\in \mathbb{R}, D>0,A>0$. Does there exist a constant $C>0$ depending on $\kappa, D, A$ only such that for any compact 2-dimensional Riemannian surface (or more generally ...

**8**

votes

**1**answer

225 views

### Isoperimetric inequality on the plane

Let $A$ be a connected compact domain with smooth boundary in the Euclidean 2-plane. Assume its diameter is at most $d$. Assume that the second fundamental form of the boundary is at most $-c$ where $...

**8**

votes

**1**answer

178 views

### Poincare's argument for maximizing the Coulomb energy

For $\Omega\subset \mathbb{R}^3$ a region with $|\Omega| = |B_1|$, let
$$
C(\Omega) = \int_\Omega\int_\Omega \frac{dxdy}{|x-y|}
$$
denote the Coulomb (or gravitational, etc) energy.
Poincaré is ...

**4**

votes

**1**answer

371 views

### An inequality inspired by the isoperimetric inequality

Let us consider the simplest isoperimetric inequality. Consider a smooth simple closed curve given by $r=\rho(\theta)$ in polar coordinates, where $\rho(\theta)>0$ can be regarded as a smooth ...

**3**

votes

**1**answer

131 views

### Work on “Churning Polygons”

Background of this question is that I recently stumbled over the problem of deforming polygons in area-preserving way, i.e. modifying the angles between adjacent edges while preserving edge-lengths, ...

**5**

votes

**1**answer

181 views

### $L^{p}$ isoperimetric inequalities on the Hamming cube

Let $A \subset \{-1,1\}^{n}$ be a subset of the Hamming cube with cardinality $|A|=2^{n-1}$. Define $w_{A} : \{-1,1\}^{n} \to \mathbb{N}\cup \{0\}$ so that $w_{A}(x)$ to be number of boundary edges ...

**30**

votes

**1**answer

1k views

### A long-lasting conjecture of Pólya & Szegő

There is a conjecture by Pólya & Szegő (~1950, stated in p. 159 of their book Isoperimetric Inequalties in Mathematical Physics) which is as follows:
"Of all $n$-gons of a fixed area, the regular ...

**0**

votes

**2**answers

78 views

### Level sets and integral of functions of two variables

Let $f_1,f_2$ be two positive functions on $\Omega_1, \Omega_2 \subset R^2$ with $f_1|_{\partial \Omega_1}=f_2|_{\partial \Omega_2}=0$. For every $\lambda>0$, denote the the area of the domain ...

**7**

votes

**2**answers

329 views

### Closed curve whose neighborhood is as large as possible

Let $C$ be a closed curve in the plane and let $N_\epsilon(C)$ be an $\epsilon$-neighborhood of $C$, like this:
(ignore the fact that the "curve" is polygonal in this picture, I drew it in MATLAB)
...

**6**

votes

**0**answers

154 views

### Convexity of Isoperimetric Domains

I am interested in what is known about the convexity of isoperimetric domains in compact Cartan-Hadamard manifolds (Riemannian manifolds that are complete and simply-connected and have non-positive ...

**11**

votes

**0**answers

251 views

### A variation on the local Günther inequality

This question is about a variation on the Günther (also known as Günther-Bishop) inequality for manifolds of sectional curvature bounded from above. With Greg Kuperberg, we would deduce from it a ...

**8**

votes

**3**answers

267 views

### Set with small internal radius, small perimeter and prescribed area

Given a regular set $E\subset \mathbb R^2$ define
$$
R(E) = \sup\{r\colon \exists x,\ B(x,r)\subseteq E\}
$$
to be the radius of the largest circle contained in $E$ and let $|\partial E|$ be the ...

**5**

votes

**1**answer

242 views

### Panning for gold nuggets: a type of isoperimetric problem

Let $C$ be a unit-radius circle in the plane.
Suppose you have a total length $L$ of string available, and
your task is to connect chords of $C$ using no more
than $L$ of string to minimize the ...

**16**

votes

**2**answers

1k views

### “a shape that … lies halfway between a square and a circle”

An article in the
Notices of the AMS, Volume 61, Issue 10, 2014
(PDF download link),
on Khot's Unique Games Conjecture, says this:
Another group ... found a
shape that in a certain sense lies ...

**5**

votes

**0**answers

145 views

### Optimal planar net for catching convex shapes

Imagine you want to make a net out of string to filter and catch objects of
a certain size, minimizing the length of string employed.
(This actually arises in filtering biological impurities from ...

**3**

votes

**1**answer

132 views

### Are there isomeasure simplices?

Say that two polyhedra in $\mathbb{R}^3$ have isomeasures
(my terminology) if they have:
the same volume,
the same surface area,
the same sum of all edge lengths,
and the same number of vertices.
The ...

**2**

votes

**1**answer

226 views

### Isocapacity inequalities in the theory of Sobolev Spaces

Section 9 of the lectures notes of Maz'ya (Мазья) on isocapacity, lectures notes that can be found at:
http://www.math.liu.se/~vlmaz/pdf/mazya.pdf,
discusses inequality between the $L^p$ norm in a ...

**9**

votes

**1**answer

511 views

### What is the shape of the $n$-gon which gives the maximum of a function?

What is the shape of the $n$-gon $P_1P_2\cdots P_n$ which gives the maximum of $A_n$? The quantity $A_n$ is defined by
$$ A_n = \frac{{\sum_{i\lt{j}\le{n}}{\lvert P_i P_j\rvert}^2}-{\sum_{i=1}^{n}{\...

**3**

votes

**0**answers

466 views

### Least area minimal hypersurface of $\mathbb C P^{n+1}$

After a few lectures on min-max for minimal hypersurfaces and isoperimetric problems, and seeing in several instances that the least area minimal hypersurface of the round sphere is an equator, I was ...

**4**

votes

**2**answers

639 views

### The Isoperimetric problem for domains constrained to lie between two parallel planes

It is well known that for a given volume $V$, a sphere is the shape that minimizes the surface area. I am interested in the same problem under the constraint that the shape must lie between the planes ...

**23**

votes

**3**answers

1k views

### Isoperimetric inequality on a Riemannian sphere

Consider a two-dimensional sphere with a Riemannian metric of total area $4\pi$. Does there exist a subset whose area equals $2\pi$ and whose boundary has length no greater than $2\pi$?
(To avoid ...

**1**

vote

**1**answer

274 views

### Peculiar vertex-isoperimetric inequality on the discrete torus (and generalization)

Consider a discrete even torus $G=(V,E)$, i.e. the graph on $\lbrace 0,1,\dots,n-1 \rbrace^2$, $n$ even, where two vertices are connected by an edge only if they differ by 1 in only one coordinate, ...

**0**

votes

**0**answers

259 views

### Isoperimetric profile

In the paper of Andrews and Bryan Curvature bounds by isoperimetric comparison for normalized Ricci flow on the two-sphere http://arxiv.org/abs/0908.3606, the isoperimetric profile is defined by $h(\...

**5**

votes

**3**answers

274 views

### Perimeter/Neighborhood of a graph on grid

Hello,
I have a $\sqrt{n}\times\sqrt{n}$ lattice graph $G=(V,E)$ i.e. vertices on said 2-dim integer lattice, and two vertices have an edge if their $L_1$ distance is one.
Now I want to claim ...

**3**

votes

**1**answer

137 views

### Can the isoperimetric dimension of a d-generated group attain any value?

Background
The isoperimetric dimension of a finitely generated group $G$, which we denote by $\dim(G)$, is the largest number $d$ such that any Cayley graph $\Gamma$ of $G$ (constructed with respect ...

**9**

votes

**1**answer

504 views

### Isoperimetric inequality in complex hyperbolic space

Let $\mathbb{H}_\mathbb{C}^n$ be n-dimensional complex hyperbolic space.
This space is a complex analog of hyperbolic space. It is isometric to the quotient of hyperboloid
$$|z_0|^2-|z_1|^2-\dots-|...

**1**

vote

**1**answer

356 views

### Hypercube isoperimetric inequality for non-increasing events

It is well known that isoperimetric inequalities on a hypercube are closely related to influences, but all the theorems I'm aware of deal with monotone sets. Now suppose we have an arbitrary set $X \...

**8**

votes

**1**answer

1k views

### Isoperimetry and Poincaré Inequality

What are the known relations between isoperimetric and Poincaré inequalities on manifolds?
For example, for manifolds with a lower bound on Ricci curvature, the Cheeger-Buser inequality relates the ...

**7**

votes

**4**answers

549 views

### Packing and isoperimetrics

Suppose a manufacturer bottles small units of liquid and ships them via very large trucks.
If the transportation cost nothing, spherical bottles would minimize the packaging cost (isoperimetric ...

**1**

vote

**0**answers

176 views

### Bonnesen's inequality for non-simple curves

Given a closed curve in the plane $\mathbb{R}^2$, it is well known that $L^2 \geq 4\pi A$ where $L$ is the length of the curve and $A$ is the area of the interior of the curve.
For a simple closed ...

**4**

votes

**2**answers

1k views

### Isoperimetric inequality in negative sectional curvature

Let $M$ be a complete, non-compact, simply connected Riemannian manifold of dimension $n$ whose sectional curvatures are bounded above by $\kappa<0$. I want to prove that for any open subset $\...

**4**

votes

**1**answer

479 views

### Generalized widths and reverse Urysohn inequalities

This question is inspired by the discussion in MO questions "Local minimum from directional derivatives in the space of convex bodies" and "Bodies of constant width?" about generalized notions of ...

**12**

votes

**1**answer

521 views

### General Isoperimetric Inequality via Representation Theory of SO(n)

Is there a known proof of the $n$-dimensional isoperimetric inequality which generalizes Hurwitz's proof using Fourier analysis in the $2$-dimensional case?
Specifically, I imagine such a proof would ...

**4**

votes

**0**answers

186 views

### An isoperimetric inequality for “order” polytopes

I am looking for an isoperimetric inequality for order-like polytopes.
An order polytope $K\in \mathbb{R}^n$ is defined by a set of linear inequaities:
$$ \forall i \; 0\leq x_i \leq 1 $$
and
$ ...

**7**

votes

**2**answers

588 views

### A hypercube-related graph

For integer $n\ge 3$, consider the graph on the set of all even vertices of the $n$-dimensional hypercube $\{0,1\}^n$ in which two vertices are adjacent whenever they differ in exactly two coordinates....

**14**

votes

**2**answers

775 views

### Isoperimetric-like inequality for non-convex sets

The classical isoperimetric inequality can be stated as follows: if $A$ and $B$ are sets in the plane with the same area, and if $B$ is a disk, then the perimeter of $A$ is larger than the perimeter ...

**14**

votes

**1**answer

842 views

### Optimal 8-vertex isoperimetric polyhedron?

I know from Marcel Berger's
Geometry Revealed:
A Jacob's Ladder to Modern Higher Geometry
(p.531)
that it is not yet established which polyhedron in $\mathbb{R}^3$ on 8 vertices achieves the optimal ...