Related papers: A sharp exceptional set estimate for visibility
A conjecture of Serre concerns the number of rational points of bounded height on a finite cover of projective space P^{n-1}. In this paper, we achieve Serre's conjecture in the special case of smooth cyclic covers of any degree when n is…
We prove that for divergent series solutions of nonlinear (or linear) differential systems near a generic irregular singularity, the common prescription of summation to the least term is, if properly interpreted, meaningful and correct, and…
Best subset selection (BSS) is widely known as the holy grail for high-dimensional variable selection. Nevertheless, the notorious NP-hardness of BSS substantially restricts its practical application and also discourages its theoretical…
We study the problem of testing the existence of a dense subhypergraph. The null hypothesis is an Erdos-Renyi uniform random hypergraph and the alternative hypothesis is a uniform random hypergraph that contains a dense subhypergraph. We…
We provide an explicit geometric algorithm involving only ruler and compass constructions in order to specify the specular reflection point on the surface of a reflecting sphere of radius $r$ given two focal points $A$ and $B$ lying outside…
We give a sharp lower bound to the largest possible Euclidean norm of signed sums of $n$ vectors in the plane. This is achieved by connecting the signed vector sum problem to the isoperimetric problem for the circumradius of polygons. In…
The number of apparent double points of a smooth, irreducible projective variety $X$ of dimension $n$ in $\Proj^{2n+1}$ is the number of secant lines to $X$ passing through the general point of $\Proj^{2n+1}$. This classical notion dates…
We prove a sharp quantitative version of the $p$-Sobolev inequality for any $1<p<n$, with a control on the strongest possible distance from the class of optimal functions. Surprisingly, the sharp exponent is constant for $p<2$, while it…
The Strong Exponential Time Hypothesis (SETH) asserts that for every $\varepsilon>0$ there exists $k$ such that $k$-SAT requires time $(2-\varepsilon)^n$. The field of fine-grained complexity has leveraged SETH to prove quite tight…
We show that whenever a separable subset $S$ of a complete metric space $X$ admits a $d$-dimensional weak tangent field, the set $S$ is close to being $d$-dimensional in the following sense. Whenever $\mu$ is a Borel finite measure on $X$…
For conventional imaging, the imaging resolution limit is given by the Rayleigh criterion. Exploiting the prior knowledge of imaging object's sparsity and fixed optical system, imaging beyond the conventional Rayleigh limit, which is backed…
This paper solves the open problem on the sharp bound for the number of isolated solutions in $\mathbf{R}_*^n$ to the real system of $n$ polynomial equations in $n$ variables, i.e., the real $n$ by $n$ fewnomial system. For an unmixed…
We study the arithmetic structure of the exceptional set of projections. For any bounded subset $E\subset \mathbb{R}^d$, let $$ \Omega=\{\xi\in \mathbb{R}: \dim_B(E+\xi E)=\dim_B E\}. $$ We prove that either $\Omega=\{0\}$ or $\Omega$ is a…
If $X$ is an analytic metric space satisfying a very mild doubling condition, then for any finite Borel measure $\mu$ on $X$ there is a set $N\subseteq X$ such that $\mu(N)>0$, an ultrametric space $Z$ and a Lipschitz bijection $\phi:N\to…
We establish the local well-posedness of the generalized Benjamin-Ono equation $\partial_tu+\mathcal{H}\partial_x^2u\pm u^k\partial_xu=0$ in $H^s(\R)$, $s>1/2-1/k$ for $k\geq 12$ and without smallness assumption on the initial data. The…
The frame set conjecture for B-splines $B_n$, $n \ge 2$, states that the frame set is the maximal set that avoids the known obstructions. We show that any hyperbola of the form $ab=r$, where $r$ is a rational number smaller than one and $a$…
Let $E$ be an optimal elliptic curve of conductor $N$, such that the $L$-function of $E$ vanishes to order one at $s=1$. Let $K$ be a quadratic imaginary field in which all the primes dividing $N$ split and such that the $L$-function of $E$…
Fix n>2. Let s be a principally embedded sl(2)-subalgebra in sl(n). A special case of results of the second author and Gregg Zuckerman implies that there exists a positive integer b(n) such that for any finite dimensional…
The threshold-$k$ metric dimension ($\mathrm{Tmd}_k$) of a graph is the minimum number of sensors -- a subset of the vertex set -- needed to uniquely identify any vertex in the graph, solely based on its distances from the sensors, when the…
Let $S= (s_1<s_2<\dots)$ be a strictly increasing sequence of positive integers and denote $\mathbf{e}(\beta)=\mathrm{e}^{2\pi i \beta}$. We say $S$ is good if for every real $\alpha$ the limit $\lim_N \frac1N\sum_{n\le N}…