Finiteness theorems on elliptical billiards and a variant of the dynamical Mordell–Lang conjecture

We offer some theorems, mainly finiteness results, for certain patterns in elliptical billiards, related to periodic trajectories; these seem to be the first finiteness results in this context. For instance, if two players hit a ball at a given position and with directions forming a fixed angle in (Formula presented.), there are only finitely many directions for both trajectories being periodic. Another instance is the finiteness of the billiard shots which send a given ball into another one so that this falls eventually in a hole. These results (which are shown not to hold for general billiards) have their origin in ‘relative’ cases of the Manin–Mumford conjecture and constitute instances of how arithmetical content may affect chaotic behaviour (in billiards). We shall also interpret the statements through a variant of the dynamical Mordell–Lang conjecture. In turn, this variant embraces cases, which, somewhat surprisingly, sometimes can be treated (only) by completely different methods compared to the former ones; here we shall offer an explicit example related to diophantine equations in algebraic tori.