108,852 research outputs found

    Levels of discontinuity, limit-computability, and jump operators

    Full text link
    We develop a general theory of jump operators, which is intended to provide an abstraction of the notion of "limit-computability" on represented spaces. Jump operators also provide a framework with a strong categorical flavor for investigating degrees of discontinuity of functions and hierarchies of sets on represented spaces. We will provide a thorough investigation within this framework of a hierarchy of Δ20\Delta^0_2-measurable functions between arbitrary countably based T0T_0-spaces, which captures the notion of computing with ordinal mind-change bounds. Our abstract approach not only raises new questions but also sheds new light on previous results. For example, we introduce a notion of "higher order" descriptive set theoretical objects, we generalize a recent characterization of the computability theoretic notion of "lowness" in terms of adjoint functors, and we show that our framework encompasses ordinal quantifications of the non-constructiveness of Hilbert's finite basis theorem

    Coadjoint Orbits of the Generalised Sl(2) Sl(3) Kdv Hierarchies

    Full text link
    In this paper we develop two coadjoint orbit constructions for the phase spaces of the generalised Sl(2)Sl(2) and Sl(3)Sl(3) KdV hierachies. This involves the construction of two group actions in terms of Yang Baxter operators, and an Hamiltonian reduction of the coadjoint orbits. The Poisson brackets are reproduced by the Kirillov construction. From this construction we obtain a `natural' gauge fixing proceedure for the generalised hierarchies.Comment: 37 page

    Realistic GUT Yukawa Couplings from a Random Clockwork Model

    Full text link
    We present realistic models of flavor in SU(5) and SO(10) grand unified theories (GUTs). The models are renormalizable and do not require any exotic representations in order to accommodate the necessary GUT breaking effects in the Yukawa couplings. They are based on a simple clockwork Lagrangian whose structure is enforced with just two (one) vectorlike U(1) symmetries in the case of SU(5) and SO(10) respectively. The inter-generational hierarchies arise spontaneously from products of matrices with order one random entries.Comment: 18 pages, 2 figure

    Total Representations

    Full text link
    Almost all representations considered in computable analysis are partial. We provide arguments in favor of total representations (by elements of the Baire space). Total representations make the well known analogy between numberings and representations closer, unify some terminology, simplify some technical details, suggest interesting open questions and new invariants of topological spaces relevant to computable analysis.Comment: 30 page
    • …
    corecore