arXiv Science⌕ Search

arXiv · 2610.11639

Variational Principles for $r$-Neutralized Pfister-Sullivan Entropy

Abstract

In this paper, we study $r$-neutralized Pfister--Sullivan entropy, defined by measuring the complexity of orbit segments whose empirical measures lie near a prescribed invariant measure. We mainly obtain the following three results: (i) We disprove a variational conjecture posed by C.~Dong and Q.~Qiao [On $r$-neutralized entropy: entropy formula and existence of measures attaining the supremum, Comm. Math. Phys. 406 (2025), Article No. 74.] (ii)] We obtain variational formulas over probability measures for both upper and lower $r$-neutralized topological entropies. We also introduce new measure-theoretic quantities through PS localization and establish some variational principles for upper $r$-neutralized topological entropy (iii) We obtain upper bounds for $r$-neutralized PS entropy under different smoothness assumptions and lower bounds for $C^{1+α}$ diffeomorphisms, in terms of entropy, dimension and Lyapunov exponents. For $C^\infty$ diffeomorphisms and $C^{1}$ Anosov diffeomorphisms, the $r$-neutralized PS entropies equal $h_μ(f)+r\dim M$ for every ergodic measure $μ$. We also establish exact formulas on mixing surface hyperbolic basic sets and show that the whole-manifold measure formula can fail for $C^2$ surface diffeomorphisms.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Ercai Chen, Yunxiang Xie, Xiaoyao Zhou. 2026-10-08. Variational Principles for $r$-Neutralized Pfister-Sullivan Entropy. https://arxiv.org/abs/2610.11639

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

KEEP EXPLORING

Related papers

Efficient computation of statistical properties of intermittent dynamics

Intermittent maps of the interval are simple and widely-studied models for chaos with slow mixing rates, but have been notoriously resistant to numerical study. In this paper we present an effective framework to compute many ergodic properties of these systems, in particular invariant measures and mean return times. The framework combines three ingredients that each harness the smooth structure of these systems' induced maps: Abel functions to compute the action of the induced maps, Euler-Maclaurin summation to compute the pointwise action of their transfer operators, and Chebyshev Galerkin discretisations to compute the spectral data of the transfer operators. The combination of these techniques allows one to obtain exponential convergence of estimates for polynomially growing computational outlay, independent of the order of the map's neutral fixed point. This enables numerical exploration of intermittent dynamics in all parameter regimes, including in the infinite ergodic regime.

math.DS↗

Dimension theory of group actions by circle diffeomorphisms II: Minimal sets

We establish a dimension theory for smooth group actions on the circle. For finitely generated groups of real-analytic circle diffeomorphisms preserving a Cantor minimal set, we introduce a dynamically defined critical exponent and prove the following properties of that set: (1) The box dimension exists and coincides with its Hausdorff dimension; (2) The dimension is given by a formula involving the dynamical critical exponent; (3) The dimension lies strictly between $0$ and $1$; (4) A parabolic fixed point in this Cantor minimal set yields a stronger lower bound for its dimension. These results substantially generalize the classical dimension theory of limit sets of Fuchsian groups to a broader smooth setting. Moreover, item (3) strengthens a recent breakthrough of Deroin--Kleptsyn--Navas, who showed that such sets have zero Lebesgue measure. A key novelty of this work is the use of the dynamical critical exponent to link the group action with stationary and conformal measures. This provides a framework combining methods from nonuniform hyperbolic dynamics and Patterson-Sullivan theory.

math.DS↗

Local Centralizer Rigidity near Elements of the Weyl Chamber Flow

In this paper, we prove centralizer rigidity near an element of the Weyl chamber flow on a semisimple Lie group. We show that a $C^1$ perturbation of an element of the Weyl chamber flow on a quotient $G/Γ$ of an $\R$-split, simple Lie group $G$ either has a centralizer of dimension $0$ or $1$, or is smoothly conjugate to an element of the Weyl chamber flow. We also obtain a general condition for the center-fixing centralizer of a partially hyperbolic diffeomorphism to be a Lie group.

math.DS↗