Jackson–Tanigawa's rigidity maximality conjecture

From papers

Let nn be sufficiently large for the specified graphs to occur, and let EE be the edge set of the complete graph KnK_n. For a graph family X\mathcal{X}, an X\mathcal{X}-matroid is a matroid on EE in which every graph in X\mathcal{X} is a circuit; valX\operatorname{val}_{\mathcal{X}} denotes the associated upper-bound function on subsets of EE. The dd-rigidity matroid Rnd\mathcal{R}_n^d is the generic dd-rigidity matroid on nn vertices.

Jackson–Tanigawa's rigidity conjecture. For d3d\geq 3 and X={Kd+2,Kd+2,d+2}\mathcal{X}=\{K_{d+2},K_{d+2,d+2}\}, Rnd\mathcal{R}_n^d is the unique maximal X\mathcal{X}-matroid, and valX\operatorname{val}_{\mathcal{X}} is the rank function of Rnd\mathcal{R}_n^d.

The paper presents this as one of Jackson and Tanigawa's proposed maximality descriptions and studies counterexamples to such uniqueness claims. The supplied text gives no resolution status for this rigidity conjecture.

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

Denys Bulavka and Martin Tancer, “Maximal matroids and counterexamples”, arXiv:2606.14663 (2026).

Solutions 0

No solutions have been posted yet.