SearcharxivSearch

arXiv subjects

Misha Bialy

Publications and source records attributed to Misha Bialy.

At least 19 recordsLinked to original sources

Remarks on the outer length billiards

We study outer length billiards; our main results are as follows. We prove 3- and 4-periodic versions of the Ivrii conjecture. We show that, for every period $n\ge 3$, there exists a functional space of billiard tables that possess invariant curves consisting of $n$-periodic points. For $n=4$, we explicitly parameterize such centrally symmetric billiard tables by functions of one variable and describe how to construct these tables geometrically, similarly to the known construction of Radon curves.

math.DS

Open problems in billiards and quantitative symplectic geometry

This document collects contributions to the Open Problem List in Billiards and Quantitative Symplectic Geometry, compiled following discussions during the workshop ``Billiards and quantitative symplectic geometry'' that took place at the University of Heidelberg on July 14--18, 2025.

math.SG

Integrable Billiards and Related Topics

This paper surveys our results on integrable billiards. We consider various models of billiards, including Birkhoff, outer, magnetic, and Minkowski billiards. Also, we discuss wire billiards and billiards in cones. For four models of convex plane billiards, we also discuss an isoperimetric-type inequality for the Mather $\beta$-function. We conclude with a section of open questions on this subject.

math.DS

Isoperimetric-type inequalities for Mather's $\beta$-function of convex billiards

In this article we discuss pointwise spectral rigidity results for several billiard systems (e.g., Birkhoff billiards, symplectic billiards and $4$-th billiards), showing that a single value of Mather's $\beta$-function can determine whether a strongly convex smooth planar domain is a disk (or an ellipse, in the affine-invariant case of symplectic billiards). Evoking the famous question "Can you hear the shape of a billiard?", one could say that circular billiards can be heard by a single whisper! More specifically, we prove isoperimetric-type inequalities comparing the $\beta$-function associated to the billiard map of domain to that of a disk with the same perimeter or area, and investigate what are the consequences of having an equality. Surprisingly, this rigidity fails for outer billiards, where explicit counterexamples are constructed for rotation numbers $1/3$ and $1/4$. The results are framed within Aubry-Mather theory and provide a modern dynamical reinterpretation and extension of classical geometric inequalities for extremal polygons.

math.DS

Outer billiards of symplectically self-polar convex bodies

It is known that $C^1$-smooth strictly convex Radon norms in $\mathbb{R}^2$ can be characterized by the property that the outer billiard map, which corresponds to the unit ball of the norm, has an invariant curve consisting of 4-periodic orbits. In higher dimensions, Radon norms are necessarily Euclidean. However, we show in this paper that the property of existence of an invariant curve of 4-periodic orbits allows a higher-dimensional extension to the class of symplectically self-polar convex bodies. Moreover, this class of convex bodies provides the first non-trivial examples of invariant hypersurfaces for outer billiard map. This is in contrast with conventional Birkhoff billiards in higher dimensions, where it was proved by Berger and Gruber that only ellipsoids have caustics. It is not known, however, if non-trivial invariant hypersurfaces can exist for higher-dimensional Birkhoff billiards.

math.DS

Effective rigidity away from the boundary for centrally-symmetric billiards

In this paper we study centrally symmetric Birkhoff billiard tables. We introduce a closed invariant set $\mathcal{M}_\mathcal{B}$ consisting of locally maximizing orbits of the billiard map lying inside the region $\mathcal{B}$ bounded by two invariant curves of $4$-periodic orbits. We give an effective bound from above on the measure of this invariant set in terms of the isoperimetric defect of the curve. The equality case occurs if and only if the curve is a circle.

math.DS

Locally Maximizing orbits for multi-dimensional Twist maps and Birkhoff billiards

In this work we consider variational properties of exact symplectic twist maps $T$ that act on the cotangent bundle of a torus, or on a ball bundle over a sphere. An example of such a map is the well-known Birkhoff billiard map corresponding to smooth convex hypersurfaces. In this work we will focus on the important class $\mathcal{M}$ of orbits of $T$ which are locally maximizing with respect to the variational principle associated with a generating function of the symplectic twist map. Our first goal is to give geometric and variational characterization for orbits in the class $\mathcal M$. The billiard map is known to have two different generating functions, which brings forth a natural question: to compare the properties of these two generating functions. While our motivation comes from billiards, we will work in general, and assume that a general twist map $T$ has two generating functions. Thus we consider the orbits of $T$ which are locally maximizing with respect to either of the generating functions. We formulate a geometric criterion that guarantees that two generating functions of the same twist map have the same class of locally maximizing orbits, and we will show that the two generating functions for the Birkhoff billiard map do, in fact, satisfy this criterion. The proof of this last property will rely on the Sinai-Chernov formula from geometric optics and billiard dynamics.

math.DS

Locally maximizing orbits for the non-standard generating function of convex billiards and applications

Given an exact symplectic map $T$ of a cylinder with a generating function $H$ satisfying the so-called negative twist condition, $H_{12}>0$, we study the locally maximizing orbits of $T$, that is, configurations which are local maxima of the action functional $\sum_n H(q_n,q_{n+1})$. We provide a necessary and sufficient condition for a configuration to be locally maximizing. Using it, we consider a situation where $T$ has two generating functions with respect to two different sets of symplectic coordinates. We suggest a simple geometric condition which guarantees that the set of locally maximizing orbits with respect to both of these generating functions coincide. As the main application we show that the two generating functions for planar Birkhoff billiards satisfy this geometric condition. We apply it to get the following result: consider a centrally symmetric curve $γ$, for which the Birkhoff billiard map has a rotational invariant curve $α$ of $4$-periodic orbits. We prove that a certain $L^2$-distance between $γ$ and its "best approximating" ellipse can be bounded from above in terms of the measure of the complement of the set filled by locally maximizing orbits lying between $α$ and the boundary of the phase cylinder. Moreover, this estimate is sharp, giving an effective version of a recent result on Birkhoff conjecture for centrally symmetric curves. We also get a similar bound for arbitrary curves $γ$, that relates the measure of the complement of the set of locally maximizing orbits with the $L^2$-distance between $γ$ and its "best approximating" circle.

math.DS

Self-Bäcklund curves in centroaffine geometry and Lamé's equation

Twenty five years ago U. Pinkall discovered that the Korteweg-de Vries equation can be realized as an evolution of curves in centoraffine geometry. Since then, a number of authors interpreted various properties of KdV and its generalizations in terms of centoraffine geometry. In particular, the Bäcklund transformation of the Korteweg-de Vries equation can be viewed as a relation between centroaffine curves. Our paper concerns self-Bäcklund centroaffine curves. We describe general properties of these curves and provide a detailed description of them in terms of elliptic functions. Our work is a centroaffine counterpart to the study done by F. Wegner of a similar problem in Euclidean geometry, related to Ulam's problem of describing the (2-dimensional) bodies that float in equilibrium in all positions and to bicycle kinematics. We also consider a discretization of the problem where curves are replaced by polygons. This is related to discretization of KdV and the cross-ratio dynamics on ideal polygons.

math.DG

The Birkhoff-Poritsky conjecture for centrally-symmetric billiard tables

In this paper we prove the Birkhoff-Poritsky conjecture for centrally-symmetric $C^2$-smooth convex planar billiards. We assume that the domain $\mathcal A$ between the invariant curve of $4$-periodic orbits and the boundary of the phase cylinder is foliated by $C^0$-invariant curves. Under this assumption we prove that the billiard curve is an ellipse. For the original Birkhoff-Poritsky formulation we show that if a neighborhood of the boundary of billiard domain has a $C^1$-smooth foliation by convex caustics of rotation numbers in the interval (0; 1/4] then the boundary curve is an ellipse. In the language of first integrals one can assert that {if the billiard inside a centrally-symmetric $C^2$-smooth convex curve $γ$ admits a $C^1$-smooth first integral with non-vanishing gradient on $\mathcal A$, then the curve $γ$ is an ellipse.} The main ingredients of the proof are : (1) the non-standard generating function for convex billiards discovered in \cite{BM}, \cite{B}; (2) the remarkable structure of the invariant curve consisting of $4$-periodic orbits; and (3) the integral-geometry approach initiated in B0, B1 for rigidity results of circular billiards. Surprisingly, we establish a Hopf-type rigidity for billiard in ellipse.

math.DS

Numerical non-integrability of Hexagonal string billiard

We consider a remarkable $C^2$-smooth billiard table introduced by Hans L.Fetter. It is obtained by the string construction from a regular hexagon for a special value of the length of the string. It was suggested as a possible counter-example to the Birkhoff-Poritsky conjecture. In this paper, we investigate numerically the behavior of this billiard and find chaotic regions near hyperbolic periodic orbits. They are very small since the billiard table is nearly circular.

math.DS

Billiard tables with rotational symmetry

We generalize the following simple geometric fact: the only centrally symmetric convex curve of constant width is a circle. Billiard interpretation of the condition of constant width reads: a planar curve has constant width, if and only if, the Birkhoff billiard map inside the planar curve has a rotational invariant curve of $2$-periodic orbits. We generalize this statement to curves that are invariant under a rotation by angle $\frac{2π}{k}$, for which the billiard map has a rotational invariant curve of $k$-periodic orbits. Similar result holds true also for Outer billiards and Symplectic billiards. Finally, we consider Minkowski billiards inside a unit disc of Minkowski (not necessarily symmetric) norm which is invariant under a linear map of order $k\ge 3$. We find a criterion for the existence of an invariant curve of $k$-periodic orbits. As an application, we get rigidity results for all those billiards.

math.DS

Dan Reznik's identities and more

Dan Reznik found, by computer experimentation, a number of conserved quantities associated with periodic billiard trajectories in ellipses. We prove some of his observations using a non-standard generating function for the billiard ball map. In this way, we also obtain some identities valid for all smooth convex billiard tables.

math.DG

Magnetic billiards: Non-integrability for strong magnetic field; Gutkin type examples

We consider magnetic billiards under a strong constant magnetic field. The purpose of this paper is two-folded. We examine the question of existence of polynomial integral of billiard magnetic flow. We succeed to reduce this question to algebraic geometry test on existence of polynomial integral, which shows polynomial non-integrability for all but finitely many values of the magnitude. In the second part of the paper we construct examples of magnetic billiards which have the so called $δ$-Gutkin property, meaning that any Larmor circle entering the domain with angle $δ$ exits the domain with the same angle $δ$. For ordinary Birkhoff billiard in the plane such examples were introduced by E. Gutkin and are very explicit. Our construction of Gutkin magnetic billiards relies on beautiful examples by F.Wegner of the so called Zindler curves, which are related to the problem of floating bodies in equilibrium, which goes back to S.Ulam. We prove that Gutkin magnetic billiard can be obtained as a parallel curve to a Wegner curve. Wegner curves can be written by elliptic functions in polar coordinates so the construction of magnetic Gutkin billiard is rather explicit but much more complicated.

math.DS

Wire billiards, the first steps

Wire billiard is defined by a smooth embedded closed curve of non-vanishing curvature $k$ in $\mathbb{R}^n$ (a wire). For a class of curves, that we call nice wires, the wire billiard map is area preserving twist map of the cylinder. In this paper we are investigating whether the basic features of conventional planar billiards extend to this more general situation. In particular, we extend Lazutkin's KAM result, as well as Mather's converse KAM result, to wire billiards. We address the notion of caustics: for wire billiards, it corresponds to striction curve of the ruled surface spanned by the chords of the invariant curve. If the ruled surface is developable this is a genuine caustic. We found remarkable examples of the wires which are closed orbits of 1-parameter subgroup of $SO(n)$. These wire billiards are totally integrable. Using the theory of interpolating Hamiltonians, we prove that the distribution of impact points of the wire becomes uniform with respect to the measure $k^{2/3} dx$ (where $x$ is the arc length parameter), as the length of the chords tends to zero. Applying this result, we prove that the billiard transformation in an ellipsoid commutes with the reparameterized geodesic flow on a confocal ellipsoid: the speed of the foot point of the line tangent to a geodesic equals $k^{-2/3}$, where $k$ is the curvature of the geodesic in the ambient space. We also discuss perspectives and open problems of this new class of billiards.

math.DS

Outer billiards with the dynamics of a standard shift on a finite number of invariant curves

We give a beautiful explicit example of a convex plane curve such that the outer billiard has a given finite number of invariant curves. Moreover, the dynamics on these curves is a standard shift. This example can be considered as an outer analog of the so-called Gutkin billiard tables. We test total integrability of these billiards, in the region between the two invariant curves. Next, we provide computer simulations on the dynamics in this region. At first glance, the dynamics looks regular but by magnifying the picture we see components of chaotic behavior near the hyperbolic periodic orbits. We believe this is a useful geometric example for coexistence of regular and chaotic behavior of twist maps.

math.DS

Algebraic non-integrability of magnetic billiards on the Sphere and Hyperbolic plane

We consider billiard ball motion in a convex domain on a constant curvature surface influenced by the constant magnetic field. We examine the existence of integral of motion which is polynomial in velocities. We prove that if such an integral exists then the boundary curve of the domain determines an algebraic curve in $\mathbf{C}^3$ which must be nonsingular. Using this fact we deduce that for any domain different from round disc for all but finitely many values of the magnitude of the magnetic field billiard motion does not have Polynomial in velocities integral of motion.

math.DG

Non-smooth convex caustics for Birkhoff billiard

This paper is devoted to the examination of the properties of the string construction for the Birkhoff billiard. Based on purely geometric considerations, string construction is suited to provide a table for the Birkhoff billiard, having the prescribed caustic. Exploiting this framework together with the properties of convex caustics, we give a geometric proof of a result by Innami first proved in 2002 by means of Aubry-Mather theory. In the second part of the paper we show that applying the string construction one can find a new collection of examples of $C^2$-smooth convex billiard tables with a non-smooth convex caustic.

math.DS