Gaussian multi-bubble conjecture

About 8 years old · traced to

Let me3me3, and let a1,…,am>0a_1,\dots,a_m>0 satisfy

∑i=1mai=1.\sum_{i=1}^m a_i=1.

Let Ω1,…,Ωm⊆Rn+1\Omega_1,\dots,\Omega_m\subseteq\mathbb{R}^{n+1} be a minimizing partition for the Gaussian multi-bubble problem: the sets cover Rn+1\mathbb{R}^{n+1}, satisfy γn+1(Ωi)=ai\gamma_{n+1}(\Omega_i)=a_i, and minimize

∑1≤i<j≤m∫(∂Ωi)∩(∂Ωj)γn(x) dx.\sum_{1\le i<j\le m}\int_{(\partial\Omega_i)\cap(\partial\Omega_j)}\gamma_n(x)\,dx.

Assume that m−1≤n+1m-1\le n+1. Let z1,…,zm∈Rn+1z_1,\dots,z_m\in\mathbb{R}^{n+1} be the vertices of a regular simplex centered at the origin. Gaussian Multi-Bubble Conjecture. There exists w∈Rn+1w\in\mathbb{R}^{n+1} such that, for every 1≤i≤m1\le i\le m,

Ωi=w+{x∈Rn+1:⟨x,zi⟩=max⁡1≤j≤m⟨x,zj⟩},\Omega_i=w+\left\{x\in\mathbb{R}^{n+1}:\langle x,z_i\rangle=\max_{1\le j\le m}\langle x,z_j\rangle\right\},

with γn+1(Ωi)=ai\gamma_{n+1}(\Omega_i)=a_i. The conjecture predicts that regular-simplex partitions, translated to realize the prescribed Gaussian volumes, minimize total Gaussian interface area. Its relationship to the standard simplex and plurality-is-stablest conjectures is discussed in the paper; the stated general case is not resolved here.

References

Primary source

Steven Heilman, “Stable Gaussian Minimal Bubbles”, arXiv:1901.03934 (2019).

Additional references

2 papers in this index state this conjecture (2018–2019). The statement above is taken from the most recent of them; the others are arXiv:1805.10203.

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.