Periods of periodic points of 1-norm nonexpansive maps (Q4457863)

On \(\mathbb{R}^n\) the 1-norm is defined by \(\| x=(x_1,x_2,\dots, x_n)\|_1= \sum^n_{i=1}| x_i|\). A map \(f: \mathbb{R}^n\supset D\to\mathbb{R}^n\) is said to be 1-norm nonexpansive if \[ \| f(x)- f(y)\|_1\leq\| x-y\|_1\quad\text{for all }x,y\in D. \] A point \(x\in D\) is called periodic point of \(f: D\to D\) if \(f^q(x)= x\) for some integer \(q> 0\). The smallest such \(q> 0\) is called the minimal period of \(x\). For each \(n\in\mathbb{N}\), let \(R(n)\) denote the set of integers \(p\geq 1\) such that there exist a 1-nonexpansive map \(f: \mathbb{R}^n\to\mathbb{R}^n\) and a periodic point of \(f\) of minimal period \(p\). In the present paper, the author introduces for each \(n\in\mathbb{N}\) a set \(T(n)\) that is determined by arithmetical and combinatorical constants only and proves that \(R(n)\subset T(n)\). Moreover, he proves that \(R(n)= T(n)\) for \(n= 1,2,3,4,6,7,10\). For all other \(n\in\mathbb{N}\), it remains unknown if the sets \(R(n)\) and \(T(n)\) are equal.