Related papers: \Pi^0_1 classes, strong minimal covers and hyperim…
The Omitting Types Theorem in model theory and the Baire Category Theorem in topology are known to be closely linked. We examine the precise relation between these two theorems. Working with a general notion of logic we show that the…
We consider stable minimal surfaces of genus 1 in Euclidean space and in Riemannian manifolds. Under the condition of covering stability (all finite covers are stable) we show that a genus 1 finite total curvature minimal surface in…
We introduce classes of graphs with bounded expansion as a generalization of both proper minor closed classes and degree bounded classes. Such classes are based on a new invariant, the greatest reduced average density (grad) of G with rank…
We discuss sufficient conditions for a given curve to be covered by a maximal curve with the covering being unramified; it turns out that the given curve itself will be also maximal. We relate our main result to the question of whether or…
We investigate the topological structures of Galois covers of surfaces of minimal degree (i.e., degree n) in n+1 dimensional complex projective space. We prove that for n is greater than or equal to 5, the Galois covers of any surfaces of…
We introduce and study small covers that are pullbacks from the simplex, extending pullbacks from the linear model. Our main result gives several equivalent characterizations of this class, including torsion-freeness of odd-degree integral…
We consider the problem of distribution-free predictive inference, with the goal of producing predictive coverage guarantees that hold conditionally rather than marginally. Existing methods such as conformal prediction offer marginal…
The possibility of having discrete degrees of freedom at singularities associated to `conifolds with discrete torsion' is studied. We find that the field theory of D-brane probes near these singularities is identical to ordinary conifolds,…
Although $S_\infty$ (the group of all permutations of $\mathbb{N}$) is size continuum, both it and its closed subgroups can be presented as the set of paths through a countable tree. The subgroups of $S_\infty$ that can be presented this…
For several instances of metric largeness like enlargeability or having hyperspherical universal covers, we construct non-large vector subspaces in the rational homology of finitely generated groups. The functorial properties of this…
We prove optimal regularity and a detailed analysis of the free boundary of the solutions to the thin obstacle problem for nonparametric minimal surfaces with flat obstacles.
We demonstrate existence of topologically nontrivial energy minimizing maps of a given positive degree from bounded domains in the plane to $\mathbb S^2$ in a variational model describing magnetizations in ultrathin ferromagnetic films with…
If X is a full, finitely generated, projective module over a non-commutative torus, the Yang-Mills functional attains its minimum exactly on the flat connections on X. We classify the flat connections on modules admitting integrable…
We investigate the packing and covering densities of linear and nonlinear binary codes, and establish a number of duality relationships between the packing and covering problems. Specifically, we prove that if almost all codes (in the class…
We investigate a new class of dark matter: superweakly-interacting massive particles (superWIMPs). As with conventional WIMPs, superWIMPs appear in well-motivated particle theories with naturally the correct relic density. In contrast to…
To a branched cover between closed, connected and orientable surfaces one associates a "branch datum", which consists of the two surfaces, the total degree d, and the partitions of d given by the collections of local degrees over the…
For a positive integer $n$, the full transformation semigroup $T_n$ consists of all self maps of the set $\{1,\ldots,n\}$ under composition. Any finite semigroup $S$ embeds in some $T_n$, and the least such $n$ is called the (minimum…
We study the asymptotic Plateau problem in $\mathbb{H}_2\times \mathbb{R}$. We give the first examples of non-fillable finite curves with no thin tail in the asymptotic cylinder. Furthermore, we study the fillability question for infinite…
We study nonlocal minimal surfaces as a new approximation theory for the area functional, and more specifically in the context of Yau's conjecture on the existence of minimal surfaces in closed three-dimensional manifolds. This programme…
A topological space is called self-covering if it is a nontrivial cover of itself. We prove that, under mild assumptions, a closed self-covering manifold with an abelian fundamental group fibers over a torus in various senses. As a…