arXiv Science⌕ Search

arXiv · 2610.05602

History-dependent unstable directions and the Binder--DeMarco conjecture

Abstract

We establish dimension bounds and an exact dimension formula for equilibrium measures of degree $d$ holomorphic endomorphisms of $\mathbb P^2=\mathbb P^2(\mathbb C)$ satisfying suitable expansion and domination conditions. Write $λ_1>λ_2>0$ for their Lyapunov exponents. If two inverse histories ending at the same point determine different fast directions, we prove that ${\mathrm dim}_H μ_F>\log d/λ_1+\log d/λ_2$ when $λ_2>\log d$, and that ${\mathrm dim}_H μ_F=2\log d/λ_2$ when $λ_2\ge2\log d$. Applying these results to an explicit quadratic family, we disprove the Binder--DeMarco conjecture on a non-empty open set of holomorphic endomorphisms. The proof adapts the projection growth strategy of Li--Pan--Tong--Xu to the holomorphic setting, combining strong leaf geometry and the Ledrappier--Young theory for endomorphisms with a multidimensional extension of Wu's restricted sum estimate.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Fabrizio Bianchi, Yan Mary He. 2026-10-04. History-dependent unstable directions and the Binder--DeMarco conjecture. https://arxiv.org/abs/2610.05602

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

KEEP EXPLORING

Related papers

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↗

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↗

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↗