This dissertation deals with three topics in descriptive set theory. First, the order topology is a natural topology on ordinals. In Chapter 2, a complete classification of order topologies on ordinals up to Borel isomorphism is given, answering a question of Benedikt Löwe. Second, a map between separable metrizable spaces X and Y preserves complete metrizability if Y is completely metrizable whenever X is; the map is resolvable if the image of every open (closed) set in X is resolvable in Y. In Chapter 3, it is proven that resolvable maps preserve complete metrizability, generalizing results of Sierpiński, Vainštein, and Ostrovsky. Third, an equivalence relation on a Polish space has the Laczkovich-Komjáth property if the following holds: for every sequence of analytic sets such that the limit superior along any infinite set of indices meets uncountably many equivalence classes, there is an infinite subsequence such that the intersection of these sets contains a perfect set of pairwise inequivalent elements. In Chapter 4, it is shown that every coanalytic equivalence relation has the Laczkovich-Komjáth property, extending a theorem of Balcerzak and Głąb.

Let R be any of the following rings: the smooth functions on R^2n with the Poisson bracket, the Hamiltonian vector fields on a symplectic manifold, the Lie algebra of smooth complex vector fields on C, or a variety of rings of functions (real or complex valued) over 2nd countable spaces. Then if H is any other Polish ring and φ:H →R is an algebraic isomorphism, then it is also a topological isomorphism (i.e. a homeomorphism). Moreover, many such isomorphisms between function rings induce a homeomorphism of the underlying spaces. It is also shown that there is no topology in which the ring of real analytic functions on R is a Polish ring.

Let G be a Polish group. We say that G is an algebraically determined Polish group if given any Polish group L and any algebraic isomorphism from L to G, then the algebraic isomorphism is a topological isomorphism. We will prove a general theorem that gives useful sufficient conditions for a semidirect product of two Polish groups to be algebraically determined. This will smooth the way for the proofs for some special groups. For example, let H be a separable Hilbert space and let G be a subset of the unitary group U(H) acting transitively on the unit sphere. Assume that -I in G and G is a Polish topological group in some topology such that H x G to H, (x,U) to U(x) is continuous, then H x G is a Polish topological group. Hence H x G is an algebraically determined Polish group. In addition, we apply the above the above result on the unitary group U(A) of a separable irreducible C*-algebra A with identity acting transitively on the unit sphere in a separable Hilbert space H and proved that the natural semidirect product H x U(A) is an algebraically determined Polish group. A similar theorem is true …

Consider a multidimensional shift space with a countably infinite alphabet, which serves in mathematical physics as a classical lattice gas or lattice spin system. A new definition of a Gibbs measure is introduced for suitable real-valued functions of the configuration space, which play the physical role of specific internal energy. The variational principle is proved for a large class of functions, and then a more restrictive modulus of continuity condition is provided that guarantees a function's Gibbs measures to be a nonempty, weakly compact, convex set of measures that coincides with the set of measures obeying a form of the DLR equations (which has been adapted so as to be stated entirely in terms of specific internal energy instead of the Hamiltonians for an interaction potential). The variational equilibrium measures for a such a function are then characterized as the shift invariant Gibbs measures of finite entropy, and a condition is provided to determine if a function's Gibbs measures have infinite entropy or not. Moreover the spatially averaged limiting Gibbs measures, i.e. constructive equilibria, are shown to exist and their weakly closed convex hull is shown to coincide with the set of true variational equilibrium measures. It follows that the …

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.

In the study of Banach spaces, the development of some key properties require studying topologies on the collection of closed convex subsets of the space. The subcollection of closed linear subspaces is studied under the relative slice topology, as well as a class of topologies similar thereto. It is shown that the collection of closed linear subspaces under the slice topology is homeomorphic to the collection of their respective intersections with the closed unit ball, under the natural mapping. It is further shown that this collection under any topology in the aforementioned class of similar topologies is a strong Choquet space. Finally, a collection of category results are developed since strong Choquet spaces are also Baire spaces.

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.

It is a theorem of Denker and Urbański that if T:ℂ→ℂ is a rational map of degree at least two and if ϕ:ℂ→ℝ is Hölder continuous and satisfies the “thermodynamic expanding” condition P(T,ϕ) > sup(ϕ), then there exists exactly one equilibrium state μ for T and ϕ, and furthermore (ℂ,T,μ) is metrically exact. We extend these results to the case of a holomorphic random dynamical system on ℂ, using the concepts of relative pressure and relative entropy of such a system, and the variational principle of Bogenschütz. Specifically, if (T,Ω,P,θ) is a holomorphic random dynamical system on ℂ and ϕ:Ω→ ℋα(ℂ) is a Hölder continuous random potential function satisfying one of several sets of technical but reasonable hypotheses, then there exists a unique equilibrium state of (X,P,ϕ) over (Ω,Ρ,θ).

Certain subquotients of Vec(R)-modules of pseudodifferential operators from one tensor density module to another are categorized, giving necessary and sufficient conditions under which two such subquotients are equivalent as Vec(R)-representations. These subquotients split under the projective subalgebra, a copy of ????2, when the members of their composition series have distinct Casimir eigenvalues. Results were obtained using the explicit description of the action of Vec(R) with respect to this splitting. In the length five case, the equivalence classes of the subquotients are determined by two invariants. In an appropriate coordinate system, the level curves of one of these invariants are a pencil of conics, and those of the other are a pencil of cubics.

A concrete description of Hochschild cohomology is the first step toward exploring associative deformations of algebras. In this dissertation, deformation theory, geometry, combinatorics, invariant theory, representation theory, and homological algebra merge in an investigation of Hochschild cohomology of skew group algebras arising from complex reflection groups. Given a linear action of a finite group on a finite dimensional vector space, the skew group algebra under consideration is the semi-direct product of the group with a polynomial ring on the vector space. Each representation of a group defines a different skew group algebra, which may have its own interesting deformations. In this work, we explicitly describe all graded Hecke algebras arising as deformations of the skew group algebra of any finite group acting by the regular representation. We then focus on rank two exceptional complex reflection groups acting by any irreducible representation. We consider in-depth the reflection representation and a nonfaithful rotation representation. Alongside our study of cohomology for the rotation representation, we develop techniques valid for arbitrary finite groups acting by a representation with a central kernel. Additionally, we consider combinatorial questions about reflection length and codimension orderings on complex reflection groups. We give algorithms using character theory to compute …

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.

In the first chapter, we define Steinhaus set as a set that meets every isometric copy of another set at exactly one point. We show that there is no Steinhaus set for any four-point subset in a plane.In the second chapter, we define the orbit tree of a permutation group of natural numbers, and further introduce compressed orbit trees. We show that any rooted finite tree can be realized as a compressed orbit tree of some permutation group. In the third chapter, we investigate certain classes of closed permutation groups of natural numbers with respect to their universal and surjectively universal groups. We characterize two-sided invariant groups, and prove that there is no universal group for countable groups, nor universal group for two-sided invariant groups in permutation groups of natural numbers.

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 …

Receiver operating characteristic (ROC) analysis is one of the most widely used methods in evaluating the accuracy of a classification method. It is used in many areas of decision making such as radiology, cardiology, machine learning as well as many other areas of medical sciences. The dissertation proposes a novel nonparametric estimation method of the ROC surface for the three-class classification problem via Bernstein polynomials. The proposed ROC surface estimator is shown to be uniformly consistent for estimating the true ROC surface. In addition, it is shown that the map from which the proposed estimator is constructed is Hadamard differentiable. The proposed ROC surface estimator is also demonstrated to lead to the explicit expression for the estimated volume under the ROC surface . Moreover, the exact mean squared error of the volume estimator is derived and some related results for the mean integrated squared error are also obtained. To assess the performance and accuracy of the proposed ROC and volume estimators, Monte-Carlo simulations are conducted. Finally, the method is applied to the analysis of two real data sets.

Semi-supervised learning (SSL) is the most practical approach for classification among machine learning algorithms. It is similar to the humans way of learning and thus has great applications in text/image classification, bioinformatics, artificial intelligence, robotics etc. Labeled data is hard to obtain in real life experiments and may need human experts with experimental equipments to mark the labels, which can be slow and expensive. But unlabeled data is easily available in terms of web pages, data logs, images, audio, video les and DNA/RNA sequences. SSL uses large unlabeled and few labeled data to build better classifying functions which acquires higher accuracy and needs lesser human efforts. Thus it is of great empirical and theoretical interest. We contribute two SSL algorithms (i) adaptive anomaly detection (AAD) (ii) hybrid anomaly detection (HAD), which are self evolving and very efficient to detect anomalies in a large scale and complex data distributions. Our algorithms are capable of modifying an existing classier by both retiring old data and adding new data. This characteristic enables the proposed algorithms to handle massive and streaming datasets where other existing algorithms fail and run out of memory. As an application to semi-supervised anomaly detection and for experimental illustration, we …

In this thesis we study descriptive-set-theoretic and measure-theoretic properties of Polish groups, with a thematic emphasis on the contrast between groups which are locally compact and those which are not. The work is divided into three major sections. In the first, working jointly with Robert Kallman, we resolve a conjecture of Gleason regarding the Polish topologization of abstract groups of homeomorphisms. We show that Gleason's conjecture is false, and its conclusion is only true when the hypotheses are considerably strengthened. Along the way we discover a new automatic continuity result for a class of functions which behave like but are distinct from functions of Baire class 1. In the second section we consider the descriptive complexity of those subsets of the permutation group S? which arise naturally from the classical Levy-Steinitz series rearrangement theorem. We show that for any conditionally convergent series of vectors in Euclidean space, the sets of permutations which make the series diverge, and diverge properly, are ?03-complete. In the last section we study the phenomenon of Haar null sets a la Christensen, and the closely related notion of openly Haar null sets. We identify and correct a minor error in the proof of Mycielski that a …

Laczkovich proved from ZF that, given a countable sequence of Borel sets on a perfect Polish space, if the limit superior along every subsequence was uncountable, then there was a particular subsequence whose intersection actually contained a perfect subset. Komjath later expanded the result to hold for analytic sets. In this paper, by adding AD and sometimes V=L(R) to our assumptions, we will extend the result further. This generalization will include the increasing of the length of the sequence to certain uncountable regular cardinals as well as removing any descriptive requirements on the sets.

This dissertation presents results about computations of Graev metrics on free groups and characterizes isometry groups of countable noncompact Heine-Borel Polish ultrametric spaces. In Chapter 2, computations of Graev metrics are performed on free groups. One of the related results answers an open question of Van Den Dries and Gao. In Chapter 3, isometry groups of countable noncompact Heine-Borel Polish ultrametric spaces are characterized. The notion of generalized tree is defined and a correspondence between the isomorphism group of a generalized tree and the isometry group of a Heine-Borel Polish ultrametric space is established. The concept of a weak inverse limit is introduced to capture the characterization of isomorphism groups of generalized trees. In Chapter 4, partial results of isometry groups of uncountable compact ultrametric spaces are given. It turns out that every compact ultrametric space has a unique countable orbital decomposition. An orbital space consists of disjoint orbits. An orbit subspace of an orbital space is actually a compact homogeneous ultrametric subspace.

We prove the existence of a one-parameter family of solutions of the porous medium equation, a nonlinear heat equation. In our work, with space dimension 3, the interface is a half line whose end point advances at constant speed. We prove, by using maximum principle, that the solutions are stable under a suitable class of perturbations. We discuss the relevance of our solutions, when restricted to two dimensions, to gravity driven flows of thin films. Here we extend the results of J. Iaia and S. Betelu in the paper "Solutions of the porous medium equation with degenerate interfaces" to a higher dimension.

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.

We consider the problem of maximum likelihood estimation of logistic sinusoidal regression models and develop some asymptotic theory including the consistency and joint rates of convergence for the maximum likelihood estimators. The key techniques build upon a synthesis of the results of Walker and Song and Li for the widely studied sinusoidal regression model and on making a connection to a result of Radchenko. Monte Carlo simulations are also presented to demonstrate the finite-sample performance of the estimators

This dissertation considers certain issues in support vector machines (SVMs), including a description of their construction, aspects of certain exponential kernels used in some SVMs, and a presentation of an algorithm that computes the necessary elements of their operation with proof of convergence. In its first section, this dissertation provides a reasonably complete description of SVMs and their theoretical basis, along with a few motivating examples and counterexamples. This section may be used as an accessible, stand-alone introduction to the subject of SVMs for the advanced undergraduate. Its second section provides a proof of the positive-definiteness of a certain useful function here called E and dened as follows: Let V be a complex inner product space. Let N be a function that maps a vector from V to its norm. Let p be a real number between 0 and 2 inclusive and for any in V , let ( be N() raised to the p-th power. Finally, let a be a positive real number. Then E() is exp(()). Although the result is not new (other proofs are known but involve deep properties of stochastic processes) this proof is accessible to advanced undergraduates with a decent grasp of linear algebra. Its …

A steepest descent method is constructed for the general setting of a linear differential equation paired with uniqueness-inducing conditions which might yield a generally overdetermined system. The method differs from traditional steepest descent methods by considering the conditions when defining the corresponding Sobolev space. The descent method converges to the unique solution to the differential equation so that change in condition values is minimal. The system has a solution if and only if the first iteration of steepest descent satisfies the system. The finite analogue of the descent method is applied to example problems involving finite difference equations. The well-posed problems include a singular ordinary differential equation and Laplace’s equation, each paired with respective Dirichlet-type conditions. The overdetermined problems include a first-order nonsingular ordinary differential equation with Dirichlet-type conditions and the wave equation with both Dirichlet and Neumann conditions. The method is applied in an investigation of the Tricomi equation, a long-studied equation which acts as a prototype of mixed partial differential equations and has application in transonic flow. The Tricomi equation has been studied for at least ninety years, yet necessary and sufficient conditions for existence and uniqueness of solutions on an arbitrary mixed domain remain unknown. The domains …

In this thesis, we introduce a new space of Hermitian Jacobi forms, and we determine its structure. As an application, we study heat cycles of Hermitian Jacobi forms, and we establish a criterion for the existence of U(p) congruences of Hermitian Jacobi forms. We demonstrate that criterion with some explicit examples. Finally, in the appendix we give tables of Fourier series coefficients of several Hermitian Jacobi forms.