Related papers: A framework for constructing sets without configur…
A coreset for a set of points is a small subset of weighted points that approximately preserves important properties of the original set. Specifically, if $P$ is a set of points, $Q$ is a set of queries, and $f:P\times Q\to\mathbb{R}$ is a…
We study the smallest possible number of points in a topological space having k open sets. Equivalently, this is the smallest possible number of elements in a poset having k order ideals. Using efficient algorithms for constructing a…
This paper constructs a unified family of nonconforming finite element spaces for $H\Lambda^k$ in $\mathbb{R}^n$ ($0\leqslant k\leqslant n$, $n\geqslant 1$). The spaces employ piecewise Whitney forms as shape functions, and include the…
We show that the geometry of Hrushovski's ab initio construction for a single $n$-ary relation not-permitting dependent sets of size less than $n$, when restricted to $n$-tuples, can be itself constructed as a Hrushovski construction.
A continuous map from R^m to R^N or from C^m to C^N is called k-regular if the images of any $k$ points are linearly independent. Given integers m and k a problem going back to Chebyshev and Borsuk is to determine the minimal value of N for…
Let $X = G/\Gamma$, where $G$ is a Lie group and $\Gamma$ is a lattice in $G$, and let $U$ be a subset of $X$ whose complement is compact. We use the exponential mixing results for diagonalizable flows on $X$ to give upper estimates for the…
This paper develops a uniformly valid and asymptotically nonconservative test based on projection for a class of shape restrictions. The key insight we exploit is that these restrictions form convex cones, a simple and yet elegant structure…
Let $K$ be a Henselian, non-trivially valued field with separated analytic structure. We prove the existence of definable retractions onto an arbitrary closed definable subset of $K^{n}$. Hence directly follow definable non-Archimedean…
In this paper we propose a way to construct an analytic space over a non-archimedean field, starting with a real manifold with an affine structure which has integral monodromy. Our construction is motivated by the junction of Homological…
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 give an explicit construction of a large subset of F^n, where F is a finite field, that has small intersection with any affine variety of fixed dimension and bounded degree. Our construction generalizes a recent result of Dvir and Lovett…
The basic concepts of non-commutative probability theory are reviewed and applied to the large $N$ limit of matrix models. We argue that this is the appropriate framework for constructing the master field in terms of which large $N$…
Finitely many hypersurfaces are removed from unordered configuration spaces of $n$ points in $\mathbb{C}$ to obtain a fibration over unordered configuration spaces of $n-1$ complex points. Fundamental groups of these restricted…
We survey techniques for constructing spaces with non-trivial self covers. These processes include methods for building low and high dimension continua which non-trivially self. We also discuss several related group theoretic and…
We prove a reconstruction theorem for homeomorphism groups of open sets in metrizable locally convex topological vector spaces. We show that certain small subgroups of the full homeomorphism group obey the conditions of the above theorem.
The present paper is motivated by the need to generalize the construction of the Scarf complex in order to give combinatorial resolutions of a much broader class of modules than just the monomial ideals. For any subset $A\subseteq…
Methods of continuation of holomorphic functions of several complex variables are investigated within the axiomatic framework of Araki, Haag, and Kastler in local quantum field theory. The motivation comes from the analysis of a mass gap in…
We present a SAT framework which allows to investigate properties of simple drawings of the complete graph $K_n$ using the power of AI. In contrast to classic imperative programming, where a program is operated step by step, our framework…
We build models using an indiscernible model sub-structures of ${\kappa} \ge {\lambda}$ and related more complicated structures. We use this to build various Boolean algebras.
We say that $E$ is a microset of the compact set $K\subset \mathbb{R}^d$ if there exist sequences $\lambda_n\geq 1$ and $u_n\in \mathbb{R}^d$ such that $(\lambda_n K + u_n ) \cap [0,1]^d$ converges to $E$ in the Hausdorff metric, and…