160 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
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
Identifiability of Points and Rigidity of Hypergraphs under Algebraic Constraints
Identifiability of data is one of the fundamental problems in data science.
Mathematically it is often formulated as the identifiability of points
satisfying a given set of algebraic relations. A key question then is to
identify sufficient conditions for observations to guarantee the
identifiability of the points.
This paper proposes a new general framework for capturing the identifiability
problem when a set of algebraic relations has a combinatorial structure and
develops tools to analyze the impact of the underlying combinatorics on the
local or global identifiability of points. Our framework is built on the
language of graph rigidity, where the measurements are Euclidean distances
between two points, but applicable in the generality of hypergraphs with
arbitrary algebraic measurements. We establish necessary and sufficient
(hyper)graph theoretical conditions for identifiability by exploiting
techniques from graph rigidity theory and algebraic geometry of secant
varieties
Sparse Hypergraphs and Pebble Game Algorithms
A hypergraph G=(V,E) is (k,ℓ)-sparse if no subset V′⊂V spans more than k|V′|−ℓ hyperedges. We characterize (k,ℓ)-sparse hypergraphs in terms of graph theoretic, matroidal and algorithmic properties. We extend several well-known theorems of Haas, Lovász, Nash-Williams, Tutte, and White and Whiteley, linking arboricity of graphs to certain counts on the number of edges. We also address the problem of finding lower-dimensional representations of sparse hypergraphs, and identify a critical behavior in terms of the sparsity parameters k and ℓ. Our constructions extend the pebble games of Lee and Streinu [A. Lee, I. Streinu, Pebble game algorithms and sparse graphs, Discrete Math. 308 (8) (2008) 1425–1437] from graphs to hypergraphs
Body-and-Cad Geometric Constraint Systems
Motivated by constraint-based CAD software, we develop the foundation for the rigidity theory of a very general model: the body-and-cad structure, composed of rigid bodies in 3D constrained by pairwise coincidence, angular and distance constraints. We identify 21 relevant geometric constraints and develop the corresponding infinitesimal rigidity theory for these structures. The classical body-and-bar rigidity model can be viewed as a body-and-cad structure that uses only one constraint from this new class. As a consequence, we identify a new, necessary, but not sufficient, counting condition for minimal rigidity of body-and-cad structures: nested sparsity. This is a slight generalization of the well-known sparsity condition of Maxwell. © 2012 Elsevier B.V. All rights reserved
- …