Would it be possible to enable special features in the Incubator Q&A?

Ok, this was weird. The setting was on, I pasted in some Mathjax, it didn't render, I turned it off and on, and now it's rendering.

Experiment below:

---

I need some Mathjax to test with, so I'm copying from this post from Mathematics Codidact.

---

I'm exploring a function that takes a non-negative integer vector $$ \theta\in {\mathbb{N}_0}^4$$ and returns the modulus of each adjacent vector components, wrapping around:

$$ s:{\mathbb{N}_0}^4 \rightarrow {\mathbb{N}_0}^4 \\ $$$$ \begin{align*} & s(\boldsymbol{\theta}) = s\left(\begin{bmatrix} x \\ y \\ z \\ w \end{bmatrix} \right) = \begin{bmatrix} |y-x| \\ |z-y| \\ |w-z| \\ |x-w| \end{bmatrix} \end{align*} $$

Example:

$$ \begin{align*} & s\left(\begin{bmatrix} 6 \\ 2 \\ 15 \\ 7 \end{bmatrix} \right) = \begin{bmatrix} |2-6| \\ |15-2| \\ |7-15| \\ |6-7| \end{bmatrix} = \begin{bmatrix} |-4| \\ |+13| \\ |-8| \\ |-1| \end{bmatrix} = \begin{bmatrix} 4 \\ 13 \\ 8 \\ 1 \end{bmatrix} \end{align*} $$

Basic properties of $s$ that I can prove:

• $ s \text{ is not linear} $
• $ s(\boldsymbol{0}) = \boldsymbol{0} $
• $ s(\lambda\boldsymbol{\theta}) = |\lambda|s(\boldsymbol{\theta}) $
• Let $\boldsymbol\theta' = \boldsymbol\theta - \theta_{min}$, where $\theta_{min}$ is the smallest component of $\boldsymbol\theta$. Then $s(\boldsymbol\theta)=s(\boldsymbol\theta') $

In my experiments, I observed that the repeated application of $s$ converged to the zero vector for all sample inputs I tried: millions of unique $\boldsymbol{\theta}\in {\mathbb{N}_0}^4$

As a purely recreational exercise, my goal is to prove or disprove that this holds for all $\boldsymbol{\theta}$:

$ \forall_{\boldsymbol{\theta} \in {\mathbb{N}_0}^4} \exists_{n\ge 0} \space \space \overbrace{s \circ \ s \circ \dots s}^{n} (\boldsymbol{\theta}) = \boldsymbol{0} $

Now my questions: (...)