15 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
Tensors in statistics and rigidity theory
This is a short report on the discussions of appearance of tensors in
algebraic statistics and rigidity theory, during the semester ``AGATES:
Algebraic Geometry with Applications to TEnsors and Secants". We briefly survey
some of the existing results in the literature and further research directions.
We first provide an overview of algebraic and geometric techniques in the study
of conditional independence (CI) statistical models. We study different
families of algebraic varieties arising in statistics. This includes the
determinantal varieties related to CI statements with hidden random variables.
Such statements correspond to determinantal conditions on the tensor of joint
probabilities of events involving the observed random variables. We show how to
compute the irreducible decompositions of the corresponding CI varieties, which
leads to finding further conditional dependencies (or independencies) among the
involved random variables. As an example, we show how these methods can be
applied to extend the classical intersection axiom for CI statements. We then
give a brief overview about secant varieties and their appearance in the study
of mixture models. We focus on examples and briefly mention the connection to
rigidity theory which will appear in the forthcoming paper \cite{rigidity}.Comment: Comments are welcome! arXiv admin note: substantial text overlap with
arXiv:2103.1655
Flipping Cubical Meshes
We define and examine flip operations for quadrilateral and hexahedral
meshes, similar to the flipping transformations previously used in triangular
and tetrahedral mesh generation.Comment: 20 pages, 24 figures. Expanded journal version of paper from 10th
International Meshing Roundtable. This version removes some unwanted
paragraph breaks from the previous version; the text is unchange
On affine rigidity
We define the notion of affine rigidity of a hypergraph and prove a variety
of fundamental results for this notion. First, we show that affine rigidity can
be determined by the rank of a specific matrix which implies that affine
rigidity is a generic property of the hypergraph.Then we prove that if a graph
is is -vertex-connected, then it must be "generically neighborhood
affinely rigid" in -dimensional space. This implies that if a graph is
-vertex-connected then any generic framework of its squared graph must
be universally rigid.
Our results, and affine rigidity more generally, have natural applications in
point registration and localization, as well as connections to manifold
learning.Comment: Updated abstrac
Exact Camera Location Recovery by Least Unsquared Deviations
We establish exact recovery for the Least Unsquared Deviations (LUD)
algorithm of Ozyesil and Singer. More precisely, we show that for sufficiently
many cameras with given corrupted pairwise directions, where both camera
locations and pairwise directions are generated by a special probabilistic
model, the LUD algorithm exactly recovers the camera locations with high
probability. A similar exact recovery guarantee was established for the
ShapeFit algorithm by Hand, Lee and Voroninski, but with typically less
corruption
Generic Rigidity Matroids with Dilworth Truncations
We prove that the linear matroid that defines generic rigidity of
-dimensional body-rod-bar frameworks (i.e., structures consisting of
disjoint bodies and rods mutually linked by bars) can be obtained from the
union of graphic matroids by applying variants of Dilworth
truncation times, where denotes the number of rods. This leads to
an alternative proof of Tay's combinatorial characterizations of generic
rigidity of rod-bar frameworks and that of identified body-hinge frameworks
The orbit rigidity matrix of a symmetric framework
A number of recent papers have studied when symmetry causes frameworks on a
graph to become infinitesimally flexible, or stressed, and when it has no
impact. A number of other recent papers have studied special classes of
frameworks on generically rigid graphs which are finite mechanisms. Here we
introduce a new tool, the orbit matrix, which connects these two areas and
provides a matrix representation for fully symmetric infinitesimal flexes, and
fully symmetric stresses of symmetric frameworks. The orbit matrix is a true
analog of the standard rigidity matrix for general frameworks, and its analysis
gives important insights into questions about the flexibility and rigidity of
classes of symmetric frameworks, in all dimensions.
With this narrower focus on fully symmetric infinitesimal motions, comes the
power to predict symmetry-preserving finite mechanisms - giving a simplified
analysis which covers a wide range of the known mechanisms, and generalizes the
classes of known mechanisms. This initial exploration of the properties of the
orbit matrix also opens up a number of new questions and possible extensions of
the previous results, including transfer of symmetry based results from
Euclidean space to spherical, hyperbolic, and some other metrics with shared
symmetry groups and underlying projective geometry.Comment: 41 pages, 12 figure
Body-and-cad geometric constraint systems
AbstractMotivated 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