Wikidata:Property proposal/Dowker-Thistlethwaite notation

Dowker-Thistlethwaite notation edit

Originally proposed at Wikidata:Property proposal/Natural science

DescriptionDescriptive property of mathematical knots, also known as Dowker notation
RepresentsDowker–Thistlethwaite notation (Q5302692)
Data typeMathematical expression
Template parameterdowker_notation in en:template:Infobox knot theory
Domainknot (Q1188853)
Allowed values((-?[1-9][0-9]*)(, -?[1-9][0-9]*)*)?
Example 1unknot (Q1188344)
Example 2trefoil knot (Q168620) → 4, 6, 2
Example 3figure-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
Sourcehttps://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 useused 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 completenessalways incomplete (Q21873886) (but complete for the knots of crossing number up to 12)

Motivation edit

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 edit

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]

  Notified participants of WikiProject Mathematics

@The Anome, Scs: Dowker-Thistlethwaite notation (P8378) has been created. Pamputt (talk) 14:31, 26 June 2020 (UTC)[reply]