BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Nandor Simanyi contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We consider the billiard flow of elastically colliding hard balls on the flat $ν$-torus ($ν\ge 2$), and prove that no singularity manifold can even locally coincide with a manifold describing future non-hyperbolicity of the trajectories. As a corollary, we obtain the ergodicity (actually the Bernoulli mixing property) of all such systems, i.e. the verification of the Boltzmann-Sinai Ergodic Hypothesis.
Two vectors in $\BZ^3$ are called \emph{twins} if they are orthogonal and have the same length. The paper describes twin pairs using cubic lattices, and counts the number of twin pairs with a given length. Integers $M$ with the property that each integral vector with length $\sqrt{M}$ has a twin are called twin-complete. They are completely characterized modulo a famous conjecture in number theory. The main tool is the decomposition theory of Hurwitz integral quaternions. Throughout the paper we made a concerted effort to keep the exposition as elementary as possible.
Traditionally, rotation numbers for toroidal billiard flows are defined as the limiting vectors of average displacements per time on trajectory segments. The billard trajectories, being curves, oftentimes getting very close to closed loops, quite naturally define elements of the fundamental group of the billiard table. The simplest non-trivial fundamental group obtained this way belongs to the classical Sinai billiard, i.e., the billiard flow on the 2-torus with a single, convex obstacle removed. This fundamental group is known to be the group $\textbf{F}_2$ freely generated by two elements, which is a heavily noncommutative, hyperbolic group in Gromov's sense. We define the homotopical rotation number and the homotopical rotation set for this model, and provide lower and upper estimates for the latter one, along with checking the validity of classically expected properties, like the density (in the homotopical rotation set) of the homotopical rotation numbers of periodic orbits. The natural habitat for these objects is the infinite cone erected upon the Cantor set $\text{Ends}(\textbf{F}_2)$ of all "ends" of the hyperbolic group $\textbf{F}_2$. An element of $\text{Ends}(\textbf{F}_2)$ describes the direction in (the Cayley graph of) the group $\textbf{F}_2$ in which the considered trajectory escapes to infinity, whereas the height function $t$ ($t \ge 0$) of the cone gives us the average speed at which this escape takes place. The main results of this paper claim that the orbits can only escape to infinity at a speed not exceeding $\sqrt{2}$, and any direction $e\in\text{Ends}(F_2)$ for the escape is feasible with any prescribed speed $s$, $0\leq s\leq \sqrt{2}/2$. This means that the radial upper and lower bounds for the rotation set $R$ are actually pretty close to each other.
Traditionally, rotation numbers for toroidal billiard flows are defined as the limiting vectors of average displacements per time on trajectory segments. Naturally, these creatures are living in the (commutative) vector space $\real^n$, if the toroidal billiard is given on the flat $n$-torus. The billard trajectories, being curves, oftentimes getting very close to closed loops, quite naturally define elements of the fundamental group of the billiard table. The simplest non-trivial fundamental group obtained this way belongs to the classical Sinai billiard, i.e., the billiard flow on the 2-torus with a single, convex obstacle removed. This fundamental group is known to be the group $\textbf{F}_2$ freely generated by two elements, which is a heavily noncommutative, hyperbolic group in Gromov's sense. We define the homotopical rotation number and the homotopical rotation set for this model, and provide lower and upper estimates for the latter one, along with checking the validity of classicaly expected properties, like the density (in the homotopical rotation set) of the homotopical rotation numbers of periodic orbits. The natural habitat for these objects is the infinite cone erected upon the Cantor set $\text{Ends}(\textbf{F}_2)$ of all ``ends'' of the hyperbolic group $\textbf{F}_2$. An element of $\text{Ends}(\textbf{F}_2)$ describes the direction in (the Cayley graph of) the group $\textbf{F}_2$ in which the considered trajectory escapes to infinity, whereas the height function $t$ ($t \ge 0$) of the cone gives us the average speed at which this escape takes place.
We prove here that in the Theorem on Local Ergodicity for Semi-Dispersive Billiards (proved by N. I. Chernov and Ya. G. Sinai in 1987) the recently added condition (by P. Bálint, N. Chernov, D. Szász, and I. P. Tóth, in order to save this fundamental result) on the algebraic character of the smooth boundary components of the configuration space is unnecessary. Having saved the theorem in its original form by using additional ideas in the spirit of the initial proof, the result becomes stronger and it applies to a larger family of models.
In the ergodic theory of semi-dispersing billiards the Local Ergodic Theorem, proved by Chernov and Sinai in 1987, plays a central role. So far, all existing proofs of this theorem had to use an annoying global hypothesis, namely the almost sure hyperbolicity of singular orbits. (This is the so called Chernov--Sinai Ansatz.) Here we introduce some new geometric ideas to overcome this difficulty and liberate the proof from the tyranny of the Ansatz. The presented proof is a substantial generalization of my previous joint result with N. Chernov (which is a $2D$ result) to arbitrary dimensions. An important corollary of the presented ansatz-free proof of the Local Ergodic Theorem is finally completing the proof of the Boltzmann--Sinai Ergodic Hypothesis for hard ball systems in full generality.
We consider the system of $N$ ($\ge2$) elastically colliding hard balls of masses $m_1,...,m_N$ and radius $r$ on the flat unit torus $\Bbb T^ν$, $ν\ge2$. We prove the so called Boltzmann-Sinai Ergodic Hypothesis, i. e. the full hyperbolicity and ergodicity of such systems for every selection $(m_1,...,m_N;r)$ of the external geometric parameters, without exceptional values. The present proof does not use at all the formerly developed, rather involved algebraic techniques, instead it employs exclusively dynamical methods and tools of geometric analysis.
We consider the system of $N$ ($\ge2$) elastically colliding hard balls of masses $m_1,...,m_N$ and radius $r$ in the flat unit torus $\Bbb T^ν$, $ν\ge2$. In the case $ν=2$ we prove (the full hyperbolicity and) the ergodicity of such systems for every selection $(m_1,...,m_N;r)$ of the external geometric parameters, without exceptional values. In higher dimensions, for hard ball systems in $\Bbb T^ν$ ($ν\ge3$), we prove that every such system (is fully hyperbolic and) has open ergodic components.
We prove here that in the Theorem on Local Ergodicity for Semi-Dispersive Billiards (proved by N. I. Chernov and Ya. G. Sinai in 1987) the condition of the so called ``Ansatz'' can be dropped. That condition assumed that almost every singular phase point had a hyperbolic trajectory after the singularity. Having this condition dropped, the cited theorem becomes much stronger and easier to apply. At the end of the paper two immediate corollaries of this improvement are discussed: One of them is the (fully hyperbolic) Bernoulli mixing property of every hard disk system (D=2), the other one claims that the ergodic components of every hard ball system ($D\ge3$) are open.
We consider the system of $N$ ($\ge2$) elastically colliding hard balls of masses $m_1,...,m_N$ and radius $r$ on the flat unit torus $\Bbb T^ν$, $ν\ge2$. We prove the so called Boltzmann-Sinai Ergodic Hypothesis, i. e. the full hyperbolicity and ergodicity of such systems for every selection $(m_1,...,m_N;r)$ of the external geometric parameters, provided that almost every singular orbit is geometrically hyperbolic (sufficient), i. e. the so called Chernov-Sinai Ansatz is true. The present proof does not use the formerly developed, rather involved algebraic techniques, instead it employs exclusively dynamical methods and tools from geometric analysis.
Let $m>1$ be an integer, $B_m$ the set of all unit vectors of $\Bbb R^m$ pointing in the direction of a nonzero integer vector of the cube $[-1, 1]^m$. Denote by $s_m$ the radius of the largest ball contained in the convex hull of $B_m$. We determine the exact value of $s_m$ and obtain the asymptotic equality $s_m\sim\frac{2}{\sqrt{\log m}}$.
We consider the system of $N$ ($\ge2$) hard disks of masses $m_1,...,m_N$ and radius $r$ in the flat unit torus $\Bbb T^2$. We prove the ergodicity (actually, the B-mixing property) of such systems for almost every selection $(m_1,...,m_N;r)$ of the outer geometric parameters.
We consider the system of $N$ ($\ge2$) hard balls with masses $m_1,...,m_N$ and radius $r$ in the flat torus $\Bbb T_L^ν=\Bbb R^ν/L\cdot\Bbb Z^ν$ of size $L$, $ν\ge3$. We prove the ergodicity (actually, the Bernoulli mixing property) of such systems for almost every selection $(m_1,...,m_N; L)$ of the outer geometric parameters. This theorem complements my earlier result that proved the same, almost sure ergodicity for the case $ν=2$. The method of that proof was primarily dynamical-geometric, whereas the present approach is inherently algebraic.
In this paper we study the ergodic properties of mathematical billiards describing the uniform motion of a point in a flat torus from which finitely many, pairwise disjoint, tubular neighborhoods of translated subtori (the so called cylindric scatterers) have been removed. We prove that every such system is ergodic (actually, a Bernoulli flow), unless a simple geometric obstacle for the ergodicity is present.
The connected configuration space of a so called cylindric billiard system is a flat torus minus finitely many spherical cylinders. The dynamical system describes the uniform motion of a point particle in this configuration space with specular reflections at the boundaries of the removed cylinders. It is proven here that under a certain geometric condition --- slightly stronger than the necessary condition presented in [S-Sz(1998)] --- a cylindric billiard flow is completely hyperbolic. As a consequence, every hard ball system is completely hyperbolic --- a result strengthening the theorem of [S-Sz(1999)].
We prove that the system of two hard balls in a $ν$-dimensional ($ν\ge2$) rectangular box is ergodic and, therefore, actually it is a Bernoulli flow.
We study the characteristic exponents of the Hamiltonian system of $n$ ($\ge 2$) point masses $m_1,\dots,m_n$ freely falling in the vertical half line $\{q|\, q\ge 0\}$ under constant gravitation and colliding with each other and the solid floor $q=0$ elastically. This model was introduced and first studied by M. Wojtkowski. Hereby we prove his conjecture: All relevant characteristic (Lyapunov) exponents of the above dynamical system are nonzero, provided that $m_1\ge\dots\ge m_n$ (i. e. the masses do not increase as we go up) and $m_1\ne m_2$.