skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Visualizing Mathematical Knot Equivalence
We present a computer interface to visualize and interact with mathematical knots, i.e., the embeddings of closed circles in 3-dimensional Euclidean space. Mathematical knots are slightly different than everyday knots in that they are infinitely stretchy and flexible when being deformed into their topological equivalence. In this work, we design a visualization interface to depict mathematical knots as closed node-link diagrams with energies charged at each node, so that highly-tangled knots can evolve by themselves from high-energy states to minimal (or lower) energy states. With a family of interactive methods and supplementary user interface elements, out tool allows one to sketch, edit, and experiment with mathematical knots, and observe their topological evolution towards optimal embeddings. In addition, out interface can extract from the entire knot evolution those key moments where successive terms in the sequence differ by critical change; this provides a clear and intuitive way to understand and trace mathematical evolution with a minimal number of visual frames. Finally out interface is adapted and extended to support the depiction of mathematical links and braids, whose mathematical concepts and interactions are just similar to our intuition about knots. All these combine to show a mathematically rich interface to help us explore and understand a family of fundamental geometric and topological problems.  more » « less
Award ID(s):
1651581
PAR ID:
10140257
Author(s) / Creator(s):
Date Published:
Journal Name:
Electronic Imaging, Visualization and Data Analysis 2019
Volume:
2019
ISSN:
2470-1173
Page Range / eLocation ID:
683-1-683-11
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Geometric problems of interest to mathematical visualization applications involve changing structures, such as the moves that transform one knot into an equivalent knot. In this paper, we describe mathematical entities (curves and surfaces) as link-node graphs, and make use of energy-driven relaxation algorithms to optimize their geometric shapes by moving knots and surfaces to their simplified equivalence. Furthermore, we design and conFigure parallel functional units in the relaxation algorithms to accelerate the computation these mathematical deformations require. Results show that we can achieve significant performance optimization via the proposed threading model and level of parallelization. 
    more » « less
  2. The topological symmetry group of an embedding Γ of an abstract graph γ in S3 is the group of automorphisms of γ that can be realized by homeomorphisms of the pair (S3,Γ). These groups are motivated by questions about the symmetries of molecules in space. The Petersen family of graphs is an important family of graphs for many problems in low-dimensional topology, so it is desirable to understand the possible groups of symmetries of their embeddings in space. In this paper, we find all the groups that can be realized as topological symmetry groups for each of the graphs in the Petersen family. Along the way, we also complete the classification of the realizable topological symmetry groups for K3,3. 
    more » « less
  3. Abstract Gompf showed that for $$K$$ in a certain family of double-twist knots, the swallow-follow operation makes $1/n$-surgery on $$K \# -K$$ into a cork boundary. We derive a general Floer-theoretic condition on $$K$$ under which this is the case. Our formalism allows us to produce many further examples of corks, partially answering a question of Gompf. Unlike Gompf’s method, our proof does not rely on any closed 4-manifold invariants or effective embeddings, and also generalizes to other diffeomorphisms. 
    more » « less
  4. While most network embedding techniques model the proximity between nodes in a network, recently there has been significant interest in structural embeddings that are based on node equivalences , a notion rooted in sociology: equivalences or positions are collections of nodes that have similar roles—i.e., similar functions, ties or interactions with nodes in other positions—irrespective of their distance or reachability in the network. Unlike the proximity-based methods that are rigorously evaluated in the literature, the evaluation of structural embeddings is less mature. It relies on small synthetic or real networks with labels that are not perfectly defined, and its connection to sociological equivalences has hitherto been vague and tenuous. With new node embedding methods being developed at a breakneck pace, proper evaluation, and systematic characterization of existing approaches will be essential to progress. To fill in this gap, we set out to understand what types of equivalences structural embeddings capture. We are the first to contribute rigorous intrinsic and extrinsic evaluation methodology for structural embeddings, along with carefully-designed, diverse datasets of varying sizes. We observe a number of different evaluation variables that can lead to different results (e.g., choice of similarity measure, classifier, and label definitions). We find that degree distributions within nodes’ local neighborhoods can lead to simple yet effective baselines in their own right and guide the future development of structural embedding. We hope that our findings can influence the design of further node embedding methods and also pave the way for more comprehensive and fair evaluation of structural embedding methods. 
    more » « less
  5. Mathematical knots are different from everyday ropes in that they are infinitely stretchy and flexible when being deformed into their ambient isotopic. For this reason, a number of challenges arise when visualizing mathematical knot's static and changing structures during topological deformation. In this paper we focus on computational methods to visually communicate the mathematical knot's dynamics by computationally simulating the topological deformation and capturing the critical changes during the entire simulation. To further improve our visual experience, we propose a fast and adaptive method to extract key moments where only critical changes occur to represent and summarize the long deformation sequence. We conduct evaluation study to showcase the efficacy and efficiency of our methods. 
    more » « less