Unsolved Problems
Showing 1-30 of 30 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...
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...
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...
Sudoku: Unique Solution Puzzles
How many Sudoku puzzles have exactly one solution?...
Sudoku: Minimal Puzzles Count
How many Sudoku puzzles with exactly one solution are minimal (removing any clue creates multiple solutions)?...
Maximum Givens in Minimal Sudoku
What is the maximum number of givens for a minimal Sudoku puzzle?...