arXiv subjects

William Sims

Publications and source records attributed to William Sims.

6 recordsLinked to original sources

arXiv2025

Nucleation-free independent graphs with implied nonedges

We give inductive constructions of independent graphs that contain implied nonedges but do not contain any non-trivial rigid subgraphs, or \emph{nucleations}: some of the constructions and proofs apply to 3-dimensional abstract rigidity matroids with their respective definitions of nucleations and implied nonedges. The first motivation for the inductive constructions of this paper, which generate an especially intractable class of flexible circuits, is to illuminate further obstacles to settling Graver's maximality conjecture that the 3-dimensional generic rigidity matroid is isomorphic to Whiteley's cofactor matroid (the unique maximal matroid in which all graphs isomorphic to $K_5$ are circuits). While none of the explicit examples we provide refutes the maximality conjecture (since their properties hold in both matroids) the construction schemes are useful regardless whether the conjecture is true or false, e.g. for constructing larger (counter)examples from smaller ones. The second motivation is to make progress towards a polynomial-time algorithm for deciding independence in the abovementioned maximal matroid. Nucleation-free graphs with implied nonedges, such as the families constructed in this paper, are the key obstacles that must be dealt with for improving the current state of the art.

math.CO↗

arXiv2024

Graphs with single interval Cayley configuration spaces in 3-dimensions

We prove a conjectured graph theoretic characterization of a geometric property of 3 dimensional linkages posed 15 years ago by Sitharam and Gao, motivated by their equivalent characterization for $d\le 2$ that does not generalize to $d\ge 3$. A linkage $(G,\ell)$ contains a finite simple undirected graph $G$ and a map $\ell$ that assigns squared Euclidean lengths to the edges of $G$. A \emph{$d$-realization} of $(G,\ell)$ is an assignment of points in $\mathbb{R}^d$ to the vertices of $G$ for which pairwise squared distances between points agree with $\ell$. For any positive integer $d \leq 3$, we characterize pairs $(G,f)$, where $f$ is a nonedge of $G$, such that, for any linkage $(G,\ell)$, the lengths attained by $f$ form a single interval - over the (typically a disconnected set of) $d$-realizations of $(G,\ell)$. Although related to the minor closed class of $d$-flattenable graphs, the class of pairs $(G,f)$ with the above property is not closed under edge deletions, has no obvious well quasi-ordering, and there are infinitely many minimal graph-nonedge pairs - with respect to edge contractions - in the complement class. Our characterization overcomes these obstacles, is based on the forbidden minors for $d$-flattenability for $d \leq 3$, and contributes to the theory of Cayley configurations with many applications. Helper results and corollaries provide new tools for reasoning about configuration spaces and completions of partial 3-tree linkages, (non)convexity of Euclidean measurement sets in $3$-dimensions, their projections, fibers and sections. Generalizations to higher dimensions and efficient algorithmic characterizations are conjectured.

cs.CG↗

arXiv2024

Edge-length preserving embeddings of graphs between normed spaces

The concept of graph flattenability, initially formalized by Belk and Connelly and later expanded by Sitharam and Willoughby, extends the question of embedding finite metric spaces into a given normed space. A finite simple graph $G=(V,E)$ is said to be $(X,Y)$-flattenable if any set of induced edge lengths from an embedding of $G$ into a normed space $Y$ can also be realised by an embedding of $G$ into a normed space $X$. This property, being minor-closed, can be characterized by a finite list of forbidden minors. Following the establishment of fundamental results about $(X,Y)$-flattenability, we identify sufficient conditions under which it implies independence with respect to the associated rigidity matroids for $X$ and $Y$. We show that the spaces $\ell_2$ and $\ell_\infty$ serve as two natural extreme spaces of flattenability and discuss $(X, \ell_p )$-flattenability for varying $p$. We provide a complete characterization of $(X,Y)$-flattenable graphs for the specific case when $X$ is 2-dimensional and $Y$ is infinite-dimensional.

math.MG↗

arXiv2024

Angular constraints on planar frameworks

Consider a collection of points in the plane and the sets of slopes or directions of the lines between pairs of points. It is known that the algebraic matroid on the set of direction constraints between the points is equivalent to the algebraic matroid on the set of distances between the points. This is the well-studied generic 2-dimensional rigidity matroid of a graph. This article studies a higher-level construction built on the slope data: an angle constraint system obtained by prescribing relationships between pairs of slopes. The central question we analyze is: when is an angle system rigid, in the sense that every nontrivial motion alters one of the fixed angles? We formulate the problem in matricial terms for certain edge-colored graphs, finding precise necessary conditions for when such edge-colored graphs are rigid, and a combinatorial characterization of generic rigidity for a special case. We also prove the validity of an equivalent formulation of the angle matroid as the algebraic matroid of a field extension.

math.CO↗

arXiv2020

Flip Paths Between Lattice Triangulations

We present a $O(n^{\frac{3}{2}})$-time algorithm for the \emph{shortest (diagonal) flip path problem} for \emph{lattice} triangulations with $n$ points, improving over previous $O(n^2)$-time algorithms. For a large, natural class of inputs, our bound is tight in the sense that our algorithm runs in time linear in the number of flips in the output flip path. Our results rely on an independently interesting structural elucidation of shortest flip paths as the linear orderings of a unique partially ordered set, called a \emph{minimum flip plan}, constructed by a novel use of Farey sequences from elementary number theory. Flip paths between general (not necessarily lattice) triangulations have been studied in the combinatorial setting for nearly a century. In the Euclidean geometric setting, finding a shortest flip path between two triangulations is NP-complete. However, for lattice triangulations, which are studied as spin systems, there are known $O\left(n^2\right)$-time algorithms to find shortest flip paths. These algorithms, as well as ours, apply to \emph{constrained} flip paths that ensure a set of \emph{constraint} edges are present in every triangulation along the path. Implications for determining simultaneously flippable edges, i.e. finding optimal simultaneous flip paths between lattice triangulations, and for counting lattice triangulations are discussed.

cs.CG↗

arXiv2011

Cayley Configuration Spaces of a Common Class of Mechanisms in Two Dimensions

We study Cayley configuration spaces of a class of 1 degree-of-freedom linkages (graphs with specified edge lengths), obtained by dropping an edge from a tree-decomposable graph. The class includes well-known mechanisms based on the four-bar, as well as strandbeest, cardioid, limacon etc. The Cayley configuration space is the set of intervals of attainable lengths for a \emph{base} nonedge (e.g. the dropped edge) over the linkage's 2 dimensional realizations. We require \emph{quadratic radical solvability (QRS)} (an extension of ruler-and-compass-realizability) of the interval endpoints, and tree-decomposability guarantees efficient, ruler-and-compass construction of the linkage realization, given the Cayley configuration. Due to these restrictions of Kempe universality, this class of \emph{low Cayley complexity (LCC)} graphs is common in mechanical computer aided design and kinematics. Our main contributions are the following. (1) We show that the definition of LCC is robust, and depends only on the graph, no matter the choice of base nonedge whose addition ensures tree-decomposability. (2) We give an efficient algorithmic characterization of LCC graphs (3) We show (graph) planarity is equivalent to LCC for a natural subclass of 1-degree-of-freedom tree-decomposable graphs. Counterexamples show impossibility of such finite forbidden minor characterizations when the above subclass is enlarged. (4) We give an easily testable definition of genericity of LCC linkages (i.e. with underlying LCC graphs) based on their edge lengths. (5) For generic LCC linkages, we give an algorithm to find both paths of continuous motion (provided they exist) between two distinct realizations, in time linear in a discrete measure of the length of the path. Nontrivial generalizations of these results to non-LCC, 1-degree-of-freedom tree-decomposable linkages. Several accessible open problems are posed.

cs.CG↗