The maximal monotone mapping relative-boundary image conjecture

Let F ⁣:RnRnF\colon\mathbb{R}^n\rightrightarrows\mathbb{R}^n be a maximal monotone mapping. Then the maximal monotone mapping relative-boundary image conjecture. The image of the map xrbF(x)x\mapsto \operatorname{rb} F(x) has Lebesgue measure zero, that is, the set

xRnrbF(x)\bigcup_{x\in\mathbb{R}^n} \operatorname{rb} F(x)

is Lebesgue null.

For maximal cyclically monotone mappings, the analogous statement follows from the corresponding result for closed proper convex functions, while the conjecture concerns arbitrary maximal monotone mappings.

Sources & referencesView supporting material

Primary source

Dmitriy Drusvyatskiy and Adrian S. Lewis, “Generic nondegeneracy in convex optimization”, arXiv:1005.1082 (2010).

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.