# Questions tagged [isoperimetric-problems]

The isoperimetric-problems tag has no usage guidance.

81
questions

**0**

votes

**0**answers

31 views

### Asymptotic optimal sphericity

How quickly does maximum sphericity of polyhedra with $n$ faces approach 1 as $n→∞$? I can show that sphericity $1 - \frac{5 \sqrt{3} π}{27n} - O(n^{-3/2})$ is possible. Is this, especially $O(n^{-3/...

**7**

votes

**1**answer

153 views

### Isoperimetric type inequality in $\mathbb{R}^2$

Fix $L \in (0,\infty)$ and consider $\mathcal{C}_L$ defined as follows:
\begin{align*}
\mathcal{C}_L := \{ \gamma:[0,1] \rightarrow \mathbb{R}^2 |~ \gamma \text{ is smooth and length($\gamma$)$=L$ }\}....

**1**

vote

**0**answers

45 views

### Does it holds that the $L^{\infty}$ norm of the support function of a convex body is minimal on balls with the same volume? [closed]

I was wondering if the following inequality holds.
Let $K$ be a convex body of $\mathbb{R}^n$ and let us denote by $h_K$ its support function, defined as, for $x\in\mathbb{R}^n$
$$ h_K(x)={\max}\{x\...

**4**

votes

**1**answer

124 views

### An Indepth Look at Isoperimetry in the Cayley Graph Generated by All Transpositions

Let $\Omega_n$ denote the symmetric/permutation group on $n$ objects.
Let $T_n \subseteq \Omega_n$ denote the set of transpositions.
Drop the $n$-subscripts.
Define the Cayley graph $G = (\Omega, E)$ ...

**4**

votes

**1**answer

83 views

### Lower-bound for $\underset{p \le \gamma_d(A) \le q}{\inf} \gamma(A^\epsilon)$, where $\gamma_d$ is the standard gaussian distribution on $\mathbb R^d$

Let $\gamma_d = \gamma_1 \otimes \ldots \otimes \gamma_1$ be the standard Gaussian distribution on $\mathbb R^d$, where $d$ is a large positive integer. Given $\epsilon \ge 0$ and a measurable $A \...

**1**

vote

**1**answer

101 views

### Lower-bound on Sobolev norm of function on $(d-1)$-dimensional sphere, whose sign has been fixed at $n$ points

Let $\mathbb S_{d-1} := \{x \in \mathbb R^d \mid x^\top x = 1\}$ be $(d-1)$-dimensional sphere in $\mathbb R^d$ and let $\sigma_d$ be the uniform distribution on $\mathbb S_{d-1}$. Let $x_1,\ldots,x_n$...

**7**

votes

**3**answers

240 views

### When is perimeter continuous under Hausdorff convergence?

It is known that the perimeter is lower semicontinuous for the convergence of sets. Two variants are widely known:
(Golab's theorem) in $\Bbb{R}^2$ if the sets $\Omega_n$ converge to $\Omega$ in the ...

**4**

votes

**0**answers

75 views

### “Isoperimetric inequality” for self intersecting closed surfaces?

As the title suggests, I am trying to find something like an isoperimetric inequality for smooth immersions of the 2-sphere into $\mathbb{R}^3$ that relates the surface area to the enclosed 3d-volume. ...

**1**

vote

**0**answers

45 views

### Perimeter decreases under intersection with half spaces

The main thing i need to prove is the following assertion:
Let $E\subset R^N$ be a set of finite perimeter and $H=\{x\in R^N : x\cdot e < t \}$ for $t\in R$ and $e\in S^{N-1}$.
Then prove that $$ ...

**1**

vote

**0**answers

44 views

### Cheeger constant of truncated hypercube

Look at the $d$-dimensional hypercube and truncate it. This means one replaces each vertex by a cycle (of length $d$) in such a way the the new graph is 3-regular.
Question 1: What is the asymptotic ...

**3**

votes

**1**answer

138 views

### Isoperimetric inequality for analytic functions on an annulus

Let $f$ be an anylytic function on the unid disk $|z|<1$. It is well known that
$$\left (\int_0^{2\pi}f(e^{i\theta})d \theta \right)^2 \geq 4\pi \iint_{|z|<1} |f(r e^{i\theta})|^2r dr d \theta.$...

**3**

votes

**0**answers

59 views

### Minimizing expected mutual distances in spherical regions

Suppose I take the unit sphere in $d$ dimensions, and I take some subset $A$ of the sphere of fixed relative volume $V$. Now from this set $A$ I draw two vectors, uniformly at random, and I look at ...

**10**

votes

**2**answers

658 views

### Is there a volume-preserving diffeomorphism of the disk with prescribed singular values?

This is a cross-post. While working on a variational problem, I have reached to the following question.
Let $0<\sigma_1<\sigma_2$ satisfy $\sigma_1\sigma_2=1$, and let $D \subseteq \mathbb{R}^2$...

**1**

vote

**1**answer

156 views

### Area of a surface confined by a sphere II

[A followup on two related posts:
Area of a surface confined by a sphere
Area of a elliptic surface confined by a sphere
. Thanks to all the inputs so far.]
Let $S$ be a surface enclosed inside the ...

**4**

votes

**1**answer

151 views

### Area of a elliptic surface confined by a sphere

Let $S$ be a surface enclosed inside the unit sphere in $R^3$. If every point of S is elliptic, then must $\operatorname{Area}(S)≤\operatorname{Area}(S^2)$?

**1**

vote

**0**answers

154 views

### Area of a surface confined by a sphere

Let $S$ be a hypersurface enclosed inside the unit sphere in $R^n$. We may assume that every ray $\{t x: t \geq 0 \}$ intersects $S$ at most once.
Under what extra condition is ${\rm Area}(S) \leq {\...

**3**

votes

**2**answers

123 views

### Is the radial projection map area increasing?

Let $S$ be a hypersurface enclosed inside the unit sphere in $R^n$. Assume that every ray $\{t x: t \geq 0 \}$ intersects $S$ at most once.
Is it always true that ${\rm Area}(S) \leq {\rm Area}(P(S))$...

**0**

votes

**1**answer

104 views

### Compute lower bound on $\min_{E} \mathcal N(0,\sigma^2 I_n)(E)$ subject to $vol(E \cap H_n(r)) / vol(H_n(r)) \ge p$ where $H_n(r)$ is $n$-hemisphere

Let $n \ge 2$ be an integer, which may be assumed to be very large. For $r > 0$, consider the hemi-sphere $H_n(r) := S_n(r) \cap (\mathbb R^+ \times \mathbb R^{n-1})$, where
$$
S_n(r):= \{x \in \...

**3**

votes

**0**answers

59 views

### Estimate of volume of a ball on the boundary of Riemannian manifold

Let $M^n$ be a smooth compact Riemannian manifold with geodesically locally convex boundary and sectional curvature at least $-1$. Let $x\in M$ and $\varepsilon\in (0,1)$.
Does there exist a ...

**4**

votes

**0**answers

110 views

### Area lower bound given a mean curvature upper bound?

If $\Sigma$ is a smooth embedded closed hypersurface in $\mathbb R^n$ with (normalized) mean curvature $H\le 1$ (the mean curvature of the unit sphere), then its ($(n-1)$-dimensional) area is at least ...

**4**

votes

**0**answers

46 views

### Isoperimetric profile with obstacle

Fix two open smooth bounded domains $\Omega_-$ and $\Omega_+$ with $\overline{\Omega}_-\subset \Omega_+$ in a complete Riemannian manifold ($\mathbb{R}^n$ is already interesting to me).
I was ...

**3**

votes

**1**answer

178 views

### Isoperimetry on $[0, 1]^n$ w.r.t $\ell_p$ distance, with $p \in [1,\infty]$

Let $A$ be a measurable subset of the metric space $\mathcal X = ([0, 1]^n,\ell_p)$ with $1 \le p \le \infty$, and define its $\varepsilon$-blowup by $A^\varepsilon:=\{x \in \mathcal X \mid \|x-a\|_p \...

**8**

votes

**1**answer

276 views

### An isoperimetric-type inequality inside a cube

I am looking for a reference for the following inequality: if $\Omega \subset [0,1]^d$ satisfies $\mbox{vol}(\Omega) \leq 1/2$, then
$$ \mathcal{H}^{d-1}\left( \partial\Omega \cap (0,1)^d\right) \geq ...

**3**

votes

**0**answers

102 views

### What to do when Euler Lagrange Equation is highly nonlinear ode?

In $\mathbb{R}^3$, suppose there is a curve on X-Y plane $y(x)$ defined on $x\in [-a,a]$ satisfying:
$y(x)\geqslant 0$;
$y(-a)=y(a)=0.$
Rotate $y(x)$ along x-axis in $\mathbb{R}^3$ and get a solid ...

**3**

votes

**2**answers

251 views

### What happens to the Gaussian volume of a Borel set when it is translated?

Let $\gamma_n$ be the standard Gaussian measure on $\mathbb R^n$, $A \subseteq \mathbb R^n$ be Borel and $c \in \mathbb R^n$. Define the translate $A_c := c + A := \{c+a \mid a \in A\} = \{x \in \...

**1**

vote

**0**answers

74 views

### Gaussian isoperimetry for $\ell_p$ norms

Let $\gamma_n$ be the standard Gaussian measure on $\mathbb R^n$. It is well-known (e.g see Proposition 1) that for a given Gaussian volume content, half-spaces $H=\{x \in \mathbb R^n | a^Tx \le b\}$ ...

**1**

vote

**1**answer

102 views

### An asymptotic version of the Isoperimetric inequality

Let $U$ be a simply connected bounded open set in $\mathbb{R}^2$. The area of $U$ is denoted by $A$.
(We do not assume any thing about its boundary).
Assume that $\gamma_n$,s are smooth simple ...

**2**

votes

**0**answers

45 views

### Lower bound to $\epsilon$-expansion of a subset of a half-sphere

Below are two known lemmas on a $d$-dimensional sphere (related to the isoperimetric inequality). I would like to know: does a similar statement like this holds for a $d$-dimensional dome also (i.e. ...

**6**

votes

**2**answers

319 views

### Graph which do not satisfy a pseudo-Poincaré inequality

Say that an infinite (connected) graph (with vertices of bounded degree) satisfies a $\ell_1$-pseudo-Poincaré inequality if there is a constant $C>0$ so that for any $n \in \mathbb{N}$ for any ...

**10**

votes

**1**answer

349 views

### Isoperimetric inequality for closed curves in $\mathbb{R}^n$

A well known isoperimetric inequality for closed curves in $\mathbb{R}^2$ can be generalized to closed curves in $\mathbb{R}^{2n}$, see: https://mathoverflow.net/a/321505/121665.
I have two questions:...

**1**

vote

**1**answer

135 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 ...

**3**

votes

**1**answer

310 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

81 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 ...

**8**

votes

**0**answers

95 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

132 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

107 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

342 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 ...

**14**

votes

**0**answers

422 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

61 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

365 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

43 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

239 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

207 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 ...

**5**

votes

**1**answer

465 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

140 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

245 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 ...

**2**

votes

**1**answer

1k views

### Shannon's proof of the entropy power inequality

In Shannon's paper on information theory, found here, he asserts the entropy power inequality in appendix 6, found on page 52. I was reading his proof and it seems like there is a gap. Through his ...

**31**

votes

**1**answer

2k 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

83 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

344 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)
...