arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.03004

Some open billiards with distinct top Lyapunov exponents

Amal Al Dowais·Luchezar Stoyanov
View original source ↗Read source document ↗Export metadata ↓

Abstract

We study open billiard flows in $\mathbb{R}^3$ generated by reflections in the exterior of at least three ellipsoids with $C^3$ boundaries. Each obstacle is congruent to $$\tilde{K} = \{(x,y,z)\in \mathbb{R}^3 : x^2+y^2+(βz)^2 \leq r^2\},$$ with parameter $β>1$, small radii, and centers $O_i$ lying in the plane $Γ=\{z=0\}$. The configuration satisfies the no-eclipse condition (H). For any Gibbs measure on the non-wandering set of the billiard ball map, we prove that if $β>1/c_1^2$, for some constant $c_1>0$ determined by the geometry of the configuration, the two positive Lyapunov exponents are distinct and positive: $λ_1(β)>λ_2(β)>0$. Moreover, $λ_2$ is independent of $β$ and corresponds to the restriction of the billiard flow to the plane $Γ$.

Explore related subjects

math.DS

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Amal Al Dowais, Luchezar Stoyanov. 2026-10-02. Some open billiards with distinct top Lyapunov exponents. https://arxiv.org/abs/2610.03004

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

KEEP EXPLORING

Related papers

arXiv2026

Topological structure of the sum of two affine Cantor sets

We introduce a dense subset of affine Cantor sets, termed "generalized homogeneous Cantor sets." We show that for any two members of this class, if their sum set is not a Cantor set, it has a dense interior. If one of them is an affine Cantor set with two mappings, the same result holds. In the contex of affine Cantor sets defined by increasing maps, we introduce a dense subset of their pairs, denoted by $\cal{D}$, such that for every $(K, K') \in \cal{D}$, there are five possible structures for their sum set: a bilateral gap interval, an L, R, M-Cantorval, or a Cantor set. Finally, we present new pairs of affine Cantor sets which have stable intersection, while do not satisfy the Generalized Thickness Test.

math.DS↗
arXiv2026

Similarity and superrigidity for transverse measured groupoids

Let $G$ be a locally compact, second countable, unimodular group and let $(X,μ,Y)$ be an ergodic integrable transverse $G$-system. We show that $G \ltimes X$ endowed with the product measure and the restriction $(G \ltimes X)|_Y$ endowed with the transverse measure are similar ergodic groupoids. As a consequence, we prove a superrigidity phenomenon for higher rank transverse groupoids. More precisely, for $i=1,\ldots,k$, let $\mathbf{G}_i$ be a connected, simply connected, semisimple algebraic group over some local field $κ_i$ of characteristic zero. Let $G_i=\mathbf{G}_i(κ_i)$ be the $κ_i$-points of $\mathbf{G}_i$ and denote by $G=\prod_{i=1}^k G_i$. If we assume that $G$ has higher rank and each factor has positive rank, given an ergodic integrable transverse $G$-system $(X,μ,Y)$, we prove that any unbounded Zariski dense morphism of the transverse groupoid $(G \ltimes X)|_Y$ into either an almost simple or a reductive algebraic group is superrigid.

math.DS↗
arXiv2026

Abelian maximal pattern complexity and extremal words

In this paper, we study the Abelian maximal pattern complexity $p_α^{\ast \mathrm{ab}}(k)$, introduced by Kamae, Widmer and Zamboni, of infinite words $α\in \mathbb{A}^{\mathbb{N}_{0}}$ over finite alphabets $\mathbb{A}$. For recurrent aperiodic words, we determine a lower bound and prove its sharpness. We further give a structural characterization of the words with minimal Abelian maximal pattern complexity. In the general case, we prove that an infinite word $α$ is aperiodic if and only if $\binom{p_{α}^{\ast \mathrm{ab}}(k)}{2}\geq k$ for every $k.$ For aperiodic words over $\ell \geq 2$ letters, each occurring infinitely often, we further prove that $p_{α}^{\ast \mathrm{ab}}(k)\geq m$ whenever $\binom{m}{2}\leq (\ell -1)(k-\ell +2)$, for all $m,k$. Together with a matching construction, this shows that the minimum Abelian maximal pattern complexity in this class is $\sqrt{2(\ell -1)k}+O_{\ell }(1)$. We call a word an Abelian pattern Sturmian word if, at every $k$, its Abelian maximal pattern complexity is the least positive integer $m$ satisfying $\binom{m}{2}\geq k$. We show that a word is Abelian pattern Sturmian if and only if, after relabeling its alphabet, it is the characteristic word of an infinite set $E\subset \mathbb{N}_{0}$ for which the bipartite graph on two disjoint copies of $\mathbb{N}_{0}$, with a left vertex $r$ adjacent to a right vertex $s$ exactly when $r+s\in E$, is a forest.

math.DS↗