UNT Libraries - 171 Matching Results

Search Results

Abelian Group Actions and Hypersmooth Equivalence Relations: We show that any Borel action on a standard Borel space of a group which is topologically isomorphic to the sum of a countable abelian group with a countable sum of lines and circles induces an orbit equivalence relation which is hypersmooth. We also show that any Borel action of a second countable locally compact abelian group on a standard Borel space induces an orbit equivalence relation which is essentially hyperfinite, generalizing a result of Gao and Jackson for the countable abelian groups.
Algebraic Numbers and Topologically Equivalent Measures: A set-theoretical point of view to study algebraic numbers has been introduced. We extend a result of Navarro-Bermudez concerning shift invariant measures in the Cantor space which are topologically equivalent to shift invariant measures which correspond to some algebraic integers. It is known that any transcendental numbers and rational numbers in the unit interval are not binomial. We proved that there are algebraic numbers of degree greater than two so that they are binomial numbers. Algebraic integers of degree 2 are proved not to be binomial numbers. A few compositive relations having to do with algebraic numbers on the unit interval have been studied; for instance, rationally related, integrally related, binomially related, B1-related relations. A formula between binomial numbers and binomial coefficients has been stated. A generalized algebraic equation related to topologically equivalent measures has also been stated.
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.
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.
Analysis Of Sequential Barycenter Random Probability Measures via Discrete Constructions: 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.
Annihilators of Bounded Indecomposable Modules of Vec(R): The Lie algebra Vec(ℝ) of polynomial vector fields on the line acts naturally on ℂ[]. This action has a one-parameter family of deformations called the tensor density modules F_λ. The bounded indecomposable modules of Vec(ℝ) of length 2 composed of tensor density modules have been classified by Feigin and Fuchs. We present progress towards describing the annihilators of the unique indecomposable extension of F_λ by F_(λ+2) in the non-resonant case λ ≠ -½. We give the intersection of the annihilator and the subalgebra of lowest weight vectors of the universal enveloping algebra (Vec(ℝ)) of Vec(ℝ). This result is found by applying structural descriptions of the lowest weight vectors of (Vec(ℝ)).
Annihilators of Irreducible Representations of the Lie Superalgebra of Contact Vector Fields on the Superline: The superline has one even and one odd coordinate. We consider the Lie superalgebra of contact vector fields on the superline. Its tensor density modules are a one-parameter family of deformations of the natural action on the ring of polynomials on the superline. They are parameterized by a complex number, and they are irreducible when this parameter is not zero. In this dissertation, we describe the annihilating ideals of these representations in the universal enveloping algebra of this Lie superalgebra by providing their generators. We also describe the intersection of all such ideals: the annihilator of the direct sum of the tensor density modules. The annihilating ideal of an irreducible non-zero left module is called a primitive ideal, and the space of all such ideals in the universal enveloping algebra is its primitive spectrum. The primitive spectrum is endowed with the Jacobson topology, which induces a topology on the annihilators of the tensor density modules. We conclude our discussion with a description of the annihilators as a topological space.
Applications of a Model-Theoretic Approach to Borel Equivalence Relations: The study of Borel equivalence relations on Polish spaces has become a major area of focus within descriptive set theory. Primarily, work in this area has been carried out using the standard methods of descriptive set theory. In this work, however, we develop a model-theoretic framework suitable for the study of Borel equivalence relations, introducing a class of objects we call Borel structurings. We then use these structurings to examine conditions under which marker sets for Borel equivalence relations can be concluded to exist or not exist, as well as investigating to what extent the Compactness Theorem from first-order logic continues to hold for Borel structurings.
Applications of Graph Theory and Topology to Combinatorial Designs: 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, then it must have a 1-factor which contains A. The second part of the dissertation is concerned with determining if two designs are isomorphic. Here the v-set is any group G and translation by any element in G gives a design automorphism. Given a design B and its difference family D, two topological spaces, B and D, are constructed. We give topological conditions which imply that a design isomorphism is a group isomorphism.
Applications of Rapidly Mixing Markov Chains to Problems in Graph Theory: 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.
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.
Aspects of Universality in Function Iteration: This work deals with some aspects of universal topological and metric dynamic behavior of iterated maps of the interval.
Asymptotic Formula for Counting in Deterministic and Random Dynamical Systems: The lattice point problem in dynamical systems investigates the distribution of certain objects with some length property in the space that the dynamics is defined. This problem in different contexts can be interpreted differently. In the context of symbolic dynamical systems, we are trying to investigate the growth of N(T), the number of finite words subject to a specific ergodic length T, as T tends to infinity. This problem has been investigated by Pollicott and Urbański to a great extent. We try to investigate it further, by relaxing a condition in the context of deterministic dynamical systems. Moreover, we investigate this problem in the context of random dynamical systems. The method for us is considering the Fourier-Stieltjes transform of N(T) and expressing it via a Poincaré series for which the spectral gap property of the transfer operator, enables us to apply some appropriate Tauberian theorems to understand asymptotic growth of N(T). For counting in the random dynamics, we use some results from probability theory.
Automorphism Groups of Strong Bruhat Orders of Coxeter Groups: In this dissertation, we describe the automorphism groups for the strong Bruhat orders A_n-1, B_n, and D_n. In particular, the automorphism group of A_n-1 for n ≥ 3 is isomorphic to the dihedral group of order eight, D_4; the automorphism group of B_n for n ≥ 3 is isomorphic to C_2 x C_2 where C_2 is the cyclic group of order two; the automorphism group of D_n for n > 5 and n even is isomorphic to C_2 x C_2 x C_2; and the automorphism group of D_n for n ≥ 5 and n odd is isomorphic to the dihedral group D_4.
Bounded, Finitely Additive, but Not Absolutely Continuous Set Functions: In leading up to the proof, methods for constructing fields and finitely additive set functions are introduced with an application involving the Tagaki function given as an example. Also, non-absolutely continuous set functions are constructed using Banach limits and maximal filters.
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.
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.
Characterizations of Some Combinatorial Geometries: We give several characterizations of partition lattices and projective geometries. Most of these characterizations use characteristic polynomials. A geometry is non—splitting if it cannot be expressed as the union of two of its proper flats. A geometry G is upper homogeneous if for all k, k = 1, 2, ... , r(G), and for every pair x, y of flats of rank k, the contraction G/x is isomorphic to the contraction G/y. Given a signed graph, we define a corresponding signed—graphic geometry. We give a characterization of supersolvable signed graphs. Finally, we give the following characterization of non—splitting supersolvable signed-graphic geometries : If a non-splitting supersolvable ternary geometry does not contain the Reid geometry as a subgeometry, then it is signed—graphic.
A Classification of the Homogeneity of Countable Products of Subsets of Real Numbers: Spaces such as the closed interval [0, 1] do not have the property of being homogeneous, strongly locally homogeneous (SLH) or countable dense homogeneous (CDH), but the Hilbert cube has all three properties. We investigate subsets X of real numbers to determine when their countable product is homogeneous, SLH, or CDH. We give necessary and sufficient conditions for the product to be homogeneous. We also prove that the product is SLH if and only if X is zero-dimensional or an interval. And finally we show that for a Borel subset X of real numbers the product is CDH iff X is a G-delta zero-dimensional set or an interval.
A Collapsing Result Using the Axiom of Determinancy and the Theory of Possible Cofinalities: 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
Complemented Subspaces of Bounded Linear Operators: For many years mathematicians have been interested in the problem of whether an operator ideal is complemented in the space of all bounded linear operators. In this dissertation the complementation of various classes of operators in the space of all bounded linear operators is considered. This paper begins with a preliminary discussion of linear bounded operators as well as operator ideals. Let L(X, Y ) be a Banach space of all bounded linear operator between Banach spaces X and Y , K(X, Y ) be the space of all compact operators, and W(X, Y ) be the space of all weakly compact operators. We denote space all operator ideals by O.
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 Ehrenfeucht-Fraisse game. A complete formula is proven by induction given any two arbitrary ordinals written in Cantor normal form.
The Computation of Ultrapowers by Supercompactness Measures: The results from this dissertation are a computation of ultrapowers by supercompactness measures and concepts related to such measures. The second chapter gives an overview of the basic ideas required to carry out the computations. Included are preliminary ideas connected to measures, and the supercompactness measures. Order type results are also considered in this chapter. In chapter III we give an alternate characterization of 2 using the notion of iterated ordinal measures. Basic facts related to this characterization are also considered here. The remaining chapters are devoted to finding bounds fwith arguments taking place both inside and outside the ultrapowers. Conditions related to the upper bound are given in chapter VI.
Concerning Integral Approximations of Bounded Finitely Additive Set Functions: The purpose of this paper is to generalize a theorem that characterizes absolute continuity of bounded finitely additive set functions in the form of an integral approximation. We show that his integral exists if the condition of absolute continuity is removed.
Condition-dependent 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 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 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 …
Conformal and Stochastic Non-Autonomous Dynamical Systems: In this dissertation we focus on the application of thermodynamic formalism to non-autonomous and random dynamical systems. Specifically we use the thermodynamic formalism to investigate the dimension of various fractal constructions via the, now standard, technique of Bowen which he developed in his 1979 paper on quasi-Fuchsian groups. Bowen showed, roughly speaking, that the dimension of a fractal is equal to the zero of the relevant topological pressure function. We generalize the results of Rempe-Gillen and Urbanski on non-autonomous iterated function systems to the setting of non-autonomous graph directed Markov systems and then show that the Hausdorff dimension of the fractal limit set is equal to the zero of the associated pressure function provided the size of the alphabets at each time step do not grow too quickly. In trying to remove these growth restrictions, we present several other systems for which Bowen's formula holds, most notably ascending systems. We then use these various constructions to investigate the Hausdorff dimension of various subsets of the Julia set for different large classes of transcendental meromorphic functions of finite order which have been perturbed non-autonomously. In particular we find lower and upper bounds for the dimension of the subset of the Julia set whose points escape to infinity, and in many cases we find the exact dimension. While the upper bound was known previously in the autonomous case, the lower bound was not known in this setting, and all of these results are new in the non-autonomous setting. We also use transfer operator techniques to prove an almost sure invariance principle for random dynamical systems for which the thermodynamical formalism has been well established. In particular, we see that if a system exhibits a fiberwise spectral gap property and the base dynamical system is sufficiently well behaved, i.e. it exhibits an exponential …
Consistency in Lattices: Let L be a lattice. For x ∈ L, we say x is a consistent join-irreducible if x V y is a join-irreducible of the lattice [y,1] for all y in L. We say L is consistent if every join-irreducible of L is consistent. In this dissertation, we study the notion of consistent elements in semimodular lattices.
A Constructive Method for Finding Critical Point of the Ginzburg-Landau Energy Functional: In this work I present a constructive method for finding critical points of the Ginzburg-Landau 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 Ginzburg-Landau functional with magnetic field and the Ginzburg-Landau functional without magnetic field. I then present the numerical results I obtained by using steepest descent with the discretized Sobolev gradient.
Containment Relations Between Classes of Regular Ideals in a Ring with Few Zero Divisors: This dissertation focuses on the significance of containment relations between the above mentioned classes of ideals. The main problem considered in Chapter II is determining conditions which lead a ring to be a P-ring, D-ring, or AM-ring when every regular ideal is a P-ideal, D-ideal, or AM-ideal, respectively. We also consider containment relations between classes of regular ideals which guarantee that the ring is a quasi-valuation ring. We continue this study into the third chapter; in particular, we look at the conditions in a quasi-valuation ring which lead to a = Jr, sr - f, and a = v. Furthermore we give necessary and sufficient conditions that a ring be a discrete rank one quasi-valuation ring. For example, if R is Noetherian, then ft = J if and only if R is a discrete rank one quasi-valuation ring.
Continuity of Hausdorff Dimension of Julia Sets of Expansive Polynomials: This dissertation is in the area of complex dynamics, more specifically focused on the iteration of rational functions. Given a well-chosen family of rational functions, parameterized by a complex parameter, we are especially interested in regularity properties of the Hausdorff dimension of Julia sets of these polynomials considered as a function of the parameters. In this dissertation I deal with a family of polynomials of degree at least 3 depending in a holomorphic way on a parameter, focusing on the point where the dynamics and topology of the polynomials drastically change. In such a context proving continuity is quite challenging while real analyticity will most likely break. Our approach will, on the one hand, build on the existing methods of proving continuity of Hausdorff dimension, primarily based on proving continuity, in the weak* topology of measures on the Riemann sphere, of canonical conformal measures, but will also require methods which, up to my best knowledge, have not been implemented anywhere yet. Our main result gives a surprising example where the Hausdorff dimension of the Julia set is continuous in the parameter, but where the Julia set itself is not.
Continuous Combinatorics of a Lattice Graph in the Cantor Space: We present a novel theorem of Borel Combinatorics that sheds light on the types of continuous functions that can be defined on the Cantor space. We specifically consider the part X=F(2ᴳ) from the Cantor space, where the group G is the additive group of integer pairs ℤ². That is, X is the set of aperiodic {0,1} labelings of the two-dimensional infinite lattice graph. We give X the Bernoulli shift action, and this action induces a graph on X in which each connected component is again a two-dimensional lattice graph. It is folklore that no continuous (indeed, Borel) function provides a two-coloring of the graph on X, despite the fact that any finite subgraph of X is bipartite. Our main result offers a much more complete analysis of continuous functions on this space. We construct a countable collection of finite graphs, each consisting of twelve "tiles", such that for any property P (such as "two-coloring") that is locally recognizable in the proper sense, a continuous function with property P exists on X if and only if a function with a corresponding property P' exists on one of the graphs in the collection. We present the theorem, and give several applications.
The Continuous Wavelet Transform and the Wave Front Set: In this paper I formulate an explicit wavelet transform that, applied to any distribution in S^1(R^2), yields a function on phase space whose high-frequency singularities coincide precisely with the wave front set of the distribution. This characterizes the wave front set of a distribution in terms of the singularities of its wavelet transform with respect to a suitably chosen basic wavelet.
Contributions to Descriptive Set Theory: In this dissertation we study closure properties of pointclasses, scales on sets of reals and the models L[T2n], which are very natural canonical inner models of ZFC. We first characterize projective-like hierarchies by their associated ordinals. This solves a conjecture of Steel and a conjecture of Kechris, Solovay, and Steel. The solution to the first conjecture allows us in particular to reprove a strong partition property result on the ordinal of a Steel pointclass and derive a new boundedness principle which could be useful in the study of the cardinal structure of L(R). We then develop new methods which produce lightface scales on certain sets of reals. The methods are inspired by Jackson’s proof of the Kechris-Martin theorem. We then generalize the Kechris-Martin Theorem to all the Π12n+1 pointclasses using Jackson’s theory of descriptions. This in turns allows us to characterize the sets of reals of a certain initial segment of the models L[T2n]. We then use this characterization and the generalization of Kechris-Martin theorem to show that the L[T2n] are unique. This generalizes previous work of Hjorth. We then characterize the L[T2n] in term of inner models theory, showing that they actually are constructible models over direct limit of mice with Woodin cardinals, a counterpart to Steel’s result that the L[T2n+1] are extender models, and finally show that the generalized contiuum hypothesis holds in these models, solving a conjecture of Woodin.
Contributions to Descriptive Set Theory: Assume AD+V=L(R). In the first chapter, let W^1_1 denote the club measure on \omega_1. We analyze the embedding j_{W^1_1}\restr HOD from the point of view of inner model theory. We use our analysis to answer a question of Jackson-Ketchersid about codes for ordinals less than \omega_\omega. In the second chapter, we provide an indiscernibles analysis for models of the form L[T_n,x]. We use our analysis to provide new proofs of the strong partition property on \delta^1_{2n+1}
Contributions to Geometry and Graph Theory: In geometry we will consider n-dimensional generalizations of the Power of a Point Theorem and of Pascal's Hexagon Theorem. In generalizing the Power of a Point Theorem, we will consider collections of cones determined by the intersections of an (n-1)-sphere and a pair of hyperplanes. We will then use these constructions to produce an n-dimensional generalization of Pascal's Hexagon Theorem, a classical plane geometry result which states that "Given a hexagon inscribed in a conic section, the three pairs of continuations of opposite sides meet on a straight line." Our generalization of this theorem will consider a pair of n-simplices intersecting an (n-1)-sphere, and will conclude with the intersections of corresponding faces lying in a hyperplane. In graph theory we will explore the interaction between zero forcing and cut-sets. The color change rule which lies at the center of zero forcing says "Suppose that each of the vertices of a graph are colored either blue or white. If u is a blue vertex and v is its only white neighbor, then u can force v to change to blue." The concept of zero forcing was introduced by the AIM Minimum Rank - Special Graphs Work Group in 2007 as a way of determining bounds on the minimum rank of graphs. Later, Darren Row established results concerning the zero forcing numbers of graphs with a cut-vertex. We will extend his work by considering graphs with arbitrarily large cut-sets, and the collections of components they yield, to determine results for the zero forcing numbers of these graphs.
Convergence of Conditional Expectation Operators and the Compact Range Property: The interplay between generalizations of Riezs' famous representation theorem and Radon-Nikodým type theorems has a long history. This paper will explore certain aspects of the theory of bounded linear operators on continuous function spaces, Radon-Nikodým type properties, and their connections.
Countable Additivity, Exhaustivity, and the Structure of Certain Banach Lattices: The notion of uniform countable additivity or uniform absolute continuity is present implicitly in the Lebesgue Dominated Convergence Theorem and explicitly in the Vitali-Hahn-Saks and Nikodym Theorems, respectively. V. M. Dubrovsky studied the connection between uniform countable additivity and uniform absolute continuity in a series of papers, and Bartle, Dunford, and Schwartz established a close relationship between uniform countable additivity in ca(Σ) and operator theory for the classical continuous function spaces C(K). Numerous authors have worked extensively on extending and generalizing the theorems of the preceding authors. Specifically, we mention Bilyeu and Lewis as well as Brooks and Drewnowski, whose efforts molded the direction and focus of this paper. This paper is a study of the techniques used by Bell, Bilyeu, and Lewis in their paper on uniform exhaustivity and Banach lattices to present a Banach lattice version of two important and powerful results in measure theory by Brooks and Drewnowski. In showing that the notions of exhaustivity and continuity take on familiar forms in certain Banach lattices of measures they show that these important measure theory results follow as corollaries of the generalized Banach lattice versions. This work uses their template to generalize results established by Bator, Bilyeu, and Lewis.
Crystallographic Complex Reflection Groups and the Braid Conjecture: Crystallographic complex reflection groups are generated by reflections about affine hyperplanes in complex space and stabilize a full rank lattice. These analogs of affine Weyl groups have infinite order and were classified by V.L. Popov in 1982. The classical Braid theorem (first established by E. Artin and E. Brieskorn) asserts that the Artin group of a reflection group (finite or affine Weyl) gives the fundamental group of regular orbits. In other words, the fundamental group of the space with reflecting hyperplanes removed has a presentation mimicking that of the Coxeter presentation; one need only remove relations giving generators finite order. N.V Dung used a semi-cell construction to prove the Braid theorem for affine Weyl groups. Malle conjectured that the Braid theorem holds for all crystallographic complex reflection groups after constructing Coxeter-like reflection presentations. We show how to extend Dung's ideas to crystallographic complex reflection groups and then extend the Braid theorem to some groups in the infinite family [G(r,p,n)]. The proof requires a new classification of crystallographic groups in the infinite family that fail the Steinberg theorem.
Cycles and Cliques in Steinhaus Graphs: 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.
The D-Variant of Transfinite Hausdorff Dimension: In this lecture we introduce a new transfinite dimension function for metric spaces which utilizes Henderson's topological D-dimension and ascribes to any metric space either an ordinal number or the symbol Ω. The construction of our function is motivated by that of Urbański's transfinite Hausdorff dimension, tHD. Henderson's dimension is a topological invariant, however, like Hausdorff dimension and tHD the function presented will be invariant under bi-Lipschitz continuous maps and generally not under homeomorphisms. We present some original results on D-dimension and build the general theory for the D-variant of transfinite Hausdorff dimension, \mathrm{t}_D\mathrm{HD}. In particular, we will show for any ordinal number α, existence of a metrizable space which has \mathrm{t}_D\mathrm{HD} greater than or equal to α and less than or equal to \omega_\tau, where τ is the least ordinal which satisfies α < \omega_\tau.
A Decomposition of the Group Algebra of a Hyperoctahedral Group: The descent algebra of a Coxeter group is a subalgebra of the group algebra with interesting representation theoretic properties. For instance, the natural map from the descent algebra of the symmetric group to the character ring is a surjective algebra homomorphism, so the descent algebra implicitly encodes information about the representations of the symmetric group. However, this property does not hold for other Coxeter groups. Moreover, a complete set of primitive idempotents in the descent algebra of the symmetric group leads to a decomposition of the group algebra as a direct sum of induced linear characters of centralizers of conjugacy class representatives. In this dissertation, I consider the hyperoctahedral group. When the descent algebra of a hyperoctahedral group is replaced with a generalization called the Mantaci-Reutenauer algebra, the natural map to the character ring is surjective. In 2008, Bonnafé asked whether a complete set of idempotents in the Mantaci-Reutenauer algebra could lead to a decomposition of the group algebra of the hyperoctahedral group as a direct sum of induced linear characters of centralizers. In this dissertation, I will answer this question positively and go through the construction of the idempotents, conjugacy class representatives, and linear characters required to do so.
Definable Structures on the Space of Functions from Tuples of Integers into 2: We give some background on the free part of the action of tuples of integers into 2. We will construct specific structures on this space, and then show that certain other structures cannot exist.
Descriptions and Computation of Ultrapowers in L(R): 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.
Descriptive Set Theory and Measure Theory in Locally Compact and Non-locally Compact Groups: 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 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 non-compact groups, which extends the domain of a result of Dougherty. We show that any countable product of locally compact non-compact 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. …
Determinacy of Schmidt's Game and Other Intersection Games: Schmidt's game, and other similar intersection games have played an important role in recent years in applications to number theory, dynamics, and Diophantine approximation theory. These games are real games, that is, games in which the players make moves from a complete separable metric space. The determinacy of these games trivially follows from the axiom of determinacy for real games,ADR, which is a much stronger axiom than that asserting all integer games are determined, AD. One of our main results is a general theorem which under the hypothesis AD implies the determinacy of intersection games which have a property allowing strategies to be simplified. In particular, we show that Schmidt's (α,β,ρ) game on R is determined from AD alone, but on Rn for n≥3 we show that AD does not imply the determinacy of this game. We then give an application of simple strategies and prove that the winning player in Schmidt's (α,β,ρ) game on R has a winning positional strategy, without appealing to the axiom of choice. We also prove several other results specifically related to the determinacy of Schmidt's game. These results highlight the obstacles in obtaining the determinacy of Schmidt's game from AD
Determinacy-related 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.
Dimension spectrum and graph directed Markov systems.: 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 Gauss-like continued fraction system, and the Renyi-like 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.
Dimensions in Random Constructions.: We consider random fractals generated by random recursive constructions, prove zero-one laws concerning their dimensions and find their packing and Minkowski dimensions. Also we investigate the packing measure in corresponding dimension. For a class of random distribution functions we prove that their packing and Hausdorff dimensions coincide.
Dimensions of statistically self-affine functions and random Cantor sets: The subject of fractal geometry has exploded over the past 40 years with the availability of computer generated images. It was seen early on that there are many interesting questions at the intersection of probability and fractal geometry. In this dissertation we will introduce two random models for constructing fractals and prove various facts about them.
Dually Semimodular Consistent Lattices: A lattice L is said to be dually semimodular if for all elements a and b in L, a ∨ b covers b implies that a covers a ∧ b. L is consistent if for every join-irreducible j and every element x in L, the element x ∨ j is a join-irreducible in the upper interval [x,l]. In this paper, finite dually semimodular consistent lattices are investigated. Examples of these lattices are the lattices of subnormal subgroups of a finite group. In 1954, R. P. Dilworth proved that in a finite modular lattice, the number of elements covering exactly k elements is equal to the number of elements covered by exactly k elements. Here, it is established that if a finite dually semimodular consistent lattice has the same number of join-irreducibles as meet-irreducibles, then it is modular. Hence, a converse of Dilworth's theorem, in the case when k equals 1, is obtained for finite dually semimodular consistent lattices. Several combinatorial results are shown for finite consistent lattices similar to those already established for finite geometric lattices. The reach of an element x in a lattice L is the difference between the rank of x*, the join of x and all the elements covering x, and the rank of x; the maximum reach of all elements in L is the reach of L. Sharp lower bounds for the total number of elements and the number of elements of a given reach in a semimodular consistent lattice given the rank, the reach, and the number of join-irreducibles are found. Extremal lattices attaining these bounds are described. Similar results are then obtained for finite dually semimodular consistent lattices.

UNT Libraries - 171 Matching Results

Search Results

Add Filters

Applied Filters