117 research outputs found
Natural realizations of sparsity matroids
A hypergraph G with n vertices and m hyperedges with d endpoints each is
(k,l)-sparse if for all sub-hypergraphs G' on n' vertices and m' edges, m'\le
kn'-l. For integers k and l satisfying 0\le l\le dk-1, this is known to be a
linearly representable matroidal family.
Motivated by problems in rigidity theory, we give a new linear representation
theorem for the (k,l)-sparse hypergraphs that is natural; i.e., the
representing matrix captures the vertex-edge incidence structure of the
underlying hypergraph G.Comment: Corrected some typos from the previous version; to appear in Ars
Mathematica Contemporane
Slider-pinning Rigidity: a Maxwell-Laman-type Theorem
We define and study slider-pinning rigidity, giving a complete combinatorial
characterization. This is done via direction-slider networks, which are a
generalization of Whiteley's direction networks.Comment: Accepted, to appear in Discrete and Computational Geometr
Generic rigidity of reflection frameworks
We give a combinatorial characterization of generic minimally rigid
reflection frameworks. The main new idea is to study a pair of direction
networks on the same graph such that one admits faithful realizations and the
other has only collapsed realizations. In terms of infinitesimal rigidity,
realizations of the former produce a framework and the latter certifies that
this framework is infinitesimally rigid.Comment: 14 pages, 2 figure
Generic rigidity with forced symmetry and sparse colored graphs
We review some recent results in the generic rigidity theory of planar
frameworks with forced symmetry, giving a uniform treatment to the topic. We
also give new combinatorial characterizations of minimally rigid periodic
frameworks with fixed-area fundamental domain and fixed-angle fundamental
domain.Comment: 21 pages, 2 figure
Algorithms for detecting dependencies and rigid subsystems for CAD
Geometric constraint systems underly popular Computer Aided Design soft-
ware. Automated approaches for detecting dependencies in a design are critical
for developing robust solvers and providing informative user feedback, and we
provide algorithms for two types of dependencies. First, we give a pebble game
algorithm for detecting generic dependencies. Then, we focus on identifying the
"special positions" of a design in which generically independent constraints
become dependent. We present combinatorial algorithms for identifying subgraphs
associated to factors of a particular polynomial, whose vanishing indicates a
special position and resulting dependency. Further factoring in the Grassmann-
Cayley algebra may allow a geometric interpretation giving conditions (e.g.,
"these two lines being parallel cause a dependency") determining the special
position.Comment: 37 pages, 14 figures (v2 is an expanded version of an AGD'14 abstract
based on v1
Henneberg constructions and covers of cone-Laman graphs
We give Henneberg-type constructions for three families of sparse colored
graphs arising in the rigidity theory of periodic and other forced symmetric
frameworks. The proof method, which works with Laman-sparse finite covers of
colored graphs highlights the connection between these sparse colored families
and the well-studied matroidal (k, l)-sparse families.Comment: 14 pages, 2 figure
- …