Uniquely realisable graphs in polyhedral normed spaces

Fuente: arXiv
Saved in:
Bibliographic Details
Main Author: Dewar, Sean
Format: Preprint
Published: 2025
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866915224935727104
author Dewar, Sean
author_facet Dewar, Sean
contents A framework (a straight-line embedding of a graph into a normed space allowing edges to cross) is globally rigid if any other framework with the same edge lengths with respect to the chosen norm is an isometric copy. We investigate global rigidity in polyhedral normed spaces: normed spaces where the unit ball is a polytope. We first provide a deterministic algorithm for checking whether or not a framework in a polyhedral normed space is globally rigid. After showing that determining if a framework is globally rigid is NP-Hard, we then provide necessary conditions for global rigidity for generic frameworks. We obtain stronger results for generic frameworks in $\ell_\infty^d$ (the vector space $\mathbb{R}^d$ equipped with the $\ell_\infty$ metric) including an exact characterisation of global rigidity when $d=2$, and an easily-computable sufficient condition for global rigidity using edge colourings. Our 2-dimensional characterisation also has a surprising consequence: Hendrickson's global rigidity condition fails for generic frameworks in $\ell_\infty^2$.
format Preprint
id arxiv_https___arxiv_org_abs_2504_02139
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Uniquely realisable graphs in polyhedral normed spaces
Dewar, Sean
Metric Geometry
Combinatorics
52C25 (Primary) 52A21, 05C10 (Secondary)
A framework (a straight-line embedding of a graph into a normed space allowing edges to cross) is globally rigid if any other framework with the same edge lengths with respect to the chosen norm is an isometric copy. We investigate global rigidity in polyhedral normed spaces: normed spaces where the unit ball is a polytope. We first provide a deterministic algorithm for checking whether or not a framework in a polyhedral normed space is globally rigid. After showing that determining if a framework is globally rigid is NP-Hard, we then provide necessary conditions for global rigidity for generic frameworks. We obtain stronger results for generic frameworks in $\ell_\infty^d$ (the vector space $\mathbb{R}^d$ equipped with the $\ell_\infty$ metric) including an exact characterisation of global rigidity when $d=2$, and an easily-computable sufficient condition for global rigidity using edge colourings. Our 2-dimensional characterisation also has a surprising consequence: Hendrickson's global rigidity condition fails for generic frameworks in $\ell_\infty^2$.
title Uniquely realisable graphs in polyhedral normed spaces
topic Metric Geometry
Combinatorics
52C25 (Primary) 52A21, 05C10 (Secondary)
url https://arxiv.org/abs/2504.02139