Chaos for Subshifts of Finite Type

This paper deals with chaos for subshifts of finite type. We show that for any subshift of finite type determined by an irreducible and aperiodic matrix, there is a finitely chaotic set with full Hausdorff dimension. Moreover, for any subshift of finite type determined by a matrix, we point out that the cases including positive topological entropy, distributional chaos, chaos and Devaney chaos are mutually equivalent.     

Topological Entropy of a Class of Subshifts of Finite Type

In this paper, we construct a special class of subshifts of finite type. By studying the spectral radius of the transfer matrix associated with the subshift of finite type, we obtain an estimation of its topological entropy. Interestingly, we find that the topological entropy of this class of subshifts of finite type converges monotonically to log(n + 1) (a constant only depends on the structure of the transfer matrices) as the increasing of the order of the transfer matrices.     

Reguläre Inzidenzkomplexe III

The concept of regular incidence complexes generalizes the notion of regular polyhedra in a combinatorial and grouptheoretical sense. A regular (incidence) complex K of dimension d (or briefly a d-complex) is a special type of partially ordered set with regularity defined by the flag-transitivity of its group A(K) of automorphisms. The paper deals with the conjecture of Danzer, that every finite and non-degenerate regular d-complex K can be realized as a facet (that is a d-face) of a finite and non-degenerate regular (d+1)-complex L. At this non-degeneracy means the lattice property of the complex. Starting from a transformation of Danzer's problem into an embedding problem for the group of K we settle the conjecture for almost all complexes K by a suitable extension of A(K).     

On a substitution subshift related to the Grigorchuk group

We study the dynamics of a substitution subshift given by the substitution a → aca, b → d, c → b, d → c, which is related to the Grigorchuk group. This dynamical system is shown to be, up to a countable set, conjugate to the binary odometer.     

Fractal Measures for Parabolic IFS

Let h be the Hausdorff dimension of the limit set of a conformal parabolic iterated function system in dimension d?2. In case the system of maps is finite, we provide necessary and sufficient conditions for the h-dimensional Hausdorff measure to be positive and finite and also, assuming the strong open set condition holds, characterize when the h-dimensional packing measure of the limit set is positive and finite. We also prove that the upper ball (box)-counting dimension and the Hausdorff dimension of this limit set coincide. As a byproduct we include a compact analysis of the behaviour of parabolic conformal diffeomorphisms in dimension 2 and separately in any dimension greater than or equal to 3.     

Weak KAM methods and ergodic optimal problems for countable Markov shifts

Let σ: Σ → Σ be the left shift acting on Σ, a one-sided Markov subshift on a countable alphabet. Our intention is to guarantee the existence of σ-invariant Borel probabilities that maximize the integral of a given locally Hölder continuous potential A: Σ → ?. Under certain conditions, we are able to show not only that A-maximizing probabilities do exist, but also that they are characterized by the fact their support lies actually in a particular Markov subshift on a finite alphabet. To that end, we make use of objects dual to maximizing measures, the so-called sub-actions (concept analogous to subsolutions of the Hamilton-Jacobi equation), and specially the calibrated sub-actions (notion similar to weak KAM solutions).     

On basic forbidden patterns of functions

The allowed patterns of a map on a one-dimensional interval are those permutations that are realized by the relative order of the elements in its orbits. The set of allowed patterns is completely determined by the minimal patterns that are not allowed. These are called basic forbidden patterns.In this paper, we study basic forbidden patterns of several functions. We show that the logistic map L_r(x)=rx(1−x) and some generalizations have infinitely many of them for 1<r≤4, and we give a lower bound on the number of basic forbidden patterns of L₄ of each length. Next, we give an upper bound on the length of the shortest forbidden pattern of a piecewise monotone map. Finally, we provide some necessary conditions for a set of permutations to be the set of basic forbidden patterns of such a map.     

On the dynamics and recursive properties of multidimensional symbolic systems

We study the (sub)dynamics of multidimensional shifts of finite type and sofic shifts, and the action of cellular automata on their limit sets. Such a subaction is always an effective dynamical system: i.e. it is isomorphic to a subshift over the Cantor set the complement of which can be written as the union of a recursive sequence of basic sets. Our main result is that, to varying degrees, this recursive-theoretic condition is also sufficient. We show that the class of expansive subactions of multidimensional sofic shifts is the same as the class of expansive effective systems, and that a general effective system can be realized, modulo a small extension, as the subaction of a shift of finite type or as the action of a cellular automaton on its limit set (after removing a dynamically trivial set). As applications, we characterize, in terms of their computational properties, the numbers which can occur as the entropy of cellular automata, and construct SFTs and CAs with various interesting properties.     

Distance-hereditary graphs

Distance-hereditary graphs (sensu Howorka) are connected graphs in which all induced paths are isometric. Examples of such graphs are provided by complete multipartite graphs and ptolemaic graphs. Every finite distance-hereditary graph is obtained from K₁ by iterating the following two operations: adding pendant vertices and splitting vertices. Moreover, distance-hereditary graphs are characterized in terms of the distance function d, or via forbidden isometric subgraphs.     

Mean dimension, small entropy factors and an embedding theorem

In this paper we show how the notion of mean dimension is connected in a natural way to the following two questions: what points in a dynamical system (X, T) can be distinguished by factors with arbitrarily small topological entropy, and when can a system (X, T) be embedded in (([0, 1] ^d ) ^Z , shift). Our results apply to extensions of minimalZ-actions, and for this case we also show that there is a very satisfying dimension theory for mean dimension.     

Diophantine approximation and badly approximable sets

Let (X,d) be a metric space and (Ω,d) a compact subspace of X which supports a non-atomic finite measure m. We consider ‘natural’ classes of badly approximable subsets of Ω. Loosely speaking, these consist of points in Ω which ‘stay clear’ of some given set of points in X. The classical set Bad of ‘badly approximable’ numbers in the theory of Diophantine approximation falls within our framework as do the sets Bad(i,j) of simultaneously badly approximable numbers. Under various natural conditions we prove that the badly approximable subsets of Ω have full Hausdorff dimension. Applications of our general framework include those from number theory (classical, complex, p-adic and formal power series) and dynamical systems (iterated function schemes, rational maps and Kleinian groups).     

Maximal Plurifinely Plurisubharmonic Functions

The main purpose of this paper is to introduce and study the notion of -maximal \(\mathcal {F}\) -plurisubharmonic functions, which extends the notion of maximal plurisubharmonic functions on a Euclidean domain to an -domain of ? ⁿ in a natural way. Our main result is that a finite -plurisubharmonic function u on a plurifine domain U satisfies (d d ^c u) ⁿ = 0 if and only if u is -locally -maximal outside some pluripolar set. In particular, a finite -maximal plurisubharmonic function u satisfies (d d ^c u) ⁿ = 0.     

Determination of Spherical Area Measures by Means of Dilation Volumes

For a large class of compact sets X in ℝ^d which can be represented as finite unions of sets of positive reach, the spherical area measure of order d — 1 is determined by the volumes of dilations of X with infinitesimal multiples of all rotations of a suitable convex test set. For spherical area measures of lower orders, a similar result is obtained by approximating the set X by the closures of the complements of close parallel bodies.     

Pointwise bornological spaces

With each metric space (X,d) we can associate a bornological space (X,Bd) where Bd is the set of all subsets of X with finite diameter. Equivalently, Bd is the set of all subsets of X that are contained in a ball with finite radius. If the metric d can attain the value infinite, then the set of all subsets with finite diameter is no longer a bornology. Moreover, if d is no longer symmetric, then the set of subsets with finite diameter does not coincide with the set of subsets that are contained in a ball with finite radius. In this text we will introduce two structures that capture the concept of boundedness in both symmetric and non-symmetric extended metric spaces.     

On sets of directions determined by subsets of ℝ<Superscript><Emphasis Type="Italic">d</Emphasis></Superscript>

Given E ? ? ^d , d ≥ 2, define

$D(E) \equiv \left\{ {{{x - y} \over {\left| {x - y} \right|}}:x,y \in E} \right\} \subset {S^{d - 1}}$

to be the set of directions determined by E. We prove that if the Hausdorff dimension of E is greater than d ? 1, then σ(D(E)) > 0, where σ denotes the surface measure on S ^d?1. In the process, we prove some tight upper and lower bounds for the maximal function associated with the Radon-Nikodym derivative of the natural measure on D. This result is sharp, since the conclusion fails to hold if E is a (d ? 1)-dimensional hyper-plane. This result can be viewed as a continuous analog of a recent result of Pach, Pinchasi, and Sharir ([22, 23]) on directions determined by finite subsets of ? ^d . We also discuss the case when the Hausdorff dimension of E is precisely d ? 1, where some interesting counter-examples have been obtained by Simon and Solomyak ([25]) in the planar case. In response to the conjecture stated in this paper, T. Orponen and T. Sahlsten ([20]) have recently proved that if the Hausdorff dimension of E equals d ? 1 and E is rectifiable and is not contained in a hyper-pane, the Lebesgue measure of the set of directions is still positive. Finally, we show that our continuous results can be used to recover and, in some cases, improve the exponents for the corresponding results in the discrete setting for large classes of finite point sets. In particular, we prove that a finite point set P ? ? ^d , d ≥ 3, satisfying a certain discrete energy condition (Definition 3.1) determines ? #P distinct directions.

     

Hyperbolicity of the invariant sets for the real polynomial maps

In this paper, the conditions under which there exits a uniformly hyperbolic invariant set for the map f_a(x) = ag(x) are studied, where a is a real parameter, and g(x) is a monic real-coefficient polynomial. It is shown that for certain parameter regions, the map has a uniformly hyperbolic invariant set on which it is topologically conjugate to the one-sided subshift of finite type for A, where ∣a∣ is sufficiently large, A is an eventually positive transition matrix, and g has at least two different real zeros or only one real zero. Further, it is proved that there exists an invariant set on which the map is topologically semiconjugate to the one-sided subshift of finite type for a particular irreducible transition matrix under certain conditions, and one type of these maps is not hyperbolic on the invariant set.     

New results on measures of maximal entropy

It has recently been demonstrated that there are strongly irreducible subshifts of finite type with more than one measure of maximal entropy. Here we obtain a number of results concerning the uniqueness of the measure of maximal entropy. In addition, we construct for anyd≥2 andk a strongly irreducible subshift of finite type ind dimensions with exactlyk ergodic (extremal) measures of maximal entropy. Ford≥3, we construct a strongly irreducible subshift of finite type ind dimensions with a continuum of ergodic measures of maximal entropy. Research supported in part by AFOSR grant # 91-0215 and NSF grant # DMS-9103738. Research supported by the Swedish National Science Foundation.     

A Characterization of Orthogonality

Let X be a real inner product space of (finite or infinite) dimension greater than one. We proved (see Theorem 7, Chapter 1 of our book [1]) that if T is a separable translation group of X, and d an appropriate distance function of X which is supposed to be invariant under T and the orthogonal group O of X, then there are, up to isomorphism, exactly two solutions of geometries (X,G(T,O)), G the group generated by T ∪ O, namely euclidean and hyperbolic geometry over X. With the same geometrical definition for both geometries of arbitrary (finite or infinite) dimension > 1 we will characterize in this note the notion of orthogonality.