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

At least 1 year old · documented by

Let d≥1d\geq 1, let GG be a graph, and let FF be a set of nonedges of GG. For each f∈Ff\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 d≥1d\geq 1 and any graph GG with nonedge set FF, (G,F)(G,F) is dd-convex if and only if, for every f∈Ff\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.

References

Primary source

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

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.