Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 1712.06698

The dynamics of digits: Calculating pi with Galperin's billiards

X. M. Aretxabaleta·M. Gonchenko·N. L. Harshman·S. G. Jackson·M. Olshanii·G. E. Astrakharchik
View original source ↗Read source document ↗Export metadata ↓

Abstract

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.

Explore related subjects

math.DS

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

X. M. Aretxabaleta, M. Gonchenko, N. L. Harshman, S. G. Jackson, M. Olshanii, G. E. Astrakharchik. 2020-04-04. The dynamics of digits: Calculating pi with Galperin's billiards. https://doi.org/10.3390/math8040509

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Equidistribution of saddle periodic points for Hénon-like maps

We prove that under a natural assumption on the dynamical degrees, the saddle periodic points of a Hénon-like map in any dimension equidistribute with respect to the equilibrium measure. Our work is a generalization of the results of Bedford-Lyubich-Smillie, Dujardin, and Dinh-Sibony along with improvements of their techniques. We also investigate some fine properties of Green currents associated with the map.

math.DS↗
arXiv2026

A flux-based approach for analyzing the disguised toric locus of reaction networks

Dynamical systems with polynomial right-hand sides are very important in various applications, e.g., in biochemistry and population dynamics. The mathematical study of these dynamical systems is challenging due to the possibility of multistability, oscillations, and chaotic dynamics. One important tool for this study is the concept of reaction systems, which are dynamical systems generated by reaction networks for some choices of parameter values. Among these, disguised toric systems are remarkably stable: they have a unique attracting fixed point, and cannot give rise to oscillations or chaotic dynamics. The computation of the set of parameter values for which a network gives rise to disguised toric systems (i.e., the disguised toric locus of the network) is an important but difficult task. We introduce new ideas based on network fluxes for studying the disguised toric locus. We prove, under mild assumptions, that the disguised toric locus of any network $G$ is a contractible manifold with boundary, and introduce an associated graph $G^{\max}$ that characterizes its interior. These theoretical tools allow us, for the first time, to compute the full disguised toric locus for many networks of interest.

math.DS↗
arXiv2026

On dissonance and orthogonal projections of self-conformal measures

Let $μ$ be a self-conformal measure on $\mathbb{R}^d$. We establish conditions for $μ$ under which $\dim(μ*ν) = \min\lbrace d,\dimμ+\dimν\rbrace$ holds when $ν$ is any Ahlfors-regular or self-conformal measure on $\mathbb{R}^d$. Our main result states the following sufficient condition: $μ$ is totally non-linear and not supported on a smooth hypersurface. We also establish sufficient (likely non-sharp) algebraic conditions for self-conformal measures which are not totally non-linear. In addition, we show that $\dim μ\circπ^{-1} = \min\{ k, \dim μ\}$ for every ortohogonal projection $π:\mathbb{R}^d\to\mathbb{R}^k$, $0<k<d$, when either $d=2$ and $μ$ is not self-similar and not supported on a line, or $d\geq 3$ and $μ$ is totally non-linear and not supported on a smooth hypersurface.

math.DS↗