The bipartite rigidity conjecture for complete graphs

Consider the complete bipartite graph Km,nK_{m,n} and a realization (A,B)R(A,B)\in R of Km,nK_{m,n} in Rd\mathbb{R}^d, where AA and BB are the two point classes. Let K(A,B)K(A,B) denote the corresponding framework.

Bipartite rigidity conjecture. The framework K(A,B)K(A,B) is rigid in Rd\mathbb{R}^d, unless either the points in AA or the points in BB are contained in a hyperplane in Rd\mathbb{R}^d.

This is presented as a step toward the distinct-distances conjecture and as an extension of a result of Bolker and Roth. The source does not provide a resolution, so the conjecture remains open.

Sources & referencesView supporting material

Primary source

Hadas Baer-Erenfeld and Orit E. Raz, “Distinct distances for points lying on curves in R^d – the bipartite case”, arXiv:2304.06812 (2023).

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.