Abstract
We improve the lower bound on the d-dimensional rectilinear crossing number of the complete d-uniform hypergraph having 2d vertices to \(\varOmega \left( \dfrac{(4\sqrt{2}/ 3^{3/4})^d}{d}\right) \) from \(\varOmega (2^d \sqrt{d})\). We also establish that the 3-dimensional rectilinear crossing number of a complete 3-uniform hypergraph having \(n \ge 9\) vertices is at least \(\dfrac{43}{42}\genfrac(){0.0pt}0{n}{6}\). We prove that the maximum number of crossing pairs of hyperedges in a 4-dimensional rectilinear drawing of the complete 4-uniform hypergraph having n vertices is \(13\genfrac(){0.0pt}0{n}{8}\). We also prove that among all 4-dimensional rectilinear drawings of a complete 4-uniform hypergraph having n vertices, the number of crossing pairs of hyperedges is maximized if all its vertices are placed at the vertices of a 4-dimensional neighborly polytope. Our result proves the conjecture by Anshu et al. [Anshu, Gangopadhyay, Shannigrahi, and Vusirikala, 2017] for \(d=4\). We prove that the maximum d-dimensional rectilinear crossing number of a complete d-partite d-uniform balanced hypergraph is \((2^{d-1}-1){\genfrac(){0.0pt}0{n}{2}}^d\). We then prove that finding the maximum d-dimensional rectilinear crossing number of an arbitrary d-uniform hypergraph is NP-hard. We give a randomized scheme to create a d-dimensional rectilinear drawing of a d-uniform hypergraph H such that, in expectation the total number of crossing pairs of hyperedges is a constant fraction of the maximum d-dimensional rectilinear crossing number of H.
![](http://media.springernature.com/m312/springer-static/image/art%3A10.1007%2Fs00373-023-02711-2/MediaObjects/373_2023_2711_Fig1_HTML.png)
![](http://media.springernature.com/m312/springer-static/image/art%3A10.1007%2Fs00373-023-02711-2/MediaObjects/373_2023_2711_Fig2_HTML.png)
![](http://media.springernature.com/m312/springer-static/image/art%3A10.1007%2Fs00373-023-02711-2/MediaObjects/373_2023_2711_Fig3_HTML.png)
![](http://media.springernature.com/m312/springer-static/image/art%3A10.1007%2Fs00373-023-02711-2/MediaObjects/373_2023_2711_Fig4_HTML.png)
Similar content being viewed by others
Data availability
We have used the realizations of ordertypes of 8 points in general position in a plane for the proofs of Theorem 3 and Lemma 12. The database for realizations of ordertypes of small point sets in a plane is publicly available and cited here, see [1]. Our code is available in the Github and the link is provided in the footnote.
References
Aichholzer, O.: Order types for small point sets. http://www.ist.tugraz.at/staff/aichholzer/research/rp/triangulations/ordertypes/
Aichholzer, O., Aurenhammer, F., Krasser, H.: Enumerating order types for small point sets with applications. Order 19, 265–281 (2002)
Aichholzer, O., Duque, F., Fabila-Monroy, R., Hidalgo-Toscano, C., García-Quintero, O.E.: An ongoing project to improve the rectilinear and the pseudolinear crossing constants. J. Graph Algorithms Appl. 24, 421–432 (2020)
Aichholzer, O., García, J., Orden, D., Ramos, P.: New lower bounds for the number of (\( \le k\))-edges and the rectilinear crossing number of \(K_n\). Discrete Comput. Geom. 38, 1–14 (2007)
Akiyama, J., Alon, N.: Disjoint simplices and geometric hypergraphs. Ann. N. Y. Acad. Sci. 555, 1–3 (1989)
Anshu, A., Gangopadhyay, R., Shannigrahi, S., Vusirikala, S.: On the rectilinear crossing number of complete uniform hypergraphs. Comput. Geom. Theory Appl. 61, 38–47 (2017)
Ábrego, B.M., Cetina, M., Fernández-Merchant, S., Leaños, J., Salazar, G.: On \((\le k)\)-edges, crossings, and halving lines of geometric drawings of \(K_n\). Discrete Comput. Geom. 48, 192–215 (2012)
Anshu, A., Shannigrahi, S.: A lower bound on the crossing number of uniform hypergraphs. Discrete Appl. Math. 209, 11–15 (2016)
Ábrego, B.M., Fernández-Merchant, S., Salazar, G.: The Rectilinear Crossing Number of \(K_n\): Closing in (or Are We?). Thirty Essays on Geometric Graph Theory, pp. 5–18. Springer, New York (2013)
Bald, S., Johnson, M.P., Liu, O.: Approximating the maximum rectilinear crossing number. In: Proceedings of International Computing and Combinatorics Conference, pp. 455–467. Springer (2016)
Bárány, I.: A generalization of Carathéodory’s theorem. Discrete Math. 40, 141–152 (1982)
Breen, M.: Primitive Radon partitions for cyclic polytopes. Isr. J. Math. 15, 156–157 (1973)
Bisztriczky, T., Soltan, V.: Some Erdős–Szekeres type results about points in space. Monatshefte für Mathematik 118, 33–40 (1994)
Chimani, M., Felsner, S., Kobourov, S., Ueckerdt, T., Valtr, P., Wolff, A.: On the maximum crossing number. J. Graph Algorithms Appl. 22, 67–87 (2018)
Dey, T.K., Pach, J.: Extremal problems for geometric hypergraphs. Algorithms and computation. In: Asano, T., et al. (eds.) Proceedings ISAAC ’96, Osaka. Lecture Notes in Computer Science 1178, pp. 105–114. Springer (1996). Also In: Discrete Comput. Geom. 19, 473–484 (1998)
Gale, D.: Neighboring vertices on a convex polyhedron. Linear Inequal. Relat. Syst. 38, 255–263 (1956)
Gangopadhyay, R., Shannigrahi, S.: \(k\)-Sets and rectilinear crossings in complete uniform hypergraphs. Comput. Geom. Theory Appl. 86, 101578 (2020)
Gangopadhyay, R., Shannigrahi, S.: Rectilinear crossings in complete balanced \(d\)-partite \(d\)-uniform hypergraphs. Graphs Combin. 36, 905–911 (2020)
Goodman, J.E., Pollack, R.: Upper bounds for configurations and polytopes in \({\mathbb{R} }^d\). Discrete Comput. Geom. 1, 219–227 (1986)
Grünbaum, B.: Convex Polytopes. Springer, Berlin (2003)
Guy, R.K.: Crossing numbers of graphs. In: Graph Theory and Applications, pp. 111–124 (1972)
Lovász, L.: Coverings and colorings of hypergraphs. In: Proceedings of the 4th Southeastern Conference on Combinatorics, Graph Theory and Computing, pp. 3–12. Utilitas Mathematica Publishing (1973)
Matoušek, J.: Lectures in Discrete Geometry. Springer, Berlin (2002)
McMullen, P.: The maximum numbers of faces of a convex polytope. Mathematika 17, 179–184 (1970)
Ringel, G.: Extremal problems in the theory of graphs. In: Proceedings of Theory of Graphs and Its Applications, pp. 85–90 (1964)
Schaefer, M.: The graph crossing number and its variants: a survey. Electron. J. Combin. 1000, 21–22 (2013)
Verbitsky, O.: On the obfuscation complexity of planar graphs. Theor. Comput. Sci. 396, 294–300 (2008)
Wagner, U., Welzl, E.: A continuous analogue of the upper bound theorem. Discrete Comput. Geom. 26, 205–219 (2001)
Ziegler, G.M.: Lectures on Polytopes. Springer, Berlin (1995)
Acknowledgements
Some parts of the Research were conducted while Rahul Gangopadhyay were at IIIT-Delhi and Saint-Petersburg State University. Some parts of this work were presented at EuroCG 2020 and EuroCG 2022. Rahul Gangopadhyay was supported by Ministry of Science and Higher Education of the Russian Federation, agreement no. 075-15-2022-287. Authors are deeply grateful to Dr. Gaiane Panina for the help in the proof of Theorem 2.
Funding
The authors have not disclosed any funding.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The Authors declare that there is no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Gangopadhyay, R., Ayan Maximum Rectilinear Crossing Number of Uniform Hypergraphs. Graphs and Combinatorics 39, 114 (2023). https://doi.org/10.1007/s00373-023-02711-2
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00373-023-02711-2