Related papers: Syndetic Sets, Paving, and the Feichtinger Conject…

In order to investigate multiplicative structures in additively large sets, Beiglb\"{o}ck et al. raised a significant open question as to whether or not every subset of the natural numbers with bounded gaps (syndetic set) contains…

A theorem of Wiegerinck asserts that the Bergman space of an open subset of the complex numbers is either infinite-dimensional or trivial. Recently, this has been generalized to holomorphic vector bundles over the projective line by the…

Suppose L and M are full-rank lattices in Euclidean space, such that vol(L) < vol(M). Answering a question of Han and Wang from 2001, we show how to construct a bounded measurable set F (we can even take F to be a finite union of polytopes)…

A sequence of nonzero integers $f = (f_1, f_2, \dots)$ is ``binomid'' if every $f$-binomid coefficient $\left[\! \begin{array}{c} n \\ k \end{array}\! \right]_f$ is an integer. Those terms are the generalized binomial coefficients: \[…

We describe the inverse image of the Riemannian exponential map at a basepoint of a compact symmetric space as the disjoint union of so called focal orbits through a maximal torus. These are orbits of a subgroup of the isotropy group acting…

Motivation coming from the study of affine Weyl groups, a structure of ranked poset is defined on the set of circular permutations in $S_n$ (that is, $n$-cycles). It is isomorphic to the poset of so-called admitted vectors, and to an…

In this paper, we construct the Bessel line ensemble, a countable collection of continuous random curves. This line ensemble is stationary under horizontal shifts with the Bessel point process as its one-time marginal. Its finite…

We observe that upper densities and spherical Federer densities may differ on all two dimensional surfaces of the sub-Riemannian Heisenberg group. This provides an entire class of intrinsic rectifiable sets having upper density strictly…

We prove an infinite Ramsey theorem for noncommutative graphs realized as unital self-adjoint subspaces of linear operators acting on an infinite dimensional Hilbert space. Specifically, we prove that if V is such a subspace, then provided…

Zauner's conjecture concerns the existence of $d^2$ equiangular lines in $\mathbb{C}^d$; such a system of lines is known as a SIC. In this paper, we construct infinitely many new SICs over finite fields. While all previously known SICs…

We situate the noncrossing partitions associated to a finite Coxeter group within the context of the representation theory of quivers. We describe Reading's bijection between noncrossing partitions and clusters in this context, and show…

A synaptic algebra $A$ is a generalization of the self-adjoint part of a von Neumann algebra. We study a linear subspace $V$ of $A$ in regard to the question of when $V$ is a vector lattice. Our main theorem states that if $V$ contains the…

We study `definable' subsets of Baire space $\mathcal{N}$. The logic of our arguments is intuitionistic and we use L.E.J.~Brouwer's Thesis on bars in $\mathcal{N}$ and his continuity axioms. We avoid the operation of taking the complement…

Finite subset spaces of a metric space $X$ form a nested sequence under natural isometric embeddings $X=X(1)\subset X(2)\subset\dots$. We prove that this sequence admits Lipschitz retractions $X(n)\to X(n-1)$ when $X$ is a Hilbert space.

We prove that universal differentiability sets in Euclidean spaces possess distinctive structural properties. Namely, we show that any universal differentiability set contains a `kernel' in which the points of differentiability of each…

The complex exponentials with integer frequencies form a basis for the space of square integrable functions on the unit interval. We analyze whether the basis property is maintained if the support of the complex exponentials is restricted…

A set $A \subseteq \mathbb{N}$ is a set of pointwise recurrence if for all minimal dynamical systems $(X, T)$, all $x \in X$, and all open neighborhoods $U \subseteq X$ of $x$, there exists a time $n \in A$ such that $T^n x \in U$. The set…

The well-known Reifenberg theorem states that if a subset of $\mathbb{R}^n$ can be well approximated by $k$-planes at every point and every scale, then it is biH\"older homeomorphic to a $k$-disk. This article concerns a subset $S$ of…

Given two graphs, a mapping between their edge-sets is cycle-continuous, if the preimage of every cycle is a cycle. The motivation for this notion is Jaeger's conjecture that for every bridgeless graph there is a cycle-continuous mapping to…

We prove a general categorical theorem that enables us to state that under certain conditions, the range of a functor is large. As an application, we prove various results of which the following is a prototype: If every diagram, indexed by…