The ring-domain automatic concavity conjecture

Let S1={yR2y12+y22=1}S^1=\{y\in\mathbb{R}^2\mid y_1^2+y_2^2=1\}, and let Bδ[f]\mathfrak{B}^\circ_\delta[f] and Bδ,[f]\mathfrak{B}^{\circ,*}_\delta[f] denote, respectively, the minimal locally concave and subtangentially locally concave functions on the ring

{yR21δy12+y221},\{y\in\mathbb{R}^2\mid 1-\delta\leqslant y_1^2+y_2^2\leqslant 1\},

with boundary data f ⁣:S1Rf\colon S^1\to\mathbb{R}. Ring-domain automatic concavity conjecture. If f ⁣:S1Rf\colon S^1\to\mathbb{R} is continuous, then

Bδ[f]=Bδ,[f]\mathfrak{B}^\circ_\delta[f]=\mathfrak{B}^{\circ,*}_\delta[f]

for every δ>0\delta>0. This would extend the automatic concavity phenomenon from the standard domain to the annular setting, which is not covered by the available theory for differences of unbounded convex sets. The source gives no resolution.

Sources & referencesView supporting material

Primary source

Dmitriy Stolyarov, Vasily Vasyunin and Pavel Zatitskii, “Martingale transforms of bounded random variables and indicator functions of events”, arXiv:2310.02362 (2023).

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.