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

At least 5 years old · documented by

Let G=(V,E)G=(V,E) be a graph, let d≥1d\geq 1, and define fd(G)=d∣V∣−∣E∣f_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 H⊂GH\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 q≠2q\not=2, and d≥1d\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.

References

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.