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 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) = ∅.

We study the effective fronts of first order front propagations in two dimensions (n=2) in the periodic setting. Using PDE-based approaches, we show that for every α∈(0,1), the class of centrally symmetric polygons with rational vertices and nonempty interior is admissible as effective fronts for given front speeds in C^{1,α}(T^2,(0,∞)). This result can also be formulated in the language of stable norms corresponding to periodic metrics in T^2. Similar results were known long time ago when n≥3 for front speeds in C^∞(T^n,(0,∞)). Due to topological restrictions, the two dimensional case is much more subtle. In fact, the effective front is C^1, which cannot be a polygon, for given C^{1,1}(T^2,(0,∞)) front speeds. Our regularity requirements on front speeds are hence optimal. To the best of our knowledge, this is the first time that polygonal effective fronts have been constructed in two dimensions.

We develop a generic game platform that can be used to model various real-world systems with multiple intelligent cloud-computing pools and parallel-queues for resources-competing users. Inside the platform, the software structure is modelled as Blockchain. All the users are associated with Big Data arrival streams whose random dynamics is modelled by triply stochastic renewal reward processes (TSRRPs). Each user may be served simultaneously by multiple pools while each pool with parallel- servers may also serve multi-users at the same time via smart policies in the Blockchain, e.g. a Nash equilibrium point myopically at each fixed time to a game-theoretic scheduling problem. To illustrate the effectiveness of our game platform, we model the performance measures of its internal data flow dynamics (queue length and workload processes) as reflecting diffusion with regime-switchings (RDRSs) under our scheduling policies. By RDRS models, we can prove our myopic game-theoretic policy to be an asymptotic Pareto minimal-dual-cost Nash equilibrium one globally over the whole time horizon to a randomly evolving dynamic game problem. Iterative schemes for simulating our multi-dimensional RDRS models are also developed with the support of numerical comparisons.

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.