Unsolved Problems
Showing 1-29 of 29 problems
Category
Problem Set
Status
Large Sum-Free Sets
Let $A$ be a set of $n$ positive integers. Does $A$ contain a sum-free set of size at least $n/3 + \Omega(n)$, where $\Omega(n) \to \infty$ as $n \to ...
Restricted Sumset Problem
Let $A \subset \mathbb{Z}$ be a set of $n$ integers. Is there a subset $S \subset A$ of size $(\log n)^{100}$ such that $S \hat{+} S$ is disjoint from...
Almost Sum-Free Sets
Suppose that $A \subset [N]$ has no more than $\varepsilon N^2$ solutions to $x + y = z$. Can one remove $\varepsilon' N$ elements to leave a sum-free...
Progressions in Subsets of Z/NZ
Is $r_5(N) \ll N(\log N)^{-c}$? Is $r_4(\mathbb{F}_5^n) \ll N^{1-c}$ where $N = 5^n$?...
Tuples in Dense Sets
Let $G$ be an abelian group of size $N$, and suppose that $A \subset G$ has density $\alpha$. Are there at least $\alpha^{15}N^{10}$ tuples $(x_1, \ld...
4-term APs in Fourier Uniform Sets
Suppose that $A \subset \mathbb{Z}/N\mathbb{Z}$ has density $\alpha$ and is Fourier uniform (all Fourier coefficients of $1_A - \alpha$ are $o(N)$). D...
2-Colour van der Waerden Numbers
Define the 2-colour van der Waerden numbers $W(k, r)$ to be the least quantities such that if $\{1, \dots, W(k, r)\}$ is coloured red and blue then th...
Progressions in F_3^n with Boolean Common Differences
Suppose that $A \subset \mathbb{F}_3^n$ is a set of density $\alpha$. Under what conditions on $\alpha$ is $A$ guaranteed to contain a 3-term progress...
Corners in $\mathbb{F}_2^n$
What is $C$, the infimum of all exponents $c$ for which the following is true, uniformly for $0 < \alpha < 1$? Suppose that $A \subset \mathbb{F}_2^n$...
Multidimensional Szemerédi Theorem Bounds
Find reasonable bounds for instances of the multidimensional Szemerédi theorem....
Large Cosets in Iterated Sumsets
Suppose that $A \subset \mathbb{F}_2^n$ has density $\alpha$. Does $10A$ contain a coset of some subspace of dimension at least $n - O(\log(1/\alpha))...
Additive Complements and Cosets
Suppose that $A \subset \mathbb{F}_2^n$ has an additive complement of size $K$. Does $2A$ contain a coset of codimension $O_K(1)$?...
Partitions and Large Cosets
Suppose that $\mathbb{F}_2^n$ is partitioned into sets $A_1, \dots, A_K$. Does $2A_i$ contain a coset of codimension $O_K(1)$ for some $i$?...
Gowers Box Norms over Finite Fields
Let $p$ be an odd prime and suppose $f : \mathbb{F}_p^n \times \mathbb{F}_p^n \to \mathbb{C}$ is bounded pointwise by 1. Suppose $\mathbb{E}_h \|\Delt...
Inverse Theorem for Gowers Norms
Determine bounds for the inverse theorem for Gowers norms....
Random Permutations Fixing k-Sets
Let $p(k)$ be the limit as $n \to \infty$ of the probability that a random permutation on $[n]$ preserves some set of size $k$. Is $p(k)$ a decreasing...
Stable Density on Subspaces
Let $A \subset \mathbb{F}_2^n$. If $V$ is a subspace, write $\alpha(V)$ for the density of $A$ on $V$. Is there some $V$ of moderately small codimensi...
Almost Invariant Sets Under Affine Maps
Suppose $A \subset \mathbb{Z}/p\mathbb{Z}$ has density $\frac{1}{2}$. Under what conditions on $K$ can $A$ be almost invariant under all maps $\phi(x)...
Trace Reconstruction
Given a string $x \in \{0, 1\}^n$, let $\tilde{x}$ be obtained by deleting bits independently at random with probability $\frac{1}{2}$. How many indep...
Rado's Boundedness Conjecture
Suppose $a_1, \dots, a_k$ are integers which do not satisfy Rado's condition. Is $c(a_1, \dots, a_k)$ bounded in terms of $k$ only?...
Restricted Sumsets in Partitions
For which values of $k$ is the following true: whenever we partition $[N] = A_1 \cup \dots \cup A_k$, we have $|\bigcup_{i=1}^k (A_i \hat{+} A_i)| \ge...
Sum of Cubes in F_3^n
Let $A_1, \dots, A_{100}$ be "cubes" in $\mathbb{F}_3^n$ (images of $\{0, 1\}^n$ under linear automorphisms). Is $A_1 + \dots + A_{100} = \mathbb{F}_3...
Sets with No Unique Sum Representations
What is the size of the smallest set $A \subset \mathbb{Z}/p\mathbb{Z}$ (with at least two elements) for which no element in the sumset $A + A$ has a ...
Structured Subsets with Bounded Doubling
Given a set $A \subset \mathbb{Z}$ with $D(A) \leq K$, find a large structured subset $A'$ which "obviously" has $D(A') \leq K + \varepsilon$....
Sidon Set Size Bounds
Write $F(N)$ for the largest Sidon subset of $[N]$. Improve, at least for infinitely many $N$, the bounds $N^{1/2} + O(1) \leq F(N) \leq N^{1/2} + N^{...
Optimal Sidon Bases
Are there infinitely many $q$ for which there is a set $A \subset \mathbb{Z}/q\mathbb{Z}$ with $|A| = (\sqrt{2} + o(1))q^{1/2}$ and $A + A = \mathbb{Z...
Disjoint Sumsets Construction
For arbitrarily large $n$, does there exist an abelian group $H$ with $|H| = n^{2+o(1)}$ and subsets $A_1, \dots, A_n, B_1, \dots, B_n$ satisfying $|A...
Cap Sets in F_7^n
What is the largest subset $A \subset \mathbb{F}_7^n$ for which $A - A$ intersects $\{-1, 0, 1\}^n$ only at 0?...
Hamming Ball Covering Growth
Let $r$ be fixed and let $H(r)$ be the Hamming ball of radius $r$ in $\mathbb{F}_2^n$. Let $f(r)$ be the smallest constant such that there exist infin...