Unsolved Problems
Showing 1-45 of 45 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...
Sum-Free Subsets of [N]^d
Fix an integer $d$. What is the largest sum-free subset of $[N]^d$?...
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$?...
Roth's Theorem with Random Common Differences
Let $S \subset \mathbb{N}$ be random. Under what conditions is Roth's theorem for progressions of length 3 true with common differences in $S$?...
Progressions with Structured Common Differences
Find reasonable bounds for the maximal density of a set $A \subset \{1, \ldots, N\}$ not containing a 3-term progression with common difference a squa...
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...
Lipschitz AP-Free Graphs
Does there exist a Lipschitz function $f : \mathbb{N} \to \mathbb{Z}$ whose graph $\Gamma = \{(n, f(n)) : n \in \mathbb{Z}\} \subset \mathbb{Z}^2$ is ...
Linear Equation x + 3y = 2z + 2w
What is the largest subset of $[N]$ with no solution to $x + 3y = 2z + 2w$ in distinct integers $x, y, z, w$?...
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...
Corner Problem in Product Sets
Suppose $G$ is a finite group, and let $A \subset G \times G$ be a subset of density $\alpha$. Are there $\gg_\alpha |G|^3$ triples $x, y, g$ such tha...
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))...
Largest Coset in 2A
Suppose that $A \subset \mathbb{F}_2^n$ has density $\alpha$. What is the largest size of coset guaranteed to be contained in $2A$?...
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...
Comparable Elements in Integer Lattices
Consider a set $S \subset [N]^3$ with the property that any two distinct elements $s, s'$ of $S$ are comparable (in the coordinatewise partial order)....
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...
N Queens Problem Asymptotics
In how many ways (asymptotically) $Q(n)$ may $n$ non-attacking queens be placed on an $n \times n$ chessboard?...
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?...
Monochromatic x+y and xy
If $\{1, \dots, N\}$ is $r$-coloured, then for $N \geq N_0(r)$ there exist integers $x, y \geq 3$ such that $x+y$ and $xy$ have the same colour. Find ...
Affine Translates of {0,1,3}
If $A$ is a set of $n$ integers, what is the maximum number of affine translates of the set $\{0, 1, 3\}$ that $A$ can contain?...
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 ...
Uniform Random Variables with Uniform Sum
Suppose $X, Y$ are finitely-supported independent random variables taking integer values such that $X + Y$ is uniformly distributed on its range. Are ...
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^{...
Large Gaps in Dilates
Let $p$ be a prime and let $A \subset \mathbb{Z}/p\mathbb{Z}$ be a set of size $\sqrt{p}$. Is there a dilate of $A$ with a gap of length $100\sqrt{p}$...
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...
Structure of Sets with Bounded Representation
Suppose $A \subset [N]$ has size $\geq c\sqrt{N}$ and representation function $r_A(n) \leq r$ for all $n$. What can be said about the structure of $A$...
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?...
Covering by Random Translates
If $A \subset \mathbb{Z}/p\mathbb{Z}$ is random with $|A| = \sqrt{p}$, can we almost surely cover $\mathbb{Z}/p\mathbb{Z}$ with $100\sqrt{p}$ translat...
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...
N-Queens Problem Asymptotics
In how many ways (asymptotically) $Q(n)$ may $n$ non-attacking queens be placed on an $n \times n$ chessboard?...