Figure Eight Knot

The figure eight knot, also known as the Flemish knot and savoy knot, is the unique prime knot of four crossings 04-001. It has braid word .

The figure eight knot is implemented in the Wolfram Language as KnotData["FigureEight"].

It is a 2-embeddable knot, and is amphichiral as well as invertible. It has Arf invariant 1. It is not a slice knot (Rolfsen 1976, p. 224).

The Alexander polynomial , BLM/Ho polynomial , Conway polynomial , HOMFLY polynomial , Jones polynomial , and Kauffman polynomial F  of the figure eight knot are

			(1)
			(2)
			(3)
			(4)
			(5)
			(6)

There are no other knots on 10 or fewer crossings sharing the same Alexander polynomial, BLM/Ho polynomial, bracket polynomial, HOMFLY polynomial, Jones polynomial, or Kauffman polynomial F.

The figure eight knot has knot group

(7)

(Rolfsen 1976, p. 58).

Helaman Ferguson's sculpture "Figure-Eight Complement II" illustrates the knot complement of the figure eight knot (Borwein and Bailey 2003, pp. 54-55, color plate IV, and front cover; Bailey et al. 2007, p. 37). Furthermore, Ferguson has carved the BBP-type formula for the hyperbolic volume of the knot complement (discussed below) on both figure eight knot complement sculptures commissioned by the Clay Mathematics Institute (Borwein and Bailey 2003, p. 56; Bailey et al. 2007, pp. 36-38).

The hyperbolic volume of the knot complement of the figure eight knot is approximately given by

(8)

(OEIS A091518). Exact expressions are given by the infinite sums

			(9)
			(10)
			(11)
			(12)
			(13)

where  is a harmonic number.

 has a variety of BBP-type formulas including

			(14)
			(15)
			(16)
			(17)
			(18)

with additional identities for coefficients of  of the form  (E. W. Weisstein, Sep. 30, 2007). Higher-order identities are

(19)

(E. W. Weisstein, Aug. 11, 2008).

Additional classes of identities are given by

			(20)
			(21)

with additional identities for coefficients of  of the form  (E. W. Weisstein, Sep. 30, 2007). Another BBP-type formula is given by

(22)

 is also given by the integrals

			(23)
			(24)
			(25)

and the analytic expressions

			(26)
			(27)
			(28)
			(29)
			(30)
			(31)
			(32)
			(33)

(Broadhurst 1998; Borwein and Bailey 2003, pp. 54 and 88-92; Bailey et al. 2007, pp. 36-38 and 265-266), where  is a generalized hypergeometric function,  is the trigamma function,  is the dilogarithm and  is Clausen's integral.

REFERENCES:

Bailey, D. H.; Borwein, J. M.; Calkin, N. J.; Girgensohn, R.; Luke, D. R.; and Moll, V. H. Experimental Mathematics in Action. Wellesley, MA: A K Peters, 2007.

Bar-Natan, D. "The Knot ." https://www.math.toronto.edu/~drorbn/KAtlas/Knots/4.1.html.

Borwein, J. and Bailey, D. Mathematics by Experiment: Plausible Reasoning in the 21st Century. Wellesley, MA: A K Peters, 2003.

Broadhurst, D. J. "Massive 3-Loop Feynman Diagrams Reducible to  Primitives of Algebras of the Sixth Root of Unity." March 11, 1998. https://arxiv.org/abs/hep-th/9803091.

Francis, G. K. A Topological Picture Book. New York: Springer-Verlag, 1987.

Kauffman, L. Knots and Physics. Teaneck, NJ: World Scientific, pp. 8, 12, and 35, 1991.

KnotPlot. "." https://newweb.cecm.sfu.ca/cgi-bin/KnotPlot/KnotServer/kserver?ncomp=1&ncross=4&id=1.

Livingston, C. Knot Theory. Washington, DC: Math. Assoc. Amer., pp. 21 and 153, 1993.

Owen, P. Knots. Philadelphia, PA: Courage, p. 16, 1993.

Rolfsen, D. Knots and Links. Wilmington, DE: Publish or Perish Press, pp. 58 and 224, 1976.

Wells, D. The Penguin Dictionary of Curious and Interesting Geometry. Middlesex, England: Penguin Books, pp. 78-79, 1991.