The sparsity conjecture for graph independence in non-Euclidean p_q^d

Let G=(V,E)G=(V,E) be a graph, let d1d\geq 1, and define fd(G)=dVEf_d(G)=d|V|-|E|. The graph GG is (d,d)(d,d)-sparse if fd(H)df_d(H)\geq d for every subgraph HGH\subset G, and (d,d)(d,d)-tight if it is (d,d)(d,d)-sparse and fd(G)=df_d(G)=d. A graph is independent in qd\ell_q^d when its associated rigidity matrix has independent rows.

Sparsity conjecture. For q(1,)q\in(1,\infty) with q2q\not=2, and d1d\geq 1, a graph GG is independent in qd\ell_q^d if and only if GG is (d,d)(d,d)-sparse.

This conjecture would characterize independence, and hence the combinatorial basis for minimal rigidity, in non-Euclidean qd\ell_q^d spaces. The paper presents results supporting the corresponding conjecture that minimal rigidity is equivalent to (d,d)(d,d)-tightness, but no resolution is supplied here.

Sources & referencesView supporting material

Primary source

Sean Dewar, Derek Kitson and Anthony Nixon, “Which graphs are rigid in _p^d?”, arXiv:2007.15978 (2024).

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.