Related papers: Intersections of iterated shadows

We show that for any set $A \subset \mathbb{N}$ with positive upper density and any $\ell,m \in \mathbb{N}$, there exist an infinite set $B\subset \mathbb{N}$ and some $t\in \mathbb{N}$ so that $\{mb_1 + \ell b_2 \colon b_1,b_2\in B\…

Let S be a smooth projective surface, and consider the following two subvarieties of the Hilbert scheme parameterizing closed subschemes of S of length n: A = {subschemes with support in a fixed point of S} B = {subschemes with support in…

For an even set of points in the plane, choose a max-sum matching, that is, a perfect matching maximizing the sum of Euclidean distances of its edges. For each edge of the max-sum matching, consider the ellipse with foci at the edge's…

The Kruskal--Katona theorem determines the maximum number of $d$-cliques in an $n$-edge $(d-1)$-uniform hypergraph. A generalization of the theorem was proposed by Bollob\'as and Eccles, called the partial shadow problem. The problem asks…

A set of permutations $I \subset S_n$ is said to be {\em k-intersecting} if any two permutations in $I$ agree on at least $k$ points. We show that for any $k \in \mathbb{N}$, if $n$ is sufficiently large depending on $k$, then the largest…

For every $\beta\in(0,\infty)$, $\beta\neq 1$ we prove that a positive measure subset $A$ of the unit square contains a point $(x_0,y_0)$ such that $A$ nontrivially intersects curves $y-y_0 = a (x-x_0)^\beta$ for a whole interval…

In this paper, we prove the following "Weak Bounded Negativity Conjecture", which says that given a complex smooth projective surface $X$, for any reduced curve $C$ in $X$ and integer $g$, assume that the geometric genus of each component…

For all $s\in[0,1]$ and $t\in(0,s]\cup [2-s,2)$, we find the supremum of numbers $\omega\in(0,2)$ such that $\text{I}_\omega(\mu\ast\sigma) \lesssim 1$, where $\mu$ is any Borel measure on $B(1)$ with $\text{I}_t(\mu)\leq 1$ and $\sigma$ is…

For a set $A\subseteq\left[k\right]^{n}=\left\{ 0,\dots,k-1\right\} ^{n}$, we define the $d$-shadow of $A$ to be the set of points obtained by flipping to zero one of the non-zero coordinates of some point in $A$. Let…

This paper studies the Hausdorff dimension of the intersection of isotropic projections of subsets of $\mathbb{R}^{2n}$, as well as dimension of intersections of sets with isotropic planes. It is shown that if $A$ and $B$ are Borel subsets…

We show that any set $A$ in $\mathbb F_2^n$ with $|A+A| \le |A|^{2-\eta}$ must intersect a subspace of dimension $O_{\eta}(\log |A|)$ in at least $|A|^{\eta - o(1)}$ elements.

A family of perfect matchings of $K_{2n}$ is $t$-$intersecting$ if any two members share $t$ or more edges. We prove for any $t \in \mathbb{N}$ that every $t$-intersecting family of perfect matchings has size no greater than $(2(n-t) -…

We say that a set $A$ \emph{$t$-intersects} a set $B$ if $A$ and $B$ have at least $t$ common elements. Two families $\mathcal{A}$ and $\mathcal{B}$ are said to be \emph{cross-$t$-intersecting} if each set in $\mathcal{A}$ $t$-intersects…

We study conical defect geometries in the SL(N) Chern-Simons formulation of higher spin gauge theories in AdS_3. We argue that (for N\geq 4) there are special values of the deficit angle for which these geometries are actually smooth…

The trigonometric interpolants to a periodic function $f$ in equispaced points converge if $f$ is Dini-continuous, and the associated quadrature formula, the trapezoidal rule, converges if $f$ is continuous. What if the points are…

We discuss the inverse problem of determining the possible presence of an (n-1)-dimensional crack \Sigma in an n-dimensional body \Omega with n > 2 when the so-called Dirichlet-to-Neumann map is given on the boundary of \Omega. In…

Let A_1,...,A_k be a collection of families of subsets of an n-element set. We say that this collection is cross-intersecting if for any i,j in [k] with i not equal to j, A in A_i and B in A_j implies that the intersection of A and B is…

We establish the upper bound in the multiplicity conjecture of Herzog, Huneke and Srinivasan for the codimension three almost complete intersections. We also give some partial results in the case where I is the aci linked to a complete…

Two families $\mathcal A$ and $\mathcal B$ of $k$-subsets of an $n$-set are called cross-intersecting if $A\cap B\ne\emptyset$ for all $A\in \mathcal A, B\in \mathcal B $. Strengthening the classical Erd\H os-Ko-Rado theorem, Pyber proved…

Let $\mathcal{F}$ be a family of $r$-uniform hypergraphs. The feasible region $\Omega(\mathcal{F})$ of $\mathcal{F}$ is the set of points $(x,y)$ in the unit square such that there exists a sequence of $\mathcal{F}$-free $r$-uniform…