Related papers: Cage de Faraday

We give a short proof that, for nice $X$, the based fundamental groupoid of $X$ with topology induced by the compact open topology on the space of paths, is indeed the universal covering space of $X$.

Motivated by a question of R.\ Nandakumar, we show that the Euclidean plane can be dissected into mutually incongruent convex quadrangles of the same area and the same perimeter. As a byproduct we obtain vertex-to-vertex dissections of the…

We construct a family of finite 2-complexes whose universal covers are CAT(0) and have polynomial divergence of desired degree. This answers a question of Gersten, namely whether such CAT(0) complexes exist.

In every dimension $d\ge1$, we establish the existence of a constant $v_d>0$ and of a subset $\mathcal U_d$ of $\mathbb R^d$ such that the following holds: $\mathcal C+\mathcal U_d=\mathbb R^d$ for every convex set $\mathcal C\subset…

We show that every nonvoid relatively weakly open subset, in particular every slice, of the unit ball of an infinite-dimensional uniform algebra has diameter~2.

We prove that the highest density of non-overlapping translates of a given centrally symmetric convex domain relative to its outer parallel domain of given outer radius is attained by a lattice packing in the Euclidean plane. This…

We prove that a bounded open set U in Euclidean n-space has k-width less than C(n) Volume(U)^{k/n}. Using this estimate, we give lower bounds for the k-dilation of degree 1 maps between certain domains in Euclidean space. In particular, we…

Here I prove some extension theorem for multifunctions in a space with an arbitrary uniform structure and orbital completeness. The motivation comes from a fixed point theorem due to Dhage which is proved as a special case of the theorem…

We study properties of complete separable metric spaces within the framework of subsystems of second order arithmetic. In particular we consider Lebesgue and Atsuji spaces. The former are those such that every open covering U has a Lebesgue…

A result due to Burago and Zalgaller (1960, 1995) states that every orientable polyhedral surface, one that is obtained by gluing Euclidean polygons, has an isometric piecewise linear (PL) embedding into Euclidean space $\mathbb{E}^3$. A…

In this article, we provide a detailed construction and analysis of the mathematical conformal field theory of the free fermion, defined in the sense of Graeme Segal. We verify directly that the operators assigned to disks with two disks…

The notion of discrete conformality proposed by Luo and Bobenko-Pinkall-Springborn on triangle meshes has rich mathematical theories and wide applications. Gu et al. proved that the discrete uniformizations approximate the continuous…

We derive necessary and sufficient conditions for large $N$ conformal field theories to have a universal free energy and an extended range of validity of the higher-dimensional Cardy formula. These constraints are much tighter than in two…

We consider an embedding of planar maps into an equilateral triangle $\Delta$ which we call the Cardy embedding. The embedding is a discrete approximation of a conformal map based on percolation observables that are used in Smirnov's proof…

We take a unifying and new approach toward polynomial and trigonometric approximation in an arbitrary number of variables, resulting in a precise and general ready-to-use tool that anyone can easily apply in new situations of interest. The…

The uniform Kruskal theorem extends the original result for trees to general recursive data types. As shown by A. Freund, M. Rathjen and A. Weiermann, it is equivalent to $\Pi^1_1$-comprehension, over $\mathsf{RCA_0}$ with the chain…

Suppose that each proper subset of a set $S$ of points in a vector space is contained in the union of planes of specified dimensions, but $S$ itself is not contained in any such union. How large can $|S|$ be? We prove a general upper bound…

It is well known that unital contractive representations of the disk algebra are completely contractive. Let A denote the subalgebra of the disk algebra consisting of those functions f whose first derivative vanishes at 0. We prove that…

In 1914 Lebesgue defined a "universal covering" to be a convex subset of the plane that contains an isometric copy of any subset of diameter 1. His challenge of finding a universal covering with the least possible area has been addressed by…

Let $D$ be a closed disk in the complex plane centered at the origin, $f, g$ complex valued continuous function on $D$. Let $P[f,g; D]$ (res. $R[f, g; D])$) be the uniform closure on $D$ of polynomials (res. rational functions) in variables…