Mathematics > Metric Geometry
[Submitted on 10 May 2021 (v1), last revised 3 Jun 2022 (this version, v2)]
Title:Globally rigid graphs are fully reconstructible
View PDFAbstract:A $d$-dimensional framework is a pair $(G,p)$, where $G=(V,E)$ is a graph and $p$ is a map from $V$ to $\mathbb{R}^d$. The length of an edge $uv\in E$ in $(G,p)$ is the distance between $p(u)$ and $p(v)$. The framework is said to be globally rigid in $\mathbb{R}^d$ if the graph $G$ and its edge lengths uniquely determine $(G,p)$, up to congruence. A graph $G$ is called globally rigid in $\mathbb{R}^d$ if every $d$-dimensional generic framework $(G,p)$ is globally rigid.
In this paper, we consider the problem of reconstructing a graph from the set of edge lengths arising from a generic framework. Roughly speaking, a graph $G$ is strongly reconstructible in $\mathbb{C}^d$ if the set of (unlabeled) edge lengths of any generic framework $(G,p)$ in $d$-space, along with the number of vertices of $G$, uniquely determine both $G$ and the association between the edges of $G$ and the set of edge lengths. It is known that if $G$ is globally rigid in $\mathbb{R}^d$ on at least $d+2$ vertices, then it is strongly reconstructible in $\mathbb{C}^d$. We strengthen this result and show that under the same conditions, $G$ is in fact fully reconstructible in $\mathbb{C}^d$, which means that the set of edge lengths alone is sufficient to uniquely reconstruct $G$, without any constraint on the number of vertices (although still under the assumption that the edge lengths come from a generic realization).
As a key step in our proof, we also prove that if $G$ is globally rigid in $\mathbb{R}^d$ on at least $d+2$ vertices, then the $d$-dimensional generic rigidity matroid of $G$ is connected. Finally, we provide new families of fully reconstructible graphs and use them to answer some questions regarding unlabeled reconstructibility posed in recent papers.
Submission history
From: Steven Gortler [view email][v1] Mon, 10 May 2021 13:49:24 UTC (37 KB)
[v2] Fri, 3 Jun 2022 20:52:40 UTC (37 KB)
Current browse context:
math.MG
References & Citations
Bibliographic and Citation Tools
Bibliographic Explorer (What is the Explorer?)
Litmaps (What is Litmaps?)
scite Smart Citations (What are Smart Citations?)
Code, Data and Media Associated with this Article
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub (What is DagsHub?)
Gotit.pub (What is GotitPub?)
Papers with Code (What is Papers with Code?)
ScienceCast (What is ScienceCast?)
Demos
Recommenders and Search Tools
Influence Flower (What are Influence Flowers?)
Connected Papers (What is Connected Papers?)
CORE Recommender (What is CORE?)
arXivLabs: experimental projects with community collaborators
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.