Document Open Access Logo

On the Twin-Width of Smooth Manifolds

Authors Édouard Bonnet , Kristóf Huszár

PDF

File

Thumbnail PDF
PDF
LIPIcs.SoCG.2025.23.pdf
  • Filesize: 0.94 MB
  • 16 pages

Document Identifiers

Related Versions

Subject Classification

ACM Subject Classification
  • Mathematics of computing → Graph theory
  • Mathematics of computing → Geometric topology
Keywords
  • Smooth manifolds
  • triangulations
  • twin-width
  • Whitney embedding theorem
  • structural graph parameters
  • computational topology

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

Abstract

Building on Whitney’s classical method of triangulating smooth manifolds, we show that every compact d-dimensional smooth manifold admits a triangulation with dual graph of twin-width at most d^O(d). In particular, it follows that every compact 3-manifold has a triangulation with dual graph of bounded twin-width. This is in sharp contrast to the case of treewidth, where for any natural number n there exists a closed 3-manifold such that every triangulation thereof has dual graph with treewidth at least n. To establish this result, we bound the twin-width of the dual graph of the d-skeleton of the second barycentric subdivision of the 2d-dimensional hypercubic honeycomb. We also show that every compact, piecewise-linear (hence smooth) d-dimensional manifold has triangulations where the dual graph has an arbitrarily large twin-width.

Cite As Get BibTex

Édouard Bonnet and Kristóf Huszár. On the Twin-Width of Smooth Manifolds. In 41st International Symposium on Computational Geometry (SoCG 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 332, pp. 23:1-23:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/LIPIcs.SoCG.2025.23

Author Details

Édouard Bonnet
  • Univ Lyon, CNRS, ENS de Lyon, Université Claude Bernard Lyon 1, LIP UMR5668, France
Kristóf Huszár
  • Institute of Geometry, Graz University of Technology, Austria

Funding

The authors have been supported by the French National Research Agency through the project TWIN-WIDTH with reference number ANR-21-CE48-0014.
  • Huszár, Kristóf: Partially supported by the Austrian Science Fund (FWF) grant P 33765-N.

Acknowledgements

We thank the anonymous reviewers for their helpful comments and for raising interesting questions for future research.

References

  1. M. A. Armstrong. Extending triangulations. Proc. Amer. Math. Soc., 18:701-704, 1967. URL: https://doi.org/10.2307/2035442.
  2. B. Bagchi, B. A. Burton, B. Datta, N. Singh, and J. Spreer. Efficient algorithms to decide tightness. In 32nd Int. Symp. Comput. Geom. (SoCG 2016), volume 51 of LIPIcs. Leibniz Int. Proc. Inf., pages 12:1-12:15. Schloss Dagstuhl-Leibniz-Zent. Inf., 2016. URL: https://doi.org/10.4230/LIPIcs.SoCG.2016.12.
  3. D. Bar-Natan. Fast Khovanov homology computations. J. Knot Theory Ramifications, 16(3):243-255, 2007. URL: https://doi.org/10.1142/S0218216507005294.
  4. P. Bergé, É. Bonnet, H. Déprés, and R. Watrigant. Approximating highly inapproximable problems on graphs of bounded twin-width. In 40th Int. Symp. Theor. Aspects Comput. Sci. (STACS 2023), volume 254 of LIPIcs. Leibniz Int. Proc. Inform., pages 10:1-10:15. Schloss Dagstuhl. Leibniz-Zent. Inform., 2023. URL: https://doi.org/10.4230/lipics.stacs.2023.10.
  5. J.-D. Boissonnat, S. Kachanovich, and M. Wintraecken. Triangulating submanifolds: an elementary and quantified version of Whitney’s method. Discrete Comput. Geom., 66(1):386-434, 2021. URL: https://doi.org/10.1007/s00454-020-00250-8.
  6. É. Bonnet. Twin-width and contraction sequences. Habilitation thesis, ENS de Lyon, April 2024. URL: https://perso.ens-lyon.fr/edouard.bonnet/text/hdr.pdf.
  7. É. Bonnet, D. Chakraborty, E. J. Kim, N. Köhler, R. Lopes, and S. Thomassé. Twin-width VIII: delineation and win-wins. In 17th Int. Symp. Parametr. Exact Comput. (IPEC 2022), volume 249 of LIPIcs. Leibniz Int. Proc. Inform., pages 9:1-9:18. Schloss Dagstuhl. Leibniz-Zent. Inform., 2022. URL: https://doi.org/10.4230/LIPIcs.IPEC.2022.9.
  8. É. Bonnet, C. Geniet, E. J. Kim, S. Thomassé, and R. Watrigant. Twin-width III: max independent set, min dominating set, and coloring. In 48th Int. Colloq. Autom. Lang. Prog. (ICALP 2021), volume 198 of LIPIcs. Leibniz Int. Proc. Inform., pages 35:1-35:20. Schloss Dagstuhl. Leibniz-Zent. Inform., 2021. URL: https://doi.org/10.4230/LIPIcs.ICALP.2021.35.
  9. É. Bonnet, C. Geniet, E. J. Kim, S. Thomassé, and R. Watrigant. Twin-width II: small classes. Comb. Theory, 2(2):Paper No. 10, 42, 2022. URL: https://doi.org/10.5070/C62257876.
  10. É. Bonnet and K. Huszár. On the twin-width of smooth manifolds, 2024. URL: https://arxiv.org/abs/2407.10174.
  11. É. Bonnet, E. J. Kim, S. Thomassé, and R. Watrigant. Twin-width I: Tractable FO model checking. J. ACM, 69(1):Art. 3, 46, 2022. URL: https://doi.org/10.1145/3486655.
  12. B. A. Burton. Computational topology with Regina: algorithms, heuristics and implementations. In Geometry and Topology Down Under, volume 597 of Contemp. Math., pages 195-224. Am. Math. Soc., Providence, RI, 2013. URL: https://doi.org/10.1090/conm/597/11877.
  13. B. A. Burton. The HOMFLY-PT polynomial is fixed-parameter tractable. In 34th Int. Symp. Comput. Geom. (SoCG 2018), volume 99 of LIPIcs. Leibniz Int. Proc. Inform., pages 18:1-18:14. Schloss Dagstuhl-Leibniz-Zent. Inf., 2018. URL: https://doi.org/10.4230/LIPIcs.SoCG.2018.18.
  14. B. A. Burton, R. Budney, W. Pettersson, et al. Regina: Software for low-dimensional topology, 1999-2023. Version 7.3. URL: https://regina-normal.github.io.
  15. B. A. Burton and R. G. Downey. Courcelle’s theorem for triangulations. J. Comb. Theory, Ser. A, 146:264-294, 2017. URL: https://doi.org/10.1016/j.jcta.2016.10.001.
  16. B. A. Burton, H. Edelsbrunner, J. Erickson, and S. Tillmann, editors. Computational Geometric and Algebraic Topology, volume 12 of Oberwolfach Rep. EMS Publ. House, 2015. URL: https://doi.org/10.4171/OWR/2015/45.
  17. B. A. Burton, T. Lewiner, J. Paixão, and J. Spreer. Parameterized complexity of discrete Morse theory. ACM Trans. Math. Softw., 42(1):6:1-6:24, 2016. URL: https://doi.org/10.1145/2738034.
  18. B. A. Burton, C. Maria, and J. Spreer. Algorithms and complexity for Turaev-Viro invariants. J. Appl. Comput. Topol., 2(1-2):33-53, 2018. URL: https://doi.org/10.1007/s41468-018-0016-2.
  19. B. A. Burton and W. Pettersson. Fixed parameter tractable algorithms in combinatorial topology. In Proc. 20th Int. Conf. Comput. Comb. (COCOON 2014), volume 8591 of Lect. Notes Comput. Sci., pages 300-311. Springer, 2014. URL: https://doi.org/10.1007/978-3-319-08783-2_26.
  20. B. A. Burton and J. Spreer. The complexity of detecting taut angle structures on triangulations. In Proc. 24th Annu. ACM-SIAM Symp. Discrete Algorithms (SODA 2013), pages 168-183, 2013. URL: https://doi.org/10.1137/1.9781611973105.13.
  21. G. Chapuy and G. Perarnau. On the number of coloured triangulations of d-manifolds. Discrete Comput. Geom., 65(3):601-617, 2021. URL: https://doi.org/10.1007/s00454-020-00189-w.
  22. A. de Mesmay, J. Purcell, S. Schleimer, and E. Sedgwick. On the tree-width of knot diagrams. J. Comput. Geom., 10(1):164-180, 2019. URL: https://doi.org/10.20382/jocg.v10i1a6.
  23. Z. Dvořák and S. Norine. Small graph classes and bounded expansion. J. Combin. Theory Ser. B, 100(2):171-175, 2010. URL: https://doi.org/10.1016/j.jctb.2009.06.001.
  24. J. Gajarský, M. Pilipczuk, W. Przybyszewski, and Sz. Toruńczyk. Twin-width and types. In 49th Int. Conf. Autom. Lang. Prog. (ICALP 2022), volume 229 of LIPIcs. Leibniz Int. Proc. Inform., pages 123:1-123:21. Schloss Dagstuhl. Leibniz-Zent. Inform., 2022. URL: https://doi.org/10.4230/lipics.icalp.2022.123.
  25. P. Hliněný and J. Jedelský. Twin-width of planar graphs is at most 8, and at most 6 when bipartite planar. In 50th Int. Colloq. Autom. Lang. Prog. (ICALP 2023), volume 261 of LIPIcs. Leibniz Int. Proc. Inform., pages Art. No. 75, 18. Schloss Dagstuhl. Leibniz-Zent. Inform., 2023. URL: https://doi.org/10.4230/lipics.icalp.2023.75.
  26. K. Huszár. Combinatorial width parameters for 3-dimensonal manifolds. PhD thesis, IST Austria, June 2020. URL: https://doi.org/10.15479/AT:ISTA:8032.
  27. K. Huszár. On the pathwidth of hyperbolic 3-manifolds. Comput. Geom. Topol., 1(1):1-19, 2022. URL: https://doi.org/10.57717/cgt.v1i1.4.
  28. K. Huszár and J. Spreer. 3-Manifold triangulations with small treewidth. In 35th Int. Symp. Comput. Geom. (SoCG 2019), volume 129 of LIPIcs. Leibniz Int. Proc. Inf., pages 44:1-44:20. Schloss Dagstuhl-Leibniz-Zent. Inf., 2019. URL: https://doi.org/10.4230/LIPIcs.SoCG.2019.44.
  29. K. Huszár and J. Spreer. On the width of complicated JSJ decompositions. In 39th Int. Symp. Comput. Geom. (SoCG 2023), volume 258 of LIPIcs. Leibniz Int. Proc. Inf., pages 42:1-42:18. Schloss Dagstuhl-Leibniz-Zent. Inf., 2023. URL: https://doi.org/10.4230/LIPIcs.SoCG.2023.42.
  30. K. Huszár, J. Spreer, and U. Wagner. On the treewidth of triangulated 3-manifolds. J. Comput. Geom., 10(2):70-98, 2019. URL: https://doi.org/10.20382/jogc.v10i2a5.
  31. D. Kráľ and A. Lamaison. Planar graph with twin-width seven. Eur. J. Comb., page 103749, 2023. URL: https://doi.org/10.1016/j.ejc.2023.103749.
  32. D. Kráľ, K. Pekárková, and K. Štorgel. Twin-Width of Graphs on Surfaces. In 49th Int. Symp. Math. Found. Comput. Sci. (MFCS 2024), volume 306 of LIPIcs. Leibniz Int. Proc. Inf., pages 66:1-66:15. Schloss Dagstuhl-Leibniz-Zent. Inf., 2024. URL: https://doi.org/10.4230/LIPIcs.MFCS.2024.66.
  33. J. M. Lee. Introduction to smooth manifolds, volume 218 of Grad. Texts Math. Springer, New York, second edition, 2013. URL: https://doi.org/10.1007/978-1-4419-9982-5.
  34. N. Levitt and A. Ranicki. Intrinsic transversality structures. Pacific J. Math., 129(1):85-144, 1987. URL: https://doi.org/10.2140/pjm.1987.129.85.
  35. C. Lunel and A. de Mesmay. A Structural Approach to Tree Decompositions of Knots and Spatial Graphs. In 39th Int. Symp. Comput. Geom. (SoCG 2023), volume 258 of LIPIcs. Leibniz Int. Proc. Inf., pages 50:1-50:16. Schloss Dagstuhl-Leibniz-Zent. Inf., 2023. URL: https://doi.org/10.4230/LIPIcs.SoCG.2023.50.
  36. J. A. Makowsky. Coloured Tutte polynomials and Kauffman brackets for graphs of bounded tree width. Discrete Appl. Math., 145(2):276-290, 2005. URL: https://doi.org/10.1016/j.dam.2004.01.016.
  37. J. A. Makowsky and J. P. Mariño. The parametrized complexity of knot polynomials. J. Comput. Syst. Sci., 67(4):742-756, 2003. Special issue on parameterized computation and complexity. URL: https://doi.org/10.1016/S0022-0000(03)00080-1.
  38. C. Manolescu. Lectures on the triangulation conjecture. In Proc. 22nd Gökova Geom.-Topol. Conf. (GGT 2015), pages 1-38. Int. Press Boston, 2016. URL: https://gokovagt.org/proceedings/2015/manolescu.html.
  39. C. Maria. Parameterized complexity of quantum knot invariants. In 37th Int. Symp. Comput. Geom. (SoCG 2021), volume 189 of LIPIcs. Leibniz Int. Proc. Inf., pages 53:1-53:15. Schloss Dagstuhl-Leibniz-Zent. Inf., 2021. URL: https://doi.org/10.4230/LIPIcs.SoCG.2021.53.
  40. C. Maria and J. Purcell. Treewidth, crushing and hyperbolic volume. Algebr. Geom. Topol., 19(5):2625-2652, 2019. URL: https://doi.org/10.2140/agt.2019.19.2625.
  41. E. E. Moise. Affine structures in 3-manifolds. V. The triangulation theorem and Hauptvermutung. Ann. Math. (2), 56:96-114, 1952. URL: https://doi.org/10.2307/1969769.
  42. M. Noy. Graphs. In Handbook of Enumerative Combinatorics, Discrete Math. Appl., pages 397-436. Chapman & Hall / CRC, 2015. URL: https://doi.org/10.1201/b18255-12.
  43. V. V. Prasolov. Elements of combinatorial and differential topology, volume 74 of Grad. Stud. Math. Am. Math. Soc., Providence, RI, 2006. Translated from the 2004 Russian original by Olga Sipacheva. URL: https://doi.org/10.1090/gsm/074.
  44. T. Radó. Über den Begriff der Riemannschen Fläche. Acta Sci. Math., 2(2):101-121, 1925. Google Scholar
  45. C. P. Rourke and B. J. Sanderson. Introduction to piecewise-linear topology. Springer Study Edition. Springer-Verlag, Berlin-New York, 1982. Reprint. URL: https://doi.org/10.1007/978-3-642-81735-9.
  46. F. Waldhausen, B. Jahren, and J. Rognes. Spaces of PL manifolds and categories of simple maps, volume 186 of Annals Math. Stud. Princeton Univ. Press, Princeton, NJ, 2013. URL: https://doi.org/10.1515/9781400846528.
  47. H. Whitney. The self-intersections of a smooth n-manifold in 2n-space. Ann. of Math. (2), 45:220-246, 1944. URL: https://doi.org/10.2307/1969265.
  48. H. Whitney. Geometric Integration Theory. Princeton Univ. Press, Princeton, NJ, 1957. URL: https://doi.org/10.1515/9781400877577.
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact