Conway notation

Conway notation
Name	Conway notation
Introduced	1967
Developer	John H. Conway
Field	Knot theory
Related	Alexander polynomial, Jones polynomial, Dowker–Thistlethwaite notation
Examples	3_1, 4_1, 5_2

Conway notation is a compact symbolic system for describing knots and links by decomposing them into elementary tangles and recording the combinatorial assembly. It provides a bridge between diagrammatic representations used by Vladimir Arnold, William Rowan Hamilton (through quaternions in topology), and algebraic invariants developed by James W. Alexander and Louis Kauffman. The notation is widely used in tabulations produced by groups such as the Knot Atlas contributors, in computations related to the Jones polynomial and in the combinatorial work of knot theorists at institutions like the University of Cambridge and Princeton University.

Introduction

Conway notation encodes knots and links by expressing their planar diagrams as compositions of basic 2-tangles and 3-tangles, using integers and punctuated strings to indicate the sequence of operations. It was introduced by a mathematician associated with University of Cambridge and later popularized in tables curated by researchers at Queen Mary University of London and the KnotInfo project at University of Texas at Dallas. The system became important for organizing knot tabulations alongside classical schemes of Tait and automated efforts at Max Planck Institute for Mathematics. Conway notation is distinct from enumerative systems used in the Rolfsen knot table and complements symbolic invariants such as the HOMFLY polynomial.

Notation and Symbols

Basic symbols in Conway notation include integers, commas, periods and parentheses; integers represent continued-fraction style tangles while punctuation denotes concatenation, numerator, denominator and polyhedral constructions. Many entries in published knot censuses use small integers similar to sequences cataloged at The On-Line Encyclopedia of Integer Sequences curated by Neil Sloane. Symbols map to concrete diagrams studied by researchers at Ohio State University and UC Berkeley who analyze crossing numbers and chirality with tools from Princeton and MIT topology groups. Parenthetical grouping is analogous to bracketing in continued fractions found in the work of Leonhard Euler and in algorithms implemented by teams at Wolfram Research. Periods and colons in the notation often mark Conway's tangle sum and tangle product, concepts developed in collaboration with colleagues from University of Cambridge seminars influenced by discussions with Michael Atiyah.

Construction and Operations

Conway notation constructs complex knots by combining elementary tangles—rational tangles, algebraic tangles and polyhedral tangles—via specified operations: tangle sum, numerator closure, denominator closure and mutations. Rational tangles correspond to continued fraction expansions akin to those studied by Joseph-Louis Lagrange in number theory; their classification links to work at École Normale Supérieure on continued fractions. Algebraic operations in the notation parallel algebraic decompositions investigated by Emil Artin and later applied by topologists at ETH Zurich and Imperial College London. The numerator and denominator closures produce knots and links comparable to constructions used in proofs by John Milnor and computations at the Mathematical Sciences Research Institute. Mutations and Conway’s local moves relate to mutation invariance results explored by groups centered at Cornell University and the California Institute of Technology.

Examples and Applications

Conway notation succinctly describes classical knots: the trefoil appears as an elementary 3-tangle string often recorded in knot tables at Cambridge University Press publications; the figure-eight knot and torus knots have concise Conway expressions used in pedagogical material at Princeton University Press. In computational topology, researchers at University of Warwick and the University of Tokyo use Conway notation to feed programs computing the Alexander polynomial, Jones polynomial and hyperbolic invariants implemented in software from SnapPy and academic groups at Columbia University. Applications extend to chemistry and biology where molecular graphs and DNA knotting are modeled by teams at Harvard University and Max Planck Institute for Polymer Research, leveraging Conway-type decompositions for stereochemical enumeration. The notation also appears in classification efforts cataloged by the American Mathematical Society and in outreach material by museums such as the Science Museum, London.

History and Development

The system was devised by John H. Conway in the late 1960s amid collaborative work on knot tabulation and tangle theory, following earlier cataloging by Peter Guthrie Tait and later extensions by Kenneth Millett and Morwen Thistlethwaite. Conway presented the idea at conferences that included participants from Cambridge and Princeton, and it was further formalized in publications circulated by societies like the London Mathematical Society and the American Mathematical Society. Subsequent computational implementations and expansions came from researchers at University of California, Santa Barbara and University of Chicago who integrated the notation into databases maintained with grants from agencies such as the National Science Foundation.

Variants and Extensions

Several variants and extensions adapt Conway notation for broader classes of links: modifications handle pretzel links and Montesinos links as studied by scholars at University of Wisconsin–Madison and Universitat Bonn, while polyhedral symbols support Conway-like descriptors for arborescent links used in the work of Andrei Vesnin and collaborators at St. Petersburg State University. Algorithmic extensions developed at University of Liverpool and Istituto Nazionale di Alta Matematica enable automated conversion between diagrammatic codes like Dowker–Thistlethwaite notation and Conway-type strings, aiding projects at Wolfram Research and the Knot Atlas. Contemporary research connects these variants to quantum invariants pursued by teams at Perimeter Institute and to geometric structures investigated at Institut des Hautes Études Scientifiques.

Category:Knot theory