stability for take-away games - wordpress.com · 2017-12-18 · stability for take-away games simon...

49
Stability for Take-Away Games Simon Rubinstein-Salzedo [email protected] Euler Circle Joint work with Sherry Sarkar December 18, 2017 Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 1 / 15

Upload: others

Post on 17-Mar-2020

1 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

Stability for Take-Away Games

Simon [email protected]

Euler Circle

Joint work with Sherry Sarkar

December 18, 2017

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 1 / 15

Page 2: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

Rules of the Game

α-take away game, or α-tag

One pile of stones, initially n stones

α ≥ 1

Two players alternate moves

First turn: take at least one stone, but not all of them

Subsequent turns: take up to α times as many stones as last playertook

Goal: Take the last stone. (More precisely, if it’s your turn and youcan’t move, you lose.)

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 2 / 15

Page 3: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

Rules of the Game

α-take away game, or α-tag

One pile of stones, initially n stones

α ≥ 1

Two players alternate moves

First turn: take at least one stone, but not all of them

Subsequent turns: take up to α times as many stones as last playertook

Goal: Take the last stone. (More precisely, if it’s your turn and youcan’t move, you lose.)

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 2 / 15

Page 4: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

Rules of the Game

α-take away game, or α-tag

One pile of stones, initially n stones

α ≥ 1

Two players alternate moves

First turn: take at least one stone, but not all of them

Subsequent turns: take up to α times as many stones as last playertook

Goal: Take the last stone. (More precisely, if it’s your turn and youcan’t move, you lose.)

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 2 / 15

Page 5: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

Rules of the Game

α-take away game, or α-tag

One pile of stones, initially n stones

α ≥ 1

Two players alternate moves

First turn: take at least one stone, but not all of them

Subsequent turns: take up to α times as many stones as last playertook

Goal: Take the last stone. (More precisely, if it’s your turn and youcan’t move, you lose.)

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 2 / 15

Page 6: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

Rules of the Game

α-take away game, or α-tag

One pile of stones, initially n stones

α ≥ 1

Two players alternate moves

First turn: take at least one stone, but not all of them

Subsequent turns: take up to α times as many stones as last playertook

Goal: Take the last stone. (More precisely, if it’s your turn and youcan’t move, you lose.)

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 2 / 15

Page 7: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

Rules of the Game

α-take away game, or α-tag

One pile of stones, initially n stones

α ≥ 1

Two players alternate moves

First turn: take at least one stone, but not all of them

Subsequent turns: take up to α times as many stones as last playertook

Goal: Take the last stone. (More precisely, if it’s your turn and youcan’t move, you lose.)

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 2 / 15

Page 8: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

Rules of the Game

α-take away game, or α-tag

One pile of stones, initially n stones

α ≥ 1

Two players alternate moves

First turn: take at least one stone, but not all of them

Subsequent turns: take up to α times as many stones as last playertook

Goal: Take the last stone. (More precisely, if it’s your turn and youcan’t move, you lose.)

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 2 / 15

Page 9: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

N and P positions

N positions: next player to move winsP positions: previous player wins

Most positions are N positions, so we focus on P positions.

α = 1: P positions are powers of 2, together with 0

α = 2: P positions are Fibonacci numbers

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 3 / 15

Page 10: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

N and P positions

N positions: next player to move winsP positions: previous player wins

Most positions are N positions, so we focus on P positions.

α = 1: P positions are powers of 2, together with 0

α = 2: P positions are Fibonacci numbers

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 3 / 15

Page 11: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

N and P positions

N positions: next player to move winsP positions: previous player wins

Most positions are N positions, so we focus on P positions.

α = 1: P positions are powers of 2, together with 0

α = 2: P positions are Fibonacci numbers

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 3 / 15

Page 12: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

P positions for α-tag

Theorem (Schwenk)

The P positions satisfy the following recurrence:

Pn+1 = Pn + Pm,

where m is the unique integer such that αPm−1 < Pn ≤ αPm.

Proof relies on a generalization of Zeckendorf’s theorem.

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 4 / 15

Page 13: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

Zeckendorf’s Theorem

Theorem (Zeckendorf, Lekkerkerker)

Every nonnegative integer can be expressed uniquely as a sum ofnonconsecutive Fibonacci numbers.

Zeckendorf representation is constructed greedily, by choosing the largestFibonacci number possible from the remainder.

Example

40 = 34 + 5 + 1.

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 5 / 15

Page 14: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

Zeckendorf’s Theorem

Theorem (Zeckendorf, Lekkerkerker)

Every nonnegative integer can be expressed uniquely as a sum ofnonconsecutive Fibonacci numbers.

Zeckendorf representation is constructed greedily, by choosing the largestFibonacci number possible from the remainder.

Example

40 = 34 + 5 + 1.

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 5 / 15

Page 15: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

Generalization of Zeckendorf’s Theorem

Theorem (Generalized Zeckendorf’s Theorem)

Let α ≥ 1, and let Pn be a sequence defined by the recurrencePn+1 = Pn + Pm, where m is the unique integer such thatαPm−1 < Pn ≤ αPm, with initial conditions P0 = 0 and P1 = 1. Thenevery positive integer n can be expressed uniquely in the formn = Pi1 + Pi2 + · · ·+ Pik , where αPij < Pij+1

.

Construction here is also greedy: take the largest Pn you can.

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 6 / 15

Page 16: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

Winning strategy for α-tag

Suppose there are n stones. Write n = Pi1 + Pi2 + · · ·+ Pik as in thegeneralized Zeckendorf theorem. Then, on every move, remove thesmallest generalized Zeckendorf part Pi1 . The next player will not be ableto do so.

Example

α = 3, n = 35. P-positions are 0, 1, 2, 3, 4, 6, 8, 11, 15, 21, 29, 37, . . .Generalized Zeckendorf representation: 35 = 29 + 6.Sample game play with good play by first player:35→ 29→ 28→ 27→ 25→ 21→ 13→ 11→ 7→ 6→ 4→ 0.

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 7 / 15

Page 17: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

Winning strategy for α-tag

Suppose there are n stones. Write n = Pi1 + Pi2 + · · ·+ Pik as in thegeneralized Zeckendorf theorem. Then, on every move, remove thesmallest generalized Zeckendorf part Pi1 . The next player will not be ableto do so.

Example

α = 3, n = 35.

P-positions are 0, 1, 2, 3, 4, 6, 8, 11, 15, 21, 29, 37, . . .Generalized Zeckendorf representation: 35 = 29 + 6.Sample game play with good play by first player:35→ 29→ 28→ 27→ 25→ 21→ 13→ 11→ 7→ 6→ 4→ 0.

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 7 / 15

Page 18: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

Winning strategy for α-tag

Suppose there are n stones. Write n = Pi1 + Pi2 + · · ·+ Pik as in thegeneralized Zeckendorf theorem. Then, on every move, remove thesmallest generalized Zeckendorf part Pi1 . The next player will not be ableto do so.

Example

α = 3, n = 35. P-positions are 0, 1, 2, 3, 4, 6, 8, 11, 15, 21, 29, 37, . . .

Generalized Zeckendorf representation: 35 = 29 + 6.Sample game play with good play by first player:35→ 29→ 28→ 27→ 25→ 21→ 13→ 11→ 7→ 6→ 4→ 0.

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 7 / 15

Page 19: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

Winning strategy for α-tag

Suppose there are n stones. Write n = Pi1 + Pi2 + · · ·+ Pik as in thegeneralized Zeckendorf theorem. Then, on every move, remove thesmallest generalized Zeckendorf part Pi1 . The next player will not be ableto do so.

Example

α = 3, n = 35. P-positions are 0, 1, 2, 3, 4, 6, 8, 11, 15, 21, 29, 37, . . .Generalized Zeckendorf representation: 35 = 29 + 6.

Sample game play with good play by first player:35→ 29→ 28→ 27→ 25→ 21→ 13→ 11→ 7→ 6→ 4→ 0.

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 7 / 15

Page 20: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

Winning strategy for α-tag

Suppose there are n stones. Write n = Pi1 + Pi2 + · · ·+ Pik as in thegeneralized Zeckendorf theorem. Then, on every move, remove thesmallest generalized Zeckendorf part Pi1 . The next player will not be ableto do so.

Example

α = 3, n = 35. P-positions are 0, 1, 2, 3, 4, 6, 8, 11, 15, 21, 29, 37, . . .Generalized Zeckendorf representation: 35 = 29 + 6.Sample game play with good play by first player:35

→ 29→ 28→ 27→ 25→ 21→ 13→ 11→ 7→ 6→ 4→ 0.

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 7 / 15

Page 21: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

Winning strategy for α-tag

Suppose there are n stones. Write n = Pi1 + Pi2 + · · ·+ Pik as in thegeneralized Zeckendorf theorem. Then, on every move, remove thesmallest generalized Zeckendorf part Pi1 . The next player will not be ableto do so.

Example

α = 3, n = 35. P-positions are 0, 1, 2, 3, 4, 6, 8, 11, 15, 21, 29, 37, . . .Generalized Zeckendorf representation: 35 = 29 + 6.Sample game play with good play by first player:35→ 29

→ 28→ 27→ 25→ 21→ 13→ 11→ 7→ 6→ 4→ 0.

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 7 / 15

Page 22: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

Winning strategy for α-tag

Suppose there are n stones. Write n = Pi1 + Pi2 + · · ·+ Pik as in thegeneralized Zeckendorf theorem. Then, on every move, remove thesmallest generalized Zeckendorf part Pi1 . The next player will not be ableto do so.

Example

α = 3, n = 35. P-positions are 0, 1, 2, 3, 4, 6, 8, 11, 15, 21, 29, 37, . . .Generalized Zeckendorf representation: 35 = 29 + 6.Sample game play with good play by first player:35→ 29→ 28

→ 27→ 25→ 21→ 13→ 11→ 7→ 6→ 4→ 0.

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 7 / 15

Page 23: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

Winning strategy for α-tag

Suppose there are n stones. Write n = Pi1 + Pi2 + · · ·+ Pik as in thegeneralized Zeckendorf theorem. Then, on every move, remove thesmallest generalized Zeckendorf part Pi1 . The next player will not be ableto do so.

Example

α = 3, n = 35. P-positions are 0, 1, 2, 3, 4, 6, 8, 11, 15, 21, 29, 37, . . .Generalized Zeckendorf representation: 35 = 29 + 6.Sample game play with good play by first player:35→ 29→ 28→ 27

→ 25→ 21→ 13→ 11→ 7→ 6→ 4→ 0.

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 7 / 15

Page 24: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

Winning strategy for α-tag

Suppose there are n stones. Write n = Pi1 + Pi2 + · · ·+ Pik as in thegeneralized Zeckendorf theorem. Then, on every move, remove thesmallest generalized Zeckendorf part Pi1 . The next player will not be ableto do so.

Example

α = 3, n = 35. P-positions are 0, 1, 2, 3, 4, 6, 8, 11, 15, 21, 29, 37, . . .Generalized Zeckendorf representation: 35 = 29 + 6.Sample game play with good play by first player:35→ 29→ 28→ 27→ 25

→ 21→ 13→ 11→ 7→ 6→ 4→ 0.

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 7 / 15

Page 25: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

Winning strategy for α-tag

Suppose there are n stones. Write n = Pi1 + Pi2 + · · ·+ Pik as in thegeneralized Zeckendorf theorem. Then, on every move, remove thesmallest generalized Zeckendorf part Pi1 . The next player will not be ableto do so.

Example

α = 3, n = 35. P-positions are 0, 1, 2, 3, 4, 6, 8, 11, 15, 21, 29, 37, . . .Generalized Zeckendorf representation: 35 = 29 + 6.Sample game play with good play by first player:35→ 29→ 28→ 27→ 25→ 21

→ 13→ 11→ 7→ 6→ 4→ 0.

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 7 / 15

Page 26: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

Winning strategy for α-tag

Suppose there are n stones. Write n = Pi1 + Pi2 + · · ·+ Pik as in thegeneralized Zeckendorf theorem. Then, on every move, remove thesmallest generalized Zeckendorf part Pi1 . The next player will not be ableto do so.

Example

α = 3, n = 35. P-positions are 0, 1, 2, 3, 4, 6, 8, 11, 15, 21, 29, 37, . . .Generalized Zeckendorf representation: 35 = 29 + 6.Sample game play with good play by first player:35→ 29→ 28→ 27→ 25→ 21→ 13

→ 11→ 7→ 6→ 4→ 0.

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 7 / 15

Page 27: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

Winning strategy for α-tag

Suppose there are n stones. Write n = Pi1 + Pi2 + · · ·+ Pik as in thegeneralized Zeckendorf theorem. Then, on every move, remove thesmallest generalized Zeckendorf part Pi1 . The next player will not be ableto do so.

Example

α = 3, n = 35. P-positions are 0, 1, 2, 3, 4, 6, 8, 11, 15, 21, 29, 37, . . .Generalized Zeckendorf representation: 35 = 29 + 6.Sample game play with good play by first player:35→ 29→ 28→ 27→ 25→ 21→ 13→ 11

→ 7→ 6→ 4→ 0.

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 7 / 15

Page 28: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

Winning strategy for α-tag

Suppose there are n stones. Write n = Pi1 + Pi2 + · · ·+ Pik as in thegeneralized Zeckendorf theorem. Then, on every move, remove thesmallest generalized Zeckendorf part Pi1 . The next player will not be ableto do so.

Example

α = 3, n = 35. P-positions are 0, 1, 2, 3, 4, 6, 8, 11, 15, 21, 29, 37, . . .Generalized Zeckendorf representation: 35 = 29 + 6.Sample game play with good play by first player:35→ 29→ 28→ 27→ 25→ 21→ 13→ 11→ 7

→ 6→ 4→ 0.

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 7 / 15

Page 29: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

Winning strategy for α-tag

Suppose there are n stones. Write n = Pi1 + Pi2 + · · ·+ Pik as in thegeneralized Zeckendorf theorem. Then, on every move, remove thesmallest generalized Zeckendorf part Pi1 . The next player will not be ableto do so.

Example

α = 3, n = 35. P-positions are 0, 1, 2, 3, 4, 6, 8, 11, 15, 21, 29, 37, . . .Generalized Zeckendorf representation: 35 = 29 + 6.Sample game play with good play by first player:35→ 29→ 28→ 27→ 25→ 21→ 13→ 11→ 7→ 6

→ 4→ 0.

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 7 / 15

Page 30: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

Winning strategy for α-tag

Suppose there are n stones. Write n = Pi1 + Pi2 + · · ·+ Pik as in thegeneralized Zeckendorf theorem. Then, on every move, remove thesmallest generalized Zeckendorf part Pi1 . The next player will not be ableto do so.

Example

α = 3, n = 35. P-positions are 0, 1, 2, 3, 4, 6, 8, 11, 15, 21, 29, 37, . . .Generalized Zeckendorf representation: 35 = 29 + 6.Sample game play with good play by first player:35→ 29→ 28→ 27→ 25→ 21→ 13→ 11→ 7→ 6→ 4

→ 0.

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 7 / 15

Page 31: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

Winning strategy for α-tag

Suppose there are n stones. Write n = Pi1 + Pi2 + · · ·+ Pik as in thegeneralized Zeckendorf theorem. Then, on every move, remove thesmallest generalized Zeckendorf part Pi1 . The next player will not be ableto do so.

Example

α = 3, n = 35. P-positions are 0, 1, 2, 3, 4, 6, 8, 11, 15, 21, 29, 37, . . .Generalized Zeckendorf representation: 35 = 29 + 6.Sample game play with good play by first player:35→ 29→ 28→ 27→ 25→ 21→ 13→ 11→ 7→ 6→ 4→ 0.

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 7 / 15

Page 32: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

Stability Theorem

Theorem

For every α > 1, there exists a half-open interval Iα = [aα, bα) containingα such that for all β ∈ Iα, the P positions of α-tag are the same as thoseof β-tag.

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 8 / 15

Page 33: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

Eventual recurrence

Theorem

For any α ≥ 1, there exist integers k ,N ≥ 0 such that for all n ≥ N,Pn+1 = Pn + Pn−k .

However, first few terms might not satisfy this recurrence.

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 9 / 15

Page 34: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

Stable intervals

Range Eventual recurrence Initial conditions

1 ≤ α < 2 Pn+1 = Pn + Pn 0,1

2 ≤ α < 52 Pn+1 = Pn + Pn−1 0,1,2

52 ≤ α < 3 Pn+1 = Pn + Pn−2 0,1,2,3,5

3 ≤ α < 72 Pn+1 = Pn + Pn−3 0,1,2,3,4,6

72 ≤ α <

113 Pn+1 = Pn + Pn−4 0,1,2,3,4,6,8,11,15,21

113 ≤ α <

4311 Pn+1 = Pn + Pn−4 0,1,2,3,4,6,8,11

4311 ≤ α < 4 Pn+1 = Pn + Pn−5 0,1,2,3,4,6,8,11,14,18,24,32,434 ≤ α < 13

3 Pn+1 = Pn + Pn−5 0,1,2,3,4,5,7,9,12133 ≤ α <

317 Pn+1 = Pn + Pn−6 0,1,2,3,4,5,7,9,12,15,19,24,31,40,52

317 ≤ α <

92 Pn+1 = Pn + Pn−6 0,1,2,3,4,5,7,9,12,15,19,24,31

92 ≤ α <

143 Pn+1 = Pn + Pn−6 0,1,2,3,4,5,7,9,11,14,18

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 10 / 15

Page 35: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

Cutoffs

Definition

A cutoff is some α > 1 such that for every β < α, the sequence ofP-positions for β-tag differs from the sequence of P-positions for α-tag.

The first few cutoffs are 2, 52 , 3,72 ,

113 ,

4311 , 4,

133 ,

317 ,

92 ,

143 .

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 11 / 15

Page 36: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

Cutoffs

Definition

A cutoff is some α > 1 such that for every β < α, the sequence ofP-positions for β-tag differs from the sequence of P-positions for α-tag.

The first few cutoffs are 2, 52 , 3,72 ,

113 ,

4311 , 4,

133 ,

317 ,

92 ,

143 .

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 11 / 15

Page 37: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

Computing cutoffs

Suppose α = 3.

P positions are 0,1,2,3,4,6, then satisfy recurrence Pn+1 = Pn + Pn−3.How do we find the next cutoff?

First P positions are 0, 1, 2, 3, 4, 6, 8, 11, 15, 21, 29, 40, 55, . . .

For example, we form 21 as 15 + 6, because α · 4 < 15 ≤ α · 6 with α = 3.

If we increase α to 154 , then the left inequality fails. Thus there is a

potential cutoff at 154 , and definitely some cutoff in

(3, 154

].

Similarly, we compare other terms, to find that the next cutoff is

min

{4

1,

6

1,

8

2,

11

3,

15

4,

21

6,

29

8,

40

11, . . .

}=

21

6=

7

2.

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 12 / 15

Page 38: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

Computing cutoffs

Suppose α = 3.

P positions are 0,1,2,3,4,6, then satisfy recurrence Pn+1 = Pn + Pn−3.How do we find the next cutoff?

First P positions are 0, 1, 2, 3, 4, 6, 8, 11, 15, 21, 29, 40, 55, . . .

For example, we form 21 as 15 + 6, because α · 4 < 15 ≤ α · 6 with α = 3.

If we increase α to 154 , then the left inequality fails. Thus there is a

potential cutoff at 154 , and definitely some cutoff in

(3, 154

].

Similarly, we compare other terms, to find that the next cutoff is

min

{4

1,

6

1,

8

2,

11

3,

15

4,

21

6,

29

8,

40

11, . . .

}=

21

6=

7

2.

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 12 / 15

Page 39: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

Computing cutoffs

Suppose α = 3.

P positions are 0,1,2,3,4,6, then satisfy recurrence Pn+1 = Pn + Pn−3.How do we find the next cutoff?

First P positions are 0, 1, 2, 3, 4, 6, 8, 11, 15, 21, 29, 40, 55, . . .

For example, we form 21 as 15 + 6, because α · 4 < 15 ≤ α · 6 with α = 3.

If we increase α to 154 , then the left inequality fails. Thus there is a

potential cutoff at 154 , and definitely some cutoff in

(3, 154

].

Similarly, we compare other terms, to find that the next cutoff is

min

{4

1,

6

1,

8

2,

11

3,

15

4,

21

6,

29

8,

40

11, . . .

}=

21

6=

7

2.

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 12 / 15

Page 40: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

Computing cutoffs

Suppose α = 3.

P positions are 0,1,2,3,4,6, then satisfy recurrence Pn+1 = Pn + Pn−3.How do we find the next cutoff?

First P positions are 0, 1, 2, 3, 4, 6, 8, 11, 15, 21, 29, 40, 55, . . .

For example, we form 21 as 15 + 6, because α · 4 < 15 ≤ α · 6 with α = 3.

If we increase α to 154 , then the left inequality fails. Thus there is a

potential cutoff at 154 , and definitely some cutoff in

(3, 154

].

Similarly, we compare other terms, to find that the next cutoff is

min

{4

1,

6

1,

8

2,

11

3,

15

4,

21

6,

29

8,

40

11, . . .

}=

21

6=

7

2.

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 12 / 15

Page 41: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

Computing cutoffs

Suppose α = 3.

P positions are 0,1,2,3,4,6, then satisfy recurrence Pn+1 = Pn + Pn−3.How do we find the next cutoff?

First P positions are 0, 1, 2, 3, 4, 6, 8, 11, 15, 21, 29, 40, 55, . . .

For example, we form 21 as 15 + 6, because α · 4 < 15 ≤ α · 6 with α = 3.

If we increase α to 154 , then the left inequality fails. Thus there is a

potential cutoff at 154 , and definitely some cutoff in

(3, 154

].

Similarly, we compare other terms, to find that the next cutoff is

min

{4

1,

6

1,

8

2,

11

3,

15

4,

21

6,

29

8,

40

11, . . .

}=

21

6=

7

2.

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 12 / 15

Page 42: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

Computing cutoffs

Suppose α = 3.

P positions are 0,1,2,3,4,6, then satisfy recurrence Pn+1 = Pn + Pn−3.How do we find the next cutoff?

First P positions are 0, 1, 2, 3, 4, 6, 8, 11, 15, 21, 29, 40, 55, . . .

For example, we form 21 as 15 + 6, because α · 4 < 15 ≤ α · 6 with α = 3.

If we increase α to 154 , then the left inequality fails. Thus there is a

potential cutoff at 154 , and definitely some cutoff in

(3, 154

].

Similarly, we compare other terms, to find that the next cutoff is

min

{4

1,

6

1,

8

2,

11

3,

15

4,

21

6,

29

8,

40

11, . . .

}=

21

6=

7

2.

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 12 / 15

Page 43: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

Theorems and questions about cutoffs

Theorem

All cutoffs are rational.

Theorem

Every integer n ≥ 2 is a cutoff. More generally, if x ≥ 1 and x ≡ 0(mod n!), then x + 1

n is a cutoff.

Conjecture

For every positive integer d , there exists an integer N such that for allk > N, k

d is a cutoff.

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 13 / 15

Page 44: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

Theorems and questions about cutoffs

Theorem

All cutoffs are rational.

Theorem

Every integer n ≥ 2 is a cutoff. More generally, if x ≥ 1 and x ≡ 0(mod n!), then x + 1

n is a cutoff.

Conjecture

For every positive integer d , there exists an integer N such that for allk > N, k

d is a cutoff.

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 13 / 15

Page 45: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

Theorems and questions about cutoffs

Theorem

All cutoffs are rational.

Theorem

Every integer n ≥ 2 is a cutoff. More generally, if x ≥ 1 and x ≡ 0(mod n!), then x + 1

n is a cutoff.

Conjecture

For every positive integer d , there exists an integer N such that for allk > N, k

d is a cutoff.

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 13 / 15

Page 46: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

Theorems and questions about cutoffs

Theorem

The set of cutoffs is a discrete subset of Q>1.

What is its density?

C (x): number of cutoffs ≤ x . Appears that C (x) = ρx2 + o(x2) for someρ. Probably ρ ≈ 2.

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 14 / 15

Page 47: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

Theorems and questions about cutoffs

Theorem

The set of cutoffs is a discrete subset of Q>1.

What is its density?

C (x): number of cutoffs ≤ x . Appears that C (x) = ρx2 + o(x2) for someρ. Probably ρ ≈ 2.

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 14 / 15

Page 48: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

Theorems and questions about cutoffs

Theorem

The set of cutoffs is a discrete subset of Q>1.

What is its density?

C (x): number of cutoffs ≤ x . Appears that C (x) = ρx2 + o(x2) for someρ. Probably ρ ≈ 2.

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 14 / 15

Page 49: Stability for Take-Away Games - WordPress.com · 2017-12-18 · Stability for Take-Away Games Simon Rubinstein-Salzedo simon@eulercircle.com Euler Circle Joint work with Sherry Sarkar

Thank you

Thank you for your attention!

Simon Rubinstein-Salzedo Stability for Take-Away Games December 18, 2017 15 / 15