Showing 1–37 of 37 results for author: Streinu, I

Enumerating combinatorial resultant decompositions of 2-connected rigidity circuits

Authors: Goran Malic, Ileana Streinu

Abstract: A rigidity circuit (in 2D) is a minimal dependent set in the rigidity matroid, i.e. a minimal graph supporting a non-trivial stress in any generic placement of its vertices in $\mathbb R^2$. Any rigidity circuit on $n\geq 5$ vertices can be obtained from rigidity circuits on a fewer number of vertices by applying the combinatorial resultant (CR) operation. The inverse operation is called a combina… ▽ More A rigidity circuit (in 2D) is a minimal dependent set in the rigidity matroid, i.e. a minimal graph supporting a non-trivial stress in any generic placement of its vertices in $\mathbb R^2$. Any rigidity circuit on $n\geq 5$ vertices can be obtained from rigidity circuits on a fewer number of vertices by applying the combinatorial resultant (CR) operation. The inverse operation is called a combinatorial resultant decomposition (CR-decomp). Any rigidity circuit on $n\geq 5$ vertices can be successively decomposed into smaller circuits, until the complete graphs $K_4$ are reached. This sequence of CR-decomps has the structure of a rooted binary tree called the combinatorial resultant tree (CR-tree). A CR-tree encodes an elimination strategy for computing circuit polynomials via Sylvester resultants. Different CR-trees lead to elimination strategies that can vary greatly in time and memory consumption. It is an open problem to establish criteria for optimal CR-trees, or at least to characterize those CR-trees that lead to good elimination strategies. In [12] we presented an algorithm for enumerating CR-trees where we give the algorithms for decomposing 3-connected rigidity circuits in polynomial time. In this paper we focus on those circuits that are not 3-connected, which we simply call 2-connected. In order to enumerate CR-decomps of 2-connected circuits $G$, a brute force exp-time search has to be performed among the subgraphs induced by the subsets of $V(G)$. This exp-time bottleneck is not present in the 3-connected case. In this paper we will argue that we do not have to account for all possible CR-decomps of 2-connected rigidity circuits to find a good elimination strategy; we only have to account for those CR-decomps that are a 2-split, all of which can be enumerated in polynomial time. We present algorithms and computational evidence in support of this heuristic. △ Less

Submitted 21 September, 2023; originally announced September 2023.

Comments: 15 pages, 8 figures

Computing Circuit Polynomials in the Algebraic Rigidity Matroid

Authors: Goran Malic, Ileana Streinu

Abstract: We present an algorithm for computing circuit polynomials in the algebraic rigidity matroid $\mathcal{A}(\text{CM}_n)$ associated to the Cayley-Menger ideal CM$_n$ for $n$ points in 2D. It relies on combinatorial resultants, a new operation on graphs that captures properties of the Sylvester resultant of two polynomials in this ideal. We show that every rigidity circuit has a construction tree fro… ▽ More We present an algorithm for computing circuit polynomials in the algebraic rigidity matroid $\mathcal{A}(\text{CM}_n)$ associated to the Cayley-Menger ideal CM$_n$ for $n$ points in 2D. It relies on combinatorial resultants, a new operation on graphs that captures properties of the Sylvester resultant of two polynomials in this ideal. We show that every rigidity circuit has a construction tree from K4 graphs based on this operation. Our algorithm performs an algebraic elimination guided by such a construction tree, and uses classical resultants, factorization and ideal membership. To highlight its effectiveness, we implemented the algorithm in Mathematica: it took less than 15 seconds on an example where a Gröbner Basis calculation took 5 days and 6 hrs. Additional speed-ups are obtained using non-$K_4$ generators of the Cayley-Menger ideal and simple variations on our main algorithm. △ Less

Submitted 24 April, 2023; originally announced April 2023.

Comments: To appear in SIAGA. arXiv admin note: substantial text overlap with arXiv:2103.08432

Faster algorithms for circuits in the Cayley-Menger algebraic matroid

Authors: Goran Malić, Ileana Streinu

Abstract: A classical problem in Distance Geometry, with multiple practical applications (in molecular structure determination, sensor network localization etc.) is to find the possible placements of the vertices of a graph with given edge lengths. For minimally rigid graphs, the double-exponential Gröbner Bases algorithm with an elimination order can be applied, in theory, but it is impractical even for sm… ▽ More A classical problem in Distance Geometry, with multiple practical applications (in molecular structure determination, sensor network localization etc.) is to find the possible placements of the vertices of a graph with given edge lengths. For minimally rigid graphs, the double-exponential Gröbner Bases algorithm with an elimination order can be applied, in theory, but it is impractical even for small instances. By relating the problem to the computation of circuit polynomials in the Cayley-Menger ideal, we recently proposed an algebraic-combinatorial approach and an elimination algorithm for circuit polynomials [23]. It is guided by a tree structure whose leaves correspond to complete $K_4$ graphs and whose nodes perform algebraic resultant operations. In this paper we uncover further combinatorial structure in the Cayley-Menger algebraic matroid that leads to an extension of our algorithm. In particular, we generalize the combinatorial resultant operation of [23] to take advantage of the non-circuit generators and irreducible polynomials in the Cayley-Menger ideal and use them as leaves of the tree guiding the elimination. Our new method has been implemented in Mathematica and allows previously unobtainable calculations to be carried out. In particular, the $K_{3,3}$-plus-one circuit polynomial, with over one million terms in 10 variables and whose calculation crashed after several days with the previous method of [23], succeeded now in approx. 30 minutes. △ Less

Submitted 28 November, 2021; originally announced November 2021.

Comments: 22 pages, 7 figures. arXiv admin note: text overlap with arXiv:2103.08432

Combinatorial Resultants in the Algebraic Rigidity Matroid

Authors: Goran Malić, Ileana Streinu

Abstract: Motivated by a rigidity-theoretic perspective on the Localization Problem in 2D, we develop an algorithm for computing circuit polynomials in the algebraic rigidity matroid associated to the Cayley-Menger ideal for $n$ points in 2D. We introduce combinatorial resultants, a new operation on graphs that captures properties of the Sylvester resultant of two polynomials in the algebraic rigidity matro… ▽ More Motivated by a rigidity-theoretic perspective on the Localization Problem in 2D, we develop an algorithm for computing circuit polynomials in the algebraic rigidity matroid associated to the Cayley-Menger ideal for $n$ points in 2D. We introduce combinatorial resultants, a new operation on graphs that captures properties of the Sylvester resultant of two polynomials in the algebraic rigidity matroid. We show that every rigidity circuit has a construction tree from $K_4$ graphs based on this operation. Our algorithm performs an algebraic elimination guided by the construction tree, and uses classical resultants, factorization and ideal membership. To demonstrate its effectiveness, we implemented our algorithm in Mathematica: it took less than 15 seconds on an example where a Groebner Basis calculation took 5 days and 6 hrs. △ Less

Submitted 15 March, 2021; originally announced March 2021.

Comments: 32 pages, 9 figures. This is the full paper accompanying the extended abstract of the same title (to appear in SoCG 2021)

Auxetic regions in large deformations of periodic frameworks

Authors: Ciprian S. Borcea, Ileana Streinu

Abstract: In materials science, auxetic behavior refers to lateral widening upon stretching. We investigate the problem of finding domains of auxeticity in global deformation spaces of periodic frameworks. Case studies include planar periodic mechanisms constructed from quadrilaterals with diagonals as periods and other frameworks with two vertex orbits. We relate several geometric and kinematic description… ▽ More In materials science, auxetic behavior refers to lateral widening upon stretching. We investigate the problem of finding domains of auxeticity in global deformation spaces of periodic frameworks. Case studies include planar periodic mechanisms constructed from quadrilaterals with diagonals as periods and other frameworks with two vertex orbits. We relate several geometric and kinematic descriptions. △ Less

Submitted 27 May, 2018; originally announced May 2018.

Comments: Presented at the International Conference on "Interdisciplinary Applications of Kinematics" (IAK18), Lima, Peru, March 2018

Periodic auxetics: Structure and design

Authors: Ciprian S. Borcea, Ileana Streinu

Abstract: Materials science has adopted the term of auxetic behavior for structural deformations where stretching in some direction entails lateral widening, rather than lateral shrinking. Most studies, in the last three decades, have explored repetitive or cellular structures and used the notion of negative Poisson's ratio as the hallmark of auxetic behavior. However, no general auxetic principle has been… ▽ More Materials science has adopted the term of auxetic behavior for structural deformations where stretching in some direction entails lateral widening, rather than lateral shrinking. Most studies, in the last three decades, have explored repetitive or cellular structures and used the notion of negative Poisson's ratio as the hallmark of auxetic behavior. However, no general auxetic principle has been established from this perspective. In the present paper, we show that a purely geometric approach to periodic auxetics is apt to identify essential characteristics of frameworks with auxetic deformations and can generate a systematic and endless series of periodic auxetic designs. The critical features refer to convexity properties expressed through families of homothetic ellipsoids. △ Less

Submitted 13 August, 2017; originally announced August 2017.

MSC Class: 52C25; 74N10

Auxetic deformations and elliptic curves

Authors: Ciprian S. Borcea, Ileana Streinu

Abstract: The problem of detecting auxetic behavior, originating in materials science and mathematical crystallography, refers to the property of a flexible periodic bar-and-joint framework to widen, rather than shrink, when stretched in some direction. The only known algorithmic solution for detecting infinitesimal auxeticity is based on the rather heavy machinery of fixed-dimension semi-definite programmi… ▽ More The problem of detecting auxetic behavior, originating in materials science and mathematical crystallography, refers to the property of a flexible periodic bar-and-joint framework to widen, rather than shrink, when stretched in some direction. The only known algorithmic solution for detecting infinitesimal auxeticity is based on the rather heavy machinery of fixed-dimension semi-definite programming. In this paper we present a new, simpler algorithmic approach which is applicable to a natural family of 3D periodic bar-and-joint frameworks with 3 degrees-of-freedom. This class includes most zeolite structures, which are important for applications in computational materials science. We show that the existence of auxetic deformations is related to properties of an associated elliptic curve. A fast algorithm for recognizing auxetic capabilities is obtained via the classical Aronhold invariants of the cubic form defining the curve. △ Less

Submitted 6 December, 2016; originally announced December 2016.

MSC Class: 52C25; 74N10

New principles for auxetic periodic design

Authors: Ciprian S. Borcea, Ileana Streinu

Abstract: We show that, for any given dimension $d\geq 2$, the range of distinct possible designs for periodic frameworks with auxetic capabilities is infinite. We rely on a purely geometric approach to auxetic trajectories developed within our general theory of deformations of periodic frameworks. We show that, for any given dimension $d\geq 2$, the range of distinct possible designs for periodic frameworks with auxetic capabilities is infinite. We rely on a purely geometric approach to auxetic trajectories developed within our general theory of deformations of periodic frameworks. △ Less

Submitted 6 August, 2016; originally announced August 2016.

MSC Class: 52C25; 74N10

Geometric deformations of sodalite frameworks

Authors: Ciprian S. Borcea, Ileana Streinu

Abstract: In mathematical crystallography and computational materials science, it is important to infer flexibility properties of framework materials from their geometric representation. We study combinatorial, geometric and kinematic properties for frameworks modeled on sodalite. In mathematical crystallography and computational materials science, it is important to infer flexibility properties of framework materials from their geometric representation. We study combinatorial, geometric and kinematic properties for frameworks modeled on sodalite. △ Less

Submitted 17 June, 2016; originally announced June 2016.

MSC Class: 52C25; 74N10

Expansive periodic mechanisms

Authors: Ciprian S. Borcea, Ileana Streinu

Abstract: A one-parameter deformation of a periodic bar-and-joint framework is expansive when all distances between joints increase or stay the same. In dimension two, expansive behavior can be fully explained through our theory of periodic pseudo-triangulations. However, higher dimensions present new challenges. In this paper we study a number of periodic frameworks with expansive capabilities in dimension… ▽ More A one-parameter deformation of a periodic bar-and-joint framework is expansive when all distances between joints increase or stay the same. In dimension two, expansive behavior can be fully explained through our theory of periodic pseudo-triangulations. However, higher dimensions present new challenges. In this paper we study a number of periodic frameworks with expansive capabilities in dimension $d\geq 3$ and register both similarities and contrasts with the two-dimensional case. △ Less

Submitted 11 July, 2015; originally announced July 2015.

MSC Class: 55C25; 74N10

Deforming Diamond

Authors: Ciprian S. Borcea, Ileana Streinu

Abstract: For materials science, diamond crystals are almost unrivaled for hardness and a range of other properties. Yet, when simply abstracting the carbon bonding structure as a geometric bar-and-joint periodic framework, it is far from rigid. We study the geometric deformations of this type of framework in arbitrary dimension d, with particular regard to the volume variation of a unit cell. For materials science, diamond crystals are almost unrivaled for hardness and a range of other properties. Yet, when simply abstracting the carbon bonding structure as a geometric bar-and-joint periodic framework, it is far from rigid. We study the geometric deformations of this type of framework in arbitrary dimension d, with particular regard to the volume variation of a unit cell. △ Less

Submitted 14 January, 2015; originally announced January 2015.

MSC Class: 52C25; 74N10 ACM Class: I.3.5

Geometric auxetics

Authors: Ciprian S. Borcea, Ileana Streinu

Abstract: We formulate a mathematical theory of auxetic behavior based on one-parameter deformations of periodic frameworks. Our approach is purely geometric, relies on the evolution of the periodicity lattice and works in any dimension. We demonstrate its usefulness by predicting or recognizing, without experiment, computer simulations or numerical approximations, the auxetic capabilities of several well-k… ▽ More We formulate a mathematical theory of auxetic behavior based on one-parameter deformations of periodic frameworks. Our approach is purely geometric, relies on the evolution of the periodicity lattice and works in any dimension. We demonstrate its usefulness by predicting or recognizing, without experiment, computer simulations or numerical approximations, the auxetic capabilities of several well-known structures available in the literature. We propose new principles of auxetic design and rely on the stronger notion of expansive behavior to provide an infinite supply of planar auxetic mechanisms and several new three-dimensional structures. △ Less

Submitted 22 November, 2015; v1 submitted 14 January, 2015; originally announced January 2015.

MSC Class: 52C25; 74N10 ACM Class: I.3.5

Liftings and stresses for planar periodic frameworks

Authors: Ciprian S. Borcea, Ileana Streinu

Abstract: We formulate and prove a periodic analog of Maxwell's theorem relating stressed planar frameworks and their liftings to polyhedral surfaces with spherical topology. We use our lifting theorem to prove deformation and rigidity-theoretic properties for planar periodic pseudo-triangulations, generalizing features known for their finite counterparts. These properties are then applied to questions orig… ▽ More We formulate and prove a periodic analog of Maxwell's theorem relating stressed planar frameworks and their liftings to polyhedral surfaces with spherical topology. We use our lifting theorem to prove deformation and rigidity-theoretic properties for planar periodic pseudo-triangulations, generalizing features known for their finite counterparts. These properties are then applied to questions originating in mathematical crystallography and materials science, concerning planar periodic auxetic structures and ultrarigid periodic frameworks. △ Less

Submitted 14 January, 2015; originally announced January 2015.

Comments: An extended abstract of this paper has appeared in Proc. 30th annual Symposium on Computational Geometry (SOCG'14), Kyoto, Japan, June 2014

MSC Class: 52C25; 74N10 ACM Class: I.3.5

Nucleation-free $3D$ rigidity

Authors: Jialong Cheng, Meera Sitharam, Ileana Streinu

Abstract: When all non-edge distances of a graph realized in $\mathbb{R}^{d}$ as a {\em bar-and-joint framework} are generically {\em implied} by the bar (edge) lengths, the graph is said to be {\em rigid} in $\mathbb{R}^{d}$. For $d=3$, characterizing rigid graphs, determining implied non-edges and {\em dependent} edge sets remains an elusive, long-standing open problem. One obstacle is to determine when… ▽ More When all non-edge distances of a graph realized in $\mathbb{R}^{d}$ as a {\em bar-and-joint framework} are generically {\em implied} by the bar (edge) lengths, the graph is said to be {\em rigid} in $\mathbb{R}^{d}$. For $d=3$, characterizing rigid graphs, determining implied non-edges and {\em dependent} edge sets remains an elusive, long-standing open problem. One obstacle is to determine when implied non-edges can exist without non-trivial rigid induced subgraphs, i.e., {\em nucleations}, and how to deal with them. In this paper, we give general inductive construction schemes and proof techniques to generate {\em nucleation-free graphs} (i.e., graphs without any nucleation) with implied non-edges. As a consequence, we obtain (a) dependent graphs in $3D$ that have no nucleation; and (b) $3D$ nucleation-free {\em rigidity circuits}, i.e., minimally dependent edge sets in $d=3$. It additionally follows that true rigidity is strictly stronger than a tractable approximation to rigidity given by Sitharam and Zhou \cite{sitharam:zhou:tractableADG:2004}, based on an inductive combinatorial characterization. As an independently interesting byproduct, we obtain a new inductive construction for independent graphs in $3D$. Currently, very few such inductive constructions are known, in contrast to $2D$. △ Less

Submitted 19 November, 2013; originally announced November 2013.

Frameworks with crystallographic symmetry

Authors: Ciprian S. Borcea, Ileana Streinu

Abstract: Periodic frameworks with crystallographic symmetry are investigated from the perspective of a general deformation theory of periodic bar-and-joint structures in $R^d$. It is shown that natural parametrizations provide affine section descriptions for families of frameworks with a specified graph and symmetry. A simple geometric setting for diaplacive phase transitions is obtained. Upper bounds are… ▽ More Periodic frameworks with crystallographic symmetry are investigated from the perspective of a general deformation theory of periodic bar-and-joint structures in $R^d$. It is shown that natural parametrizations provide affine section descriptions for families of frameworks with a specified graph and symmetry. A simple geometric setting for diaplacive phase transitions is obtained. Upper bounds are derived for the number of realizations of minimally rigid periodic graphs. △ Less

Submitted 20 October, 2011; originally announced October 2011.

MSC Class: 52C25; 74N10

Deformations of crystal frameworks

Authors: Ciprian S. Borcea, Ileana Streinu

Abstract: We apply our deformation theory of periodic bar-and-joint frameworks to tetrahedral crystal structures. The deformation space is investigated in detail for frameworks modelled on quartz, cristobalite and tridymite. We apply our deformation theory of periodic bar-and-joint frameworks to tetrahedral crystal structures. The deformation space is investigated in detail for frameworks modelled on quartz, cristobalite and tridymite. △ Less

Submitted 20 October, 2011; originally announced October 2011.

Periodic body-and-bar frameworks

Authors: Ciprian S. Borcea, Ileana Streinu, Shin-ichi Tanigawa

Abstract: Abstractions of crystalline materials known as periodic body-and-bar frameworks are made of rigid bodies connected by fixed-length bars and subject to the action of a group of translations. In this paper, we give a Maxwell-Laman characterization for generic minimally rigid periodic body-and-bar frameworks. As a consequence we obtain efficient polynomial time algorithms for their recognition based… ▽ More Abstractions of crystalline materials known as periodic body-and-bar frameworks are made of rigid bodies connected by fixed-length bars and subject to the action of a group of translations. In this paper, we give a Maxwell-Laman characterization for generic minimally rigid periodic body-and-bar frameworks. As a consequence we obtain efficient polynomial time algorithms for their recognition based on matroid partition and pebble games. △ Less

Submitted 20 October, 2011; originally announced October 2011.

Body-and-cad Geometric Constraint Systems

Authors: Kirk Haller, Audrey Lee-St. John, Meera Sitharam, Ileana Streinu, Neil White

Abstract: 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-… ▽ More 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. △ Less

Submitted 6 June, 2010; originally announced June 2010.

Comments: 33 pages, to appear in Computational Geometry: Theory and Applications (an abbreviated version appeared in: 24th Annual ACM Symposium on Applied Computing, Technical Track on Geometric Constraints and Reasoning GCR'09, Honolulu, HI, 2009)

MSC Class: 68R10; 05C85; 05C50 ACM Class: I.3.5; J.6; G.2.1

Flattening single-vertex origami: the non-expansive case

Authors: Gaiane Panina, Ileana Streinu

Abstract: A single-vertex origami is a piece of paper with straight-line rays called creases emanating from a fold vertex placed in its interior or on its boundary. The Single-Vertex Origami Flattening problem asks whether it is always possible to reconfigure the creased paper from any configuration compatible with the metric, to a flat, non-overlap** position, in such a way that the paper is not torn, st… ▽ More A single-vertex origami is a piece of paper with straight-line rays called creases emanating from a fold vertex placed in its interior or on its boundary. The Single-Vertex Origami Flattening problem asks whether it is always possible to reconfigure the creased paper from any configuration compatible with the metric, to a flat, non-overlap** position, in such a way that the paper is not torn, stretched and, for rigid origami, not bent anywhere except along the given creases. Streinu and Whiteley showed how to reduce the problem to the carpenter's rule problem for spherical polygons. Using spherical expansive motions, they solved the cases of open < πand closed <= 2πspherical polygons. Here, we solve the case of open polygons with total length between [π, 2π), which requires non-expansive motions. Our motion planning algorithm works in a finite number of discrete steps, for which we give precise bounds depending on both the number of links and the angle deficit. △ Less

Submitted 17 March, 2010; originally announced March 2010.

Comments: Accepted, to appear in Computational Geometry: Theory and applications.

Extremal Configurations of Hinge Structures

Authors: Ciprian S. Borcea, Ileana Streinu

Abstract: We study body-and-hinge and panel-and-hinge chains in R^d, with two marked points: one on the first body, the other on the last. For a general chain, the squared distance between the marked points gives a Morse-Bott function on a torus configuration space. Maximal configurations, when the distance between the two marked points reaches a global maximum, have particularly simple geometrical charac… ▽ More We study body-and-hinge and panel-and-hinge chains in R^d, with two marked points: one on the first body, the other on the last. For a general chain, the squared distance between the marked points gives a Morse-Bott function on a torus configuration space. Maximal configurations, when the distance between the two marked points reaches a global maximum, have particularly simple geometrical characterizations. The three-dimensional case is relevant for applications to robotics and molecular structures. △ Less

Submitted 7 December, 2008; originally announced December 2008.

MSC Class: 53A17

Singularities of Hinge Structures

Authors: Ciprian S. Borcea, Ileana Streinu

Abstract: Motivated by the hinge structure present in protein chains and other molecular conformations, we study the singularities of certain maps associated to body-and-hinge and panel-and-hinge chains. These are sequentially articulated systems where two consecutive rigid pieces are connected by a hinge, that is, a codimension two axis. The singularities, or critical points, correspond to a dimensiona… ▽ More Motivated by the hinge structure present in protein chains and other molecular conformations, we study the singularities of certain maps associated to body-and-hinge and panel-and-hinge chains. These are sequentially articulated systems where two consecutive rigid pieces are connected by a hinge, that is, a codimension two axis. The singularities, or critical points, correspond to a dimensional drop in the linear span of the axes, regarded as points on a Grassmann variety in its Plücker embedding. These results are valid in arbitrary dimension. The three dimensional case is also relevant in robotics. △ Less

Submitted 7 December, 2008; originally announced December 2008.

MSC Class: 53A17

Slider-pinning Rigidity: a Maxwell-Laman-type Theorem

Authors: Ileana Streinu, Louis Theran

Abstract: 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. 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. △ Less

Submitted 11 August, 2010; v1 submitted 30 November, 2007; originally announced December 2007.

Comments: Accepted, to appear in Discrete and Computational Geometry

MSC Class: 05B35; 68R10; 05C50

Natural realizations of sparsity matroids

Authors: Ileana Streinu, Louis Theran

Abstract: 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 na… ▽ More 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. △ Less

Submitted 20 December, 2010; v1 submitted 19 November, 2007; originally announced November 2007.

Comments: Corrected some typos from the previous version; to appear in Ars Mathematica Contemporanea

MSC Class: 05B35

Graded Sparse Graphs and Matroids

Authors: Audrey Lee, Ileana Streinu, Louis Theran

Abstract: Sparse graphs and their associated matroids play an important role in rigidity theory, where they capture the combinatorics of generically rigid structures. We define a new family called {\bf graded sparse graphs}, arising from generically pinned (completely immobilized) bar-and-joint frameworks and prove that they also form matroids. We address five problems on graded sparse graphs: {\bf Deci… ▽ More Sparse graphs and their associated matroids play an important role in rigidity theory, where they capture the combinatorics of generically rigid structures. We define a new family called {\bf graded sparse graphs}, arising from generically pinned (completely immobilized) bar-and-joint frameworks and prove that they also form matroids. We address five problems on graded sparse graphs: {\bf Decision}, {\bf Extraction}, {\bf Components}, {\bf Optimization}, and {\bf Extension}. We extend our {\bf pebble game algorithms} to solve them. △ Less

Submitted 21 December, 2007; v1 submitted 18 November, 2007; originally announced November 2007.

Comments: 9 pages, 1 figure; improved presentation and fixed typos

MSC Class: 05C85; 68R10; 05B35

Journal ref: Journal of Universal Computer Science, vol. 13, no. 10, (2007)

Characterizing Sparse Graphs by Map Decompositions

Authors: Ruth Haas, Audrey Lee, Ileana Streinu, Louis Theran

Abstract: A {\bf map} is a graph that admits an orientation of its edges so that each vertex has out-degree exactly 1. We characterize graphs which admit a decomposition into $k$ edge-disjoint maps after: (1) the addition of {\it any} $\ell$ edges; (2) the addition of {\it some} $\ell$ edges. These graphs are identified with classes of {\it sparse} graphs; the results are also given in matroidal terms. A {\bf map} is a graph that admits an orientation of its edges so that each vertex has out-degree exactly 1. We characterize graphs which admit a decomposition into $k$ edge-disjoint maps after: (1) the addition of {\it any} $\ell$ edges; (2) the addition of {\it some} $\ell$ edges. These graphs are identified with classes of {\it sparse} graphs; the results are also given in matroidal terms. △ Less

Submitted 29 April, 2007; originally announced April 2007.

MSC Class: 68R10; 05B35

Journal ref: Characterizing sparse graphs by map decompositions. J. Combin. Math. Combin. Comput. 62 (2007), 3--11

Sparsity-certifying Graph Decompositions

Authors: Ileana Streinu, Louis Theran

Abstract: We describe a new algorithm, the $(k,\ell)$-pebble game with colors, and use it obtain a characterization of the family of $(k,\ell)$-sparse graphs and algorithmic solutions to a family of problems concerning tree decompositions of graphs. Special instances of sparse graphs appear in rigidity theory and have received increased attention in recent years. In particular, our colored pebbles general… ▽ More We describe a new algorithm, the $(k,\ell)$-pebble game with colors, and use it obtain a characterization of the family of $(k,\ell)$-sparse graphs and algorithmic solutions to a family of problems concerning tree decompositions of graphs. Special instances of sparse graphs appear in rigidity theory and have received increased attention in recent years. In particular, our colored pebbles generalize and strengthen the previous results of Lee and Streinu and give a new proof of the Tutte-Nash-Williams characterization of arboricity. We also present a new decomposition that certifies sparsity based on the $(k,\ell)$-pebble game with colors. Our work also exposes connections between pebble game algorithms and previous sparse graph algorithms by Gabow, Gabow and Westermann and Hendrickson. △ Less

Submitted 13 December, 2008; v1 submitted 30 March, 2007; originally announced April 2007.

Comments: To appear in Graphs and Combinatorics

MSC Class: 05C85; 05C70; 68R10; 05B35

Sparse Hypergraphs and Pebble Game Algorithms

Authors: Ileana Streinu, Louis Theran

Abstract: A hypergraph $G=(V,E)$ is $(k,\ell)$-sparse if no subset $V'\subset V$ spans more than $k|V'|-\ell$ hyperedges. We characterize $(k,\ell)$-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.… ▽ More A hypergraph $G=(V,E)$ is $(k,\ell)$-sparse if no subset $V'\subset V$ spans more than $k|V'|-\ell$ hyperedges. We characterize $(k,\ell)$-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 behaviour in terms of the sparsity parameters $k$ and $\ell$. Our constructions extend the pebble games of Lee and Streinu from graphs to hypergraphs. △ Less

Submitted 30 March, 2007; originally announced March 2007.

MSC Class: 05C65; 05C85; 68R10; 05B35

Pebble Game Algorithms and Sparse Graphs

Authors: Audrey Lee, Ileana Streinu

Abstract: A multi-graph $G$ on $n$ vertices is $(k,\ell)$-sparse if every subset of $n'\leq n$ vertices spans at most $kn'- \ell$ edges. $G$ is {\em tight} if, in addition, it has exactly $kn - \ell$ edges. For integer values $k$ and $\ell \in [0, 2k)$, we characterize the $(k,\ell)$-sparse graphs via a family of simple, elegant and efficient algorithms called the $(k,\ell)$-pebble games. A multi-graph $G$ on $n$ vertices is $(k,\ell)$-sparse if every subset of $n'\leq n$ vertices spans at most $kn'- \ell$ edges. $G$ is {\em tight} if, in addition, it has exactly $kn - \ell$ edges. For integer values $k$ and $\ell \in [0, 2k)$, we characterize the $(k,\ell)$-sparse graphs via a family of simple, elegant and efficient algorithms called the $(k,\ell)$-pebble games. △ Less

Submitted 5 February, 2007; originally announced February 2007.

Comments: 20 pages, abstract presented at EuroComb '05

Report number: UMass Amherst Computer Science Department TR 07-02 MSC Class: 52C25;68R10;05C85

Pseudo-Triangulations - a Survey

Authors: Guenter Rote, Francisco Santos, Ileana Streinu

Abstract: A pseudo-triangle is a simple polygon with three convex vertices, and a pseudo-triangulation is a face-to-face tiling of a planar region into pseudo-triangles. Pseudo-triangulations appear as data structures in computational geometry, as planar bar-and-joint frameworks in rigidity theory and as projections of locally convex surfaces. This survey of current literature includes combinatorial pro… ▽ More A pseudo-triangle is a simple polygon with three convex vertices, and a pseudo-triangulation is a face-to-face tiling of a planar region into pseudo-triangles. Pseudo-triangulations appear as data structures in computational geometry, as planar bar-and-joint frameworks in rigidity theory and as projections of locally convex surfaces. This survey of current literature includes combinatorial properties and counting of special classes, rigidity theoretical results, representations as polytopes, straight-line drawings from abstract versions called combinatorial pseudo-triangulations, algorithms and applications of pseudo-triangulations. △ Less

Submitted 16 October, 2007; v1 submitted 21 December, 2006; originally announced December 2006.

Comments: 68 pages, 36 figures. To appear in "Proceedings of the Joint Summer Research Conference on Discrete and Computational Geometry", Edited by J. E. Goodman, J. Pach, and R. Pollack, Contemporary Mathematics, AMS

MSC Class: Primary 05C62; 68U05; Secondary 52C25; 52B11

Journal ref: In: Surveys on Discrete and Computational Geometry-Twenty Years Later. Herausgeber: Jacob E. Goodman, János Pach und Richard Pollack, Contemporary Mathematics, Band 453, American Mathematical Society, 2008, pp. 343-410

Enumerating Constrained Non-crossing Minimally Rigid Frameworks

Authors: David Avis, Naoki Katoh, Makoto Ohsaki, Ileana Streinu, Shin-ichi Tanigawa

Abstract: In this paper we present an algorithm for enumerating without repetitions all the non-crossing generically minimally rigid bar-and-joint frameworks under edge constraints (also called constrained non-crossing Laman frameworks) on a given generic set of $n$ points. Our algorithm is based on the reverse search paradigm of Avis and Fukuda. It generates each output graph in $O(n^4)$ time and O(n) sp… ▽ More In this paper we present an algorithm for enumerating without repetitions all the non-crossing generically minimally rigid bar-and-joint frameworks under edge constraints (also called constrained non-crossing Laman frameworks) on a given generic set of $n$ points. Our algorithm is based on the reverse search paradigm of Avis and Fukuda. It generates each output graph in $O(n^4)$ time and O(n) space, or, slightly different implementation, in $O(n^3)$ time and $O(n^2)$ space. In particular, we obtain that the set of all the constrained non-crossing Laman frameworks on a given point set is connected by flips which restore the Laman property. △ Less

Submitted 6 November, 2006; v1 submitted 3 August, 2006; originally announced August 2006.

Comments: 14 pages, 3 figures

MSC Class: 68W01

Planar Minimally Rigid Graphs and Pseudo-Triangulations

Authors: Ruth Haas, David Orden, Guenter Rote, Francisco Santos, Brigitte Servatius, Herman Servatius, Diane Souvaine, Ileana Streinu, Walter Whiteley

Abstract: Pointed pseudo-triangulations are planar minimally rigid graphs embedded in the plane with pointed vertices (adjacent to an angle larger than 180 degrees. In this paper we prove that the opposite statement is also true, namely that planar minimally rigid graphs always admit pointed embeddings, even under certain natural topological and combinatorial constraints. We provide two proofs, which both… ▽ More Pointed pseudo-triangulations are planar minimally rigid graphs embedded in the plane with pointed vertices (adjacent to an angle larger than 180 degrees. In this paper we prove that the opposite statement is also true, namely that planar minimally rigid graphs always admit pointed embeddings, even under certain natural topological and combinatorial constraints. We provide two proofs, which both yield efficient embedding algorithms. One based on Henneberg inductive constructions from combinatorial rigidity theory, the other on a generalization of Tutte's barycentric embeddings to directed graphs. △ Less

Submitted 25 July, 2003; originally announced July 2003.

Comments: 25 pages, 12 figures. A preliminary version appeared in the proceedings of the 19th ACM Symposium on Computational Geometry, San Diego, June 8-10, 2003

MSC Class: 05C10; 05C62

Journal ref: Computational Geometry: theory and Applications 31:1-2 (May 2005), 63-100.

A Topological Representation Theorem for Oriented Matroids

Authors: Juergen Bokowski, Simon King, Susanne Mock, Ileana Streinu

Abstract: We present a new direct proof of a topological representation theorem for oriented matroids in the general rank case. Our proof is based on an earlier rank 3 version. It uses hyperline sequences and the generalized Sch{ö}nflies theorem. As an application, we show that one can read off oriented matroids from arrangements of embedded spheres of codimension one, even if wild spheres are involved. We present a new direct proof of a topological representation theorem for oriented matroids in the general rank case. Our proof is based on an earlier rank 3 version. It uses hyperline sequences and the generalized Sch{ö}nflies theorem. As an application, we show that one can read off oriented matroids from arrangements of embedded spheres of codimension one, even if wild spheres are involved. △ Less

Submitted 26 September, 2002; originally announced September 2002.

Comments: 21 pages, 4 figures

MSC Class: 52C40 (Primary) 57N50; 57N45 (Secondary)

On the Number of Embeddings of Minimally Rigid Graphs

Authors: Ciprian Borcea, Ileana Streinu

Abstract: Rigid frameworks in some Euclidian space are embedded graphs having a unique local realization (up to Euclidian motions) for the given edge lengths, although globally they may have several. We study the number of distinct planar embeddings of minimally rigid graphs with $n$ vertices. We show that, modulo planar rigid motions, this number is at most ${{2n-4}\choose {n-2}} \approx 4^n$. We also ex… ▽ More Rigid frameworks in some Euclidian space are embedded graphs having a unique local realization (up to Euclidian motions) for the given edge lengths, although globally they may have several. We study the number of distinct planar embeddings of minimally rigid graphs with $n$ vertices. We show that, modulo planar rigid motions, this number is at most ${{2n-4}\choose {n-2}} \approx 4^n$. We also exhibit several families which realize lower bounds of the order of $2^n$, $2.21^n$ and $2.88^n$. For the upper bound we use techniques from complex algebraic geometry, based on the (projective) Cayley-Menger variety $CM^{2,n}(C)\subset P_{{{n}\choose {2}}-1}(C)$ over the complex numbers $C$. In this context, point configurations are represented by coordinates given by squared distances between all pairs of points. Sectioning the variety with $2n-4$ hyperplanes yields at most $deg(CM^{2,n})$ zero-dimensional components, and one finds this degree to be $D^{2,n}={1/2}{{2n-4}\choose {n-2}}$. The lower bounds are related to inductive constructions of minimally rigid graphs via Henneberg sequences. The same approach works in higher dimensions. In particular we show that it leads to an upper bound of $2 D^{3,n}= {\frac{2^{n-3}}{n-2}}{{n-6}\choose{n-3}}$ for the number of spatial embeddings with generic edge lengths of the 1-skeleton of a simplicial polyhedron, up to rigid motions. △ Less

Submitted 15 July, 2002; originally announced July 2002.

MSC Class: 52C25; 52C45; 05C10

Journal ref: Proc. 18th ACM Symp. Computational Geometry, Barcelona, June 2002, pp. 25-32

Expansive Motions and the Polytope of Pointed Pseudo-Triangulations

Authors: Guenter Rote, Francisco Santos, Ileana Streinu

Abstract: We introduce the polytope of pointed pseudo-triangulations of a point set in the plane, defined as the polytope of infinitesimal expansive motions of the points subject to certain constraints on the increase of their distances. Its 1-skeleton is the graph whose vertices are the pointed pseudo-triangulations of the point set and whose edges are flips of interior pseudo-triangulation edges. For… ▽ More We introduce the polytope of pointed pseudo-triangulations of a point set in the plane, defined as the polytope of infinitesimal expansive motions of the points subject to certain constraints on the increase of their distances. Its 1-skeleton is the graph whose vertices are the pointed pseudo-triangulations of the point set and whose edges are flips of interior pseudo-triangulation edges. For points in convex position we obtain a new realization of the associahedron, i.e., a geometric representation of the set of triangulations of an n-gon, or of the set of binary trees on n vertices, or of many other combinatorial objects that are counted by the Catalan numbers. By considering the 1-dimensional version of the polytope of constrained expansive motions we obtain a second distinct realization of the associahedron as a perturbation of the positive cell in a Coxeter arrangement. Our methods produce as a by-product a new proof that every simple polygon or polygonal arc in the plane has expansive motions, a key step in the proofs of the Carpenter's Rule Theorem by Connelly, Demaine and Rote (2000) and by Streinu (2000). △ Less

Submitted 30 September, 2002; v1 submitted 4 June, 2002; originally announced June 2002.

Comments: 40 pages, 7 figures. Changes from v1: added some comments (specially to the "Further remarks" in Section 5) + changed to final book format. This version is to appear in "Discrete and Computational Geometry -- The Goodman-Pollack Festschrift" (B. Aronov, S. Basu, J. Pach, M. Sharir, eds), series "Algorithms and Combinatorics", Springer Verlag, Berlin

MSC Class: 52C25 (primary) 52C35; 68U05; 52B55 (secondary)

Journal ref: In "Discrete and Computational Geometry -- The Goodman-Pollack Festschrift" (B. Aronov, S. Basu, J. Pach, M. Sharir, eds), Algorithms and Combinatorics 25, Springer Verlag, Berlin, June 2003, pp. 699-736

On Reconfiguring Tree Linkages: Trees can Lock

Authors: Therese Biedl, Erik Demaine, Martin Demaine, Sylvain Lazard, Anna Lubiw, Joseph O'Rourke, Steve Robbins, Ileana Streinu, Godfried Toussaint, Sue Whitesides

Abstract: It has recently been shown that any simple (i.e. nonintersecting) polygonal chain in the plane can be reconfigured to lie on a straight line, and any simple polygon can be reconfigured to be convex. This result cannot be extended to tree linkages: we show that there are trees with two simple configurations that are not connected by a motion that preserves simplicity throughout the motion. Indeed… ▽ More It has recently been shown that any simple (i.e. nonintersecting) polygonal chain in the plane can be reconfigured to lie on a straight line, and any simple polygon can be reconfigured to be convex. This result cannot be extended to tree linkages: we show that there are trees with two simple configurations that are not connected by a motion that preserves simplicity throughout the motion. Indeed, we prove that an $N$-link tree can have $2^{Ω(N)}$ equivalence classes of configurations. △ Less

Submitted 28 September, 2000; v1 submitted 1 November, 1999; originally announced October 1999.

Comments: 16 pages, 6 figures Introduction reworked and references added, as the main open problem was recently closed

Report number: SOCS-00.7 ACM Class: F2.2

Locked and Unlocked Polygonal Chains in 3D

Authors: T. Biedl, E. Demaine, M. Demaine, S. Lazard, A. Lubiw, J. O'Rourke, M. Overmars, S. Robbins, I. Streinu, G. Toussaint, S. Whitesides

Abstract: In this paper, we study movements of simple polygonal chains in 3D. We say that an open, simple polygonal chain can be straightened if it can be continuously reconfigured to a straight sequence of segments in such a manner that both the length of each link and the simplicity of the chain are maintained throughout the movement. The analogous concept for closed chains is convexification: reconfigu… ▽ More In this paper, we study movements of simple polygonal chains in 3D. We say that an open, simple polygonal chain can be straightened if it can be continuously reconfigured to a straight sequence of segments in such a manner that both the length of each link and the simplicity of the chain are maintained throughout the movement. The analogous concept for closed chains is convexification: reconfiguration to a planar convex polygon. Chains that cannot be straightened or convexified are called locked. While there are open chains in 3D that are locked, we show that if an open chain has a simple orthogonal projection onto some plane, it can be straightened. For closed chains, we show that there are unknotted but locked closed chains, and we provide an algorithm for convexifying a planar simple polygon in 3D. All our algorithms require only O(n) basic ``moves'' and run in linear time. △ Less

Submitted 8 October, 1999; originally announced October 1999.

Comments: 29 pages; This is a revised and expanded version of an abstract that appeared in Proc. 10th ACM-SIAM Sympos. Discrete Algorithms (SODA '98), Jan. 1998, pp. 866-867

Report number: Smith Tech. Rep. 060 ACM Class: F.2.2

Locked and Unlocked Polygonal Chains in 3D

Authors: T. Biedl, E. Demaine, M. Demaine, S. Lazard, A. Lubiw, J. O'Rourke, M. Overmars, S. Robbins, I. Streinu, G. Toussaint, S. Whitesides

Abstract: In this paper, we study movements of simple polygonal chains in 3D. We say that an open, simple polygonal chain can be straightened if it can be continuously reconfigured to a straight sequence of segments in such a manner that both the length of each link and the simplicity of the chain are maintained throughout the movement. The analogous concept for closed chains is convexification: reconfigu… ▽ More In this paper, we study movements of simple polygonal chains in 3D. We say that an open, simple polygonal chain can be straightened if it can be continuously reconfigured to a straight sequence of segments in such a manner that both the length of each link and the simplicity of the chain are maintained throughout the movement. The analogous concept for closed chains is convexification: reconfiguration to a planar convex polygon. Chains that cannot be straightened or convexified are called locked. While there are open chains in 3D that are locked, we show that if an open chain has a simple orthogonal projection onto some plane, it can be straightened. For closed chains, we show that there are unknotted but locked closed chains, and we provide an algorithm for convexifying a planar simple polygon in 3D with a polynomial number of moves. △ Less

Submitted 11 November, 1998; originally announced November 1998.

Comments: To appear in Proc. 10th ACM-SIAM Sympos. Discrete Algorithms, Jan. 1999

ACM Class: F.2.2; I.2.9

Journal ref: Proc. 10th ACM-SIAM Sympos. Discrete Algorithms, Jan. 1999, pp. S866-7.