The maximal monotone mapping relative-boundary image conjecture

About 16 years old · traced to

Let F ⁣:Rn⇉RnF\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 x↦rb⁡F(x)x\mapsto \operatorname{rb} F(x) has Lebesgue measure zero, that is, the set

⋃x∈Rnrb⁡F(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.

References

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.