Related papers: A new proof of Sarkozy's theorem

We present a concise proof for the existence and construction of a {\it strong resolution of excellent schemes} of finite type over a field of characteristic zero. Our proof is based on earlier work of Villamayor, Encinas-Villamayor and…

We characterize the computational content and the proof-theoretic strength of a Ramsey-type theorem for bi-colorings of so-called {\em exactly large} sets. An {\it exactly large} set is a set $X\subset\Nat$ such that $\card(X)=\min(X)+1$.…

Using the notion of higher-order Fourier dimension introduced in \cite{M2} (which was a sort of psuedorandomness condition stemming from the Gowers norms of Additive Combinatorics), we prove a maximal theorem and corresponding…

In this note, we generalise a Bourgain's construction of finitely-supported symmetric measures whose Furstenberg measure has a smooth density from the case of $\mathrm{SL}_2(\mathbb{R})$ to that of a general simple Lie group. The proof is…

Denote by $\mathcal{R}_p$ the set of all quadratic residues in $\mathbf{F}_p$ for each prime $p$. A conjecture of A. S\'ark\"ozy asserts, for all sufficiently large $p$, that no subsets $\mathcal{A},\mathcal{B}\subseteq\mathbf{F}_p$ with…

We provide a short proof of the theorem that every real multivariate polynomial has a symmetric determinantal representation, which was first proved in J. W. Helton, S. A. McCullough, and V. Vinnikov, Noncommutative convexity arises from…

We give a simple, short and self-contained presentation of Bourgain's discretised projection theorem from 2010, which is a fundamental tool in many recent breakthroughs in geometric measure theory, harmonic analysis, and homogeneous…

Empirical properties of generating systems for complex reflection groups and their braid groups have been observed by Orlik-Solomon and Brou\'e-Malle-Rouquier, using Shephard-Todd classification. We give a general existence result for…

We employ Schauder fixed-point Theorem to prove the existence of at least one positive continuous solution of the quadratic integral equation Moreover, the maximal and the minimal solutions of the last equation are also proved.

In this paper we give another proof of the fact that a random overlap array, which satisfies the Ghirlanda-Guerra identities and whose elements take values in a finite set, is ultrametric with probability one. The new proof bypasses random…

The Furstenberg-S\'ark\"ozy theorem asserts that the difference set $E-E$ of a subset $E \subset \mathbb{N}$ with positive upper density intersects the image set of any polynomial $P \in \mathbb{Z}[n]$ for which $P(0)=0$. Furstenberg's…

In a previous work, Bettin, Koukoulopoulos, and Sanna prove that if two sets of natural numbers $A$ and $B$ have natural density $1$, then their product set $A \cdot B := \{ab : a \in A, b \in B\}$ also has natural density $1$. They also…

Given a natural number $k\ge 2$ and a $k$-automatic set $S$ of natural numbers, we show that the lower density and upper density of $S$ are recursively computable rational numbers and we provide an algorithm for computing these quantities.…

In this note it is established that, for any finite set $A$ of real numbers, there exist two elements $a,b \in A$ such that $$|(a+A)(b+A)| \gg \frac{|A|^2}{\log |A|}.$$ In particular, it follows that $|(A+A)(A+A)| \gg \frac{|A|^2}{\log…

Assuming the well-known conjecture that [x,x+x^t] contains a prime for t > 0 and x sufficiently large, we prove: For 0 < r < 1, there exists 0 < s < r < 1, 0 < d < 1, and infinitely many primes q such that if S is a subset of Z/qZ having…

Let $k$ be a Brauer field, that is, a field over which every diagonal form in sufficiently many variables has a nonzero solution; for instance, $k$ could be an imaginary quadratic number field. Brauer proved that if $f_1, \ldots, f_r$ are…

G\"odel's first and second incompleteness theorems are corner stones of modern mathematics. In this article we present a new proof of these theorems for ZFC and theories containing ZFC, using Chaitin's incompleteness theorem and a very…

O. Brunat and J. Gramain recently proved that any two blocks of double covers of symmetric groups are Brou\'{e} perfectly isometric provided they have the same weight and sign. They also proved a corresponding statement for double covers of…

We show that the Freiman--Ruzsa theorem, characterising finite sets with bounded doubling, leads to an alternative proof of a characterisation of Meyer sets, that is, relatively dense subsets of Euclidean spaces whose difference sets are…

The existence of higher derivative discontinuous solutions to a first order ordinary differential equation is shown to reveal a nonlinear SL(2,R) structure of analysis in the sense that a real variable $t$ can now accomplish changes not…