Dense Graphs Have Rigid Parts

Orit E. Raz*, József Solymosi

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

Abstract

While the problem of determining whether an embedding of a graph G in R2 is infinitesimally rigid is well understood, specifying whether a given embedding of G is rigid or not is still a hard task that usually requires ad hoc arguments. In this paper, we show that every embedding (not necessarily generic) of a dense enough graph (concretely, a graph with at least Cn3 / 2(log n) β edges, for some absolute constants C> 0 and β), which satisfies some very mild general position requirements (no three vertices of G are embedded to a common line), must have a subframework of size at least three which is rigid. For the proof we use a connection, established in Raz (Discrete Comput. Geom. 58(4), 986–1009 (2017)), between the notion of graph rigidity and configurations of lines in R3. This connection allows us to use properties of line configurations established in Guth and Katz (Ann. Math. 181(1), 155–190 (2015)). In fact, our proof requires an extended version of Guth and Katz result; the extension we need is proved by János Kollár in an appendix to our paper. We do not know whether our assumption on the number of edges being Ω (n3 / 2log n) is tight, and we provide a construction that shows that requiring Ω (nlog n) edges is necessary.

Original languageAmerican English
Pages (from-to)1079-1094
Number of pages16
JournalDiscrete and Computational Geometry
Volume69
Issue number4
DOIs
StatePublished - 2023

Bibliographical note

Publisher Copyright:
© 2023, The Author(s), under exclusive licence to Springer Science+Business Media, LLC, part of Springer Nature.

Keywords

  • Distinct distances
  • Graph rigidity
  • Lines in 3D
  • Rigid subgraphs

Fingerprint

Dive into the research topics of 'Dense Graphs Have Rigid Parts'. Together they form a unique fingerprint.

Cite this