If T:C(H,X)-->Y is a bounded linear operator then there exists a unique weakly regular finitely additive set function m:-->L(X,Y**) so that T(f) = ∫Hfdm. In this paper, bounded linear operators on C(H,X) are studied in terms the measure given by this representation theorem. The first chapter provides a brief history of representation theorems of these classes of operators. In the second chapter the represenation theorem used in the remainder of the paper is presented. If T is a weakly compact operator on C(H,X) with representing measure m, then m(A) is a weakly compact operator for every Borel set A. Furthermore, m is strongly bounded. Analogous statements may be made for many interesting classes of operators. In chapter III, two classes of operators, weakly precompact and QSP, are studied. Examples are provided to show that if T is weakly precompact (QSP) then m(A) need not be weakly precompact (QSP), for every Borel set A. In addition, it will be shown that weakly precompact and GSP operators need not have strongly bounded representing measures. Sufficient conditions are provided which guarantee that a weakly precompact (QSP) operator has weakly precompact (QSP) values. A sufficient condition for a weakly precomact operator to be strongly …

Consider a family of cubic parabolic polynomials given by for non-zero complex parameters such that for each the polynomial is a parabolic polynomial, that is, the polynomial has a parabolic fixed point and the Julia set of , denoted by , does not contain any critical points of . We also assumed that for each , one finite critical point of the polynomial escapes to the super-attracting fixed point infinity. So, the Julia sets are disconnected. The concern about the family is that the members of this family are generally not even bi-Lipschitz conjugate on their Julia sets. We have proved that the parameter set is open and contains a deleted neighborhood of the origin 0. Our main result is that the Hausdorff dimension function defined by is real analytic. To prove this we have constructed a holomorphic family of holomorphic parabolic graph directed Markov systems whose limit sets coincide with the Julia sets of polynomials up to a countable set, and hence have the same Hausdorff dimension. Then we associate to this holomorphic family of holomorphic parabolic graph directed Markov systems an analytic family, call it , of conformal graph directed Markov systems with infinite number of edges in …

Spaces such as the closed interval [0, 1] do not have the property of being homogeneous, strongly locally homogeneous (SLH) or countable dense homogeneous (CDH), but the Hilbert cube has all three properties. We investigate subsets X of real numbers to determine when their countable product is homogeneous, SLH, or CDH. We give necessary and sufficient conditions for the product to be homogeneous. We also prove that the product is SLH if and only if X is zero-dimensional or an interval. And finally we show that for a Borel subset X of real numbers the product is CDH iff X is a G-delta zero-dimensional set or an interval.

In this dissertation we study closure properties of pointclasses, scales on sets of reals and the models L[T2n], which are very natural canonical inner models of ZFC. We first characterize projective-like hierarchies by their associated ordinals. This solves a conjecture of Steel and a conjecture of Kechris, Solovay, and Steel. The solution to the first conjecture allows us in particular to reprove a strong partition property result on the ordinal of a Steel pointclass and derive a new boundedness principle which could be useful in the study of the cardinal structure of L(R). We then develop new methods which produce lightface scales on certain sets of reals. The methods are inspired by Jackson’s proof of the Kechris-Martin theorem. We then generalize the Kechris-Martin Theorem to all the Π12n+1 pointclasses using Jackson’s theory of descriptions. This in turns allows us to characterize the sets of reals of a certain initial segment of the models L[T2n]. We then use this characterization and the generalization of Kechris-Martin theorem to show that the L[T2n] are unique. This generalizes previous work of Hjorth. We then characterize the L[T2n] in term of inner models theory, showing that they actually are constructible models over direct limit of …

In this dissertation we focus on the application of thermodynamic formalism to non-autonomous and random dynamical systems. Specifically we use the thermodynamic formalism to investigate the dimension of various fractal constructions via the, now standard, technique of Bowen which he developed in his 1979 paper on quasi-Fuchsian groups. Bowen showed, roughly speaking, that the dimension of a fractal is equal to the zero of the relevant topological pressure function. We generalize the results of Rempe-Gillen and Urbanski on non-autonomous iterated function systems to the setting of non-autonomous graph directed Markov systems and then show that the Hausdorff dimension of the fractal limit set is equal to the zero of the associated pressure function provided the size of the alphabets at each time step do not grow too quickly. In trying to remove these growth restrictions, we present several other systems for which Bowen's formula holds, most notably ascending systems. We then use these various constructions to investigate the Hausdorff dimension of various subsets of the Julia set for different large classes of transcendental meromorphic functions of finite order which have been perturbed non-autonomously. In particular we find lower and upper bounds for the dimension of the subset of the Julia …

A disintegration of measure is a common tool used in ergodic theory, probability, and descriptive set theory. The primary interest in this paper is in disintegrating σ-finite measures on standard Borel spaces into families of σ-finite measures. In 1984, Dorothy Maharam asked whether every such disintegration is uniformly σ-finite meaning that there exists a countable collection of Borel sets which simultaneously witnesses that every measure in the disintegration is σ-finite. Assuming Gödel’s axiom of constructability I provide answer Maharam's question by constructing a specific disintegration which is not uniformly σ-finite.

For many years mathematicians have been interested in the problem of whether an operator ideal is complemented in the space of all bounded linear operators. In this dissertation the complementation of various classes of operators in the space of all bounded linear operators is considered. This paper begins with a preliminary discussion of linear bounded operators as well as operator ideals. Let L(X, Y ) be a Banach space of all bounded linear operator between Banach spaces X and Y , K(X, Y ) be the space of all compact operators, and W(X, Y ) be the space of all weakly compact operators. We denote space all operator ideals by O.

Let μ be a Radon probability measure on M, the d-dimensional Real Euclidean space (where d is a positive integer), and f a measurable function. Let P be the space of sequences whose coordinates are elements in M. Then, for any point x in M, define a function ƒn on M and P that looks at the first n terms of an element of P and evaluates f at the first of those n terms that minimizes the distance to x in M. The measures for which such sequences converge in measure to f for almost every sequence are called Mycielski-regular. We show that the self-similar measure generated by a finite family of contracting similitudes and which up to a constant is the Hausdorff measure in its dimension on an invariant set C is Mycielski-regular.

This paper develops a numerical algorithm that produces finite element solutions for a broad class of partial differential equations. The method is based on steepest descent methods in the Sobolev space H¹(Ω). Although the method may be applied in more general settings, we consider only differential equations that may be written as a first order quasi-linear system. The method is developed in a Hilbert space setting where strong convergence is established for part of the iteration. We also prove convergence for an inner iteration in the finite element setting. The method is demonstrated on Burger's equation and the Navier-Stokes equations as applied to the square cavity flow problem. Numerical evidence suggests that the accuracy of the method is second order,. A documented listing of the FORTRAN code for the Navier-Stokes equations is included.

Suppose that G is a finite, unitary reflection group acting on a complex vector space V and X is a subspace of V. Define N to be the setwise stabilizer of X in G, Z to be the pointwise stabilizer, and C=N/Z. Then restriction defines a homomorphism from the algebra of G-invariant polynomial functions on V to the algebra of C-invariant functions on X. In my thesis, I extend earlier work by Douglass and Röhrle for Coxeter groups to the case where G is a complex reflection group of type G(r,p,n) in the notation of Shephard and Todd and X is in the lattice of the reflection arrangement of G. The main result characterizes when the restriction mapping is surjective in terms of the exponents of G and C and their reflection arrangements.

This paper is a contribution to the study of countable Borel equivalence relations on standard Borel spaces. We concentrate here on the study of the nature of translation equivalence. We study these known hyperfinite spaces in order to gain insight into the approach necessary to classify certain variables as either being hyperfinite or not. In Chapter 1, we will give the basic definitions and examples of spaces used in this work. The general construction of marker sets is developed in this work. These marker sets are used to develop several invariant tilings of the equivalence classes of specific variables . Some properties that are equivalent to hyperfiniteness in the certain space are also developed. Lastly, we will give the new result that there is a continuous injective embedding from certain defined variables.

The primary result from this dissertation is following inequality: d(B) ≤ min(2^< wd(B),sup{λ^c(B): λ < wd(B)}) in ZFC, where B is a homogeneous complete Boolean algebra, d(B) is the density, wd(B) is the weak density, and c(B) is the cellularity of B. Chapter II of this dissertation is a general overview of homogeneous complete Boolean algebras. Assuming the existence of a weakly inaccessible cardinal, we give an example of a homogeneous complete Boolean algebra which does not attain its cellularity. In chapter III, we prove that for any integer n > 1, wd_2(B) = wd_n(B). Also in this chapter, we show that if X⊂B is κ—weakly dense for 1 < κ < sat(B), then sup{wd_κ(B):κ < sat(B)} = d(B). In chapter IV, we address the following question: If X is weakly dense in a homogeneous complete Boolean algebra B, does there necessarily exist b € B\{0} such that {x∗b: x ∈ X} is dense in B|b = {c € B: c ≤ b}? We show that the answer is no for collapsing algebras. In chapter V, we give new proofs to some well known results concerning supporting antichains. A direct consequence of these results is the relation c(B) < wd(B), …

In prophet problems, two players with different levels of information make decisions to optimize their return from an underlying optimal stopping problem. The player with more information is called the "prophet" while the player with less information is known as the "gambler." In this thesis, as in the majority of the literature on such problems, we assume that the prophet is omniscient, and the gambler does not know future outcomes when making his decisions. Certainly, the prophet will get a better return than the gambler. But how much better? The goal of a prophet problem is to find the least upper bound on the difference (or ratio) between the prophet's return, M, and the gambler's return, V. In this thesis, we present new prophet problems where we seek the least upper bound on M-V when there is a fixed cost per observations. Most prophet problems in the literature compare M and V when prophet and gambler buy (or sell) one asset. The new prophet problems presented in Chapters 3 and 4 treat a scenario where prophet and gambler optimize their return from selling two assets, when there is a fixed cost per observation. Sharp bounds for the problems on small …

We compute the partial isomorphism rank, in the sense Scott and Karp, of a pair of ordinal structures using an Ehrenfeucht-Fraisse game. A complete formula is proven by induction given any two arbitrary ordinals written in Cantor normal form.

The investigation of the multifractal spectrum of the equilibrium measure for a parabolic rational map with a Lipschitz continuous potential, φ, which satisfies sup φ < P(φ) x∈J(T) is conducted. More specifically, the multifractal spectrum or spectrum of singularities, f(α) is studied.

In this dissertation we prove some results about the existence of families of Aronszajn trees on successors of regular cardinals which are pairwise not club isomorphic. The history of this topic begins with a theorem of Gaifman and Specker in the 1960s which asserts the existence from ZFC of many pairwise not isomorphic Aronszajn trees. Since that result was proven, the focus has turned to comparing Aronszajn trees with respect to isomorphisms on a club of levels, instead of on the entire tree. In the 1980s Abraham and Shelah proved that the Proper Forcing Axiom implies that any two Aronszajn trees on the first uncountable cardinal are club isomorphic. This theorem was generalized to higher cardinals in recent work of Krueger. Abraham and Shelah also proved that the opposite holds under diamond principles. In this dissertation we address the existence of pairwise not club isomorphic Aronszajn trees on higher cardinals from a variety of cardinal arithmetic and diamond principle assumptions. For example, on the successor of a regular cardinal, assuming GCH and the diamond principle on the critical cofinality, there exists a large collection of special Aronszajn trees such that any two of them do not contain club isomorphic subtrees.

The study of Borel equivalence relations on Polish spaces has become a major area of focus within descriptive set theory. Primarily, work in this area has been carried out using the standard methods of descriptive set theory. In this work, however, we develop a model-theoretic framework suitable for the study of Borel equivalence relations, introducing a class of objects we call Borel structurings. We then use these structurings to examine conditions under which marker sets for Borel equivalence relations can be concluded to exist or not exist, as well as investigating to what extent the Compactness Theorem from first-order logic continues to hold for Borel structurings.

As soon as Bennett and Gill first demonstrated that, relative to a randomly chosen oracle, P is not equal to NP with probability 1, the random oracle hypothesis began piquing the interest of mathematicians and computer scientists. This was quickly disproven in several ways, most famously in 1992 with the result that IP equals PSPACE, in spite of the classes being shown unequal with probability 1. Here, we propose what could be considered strengthening of the random oracle hypothesis, using a stricter notion of what it means for a set to be 'large'. In particular, we suggest using largeness with respect to the Ramsey forcing notion. In this new context, we demonstrate that the set of oracles separating NP and coNP is 'not small', and obtain similar results for the separation of PSPACE from PH along with the separation of NP from BQP. In a related set of results, we demonstrate that these classes are all of the same descriptive complexity. Finally we demonstrate that this strengthening of the hypothesis turns it into a sufficient condition for unrelativized relationships, at least in the three cases considered here.

In the dissertation we study the C(K) spaces focusing on the case when K is countable compact and more specifically, the structure of C() spaces for < ω1 via special type of trees that they contain. The dissertation is composed of three major sections. In the first section we give a detailed proof of the theorem of Bessaga and Pelczynski on the isomorphic classification of C() spaces. In due time, we describe the standard bases for C(ω) and prove that the bases are monotone. In the second section we consider the lattice-trees introduced by Bourgain, Rosenthal and Schechtman in C() spaces, and define rerooting and restriction of trees. The last section is devoted to the main results. We give some lower estimates of the ordinal-indices in C(ω). We prove that if the tree in C(ω) has large order with small constant then each function in the root must have infinitely many big coordinates. Along the way we deduce some upper estimates for c0 and C(ω), and give a simple proof of Cambern's result that the Banach-Mazur distance between c0 and c = C(ω) is equal to 3.

Let G be a Lie group acting on a homogeneous space G/K. The center of the universal enveloping algebra of the Lie algebra of G maps homomorphically into the center of the algebra of differential operators on G/K invariant under the action of G. In the case that G is a Jacobi Lie group of rank 2, we prove that this homomorphism is surjective and hence that the center of the invariant differential operator algebra is the image of the center of the universal enveloping algebra. This is an extension of work of Bringmann, Conley, and Richter in the rank 1case.

The theory of discrete groups acting on finite dimensional Euclidean open balls by hyperbolic isometries was borne around the end of 19th century within the works of Fuchs, Klein and Poincaré. We develop the theory of discrete groups acting by hyperbolic isometries on the open unit ball of an infinite dimensional separable Hilbert space. We present our investigations on the geometry of limit sets at the sphere at infinity with an attempt to highlight the differences between the finite and infinite dimensional theories. We discuss the existence of fixed points of isometries and the classification of isometries. Various notions of discreteness that were equivalent in finite dimensions, no longer turn out to be in our setting. In this regard, the robust notion of strong discreteness is introduced and we study limit sets for properly discontinuous actions. We go on to prove a generalization of the Bishop-Jones formula for strongly discrete groups, equating the Hausdorff dimension of the radial limit set with the Poincaré exponent of the group. We end with a short discussion on conformal measures and their relation with Hausdorff and packing measures on the limit set.

Yokonuma-type Hecke algebras are a class of Hecke algebras built from a Type A construction. In this thesis, I construct the irreducible representations for a class of generic Yokonuma-type Hecke algebras which specialize to group algebras of the complex reflection groups and to endomorphism rings of certain permutation characters of finite general linear groups.

The interplay between generalizations of Riezs' famous representation theorem and Radon-Nikodým type theorems has a long history. This paper will explore certain aspects of the theory of bounded linear operators on continuous function spaces, Radon-Nikodým type properties, and their connections.

The purpose of this paper is to generalize a theorem that characterizes absolute continuity of bounded finitely additive set functions in the form of an integral approximation. We show that his integral exists if the condition of absolute continuity is removed.