Abstract
We consider a generalization of the concept of d-flattenability of graphs - introduced for the \(l_2\) norm by Belk and Connelly - to general \(l_p\) norms, with integer P, \(1 \le p < \infty \), though many of our results work for \(l_\infty \) as well. The following results are shown for graphs G, using notions of genericity, rigidity, and generic d-dimensional rigidity matroid introduced by Kitson for frameworks in general \(l_p\) norms, as well as the cones of vectors of pairwise \(l_p^p\) distances of a finite point configuration in d-dimensional, \(l_p\) space: (i) d-flattenability of a graph G is equivalent to the convexity of d-dimensional, inherent Cayley configurations spaces for G, a concept introduced by the first author; (ii) d-flattenability and convexity of Cayley configuration spaces over specified non-edges of a d-dimensional framework are not generic properties of frameworks (in arbitrary dimension); (iii) d-flattenability of G is equivalent to all of G’s generic frameworks being d-flattenable; (iv) existence of one generic d-flattenable framework for G is equivalent to the independence of the edges of G, a generic property of frameworks; (v) the rank of G equals the dimension of the projection of the d-dimensional stratum of the \(l_p^p\) distance cone. We give stronger results for specific norms for \(d = 2\): we show that (vi) 2-flattenable graphs for the \(l_1\)-norm (and \(l_\infty \)-norm) are a larger class than 2-flattenable graphs for Euclidean \(l_2\)-norm case and finally (vii) prove further results towards characterizing 2-flattenability in the \(l_1\)-norm. A number of conjectures and open problems are posed.
M. Sitharam—This research was supported in part by the grant NSF CCF-1117695
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Alfakih, A.Y.: Graph rigidity via euclidean distance matrices. Linear Algebra Appl. 310(1–3), 149–165 (2000)
Alfakih, A.Y.: On bar frameworks, stress matrices and semidefinite programming. Math. Program. 129(1), 113–128 (2011)
Asimow, L., Roth, B.: The rigidity of graphs. Trans. Amer. Math. Soc. 245, 279–289 (1978)
Avis, D., Deza, M.: The cut cone, l1 embeddability, complexity, and multicommodity flows. Networks 21(6), 595–617 (1991)
Ball, K.: Isometric embedding in lp-spaces. Eur. J. Comb. 11(4), 305–311 (1990)
Barak, B., Raghavendra, P., Steurer, D.: Rounding semidefinite programming hierarchies via global correlation. CoRR, abs/1104.4680 (2011)
Barak, B., Steurer, D.: Sum-of-squares proofs and the quest toward optimal algorithms. CoRR, abs/1404.5236 (2014)
Barvinok, A.I.: Problems of distance geometry and convex properties of quadratic maps. Discrete Comput. Geom. 13(1), 189–202 (1995)
Belk, M.: Realizability of graphs in three dimensions. Discrete Comput. Geom. 37(2), 139–162 (2007)
Brinkman, B., Charikar, M.: On the impossibility of dimension reduction in l1. J. ACM 52(5), 766–788 (2005)
Dattorro, J.: Convex Optimization & Euclidean Distance Geometry. Meboo Publishing USA, Palo Alto (2011)
Deza, M.M., Laurent, M.: Geometry of Cuts and Metrics. Algorithms and Combinatorics. Springer, Heidelberg (2010)
Drusvyatskiy, D., Pataki, G., Wolkowicz, H.: Coordinate shadows of semi-definite and euclidean distance matrices (2014)
Farber, M., Hausmann, J.-C., Schuetz, D.: On the conjecture of kevin walker. J. Topology Anal. 01(01), 65–86 (2009)
Farber, M., Fromm, V.: The topology of spaces of polygons. Trans. Amer. Math. Soc. 365, 3097–3114 (2010)
Gatermann, K., Parrilo, P.A.: Symmetry groups, semidefinite programs, and sums of squares. J. Pure Appl. Algebra 192(13), 95–128 (2004)
Graver, J., Servatius, B., Servatius, H.: Combinatorial Rigidity. Graduate Studies in Mathematics. American Mathematical Society, Providence (1993)
Indyk, P., Matousek, J.: Low-distortion embeddings of finite metric spaces. In: In Handbook of Discrete and Computational Geometry, pp. 177–196. CRC Press (2004)
Johnson, W., Lindenstrauss, J.: Extensions of lipschitz mappings into a Hilbert space. In: Conference in Modern Analysis and Probability (New Haven, Conn., 1982). Contemporary Mathematics, vol. 26, pp. 189–206. American Mathematical Society (1984)
Khot, S.: On the unique games conjecture. In: Proceedings of the 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS), Pittsburgh, PA, USA, 23–25 October 2005, p. 3 (2005)
Kitson, D.: Finite and infinitesimal rigidity with polyhedral norms (2014)
Ozkan, A., Flores-Canales, J.C., Sitharam, M., Kurnikova, M.: Fast and flexible geometric method for enhancing MC sampling of compact configurations for protein docking problem. ArXiv e-prints, August 2014
Ozkan, A., Sitharam, M.: Best of both worlds: uniform sampling in cartesian and cayley molecular assembly configuration space. ArXiv e-prints, September 2014
Parrilo, P.A., Sturmfels, B.: Minimizing polynomial functions. In: Proceedings of the Dimacs Workshop on Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science, pp. 83–100. American Mathematical Society (2003)
Robertson, N., Seymour, P.D.: Graph minors. xx. wagner’s conjecture. J Comb. Theor. Ser. B Spec. Issue Dedicated Professor W.T. Tutte 92(2), 325–357 (2004)
Schoenberg, I.J.: Remarks to maurice fréchet’s article ‘sur la définition axiomatique d’une classe d’espaces distanciés vectoriellement applicable sur l’espace de hilbert’. Ann. Math. 36(3), 724–732 (1935)
Sitharam, M., Gao, H.: Characterizing graphs with convex and connected cayley configuration spaces. Discrete Comput. Geom. 43(3), 594–625 (2010)
Sitharam, M., Ozkan, A., Pence, J., Peters, J.: Easal: efficient atlasing, analysis and search of molecular assembly landscapes. CoRR, abs/1203.3811 (2012)
Sitharam, M., Wang, M., Gao, H.: Cayley configuration spaces of 1-dof tree-decomposable linkages, part I: structure and extreme points. CoRR, abs/1112.6008 (2011)
Sitharam, M., Wang, M., Gao, H.: Cayley configuration spaces of 1-dof tree-decomposable linkages, part II: combinatorial characterization of complexity. CoRR, abs/1112.6009 (2011)
Tarazaga, P.: Faces of the cone of euclidean distance matrices: characterizations, structure and induced geometry. Linear Algebra Appl. 408, 1–13 (2005)
Trevisan, L.: On khot’s unique games conjecture. Bull. AMS 49, 91–111 (2011)
Witsenhausen, H.S.: Minimum dimension embedding of finite metric spaces. J. Comb. Theory, Ser. A 42(2), 184–199 (1986)
Wu, R., Ozkan, A., Bennett, A., Agbandje-Mckenna, M., Sitharam, M.: Robustness measure for an adeno-associated viral shell self-assembly is accurately predicted by configuration space atlasing using easal. In: Proceedings of the ACM Conference on Bioinformatics, Computational Biology and Biomedicine, BCB 2012, pp. 690–695. ACM, New York (2012)
Acknowledgement
We thank Bob Connelly, Steven Gortler and Derek Kitson for interesting conversations related to this paper.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Sitharam, M., Willoughby, J. (2015). On Flattenability of Graphs. 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_9
Download citation
DOI: https://doi.org/10.1007/978-3-319-21362-0_9
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)