Remarques sur les systemes dynamiques donnes avec plusieurs facteurs

Two Bernoulli shifts are given, (X, T) and (X′, T′), with independent generatorsR=P ∨Q andR′=P′ ∨Q′ respectively. (R andR′ are finite). One can chooseR such that if (X′, T′) can be made a factor of (X, T) in such a way that (P′) _T′ and (Q′) _T′ are full entropy factors of (P) _T and (Q) _T respectively thend (P ∨Q)=d(P′ ∨Q′). In addition it is proved that if (X, T) is a Bernoulli shift and ifS is a measure preserving transformation ofX that has the same factor algebras asT thenS=T orS=T ⁻¹. A tool for this proof, which may be of independent interest is a relative version for very weak Bernoullicity.

---

---

Equipe de Recherche n^o 1 “Processus stochastique et applications” dépendant de la Section n^o 1 “Mathématiques, Informatique” associée au C.N.R.S.     

Almost continuous orbit equivalence for non-singular homeomorphisms

Let X and Y be Polish spaces with non-atomic Borel measures μ and ν of full support. Suppose that T and S are ergodic non-singular homeomorphisms of (X, μ) and (Y, ν) with continuous Radon-Nikodym derivatives. Suppose that either they are both of type III ₁ or that they are both of type III _λ, 0 < λ < 1 and, in the III _λ case, suppose in addition that both ‘topological asymptotic ranges’ (defined in the article) are log λ · ℤ. Then there exist invariant dense G _δ-subsets X′ ⊂ X and Y′ ⊂ Y of full measure and a non-singular homeomorphism ϕ: X′ → Y′ which is an orbit equivalence between T| _X′ and S| _Y′, that is ϕ{T ⁱ x} = {S ⁱ ϕx} for all x ∈ X′. Moreover, the Radon-Nikodym derivative dν ∘ ϕ/dμ is continuous on X′ and, letting S′ = ϕ ⁻¹ Sϕ, we have T _x = S′ ^n(x) x and S′x = T ^m(x) x where n and m are continuous on X′.     

Spaces of compact operators and their dual spaces

Theω′-topology on the spaceL(X, Y) of bounded linear operators from the Banach spaceX into the Banach spaceY is discussed in [10]. Let ℒ^w' (X, Y) denote the space of allT∈L(X, Y) for which there exists a sequence of compact linear operators (T _n)⊂K(X, Y) such thatT=ω′−lim_nT_n and let . We show that is a Banach ideal of operators and that the continuous dual spaceK(X, Y)* is complemented in . This results in necessary and sufficient conditions forK(X, Y) to be reflexive, whereby the spacesX andY need not satisfy the approximation property. Similar results follow whenX andY are locally convex spaces. Financial support from the Potchefstroom University and Maseno University is greatly acknowledged. Financial support from the NRF and Potchefstroom University is greatly acknowledged.     

Algébres topologiquement uniformes et algébres fortement topologiquement uniformes

We characterize locally convex topological algebrasA satisfying: a sequence (x _n) inA converges to 0 if, and only if, (x _n ²) converges to 0. We also show that a real Banach algebra such thatx _n ²+y _n ²→0 if, and only if,x _n → 0 andy _n → 0, for every sequences (x _n) and (y _n) inA, is isomorphic to, whereX is a compact space.      

Topological realizations of families of ergodic automorphisms, multitowers and orbit equivalence

We study minimal topological realizations of families of ergodic measure preserving automorphisms (e.m.p.a.'s). Our main result is the following theorem. Theorem: Let {T_p:p∈I} be an arbitrary finite or countable collection of e.m.p.a.'s on nonatomic Lebesgue probability spaces (Y _p v _p ). Let S be a Cantor minimal system such that the cardinality of the set ε _S of all ergodic S-invariant Borel probability measures is at least the cardinality of I. Then for any collection {μ _p :pεI} of distinct measures from ε _S there is a Cantor minimal system S′ in the topological orbit equivalence class of S such that, as a measure preserving system, (S ¹,μ _p ) is isomorphic to T_p for every p∈I. Moreover, S′ can be chosen strongly orbit equivalent to S if and only if all finite topological factors of S are measure-theoretic factors of T_p for all p∈I. This result shows, in particular, that there are no restrictions at all for the topological realizations of countable families of e.m.p.a.'s in Cantor minimal systems. Namely, for any finite or countable collection {T ₁,T₂,…} of e.m.p.a.'s of nonatomic Lebesgue probability spaces, there is a Cantor minimal systemS, whose collection {μ1,μ2…} of ergodic Borel probability measures is in one-to-one correspondence with {T ₁,T₂,…}, and such that (S,μ _i ) is isomorphic toT _i for alli. Furthermore, since realizations are taking place within orbit equivalence classes of a given Cantor minimal system, our results generalize the strong orbit realization theorem and the orbit realization theorem of [18]. Those theorems are now special cases of our result where the collections {T _p}, {T _p }{μ _p } consist of just one element each. Research of I.K. was supported by NSF grant DMS 0140068.     

Fell topology on the space of functions with closed graph

LetX andY beT ₁ topological spaces andG(X, Y) the space of all functions with closed graph. Conditions under which the Fell topology and the weak Fell topology coincide onG(X,Y) are given. Relations between the convergence in the Fell topologyτF, Kuratowski and continuous convergence are studied too. Characterizations of a topological spaceX by separation axioms of (G(X, R), τF) and topological properties of (G(X, R), τF) are investigated.     

Exact controllability for the wave equation with variable coefficients

We consider in this paper the evolution systemy″−Ay=0, whereA =∂ _i(a_ij∂_j) anda _ij ∈C ¹ (ℝ⁺;W ^1,∞ (Ω)) ∩W ^1,∞ (Ω × ℝ⁺), with initial data given by (y ₀,y ₁) ∈L ²(Ω) ×H ⁻¹ (Ω) and the nonhomogeneous conditiony=v on Γ ×]0,T[. Exact controllability means that there exist a timeT>0 and a controlv such thaty(T, v)=y′(T, v)=0. The main result of this paper is to prove that the above system is exactly controllable whenT is “sufficiently large”. Moreover, we obtain sharper estimates onT.     

Product recurrent properties, disjointness and weak disjointness

Let F be a collection of subsets of ℝ₊ and (X, T) be a dynamical system; x ∈ X is F-recurrent if for each neighborhood U of x, {n ∈ ℝ₊: T ⁿ x ∈ U} ∈ F; x is F-product recurrent if (x, y) is recurrent for any F-recurrent point y in any dynamical system (Y, S). It is well known that x is {infinite}-product recurrent if and only if it is minimal and distal. In this paper it is proved that the closure of a {syndetic}-product recurrent point (i.e., weakly product recurrent point) has a dense minimal points; and a {piecewise syndetic}-product recurrent point is minimal. Results on product recurrence when the closure of an F-recurrent point has zero entropy are obtained.     

Self-similar extremal processes

Given an extremal process X: [0,∞)→[0,∞)^d with lower curve C and associated point process N={(t_k, X_k):k≥0}, t_k distinct and X_k independent, given a sequence ζ _n =(τ _n , ξ _n ), n≥1, of time-space changes (max-automorphisms of [0,∞)^d+1), we study the limit behavior of the sequence of extremal processes Y_n(t)=ξ _n ^-1 ○ X ○ τ_n(t)=C_n(t) V max {ξ _n ^-1 ○ X_k: t_k ≤ τ_n(t){ ⇒ Y under a regularity condition on the norming sequence ζ_n and asymptotic negligibility of the max-increments of Y_n. The limit class consists of self-similar (with respect to a group η_α=(σ_α, L_α), α>0, of time-space changes) extremal processes. By self-similarity here we mean the property L_α ○ Y(t) ₌ ^d Y ○ α_α(t) for all α>0. The univariate marginals of Y are max-self-decomposable. If additionally the initial extremal process X is assumed to have homogeneous max-increments, then the limit process is max-stable with homogeneous max-increments. Supported by the Bulgarian Ministry of Education and Sciences (grant No. MM 234/1996). Proceedings of the Seminar on Stability Problems for Stochastic Models, Hajdúszoboszló, Hungary, 1997, Part I.     

Distance and fractional isomorphism in Steiner triple systems

In [8], Quattrochi and Rinaldi introduced the idea ofn ⁻¹-isomorphism between Steiner systems. In this paper we study this concept in the context of Steiner triple systems. The main result is that for any positive integerN, there existsv ₀(N) such that for all admissiblev≥v ₀(N) and for each STS(v) (sayS), there exists an STS(v) (sayS′) such that for somen>N, S is strictlyn ⁻¹-isomorphic toS′. We also prove that for all admissiblev≥13, there exist two STS(v)s which are strictly 2⁻¹-isomorphic. Define the distance between two Steiner triple systemsS andS′ of the same order to be the minimum volume of a tradeT which transformsS into a system isomorphic toS′. We determine the distance between any two Steiner triple systems of order 15 and, further, give a complete classification of strictly 2⁻¹-isomorphic and 3⁻¹-isomorphic pairs of STS(15)s.     

On weak asymptotic isomorphy of memoryless correlated sources

Let {(X _i,Z _i)} be an i.i.d. sequence of random pairs in a finite set × x ℒ; we will call it a discrete memoryless stationary correlated (DMSC) source with generic distribution dist(X ₁,Z ₁). Two DMSC sources {(X _i,Z _i)} and {(X _i′,Z _i′)} are called asymptotically isomorphic in the weak sense if for every ε>0 and sufficiently largen, there exists a joint distribution dist(X ⁿ,Z ⁿ,X′ ⁿ,Z′ ⁿ) ofn-length blocks of the two sources such that . For single sources of equal entropy, McMillan’s theorem implies asymptotic isomorphy in the sense suggested by this definition. For correlated sources, however, no nontrivial cases of weak asymptotic isomorphy are known. We show that some spectral properties of the generic distributions are invariant for weak asymptotic isomorphy, and these properties wholly determine the generic distribution in many cases.     

Euler operator and homogeneous hida distributions

Let (S)⊄L ²(S′(∔),μ)⊄(S)^* be the Gel'fand triple over the white noise space (S′(∔),μ). Let (e _n ,n>-0) be the ONB ofL ²(∔) consisting of the eigenfunctions of the s.a. operator . In this paper the Euler operator Δ _E is defined as the sum , where ∂ _i stands for the differential operatorD _{e i}. It is shown that Δ _E is the infinitesimal generator of the semigroup (T _t ), where (T _t ϕ)(x)=ϕ(e ^t x) for ϕ∈(S). Similarly to the finite dimensional case, the λ-order homogeneous test functionals are characterized by the Euler equation: Δ _Eϕ =λ_ϕ. Via this characterization the λ-order homogeneous Hida distributions are defined and their properties are worked out. Supported by the National Natural Science Foundation of China.     

On Two Questions About Topological (and Nonstandard) Extensions

We construct, under MA, a non-Hausdorff (T₁-)topological extension ^*ω of ω, such that every function from ω to ω extends uniquely to a continuous function from ^*ω to ^*ω. We also show (in ZFC) that for every nontrivial topological extension ^*X of a countable set X there exists a topology τ_f on ^*X, strictly finer than the Star topology, and such that (^*X, τ_f) is still a topological extension of X with the same function extensions ^*f. This solves two questions raised by M. Di Nasso and M. Forti.     

Decreasing Subsequences in Permutations and Wilf Equivalence for Involutions

In a recent paper, Backelin, West and Xin describe a map φ^* that recursively replaces all occurrences of the pattern k... 21 in a permutation σ by occurrences of the pattern (k−1)... 21 k. The resulting permutation φ^*(σ) contains no decreasing subsequence of length k. We prove that, rather unexpectedly, the map φ^* commutes with taking the inverse of a permutation. In the BWX paper, the definition of φ^* is actually extended to full rook placements on a Ferrers board (the permutations correspond to square boards), and the construction of the map φ^* is the key step in proving the following result. Let T be a set of patterns starting with the prefix 12... k. Let T′ be the set of patterns obtained by replacing this prefix by k... 21 in every pattern of T. Then for all n, the number of permutations of the symmetric group _n that avoid T equals the number of permutations of _n that avoid T′. Our commutation result, generalized to Ferrers boards, implies that the number of involutions of _n that avoid T is equal to the number of involutions of _n avoiding T′, as recently conjectured by Jaggard. Both authors were partially supported by the European Commission's IHRP Programme, grant HPRN-CT-2001-00272, “Algebraic Combinatorics in Europe”     

On Two Questions About Topological (and Nonstandard) Extensions

We construct, under MA, a non-Hausdorff (T₁-)topological extension ^*ω of ω, such that every function from ω to ω extends uniquely to a continuous function from ^*ω to ^*ω. We also show (in ZFC) that for every nontrivial topological extension ^*X of a countable set X there exists a topology τ_f on ^*X, strictly finer than the Star topology, and such that (^*X, τ_f) is still a topological extension of X with the same function extensions ^*f. This solves two questions raised by M. Di Nasso and M. Forti.     

Strong orbit realization for minimal homeomorphisms

LetXbe a Cantor set,S a minimal self-homeomorphism ofX, and Μ anS-invariant Borel probability. LetT be an ergodic automorphism of a non-atomic Lebesgue probability space(Y,Ν). Then there is a minimal homeomorphismS′ with the same orbits asS such that (S′, Μ ) is measurably conjugate to (T, Ν). HereS′ can be chosen strongly orbit equivalent toS if and only if the periodic spectrum ofS is contained in the discrete spectrum ofT. Corollaries of these results generalize Dye’s Theorem and the Jewett-Krieger Theorem.     

Low distortion euclidean embeddings of trees

We consider the problem of embedding a certain finite metric space to the Euclidean space, trying to keep the bi-Lipschitz constant as small as possible. We introduce the notationc ₂(X, d) for the least distortion with which the metric space (X, d) may be embedded in a Euclidean space. It is known that if (X, d) is a metric space withn points, thenc ₂(X, d)≤0(logn) and the bound is tight. LetT be a tree withn vertices, andd be the metric induced by it. We show thatc ₂(T, d)≤0(log logn), that is we provide an embeddingf of its vertices to the Euclidean space, such thatd(x, y)≤‖f(x)−f(y) ‖≤c log lognd(x, y) for some constantc. Supported in part by grants from the Israeli Academy of Sciences and the US-Israel Binational Science Foundation. Supported in part by NSF under grants CCR-9215293 and by DIMACS, which is supported by NSF grant STC-91-19999 and by the New Jersey Commission on Science and Technology.     

The solution of characteristic value-vector problems by Newton's method

LetT(λ) be a bounded linear operator in a Banach spaceX for eachλ in the scalar fieldS. The characteristic value-vector problemT(λ)x = 0 with a normalization conditionφ x = 1, whereφ ε X ^*, is formulated as a nonlinear problem inX xS:P(y) ≡ (T(λ)x, φ x - 1) = 0,y= (X, A). Newton's method and the Kantorovič theorem are applied. For this purpose, representations and criteria for existence ofP′(y)⁻¹ are obtained. The continuous dependence onT of characteristic values and vectors is investigated. A numerical example withT(λ) =A +λB +λ ² C is presented. Sponsored by the Mathematics Research Center, United States Army, Madison, Wisconsin, under Contract No.: DA-31-124-ARO-D-462.     

Estimates of the periods of periodic points for nonexpansive operators

Suppose thatE is a finite-dimensional Banach space with a polyhedral norm ‖·‖, i.e., a norm such that the unit ball inE is a polyhedron. ℝ ⁿ with the sup norm or ℝ ⁿ with thel ₁-norm are important examples. IfD is a bounded set inE andT:D→D is a map such that ‖T(y)−T(z)‖≤ ‖y−z‖ for ally andz inE, thenT is called nonexpansive with respect to ‖·‖, and it is known that for eachx ∈D there is an integerp=p(x) such that lim _j→∞ T ^jp (x) exists. Furthermore, there exists an integerN, depending only on the dimension ofE and the polyhedral norm onE, such thatp(x)≤N: see [1,12,18,19] and the references to the literature there. In [15], Scheutzow has raised a question about the optimal choice ofN whenE=ℝ ⁿ ,D=K ⁿ , the set of nonnegative vectors in ℝ ⁿ , and the norm is thel ₁-norm. We provide here a reasonably sharp answer to Scheutzow’s question, and in fact we provide a systematic way to generate examples and use this approach to prove that our estimates are optimal forn≤24. See Theorem 2.1, Table 2.1 and the examples in Section 3. As we show in Corollary 2.3, these results also provide information about the caseD=ℝ ⁿ , i.e.,T:ℝ ⁿ →ℝ ⁿ isl ₁-nonexpansive. In addition, it is conjectured in [12] thatN=2 ⁿ whenE=ℝ ⁿ and the norm is the sup norm, and such a result is optimal, if true. Our theorems here show that a sharper result is true for an important subclass of nonexpansive mapsT:(ℝ ⁿ ,‖ · ‖_∞)→(ℝ ⁿ ,‖ · ‖_∞). Partially supported by NSF DMS89-03018.     

Stability of the topological pressure for piecewise monotonic maps underC 1-perturbations

Assume thatX is a finite union of closed intervals and consider aC ¹-mapX→ℝ for which {c∈X: T′c=0} is finite. Set . Fix ann ∈ ℕ. For ε>0, theC ¹-map is called an ε-perturbation ofT if is a piecewise monotonic map with at mostn intervals of monotonicity and is ε-close toT in theC ¹-topology. The influence of small perturbations ofT on the dynamical system (R(T),T) is investigated. Under a certain condition on the continuous functionf:X → ℝ, the topological pressure is lower semi-continuous. Furthermore, the topological pressure is upper semi-continuous for every continuous functionf:X → ℝ. If (R(T),T) has positive topological entropy and a unique measure μ of maximal entropy, then every sufficiently small perturbation ofT has a unique measure of maximal entropy, and the map is continuous atT in the weak star-topology.