Concentration conjecture for sampling the sphere by mutually orthogonal subspaces

About 10 years old · traced to

Let A⊆Sn−1A\subseteq S^{n-1} be a measurable subset with σn−1(A)≥e−cn\sigma_{n-1}(A)\geq e^{-c\sqrt{n}}. For a subspace H⊆RnH\subseteq\mathbb{R}^n of dimension ⌊n/2⌋\lfloor n/2\rfloor, let H⊥H^{\perp} be its orthogonal complement, and let σH\sigma_H and σH⊥\sigma_{H^{\perp}} denote the Haar probability measures on Sn−1∩HS^{n-1}\cap H and Sn−1∩H⊥S^{n-1}\cap H^{\perp}, respectively. Let PH\mathbb{P}_H denote the orthogonally invariant Haar probability measure on the Grassmannian of such subspaces. Concentration conjecture.

PH(σH(A∩H)σH⊥(A∩H⊥)≥0.9σn−1(A))≥1−Ce−c′n,\mathbb{P}_{H}\left(\sqrt{\sigma_H(A\cap H)\sigma_{H^{\perp}}(A\cap H^{\perp})}\geq 0.9\sigma_{n-1}(A)\right) \geq 1-Ce^{-c'\sqrt{n}},

where C,c,c′>0C,c,c'>0 are universal constants. This conjecture would extend the Klartag–Regev concentration inequality to sets of measure of order e−ne^{-\sqrt n} and is intended to yield an Ω(n)\Omega(\sqrt n) communication lower bound for the classical vector-in-subspace problem. Its resolution status is not established in the supplied text.

References

Primary source

Uri Grupel, “Sampling on the Sphere by Mutually Orthogonal Subspaces”, arXiv:1607.03714 (2017).

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.