The single-interval characterization of d-convex graph-nonedges

From papers

Let d1d\geq 1, let GG be a graph, and let FF be a set of nonedges of GG. For each fFf\in F, write (G(F{f},f))(G\cup(F\setminus\{f\},f)) for the graph-nonedge pair obtained by adding the other nonedges in FF to GG while retaining ff as the distinguished nonedge. The pair (G,F)(G,F) is dd-convex when it satisfies the paper's dd-convexity condition, and a graph-nonedge pair has the dd-SIP when its Cayley configuration space is single interval in dimension dd. The dd-convexity conjecture. For any dimension d1d\geq 1 and any graph GG with nonedge set FF, (G,F)(G,F) is dd-convex if and only if, for every fFf\in F, (G(F{f},f))(G\cup(F\setminus\{f\},f)) has the dd-SIP. This would give an equivalent single-interval characterization of dd-convexity for arbitrary nonedge sets, extending the stated low-dimensional relationship between convexity and the dd-SIP. The claim is presented as a conjecture in the paper, and no resolution is supplied here.

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

William Sims and Meera Sitharam, “Graphs with single interval Cayley configuration spaces in 3-dimensions”, arXiv:2409.14227 (2025).

Solutions 0

No solutions have been posted yet.