Finiteness conjecture for symmetric abstract 2-rigidity matroids

From papers

Let nn be a positive integer, let Rn\mathcal{R}_n denote the 22-rigidity matroid on the edge set of the complete graph on [n][n], and let K3,3K_{3,3} be the complete bipartite graph with parts of size three. A matroid on this edge set is symmetric if it is invariant under relabelling the vertices, and it is an abstract 22-rigidity matroid if it has the relevant 22-rigidity rank properties.

Finiteness conjecture. There are only finitely many values of nn for which there exists a symmetric abstract 22-rigidity matroid MnRn\mathcal{M}_n\neq\mathcal{R}_n in which K3,3K_{3,3} is independent.

The conjecture asks whether the exceptional distinction between symmetric 22-rigidity matroids and the standard 22-rigidity matroid can occur for arbitrarily large numbers of vertices. The paper gives an example at n=6n=6 and reports no further examples at n=7n=7, but does not resolve the question in general.

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

Mykhaylo Tyomkyn, “On plane rigidity matroids”, arXiv:2602.11892 (2026).

Solutions 0

No solutions have been posted yet.