A proof of the molecular conjecture

DOI10.1007/S00454-011-9348-6zbMATH Open1294.05150arXiv0902.0236OpenAlexW2953047142WikidataQ123166229 ScholiaQ123166229MaRDI QIDQ540449FDOQ540449

Naoki Katoh, Shin-Ichi Tanigawa

Publication date: 3 June 2011

Published in: Discrete \& Computational Geometry (Search for Journal in Brave)

Abstract: A $d$-dimensional body-and-hinge framework is a structure consisting of rigid bodies connected by hinges in $d$-dimensional space. The generic infinitesimal rigidity of a body-and-hinge framework has been characterized in terms of the underlying multigraph independently by Tay and Whiteley as follows: A multigraph $G$ can be realized as an infinitesimally rigid body-and-hinge framework by mapping each vertex to a body and each edge to a hinge if and only if ({d+1 choose 2}-1)G$contains${d+1choose 2}$edge-disjointspanningtrees,where$({d+1 choose 2}-1)G$isthegraphobtainedfrom$G$byreplacingeachedgeby$({d+1choose 2}-1)$paralleledges.In1984theyjointlyposedaquestionaboutwhethertheircombinatorialcharacterizationcanbefurtherappliedtoanongenericcase.Specifically,theyconjecturedthat$G$canberealizedasaninfinitesimallyrigidbody-and-hingeframeworkifandonlyif$G$ can be realized as that with the additional ``hinge-coplanar property, i.e., all the hinges incident to each body are contained in a common hyperplane. This conjecture is called the Molecular Conjecture due to the equivalence between the infinitesimal rigidity of ``hinge-coplanar body-and-hinge frameworks and that of bar-and-joint frameworks derived from molecules in 3-dimension. In 2-dimensional case this conjecture has been proved by Jackson and Jord{'a}n in 2006. In this paper we prove this long standing conjecture affirmatively for general dimension.

Full work available at URL: https://arxiv.org/abs/0902.0236

Recommendations

• Pin-collinear body-and-pin frameworks and the molecular conjecture
• A proof of the molecular conjecture
• Rigid components in molecular graphs
• On the rigidity of molecular graphs
• The generic rank of body-bar-and-hinge frameworks

zbMATH Keywords

combinatorial rigiditymolecular frameworkspanel-hinge frameworksrigid realizationsthe molecular conjecture

Mathematics Subject Classification ID

Applications of graph theory (05C90) Polyhedra and polytopes; regular figures, division of spaces (51M20) Rigidity and flexibility of structures (aspects of discrete geometry) (52C25)

Cites Work

• On the Foundations of Combinatorial Theory: IX Combinatorial Methods in Invariant Theory
• Title not available (Why is that?)
• Combinatorial optimization. Polyhedra and efficiency (3 volumes)
• Pebble game algorithms and sparse graphs
• On the Problem of Decomposing a Graph into n Connected Factors
• Edge-Disjoint Spanning Trees of Finite Graphs
• Title not available (Why is that?)
• Geometric Fundamentals of Robotics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Rigid components in molecular graphs
• A matroid on hypergraphs, with applications in scene analysis and geometry
• The Union of Matroids and the Rigidity of Frameworks
• Title not available (Why is that?)
• Linking (n-2)-dimensional panels in n-space. II: (n-2,2)-frameworks and body and Hinge structures
• Fractional arboricity, strength, and principal partitions in graphs and matroids
• Optimal attack and reinforcement of a network
• The Algebraic Geometry of Motions of Bar-and-Body Frameworks
• On the exterior calculus of invariant theory
• Pin-collinear body-and-pin frameworks and the molecular conjecture
• The generic rank of body-bar-and-hinge frameworks
• On the rigidity of molecular graphs
• Brick partitions of graphs
• Grassmann-Cayley algebra and robotics
• Title not available (Why is that?)
• Connectivity and edge-disjoint spanning trees
• Rigidity and polarity. I: Statics of sheet structures

Cited In (29)

• Proof of stability of the hydrogen molecule
• The unassigned distance geometry problem
• Linking rigid bodies symmetrically
• Stability of Z2 configurations in 3D
• Rigid components in molecular graphs
• The rigidity of infinite graphs
• Equivalence of continuous, local and infinitesimal rigidity in normed spaces
• Globally rigid powers of graphs
• Highly connected molecular graphs are rigid in three dimensions
• One Brick at a Time: A Survey of Inductive Constructions in Rigidity Theory
• An inductive construction of minimally rigid body-hinge simple graphs
• Symmetric isostatic frameworks with \(\ell^1\) or \(\ell^\infty\) distance constraints
• Rigidity for sticky discs
• Graded sparse graphs and body-length-direction frameworks
• Two applications of the divide \(\&\) conquer principle in the molecular sciences
• \(k\)-plane matroids and Whiteley's flattening conjectures
• Characterizing redundant rigidity and redundant global rigidity of body-hinge graphs
• Title not available (Why is that?)
• Generic global rigidity of body-hinge frameworks
• Global rigidity of triangulated manifolds
• Rigidity of Random Subgraphs and Eigenvalues of Stiffness Matrices
• And yet it moves: Paradoxically moving linkages in kinematics
• Sufficient conditions for the global rigidity of periodic graphs
• When is a planar rod configuration infinitesimally rigid?
• How does symmetry impact the flexibility of proteins?
• An Inductive Construction of Minimally Rigid Body-Hinge Simple Graphs
• On rigid origami I: piecewise-planar paper with straight-line creases
• Exploring the rigidity of planar configurations of points and rods
• Sufficient conditions for the global rigidity of graphs

This page was built for publication: A proof of the molecular conjecture

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q540449)