Related papers: A new algorithm for 3-sphere recognition
Computing spherical harmonic decompositions is a ubiquitous technique that arises in a wide variety of disciplines and a large number of scientific codes. Because spherical harmonics are defined by integrals over spheres, however, one must…
For associative algebras in many different categories, it is possible to develop the machinery of Gr\"obner bases. A Gr\"obner basis of defining relations for an algebra of such a category provides a "monomial replacement" of this algebra.…
We have defined weight of the pair $(\langle S \mid R \rangle, R)$ for a given presentation $\langle S \mid R \rangle$ of a group, where the number of generators is equal to the number of relations. We present an algorithm to construct…
A rapid algorithm is derived for the Helmholtz--Hodge decomposition on the surface of the sphere in spherical coordinates. The algorithm uncouples modes of spherical harmonics with different absolute order, writes the conversion as…
In the early 2000's, Baues computed the secondary Steenrod algebra, the algebra of all secondary cohomology operations. Together with Jibladze, they showed that this gives an algorithm that computes all Adams $d_2$ differentials for the…
We present a practical algorithm to test whether a 3-manifold given by a triangulation or an ideal triangulation contains a closed essential surface. This property has important theoretical and algorithmic consequences. As a testament to…
Our goal is to convince the readers that the theory of complex normal surface singularities can be a powerful tool in the study of numerical semigroups, and, in the same time, a very rich source of interesting affine and numerical…
We construct Bott-type and equivariant Seiberg-Witten Floer homology and cohomology for 3-manifolds, in particular rational homology spheres, and prove their diffeomorphism invariance. This paper is a revised version of math.DG/9701010.…
A reformulation of the three circles theorem of Johnson with distance coordinates to the vertices of a triangle is explicitly represented in a polynomial system and solved by symbolic computation. A similar polynomial system in distance…
We propose an effective algorithm that enumerates (and actually finds) all 3-edge colorings and Hamiltonian cycles in a cubic graph. The idea is to make a preliminary run that separates the vertices into two types: ``rigid'' (such that the…
We propose a new framework for the recognition of online handwritten graphics. Three main features of the framework are its ability to treat symbol and structural level information in an integrated way, its flexibility with respect to…
In this paper we prove the existence of rational homology balls smoothly embedded in regular neighborhoods of certain linear chains of smooth $2$-spheres by using techniques from minimal model program for 3-dimensional complex algebraic…
Signature-based algorithms is a popular kind of algorithms for computing Gr\"obner bases, and many related papers have been published recently. In this paper, no new signature-based algorithms and no new proofs are presented. Instead, a…
This paper develops an algorithm that identifies and decomposes a median graph of a triangulation of a 2-dimensional (2D) oriented bordered surface and in addition restores all corresponding triangulation whenever they exist. The algorithm…
The geometry of a two-dimensional surface in a curved space can be most easily visualized by using an isometric embedding in flat three-dimensional space. Here we present a new method for embedding surfaces with spherical topology in flat…
In this paper, we consider decompositions of 3-manifolds with three handlebodies. We classify such decompositions of the 3-sphere and lens spaces with small genera. These decompositions admit operations called stabilizations. We also…
In this article we further develop methods for representing integers as a sum of three cubes. In particular, a barrier to solving the case $k=3$, which was outlined in a previous paper of the second author, is overcome. A very recent…
Suppose Y is an integer homology 3-sphere, Taubes proved that the number of irreducible critical orbits of the perturbed Chern-Simons functional on Y, counted with signs, is equal to the algebraic intersection number of two character…
We give a complete classification of conformally covariant differential operators between the spaces of $i$-forms on the sphere $S^n$ and $j$-forms on the totally geodesic hypersphere $S^{n-1}$. Moreover, we find explicit formul{\ae} for…
It is shown that all four superintegrable quantum systems on the Euclidean plane possess the same underlying hidden algebra $sl(3)$. The gauge-rotated Hamiltonians, as well as their integrals of motion, once rewritten in appropriate…