Related papers: On the Local Birkhoff Conjecture for Convex Billia…

Let $f: [0, +\infty) \to (0, +\infty)$ be a sufficiently smooth convex function, vanishing at infinity. Consider the planar domain $Q$ delimited by the positive $x$-semiaxis, the positive $y$-semiaxis, and the graph of $f$. Under certain…

The billiard systems within quadrics, playing the role of discrete analogues of geodesics on ellipsoids, are incorporated into the theory of integrable quad-graphs. An initial observation is that the Six-pointed star theorem, as the…

A submanifold of the standard symplectic space determines a partially defined, multi-valued symplectic map, the outer symplectic billiard correspondence. Two points are in this correspondence if the midpoint of the segment connecting them…

We derive an analytical trace formula for the level density of the two-dimensional elliptic billiard using an improved stationary phase method. The result is a continuous function of the deformation parameter (eccentricity) through all…

In the class of projective billiards, which contains the usual billiards, we exhibit counter-examples to Ivrii's conjecture, which states that in any planar billiard with smooth boundary the set of periodic orbits has zero measure. The…

We obtain an upper bound of the number of collisions of any billiard trajectory in a polyhedral angle in terms of the minimal eigenvalue of a positive definite matrix which characterizes the angle. Elements of the matrix are scalar products…

We study the geometry of billiard orbits on rectangular billiards. A truncated billiard orbit induces a partition of the rectangle into polygons. We prove that thirteen is a sharp upper bound for the number of different areas of these…

Semiclassical approximations often involve the use of stationary phase approximations. This method can be applied when $\hbar$ is small in comparison to relevant actions or action differences in the corresponding classical system. In many…

In view of classical results of Masur and Veech almost every element in the moduli space of compact translation surfaces is recurrent. In this paper we focus on the problem of recurrence for elements of smooth curves in the moduli space. We…

A class of Hamiltonian impact systems exhibiting smooth near integrable behavior is presented. The underlying unperturbed model investigated is an integrable, separable, 2 degrees of freedom mechanical impact system with effectively bounded…

We show that two-dimensional billiard systems are Turing complete, in the sense that the halting of any Turing machine with a given input is equivalent to a certain bounded trajectory in this system entering a specified open set. Billiards…

In this note the following is shown. Consider the quadratic form on (complex) matrices Q(A):=tr(A^2). Let A be such a matrix. Then an ellipse can be found, with the vector from center to focus determined by the value of Q at the traceless…

We show that any sufficiently (finitely) smooth $\mathbb Z_2$-symmetric strictly convex domain sufficiently close to a circle is dynamically spectrally rigid, i.e. all deformations among domains in the same class which preserve the length…

In this paper we establish a kind of bijection between the orbits of a polygonal outer billiards system and the orbits of a related (and simpler to analyze) system called the pinwheel map. One consequence of the result is that the outer…

Using Marden's Theorem from geometric theory of polynomials, we show that for every triangle there is a unique ellipse such that the triangle is a billiard trajectory within that ellipse. Since $3$-periodic trajectories of billiards within…

Inverting the vertices of elliptic billiard N-periodics with respect to a circle centered on one focus yields a new "focus-inversive" family inscribed in Pascal's Lima\c{c}on. The following are some of its surprising invariants: (i)…

Let $\Omega \subset \mathbb{R}^d$ be a quasiconvex Lipschitz domain and $A(x)$ be a $d \times d$ uniformly elliptic, symmetric matrix with Lipschitz coefficients. Assume a nontrivial $u$ solves $-\nabla \cdot (A(x) \nabla u) = 0$ in…

Recently, the nodal domain counts of planar, integrable billiards with Dirichlet boundary conditions were shown to satisfy certain difference equations in [Ann. Phys. 351, 1-12 (2014)]. The exact solutions of these equations give the number…

We introduce the concepts of rotation numbers and rotation vectors for billiard maps. Our approach is based on the birkhoff ergodic theorem. We anticipate that it will be useful, in particular, for the purpose of establishing the…

For billiards in an ellipse with an ellipse as caustic, there exist canonical coordinates such that the billiard transformation from vertex to vertex is equivalent to a shift of coordinates. A kinematic analysis of billiard motions paves…