Strictness conjecture for connected choice in dimension two versus interval choice

From papers

Let \rm\sffamily CC2_2 be connected choice for non-empty connected closed subsets of [0,1]2[0,1]^2, and let \rm\sffamily C[0,1]_{[0,1]} be closed choice on the unit interval. Weihrauch reducibility is written W\leq_{\mathrm{W}}, with strict reducibility written <W<_{\mathrm{W}}. Dimension-two connected-choice conjecture. Connected choice in dimension two is strictly weaker than closed choice on the unit interval:

\sffamilyCC2<W\sffamilyC[0,1].\text{\rm\sffamily CC}_2<_{\mathrm{W}}\text{\rm\sffamily C}_{[0,1]}.

This is the paper's stated major open problem: whether closed choice on the interval reduces to connected choice in dimension two. The conjecture asserts that it does not, while the reverse reduction is immediate from the definitions.

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

Vasco Brattka, Stéphane Le Roux, Joseph S. Miller and Arno Pauly, “Connected Choice and the Brouwer Fixed Point Theorem”, arXiv:1206.4809 (2018).

Solutions 0

No solutions have been posted yet.