Questions tagged [isoperimetric-problems]

Filter by
Sorted by
Tagged with
1
vote
0answers
26 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
1answer
132 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
0answers
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
1answer
489 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
1answer
153 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
1answer
150 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
0answers
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
2answers
116 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
1answer
103 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
0answers
58 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
0answers
105 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 ...
3
votes
0answers
39 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 ...
2
votes
1answer
162 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
1answer
253 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
0answers
91 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
2answers
235 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
0answers
71 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
1answer
100 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
0answers
34 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
2answers
290 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
1answer
330 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
1answer
122 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
1answer
296 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
1answer
77 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
0answers
86 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
0answers
125 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
2answers
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
2answers
297 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
0answers
382 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
0answers
60 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
1answer
333 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
0answers
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
1answer
237 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
1answer
203 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
1answer
429 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
1answer
136 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
1answer
226 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
1answer
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
1answer
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
2answers
82 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
2answers
335 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
1answer
216 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
0answers
285 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
3answers
274 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
1answer
258 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 ...
20
votes
2answers
2k 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
0answers
157 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
1answer
136 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
1answer
230 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
1answer
518 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}{\...