Propeller conjecture

Let m>3m>3, let a1,,am>0a_1,\dots,a_m>0 satisfy i=1mai=1\sum_{i=1}^m a_i=1, and let wRn+1w\in\mathbb{R}^{n+1} be the vector defined in the paper. Set w(i)=w/ai\overline{w}^{(i)}=w/a_i. Consider measurable sets Ω1,,ΩmRn+1\Omega_1,\dots,\Omega_m\subseteq\mathbb{R}^{n+1} covering Rn+1\mathbb{R}^{n+1}, with γn+1(Ωi)=ai\gamma_{n+1}(\Omega_i)=a_i, that maximize

π2i=1mΩi(xw(i))γn+1(x)dx2.\sqrt{\frac{\pi}{2}}\sum_{i=1}^m\left\|\int_{\Omega_i}(x-\overline{w}^{(i)})\gamma_{n+1}(x)\,dx\right\|^2.

Assume m1n+1m-1\le n+1. Propeller Conjecture. The maximizing sets Ω1,,Ωm\Omega_1,\dots,\Omega_m are simplicial cones over a regular simplex. This conjecture is a variant of problems motivated by kernel clustering and generalized Grothendieck inequalities. The source relates it to the small-correlation limit of the standard simplex conjecture, but does not establish the stated general case.

Sources & referencesView supporting material

Primary source

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

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.