Metric convex-hull equality for transition attractors

Let (X,d)({\mathbb X},d) be a metric space, and call [x,y]:={zX:d(x,z)+d(z,y)=d(x,y)}[x,y]:=\{z\in{\mathbb X}:d(x,z)+d(z,y)=d(x,y)\} the segment with ends x,yx,y. A set is metrically convex if it contains [x,y][x,y] for every pair of its points, and its metrically convex hull is convdS:=x,yS[x,y]\operatorname{conv}_d S:=\bigcup_{x,y\in S}[x,y]. Let FtF_t be a family of functions that maps metrically convex sets onto metrically convex sets. The metric convex-hull conjecture. The metrically convex hulls of the lower and upper transition attractors coincide:

convdA=convdA.\operatorname{conv}_d A_{\bullet}=\operatorname{conv}_d A^{\bullet}.

This conjecture proposes that the two transition attractors have the same metrically convex closure under the stated invariance assumption. The supplied context does not state any partial results or resolution, so its status remains open.

Sources & referencesView supporting material

Primary source

Krzysztof Leśniak, Nina Snigireva, Filip Strobin and Andrew Vince, “Transition Phenomena for the Attractor of an Iterated Function System”, arXiv:2205.01185 (2022).

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.