The local variational principle of topological pressure for sub-additive potentials

Let (X,T) be a topological dynamical system and be a sub-additive potential on C(X,R). Let U be an open cover of X. Then for any T-invariant measure μ, let . The topological pressure for open covers U is defined for sub-additive potentials. Then we have a variational principle:

     

Rigidity in one-dimensional tiling spaces

Suppose Tφ and Tθ are tiling spaces arising from primitive nonperiodic substitutions φ and θ. Suppose Fφ and Fθ denote the corresponding inflation and substitution maps on the respective tiling spaces. We prove that Tφ and Tθ are homeomorphic if and only if there exist positive integers m and n such that and are topologically conjugate.     

A classification of inverse limit spaces of tent maps with finite critical orbit

In this paper we classify the inverse limit spaces of tent maps with a strictly preperiodic critical point by using the symbolic dynamics approach. More precisely, we prove that for , s≠t, if Ts and Tt are tent maps with strictly preperiodic critical points, then the corresponding inverse limit spaces Ks and Kt are not homeomorphic.     

Unique expansions of real numbers

It was discovered some years ago that there exist non-integer real numbers q>1 for which only one sequence (ci) of integers ci∈[0,q) satisfies the equality . The set of such “univoque numbers” has a rich topological structure, and its study revealed a number of unexpected connections with measure theory, fractals, ergodic theory and Diophantine approximation.In this paper we consider for each fixed q>1 the set Uq of real numbers x having a unique representation of the form with integers ci belonging to [0,q). We carry out a detailed topological study of these sets. For instance, we characterize their closures, and we determine those bases q for which Uq is closed or even a Cantor set. We also study the set consisting of all sequences (ci) of integers ci∈[0,q) such that . We determine the numbers r>1 for which the map (defined on (1,∞)) is constant in a neighborhood of r and the numbers q>1 for which is a subshift or a subshift of finite type.     

Studying discrete dynamical systems through differential equations

In this paper we consider dynamical systems generated by a diffeomorphism F defined on U an open subset of Rn, and give conditions over F which imply that their dynamics can be understood by studying the flow of an associated differential equation, , also defined on U. In particular the case where F has n−1 functionally independent first integrals is considered. In this case X is constructed by imposing that it shares with F the same set of first integrals and that the functional equation μ(F(x))=det(DF(x))μ(x), x∈U, has some non-zero solution, μ. Several examples for n=2,3 are presented, most of them coming from several well-known difference equations.     

Grandes valeurs et nombres champions de la fonction arithmétique de Kalmár

The Kalmár function K(n) counts the factorizations n=x₁x₂…xr with xi?2(1?i?r). Its Dirichlet series is where ζ(s) denotes the Riemann ζ function. Let ρ=1.728… be the root greater than 1 of the equation ζ(s)=2. Improving on preceding results of Kalmár, Hille, Erd?s, Evans, and Klazar and Luca, we show that there exist two constants C₅ and C₆ such that, for all n, holds, while, for infinitely many n's, .An integer N is called a K-champion number if M<N⇒K(M)<K(N). Several properties of K-champion numbers are given, mainly about the size of the exponents and the number of prime factors in the standard factorization into primes of a large enough K-champion number.The proof of these results is based on the asymptotic formula of K(n) given by Evans, and on the solution of a problem of optimization.     

Homeomorphisms of unimodal inverse limit spaces with a non-recurrent critical point

Let T be a tent map with the slope strictly between and 2. Suppose that the critical point of T is not recurrent. Let K denote the inverse limit space obtained by using T repeatedly as the bonding map. We prove that every homeomorphism of K to itself is isotopic to some power of the natural shift homeomorphism.     

The subconstituent algebra of a bipartite distance-regular graph; thin modules with endpoint two

We consider a bipartite distance-regular graph Γ with diameter D?4, valency k?3, intersection numbers b_i,c_i, distance matrices A_i, and eigenvalues θ₀>θ₁>?>θ_D. Let X denote the vertex set of Γ and fix x∈X. Let T=T(x) denote the subalgebra of Mat_X(C) generated by , where A=A₁ and denotes the projection onto the ith subconstituent of Γ with respect to x. T is called the subconstituent algebra (or Terwilliger algebra) of Γ with respect to x. An irreducible T-module W is said to be thin whenever for 0?i?D. By the endpoint of W we mean . Assume W is thin with endpoint 2. Observe is a one-dimensional eigenspace for ; let η denote the corresponding eigenvalue. It is known where , and d=⌊D/2⌋. To describe the structure of W we distinguish four cases: (i) ; (ii) D is odd and ; (iii) D is even and ; (iv) . We investigated cases (i), (ii) in MacLean and Terwilliger [Taut distance-regular graphs and the subconstituent algebra, Discrete Math. 306 (2006) 1694-1721]. Here we investigate cases (iii), (iv) and obtain the following results. We show the dimension of W is D-1-e where e=1 in case (iii) and e=0 in case (iv). Let v denote a nonzero vector in . We show W has a basis , where E_i denotes the primitive idempotent of A associated with θ_i and where the set S is {1,2,…,d-1}∪{d+1,d+2,…,D-1} in case (iii) and {1,2,…,D-1} in case (iv). We show this basis is orthogonal (with respect to the Hermitian dot product) and we compute the square-norm of each basis vector. We show W has a basis , and we find the matrix representing A with respect to this basis. We show this basis is orthogonal and we compute the square-norm of each basis vector. We find the transition matrix relating our two bases for W.     

Exponential stability of nonautonomous linear differential equations with linear perturbations by Liao methods

In this paper, the author considers, by Liao methods, the stability of Lyapunov exponents of a nonautonomous linear differential equations: with linear small perturbations. It is proved that, if A(t) is a upper-triangular real n by n matrix-valued function on R₊, continuous and uniformly bounded, and if there is a relatively dense sequence in R₊, say 0=T₀<T₁<?<Ti<?, such that

     

4-regular claw-free IM-extendable graphs

A graph G is induced matching extendable (shortly, IM-extendable), if every induced matching of G is included in a perfect matching of G. A graph G is claw-free, if G does not contain any induced subgraph isomorphic to K_1,3. The kth power of a graph G, denoted by G^k, is the graph with vertex set V(G) in which two vertices are adjacent if and only if the distance between them in G is at most k. In this paper, the 4-regular claw-free IM-extendable graphs are characterized. It is shown that the only 4-regular claw-free connected IM-extendable graphs are , and T_r, r?2, where T_r is the graph with 4r vertices u_i,v_i,x_i,y_i, 1?i?r, such that for each i with 1?i?r, {u_i,v_i,x_i,y_i} is a clique of T_r and . We also show that a 4-regular strongly IM-extendable graph must be claw-free. As a consequence, the only 4-regular strongly IM-extendable graphs are K₄×K₂, and .     

Confidence intervals for marginal parameters under fractional linear regression imputation for missing data

Item nonresponse occurs frequently in sample surveys and other applications. Imputation is commonly used to fill in the missing item values in a random sample {Y_i;i=1,…,n}. Fractional linear regression imputation, based on the model with independent zero mean errors ?_i, is used to create one or more imputed values in the data file for each missing item Y_i, where {X_i,i=1,…,n}, is observed completely. Asymptotic normality of the imputed estimators of the mean μ=E(Y), distribution function θ=F(y) for a given y, and qth quantile θ_q=F^-1(q),0<q<1 is established, assuming that Y is missing at random (MAR) given X. This result is used to obtain normal approximation (NA)-based confidence intervals on μ,θ and θ_q. In the case of θ_q, a Bahadur-type representation and Woodruff-type confidence intervals are also obtained. Empirical likelihood (EL) ratios are also obtained and shown to be asymptotically scaled variables. This result is used to obtain asymptotically correct EL-based confidence intervals on μ,θ and θ_q. Results of a simulation study on the finite sample performance of NA-based and EL-based confidence intervals are reported.     

Convergence of the iterated Aluthge transform sequence for diagonalizable matrices

Given an r×r complex matrix T, if T=U|T| is the polar decomposition of T, then, the Aluthge transform is defined by

Δ(T)=|T|^1/2U|T|^1/2.     

Existence and stability of solutions with periodically moving weak internal layers

We consider the periodic parabolic differential equation under the assumption that ε is a small positive parameter and that the degenerate equation f(u,x,t,0)=0 has two intersecting solutions. We derive conditions such that there exists an asymptotically stable solution up(x,t,ε) which is T-periodic in t, satisfies no-flux boundary conditions and tends to the stable composed root of the degenerate equation as ε→0.     

Note on separate continuity and the Namioka property

A pair 〈B,K〉 is a Namioka pair if K is compact and for any separately continuous , there is a dense A⊆B such that f is ( jointly) continuous on A×K. We give an example of a Choquet space B and separately continuous such that the restriction fΔ_| to the diagonal does not have a dense set of continuity points. However, for K a compact fragmentable space we have: For any separately continuous and for any Baire subspace F of T×K, the set of points of continuity of is dense in F. We say that 〈B,K〉 is a weak-Namioka pair if K is compact and for any separately continuous and a closed subset F projecting irreducibly onto B, the set of points of continuity of fF_| is dense in F. We show that T is a Baire space if the pair 〈T,K〉 is a weak-Namioka pair for every compact K. Under (CH) there is an example of a space B such that 〈B,K〉 is a Namioka pair for every compact K but there is a countably compact C and a separately continuous which has no dense set of continuity points; in fact, f does not even have the Baire property.     

Coding and tiling of Julia sets for subhyperbolic rational maps

Let be a subhyperbolic rational map of degree d. We construct a set of “proper” coding maps Cod^°(f)={π_r:Σ→J}_r of the Julia set J by geometric coding trees, where the parameter r ranges over mappings from a certain tree to the Riemann sphere. Using the universal covering space for the corresponding orbifold, we lift the inverse of f to an iterated function system I=(g_i)_i=1,2,…,d. For the purpose of studying the structure of Cod^°(f), we generalize Kenyon and Lagarias-Wang's results : If the attractor K of I has positive measure, then K tiles φ^-1(J), and the multiplicity of π_r is well-defined. Moreover, we see that the equivalence relation induced by π_r is described by a finite directed graph, and give a necessary and sufficient condition for two coding maps π_r and π_r^′ to be equal.     

Strong convergence theorems for fixed points of asymptotically pseudocontractive semi-groups

Let K be a nonempty closed convex and bounded subset of a real Banach space E. Let be a strongly continuous uniformly asymptotically regular and uniformly L-Lipschitzian semi-group of asymptotically pseudocontractive mappings from K into K. Then for a given u∈K there exists a sequence {y_n}∈K satisfying the equation y_n=(1−α_n)(T(t_n))ⁿy_n+α_nu for each , where α_n∈(0,1) and t_n>0 satisfy appropriate conditions. Suppose further that E is uniformly convex and has uniformly Gâteaux differentiable norm, under suitable conditions on the mappings T, the sequence {y_n} converges strongly to a fixed point of . Furthermore, an explicit sequence {x_n} generated from x₁∈K by x_n+1:=(1−λ_n)x_n+λ_n(T(t_n))ⁿx_n−λ_nθ_n(x_n−x₁) for all integers n?1, where {λ_n}, {θ_n} are positive real sequences satisfying appropriate conditions, converges strongly to a fixed point of .     

Bifurcation of critical periods from the rigid quadratic isochronous vector field

This paper is concerned with the study of the number of critical periods of perturbed isochronous centers. More concretely, if X₀ is a vector field having an isochronous center of period T₀ at the point p and X? is an analytic perturbation of X₀ such that the point p is a center for X? then, for a suitable parameterization ξ of the periodic orbits surrounding p, their periods can be written as T(ξ,?)=T₀+T₁(ξ)?+T₂(ξ)?²+?. Firstly we give formulas for the first functions Tl(ξ) that can be used for quite general vector fields. Afterwards we apply them to study how many critical periods appear when we perturb the rigid quadratic isochronous center , inside the class of centers of the quadratic systems or of polynomial vector fields of a fixed degree.     

Approximation methods for common fixed points for a countable family of nonexpansive mappings

Let E=L_p or l_p space, 1<p<∞. Let K be a closed, convex and nonempty subset of E. Let be a family of nonexpansive self-mappings of K. For arbitrary fixed δ∈(0,1), define a family of nonexpansive maps by S_i?(1−δ)I+δT_i where I is the identity map of K. Let . It is proved that the iterative sequence {x_n} defined by: x₀∈K,x_n+1=α_nu+∑_i≥1σ_i,tnS_ix_n,n≥0 converges strongly to a common fixed point of the family where {α_n} and {σ_i,tn} are sequences in (0,1) satisfying appropriate conditions, in each of the following cases: (a) E=l_p,1<p<∞, and (b) E=L_p,1<p<∞ and at least one of the maps T_i’s is demicompact. Our theorems extend the results of [P. Maingé, Approximation methods for common fixed points of nonexpansive mappings in Hilbert space, J. Math. Anal. Appl. 325 (2007) 469-479] from Hilbert spaces to l_p spaces, 1<p<∞.     

Topological classification of affine operators on unitary and Euclidean spaces

We study affine operators on a unitary or Euclidean space U up to topological conjugacy. An affine operator is a map f:U→U of the form f(x)=Ax+b, in which A:U→U is a linear operator and b∈U. Two affine operators f and g are said to be topologically conjugate if g=h^-1fh for some homeomorphism h:U→U.If an affine operator f(x)=Ax+b has a fixed point, then f is topologically conjugate to its linear part A. The problem of classifying linear operators up to topological conjugacy was studied by Kuiper and Robbin [Topological classification of linear endomorphisms, Invent. Math. 19 (2) (1973) 83-106] and other authors.Let f:U→U be an affine operator without fixed point. We prove that f is topologically conjugate to an affine operator g:U→U such that U is an orthogonal direct sum of g-invariant subspaces V and W,

•

the restriction g∣V of g to V is an affine operator that in some orthonormal basis of V has the form

(x₁,x₂,…,x_n)?(x₁+1,x₂,…,x_n-1,εx_n)