Open-problem statements, with their sources attached.

To prove erdos_539.variants.sq it suffices to show $h(n)\ll n^{1/2}$.

Is it possible that $|\{1,\ldots,N\} \setminus B| = o(N^\frac{1}{2})$?

Let $h(n)$ be maximal such that, for any set $A\subseteq \mathbb{N}$ of size $n$, the set$\left\{ \frac{a}{(a,b)}: a,b\in A\right\}$has size at least $h(n)$. Is $h(n) = \Theta(n^{2/3})$?

Prove an asymptotic formula for $r_k(N)$, the largest possible size of a subset of $\{1, \dots, N\}$ that does not contain any non-trivial $k$-term arithmetic progression.

To prove erdos_539.variants.sq_cube_root it suffices to show $n^{2/3}\ll h(n)$.

Show that $r_k(N) = o_k(N / \log N)$, where $r_k(N)$ the largest possible size of a subset of $\{1, \dots, N\}$ that does not contain any non-trivial $k$-term arithmetic progression.

From [Er73]: The determination of

will perhaps be not too difficult.

Find functions $f_k$, such that $r_k(N) = O_k(f_k)$, where $r_k(N)$ the largest possible size of a subset of $\{1, \dots, N\}$ that does not contain any non-trivial $k$-term arithmetic progression.

Let $R_r(n)$ denote the $r$-uniform hypergraph Ramsey number: the minimal $m$ such that if we $2$-colour all edges of the complete $r$-uniform hypergraph on $m$ vertices then there must be some monochromatic copy of the complete $r$-uniform hypergraph on $n$ vertices.

Prove that, for $r \ge 3$, $\log_{r-1} R_r(n) \asymp_r n,$ where $\log_{r-1}$ denotes the $(r-1)$-fold iterated logarithm.

Prove an asymptotic formula for $r_3(N)$, the largest possible size of a subset of $\{1, \dots, N\}$ that does not contain any non-trivial $3$-term arithmetic progression.

Let $R_3(n)$ be the minimal $m$ such that if the edges of the $3$-uniform hypergraph on $m$ vertices are $2$-coloured then there is a monochromatic copy of the complete $3$-uniform hypergraph on $n$ vertices.

Is there some constant $c>0$ such that $R_3(n) \geq 2^{2^{cn}}?$

Does this imply that

Let $G$ be such that any subgraph on $k$ vertices has at most $2k-3$ edges. Is it true that, if $H$ has $m$ edges and no isolated vertices, then $\hat{r}(G,H) \ll m$?

In other words: if $G$ is sparse (every induced subgraph on $k$ vertices has $≤ 2k-3$ edges), is $G$ Ramsey size linear?

Or

Erdős Problem 567 (Q3)*

Is $Q_3$ (the 3-dimensional hypercube) Ramsey size linear?

Let $s_1 < s_2 < \cdots$ be the sequence of squarefree numbers. Is it true that, for any $\alpha\geq 0$,

exists?

Erdős Problem 567 (K33)*

Is $K_{3,3}$ Ramsey size linear?

Is it true that $\sum_{n=1}^\infty(-1)^n\frac{n}{p_n}$ converges, where $p_n$ is the sequence of primes?

Note: In the problem statement, $p_n$ is the $n$-th prime, indexed such that $p_1=2, p_2=3, \ldots$. We 0-index here to reflect how Nat.nth works.

Erdős Problem 567 (H5)*

Is $H_5$ ($C_5$ with two vertex-disjoint chords) Ramsey size linear?

What is the limit $F(N)/N$ as $N \to \infty$?