20,833 research outputs found
Enumerating Polytropes
Polytropes are both ordinary and tropical polytopes. We show that tropical
types of polytropes in are in bijection with cones of a
certain Gr\"{o}bner fan in restricted
to a small cone called the polytrope region. These in turn are indexed by
compatible sets of bipartite and triangle binomials. Geometrically, on the
polytrope region, is the refinement of two fans: the fan of
linearity of the polytrope map appeared in \cite{tran.combi}, and the bipartite
binomial fan. This gives two algorithms for enumerating tropical types of
polytropes: one via a general Gr\"obner fan software such as \textsf{gfan}, and
another via checking compatibility of systems of bipartite and triangle
binomials. We use these algorithms to compute types of full-dimensional
polytropes for , and maximal polytropes for .Comment: Improved exposition, fixed error in reporting the number maximal
polytropes for , fixed error in definition of bipartite binomial
Enumerating fundamental normal surfaces: Algorithms, experiments and invariants
Computational knot theory and 3-manifold topology have seen significant
breakthroughs in recent years, despite the fact that many key algorithms have
complexity bounds that are exponential or greater. In this setting,
experimentation is essential for understanding the limits of practicality, as
well as for gauging the relative merits of competing algorithms.
In this paper we focus on normal surface theory, a key tool that appears
throughout low-dimensional topology. Stepping beyond the well-studied problem
of computing vertex normal surfaces (essentially extreme rays of a polyhedral
cone), we turn our attention to the more complex task of computing fundamental
normal surfaces (essentially an integral basis for such a cone). We develop,
implement and experimentally compare a primal and a dual algorithm, both of
which combine domain-specific techniques with classical Hilbert basis
algorithms. Our experiments indicate that we can solve extremely large problems
that were once though intractable. As a practical application of our
techniques, we fill gaps from the KnotInfo database by computing 398
previously-unknown crosscap numbers of knots.Comment: 17 pages, 5 figures; v2: Stronger experimental focus, restrict
attention to primal & dual algorithms only, larger and more detailed
experiments, more new crosscap number
- β¦