RUS  ENG
Full version
JOURNALS // Prikladnaya Diskretnaya Matematika. Supplement // Archive

Prikl. Diskr. Mat. Suppl., 2014 Issue 7, Pages 26–28 (Mi pdma160)

Theoretical Foundations of Applied Discrete Mathematics

Reachability problem for continuous piecewise-affine mappings of a circle having degree 2

O. M. Kurganskyy

Institute of Applied Mathematics and Mechanics, National Academy of Sciences of Ukraine, Donetsk

Abstract: For the continuous piecewise-affine mappings of a circle into itself having degree 2, the algorithmic decidability of the point-to-point reachability problem is proved. All these piecewise-affine mappings are topological conjugate to chaotic mapping $E_2\colon\mathbb{R/Z\to R/Z}$ where $E_2(x)=2x\pmod1$. It is known that the orbit $O(x)$ of $E_2$ is uniformly distributed for almost all $x\in\mathbb{R/Z}$, i.e. $O(x)$ is chaotic. But none of the “almost all” $x$ is representable in a computer because they all are infinite real numbers. The behaviour complexity of $E_2$ lies in the complexity of its initial state. Thus the mathematical fact that $E_2$ is chaotic is vacuous from the computer science point of view. But from the proof of the main result of this work, it follows that each continuous piecewise-affine mapping with rational coefficients that conjugate to $E_2$ shows chaotic behaviour not only for real but also for some rational states. It makes them interesting in problems of cryptographic information transformation.

Keywords: deterministic chaos, cryptography, piecewise-affine mapping, reachability problem.

UDC: 510.53



© Steklov Math. Inst. of RAS, 2024