arXiv++ Combinatorics

Applications of algebraic geometry have sparked much recent work on algebraic matroids. An algebraic matroid encodes algebraic dependencies among coordinate functions on a variety. We study the behavior of algebraic matroids under joins and secants of varieties. Motivated by Terracini's lemma, we introduce the notion of a Terracini union of matroids, which captures when the algebraic matroid of a join coincides with the matroid union of the algebraic matroids of its summands. We illustrate applications of our results with a discussion of the implications for toric surfaces and threefolds.

We construct infinite periodic versions of the stress matrix and establish sufficient conditions for periodic tensegrity frameworks to be globally rigid in $\mathbb{R}^d$ in the cases when the lattice is either fixed, fully flexible, or flexible with a volume constraint for the fundamental domain. For the fixed and fully flexible lattice variants, we also establish necessary and sufficient conditions for generic infinite periodic bar-joint frameworks to be globally rigid in $\mathbb{R}^d$. These results provide periodic versions of the fundamental results of Connelly, as well as Gortler, Healy and Thurston on the global rigidity of generic finite bar-joint frameworks.

Although algebraic matroids were discovered in the 1930s, interest in them was largely dormant until their recent use in applications of algebraic geometry. Because nonlinear algebra is computationally challenging, it is easier to work with an isomorphic linear matroid if one exists. We describe an explicit construction that produces a linear representation over an algebraically closed field of characteristic zero starting with the data used in applications. We will also discuss classical examples of algebraic matroids in the modern language of polynomial ideals, illustrating how the existence of an isomorphic linear matroid depends on properties of the field.

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.

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.

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.

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.

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.

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.

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$.

We show that universal rigidity of a generic bar and joint framework (G,p) in the line depends on more than the ordering of the vertices. In particular, we construct examples of one-dimensional generic frameworks with the same graph and ordering of the vertices, such that one is universally rigid and one is not. This answers, in the negative, a question of Jordan and Nguyen.

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.

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.

In recent years, various notions of algebraic independence have emerged as a central and unifying theme in a number of areas of applied mathematics, including algebraic statistics and the rigidity theory of bar-and-joint frameworks. In each of these settings the fundamental problem is to determine the extent to which certain unknowns depend algebraically on given data. This has, in turn, led to a resurgence of interest in algebraic matroids, which are the combinatorial formalism for algebraic (in)dependence. We give a self-contained introduction to algebraic matroids together with examples highlighting their potential application.

We develop a rigidity theory for bar-joint frameworks in Euclidean $d$-space in which specified classes of edges are allowed to change length in a coordinated fashion that requires differences of lengths to be preserved within each class. Rigidity for these coordinated frameworks is a generic property, and we characterize the rigid graphs in terms of redundant rigidity in the standard $d$-dimensional rigidity matroid. We also interpret our main results in terms of matroid unions.

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.

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.

Finite pieces of locally isostatic networks have a large number of floppy modes because of missing constraints at the surface. Here we show that by imposing suitable boundary conditions at the surface, the network can be rendered effectively isostatic. We refer to these as anchored boundary conditions. An important example is formed by a two-dimensional network of corner sharing triangles, which is the focus of this paper. Another way of rendering such networks isostatic, is by adding an external wire along which all unpinned vertices can slide (sliding boundary conditions). This approach also allows for the incorporation of boundaries associated with internal holes and complex sample geometries, which are illustrated with examples. The recent synthesis of bilayers of vitreous silica has provided impetus for this work. Experimental results from the imaging of finite pieces at the atomic level needs such boundary conditions, if the observed structure is to be computer-refined so that the interior atoms have the perception of being in an infinite isostatic environment.

We prove that every primary basic semialgebraic set is homotopy equivalent to the set of inscribed realizations (up to Möbius transformation) of a polytope. If the semialgebraic set is moreover open, then, in addition, we prove that (up to homotopy) it is a retract of the realization space of some inscribed neighborly (and simplicial) polytope. We also show that all algebraic extensions of $\mathbb{Q}$ are needed to coordinatize inscribed polytopes. These statements show that inscribed polytopes exhibit the Mnëv universality phenomenon. Via stereographic projections, these theorems have a direct translation to universality theorems for Delaunay subdivisions. In particular, our results imply that the realizability problem for Delaunay triangulations is polynomially equivalent to the existential theory of the reals.

We give an algebraic characterization of when a $d$-dimensional periodic framework has no non-trivial, symmetry preserving, motion for any choice of periodicity lattice. Our condition is decidable, and we provide a simple algorithm that does not require complicated algebraic computations. In dimension $d = 2$, we give a combinatorial characterization in the special case when the the number of edge orbits is the minimum possible for ultrarigidity. All our results apply to a fully flexible, fixed area, or fixed periodicity lattice.