Dynamical systems and ergodic theory Definition
Parry measure
Builds on Subshift of finite typeInvariant measurePerron–Frobenius theoremIrreducible matrixProbability measure
Definition
Let be a matrix with entries in that is irreducible. Let be its vertex shift, a subshift of finite type, with shift map . By the Perron–Frobenius theorem, has a positive eigenvalue of largest modulus, with eigenvectors with positive entries such that and . Normalise them so that . Put and . The Parry measure is the probability measure on such that, for all , and states ,
Remarks
The matrix is stochastic and , so these values are consistent and is a -invariant measure. Its entropy is , which is the topological entropy of on , and it is the only invariant probability measure with this entropy. Example: the golden mean shift has and . Here up to scaling, since . After normalisation, and , and , , , . Each row of sums to , because . Non-example: on the same shift, the Markov measure with is invariant for its stationary vector but is not the Parry measure, and its entropy is smaller than .
Reading path
To understand this page from the ground up, read these 53 pages in order. The foundations come first.
- Characteristic polynomial concept
- Construction of the reals from Cauchy sequences concept
- Directed graph concept
- Eigenvalue concept
- Eigenvector concept
- Element definition
- Integers object
- Invariant measure concept
- Irreducible matrix concept
- Nonnegative matrix concept
- Ordered field definition
- Permutation matrix concept
- Proposition concept
- Random experiment concept
- Rational numbers object
- Shift space concept
- Spectral radius concept
- Square matrix concept
- Set definition
- Ring of integers statement
- Perron–Frobenius theorem statement
- Irreducible matrix definition
- Conjunction definition
- Disjunction definition
- Implication definition
- Predicate definition
- Empty set object
- Family of sets definition
- Ordered pair definition
- Intersection definition
- Union definition
- Sample space definition
- Existential quantifier definition
- Universal quantifier definition
- The rationals form a field statement
- Cartesian product definition
- Union of a family of sets definition
- Subset definition
- The rationals form an ordered field statement
- Universal set definition
- Topological space definition
- Order on the reals definition
- Power set definition
- Basis of a topology definition
- Interval definition
- Complement definition
- Product topology definition
- Sigma-algebra definition
- Event definition
- Subshift of finite type definition
- Probability axioms concept
- Probability measure definition
- Parry measure definition
Further reading
About this page
| Tag | BE3E2AH0EV |
|---|---|
| URI | m2://BE3E2AH0EV |
| Kind | definition |
| Writing | W0 stub |
| MSC | 37B10, 37A35 |
| Defines | Parry measure |
| Uses | Subshift of finite type, Invariant measure, Perron–Frobenius theorem, Irreducible matrix, Probability measure |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.