## MINIMAL COLORING NUMBERS ON MINIMAL DIAGRAMS OF TORUS LINKS

KAZUHIRO ICHIHARA, KATSUMI ISHIKAWA, AND ERI MATSUDO

Abstract. We determine the minimal number of colors for non-trivial Z -colorings on the standard minimal diagrams of Z -colorable torus links. Also included are complete classifications of such Z -colorings and of such Z -colorings by only four colors, which are shown by using rack colorings on link diagrams.

## 1. Introduction

This is a continuation of the study of Z -colorings on the standard minimal diagrams of Z -colorable torus links given in [6, Section 3] by the first and the third named authors.

Previously, in [5], as a generalization to the well-known Fox's coloring originally introduced in [3], they defined a Z -coloring for a link in the 3-space as follows. A map γ : { arcs of D } → Z for a regular diagram D of a link is called a Z -coloring if it satisfies the condition 2 γ a ( ) = γ b ( ) + γ c ( ) at each crossing of D with the over arc a and the under arcs b and c . We say that a link is Z -colorable if it has a diagram admitting a non-trivial Z -coloring, i.e., there are at least two distinct colors on the diagram. We remark that a link L is Z -colorable if and only if the determinant det( L ) of L equals 0. Since the determinant of any knot (single component link) is shown to be an odd integer, any knot is not Z -colorable.

There are several studies on the minimal coloring number (i.e., the minimal number of the colors) of Fox colorings on knots and links; some upper and lower bounds have been obtained. In the same line, it was shown in [5, Theorem 3.1] that the minimal coloring number mincol Z ( L ) of a non-splittable Z -colorable link L is at least four. (Note that mincol Z ( L ) = 2 for any splittable link L .) However, in contrast to the case of the Fox coloring, it was proved that mincol Z ( L ) = 4 for any non-splittable Z -colorable link L , by the third author in [8], and independently by Meiqiao Zhang, Xian'an Jin, and Qingying Deng in [10].

Thereafter, in [6], the first and third authors consider the minimal coloring number mincol Z ( D ) of a minimal diagram D of a Z -colorable link. (A minimal diagram is a diagram representing the link with least number of crossings.)

In particular, in [6, Section 3], they consider torus links , that is, the links which can be isotoped onto the standardly embedded torus in the 3-space. By T a, b ( ), we mean the torus link running a times meridionally and b times longitudinally. It is known that T a, b ( ) is Z -colorable if a or b is even. Actually, it is shown in

Date : August 5, 2019.

2010 Mathematics Subject Classification. 57M25.

Key words and phrases. Z -coloring, torus link, minimal diagram.

The first author is partially supported by JSPS KAKENHI Grant Number JP18K03287.

The second author was partially supported by JSPS KAKENHI Grant Number JP16J01183.

glyph[negationslash]

[6, Theorem 1.3] that mincol Z ( D ) = 4 for the standard diagram D of T pn, n ( ) illustrated by Figure 1 with n &gt; 2, even and p = 0. Extending this, in this paper, we show the following:

Theorem 1.1. Let p, q, and r be non-zero integers such that p and q are relatively prime, | p | ≥ q ≥ 1 , and r ≥ 2 . Let D be the standard diagram of T pr, qr ( ) illustrated by Figure 1. Suppose that T pr, qr ( ) is Z -colorable, or, equivalently, pr or qr is even. Then, mincol Z ( D ) = 4 if r is even, and mincol Z ( D ) = 5 if r is odd.

Figure 1. The standard diagram of T pr, qr ( )

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00857v1-figure-7b0685e9-d228-48f8-ab46-265096897a2b.jpg)

We remark that the diagram D has the least number of crossings for the torus link. See [4] for example. Also if r = 1, then the link becomes a knot, which is not Z -colorable. (Actually r coincides with the number of components of the torus link.) The theorem above is proved in Section 2 (when r is even) and Section 3 (when r is odd).

We also include complete classifications of all the Z -colorings on the standard diagram of T a, b ( ) (Proposition 4.3) and of all the Z -colorings by only four colors of T a, b ( ) (Proposition 4.4) in Section 4. The key of our proof of the propositions is to use rack colorings on link diagrams. A theorem used to prove the propositions, which can be of interest independently, is proved in Appendix. That part is essentially based on the master thesis [7] of the second author.

## 2. Four colors case

In this section, we prove the following, showing the first assertion of Theorem 1.1.

Theorem 2.1. Let p, q, and r be non-zero integers such that p and q are relatively prime, | p | ≥ q ≥ 1 , and r ≥ 2 . Let D be the standard diagram of T pr, qr ( ) illustrated by Figure 1. Suppose that T pr, qr ( ) is Z -colorable, or, equivalently, pr or qr is even. Then, mincol Z ( D ) = 4 if r is even.

Proof. We will find a Z -coloring γ with only four colors on D by assigning colors on the arcs of D .

Note that the link has r components each of which runs longitudinally q times and twists meridionally p times as shown in Figure 1. In a local view, we see qr

horizontal parallel arcs in D . We divide such arcs into q subfamilies x 1 , . . . , x q as depicted in Figure 2 (left).

Figure 2.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00857v1-figure-1be3df83-2af7-4752-be17-a50fa7ee46f7.jpg)

We first find a local Z -coloring γ on the local diagram shown in Figure 2 (left). Let us start with setting ( γ x ( i, 1 ) , γ ( x i, 2 ) , . . . , γ ( x i,r )) = (1 0 , , . . . , 0 1) for , any i . See Figure 2 (right).

Since r is assumed to be even, as illustrated in Figures 3 (left), we can extend γ on the arcs in the regions (1) and ( q +1) in Figure 2 (right), and, as illustrated in Figures 3 (right), we can extend γ on the arcs in the regions (2) , (3) , . . . , ( q ) in Figure 2 (right). Thus γ can be extended on all the arcs in the local diagram as depicted in Figure 4.

Figure 3.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00857v1-figure-54640058-197c-427f-bb3a-908880242769.jpg)

Figure 4.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00857v1-figure-2a920b6a-e9b2-472b-ba03-925b28685d6a.jpg)

Since D is composed of p copies of the local diagram in Figure 2 (left), it concludes that D admits a Z -coloring with only four colors 0, 1, 2, and 3.

Since the torus link is non-splittable, mincol Z ( D ) must be at least four by [5, Theorem 3.1], and we conclude that mincol Z ( D ) = 4. glyph[square]

## 3. Five colors case

In this section, we prove the following, which asserts the second half of the statement of Theorem 1.1.

Theorem 3.1. Let p, q, and r be non-zero integers such that p and q are relatively prime, | p | ≥ q ≥ 1 , and r ≥ 2 . Let D be the standard diagram of T pr, qr ( ) illustrated by Figure 1. Suppose that T pr, qr ( ) is Z -colorable, or, equivalently, pr or qr is even. Then mincol Z ( D ) = 5 if r is odd.

To prove this, we recall the following lemma, which was obtained in [5].

Lemma 3.2. For a Z -coloring γ with 0 = min Im γ , if an over arc at a crossing is colored by 0 , then the under arcs at the crossing are colored by 0 . For a Z -coloring γ with M = maxIm γ , if an over arc at a crossing is colored by M , then the under arcs at the crossing are colored by M .

Proof of Theorem 3.1. We first show that the minimal coloring number mincol Z ( D ) of D is at most five, i.e., mincol Z ( D ) ≤ 5.

In the following, we will find a Z -coloring γ with five colors on D by assigning colors on the arcs of D . In the same way as in the proof of Theorem 2.1, we find a local Z -coloring γ on the local diagram shown in Figure 2 (left), and extend it to whole the diagram. Note that if r is odd and T pr, qr ( ) is Z -colorable, then either p or q must be even.

First, suppose that p is even. In this case, we start with setting ( γ x ( i, 1 ) , γ ( x i, 2 ) , . . . , γ ( x i,r )) = (1 , 0 , . . . , 0 1) for any , i . See Figure 2 (right) again. As illustrated in Figure 5 (left) and (right), we can extend γ on the arcs in the regions (1) and ( q +1) in Figure 2 (right).

Figure 5.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00857v1-figure-c758e4b8-4a78-43b5-af27-46f42e20bcd9.jpg)

As illustrated in Figure 6 (left), we can extend γ on the arcs in the regions (2) , (3) , . . . , ( q ) in Figure 2 (right). Then, as shown in Figure 6 (right), we can extend γ to all the arcs in Figure 2 (right).

Figure 6.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00857v1-figure-923dc704-c530-4a9f-b591-436ca127e933.jpg)

Without contradicting to the condition of the coloring, we can connect the local diagram in Figure 6 (right) with the image of π -rotation. See Figure 7.

Figure 7.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00857v1-figure-3a0b784a-f81d-4045-a7bb-8d7e12d510b9.jpg)

That is, since p is assumed to be even, D admits a Z -coloring which is composed by connecting p/ 2 local diagrams illustrated by Figure 7. It concludes that the colors of this Z -coloring are { 0 1 2 3 4 , , , , } , that is, the Z -coloring is represented by five colors.

Next, suppose that r is odd and q is even. In this case, we start with setting

$$( \gamma ( x _ { i, 1 } ), \gamma ( x _ { i, 2 } ), \dots, \gamma ( x _ { i, r } ) ) = \begin{cases} ( 2, 1, \dots, 1, 0 ) & \text{if $i$ is odd,} \\ ( 0, 1, \dots, 1, 2 ) & \text{if $i$ is even.} \end{cases}$$

See Figure 8 (left).

Figure 8.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00857v1-figure-78527018-78e0-4876-9745-382a93ec0a33.jpg)

As illustrated in Figure 8 (right), we can extend γ on the arcs in the regions (1) and ( q +1) in Figure 2 (right). And, as illustrated in Figure 9, we can extend γ on the arcs in the regions (2) , (3) , . . . , ( q ) in Figure 2.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00857v1-figure-8a9af6c1-dd41-4031-a8c0-33070d2c52b9.jpg)

Now, γ can be extended on all the arcs in Figure 10.

Figure 10.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00857v1-figure-efb783e6-b1b7-4636-a9dc-78900949195e.jpg)

Since D is composed of p copies of the local diagram in Figure 2, it concludes that D admits a Z -coloring with only five colors 0, 1, 2, 3, and 4.

Consequently, we obtain that mincol Z ( D ) ≤ 5.

We next show that the minimal coloring number mincol Z ( D ) of D is at least five, i.e., mincol Z ( D ) ≥ 5.

Suppose for a contradiction that the diagram D as shown in Figure 1 admits a non-trivial Z -coloring γ with only four colors. By [5, Theorem 3.2], we may assume that the image of γ is { 0 1 2 3 , , , } . By Lemma 3.2, we see that the over arcs are colored by 1 or 2, otherwise γ have to be trivial. Thus there exist only three ways to color a crossing:

Figure 11. Colors at a crossing

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00857v1-figure-1c51885e-e212-447b-a59c-7abb4d5cf42a.jpg)

Here we see that, in a component including an arc colored by 1 or 3 (resp. 0 or 2), the arcs are always colored by odd (resp. even) numbers, by the condition of the Z -coloring.

↦

Then, since the number of the component is the odd number r , either the number of the components colored by odd numbers or that by even numbers is odd. Since the linear function X → -X + 3 on Z switches these two cases, we only have to consider the former case; then the number of the over arcs colored by 1 is odd in the r parallel over arcs as in Figure 12.

Figure 12.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00857v1-figure-759d8dfe-6584-4fe7-9761-0ff92d28838b.jpg)

In the case q = 1, we consider the r parallel arcs x = { x , . . . , x 1 r } as shown in Figure 13.

Figure 13.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00857v1-figure-b2d65e32-f5a7-4e66-93a9-da5f40b147c7.jpg)

The colors on x is represented by γ ( x ) = ( γ x ( 1 ) , . . . , γ ( x r )).

By the assumption that γ is a non-trivial Z -coloring, the diagram has an over arc colored by 2. Hence we can label x to have x r be colored by 2. That is, we consider the case the colors of x is γ ( x ) = ( a , a 1 2 , . . . , a r -1 , 2),

The arc x r turns into x ′ r by passing through the odd arcs colored by 1 and even arcs colored by 2. Here, as the diagram has exactly four colors 0 , 1 2 3, the arc , , x ′ r is colored by 0. That is, there exists an over arc colored by 0 as shown in Figure 14.

Figure 14.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00857v1-figure-f4571c57-8efd-4453-830e-8bb2a68c7595.jpg)

This is a contradiction; the colors on over arcs are 1 or 2.

In the case q ≥ 2, We divide qr parallel arcs into q subfamilies x 1 , . . . , x q and y 1 , . . . , y q as depicted in Figure 12. The colors on x i = ( x i, 1 , . . . , x i,r ) are represented by γ ( x i ) = ( γ x ( i, 1 ) , . . . , γ ( x i,r )).

By the condition of a Z -coloring, the colors on y i are expressed by using a linear function f as γ ( y i ) = { f ( γ x ( i, 1 )) , . . . , f ( γ x ( i,r )) } with i = 2 3 , , . . . , q . Then we see f (0) = 2 and f (2) = 0, as the number of the over arcs colored by 1 is odd in the r over arcs in Figure 12.

Figure 15.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00857v1-figure-664899ef-8313-4bce-91dc-e4f18295c887.jpg)

Here we obtain f ( X ) = -X +2 and see f (3) = -1. That is, if there exists an arc colored by 3 in any parallel arcs x i ( i = 2 , . . . , q ), there exists an arc colored by -1 in the parallel arcs y i . It is a contradiction since the image of γ is { 0 1 2 3 , , , } .

By the assumption, the diagram has an arc colored by 3. If there exist no arcs colored by 3 in parallel arcs x i , we relabel the arcs to have the arc colored by 3 be one of parallel arcs. Furthermore, if there exist an arc colored by 3 in x 1 , we see the outside of the local diagram as shown in Figure 12 and we relabel to have x 1 as y 1 . Since f is an involution, this completes the theorem.

glyph[square]

## 4. Z -colorings of torus link diagrams

In this section, we give complete classifications of all Z -colorings of the standard diagram of T a, b ( ) (Proposition 4.3) and of all Z -colorings by only four colors of T a, b ( ) (Proposition 4.4).

To achieve these, we prepare a theorem on Z -colorings of n -parallels of knots. For a knot diagram D , we obtain another diagram D ( n ) by replacing the string with n parallel copies of it; we call D ( n ) the n -parallel of D . Remark that D ( n ) represents the ( nw,n )-cable link of the knot represented by D , where w is the writhe of D . In the following, we denote the set of Z -colorings of a link diagram D by Col Z ( D ).

Theorem 4.1. Let D be an oriented knot diagram and D ( n ) the n -parallel of D . We fix any arc of D and let γ , . . . , γ 1 n be the corresponding n arcs of D ( n ) . We define a homomorphism r : Col Z ( D ( n ) ) → Z n as

$$r ( \mathcal { C } ) = ( \mathcal { C } ( \gamma _ { 1 } ), \dots, \mathcal { C } ( \gamma _ { n } ) ).$$

Then, r is injective and the image Im r of r is equal to

$$\begin{cases} \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel {ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \varphi } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \textrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell \, } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda. } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \, \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { \ell } { \lambda } \times \stackrel { | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathsymbol \, \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal{ A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } | \mathcal { A } |
 \end{cases}$$

where w is the writhe of D .

glyph[negationslash]

Remark 4.2 . Theorem 4.1 states that the colors a , . . . , a 1 n of the n -paralleled arcs of an arc γ determine the whole coloring, especially the colors a , . . . , a ′ 1 ′ n of the n -parallel of another arc γ ′ . As we see in the proof, we can calculate a , . . . , a ′ 1 ′ n from a cyclic-rack coloring of D . For example, if n is even and w = 0, we always have a ′ i = a i for any i . If n is odd and w is even, we track the string of D from γ to γ ′ and count the number of times of passing under arcs; if it is even, then a ′ i = a i , and otherwise, a ′ i = -a i +2( a 1 -a 2 + · · · + a n ).

We include a proof of Theorem 4.1 in Appendix, for it is rather independent from the other contents of the paper.

4.1. Determining Z -colorings. Let B a, b ( ) denote the braid (diagram) illustrated in Figure 16. We can regard the torus link T a, b ( ) as the closure of B a, b ( ). Then, an assignment of colors to the b left ends of B a, b ( ) determines a Z -coloring of B a, b ( ), and if the resulting colors of the right ends coincide with the left colors, it gives a Z -coloring of the standard diagram of T a, b ( ).

Figure 16. B a, b ( )

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00857v1-figure-32cf4df1-70f2-49b6-a61e-9c43980afa2f.jpg)

Let p, q , and r be nonzero integers such that | p | ≥ q ≥ 1 and r ≥ 2, and assume that p and q are mutually prime. We divide the qr arcs of the left end of B pr, qr ( )

into q subfamilies x 1 , . . . , x q as depicted in Figure 2 (left). Let A be the set of the qr -tuples of integers which give a Z -coloring of the standard diagram D of T pr, qr ( ), i.e.,

$$A = \left \{ ( a _ { 1 }, \dots, a _ { q } ) \in ( \mathbb { Z } ^ { r } ) ^ { q } \left | \begin{array} { c } \text{ the assignment of } a _ { 1 }, \dots, a _ { q } \in \mathbb { Z } ^ { r } \text{ to } x _ { 1 }, \dots, x _ { q } \\ \text{ defines a } \mathbb { Z } \text{-coloring of } D \end{array} \right \}.$$

The following proposition describes the coloring of torus links:

## Proposition 4.3. We have

$$A = \begin{cases} \ \{ ( a, \dots, a ) \ | \ a \in \mathbb { Z } ^ { r }, \Delta ( a ) = 0 \} & \text{if $r$ is even,} \\ \ \{ ( a, \dots, a ) \ | \ a \in \mathbb { Z } ^ { r } \} & \text{if $r$ is odd and $p$ is even,} \\ \ \{ ( a, \tau ( a ), a, \dots, \tau ( a ) ) \ | \ a \in \mathbb { Z } ^ { r } \} & \text{if $r$ is odd and $q$ is even,} \end{cases}$$

where ∆( a ) = a 1 -a 2 + · · · + ( -1) r a r ∈ Z and τ ( a ) = ( -a i + 2∆( a )) i ∈ Z r for a = ( a , . . . , a 1 r ) ∈ Z r .

Proof. Let B 0 be the tangle diagram depicted in Figure 17 and B ( r ) 0 the r -parallel of B 0 . We denote the closures of B 0 and B ( r ) 0 by D 0 and D ( r ) 0 , respectively. Since D 0 represents the knot T p, q ( ), we can apply Theorem 4.1 to D 0 and its r -parallel D ( r ) 0 to determine the colorings of D ( r ) 0 . Furthermore, we should remark that B ( r ) 0 and B pr, qr ( ) are isotopic; we find the colorings of D from those of D ( r ) 0 , using an isotopy which takes D ( r ) 0 to D and fixes the arcs x i,j (1 ≤ i ≤ q, 1 ≤ j ≤ r ) and their colors.

Figure 17. B 0

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00857v1-figure-e39a0022-73ab-4de6-9fd4-7280824c4693.jpg)

By Theorem 4.1 (and Remark 4.2), a coloring of D ( r ) 0 is determined by the color a ∈ Z r of r arcs x 1 , and the whole coloring is found from a cyclic-rack coloring of D 0 . If r is even, the color a has to satisfy the condition ∆( a ) = 0 and then the color of x i is equal to a for any i . In the other cases, we can choose any a ∈ Z r , and we consider the cyclic rack C 2 of order 2 to examine the whole coloring. A brief calculation finds a C 2 -coloring of D 0 , which colors the left q arcs

$$\begin{cases} \ 0, 0, 0, 0, \dots, 0 & \text{if $p$ is even and $q$ is odd,} \\ \ 0, 1, 0, 1, \dots, 0 & \text{if $p$ is odd and $q$ is even.} \end{cases}$$

In terms of Remark 4.2, a color 0 ∈ C 2 corresponds to 'even' and 1 ∈ C 1 to 'odd'; as in the remark, we associate a to the r -paralleled arcs of an arc if it has a color 0, and associate τ ( a ) otherwise. This completes the proposition. glyph[square]

- 4.2. Coloring with four colors. Let p, q, and r be non-zero integers such that p and q are relatively prime, | p | ≥ q ≥ 1, and r ≥ 2. By Theorem 1.1, the standard diagram D of T pr, qr ( ) admits a Z -coloring γ with four colors if and only if r is even. In this case, it is sufficient to consider the case where Im γ = { 0 1 2 3 , , , } by [5, Theorem 3.2]. Let A (4) be the set of the qr -tuples which give such Z -colorings:

$$A ^ { ( 4 ) } = \left \{ ( a _ { 1 }, \dots, a _ { q } ) \in ( \mathbb { Z } ^ { r } ) ^ { q } \Big | \, \text{ the assignment of } a _ { 1 }, \dots, a _ { q } \in \mathbb { Z } ^ { r } \text{ to } x _ { 1 }, \dots, x _ { q } \\ \Big | \text{ defines a } \mathbb { Z } \text{-coloring of } D \text{ with the four colors } \{ 0, 1, 2, 3 \} \ \right \}.$$

Here, we regard D as the closure of B pr, qr ( ) and denote the subfamilies of the left qr arcs by x 1 , . . . , x q as shown in Figure 2 (left).

## Proposition 4.4. We have

$$A ^ { ( 4 ) } = \left \{ ( a, \dots, a ) \, \Big | \, a \in A _ { 0 1 } ^ { ( 4 ) } \cup A _ { 1 2 } ^ { ( 4 ) } \cup A _ { 2 3 } ^ { ( 4 ) } \right \} \, \langle ( 1, \dots, 1 ), ( 2, \dots, 2 ) \},$$

where

$$A _ { 0 1 } ^ { ( 4 ) } = \left \{ ( a _ { 1 }, \dots, a _ { r } ) \in \left \{ 0, 1 \right \} ^ { r } | \, a _ { 1 } = a _ { r } = 1, a _ { 2 i } = a _ { 2 i + 1 } \left ( i = 1, \dots, r / 2 - 1 \right ) \right \},$$

$$A _ { 1 2 } ^ { ( 4 ) } = \left \{ \left ( a _ { 1 }, \dots, a _ { r } \right ) \in \left \{ 1, 2 \right \} ^ { r } \left | \, a _ { 2 i - 1 } = a _ { 2 i } \left ( i = 1, \dots, r / 2 \right ) \right \},$$

$$A _ { 2 3 } ^ { ( 4 ) } = \left \{ ( a _ { 1 }, \dots, a _ { r } ) \in \left \{ 2, 3 \right \} ^ { r } | \, a _ { 1 } = a _ { r } = 2, a _ { 2 i } = a _ { 2 i + 1 } \left ( i = 1, \dots, r / 2 - 1 \right ) \right \}.$$

Proof. By Proposition 4.3, a member of A (4) is expressed as ( a , . . . , a ), where a = ( a , . . . , a 1 r ) is an r -tuple of integers with ∆( a ) = a 1 -a 2 + · · · -a r equal to 0. We have to show that a ∈ A (4) 01 ∪ A (4) 12 ∪ A (4) 23 .

glyph[negationslash]

glyph[negationslash]

Let S be the set { a , . . . , a 1 r } . We first assert that S = { 0 1 , } { , 1 2 , } , or { 2 3 , } . To show S ⊃ { 0 2 , } , we suppose that { a , a i j } = { 0 2 , } ( i &lt; j ). The arc x 1 ,i goes under the i -1 arcs to become an over arc x ′ i with color a ′ i , whereas x 1 ,j goes under the same arcs to become x ′ j with color a ′ j and then passes under x ′ i . Here, we should remark that | a ′ i -a ′ j | = 2 since x 1 ,i and x 1 ,j goes under the same arcs, but such a crossing is not allowed, as seen in the proof of Theorem 3.1. Thus we have S ⊃ { 0 2 , } , and in the same way, we can check that S ⊃ { 1 3 , } { , 0 3 , } . Therefore S is a set of two consecutive integers, as asserted.

glyph[negationslash]

In the case where S = 1 2 , we see that { , } a 1 = a 2 ; otherwise, the color -a 2 +2 a 1 of the over arc next to x 1 1 , would not be 1 or 2. After two twists, the colors of the arcs shift cyclically to be ( a , a 3 4 , . . . , a 2 ) since passing under two strings with a same color does not change the color. Then, the argument above shows that a 3 = a 4 . Repeating this, we find a 2 i -1 = a 2 i for i = 1 , . . . , r/ 2, i.e., a ∈ A (4) 12 .

In the case where S = { 0 1 , } (resp. { 2 3 , } ), the colors a 1 and a r of over arcs have to be 1 (resp. 2). After x 1 1 , comes to the bottom, the colors of the arcs are ( -a 2 +2 a , 1 -a 3 +2 a , . . . , 1 -a r +2 a , a 1 1 ), and this is also a member of A (4) . Since the set { a , 1 -a 2 +2 a , , . . . , 1 -a r +2 a 1 } is equal to { 1 2 , } , we have a 2 i = a 2 +1 i ( i = 1 , . . . , r/ 2 -1) as shown above. This means that a ∈ A (4) 01 (resp. A (4) 23 ).

Let A ′ be the set { ( a , . . . , a ) ∣ ∣ ∣ a ∈ A (4) 01 ∪ A (4) 12 ∪ A (4) 23 } \{ (1 , . . . , 1) , (2 , . . . , 2) } . We have proven that A (4) ⊂ A ′ as above. A brief calculation shows that ∆( a ) = 0 for a ∈ A (4) 01 ∪ A (4) 12 ∪ A (4) 23 and hence ( a , . . . , a ) ∈ A ′ gives a Z -coloring of D . To see that every element of A ′ actually defines a four-color coloring, it is sufficient to show that for any ( a , . . . , a 1 qr ) ∈ A ′ , ( -a 2 + 2 a , . . . , 1 -a qr + 2 a , a 1 1 ) is also a member of A ′ ; this means that 'one twist preserves A ′ ', and then implies that there

are only four colors in the resultant Z -coloring. This is verified by the definitions of A (4) 01 , A (4) 12 , and A (4) 23 . Thus we have A ′ ⊂ A (4) as required. glyph[square]

## References

- [1] N. Andruskiewitsch and M. Gra˜a, From racks to pointed Hopf algebras, Adv. Math. n 178 (2003), no. 2, 177-243.
- [2] M. Elhamdadi and S. Nelson, Quandles-an introduction to the algebra of knots , Student Mathematical Library, 74, American Mathematical Society, Providence, RI, 2015.
- [3] R. H. Fox, A quick trip through knot theory, in Topology of 3-manifolds and related topics (Proc. The Univ. of Georgia Institute, 1961) , 120-167, Prentice-Hall, Englewood Cliffs, NJ.
- [4] A. Kawauchi, Lectures on knot theory , Monograph in Japanese, 2007, Kyoritsu Shuppan Co. Ltd.
- [5] K. Ichihara and E. Matsudo, Minimal coloring number for Z -colorable links, J. Knot Theory Ramifications 26 (2017), no. 4, 1750018, 23 pp.
- [6] K. Ichihara and E. Matsudo, Minimal coloring number on minimal diagrams for Z -colorable links, Proc. Inst. Nat. Sci., Nihon Univ. 53 (2018), 231-237. https://www.chs.nihonu.ac.jp/institute/nature/kiyou/2018/53/16.pdf
- [7] K. Ishikawa, Cabling formulae of quandle cocycle invariants for surface knots , Master thesis, Kyoto University, January, 2016.
- [8] E. Matsudo, Minimal coloring number for Z -colorable links II, J. Knot Theory Ramifications 28 (2019), no. 7, 1950047.
- [9] T. Naruse, Kyokumen-musubime no quandle cocycle fuhenryo no tajuka-koshiki ( Paralleledversions of quandle cocycle invariants for surface knots (in Japanese)), Master thesis, Kyoto University, January, 2015. http://hdl.handle.net/2433/194277
- [10] M. Zhang, X. Jin and Q. Deng, The minimal coloring number of any non-splittable Z -colorable link is four, J. Knot Theory Ramifications 26 (2017), no. 13, 1750084, 18 pp.

## Appendix A. Z -coloring of n -parallels of knots

In this appendix, we give a proof of Theorem 4.1. In this proof, we use ideas of racks and quandles. For definitions of racks, quandles, and rack (quandle) colorings, see [2] for example. For a rack R , we denote the set of R -colorings of an oriented knot diagram D by Col R ( D ). For example, the set Z equipped with the binary operation ∗ defined by a ∗ b = 2 b -a is a rack (it is in fact a quandle), and then Col Z ( D ) is the set of Z -colorings as in Section 4.

↦

We denote the automorphism group of a rack R = ( R, ∗ ) by Aut( R, ∗ ). For each a ∈ R , the map · ∗ a : R glyph[owner] x → x ∗ a ∈ R is by definition is an automorphism of R , and then the subgroup of Aut( R, ∗ ) generated by · ∗ a ( a ∈ R ) is called the inner automorphism group and denoted by Inn( R, ∗ ). We say that R is ( algebraically ) connected if the action of Inn( R, ∗ ) on R is transitive.

Furthermore, we should recall the quandles and kink maps associated to racks. The associated quandle R Q of a rack R = ( R, ∗ ) is the pair ( R, ∗ Q ), where the binary operation ∗ Q is defined by x ∗ Q y = ( x ¯ ∗ x ) ∗ y ( x, y ∈ R ), and the associated kink map τ is defined by τ ( x ) = x ∗ x ( x ∈ R ). A brief calculation shows that R Q is a quandle and τ is a kink map of R (see, e.g., [1]), i.e., τ is an automorphism of R and for any x, y ∈ R we have x ∗ τ ( y ) = x ∗ y ; this implies that τ is also a kink map of R Q . We remark that the quandle R Q is equal to R as a set, and an automorphism of R is also an automorphism of R Q ; we may regard Aut( R, ∗ ) and Inn( R, ∗ ) as subgroups of Aut( R Q ).

To show the theorem, we introduce a rack Z n R as follows (this is due to [9]): for x = ( x , . . . , x 1 n ) , y = ( y , . . . , y 1 n ) ∈ Z n , we put x ∗ R y = z = ( z , . . . , z 1 n ), where

$$z _ { i } = ( ( ( x _ { i } * y _ { 1 } ) * y _ { 2 } ) \cdots ) * y _ { n }.$$

By a brief calculation, we can check that Z n R = ( Z n , ∗ R ) is a rack.

In the proof of Theorem 4.1 below, we examine the Z n R -colorings of the knot diagram D . Since the fundamental rack of a framed knot is connected, the image of a coloring of D by a rack R is contained in a connected subrack of R ; if R is decomposed into the maximal connected subracks R λ ( λ ∈ Λ) (for the existence and uniqueness of the decomposition, see, e.g., [1]), we have Col R ( D ) = ⊔ λ ∈ Λ Col R λ ( D ). The following lemma describes the subracks R λ when R = Z n R .

## Lemma A.1. Each maximal connected subrack of Z n R is a cyclic rack.

Recall that a cyclic rack C k ( k ∈ Z ≥ 0 ) is a cyclic group Z /k Z with the binary operation ∗ defined by a ∗ b = a +1 ( a, b ∈ Z /k Z ). A rack isomorphic to a cyclic rack is also called a cyclic rack.

Proof of Lemma A.1. Let Z n Q = ( Z n , ∗ Q ) be the associated quandle of Z n R and τ the associated kink map. We first claim that each maximal connected subquandle of Z n Q is the trivial quandle of order 1. In fact, a brief calculation shows that

$$( x _ { i } ) _ { i } \ast _ { Q } ( y _ { i } ) _ { i } = \left ( x _ { i } + 2 ( - x _ { n } + x _ { n - 1 } - \dots + ( - 1 ) ^ { n } x _ { 1 } + ( - 1 ) ^ { n + 1 } y _ { 1 } + \dots + y _ { n } ) \right ) _ { i },$$

for ( x i ) i , ( y i ) i ∈ Z n Q . This shows that the orbit of ( x i ) i ∈ Z n Q under the action of Inn( Z n Q ) is included in { ( x i + ) a i | a ∈ Z } . Furthermore, since

$$( x _ { i } + a ) _ { i } * _ { Q } ( x _ { i } + b ) _ { i } = \left ( x _ { i } + a + ( 1 - ( - 1 ) ^ { n } ) ( b - a ) \right ) _ { i } = \left ( x _ { i } + ( - 1 ) ^ { n } a + ( 1 - ( - 1 ) ^ { n } ) b \right ) _ { i },$$

the quandle { ( x i + a ) i | a ∈ Z } is isomorphic to Z or a trivial quandle. In either case, each maximal connected subquandle is the trivial quandle of order 1. The lemma follows from this claim and Lemma A.2 below. glyph[square]

Lemma A.2. Let R = ( R, ∗ ) be a rack, R Q = ( R, ∗ Q ) the associated quandle, and τ the associated kink map. We denote the maximal connected subrack of R ( resp. R Q ) containing x ∈ R ( resp. R Q ) by M x ( resp. M Q x ) . Then we have M x = ⋃ m ∈ Z τ m ( M Q x ) .

Proof. We set M ′ x = ⋃ m ∈ Z τ m ( M Q x ) . We have

$$\tau ^ { m } ( y ) * \tau ^ { n } ( z ) & = \left ( ( \tau ^ { m } ( y ) * \tau ^ { m } ( y ) ) * \tau ^ { m } ( y ) \right ) * z = \tau ^ { m + 1 } ( y ) * _ { Q } z \\ & = \tau ^ { m + 1 } ( y * _ { Q } z )$$

and similarly τ m ( y ) ∗ τ n ( z ) = τ m -1 ( y ∗ Q z ) for any y, z ∈ R (especially for y, z ∈ M Q x ) and m,n ∈ Z , M ′ x is a connected subrack of R ; hence we have M ⊂ M ′ x x . Furthermore, by the definitions of ∗ Q and τ , Inn( M ∗ x , ) is contained in the subgroup of Aut( M ∗ x , Q ) generated by Inn( M ∗ x , Q ) and τ . Since τ is central in this subgroup (recall that τ is a kink map of ( M ∗ x , Q ), we have M x = ⋃ m τ m ( M ′ Q x ), where we set M ′ Q x = Inn( M ∗ x , Q ) · x , i.e., the orbit of x under the action of Inn( M ∗ x , Q ). Here, the inner automorphism group Inn( M ∗ x , Q ) is by definition generated by ·∗ Q y ( y ∈ M x ), but for each y ∈ M x = ⋃ m Q τ m ( M ′ Q x ) there exists y ′ ∈ M ′ Q x such that · ∗ Q y = · ∗ Q y ′ ; in fact, if y ∈ τ m ( M ′ x ), we can take τ -m ( y ) as y ′ . Thus, M ′ Q x = Inn( M ′ Q x , ∗ Q ) · x , which implies that M ′ Q x is a connected subquandle. Then we have M ′ Q x ⊂ M Q x and hence M x = ⋃ m τ m ( M ′ Q x ) ⊂ ⋃ m τ m ( M Q x ) = M ′ x , as required. glyph[square]

Figure 18. A bijection between Col Z n ( D ) and Col Z ( D ( n ) )

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00857v1-figure-b9a12652-30b4-4936-9fee-8c683aee5b14.jpg)

Proof of Theorem 4.1. Given a Z n R -coloring C ( n ) = ( C 1 , . . . , C n ) : { arcs } → Z n R on D , we put colors C 1 ( α , . . . , ) C n ( α ) to the n arcs of D ( n ) corresponding to each arc α of D . This is uniquely extended to be a whole coloring on D ( n ) (see Figure 18). Conversely, a Z -coloring C of D ( n ) defines a Z n R coloring: we associate ( C ( α 1 ) , . . . , C ( α n )) to an arc α of D , where α , . . . , α 1 n are the n arcs of D ( n ) corresponding to α ; by the definition of ∗ R , this defines a Z n R -coloring. Thus, we have a bijection between Col Z n ( D ) and Col Z ( D ( n ) ). In the following, we identify these two sets by this bijection.

By Lemma A.1, any Z n R -coloring on D is a coloring by a subrack, which is a cyclic rack. Since we only have to consider cyclic-rack colorings, a given color a ∈ Z n R on the fixed arc γ uniquely determines the colors of the other arcs successively, and it defines a whole coloring if and only if they accords when we go back to γ , i.e., τ w ( a ) = a , where τ is the associated kink map. Thus, r is injective and Im r = { a ∈ Z n | τ w ( a ) = a } .

By a concrete calculation we find that

$$\tau ( a ) = \left ( ( - 1 ) ^ { n } a _ { i } + 2 ( a _ { n } - a _ { n - 1 } + \dots + ( - 1 ) ^ { n - 1 } a _ { 1 } ) \right ) _ { i }.$$

If n is even, this shows that

$$\tau ^ { w } ( a ) = \left ( a _ { i } + 2 w ( a _ { n } - a _ { n - 1 } + \cdots - a _ { 1 } ) \right ) _ { i }.$$

Then τ w ( a ) = a if and only if w a ( 1 -a 2 + · · · -a n ) = 0, as required. Next, suppose that n is odd. In this case, a brief calculation shows that τ 2 = id Z n . Then, if w is even, the condition τ w ( a ) = a is always satisfied. If w is odd, τ w ( a ) (= τ ( a )) equals a if and only if a i = -a i +2∆ for i = 1 , . . . , n , where ∆ = a n -a n -1 + · · · + a 1 . This implies that a i = ∆ for any i and hence a 1 = · · · = a n ; this concludes the theorem. glyph[square]

Department of Mathematics, College of Humanities and Sciences, Nihon University, 3-25-40 Sakurajosui, Setagaya-ku, Tokyo 156-8550, Japan

E-mail address : ichihara.kazuhiro@nihon-u.ac.jp

Research Institute for Mathematical Sciences, Kyoto University, Kyoto 606-8502,

Japan

E-mail address : katsumi@kurims.kyoto-u.ac.jp

Institute of Natural Sciences, Nihon University, 3-25-40 Sakurajosui, Setagaya-ku, Tokyo 156-8550, Japan

E-mail address : cher16001@g.nihon-u.ac.jp
Kazuhiro Ichihara Katsumi Ishikawa Eri Matsudo
Minimal coloring numbers on minimal diagrams of torus links
We determine the minimal number of colors for non-trivial
$\mathbb{Z}$-colorings on the standard minimal diagrams of
$\mathbb{Z}$-colorable torus links. Also included are complete classifications
of such $\mathbb{Z}$-colorings and of such $\mathbb{Z}$-colorings by only four
colors, which are shown by using rack colorings on link diagrams.