Dr Jonathan Spreer

The University of Sydney
jonathan.spreer@sydney.edu.au
https://orcid.org/0000-0001-6865-9483
Gadget construction


My arXiv page:
My ORCID profile:
https://arxiv.org/a/spreer_j_1.html
https://orcid.org/0000-0001-6865-9483
  Preprints
pic (with Benjamin A. Burton and Basudeb Datta) The Pachner graph of 2-spheres, 2017. 23 pages, 20 figures, 1 table, arXiv:1701.05144 [math.CO]. [ bib | arXiv ]
pic (with João Paixão) Random collapsibility and 3-sphere recognition, 2015. 18 pages, 6 figures, arXiv:1509.07607 [math.GT]. [ bib | arXiv ]
  Published
pic (with Joseph Doolittle, Jean-Philippe Labbé, Carsten E. M. C. Lange, Rainer Sinn and Günter M. Ziegler) Combinatorial inscribability obstructions for higher-dimensional polytopes. Mathematika, 66(4):927-953, 2020. [ bib | arXiv | doi ]
pic (with Giulia Codenotti and Francisco Santos) Average Betti Numbers of Induced Subcomplexes in Triangulations of Manifolds. Electron. J. Combin. 27(3):P3.40, 2020. [ bib | arXiv | doi ]
pic (with William Jaco, Hyam Rubinstein and Stephan Tillmann) Z2-Thurston Norm and Complexity of 3-Manifolds, II. Algebraic and Geometric Topology, 20:503-529, 2020. [ bib | arXiv | doi ]
pic (with Stephan Tillmann) Determining the trisection genus of orientable and non-orientable PL 4-manifolds through triangulations. Exp. Math., Published online: 05 Mar 2020. [ bib | arXiv | doi ]
pic (with Jorge Olarte, Francisco Santos and Christian Stump) The EKR property for flag pure simplicial complexes without boundary. Jornal of Combinatorial Theory, Series A, 172:1-29, 2020. [ bib | arXiv | doi ]
pic (with William Jaco, Hyam Rubinstein and Stephan Tillmann) On minimal ideal triangulations of cusped hyperbolic 3-manifolds. Journal of Topology, 13(1):308-342, 2020. [ bib | arXiv | doi ]
pic (with Clément Maria) A polynomial time algorithm to compute quantum invariants of 3-manifolds with bounded first Betti number. Foundations of Computational Mathematics, pp. 1-22, 2019. [ bib | arXiv | doi ]
pic (with Kristóf Huszár and Uli Wagner) On the treewidth of triangulated 3-manifolds. Journal of Computational Geometry, 10(2), 29 pages, 2019. [ bib | arXiv | doi ]
pic (with Ulrich Bauer and Abhishek Rathod) Parametrized Complexity of Expansion Height. 27th Annual European Symposium on Algorithms (ESA 2019). In Leibniz International Proceedings in Informatics (LIPICS), vol. 144, pg. 13:1-13:15, 2019. [ bib | arXiv | doi ]
pic (with Jorge Olarte and Francisco Santos) Short proof of two cases of Chvátal's conjecture. Disc. Math., 342:2192-2194, 2019. 3 pages, arXiv:1804.03646 [math.CO]. [ bib | arXiv | doi ]
pic (with Kristóf Huszár) 3-Manifold triangulations with small treewidth. 35th International Symposium on Computational Geometry (SoCG 2019). In Leibniz International Proceedings in Informatics (LIPICS), vol. 129, pg. 44:1-44:20, 2019. [ bib | arXiv | doi ]
pic (with Benjamin A. Burton and Clément Maria) Algorithms and complexity for Turaev-Viro invariants. Journal of Applied and Computational Topology, DOI 10.1007/s41468-018-0016-2, 1-21, 2018. [ bib | arXiv | doi ]
pic (with Stephan Tillmann) Unravelling the Dodecahedral Spaces. 2016 MATRIX Annals In MATRIX Book Ser. (Springer, Cham), vol. 1, pg. 323--347, 2018. [ bib | arXiv | doi ]
pic (with Kristóf Huszár and Uli Wagner) On the treewidth of triangulated 3-manifolds. 34th International Symposium on Computational Geometry (SoCG 2018). In Leibniz International Proceedings in Informatics (LIPICS), vol. 99, pg. 46:1-46:15, 2018. [ bib | arXiv | doi ]
pic (with Stephan Tillmann) Determining the trisection genus of orientable and non-orientable PL 4-manifolds through triangulations. 34th International Symposium on Computational Geometry (SoCG 2018). In Leibniz International Proceedings in Informatics (LIPICS), vol. 99, pg. 71:1-71:13, 2018. [ bib | arXiv | doi ]
pic (with Clément Maria) A polynomial time algorithm to compute quantum invariants of 3-manifolds with bounded first Betti number. Proceedings of the ACM-SIAM Symposium on Discrete Algorithms (SODA 2017), pages 2721-2732, 2017. [ bib | arXiv | doi ]
pic (with Bhaskar Bagchi and Basudeb Datta) A characterization of tightly triangulated 3-manifolds. European J. Combin., 61:133-137, 2017. [ bib | arXiv | doi ]
pic (with Benjamin A. Burton) Combinatorial Seifert fibred spaces with transitive cyclic automorphism group. Israel Journal of Mathematics, 214(2):741-784, 2016. [ bib | arXiv | doi ]
pic (with Benjamin A. Burton, Basudeb Datta and Nitin Singh) A construction principle for tight and minimal triangulations of manifolds. Exp. Math., 27:22-36, 2018. [ bib | arXiv | doi ]
pic (with Clément Maria) Admissible colourings of 3-manifold triangulations for Turaev-Viro type invariants. 24th Annual European Symposium on Algorithms (ESA 2016). In Leibniz International Proceedings in Informatics (LIPIcs), vol. 57, pg. 64:1-64:16, 2016. [ bib | arXiv | doi ]
pic (with William Jaco, Jesse Johnson and Stephan Tillmann) Bounds for the genus of a normal surface. Geometry and Topology, 20(3):1625-1671, 2016. [ bib |  arXiv | doi ]
pic (with Bhaskar Bagchi, Benjamin A. Burton, Basudeb Datta and Nitin Singh) Efficient algorithms to decide tightness. 32nd International Symposium on Computational Geometry (SoCG 2016). In Leibniz International Proceedings in Informatics (LIPICS), vol. 51, pg. 12:1-12:15, 2016. [ bib | arXiv | doi ]
pic (with Bhaskar Bagchi and Basudeb Datta) Tight triangulations of closed 3-manifolds. European J. Combin., 54:103-120, 2016. [ bib | arXiv | doi ]
pic (with Biplab Basak) Simple crystallizations of 4-manifolds. Advances in Geometry, 16(1):111-130, 2016. [ bib | arXiv | doi ]
pic (with Benjamin A. Burton, Thomas Lewiner and João Paixão) Parameterized complexity of discrete Morse theory. ACM Trans. Math. Softw., 42(1):24 pages, 2016. [ bib | arXiv | doi ]
pic Necessary conditions for the tightness of odd-dimensional combinatorial manifolds. European J. Combin., 51:475-491, 2016. [ bib | arXiv | doi ]
pic (with Benjamin A. Burton, Basudeb Datta and Nitin Singh) Separation index of graphs and stacked 2-spheres. J. Combin. Theory (A), 136:184-197, 2015. [ bib | arXiv | doi ]
pic (with Benjamin A. Burton and Clément Maria) Algorithms and complexity for Turaev-Viro invariants. Automata, Languages, and Programming: 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part 1, pg. 281-293. [ bib | arXiv | doi ]
pic Combinatorial 3-manifolds with transitive cyclic automorphism group. Discrete and Computational Geometry, 51(2):394-426, 2014. [ bib | arXiv | doi ]
pic (with Benjamin A. Burton, Thomas Lewiner and João Paixão) Parameterized complexity of discrete Morse theory. Proceedings of the Twenty-Ninth Annual Symposium on Computational Geometry (SoCG), pg. 127-136, 2013. [ bib | arXiv | doi ]
pic (with Benjamin A. Burton and João Paixão) Computational topology and normal surfaces: Theoretical and experimental complexity bounds. Proceedings of the Meeting on Algorithm Engineering and Experiments (ALENEX 2013), pg. 78-87, 2013. [ bib | arXiv | doi ]
pic (with Benjamin A. Burton) The complexity of detecting taut angle structures on triangulations. Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms, pg. 168-183, 2013. [ bib | arXiv | doi ]
pic Partitioning the triangles of the cross polytope into surfaces. Beitr. Algebra Geom. / Contributions to Algebra and Geometry, 53(2):473-486, 2012. [ bib | http | arXiv | doi ]
pic Normal surfaces as combinatorial slicings. Disc. Math., 311(14):1295-1309, 2011. [ bib | arXiv | doi ]
pic (with Wolfgang Kühnel) Combinatorial properties of the K3 surface: Simplicial blowups and slicings. Exp. Math., 20(2):201-216, 2011. [ bib | http | arXiv | doi ]
  Informal review only
pic (with Clément Maria) Classification of Normal Curves on a Tetrahedron. 32nd Symposium on Computational Geometry, Young Researchers Forum, Collections of abstracts, 2016. [ bib | arXiv ]
pic Random Collapsibility and 3-sphere recognition. Computational Geometric and Algebraic Topology. In Oberwolfach reports, vol. 12(4), 2662-2665, 2015. [ bib | doi ]
pic (with Benjamin A. Burton) Computationally proving triangulated 4-manifolds to be diffeomorphic. 29th ACM Symposium on Computational Geometry, Young Researchers Forum, Collections of abstracts, 2013, pages 15-16. [ bib | arXiv ]
pic (with Felix Effenberger) Simplicial blowups and discrete normal surfaces in the GAP package simpcomp. ACM Communications in Computer Algebra, 45(3):173-176, 2011. [ bib | arXiv | doi ]
pic (with Felix Effenberger) simpcomp - a GAP toolbox for simplicial complexes. ACM Communications in Computer Algebra, 44(4):186-189, 2010. [ bib | doi ]
  Mathematical software
pic (with Felix Effenberger) simpcomp - A GAP package, Version 2.1.10, 2009-2019. [ bib | http ]
  Editorship
pic Jonathan Spreer, Uli Wagner (Organisers), Benjamin A. Burton, Satoshi Murai, Eric Sedgwick, Henry Segerman. Collection of abstracts of the Workshop on Triangulations in Geometry and Topology at CG Week 2014 in Kyoto. 4 x 6 page extended abstracts. The workshop was held as part of CG-Week 2014 at Kyoto University. June 10th, 2014 [ bib | arXiv | http ]
  Theses
pic Blowups, slicings and permutation groups in combinatorial topology. Logos Verlag Berlin, 2011. Dissertation. [ bib | http ]
pic Über die Topologie von kombinatorischen 4-Mannigfaltigkeiten, insbesondere der K3-Fläche, 2008. Diplomarbeit. [ bib ]

Dr Jonathan Spreer   |   The University of Sydney   |   School of Mathematics and Statistics   |   Email: jonathan.spreer@sydney.edu.au