By constructing an infinite graph-directed iterated iterated function system associated with a finite iterated function system, we develop a new approach for proving the differentiability of the $L^q$-spectrum and establishing the multifractal formalism of certain self-similar measures with overlaps, especially those defined by similitudes with different contraction ratios. We apply our technique to a well-known class of self-similar measures of generalized finite type.

No abstract uploaded!

The commonly used spatial entropy hr(U) of the multi-dimensional shift space U is the limit of growth rate of admissible local patterns on finite rectangular sublattices which expands to whole space Zd, d ≥ 2. This work studies spatial entropy hΩ(U) of shift space U on general expanding system Ω = {Ω(n)}∞ n=1 where Ω(n) is increasing finite sublattices and expands to Zd. Ω is called genuinely d-dimensional if Ω(n) contains no lower-dimensional part whose size is comparable to that of its d-dimensional part. We show that hr(U) is the supremum of hΩ(U) for all genuinely two-dimensional Ω. Furthermore, when Ω is genuinely d-dimensional and satisfies certain conditions, then hΩ(U) = hr(U). On the contrary, when Ω(n) contains a lower-dimensional part, then hr(U) < hΩ(U) for some U. Therefore, hr(U) is appropriate to be the d-dimensional spatial entropy.

This investigation completely classifies the spatial chaos problem in plane edge coloring (Wang tiles) with two symbols. For a set of Wang tiles B, spatial chaos occurs when the spatial entropy h(B) is positive. B is called a minimal cycle generator if P(B) 6= ∅ and P(B′) = ∅ whenever B′ $ B, where P(B) is the set of all periodic patterns on Z2 generated by B. Given a set of Wang tiles B, write B = C1 ∪ C2 ∪ · · · ∪ Ck ∪ N, where Cj, 1 ≤ j ≤ k, are minimal cycle generators and B contains no minimal cycle generator except those contained in C1 ∪ C2 ∪ · · · ∪ Ck. Then, the positivity of spatial entropy h(B) is completely determined by C1 ∪ C2 ∪ · · · ∪ Ck. Furthermore, there are 39 equivalent classes of marginal positive-entropy (MPE) sets of Wang tiles and 18 equivalent classes of saturated zero-entropy (SZE) sets of Wang tiles. For a set of Wang tiles B, h(B) is positive if and only if B contains an MPE set, and h(B) is zero if and only if B is a subset of an SZE set.

This investigation studies nonemptiness problems of plane edge coloring with three colors. In the edge coloring (or Wang tiles) of a plane, unit squares with colored edges that have one of p colors are arranged side by side such that the touching edges of the adjacent tiles have the same colors. Given a basic set B of Wang tiles, the nonemptiness problem is to determine whether or not Σ(B) 6= ∅, where Σ(B) is the set of all global patterns on Z2 that can be constructed from the Wang tiles in B. Wang’s conjecture is that for any B of Wang tiles, Σ(B) 6= ∅ if and only if P(B) 6= ∅, where P(B) is the set of all periodic patterns on Z2 that can be generated by the tiles in B. When p ≥ 5, Wang’s conjecture is known to be wrong. When p = 2, theconjecture is true. This study proves that when p = 3, the conjecture is also true. If P(B) 6= ∅, then B has a subset B′ of minimal cycle generators such that P(B′) 6= ∅ and P(B′′) = ∅ for B′′ $ B′. This study demonstrates that the set C(3) of all minimal cycle generators contains 787, 605 members that can be classified into 2, 906 equivalence classes. N(3) is the set of all maximal non-cycle generators : if B ∈ N(3), then P(B) = ∅ and P(B ˜) 6= ∅ for B ˜ % B. Wang’s conjecture is shown to be true by proving that B ∈ N(3) implies Σ(B) = ∅.

This work is concerned with zeta functions of two-dimensional shifts of finite type. A two-dimensional zeta function ζ0(s) which generalizes the Artin-Mazur zeta function was given by Lind for Z2-action φ. The n-th order zeta function ζn of φ on Zn×∞, n ≥ 1, is studied first. The trace operator Tn which is the transition matrix for x-periodic patterns of period n with height 2 is rotationally symmetric. The rotational symmetry of Tn induces the reduced trace operator τn and ζn = (det (I − snτn))−1. The zeta function ζ =∞ Qn=1 (det (I − snτn))−1 in the x-direction is now a reciprocal of an infinite product of polynomials. The zeta function can be presented in the y-direction and in the coordinates of any unimodular transformation in GL2(Z). Therefore, there exists a family of zeta functions that are meromorphic extensions of the same analytic function ζ0(s). The Taylor series at the origin for these zeta functions are equal with integer coefficients, yielding a family of identities which are of interest in number theory. The method applies to thermodynamic zeta functions for the Ising model with finite range interactions.

We study the two main types of trajectories of the ABC ow in the near-integrable regime: spiral orbits and edge orbits. The former are helical orbits which are perturbations of similar orbits that exist in the integrable regime, while the latter exist only in the non-integrable regime. We prove existence of ballistic (i.e., linearly growing) spiral orbits by using the contraction mapping principle in the Hamiltonian formulation, and we also nd and analyze ballistic edge orbits. We discuss the relationship of existence of these orbits with questions concerning front propagation in the presence of ows, in particular, the question of linear (i.e., maximal possible) front speed enhancement rate for ABC ows.

In this paper, we prove that the ODE system, $ \dot{x}=sinz+cosy$ $ \dot{y}=sinx+cosz$ $ \dot{z}=siny+cosx$ whose right-hand side is the Arnold-Beltrami-Childress (ABC) flow with parameters A = B = C = 1, has periodic orbits on $(2 \pi T)^3$ with rotation vectors parallel to (1, 0, 0), (0, 1, 0), and (0, 0, 1). An application of this result is that the well-known G-equation model for turbulent combustion with this ABC flow on $R^3$ has a linear (i.e., maximal possible) flame speed enhancement rate as the amplitude of the flow grows.