Related papers: Spherical sets avoiding orthonormal bases

In a projective plane $\Pi _{q}$ (not necessarily Desarguesian) of order $q,$ a point subset $S$ is saturating (or dense) if any point of $\Pi _{q}\setminus S$ is collinear with two points in$~S$. Using probabilistic methods, the following…

We prove that an $n$-vertex digraph $D$ with minimum semi-degree at least $\left(\frac{1}{2} + \varepsilon \right)n$ and $n \geq C m$ contains a subdivision of all $m$-arc digraphs without isolated vertices. Here, $C$ is a constant only…

A conjecture of Verstra\"ete states that for any fixed $\ell < k$ there exists a positive constant $c$ such that any $C_{2k}$-free graph $G$ contains a $C_{2\ell}$-free subgraph with at least $c |E(G)|$ edges. For $\ell = 2$, this…

We will show that for $\alpha>0$ there is $n_0$ such that if $G$ is a graph on $n\geq n_0$ vertices such that $\alpha n< \delta(G)< (n-1)/2$, then for every $n_1+n_2+\cdots +n_l= \delta(G)$, $G$ contains a disjoint union of…

We study the spectral pictures of (jointly) hyponormal 2-variable weighted shifts with commuting subnormal components. By contrast with all known results in the theory of subnormal single and 2-variable weighted shifts, we show that the…

Let $A$ be a subset of a finite field $\mathbb{F}$. When $\mathbb{F}$ has prime order, we show that there is an absolute constant $c > 0$ such that, if $A$ is both sum-free and equal to the set of its multiplicative inverses, then $|A| <…

Given a sphere of any radius $r$ in an $n$-dimensional Euclidean space, we study the coverings of this sphere with solid spheres of radius one. Our goal is to design a covering of the lowest covering density, which defines the average…

In this paper we prove the complete characterization of a.s. convergence of orthogonal series in terms of existence of a majorizing measure. It means that for a given $(a_n)^{\infty}_{n=1}$, $a_n>0$, series $\sum^{\infty}_{n=1}a_n\varphi_n$…

We consider the nonholonomic systems of $n$ homogeneous balls $\mathbf B_1,\dots,\mathbf B_n$ with the same radius $r$ that are rolling without slipping about a fixed sphere $\mathbf S_0$ with center $O$ and radius $R$. In addition, it is…

We prove that for each integer $r\geq 2$, there exists a constant $C_r>0$ with the following property: for any $0<\varepsilon \leq 1/2$ and any graph $G$ with clique number at most $r,$ there is a partition of $V(G)$ into at most…

By improving upon previous estimates on a problem posed by L. Moser, we prove a conjecture of Erd\H{o}s that the density of any measurable planar set avoiding unit distances cannot exceed $1/4$. Our argument implies the upper bound of…

I prove that a Hilbert space has the property that each of its dense (not necessarily closed) subspaces contains an orthoormal basis if and only if it is separable.

Rabern recently proved that any graph with omega >= (3/4)(Delta+1) contains a stable set meeting all maximum cliques. We strengthen this result, proving that such a stable set exists for any graph with omega > (2/3)(Delta+1). This is tight,…

It is known that spheres have negative type, but only subsets with at most one pair of antipodal points have strict negative type. These are conditions on the (angular) distances within any finite subset of points. We show that subsets with…

We find sharp absolute constants $C_1$ and $C_2$ with the following property: every well-rounded lattice of rank 3 in a Euclidean space has a minimal basis so that the solid angle spanned by these basis vectors lies in the interval…

We study mesoscopic fluctuations of orthogonal polynomial ensembles on the unit circle. We show that asymptotics of such fluctuations are stable under decaying perturbations of the recurrence coefficients, where the appropriate decay rate…

Let $g(k)$ be the maximum size of a planar set that determines at most $k$ distances. We prove $$\frac{\pi}{3\,C(\Lambda_{hex})}\ k\sqrt{\log k} (1+o(1)) \le g(k) \le C k\log k,$$ so $g(k) \asymp k\sqrt{\log k}$ with an explicit constant…

Let $\mathcal R$ be a $\Sigma^1_1$ binary relation and call a set $\mathcal R$-discrete iff no two distinct of its elements are $\mathcal R$-related. We show that in the extension of $\mathbf{L}$ by iterated Sacks forcing, there is a…

A well-known application of the dependent random choice asserts that any $n$-vertex graph $G$ with positive edge density contains a `rich' vertex subset $U$ of size $n^{1-o(1)}$ such that every pair of vertices in $U$ has at least…

A recent upper bound by Le and Solomon [STOC '23] has established that every $n$-node graph has a $(1+\varepsilon)(2k-1)$-spanner with lightness $O(\varepsilon^{-1} n^{1/k})$. This bound is optimal up to its dependence on $\varepsilon$; the…