Wikidata:Property proposal/Dowker-Thistlethwaite notation

Dowker-Thistlethwaite notation

Originally proposed at Wikidata:Property proposal/Natural science

Done: Dowker-Thistlethwaite notation (P8378) (Talk and documentation)

Description	Descriptive property of mathematical knots, also known as Dowker notation
Represents	Dowker–Thistlethwaite notation (Q5302692)
Data type	Mathematical expression
Template parameter	dowker_notation in en:template:Infobox knot theory
Domain	knot (Q1188853)
Allowed values	((-?[1-9][0-9])(, -?[1-9][0-9])*)?
Example 1	unknot (Q1188344) →
Example 2	trefoil knot (Q168620) → 4, 6, 2
Example 3	figure-eight knot (Q168697) → 4, 6, 8, 2
Example 4	(−2,3,7) pretzel knot (Q4544970) → 4, 8, -16, 2, -18, -20, -22, -24, -6, -10, -12, -14
Source	https://knotinfo.math.indiana.edu/ , http://katlas.math.toronto.edu/ , en:List of prime knots (see https://knotinfo.math.indiana.edu/descriptions/dt_notation.html , http://katlas.math.toronto.edu/wiki/DT_(Dowker-Thistlethwaite)_Codes for description)
Planned use	used as property for bot-generated items for knots with crossing number up to 12 for the use of knot identification, later uses can include the algorithmic generation of knot diagrams, and case-by-case use on any further knots added to the database
Number of IDs in source	~2900
Expected completeness	always incomplete (Q21873886) (but complete for the knots of crossing number up to 12)

Motivation

This is a property of a large set of notable mathematical objects. Wikidata currently has very poor coverage of mathematical knots, both in terms of properties, and the number of items. Unlike the other properties currently existing for knots, it completely describes the knot, and may be used to generate the knot diagram, from which the other properties may be computed.

Discussion

This is a useful property that does something that none of the other knot properties we have currently encoded can do: construct the knot for identification purposes in an unambiguous way. It can also serve as a linchpin from which to hang other knot properties. I intend to fill in these values for all knots up to crossing number 12 using a bot: see Wikidata:Requests for permissions/Bot/The Anomebot 3 2 for the associated bot request. -- The Anome (talk) 12:15, 15 June 2020 (UTC)[reply]