The sparsity conjecture for graph independence in non-Euclidean p_q^d
The sparsity conjecture for graph independence in non-Euclidean p_q^d
Let be a graph, let , and define . The graph is -sparse if for every subgraph , and -tight if it is -sparse and . A graph is independent in when its associated rigidity matrix has independent rows.
Sparsity conjecture. For with , and , a graph is independent in if and only if is -sparse.
This conjecture would characterize independence, and hence the combinatorial basis for minimal rigidity, in non-Euclidean spaces. The paper presents results supporting the corresponding conjecture that minimal rigidity is equivalent to -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
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.