Beyond Bowen’s Specification Property

نویسندگان

چکیده

A classical result in thermodynamic formalism is that for uniformly hyperbolic systems, every Hölder continuous potential has a unique equilibrium state. One proof of this fact due to Rufus Bowen and uses the such systems satisfy expansivity specification properties. In these notes, we survey recent progress generalizations properties extend Bowen’s arguments beyond uniform hyperbolicity, including applications partially geodesic flows negative curvature. We include new criterion uniqueness states with 1-dimensional center.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Equilibrium states beyond specification and the Bowen property

It is well-known that for expansive maps and continuous potential functions, the specification property (for the map) and the Bowen property (for the potential) together imply the existence of a unique equilibrium state. We consider symbolic spaces that may not have specification, and potentials that may not have the Bowen property, and give conditions under which uniqueness of the equilibrium ...

متن کامل

Diffeomorphisms Satisfying the Specification Property

Let f be a diffeomorphism of a closed C∞ manifold M . In this paper, we introduce the notion of the C1-stable specification property for a closed f -invariant set Λ of M , and we prove that f|Λ satisfies a C 1-stable specification property if and only if Λ is a hyperbolic elementary set. As a corollary, the C1-interior of the set of diffeomorphisms of M satisfying the specification property is ...

متن کامل

A Property Specification Language for Workflow Diagnostics

The paper presents a declarative language for workflow property specification. The language has been developed to help analysts in formulating workflow-log properties in such a way that the properties can be checked automatically. The language is based on the Propositional Linear Temporal Logics and the structure of logs. The standard structure of logs is used when building algorithms for prope...

متن کامل

Enhanced Property Specification and Verification in BLAST

Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules. The source code under verification is instrumented by artificial variables and statements in order to transform the problem of checking such a rule into the problem of program location reachability. This way, the sou...

متن کامل

Expressing Property Specification Patterns with OCL

The textual Object Constraint Language (OCL) is an official part of the Unified Modeling Language (UML). OCL is primarily used to formulate restrictions over UML models, in particular, invariants and operation preand postconditions in the context of class diagrams. However, OCL is missing means to specify constraints over the dynamic behavior of a UML model. We have therefore developed a tempor...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Lecture Notes in Mathematics

سال: 2021

ISSN: ['1617-9692', '0075-8434']

DOI: https://doi.org/10.1007/978-3-030-74863-0_1