Related papers: Gap conjecture for 3-dimensional canonical thresho…

We consider $k$ intervals on the real line whose images under a continuous map $f$ contain themselves. It's conjectured that there exists a periodic point of period not bigger than $k$ in these intervals. We prove the conjecture for $k=5$…

A difference set with parameters $(v, k, \lambda)$ is a subset $D$ of cardinality $k$ in a finite group $G$ of order $v$, such that the number $\lambda$ of occurrences of $g \in G$ as the ratio $d^{-1}d'$ in distinct pairs $(d, d')\in…

We show that if $A\subset \{1,\ldots,N\}$ contains no non-trivial three-term arithmetic progressions then $\lvert A\rvert \ll N/(\log N)^{1+c}$ for some absolute constant $c>0$. In particular, this proves the first non-trivial case of a…

We show that for finite n at least 3, every first-order axiomatisation of the varieties of representable n-dimensional cylindric algebras, diagonal-free cylindric algebras, polyadic algebras, and polyadic equality algebras contains an…

We prove that if $A\subset \{1,\dots,N\}$ has no nontrivial three-term arithmetic progressions, then $|A|\leq \exp(-c\log(N)^{1/6}\log\log(N)^{-1})N$ for some absolute constant $c>0$. To obtain this bound, we use an iterated variant of the…

We use techniques from the study of the Falconer distance conjecture to explore conditions which guarantee largeness (in terms of bounded $L^2$ density/Lebesgue measure and Hausdorff measure) of the set of lengths of step-sizes of…

For Tur\'an's (3, 4)-conjecture, in the case of n = 3k+1 vertices, (.5)6^{k-1} non-isomorphic complexes are constructed that attain the conjecture. In the case of n = 3k+2 vertices, 6^{k-1} non-isomorphic complexes are constructed that…

Suppose that G is an abelian group and A is a finite subset of G containing no three-term arithmetic progressions. We show that |A+A| >> |A|(log |A|)^{1/3-\epsilon} for all \epsilon>0.

We prove that there is no g for which the canonical embedding of a general curve of genus g lies on the Segre embedding of any product of three or more projective spaces.

The proof of the non-existence of Griesmer $[104, 4, 82]_5$-codes is just one of many examples where extendability results are used. In a series of papers Landjev and Rousseva have introduced the concept of $(t\operatorname{mod} q)$-arcs as…

We show that the global log canonical threshold of generic Fano complete intersections of index 1 and codimension $k$ in ${\mathbb P}^{M+k}$ is equal to 1 if $M\geqslant 3k+4$ and the highest degree of defining equations is at least 8. This…

We show that four-dimensional Lorentzian metrics admitting a global spacelike Lie group of isometries, $G_{1}={\mathbb R}$, which obey the Einstein equations for vacuum and certain types of matter, cannot contain apparent horizons. The…

We discuss a variety of codimension-one, non-invertible topological defects in general 3+1d QFTs with a discrete one-form global symmetry. These include condensation defects from higher gauging of the one-form symmetries on a…

Confirming a conjecture by Erd\H os and Pomerance, we prove that there exist intervals of length $\frac{cn\log n}{\log \log n}$ that do not contain distinct multiples of $1, 2, \ldots, n$.

We prove the Breuil-Mezard conjecture for split non-scalar residual representations of Gal(Qp/Qp) by local methods. Combined with the cases previously proved in [18] and [24], this completes the proof of the conjecture (when p>3). As a…

A conjecture of Roseberger asserts that every generalised triangle group either is virtually soluble or contains a non-abelian free subgroup. Modulo two exceptional cases, we verify this conjecture for generalised triangle groups of type…

In this short note, we show by elementary computations that the notion of non-Archimedean fuzzy normed (and 2-normed) spaces is void. Namely, there are no strictly convex spaces at all --not even the zero-dimensional linear space. Before…

We show that the set $\mathcal{T}_{3, \mathrm{sm}}^{\mathrm{can}}$ of smooth threefold canonical thresholds coincides with $\mathcal{T}_{2, \mathrm{sm}}^{\mathrm{lc}}=\mathcal{HT}_{2}$, where $\mathcal{HT}_{2}$ is the $2$-dimensional…

We present a smooth, complete toric threefold with no nontrivial nef line bundles. This is a counterexample to a recent conjecture of Fujino.

The Three Gap Theorem, also known as the Steinhaus Conjecture, is a classical result on the combinatorics of the fractional part function, and has since been generalized in many ways. In this paper, we pose a new problem related to these…