Skip to main content

Combinatorial Rigidity and Independence of Generalized Pinned Subspace-Incidence Constraint Systems

  • Conference paper
  • First Online:
Automated Deduction in Geometry (ADG 2014)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 9201))

Included in the following conference series:

Abstract

Given a hypergraph H with m hyperedges and a set X of m pins, i.e. globally fixed subspaces in Euclidean space \(\mathbb {R}^{d}\), a pinned subspace-incidence system is the pair (HX), with the constraint that each pin in X lies on the subspace spanned by the point realizations in \(\mathbb {R}^d\) of vertices of the corresponding hyperedge of H. Pinned subspace-incidence systems arise in modeling dictionary learning problems as well as biomaterials such as cell wall microfibrils. We are interested in combinatorial characterization of pinned subspace-incidence systems that are minimally rigid, i.e. those systems that are guaranteed to generically yield a locally unique realization. As is customary, this is accompanied by a characterization of generic independence as well as rigidity. Previously, such a combinatorial rigidity characterization is only known for a more restricted version of pinned subpsace-incidence systems, with H being a uniform hypergraph and pins in X being 1-dimension subspaces. In this paper, we extend the combinatorial characterization to general pinned subspace-incidence systems, with H being a non-uniform hypergraph and pins in X being subspaces with arbitrary dimension. As there are generally many data points per subspace in a dictionary learning problem, which can only be modeled with pins of dimension larger than 1, such an extension enables application to a much larger class of dictionary learning problems.

This research was supported in part by the grant NSF CCF-1117695.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 34.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 44.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Ait-Aoudia, S., Jegou, R., Michelucci, D.: Reduction of constraint systems. In: Proceedings of Compugraphics, pp. 83–92 (1993)

    Google Scholar 

  2. Asimow, L., Roth, B.: The rigidity of graphs. Trans. Am. Math. Soc. 245, 279–289 (1978)

    Article  MathSciNet  MATH  Google Scholar 

  3. Baker, T., Sitharam, M., Wang, M., Willoughby, J.: Designing qusecs optimally: Quasi-uniform or self-similar layered materials as recursively decomposed solutions of geometric constraint systems, accepted to Computer Aided Geometric Design (2015)

    Google Scholar 

  4. Buehler, M.J.: Nanomechanics of collagen fibrils under varying cross-link densities: atomistic and continuum studies. J. Mech. Behav. Biomed. Mater. 1(1), 59–67 (2008)

    Article  MATH  Google Scholar 

  5. Fall, A.B., Lindström, S.B., Sprakel, J., Wågberg, L.: A physical cross-linking process of cellulose nanofibril gels with shear-controlled fibril orientation. Soft Matter 9(6), 1852–1863 (2013)

    Article  Google Scholar 

  6. Farre, J., John, A.L.S., Sidman, J., Theran, L.: Special positions of body-and-cad frameworks. CoRR abs/1306.1572 (2013). http://arxiv.org/abs/1306.1572

  7. Fudos, I., Hoffmann, C.M.: A graph-constructive approach to solving systems of geometric constraints. ACM Trans. Graph. 16(2), 179–216 (1997). http://doi.acm.org/10.1145/248210.248223

    Article  Google Scholar 

  8. Gortler, S.J., Gotsman, C., Liu, L., Thurston, D.P.: On affine rigidity. J. Comput. Geom. 4(1), 160–181 (2013)

    MathSciNet  Google Scholar 

  9. Graver, J.E., Servatius, B., Servatius, H.: Combinatorial Rigidity, vol. 2. AMS Bookstore, Providence (1993)

    MATH  Google Scholar 

  10. Haller, K., John, A.L.-S., Sitharam, M., Streinu, I., White, N.: Body-and-cad geometric constraint systems. Comput. Geom. 45(8), 385–405 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  11. Hoffmann, C.M., Joan-Arinyo, R.: Symbolic constraints in constructive geometric constraint solving. J. Symbolic Comput. 23(2), 287–299 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  12. Hoffmann, C.M., Lomonosov, A., Sitharam, M.: Finding solvable subsets of constraint graphs. In: Smolka, G. (ed.) CP97. LNCS, vol. 1330, pp. 463–477. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  13. Hoffmann, C.M., Lomonosov, A., Sitharam, M.: Geometric constraint decomposition. In: Brüderlin, B., Roller, D. (eds.) Geometric Constraint Solving and Applications, pp. 170–195. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  14. Jackson, B., Jordán, T.: Pin-collinear body-and-pin frameworks and the molecular conjecture. Discrete Comput. Geom. 40(2), 258–278 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  15. Jacobs, D.J., Hendrickson, B.: An algorithm for two-dimensional rigidity percolation: the pebble game. J. Comput. Phys. 137(2), 346–365 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  16. Lee, A., Streinu, I., Theran, L.: Graded sparse graphs and matroids. J. UCS 13(11), 1671–1679 (2007)

    MathSciNet  Google Scholar 

  17. Mittmann, J.: Gröbner bases: Computational algebraic geometry and its complexity (2007)

    Google Scholar 

  18. Nash-Williams, C.S.J.: Edge-disjoint spanning trees of finite graphs. J. London Math. Soc. 1(1), 445–450 (1961)

    Article  MathSciNet  Google Scholar 

  19. Sitharam, M., Tarifi, M., Wang, M.: An incidence geometry approach to dictionary learning. In: Proceedings of CCCG, pp. 410–430 (2014). http://www.cccg.ca/proceedings/2014/

  20. Smith, G.: Plant cell wall structure and cell wall growth. Tuatara 19, 43–50 (1971)

    Google Scholar 

  21. Streinu, I., Theran, L.: Sparse hypergraphs and pebble game algorithms. Eur. J. Comb. 30(8), 1944–1964 (2009)

    Article  MathSciNet  Google Scholar 

  22. Streinu, I., Theran, L.: Slider-pinning rigidity: a maxwell-laman-type theorem. Discrete Comput. Geom. 44(4), 812–837 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  23. Tutte, W.T.: On the problem of decomposing a graph into n connected factors. J. London Math. Soc. 1(1), 221–230 (1961)

    Article  MathSciNet  Google Scholar 

  24. White, N., Whiteley, W.: The algebraic geometry of motions of bar-and-body frameworks. SIAM J. Algebraic Discrete Methods 8(1), 1–32 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  25. White, N.L., Whiteley, W.: The algebraic geometry of stresses in frameworks. SIAM J. Algebraic Discrete Methods 4(4), 481–511 (1983)

    Article  MathSciNet  Google Scholar 

  26. Whiteley, W.: Some matroids from discrete applied geometry. Contemp. Math. 197, 171–312 (1996)

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Menghan Wang .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Wang, M., Sitharam, M. (2015). Combinatorial Rigidity and Independence of Generalized Pinned Subspace-Incidence Constraint Systems. In: Botana, F., Quaresma, P. (eds) Automated Deduction in Geometry. ADG 2014. Lecture Notes in Computer Science(), vol 9201. Springer, Cham. https://doi.org/10.1007/978-3-319-21362-0_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-21362-0_11

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-21361-3

  • Online ISBN: 978-3-319-21362-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics