Search
Now showing items 911-920 of 952
Polynomials and models of type theory
(University of CambridgeDepartment of Pure Mathematics and Mathematical StatisticsMagdalene College, 2015-06-30)
This thesis studies the structure of categories of polynomials, the diagrams that represent polynomial functors. Specifically, we construct new models of intensional dependent type theory based on these categories.
Firstly, ...
Potential automorphy and the Leopoldt conjecture
(Johns Hopkins University PressAmerican Journal of Mathematics, 2017-10-01)
We study in this paper Hida's p-adic Hecke algebra for GL_n over a CM field F. Hida has made a conjecture about the dimension of these Hecke algebras, which he calls the non-abelian Leopoldt conjecture, and shown that his ...
Critical Surface of the Hexagonal Polygon Model
(SpringerJournal of Statistical Physics, 2016-05-01)
The hexagonal polygon model arises in a natural way via a transformation of the 1-2 model on the hexagonal lattice, and it is related to the high temperature expansion of the Ising model. There are three types of edge, and ...
Quantifying separability in virtually special groups
(Mathematical Society PublishingPacific Journal of Mathematics, 2016)
We give a new, effective proof of the separability of cubically convex-cocompact subgroups of special groups. As a consequence, we show that if G is a virtually compact special hyperbolic group, and Q ≤ G is a K-quasiconvex ...
Cubulating hyperbolic free-by-cyclic groups: the irreducible case
(Duke University PressDuke Mathematical Journal, 2016)
Let V be a fi nite graph and let ∅ : V → V be an irreducible train track map whose mapping torus has word-hyperbolic fundamental group G. Then G acts freely and cocompactly on a CAT(0) cube complex. Hence, if F is a ...
D-modules on rigid analytic spaces I
(De GruyterJournal für die reine und angewandte Mathematik, 2016)
We introduce a sheaf of infinite order differential operators D on smooth rigid analytic spaces that is a rigid analytic quantisation of the cotangent bundle. We show that the sections of this sheaf over sufficiently small ...
Global Rates of Convergence in Log-Concave Density Estimation
(Institute of Mathematical StatisticsAnnals of Statistics, 2016)
The estimation of a log-concave density on $\Bbb R$$^d$ represents a central problem in the area of nonparametric inference under shape constraints. In this paper, we study the performance of log-concave density estimators ...
Injectivity and Stability for a Generic Class of Generalized Radon Transforms
(SpringerJournal of Geometric Analysis, 2016-06-30)
Let (M, g) be an analytic, compact, Riemannian manifold with boundary, of dimension n≥2. We study a class of generalized Radon transforms, integrating over a family of hypersurfaces embedded in M, satisfying the Bolker ...
Tests for separability in nonparametric covariance operators of random surfaces
(Institute of Mathematical StatisticsAnnals of Statistics, 2016)
The assumption of separability of the covariance operator
for a random image or hypersurface can be of substantial use in
applications, especially in situations where the accurate estimation
of the full covariance structure ...