You limited your search to:
Partner:
UNT Libraries
Degree Discipline:
Mathematics
Collection:
UNT Theses and Dissertations
 Conditiondependent Hilbert Spaces for Steepest Descent and Application to the Tricomi Equation
 A steepest descent method is constructed for the general setting of a linear differential equation paired with uniquenessinducing 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 wellposed problems include a singular ordinary differential equation and Laplace’s equation, each paired with respective Dirichlettype conditions. The overdetermined problems include a firstorder nonsingular ordinary differential equation with Dirichlettype conditions and the wave equation with both Dirichlet and Neumann conditions. The method is applied in an investigation of the Tricomi equation, a longstudied 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 of interest are rectangular mixed domains. A new type of conditions is introduced. Ladder conditions take the uncommon approach of specifying information on the interior of a mixed domain. Specifically, function values are specified on the parabolic portion of a mixed domain. The remaining conditions are specified on the boundary. A conjecture is posed and states that ladder conditions are necessary and sufficient for existence and uniqueness of a solution to the Tricomi equation. Numerical experiments, produced by application of the descent method, provide strong evidence in support of the conjecture. Ladder conditions allow for a continuous deformation from Dirichlet conditions to initialboundary value conditions. Such a deformation is applied to a class of Tricomitype equations which transition from degenerate elliptic to degenerate hyperbolic. A conjecture is posed and states that each problem is uniquely solvable and the solutions vary continuously as the differential equation and corresponding conditions vary continuously. If the conjecture holds true, the result will provide a method of unifying elliptic Dirichlet problems and hyperbolic initialboundary value problem. Numerical evidence in support of the conjecture is presented. digital.library.unt.edu/ark:/67531/metadc699977/
 Hermitian Jacobi Forms and Congruences
 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. digital.library.unt.edu/ark:/67531/metadc700083/
 Fundamental Issues in Support Vector Machines
 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, standalone introduction to the subject of SVMs for the advanced undergraduate. Its second section provides a proof of the positivedefiniteness 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 pth 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 final section presents an algorithm by Dr. Kallman (preprint), based on earlier Russian work by B.F. Mitchell, V.F Demyanov, and V.N. Malozemov, and proves its convergence. The section also discusses briefly architectural features of the algorithm expected to result in practical speed increases. digital.library.unt.edu/ark:/67531/metadc500155/
 Maximum Likelihood Estimation of Logistic Sinusoidal Regression Models
 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 finitesample performance of the estimators digital.library.unt.edu/ark:/67531/metadc407796/
 Centers of Invariant Differential Operator Algebras for Jacobi Groups of Higher Rank
 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. digital.library.unt.edu/ark:/67531/metadc283833/
 A Comparative Study of Non Linear Conjugate Gradient Methods
 We study the development of nonlinear conjugate gradient methods, Fletcher Reeves (FR) and Polak Ribiere (PR). FR extends the linear conjugate gradient method to nonlinear functions by incorporating two changes, for the step length αk a line search is performed and replacing the residual, rk (rk=bAxk) by the gradient of the nonlinear objective function. The PR method is equivalent to FR method for exact line searches and when the underlying quadratic function is strongly convex. The PR method is basically a variant of FR and primarily differs from it in the choice of the parameter βk. On applying the nonlinear Rosenbrock function to the MATLAB code for the FR and the PR algorithms we observe that the performance of PR method (k=29) is far better than the FR method (k=42). But, we observe that when the MATLAB codes are applied to general nonlinear functions, specifically functions whose minimum is a large negative number not close to zero and the iterates too are large values far off from zero the PR algorithm does not perform well. This problem with the PR method persists even if we run the PR algorithm for more iterations or with an initial guess closer to the actual minimum. To improve the PR algorithm we suggest finding a better weighing parameter βk, using better line search method and/or using specific line search for certain functions and identifying specific restart criteria based on the function to be optimized. digital.library.unt.edu/ark:/67531/metadc283864/
 Descriptive Set Theory and Measure Theory in Locally Compact and Nonlocally Compact Groups
 In this thesis we study descriptivesettheoretic and measuretheoretic 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 LevySteinitz 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 ?03complete. 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 countable union of Haar null sets in a Polish group is Haar null. We show the openly Haar null ideal may be distinct from the Haar null ideal, which resolves an uncertainty of Solecki. We show that compact sets are always Haar null in S? and in any countable product of locally compact noncompact groups, which extends the domain of a result of Dougherty. We show that any countable product of locally compact noncompact groups decomposes into the disjoint union of a meager set and a Haar null set, which gives a partial positive answer to a question of Darji. We display a translation property in the homeomorphism group Homeo+[0,1] which is impossible in any nontrivial locally compact group. Other related results are peppered throughout. digital.library.unt.edu/ark:/67531/metadc271792/
 Determinacyrelated Consequences on Limit Superiors
 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. digital.library.unt.edu/ark:/67531/metadc271913/
 Graev Metrics and Isometry Groups of Polish Ultrametric Spaces
 This dissertation presents results about computations of Graev metrics on free groups and characterizes isometry groups of countable noncompact HeineBorel 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 HeineBorel 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 HeineBorel 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. digital.library.unt.edu/ark:/67531/metadc271898/
 Traveling Wave Solutions of the Porous Medium Equation
 We prove the existence of a oneparameter 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. digital.library.unt.edu/ark:/67531/metadc271876/
 Nonparametric Estimation of Receiver Operating Characteristic Surfaces Via Bernstein Polynomials

Access: Use of this item is restricted to the UNT Community.
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 threeclass 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, MonteCarlo simulations are conducted. Finally, the method is applied to the analysis of two real data sets. digital.library.unt.edu/ark:/67531/metadc177212/  Semisupervised and Selfevolving Learning Algorithms with Application to Anomaly Detection in Cloud Computing
 Semisupervised 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 semisupervised anomaly detection and for experimental illustration, we have implemented a prototype of the AAD and HAD systems and conducted experiments in an oncampus cloud computing environment. Experimental results show that the detection accuracy of both algorithms improves as they evolves and can achieve 92.1% detection sensitivity and 83.8% detection specificity, which makes it well suitable for anomaly detection in large and streaming datasets. We compared our algorithms with two popular SSL methods (i) subspace regularization (ii) ensemble of Bayesian submodels and decision tree classifiers. Our contributed algorithms are easy to implement, significantly better in terms of space, time complexity and accuracy than these two methods for semisupervised anomaly detection mechanism. digital.library.unt.edu/ark:/67531/metadc177238/
 Equivalence Classes of Subquotients of Pseudodifferential Operator Modules on the Line
 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. digital.library.unt.edu/ark:/67531/metadc149627/
 Hochschild Cohomology and Complex Reflection Groups
 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 semidirect 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 indepth 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 reflection length, atoms, and poset relations. Using a mixture of theory, explicit examples, and calculations using the software GAP, we show that Coxeter groups and the infinite family G(m,1,n) are the only irreducible complex reflection groups for which the reflection length and codimension orders coincide. We describe the atoms in the codimension order for the groups G(m,p,n). For arbitrary finite groups, we show that the codimension atoms are contained in the support of every generating set for cohomology, thus yielding information about the degrees of generators for cohomology. digital.library.unt.edu/ark:/67531/metadc149591/
 Kleinian Groups in Hilbert Spaces
 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 BishopJones 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. digital.library.unt.edu/ark:/67531/metadc149579/
 On Steinhaus Sets, Orbit Trees and Universal Properties of Various Subgroups in the Permutation Group of Natural Numbers
 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 fourpoint 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 twosided invariant groups, and prove that there is no universal group for countable groups, nor universal group for twosided invariant groups in permutation groups of natural numbers. digital.library.unt.edu/ark:/67531/metadc149691/
 Real Analyticity of Hausdorff Dimension of Disconnected Julia Sets of Cubic Parabolic Polynomials
 Consider a family of cubic parabolic polynomials given by for nonzero 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 superattracting 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 biLipschitz 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 order to reduce the problem of real analyticity of Hausdorff dimension for the given family of polynomials to prove the corresponding statement for the family . digital.library.unt.edu/ark:/67531/metadc271768/
 Random Iteration of Rational Functions
 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 (Ω,Ρ,θ). digital.library.unt.edu/ark:/67531/metadc115157/
 MycielskiRegular Measures
 Let μ be a Radon probability measure on M, the ddimensional 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 Mycielskiregular. We show that the selfsimilar 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 Mycielskiregular. digital.library.unt.edu/ark:/67531/metadc84171/
 Strong Choquet Topologies on the Closed Linear Subspaces of Banach Spaces
 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. digital.library.unt.edu/ark:/67531/metadc84202/
 Uniformly σFinite Disintegrations of Measures
 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. digital.library.unt.edu/ark:/67531/metadc84165/
 Algebraically Determined Semidirect Products
 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 for the natural semidirect product R^{n} x G(n), where G(n) = GL(n,R), or GL^{+}(n,R), or SL(n,R), or SL(n,R)={A in GL(n,R) : det(A)=1}. On the other hand, it is known that the Heisenberg group H_{3}(R) , (R, +), (R{0}, x), and GL^{+}(n,R) are not algebraically determined Polish groups. digital.library.unt.edu/ark:/67531/metadc67993/
 Gibbs/Equilibrium Measures for Functions of Multidimensional Shifts with Countable Alphabets
 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 realvalued 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 "pure thermodynamic phases", which correspond to the extreme points in the convex set of equilibrium measures, must be constructive equilibria. Finally, for an even smoother class of functions a method is presented to construct a compatible interaction potential and it is checked that the two different structures generate the same sets of Gibbs and equilibrium measures, respectively. digital.library.unt.edu/ark:/67531/metadc68021/
 Algebraically Determined Rings of Functions
 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. digital.library.unt.edu/ark:/67531/metadc31543/
 Three Topics in Descriptive Set Theory
 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, Vaintein, and Ostrovsky. Third, an equivalence relation on a Polish space has the LaczkovichKomjá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 LaczkovichKomjáth property, extending a theorem of Balcerzak and Głąb. digital.library.unt.edu/ark:/67531/metadc28441/
 Level Curves of the Angle Function of a Positive Definite Symmetric Matrix

Access: Use of this item is restricted to the UNT Community.
Given a real N by N matrix A, write p(A) for the maximum angle by which A rotates any unit vector. Suppose that A and B are positive definite symmetric (PDS) N by N matrices. Then their Jordan product {A, B} := AB + BA is also symmetric, but not necessarily positive definite. If p(A) + p(B) is obtuse, then there exists a special orthogonal matrix S such that {A, SBS^(1)} is indefinite. Of course, if A and B commute, then {A, B} is positive definite. Our work grows from the following question: if A and B are commuting positive definite symmetric matrices such that p(A) + p(B) is obtuse, what is the minimal p(S) such that {A, SBS^(1)} indefinite? In this dissertation we will describe the level curves of the angle function mapping a unit vector x to the angle between x and Ax for a 3 by 3 PDS matrix A, and discuss their interaction with those of a second such matrix. digital.library.unt.edu/ark:/67531/metadc28376/  On the density of minimal free subflows of general symbolic flows.
 This paper studies symbolic dynamical systems {0, 1}G, where G is a countably infinite group, {0, 1}G has the product topology, and G acts on {0, 1}G by shifts. It is proven that for every countably infinite group G the union of the minimal free subflows of {0, 1}G is dense. In fact, a stronger result is obtained which states that if G is a countably infinite group and U is an open subset of {0, 1}G, then there is a collection of size continuum consisting of pairwise disjoint minimal free subflows intersecting U. digital.library.unt.edu/ark:/67531/metadc11009/
 The Global Structure of Iterated Function Systems
 I study sets of attractors and nonattractors of finite iterated function systems. I provide examples of compact sets which are attractors of iterated function systems as well as compact sets which are not attractors of any iterated function system. I show that the set of all attractors is a dense Fs set and the space of all nonattractors is a dense Gd set it the space of all nonempty compact subsets of a space X. I also investigate the small transfinite inductive dimension of the space of all attractors of iterated function systems generated by similarity maps on [0,1]. digital.library.unt.edu/ark:/67531/metadc9917/
 A New Algorithm for Finding the Minimum Distance between Two Convex Hulls
 The problem of computing the minimum distance between two convex hulls has applications to many areas including robotics, computer graphics and path planning. Moreover, determining the minimum distance between two convex hulls plays a significant role in support vector machines (SVM). In this study, a new algorithm for finding the minimum distance between two convex hulls is proposed and investigated. A convergence of the algorithm is proved and applicability of the algorithm to support vector machines is demostrated. The performance of the new algorithm is compared with the performance of one of the most popular algorithms, the sequential minimal optimization (SMO) method. The new algorithm is simple to understand, easy to implement, and can be more efficient than the SMO method for many SVM problems. digital.library.unt.edu/ark:/67531/metadc9845/
 Urysohn ultrametric spaces and isometry groups.
 In this dissertation we study a special subcollection of Polish metric spaces: complete separable ultrametric spaces. Polish metric spaces have been studied for quite a long while, and a lot of results have been obtained. Motivated by some of earlier research, we work on the following two main parts in this dissertation. In the first part, we show the existence of Urysohn Polish Rultrametric spaces, for an arbitrary countable set R of nonnegative numbers, including 0. Then we give pointbypoint construction of a countable RultraUrysohn space. We also obtain a complete characterization for the set R which corresponding to a RUrysohn metric space. From this characterization we conclude that there exist RUrysohn spaces for a wide family of countable R. Moreover, we determine the complexity of the classification of all Polish ultrametric spaces. In the second part, we investigate the isometry groups of Polish ultrametric spaces. We prove that isometry group of an Urysohn Polish Rultrametric space is universal among isometry groups of Polish Rultrametric spaces. We completely characterize the isometry groups of finite ultrametric spaces and the isometry groups of countable compact ultrametric spaces. Moreover, we give some necessary conditions for finite groups to be isomorphic to some isometry groups of finite ultrametric spaces. digital.library.unt.edu/ark:/67531/metadc9918/
 A Constructive Method for Finding Critical Point of the GinzburgLandau Energy Functional
 In this work I present a constructive method for finding critical points of the GinzburgLandau energy functional using the method of Sobolev gradients. I give a description of the construction of the Sobolev gradient and obtain convergence results for continuous steepest descent with this gradient. I study the GinzburgLandau functional with magnetic field and the GinzburgLandau functional without magnetic field. I then present the numerical results I obtained by using steepest descent with the discretized Sobolev gradient. digital.library.unt.edu/ark:/67531/metadc9075/
 Spaces of operators containing co and/or l ∞ with an application of vector measures.
 The Banach spaces L(X, Y), K(X, Y), Lw*(X*, Y), and Kw*(X*, Y) are studied to determine when they contain the classical Banach spaces co or l ∞. The complementation of the Banach space K(X, Y) in L(X, Y) is discussed as well as what impact this complementation has on the embedding of co or l∞ in K(X, Y) or L(X, Y). Results concerning the complementation of the Banach space Kw*(X*, Y) in Lw*(X*, Y) are also explored and how that complementation affects the embedding of co or l ∞ in Kw*(X*, Y) or Lw*(X*, Y). The l p spaces for 1 ≤ p < ∞ are studied to determine when the space of compact operators from one l p space to another contains co. The paper contains a new result which classifies these spaces of operators. Results of Kalton, Feder, and Emmanuele concerning the complementation of K(X, Y) in L(X, Y) are generalized. A new result using vector measures is given to provide more efficient proofs of theorems by Kalton, Feder, Emmanuele, Emmanuele and John, and Bator and Lewis as well as a new proof of the fact that l ∞ is prime. digital.library.unt.edu/ark:/67531/metadc9036/
 Localized Radial Solutions for Nonlinear pLaplacian Equation in RN
 We establish the existence of radial solutions to the pLaplacian equation ∆p u + f(u)=0 in RN, where f behaves like uq1 u when u is large and f(u) < 0 for small positive u. We show that for each nonnegative integer n, there is a localized solution u which has exactly n zeros. Also, we look for radial solutions of a superlinear Dirichlet problem in a ball. We show that for each nonnegative integer n, there is a solution u which has exactly n zeros. Here we give an alternate proof to that which was given by Castro and Kurepa. digital.library.unt.edu/ark:/67531/metadc6059/
 Uniqueness Results for the Infinite Unitary, Orthogonal and Associated Groups
 Let H be a separable infinite dimensional complex Hilbert space, let U(H) be the Polish topological group of unitary operators on H, let G be a Polish topological group and φ:G→U(H) an algebraic isomorphism. Then φ is a topological isomorphism. The same theorem holds for the projective unitary group, for the group of *automorphisms of L(H) and for the complex isometry group. If H is a separable real Hilbert space with dim(H)≥3, the theorem is also true for the orthogonal group O(H), for the projective orthogonal group and for the real isometry group. The theorem fails for U(H) if H is finite dimensional complex Hilbert space. digital.library.unt.edu/ark:/67531/metadc6136/
 Around the Fibonacci Numeration System
 Let 1, 2, 3, 5, 8, … denote the Fibonacci sequence beginning with 1 and 2, and then setting each subsequent number to the sum of the two previous ones. Every positive integer n can be expressed as a sum of distinct Fibonacci numbers in one or more ways. Setting R(n) to be the number of ways n can be written as a sum of distinct Fibonacci numbers, we exhibit certain regularity properties of R(n), one of which is connected to the Euler φfunction. In addition, using a theorem of Fine and Wilf, we give a formula for R(n) in terms of binomial coefficients modulo two. digital.library.unt.edu/ark:/67531/metadc3676/
 Determining Properties of Synaptic Structure in a Neural Network through Spike Train Analysis
 A "complex" system typically has a relatively large number of dynamically interacting components and tends to exhibit emergent behavior that cannot be explained by analyzing each component separately. A biological neural network is one example of such a system. A multiagent model of such a network is developed to study the relationships between a network's structure and its spike train output. Using this model, inferences are made about the synaptic structure of networks through cluster analysis of spike train summary statistics A complexity measure for the network structure is also presented which has a onetoone correspondence with the standard time series complexity measure sample entropy. digital.library.unt.edu/ark:/67531/metadc3702/
 Compact Operators and the Schrödinger Equation
 In this thesis I look at the theory of compact operators in a general Hilbert space, as well as the inverse of the Hamiltonian operator in the specific case of L2[a,b]. I show that this inverse is a compact, positive, and bounded linear operator. Also the eigenfunctions of this operator form a basis for the space of continuous functions as a subspace of L2[a,b]. A numerical method is proposed to solve for these eigenfunctions when the Hamiltonian is considered as an operator on Rn. The paper finishes with a discussion of examples of Schrödinger equations and the solutions. digital.library.unt.edu/ark:/67531/metadc5453/
 A Characterization of Homeomorphic Bernoulli Trial Measures.
 We give conditions which, given two Bernoulli trial measures, determine whether there exists a homeomorphism of Cantor space which sends one measure to the other, answering a question of Oxtoby. We then provide examples, relating these results to the notions of good and refinable measures on Cantor space. digital.library.unt.edu/ark:/67531/metadc5331/
 Characterizations of Continua of Finite Degree
 In this thesis, some characterizations of continua of finite degree are given. It turns out that being of finite degree (by formal definition) can be described by saying there exists an equivalent metric in which Hausdorff linear measure of the continuum is finite. I discuss this result in detail. digital.library.unt.edu/ark:/67531/metadc5367/
 A Computation of Partial Isomorphism Rank on Ordinal Structures
 We compute the partial isomorphism rank, in the sense Scott and Karp, of a pair of ordinal structures using an EhrenfeuchtFraisse game. A complete formula is proven by induction given any two arbitrary ordinals written in Cantor normal form. digital.library.unt.edu/ark:/67531/metadc5387/
 Hyperbolic MongeAmpère Equation

Access: Use of this item is restricted to the UNT Community.
In this paper we use the Sobolev steepest descent method introduced by John W. Neuberger to solve the hyperbolic MongeAmpère equation. First, we use the discrete Sobolev steepest descent method to find numerical solutions; we use several initial guesses, and explore the effect of some imposed boundary conditions on the solutions. Next, we prove convergence of the continuous Sobolev steepest descent to show local existence of solutions to the hyperbolic MongeAmpère equation. Finally, we prove some results on the Sobolev gradients that mainly arise from general nonlinear differential equations. digital.library.unt.edu/ark:/67531/metadc5322/  Dimension spectrum and graph directed Markov systems.

Access: Use of this item is restricted to the UNT Community.
In this dissertation we study graph directed Markov systems (GDMS) and limit sets associated with these systems. Given a GDMS S, by the Hausdorff dimension spectrum of S we mean the set of all positive real numbers which are the Hausdorff dimension of the limit set generated by a subsystem of S. We say that S has full Hausdorff dimension spectrum (full HD spectrum), if the dimension spectrum is the interval [0, h], where h is the Hausdorff dimension of the limit set of S. We give necessary conditions for a finitely primitive conformal GDMS to have full HD spectrum. A GDMS is said to be regular if the Hausdorff dimension of its limit set is also the zero of the topological pressure function. We show that every number in the Hausdorff dimension spectrum is the Hausdorff dimension of a regular subsystem. In the particular case of a conformal iterated function system we show that the Hausdorff dimension spectrum is compact. We introduce several new systems: the nearest integer GDMS, the Gausslike continued fraction system, and the Renyilike continued fraction system. We prove that these systems have full HD spectrum. A special attention is given to the backward continued fraction system that we introduce and we prove that it has full HD spectrum. This system turns out to be a parabolic iterated function system and this makes the analysis more involved. Several examples have been constructed in the past of systems not having full HD spectrum. We give an example of such a system whose limit set has positive Lebesgue measure. digital.library.unt.edu/ark:/67531/metadc5226/  Generic Algebras and KazhdanLusztig Theory for Monomial Groups

Access: Use of this item is restricted to the UNT Community.
The IwahoriHecke algebras of Coxeter groups play a central role in the study of representations of semisimple Lietype groups. An important tool is the combinatorial approach to representations of IwahoriHecke algebras introduced by Kazhdan and Lusztig in 1979. In this dissertation, I discuss a generalization of the IwahoriHecke algebra of the symmetric group that is instead based on the complex reflection group G(r,1,n). Using the analogues of Kazhdan and Lusztig's Rpolynomials, I show that this algebra determines a partial order on G(r,1,n) that generalizes the ChevalleyBruhat order on the symmetric group. I also consider possible analogues of KazhdanLusztig polynomials. digital.library.unt.edu/ark:/67531/metadc5235/  Mathematical Modeling of Charged Liquid Droplets: Numerical Simulation and Stability Analysis
 The goal of this thesis is to study of the evolution of 3D electrically charged liquid droplets of fluid evolving under the influence of surface tension and electrostatic forces. In the first part of the thesis, an appropriate mathematical model of the problem is introduced and the linear stability analysis is developed by perturbing a sphere with spherical harmonics. In the second part, the numerical solution of the problem is described with the use of the boundary elements method (BEM) on an adaptive mesh of triangular elements. The numerical method is validated by comparison with exact solutions. Finally, various numerical results are presented. These include neck formation in droplets, the evolution of surfaces with holes, singularity formation on droplets with various symmetries and numerical evidence that oblate spheroids are unstable. digital.library.unt.edu/ark:/67531/metadc5240/
 Applications in Fixed Point Theory
 Banach's contraction principle is probably one of the most important theorems in fixed point theory. It has been used to develop much of the rest of fixed point theory. Another key result in the field is a theorem due to Browder, Göhde, and Kirk involving Hilbert spaces and nonexpansive mappings. Several applications of Banach's contraction principle are made. Some of these applications involve obtaining new metrics on a space, forcing a continuous map to have a fixed point, and using conditions on the boundary of a closed ball in a Banach space to obtain a fixed point. Finally, a development of the theorem due to Browder et al. is given with Hilbert spaces replaced by uniformly convex Banach spaces. digital.library.unt.edu/ark:/67531/metadc4971/
 Dynamics, Thermodynamic formalism and Perturbations of Transcendental Entire Functions of Finite Singular Type
 In this dissertation, we study the dynamics, fractal geometry and the topology of the Julia set of functions in the family H which is a set in the class S, the Speiser class of entire transcendental functions which have only finitely many singular values. One can think of a function from H as a generalized expanding function from the cosh family. We shall build a version of thermodynamic formalism for functions in H and we shall show among others, the existence and uniqueness of a conformal measure. Then we prove a Bowen's type formula, i.e. we show that the Hausdorff dimension of the set of returning points, is the unique zero of the pressure function. We shall also study conjugacies in the family H, perturbation of functions in the family and related dynamical properties. We define PerronFrobenius operators for some functions naturally associated with functions in the family H and then, using fundamental properties of these operators, we shall prove the important result that the Hausdorff dimension of the subset of returning points depends analytically on the parameter taken from a small open subset of the ndimensional parameter space. digital.library.unt.edu/ark:/67531/metadc4783/
 Hamiltonian cycles in subset and subspace graphs.

Access: Use of this item is restricted to the UNT Community.
In this dissertation we study the Hamiltonicity and the uniformHamiltonicity of subset graphs, subspace graphs, and their associated bipartite graphs. In 1995 paper "The SubsetSubspace Analogy," Kung states the subspace version of a conjecture. The study of this problem led to a more general class of graphs. Inspired by Clark and Ismail's work in the 1996 paper "Binomial and QBinomial Coefficient Inequalities Related to the Hamiltonicity of the Kneser Graphs and their QAnalogues," we defined subset graphs, subspace graphs, and their associated bipartite graphs. The main emphasis of this dissertation is to describe those graphs and study their Hamiltonicity. The results on subset graphs are presented in Chapter 3, on subset bipartite graphs in Chapter 4, and on subspace graphs and subspace bipartite graphs in Chapter 5. We conclude the dissertation by suggesting some generalizations of our results concerning the panciclicity of the graphs. digital.library.unt.edu/ark:/67531/metadc4662/  Lyapunov Exponents, Entropy and Dimension
 We consider diffeomorphisms of a compact Riemann Surface. A development of Oseledec's Multiplicative Ergodic Theorem is given, along with a development of measure theoretic entropy and dimension. The main result, due to L.S. Young, is that for certain diffeomorphisms of a surface, there is a beautiful relationship between these three concepts; namely that the entropy equals dimension times expansion. digital.library.unt.edu/ark:/67531/metadc4559/
 Thermodynamical Formalism
 Thermodynamical formalism is a relatively recent area of pure mathematics owing a lot to some classical notions of thermodynamics. On this thesis we state and prove some of the main results in the area of thermodynamical formalism. The first chapter is an introduction to ergodic theory. Some of the main theorems are proved and there is also a quite thorough study of the topology that arises in Borel probability measure spaces. In the second chapter we introduce the notions of topological pressure and measure theoretic entropy and we state and prove two very important theorems, ShannonMcMillanBreiman theorem and the Variational Principle. Distance expanding maps and their connection with the calculation of topological pressure cover the third chapter. The fourth chapter introduces Gibbs states and the very important PerronFrobenius Operator. The fifth chapter establishes the connection between pressure and geometry. Topological pressure is used in the calculation of Hausdorff dimensions. Finally the sixth chapter introduces the notion of conformal measures. digital.library.unt.edu/ark:/67531/metadc4631/
 A Detailed Proof of the Prime Number Theorem for Arithmetic Progressions
 We follow a research paper that J. Elstrodt published in 1998 to prove the Prime Number Theorem for arithmetic progressions. We will review basic results from Dirichlet characters and Lfunctions. Furthermore, we establish a weak version of the WienerIkehara Tauberian Theorem, which is an essential tool for the proof of our main result. digital.library.unt.edu/ark:/67531/metadc4476/