Related papers: An optimal version of Sarkozy's theorem

In this paper, we present series representations of the remainders in the expansions for $2/(e^t+1)$, $\mbox{sech} t$ and $\coth t$. For example, we prove that for $t > 0$ and $N\in\mathbb{N}:=\{1, 2, \ldots\}$, \[\mbox{sech}\,…

For a set $A$ of nonnegative integers, let $R_2(A,n)$ and $R_3(A,n)$ denote the number of solutions to $n=a+a'$ with $a,a'\in A$, $a<a'$ and $a\leq a'$, respectively. In this paper, we prove that, if $A\subseteq \mathbb{N}$ and $N$ is a…

For a valuation ring $V$, a smooth $V$-algebra $A$, and a reductive $V$-group scheme $G$ satisfying a certain natural isotropicity condition, we prove that every Nisnevich $G$-torsor on $\mathbb{A}^N_A$ descends to a $G$-torsor on $A$. As a…

We prove that there are arbitrarily large values of $t$ such that $|\zeta(1+it)| \geq e^{\gamma} (\log_2 t + \log_3 t) + \mathcal{O}(1)$. This essentially matches the prediction for the optimal lower bound in a conjecture of Granville and…

Proof-theoretic methods are developed for subsystems of Johansson's logic obtained by extending the positive fragment of intuitionistic logic with weak negations. These methods are exploited to establish properties of the logical systems.…

First, we show that if the pressure $p$ (associated to a weak Leray-Hopf solution $v$ of the Navier-Stokes equations) satisfies $\|p\|_{L^{\infty}_{t}(0,T^*; L^{\frac{3}{2},\infty}(\mathbb{R}^3))}\leq M^2$, then $v$ possesses higher…

In [3] we proved the conjecture NP = PSPACE by advanced proof theoretic methods that combined Hudelmaier's cut-free sequent calculus for minimal logic (HSC) [5] with the horizontal compressing in the corresponding minimal Prawitz-style…

For $i=1,2$, let $E_i$ be a reflexive Banach lattice over $\mathbb{R}$ with a certain parameter $\lambda^+(E_i)>1$, let $K_i$ be a locally compact (Hausdorff) topological space and let $\mathcal{H}_i$ be a closed subspace of…

We upgrade [1] to a complete proof of the conjecture NP = PSPACE. [1]: L. Gordeev, E. H. Haeusler, Proof Compression and NP Versus PSPACE, Studia Logica (107) (1): 55-83 (2019)

For $V\sim \alpha \log\log T$ with $0<\alpha<2$, we prove \[ \frac{1}{T}\text{meas}\{t\in [T,2T]: \log|\zeta(1/2+ {\rm i} t)|>V\}\ll \frac{1}{\sqrt{\log\log T}} e^{-V^2/\log\log T}. \] This improves prior results of Soundararajan and of…

We consider non-autonomous calculus of variations problems with a state constraint represented by a given closed set. We prove that if the interior of the Clarke tangent cone of the state constraint set is non-empty (this is the constraint…

It is shown that Schr\"odinger maximal inequalities over fractals are equivalent to the $L^2$ decay rates of Fourier transforms of fractal measures over the paraboloid. A similar connection is shown between the wave equation and cone…

We show the existence of a set $S\subset\mathbb{Z}^2$ avoiding collinear triples satisfying $|S\cap [n]^2|=\Omega(n/\sqrt{\log n})$ for sufficiently large $n$. This improves on the best-known lower bound on Erde's extensible…

Let $t\geq 1$, let $A$ and $B$ be finite, nonempty subsets of an abelian group $G$, and let $A\pp{i} B$ denote all the elements $c$ with at least $i$ representations of the form $c=a+b$, with $a\in A$ and $b\in B$. For $|A|, |B|\geq t$, we…

We prove that if the Hausdorff dimension of $E\subset\mathbb{R}^d$, $d\geq 2$ is greater than $\frac{d}{2}+\frac{1}{3}$, the set of gaps of $2$-chains inside $E$, $$\Delta_2(E)=\{(|x-y|, |y-z|): x, y, z\in E \}\subset\mathbb{R}^2$$ has…

Let $(x_n)$ be a normalized weakly null sequence in a Banach space and let $\varep>0$. We show that there exists a subsequence $(y_n)$ with the following property: $$\hbox{ if }\ (a_i)\subseteq \IR\ \hbox{ and }\ F\subseteq \nat$$ satisfies…

Suppose that $A \subset \{1,\dots, N\}$ has no two elements differing by a square. Then $|A| \ll N e^{-c\sqrt{\log N}}$.

We make explicit Bombieri's refinement of Gallagher's log-free "large sieve density estimate near $\sigma = 1$" for Dirichlet $L$-functions. We use this estimate and recent work of Green to prove that if $N\geq 2$ is an integer,…

We show that under the assumption of a 24-term version of Fermat's Last Theorem, there exists an absolute constant c > 0 such that if S is a set of n > n_0 positive integers satisfying |S.S| < n^(1+c), then the sumset S.S satisfies |S+S| >>…

If $G$ is a finite Abelian group, define $s_{k}(G)$ to be the minimal $m$ such that a sequence of $m$ elements in $G$ always contains a $k$-element subsequence which sums to zero. Recently Bitz et al. proved that if $n = exp(G)$, then…