Related papers: Algorithms and complexity for Turaev-Viro invarian…
We define an invariant for bordered 3-manifolds with torus boundary, taking the form of a module over a weighted A-infinity algebra associated to a torus defined in previous work. On setting U=0, we obtain the bordered three-manifold…
While standard Weisfeiler-Leman vertex labels are not able to distinguish even vertices of regular graphs, there is proposed and tested family of inexpensive polynomial time vertex and edge invariants, distinguishing much more difficult…
The Heegaard genus is a fundamental invariant of 3-manifolds. However, computing the Heegaard genus of a triangulated 3-manifold is NP-hard, and while algorithms exist, little work has been done in making such an algorithm efficient and…
A clover is a framed trivalent graph with some additional structure, embedded in a 3-manifold. We define surgery on clovers, generalizing surgery on Y-graphs used earlier by the second author to define a new theory of finite-type invariants…
We give a summary of known results on Matveev's complexity of compact 3-manifolds. The only relevant new result is the classification of all closed orientable irreducible 3-manifolds of complexity 10.
We establish a 3-manifold invariant for each finite-dimensional, involutory Hopf algebra. If the Hopf algebra is the group algebra of a group $G$, the invariant counts homomorphisms from the fundamental group of the manifold to $G$. The…
We present in this paper a new technique for generating polynomial invariants, divided in two independent parts : a procedure that reduces polynomial assignments composed loops analysis to linear loops under certain hypotheses and a…
Univariate polynomial root-finding is a classical subject, still important for modern computing. Frequently one seeks just the real roots of a polynomial with real coefficients. They can be approximated at a low computational cost if the…
In this paper we implement a numerical algorithm to compute codimension-one tori in three-dimensional, volume-preserving maps. A torus is defined by its conjugacy to rigid rotation, which is in turn given by its Fourier series. The…
Modular categories are a well-known source of quantum 3-manifold invariants. In this paper we study structures on modular categories which allow to define refinements of quantum 3-manifold invariants involving cohomology classes or…
Let $(V,Z)$ be a Topological Quantum Field Theory over a field $f$ defined on a cobordism category whose morphisms are oriented $n+1$-manifolds perhaps with extra structure. Let $(M,\chi)$ be a closed oriented $n+1$-manifold $M$ with this…
We investigate the notion of complexity for finitely presented groups and the related notion of complexity for three-dimensional manifolds. We give two-sided estimates on the complexity of all the Milnor groups (the finite groups with free…
Partition functions, also known as homomorphism functions, form a rich family of graph invariants that contain combinatorial invariants such as the number of k-colourings or the number of independent sets of a graph and also the partition…
We define an integer-valued virtual count of embedded pseudo-holomorphic curves of two times a primitive homology class and arbitrary genus in symplectic Calabi--Yau $3$-folds, which can be viewed as an extension of Taubes' Gromov…
In this note we give concise formulas, which lead to a simple and fast computer program that computes a powerful knot invariant. This invariant $\rho_1$ is not new, yet our formulas are by far the simplest and fastest: given a knot we write…
We consider the SO(3) Witten-Reshetikhin-Turaev quantum invariants of random 3-manifolds. When the level r is prime, we show that the asymptotic distribution of the absolute value of these invariants is given by the standard Rayleigh…
In this paper we introduce and study a new concept of parametrised topological complexity, a topological invariant motivated by the motion planning problem of robotics. In the parametrised setting, a motion planning algorithm has high…
We establish a lower bound on the complexity orientable locally orientable geometric 3-orbifolds in terms of Delzant's T-invariants of their orbifold-fundamental groups, generalizing previously known bounds for complexity of 3-manifolds.
Vladimir Turaev discovered in the early years of quantum topology that the notion of modular category was an appropriate structure for building 3-dimensional Topological Quantum Field Theories (TQFTs for short) containing invariants of…
The logarithm of the Kontsevich-Kuperberg-Thurston invariant counts embeddings of connected trivalent graphs in an oriented rational homology sphere, using integrals on configuration spaces of points in the given manifold. It is a universal…