In Galperin billiards, two balls colliding with a hard wall form an analog calculator for the digits of the number π . This classical, one-dimensional three-body system (counting the hard wall) calculates the digits of π in a base determined by the ratio of the masses of the two particles. This base can be any integer, but it can also be an irrational number, or even the base can be π itself. This article reviews previous results for Galperin billiards and then pushes these results farther. We provide a complete explicit solution for the balls’ positions and velocities as a function of the collision number and time. We demonstrate that Galperin billiard can be mapped onto a two-particle Calogero-type model. We identify a second dynamical invariant for any mass ratio that provides integrability for the system, and for a sequence of specific mass ratios we identify a third dynamical invariant that establishes superintegrability. Integrability allows us to derive some new exact results for trajectories, and we apply these solutions to analyze the systematic errors that occur in calculating the digits of π with Galperin billiards, including curious cases with irrational number bases.
more »
« less
Growth of the Wang-Casati-Prosen counter in an integrable billiard
This work is motivated by an article by Wang, Casati, and Prosen[Phys. Rev. E vol. 89, 042918 (2014)] devoted to a study of ergodicityin two-dimensional irrational right-triangular billiards. Numericalresults presented there suggest that these billiards are generally notergodic. However, they become ergodic when the billiard angle is equalto \pi/2 π / 2 times a Liouvillian irrational, morally a class of irrational numberswhich are well approximated by rationals. In particular, Wang etal. study a special integer counter that reflects the irrationalcontribution to the velocity orientation; they conjecture that thiscounter is localized in the generic case, but grows in the Liouvilliancase. We propose a generalization of the Wang-Casati-Prosen counter:this generalization allows to include rational billiards intoconsideration. We show that in the case of a 45°\!\!:\!45°\!\!:\!90° 45 ° : 45 ° : 90 ° billiard, the counter grows indefinitely, consistent with theLiouvillian scenario suggested by Wang et al.
more »
« less
- PAR ID:
- 10466447
- Date Published:
- Journal Name:
- SciPost Physics
- Volume:
- 14
- Issue:
- 2
- ISSN:
- 2542-4653
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
We consider dispersing billiard tables whose boundary is piecewise smooth and the free flight function is unbounded. We also assume there are no cusps. Such billiard tables are called type D in the monograph of Chernov and Markarian [9]. For a class of non-degenerate type D dispersing billiards, we prove exponential decay of correlation and several other statistical properties.more » « less
-
Abstract Let be the three‐dimensional space form of constant curvature , that is, Euclidean space , the sphere , or hyperbolic space . Let be a smooth, closed, strictly convex surface in . We define an outer billiard map on the four‐dimensional space of oriented complete geodesics of , for which the billiard table is the subset of consisting of all oriented geodesics not intersecting . We show that is a diffeomorphism when is quadratically convex. For , has a Kähler structure associated with the Killing form of . We prove that is a symplectomorphism with respect to its fundamental form and that can be obtained as an analogue to the construction of Tabachnikov of the outer billiard in defined in terms of the standard symplectic structure. We show that does not preserve the fundamental symplectic form on associated with the cross product on , for . We initiate the dynamical study of this outer billiard in the hyperbolic case by introducing and discussing a notion of holonomy for periodic points.more » « less
-
Gørtz, Inge Li; Farach-Colton, Martin; Puglisi, Simon J; Herman, Grzegorz (Ed.)We consider variants of the classic Multiway Cut problem. Multiway Cut asks to partition a graph G into k parts so as to separate k given terminals. Recently, Chandrasekaran and Wang (ESA 2021) introduced l_p-norm Multiway Cut, a generalization of the problem, in which the goal is to minimize the l_p norm of the edge boundaries of k parts. We provide an O(log^{1/2} n log^{1/2 + 1/p} k) approximation algorithm for this problem, improving upon the approximation guarantee of O(log^{3/2} n log^{1/2} k) due to Chandrasekaran and Wang. We also introduce and study Norm Multiway Cut, a further generalization of Multiway Cut. We assume that we are given access to an oracle, which answers certain queries about the norm. We present an O(log^{1/2} n log^{7/2} k) approximation algorithm with a weaker oracle and an O(log^{1/2} n log^{5/2} k) approximation algorithm with a stronger oracle. Additionally, we show that without any oracle access, there is no n^{1/4-ε} approximation algorithm for every ε > 0 assuming the Hypergraph Dense-vs-Random Conjecture.more » « less
-
Abstract This paper is concerned with the billiard version of Jacobi's last geometric statement and its generalizations. Given a non‐focal point inside an elliptic billiard table, one considers the family of rays emanating from and the caustic of the reflected family after reflections off the ellipse, for each positive integer . It is known that has at least four cusps and it has been conjectured that it has exactly four (ordinary) cusps. The present paper presents a proof of this conjecture in the special case when the ellipse is a circle. In the case of an arbitrary ellipse, we give an explicit description of the location of four of the cusps of , though we do not prove that these are the only cusps.more » « less
An official website of the United States government

