The topological two-contact-point conjecture for cheese domains

From papers

Let Ω0\Omega_0 be a compact convex subset of R2\mathbb{R}^2 with non-empty interior. Let Ω1\Omega_1 be a convex open set such that

clΩ1Ω0.\operatorname{cl}\Omega_1 \subset \Omega_0.

Set Ω=Ω0Ω1\Omega=\Omega_0\setminus\Omega_1. For a bounded function f ⁣:fixedΩRf\colon\partial_{\mathrm{fixed}}\Omega\to\mathbb{R}, let BΩ,f\mathfrak{B}_{\Omega,f} and BΩ0,f\mathfrak{B}_{\Omega_0,f} denote the corresponding Bellman functions. The two-contact-point conjecture. There are at least two points x1,x2freeΩx_1,x_2\in\partial_{\mathrm{free}}\Omega such that

BΩ,f(xi)=BΩ0,f(xi),i=1,2.\mathfrak{B}_{\Omega,f}(x_i)=\mathfrak{B}_{\Omega_0,f}(x_i),\qquad i=1,2.

This conjecture is motivated by the topology of a convex domain with a convex hole: optimizing martingales should not be able to turn over the inner boundary. The source presents it as the mechanism behind the extension of the main theorem to such domains; no resolution is supplied.

Progress summary

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

Sources & referencesView supporting material

Primary source

Dmitriy M. Stolyarov and Pavel B. Zatitskiy, “Theory of locally concave functions and its applications to sharp estimates of integral functionals”, arXiv:1412.5350 (2014).

Solutions 0

No solutions have been posted yet.