English

On roundness of rotation sets

Dynamical Systems 2025-10-10 v1

Abstract

Motivated by the question whether a round disk can be realized as the rotation set of a torus diffeomorphism, we study the roundness of rotation sets of a parametric family of torus diffeomorphisms FρF_\rho, where the parameter ρ\rho ranges over irrational numbers in (0,1)(0,1). Each FρF_\rho is a Kwapisz-like diffeomorphism with a 2-dimensional non-polygonal rotation set Λρ=conv({(±mρm+n+1,±nρm+n+1):m,nN0,mρmρ<ρ,nρnρ<ρ})\Lambda'_\rho = \operatorname{conv}\left(\left\{(\pm\frac{\lceil m\rho \rceil}{m+n+1}, \pm\frac{\lceil n\rho \rceil}{m+n+1}): m, n \in \mathbb{N} _0, \lceil m\rho\rceil - m\rho<\rho,\lceil n\rho\rceil - n\rho<\rho\right\}\right) whose extreme point set contains exactly four (two-sided) accumulation points. We define the roundness of Λρ\Lambda'_\rho as the ratio Rρ=Area(Λρ)πρ2R_\rho=\frac{\operatorname{Area}(\Lambda'_\rho)}{\pi\rho^2}, and give its upper and lower bounds in terms of ρ\rho. RρR_\rho is neither monotone nor continuous.

Keywords

Cite

@article{arxiv.2510.08235,
  title  = {On roundness of rotation sets},
  author = {Boris Perrot and Jan Boroński and Alex Clark},
  journal= {arXiv preprint arXiv:2510.08235},
  year   = {2025}
}
R2 v1 2026-07-01T06:26:50.167Z