On some coding and mixing properties for a class of chaotic systems

We study certain ergodic properties of equilibrium measures of hyperbolic non-invertible maps f on basic sets with overlaps Λ. We prove that if the equilibrium measure \({\mu_\phi}\) of a Holder potential \({\phi}\) , is 1-sided Bernoulli, then f is expanding from the point of view of a pointwise section dimension of \({\mu_\phi}\) . If the measure of maximal entropy μ ₀ is 1-sided Bernoulli, then f is shown to be distance expanding on Λ; and if \({\mu_\phi}\) is 1-sided Bernoulli for f expanding, then \({\mu_\phi}\) must be the measure of maximal entropy. These properties are very different from the case of hyperbolic diffeomorphisms. Another result is about the non 1-sided Bernoullicity for certain equilibrium measures for hyperbolic toral endomorphisms. We also prove the non-existence of generating Rokhlin partitions for measure-preserving endomorphisms in several cases, among which the case of hyperbolic non-expanding toral endomorphisms with Haar measure. Nevertheless the system \({(\Lambda, f, \mu_\phi)}\) is shown to have always exponential decay of correlations on Holder observables and to be mixing of any order.     

ON THE TOPOLOGICALLY CONJUGATE CLASSES OF ANOSOV ENDOMORPHISMS ON TORI

This paper considers the following question: Given an Anosov endomorphism f on T~m, whether f is topologically conjugate to some hyperbolic total endomorphism? It is well known that the answer for Anosov diffeomorphisms and expanding endomorphisms is affirmative. Hwever for the remainder Anosov endomorphisms, a quite different answer is obtained in this paper, i. e., for generic Anosov endomorphisms, they are not topologically conjugate to any hyperbolic toral endomorphism.     

The Hausdorff dimension of horseshoes of diffeomorphisms of surfaces

Letf be aC ^r diffeomorphism,r≥2, of a two dimensional manifoldM ², and let Λ be a horseshoe off (i.e. a transitive and isolated hyperbolic set with topological dimension zero). We prove that there exist aC ^r neighborhoodU off and a neighbourhoodU of Λ such that forg∈U, the Hausdorff dimension of ∩ _n g ⁿ (U) is aC ^r−1 function ofg.     

Nonuniform hyperbolicity for C1-generic diffeomorphisms

We study the ergodic theory of non-conservative C ¹-generic diffeomorphisms. First, we show that homoclinic classes of arbitrary diffeomorphisms exhibit ergodic measures whose supports coincide with the homoclinic class. Second, we show that generic (for the weak topology) ergodic measures of C ¹-generic diffeomorphisms are non-uniformly hyperbolic: they exhibit no zero Lyapunov exponents. Third, we extend a theorem by Sigmund on hyperbolic basic sets: every isolated transitive set Λ of any C ¹-generic diffeomorphism f exhibits many ergodic hyperbolic measures whose supports coincide with the whole set Λ.     

Joint ergodicity and mixing

The study of jointly ergodic measure preserving transformations of probability spaces, begun in [1], is continued, and notions of joint weak and strong mixing are introduced. Various properties of ergodic and mixing transformations are shown to admit analogues for several transformations. The case of endomorphisms of compact abelian groups is particularly emphasized. The main result is that, given such commuting endomorphisms σ₁σ₂,...,σ, ofG, the sequence ((1/N)Σ _n=0 ^N−1 σ ₁ ⁿ f ¹·σ ₂ ⁿ f ²· ··· · σ _s ⁿ f ^sconverges inL ²(G) for everyf ₁,f ₂,…,f _s∈L ^∞(G). If, moreover, the endomorphisms are jointly ergodic, i.e., if the limit of any sequence as above is Π _i=1 ^s ∫ _G f ₁ d μ, where μ is the Haar measure, then the convergence holds also μ-a.e.     

On some generalized difference paranormed sequence spaces associated with multiplier sequence defined by modulus function

In this article we introduce the paranormed sequence spaces(f,Λ,△m,p),c0(f,Λ,△m,p) and ■∞(f,Λ,△m,p),associated with the multiplier sequence Λ =(λk),defined by a modulus function f.We study their different properties like solidness,symmetricity,completeness etc.and prove some inclusion results.     

The structure on invariant measures of <Emphasis Type="Italic">C</Emphasis><Superscript>1</Superscript> generic diffeomorphisms

Let Λ be an isolated non-trivial transitive set of a C 1 generic diffeomorphism f ∈ Diff (M ). We show that the space of invariant measures supported on Λ coincides with the space of accumulation measures of time averages on one orbit. Moreover, the set of points having this property is residual in Λ (which implies that the set of irregular+ points is also residual in Λ). As an application, we show that the non-uniform hyperbolicity of irregular+ points in Λ with totally 0 measure (resp., the non-uniform hyperbolicity of a generic subset in Λ) determines the uniform hyperbolicity of Λ.     

Sparse exponential systems: Completeness with estimates

According to A. Beurling and H. Landau, if an exponential system {e ^iλt }_λ∈Λ is a frame in L ² on a set S of positive measure, then Λ must satisfy a strong density condition. We replace the frame concept by a weaker condition and prove that if S is a finite union of segments then the result holds. However, for “generic” S, very sparse sequences Λ are admitted. Supported in part by the Israel Science Foundation.     

Lauwerier吸引子结构和SBR测度

Abstract. In this paper,the Lauwerier map     

A global volume lemma and applications

Letf ^t be aC ² Axiom A dynamical system on a compact manifold satisfying the transversality condition. We prove that ifB _x (ε,t)=[y: dist (f ^s x,f ^s y)≤ε for all 0≤s≤t], then volB _x (ε,t) has the order exp(∫ ₀ ^t φ (f ^s x)ds) in the continuous time case and exp (Σ _s ^t−1 φ (f ^s x)) in the discrete time case, whereφ is a Holder continuous extension from basic hyperbolic sets of the negative of the differential expansion coefficient in the unstable direction. An application to the theory of large deviations is given. Partially supported by US-Israel BSF. Partially supported by a Darpa grant.     

On number system constructions

We investigate various number system constructions. After summarizing earlier results we prove that for a given lattice Λ and expansive matrix M: Λ → Λ if ρ(M ⁻¹) < 1/2 then there always exists a suitable digit set D for which (Λ, M, D) is a number system. Here ρ means the spectral radius of M ⁻¹. We shall prove further that if the polynomial f(x) = c ₀ + c ₁ x + ··· + c _k x ^k ∈ Z[x], c _k = 1 satisfies the condition |c ₀| > 2 Σ _i=1 ^k |c _i | then there is a suitable digit set D for which (Z ^k , M, D) is a number system, where M is the companion matrix of f(x). The research was supported by OTKA-T043657 and Bolyai Fellowship Committee.     

Convergence of mock Fourier series

For certain Cantor measures μ on ℝⁿ, it was shown by Jorgensen and Pedersen that there exists an orthonormal basis of exponentialse ^2πiγ·x for λεΛ. a discrete subset of ℝⁿ called aspectrum for μ. For anyL ¹ functionf, we define coefficientsc _γ(f)=∝f(y)e ^−2πiγiy dμ(y) and form the Mock Fourier series ∑_λ∈Λ^cλ(f)e ^2πiλ·x . There is a natural sequence of finite subsets Λ_n increasing to Λ asn→∞, and we define the partial sums of the Mock Fourier series by We prove, under mild technical assumptions on μ and Λ, thats _n(f) converges uniformly tof for any continuous functionf and obtain the rate of convergence in terms of the modulus of continuity off. We also show, under somewhat stronger hypotheses, almost everywhere convergence forfεL ¹. Research supported in part by the National Science Foundation, Grant DMS-0140194.     

Symbolic representations of nonexpansive group automorphisms

Ifα is an irreducible nonexpansive ergodic automorphism of a compact abelian groupX (such as an irreducible nonhyperbolic ergodic toral automorphism), thenα has no finite or infinite state Markov partitions, and there are no nontrivial continuous embeddings of Markov shifts inX. In spite of this we are able to construct a symbolic spaceV and a class of shift-invariant probability measures onV each of which corresponds to anα-invariant probability measure onX. Moreover, everyα-invariant probability measure onX arises essentially in this way. The last part of the paper deals with the connection between the two-sided beta-shiftV _β arising from a Salem numberβ and the nonhyperbolic ergodic toral automorphismα arising from the companion matrix of the minimal polynomial ofβ, and establishes an entropy-preserving correspondence between a class of shift-invariant probability measures onV _β and certainα-invariant probability measures onX. This correspondence is much weaker than, but still quite closely modelled on, the connection between the two-sided beta-shifts defined by Pisot numbers and the corresponding hyperbolic ergodic toral automorphisms.     

Markov extensions for dynamical systems with holes: An application to expanding maps of the interval

We introduce the Markov extension, represented schematically as a tower, to the study of dynamical systems with holes. For tower maps with small holes, we prove the existence of conditionally invariant probability measures which are absolutely continuous with respect to Lebesgue measure (abbreviated a.c.c.i.m.). We develop restrictions on the Lebesgue measure of the holes and simple conditions on the dynamics of the tower which ensure existence and uniqueness in a class of Holder continuous densities. We then use these results to study the existence and properties of a.c.c.i.m. forC ^1+α expanding maps of the interval with holes. We obtain the convergence of the a.c.c.i.m. to the SRB measure of the corresponding closed system as the measure of the hole shrinks to zero.     

Sign changes in rational L w 1 -approximation

Let f ∈ L _w ¹ [−1, 1], let r _n,m(f) be the best rational L _w ¹ -approximation for f with respect to real rational functions of degree at most n in the numerator and of degree at most m in the denominator, let m = m(n), and let lim _{n → ∞} (n-m(n)) = ∞. In this case, we show that the counting measures of certain subsets of sign changes of f-r _n,m (f) converge weakly to the equilibrium measure on [−1, 1] as n → ∞. Moreover, we prove estimates for discrepancy between these counting measures and the equilibrium measure. Published in Ukrains’kyi Matematychnyi Zhurnal, Vol. 58, No. 2, pp. 283–287, February, 2006.     

On a question of K. Bezdek and T. Odor on Γ-parallelotops

K. Bezdek and T. Odor proved the following statement in [1]: If a covering ofE ³ is a lattice packing of the convex compact bodyK with packing lattice Λ (K is a Λ-parallelotopes) then there exists such a 2-dimensional sublattice Λ′ of Λ which is covered by the set ∪(K+z∣z ∈ Λ′). (K ∪L(Λ′) is a Λ′-parallelotopes). We prove that the statement is not true in the case of the dimensionsn=6, 7, 8. Supported by Hung. Nat. Found for Sci. Research (OTKA) grant no. 1615 (1991).     

Discrete subgroups of <Emphasis Type="Italic">PU</Emphasis> (2, 1) acting on P<Stack><Subscript>ℂ</Subscript><Superscript>2</Superscript></Stack> and the Kobayashi metric

In this paper, we prove following: If G ⊂ PU (2, 1) is an infinite, discrete group, acting on P_ℂ² without complex invariant lines, then the component containing ℍP_ℂ² of the domain of discontinuity Ω(G) = PP_ℂ²∖ Λ (G), according to Kulkarni, is G-invariant complete Kobayashi hyperbolic. The authors were supported by the Universidad Autónoma de Yucatán and the Universidad Nacional Autónoma de México.     

Convergence and local equilibrium for the one-dimensional nonzero mean exclusion process

We consider finite-range, nonzero mean, one-dimensional exclusion processes on ℤ. We show that, if the initial configuration has ``density' α, then the process converges in distribution to the product Bernoulli measure with mean density α. From this we deduce the strong form of local equilibrium in the hydrodynamic limit for non-product initial measures.     

Hausdorff-type Measures of the Sample Path of Gaussian Random Fields

Let φ be a Hausdorff measure function and A be an infinite increasing sequence of positive integers. The Hausdorff-type measure φ - mA associated to φ and A is studied. Let X（t）（t ∈ R^N） be certain Gaussian random fields in R^d. We give the exact Hausdorff measure of the graph set GrX（[0, 1]N）, and evaluate the exact φ - mA measure of the image and graph set of X（t）. A necessary and sufficient condition on the sequence A is given so that the usual Hausdorff measure function for X（[0, 1] ^N） and GrX（[0, 1]^N） are still the correct measure functions. If the sequence A increases faster, then some smaller measure functions will give positive and finite （ φ A）-Hausdorff measure for X（[0, 1]^N） and GrX（[0, 1]N）.