The curling Number Conjecture

Reference: arxiv/0912.2382 The Curling Number Conjecture by Benjamin Chaffin and N. J. A. Sloane

noncomputable def Arxiv.«0912.2382».k (S : List ℤ) : ℕ

The curling number

Let $S$ be a finite nonempty sequence of integers. By grouping adjacent terms, it is always possible to write it as $S = X Y Y . . . Y = X Y^k$, where $X$ and $Y$ are sequences of integers and $Y$ is nonempty ($X$ is allowed to be the empty sequence $∅$). There may be several ways to do this: choose the one that maximizes the value of $k$: this $k$ is the curling number of $S$, denoted by $k S$.

Equations

• Arxiv.«0912.2382».k S = sSup {k : ℕ | ∃ (X : List ℤ) (Y : List ℤ), Y ≠ [] ∧ S = X ++ (List.replicate k Y).flatten}

noncomputable def Arxiv.«0912.2382».S (S₀ : List ℤ) (n : ℕ) : List ℤ

One starts with any initial sequence of integers $S₀$, and extends it by repeatedly appending the curling number of the current sequence.

Equations

• Arxiv.«0912.2382».S S₀ 0 = S₀
• Arxiv.«0912.2382».S S₀ n_2.succ = Arxiv.«0912.2382».S S₀ n_2 ++ [Int.ofNat (Arxiv.«0912.2382».k (Arxiv.«0912.2382».S S₀ n_2))]

theorem Arxiv.«0912.2382».curling_number_conjecture (S₀ : List ℤ) (h : S₀ ≠ []) : ∃ (m : ℕ), k (S S₀ m) = 1

The sequence will eventually reach $1$.