Related papers: A new algorithm for 3-sphere recognition
For each Frobenius algebra there is defined a skein module of surfaces embedded in a given 3-manifold and bounding a prescribed curve system in the boundary. The skein relations are local and generate the kernel of a certain natural…
We investigate a question of Cooper adjacent to the Virtual Haken Conjecture. Assuming certain conjectures in number theory, we show that there exist hyperbolic rational homology 3-spheres with arbitrarily large injectivity radius. These…
In this paper we develop new Newton and conjugate gradient algorithms on the Grassmann and Stiefel manifolds. These manifolds represent the constraints that arise in such areas as the symmetric eigenvalue problem, nonlinear eigenvalue…
From the homotopy groups of three distinct octahedral spherical 3-manifolds we construct the isomorphic groups H of deck transformations acting on the 3-sphere. The H-invariant polynomials on the 3-sphere constructed by representation…
A classical theorem, mainly due to Aleksandrov and Pogorelov, states that any Riemannian metric on $S^2$ with curvature $K>-1$ is induced on a unique convex surface in $H^3$. A similar result holds with the induced metric replaced by the…
We construct algorithms and topological invariants that allow us to distinguish the topological type of a surface, as well as functions and vector fields for their topological equivalence. In the first part (arXiv:2501.15657), we discused…
The classification of isoparametric hypersurfaces in spheres with four or six different principal curvatures is still not complete. In this paper we develop a structural approach that may be helpful for a classification. Instead of working…
By employing the (de)homogenization technique in a relatively extensive setting, this note studies in detail the relation between non-homogeneous Gr\"obner bases and homogeneous Gr\"obner bases. As a consequence, a general principle of…
Signature-based algorithms have become a standard approach for computing Gr\"obner bases in commutative polynomial rings. However, so far, it was not clear how to extend this concept to the setting of noncommutative polynomials in the free…
We consider an embedding of a $2$-dimensional CW complex into the $3$-sphere, and construct it's dual graph. Then we obtain a homogeneous system of linear equations from the $2$-dimensional CW complex in the first homology group of the…
This survey focuses on the computational complexity of some of the fundamental decision problems in 3-manifold theory. The article discusses the wide variety of tools that are used to tackle these problems, including normal and almost…
3-dimensional BF theory with gauge group $G$ (= Chern-Simons theory with non-compact gauge group $TG$) is a deceptively simple yet subtle topological gauge theory. Formally, its partition function is a sum/integral over the moduli space…
In this paper, continuing our previous work, we investigate the third gap problem in the Simon conjecture for closed minimal surfaces in the unit sphere. By developing refined third-order Simons-type integral identities and establishing new…
We show that for any integers k and g, with g at least two, there are infinitely many closed hyperbolic 3-manifolds which are integral homology spheres with Casson invariant k, and Heegaard genus equal to g. This existence result is shown…
In this article, we prove that the commensurability class of a closed, orientable, hyperbolic 3-manifold is determined by the surface subgroups of its fundamental group. Moreover, we prove that there can be only finitely many closed,…
A direct analog of Hadamard's three-circle theorem is obtained for harmonic functions (in weighted L^2-norm) in case of (n-1)-dimensional non-concentric spheres in R^n. The result extends the concentric case to correlated non-concentric,…
We prove a Reeb sphere theorem for finite simple graphs. The result bridges two different definitions of spheres in graph theory. We also reformulate Morse conditions in terms of the center manifolds, the level surface graphs {f=f(x)} in…
We prove that given two compact oriented $3$-manifolds $N$ and $M,$ with $M$ satisfying only a mild hypothesis, there is a hyperbolic $3$-manifold $N'$ arbitrarily ``closely related'' to $N,$ and such that $N'$ does not embed in $M.$ For…
In contrast to the somewhat abstract, group theoretical approach adopted by many papers, our work provides a new and more intuitive derivation of steerable convolutional neural networks in $d$ dimensions. This derivation is based on…
The new type of ideal basis introduced herein constitutes a compromise between the Gr\"obner bases based on the Buchberger's algorithm and the characteristic sets based on the Wu's method. It reduces the complexity of the traditional…