Positive Semidefinite Matrix Completion, Universal Rigidity and the Strong Arnold Property

TL;DR

This paper explores the connections between positive semidefinite matrix completion, universal rigidity, and the Strong Arnold Property, providing new conditions, proofs, and characterizations using semidefinite programming.

Contribution

It offers a sufficient condition for unique psd matrix completion, an elementary proof of universal rigidity criteria, and a geometric characterization of matrices satisfying SAP.

Findings

Established a sufficient condition for unique psd matrix completion.

Provided an elementary proof of Connelly's universal rigidity condition.

Linked the Strong Arnold Property to nondegeneracy in semidefinite programs.

Abstract

This paper addresses the following three topics: positive semidefinite (psd) matrix completions, universal rigidity of frameworks, and the Strong Arnold Property (SAP). We show some strong connections among these topics, using semidefinite programming as unifying theme. Our main contribution is a sufficient condition for constructing partial psd matrices which admit a unique completion to a full psd matrix. Such partial matrices are an essential tool in the study of the Gram dimension $\gd(G)$ of a graph $G$, a recently studied graph parameter related to the low psd matrix completion problem. Additionally, we derive an elementary proof of Connelly's sufficient condition for universal rigidity of tensegrity frameworks and we investigate the links between these two sufficient conditions. We also give a geometric characterization of psd matrices satisfying the Strong Arnold Property in terms of nondegeneracy of an associated semidefinite program, which we use to establish some links between the Gram dimension $\gd(\cdot)$ and the Colin de Verdi\`ere type graph parameter $\nu^=(\cdot)$.