|
|
| Line 1: |
Line 1: |
| In the mathematics of [[structural rigidity]], a '''rigidity matroid''' is a [[matroid]] that describes the number of [[Degrees of freedom (mechanics)|degrees of freedom]] of an [[undirected graph]] with rigid edges of fixed lengths, embedded into [[Euclidean space]]. In a rigidity matroid for a graph with ''n'' vertices in ''d''-dimensional space, a set of edges that defines a subgraph with ''k'' degrees of freedom has [[matroid rank]] ''dn'' − ''k''. A set of edges is independent if and only if, for every edge in the set, removing the edge would increase the number of degrees of freedom of the remaining subgraph.<ref name="graver">{{citation
| | The American Dietetics Association recommends a protein intake of 0.<br>The female baby drum large package, you'll clearly see your belly drum up high, as if the baby's butt stick up last way is to look at fetal movement. Mostly male baby move up here to kick it, although he also stood up but few, while the female baby will be kicking, but more like the waves of the stomach, a little after another prospective Members Mom above points can be measured from the baby is male or female baby, but after many mothers personally verified, there are a small part of the case will be exceptions, is not entirely accurate.<br>http://optimistix.com/coach/?key=coach-factory-out-40 <br /> http://optimistix.com/coach/?key=coach-factory-free-shipping-promo-43 <br /> http://optimistix.com/coach/?key=coach-outlet-coach-factory-60 <br /> http://optimistix.com/coach/?key=coach-factory-outlet-clearance-27 <br /> http://optimistix.com/coach/?key=coach-factory-outlet-canada-77 <br /> <br>http://wikis.ala. If you loved this article and also you would like to get more info about [http://www.restaurantcalcuta.com/outlet/ugg.asp Uggs Outlet Online] please visit our web-site. org/acrl/index.php/Warning_Signs_on_Bags_Outlet_You_Should_Know<br>http://juventud.briviesca.es/anuncio/what-you-dont-know-about-bags-outlet-could-be-costing-to-more-than-you-think |
| | last = Graver | first = Jack E.
| |
| | doi = 10.1137/0404032
| |
| | issue = 3
| |
| | journal = SIAM Journal on Discrete Mathematics
| |
| | mr = 1105942
| |
| | pages = 355–368
| |
| | title = Rigidity matroids
| |
| | volume = 4
| |
| | year = 1991}}.</ref><ref name="w92">{{citation
| |
| | last = Whiteley | first = Walter
| |
| | contribution = Matroids and rigid structures
| |
| | doi = 10.1017/CBO9780511662041.002
| |
| | location = Cambridge
| |
| | mr = 1165538
| |
| | pages = 1–53
| |
| | publisher = Cambridge Univ. Press
| |
| | series = Encyclopedia of Mathematics and its Applications
| |
| | title = Matroid Applications
| |
| | volume = 40
| |
| | year = 1992}}.</ref><ref name="whiteley">{{citation
| |
| | last = Whiteley | first = Walter
| |
| | contribution = Some matroids from discrete applied geometry
| |
| | doi = 10.1090/conm/197/02540
| |
| | location = Providence, RI
| |
| | mr = 1411692
| |
| | pages = 171–311
| |
| | publisher = American Mathematical Society
| |
| | series = Contemporary Mathematics
| |
| | title = Matroid theory (Seattle, WA, 1995)
| |
| | volume = 197
| |
| | year = 1996}}.</ref>
| |
| | |
| ==Definition==
| |
| A ''framework'' is an [[undirected graph]], embedded into ''d''-dimensional Euclidean space by providing a ''d''-tuple of [[Cartesian coordinate]]s for each vertex of the graph. From a framework with ''n'' edges and ''m'' vertices, one can define a matrix with ''m'' rows and ''nd'' columns, an expanded version of the [[incidence matrix]] of the graph called the ''rigidity matrix''. In this matrix, the entry in row ''e'' and column (''v'',''i'') is zero if ''v'' is not an endpoint of edge ''e''. If, on the other hand, edge ''e'' has vertices ''u'' and ''v'' as endpoints, then the value of the entry is the difference between the ''i''th coordinates of ''v'' and ''u''.<ref name="graver"/><ref name="whiteley"/>
| |
| | |
| The rigidity matroid of the given framework is a [[linear matroid]] that has as its elements the edges of the graph. A set of edges is independent, in the matroid, if it corresponds to a set of rows of the rigidity matrix that is [[linear independence|linearly independent]]. A framework is called ''generic'' if the coordinates of its vertices are [[algebraic independence|algebraically independent]] real numbers. Any two generic frameworks on the same graph ''G'' determine the same rigidity matroid, regardless of their specific coordinates. This is the (''d''-dimensional) rigidity matroid of ''G''.<ref name="graver"/><ref name="whiteley"/>
| |
| | |
| ==Statics==
| |
| A ''load'' on a framework is a system of forces on the vertices (represented as vectors). A ''stress'' is a special case of a load, in which equal and opposite forces are applied to the two endpoints of each edge (which may be imagined as a spring) and the forces formed in this way are added at each vertex. Every stress is an ''equilibrium load'', a load that does not impose any translational force on the whole system (the sum of its force vectors is zero) nor any rotational force. A linear dependence among the rows of the rigidity matrix may be represented as a ''self-stress'', a assignment of equal and opposite forces to the endpoints of each edge that is not identically zero but that adds to zero at every vertex. Thus, a set of edges forms an independent set in the rigidity matroid if and only if it has no self-stress.<ref name="whiteley"/>
| |
| | |
| The vector space of all possible loads, on a system of ''n'' vertices, has dimension ''dn'', among which the equilibrium loads form a subspace of dimension
| |
| <math>dn-\binom{d+1}{2}</math>. An independent set in the rigidity matroid has a system of equilibrium loads whose dimension equals the cardinality of the set, so the maximum rank that any set in the matroid can have is <math>dn-\binom{d+1}{2}</math>. If a set has this rank, it follows that its set of stresses is the same as the space of equilibrium loads. Alternatively and equivalently, in this case every equilibrium load on the framework may be ''resolved'' by a stress that generates an equal and opposite set of forces, and the framework is said to be statically rigid.<ref name="whiteley"/>
| |
| | |
| ==Kinematics==
| |
| If the vertices of a framework are in a motion, then that motion may be described over small scales of distance by its [[gradient]], a vector for each vertex specifying its speed and direction. The gradient describes a linearized approximation to the actual motion of the points, in which each point moves at constant velocity in a straight line. The gradient may be described as a row vector that has one real number coordinate for each pair <math>(v,i)</math> where <math>v</math> is a vertex of the framework and <math>i</math> is the index of one of the Cartesian coordinates of <math>d</math>-dimensional space; that is, the dimension of the gradient is the same as the width of the rigidity matrix.<ref name="graver"/><ref name="whiteley"/>
| |
| | |
| If the edges of the framework are assumed to be rigid bars that can neither expand nor contract (but can freely rotate) then any motion respecting this rigidity must preserve the lengths of the edges: the derivative of length, as a function of the time over which the motion occurs, must remain zero. This condition may be expressed in linear algebra as a constraint that the gradient vector of the motion of the vertices must have zero [[inner product]] with the row of the rigidity matrix that represents the given edge. Thus, the family of gradients of (infinitesimally) rigid motions is given by the [[nullspace]] of the rigidity matrix.<ref name="graver"/><ref name="whiteley"/> For frameworks that are not in generic position, it is possible that some infinitesimally rigid motions (vectors in the nullspace of the rigidity matrix) are not the gradients of any continuous motion, but this cannot happen for generic frameworks.<ref name="w92"/>
| |
| | |
| A rigid motion of the framework is a motion such that, at each point in time, the framework is [[congruence (geometry)|congruent]] to its original configuration. Rigid motions include translations and rotations of Euclidean space; the gradients of rigid motions form a linear space having the translations and rotations as bases, of dimension <math>\binom{d+1}{2}</math>, which must always be a subspace of the nullspace of the rigidity matrix.
| |
| Because the nullspace always has at least this dimension, the rigidity matroid can have rank at most <math>dn-\binom{d+1}{2}</math>, and when it does have this rank the only motions that preserve the lengths of the edges of the framework are the rigid motions. In this case the framework is said to be first-order (or infinitesimally) rigid.<ref name="graver"/><ref name="whiteley"/> More generally, an edge <math>e</math> belongs to the matroid closure operation of a set <math>S</math> if and only if there does not exist a continuous motion of the framework that changes the length of <math>e</math> but leaves the lengths of the edges in <math>S</math> unchanged.<ref name="graver"/>
| |
| | |
| Although defined in different terms (column vectors versus row vectors, or forces versus motions) static rigidity and first-order rigidity reduce to the same properties of the underlying matrix and therefore coincide with each other. In two dimensions, the generic rigidity matroid also describes the number of degrees of freedom of a different kind of motion, in which each edge is constrained to stay parallel to its original position rather than being constrained to maintain the same length; however, the equivalence between rigidity and parallel motion breaks down in higher dimensions.<ref name="whiteley"/>
| |
| | |
| ==Unique realization==
| |
| [[File:Diamond graph.svg|thumb|The [[diamond graph]], generically rigid but not uniquely realizable]]
| |
| A framework has a ''unique realization'' in ''d''-dimensional space if every placement of the same graph with the same edge lengths is congruent to it. Such a framework must necessarily be rigid, because otherwise there exists a continuous motion bringing it to a non-congruent placement with the same edge lengths, but unique realizability is stronger than rigidity. For instance, the [[diamond graph]] (two triangles sharing an edge) is rigid in two dimensions, but it is not uniquely realizable because it has two different realizations, one in which the triangles are on opposite sides of the shared edge and one in which they are both on the same side. Uniquely realizable graphs are important in applications that involve reconstruction of shapes from distances, such as [[triangulation]] in land surveying,<ref name="molecule">{{citation
| |
| | last = Hendrickson | first = Bruce | |
| | doi = 10.1137/0805040
| |
| | issue = 4
| |
| | journal = SIAM Journal on Optimization
| |
| | mr = 1358807
| |
| | pages = 835–857
| |
| | title = The molecule problem: exploiting structure in global optimization
| |
| | volume = 5
| |
| | year = 1995}}.</ref> the determination of the positions of the nodes in a [[wireless sensor network]],<ref>{{citation
| |
| | last1 = Eren | first1 = T.
| |
| | last2 = Goldenberg | first2 = O.K.
| |
| | last3 = Whiteley | first3 = W.
| |
| | last4 = Yang | first4 = Y.R.
| |
| | last5 = Morse | first5 = A.S.
| |
| | last6 = Anderson | first6 = B.D.O.
| |
| | last7 = Belhumeur | first7 = P.N.
| |
| | contribution = Rigidity, computation, and randomization in network localization
| |
| | doi = 10.1109/INFCOM.2004.1354686
| |
| | pages = 2673–2684
| |
| | title = Proc. Twenty-third Annual Joint Conference of the IEEE Computer and Communications Societies (INFOCOM 2004)
| |
| | volume = 4
| |
| | year = 2004}}.</ref> and the reconstruction of conformations of molecules via [[nuclear magnetic resonance spectroscopy]].<ref name="molecule"/>
| |
| | |
| Bruce Hendrickson defined a graph to be ''redundantly rigid'' if it remains rigid after removing any one of its edges. In matroidal terms, this means that the rigidity matroid has the full rank <math>dn-\binom{d+1}{2}</math> and that the matroid does not have any coloops. Hendrickson
| |
| proved that every uniquely realizable framework (with generic edge lengths) is either a [[complete graph]] or a <math>(d+1)</math>-[[k-vertex-connected graph|vertex-connected]], redundantly rigid graph, and he conjectured that this is an exact characterization of the uniquely realizable frameworks.<ref>{{citation
| |
| | last = Hendrickson | first = Bruce | |
| | doi = 10.1137/0221008
| |
| | issue = 1
| |
| | journal = SIAM Journal on Computing
| |
| | mr = 1148818
| |
| | pages = 65–84
| |
| | title = Conditions for unique graph realizations
| |
| | volume = 21
| |
| | year = 1992}}.</ref> The conjecture is true for one and two dimensions; in the one-dimensional case, for instance, a graph is uniquely realizable if and only if it is connected and [[Bridge (graph theory)|bridgeless]].<ref>{{citation
| |
| | last1 = Jackson | first1 = Bill
| |
| | last2 = Jordán | first2 = Tibor
| |
| | doi = 10.1016/j.jctb.2004.11.002
| |
| | issue = 1
| |
| | journal = [[Journal of Combinatorial Theory]]
| |
| | mr = 2130278
| |
| | pages = 1–29
| |
| | series = Series B
| |
| | title = Connected rigidity matroids and unique realizations of graphs
| |
| | volume = 94
| |
| | year = 2005}}.</ref> However, Henrickson's conjecture is false for three or more dimensions.<ref>{{citation
| |
| | last = Connelly | first = Robert | authorlink = Robert Connelly
| |
| | contribution = On generic global rigidity
| |
| | location = Providence, RI
| |
| | mr = 1116345
| |
| | pages = 147–155
| |
| | publisher = American Mathematical Society
| |
| | series = DIMACS Series on Discrete Mathematics and Theoretical Computer Science
| |
| | title = Applied Geometry and Discrete Mathematics
| |
| | volume = 4
| |
| | year = 1991}}.</ref> For frameworks that are not generic, it is NP-hard to determine whether a given framework is uniquely realizable.<ref>{{citation
| |
| | last = Saxe | first = J. B.
| |
| | location = Pittsburgh, PA
| |
| | publisher = Computer Science Department, Carnegie-Mellon University
| |
| | series = Technical Report
| |
| | title = Embeddability of weighted graphs in ''k''-space is strongly NP-hard
| |
| | year = 1979}}. As cited by {{harvtxt|Jackson|Jordán|2005}}.</ref>
| |
| | |
| ==Relation to sparsity==
| |
| {{harvtxt|Streinu|Theran|2008}} define a graph as being <math>(k,l)</math>-sparse if every nonempty subgraph with <math>n</math> vertices has at most <math>kn-l</math> edges, and <math>(k,l)</math>-tight if it is <math>(k,l)</math>-sparse and has exactly <math>kn-l</math> edges.<ref>{{citation
| |
| | last1 = Streinu | first1 = I. | author1-link = Ileana Streinu | |
| | last2 = Theran | first2 = L.
| |
| | arxiv = math/0703921
| |
| | doi = 10.1016/j.ejc.2008.12.018
| |
| | issue = 8
| |
| | journal = [[European Journal of Combinatorics]]
| |
| | pages = 1944–1964
| |
| | title = Sparse hypergraphs and pebble game algorithms
| |
| | volume = 30
| |
| | year = 2009}}.</ref> From the consideration of loads and stresses it can be seen that a set of edges that is independent in the ridigity matroid forms a <math>(d,\binom{d+1}{2})</math>-sparse graph, for if not there would exist a subgraph whose number of edges would exceed the dimension of its space of equilibrium loads, from which it follows that it would have a self-stress.
| |
| By similar reasoning, a set of edges that is both independent and rigid forms a <math>(d,\binom{d+1}{2})</math>-tight graph. For instance, in one dimension, the independent sets form the edge sets of forests, (1,1)-sparse graphs, and the independent rigid sets form the edge sets of trees, (1,1)-tight graphs. In this case the rigidity matroid of a framework is the same as the [[graphic matroid]] of the corresponding graph.<ref name="w92"/>
| |
| | |
| In two dimensions, {{harvtxt|Laman|1970}} showed that the same characterization is true: the independent sets form the edge sets of (2,3)-sparse graphs and the independent rigid sets form the edge sets of (2,3)-tight graphs.<ref>{{citation
| |
| | last = Laman | first = G. | authorlink = Gerard Laman
| |
| | doi = 10.1007/BF01534980
| |
| | issue = 4
| |
| | journal = J. Engineering Mathematics
| |
| | mr = 0269535
| |
| | pages = 331–340
| |
| | title = On graphs and the rigidity of plane skeletal structures
| |
| | volume = 4
| |
| | year = 1970}}.</ref> Based on this work the (2,3)-tight graphs (the graphs of minimally rigid generic frameworks in two dimensions) have come to be known as [[Laman graph]]s. The family of Laman graphs on a fixed set of <math>n</math> vertices forms the set of bases of the rigidity matroid of a [[complete graph]], and more generally for every graph <math>G</math> that forms a rigid framework in two dimensions, the spanning Laman subgraphs of <math>G</math> are the bases of the rigidity matroid of <math>G</math>.
| |
| | |
| However, in higher dimensions not every <math>(d,\binom{d+1}{2})</math>-tight graph is minimally rigid, and characterizing the minimally rigid graphs (the bases of the rigidity matroid of the complete graph) is an important open problem.<ref>{{citation
| |
| | last1 = Jackson | first1 = Bill
| |
| | last2 = Jordán | first2 = Tibor
| |
| | doi = 10.1142/S0218195906002117
| |
| | issue = 5-6
| |
| | journal = International Journal of Computational Geometry & Applications
| |
| | mr = 2269396
| |
| | pages = 415–429
| |
| | title = On the rank function of the 3-dimensional rigidity matroid
| |
| | url = http://web.cs.elte.hu/egres/tr/egres-05-09.pdf
| |
| | volume = 16
| |
| | year = 2006}}.</ref>
| |
| | |
| ==References==
| |
| {{reflist}}
| |
| | |
| [[Category:Mathematics of rigidity]]
| |
| [[Category:Matroid theory]]
| |