Integrable symplectic maps with a polygon tessellation

Abstract

The identification of integrable dynamics remains a formidable challenge, and despite centuries of research, only a handful of examples are known to date. In this article, we explore a special form of area-preserving (symplectic) mappings derived from the stroboscopic Poincare cross-section of a kicked rotator. Notably, Suris' theorem constrains the integrability within this category of mappings, outlining potential scenarios with analytic invariants of motion. In this paper, we challenge the assumption of the analyticity of the invariant, by exploring piecewise linear transformations on a torus and associated systems on the plane, incorporating arithmetic quasiperiodicity and discontinuities. By introducing a new automated technique, we discovered previously unknown scenarios featuring polygonal invariants that form perfect tessellations and, moreover, fibrations of the plane/torus. In this way, this work reveals a novel category of planar tilings characterized by discrete symmetries that emerge from the invertibility of transformations and are intrinsically linked to the presence of integrability. Our algorithm relies on the analysis of the Poincare rotation number and its piecewise monotonic nature for integrable cases, contrasting with the noisy behavior in the case of chaos, thereby allowing for clear separation. Some of the newly discovered systems exhibit the peculiar behavior of integrable diffusion, marked by infinite and quasi-random hopping between tiles while being confined to a set of invariant segments. Finally, through the implementation of a smoothening procedure, all mappings can be generalized to quasi-integrable scenarios with smooth invariant motion, thereby opening doors to potential practical applications.