Related papers: Finding large counterexamples by selectively explo…
We discuss different approaches for the enumeration of triangulated surfaces. In particular, we enumerate all triangulated surfaces with 9 and 10 vertices. We also show how geometric realizations of orientable surfaces with few vertices can…
We show that the decision problem of recognising whether a triangulated 3-manifold admits a Seifert fibered structure with non-empty boundary is in NP. We also show that the problem of producing Seifert data for a triangulation of such a…
Motivated by fixed-parameter tractable (FPT) problems in computational topology, we consider the treewidth of a compact, connected 3-manifold $M$ defined by \[ \operatorname{tw}(M) =…
Santos' construction of the first known counterexample to the Hirsch conjecture, for bounded polytopes, follows the strategy of first finding a counterexample to the nonrevisiting conjecture. Santos constructs a $5$-dimensional…
Expander graphs, due to their mixing properties, are useful in many algorithms and combinatorial constructions. One can produce an expander graph with high probability by taking a random graph (e.g., the union of $d$ random bijections for a…
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…
A canonical branched covering over each sufficiently good simplicial complex is constructed. Its structure depends on the combinatorial type of the complex. In this way, each closed orientable 3-manifold arises as a branched covering over…
Following on from work of Dunfield, we determine the fibred status of all the unknown hyperbolic 3-manifolds in the cusped census. We then find all the fibred hyperbolic 3-manifolds in the closed census and use this to find over 100…
We give an explicit construction of vertex-transitive tight triangulations of $d$-manifolds for $d\geq 2$. More explicitly, for each $d\geq 2$, we construct two $(d^2+5d+5)$-vertex neighborly triangulated $d$-manifolds whose vertex-links…
A normal pseudomanifold is a pseudomanifold in which the links of simplices are also pseudomanifolds. So, a normal 2-pseudomanifold triangulates a connected closed 2-manifold. But, normal $d$-pseudomanifolds form a broader class than…
We present a collection of results concerning the location and distribution of very triangular numbers among triangular numbers, including the twin very triangular number theorem, the existence of arbitrarily long gaps between -- and an…
Counting and finding triangles in graphs is often used in real-world analytics to characterize cohesiveness and identify communities in graphs. In this paper, we propose the novel concept of a cover-edge set that can be used to find…
In this work we present a complete (no misses, no duplicates) census for closed, connected, orientable and prime 3-manifolds induced by plane graphs with a bipartition of its edge set (blinks) up to $k=9$ edges. Blinks form a universal…
We show that contact homology distinguishes infinitely many tight contact structures on any orientable, toroidal, irreducible 3-manifold. As a consequence of the contact homology computations, on a very large class of toroidal manifolds,…
Graphs and networks are used to model interactions in a variety of contexts. There is a growing need to quickly assess the characteristics of a graph in order to understand its underlying structure. Some of the most useful metrics are…
A standard problem in applied topology is how to discover topological invariants of data from a noisy point cloud that approximates it. We consider the case where a sample is drawn from a properly embedded C1-submanifold without boundary in…
Regular edge-colored graphs encode colored triangulations of pseudo-manifolds. Here we study families of edge-colored graphs built from a finite but arbitrary set of building blocks, which extend the notion of $p$-angulations to arbitrary…
We explain how to derive largeness constraints in scalar curvature geometry using some basic splitting results and the potential theory on singular area minimizing hypersurfaces. This includes a variety of results like the non-existence of…
In short geometrization conjecture of W.\,Thurston (finally proved by G.~Perelman) says that any oriented $3$-manifold can be canonically partitioned into pieces, which have a geometric structure of one of the eight types. In the seminal…
Suppose $M$ is a closed, connected, orientable, \irr\ \3m\ such that $G=\pi_1(M)$ is infinite. One consequence of Thurston's geometrization conjecture is that the universal covering space $\widetilde{M}$ of $M$ must be \homeo\ to $\RRR$.…