### Topological uniqueness results for the special linear and other classical Lie Algebras.

**Access:**Use of this item is restricted to the UNT Community.

**Date:**December 2001

**Creator:**Rees, Michael K.

**Description:**Suppose L is a complete separable metric topological group (ring, field, etc.). L is topologically unique if the Polish topology on L is uniquely determined by its underlying algebraic structure. More specifically, L is topologically unique if an algebraic isomorphism of L with any other complete separable metric topological group (ring, field, etc.) induces a topological isomorphism. A local field is a locally compact topological field with non-discrete topology. The only local fields (up to isomorphism) are the real, complex, and p-adic numbers, finite extensions of the p-adic numbers, and fields of formal power series over finite fields. We establish the topological uniqueness of the special linear Lie algebras over local fields other than the complex numbers (for which this result is not true) in the context of complete separable metric Lie rings. Along the way the topological uniqueness of all local fields other than the field of complex numbers is established, which is derived as a corollary to more general principles which can be applied to a larger class of topological fields. Lastly, also in the context of complete separable metric Lie rings, the topological uniqueness of the special linear Lie algebra over the real division algebra of quaternions, ...

**Contributing Partner:**UNT Libraries

**Permallink:**digital.library.unt.edu/ark:/67531/metadc3000/

### Borel Determinacy and Metamathematics

**Date:**December 2001

**Creator:**Bryant, Ross

**Description:**Borel determinacy states that if G(T;X) is a game and X is Borel, then G(T;X) is determined. Proved by Martin in 1975, Borel determinacy is a theorem of ZFC set theory, and is, in fact, the best determinacy result in ZFC. However, the proof uses sets of high set theoretic type (N1 many power sets of ω). Friedman proved in 1971 that these sets are necessary by showing that the Axiom of Replacement is necessary for any proof of Borel Determinacy. To prove this, Friedman produces a model of ZC and a Borel set of Turing degrees that neither contains nor omits a cone; so by another theorem of Martin, Borel Determinacy is not a theorem of ZC. This paper contains three main sections: Martin's proof of Borel Determinacy; a simpler example of Friedman's result, namely, (in ZFC) a coanalytic set of Turing degrees that neither contains nor omits a cone; and finally, the Friedman result.

**Contributing Partner:**UNT Libraries

**Permallink:**digital.library.unt.edu/ark:/67531/metadc3061/

### Spaces of Compact Operators

**Access:**Use of this item is restricted to the UNT Community.

**Date:**May 2004

**Creator:**Ghenciu, Ioana

**Description:**In this dissertation we study the structure of spaces of operators, especially the space of all compact operators between two Banach spaces X and Y. Work by Kalton, Emmanuele, Bator and Lewis on the space of compact and weakly compact operators motivates much of this paper. Let L(X,Y) be the Banach space of all bounded linear operators 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 study problems related to the complementability of different operator ideals (the Banach space of all compact, weakly compact, completely continuous, resp. unconditionally converging) operators in the space of all bounded linear operators. The structure of Dunford-Pettis sets, strong Dunford-Pettis sets, and certain spaces of operators is studied in the context of the injective and projective tensor products of Banach spaces. Bibasic sequences are used to study relative norm compactness of strong Dunford-Pettis sets. Next, we use Dunford-Pettis sets to give sufficient conditions for K(X,Y) to contain c0.

**Contributing Partner:**UNT Libraries

**Permallink:**digital.library.unt.edu/ark:/67531/metadc4463/

### Determining Properties of Synaptic Structure in a Neural Network through Spike Train Analysis

**Date:**May 2007

**Creator:**Brooks, Evan

**Description:**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 multi-agent 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 one-to-one correspondence with the standard time series complexity measure sample entropy.

**Contributing Partner:**UNT Libraries

**Permallink:**digital.library.unt.edu/ark:/67531/metadc3702/

### The Pettis Integral and Operator Theory

**Access:**Use of this item is restricted to the UNT Community.

**Date:**August 2001

**Creator:**Huettenmueller, Rhonda

**Description:**Let (Ω, Σ, µ) be a finite measure space and X, a Banach space with continuous dual X*. A scalarly measurable function f: Ω→X is Dunford integrable if for each x* X*, x*f L1(µ). Define the operator Tf. X* → L1(µ) by T(x*) = x*f. Then f is Pettis integrable if and only if this operator is weak*-to-weak continuous. This paper begins with an overview of this function. Work by Robert Huff and Gunnar Stefansson on the operator Tf motivates much of this paper. Conditions that make Tf weak*-to-weak continuous are generalized to weak*-toweak continuous operators on dual spaces. For instance, if Tf is weakly compact and if there exists a separable subspace D X such that for each x* X*, x*f = x*fχDµ-a.e, then f is Pettis integrable. This nation is generalized to bounded operators T: X* → Y. To say that T is determined by D means that if x*| D = 0, then T (x*) = 0. Determining subspaces are used to help prove certain facts about operators on dual spaces. Attention is given to finding determining subspaces far a given T: X* → Y. The kernel of T and the adjoint T* of T are used ...

**Contributing Partner:**UNT Libraries

**Permallink:**digital.library.unt.edu/ark:/67531/metadc2844/

### Analysis Of Sequential Barycenter Random Probability Measures via Discrete Constructions

**Date:**December 2002

**Creator:**Valdes, LeRoy I.

**Description:**Hill and Monticino (1998) introduced a constructive method for generating random probability measures with a prescribed mean or distribution on the mean. The method involves sequentially generating an array of barycenters that uniquely defines a probability measure. This work analyzes statistical properties of the measures generated by sequential barycenter array constructions. Specifically, this work addresses how changing the base measures of the construction affects the statististics of measures generated by the SBA construction. A relationship between statistics associated with a finite level version of the SBA construction and the full construction is developed. Monte Carlo statistical experiments are used to simulate the effect changing base measures has on the statistics associated with the finite level construction.

**Contributing Partner:**UNT Libraries

**Permallink:**digital.library.unt.edu/ark:/67531/metadc3304/

### Math Anxiety in Fundamentals of Algebra Students

**Date:**Spring 2008

**Creator:**Draznin, Sara

**Description:**Thesis written by a student in the UNT Honors College discussing her experiences as a math tutor in math classes with traditionally high dropout rates. In addition, research into math anxiety is explored and evaluated.

**Contributing Partner:**UNT Honors College

**Permallink:**digital.library.unt.edu/ark:/67531/metadc146542/

### Infinite Planar Graphs

**Date:**May 2000

**Creator:**Aurand, Eric William

**Description:**How many equivalence classes of geodesic rays does a graph contain? How many bounded automorphisms does a planar graph have? Neimayer and Watkins studied these two questions and answered them for a certain class of graphs. Using the concept of excess of a vertex, the class of graphs that Neimayer and Watkins studied are extended to include graphs with positive excess at each vertex. The results of this paper show that there are an uncountable number of geodesic fibers for graphs in this extended class and that for any graph in this extended class the only bounded automorphism is the identity automorphism.

**Contributing Partner:**UNT Libraries

**Permallink:**digital.library.unt.edu/ark:/67531/metadc2545/

### A Collapsing Result Using the Axiom of Determinancy and the Theory of Possible Cofinalities

**Date:**May 2001

**Creator:**May, Russell J.

**Description:**Assuming the axiom of determinacy, we give a new proof of the strong partition relation on ω1. Further, we present a streamlined proof that J<λ+(a) (the ideal of sets which force cof Π α < λ) is generated from J<λ+(a) by adding a singleton. Combining these results with a polarized partition relation on ω1

**Contributing Partner:**UNT Libraries

**Permallink:**digital.library.unt.edu/ark:/67531/metadc2789/

### Polish Spaces and Analytic Sets

**Date:**August 1997

**Creator:**Muller, Kimberly (Kimberly Orisja)

**Description:**A Polish space is a separable topological space that can be metrized by means of a complete metric. A subset A of a Polish space X is analytic if there is a Polish space Z and a continuous function f : Z —> X such that f(Z)= A. After proving that each uncountable Polish space contains a non-Borel analytic subset we conclude that there exists a universally measurable non-Borel set.

**Contributing Partner:**UNT Libraries

**Permallink:**digital.library.unt.edu/ark:/67531/metadc277605/

### Hochschild Cohomology and Complex Reflection Groups

**Date:**August 2012

**Creator:**Foster-Greenwood, Briana A.

**Description:**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 ...

**Contributing Partner:**UNT Libraries

**Permallink:**digital.library.unt.edu/ark:/67531/metadc149591/

### Fundamental Issues in Support Vector Machines

**Date:**May 2014

**Creator:**McWhorter, Samuel P.

**Description:**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 ...

**Contributing Partner:**UNT Libraries

**Permallink:**digital.library.unt.edu/ark:/67531/metadc500155/

### Efficient Algorithms and Framework for Bandwidth Allocation, Quality-of-Service Provisioning and Location Management in Mobile Wireless Computing

**Date:**December 1997

**Creator:**Sen, Sanjoy Kumar

**Description:**The fusion of computers and communications has promised to herald the age of information super-highway over high speed communication networks where the ultimate goal is to enable a multitude of users at any place, access information from anywhere and at any time. This, in a nutshell, is the goal envisioned by the Personal Communication Services (PCS) and Xerox's ubiquitous computing. In view of the remarkable growth of the mobile communication users in the last few years, the radio frequency spectrum allocated by the FCC (Federal Communications Commission) to this service is still very limited and the usable bandwidth is by far much less than the expected demand, particularly in view of the emergence of the next generation wireless multimedia applications like video-on-demand, WWW browsing, traveler information systems etc. Proper management of available spectrum is necessary not only to accommodate these high bandwidth applications, but also to alleviate problems due to sudden explosion of traffic in so called hot cells. In this dissertation, we have developed simple load balancing techniques to cope with the problem of tele-traffic overloads in one or more hot cells in the system. The objective is to ease out the high channel demand in hot cells by ...

**Contributing Partner:**UNT Libraries

**Permallink:**digital.library.unt.edu/ark:/67531/metadc278885/

### Quantization Dimension for Probability Definitions

**Access:**Use of this item is restricted to the UNT Community.

**Date:**December 2001

**Creator:**Lindsay, Larry J.

**Description:**The term quantization refers to the process of estimating a given probability by a discrete probability supported on a finite set. The quantization dimension Dr of a probability is related to the asymptotic rate at which the expected distance (raised to the rth power) to the support of the quantized version of the probability goes to zero as the size of the support is allowed to go to infinity. This assumes that the quantized versions are in some sense ``optimal'' in that the expected distances have been minimized. In this dissertation we give a short history of quantization as well as some basic facts. We develop a generalized framework for the quantization dimension which extends the current theory to include a wider range of probability measures. This framework uses the theory of thermodynamic formalism and the multifractal spectrum. It is shown that at least in certain cases the quantization dimension function D(r)=Dr is a transform of the temperature function b(q), which is already known to be the Legendre transform of the multifractal spectrum f(a). Hence, these ideas are all closely related and it would be expected that progress in one area could lead to new results in another. It would ...

**Contributing Partner:**UNT Libraries

**Permallink:**digital.library.unt.edu/ark:/67531/metadc3008/

### A Theoretical Network Model and the Incremental Hypercube-Based Networks

**Date:**May 1995

**Creator:**Mao, Ai-sheng

**Description:**The study of multicomputer interconnection networks is an important area of research in parallel processing. We introduce vertex-symmetric Hamming-group graphs as a model to design a wide variety of network topologies including the hypercube network.

**Contributing Partner:**UNT Libraries

**Permallink:**digital.library.unt.edu/ark:/67531/metadc277860/

### Cycles and Cliques in Steinhaus Graphs

**Date:**December 1994

**Creator:**Lim, Daekeun

**Description:**In this dissertation several results in Steinhaus graphs are investigated. First under some further conditions imposed on the induced cycles in steinhaus graphs, the order of induced cycles in Steinhaus graphs is at most [(n+3)/2]. Next the results of maximum clique size in Steinhaus graphs are used to enumerate the Steinhaus graphs having maximal cliques. Finally the concept of jumbled graphs and Posa's Lemma are used to show that almost all Steinhaus graphs are Hamiltonian.

**Contributing Partner:**UNT Libraries

**Permallink:**digital.library.unt.edu/ark:/67531/metadc278469/

### Efficient Linked List Ranking Algorithms and Parentheses Matching as a New Strategy for Parallel Algorithm Design

**Date:**December 1993

**Creator:**Halverson, Ranette Hudson

**Description:**The goal of a parallel algorithm is to solve a single problem using multiple processors working together and to do so in an efficient manner. In this regard, there is a need to categorize strategies in order to solve broad classes of problems with similar structures and requirements. In this dissertation, two parallel algorithm design strategies are considered: linked list ranking and parentheses matching.

**Contributing Partner:**UNT Libraries

**Permallink:**digital.library.unt.edu/ark:/67531/metadc278153/

### Applications of Rapidly Mixing Markov Chains to Problems in Graph Theory

**Date:**August 1993

**Creator:**Simmons, Dayton C. (Dayton Cooper)

**Description:**In this dissertation the results of Jerrum and Sinclair on the conductance of Markov chains are used to prove that almost all generalized Steinhaus graphs are rapidly mixing and an algorithm for the uniform generation of 2 - (4k + 1,4,1) cyclic Mendelsohn designs is developed.

**Contributing Partner:**UNT Libraries

**Permallink:**digital.library.unt.edu/ark:/67531/metadc277740/

### A Mechanism for Facilitating Temporal Reasoning in Discrete Event Simulation

**Date:**May 1992

**Creator:**Legge, Gaynor W.

**Description:**This research establishes the feasibility and potential utility of a software mechanism which employs artificial intelligence techniques to enhance the capabilities of standard discrete event simulators. As background, current methods of integrating artificial intelligence with simulation and relevant research are briefly reviewed.

**Contributing Partner:**UNT Libraries

**Permallink:**digital.library.unt.edu/ark:/67531/metadc278352/

### Polynomial Isomorphisms of Cayley Objects Over a Finite Field

**Date:**December 1989

**Creator:**Park, Hong Goo

**Description:**In this dissertation the Bays-Lambossy theorem is generalized to GF(pn). The Bays-Lambossy theorem states that if two Cayley objects each based on GF(p) are isomorphic then they are isomorphic by a multiplier map. We use this characterization to show that under certain conditions two isomorphic Cayley objects over GF(pn) must be isomorphic by a function on GF(pn) of a particular type.

**Contributing Partner:**UNT Libraries

**Permallink:**digital.library.unt.edu/ark:/67531/metadc331144/

### Descriptions and Computation of Ultrapowers in L(R)

**Date:**August 1995

**Creator:**Khafizov, Farid T.

**Description:**The results from this dissertation are an exact computation of ultrapowers by measures on cardinals $\aleph\sb{n},\ n\in w$, in $L(\IR$), and a proof that ordinals in $L(\IR$) below $\delta\sbsp{5}{1}$ represented by descriptions and the identity function with respect to sequences of measures are cardinals. An introduction to the subject with the basic definitions and well known facts is presented in chapter I. In chapter II, we define a class of measures on the $\aleph\sb{n},\ n\in\omega$, in $L(\IR$) and derive a formula for an exact computation of the ultrapowers of cardinals by these measures. In chapter III, we give the definitions of descriptions and the lowering operator. Then we prove that ordinals represented by descriptions and the identity function are cardinals. This result combined with the fact that every cardinal $<\delta\sbsp{5}{1}$ in $L(\IR$) is represented by a description (J1), gives a characterization of cardinals in $L(\IR$) below $\delta\sbsp{5}{1}. Concrete examples of formal computations are shown in chapter IV.

**Contributing Partner:**UNT Libraries

**Permallink:**digital.library.unt.edu/ark:/67531/metadc277867/

### Rollback Reduction Techniques Through Load Balancing in Optimistic Parallel Discrete Event Simulation

**Date:**May 1996

**Creator:**Sarkar, Falguni

**Description:**Discrete event simulation is an important tool for modeling and analysis. Some of the simulation applications such as telecommunication network performance, VLSI logic circuits design, battlefield simulation, require enormous amount of computing resources. One way to satisfy this demand for computing power is to decompose the simulation system into several logical processes (Ip) and run them concurrently. In any parallel discrete event simulation (PDES) system, the events are ordered according to their time of occurrence. In order for the simulation to be correct, this ordering has to be preserved. There are three approaches to maintain this ordering. In a conservative system, no lp executes an event unless it is certain that all events with earlier time-stamps have been executed. Such systems are prone to deadlock. In an optimistic system on the other hand, simulation progresses disregarding this ordering and saves the system states regularly. Whenever a causality violation is detected, the system rolls back to a state saved earlier and restarts processing after correcting the error. There is another approach in which all the lps participate in the computation of a safe time-window and all events with time-stamps within this window are processed concurrently. In optimistic simulation systems, there is ...

**Contributing Partner:**UNT Libraries

**Permallink:**digital.library.unt.edu/ark:/67531/metadc279308/

### The Maximum Size of Combinatorial Geometries Excluding Wheels and Whirls as Minors

**Date:**August 1989

**Creator:**Hipp, James W. (James William), 1956-

**Description:**We show that the maximum size of a geometry of rank n excluding the (q + 2)-point line, the 3-wheel W_3, and the 3-whirl W^3 as minor is (n - 1)q + 1, and geometries of maximum size are parallel connections of (q + 1)-point lines. We show that the maximum size of a geometry of rank n excluding the 5-point line, the 4-wheel W_4, and the 4-whirl W^4 as minors is 6n - 5, for n ≥ 3. Examples of geometries having rank n and size 6n - 5 include parallel connections of the geometries V_19 and PG(2,3).

**Contributing Partner:**UNT Libraries

**Permallink:**digital.library.unt.edu/ark:/67531/metadc330849/

### Applications of Graph Theory and Topology to Combinatorial Designs

**Date:**December 1988

**Creator:**Somporn Sutinuntopas

**Description:**This dissertation is concerned with the existence and the isomorphism of designs. The first part studies the existence of designs. Chapter I shows how to obtain a design from a difference family. Chapters II to IV study the existence of an affine 3-(p^m,4,λ) design where the v-set is the Galois field GF(p^m). Associated to each prime p, this paper constructs a graph. If the graph has a 1-factor, then a difference family and hence an affine design exists. The question arises of how to determine when the graph has a 1-factor. It is not hard to see that the graph is connected and of even order. Tutte's theorem shows that if the graph is 2-connected and regular of degree three, then the graph has a 1-factor. By using the concept of quadratic reciprocity, this paper shows that if p Ξ 53 or 77 (mod 120), the graph is almost regular of degree three, i.e., every vertex has degree three, except two vertices each have degree tow. Adding an extra edge joining the two vertices with degree tow gives a regular graph of degree three. Also, Tutte proved that if A is an edge of the graph satisfying the above conditions, ...

**Contributing Partner:**UNT Libraries

**Permallink:**digital.library.unt.edu/ark:/67531/metadc331968/