Related papers: A discretised projection theorem in the plane

A symmetric subset of the reals is one that remains invariant under some reflection x --> c-x. Given 0 < x < 1, there exists a real number D(x) with the following property: if 0 < d < D(x), then every subset of [0,1] with measure x contains…

A pair of probability distributions over $\{0,1\}^n$ is said to be $(k,\delta)$-wise indistinguishable if all of the size $k$ marginals are within statistical distance at most $\delta$. Previous works introduced this concept and study when…

We are interested to bound from below the number of distinct dot products determined by a finite set of points $P$ in the Euclidean plane. In this paper, we build on the work of B. Hanson, O. Roche-Newton, and S. Senger, to obtain the…

Let X be a real normed vector space and dim X \ge 2. Let d>0 be a fixed real number. We prove that if x,y \in X and ||x-y||/d is a rational number then there exists a finite set {x,y} \subseteq S(x,y) \subseteq X with the following…

Let $A$ be a self-adjoint operator in a separable Hilbert space. Suppose that the spectrum of $A$ is formed of two isolated components $\sigma_0$ and $\sigma_1$ such that the set $\sigma_0$ lies in a finite gap of the set $\sigma_1$. Assume…

Let $\zeta_K(s)$ denote the Dedekind zeta-function associated to a number field $K$. In this paper, we give an effective upper bound for the height of first non-trivial zero other than $1/2$ of $\zeta_K(s)$ under the generalized Riemann…

The problem of finding good approximations of arbitrary 1-qubit gates is identical to that of finding a dense group generated by a universal subset of $SU(2)$ to approximate an arbitrary element of $SU(2)$. The Solovay-Kitaev Theorem is a…

We prove that a submaximal plane curve (i.e., an irreducible counterexample to Nagata's conjecture) with r singular points has sequence of multiplicities (m, n, ..., n) with m<sn for every integer with ((s-1)(s+2))^2 > 6.76(r-1).

We introduce the theory of div point sets, which aims to provide a framework to study the combinatoric nature of any set of points in general position on an Euclidean plane. We then show that proving the unsatisfiability of some first-order…

We prove a version of the Erd\H{o}s--Beck Theorem from discrete geometry for fractal sets in all dimensions. More precisely, let $X\subset \mathbb{R}^n$ Borel and $k \in [0, n-1]$ be an integer. Let $\dim (X \setminus H) = \dim X$ for every…

Let $(K,\Delta)$ be a Hermitian form field and $n\geq 3$. We prove that if $\sigma\in U_{2n+1}(K,\Delta)$ is a unitary matrix of level $(K,\Delta)$, then any short root transvection $T_{ij}(x)$ is a product of $4$ elementary unitary…

The automorphism group $\Sigma$ of a compact topological projective plane with a $16$-dimensional point space is a locally compact group. If the dimension of $\Sigma$ is at least $29$, then $\Sigma$ is known to be a Lie group. For the…

The "visibility" of a planar set $S$ from a point $a$ is defined as the normalized size of the radial projection of $S$ from $a$ to the unit circle centered at $a$. Simon and Solomyak (Real Anal. Exchange 2006/07) proved that unrectifiable…

We show that there exists some $\delta > 0$ such that, for any set of integers $B$ with $B\cap[1,Y]\gg Y^{1-\delta}$ for all $Y \gg 1$, there are infinitely many primes of the form $a^2+b^2$ with $b\in B$. We prove a quasi-explicit formula…

In this paper we study the quantitative isoperimetric inequality in the plane. We prove the existence of a set $\Omega$, different from a ball, which minimizes the ratio $\delta(\Omega)/\lambda^2(\Omega)$, where $\delta$ is the…

Fix positive integers $a$ and $b$ such that $a> b\geq 2$ and a positive real $\delta>0$. Let $S$ be a planar set of diameter $\delta$ having the following property: for every $a$ points in $S$, at least $b$ of them have pairwise distances…

The subdivision graph $S(\Sigma)$ of a graph $\Sigma$ is obtained from $\Sigma$ by `adding a vertex' in the middle of every edge of $\Si$. Various symmetry properties of $\S(\Sigma)$ are studied. We prove that, for a connected graph…

There is a result of Diaconis and Freedman which says that, in a limiting sense, for large collections of high-dimensional data most one-dimensional projections of the data are approximately Gaussian. This paper gives quantitative versions…

Let $A$ be an $n\times n$ matrix with mutually independent centered Gaussian entries. Define \begin{align*} \sigma^*:=\max\limits_{i,j\leq n}\sqrt{{\mathbb E}\,|A_{i,j}|^2}, \quad \sigma:=\max\bigg(\max\limits_{j\leq n}\sqrt{{\mathbb…

Let $s \in [0,1]$ and $t \in [0,\min\{3s,s + 1\})$. Let $\sigma$ be a Borel measure supported on the parabola $\mathbb{P} = \{(x,x^{2}) : x \in [-1,1]\}$ satisfying the $s$-dimensional Frostman condition $\sigma(B(x,r)) \leq r^{s}$.…