The obstruction conjecture for C^2 Lusin approximation of convex functions

From papers

Let n2n\geq 2. A convex function is a function whose restriction to every line segment in its domain is convex. Write Bn(0,1)B^n(0,1) for the open unit ball in Rn\mathbb R^n, and let |\cdot| denote Lebesgue measure. Obstruction conjecture. There is a convex function

f:Bn(0,1)Rf:B^n(0,1)\to\mathbb R

and a number m>0m>0 such that, for every convex function gC2(Bn(0,1))g\in C^2(B^n(0,1)),

{fg}m.|\{f\neq g\}|\geq m.

This conjectures that in dimensions at least two, some convex functions cannot be approximated in the Lusin sense by convex C2C^2 functions, complementing the one-dimensional approximation theorem and the known result for locally strongly convex functions. The general question remains open.

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

Paweł Goldstein and Piotr Hajłasz, “C^2-Lusin approximation of convex functions: one variable case”, arXiv:2505.22975 (2025).

Solutions 0

No solutions have been posted yet.