-
The Stress-Flex Conjecture
Authors:
Robert Connelly,
Steven J. Gortler,
Louis Theran,
Martin Winter
Abstract:
Recently, it has been proven that a tensegrity framework that arises from coning the one-skeleton of a convex polytope is rigid. Since such frameworks are not always infinitesimally rigid, this leaves open the question as to whether they are at least prestress stable. We prove here that this holds subject to an intriguing new conjecture about coned polytope frameworks, that we call the stress-flex…
▽ More
Recently, it has been proven that a tensegrity framework that arises from coning the one-skeleton of a convex polytope is rigid. Since such frameworks are not always infinitesimally rigid, this leaves open the question as to whether they are at least prestress stable. We prove here that this holds subject to an intriguing new conjecture about coned polytope frameworks, that we call the stress-flex conjecture. Multiple numerical experiments suggest that this conjecture is true, and most surprisingly, seems to hold even beyond convexity and also for higher genus~polytopes.
△ Less
Submitted 23 April, 2024;
originally announced April 2024.
-
Proving the Existence of a GOR Without Probability
Authors:
Steven J. Gortler,
Louis Theran
Abstract:
In this note, we provide a new proof that a $D$-connected graph $G$ on $n$ vertices has a general position orthogonal representation in $\RR^{n-D}$. Our argument, while based on many of the concepts from the original proof due to Lovász, Saks and Schrijver, does not use the probabilistic method.
In this note, we provide a new proof that a $D$-connected graph $G$ on $n$ vertices has a general position orthogonal representation in $\RR^{n-D}$. Our argument, while based on many of the concepts from the original proof due to Lovász, Saks and Schrijver, does not use the probabilistic method.
△ Less
Submitted 17 October, 2023;
originally announced October 2023.
-
General position stresses
Authors:
Robert Connelly,
Steven J. Gortler,
Louis Theran
Abstract:
Let $G$ be a graph with $n$ vertices, and $d$ be a target dimension. In this paper we study the set of rank $n-d-1$ matrices that are equilibrium stress matrices for at least one (unspecified) $d$-dimensional framework of $G$ in general position. In particular, we show that this set is algebraically irreducible. Likewise, we show that the set of frameworks with such equilibrium stress matrices is…
▽ More
Let $G$ be a graph with $n$ vertices, and $d$ be a target dimension. In this paper we study the set of rank $n-d-1$ matrices that are equilibrium stress matrices for at least one (unspecified) $d$-dimensional framework of $G$ in general position. In particular, we show that this set is algebraically irreducible. Likewise, we show that the set of frameworks with such equilibrium stress matrices is irreducible. As an application, this leads to a new and direct proof that every generically globally rigid graph has a generic framework that is universally rigid.
△ Less
Submitted 21 May, 2023;
originally announced May 2023.
-
Maximum likelihood thresholds of generic linear concentration models
Authors:
Daniel Irving Bernstein,
Steven J. Gortler,
Louis Theran
Abstract:
The maximum likelihood threshold of a statistical model is the minimum number of datapoints required to fit the model via maximum likelihood estimation. In this paper we determine the maximum likelihood thresholds of generic linear concentration models. This turns out to be the number one would expect from a naive dimension count, which is surprising and nontrivial to prove given that the maximum…
▽ More
The maximum likelihood threshold of a statistical model is the minimum number of datapoints required to fit the model via maximum likelihood estimation. In this paper we determine the maximum likelihood thresholds of generic linear concentration models. This turns out to be the number one would expect from a naive dimension count, which is surprising and nontrivial to prove given that the maximum likelihood threshold is a semi-algebraic concept. We also describe geometrically how a linear concentration model can fail to exhibit this generic behavior and briefly discuss connections to rigidity theory.
△ Less
Submitted 10 May, 2023;
originally announced May 2023.
-
Computing maximum likelihood thresholds using graph rigidity
Authors:
Daniel Irving Bernstein,
Sean Dewar,
Steven J. Gortler,
Anthony Nixon,
Meera Sitharam,
Louis Theran
Abstract:
The maximum likelihood threshold (MLT) of a graph $G$ is the minimum number of samples to almost surely guarantee existence of the maximum likelihood estimate in the corresponding Gaussian graphical model. Recently a new characterization of the MLT in terms of rigidity-theoretic properties of $G$ was proved \cite{Betal}. This characterization was then used to give new combinatorial lower bounds on…
▽ More
The maximum likelihood threshold (MLT) of a graph $G$ is the minimum number of samples to almost surely guarantee existence of the maximum likelihood estimate in the corresponding Gaussian graphical model. Recently a new characterization of the MLT in terms of rigidity-theoretic properties of $G$ was proved \cite{Betal}. This characterization was then used to give new combinatorial lower bounds on the MLT of any graph. We continue this line of research by exploiting combinatorial rigidity results to compute the MLT precisely for several families of graphs. These include graphs with at most $9$ vertices, graphs with at most 24 edges, every graph sufficiently close to a complete graph and graphs with bounded degrees.
△ Less
Submitted 20 October, 2022;
originally announced October 2022.
-
Universal Rigidity of Ladders on the line
Authors:
Bryan Chen,
Robert Connelly,
Steven J. Gortler,
Anthony Nixon,
Louis Theran
Abstract:
In "Universal rigidity on the line, point orde" it is shown, answering a question of Jordán and Nguyen, that universal rigidity of a generic bar-joint framework in R^1 depends on more than the ordering of the vertices. The graph G that was used in that paper is a ladder with three rungs. Here we provide a general answer when that ladder with three rungs in the line is universally rigid and when it…
▽ More
In "Universal rigidity on the line, point orde" it is shown, answering a question of Jordán and Nguyen, that universal rigidity of a generic bar-joint framework in R^1 depends on more than the ordering of the vertices. The graph G that was used in that paper is a ladder with three rungs. Here we provide a general answer when that ladder with three rungs in the line is universally rigid and when it is not.
△ Less
Submitted 18 July, 2022;
originally announced July 2022.
-
Low Dimensional Invariant Embeddings for Universal Geometric Learning
Authors:
Nadav Dym,
Steven J. Gortler
Abstract:
This paper studies separating invariants: mappings on $D$ dimensional domains which are invariant to an appropriate group action, and which separate orbits. The motivation for this study comes from the usefulness of separating invariants in proving universality of equivariant neural network architectures.
We observe that in several cases the cardinality of separating invariants proposed in the m…
▽ More
This paper studies separating invariants: mappings on $D$ dimensional domains which are invariant to an appropriate group action, and which separate orbits. The motivation for this study comes from the usefulness of separating invariants in proving universality of equivariant neural network architectures.
We observe that in several cases the cardinality of separating invariants proposed in the machine learning literature is much larger than the dimension $D$. As a result, the theoretical universal constructions based on these separating invariants is unrealistically large. Our goal in this paper is to resolve this issue.
We show that when a continuous family of semi-algebraic separating invariants is available, separation can be obtained by randomly selecting $2D+1 $ of these invariants. We apply this methodology to obtain an efficient scheme for computing separating invariants for several classical group actions which have been studied in the invariant learning literature. Examples include matrix multiplication actions on point clouds by permutations, rotations, and various other linear groups.
Often the requirement of invariant separation is relaxed and only generic separation is required. In this case, we show that only $D+1$ invariants are required. More importantly, generic invariants are often significantly easier to compute, as we illustrate by discussing generic and full separation for weighted graphs. Finally we outline an approach for proving that separating invariants can be constructed also when the random parameters have finite precision.
△ Less
Submitted 21 November, 2023; v1 submitted 5 May, 2022;
originally announced May 2022.
-
$K_{5,5}$ is fully reconstructible in $\mathbb{C}^3$
Authors:
Daniel Irving Bernstein,
Steven J. Gortler
Abstract:
A graph $G$ is fully reconstructible in $\mathbb{C}^d$ if the graph is determined from its $d$-dimensional measurement variety. The full reconstructibility problem has been solved for $d=1$ and $d=2$. For $d=3$, some necessary and some sufficient conditions are known and $K_{5,5}$ falls squarely within the gap in the theory. In this paper, we show that $K_{5,5}$ is fully reconstructible in…
▽ More
A graph $G$ is fully reconstructible in $\mathbb{C}^d$ if the graph is determined from its $d$-dimensional measurement variety. The full reconstructibility problem has been solved for $d=1$ and $d=2$. For $d=3$, some necessary and some sufficient conditions are known and $K_{5,5}$ falls squarely within the gap in the theory. In this paper, we show that $K_{5,5}$ is fully reconstructible in $\mathbb{C}^3$.
△ Less
Submitted 17 November, 2022; v1 submitted 19 October, 2021;
originally announced October 2021.
-
Maximum likelihood thresholds via graph rigidity
Authors:
Daniel Irving Bernstein,
Sean Dewar,
Steven J. Gortler,
Anthony Nixon,
Meera Sitharam,
Louis Theran
Abstract:
The maximum likelihood threshold (MLT) of a graph $G$ is the minimum number of samples to almost surely guarantee existence of the maximum likelihood estimate in the corresponding Gaussian graphical model. We give a new characterization of the MLT in terms of rigidity-theoretic properties of $G$ and use this characterization to give new combinatorial lower bounds on the MLT of any graph.
We use…
▽ More
The maximum likelihood threshold (MLT) of a graph $G$ is the minimum number of samples to almost surely guarantee existence of the maximum likelihood estimate in the corresponding Gaussian graphical model. We give a new characterization of the MLT in terms of rigidity-theoretic properties of $G$ and use this characterization to give new combinatorial lower bounds on the MLT of any graph.
We use the new lower bounds to give high-probability guarantees on the maximum likelihood thresholds of sparse Erd{ö}s-Rényi random graphs in terms of their average density. These examples show that the new lower bounds are within a polylog factor of tight, where, on the same graph families, all known lower bounds are trivial.
Based on computational experiments made possible by our methods, we conjecture that the MLT of an Erd{ö}s-Rényi random graph is equal to its generic completion rank with high probability. Using structural results on rigid graphs in low dimension, we can prove the conjecture for graphs with MLT at most $4$ and describe the threshold probability for the MLT to switch from $3$ to $4$.
We also give a geometric characterization of the MLT of a graph in terms of a new "lifting" problem for frameworks that is interesting in its own right. The lifting perspective yields a new connection between the weak MLT (where the maximum likelihood estimate exists only with positive probability) and the classical Hadwiger-Nelson problem.
△ Less
Submitted 5 December, 2023; v1 submitted 4 August, 2021;
originally announced August 2021.
-
Transverse Rigidity is Prestress Stability
Authors:
Steven J. Gortler,
Miranda Holmes-Cerfon,
Louis Theran
Abstract:
Recently, V. Alexandrov proposed an intriguing sufficient condition for rigidity, which we will call "transverse rigidity". We show that transverse rigidity is actually equivalent to the known sufficient condition for rigidity called "prestress stability". Indeed this leads to a novel interpretation of the prestress condition.
Recently, V. Alexandrov proposed an intriguing sufficient condition for rigidity, which we will call "transverse rigidity". We show that transverse rigidity is actually equivalent to the known sufficient condition for rigidity called "prestress stability". Indeed this leads to a novel interpretation of the prestress condition.
△ Less
Submitted 8 June, 2021;
originally announced June 2021.
-
Globally rigid graphs are fully reconstructible
Authors:
Dániel Garamvölgyi,
Steven J. Gortler,
Tibor Jordán
Abstract:
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…
▽ More
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.
△ Less
Submitted 3 June, 2022; v1 submitted 10 May, 2021;
originally announced May 2021.
-
Global rigidity of complete bipartite graphs
Authors:
Robert Connelly,
Steven J. Gortler,
Louis Theran
Abstract:
This note gives a detailed proof of the following statement. Let $d\in \mathbb{N}$ and $m,n \ge d + 1$, with $m + n \ge \binom{d+2}{2} + 1$. Then the complete bipartite graph $K_{m,n}$ is generically globally rigid in dimension $d$.
This note gives a detailed proof of the following statement. Let $d\in \mathbb{N}$ and $m,n \ge d + 1$, with $m + n \ge \binom{d+2}{2} + 1$. Then the complete bipartite graph $K_{m,n}$ is generically globally rigid in dimension $d$.
△ Less
Submitted 4 May, 2021;
originally announced May 2021.
-
Trilateration using Unlabeled Path or Loop Lengths
Authors:
Ioannis Gkioulekas,
Steven J. Gortler,
Louis Theran,
Todd Zickler
Abstract:
Let $\mathbf{p}$ be a configuration of $n$ points in $\mathbb{R}^d$ for some $n$ and some $d \ge 2$. Each pair of points defines an edge, which has a Euclideanlength in the configuration. A path is an ordered sequence of the points, and a loop is a path that begins and ends at the same point. A path or loop, as a sequence of edges, also has a Euclidean length, which is simply the sum of its Euclid…
▽ More
Let $\mathbf{p}$ be a configuration of $n$ points in $\mathbb{R}^d$ for some $n$ and some $d \ge 2$. Each pair of points defines an edge, which has a Euclideanlength in the configuration. A path is an ordered sequence of the points, and a loop is a path that begins and ends at the same point. A path or loop, as a sequence of edges, also has a Euclidean length, which is simply the sum of its Euclidean edge lengths. We are interested in reconstructing $\mathbf{p}$ given a set of edge, path and loop lengths. In particular, we consider the unlabeled setting where the lengths are given simply as a set of real numbers, and are not labeled with the combinatorial data describing which paths or loops gave rise to these lengths. In this paper, we study the question of when $\mathbf{p}$ will be uniquely determined (up to an unknowable Euclidean transform) from some given set of path or loop lengths through an exhaustive trilateration process.
Such a process has already been used for the simpler problem of reconstruction using unlabeled edge lengths. This paper also provides a complete proof that this process must work in that edge-setting when given a sufficiently rich set of edge measurements and assuming that $\mathbf{p}$ is generic.
△ Less
Submitted 18 October, 2023; v1 submitted 28 December, 2020;
originally announced December 2020.
-
Linear Symmetries of the Unsquared Measurement Variety
Authors:
Ioannis Gkioulekas,
Steven J. Gortler,
Louis Theran,
Todd Zickler
Abstract:
We introduce a new family of algebraic varieties, $L_{d,n}$, which we call the unsquared measurement varieties. This family is parameterized by a number of points $n$ and a dimension $d$. These varieties arise naturally from problems in rigidity theory and distance geometry. In those applications, it can be useful to understand the group of linear automorphisms of $L_{d,n}$. Notably, a result of R…
▽ More
We introduce a new family of algebraic varieties, $L_{d,n}$, which we call the unsquared measurement varieties. This family is parameterized by a number of points $n$ and a dimension $d$. These varieties arise naturally from problems in rigidity theory and distance geometry. In those applications, it can be useful to understand the group of linear automorphisms of $L_{d,n}$. Notably, a result of Regge implies that $L_{2,4}$ has an unexpected linear automorphism. In this paper, we give a complete characterization of the linear automorphisms of $L_{d,n}$ for all $n$ and $d$. We show, that apart from $L_{2,4}$ the unsquared measurement varieties have no unexpected automorphisms. Moreover, for $L_{2,4}$ we characterize the full automorphism group.
△ Less
Submitted 24 July, 2020;
originally announced July 2020.
-
Reconstruction in one dimension from unlabeled Euclidean lengths
Authors:
Robert Connelly,
Steven J. Gortler,
Louis Theran
Abstract:
Let $G$ be a $3$-connected ordered graph with $n$ vertices and $m$ edges. Let $\mathbf{p}$ be a randomly chosen mapping of these $n$ vertices to the integer range $\{1, 2,3, \ldots, 2^b\}$ for $b\ge m^2$. Let $\ell$ be the vector of $m$ Euclidean lengths of $G$'s edges under $\mathbf{p}$. In this paper, we show that, with high probability over $\mathbf{p}$, we can efficiently reconstruct both $G$…
▽ More
Let $G$ be a $3$-connected ordered graph with $n$ vertices and $m$ edges. Let $\mathbf{p}$ be a randomly chosen mapping of these $n$ vertices to the integer range $\{1, 2,3, \ldots, 2^b\}$ for $b\ge m^2$. Let $\ell$ be the vector of $m$ Euclidean lengths of $G$'s edges under $\mathbf{p}$. In this paper, we show that, with high probability over $\mathbf{p}$, we can efficiently reconstruct both $G$ and $\mathbf{p}$ from $\ell$. This reconstruction problem is NP-HARD in the worst case, even if both $G$ and $\ell$ are given. We also show that our results stand in the presence of small amounts of error in $\ell$, and in the real setting, with sufficiently accurate length measurements.
Our method combines lattice reduction, which has previously been used to solve random subset sum problems, with an algorithm of Seymour that can efficiently reconstruct an ordered graph given an independence oracle for its matroid.
△ Less
Submitted 26 June, 2024; v1 submitted 13 July, 2020;
originally announced July 2020.
-
Packing Disks by Flipping and Flowing
Authors:
Robert Connelly,
Steven J. Gortler
Abstract:
We provide a new type of proof for the Koebe-Andreev-Thurston (KAT) planar circle packing theorem based on combinatorial edge-flips. In particular, we show that starting from a disk packing with a maximal planar contact graph $G$, one can remove any flippable edge $e^-$ of this graph and then continuously flow the disks in the plane, such that at the end of the flow, one obtains a new disk packing…
▽ More
We provide a new type of proof for the Koebe-Andreev-Thurston (KAT) planar circle packing theorem based on combinatorial edge-flips. In particular, we show that starting from a disk packing with a maximal planar contact graph $G$, one can remove any flippable edge $e^-$ of this graph and then continuously flow the disks in the plane, such that at the end of the flow, one obtains a new disk packing whose contact graph is the graph resulting from flipping the edge $e^-$ in $G$. This flow is parameterized by a single inversive distance.
△ Less
Submitted 27 May, 2020; v1 submitted 5 October, 2019;
originally announced October 2019.
-
Almost-rigidity of frameworks
Authors:
Miranda Holmes-Cerfon,
Louis Theran,
Steven J. Gortler
Abstract:
We extend the mathematical theory of rigidity of frameworks (graphs embedded in $d$-dimensional space) to consider nonlocal rigidity and flexibility properties. We provide conditions on a framework under which (I) as the framework flexes continuously it must remain inside a small ball, a property we call "almost-rigidity"; (II) any other framework with the same edge lengths must lie outside a much…
▽ More
We extend the mathematical theory of rigidity of frameworks (graphs embedded in $d$-dimensional space) to consider nonlocal rigidity and flexibility properties. We provide conditions on a framework under which (I) as the framework flexes continuously it must remain inside a small ball, a property we call "almost-rigidity"; (II) any other framework with the same edge lengths must lie outside a much larger ball; (III) if the framework deforms by some given amount, its edge lengths change by a minimum amount; (IV) there is a nearby framework that is prestress stable, and thus rigid. The conditions can be tested efficiently using semidefinite programming. The test is a slight extension of the test for prestress stability of a framework, and gives analytic expressions for the radii of the balls and the edge length changes. Examples illustrate how the theory may be applied in practice, and we provide an algorithm to test for rigidity or almost-rigidity. We briefly discuss how the theory may be applied to tensegrities.
△ Less
Submitted 9 September, 2020; v1 submitted 10 August, 2019;
originally announced August 2019.
-
Rigidity for sticky disks
Authors:
Robert Connelly,
Steven J. Gortler,
Louis Theran
Abstract:
We study the combinatorial and rigidity properties of disk packings with generic radii. We show that a packing of $n$ disks in the plane with generic radii cannot have more than $2n-3$ pairs of disks in contact. The allowed motions of a packing preserve the disjointness of the disk interiors and tangency between pairs already in contact (modeling a collection of sticky disks). We show that if a pa…
▽ More
We study the combinatorial and rigidity properties of disk packings with generic radii. We show that a packing of $n$ disks in the plane with generic radii cannot have more than $2n-3$ pairs of disks in contact. The allowed motions of a packing preserve the disjointness of the disk interiors and tangency between pairs already in contact (modeling a collection of sticky disks). We show that if a packing has generic radii, then the allowed motions are all rigid body motions if and only if the packing has exactly $2n-3$ contacts. Our approach is to study the space of packings with a fixed contact graph. The main technical step is to show that this space is a smooth manifold, which is done via a connection to the Cauchy-Alexandrov stress lemma. Our methods also apply to jamming problems, in which contacts are allowed to break during a motion. We give a simple proof of a finite variant of a recent result of Connelly, et al. on the number of contacts in a jammed packing of disks with generic radii.
△ Less
Submitted 16 January, 2019; v1 submitted 6 September, 2018;
originally announced September 2018.
-
Generic Unlabeled Global Rigidity
Authors:
Steven J. Gortler,
Louis Theran,
Dylan P. Thurston
Abstract:
Let $\mathbf{p}$ be a configuration of $n$ points in $\mathbb{R}^d$ for some $n$ and some $d \ge 2$. Each pair of points has a Euclidean length in the configuration. Given some graph $G$ on $n$ vertices, we measure the point-pair lengths corresponding to the edges of $G$.
In this paper, we study the question of when a generic $\mathbf{p}$ in $d$ dimensions will be uniquely determined (up to an u…
▽ More
Let $\mathbf{p}$ be a configuration of $n$ points in $\mathbb{R}^d$ for some $n$ and some $d \ge 2$. Each pair of points has a Euclidean length in the configuration. Given some graph $G$ on $n$ vertices, we measure the point-pair lengths corresponding to the edges of $G$.
In this paper, we study the question of when a generic $\mathbf{p}$ in $d$ dimensions will be uniquely determined (up to an unknowable Euclidean transformation) from a given set of point-pair lengths together with knowledge of $d$ and $n$. In this setting the lengths are given simply as a set of real numbers; they are not labeled with the combinatorial data that describes which point-pair gave rise to which length, nor is data about $G$ given.
We show, perhaps surprisingly, that in terms of generic uniqueness, labels have no effect. A generic configuration is determined by an unlabeled set of point-pair lengths (together with $d$ and $n$) iff it is determined by the labeled edge lengths.
△ Less
Submitted 14 June, 2019; v1 submitted 22 June, 2018;
originally announced June 2018.
-
Determining Generic Point Configurations From Unlabeled Path or Loop Lengths
Authors:
Ioannis Gkioulekas,
Steven J. Gortler,
Louis Theran,
Todd Zickler
Abstract:
Let $\mathbf{p}$ be a configuration of $n$ points in $\mathbb{R}^d$ for some $n$ and some $d \ge 2$. Each pair of points defines an edge, which has a Euclidean length in the configuration. A path is an ordered sequence of the points, and a loop is a path that has the same endpoints. A path or loop, as a sequence of edges, also has a Euclidean length. In this paper, we study the question of when…
▽ More
Let $\mathbf{p}$ be a configuration of $n$ points in $\mathbb{R}^d$ for some $n$ and some $d \ge 2$. Each pair of points defines an edge, which has a Euclidean length in the configuration. A path is an ordered sequence of the points, and a loop is a path that has the same endpoints. A path or loop, as a sequence of edges, also has a Euclidean length. In this paper, we study the question of when $\mathbf{p}$ will be uniquely determined (up to an unknowable Euclidean transform) from a given set of path or loop lengths. In particular, we consider the setting where the lengths are given simply as a set of real numbers, and are not labeled with the combinatorial data describing the paths or loops that gave rise to the lengths.
Our main result is a condition on the set of paths or loops that is sufficient to guarantee such a unique determination. We also provide an algorithm, under a real computational model, for performing a reconstruction of $\mathbf{p}$ from such unlabeled lengths.
To obtain our results, we introduce a new family of algebraic varieties which we call the unsquared measurement varieties. The family is parameterized by the number of points $n$ and the dimension $d$, and our results follow from a complete characterization of the linear automorphisms of these varieties for all $n$ and $d$. The linear automorphisms for the special case of $n = 4$ and $d = 2$ correspond to the so-called Regge symmetries of the tetrahedron.
△ Less
Submitted 3 January, 2021; v1 submitted 12 September, 2017;
originally announced September 2017.
-
The Isostatic Conjecture
Authors:
Robert Connelly,
Steven J. Gortler,
Evan Solomonides,
Maria Yampolskaya
Abstract:
We show that a jammed packing of disks with generic radii, in a generic container, is such that the minimal number of contacts occurs and there is only one dimension of equilibrium stresses. We also point out some connections to packings with different radii and results in the theory of circle packings whose graph forms a triangulation of a given topological surface. We also point out a counterexa…
▽ More
We show that a jammed packing of disks with generic radii, in a generic container, is such that the minimal number of contacts occurs and there is only one dimension of equilibrium stresses. We also point out some connections to packings with different radii and results in the theory of circle packings whose graph forms a triangulation of a given topological surface. We also point out a counterexample, due to F. Nazarov, to a previous conjecture that that triangulated packings with fixed numbers of disks with fixed numbers of disks for each radius claiming that such packings were the most dense.
△ Less
Submitted 8 October, 2018; v1 submitted 25 February, 2017;
originally announced February 2017.
-
Affine Rigidity and Conics at Infinity
Authors:
Robert Connelly,
Steven J. Gortler,
Louis Theran
Abstract:
We prove that if a framework of a graph is neighborhood affine rigid in $d$-dimensions (or has the stronger property of having an equilibrium stress matrix of rank $n-d-1$) then it has an affine flex (an affine, but non Euclidean, transform of space that preserves all of the edge lengths) if and only if the framework is ruled on a single quadric. This strengthens and also simplifies a related resu…
▽ More
We prove that if a framework of a graph is neighborhood affine rigid in $d$-dimensions (or has the stronger property of having an equilibrium stress matrix of rank $n-d-1$) then it has an affine flex (an affine, but non Euclidean, transform of space that preserves all of the edge lengths) if and only if the framework is ruled on a single quadric. This strengthens and also simplifies a related result by Alfakih. It also allows us to prove that the property of super stability is invariant with respect to projective transforms and also to the coning and slicing operations. Finally this allows us to unify some previous results on the Strong Arnold Property of matrices.
△ Less
Submitted 18 January, 2017; v1 submitted 25 May, 2016;
originally announced May 2016.
-
Generically globally rigid graphs have generic universally rigid frameworks
Authors:
Robert Connelly,
Steven J. Gortler,
Louis Theran
Abstract:
We show that any graph that is generically globally rigid in $\mathbb{R}^d$ has a realization in $\mathbb{R}^d$ that is both generic and universally rigid. This also implies that the graph also must have a realization in $\mathbb{R}^d$ that is both infinitesimally rigid and universally rigid; such a realization serves as a certificate of generic global rigidity.
Our approach involves an algorith…
▽ More
We show that any graph that is generically globally rigid in $\mathbb{R}^d$ has a realization in $\mathbb{R}^d$ that is both generic and universally rigid. This also implies that the graph also must have a realization in $\mathbb{R}^d$ that is both infinitesimally rigid and universally rigid; such a realization serves as a certificate of generic global rigidity.
Our approach involves an algorithm by Lovász, Saks and Schrijver that, for a sufficiently connected graph, constructs a general position orthogonal representation of the vertices, and a result of Alfakih that shows how this representation leads to a stress matrix and a universally rigid framework of the graph.
△ Less
Submitted 14 August, 2018; v1 submitted 25 April, 2016;
originally announced April 2016.
-
Prestress Stability of Triangulated Convex Polytopes and Universal Second Order Rigidity
Authors:
Robert Connelly,
Steven J. Gortler
Abstract:
We prove that universal second-order rigidity implies universal prestress stability and that triangulated convex polytopes in three-space (with holes appropriately positioned) are prestress stable.
We prove that universal second-order rigidity implies universal prestress stability and that triangulated convex polytopes in three-space (with holes appropriately positioned) are prestress stable.
△ Less
Submitted 7 December, 2017; v1 submitted 14 October, 2015;
originally announced October 2015.
-
Universal Rigidity of Complete Bipartite Graphs
Authors:
Robert Connelly,
Steven J. Gortler
Abstract:
We describe a very simple condition that is necessary for the universal rigidity of a complete bipartite framework $(K(n,m),p,q)$. This condition is also sufficient for universal rigidity under a variety of weak assumptions, such as general position. Even without any of these assumptions, in complete generality, we extend these ideas to obtain an efficient algorithm, based on a sequence of linear…
▽ More
We describe a very simple condition that is necessary for the universal rigidity of a complete bipartite framework $(K(n,m),p,q)$. This condition is also sufficient for universal rigidity under a variety of weak assumptions, such as general position. Even without any of these assumptions, in complete generality, we extend these ideas to obtain an efficient algorithm, based on a sequence of linear programs, that determines whether an input framework of a complete bipartite graph is universally rigid or not.
△ Less
Submitted 13 October, 2016; v1 submitted 8 February, 2015;
originally announced February 2015.
-
Generic Global Rigidity in Complex and Pseudo-Euclidean Spaces
Authors:
Steven J. Gortler,
Dylan P. Thurston
Abstract:
In this paper we study the property of generic global rigidity for frameworks of graphs embedded in d-dimensional complex space and in a d-dimensional pseudo-Euclidean space ($R^d$ with a metric of indefinite signature). We show that a graph is generically globally rigid in Euclidean space iff it is generically globally rigid in a complex or pseudo-Euclidean space. We also establish that global ri…
▽ More
In this paper we study the property of generic global rigidity for frameworks of graphs embedded in d-dimensional complex space and in a d-dimensional pseudo-Euclidean space ($R^d$ with a metric of indefinite signature). We show that a graph is generically globally rigid in Euclidean space iff it is generically globally rigid in a complex or pseudo-Euclidean space. We also establish that global rigidity is always a generic property of a graph in complex space, and give a sufficient condition for it to be a generic property in a pseudo-Euclidean space. Extensions to hyperbolic space are also discussed.
△ Less
Submitted 27 August, 2017; v1 submitted 29 December, 2012;
originally announced December 2012.
-
Measurement Isomorphism of Graphs
Authors:
Steven J. Gortler,
Dylan P. Thurston
Abstract:
The d-measurement set of a graph is its set of possible squared edge lengths over all d-dimensional embeddings. In this note, we define a new notion of graph isomorphism called d-measurement isomorphism. Two graphs are d-measurement isomorphic if there is agreement in their d-measurement sets. A natural question to ask is "what can be said about two graphs that are d-measurement isomorphic?" In th…
▽ More
The d-measurement set of a graph is its set of possible squared edge lengths over all d-dimensional embeddings. In this note, we define a new notion of graph isomorphism called d-measurement isomorphism. Two graphs are d-measurement isomorphic if there is agreement in their d-measurement sets. A natural question to ask is "what can be said about two graphs that are d-measurement isomorphic?" In this note, we show that this property coincides with the 2-isomorphism property studied by Whitney.
△ Less
Submitted 28 December, 2012;
originally announced December 2012.
-
Characterizing the universal rigidity of generic frameworks
Authors:
Steven J. Gortler,
Dylan P. Thurston
Abstract:
A framework is a graph and a map from its vertices to E^d (for some d). A framework is universally rigid if any framework in any dimension with the same graph and edge lengths is a Euclidean image of it. We show that a generic universally rigid framework has a positive semi-definite stress matrix of maximal rank. Connelly showed that the existence of such a positive semi-definite stress matrix is…
▽ More
A framework is a graph and a map from its vertices to E^d (for some d). A framework is universally rigid if any framework in any dimension with the same graph and edge lengths is a Euclidean image of it. We show that a generic universally rigid framework has a positive semi-definite stress matrix of maximal rank. Connelly showed that the existence of such a positive semi-definite stress matrix is sufficient for universal rigidity, so this provides a characterization of universal rigidity for generic frameworks. We also extend our argument to give a new result on the genericity of strict complementarity in semidefinite programming.
△ Less
Submitted 16 June, 2014; v1 submitted 31 December, 2009;
originally announced January 2010.
-
Characterizing Generic Global Rigidity
Authors:
Steven J. Gortler,
Alexander D. Healy,
Dylan P. Thurston
Abstract:
A d-dimensional framework is a graph and a map from its vertices to E^d. Such a framework is globally rigid if it is the only framework in E^d with the same graph and edge lengths, up to rigid motions. For which underlying graphs is a generic framework globally rigid? We answer this question by proving a conjecture by Connelly, that his sufficient condition is also necessary: a generic framework i…
▽ More
A d-dimensional framework is a graph and a map from its vertices to E^d. Such a framework is globally rigid if it is the only framework in E^d with the same graph and edge lengths, up to rigid motions. For which underlying graphs is a generic framework globally rigid? We answer this question by proving a conjecture by Connelly, that his sufficient condition is also necessary: a generic framework is globally rigid if and only if it has a stress matrix with kernel of dimension d+1, the minimum possible.
An alternate version of the condition comes from considering the geometry of the length-squared mapping l: the graph is generically locally rigid iff the rank of l is maximal, and it is generically globally rigid iff the rank of the Gauss map on the image of l is maximal.
We also show that this condition is efficiently checkable with a randomized algorithm, and prove that if a graph is not generically globally rigid then it is flexible one dimension higher.
△ Less
Submitted 12 September, 2010; v1 submitted 4 October, 2007;
originally announced October 2007.
