African University of Science and Technology: Recent submissions

Now showing items 1-20 of 4535

  • Gen: A General-Purpose Probabilistic Programming System with Programmable Inference 

    Unknown author (2018-11-26)
    Probabilistic modeling and inference are central to many fields. A key challenge for wider adoption of probabilistic programming languages is designing systems that are both flexible and performant. This paper introduces ...

  • The Calderón problem for connections 

    Cekić, Mihajlo (University of CambridgeDepartment of Pure Mathematics and Mathematical StatisticsTrinity College, 2017-10-03)
    This thesis is concerned with the inverse problem of determining a unitary connection $A$ on a Hermitian vector bundle $E$ of rank $m$ over a compact Riemannian manifold $(M, g)$ from the Dirichlet-to-Neumann (DN) ...

  • Symmetry in monotone Lagrangian Floer theory 

    Smith, Jack Edward (University of CambridgeDepartment of Pure Mathematics and Mathematical StatisticsTrinity College, 2017-10-01)
    In this thesis we study the self-Floer theory of a monotone Lagrangian submanifold $L$ of a closed symplectic manifold $X$ in the presence of various kinds of symmetry. First we consider the group $\mathrm{Symp}(X, L)$ ...

  • Fano Varieties in Mori Fibre Spaces 

    Codogni, G; Fanelli, A; Svaldi, Roberto; Tasin, L (International Mathematics Research Notices, 2016-01-01)

  • Bounding cohomology for low rank algebraic groups 

    Rizkallah, John (University of CambridgeDPMMSHomerton, 2017-08-01)
    Let G be a semisimple linear algebraic group over an algebraically closed field of prime characteristic. In this thesis we outline the theory of such groups and their cohomology. We then concentrate on algebraic groups in ...

  • Infinitesimal Models of Algebraic Theories 

    Bár, Filip (University of CambridgeDepartment of Pure Mathematics and Mathematical StatisticsHomerton College, 2017-11-25)
    Smooth manifolds have been always understood intuitively as spaces that are infinitesimally linear at each point, and thus infinitesimally affine when forgetting about the base point. The aim of this thesis is to develop ...

  • Combining different models 

    Rogers, Leonard Christopher

  • Type theoretic weak factorization systems 

    North, Paige Randall (University of CambridgeDepartment of Pure Mathematics and Mathematical StatisticsKing's, 2017-06-01)
    This thesis presents a characterization of those categories with weak factorization systems that can interpret the theory of intensional dependent type theory with Σ, Π, and identity types. We use display map categories ...

  • RANDOM WALKS ON THE RANDOM GRAPH 

    Berestycki, Nathanael Edouard; Lubetzky, Eyal; Peres, Yuval; Sly, Allan (ANNALS OF PROBABILITY, 2018-01)

  • The Rohde--Schramm theorem, via the Gaussian free field 

    Berestycki, Nathanael Edouard; Jackson, Henry

  • On the main conjectures of Iwasawa theory for certain elliptic curves with complex multiplication 

    Kezuka, Yukako (University of CambridgeMathematics, 2017-05-30)
    The conjecture of Birch and Swinnerton-Dyer is unquestionably one of the most important open problems in number theory today. Let $E$ be an elliptic curve defined over an imaginary quadratic field $K$ contained in $\mathbb{C}$, ...

  • Exploring Random Geometry with the Gaussian Free Field 

    Jackson, Henry Richard (University of CambridgeDPMMSPeterhouse, 2016-10-01)
    This thesis studies the geometry of objects from 2-dimensional statistical physics in the continuum. Chapter 1 is an introduction to Schramm-Loewner evolutions (SLE). SLEs are the canonical family of non-self-intersecting, ...

  • On a Heegaard Floer theory for tangles 

    Zibrowius, Claudius (University of CambridgeDPMMS, 2017-03-10)
    The purpose of this thesis is to define a “local” version of Ozsváth and Szabó’s Heegaard Floer homology HFL^ for links in the 3-sphere, i.e. a Heegaard Floer homology HFT^ for tangles in the 3-ball. The decategorification ...

  • $\textit{K}$-Theory of Fermat Curves 

    Cain, Christopher (Department of Pure Mathematics and Mathematical Statistics, University of CambridgeUniversity of CambridgeChurchill College, 2017-01-10)
    I investigate the $K_2$ groups of the quotients of Fermat curves given in projective coordinates by the equation $F_n:X^n+Y^n=Z^n$. On any quotient where the number of known elements is equal to the rank predicted by ...

  • Computations in monotone Floer theory 

    Tonkonog, Dmitry (Department of Pure Mathematics and Mathematical Statistics, University of CambridgeUniversity of CambridgeDepartment of Pure Mathematics and Mathematical Statistics, 2016-06-28)
    Floer theory is a rich collection of tools for studying symplectic manifolds and their Lagrangian submanifolds with the help of holomorphic curves. Its origins lie in estimating the numbers of equilibria in Hamiltonian ...

  • Spectral methods and computational trade-offs in high-dimensional statistical inference 

    Wang, Tengyao (Department of Pure Mathematics and Mathematical Statistics, University of CambridgeUniversity of CambridgeDepartment of Pure Mathematics and Mathematical StatisticsFaculty of MathematicsSt John's College, 2016-10-04)
    Spectral methods have become increasingly popular in designing fast algorithms for modern highdimensional datasets. This thesis looks at several problems in which spectral methods play a central role. In some cases, we ...

  • Categories of spaces built from local models 

    Low, Zhen Lin (University of CambridgeDepartment of Pure Mathematics and Mathematical StatisticsTrinity Hall, 2016-06-28)
    Many of the classes of objects studied in geometry are defined by first choosing a class of nice spaces and then allowing oneself to glue these local models together to construct more general spaces. The most well-known ...


  • Semi-continuity of stability for sheaves and variation of Gieseker moduli spaces 

    Greb, Daniel; Ross, Julius Andrew; Toma, Matei (De GruyterJournal für die reine und angewandte Mathematik, 2016)
    We investigate a semi-continuity property for stability conditions for sheaves that is important for the problem of variation of the moduli spaces as the stability condition changes. We place this in the context of a notion ...