A BASE-P SPRAGUE-GRUNDY TYPE THEOREM FOR P-CALM SUBTRACTION GAMES: WELTER’S GAME AND REPRESENTATIONS OF GENERALIZED SYMMETRIC GROUPS

Yuki Irie1 Research Alliance Center for Mathematical Sciences, Tohoku University, Miyagi, Japan [email protected]

Abstract For impartial games Γ and Γ1, the Sprague-Grundy function of the disjunctive sum Γ ` Γ1 is equal to the Nim-sum of their Sprague-Grundy functions. In this paper, we introduce p-calm subtraction games, and show that for p-calm subtraction games Γ and Γ1, the Sprague-Grundy function of a p-saturation of Γ ` Γ1 is equal to the p-Nim-sum of the Sprague-Grundy functions of their p-saturations. Here a p-Nim-sum is the result of ad- dition without carrying in base p and a p-saturation of Γ is an impartial game obtained from Γ by adding some moves. It will turn out that Nim and Welter’s game are p-calm. Further, using the p-calmness of Welter’s game, we generalize a relation between Welter’s game and representations of symmetric groups to disjunctive sums of Welter’s games and representations of generalized symmetric groups; this result is described combinatorially in terms of Young diagrams.

1 Introduction

Base 2 plays a key role in combinatorial game theory. Specifically, the Sprague-Grundy function of the disjunctive sum of two impartial games is equal to the Nim-sum of their Sprague-Grundy functions. Here a Nim-sum is the result of addition without carrying in base 2. In particular, the Sprague-Grundy value of a position in Nim equals the Nim-sum of the heap sizes. It is rare that the Sprague-Grundy function of an impartial game can be written explicitly like Nim. Another well-known example is Welter’s game, a subtraction game like Nim; Welter [20] gave an explicit formula for its Sprague-Grundy function by

arXiv:1912.12573v3 [math.CO] 12 Jan 2021 using the binary numeral system (see Theorem 2.7). A few games related to base p have also been found, where p is an integer greater than 1, not necessarily prime. For example, Flanigan found a game, called Rimp; the Sprague- Grundy value of a position in Rimp equals the p-Nim-sum of the heap sizes, where a 2 p-Nim-sum is the result of addition without carrying in base p. We use ‘p for the p-Nim-

1This work was supported by JSPS KAKENHI Grant Number JP20K14277. 2 Rimp was devised by James A. Flanigan in an unpublished paper entitled “NIM, TRIM and RIM.” 2 sum.3 For example, consider the heap p3,7,4q. While, in Nim, the Sprague-Grundy value of p3,7,4q is equal to

3 ‘2 7 ‘2 4 “ p1 ` 2q ‘2 p1 ` 2 ` 4q ‘2 p4q “ 0, in Rim3, its Sprague-Grundy value is equal to

3 ‘3 7 ‘3 4 “ p3q ‘3 p1 ` 2 ¨ 3q ‘3 p1 ` 3q “ 2 ` 3 “ 5.

Thus we can say that Rimp is a base-p version of Nim. Irie [6] observed that there are infinitely many base-p versions of Nim. From this observation, he introduced p-saturations and showed that a p-saturation of Nim is a base-p version of Nim. That is, the Sprague- Grundy value of a position in a p-saturation of Nim equals the p-Nim-sum of the heap sizes. Figure 1 shows an example of a 3-saturation of Nim. While we can take tokens from just one heap in Nim, it is allowed to take tokens from multiple heaps with a restriction in a p- saturation of Nim. Incidentally, Rimp is one of the p-saturations of Nim, and p-saturations are defined for subtraction games (see Section 3 for details).

The first player takes three tokens The second player takes three tokens from the first heap and two tokens from the first heap and one token from the second heap. from the second heap, and wins.

Figure 1: An example of a 3-saturation of Nim.

Further, it was shown that a p-saturation of Welter’s game is a base-p version of Welter’s game [6]. In other words, we can obtain an explicit formula for the Sprague-Grundy func- tion of a p-saturation of Welter’s game by rewriting Welter’s formula with base p (see Theorem 3.5). In this paper, an impartial game is defined to be a digraph such that the maximum length of a walk from each vertex is finite. We will recall the basics of impartial games in Section 2. Let Γ1 and Γ2 be two impartial games. Then the Sprague-Grundy function of the disjunctive sum Γ1 ` Γ2 is equal to the Nim-sum of their Sprague-Grundy functions. The fundamental question of this paper is whether there exists an operation `p such that the 1 2 Sprague-Grundy function of Γ `p Γ is equal to the p-Nim-sum of their Sprague-Grundy functions. For example, if p “ 2, then the ordinary disjunctive sum satisfies this condition. We present a partial solution to the question. More precisely, we consider the following condition on subtraction games Γ1 and Γ2:

(PN) The Sprague-Grundy function of a p-saturation of Γ1 `Γ2 is equal to the p-Nim-sum of the Sprague-Grundy functions of their p-saturations.

3 The operation ‘p is different from that related to Moore’s Nimk´1 [9] and Li’s k-person Nim [7]. These games were analyzed using addition modulo k in base 2. 3

For a subtraction game Γ1 satisfying a saturation condition, we first give a necessary con- dition for Γ1 to satisfy (PN) when Γ2 is Nim (Lemma 3.7). If Γ1 satisfies this necessary condition, then Γ1 will be said to be p-calm. It will turn out that Nim and Welter’s game are p-calm. Our main theorem (Theorem 3.9) states that p-calm subtraction games satisfy (PN) and are closed under disjunctive sum. In particular, Γ1 and Nim satisfy (PN) if and only if Γ1 is p-calm. Using p-calmness of Welter’s game, we can generalize a relation between Welter’s game and representations of symmetric groups; this result is described combinatorially in Section 4, and its algebraic interpretation is stated in Remark 4.13. Sato [15–17] studied Welter’s game independently from Welter. Although Welter’s game is usually described as a coin- on-strip game, Sato realized that this game can be considered as a game with Young dia- grams, as we will describe in Section 4.1. He then found that the Sprague-Grundy function of Welter’s game can be written in a similar way to the hook formula, which is a formula for representations of symmetric groups (Theorems 4.1 and 4.5). From this, Sato conjectured that Welter’s game is related to representations of symmetric groups. A relation between them was discovered by Irie [6]. Specifically, for a prime p, he showed a theorem on repre- sentations of symmetric groups, which will be called the p1-component theorem (Theorem 4.8); by using this theorem, he obtained an explicit formula for the Sprague-Grundy func- tion of a p-saturation of Welter’s game.4 Here, the p1-component theorem is a result of representations of symmetric groups with degree prime to p. Incidentally, on representa- tions with degree prime to p, there is a famous conjecture of McKay, which is one of the most important conjectures in representation theory (see, for example, [10] for details). In the present article, we generalize the p1-component theorem to disjunctive sums of Wel- ter’s games and representations of generalized symmetric groups, which will be described combinatorially in terms of Young diagrams (Theorem 4.11). This paper is organized as follows. Section 2 contains the basics of impartial games. In Section 3, we recall p-saturations and define p-calm subtraction games. We then prove that p-calm subtraction games satisfy the condition (PN) (Theorem 3.9); moreover, using the p-calmness of Welter’s game, we generalize a property of Welter’s game (Proposition 3.20), which yields a generalization of the p1-component theorem in Section 4.

2 Subtraction Games

This section provides the basics of impartial games. We define subtraction games, dis- junctive sums, and Sprague-Grundy functions. See [1, 3] for more details of combinatorial game theory. We first introduce some notation for impartial games. Let Γ be a digraph with vertex set 2 PΓ and edge set EΓ, that is, PΓ is a set and EΓ Ď PΓ. As we have defined in the introduction,

4Although the p1-component theorem holds only when p is prime, a slightly weaker result holds even when p is not prime. By using this, we can obtain an explicit formula for the Sprague-Grundy function of a p-saturation of Welter’s game. 4 the digraph Γ is called a (short) impartial game if the maximum length lgΓpAq of a walk from each vertex A is finite. Let Γ be an impartial game. The vertex set PΓ is called its position set. Let A and B be two positions in Γ. If pA,Bq P EΓ, then B is called an option of A. If there exists a path from A to B, then B is called a descendant of A. A descendant B of A is said to be proper if B ‰ A.

Example 2.1. The digraph with vertex set t1,2,3u and edge set tp1,2q,p2,3q,p1,3qu is an impartial game. However, the digraph with vertex set t1,2u and edge set tp1,2q,p2,1qu is not an impartial game since it has the walk p1,2,1,2,...q of infinite length.

Remark 2.2. Let Γ be an impartial game with at least one position. We can consider Γ as the following two-player game. Before the game, we put a token on a starting position A P PΓ. The first player moves the token from A to its option B. Similarly, the second player moves the token from B to its option C. In this way, the two players alternately move the token. The winner is the player who moves the token last. For example, let Γ be the impartial game with position set t1,2,3,4u and edge set tp1,2q,p2,3q,p1,4qu, and start at position 1. The first player can move the token to either position 2 or 4. If shemoves it to position 2, then the second player moves it to 3 and wins. Thus she should move the token to 4.

We now define subtraction games. Let N be the set of nonnegative integers. Ele- m ments in N will be denoted by upper-case letters, and components of them by lower- m m m case letters with superscripts. For example, A “ pa1,...,a q P N . Let P Ď N and m C Ď N ztp0,...,0qu. Define ΓpP,C q to be the impartial game with position set P and edge set tpA,Bq P P2 : A ´ B P C u. The game ΓpP,C q is called a subtraction game.

Example 2.3. Let 1 m Cm “ tC P N : wtpCq “ 1 u, where wtpCq is the Hamming weight of C, that is, the number of nonzero components of m 1 C. The subtraction game ΓpN ,Cmq is called Nim and is denoted by Nm. For example, in N2, the options of p1,2q are p0,2q, p1,1q, and p1,0q. Example 2.4. Let

m i j P “ tA P N : a ‰ a for 1 ď i ă j ď mu.

1 The subtraction game ΓpP,Cmq is called Welter’s game and is denoted by Wm. For exam- ple, in W2, the options of p1,2q are p0,2q and p1,0q. Note that

m m m lg pAq “ ai ´ p1 ` 2 ` ¨¨¨ ` m ´ 1q “ ai ´ . (1) Wm 2 i“1 i“1 ÿ ÿ ˆ ̇ 5

For example, if A “ p1,3,4q, then

pp1,3,4q, p0,3,4q, p0,2,4q, p0,1,4q, p0,1,3q, p0,1,2qq has length 5 (“ 1 ` p3 ´ 1q ` p4 ´ 2q).

i i We define disjunctive sums. For i P t1,2u, let Γ be an impartial game, and let P “ PΓi i 1 2 1 2 and E “ EΓi . The disjunctive sum Γ `Γ of Γ and Γ is defined to be the impartial game with position set P1 ˆ P2 and edge set

tppA1,A2q,pB1,A2qq : pA1,B1q P E1, A2 P P2 u YtppA1,A2q,pA1,B2qq : pA2,B2q P E2, A1 P P1 u.

For example, Nm “ N1 ` ¨¨¨ ` N1 . m Note that the disjunctive sum of two subtractionloooooomoooooon games is again a subtraction game. Indeed, i mi i i i if P Ď N and Γ “ ΓpP ,C q for i P t1,2u, then Γ1 ` Γ2 “ ΓpP1 ˆ P2,C q, where

m2 1 1 C “tpc1,1,...,c1,m ,0,...,0q : pc1,1,...,c1,m q P C 1 u 2 2 Ytp0,...,0,c2,1,...,hkkikkjc2,m q : pc2,1,...,c2,m q P C 2 u.

m1 loomoon We define Sprague-Grundy functions. Let Γ be an impartial game. For A P PΓ, the Sprague-Grundy value sgΓpAq of A is defined by

sgΓpAq “ mext sgΓpBq : pA,Bq P EΓ u, where mexS “ mintα P N : α R Su. The function sgΓ : PΓ Ñ N is called the Sprague- Grundy function of Γ. An easy induction shows that the second player can force a win if and only if the Sprague-Grundy value of the starting position equals 0.

Theorem 2.5 ([5, 18]). If Γ1 and Γ2 are impartial games, then

sgΓ1`Γ2 “ sgΓ1 ‘2 sgΓ2 , that is, if Ai is a position in Γi for i P t1,2u, then

1 2 1 2 sg 1 2 A ,A sg 1 A sg A . Γ `Γ p q “ Γ p q ‘2 Γ2 p q

Example 2.6. Since Nm “ N1 ` ¨¨¨ ` N1, it follows from Theorem 2.5 that

1 m m sgNm pAq “ a ‘2 ¨¨¨ ‘2 a for A P N . 6

Theorem 2.7 ([20]). If A is a position in Welter’s game Wm, then

i j 1 m ord2pa ´a q`1 sgWm pAq “ a ‘2 ¨¨¨ ‘2 a ‘2 2 2 ´ 1 , ˜iă j ¸ à where ord2paq is the 2-adic order of a, that is,

L maxtL P N : 2 | au if a ‰ 0, ord2paq “ #8 if a “ 0.

Example 2.8. Let A be the position p7,5,3q in W3. By Theorem 2.7, we see that sg A 7 5 3 2ord2p7´5q`1 1 2ord2p7´3q`1 1 2ord2p5´3q`1 1 W3 p q “ ‘2 ‘2 ‘ ‘2 p ´ q ‘2 p ´ q ‘2 p ´ q “ 1 ‘2 3 ‘2 7 ‘2 3 “ 6.

3 p-Calm Subtraction Games

We first recall p-saturations. We then give a necessary condition for Γ1 to satisfy (PN) 2 when Γ “ N1 (Lemma 3.7), and define p-calm subtraction games. We next prove that p- calm subtraction games satisfy (PN) and are closed under disjunctive sum (Theorem 3.9). Finally, using the p-calmness of Welter’s game, we generalize a property of Welter’s game (Proposition 3.20).

3.1 Notation

Fix an integer p greater than 1, and let Ω “ t0,1,..., p ´ 1u. For a,L P N, let aL denote the Lth digit in the p-adic expansion of a. Then

L a “ aL p , aL P Ω. LP ÿN ppq We write a “ ra0,a1,...s . If N P N and aL “ 0 for L ě N, then we also write a “ ppq p2q ra0,a1,...,aN´1s . For example, if p “ 2 and a “ 14, then a “ r0,1,1,1,0,0,...s “ p2q r0,1,1,1s . For x,y P Ω, we write x ‘ y “ x ‘p y and x a y “ x ap y, where ap is the subtraction without borrowing in base p. For example, if p “ 5, then 2 a5 4 “ 3 and

p5q p5q p5q p5q 13 a5 16 “ r3,2s a5 r1,3s “ r3 a 1,2 a 3s “ r2,4s “ 22.

Before proceeding, we present a simple lemma.

Lemma 3.1. For i P t1,...,mu, let ai and bi be nonnegative integers. If ai ” bi pmod pNq, then i i i i i i ppq N`1 a ´ b ” p a ap b ” r0,...,0, aN a bNs pmod p q. (2) i i i ÿ à à 7 proof. Since ai ” bi pmod pNq, it follows that

i i i i i i ppq N`1 a ´ b ” a ap b ” r0,...,0,aN a bNs pmod p q.

Hence (2) holds.

3.2 p-Saturations

We define p-saturations. For a P N, let ordppaq denote the p-adic order of n, that is,

L maxtL P N : p | au if a ‰ 0, ordppaq “ #8 if a “ 0.

p2q p3q For example, ord2p12q “ ord2pr0,0,1,1s q “ 2 and ord3p12q “ ord3pr0,1,1s q “ 1. De- fine

ppq m i Cm “ C P N ztp0,...,0qu : ordp c “ mordppCq , # ˜ i ¸ + ÿ i where mordppCq “ mintordppc q : 1 ď i ď mu. For example,

p3q p3q p1,0q,p1,3q P C2 and p1,2q R C2 because

ord3p1 ` 0q “ 0 “ mintord3p1q,ord3p0qu “ mint0,8u,

ord3p1 ` 3q “ 0 “ mintord3p1q,ord3p3qu “ mint0,1u, and

ord3p1 ` 2q “ 1 ą 0 “ mintord3p1q,ord3p2qu “ mint0,0u.

1 ppq ˜ ˜ ˜ Note that Cm Ď Cm . Let Γ “ ΓpP,C q and Γ “ ΓpP,C q. The game Γ is called a 5 ppq p-saturation of Γ if it has the same Sprague-Grundy function as ΓpP,C Y Cm q, that is,

sg ˜ pAq “ sg ppq pAq (3) Γ ΓpP,C YCm q ppq for every A P P. It is clear that ΓpP,C YCm q is a p-saturation of Γ. In this paper, we will consider a subtraction game ΓpP,C q satisfying

ppq (*) C Ď Cm .

Note that if Γ satisfies (*), then Γ˜ is a p-saturation of Γ if and only if sg ˜ “ sg ppq . Γ ΓpP,Cm q Moreover, if two subtraction games Γ1 and Γ2 satisfy (*), then so does Γ1 ` Γ2. It is known that we can obtain base-p versions of some games by using p-saturations.

5The definition of p-saturations is slightly generalized from that in [6]. 8

˜ 2 p3q Example 3.2 ([6]). Let Γ “ ΓpN ,C2 q. Table 1 shows the Sprague-Grundy values of ˜ p3q some positions in Γ. It is easy to see that sgΓ˜ pa,0q “ sgΓ˜ p0,aq “ a. Since p1,1q P C2 , it follows that p0,0q is an option of p1,1q. Thus sgΓ˜ p1,1q “ 2. We also see that sgΓ˜ p1,2q “ 0 because p0,0q is not an option of p1,2q.

0 1 2 3 0 0 1 2 3 1 1 2 0 4 2 2 0 1 5 3 3 4 5 6

p3q Table 1: Some Sprague-Grundy values in ΓpN2,C2 q.

In general, let Γ˜ be a p-saturation of Nim Nm. If A is a position in Γ˜ , then 1 m sgΓ˜ pAq “ a ‘p ¨¨¨ ‘p a . (4) In other words, a p-saturation of Nim is a base-p version of Nim.

Remark 3.3. Note that Nm is a 2-saturation of itself. This means that adding an edge p2q pA,Bq with A´B P Cm to Nm does not change its Sprague-Grundy function. Incidentally, m 1 p2q it is known that ΓpN ,C q is a 2-saturation of Nm if and only if Cm Ď C Ď Cm [2]. m i i Remark 3.4. Let A and B be two distinct elements of N with a ě b for i P t1,...,mu. ppq We show that A ´ B P Cm if and only if i i aN a bN ‰ 0, (5) i à i i N where N “ mordppA´Bq. Indeed, since a ” b pmod p q, it follows from Lemma 3.1 that

i i i i ppq N`1 a ´ b ” r0,...,0, aN a bNs pmod p q. i i ÿ à ppq Therefore A ´ B P Cm if and only if (5) holds.

Theorem 3.5 ([6]). Let Γ˜ be a p-saturation of Welter’s game Wm. If A is a position in Γ˜ , then i j 1 m ordppa ´a q`1 sgΓ˜ pAq “ a ‘p ¨¨¨ ‘p a ‘p p p ´ 1 . (6) ˜iă j ¸ à In particular, Wm is a 2-saturation of itself.

Example 3.6. Let Γ˜ be a 5-saturation of W3 and A be the position (7, 5, 3) in Γ˜ . It follows from Theorem 3.5 that

ord5p7´5q`1 ord5p7´3q`1 ord5p5´3q`1 sgΓ˜ pAq “ 7 ‘5 5 ‘5 3 ‘5 p5 ´ 1q ‘5 p5 ´ 1q ‘5 p5 ´ 1q “ 10 ‘5 4 ‘5 4 ‘5 4 “ 12. 9

3.3 p-Calm subtraction games Let Γ1 be a subtraction game satisfying (*). The next lemma gives a necessary condition for 1 2 Γ to satisfy (PN) when Γ “ N1. We will show that this condition is sufficient in Section 3.4.

1 ppq 1 Lemma 3.7. Let Γ be a subtraction game ΓpP,C q with C Ď Cm , and let Γ “ Γ ` N1 and Γ˜ be a p-saturation of Γ. Suppose that

sg pA,aq “ sg 1 pAq ‘ a (7) Γ˜ Γ˜ p for every position pA,aq in Γ˜ . If B is a proper descendant of A in Γ1, then

i i N`1 sg 1 pAq ´ sg 1 pBq ” a ´ b pmod p q, (8) Γ˜ Γ˜ i ÿ 1 1 where N “ mordppA ´ Bq and Γ˜ is a p-saturation of Γ .

˜ ppq ˜ 1 ppq ppq proof. We may assume that Γ “ ΓpP ˆ N,Cm`1q and Γ “ ΓpP,Cm q since C Ď Cm . Suppose that there are a position A and its proper descendant B not satisfying (8), that is,

α ´ β ı ai ´ bi pmod pN`1q, (9) i ÿ where α “ sg 1 pAq and β “ sg 1 pBq. Note that α ‰ β because if α “ β, then, by Lemma Γ˜ Γ˜ 3.1, i i ppq i i N`1 r0,...,0, aN a bNs ” a ´ b ı α ´ β ” 0 pmod p q, i i à ÿ so B is an option of A, which is impossible. We prove that (7) does not hold. Consider the two positions pA,β ap αq and pB,0q. Note that sg 1 pAq ‘ pβ a αq “ β and sg 1 pBq ‘ 0 “ β. Γ˜ p p Γ˜ p

We show that pB,0q is an option of pA,β ap αq in Γ˜ , which will imply that (7) does not hold. Let M “ ordppβ ap αq. Case 1 (M ă N). We see that

mordpppA,β ap αq ´ pB,0qq “ mintmordppA ´ Bq,ordppβ ap αqu “ mintN,M u “ M.

Since ai ” bi ” 0 pmod pNq, it follows that

i i a ´ b ` pβ ap α ´ 0q “ βM a αM ‰ 0. i M ˆ´ÿ ¯ ̇ Therefore pB,0q is an option of pA,β ap αq in Γ˜ . 10

Case 2 (M ě N). Note that

mordpppA,β ap αq ´ pB,0qq “ mintN,M u “ N.

By Lemma 3.1,

i i i i ppq N`1 a ´ b ” r0,...,0, aN a bNs pmod p q (10) i i ÿ à and ppq N`1 α ´ β ” r0,...,0,αN a βNs pmod p q. (11) By combining (9)–(11), i i αN a βN ‰ aN a bN. i à Hence i i aN a bN ‘ pβN a αNq ‰ 0. i ´à ¯ This implies that pB,0q is an option of pA,β ap αq in Γ˜ . Therefore (7) does not hold.

ppq Let Γ be a subtraction game ΓpP,C q with C Ď Cm . The game Γ is said to be p-calm if it satisfies (8), that is, for every position A and every proper descendant B of A,

i i N`1 sgΓ˜ pAq ´ sgΓ˜ pBq ” a ´ b pmod p q, i ÿ where Γ˜ is a p-saturation of Γ and N “ mordppA´Bq. For example, N1 is p-calm. Indeed, because 1 ppq, we see that N is a p-saturation of itself. Since sg a a for a , C1 “ C1 1 N1 p q “ P N it follows that N1 is p-calm. Remark 3.8. There exist non-p-calm subtraction games. For example, let Γ be the sub- 1 traction game Γpt0, pu,C1 q. It is clear that Γ is a p-saturation of itself. Since sgΓp0q “ ppq ppq sgΓpr0s q “ 0 and sgΓppq “ sgΓpr0,1s q “ 1, it follows that Γ is not p-calm.

3.4 A base-p Sprague-Grundy type theorem The next theorem says that p-calm subtraction games satisfy (PN) and are closed under disjunctive sum.

Theorem 3.9. For i P t1,...,ku, let Γi be a p-calm subtraction game. Then the disjunctive sum Γ1 ` ¨¨¨ ` Γk is p-calm. Moreover, if Γ˜ is a p-saturation of Γ1 ` ¨¨¨ ` Γk and A is a position in Γ˜ , then 1 k sg pAq “ sg 1 pA q ‘ ¨¨¨ ‘ sg k pA q, Γ˜ Γ˜ p p Γ˜ i where A “ pA1,...,Akq and Γ˜ is a p-saturation of Γi. 11

To prove Theorem 3.9, we use the following simple lemma.

Lemma 3.10. Let Γ be a p-calm subtraction game and φ be the Sprague-Grundy function of its p-saturation. If A is a position in Γ and B is its proper descendant, then

i i ppq N`1 φpAq ap φpBq ” φpAq ´ φpBq ” r0,...,0, aN a bNs pmod p q, (12) i à where N “ mordppA ´ Bq. proof. By Lemma 3.1,

i i i i i i ppq N`1 a ´ b ” p a ap b ” r0,...,0, aN a bNs pmod p q. i i i ÿ à à Since Γ is p-calm, it follows that

ai ´ bi ” φpAq ´ φpBq pmod pN`1q. i ÿ N`1 We show that φpAq ´ φpBq ” φpAq ap φpBq pmod p q. Since

φpAq ´ φpBq ” ai ´ bi ” 0 pmod pNq, i ÿ we see that φpAq ” φpBq pmod pNq. It follows from Lemma 3.1 that

N`1 φpAq ´ φpBq ” φpAq ap φpBq pmod p q.

Therefore (12) holds. ˜ i i ppq ˜ proof of Theorem 3.9. For i P t1,...,ku, we may assume that Γ “ ΓpP ,Cmi q and Γ “ 1 k ppq 1 k i i i Γ P P , , where m m m . Let φ A sg i A and φ A p ˆ ¨¨¨ ˆ Cm q “ ` ¨¨¨ ` p q “ Γ˜ p q p q “ 1 1 k k φ pA q ‘p ¨¨¨ ‘p φ pA q. To prove that sgΓ˜ pAq “ φpAq, it suffices to show the following two statements.

(SG1) If B is an option of A in Γ˜ , then φpBq ‰ φpAq.

(SG2) If 0 ď β ă φpAq, then φpBq “ β for some option B of A in Γ˜ .

Let B be a proper descendant pB1,...,Bkq of A and let

i, j i, j i N “ mordppA ´Bq “ mintordppa ´ b q : 1 ď i ď k,1 ď j ď m u,

i i where Ai “ pai,1,...,ai,m q and Bi “ pbi,1,...,bi,m q. We first show that

i, j i, j i, j i, j ppq N`1 φpAq ´ φpBq ” a ´ b ” r0,...,0, aN a bN s pmod p q. (13) i, j i, j ÿ à 12

Since ai, j ” bi, j pmod pNq, it follows from Lemma 3.1 that i, j i, j i, j i, j ppq N`1 a ´ b ” r0,...,0, aN a bN s pmod p q. i, j i, j ÿ à Now, since Γi is p-calm, it follows from Lemma 3.10 that i i i i i i i i i, j i, j ppq N`1 φ pA q ´ φ pB q ” φ pA q ap φ pB q ” r0,...,0, aN a bN s pmod p q. (14) j à Moreover, since φ ipAiq ” φ ipBiq pmod pNq, we see that φpAq ” φpBq pmod pNq. By Lemma 3.1 and (14),

φpAq ´ φpBq ” φpAq ap φpBq i i i i i, j i, j ppq N`1 ” φ pA q ap φ pB q ” r0,...,0, aN a bN s pmod p q. i i, j à à Therefore (13) holds. We now show (SG1). Let B be an option of A and N “ mordppA ´Bq. Then i, j i, j aN a bN ‰ 0. i, j à By (13), (SG1) holds. i i i 1 k We next show (SG2). Let α “ φ pA q and α “ α ‘p ¨¨¨ ‘p α (“ φpAq). Let β be an integer with 0 ď β ă α. We first construct a descendant B of A with φpBq “ β. When we consider pα1,...,αkq as a position in a p-saturation of Nim, its Sprague-Grundy value k is equal to α as we have mentioned in Example 3.2. Therefore there exist β 1,...,β P N satisfying the following three conditions: (i) β i ď αi. i i i i (ii) ordp i α ´ β “ mintordppα ´ β q : 1 ď i ď ku. 1 k (iii) β ‘`př¨¨¨ ‘p β “˘ β. i i i i i i i i i i i If β α , then let B A . If β α , then, since α φ A sg i A , we see that A “ “ ă “ p q “ Γ˜ p q i i i i i 1 k 1 has an option B such that φ pB q “ β in Γ˜ . Let B “ pB ,...,B q. Then φpBq “ β ‘p k ¨¨¨ ‘p β “ β. We prove that B is an option of A. By (13), it suffices to show that βN ‰ αN, where i i i N “ mordppA ´Bq. Let N “ mordppA ´ B q. We first show that i i i N “ ordppα ´ β q. (15) Indeed, if αi “ β i, then Ai “ Bi, so (15) holds. Suppose that αi ą β i. Since Bi is an option of Ai and Γi is p-calm, it follows from Lemma 3.10 that

i i, j i, j N “ ordp a ´ b j ´ÿ ¯ i i i i i i “ ordp φ pA q ´ φ pB q “ ordppα ´ β q. ´ ¯ 13

Hence (15) holds. We now prove that βN ‰ αN. By (15) and (ii), i i i N “ min N : 1 ď i ď k “ min ordppα ´ β q : 1 ď i ď k i i (16) ␣ ( “ ordp␣ α ´ β . ( i ´ÿ ¯ i i i i i N Now, since ordppα ´β q “ N ě N, we see that α ” β pmod p q. It follows from Lemma 3.1 that i i i i α ´ β “ αN a βN “ αN a βN. N i ´ i ¯ ÿ à ˜ By (16), we see that αN ‰ βN, and so B is an option of A in Γ. Therefore φpAq “ sgΓ˜ pAq. In particular, if A is a position and B is its proper descendant, then, by (13), i, j i, j N`1 sgΓ˜ pAq ´ sgΓ˜ pBq “ φpAq ´ φpBq ” a ´ b pmod p q, i, j ÿ 1 k where N “ mordppA ´Bq. Hence Γ ` ¨¨¨ ` Γ is p-calm.

ppq Corollary 3.11. If Γ is a subtraction game ΓpP,C q with C Ď Cm , then Γ and N1 satisfy (PN) if and only if Γ is p-calm. Remark 3.12. We can generalize Corollary 3.11 as follows. Let Γ1 be a subtraction game ppq 2 2 ΓpP,C q with C Ď Cm , and let Γ be a p-calm subtraction game and Γ˜ be its p-saturation. 2 2 Suppose that there exists a position A P P 2 such that sg 2 pA q “ α for every α P . Then Γ˜ Γ˜ N Γ1 and Γ2 satisfy (PN) if and only if Γ1 is p-calm. We can prove this by the same argument as in the proof of Lemma 3.7, so we only sketch it. Suppose that Γ1 is not p-calm. Then there exist a position A1 and its proper descendant B1 such that α ´ β ı a1, j ´ b1, j pmod pN`1q, (17) j ÿ 1 1 1 1 1 1 where α “ sg 1 pA q, β “ sg 1 pB q, Γ˜ is a p-saturation of Γ , and N “ mord pA ´ B q. Γ˜ Γ˜ p 2 2 2 2 By assumption, Γ˜ has a position A such that sg 2 pA q “ β a αpą 0q. This position A Γ˜ p 2 2 1 2 1 2 has an option B with sg 2 pB q “ 0. Let A “ pA ,A q and B “ pB ,B q. It is sufficient to Γ˜ ˜ ˜ ppq 2 2 show that B is an option of A in Γ, where Γ “ ΓpPΓ1 ˆPΓ2 ,Cn q. Let M “ mordppA ´B q 2, j 2, j 2 (“ ordpp j a ´ b q). Since Γ is p-calm, it follows from Lemma 3.10 that 2, j 2, j ppq M`1 ř a ´ b ” β ap α ” r0,...,0,βM a αMs pmod p q. (18) j ÿ i, j i, j 2, j 2, j Suppose that M ă N. Then mordppA ´Bq “ M. Since p a ´b qM “ p a ´b qM ‰ 0, it follows that B is an option of A. Suppose that M ě N. Then mordppA ´Bq “ N. It 1, j ř1, j ř follows from (17) and (18) that αN a βN ‰ j aN a bN . Hence i, j i, j À1, j 1, j a ´ b “ aN a bN ‘ βN a αN ‰ 0. N i, j j ´ÿ ¯ ´à ¯ This implies that B is an option of A. Therefore Γ1 and Γ2 do not satisfy (PN). 14

3.5 The p-calmness of Welter’s game

For a position A in Welter’s game, let ψppqpAq denote the right-hand side of (6) in Theorem 3.5, that is, i j ppq 1 m ordppa ´a q`1 ψ pAq “ a ‘p ¨¨¨ ‘p a ‘p p p ´ 1 . (19) iă j ´à ¯ ˜ Theorem 3.13. Welter’s game Wm is p-calm. In particular, if Γ is a p-saturation of Wm1 ` ˜ ¨¨¨ ` Wmk and A is a position in Γ, then

ppq 1 ppq k sgΓ˜ pAq “ ψ pA q ‘p ¨¨¨ ‘p ψ pA q, where A “ pA1,...,Akq. proof. Let A be a position in Wm and B be its proper descendant. Set N “ mordppA ´ Bq. Then ai ” bi pmod pNq. In particular, ai ´ a j ” bi ´ b j pmod pNq. Since

p h pL , ordpphq`1 ´ 1 if ” 0 pmod q pp ´ 1qL “ L #0 if h ı 0 pmod p q,

ord pai´a jq`1 ord pbi´b jq`1 we see that pp p ´ 1qL “ pp p ´ 1qL for 0 ď L ď N. Thus

i j i j pordppa ´a q`1 ´ 1 ” pordppb ´b q`1 ´ 1 pmod pN`1q.

It follows from (19) that

ψppqpAq ´ ψppqpBq ” 0 ” ai ´ bi pmod pNq i ÿ and ppq ppq i i i i pψ pAq ´ ψ pBqqN “ aN a bN “ a ´ b . N i i à ´ÿ ¯ Therefore Welter’s game is p-calm.

Example 3.14. Let Γ be a 5-saturation of W3 `W1 and A be the position pp7,5,3q,p3qq in Γ. By Theorem 3.13,

p5q p5q sgΓpAq “ ψ p7,5,3q ‘5 ψ p3q “ 12 ‘3 3 “ 10.

3.6 Full positions in Welter’s game Recall that Theorem 3.5 provides a formula for the Sprague-Grundy function of a p- saturation of Welter’s game. This theorem was proved using the next proposition. In this section, we generalize this proposition to disjunctive sums of Welter’s games using Theorem 3.13. 15

Proposition 3.15 ([6]). Every position A in Welter’s game Wm has a descendant B such ppq ppq that lgWm pBq “ ψ pBq “ ψ pAq.

Example 3.16. Let A be the position p6,4,2q in W3. Then

p2q ord2p6´4q`1 ord2p6´2q`1 ord2p4´2q`1 ψ pAq “ 6 ‘2 4 ‘2 2 ‘2 p2 ´ 1q ‘2 p2 ´ 1q ‘2 p2 ´ 1q

“ 0 ‘2 3 ‘2 7 ‘2 3 “ 7. Proposition 3.15 says that A has a descendant B such that lg B p2q B 7. Indeed, W3 p q “ ψ p q “ if B “ p5,3,2q, then 3 lg pBq “ 5 ` 3 ` 2 ´ “ 7 W3 2 ˆ ̇ and

p2q ord2p5´3q`1 ord2p5´2q`1 ord2p3´2q`1 ψ pBq “ 5 ‘2 3 ‘2 2 ‘2 p2 ´ 1q ‘2 p2 ´ 1q ‘2 p2 ´ 1q

“ 4 ‘2 3 ‘2 1 ‘2 1 “ 7. Remark 3.17. In general, if A is a position in an impartial game Γ, then

sgΓpAq ď lgΓpAq. (20)

If sgΓpAq “ lgΓpAq, then A is said to be full. Consider the following condition on an impar- tial game Γ: (FD) Every position A in Γ has a full descendant B with the same Sprague-Grundy value as A. It is easy to show that a p-saturation of Nim satisfies the condition (FD). It follows from Proposition 3.15 and Theorem 3.5 that a p-saturation of Welter’s game also satisfies (FD). Our aim is to prove that a p-saturation of disjunctive sums of Welter’s games satisfies (FD). To this end, we show two lemmas.

Lemma 3.18. Let A be a full position in an impartial game Γ. If lgΓpAq ą 0, then A has a full option B with lgΓpBq “ lgΓpAq ´ 1. In particular, if 0 ď β ď lgΓpAq ´ 1, then A has a full descendant B with lgΓpBq “ β. proof. Since A is full, it follows that sgΓpAq “ lgΓpAq ą 0. Hence A has an option B with sgΓpBq “ sgΓpAq ´ 1 “ lgΓpAq ´ 1. Since sgΓpBq ď lgΓpBq ď lgΓpAq ´ 1, we see that sgΓpBq “ lgΓpBq “ lgΓpAq ´ 1. Thus B is the desired option of A. Lemma 3.19. For i P t1,...,ku, let Γi be an impartial game satisfying (FD), and let Γ be 1 k an impartial game with position set PΓ1 ˆ ¨¨¨ ˆ PΓk . If, for A “ pA ,...,A q P PΓ, 1 k sgΓpAq “ sgΓ1 pA q ‘p ¨¨¨ ‘p sgΓk pA q (21) and 1 k lgΓpAq “ lgΓ1 pA q ` ¨¨¨ ` lgΓk pA q, (22) then Γ satisfies (FD). 16

1 k i i proof. Let A be a position pA ,...,A q in Γ, and let α “ sgΓi pA q and α “ sgΓpAq “ 1 k α ‘p ¨¨¨ ‘p α . By Lemma 3.18, it suffices to show that A has a full descendant B such that sgΓpBq ě α. Let

1 k M “ max L P N : αL ` ¨¨¨ ` αL ě p , ! ) where maxH “ ´1. Define

M`1 L ppq β “ pp ´ 1q ` αL p “ rp ´ 1,..., p ´ 1,αM`1,αM`2,...s . LěM`1 ÿ

Then β ě α. We will show that A has a full descendant B such that sgΓpBq “ β. k We first show that there exist β 1,...,β P N satisfying the following two conditions: (i) β i ď αi.

1 k 1 k (ii) β ` ¨¨¨ ` β “ β ‘p ¨¨¨ ‘p β “ β.

If M “ ´1, then α1,...,αk satisfy the two conditions. Suppose that M ě 0. For L ě M `1, i i 1 k 1 k let βL “ αL. Since αM ` ¨¨¨ ` αM ě p, there exist βM,...,βM such that

i i 1 k βM ď αM and βM ` ¨¨¨ ` βM “ p ´ 1 “ βM.

i 1 1 1 By rearranging α if necessary, we may assume that βM ă αM. For L ď M´1, let βL “ p´1 i i i i ppq 1 k and βL “ 0 for i ě 2. Let β “ rβ0,β1,...s . Then β ,...,β satisfy (i) and (ii). Since Γi satisfies (FD), it follows from Lemma 3.18 that Ai has a full descendant Bi such i i 1 k that sgΓi pB q “ β . Let B “ pB ,...,B q. Then

1 k sgΓpBq “ β ‘p ¨¨¨ ‘p β “ β.

Since 1 k 1 k β “ β ` ¨¨¨ ` β “ lgΓ1 pB q ` ¨¨¨ ` lgΓk pB q “ lgΓpBq, it follows that B is the desired descendant of A.

Proposition 3.20. A p-saturation of a disjunctive sum of Welter’s games satisfies (FD).

i 1 k ˜ proof. For i P t1,...,ku, let Γ “ Wmi and Γ “ Γ ` ¨¨¨ ` Γ . Let Γ be a p-saturation of 1 k i i Γ. It is obvious that lg pAq “ lg 1 pA q ` ¨¨¨ ` lg k pA q, where Γ˜ is a p-saturation of Γ . Γ˜ Γ˜ Γ˜ 1 k Moreover, it follows from Theorem 3.13 that sg pAq “ sg 1 pA q ‘ ¨¨¨ ‘ sg k pA q. Since Γ˜ Γ˜ p p Γ˜ 1 k Γ˜ ,...,Γ˜ satisfy (FD), it follows from Lemma 3.19 that so does Γ˜ .

Example 3.21. Let Γ “ W3 ` W2 and A be the position pp6,5,2q,p3,1qq in Γ. Note that Γ is a 2-saturation of itself and

p2q p2q sgΓpAq “ ψ p6,5,2q ‘2 ψ p3,1q “ 6 ‘2 1 “ 7. 17

p2q By Proposition 3.20, the position A has a full descendant B such that lgΓpBq “ ψ pBq “ 7. Indeed, if B “ pp4,3,1q,p3,0qq, then

p2q p2q sgΓpBq “ ψ p4,3,1q ‘2 ψ p3,0q “ 5 ‘2 2 “ 7 and lg B lg 4,3,1 lg 3,0 5 2 7. Γp q “ W3 p q ` W2 p q “ ` “

4 The p1-Component Theorem

By rewriting Proposition 3.20 in terms of Young diagrams, we generalize the p1-component theorem. First, we describe Welter’s game as a game with Young diagrams. We then state the p’-component theorem. Finally, we generalize this theorem by using Proposition 3.20. In this section, we assume that p is a prime.

4.1 Welter’s game and Young diagrams

m i For n P N, a partition λ of n is a tuple pλ 1,...,λ q of positive integers such that λ “ n and λ 1 ě ¨¨¨ ě λ m. For example, p4,4,1q is a partition of 9 and pq is a partition of 0. If λ ř is a partition pλ 1,...,λ mq, then 2 i tpi, jq P N : 1 ď i ď m, 1 ď j ď λ u is called the Young diagram or the Ferrers diagram corresponding to λ. We will identify a partition with its Young diagram. A Young diagram Y can be visualized by using |Y| cells. For example, Figure 2 shows the Young diagram p5,4,3q.

Figure 2: The Young diagram (5,4,3).

For a position A in Wm, let YpAq “ paσp1q ´ m ` 1,aσp2q ´ m ` 2,...,aσpmqq, where σ is a permutation with aσp1q ą aσp2q ą ¨¨¨ ą aσpmq. We consider YpAq as a Young diagram by ignoring zeros in YpAq. For example, if A “ p3,7,5q and A1 “ p5,9,7,1,0q, then

YpAq “ p7´2,5´1,3q “ p5,4,3q and YpA1q “ p9´4,7´3,5´2,1´1,0q “ p5,4,3,0,0q,

1 so YpA q “ YpAq “ . Note that the number of cells in YpAq is equal to lgWm pAq since i lgWm pAq “ a ´ p1 ` ¨¨¨ ` m ´ 1q “ |YpAq|. i ÿ 18

In the above example,

lg A 3 7 5 1 2 7 2 5 1 3 12 |Y A |. W3 p q “ ` ` ´ p ` q “ p ´ q ` p ´ q ` “ “ p q It is known that moving in Welter’s game corresponds to removing a hook. Here, for a cell pi, jq in a Young diagram Y, the pi, jq-hook Hi jpYq is defined by

1 1 1 1 1 1 Hi, jpYq “ tpi , j q P Y : pi ě i and j “ jq or pi “ i and j ě jqu.

In other words, Hi, jpYq consists of the cells to the right of pi, jq, the cells below pi, jq, and pi, jq itself. For example, Figure 3 shows the p1,2q-hook of p5,4,3q.

Figure 3: The (1,2)-hook of (5,4,3).

We now describe removing a hook. We first remove cells in Hi jpYq from Y. If we get two diagrams, then we next push them together. The obtained Young diagram is denoted by YzHi jpYq and is said to be obtained from Y by removing the pi, jq-hook. For example, if Y “ p5,4,3q, then YzH1,2pYq “ p3,2,1q and YzH3,2pYq “ p5,4,1q (see Figure 4).

Figure 4: Removing the p1,2q-hook and the p3,2q-hook.

Moving in Welter’s game corresponds to removing a hook as follows. Let A be a position in Wm and B its option. Then we can write

B “ pa1,...,as´1,as ´ h,as`1,...,amq.

s s m Let a be the ith largest element in the components of A. Note that a ´h P Nzta1,...,a u. s m Suppose that a ´h is the jth smallest element in Nzta1,...,a u. Then the following holds (see, for example, [12]): YpBq “ YpAqzHi, jpYpAqq. (23)

For example, consider moving from p7,5,3q to p1,5,3q in W3. Since 7 is the largest element in t7,5,3u and 1 is the second smallest element in Nzt7,5,3u, it follows from (23) that

Yp1,5,3q “ Yp7,5,3qzH1,2pYp7,5,3qq.

Indeed, Yp1,5,3q is the Young diagram p3,2,1q and

Yp7,5,3qzH1,2pYp7,5,3qq “ p5,4,3qzH1,2p5,4,3q “ p3,2,1q 19 as we have seen in Figure 4. In this way, moving in Welter’s game corresponds to removing a hook. Note that it is obvious that |YpAq| “ lgWm pAq. The number of cells in the pi, jq-hook is called the hook-length of pi, jq. Figure 5 shows the hook-lengths of the Young diagram p5,4,3q. Let H pYq be the multiset of hook lengths of Y. For example, H p5,4,3q “ t1,1,1,2,3,3,3,4,5,5,6,7u.

7 6 35 1 5 4 3 1 3 2 1

Figure 5: The hook lengths of (5, 4, 3).

Theorem 4.1 ([15–17]). If A is a position in Welter’s game Wm, then

p2q sgWm pAq “ 2 N phq, hPH pY q à p2q ord2phq L p2q where Y “ YpAq and N phq “ L“0 2 “ r 1,...,1 s . ř ord2phq`1 loomoon Example 4.2. If A “ p7,5,3q, then

sg A Np2q h W3 p q “ 2 p q hPH pY pAqq à p2q p2q p2q p2q p2q p2q “ N p1q ‘2 N p1q ‘2 N p1q ‘2 N p3q ‘2 N p3q ‘2 N p3q p2q p2q p2q ‘2 N p5q ‘2 N p5q ‘2 N p7q p2q p2q p2q ‘2 N p2q ‘2 N p6q ‘2 N p4q

“ 1 ‘2 1 ‘2 1 ‘2 1 ‘2 1 ‘2 1 ‘2 1 ‘2 1 ‘2 1 ‘2 3 ‘2 3 ‘2 7 “ 6.

From Theorem 3.5, we obtain the following analogue of Theorem 4.1.6

Theorem 4.3 ([6]). Let Γ be a p-saturation of Wm. If A is a position in Γ, then

ppq sgΓpAq “ p N phq, (24) hPH pY q à ppq ordpphq L ppq where Y “ YpAq and N phq “ L“0 p “ r 1,...,1 s . ř ordpphq`1 6Theorem 4.3 holds for an integer p greater than 1. loomoon 20

Example 4.4. Let Γ be a 5-saturation of W3 and A be the position (7, 5, 3) in Γ. By Theorem 3.5, we see that

p5q sgΓpAq “ 5 N phq hPH pY pAqq à p5q p5q p5q p5q p5q “ N p1q ‘5 N p1q ‘5 N p1q ‘5 N p2q ‘5 N p3q p5q p5q p5q p5q p5q ‘5 N p3q ‘5 N p3q ‘5 N p4q ‘5 N p6q ‘5 N p7q p5q p5q ‘5 N p5q ‘5 N p5q p5q p5q “ N p5q ‘5 N p5q

“ 6 ‘5 6 “ 12.

4.2 The p1-component theorem We describe the p1-component theorem in terms of Young tableaux. Let Y be a Young diagram. A Young tableau T of shape Y is a bijection from Y to t1,2,...,|Y|u. A Young tableau T of shape Y is called a standard tableau if Tpi, jq ď Tpi1, j1q for pi, jq,pi1, j1q P Y with i ď i1 and j ď j1. We can visualize a Young tableau by writing numbers in cells. Figure 6 shows an example of a standard tableau.

1 2 65 8 3 4 9 12 7 10 11

Figure 6: A standard tableau of shape p5,4,3q.

Let f Y be the number of standard tableaux of shape Y. We can calculate f Y by using the hook lengths of Y.

Theorem 4.5 (Hook Formula [4]). If Y is a Young diagram with n cells, then n! f Y “ . hPH pY q h Example 4.6. Let Y “ p2,1q. By Theoremś 4.5, 3! f Y “ “ 2. 12 ¨ 3 Indeed, there are exactly two standard tableaux of shape Y (see Figure 7).

Remark 4.7. The above formula is important in combinatorial representation theory. Let Sympnq denote the symmetric group on t1,2,...,nu.A representation ρ of Sympnq is a group homomorphism from Sympnq to the general linear group GLpd,Cq, the group of 21

1 2 1 3 3 2

Figure 7: Two standard tableaux of shape p2,1q. invertible d ˆ d matrices with entries in C. The number d is called the degree of ρ. It is known that the Young diagrams with n cells are in one-to-one correspondence with the irreducible7 representations of Sympnq. For a Young diagram Y with n cells, let ρY denote the irreducible representation of Sympnq corresponding to Y. Then the degree of ρY is equal to f Y . In addition to degrees, a lot of results about representations of symmetric groups can be approached in a purely combinatorial way. See, for example, [14] for details.

Using f Y , we restate Proposition 3.15. Macdonald [8] characterized Y such that f Y is prime to p.8 From this characterization, we can show that f Y is prime to p if and only if ψppqpYq “ |Y|, where ψppqpYq is the right-hand side of (24). Recall that

ppq ψ pYpAqq “ sgΓ˜ pAq and |YpAq| “ lgΓ˜ pAq

Y pAq for a position A in a p-saturation Γ˜ of Wm. Hence A is full if and only if f is prime to p. Therefore the following result follows from Proposition 3.15.

Theorem 4.8 ([6]). Every Young diagram Y includes a Young diagram Z with ψppqpYq cells such that f Z is prime to p. proof. Let Y “ pλ 1,λ 2,...,λ mq and A be the position pλ 1 ` m ´ 1,λ 2 ` m ´ 2,...,λ mq in a p-saturation Γ˜ of Wm. Then YpAq “ Y. By Proposition 3.15, the position A has a ppq full descendant B with the same Sprague-Grundy value as A, that is, lgΓ˜ pBq “ ψ pBq “ ψppqpAq. Since moving in Welter’s game corresponds to removing a hook, we see that YpBq Ď YpAq. Moreover,

ppq ppq ppq |YpBq| “ lgΓ˜ pBq “ ψ pBq “ ψ pAq “ ψ pYpAqq.

Therefore YpBq is the desired Young diagram.

Example 4.9. Let p “ 2, and let Y be the Young diagram . By Theorem 4.5,

9! f Y “ “ 168. 13 ¨ 2 ¨ 32 ¨ 4 ¨ 5 ¨ 6

Y p2q Note that f is even. Now Y corresponds to the position p6,4,2q in W3. Since ψ pYq “ sg 6,4,2 7, Theorem 4.8 says that Y includes a Young diagram Z with 7 cells such W3 p q “ that f Z is odd. Indeed, as we have seen in Example 3.16, the position p5,3,2q is a full

7Roughly speaking, an irreducible representation is kind of an atom among representations because every representation can be decomposed into a direct sum of irreducible representations. 8Macdonald’s characterization holds only when p is prime, so we have to assume that p is prime. 22 descendant of p6,4,2q and these two positions have the same Sprague-Grundy value. Let Z “ Yp5,3,2q “ . Then Z Ă Y and

|Z| “ 3 ` 2 ` 2 “ 7 “ ψp2qpYq.

Moreover, 7! f Z “ “ 21. 12 ¨ 22 ¨ 3 ¨ 4 ¨ 5 In particular, f Z is odd.

Remark 4.10. Theorem 4.8 has the following algebraic interpretation. Let Y be a Young diagram with n cells. Recall that the corresponding irreducible representation ρY is a map from Sympnq to GLpd,Cq. Since Sympn ´ 1q Ď Sympnq, we can obtain a representation of n Y n Y Symp ´1q by restricting ρ to Symp ´1q. The obtained representation ρ Sympn´1q may not be irreducible and can be decomposed as follows: ˇ ˇ ´ Y Y , ρ Sympn´1q “ ρ (25) Y ´ ˇ à ˇ where the direct sum runs over all Young diagrams Y ´ obtained from Y by removing a hook of length 1. For example,

ρ “ ρ ‘ ρ and ρ “ ρ ‘ ρ ‘ ρ . Symp2q Symp8q ˇ ˇ ˇ From (25) andˇ Theorem 4.8, we see that the restrictionˇ ρY to SympψppqpYqq has a compo- nent with degree prime to p. Thus we will call Theorem 4.8 the p1-component theorem. For example, if Y “ p4,3,2q, then

Y ρ p2q “ ρ “ ρ Sympψ pY qq Symp7q Symp8q Symp7q ˇ ˇ ´ ˇ ¯ˇ ˇ “ ρ ˇ ‘ ρ ‘ ρ ˇ ˇ ˇ ˇ Symp7q ˇ ´ ¯ˇ ˇ “ ρ ‘ ρ ‘ ρ ˇ‘ ρ ‘ ρ ‘ ρ ‘ ρ . ´ ¯ ´ ¯ ´ ¯ Since degρ “ f “ 21, Y the representation ρ is a component of ρ |Sympψp2qpY qq with odd degree. As we have mentioned, by using the p1-component theorem, we can show that the Sprague-Grundy function of a p-saturation of Welter’s game is equal to ψppq. We gen- eralize the p1-component theorem in the next section. 23

4.3 A generalization of the p1-component theorem

Let Y be a k-tuple pY 1,...,Y kq of Young diagrams. A Young tableau T of shape Y is a l ⃓ l⃓ bijection from the disjoint union l Y to t1,2,...|Y |u, where |Y | “ l ⃓Y ⃓. A Young tableau T of shape Y is called a standard tableau if T pi, jq ď T pi1, j1q for pi, jq,pi1, j1q P Y l Ů ř and l P t1,...,ku with i ď i1 and j ď j1. Figure 8 shows an example of a standard tableau.

1 2 86 3 7 4 9 11 13 12 5 10

Figure 8: A standard tableau of shape pp4,4,2q,p2,1qq.

Let fY denote the number of standard tableaux of shape Y . It follows from Theorem 4.5 that 1 k Y n! n ! n ! n! f “ 1 k ¨¨¨ “ , n !¨¨¨n ! hPH pY 1q h hPH pY kq h hPH pY q h ⃓ ⃓ where n “ |Y |, nl “ ⃓Y l⃓, and HśpY q is the multisetś addition HśpY 1q ` ... ` H pY kq. For example, t1,2u`t1,3u “ t1,1,2,3u. Moreover, by using Olsson’s generalization [11] of Macdonald’s characterization, we can show that fY is prime to p if and only if ψppqpY q “ |Y |, where

ppq ppq 1 ppq k ψ pY q “ ψ pY q ‘p ¨¨¨ ‘p ψ pY q

ppq “ p N phq. hPH pY q à Let Y and Z be k-tuples pY 1,...,Y kq and pZ1,...,Zkq of Young diagrams, respectively. We write Z ĎY if Zl Ď Y l for l P t1,...,ku. The following theorem follows from Proposi- tion 3.20.

Theorem 4.11. Every k-tupleYY of Young diagrams includes a k-tuple Z of Young diagrams with ψppqpY q cells in total such that f Z is prime to p.

l proof. Let Y “ pY 1,...,Y kq, Y l “ pλ l,1,...,λ l,m q, Al “ pλ l,1 ` ml ´ 1, λ l,2 ` ml ´ 2,..., l λ l,m q, and A “ pA1,...,Akq. Then Y “ pYpA1q,...,YpAkqq. We consider A as a position in ˜ ˜ Γ, where Γ is a p-saturation of Wm1 ` ¨¨¨ ` Wmk . By Proposition 3.20, the position A has ppq a full descendant B with the same Sprague-Grundy value as A, that is, lgΓ˜ pBq “ ψ pBq “ ψppqpAq. Let Z “ pYpB1q,...,YpBkqq. We see that Z ĎY . Moreover,

ppq ppq ppq |Z| “ lgΓ˜ pBq “ ψ pBq “ ψ pAq “ ψ pY q.

Therefore Z is the desired k-tuple of Young diagrams. 24

Example 4.12. Let p “ 2 and Y “ pp4,4,2q,p2,1qq “ , . Then ¯ ´ H pY q “ t1,1,1,1,2,2,2,3,3,4,5,5,6u

(see Figure 9). Hence 13! f , “ “ 144144. ˘ 14 ¨ 23 ¨ 32 ¨ 4 ¨ 52 ¨ 6 ` Moreover, p2q p2q p2q ψ , “ ψ ‘2 ψ “ 6 ‘2 1 “ 7. ´ ¯ ´ ¯ ´ ¯ By Theorem 4.11, Y includes a pair Z of Young diagrams with 7 cells in total such that f Z is odd. Indeed, let Z “ pp2,2,1q,p2qq. We see that

, 7! f “ 3 2 “ 105. ` ˘ 1 ¨ 2 ¨ 3 ¨ 4 Thus Z is the desired pair of Young diagrams.

6 5 23 3 1 4 2 2 1 5 4 2 1 1 3 1 2 1 1

Figure 9: The hook lengths of pp4,4,2q,p2,1qq and pp2,2,1q,p2qq.

Remark 4.13. We give an algebraic interpretation of Theorem 4.8. It is known that k- tuples of Young diagrams with n cells in total are in one-to-one correspondence with the irreducible representations of the generalized symmetric group pZ{kZq ≀ Sympnq (see, for example, [13,19] for details). For a k-tupleY of Young diagrams with n cells in total, let ρY denote the corresponding irreducible representation of pZ{kZq ≀ Sympnq. Then the degree of ρY is equal to fY . Moreover, the following analogue of (25) holds:

´ ρY “ ρY , (26) pZ{kZq≀Sympn´1q Y ´ ˇ à ˇ where the direct sum runs over all k-tuples Y ´ of Young diagrams obtained from Y by removing a hook of length 1. For example,

ρ , “ ρ , ‘ ρ , ‘ ρ , ‘ ρ , . ˘ pZ{2Zq≀Symp12q ˘ ˘ ˘ ˘ ` ˇ ` ` ` ` LetY and Z be two ˇk-tuples of Young diagrams such that Z ĎY . By (26), the representation Z Y ρ is a component of the restriction of ρ to pZ{kZq ≀ Symp|Z|q. Therefore Theorem 4.11 Y p says that the restriction ρ to pZ{kZq ≀ Sympψp qpY qq has a component with degree prime to p. 25 References

[1] E. R. Berlekamp, J. H. Conway, and R. K. Guy, Winning Ways for Your Mathematical Plays, A.K. Peters, Natick, Mass., second edition, 2001.

[2] U. Blass, A. S. Fraenkel, and R. Guelman, How far can Nim in disguise be stretched?, J. Combin. Theory Ser. A 84:2 (1998), 145–156.

[3] J. H. Conway, On Numbers and Games, A.K. Peters, Natick, Mass., second edition, 2001.

[4] J. S. Frame, G. de B. Robinson, and R. M. Thrall, The hook graphs of the symmetric group, Canad. J. Math. 6 (1954), 316–324.

[5] P. M. Grundy, Mathematics and games, Eureka 2 (1939), 6–8.

[6] Y. Irie, p-Saturations of Welter’s game and the irreducible representations of symmetric groups, J. Alge- braic Combin. 48 (2018), 247–287.

[7] S. Y. R. Li, N-person Nim and N-person Moore’s games, Internat. J. Game Theory 7:1 (1978), 31–36.

[8] I. G. Macdonald, On the degrees of the irreducible representations of symmetric groups, Bull. Lond. Math. Soc. 3:2 (1971), 189–192.

[9] E. H. Moore, A generalization of the game called Nim, Ann. of Math. 11:3 (1910), 93–94.

[10] G. Navarro, Character Theory and the McKay Conjecture, Cambridge Studies in Advanced Mathematics, Cambridge University Press, Cambridge, 2018.

[11] J. B. Olsson, McKay numbers and heights of characters, Math. Scand. 38 (1976), 25–42.

[12] J. B. Olsson, Combinatorics and Representations of Finite Groups, Vorlesungen aus dem FB Mathematik der Univ. Essen, Heft 20, 1993.

[13] M. Osima, On the representations of the generalized symmetric group, Math. J. Okayama Univ. 4:1 (1954), 39–56.

[14] B. Sagan, The Symmetric Group: Representations, Combinatorial Algorithms, and Symmetric Functions, Graduate Texts in Mathematics, Springer-Verlag, New York, second edition, 2001.

[15] M. Sato, On a game (notes by Kenji Ueno)(in Japanese), In Proc. of the 12th Symposium of the Algebra Section of the Math. Soc. Japan (1968), 123–136.

[16] M. Sato, Mathematical theory of Maya game (notes by Hikoe Enomoto)(in Japanese), RIMS Kokyˆ urokuˆ 98 (1970), 105–135.

[17] M. Sato, On Maya game (notes by Hikoe Enomoto)(in Japanese), Sugaku no Ayumi 15:1 (1970), 73–84.

[18] R. P. Sprague, Uber¨ mathematische Kampfspiele, Tohoku Math. J. 41 (1935), 438–444.

[19] J. Stembridge, On the eigenvalues of representations of reflection groups and wreath products, Pacific J. Math. 140:2 (1989), 353–396.

[20] C. P. Welter, The theory of a class of games on a sequence of squares, in terms of the advancing operation in a special group, Indag. Math. 57 (1954), 194–200.