arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.09482

Typical expansive measures for infinite-dimensional maps

Gabriel Lacerda
View original source ↗Read source document ↗Export metadata ↓

Abstract

A classical theorem by Mañé states that compact metric spaces admitting expansive homeomorphisms must be finite-dimensional. It is a natural question, raised by Morales and Sirvent, whether this dimensional constraint extends to the measure-theoretic notion of expansiveness. In this paper, we answer this question in the negative. We prove that the shift map on the Hilbert cube is expansive with respect to the product Lebesgue measure. Furthermore, we establish a general sufficient condition: any homeomorphism admitting a full-support expansive measure is densely measure-expansive. As a consequence, we show that the set of expansive and topologically stable measures for the shift map contains a dense $G_δ$ subset, revealing a rich measure-theoretic structure despite the infinite dimensionality of the phase space.

Explore related subjects

math.DS

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Gabriel Lacerda. 2026-10-07. Typical expansive measures for infinite-dimensional maps. https://arxiv.org/abs/2610.09482

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

KEEP EXPLORING

Related papers

arXiv2026

Bruno ideal and the variety of centers for singular germs of vector fields

Given a logarithmic analytic vector field $\partial$, we consider the formal ideal $B(\partial)$ defined by the collinearity locus of the semi-simple and nilpotent components of~$\partial$. Assuming that the eigenvalues of the linear part of $\partial$ satisfy the so-called Bruno arithmetic condition, we prove that $B(\partial)$ is in fact an analytic ideal. Moreover, $\partial$ is analytically normalizable when restricted to this ideal. As a consequence, the vanishing locus $V$ of $B(\partial)$ is an analytic variety, and the foliation defined by $\partial|_{V}$ is analytically linearizable.

math.DS↗
arXiv2026

Poisson actions of noncompact locally compact sofic groups have completely positive sofic entropy

We prove that every Poisson action of positive intensity of a noncompact locally compact second countable sofic group has completely positive measure sofic entropy with respect to every locally compact sofic approximation. The proof constructs random microstates for arbitrary measurable factors by completing local Poisson configurations with an independent exterior Poisson process. Probability estimates and a packing argument then show that every nontrivial factor has positive entropy. We also give a compact-group example showing that the noncompactness assumption is essential.

math.DS↗
arXiv2026

Dimensions of Bedford-McMullen type sets in $\mathbb Z^2$

We study forward orbits in $\mathbb Z^2$ generated by the expanding affine maps $(x,y)\mapsto(mx+i,ny+j)$, where $m\ge n\ge2$ are integers and $(i,j)$ ranges over a nonempty digit set $Λ\subseteq\{0,\ldots,m-1\}\times\{0,\ldots,n-1\}$. We obtain explicit formulae for the mass, Beurling, discrete packing, and Assouad dimensions, the discrete Hausdorff dimension and its lower variant, and the lower entropy index. When $m=n$, all these dimensions equal $\log_m\#Λ$. When $m>n$, they can differ, and several depend on the starting point through the sizes of the endpoint columns of $Λ$. The two Hausdorff dimensions coincide and admit a pressure variational formula. Our proofs use finite symbolic models and approximate squares to relate digit counts to coverings in centered windows, translated windows, and annuli. We also characterize invariant lattice sets and determine their dimensions. Finally, we compare the orbit dimensions with semigroup growth and the dimensions of the compact dual attractor. In particular, the mass and Beurling dimensions need not equal the semigroup growth exponent, in contrast to the corresponding one-dimensional theory.

math.DS↗