Universal rigidity is the property of a graph framework that its edge lengths determine all pairwise vertex distances even when realizations
in higher dimensions are allowed. More precisely, a
framework with
is universally rigid if every placement
,
, having the same lengths on the edges
has the same distances for all pairs of vertices
(Gortler and Thurston 2014).
A graph is -universally rigid when every generic framework
in
has this property. Generic means that all vertex coordinates
are algebraically independent over
. This is stronger than requiring a single
universally rigid realization.
Gabsdil et al. (2026) prove that 1-universally rigid graphs exist with arbitrarily large girth. They also prove that
is 1-universally rigid with high probability when
for a sufficiently large absolute constant
. The existence theorem for large girth is nonconstructive. Gabsdil et al. (2026) credit
ChatGPT with optimizing the computation giving the random-graph threshold and supplying
a symbolic proof of an auxiliary lemma.