arXiv research

The study classifies semi-equivelar maps on Klein bottle.

Bijective proof of map enumeration recursion formulae.

New method for counting distinct tilings with symmetrical surfaces.

Novel approach tightens MAP inference for complex Markov fields.

We present enumerations of a class of toroidal graphs which give rise to semi-equivelar maps. There are eleven different types of semi-equivelar maps on the torus. These are of the types $\{3^{6}\}$, $\{4^{4}\}$, $\{6^{3}\}$, $\{3^{3}, 4^{2}\}$, $\{3^{2}, 4, 3, 4\}$, $\{3, 6, 3, 6\}$, $\{3^{4}, 6\}$, $\{4, 8^{2}\}$, $\…

A method to give users control over automated decisions by enumerating decision subspaces.

Study of maps with -2 Euler characteristic and up to 12 vertices.

We show existence of centrally symmetric maps on surfaces all of whose faces are quadrangles and pentagons for each orientable genus $g \geq 0$. We also show existence of centrally symmetric maps on surfaces all of whose faces are hexagons for each orientable genus $g = 2k-1$, $k\in \mathbb{N}$. We enumerate centrally …

Criterion for stopping conjugacy class enumeration in triangle groups.

We announce a solution to several enumeration problems in topology of surfaces. This includes an enumeration of homotopy classes of sections of locally trivial fiber bundles over surfaces and a computation of non-abelian 1-cohomology of surfaces.

Enumerated all genus two handlebody-knots with seven crossings.

This paper improves robust cluster enumeration for RES data.

The article enumerates doubly symmetric diagrams for knots up to 18 crossings.

This is the third paper in a series devoted to enumerating the prime alternating knots and links. This paper establishes a method for enumerating the prime alternating links. It is shown that one may choose any prime alternating link diagram of a given minimal crossing size and by applications of just two operators (T …

PAG2ADMG algorithm enumerates all causal graphs consistent with a Markov equivalence class.

Constructive approach to Lie algebra gradings, computing maximal and enumerating all gradings.

Enumerating all 3-manifold triangulations of a given size is a difficult but increasingly important problem in computational topology. A key difficulty for enumeration algorithms is that most combinatorial triangulations must be discarded because they do not represent topological 3-manifolds. In this paper we show how …

We prove existence results that give information about the space of minimal immersions of 2-tori into $S ^ 3$. More specifically, we show that \begin{enumerate} \item For every positive integer $n$, there are countably many real $n$-dimensional families of minimally immersed 2-tori in $S ^ 3$. Every linearly ful…

This paper proves that lattice point enumeration in moduli spaces satisfies topological recursion.

A process enumerates rack elements from a presentation.

New algorithm enumerates decision tree Rashomon sets for continuous features.

The paper proposes an algorithm to enumerate K best models with distinct support vectors for SVM.

In low-dimensional topology, many important decision algorithms are based on normal surface enumeration, which is a form of vertex enumeration over a high-dimensional and highly degenerate polytope. Because this enumeration is subject to extra combinatorial constraints, the only practical algorithms to date have been v…

Elementary geometric arguments are used to compute the group of homotopy classes of maps from a 4-manifold X to the 3-sphere, and to enumerate the homotopy classes of maps from X to the 2-sphere. The former completes a project initiated by Steenrod in the 1940's, and the latter provides geometric arguments for and exte…

New method estimates number of clusters robustly in noisy data.

A combinatorial framework classifies genus-one knots and links.

New method finds 198,846 toric-colorable seeds of Picard number 5.

Many key algorithms in 3-manifold topology involve the enumeration of normal surfaces, which is based upon the double description method for finding the vertices of a convex polytope. Typically we are only interested in a small subset of these vertices, thus opening the way for substantial optimization. Here we give an…

New family of triangulated 3-spheres identified from trees.

The study describes good involutions in quandles and Alexander quandles.

We describe rational knots with any of the possible combinations of the properties (a)chirality, (non-)positivity, (non-)fiberedness, and unknotting number one (or higher), and determine exactly their number for a given number of crossings in terms of their generating functions. We show in particular how Fibonacci numb…

Let M be a compact, hyperbolizable 3-manifold with nonempty incompressible boundary and let AH(π_1(M)) denote the space of (conjugacy classes of) discrete faithful representations of π_1(M) into PSL 2 (C). The components of the interior MP(π_1(M)) of AH(π_1(M)) (as a subset of the appropriate representation variety) ar…

This paper deals with the enumeration of the higher order non-trivial compositions of the differential operations and the directional derivative in the space $R^n$ ($n \geq 3$). We present the recurrences for a counting the higher order non-trivial compositions.

The study enumerates virtual quandles up to isomorphism.

The face pairing graph of a 3-manifold triangulation is a 4-valent graph denoting which tetrahedron faces are identified with which others. We present a series of properties that must be satisfied by the face pairing graph of a closed minimal P^2-irreducible triangulation. In addition we present constraints upon the co…

Researchers identify graph components for unicellular collections.

Mathematical tools for tiling hyperbolic surfaces are developed.

A polynomial counts knot states for a specific type of knot.

Enumerated all principal congruence link complements in 3D space.

The paper addresses the $k$-tangle enumeration problem. We introduce a notion of cascade diagram for $k$-tangle projections. An effective enumeration algorithm for projections is proposed based on cascade representation. Tangles projections with up to 12 crossings are tabulated. We provide also pictures of alternating …

We enumerate the small-volume manifolds that can be obtained by Dehn filling on Mom-2 and Mom-3 manifolds as defined by Gabai, Meyerhoff, and the author. In so doing we complete the proof that the Weeks manifold is the minimum-volume compact hyperbolic 3-manifold, as well as enumerating the 10 smallest one-cusped hyper…

New method uses Gaussian processes to find local minima efficiently.

We define a decomposition of link projections whose pieces we call atoroidal graphs. We describe a surgery operation on these graphs and show that all atoroidal graphs can be generated by performing surgery repeatedly on a family of well known link projections. This gives a method of enumerating atoroidal graphs and he…

We describe an algorithm for the enumeration of (candidates of) vertex-transitive combinatorial $d$-manifolds. With an implementation of our algorithm, we determine, up to combinatorial equivalence, all combinatorial manifolds with a vertex-transitive automorphism group on $n\leq 13$ vertices. With the exception of act…

Dual decomposition provides a tractable framework for designing algorithms for finding the most probable (MAP) configuration in graphical models. However, for many real-world inference problems, the typical decomposition has a large integrality gap, due to frustrated cycles. One way to tighten the relaxation is to intr…

Origami structures are enumerated and shown to be quantum modular.

We consider here 6-regular plane graphs whose faces have size 1, 2 or 3. In Section 2 a practical enumeration method is given that allowed us to enumerate them up to 53 vertices. Subsequently, in Section 3 we enumerate all possible symmetry groups of the spheres that showed up. In Section 4 we introduce a new Goldberg-…

New framework for 3D spatial topology enumeration and identification.